PB'25 competition: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v4/normalized-grid4_06.opb	UNSAT	0.006184	0.0159199	4546440
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-3_4_3.opb	UNSAT	0.006385	0.0148189	4546464
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-2_4_1.opb	UNSAT	0.006389	0.014992	4546463
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-15.shuf-2.opb	UNSAT	0.006919	0.0151911	4546413
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-40.shuf-3.opb	UNSAT	0.006944	0.0190459	4546401
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-15.shuf-1.opb	UNSAT	0.006948	0.0152889	4546412
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-3_6_5.opb	UNSAT	0.007094	0.015615	4546465
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-30.shuf-1.opb	UNSAT	0.007345	0.018509	4546400
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset-stargrid-9-split/normalized-domset-stargod_09_009.opb	UNSAT	0.007892	0.0160391	4546513
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-11-10.opb	UNSAT	0.008158	0.0742931	4546204
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r07_shuffle/normalized-domset-hexgrid_07_010.shuf-1.opb	UNSAT	0.008293	0.0186071	4546507
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-15-10.opb	UNSAT	0.008797	0.062389	4546205
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/random4reg_opb/normalized-subsetcard-geq-random4reg-60.opb	UNSAT	0.008954	0.017543	4546411
PB24/normalized-PB16/DEC-LIN/elffers/ subsetcard/normalized-subsetcard-geq-random4regular-75.opb	UNSAT	0.009527	0.0196911	4546399
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_03_058.opb	UNSAT	0.009893	0.0210961	4546510
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP015.shuf-1.opb	UNSAT	0.011597	0.025671	4546417
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP015.shuf-3.opb	UNSAT	0.01274	0.0237451	4546422
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/diag_spec/normalized-9diag_spec_less.opb	UNSAT	0.013065	0.022446	4546482
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977780.opb	UNSAT	0.013938	0.223147	4546179
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v4/normalized-grid8_60.opb	UNSAT	0.014089	0.0228451	4546441
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-nve-large-v4/normalized-grid10_64.opb	UNSAT	0.015093	0.0236709	4546443
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid10_27.shuf-3.opb	UNSAT	0.015671	0.0271029	4546435
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-regular-n17-d4-i3.cnf.gz-extracted.pb.metafix.opb	UNSAT	0.016508	0.0278259	4546366
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid4_11.shuf-2.opb	UNSAT	0.017604	0.0334171	4546436
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v4/normalized-grid10_66.opb	UNSAT	0.018446	0.0290989	4546439
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_06_004.opb	UNSAT	0.018971	0.031363	4546534
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-lines-v3_shuffle/normalized-grid6_85.shuf-3.opb	UNSAT	0.01995	0.028264	4546442
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r10-tiling/normalized-domset-hexgrid_10_007.opb	UNSAT	0.020657	0.03364	4546508
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-subsetCardinalitySigma-41-3.cnf.gz-extracted.pb.metafix.opb	UNSAT	0.020891	0.035895	4546368
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_03_094.opb	UNSAT	0.022057	0.032594	4546517
PB24/normalized-PB15eval/DEC-LIN/ SUMINEQ/normalized-sumineqArity3pyramidP0032.opb	UNSAT	0.025792	0.0343009	4546414
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP025.shuf-1.opb	UNSAT	0.026334	0.035359	4546423
PB24/normalized-PB15eval/DEC-LIN/ SUMINEQ/normalized-sumineqArity4pyramidP0032.opb	UNSAT	0.028393	0.0368901	4546415
PB24/normalized-PB10/DEC-LIN/oliveras/ j30/normalized-j3022_10-unsat.opb	UNSAT	0.029419	0.874558	4546243
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNSAT	0.030393	0.19557	4546106
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl.opb	UNSAT	0.031983	0.10282	4546218
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-31-30.opb	UNSAT	0.034171	0.0817891	4546206
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974372.opb	UNSAT	0.034597	0.13049	4546178
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP035.opb	UNSAT	0.035262	0.0450061	4546416
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-9arraycomm_teq_tvars_greater.opb	UNSAT	0.037333	0.047978	4546476
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-35-30.opb	UNSAT	0.039902	0.118316	4546207
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid8_99.shuf-2.opb	UNSAT	0.053684	0.0649319	4546437
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6039_10-unsat.opb	UNSAT	0.055223	0.664311	4546248
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_10_016.opb	UNSAT	0.056463	0.0653551	4546536
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset_large/normalized-domset-hexgrid_07_054.opb	UNSAT	0.063466	0.076182	4546511
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-41-40.opb	UNSAT	0.06643	0.112865	4546208
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-45-40.opb	UNSAT	0.072906	0.111667	4546209
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP035.shuf-2.opb	UNSAT	0.07381	0.085182	4546424
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6019_8-unsat.opb	UNSAT	0.075859	0.371576	4546244
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb	UNSAT	0.078413	0.142768	4546108
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	UNSAT	0.080031	0.150025	4546219
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb	UNSAT	0.080424	0.244085	4546107
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	UNSAT	0.118866	0.167378	4546110
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb	UNSAT	0.121566	0.172843	4546111
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j907_8-unsat.opb	UNSAT	0.16324	0.605041	4546254
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	UNSAT	0.263633	0.341665	4546109
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	UNSAT	0.545874	0.94108	4546112
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-75-70.opb	UNSAT	0.631184	0.836035	4546210
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-1000.shuf-2.opb	UNSAT	1.27216	1.28711	4546410
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb/normalized-subsetcard-eq-fixedbandwidth-3000.opb	UNSAT	1.63942	1.65675	4546402
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-1750.shuf-3.opb	UNSAT	1.82785	1.85314	4546403
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n34-d3-i2-r2.cnf.gz-plain.pb.metafix.opb	UNSAT	2.0481	2.06391	4546376
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1000.shuf-3.opb	UNSAT	2.09685	2.12	4546408
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-3500.opb	UNSAT	2.1068	2.14225	4546407
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n32-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	UNSAT	2.15059	2.16623	4546375
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1500.shuf-1.opb	UNSAT	2.23035	2.24429	4546409
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/grids_large_opb/normalized-ECgrid_split_4_250.opb	UNSAT	2.25771	2.29414	4546526
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v011-n3.opb	UNSAT	2.31645	2.33094	4546390
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-3500.shuf-3.opb	UNSAT	2.36791	2.38279	4546404
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-2500.opb	UNSAT	2.45152	2.47233	4546405
PB24/normalized-PB15eval/DEC-LIN/ ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i1-f.cnf.gz-plain.pb.metafix.opb	UNSAT	2.5645	2.58486	4546377
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v011-n1.opb	UNSAT	2.64744	2.66491	4546386
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_02_004.opb	UNSAT	2.81199	2.83086	4546541
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v021-n1.opb	UNSAT	3.07158	3.08866	4546391
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-4000.opb	UNSAT	3.31628	3.33425	4546406
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-11array_diag_less.opb	UNSAT	3.32003	3.34179	4546477
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x10split.opb	UNSAT	3.84164	3.86877	4546335
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height12_pigeons11_holes10.opb	UNSAT	4.03061	4.05114	4546550
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq10/normalized-13array_ineq10.opb	UNSAT	4.08142	4.10446	4546483
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/ normalized-composed_pebbling_php_pyramid_height5_pigeons4_holes3.opb	UNSAT	4.22228	4.24146	4546563
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x20split.opb	UNSAT	4.48047	4.49784	4546336
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v051-n2.opb	UNSAT	4.76249	4.78136	4546393
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb	UNSAT	4.90849	4.93014	4546387
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l030-r029-n1.cnf-extracted.pb.metafix.opb	UNSAT	4.98702	5.00746	4546307
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v061-n3.opb	UNSAT	5.33824	5.35884	4546394
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb	UNSAT	5.68084	5.70304	4546388
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/ normalized-ECrand4regsplit-v090-n1.opb	UNSAT	5.94231	5.96623	4546385
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x20split.cnf-extracted.pb.metafix.opb	UNSAT	6.93201	7.04712	4546319
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v041-n2.opb	UNSAT	6.96714	6.99174	4546392
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x40split.opb	UNSAT	6.97406	7.00353	4546338
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v091-n1.opb	UNSAT	7.3109	7.3366	4546397
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6021_1-unsat.opb	UNSAT	7.32716	7.60516	4546245
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v091-n3.opb	UNSAT	7.65922	7.68678	4546398
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v071-n2.opb	UNSAT	7.99564	8.02347	4546396
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x70split.cnf-plain.pb.metafix.opb	UNSAT	8.27	8.31582	4546321
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x50split.cnf-extracted.pb.metafix.opb	UNSAT	8.6627	8.69531	4546320
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-06/normalized-ec_stargrid_06_012.opb	UNSAT	8.67897	8.71379	4546524
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb	UNSAT	8.71248	8.74043	4546389
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-stein45inf.0.d.opb	UNSAT	8.84087	8.88335	4546500
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l040-r039-n1.cnf-plain.pb.metafix.opb	UNSAT	8.99202	9.02548	4546308
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x10split.cnf-plain.pb.metafix.opb	UNSAT	9.21672	9.25316	4546326
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968094.opb	UNSAT	9.23472	9.40279	4546171
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x30split.opb	UNSAT	9.27308	9.30149	4546344
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974180.opb	UNSAT	9.27426	9.49232	4546177
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973364.opb	UNSAT	9.33342	9.49978	4546174
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973163.opb	UNSAT	9.3346	9.79389	4546173
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224255.opb	UNSAT	9.36082	10.1654	4546183
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973670.opb	UNSAT	9.47779	9.8594	4546175
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP105.shuf-2.opb	UNSAT	9.47893	9.55757	4546418
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219348.opb	UNSAT	9.4937	9.65702	4546181
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x20split.opb	UNSAT	9.5502	9.5805	4546343
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x90split.cnf-plain.pb.metafix.opb	UNSAT	10.0868	10.1313	4546324
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110978113.opb	UNSAT	10.2537	10.5547	4546180
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967142.opb	UNSAT	10.3413	10.525	4546170
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-6_6_8.opb	UNSAT	10.5559	10.5931	4546471
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat10_8_triangular.opb	UNSAT	10.651	10.7282	4546579
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-7_7_6.opb	UNSAT	10.8261	10.8703	4546473
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	UNSAT	11.0751	11.2263	4546229
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_11.opb	UNSAT	11.2761	11.3102	4546467
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP135.shuf-2.opb	UNSAT	12.1272	12.1737	4546419
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x80split.cnf-extracted.pb.metafix.opb	UNSAT	12.1913	12.2455	4546322
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_06_048.opb	UNSAT	12.7223	12.7706	4546535
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x90split.cnf-extracted.pb.metafix.opb	UNSAT	12.8129	12.8534	4546323
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height18_pigeons17_holes16.opb	UNSAT	12.8981	12.9373	4546551
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb	UNSAT	13.1387	13.2803	4546230
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat11_9_triangular.opb	UNSAT	13.1496	13.2062	4546583
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_06_048.opb	UNSAT	13.2121	13.2615	4546542
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_18_044.opb	UNSAT	13.5989	13.656	4546544
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/noverticaledges-v1/normalized-grid4_27.opb	UNSAT	13.7876	13.8287	4546431
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/ normalized-ECrand4regsplit-v070-n1.opb	UNSAT	13.9703	14.0172	4546384
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat12_10_triangular.opb	UNSAT	14.6149	14.6791	4546584
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP145.shuf-1.opb	UNSAT	15.1146	15.2612	4546420
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ larger/domset_large_shuffle/normalized-domset-hexgrid_03_084.shuf-1.opb	UNSAT	15.6013	15.7228	4546515
PB24/normalized-PB24/DEC-LIN/nordstrom/ MIPLIB01/dec/miplib3/normalized-p0201.0.u.opb	UNSAT	15.967	16.0243	4546502
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP085.shuf-3.opb	UNSAT	16.5725	16.6489	4546425
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat12_11_identity_complement.opb	UNSAT	16.6484	16.7013	4546585
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v2_shuffle/normalized-grid4_33.shuf-3.opb	UNSAT	16.7674	16.8236	4546433
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height19_pigeons18_holes17.opb	UNSAT	17.9351	18.0287	4546552
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-188.opb	UNSAT	18.1963	19.2651	4546267
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_03_100.opb	UNSAT	18.452	18.5243	4546527
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq5/normalized-16array_alg_ineq5.opb	UNSAT	18.5418	18.6025	4546484
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v071-n1.opb	UNSAT	18.5583	18.6172	4546395
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_05_100.opb	UNSAT	18.6412	18.7065	4546518
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-4_5_19.opb	UNSAT	20.5679	20.6321	4546466
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v2_shuffle/normalized-grid4_51.shuf-3.opb	UNSAT	21.4123	21.5089	4546434
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-22array_ineq8.opb	UNSAT	22.4742	22.5488	4546486
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb	UNSAT	22.9811	23.2298	4546227
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb	UNSAT	23.8168	23.9723	4546231
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat98_identity_complement.opb	UNSAT	24.9302	25.052	4546592
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP085.opb	UNSAT	25.8438	25.9392	4546421
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/ random_norational_opb/normalized-ec_random_norational_random4reg_split_350.opb	UNSAT	26.0948	26.1704	4546532
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-21array_ineq8.opb	UNSAT	28.931	29.0328	4546485
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb	UNSAT	29.3516	29.5793	4546232
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v1_shuffle/normalized-grid10_35.shuf-3.opb	UNSAT	29.8375	29.9062	4546432
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-MisteryShopper-mini-5-08-2-6-0_c24.opb	UNSAT	30.5495	30.6506	4546600
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset-hubgraph-opb/normalized-domset-hubgraph_068.opb	UNSAT	30.5688	30.6561	4546509
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb	UNSAT	31.2956	31.3794	4546309
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-7_7_15.opb	UNSAT	31.5677	31.6566	4546472
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-2.opb	UNSAT	32.0195	32.1215	4546427
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat10_9identity_complement.opb	UNSAT	32.2127	32.3165	4546580
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-91-90.opb	UNSAT	32.4887	32.7023	4546211
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-13array_diag_greater.opb	UNSAT	36.2746	36.4007	4546478
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-MisteryShopper-mini-5-10-2-6-0_c24.opb	UNSAT	36.3576	36.4577	4546601
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height21_pigeons20_holes19.opb	UNSAT	36.6209	36.7145	4546553
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04/normalized-ec_stargrid_04_021.opb	UNSAT	36.8016	36.9152	4546519
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_18.opb	UNSAT	38.8366	38.9423	4546468
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb	UNSAT	39.0937	39.2087	4546329
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb	UNSAT	39.5435	39.7373	4546228
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-105-100.opb	UNSAT	41.1058	41.3727	4546203
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900564281.opb	UNSAT	42.5028	42.7905	4546162
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl.opb	UNSAT	44.1028	44.4211	4546223
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ larger/domset_large_shuffle/normalized-domset-hexgrid_05_110.shuf-2.opb	UNSAT	44.9403	45.0589	4546516
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l010-r009-n1.opb	UNSAT	46.6484	46.7557	4546313
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x80split.opb	UNSAT	48.4682	48.5891	4546341
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551347.opb	UNSAT	49.8295	50.2413	4546157
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/ normalized-composed_pebbling_php_pyramid_height10_pigeons9_holes8.opb	UNSAT	51.8307	51.9777	4546549
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-left3reg-l010-r010-n1.opb	UNSAT	55.2256	55.4209	4546311
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat16_15_identity_complement.opb	UNSAT	56.219	56.3721	4546589
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_08_180.opb	UNSAT	60.4731	60.649	4546531
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_04_280.opb	UNSAT	60.8134	61.0054	4546529
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_04_250.opb	UNSAT	61.2387	61.4019	4546528
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x100split.opb	UNSAT	61.476	61.6519	4546334
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_170.opb	UNSAT	61.5766	61.9393	4546530
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	UNSAT	61.9576	62.1981	4546222
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l025-r024-n1.opb	UNSAT	61.9834	62.128	4546314
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_10_096.opb	UNSAT	62.2776	62.4549	4546537
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-left3reg-l020-r019-n1.opb	UNSAT	62.3825	62.5433	4546312
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v2_shuffle/normalized-grid4_121.shuf-1.opb	UNSAT	63.8599	64.0215	4546430
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_10_092.opb	UNSAT	65.9037	66.0877	4546543
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-27array_alg_ineq8.opb	UNSAT	65.9678	66.1521	4546487
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-grids-v1_shuffle/normalized-grid8_161.shuf-2.opb	UNSAT	66.2736	66.4295	4546429
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_14_088.opb	UNSAT	67.9818	68.2352	4546538
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557574.opb	UNSAT	68.2293	68.6089	4546158
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v2/normalized-grid8_97.opb	UNSAT	70.3006	70.4805	4546438
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/ random_rational_opb/normalized-ec_random_rational_random8reg_split_750.opb	UNSAT	71.6055	71.7943	4546533
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2003/normalized-disctom.0.u.opb	UNSAT	72.6838	72.9001	4546489
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_220_219.opb	UNSAT	74.3836	74.6661	4546546
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l035-r034-n1.opb	UNSAT	75.0996	75.2842	4546315
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_230_229.opb	UNSAT	75.6806	75.9079	4546547
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-28array_alg_ineq8.opb	UNSAT	76.2625	76.4556	4546488
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb	UNSAT	77.6699	77.8982	4546327
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-1.opb	UNSAT	79.2909	79.5581	4546428
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x80split.opb	UNSAT	82.4466	82.6916	4546348
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584219.opb	UNSAT	83.8545	84.2269	4546169
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x50split.opb	UNSAT	84.7257	85.0313	4546346
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP095.shuf-2.opb	UNSAT	87.8336	88.1088	4546426
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat20_19_identity_complement.opb	UNSAT	95.0196	95.3083	4546590
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb	UNSAT	103.941	104.203	4546310
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x60split.opb	UNSAT	104.215	104.485	4546347
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb	UNSAT	114.485	114.957	4546225
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-16arraycomm_teq_tvars_greater.opb	UNSAT	117.6	118.018	4546474
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SocialGolfers-cnt-06-06-07_c24.opb	UNSAT	124.761	125.134	4546605
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l045-r044-n1.opb	UNSAT	128.371	129.192	4546316
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Hamming-20-10-03-08_c24.opb	UNSAT	129.254	129.592	4546599
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb	UNSAT	138.343	138.695	4546331
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb	UNSAT	141.095	141.519	4546333
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-21-20.opb	UNSAT	156.406	156.956	4546212
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x50split.opb	UNSAT	163.63	164.219	4546339
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb	UNSAT	168.918	169.379	4546554
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_390_389.opb	UNSAT	173.903	174.437	4546548
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-PoolBallTriangle-07_c24.opb	UNSAT	174.257	174.74	4546602
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb	UNSAT	181.272	182.093	4546221
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_30_088.opb	UNSAT	186.549	187.025	4546539
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x60split.cnf-extracted.pb.metafix.opb	UNSAT	190.256	190.816	4546330
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_021.shuf-2.opb	UNSAT	202.108	202.645	4546522
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_30_092.opb	UNSAT	219.773	220.291	4546540
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x30split.opb	UNSAT	246.562	247.222	4546337
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x110split.opb	UNSAT	248.606	249.214	4546379
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_30_096.opb	UNSAT	261.826	262.437	4546545
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	UNSAT	295.019	296.058	4546226
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900579996.opb	UNSAT	296.89	297.847	4546166
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l050-r049-n1.cnf-extracted.pb.metafix.opb	UNSAT	357.438	358.413	4546304
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900582300.opb	UNSAT	377.899	379.318	4546167
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_036.shuf-2.opb	UNSAT	380.221	381.293	4546520
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x100split.opb	UNSAT	466.895	468.051	4546342
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb	UNSAT	532.738	534.099	4546555
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x120split.opb	UNSAT	586.828	588.207	4546380
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-35-30.opb	UNSAT	615.324	617.408	4546213
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900559676.opb	UNSAT	673.534	675.826	4546160
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x60split.opb	UNSAT	789.214	791.16	4546340
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x130split.opb	UNSAT	1308.13	1311.32	4546381
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900577940.opb	UNSAT	1321.12	1324.95	4546165
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-38.opb	UNSAT	1606.94	1611.88	4546270
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_075.shuf-3.opb	UNSAT	1631.6	1635.46	4546523
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb	UNSAT	1813.27	1818.67	4546514
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x150split.opb	UNSAT	2065.35	2070.93	4546383
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_072.shuf-3.opb	UNSAT	2067.39	2073.41	4546525
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height36_pigeons35_holes34.opb	UNSAT	2353.44	2358.77	4546556
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x140split.opb	UNSAT	2829.67	2836.57	4546382
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb	UNSAT	3514.95	3522.84	4546557

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_028.shuf-1.opb	SAT	0.012754	0.0221719	4546505
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb	SAT	0.013457	0.092362	4546113
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969933.opb	SAT	0.015923	0.378569	4546172
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_008.shuf-1.opb	SAT	0.016179	0.040864	4546504
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb	SAT	0.01636	0.119355	4546116
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973863.opb	SAT	0.01739	0.366222	4546176
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb	SAT	0.018114	0.078	4546117
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset_large/normalized-domset-hexgrid_08_020.opb	SAT	0.018406	0.0292151	4546512
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223689.opb	SAT	0.020248	0.212874	4546182
PB24/normalized-PB10/DEC-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1096.cudf.paranoid.opb	SAT	0.02123	0.391949	4546239
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900574974.opb	SAT	0.026821	0.162156	4546164
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900559641.opb	SAT	0.032127	0.39029	4546159
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb	SAT	0.033734	0.0759931	4546114
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb	SAT	0.034903	0.083244	4546118
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww4.opb	SAT	0.039129	0.374016	4546144
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900582376.opb	SAT	0.039689	0.270544	4546168
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb	SAT	0.040522	0.0945451	4546115
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_064.shuf-1.opb	SAT	0.041149	0.049562	4546506
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/armies/normalized-army8.9ls.opb	SAT	0.041367	0.241035	4546194
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900547353.opb	SAT	0.043238	0.277334	4546155
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226284.opb	SAT	0.04963	0.21722	4546184
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army9.12ls.opb	SAT	0.054513	0.280579	4546196
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/armies/normalized-army8.9bt.opb	SAT	0.059021	0.120304	4546193
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army10.14ls.opb	SAT	0.062633	0.122857	4546186
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900547461.opb	SAT	0.070865	0.397088	4546156
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17ls.opb	SAT	0.071126	0.109007	4546188
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900561384.opb	SAT	0.0779	0.211055	4546161
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/ miplib2017/normalized-chromaticindex32-8.0.s.opb	SAT	0.087609	0.0983419	4546497
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567003.opb	SAT	0.107187	0.34883	4546163
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat99_identity_complement.opb	SAT	0.140379	0.150344	4546593
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army9.12bt.opb	SAT	0.140919	0.224802	4546195
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww1.opb	SAT	0.154415	0.705212	4546141
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6033_7-sat.opb	SAT	0.173552	0.772863	4546247
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j907_2-sat.opb	SAT	0.220527	0.233449	4546253
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb	SAT	0.296291	0.349283	4546119
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army13.24ls.opb	SAT	0.297046	0.357599	4546192
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	SAT	0.30587	0.393805	4546120
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob6.opb	SAT	0.312614	0.724188	4546152
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat11_11_identity_complement.opb	SAT	0.317945	0.326716	4546582
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin8.opb	SAT	0.332248	0.375116	4546202
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army12.21ls.opb	SAT	0.355744	0.442644	4546190
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17bt.opb	SAT	0.519805	0.585866	4546187
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	SAT	0.552507	0.607586	4546236
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army13.24bt.opb	SAT	0.612776	0.740099	4546191
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	SAT	0.636608	0.679195	4546234
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	SAT	0.638856	0.718534	4546235
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army10.14bt.opb	SAT	0.653275	0.684241	4546185
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-neos-777800.0.s.opb	SAT	0.669429	0.707076	4546491
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	SAT	0.703609	0.820154	4546238
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6027_7-sat.opb	SAT	0.713274	0.956795	4546246
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos808444.opb	SAT	0.804283	0.826528	4546255
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat11_10_triangular.opb	SAT	0.918337	0.932829	4546581
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12020_5-sat.opb	SAT	1.0231	1.0479	4546241
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K75.opb	SAT	1.05678	1.07045	4546277
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb	SAT	1.06044	1.08517	4546233
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-cvs16r70-62.0.s.opb	SAT	1.10937	1.12226	4546498
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat12_11_triangular.opb	SAT	1.24652	1.26725	4546586
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat15_15_identity_complement.opb	SAT	1.26297	1.27478	4546588
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	SAT	1.75659	1.80716	4546237
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat15_14_triangular.opb	SAT	1.88207	1.90152	4546587
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K105.opb	SAT	2.52945	2.55045	4546281
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob8.opb	SAT	2.91386	2.94977	4546154
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob10.opb	SAT	3.79235	3.82529	4546146
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob4.opb	SAT	3.87312	3.97623	4546150
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb	SAT	4.08368	4.15969	4546122
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K101.opb	SAT	4.34712	4.38275	4546279
PB24/normalized-PB10/DEC-LIN/oliveras/ j30/normalized-j3013_3-sat.opb	SAT	4.94877	5.06961	4546242
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww2.opb	SAT	5.1181	5.15879	4546142
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin10.opb	SAT	5.86495	5.98483	4546197
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K71.opb	SAT	5.87078	5.89563	4546275
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb	SAT	5.94921	6.23667	4546124
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K102.opb	SAT	6.32075	6.35103	4546280
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K76.opb	SAT	6.55214	6.62844	4546278
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb	SAT	6.6733	6.74801	4546123
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww5.opb	SAT	6.91274	7.19062	4546145
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb	SAT	6.99275	7.22606	4546125
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb	SAT	7.56531	7.60525	4546349
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb	SAT	8.0012	8.24353	4546121
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K72.opb	SAT	8.26421	8.30103	4546276
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	SAT	10.1447	10.2745	4546220
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat20_19_triangular.opb	SAT	10.403	10.4435	4546591
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j605_7-sat.opb	SAT	11.6875	12.204	4546249
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army12.21bt.opb	SAT	12.191	12.4437	4546189
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K96.opb	SAT	16.5349	16.5883	4546287
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb	SAT	18.7337	19.892	4546127
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww3.opb	SAT	19.01	19.1408	4546143
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb	SAT	19.6524	19.7986	4546129
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-849702.opb	SAT	19.8407	20.6716	4546258
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb	SAT	20.885	22.4372	4546126
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression32_15.opb	SAT	21.3603	21.4203	4546460
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb	SAT	22.8218	23.0329	4546130
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb	SAT	25.629	25.9589	4546128
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K188.opb	SAT	28.0032	28.3692	4546301
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K196.opb	SAT	28.0327	28.5833	4546303
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin12.opb	SAT	34.1566	34.326	4546198
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob1.opb	SAT	38.4478	38.8301	4546147
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Soccer-22-18-20-1_c24.opb	SAT	47.1468	47.2774	4546603
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb	SAT	47.4267	47.8156	4546132
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb	SAT	47.5396	49.1584	4546134
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb	SAT	48.574	48.8959	4546135
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb	SAT	55.6989	57.1244	4546133
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb	SAT	60.5284	60.9256	4546131
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/ miplib2017/normalized-academictimetablesmall.0.s.opb	SAT	62.3382	62.5573	4546496
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k3_l5_n550.opb	SAT	64.3729	64.85	4546136
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size96-round21-6.opb	SAT	69.1404	69.3716	4546458
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k3_l6_n1500.opb	SAT	70.8726	71.193	4546137
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k5_l4_n750.opb	SAT	71.2131	71.5182	4546139
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm25p-dec.opb.negationfix.opb	SAT	74.741	74.9255	4546350
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round21-3.opb	SAT	80.0969	80.3061	4546446
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-164.opb	SAT	98.4143	99.1121	4546264
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm50p-dec.opb.negationfix.opb	SAT	103.603	103.873	4546351
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob2.opb	SAT	113.587	114.909	4546148
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-03.opb	SAT	138.655	139.79	4546259
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-185.opb	SAT	140.547	141.5	4546266
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K98.opb	SAT	172.432	172.924	4546288
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K92.opb	SAT	219.723	220.383	4546286
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k4_l4_n360.opb	SAT	251.059	251.996	4546138
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin14.opb	SAT	264.036	264.804	4546199
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K194.opb	SAT	277.142	278.099	4546302
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K90.opb	SAT	337.349	338.298	4546285
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k6_l3_n170.opb	SAT	609.037	611.347	4546140
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round21-2.opb	SAT	899.226	901.659	4546451
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-174.opb	SAT	918.83	921.636	4546265
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-AverageAvoiding-20_c24.opb	SAT	961.182	963.668	4546594
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K182.opb	SAT	967.326	969.857	4546300
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K69.opb	SAT	1289.51	1293.28	4546274
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K176.opb	SAT	2935.4	2944.39	4546298
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab51-40-100.0.s.opb	SAT	3310.85	3320.66	4546493

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb	?	139.999	140.36	4546362
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/ normalized-hw512-vm100p-dec.opb.negationfix.opb	?	140.107	140.476	4546357
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb	?	142.243	142.646	4546363
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm95p-dec.opb.negationfix.opb	?	144.318	144.673	4546361

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_066.shuf-1.opb	? (TO)	3600.01	3610.6	4546521
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-15array_diag_greater.opb	? (TO)	3600.02	3609.11	4546479
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb	? (TO)	3600.02	3609.51	4546573
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size112-round23-6.opb	? (TO)	3600.02	3610.11	4546445
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size80-round23-5.opb	? (TO)	3600.02	3608.91	4546457
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob3.opb	? (TO)	3600.02	3611.5	4546149
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n230-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.02	3610.7	4546372
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_comm/arraycomm/normalized-17arraycomm_less.opb	? (TO)	3600.02	3608.61	4546564
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.02	3611.02	4546370
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib3/normalized-seymour.0.u.opb	? (TO)	3600.03	3609.5	4546503
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n98-d3-i3-r1.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.03	3610.9	4546378
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/diag_spec/normalized-24diag_spec_greater.opb	? (TO)	3600.03	3609.41	4546572
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-20arraycomm_teq_tvars_less.opb	? (TO)	3600.03	3610.5	4546475
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-regular-n30-d4-i1.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.03	3610.9	4546367
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab51-40-100.0.u.opb	? (TO)	3600.03	3608.43	4546494
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round23-6.opb	? (TO)	3600.03	3609.6	4546450
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob7.opb	? (TO)	3600.04	3610.3	4546153
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_comm/arraycomm_teq/normalized-20arraycomm_teq_less.opb	? (TO)	3600.04	3609.23	4546565
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/diag_spec/normalized-16diag_spec_greater.opb	? (TO)	3600.04	3609.61	4546481
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-73.opb	? (TO)	3600.04	3611.52	4546271
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x30split.cnf-plain.pb.metafix.opb	? (TO)	3600.04	3609.5	4546328
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_11.opb	? (TO)	3600.04	3610.41	4546461
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-2.opb	? (TO)	3600.04	3609.3	4546453
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.05	3609.11	4546369
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size160-round22-1.opb	? (TO)	3600.05	3609.51	4546456
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-820146.opb	? (TO)	3600.05	3610.8	4546256
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l060-r059-n1.cnf-plain.pb.metafix.opb	? (TO)	3600.05	3610.7	4546305
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob5.opb	? (TO)	3600.05	3610.5	4546151
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round22-4.opb	? (TO)	3600.05	3609.31	4546448
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-61-60.opb	? (TO)	3600.06	3609.03	4546216
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-6_6_33.opb	? (TO)	3600.06	3610.01	4546470
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/wallace_spec/normalized-28wallace_spec_greater_tvars.opb	? (TO)	3600.06	3610.41	4546574
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq6/normalized-20array_ineq6.opb	? (TO)	3600.06	3610.42	4546576
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb	? (TO)	3600.06	3610.41	4546214
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-fixed-bandwidth-46.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.07	3610.11	4546364
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_comm/arraycomm_teq/normalized-22arraycomm_teq_less.opb	? (TO)	3600.07	3611.02	4546566
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.opb	? (TO)	3600.07	3609.51	4546306
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-90.opb	? (TO)	3600.07	3610.54	4546273
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_8.opb	? (TO)	3600.07	3609.41	4546462
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/diag_spec/normalized-22diag_spec_greater.opb	? (TO)	3600.07	3609.81	4546571
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)	3600.07	3611.01	4546365
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq6/normalized-31array_alg_ineq6.opb	? (TO)	3600.08	3608.61	4546578
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_diag/normalized-26array_diag_greater.opb	? (TO)	3600.08	3610.12	4546568
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n258-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.08	3610.8	4546374
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_36.opb	? (TO)	3600.08	3610.01	4546469
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/ array_comm/arraycomm_teq_tvars/normalized-32arraycomm_teq_tvars_greater.opb	? (TO)	3600.08	3610.41	4546567
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-16array_diag_less.opb	? (TO)	3600.08	3610.8	4546480
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l060-r059-n1.opb	? (TO)	3600.08	3609.11	4546317
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round22-2.opb	? (TO)	3600.09	3609.51	4546452
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n184-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.09	3610.8	4546371
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb	? (TO)	3600.1	3610.8	4546332
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-820157.opb	? (TO)	3600.1	3610.01	4546257
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l080-r079-n1.opb	? (TO)	3600.1	3610.41	4546318
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x40split.opb	? (TO)	3600.1	3609.7	4546345
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_diag/normalized-31array_diag_less.opb	? (TO)	3600.1	3610.81	4546569
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb	? (TO)	3600.11	3610.52	4546215
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.11	3609.01	4546373
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-neos-952987.0.d.opb	? (TO)	3600.11	3609.24	4546492
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression32_10.opb	? (TO)	3600.11	3610.01	4546459
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/diag_comm/normalized-27diagcomm_less_teq.opb	? (TO)	3600.12	3609.92	4546570
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq6/normalized-29array_ineq6.opb	? (TO)	3600.12	3609.86	4546577
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-89.opb	? (TO)	3600.12	3611.23	4546272
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq5/normalized-30array_ineq5.opb	? (TO)	3600.13	3609.43	4546575
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-192.opb	? (TO)	3600.14	3610.75	4546268
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-AverageAvoiding-mini-40_c24.opb	? (TO)	3600.16	3609.41	4546595
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-85-80.opb	? (TO)	3600.17	3609.27	4546217
PB25/normalized-PB25/DEC-LIN/ wallon/normalized-FRB-45-21-3-mgd_c18.opb	? (TO)	3600.17	3612.7	4546597
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K87.opb	? (TO)	3600.18	3610.14	4546284
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab71-20-100.0.u.opb	? (TO)	3600.19	3610.52	4546495
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K84.opb	? (TO)	3600.2	3609.82	4546283
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-111.opb	? (TO)	3600.21	3610.34	4546260
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K81.opb	? (TO)	3600.23	3610.03	4546282
PB25/normalized-PB25/DEC-LIN/ wallon/normalized-FRB-53-24-1-mgd_c18.opb	? (TO)	3600.23	3610.97	4546598
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SocialGolfers-08-04-08_c24.opb	? (TO)	3600.24	3611.19	4546604
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-116.opb	? (TO)	3600.26	3610.33	4546261
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-147.opb	? (TO)	3600.28	3612.92	4546263
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.6.accl.ucl.opb	? (TO)	3600.32	3610.87	4546224
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin18.opb	? (TO)	3600.32	3610.74	4546201
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-134.opb	? (TO)	3600.35	3612.76	4546262
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin16.opb	? (TO)	3600.36	3610.18	4546200
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K133.opb	? (TO)	3600.41	3610.84	4546289
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9013_3-sat.opb	? (TO)	3600.41	3610.91	4546251
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K134.opb	? (TO)	3600.41	3610.53	4546290
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K166.opb	? (TO)	3600.41	3609.6	4546295
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K159.opb	? (TO)	3600.42	3610.28	4546294
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K155.opb	? (TO)	3600.44	3611.57	4546293
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K169.opb	? (TO)	3600.46	3611.89	4546296
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K177.opb	? (TO)	3600.5	3611.33	4546299
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x100split.cnf-plain.pb.metafix.opb	? (TO)	3600.6	3610.12	4546325
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9013_10-sat.opb	? (TO)	3600.69	3611.78	4546250
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9029_2-sat.opb	? (TO)	3600.78	3610.91	4546252
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-t1722.0.s.opb	? (TO)	3600.94	3610.76	4546501
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K138.opb	? (TO)	3601.2	3612.31	4546291
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12011_3-sat.opb	? (TO)	3601.88	3611.53	4546240
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-4.opb	? (TO)	3602.01	3610.8	4546454
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round22-0.opb	? (TO)	3602.02	3610.8	4546447
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K174.opb	? (TO)	3602.03	3612.2	4546297
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ivu59.0.u.opb	? (TO)	3602.05	3609.75	4546499
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round23-3.opb	? (TO)	3602.06	3611.2	4546449
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size112-round23-0.opb	? (TO)	3602.09	3611.6	4546444
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-25.opb	? (TO)	3602.09	3611.8	4546269
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-6.opb	? (TO)	3602.1	3610.8	4546455
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K150.opb	? (TO)	3602.1	3611.11	4546292
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb	? (TO)	3602.37	3612.52	4546559
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-neos-631710.0.u.opb	? (TO)	3602.4	3612.3	4546490
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb	? (TO)	3602.41	3615.14	4546558

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)	60.6808	60.8723	4546560
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb	? (MO)	61.5483	61.7224	4546561
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height50_pigeons49_holes48.opb	? (MO)	65.7467	65.9319	4546562
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-dec2-3-3-1.opb	? (MO)	83.9246	84.1893	4546606
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb	? (MO)	102.03	102.329	4546352
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb	? (MO)	114.083	114.425	4546353
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-table-3-3-9.opb	? (MO)	119.834	120.132	4546608
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb	? (MO)	123.283	123.64	4546354
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb	? (MO)	124.952	125.272	4546355
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm99p-dec.opb.negationfix.opb	? (MO)	127.732	128.037	4546356
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm85p-dec.opb.negationfix.opb	? (MO)	154.408	154.811	4546360
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm75p-dec.opb.negationfix.opb	? (MO)	155.669	156.142	4546359
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb	? (MO)	168.725	169.167	4546358
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-dec2-3-3-5.opb	? (MO)	183.516	184.048	4546607

PB'25 competition: benchmarks results per solver

Result page for solver SynLSCD-PS 2025-07-23 (complete)

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

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

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

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

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

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