PB'26 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_3.opb	UNSAT cert.	0.005134	0.0199319	4835292
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n28-d3-i1-r1.cnf.gz-plain.pb.metafix.opb	UNSAT cert.	0.007393	0.0381481	4835202
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-11-10.opb	UNSAT cert.	0.007545	0.0298189	4835438
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-25-20.opb	UNSAT cert.	0.008584	0.0266251	4835433
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-15-10.opb	UNSAT cert.	0.008603	0.0757361	4835439
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb	UNSAT cert.	0.018255	0.038528	4834971
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n108-d3-i3-f.cnf.gz-plain.pb.metafix.opb	UNSAT cert.	0.018474	0.0323331	4835194
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6028_8-unsat.opb	UNSAT cert.	0.022447	0.033821	4835099
PB24/normalized-PB16/DEC-LIN/elffers/ subsetcard/normalized-subsetcard-geq-fixedbandwidth-30.opb	UNSAT cert.	0.023233	0.033803	4835224
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/ normalized-ECrand4regsplit-v020-n1.opb	UNSAT cert.	0.024672	0.038912	4835208
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-65.shuf-1.opb	UNSAT cert.	0.025745	0.0371509	4835235
PB24/normalized-PB16/DEC-LIN/elffers/ subsetcard/normalized-subsetcard-eq-fixedbandwidth-70.opb	UNSAT cert.	0.02578	0.0355459	4835223
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-75.shuf-2.opb	UNSAT cert.	0.026229	0.037032	4835236
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/random4reg_opb/normalized-subsetcard-geq-random4reg-65.opb	UNSAT cert.	0.026857	0.0415619	4835234
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-80.shuf-1.opb	UNSAT cert.	0.027354	0.046366	4835237
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-51-50.opb	UNSAT cert.	0.027355	0.0430779	4835434
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v011-n3.opb	UNSAT cert.	0.030632	0.0454309	4835214
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v021-n2.opb	UNSAT cert.	0.034366	0.0506809	4835215
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-subsetCardinalitySigma-13-1.cnf.gz-extracted.pb.metafix.opb	UNSAT cert.	0.036754	0.0512981	4835190
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v031-n1.opb	UNSAT cert.	0.037355	0.052711	4835210
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v051-n3.opb	UNSAT cert.	0.03918	0.04993	4835218
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v041-n1.opb	UNSAT cert.	0.03924	0.050122	4835216
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/ normalized-ECrand4regsplit-v060-n1.opb	UNSAT cert.	0.040777	0.0512621	4835209
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v101-n2.opb	UNSAT cert.	0.041288	0.0552831	4835221
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v081-n1.opb	UNSAT cert.	0.042936	0.0537699	4835219
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-61-60.opb	UNSAT cert.	0.043326	0.082097	4835435
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x10split.cnf-extracted.pb.metafix.opb	UNSAT cert.	0.045352	0.0828441	4835455
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v041-n2.opb	UNSAT cert.	0.046228	0.111414	4835217
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/ normalized-composed_pebbling_php_pyramid_height3_pigeons2_holes1.opb	UNSAT cert.	0.048584	0.0884971	4835411
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq7/normalized-11array_ineq7.opb	UNSAT cert.	0.049196	0.064243	4835429
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-2_3_6.opb	UNSAT cert.	0.050088	0.063341	4835291
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_wallace/normalized-10array_wallace_less_teq.opb	UNSAT cert.	0.051723	0.0793451	4835423
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v081-n3.opb	UNSAT cert.	0.052975	0.0676611	4835220
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x20split.cnf-extracted.pb.metafix.opb	UNSAT cert.	0.054269	0.0656641	4835448
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb	UNSAT cert.	0.054956	0.0668269	4835211
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-10arraycomm_teq_tvars_less.opb	UNSAT cert.	0.056918	0.0676509	4835299
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ ebits/benchmarks/normalized-16ebits_0.opb	UNSAT cert.	0.057675	0.235715	4835298
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n200-d3-i1-r1.cnf.gz-plain.pb.metafix.opb	UNSAT cert.	0.060756	0.0713671	4835195
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n226-d3-i2-f.cnf.gz-plain.pb.metafix.opb	UNSAT cert.	0.061306	0.0781151	4835196
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-stein15inf.0.d.opb	UNSAT cert.	0.061625	0.0956121	4835353
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-3_6_4.opb	UNSAT cert.	0.06192	0.0727079	4835293
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_comm/arraycomm_teq/normalized-11arraycomm_teq_less.opb	UNSAT cert.	0.06292	0.0734979	4835419
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v3/normalized-grid6_11.opb	UNSAT cert.	0.065046	0.0830869	4835263
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb	UNSAT cert.	0.065723	0.0798921	4835212
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/random_large_opb/normalized-ECrand6reg_151.opb	UNSAT cert.	0.072827	0.103049	4835380
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x30split.cnf-extracted.pb.metafix.opb	UNSAT cert.	0.077145	0.0867331	4835449
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ ebits/zeroth_bit/normalized-26ebits_0.opb	UNSAT cert.	0.07955	0.121117	4835418
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n238-d3-i2-r2.cnf.gz-plain.pb.metafix.opb	UNSAT cert.	0.081045	0.0951419	4835197
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb	UNSAT cert.	0.084228	0.107191	4835069
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-regular-n12-d4-i1.cnf.gz-plain.pb.metafix.opb	UNSAT cert.	0.087898	0.099076	4835189
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x10split.opb	UNSAT cert.	0.091003	0.107267	4835172
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/ normalized-composed_pebbling_php_pyramid_height5_pigeons4_holes3.opb	UNSAT cert.	0.091922	0.146952	4835416
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v1_shuffle/normalized-grid4_23.shuf-1.opb	UNSAT cert.	0.093184	0.107768	4835256
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_spec/normalized-9array_spec_less.opb	UNSAT cert.	0.09328	0.105083	4835304
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/diag_spec/normalized-9diag_spec_greater.opb	UNSAT cert.	0.094956	0.428373	4835305
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-41-40.opb	UNSAT cert.	0.097653	0.136341	4835440
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n248-d3-i2-f.cnf.gz-plain.pb.metafix.opb	UNSAT cert.	0.097953	0.108933	4835198
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n272-d3-i1-r1.cnf.gz-plain.pb.metafix.opb	UNSAT cert.	0.113689	0.125723	4835199
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb	UNSAT cert.	0.114788	0.153975	4835441
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v111-n1.opb	UNSAT cert.	0.123433	0.138831	4835213
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-left3reg-l020-r019-n1.opb	UNSAT cert.	0.126525	0.139897	4835161
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n282-d3-i1-f.cnf.gz-plain.pb.metafix.opb	UNSAT cert.	0.131209	0.142301	4835200
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/ normalized-composed_pebbling_php_pyramid_height6_pigeons5_holes4.opb	UNSAT cert.	0.133044	0.204689	4835417
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq10/normalized-10array_ineq10.opb	UNSAT cert.	0.13729	0.163448	4835306
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n288-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	UNSAT cert.	0.138292	0.149783	4835201
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP005.shuf-2.opb	UNSAT cert.	0.142818	0.155315	4835242
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-lines-v3_shuffle/normalized-grid4_27.shuf-1.opb	UNSAT cert.	0.148617	0.175904	4835266
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v111-n2.opb	UNSAT cert.	0.152563	0.164928	4835222
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset_large/normalized-domset-hexgrid_05_050.opb	UNSAT cert.	0.163447	0.183922	4835370
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb	UNSAT cert.	0.168257	0.263487	4834972
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-12arraycomm_teq_tvars_less.opb	UNSAT cert.	0.168656	0.197495	4835300
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP005.opb	UNSAT cert.	0.174894	0.194711	4835246
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-1500.opb	UNSAT cert.	0.177609	0.19203	4835231
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP005.shuf-1.opb	UNSAT cert.	0.179754	0.198881	4835247
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb/normalized-subsetcard-geq-fixedbandwidth-3750.opb	UNSAT cert.	0.179879	0.210741	4835225
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-51-50.opb	UNSAT cert.	0.184211	0.223446	4835442
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset_large/normalized-domset-hexgrid_06_047.opb	UNSAT cert.	0.185609	0.214304	4835371
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x50split.opb	UNSAT cert.	0.193021	0.215002	4835168
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x30split.cnf-plain.pb.metafix.opb	UNSAT cert.	0.214612	0.242861	4835450
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-2250.shuf-1.opb	UNSAT cert.	0.21965	0.339604	4835227
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x60split.cnf-extracted.pb.metafix.opb	UNSAT cert.	0.235973	0.247734	4835453
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v2_shuffle/normalized-grid4_49.shuf-3.opb	UNSAT cert.	0.254688	0.316845	4835258
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r06-tiling/normalized-domset-hexgrid_06_062.opb	UNSAT cert.	0.272957	0.290511	4835365
PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/ normalized-sumineqArity3houseP016.opb	UNSAT cert.	0.281085	0.305727	4835238
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP015.shuf-1.opb	UNSAT cert.	0.294747	0.314902	4835248
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb	UNSAT cert.	0.307064	0.328613	4834973
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP025.opb	UNSAT cert.	0.317707	0.342259	4835240
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-left3reg-l030-r029-n1.opb	UNSAT cert.	0.321934	0.335822	4835162
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l030-r029-n1.cnf-plain.pb.metafix.opb	UNSAT cert.	0.326998	0.340466	4835156
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r08-tiling/normalized-domset-hexgrid_08_057.opb	UNSAT cert.	0.340223	0.355545	4835367
PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/ normalized-sumineqArity5houseP016.opb	UNSAT cert.	0.347373	0.381598	4835239
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-3500.shuf-3.opb	UNSAT cert.	0.357236	0.387652	4835229
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-65-60.opb	UNSAT cert.	0.369615	0.45928	4835443
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-lines-v1_shuffle/normalized-grid6_49.shuf-2.opb	UNSAT cert.	0.391054	0.423568	4835264
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-2750.opb	UNSAT cert.	0.419136	0.449679	4835232
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-dlx1c.ucl.opb	UNSAT cert.	0.421992	0.495673	4835075
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP035.shuf-1.opb	UNSAT cert.	0.437733	0.474836	4835243
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x50split.cnf-plain.pb.metafix.opb	UNSAT cert.	0.443153	0.458449	4835452
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-2750.shuf-3.opb	UNSAT cert.	0.446963	0.469496	4835228
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid8_51.shuf-1.opb	UNSAT cert.	0.46195	0.521733	4835261
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_037.shuf-3.opb	UNSAT cert.	0.464137	0.498312	4835359
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x40split.cnf-plain.pb.metafix.opb	UNSAT cert.	0.476501	0.490617	4835451
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Hamming-20-10-05-10_c24.opb	UNSAT cert.	0.518031	0.534617	4835331
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-71-70.opb	UNSAT cert.	0.531594	0.563804	4835444
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl.opb	UNSAT cert.	0.589696	0.658587	4835073
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x70split.opb	UNSAT cert.	0.637143	0.657523	4835169
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_038.shuf-1.opb	UNSAT cert.	0.663414	0.701254	4835360
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-2250.shuf-1.opb	UNSAT cert.	0.672725	0.695232	4835226
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x90split.opb	UNSAT cert.	0.704198	0.7221	4835170
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/ random_norational_opb/normalized-ec_random_norational_random4reg_split_100.opb	UNSAT cert.	0.708447	0.727349	4835386
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb	UNSAT cert.	0.744417	0.831181	4835074
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v1_shuffle/normalized-grid8_61.shuf-3.opb	UNSAT cert.	0.755357	0.861198	4835257
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-81-80.opb	UNSAT cert.	0.783543	0.826059	4835445
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x80split.cnf-plain.pb.metafix.opb	UNSAT cert.	0.804801	0.839892	4835454
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP045.shuf-3.opb	UNSAT cert.	0.823254	0.888029	4835249
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-lines-v2_shuffle/normalized-grid8_63.shuf-1.opb	UNSAT cert.	0.841216	0.918738	4835265
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224059.opb	UNSAT cert.	0.845338	0.871652	4835047
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975607.opb	UNSAT cert.	0.885474	0.908766	4835041
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-3500.shuf-1.opb	UNSAT cert.	0.902174	0.922364	4835233
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111227861.opb	UNSAT cert.	0.911852	0.935611	4835049
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973163.opb	UNSAT cert.	0.912742	0.931738	4835039
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111213868.opb	UNSAT cert.	0.93964	0.965595	4835045
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-nve-large-v1/normalized-grid8_97.opb	UNSAT cert.	0.984142	1.04965	4835267
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid8_91.shuf-2.opb	UNSAT cert.	0.992823	1.15632	4835262
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-4000.shuf-2.opb	UNSAT cert.	1.02443	1.051	4835230
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/larger/vc-nve-large-v3/normalized-grid6_171.opb	UNSAT cert.	1.10394	1.19363	4835255
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-91-90.opb	UNSAT cert.	1.17531	1.21732	4835446
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_033.shuf-1.opb	UNSAT cert.	1.18008	1.20505	4835375
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat98_identity_complement.opb	UNSAT cert.	1.18669	1.27814	4835326
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v3_shuffle/normalized-grid8_111.shuf-3.opb	UNSAT cert.	1.19507	1.3588	4835253
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_04_075.opb	UNSAT cert.	1.22385	1.28972	4835369
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-95-90.opb	UNSAT cert.	1.25795	1.30095	4835447
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/grids_large_opb/normalized-ECgrid_split_5_050.opb	UNSAT cert.	1.29141	1.32117	4835379
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v2_shuffle/normalized-grid6_51.shuf-1.opb	UNSAT cert.	1.36405	1.45339	4835259
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP055.shuf-2.opb	UNSAT cert.	1.39741	1.61773	4835244
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_06_036.opb	UNSAT cert.	1.57534	1.60429	4835393
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_018.shuf-3.opb	UNSAT cert.	1.60135	1.64963	4835373
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-clauses-101-100.opb	UNSAT cert.	1.63824	1.68957	4835436
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/larger/vc-lines-v4_shuffle/normalized-grid10_200.shuf-3.opb	UNSAT cert.	1.71961	1.98924	4835254
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-clauses-105-100.opb	UNSAT cert.	1.78012	1.83642	4835437
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968561.opb	UNSAT cert.	1.98868	2.03206	4835036
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-blast-floppy1-7.ucl.opb	UNSAT cert.	2.01016	2.13514	4835068
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_02_096.opb	UNSAT cert.	2.12562	2.17276	4835392
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/grids_large_opb/normalized-ECgrid_split_3_180.opb	UNSAT cert.	2.21817	2.26122	4835378
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l030-r029-n1.opb	UNSAT cert.	2.40374	3.34021	4835165
PB24/normalized-PB24/DEC-LIN/nordstrom/ MIPLIB01/dec/miplib2/normalized-air02.0.u.opb	UNSAT cert.	2.46216	2.55842	4835354
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb	UNSAT cert.	2.93674	2.99485	4835081
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_06_036.opb	UNSAT cert.	3.37344	3.58807	4835388
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Rlfap-ext-scen-11-f09_c18.opb	UNSAT cert.	3.55308	3.6017	4835335
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_070.opb	UNSAT cert.	3.70312	3.75772	4835384
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq9/normalized-18array_ineq9.opb	UNSAT cert.	3.89796	3.97368	4835432
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq10/normalized-14array_alg_ineq10.opb	UNSAT cert.	3.94719	4.1743	4835307
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb	UNSAT cert.	4.03703	4.13234	4835072
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_07_100.opb	UNSAT cert.	4.26022	4.34836	4835383
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_06_130.opb	UNSAT cert.	4.31387	4.41429	4835382
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb	UNSAT cert.	4.32472	4.60765	4835082
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_045.shuf-1.opb	UNSAT cert.	4.38823	4.44877	4835377
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_210.opb	UNSAT cert.	5.05441	5.29151	4835385
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_350_349.opb	UNSAT cert.	5.57911	6.83641	4835400
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl.opb	UNSAT cert.	6.4214	6.5655	4835076
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x10split.cnf-plain.pb.metafix.opb	UNSAT cert.	6.42675	6.48911	4835456
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_370_369.opb	UNSAT cert.	6.71846	8.4618	4835401
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb	UNSAT cert.	7.39195	7.52073	4835071
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900558106.opb	UNSAT cert.	7.53439	7.626	4835021
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_390_389.opb	UNSAT cert.	7.83829	9.73326	4835402
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat16_15_identity_complement.opb	UNSAT cert.	8.01824	8.58101	4835322
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-16arraycomm_teq_tvars_less.opb	UNSAT cert.	8.10222	8.21835	4835301
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat10_9identity_complement.opb	UNSAT cert.	8.17661	8.30407	4835314
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_042.shuf-3.opb	UNSAT cert.	8.79164	8.89811	4835374
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_03_270.opb	UNSAT cert.	9.41877	9.55142	4835381
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height15_pigeons14_holes13.opb	UNSAT cert.	10.558	11.5604	4835403
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-06/normalized-ec_stargrid_06_084.opb	UNSAT cert.	10.6935	10.7972	4835376
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900575442.opb	UNSAT cert.	10.9151	11.0944	4835029
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb	UNSAT cert.	14.1217	14.2373	4835462
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb	UNSAT cert.	14.3315	14.5048	4835157
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_19.opb	UNSAT cert.	15.3289	15.4761	4835295
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb	UNSAT cert.	15.373	15.5269	4835457
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_06_096.opb	UNSAT cert.	15.5752	16.8613	4835390
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-4_5_26.opb	UNSAT cert.	16.5106	16.6584	4835294
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900570242.opb	UNSAT cert.	17.6255	17.8007	4835026
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_06_092.opb	UNSAT cert.	17.6765	19.1309	4835389
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900667195.opb	UNSAT cert.	17.9002	18.1556	4835032
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/ random_norational_opb/normalized-ec_random_norational_random8reg_split_350.opb	UNSAT cert.	18.9321	19.1011	4835387
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900562192.opb	UNSAT cert.	19.1224	19.3491	4835024
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l090-r089-n1.cnf-extracted.pb.metafix.opb	UNSAT cert.	19.5397	20.5663	4835158
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-FastMatrixMultiplication-mini-2-2-2-05.opb	UNSAT cert.	20.0672	21.554	4835328
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-7_6_19.opb	UNSAT cert.	20.548	20.709	4835297
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900669797.opb	UNSAT cert.	20.8951	21.1367	4835034
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900582300.opb	UNSAT cert.	21.1891	21.4026	4835031
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_26_048.opb	UNSAT cert.	21.2031	22.2351	4835391
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-left3reg-l090-r089-n1.opb	UNSAT cert.	21.576	21.7749	4835164
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900571761.opb	UNSAT cert.	23.6683	23.9383	4835028
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900571132.opb	UNSAT cert.	24.1641	24.4108	4835027
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x80split.cnf-extracted.pb.metafix.opb	UNSAT cert.	24.5896	24.7868	4835461
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900561288.opb	UNSAT cert.	25.6466	25.9212	4835023
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v2_shuffle/normalized-grid8_87.shuf-3.opb	UNSAT cert.	25.9426	26.7918	4835260
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb	UNSAT cert.	27.7055	27.9175	4835459
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l045-r044-n1.opb	UNSAT cert.	28.4496	28.7283	4835166
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq7/normalized-19array_ineq7.opb	UNSAT cert.	32.6205	33.1909	4835430
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9037_9-unsat.opb	UNSAT cert.	33.711	33.9257	4835103
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat10_8_triangular.opb	UNSAT cert.	37.8142	38.0143	4835313
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-left3reg-l070-r069-n1.opb	UNSAT cert.	40.0019	40.3263	4835163
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height21_pigeons20_holes19.opb	UNSAT cert.	40.9738	42.4533	4835405
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height22_pigeons21_holes20.opb	UNSAT cert.	41.9057	43.3566	4835406
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height23_pigeons22_holes21.opb	UNSAT cert.	51.5162	56.6378	4835407
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-27array_alg_ineq8.opb	UNSAT cert.	59.0989	60.3748	4835309
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height27_pigeons26_holes25.opb	UNSAT cert.	61.849	66.2346	4835409
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb	UNSAT cert.	62.4956	66.1613	4835408
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-1.opb	UNSAT cert.	70.1687	70.5547	4835251
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb	UNSAT cert.	95.4602	98.9552	4835410
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x120split.opb	UNSAT cert.	98.7689	99.4593	4835204
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-14array_diag_less.opb	UNSAT cert.	113.959	115.352	4835303
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-3.opb	UNSAT cert.	116.676	117.178	4835252
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-08.opb	UNSAT cert.	116.893	117.493	4835108
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x30split.cnf-plain.pb.metafix.opb	UNSAT cert.	164.093	165.399	4835458
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x100split.opb	UNSAT cert.	175.148	176.913	4835171
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset_large/normalized-domset-hexgrid_11_076.opb	UNSAT cert.	179.799	186.325	4835372
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j909_2-unsat.opb	UNSAT cert.	214.757	216.153	4835104
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression32_8.opb	UNSAT cert.	226.874	228.378	4835286
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat11_9_triangular.opb	UNSAT cert.	233.444	234.962	4835317
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl.opb	UNSAT cert.	237.875	238.94	4835070
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x110split.opb	UNSAT cert.	239.293	240.725	4835203
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height42_pigeons41_holes40.opb	UNSAT cert.	266.622	271.665	4835412
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-30array_alg_ineq8.opb	UNSAT cert.	277.731	282.607	4835311
PB24/normalized-PB15eval/DEC-LIN/ ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-2.cnf.gz-plain.pb.metafix.opb	UNSAT cert.	312.734	314.509	4835191
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat20_19_identity_complement.opb	UNSAT cert.	319.832	321.805	4835325
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-36.opb	UNSAT cert.	322.289	323.615	4835119
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x130split.opb	UNSAT cert.	326.547	328.548	4835205
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq6/normalized-18array_alg_ineq6.opb	UNSAT cert.	381.398	386.792	4835428
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb	UNSAT cert.	460.951	467.399	4835413
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb	UNSAT cert.	510.71	514.768	4835460
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_6.opb	UNSAT cert.	550.743	553.147	4835289
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x140split.opb	UNSAT cert.	590.227	594.201	4835206
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb	UNSAT cert.	607.096	614.922	4835414
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb	UNSAT cert.	609.549	613.543	4835078
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-neos-859770.0.d.opb	UNSAT cert.	609.713	612.908	4835343
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl.opb	UNSAT cert.	662.432	665.571	4835079
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x150split.opb	UNSAT cert.	787.462	793.242	4835207
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-32array_alg_ineq8.opb	UNSAT cert.	849.905	925.194	4835312
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-fixed-bandwidth-38.cnf.gz-plain.pb.metafix.opb	UNSAT cert.	897.507	903.539	4835188
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb	UNSAT cert.	944.432	954.912	4835415
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-28array_ineq8.opb	UNSAT cert.	1031.78	1041.16	4835310
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	UNSAT cert.	1047.95	1052.69	4835080
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-820146.opb	UNSAT cert.	3486.03	3507.98	4835105

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP085.opb	UNSAT	3.57077	3.8071	4835241
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP085.shuf-2.opb	UNSAT	4.59725	4.81005	4835245
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height16_pigeons15_holes14.opb	UNSAT	16.8947	18.4827	4835404
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP095.shuf-3.opb	UNSAT	32.7832	33.0548	4835250
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l060-r059-n1.opb	UNSAT	1364.7	1373.29	4835167

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.004796	0.0185549	4835089
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977464.opb	SAT	0.028944	0.0407499	4835044
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974553.opb	SAT	0.029598	0.0435261	4835040
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib3/normalized-stein27.0.s.opb	SAT	0.030309	0.0425769	4835357
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977266.opb	SAT	0.030394	0.046488	4835043
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_04_036.opb	SAT	0.030409	0.0516619	4835368
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110971766.opb	SAT	0.033977	0.047551	4835038
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_048.shuf-1.opb	SAT	0.034462	0.0553219	4835361
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969933.opb	SAT	0.034505	0.0598599	4835037
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226284.opb	SAT	0.035556	0.0498159	4835048
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/armies/normalized-army8.9ls.opb	SAT	0.037371	0.0542129	4835059
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r03_shuffle/normalized-domset-hexgrid_03_056.shuf-3.opb	SAT	0.039696	0.0549001	4835358
PB24/normalized-PB10/DEC-LIN/oliveras/ j30/normalized-j3027_9-sat.opb	SAT	0.060544	0.0803471	4835097
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb	SAT	0.065853	0.12182	4834974
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900581321.opb	SAT	0.066528	0.0806621	4835030
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900553644.opb	SAT	0.067439	0.0829971	4835020
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17ls.opb	SAT	0.06842	0.10492	4835053
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army10.14ls.opb	SAT	0.069746	0.085485	4835051
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/armies/normalized-army8.9bt.opb	SAT	0.07108	0.108539	4835058
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900669299.opb	SAT	0.078463	0.0950029	4835033
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111216188.opb	SAT	0.092465	0.109369	4835046
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army13.24ls.opb	SAT	0.103623	0.127076	4835057
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r08-tiling/normalized-domset-hexgrid_08_052.opb	SAT	0.144529	0.169664	4835366
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r05_shuffle/normalized-domset-hexgrid_05_048.shuf-2.opb	SAT	0.163171	0.177274	4835362
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967327.opb	SAT	0.17703	0.193777	4835035
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r06_shuffle/normalized-domset-hexgrid_06_064.shuf-3.opb	SAT	0.178804	0.205193	4835363
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r06_shuffle/normalized-domset-hexgrid_06_068.shuf-3.opb	SAT	0.185503	0.208059	4835364
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-HyperSudoku-03_c24.opb	SAT	0.188266	0.31285	4835333
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb	SAT	0.225888	0.266493	4834975
PB24/normalized-PB10/DEC-LIN/oliveras/ j30/normalized-j3042_9-sat.opb	SAT	0.247097	0.258857	4835098
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb	SAT	0.25535	0.360162	4834977
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression32_18.opb	SAT	0.271508	0.294781	4835285
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb	SAT	0.356603	0.43869	4834976
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975678.opb	SAT	0.364803	0.382758	4835042
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin8.opb	SAT	0.376205	0.458704	4835067
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900559365.opb	SAT	0.379201	0.395437	4835022
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb	SAT	0.386954	0.462119	4834979
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb	SAT	0.395811	0.4737	4834978
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Soccer-20-25-20-1_c24.opb	SAT	0.406068	0.427867	4835336
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army9.12ls.opb	SAT	0.417918	0.467571	4835061
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb	SAT	0.484794	0.560591	4834980
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat11_10_triangular.opb	SAT	0.504057	0.544943	4835315
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat99_identity_complement.opb	SAT	0.530894	0.656288	4835327
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb	SAT	0.542563	0.666292	4834982
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army10.14bt.opb	SAT	0.566107	0.606333	4835050
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww2.opb	SAT	0.656948	0.676115	4835007
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww3.opb	SAT	0.659442	0.680496	4835008
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17bt.opb	SAT	0.680807	0.718764	4835052
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww1.opb	SAT	0.687278	0.702222	4835006
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat11_11_identity_complement.opb	SAT	0.701707	0.860686	4835316
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Soccer-28-30-20-1_c24.opb	SAT	0.737719	0.765619	4835337
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	SAT	0.750945	0.836836	4835086
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb	SAT	0.76468	0.918027	4834984
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb	SAT	0.783772	0.927505	4834981
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army12.21ls.opb	SAT	0.793366	0.841513	4835055
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat12_11_triangular.opb	SAT	0.81134	0.938786	4835318
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb	SAT	0.823423	0.992966	4834983
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin10.opb	SAT	0.831411	0.983809	4835062
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob6.opb	SAT	0.837286	0.855425	4835017
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	SAT	0.845297	0.965731	4834985
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww5.opb	SAT	0.877654	0.90269	4835010
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	SAT	0.97562	1.06032	4835084
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob5.opb	SAT	1.02666	1.07072	4835016
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-missinghole-random/normalized-php_missinghole_random_190_189.opb	SAT	1.10753	1.22669	4835397
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567939.opb	SAT	1.18722	1.20942	4835025
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	SAT	1.2186	1.34203	4835085
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_26.opb	SAT	1.39241	1.42279	4835288
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-FRB-30-15-1_c18.opb	SAT	1.4016	1.53369	4835330
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin12.opb	SAT	1.76404	2.19509	4835063
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army9.12bt.opb	SAT	1.86865	1.96932	4835060
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb	SAT	1.96058	2.12615	4835174
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army13.24bt.opb	SAT	2.09698	2.15968	4835056
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb	SAT	2.27279	2.30065	4834990
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb	SAT	2.43718	2.46102	4834986
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb	SAT	2.48793	2.59548	4834987
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb	SAT	2.49282	2.52294	4834988
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb	SAT	2.64604	2.68471	4834989
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat15_15_identity_complement.opb	SAT	2.82891	5.9795	4835321
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww4.opb	SAT	3.34764	3.43271	4835009
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat15_14_triangular.opb	SAT	3.66022	3.72456	4835320
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-neos-827015.0.u.opb	SAT	3.92153	4.0762	4835348
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K76.opb	SAT	5.10982	5.2102	4835127
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	SAT	5.16058	5.30364	4835088
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob10.opb	SAT	5.3436	5.44526	4835011
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb	SAT	5.6923	5.72921	4834995
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb	SAT	6.16493	6.22412	4834991
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat19_19_identity_complement.opb	SAT	6.37781	7.00999	4835323
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army12.21bt.opb	SAT	6.53895	6.64864	4835054
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb	SAT	6.69512	6.77119	4834993
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb	SAT	6.70416	6.74835	4834992
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb	SAT	7.32216	7.3937	4834994
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-109.opb	SAT	7.56877	8.28217	4835109
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-missinghole-random/normalized-php_missinghole_random_390_389.opb	SAT	8.39441	9.05135	4835398
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob4.opb	SAT	9.77538	9.92211	4835015
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-missinghole/normalized-php_missinghole_410_409.opb	SAT	9.81264	10.8319	4835394
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob2.opb	SAT	9.9091	10.0422	4835013
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb	SAT	10.0322	10.1552	4834999
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb	SAT	10.1032	10.1642	4835000
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb	SAT	10.2049	10.2748	4834998
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob1.opb	SAT	10.2411	10.3894	4835012
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb	SAT	10.249	10.3103	4834996
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K73.opb	SAT	10.8037	10.932	4835124
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb	SAT	11.2807	11.3445	4834997
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-missinghole/normalized-php_missinghole_450_449.opb	SAT	13.0675	14.3921	4835395
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob8.opb	SAT	14.3023	14.4549	4835019
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k3_l6_n1500.opb	SAT	14.4766	14.5653	4835002
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-missinghole-random/normalized-php_missinghole_random_480_479.opb	SAT	15.4156	16.6663	4835399
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob7.opb	SAT	17.6495	17.8518	4835018
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K75.opb	SAT	17.6587	17.9525	4835126
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-missinghole/normalized-php_missinghole_500_499.opb	SAT	17.8804	19.8183	4835396
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-cdc7-4-3-2.0.u.opb	SAT	19.2714	23.6885	4835346
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm75p-dec.opb.negationfix.opb	SAT	19.4987	19.929	4835175
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm85p-dec.opb.negationfix.opb	SAT	22.6219	23.1479	4835176
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size160-round21-7.opb	SAT	26.8805	27.2265	4835276
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-FastMatrixMultiplication-table-3-1-3-09.opb	SAT	26.9289	28.0542	4835329
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm90p-dec.opb.negationfix.opb	SAT	28.6357	29.2747	4835177
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K74.opb	SAT	28.6444	29.0763	4835125
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm95p-dec.opb.negationfix.opb	SAT	30.0222	30.7078	4835178
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm98p-dec.opb.negationfix.opb	SAT	32.9072	34.1178	4835179
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size96-round21-0.opb	SAT	34.0133	34.799	4835281
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_23.opb	SAT	34.9934	35.1892	4835287
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm50p-dec.opb.negationfix.opb	SAT	38.1453	52.1429	4835184
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin14.opb	SAT	51.103	53.2616	4835064
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size112-round21-3.opb	SAT	59.9638	60.6782	4835268
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm90p-dec.opb.negationfix.opb	SAT	67.4222	87.6365	4835185
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Soccer-30-24-20-1_c24.opb	SAT	105.667	106.671	4835338
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb	SAT	136.088	146.934	4835181
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb	SAT	141.405	156.434	4835183
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K107.opb	SAT	149.605	151.41	4835128
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb	SAT	155.188	166.501	4835182
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k3_l5_n550.opb	SAT	173.237	174.182	4835001
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression32_15.opb	SAT	180.339	181.467	4835284
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K108.opb	SAT	180.577	182.439	4835129
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-849702.opb	SAT	217.674	220.363	4835107
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-162.opb	SAT	244.245	245.307	4835114
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K69.opb	SAT	399.109	403.185	4835123
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K109.opb	SAT	468.622	474.262	4835130
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K92.opb	SAT	588.68	595.466	4835134
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-dec2-3-3-9.opb	SAT	895.501	902.34	4835339
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K95.opb	SAT	907.729	916.833	4835137
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K94.opb	SAT	1453.62	1467.11	4835136
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k5_l4_n750.opb	SAT	1678.05	1685.13	4835004
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-table-3-3-7.opb	SAT	1844.01	1852.2	4835340

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-tanglegram1.0.s.opb	? (TO)	3551.95	3700.17	4835344
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-bab2.0.s.opb	? (TO)	3552.92	3700.46	4835345
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb	? (TO)	3561.48	3703.05	4835187
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib3/normalized-seymour.0.u.opb	? (TO)	3572.22	3700.05	4835356
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb	? (TO)	3586.32	3701.61	4835186
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-reblock354.0.u.opb	? (TO)	3595.29	3700.08	4835350
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/ miplib2017/normalized-neos-4954274-beardy.0.u.opb	? (TO)	3596.18	3700.07	4835347
PB24/normalized-PB15eval/DEC-LIN/ ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-33-3.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.03	3622.03	4835192
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq10/normalized-17array_ineq10.opb	? (TO)	3600.03	3633.42	4835427
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression32_14.opb	? (TO)	3600.03	3619.31	4835283
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb	? (TO)	3600.03	3631.13	4835154
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k6_l3_n170.opb	? (TO)	3600.03	3620.72	4835005
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round22-8.opb	? (TO)	3600.04	3635.83	4835271
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size96-round23-0.opb	? (TO)	3600.04	3634.53	4835282
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round22-2.opb	? (TO)	3600.04	3632.43	4835274
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/ array_comm/arraycomm_teq/normalized-17arraycomm_teq_greater.opb	? (TO)	3600.04	3632.03	4835420
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-almost3reg-l100-r099-n1.opb	? (TO)	3600.04	3628.92	4835160
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K145.opb	? (TO)	3600.04	3623.14	4835142
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_8.opb	? (TO)	3600.04	3622.13	4835290
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round22-1.opb	? (TO)	3600.04	3635.53	4835273
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size80-round23-5.opb	? (TO)	3600.04	3635.53	4835279
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_diag/normalized-19array_diag_less.opb	? (TO)	3600.04	3629.82	4835422
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Pentominoes-03-40_c24.opb	? (TO)	3600.05	3635.33	4835334
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K127.opb	? (TO)	3600.05	3620.73	4835138
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K91.opb	? (TO)	3600.05	3626.81	4835133
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.6.accl.ucl.opb	? (TO)	3600.05	3623.62	4835077
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-820157.opb	? (TO)	3600.06	3632.52	4835106
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat15_13_triangular.opb	? (TO)	3600.06	3613.54	4835319
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12052_3-unsat.opb	? (TO)	3600.06	3627.44	4835091
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size112-round23-8.opb	? (TO)	3600.06	3624.33	4835270
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size112-round22-3.opb	? (TO)	3600.06	3631.43	4835269
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin18.opb	? (TO)	3600.06	3632.23	4835066
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12059_1-sat.opb	? (TO)	3600.07	3622.22	4835094
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-17.opb	? (TO)	3600.07	3613.17	4835117
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K157.opb	? (TO)	3600.07	3620.75	4835144
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb	? (TO)	3600.07	3629.53	4835083
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Hamming-30-15-07-14_c24.opb	? (TO)	3600.07	3619.44	4835332
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_30.opb	? (TO)	3600.07	3623.82	4835296
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K191.opb	? (TO)	3600.08	3622.05	4835150
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K181.opb	? (TO)	3600.08	3621.07	4835148
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9025_4-unsat.opb	? (TO)	3600.08	3628.92	4835102
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/diag_spec/normalized-25diag_spec_greater.opb	? (TO)	3600.08	3624.03	4835424
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq7/normalized-22array_alg_ineq7.opb	? (TO)	3600.08	3629.04	4835431
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round22-9.opb	? (TO)	3600.09	3630.53	4835272
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	? (TO)	3600.09	3624.64	4835087
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-23arraycomm_teq_tvars_greater.opb	? (TO)	3600.09	3625.83	4835302
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/wallace_spec/normalized-18wallace_spec_greater_tvars.opb	? (TO)	3600.09	3629.22	4835425
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K136.opb	? (TO)	3600.09	3619.54	4835140
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6029_4-unsat.opb	? (TO)	3600.1	3622.32	4835100
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j1207_4-sat.opb	? (TO)	3600.1	3624.83	4835096
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-0.opb	? (TO)	3600.1	3632.33	4835275
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9013_8-unsat.opb	? (TO)	3600.1	3623.43	4835101
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k4_l4_n360.opb	? (TO)	3600.1	3618.72	4835003
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob3.opb	? (TO)	3600.1	3619.12	4835014
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb	? (TO)	3600.1	3629.42	4835153
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K188.opb	? (TO)	3600.11	3620.54	4835149
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq5/normalized-24array_ineq5.opb	? (TO)	3600.11	3630.83	4835308
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K147.opb	? (TO)	3600.11	3628.23	4835143
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K93.opb	? (TO)	3600.11	3621.32	4835135
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K163.opb	? (TO)	3600.11	3620.84	4835145
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K80.opb	? (TO)	3600.11	3626.42	4835131
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size80-round23-9.opb	? (TO)	3600.11	3630.32	4835280
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K170.opb	? (TO)	3600.11	3623.74	4835146
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l100-r099-n1.cnf-extracted.pb.metafix.opb	? (TO)	3600.11	3631.92	4835155
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j1206_5-sat.opb	? (TO)	3600.11	3621.15	4835095
PB24/normalized-PB15eval/DEC-LIN/ ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-58-2.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.11	3628.32	4835193
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/wallace_spec/normalized-25wallace_spec_greater_tvars.opb	? (TO)	3600.12	3636.15	4835426
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-81.opb	? (TO)	3600.12	3616.38	4835122
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K195.opb	? (TO)	3600.12	3626.05	4835151
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size160-round22-8.opb	? (TO)	3600.12	3625.04	4835277
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-almost3reg-l090-r089-n1.opb	? (TO)	3600.12	3629.32	4835159
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K82.opb	? (TO)	3600.12	3628.91	4835132
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K199.opb	? (TO)	3600.12	3621.43	4835152
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12026_4-sat.opb	? (TO)	3600.13	3626.45	4835090
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K173.opb	? (TO)	3600.13	3624.84	4835147
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-57.opb	? (TO)	3600.13	3616.58	4835120
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K131.opb	? (TO)	3600.13	3623.24	4835139
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12056_9-sat.opb	? (TO)	3600.14	3618.23	4835093
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/ array_comm/arraycomm_teq_tvars/normalized-29arraycomm_teq_tvars_greater.opb	? (TO)	3600.14	3625.97	4835421
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size160-round23-9.opb	? (TO)	3600.14	3627.04	4835278
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12056_2-sat.opb	? (TO)	3600.16	3619.28	4835092
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin16.opb	? (TO)	3600.16	3645.56	4835065
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-69.opb	? (TO)	3600.17	3613.57	4835121
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-190.opb	? (TO)	3600.17	3616.79	4835118
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K141.opb	? (TO)	3600.23	3624.94	4835141
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-rail01.0.s.opb	? (TO)	3600.24	3626.22	4835349
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-125.opb	? (TO)	3600.38	3618.64	4835111
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-133.opb	? (TO)	3600.4	3621.2	4835112
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-138.opb	? (TO)	3600.41	3616.91	4835113
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat20_18_triangular.opb	? (TO)	3600.41	3617.82	4835324
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-121.opb	? (TO)	3600.43	3617.36	4835110
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-table-3-3-9.opb	? (TO)	3600.5	3620.33	4835341
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-rmine21.0.u.opb	? (TO)	3600.54	3669.45	4835351
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-scpj4scip.0.s.opb	? (TO)	3600.67	3636.24	4835352
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-169.opb	? (TO)	3600.79	3619.97	4835115
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw128/ normalized-hw128-vm100p-dec.opb.negationfix.opb	? (TO)	3600.88	3693.25	4835173
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-174.opb	? (TO)	3601.37	3617.59	4835116
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/ normalized-hw256-vm100p-dec.opb.negationfix.opb	? (TO)	3601.87	3674.09	4835180

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-WordSquare-tab2-11-ogd2008_c24.opb	? (exit code)		445.586	575.836	4835342
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib3/normalized-fast0507.0.s.opb	? (exit code)		1885	2035.41	4835355

PB'26 competition: benchmarks results per solver

Result page for solver roundingsat-satsuma-MIR 2026-06-11 (cert) (complete)

Solver command line

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

Solver proved unsatisfiability and generated a good certificate (244 runs) [Show/Hide]

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

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

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

Solver didn't output a solution line and terminated with an unexpected exit code (2 runs) [Show/Hide]