/home/iser/Documents/satcomp/satcomp2026/solvers/green/lymphosat-verified/src/third-party/compiler-wrappers/clang++ -march=icelake-server -mtune=icelake-server -O3 -DNDEBUG CMakeFiles/lymphosat_composite.dir/core/main.cpp.o CMakeFiles/lymphosat_composite.dir/core/profiler.cpp.o CMakeFiles/lymphosat_composite.dir/matcher_registry.cpp.o "CMakeFiles/matcher_obj_0__01_integer_programming.dir/solvers/01-integer-programming/matcher/match.cpp.o" CMakeFiles/matcher_obj_1_algebra.dir/solvers/algebra/matcher/match.cpp.o "CMakeFiles/matcher_obj_2_algorithm_equivalence_checking.dir/solvers/algorithm-equivalence-checking/matcher/match.cpp.o" "CMakeFiles/matcher_obj_3_alloy_vpn_models.dir/solvers/alloy-vpn-models/matcher/match.cpp.o" CMakeFiles/matcher_obj_4_antibandwidth.dir/solvers/antibandwidth/matcher/match.cpp.o "CMakeFiles/matcher_obj_5_auto_correlation.dir/solvers/auto-correlation/matcher/match.cpp.o" "CMakeFiles/matcher_obj_6_automata_synchronization.dir/solvers/automata-synchronization/matcher/match.cpp.o" CMakeFiles/matcher_obj_7_battleship.dir/solvers/battleship/matcher/match.cpp.o "CMakeFiles/matcher_obj_8_binary_pigeon_hole.dir/solvers/binary-pigeon-hole/matcher/match.cpp.o" "CMakeFiles/matcher_obj_9_binary_tree_parity.dir/solvers/binary-tree-parity/matcher/match.cpp.o" "CMakeFiles/matcher_obj_10_brent_equations.dir/solvers/brent-equations/matcher/match.cpp.o" "CMakeFiles/matcher_obj_11_circuit_equialence_checking.dir/solvers/circuit-equialence-checking/matcher/match.cpp.o" "CMakeFiles/matcher_obj_12_circuit_minimization.dir/solvers/circuit-minimization/matcher/match.cpp.o" "CMakeFiles/matcher_obj_13_clique_coloring.dir/solvers/clique-coloring/matcher/match.cpp.o" "CMakeFiles/matcher_obj_14_clique_formulas.dir/solvers/clique-formulas/matcher/match.cpp.o" "CMakeFiles/matcher_obj_15_clique_width.dir/solvers/clique-width/matcher/match.cpp.o" "CMakeFiles/matcher_obj_16_clustered_random.dir/solvers/clustered-random/matcher/match.cpp.o" "CMakeFiles/matcher_obj_17_coloring_clique.dir/solvers/coloring-clique/matcher/match.cpp.o" "CMakeFiles/matcher_obj_18_coloring_mycielski_graph.dir/solvers/coloring-mycielski-graph/matcher/match.cpp.o" "CMakeFiles/matcher_obj_19_core_based_generator.dir/solvers/core-based-generator/matcher/match.cpp.o" CMakeFiles/matcher_obj_20_cover.dir/solvers/cover/matcher/match.cpp.o "CMakeFiles/matcher_obj_21_cryptography_ascon.dir/solvers/cryptography-ascon/matcher/match.cpp.o" "CMakeFiles/matcher_obj_22_cryptography_cbmc.dir/solvers/cryptography-cbmc/matcher/match.cpp.o" "CMakeFiles/matcher_obj_23_cryptography_simon.dir/solvers/cryptography-simon/matcher/match.cpp.o" "CMakeFiles/matcher_obj_24_design_debugging.dir/solvers/design-debugging/matcher/match.cpp.o" CMakeFiles/matcher_obj_25_diagnosis.dir/solvers/diagnosis/matcher/match.cpp.o "CMakeFiles/matcher_obj_26_discrete_logarithm.dir/solvers/discrete-logarithm/matcher/match.cpp.o" "CMakeFiles/matcher_obj_27_edge_matching.dir/solvers/edge-matching/matcher/match.cpp.o" "CMakeFiles/matcher_obj_28_edit_distance.dir/solvers/edit-distance/matcher/match.cpp.o" "CMakeFiles/matcher_obj_29_equivalence_chain_principle.dir/solvers/equivalence-chain-principle/matcher/match.cpp.o" "CMakeFiles/matcher_obj_30_erdos_discrepancy.dir/solvers/erdos-discrepancy/matcher/match.cpp.o" CMakeFiles/matcher_obj_31_fdmus.dir/solvers/fdmus/matcher/match.cpp.o CMakeFiles/matcher_obj_32_fermat.dir/solvers/fermat/matcher/match.cpp.o "CMakeFiles/matcher_obj_33_fixed_shape_random.dir/solvers/fixed-shape-random/matcher/match.cpp.o" "CMakeFiles/matcher_obj_34_floodit_puzzle.dir/solvers/floodit-puzzle/matcher/match.cpp.o" "CMakeFiles/matcher_obj_35_fpga_routing.dir/solvers/fpga-routing/matcher/match.cpp.o" CMakeFiles/matcher_obj_36_genurq.dir/solvers/genurq/matcher/match.cpp.o "CMakeFiles/matcher_obj_37_gf3_sat.dir/solvers/gf3-sat/matcher/match.cpp.o" "CMakeFiles/matcher_obj_38_glassy_gen.dir/solvers/glassy-gen/matcher/match.cpp.o" "CMakeFiles/matcher_obj_39_graceful_production.dir/solvers/graceful-production/matcher/match.cpp.o" "CMakeFiles/matcher_obj_40_grandtour_puzzle.dir/solvers/grandtour-puzzle/matcher/match.cpp.o" CMakeFiles/matcher_obj_41_greentao.dir/solvers/greentao/matcher/match.cpp.o "CMakeFiles/matcher_obj_42_hamiltonian_cycle.dir/solvers/hamiltonian-cycle/matcher/match.cpp.o" CMakeFiles/matcher_obj_43_hanoi.dir/solvers/hanoi/matcher/match.cpp.o "CMakeFiles/matcher_obj_44_heule_nol.dir/solvers/heule-nol/matcher/match.cpp.o" CMakeFiles/matcher_obj_45_hgen.dir/solvers/hgen/matcher/match.cpp.o CMakeFiles/matcher_obj_46_hidoku.dir/solvers/hidoku/matcher/match.cpp.o "CMakeFiles/matcher_obj_47_hypertree_decomposition.dir/solvers/hypertree-decomposition/matcher/match.cpp.o" "CMakeFiles/matcher_obj_48_independent_set.dir/solvers/independent-set/matcher/match.cpp.o" "CMakeFiles/matcher_obj_49_independent_set_reconfiguration.dir/solvers/independent-set-reconfiguration/matcher/match.cpp.o" "CMakeFiles/matcher_obj_50_influence_maximization.dir/solvers/influence-maximization/matcher/match.cpp.o" "CMakeFiles/matcher_obj_51_interval_matching.dir/solvers/interval-matching/matcher/match.cpp.o" "CMakeFiles/matcher_obj_52_karatsuba_multiplication.dir/solvers/karatsuba-multiplication/matcher/match.cpp.o" "CMakeFiles/matcher_obj_53_knights_problem.dir/solvers/knights-problem/matcher/match.cpp.o" CMakeFiles/matcher_obj_54_ktf.dir/solvers/ktf/matcher/match.cpp.o "CMakeFiles/matcher_obj_55_long_learned_clauses.dir/solvers/long-learned-clauses/matcher/match.cpp.o" "CMakeFiles/matcher_obj_56_maximum_constraint_partition.dir/solvers/maximum-constraint-partition/matcher/match.cpp.o" "CMakeFiles/matcher_obj_57_md5_equivalence_checking.dir/solvers/md5-equivalence-checking/matcher/match.cpp.o" "CMakeFiles/matcher_obj_58_mechanical_master_key.dir/solvers/mechanical-master-key/matcher/match.cpp.o" "CMakeFiles/matcher_obj_59_minimal_superpermutation.dir/solvers/minimal-superpermutation/matcher/match.cpp.o" "CMakeFiles/matcher_obj_60_minimum_disagreement_parity.dir/solvers/minimum-disagreement-parity/matcher/match.cpp.o" CMakeFiles/matcher_obj_61_modcircuits.dir/solvers/modcircuits/matcher/match.cpp.o "CMakeFiles/matcher_obj_62_mosoi_289.dir/solvers/mosoi-289/matcher/match.cpp.o" "CMakeFiles/matcher_obj_63_multiplier_circuits.dir/solvers/multiplier-circuits/matcher/match.cpp.o" "CMakeFiles/matcher_obj_64_multiplier_verification.dir/solvers/multiplier-verification/matcher/match.cpp.o" "CMakeFiles/matcher_obj_65_mutilated_chessboard.dir/solvers/mutilated-chessboard/matcher/match.cpp.o" "CMakeFiles/matcher_obj_66_oddball_weighing.dir/solvers/oddball-weighing/matcher/match.cpp.o" CMakeFiles/matcher_obj_67_or_randxor.dir/solvers/or_randxor/matcher/match.cpp.o "CMakeFiles/matcher_obj_68_ordering_principle.dir/solvers/ordering-principle/matcher/match.cpp.o" "CMakeFiles/matcher_obj_69_ordering_principle_xor.dir/solvers/ordering-principle-xor/matcher/match.cpp.o" "CMakeFiles/matcher_obj_70_p_center.dir/solvers/p-center/matcher/match.cpp.o" CMakeFiles/matcher_obj_71_pebbling.dir/solvers/pebbling/matcher/match.cpp.o "CMakeFiles/matcher_obj_72_petrinet_concurrency.dir/solvers/petrinet-concurrency/matcher/match.cpp.o" CMakeFiles/matcher_obj_73_philips.dir/solvers/philips/matcher/match.cpp.o CMakeFiles/matcher_obj_74_phnf.dir/solvers/phnf/matcher/match.cpp.o "CMakeFiles/matcher_obj_75_pigeon_hole.dir/solvers/pigeon-hole/matcher/match.cpp.o" CMakeFiles/matcher_obj_76_planning.dir/solvers/planning/matcher/match.cpp.o "CMakeFiles/matcher_obj_77_product_configuration.dir/solvers/product-configuration/matcher/match.cpp.o" "CMakeFiles/matcher_obj_78_profitable_robust_production.dir/solvers/profitable-robust-production/matcher/match.cpp.o" "CMakeFiles/matcher_obj_79_purdom_instances.dir/solvers/purdom-instances/matcher/match.cpp.o" "CMakeFiles/matcher_obj_80_pythagorean_triples.dir/solvers/pythagorean-triples/matcher/match.cpp.o" "CMakeFiles/matcher_obj_81_railway_safety.dir/solvers/railway-safety/matcher/match.cpp.o" CMakeFiles/matcher_obj_82_ramsey.dir/solvers/ramsey/matcher/match.cpp.o "CMakeFiles/matcher_obj_83_ramsey_numbers.dir/solvers/ramsey-numbers/matcher/match.cpp.o" CMakeFiles/matcher_obj_84_ramseycube.dir/solvers/ramseycube/matcher/match.cpp.o CMakeFiles/matcher_obj_85_random.dir/solvers/random/matcher/match.cpp.o "CMakeFiles/matcher_obj_86_random_circuits.dir/solvers/random-circuits/matcher/match.cpp.o" "CMakeFiles/matcher_obj_87_random_clustered.dir/solvers/random-clustered/matcher/match.cpp.o" "CMakeFiles/matcher_obj_88_random_csp.dir/solvers/random-csp/matcher/match.cpp.o" "CMakeFiles/matcher_obj_89_random_mus.dir/solvers/random-mus/matcher/match.cpp.o" "CMakeFiles/matcher_obj_90_random_planted_solution.dir/solvers/random-planted-solution/matcher/match.cpp.o" CMakeFiles/matcher_obj_91_rbsat.dir/solvers/rbsat/matcher/match.cpp.o "CMakeFiles/matcher_obj_92_register_allocation.dir/solvers/register-allocation/matcher/match.cpp.o" "CMakeFiles/matcher_obj_93_relational_dependencies.dir/solvers/relational-dependencies/matcher/match.cpp.o" "CMakeFiles/matcher_obj_94_relativized_pigeon_hole.dir/solvers/relativized-pigeon-hole/matcher/match.cpp.o" CMakeFiles/matcher_obj_95_rooks.dir/solvers/rooks/matcher/match.cpp.o "CMakeFiles/matcher_obj_96_sat_x.dir/solvers/sat-x/matcher/match.cpp.o" CMakeFiles/matcher_obj_97_satcoin.dir/solvers/satcoin/matcher/match.cpp.o "CMakeFiles/matcher_obj_98_set_covering.dir/solvers/set-covering/matcher/match.cpp.o" CMakeFiles/matcher_obj_99_sgen.dir/solvers/sgen/matcher/match.cpp.o "CMakeFiles/matcher_obj_100_sgen_balanced.dir/solvers/sgen-balanced/matcher/match.cpp.o" "CMakeFiles/matcher_obj_101_sliding_puzzle.dir/solvers/sliding-puzzle/matcher/match.cpp.o" "CMakeFiles/matcher_obj_102_social_golfer.dir/solvers/social-golfer/matcher/match.cpp.o" "CMakeFiles/matcher_obj_103_software_bmc.dir/solvers/software-bmc/matcher/match.cpp.o" "CMakeFiles/matcher_obj_104_software_verification.dir/solvers/software-verification/matcher/match.cpp.o" "CMakeFiles/matcher_obj_105_sorting_networks.dir/solvers/sorting-networks/matcher/match.cpp.o" "CMakeFiles/matcher_obj_106_ssp_0.dir/solvers/ssp-0/matcher/match.cpp.o" "CMakeFiles/matcher_obj_107_st_connectivity_principle.dir/solvers/st-connectivity-principle/matcher/match.cpp.o" "CMakeFiles/matcher_obj_108_station_repacking.dir/solvers/station-repacking/matcher/match.cpp.o" "CMakeFiles/matcher_obj_109_stedman_triples.dir/solvers/stedman-triples/matcher/match.cpp.o" CMakeFiles/matcher_obj_110_stone.dir/solvers/stone/matcher/match.cpp.o "CMakeFiles/matcher_obj_111_subgraph_isomorphism.dir/solvers/subgraph-isomorphism/matcher/match.cpp.o" CMakeFiles/matcher_obj_112_subsumptiontest.dir/solvers/subsumptiontest/matcher/match.cpp.o "CMakeFiles/matcher_obj_113_sum_of_3_cubes.dir/solvers/sum-of-3-cubes/matcher/match.cpp.o" CMakeFiles/matcher_obj_114_summle.dir/solvers/summle/matcher/match.cpp.o CMakeFiles/matcher_obj_115_tensors.dir/solvers/tensors/matcher/match.cpp.o "CMakeFiles/matcher_obj_116_test_configuration.dir/solvers/test-configuration/matcher/match.cpp.o" "CMakeFiles/matcher_obj_117_testpattern_generation.dir/solvers/testpattern-generation/matcher/match.cpp.o" "CMakeFiles/matcher_obj_118_theorem_proving.dir/solvers/theorem-proving/matcher/match.cpp.o" "CMakeFiles/matcher_obj_119_tree_decomposition.dir/solvers/tree-decomposition/matcher/match.cpp.o" "CMakeFiles/matcher_obj_120_trigonometric_functions.dir/solvers/trigonometric-functions/matcher/match.cpp.o" "CMakeFiles/matcher_obj_121_tseitin_formulas.dir/solvers/tseitin-formulas/matcher/match.cpp.o" "CMakeFiles/matcher_obj_122_uniform_random.dir/solvers/uniform-random/matcher/match.cpp.o" CMakeFiles/matcher_obj_123_waerden.dir/solvers/waerden/matcher/match.cpp.o "CMakeFiles/matcher_obj_124_xor_chain.dir/solvers/xor-chain/matcher/match.cpp.o" CMakeFiles/matcher_obj_125_xor_op.dir/solvers/xor_op/matcher/match.cpp.o -o /home/iser/Documents/satcomp/satcomp2026/solvers/green/lymphosat-verified/src/solver/solver
