PB'25 competition: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-2_4_1.opb	UNSAT	0.006276	0.0146109	4514676
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-3_4_3.opb	UNSAT	0.006481	0.014759	4514820
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-3_6_5.opb	UNSAT	0.006904	0.0157241	4514532
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_06_004.opb	UNSAT	0.007666	0.0165689	4544036
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset-stargrid-9-split/normalized-domset-stargod_09_009.opb	UNSAT	0.007784	0.016866	4543334
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-11-10.opb	UNSAT	0.008062	0.0167471	4493026
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r07_shuffle/normalized-domset-hexgrid_07_010.shuf-1.opb	UNSAT	0.008432	0.0173681	4543490
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r10-tiling/normalized-domset-hexgrid_10_007.opb	UNSAT	0.00865	0.0201029	4543451
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_03_094.opb	UNSAT	0.009013	0.018881	4543217
PB24/normalized-PB16/DEC-LIN/elffers/ subsetcard/normalized-subsetcard-geq-random4regular-75.opb	UNSAT	0.009157	0.018177	4513740
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-15-10.opb	UNSAT	0.009172	0.0229161	4492738
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_03_058.opb	UNSAT	0.009552	0.018783	4543373
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNSAT	0.009669	0.023591	4492702
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977780.opb	UNSAT	0.010908	0.0218721	4495402
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974372.opb	UNSAT	0.011087	0.0194541	4495438
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/diag_spec/normalized-9diag_spec_less.opb	UNSAT	0.012313	0.0205379	4517412
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-subsetCardinalitySigma-41-3.cnf.gz-extracted.pb.metafix.opb	UNSAT	0.013929	0.341932	4509946
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v4/normalized-grid4_06.opb	UNSAT	0.015751	0.026382	4516152
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-15.shuf-1.opb	UNSAT	0.0161	0.0266119	4516404
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-15.shuf-2.opb	UNSAT	0.016219	0.026102	4516440
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-nve-large-v4/normalized-grid10_64.opb	UNSAT	0.016262	0.0253231	4515900
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-regular-n17-d4-i3.cnf.gz-extracted.pb.metafix.opb	UNSAT	0.01681	0.0266621	4509766
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid4_11.shuf-2.opb	UNSAT	0.017269	0.027579	4516296
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-30.shuf-1.opb	UNSAT	0.017552	0.0301139	4516872
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-40.shuf-3.opb	UNSAT	0.018688	0.028792	4516836
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/random4reg_opb/normalized-subsetcard-geq-random4reg-60.opb	UNSAT	0.022001	0.0334721	4516476
PB24/normalized-PB10/DEC-LIN/oliveras/ j30/normalized-j3022_10-unsat.opb	UNSAT	0.026266	0.0457631	4502096
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb	UNSAT	0.026794	0.0389541	4492270
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl.opb	UNSAT	0.031005	0.03956	4491946
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP015.shuf-3.opb	UNSAT	0.031424	0.0417889	4515792
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP015.shuf-1.opb	UNSAT	0.032634	0.0510581	4515504
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-31-30.opb	UNSAT	0.034435	0.0423679	4493062
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-35-30.opb	UNSAT	0.036544	0.0455001	4492918
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-9arraycomm_teq_tvars_greater.opb	UNSAT	0.036626	0.0466559	4517340
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v4/normalized-grid8_60.opb	UNSAT	0.038502	0.0479699	4516116
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid10_27.shuf-3.opb	UNSAT	0.044608	0.0582401	4516260
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v4/normalized-grid10_66.opb	UNSAT	0.050999	0.0640229	4516188
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6039_10-unsat.opb	UNSAT	0.052644	0.0603891	4501880
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-lines-v3_shuffle/normalized-grid6_85.shuf-3.opb	UNSAT	0.055621	0.0654251	4516080
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_10_016.opb	UNSAT	0.055969	0.0655119	4543958
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j907_8-unsat.opb	UNSAT	0.057502	0.0661489	4501916
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset_large/normalized-domset-hexgrid_07_054.opb	UNSAT	0.063833	0.073093	4543568
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-41-40.opb	UNSAT	0.066825	0.075293	4493098
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6019_8-unsat.opb	UNSAT	0.068953	0.0775569	4501736
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP025.shuf-1.opb	UNSAT	0.069128	0.079132	4515576
PB24/normalized-PB15eval/DEC-LIN/ SUMINEQ/normalized-sumineqArity3pyramidP0032.opb	UNSAT	0.070814	0.0810779	4511602
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb	UNSAT	0.076115	0.0893569	4492450
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-45-40.opb	UNSAT	0.076629	0.086484	4493134
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	UNSAT	0.077695	0.0864499	4491910
PB24/normalized-PB15eval/DEC-LIN/ SUMINEQ/normalized-sumineqArity4pyramidP0032.opb	UNSAT	0.079693	0.0898711	4511638
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	UNSAT	0.089931	0.0989381	4492414
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP035.opb	UNSAT	0.095435	0.106041	4515828
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	UNSAT	0.115845	0.132438	4492522
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb	UNSAT	0.118036	0.133595	4492234
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid8_99.shuf-2.opb	UNSAT	0.153585	0.167431	4516332
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	UNSAT	0.191102	0.211378	4492630
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP035.shuf-2.opb	UNSAT	0.20696	0.218347	4515684
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-75-70.opb	UNSAT	0.241938	0.264945	4492846
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/grids_large_opb/normalized-ECgrid_split_4_250.opb	UNSAT	3.12683	3.14237	4542944
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-1000.shuf-2.opb	UNSAT	4.12279	4.14685	4516548
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v011-n3.opb	UNSAT	4.16426	4.1824	4514208
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v011-n1.opb	UNSAT	4.4853	4.50408	4513560
PB24/normalized-PB15eval/DEC-LIN/ ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i1-f.cnf.gz-plain.pb.metafix.opb	UNSAT	4.51149	4.53495	4509658
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb/normalized-subsetcard-eq-fixedbandwidth-3000.opb	UNSAT	4.57903	4.60408	4516728
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-1750.shuf-3.opb	UNSAT	4.66386	4.68854	4516800
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n32-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	UNSAT	4.78059	4.80439	4509838
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n34-d3-i2-r2.cnf.gz-plain.pb.metafix.opb	UNSAT	4.87756	4.93331	4510162
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v021-n1.opb	UNSAT	4.89041	4.90961	4514028
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1000.shuf-3.opb	UNSAT	4.90735	4.93335	4516584
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-3500.opb	UNSAT	4.93038	4.9596	4516692
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_02_004.opb	UNSAT	4.93896	4.9577	4544153
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1500.shuf-1.opb	UNSAT	5.19724	5.25047	4516512
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-2500.opb	UNSAT	5.27188	5.316	4516620
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x10split.opb	UNSAT	5.58715	5.60953	4511494
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-3500.shuf-3.opb	UNSAT	5.80237	5.83537	4516764
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-11array_diag_less.opb	UNSAT	5.87446	5.89894	4517196
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v041-n2.opb	UNSAT	6.14985	6.17181	4514280
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height12_pigeons11_holes10.opb	UNSAT	6.29256	6.3262	4542398
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/ normalized-composed_pebbling_php_pyramid_height5_pigeons4_holes3.opb	UNSAT	6.3029	6.34794	4542320
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-4000.opb	UNSAT	6.42109	6.46899	4516656
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v051-n2.opb	UNSAT	6.59286	6.61652	4513992
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb	UNSAT	6.77314	6.79626	4513632
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x20split.opb	UNSAT	7.06574	7.10989	4511458
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l030-r029-n1.cnf-extracted.pb.metafix.opb	UNSAT	7.221	7.2608	4510882
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v061-n3.opb	UNSAT	7.2369	7.26058	4514172
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x20split.cnf-extracted.pb.metafix.opb	UNSAT	7.4772	7.50679	4510522
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/ normalized-ECrand4regsplit-v090-n1.opb	UNSAT	7.49372	7.52505	4513596
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb	UNSAT	7.6788	7.72199	4513668
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v071-n1.opb	UNSAT	7.9089	7.94499	4514064
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v071-n2.opb	UNSAT	8.09863	8.12514	4514136
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq10/normalized-13array_ineq10.opb	UNSAT	8.52349	8.57418	4516908
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x20split.opb	UNSAT	8.73081	8.77085	4511062
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v091-n1.opb	UNSAT	8.97023	8.99872	4514100
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v091-n3.opb	UNSAT	9.96343	9.99405	4514244
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-stein45inf.0.d.opb	UNSAT	10.3171	10.3462	4514964
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x70split.cnf-plain.pb.metafix.opb	UNSAT	10.3969	10.4299	4510738
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6021_1-unsat.opb	UNSAT	10.8342	10.8707	4501844
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP085.opb	UNSAT	10.9174	10.9825	4515540
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973163.opb	UNSAT	11.05	11.0855	4495294
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968094.opb	UNSAT	11.1037	11.1378	4495474
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973364.opb	UNSAT	11.1484	11.1854	4495258
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974180.opb	UNSAT	11.2393	11.2722	4495222
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219348.opb	UNSAT	11.316	11.3593	4495582
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973670.opb	UNSAT	11.3711	11.4184	4495186
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224255.opb	UNSAT	11.3722	11.4147	4495690
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-6_6_8.opb	UNSAT	11.4652	11.5111	4514640
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110978113.opb	UNSAT	11.5688	11.606	4495366
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l040-r039-n1.cnf-plain.pb.metafix.opb	UNSAT	11.8547	11.9072	4510846
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967142.opb	UNSAT	11.8666	11.9021	4495618
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-7_7_6.opb	UNSAT	11.9947	12.0316	4514784
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-06/normalized-ec_stargrid_06_012.opb	UNSAT	12.1142	12.151	4542905
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x60split.opb	UNSAT	12.1898	12.3044	4511278
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/ normalized-ECrand4regsplit-v070-n1.opb	UNSAT	12.3389	12.3774	4513704
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	UNSAT	12.3406	12.443	4491874
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_11.opb	UNSAT	12.3505	12.3833	4514496
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x90split.cnf-plain.pb.metafix.opb	UNSAT	12.4992	12.5336	4510702
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat10_8_triangular.opb	UNSAT	12.582	12.626	4544699
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x10split.cnf-plain.pb.metafix.opb	UNSAT	12.6106	12.7496	4510270
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x40split.opb	UNSAT	13.4395	13.4778	4511134
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_06_048.opb	UNSAT	13.5624	13.606	4544075
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_06_048.opb	UNSAT	13.785	13.8286	4543880
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat11_9_triangular.opb	UNSAT	13.9734	14.021	4544933
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x80split.opb	UNSAT	14.488	14.5309	4511530
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/noverticaledges-v1/normalized-grid4_27.opb	UNSAT	15.9491	16.0005	4516368
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat12_10_triangular.opb	UNSAT	16.1855	16.2353	4544855
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP085.shuf-3.opb	UNSAT	16.1867	16.2335	4515756
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb	UNSAT	16.2522	16.2983	4513524
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb	UNSAT	16.5553	16.6768	4491838
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ larger/domset_large_shuffle/normalized-domset-hexgrid_03_084.shuf-1.opb	UNSAT	17.1668	17.2122	4543139
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_18_044.opb	UNSAT	17.3512	17.402	4543997
PB24/normalized-PB24/DEC-LIN/nordstrom/ MIPLIB01/dec/miplib3/normalized-p0201.0.u.opb	UNSAT	18.1054	18.1598	4514892
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb	UNSAT	18.4638	18.5206	4491802
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v2_shuffle/normalized-grid4_33.shuf-3.opb	UNSAT	18.6874	18.7666	4516008
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat12_11_identity_complement.opb	UNSAT	19.349	19.4078	4544816
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-4_5_19.opb	UNSAT	19.6991	19.751	4514568
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x50split.cnf-extracted.pb.metafix.opb	UNSAT	19.9339	20.0685	4510450
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-188.opb	UNSAT	21.1322	21.3267	4503398
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP095.shuf-2.opb	UNSAT	21.3088	21.3706	4515612
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq5/normalized-16array_alg_ineq5.opb	UNSAT	22.0714	22.1785	4517088
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_05_100.opb	UNSAT	23.795	23.8524	4543256
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v2_shuffle/normalized-grid4_51.shuf-3.opb	UNSAT	25.0219	25.0996	4516044
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_03_100.opb	UNSAT	25.8354	25.8987	4544270
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat98_identity_complement.opb	UNSAT	27.1759	27.2584	4544738
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-22array_ineq8.opb	UNSAT	28.4839	28.5707	4517052
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04/normalized-ec_stargrid_04_021.opb	UNSAT	28.7448	28.8234	4542983
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/ random_norational_opb/normalized-ec_random_norational_random4reg_split_350.opb	UNSAT	30.9805	31.0626	4544309
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb	UNSAT	31.7552	31.8392	4491622
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900564281.opb	UNSAT	32.4106	32.4933	4495006
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v1_shuffle/normalized-grid10_35.shuf-3.opb	UNSAT	32.6708	32.7608	4515864
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-7_7_15.opb	UNSAT	32.7643	32.859	4514712
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat10_9identity_complement.opb	UNSAT	33.0531	33.156	4544504
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset-hubgraph-opb/normalized-domset-hubgraph_068.opb	UNSAT	33.1865	33.2614	4543412
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-91-90.opb	UNSAT	33.5269	33.6296	4493206
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-16arraycomm_teq_tvars_greater.opb	UNSAT	33.6565	33.755	4517304
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-MisteryShopper-mini-5-08-2-6-0_c24.opb	UNSAT	34.8277	34.9438	4545401
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height18_pigeons17_holes16.opb	UNSAT	35.9581	36.0493	4542125
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ larger/domset_large_shuffle/normalized-domset-hexgrid_05_110.shuf-2.opb	UNSAT	36.2843	36.3786	4543178
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl.opb	UNSAT	36.4904	36.5787	4491586
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb	UNSAT	36.5111	36.6135	4491730
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb	UNSAT	37.8229	37.9327	4510918
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-105-100.opb	UNSAT	38.1625	38.2804	4492774
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557574.opb	UNSAT	38.7781	38.8759	4494790
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_18.opb	UNSAT	39.2392	39.3444	4514748
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP105.shuf-2.opb	UNSAT	42.479	42.6056	4515468
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x50split.opb	UNSAT	44.3892	44.5141	4511206
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb	UNSAT	45.3417	45.5951	4491478
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP145.shuf-1.opb	UNSAT	45.3787	45.5399	4515396
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-13array_diag_greater.opb	UNSAT	46.6373	46.7884	4517160
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-21array_ineq8.opb	UNSAT	47.8938	48.0338	4517016
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l010-r009-n1.opb	UNSAT	48.5544	48.6644	4513848
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551347.opb	UNSAT	50.2447	50.3793	4494754
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/ normalized-composed_pebbling_php_pyramid_height10_pigeons9_holes8.opb	UNSAT	54.8745	55.0123	4542632
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-MisteryShopper-mini-5-10-2-6-0_c24.opb	UNSAT	56.6441	56.8229	4545440
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	UNSAT	58.2596	58.5367	4491514
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v2_shuffle/normalized-grid4_121.shuf-1.opb	UNSAT	58.4798	58.6377	4515972
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-left3reg-l010-r010-n1.opb	UNSAT	58.8111	59.0087	4510198
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height19_pigeons18_holes17.opb	UNSAT	59.6775	59.8585	4542242
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x60split.opb	UNSAT	59.9953	60.1397	4511170
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_170.opb	UNSAT	60.2216	60.3715	4544387
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_04_250.opb	UNSAT	60.2266	60.3712	4544231
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_04_280.opb	UNSAT	60.2777	60.4344	4544426
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-left3reg-l020-r019-n1.opb	UNSAT	60.2893	60.4525	4510234
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_08_180.opb	UNSAT	60.3813	60.5371	4544348
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l025-r024-n1.opb	UNSAT	61.1086	61.2458	4513812
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-grids-v1_shuffle/normalized-grid8_161.shuf-2.opb	UNSAT	65.6454	65.8554	4515936
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2003/normalized-disctom.0.u.opb	UNSAT	71.0465	71.2296	4514856
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v2/normalized-grid8_97.opb	UNSAT	71.9965	72.2858	4516224
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l035-r034-n1.opb	UNSAT	72.4545	72.6511	4513776
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_220_219.opb	UNSAT	72.4684	72.6706	4543100
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-27array_alg_ineq8.opb	UNSAT	73.3425	73.5513	4516980
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_10_092.opb	UNSAT	74.0233	74.2201	4544114
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_230_229.opb	UNSAT	76.3412	76.5526	4543022
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_10_096.opb	UNSAT	77.7464	77.9442	4543841
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-2.opb	UNSAT	77.8554	78.0787	4515720
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x60split.cnf-extracted.pb.metafix.opb	UNSAT	83.5845	83.8229	4510774
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-28array_alg_ineq8.opb	UNSAT	86.3311	86.6074	4516944
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584219.opb	UNSAT	86.8671	87.0914	4494718
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_14_088.opb	UNSAT	89.0147	89.232	4543763
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/ random_rational_opb/normalized-ec_random_rational_random8reg_split_750.opb	UNSAT	92.5497	92.8027	4544192
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb	UNSAT	93.7806	94.0066	4510558
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb	UNSAT	97.9637	98.2636	4491694
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb	UNSAT	106.301	106.628	4511026
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x30split.opb	UNSAT	110.891	111.177	4511350
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Hamming-20-10-03-08_c24.opb	UNSAT	117.571	117.95	4545479
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l045-r044-n1.opb	UNSAT	119.553	119.852	4513956
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x80split.cnf-extracted.pb.metafix.opb	UNSAT	123.086	123.447	4510342
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x40split.opb	UNSAT	132.972	133.335	4511422
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x90split.cnf-extracted.pb.metafix.opb	UNSAT	157.878	158.333	4510306
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb	UNSAT	161.939	162.578	4491550
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x100split.opb	UNSAT	161.962	162.357	4511386
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height21_pigeons20_holes19.opb	UNSAT	169.152	169.583	4542359
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x30split.opb	UNSAT	183.39	183.886	4511242
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	UNSAT	186.993	187.744	4491442
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP135.shuf-2.opb	UNSAT	191.202	191.814	4515432
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb	UNSAT	213.619	214.162	4510378
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SocialGolfers-cnt-06-06-07_c24.opb	UNSAT	215.442	216.19	4545557
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x80split.opb	UNSAT	217.007	217.533	4511098
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb	UNSAT	231.725	232.37	4510630
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-PoolBallTriangle-07_c24.opb	UNSAT	247.671	248.385	4545596
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat16_15_identity_complement.opb	UNSAT	248.49	249.248	4544465
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_390_389.opb	UNSAT	255.449	256.076	4543061
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x50split.opb	UNSAT	278.598	279.411	4511566
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_021.shuf-2.opb	UNSAT	300.095	300.912	4542827
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900579996.opb	UNSAT	316.243	317.073	4495114
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb	UNSAT	322.031	322.856	4510414
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat20_19_identity_complement.opb	UNSAT	355.221	356.244	4544972
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l050-r049-n1.cnf-extracted.pb.metafix.opb	UNSAT	364.36	365.357	4510954
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-21-20.opb	UNSAT	378.903	380.024	4492882
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900582300.opb	UNSAT	402.57	403.697	4494826
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-15array_diag_greater.opb	UNSAT	428.085	429.269	4517124
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_30_088.opb	UNSAT	430.657	431.62	4543919
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x120split.opb	UNSAT	504.144	505.38	4513416
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_30_092.opb	UNSAT	537.456	538.673	4543802
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_30_096.opb	UNSAT	574.913	576.132	4543724
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_036.shuf-2.opb	UNSAT	747.676	749.553	4542710
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_072.shuf-3.opb	UNSAT	751.573	753.416	4542788
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x140split.opb	UNSAT	867.292	869.488	4513488
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_075.shuf-3.opb	UNSAT	890.431	892.762	4542866
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900559676.opb	UNSAT	1080.13	1083.12	4494646
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x150split.opb	UNSAT	1335.75	1338.98	4513344
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900577940.opb	UNSAT	1416.5	1419.95	4495042
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-35-30.opb	UNSAT	1446.43	1450.08	4492990
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb	UNSAT	1454.85	1458.29	4542593
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x130split.opb	UNSAT	1476.15	1480.31	4513380
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-20arraycomm_teq_tvars_less.opb	UNSAT	3254.75	3265.04	4517268
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n98-d3-i3-r1.cnf.gz-plain.pb.metafix.opb	UNSAT	3361.34	3369.34	4510126
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb	UNSAT	3504.56	3513.17	4543295

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.005878	0.013878	4502240
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_008.shuf-1.opb	SAT	0.006838	0.0156001	4543646
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb	SAT	0.009786	0.0219061	4492594
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb	SAT	0.01201	0.0285739	4492342
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_028.shuf-1.opb	SAT	0.013282	0.022395	4543607
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969933.opb	SAT	0.013659	0.0242809	4495546
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb	SAT	0.014036	0.025857	4492486
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb	SAT	0.015755	0.0286249	4492378
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973863.opb	SAT	0.015757	0.027441	4495330
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226284.opb	SAT	0.016733	0.025328	4495654
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb	SAT	0.017798	0.0323399	4492558
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset_large/normalized-domset-hexgrid_08_020.opb	SAT	0.01926	0.029741	4543529
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223689.opb	SAT	0.021539	0.033466	4495510
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900574974.opb	SAT	0.026526	0.0351049	4494934
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900559641.opb	SAT	0.030886	0.0389831	4495078
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb	SAT	0.033094	0.0438009	4492306
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900582376.opb	SAT	0.03979	0.0484459	4494970
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/armies/normalized-army8.9bt.opb	SAT	0.039861	0.0482031	4493782
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/armies/normalized-army8.9ls.opb	SAT	0.039979	0.0483079	4493494
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900547353.opb	SAT	0.04402	0.0528491	4494898
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww4.opb	SAT	0.044542	0.052764	4495942
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_064.shuf-1.opb	SAT	0.044949	0.0539951	4543685
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army9.12ls.opb	SAT	0.054135	0.062412	4493566
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army10.14ls.opb	SAT	0.06396	0.07239	4493746
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17ls.opb	SAT	0.074331	0.0827171	4493602
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900547461.opb	SAT	0.080441	0.0931531	4495150
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/ miplib2017/normalized-chromaticindex32-8.0.s.opb	SAT	0.086593	0.0950581	4515036
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900561384.opb	SAT	0.088446	0.09701	4494862
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin8.opb	SAT	0.116162	0.125772	4493278
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567003.opb	SAT	0.124365	0.133675	4494682
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army12.21ls.opb	SAT	0.129685	0.141858	4493854
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17bt.opb	SAT	0.132756	0.146856	4493530
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat99_identity_complement.opb	SAT	0.136487	0.146717	4544894
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6033_7-sat.opb	SAT	0.176789	0.185698	4501808
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww1.opb	SAT	0.210426	0.226861	4496194
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j907_2-sat.opb	SAT	0.237543	0.256004	4502060
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6027_7-sat.opb	SAT	0.289276	0.298494	4501700
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat11_11_identity_complement.opb	SAT	0.303946	0.316788	4545011
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb	SAT	0.305006	0.328794	4492666
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	SAT	0.306675	0.320568	4492198
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos808444.opb	SAT	0.338748	0.347839	4503110
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army13.24ls.opb	SAT	0.345737	0.359039	4493710
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12020_5-sat.opb	SAT	0.389386	0.39849	4502204
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob6.opb	SAT	0.39772	0.406884	4495978
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army10.14bt.opb	SAT	0.412135	0.421333	4493890
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat11_10_triangular.opb	SAT	0.431615	0.444302	4544621
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	SAT	0.55302	0.565625	4492090
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat12_11_triangular.opb	SAT	0.590573	0.600513	4544777
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	SAT	0.627487	0.643955	4492162
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	SAT	0.634874	0.645153	4491982
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-neos-777800.0.s.opb	SAT	0.673913	0.699443	4515288
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	SAT	0.709098	0.719469	4492054
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K75.opb	SAT	0.977086	0.993825	4507638
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	SAT	1.01354	1.02496	4492018
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat15_15_identity_complement.opb	SAT	1.11233	1.12342	4544582
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-cvs16r70-62.0.s.opb	SAT	1.13343	1.14456	4515144
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb	SAT	1.16239	1.18528	4492126
PB24/normalized-PB10/DEC-LIN/oliveras/ j30/normalized-j3013_3-sat.opb	SAT	1.27935	1.29447	4502132
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K102.opb	SAT	1.80357	1.82027	4507422
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat15_14_triangular.opb	SAT	1.85408	1.86729	4544660
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K76.opb	SAT	2.10565	2.13964	4507746
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob8.opb	SAT	2.50019	2.51473	4496050
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army9.12bt.opb	SAT	3.67003	3.69754	4493638
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob4.opb	SAT	3.89888	3.91501	4495798
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb	SAT	3.99914	4.03353	4493998
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K72.opb	SAT	4.2072	4.23256	4507782
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K101.opb	SAT	4.65739	4.67988	4507458
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob10.opb	SAT	4.75615	4.77509	4495762
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb	SAT	5.76272	5.79247	4494286
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin10.opb	SAT	5.95616	5.97748	4493386
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	SAT	6.01082	6.03465	4491658
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb	SAT	6.23028	6.25864	4494430
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army12.21bt.opb	SAT	6.61285	6.63558	4493818
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb	SAT	6.83066	6.86153	4494034
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww2.opb	SAT	6.90803	6.93384	4495870
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army13.24bt.opb	SAT	7.2174	7.24189	4493674
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww3.opb	SAT	7.3483	7.38	4495726
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb	SAT	7.46129	7.49058	4494322
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob1.opb	SAT	7.49899	7.52231	4496158
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww5.opb	SAT	7.79947	7.82658	4496014
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb	SAT	8.3305	8.36331	4511674
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat20_19_triangular.opb	SAT	9.49543	9.54325	4544543
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K105.opb	SAT	11.0895	11.1286	4507566
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j605_7-sat.opb	SAT	13.7596	13.8	4501772
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb	SAT	15.5962	15.6618	4493926
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb	SAT	19.5894	19.6678	4494178
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb	SAT	21.2321	21.3089	4494142
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb	SAT	23.1035	23.1852	4493962
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb	SAT	23.3449	23.4249	4494394
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-849702.opb	SAT	30.8153	31.0498	4503182
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K71.opb	SAT	31.028	31.1186	4507674
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin12.opb	SAT	38.5546	38.657	4493422
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb	SAT	46.7369	46.8864	4494358
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb	SAT	46.7558	46.9045	4494070
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb	SAT	46.8479	46.9954	4494214
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/ miplib2017/normalized-academictimetablesmall.0.s.opb	SAT	50.1111	50.231	4515000
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb	SAT	52.3137	52.4792	4494106
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin14.opb	SAT	53.0155	53.1571	4493350
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb	SAT	57.5382	57.7279	4494250
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Soccer-22-18-20-1_c24.opb	SAT	60.6505	60.8106	4545518
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k4_l4_n360.opb	SAT	66.3924	66.5599	4494538
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k3_l6_n1500.opb	SAT	66.5552	66.766	4494610
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size96-round21-6.opb	SAT	68.9796	69.1602	4513272
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm25p-dec.opb.negationfix.opb	SAT	72.8266	73.0467	4511746
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-164.opb	SAT	74.4574	74.6962	4503506
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k5_l4_n750.opb	SAT	88.3017	88.5387	4494502
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm50p-dec.opb.negationfix.opb	SAT	107.293	107.63	4511926
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K69.opb	SAT	115.284	115.611	4507710
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K96.opb	SAT	132.459	132.853	4507602
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k3_l5_n550.opb	SAT	141.992	142.336	4494574
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob5.opb	SAT	198.032	198.545	4495906
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round21-3.opb	SAT	211.241	211.797	4513056
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K194.opb	SAT	215.105	215.738	4507170
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-03.opb	SAT	256.135	257.007	4503290
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-AverageAvoiding-20_c24.opb	SAT	256.478	257.514	4545284
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression32_15.opb	SAT	264.113	264.774	4514424
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K98.opb	SAT	544.976	546.514	4507386
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K196.opb	SAT	703.976	705.981	4507134
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k6_l3_n170.opb	SAT	784.752	786.853	4494466
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round21-2.opb	SAT	961.17	963.656	4512948
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K176.opb	SAT	1296.05	1299.74	4506882
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-111.opb	SAT	1360.54	1364.78	4503758
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K92.opb	SAT	2537.13	2545.87	4507314
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob2.opb	SAT	2973.26	2980.85	4496122

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm95p-dec.opb.negationfix.opb	?	143.399	143.851	4511998
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/ normalized-hw512-vm100p-dec.opb.negationfix.opb	?	145.125	145.557	4512070
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb	?	147.221	147.701	4512106
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb	?	148.758	149.3	4512034

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob3.opb	? (TO)	3600.01	3611.11	4496086
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-regular-n30-d4-i1.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.01	3611.6	4509730
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-16array_diag_less.opb	? (TO)	3600.01	3609.81	4517232
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_comm/arraycomm/normalized-17arraycomm_less.opb	? (TO)	3600.02	3611.01	4541930
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round22-0.opb	? (TO)	3600.02	3610.02	4513200
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l060-r059-n1.cnf-plain.pb.metafix.opb	? (TO)	3600.02	3608.5	4510810
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_066.shuf-1.opb	? (TO)	3600.03	3610.7	4542749
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb	? (TO)	3600.04	3609.31	4541774
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size112-round23-0.opb	? (TO)	3600.04	3609.71	4512804
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size160-round22-1.opb	? (TO)	3600.04	3609.4	4513092
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq6/normalized-31array_alg_ineq6.opb	? (TO)	3600.04	3610.61	4541618
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq5/normalized-30array_ineq5.opb	? (TO)	3600.05	3609.21	4541540
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-4.opb	? (TO)	3600.05	3609.71	4512840
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-fixed-bandwidth-46.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.05	3609.6	4510018
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n232-d3-i1-f.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.05	3608.9	4510054
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round22-4.opb	? (TO)	3600.05	3609.4	4513020
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-38.opb	? (TO)	3600.06	3612.13	4503650
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-2.opb	? (TO)	3600.06	3610.61	4512912
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n134-d3-i3-f.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.06	3608.6	4509982
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x100split.cnf-plain.pb.metafix.opb	? (TO)	3600.06	3609.6	4510666
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-820146.opb	? (TO)	3600.06	3611.12	4503218
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_11.opb	? (TO)	3600.07	3610.01	4514352
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/diag_comm/normalized-27diagcomm_less_teq.opb	? (TO)	3600.07	3611.62	4542086
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_diag/normalized-31array_diag_less.opb	? (TO)	3600.07	3609.41	4541735
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x100split.opb	? (TO)	3600.07	3610.3	4511314
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-1.opb	? (TO)	3600.07	3611.34	4515648
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_8.opb	? (TO)	3600.07	3608.91	4514316
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-25.opb	? (TO)	3600.07	3611.92	4503434
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob7.opb	? (TO)	3600.07	3610.01	4495834
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.opb	? (TO)	3600.07	3608.81	4510990
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-6.opb	? (TO)	3600.08	3609.71	4513308
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x110split.opb	? (TO)	3600.08	3610.31	4513452
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_comm/arraycomm_teq/normalized-20arraycomm_teq_less.opb	? (TO)	3600.08	3609.61	4541813
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_36.opb	? (TO)	3600.08	3608.55	4514460
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-90.opb	? (TO)	3600.08	3610.86	4503326
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq6/normalized-29array_ineq6.opb	? (TO)	3600.09	3609.22	4541657
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib3/normalized-seymour.0.u.opb	? (TO)	3600.09	3610.3	4514928
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-185.opb	? (TO)	3600.09	3609.41	4503470
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size112-round23-6.opb	? (TO)	3600.09	3610.01	4513128
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-89.opb	? (TO)	3600.09	3610.43	4503254
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round23-3.opb	? (TO)	3600.09	3610.12	4513164
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size80-round23-5.opb	? (TO)	3600.1	3609.11	4512984
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-73.opb	? (TO)	3600.1	3609.22	4503542
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/diag_spec/normalized-16diag_spec_greater.opb	? (TO)	3600.1	3610.02	4517376
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_comm/arraycomm_teq/normalized-22arraycomm_teq_less.opb	? (TO)	3600.1	3609.7	4541852
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l080-r079-n1.opb	? (TO)	3600.1	3608.51	4513884
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-6_6_33.opb	? (TO)	3600.1	3609.11	4514604
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l060-r059-n1.opb	? (TO)	3600.1	3609.91	4513920
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round23-6.opb	? (TO)	3600.1	3609.71	4512876
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression32_10.opb	? (TO)	3600.1	3609.6	4514388
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq6/normalized-20array_ineq6.opb	? (TO)	3600.11	3609.52	4541579
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/diag_spec/normalized-24diag_spec_greater.opb	? (TO)	3600.11	3610.14	4541969
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb	? (TO)	3600.11	3609.43	4493242
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab51-40-100.0.s.opb	? (TO)	3600.12	3608.9	4515108
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/wallace_spec/normalized-28wallace_spec_greater_tvars.opb	? (TO)	3600.12	3610.72	4542047
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab51-40-100.0.u.opb	? (TO)	3600.13	3609.58	4515180
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K84.opb	? (TO)	3600.14	3609.31	4507350
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K81.opb	? (TO)	3600.14	3609.52	4507530
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round22-2.opb	? (TO)	3600.14	3609.99	4513236
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab71-20-100.0.u.opb	? (TO)	3600.15	3609.77	4515252
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K90.opb	? (TO)	3600.15	3610.62	4507278
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-192.opb	? (TO)	3600.15	3611.55	4503362
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-AverageAvoiding-mini-40_c24.opb	? (TO)	3600.16	3609.33	4545128
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-85-80.opb	? (TO)	3600.17	3609.87	4493170
PB25/normalized-PB25/DEC-LIN/ wallon/normalized-FRB-53-24-1-mgd_c18.opb	? (TO)	3600.17	3610.25	4545050
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-neos-952987.0.d.opb	? (TO)	3600.17	3611.33	4515324
PB25/normalized-PB25/DEC-LIN/ wallon/normalized-FRB-45-21-3-mgd_c18.opb	? (TO)	3600.18	3611.83	4545245
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_diag/normalized-26array_diag_greater.opb	? (TO)	3600.19	3611.39	4541696
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K87.opb	? (TO)	3600.2	3610.03	4507494
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin16.opb	? (TO)	3600.21	3609.68	4493458
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SocialGolfers-08-04-08_c24.opb	? (TO)	3600.22	3609.97	4545323
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-147.opb	? (TO)	3600.26	3610.21	4503614
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-116.opb	? (TO)	3600.32	3611.34	4503686
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-134.opb	? (TO)	3600.32	3609.86	4503578
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.6.accl.ucl.opb	? (TO)	3600.33	3611.28	4491766
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x30split.cnf-plain.pb.metafix.opb	? (TO)	3600.34	3610.72	4510594
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K188.opb	? (TO)	3600.4	3610.19	4506846
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K138.opb	? (TO)	3600.42	3609.46	4506810
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K169.opb	? (TO)	3600.45	3611.58	4506774
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K159.opb	? (TO)	3600.45	3609.71	4506990
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K166.opb	? (TO)	3600.46	3609.9	4506918
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K134.opb	? (TO)	3600.46	3611.26	4506738
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K182.opb	? (TO)	3600.46	3610.72	4507206
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9013_10-sat.opb	? (TO)	3600.53	3609.67	4501988
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9029_2-sat.opb	? (TO)	3600.6	3610.05	4502024
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb	? (TO)	3600.92	3609.16	4542671
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-t1722.0.s.opb	? (TO)	3600.93	3609.88	4515216
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n184-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	? (TO)	3601.3	3611.31	4509802
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12011_3-sat.opb	? (TO)	3601.58	3611.34	4502168
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K155.opb	? (TO)	3601.65	3611.7	4507062
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K174.opb	? (TO)	3602.01	3611.3	4507026
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	? (TO)	3602.04	3611.4	4509874
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ivu59.0.u.opb	? (TO)	3602.04	3610.84	4515072
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n258-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	? (TO)	3602.04	3611.6	4509694
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb	? (TO)	3602.06	3611.7	4492954
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K133.opb	? (TO)	3602.06	3612.8	4506954
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/diag_spec/normalized-22diag_spec_greater.opb	? (TO)	3602.06	3611.11	4542008
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-pmg-14-UNSAT.shuffled-as.sat05-3942.cnf.gz-plain.pb.metafix.opb	? (TO)	3602.07	3611.9	4509910
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K150.opb	? (TO)	3602.07	3613.11	4507098
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb	? (TO)	3602.08	3611.75	4542203
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-61-60.opb	? (TO)	3602.08	3612.5	4492810
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb	? (TO)	3602.08	3610.2	4510486
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-820157.opb	? (TO)	3602.09	3611.9	4503146
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin18.opb	? (TO)	3602.09	3612.3	4493314
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K177.opb	? (TO)	3602.1	3610.5	4507242
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n230-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	? (TO)	3602.1	3610.8	4510090
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9013_3-sat.opb	? (TO)	3602.1	3610.8	4501952
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height36_pigeons35_holes34.opb	? (TO)	3602.12	3612.15	4542281
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb	? (TO)	3602.23	3618.53	4542476
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-174.opb	? (TO)	3602.35	3611.76	4503722
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb	? (TO)	3602.58	3618.4	4542554
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-neos-631710.0.u.opb	? (TO)	3602.6	3611.52	4515360

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height47_pigeons46_holes45.opb	? (MO)	59.592	59.7551	4542515
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb	? (MO)	61.836	62.0341	4542437
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height50_pigeons49_holes48.opb	? (MO)	66.3354	66.5366	4542164
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-dec2-3-3-1.opb	? (MO)	87.6274	88.1761	4545362
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb	? (MO)	108.722	109.044	4511782
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb	? (MO)	120.452	120.788	4511890
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-table-3-3-9.opb	? (MO)	123.47	123.813	4545089
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb	? (MO)	130.76	131.188	4511710
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb	? (MO)	132.762	133.209	4511818
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm99p-dec.opb.negationfix.opb	? (MO)	135.867	136.317	4511854
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm85p-dec.opb.negationfix.opb	? (MO)	163.248	163.742	4511962
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm75p-dec.opb.negationfix.opb	? (MO)	165.007	165.518	4512178
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-dec2-3-3-5.opb	? (MO)	178.093	178.569	4545206
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb	? (MO)	180.364	180.948	4512142

PB'25 competition: benchmarks results per solver

Result page for solver SynLSCD 2025-06-01 (complete)

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

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

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

Solver didn't decide (UNKNOWN) (4 runs) [Show/Hide]

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

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

Solver gave a wrong solution (1 run) [Show/Hide]