PB'26 competition: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB16/DEC-LIN/elffers/ subsetcard/normalized-subsetcard-geq-fixedbandwidth-30.opb	UNSAT	0.00678	0.025439	4802687
PB24/normalized-PB16/DEC-LIN/elffers/ subsetcard/normalized-subsetcard-eq-fixedbandwidth-70.opb	UNSAT	0.006876	0.0257079	4802715
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ ebits/zeroth_bit/normalized-26ebits_0.opb	UNSAT	0.006969	0.0253249	4809911
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-2_4_3.opb	UNSAT	0.00698	0.026109	4809476
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-3_6_4.opb	UNSAT	0.007153	0.026141	4809331
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/ normalized-composed_pebbling_php_pyramid_height3_pigeons2_holes1.opb	UNSAT	0.007157	0.025794	4809940
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP005.shuf-2.opb	UNSAT	0.007185	0.0329269	4811187
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-2_3_6.opb	UNSAT	0.007212	0.025405	4809447
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/ normalized-ECrand4regsplit-v020-n1.opb	UNSAT	0.007271	0.026194	4802575
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP005.opb	UNSAT	0.007383	0.0258241	4811245
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP005.shuf-1.opb	UNSAT	0.007494	0.032924	4811361
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v021-n2.opb	UNSAT	0.007931	0.027146	4802883
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-65.shuf-1.opb	UNSAT	0.008308	0.028854	4812985
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x10split.opb	UNSAT	0.008341	0.027332	4801819
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/random4reg_opb/normalized-subsetcard-geq-random4reg-65.opb	UNSAT	0.00836	0.0284889	4813014
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-75.shuf-2.opb	UNSAT	0.008481	0.0371501	4812927
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-stein15inf.0.d.opb	UNSAT	0.008591	0.0272069	4810665
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-80.shuf-1.opb	UNSAT	0.008644	0.029003	4812956
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v011-n3.opb	UNSAT	0.008696	0.0278431	4802967
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/ normalized-composed_pebbling_php_pyramid_height5_pigeons4_holes3.opb	UNSAT	0.010466	0.0336121	4810027
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/ normalized-ECrand4regsplit-v060-n1.opb	UNSAT	0.010767	0.029461	4802631
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v031-n1.opb	UNSAT	0.010872	0.0294341	4802603
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x10split.cnf-extracted.pb.metafix.opb	UNSAT	0.011608	0.0381349	4808519
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP015.shuf-1.opb	UNSAT	0.012137	0.0309819	4811390
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v081-n1.opb	UNSAT	0.012514	0.0315689	4802827
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/ normalized-composed_pebbling_php_pyramid_height6_pigeons5_holes4.opb	UNSAT	0.012568	0.031819	4810259
PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/ normalized-sumineqArity3houseP016.opb	UNSAT	0.012632	0.034827	4808577
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r06-tiling/normalized-domset-hexgrid_06_062.opb	UNSAT	0.012745	0.039762	4812144
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v1_shuffle/normalized-grid4_23.shuf-1.opb	UNSAT	0.012879	0.0319839	4811506
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v081-n3.opb	UNSAT	0.013696	0.033074	4802939
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v051-n3.opb	UNSAT	0.013892	0.0344051	4802911
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6028_8-unsat.opb	UNSAT	0.013983	0.0480149	4799299
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_070.opb	UNSAT	0.014139	0.0338891	4812869
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Hamming-20-10-05-10_c24.opb	UNSAT	0.015279	0.0366851	4814493
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r08-tiling/normalized-domset-hexgrid_08_057.opb	UNSAT	0.016516	0.0417599	4812260
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP025.opb	UNSAT	0.017023	0.035916	4811448
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x20split.cnf-extracted.pb.metafix.opb	UNSAT	0.017449	0.439489	4808432
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb/normalized-subsetcard-geq-fixedbandwidth-3750.opb	UNSAT	0.018907	0.0395111	4813130
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_06_130.opb	UNSAT	0.021301	0.050692	4812782
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_018.shuf-3.opb	UNSAT	0.022263	0.0392819	4810839
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224059.opb	UNSAT	0.022377	0.0410119	4798711
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n28-d3-i1-r1.cnf.gz-plain.pb.metafix.opb	UNSAT	0.02387	0.061236	4801119
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-subsetCardinalitySigma-13-1.cnf.gz-extracted.pb.metafix.opb	UNSAT	0.024215	0.113128	4801287
PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/ normalized-sumineqArity5houseP016.opb	UNSAT	0.025905	0.04608	4808606
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975607.opb	UNSAT	0.026804	0.044778	4798599
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973163.opb	UNSAT	0.027116	0.046321	4798543
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq6/normalized-18array_alg_ineq6.opb	UNSAT	0.027373	0.0466311	4809563
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_06_036.opb	UNSAT	0.028195	0.0478	4812579
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb	UNSAT	0.028521	0.982666	4796863
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-blast-floppy1-7.ucl.opb	UNSAT	0.033912	0.240264	4796191
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb	UNSAT	0.03632	0.055649	4802659
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_06_036.opb	UNSAT	0.036954	0.0554791	4812550
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP035.shuf-1.opb	UNSAT	0.039742	0.0589851	4811216
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v3/normalized-grid6_11.opb	UNSAT	0.040875	0.183141	4811883
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v111-n2.opb	UNSAT	0.042396	0.061686	4803051
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ ebits/benchmarks/normalized-16ebits_0.opb	UNSAT	0.044216	0.206112	4813710
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_033.shuf-1.opb	UNSAT	0.046731	0.0667549	4810897
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/grids_large_opb/normalized-ECgrid_split_5_050.opb	UNSAT	0.047823	0.0656061	4810984
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb	UNSAT	0.048418	0.184624	4796835
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-25-20.opb	UNSAT	0.048916	0.196923	4807765
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_210.opb	UNSAT	0.049072	0.0611021	4812898
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_spec/normalized-9array_spec_less.opb	UNSAT	0.051569	0.223521	4813507
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_042.shuf-3.opb	UNSAT	0.052747	0.0688181	4810810
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb	UNSAT	0.055721	0.0745031	4802547
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/diag_spec/normalized-9diag_spec_greater.opb	UNSAT	0.055778	0.222071	4813681
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb	UNSAT	0.05635	0.209329	4796611
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb	UNSAT	0.060412	0.250257	4796359
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/wallace_spec/normalized-18wallace_spec_greater_tvars.opb	UNSAT	0.064889	0.0834869	4809882
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-61-60.opb	UNSAT	0.066895	0.221474	4807707
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-51-50.opb	UNSAT	0.067502	0.23855	4807794
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x50split.opb	UNSAT	0.068962	0.0966119	4801931
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v041-n2.opb	UNSAT	0.075597	0.09586	4802995
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-lines-v3_shuffle/normalized-grid4_27.shuf-1.opb	UNSAT	0.079735	0.262699	4811767
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/ random_norational_opb/normalized-ec_random_norational_random4reg_split_100.opb	UNSAT	0.083087	0.106752	4812840
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-regular-n12-d4-i1.cnf.gz-plain.pb.metafix.opb	UNSAT	0.085345	0.25688	4801315
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v041-n1.opb	UNSAT	0.085358	0.104738	4803023
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-10arraycomm_teq_tvars_less.opb	UNSAT	0.087201	0.31587	4813565
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x30split.cnf-extracted.pb.metafix.opb	UNSAT	0.089345	0.242233	4808171
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-dlx1c.ucl.opb	UNSAT	0.102427	0.258381	4796331
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_07_100.opb	UNSAT	0.104412	0.135297	4812724
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968561.opb	UNSAT	0.107228	0.125495	4798767
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x30split.cnf-plain.pb.metafix.opb	UNSAT	0.109916	0.359955	4808316
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-2250.shuf-1.opb	UNSAT	0.110817	0.12785	4813246
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_02_096.opb	UNSAT	0.110914	0.142768	4812637
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x60split.cnf-extracted.pb.metafix.opb	UNSAT	0.114907	0.263845	4808200
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP055.shuf-2.opb	UNSAT	0.124405	0.145953	4811129
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-12arraycomm_teq_tvars_less.opb	UNSAT	0.124821	0.31109	4813623
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-left3reg-l020-r019-n1.opb	UNSAT	0.129504	0.251288	4801539
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111227861.opb	UNSAT	0.135547	0.154694	4798459
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x70split.opb	UNSAT	0.136126	0.16751	4801847
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-1500.opb	UNSAT	0.15086	0.171989	4813072
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x90split.opb	UNSAT	0.184249	0.20434	4801875
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/random_large_opb/normalized-ECrand6reg_151.opb	UNSAT	0.185313	0.207896	4810926
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v101-n2.opb	UNSAT	0.198006	0.218098	4802855
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-2250.shuf-1.opb	UNSAT	0.199386	0.227212	4813159
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x50split.cnf-plain.pb.metafix.opb	UNSAT	0.204799	0.464695	4808374
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP045.shuf-3.opb	UNSAT	0.223825	0.243859	4811274
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x40split.cnf-plain.pb.metafix.opb	UNSAT	0.224136	0.478942	4808142
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Rlfap-ext-scen-11-f09_c18.opb	UNSAT	0.234485	0.270432	4814348
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/wallace_spec/normalized-25wallace_spec_greater_tvars.opb	UNSAT	0.255308	0.274943	4809853
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111213868.opb	UNSAT	0.277877	0.298148	4798655
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_06_092.opb	UNSAT	0.295597	0.326895	4812666
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l030-r029-n1.cnf-plain.pb.metafix.opb	UNSAT	0.324119	0.366668	4801735
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-left3reg-l030-r029-n1.opb	UNSAT	0.340491	0.423598	4801623
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x80split.cnf-plain.pb.metafix.opb	UNSAT	0.357094	0.377213	4808548
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq7/normalized-11array_ineq7.opb	UNSAT	0.361002	0.387615	4809592
PB24/normalized-PB24/DEC-LIN/nordstrom/ MIPLIB01/dec/miplib2/normalized-air02.0.u.opb	UNSAT	0.36986	0.392025	4810781
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v111-n1.opb	UNSAT	0.389499	0.409585	4802519
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl.opb	UNSAT	0.406809	0.621651	4796247
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_06_096.opb	UNSAT	0.417127	0.437487	4812695
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_26_048.opb	UNSAT	0.419981	0.443948	4812608
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/grids_large_opb/normalized-ECgrid_split_3_180.opb	UNSAT	0.440773	0.459946	4811013
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-2750.opb	UNSAT	0.458657	0.47917	4813101
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb	UNSAT	0.458881	0.630213	4795995
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb	UNSAT	0.540299	0.792454	4808345
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-3500.shuf-1.opb	UNSAT	0.588594	0.616522	4813043
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height15_pigeons14_holes13.opb	UNSAT	0.695609	0.737216	4810114
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl.opb	UNSAT	0.745955	0.95435	4796135
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb	UNSAT	0.75335	0.815821	4808490
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb	UNSAT	0.781254	0.965968	4796079
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_045.shuf-1.opb	UNSAT	0.850653	0.870842	4810868
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP085.shuf-2.opb	UNSAT	0.908245	0.932975	4811158
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height16_pigeons15_holes14.opb	UNSAT	1.08205	1.16011	4810172
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb	UNSAT	1.12618	1.28245	4796219
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-16arraycomm_teq_tvars_less.opb	UNSAT	1.272	1.32509	4813594
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x110split.opb	UNSAT	1.5033	1.52786	4802463
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb	UNSAT	1.6671	1.87451	4796107
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP085.opb	UNSAT	1.76849	1.79825	4811477
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-4000.shuf-2.opb	UNSAT	1.94084	1.96703	4813188
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq9/normalized-18array_ineq9.opb	UNSAT	2.12126	2.1573	4809534
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_350_349.opb	UNSAT	2.24099	2.38816	4811999
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x80split.cnf-extracted.pb.metafix.opb	UNSAT	2.31782	2.39095	4808258
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x140split.opb	UNSAT	2.97477	3.00406	4802491
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_370_369.opb	UNSAT	3.07536	3.19612	4811941
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x10split.cnf-plain.pb.metafix.opb	UNSAT	3.27653	3.45591	4808229
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900558106.opb	UNSAT	3.34895	3.37706	4798347
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_390_389.opb	UNSAT	3.56789	3.72226	4811970
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-3500.shuf-3.opb	UNSAT	3.91471	3.94889	4813217
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x120split.opb	UNSAT	4.20868	4.24297	4802435
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x150split.opb	UNSAT	4.39329	4.42682	4802379
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb	UNSAT	4.53527	4.72823	4796163
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x130split.opb	UNSAT	6.44839	6.49384	4802407
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq10/normalized-10array_ineq10.opb	UNSAT	7.03818	7.08034	4813333
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height21_pigeons20_holes19.opb	UNSAT	8.0747	8.13092	4810056
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9037_9-unsat.opb	UNSAT	8.28784	8.33877	4799383
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900570242.opb	UNSAT	8.73031	8.80998	4798123
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-27array_alg_ineq8.opb	UNSAT	9.63575	9.69067	4813362
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl.opb	UNSAT	9.95569	10.1792	4796023
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_6.opb	UNSAT	11.121	11.2665	4809215
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl.opb	UNSAT	11.2982	11.5532	4796051
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-4_5_26.opb	UNSAT	11.8043	11.8705	4809389
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb	UNSAT	13.2945	13.352	4796275
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height22_pigeons21_holes20.opb	UNSAT	13.4082	13.478	4809998
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x100split.opb	UNSAT	14.1056	14.1793	4801903
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP095.shuf-3.opb	UNSAT	15.0107	15.086	4811419
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l030-r029-n1.opb	UNSAT	15.3155	15.3848	4802743
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq10/normalized-14array_alg_ineq10.opb	UNSAT	15.8744	15.9492	4813304
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height23_pigeons22_holes21.opb	UNSAT	17.5473	17.6452	4810288
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-2750.shuf-3.opb	UNSAT	18.1235	18.2096	4813275
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v2_shuffle/normalized-grid4_49.shuf-3.opb	UNSAT	19.4434	19.6508	4811680
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-06/normalized-ec_stargrid_06_084.opb	UNSAT	21.8852	21.9855	4810955
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_037.shuf-3.opb	UNSAT	24.8841	25.0046	4812492
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-left3reg-l070-r069-n1.opb	UNSAT	24.9383	25.201	4801483
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-7_6_19.opb	UNSAT	25.8107	25.9232	4809360
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900562192.opb	UNSAT	26.3395	26.4359	4798431
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_038.shuf-1.opb	UNSAT	31.7444	31.8971	4812463
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-08.opb	UNSAT	33.5284	33.6655	4799999
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-1.opb	UNSAT	35.5745	35.7262	4811303
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	UNSAT	39.3426	39.6497	4795967
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb	UNSAT	45.0687	45.2606	4810230
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.6.accl.ucl.opb	UNSAT	46.1064	46.2178	4796303
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat98_identity_complement.opb	UNSAT	48.5865	48.9379	4813942
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-neos-859770.0.d.opb	UNSAT	67.6662	67.8982	4810723
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900575442.opb	UNSAT	73.1702	73.4201	4798403
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height27_pigeons26_holes25.opb	UNSAT	74.9256	75.2477	4810317
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l045-r044-n1.opb	UNSAT	80.7189	81.0501	4802799
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/diag_spec/normalized-25diag_spec_greater.opb	UNSAT	91.9938	92.349	4809824
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid8_51.shuf-1.opb	UNSAT	97.6961	98.1295	4811825
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb	UNSAT	99.115	99.6658	4808287
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-36.opb	UNSAT	102.453	102.845	4799915
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900571132.opb	UNSAT	121.912	122.372	4798179
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-left3reg-l090-r089-n1.opb	UNSAT	123.417	123.944	4801511
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-3.opb	UNSAT	124.443	124.934	4811332
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900669797.opb	UNSAT	124.691	125.148	4798039
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat10_8_triangular.opb	UNSAT	133.178	133.832	4813884
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_wallace/normalized-10array_wallace_less_teq.opb	UNSAT	155.79	156.376	4809795
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900571761.opb	UNSAT	167.388	167.927	4798235
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb	UNSAT	172.19	172.767	4810346
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_19.opb	UNSAT	181.258	181.925	4809418
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression32_8.opb	UNSAT	215.319	216.493	4809186
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb	UNSAT	220.196	220.966	4801707
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x30split.cnf-plain.pb.metafix.opb	UNSAT	222.943	223.992	4808461
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq7/normalized-22array_alg_ineq7.opb	UNSAT	242.842	243.75	4809650
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900582300.opb	UNSAT	275.231	276.096	4798263
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900667195.opb	UNSAT	285.273	286.297	4798067
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset_large/normalized-domset-hexgrid_06_047.opb	UNSAT	292.112	293.115	4812376
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq7/normalized-19array_ineq7.opb	UNSAT	455.135	456.429	4809621
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v1_shuffle/normalized-grid8_61.shuf-3.opb	UNSAT	461.966	463.671	4811535
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v2_shuffle/normalized-grid6_51.shuf-1.opb	UNSAT	464.173	466.516	4811738
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq10/normalized-17array_ineq10.opb	UNSAT	728.026	730.491	4809505
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-fixed-bandwidth-38.cnf.gz-plain.pb.metafix.opb	UNSAT	757.302	759.585	4801399
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat11_9_triangular.opb	UNSAT	760.755	763.764	4814058
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l090-r089-n1.cnf-extracted.pb.metafix.opb	UNSAT	864.389	868.221	4801679
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-lines-v1_shuffle/normalized-grid6_49.shuf-2.opb	UNSAT	880.195	883.137	4811564
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-FastMatrixMultiplication-mini-2-2-2-05.opb	UNSAT	1017.04	1020.4	4814174
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-11-10.opb	UNSAT	1103.65	1107.29	4807881
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900561288.opb	UNSAT	1175.91	1180.07	4798207
PB24/normalized-PB15eval/DEC-LIN/ ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-2.cnf.gz-plain.pb.metafix.opb	UNSAT	1284.55	1288.93	4801371
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb	UNSAT	1477.4	1482.48	4808403
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n108-d3-i3-f.cnf.gz-plain.pb.metafix.opb	UNSAT	1638.65	1643.34	4801147
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-15-10.opb	UNSAT	2595.98	2605.11	4807997

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB10/DEC-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1096.cudf.paranoid.opb	SAT	0.00553	0.0238931	4799691
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww3.opb	SAT	0.005714	0.023677	4798879
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib3/normalized-stein27.0.s.opb	SAT	0.007577	0.026497	4810433
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww1.opb	SAT	0.007611	0.0269349	4799243
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww4.opb	SAT	0.007936	0.027222	4799047
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-HyperSudoku-03_c24.opb	SAT	0.008582	0.035751	4814290
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob6.opb	SAT	0.009145	0.0318121	4799075
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r08-tiling/normalized-domset-hexgrid_08_052.opb	SAT	0.010465	0.0540631	4812289
PB24/normalized-PB10/DEC-LIN/oliveras/ j30/normalized-j3027_9-sat.opb	SAT	0.010911	0.0288351	4799439
PB24/normalized-PB10/DEC-LIN/oliveras/ j30/normalized-j3042_9-sat.opb	SAT	0.012178	0.031899	4799467
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob1.opb	SAT	0.013353	0.0313921	4799215
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/armies/normalized-army8.9bt.opb	SAT	0.02074	0.423163	4797367
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226284.opb	SAT	0.022238	0.0406319	4798823
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat99_identity_complement.opb	SAT	0.022615	0.111144	4814029
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat11_11_identity_complement.opb	SAT	0.022671	0.0578329	4814145
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww5.opb	SAT	0.028353	0.0477589	4799103
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin8.opb	SAT	0.030302	0.940127	4796975
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977266.opb	SAT	0.030551	0.048675	4798515
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb	SAT	0.042223	0.672783	4796751
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat11_10_triangular.opb	SAT	0.04466	0.166412	4813826
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb	SAT	0.052868	0.659484	4796723
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb	SAT	0.053977	0.942253	4796807
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww2.opb	SAT	0.054396	0.0736629	4798991
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb	SAT	0.055256	0.911863	4796919
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	SAT	0.056128	0.849425	4796555
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb	SAT	0.058108	0.218099	4796639
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb	SAT	0.058639	0.208908	4796695
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb	SAT	0.059622	0.225362	4796667
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat12_11_triangular.opb	SAT	0.06663	0.151115	4814000
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb	SAT	0.072176	0.2462	4796583
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	SAT	0.072905	0.240387	4796527
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb	SAT	0.075122	0.919591	4796947
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat15_15_identity_complement.opb	SAT	0.078232	0.22783	4813797
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb	SAT	0.079707	0.195702	4796891
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	SAT	0.082715	0.155023	4796387
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111216188.opb	SAT	0.08789	0.108127	4798627
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb	SAT	0.095635	0.957979	4796779
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb	SAT	0.097581	0.121926	4797787
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb	SAT	0.099093	0.122102	4797535
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb	SAT	0.099593	0.123371	4797563
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb	SAT	0.100596	0.123366	4797759
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb	SAT	0.104965	0.143117	4797871
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-FRB-30-15-1_c18.opb	SAT	0.114663	0.148555	4814261
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974553.opb	SAT	0.12302	0.153085	4798795
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Soccer-20-25-20-1_c24.opb	SAT	0.123315	0.146808	4814377
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	SAT	0.123811	0.300008	4796471
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110971766.opb	SAT	0.13657	0.154607	4798487
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat15_14_triangular.opb	SAT	0.145694	0.300541	4813855
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969933.opb	SAT	0.149555	0.167818	4798683
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-neos-827015.0.u.opb	SAT	0.152548	0.179956	4810578
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin10.opb	SAT	0.175282	0.291661	4797059
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	SAT	0.175953	0.294861	4796443
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat19_19_identity_complement.opb	SAT	0.182196	0.239726	4814116
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967327.opb	SAT	0.192432	0.210867	4798739
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob2.opb	SAT	0.198867	0.224885	4799187
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975678.opb	SAT	0.199286	0.21867	4798851
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977464.opb	SAT	0.19952	0.21787	4798571
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900553644.opb	SAT	0.230228	0.250752	4798095
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/armies/normalized-army8.9ls.opb	SAT	0.27076	0.592095	4797143
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb	SAT	0.275316	0.294881	4797675
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb	SAT	0.27612	0.314316	4797843
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb	SAT	0.276506	0.308494	4797647
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb	SAT	0.278939	0.400055	4797479
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb	SAT	0.280667	0.299923	4802043
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb	SAT	0.283956	0.375925	4797507
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k3_l6_n1500.opb	SAT	0.320827	0.336858	4798011
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-missinghole-random/normalized-php_missinghole_random_190_189.opb	SAT	0.401433	0.496172	4812028
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_04_036.opb	SAT	0.47218	0.518749	4812231
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900559365.opb	SAT	0.481026	0.500322	4798375
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900669299.opb	SAT	0.550833	0.570431	4798319
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm75p-dec.opb.negationfix.opb	SAT	0.672396	0.692345	4802071
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb	SAT	0.687267	0.699736	4797591
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb	SAT	0.689504	0.712018	4797731
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb	SAT	0.690464	0.696452	4797703
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb	SAT	0.691463	0.705369	4797619
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567939.opb	SAT	0.702703	0.724256	4798151
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb	SAT	0.703641	0.70747	4797815
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob10.opb	SAT	0.857912	0.878233	4798907
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm90p-dec.opb.negationfix.opb	SAT	0.907343	0.934553	4801987
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm85p-dec.opb.negationfix.opb	SAT	0.925074	0.945645	4802127
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression32_18.opb	SAT	1.02228	1.04822	4809099
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb	SAT	1.22454	1.24066	4802351
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900581321.opb	SAT	1.33066	1.35428	4798291
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Soccer-30-24-20-1_c24.opb	SAT	3.8473	3.89032	4814232
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-missinghole-random/normalized-php_missinghole_random_390_389.opb	SAT	4.09289	4.14464	4812086
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb	SAT	4.84144	4.8713	4802211
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-missinghole/normalized-php_missinghole_410_409.opb	SAT	5.30924	5.35354	4811071
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Soccer-28-30-20-1_c24.opb	SAT	5.53095	5.5711	4814551
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-missinghole/normalized-php_missinghole_450_449.opb	SAT	8.38046	8.42612	4811100
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army9.12bt.opb	SAT	9.05744	9.36475	4797255
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-missinghole/normalized-php_missinghole_500_499.opb	SAT	9.25206	9.30226	4811042
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_26.opb	SAT	9.83884	10.1923	4809157
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-FastMatrixMultiplication-table-3-1-3-09.opb	SAT	10.9641	11.0348	4814435
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-missinghole-random/normalized-php_missinghole_random_480_479.opb	SAT	11.136	11.3431	4812057
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob7.opb	SAT	11.1402	11.1948	4798963
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin12.opb	SAT	13.0224	13.1641	4797087
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-849702.opb	SAT	13.3875	13.4633	4799747
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army9.12ls.opb	SAT	22.7237	23.0445	4797199
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r03_shuffle/normalized-domset-hexgrid_03_056.shuf-3.opb	SAT	24.1929	24.3483	4812173
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm50p-dec.opb.negationfix.opb	SAT	26.1947	26.2877	4802323
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_048.shuf-1.opb	SAT	26.3622	26.5406	4812521
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm95p-dec.opb.negationfix.opb	SAT	41.5719	41.7226	4802099
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-109.opb	SAT	42.7661	42.9323	4800027
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb	SAT	54.4478	54.6481	4802155
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm90p-dec.opb.negationfix.opb	SAT	68.9612	69.2042	4802295
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army10.14bt.opb	SAT	88.0325	88.6654	4797451
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K74.opb	SAT	101.578	102.023	4801007
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K76.opb	SAT	119.563	120.075	4801035
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17bt.opb	SAT	121.951	122.697	4797171
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-162.opb	SAT	174.249	174.801	4800195
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_23.opb	SAT	194.153	194.767	4809244
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army10.14ls.opb	SAT	219.368	220.485	4797339
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K73.opb	SAT	324.947	326.229	4800923
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	SAT	360.456	362.597	4796415
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r05_shuffle/normalized-domset-hexgrid_05_048.shuf-2.opb	SAT	374.82	376.096	4812115
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K75.opb	SAT	389.134	390.647	4800951
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size96-round21-0.opb	SAT	537.575	539.718	4808954
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob5.opb	SAT	876.359	879.342	4799019
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb	SAT	1148.47	1153.79	4796499
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size112-round21-3.opb	SAT	2370.86	2378.73	4808664

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-32array_alg_ineq8.opb	? (NS)		0.008026	0.0287491	4813420

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_30.opb	? (TO)	3600.01	3611.3	4809302
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K94.opb	? (TO)	3600.02	3610.9	4800839
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size160-round22-8.opb	? (TO)	3600.02	3614.2	4808983
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12056_2-sat.opb	? (TO)	3600.02	3612.9	4799551
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12056_9-sat.opb	? (TO)	3600.02	3611.9	4799607
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-133.opb	? (TO)	3600.02	3610.81	4799803
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb	? (TO)	3600.03	3612.91	4801763
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size160-round21-7.opb	? (TO)	3600.03	3611.4	4808751
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round22-9.opb	? (TO)	3600.03	3611.12	4808867
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9013_8-unsat.opb	? (TO)	3600.03	3613.2	4799411
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K82.opb	? (TO)	3600.03	3612.91	4800671
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K108.opb	? (TO)	3600.03	3611.12	4800727
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K131.opb	? (TO)	3600.03	3614.91	4800615
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K109.opb	? (TO)	3600.03	3611.3	4800895
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-81-80.opb	? (TO)	3600.03	3616.12	4807968
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-17.opb	? (TO)	3600.03	3615.5	4799831
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-190.opb	? (TO)	3600.04	3613.02	4799887
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n248-d3-i2-f.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.04	3612.7	4801455
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob4.opb	? (TO)	3600.04	3614.51	4798935
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-121.opb	? (TO)	3600.04	3612.7	4800055
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K145.opb	? (TO)	3600.04	3610.91	4800279
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K141.opb	? (TO)	3600.04	3608.5	4800251
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K191.opb	? (TO)	3600.04	3610.8	4800223
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size96-round23-0.opb	? (TO)	3600.04	3612.12	4808838
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n200-d3-i1-r1.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.04	3612.3	4801427
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat20_19_identity_complement.opb	? (TO)	3600.04	3610.81	4814087
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-65-60.opb	? (TO)	3600.04	3611.3	4808026
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K92.opb	? (TO)	3600.04	3613.62	4800699
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression32_15.opb	? (TO)	3600.04	3613.4	4809273
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K157.opb	? (TO)	3600.04	3611.2	4800335
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j1206_5-sat.opb	? (TO)	3600.05	3611.6	4799523
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-clauses-105-100.opb	? (TO)	3600.05	3611.12	4807823
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K188.opb	? (TO)	3600.05	3611.12	4800363
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-81.opb	? (TO)	3600.05	3612.91	4800139
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-69.opb	? (TO)	3600.05	3611.4	4799971
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob3.opb	? (TO)	3600.05	3610.7	4799159
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l060-r059-n1.opb	? (TO)	3600.05	3610.72	4802771
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-almost3reg-l090-r089-n1.opb	? (TO)	3600.05	3611.21	4801567
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/ array_comm/arraycomm_teq/normalized-17arraycomm_teq_greater.opb	? (TO)	3600.05	3611.12	4809708
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r06_shuffle/normalized-domset-hexgrid_06_068.shuf-3.opb	? (TO)	3600.05	3614.31	4812405
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/larger/vc-nve-large-v3/normalized-grid6_171.opb	? (TO)	3600.05	3609.21	4811593
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size160-round23-9.opb	? (TO)	3600.05	3613.6	4809041
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-reblock354.0.u.opb	? (TO)	3600.06	3612.84	4810491
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k5_l4_n750.opb	? (TO)	3600.06	3611.41	4797927
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size112-round23-8.opb	? (TO)	3600.06	3614.02	4809012
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round22-2.opb	? (TO)	3600.06	3611.8	4808925
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k4_l4_n360.opb	? (TO)	3600.06	3612.61	4797955
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-23arraycomm_teq_tvars_greater.opb	? (TO)	3600.06	3610.71	4813652
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-71-70.opb	? (TO)	3600.06	3610.51	4807736
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset_large/normalized-domset-hexgrid_11_076.opb	? (TO)	3600.06	3614.03	4812347
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin14.opb	? (TO)	3600.06	3615.61	4797031
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid8_91.shuf-2.opb	? (TO)	3600.06	3613.53	4811854
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-almost3reg-l100-r099-n1.opb	? (TO)	3600.06	3613.41	4801595
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-0.opb	? (TO)	3600.07	3612.12	4808896
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j1207_4-sat.opb	? (TO)	3600.07	3613.12	4799579
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-169.opb	? (TO)	3600.07	3610.51	4799943
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K69.opb	? (TO)	3600.07	3612.81	4800979
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-41-40.opb	? (TO)	3600.07	3613.2	4807910
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb	? (TO)	3600.07	3611.51	4801651
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-51-50.opb	? (TO)	3600.07	3613.02	4808084
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat15_13_triangular.opb	? (TO)	3600.07	3612.3	4813971
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v3_shuffle/normalized-grid8_111.shuf-3.opb	? (TO)	3600.07	3613.62	4811622
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r06_shuffle/normalized-domset-hexgrid_06_064.shuf-3.opb	? (TO)	3600.07	3614.15	4812434
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size80-round23-5.opb	? (TO)	3600.07	3614.9	4808809
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k3_l5_n550.opb	? (TO)	3600.07	3611.9	4797983
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_8.opb	? (TO)	3600.07	3614.31	4809070
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army12.21ls.opb	? (TO)	3600.07	3613.83	4797423
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K195.opb	? (TO)	3600.07	3613.12	4800391
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-820146.opb	? (TO)	3600.07	3612.12	4799775
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round22-1.opb	? (TO)	3600.07	3611.7	4808780
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K91.opb	? (TO)	3600.07	3612.5	4800783
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb	? (TO)	3600.07	3613.3	4807852
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb	? (TO)	3600.08	3611.86	4810085
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset_large/normalized-domset-hexgrid_05_050.opb	? (TO)	3600.08	3611.71	4812318
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/ miplib2017/normalized-neos-4954274-beardy.0.u.opb	? (TO)	3600.08	3610.95	4810636
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9025_4-unsat.opb	? (TO)	3600.08	3613.12	4799327
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l100-r099-n1.cnf-extracted.pb.metafix.opb	? (TO)	3600.08	3611.02	4801791
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n272-d3-i1-r1.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.08	3611.8	4801231
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n282-d3-i1-f.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.08	3611.7	4801091
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K95.opb	? (TO)	3600.08	3612.6	4800755
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K80.opb	? (TO)	3600.08	3611.02	4800811
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K127.opb	? (TO)	3600.08	3611.12	4800475
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_comm/arraycomm_teq/normalized-11arraycomm_teq_less.opb	? (TO)	3600.08	3613.6	4809737
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K163.opb	? (TO)	3600.08	3613.4	4800307
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-91-90.opb	? (TO)	3600.08	3613.02	4808113
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size80-round23-9.opb	? (TO)	3600.08	3613.6	4808635
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K199.opb	? (TO)	3600.09	3610.81	4800559
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n226-d3-i2-f.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.09	3614.12	4801343
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n288-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.09	3612.5	4801203
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-clauses-101-100.opb	? (TO)	3600.09	3614.71	4808055
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb	? (TO)	3600.09	3613.36	4810143
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K93.opb	? (TO)	3600.09	3611.61	4800643
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib3/normalized-seymour.0.u.opb	? (TO)	3600.09	3611.52	4810404
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round22-8.opb	? (TO)	3600.09	3612.02	4808722
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6029_4-unsat.opb	? (TO)	3600.09	3613.02	4799271
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat16_15_identity_complement.opb	? (TO)	3600.09	3612.61	4813739
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/ random_norational_opb/normalized-ec_random_norational_random8reg_split_350.opb	? (TO)	3600.09	3613.34	4812811
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_diag/normalized-19array_diag_less.opb	? (TO)	3600.09	3610.91	4809679
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k6_l3_n170.opb	? (TO)	3600.09	3612.4	4797899
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Pentominoes-03-40_c24.opb	? (TO)	3600.09	3611.63	4814522
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12026_4-sat.opb	? (TO)	3600.09	3610.6	4799495
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-174.opb	? (TO)	3600.09	3612.34	4800083
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K173.opb	? (TO)	3600.09	3613.12	4800587
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin16.opb	? (TO)	3600.09	3612.25	4797115
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq5/normalized-24array_ineq5.opb	? (TO)	3600.09	3612.61	4813478
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Hamming-30-15-07-14_c24.opb	? (TO)	3600.1	3611.51	4814319
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12059_1-sat.opb	? (TO)	3600.1	3611.5	4799663
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j909_2-unsat.opb	? (TO)	3600.1	3614.2	4799355
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-57.opb	? (TO)	3600.1	3612.02	4800111
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K107.opb	? (TO)	3600.1	3611.21	4800867
PB24/normalized-PB15eval/DEC-LIN/ ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-33-3.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.1	3611.3	4801063
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K147.opb	? (TO)	3600.1	3610.02	4800531
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob8.opb	? (TO)	3600.1	3613.12	4799131
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army12.21bt.opb	? (TO)	3600.1	3611.31	4797395
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v2_shuffle/normalized-grid8_87.shuf-3.opb	? (TO)	3600.1	3612.04	4811709
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-820157.opb	? (TO)	3600.1	3613.02	4799719
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat10_9identity_complement.opb	? (TO)	3600.1	3612.12	4813768
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_04_075.opb	? (TO)	3600.1	3613.61	4812202
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-14array_diag_less.opb	? (TO)	3600.1	3610.7	4813536
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size112-round22-3.opb	? (TO)	3600.1	3611.8	4808693
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-125.opb	? (TO)	3600.1	3612.6	4799859
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/ array_comm/arraycomm_teq_tvars/normalized-29arraycomm_teq_tvars_greater.opb	? (TO)	3600.11	3614.22	4809766
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression32_14.opb	? (TO)	3600.11	3613.71	4809128
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-95-90.opb	? (TO)	3600.11	3611.7	4807939
PB24/normalized-PB15eval/DEC-LIN/ ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-58-2.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.11	3611.5	4801175
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n238-d3-i2-r2.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.11	3610.7	4801259
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K181.opb	? (TO)	3600.11	3612.91	4800447
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12052_3-unsat.opb	? (TO)	3600.11	3613.02	4799635
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat20_18_triangular.opb	? (TO)	3600.11	3614.31	4813913
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-30array_alg_ineq8.opb	? (TO)	3600.11	3610.5	4813391
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K170.opb	? (TO)	3600.12	3613.02	4800419
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17ls.opb	? (TO)	3600.12	3613.32	4797227
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-nve-large-v1/normalized-grid8_97.opb	? (TO)	3600.12	3612.06	4811796
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-lines-v2_shuffle/normalized-grid8_63.shuf-1.opb	? (TO)	3600.12	3612.05	4811912
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb	? (TO)	3600.12	3613.22	4810201
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-138.opb	? (TO)	3600.12	3612.42	4800167
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K136.opb	? (TO)	3600.12	3612.8	4800503
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army13.24bt.opb	? (TO)	3600.12	3611.61	4797283
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/larger/vc-lines-v4_shuffle/normalized-grid10_200.shuf-3.opb	? (TO)	3600.13	3610.94	4811651
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-28array_ineq8.opb	? (TO)	3600.13	3613.51	4813449
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height42_pigeons41_holes40.opb	? (TO)	3600.14	3614.04	4809969
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin18.opb	? (TO)	3600.16	3611.98	4797003
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army13.24ls.opb	? (TO)	3600.16	3614.19	4797311
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-dec2-3-3-9.opb	? (TO)	3600.17	3609.67	4814580
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-table-3-3-9.opb	? (TO)	3600.17	3610.47	4814203
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-rail01.0.s.opb	? (TO)	3600.21	3612.6	4810549
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-rmine21.0.u.opb	? (TO)	3600.23	3609.16	4810694
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-table-3-3-7.opb	? (TO)	3600.23	3609.73	4814406
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-WordSquare-tab2-11-ogd2008_c24.opb	? (TO)	3600.23	3613.27	4814464
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-scpj4scip.0.s.opb	? (TO)	3600.27	3615.97	4810520
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-bab2.0.s.opb	? (TO)	3600.32	3612.83	4810607
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib3/normalized-fast0507.0.s.opb	? (TO)	3600.34	3610.97	4810375
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_03_270.opb	? (TO)	3600.45	3612.3	4812753
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-tanglegram1.0.s.opb	? (TO)	3600.5	3609.84	4810752
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb	? (TO)	3600.97	3611.57	4802267
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw128/ normalized-hw128-vm100p-dec.opb.negationfix.opb	? (TO)	3601.22	3613.92	4802015
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-cdc7-4-3-2.0.u.opb	? (TO)	3601.39	3615.13	4810462

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb	? (MO)	1373.81	1380.08	4802239
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/ normalized-hw256-vm100p-dec.opb.negationfix.opb	? (MO)	2778.33	2787.61	4802183
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm98p-dec.opb.negationfix.opb	? (MO)	2954.2	2964.97	4801959

PB'26 competition: benchmarks results per solver

Result page for solver AI448PBSolver 2026-04-26 (complete)

Solver command line

Category "decision problem, linear constraints, no UNSAT certificate" (DEC-LIN)

Solver proved unsatisfiability (UNSATISFIABLE) (211 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (120 runs) [Show/Hide]

Solver does not handle the size of the coefficients (1 run) [Show/Hide]

Solver timed out (no solution given) (157 runs) [Show/Hide]

Solver exceeded the memory limit (no solution given) (3 runs) [Show/Hide]