PB'26 competition: benchmarks results per solver
Result page for solver roundingsat-satsuma-liftedcover
2026-06-11
(complete)
Solver command line
./run-lcc.sh BENCHNAME
Category "decision problem, linear constraints, no UNSAT certificate" (DEC-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (248 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-2_4_3.opb
UNSAT
0.004733
0.013619
4809495
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n28-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
UNSAT
0.0067
0.0152259
4801139
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-11-10.opb
UNSAT
0.015309
0.0857899
4807900
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-15-10.opb
UNSAT
0.016038
0.117227
4808016
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6028_8-unsat.opb
UNSAT
0.016882
0.0264819
4799319
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n108-d3-i3-f.cnf.gz-plain.pb.metafix.opb
UNSAT
0.017819
0.0336951
4801167
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-25-20.opb
UNSAT
0.017858
0.116212
4807784
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
UNSAT
0.020338
0.258111
4796855
PB24/normalized-PB16/DEC-LIN/elffers/
subsetcard/normalized-subsetcard-geq-fixedbandwidth-30.opb
UNSAT
0.022212
0.0351401
4802707
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v020-n1.opb
UNSAT
0.02359
0.035024
4802595
PB24/normalized-PB16/DEC-LIN/elffers/
subsetcard/normalized-subsetcard-eq-fixedbandwidth-70.opb
UNSAT
0.024914
0.0343139
4802735
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-51-50.opb
UNSAT
0.02493
0.102564
4807813
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-75.shuf-2.opb
UNSAT
0.026322
0.037241
4812946
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-65.shuf-1.opb
UNSAT
0.026393
0.0367429
4813004
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/random4reg_opb/normalized-subsetcard-geq-random4reg-65.opb
UNSAT
0.026821
0.0445939
4813033
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-80.shuf-1.opb
UNSAT
0.027013
0.0409829
4812975
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v011-n3.opb
UNSAT
0.029021
0.0395
4802987
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v021-n2.opb
UNSAT
0.030387
0.043829
4802903
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-subsetCardinalitySigma-13-1.cnf.gz-extracted.pb.metafix.opb
UNSAT
0.035394
0.045108
4801307
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v031-n1.opb
UNSAT
0.035893
0.04551
4802623
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-61-60.opb
UNSAT
0.037336
0.164146
4807726
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v041-n1.opb
UNSAT
0.04323
0.053907
4803043
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v060-n1.opb
UNSAT
0.043404
0.052909
4802651
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v081-n1.opb
UNSAT
0.045056
0.0593941
4802847
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-2_3_6.opb
UNSAT
0.045582
0.057102
4809466
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v051-n3.opb
UNSAT
0.045644
0.0583319
4802931
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height3_pigeons2_holes1.opb
UNSAT
0.047869
0.681716
4809959
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq7/normalized-11array_ineq7.opb
UNSAT
0.051401
0.96182
4809611
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x10split.cnf-extracted.pb.metafix.opb
UNSAT
0.0535
0.128233
4808538
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_wallace/normalized-10array_wallace_less_teq.opb
UNSAT
0.053652
0.901512
4809814
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-10arraycomm_teq_tvars_less.opb
UNSAT
0.054813
0.065748
4813584
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-3_6_4.opb
UNSAT
0.055451
0.0651321
4809350
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-stein15inf.0.d.opb
UNSAT
0.05606
0.0656999
4810684
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
ebits/benchmarks/normalized-16ebits_0.opb
UNSAT
0.057374
0.068538
4813729
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n226-d3-i2-f.cnf.gz-plain.pb.metafix.opb
UNSAT
0.05856
0.068096
4801363
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n200-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
UNSAT
0.059458
0.072178
4801447
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb
UNSAT
0.063729
0.0734521
4802679
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v3/normalized-grid6_11.opb
UNSAT
0.064041
0.0773741
4811902
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x20split.cnf-extracted.pb.metafix.opb
UNSAT
0.067303
0.190213
4808451
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_comm/arraycomm_teq/normalized-11arraycomm_teq_less.opb
UNSAT
0.067374
0.111903
4809756
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/random_large_opb/normalized-ECrand6reg_151.opb
UNSAT
0.069207
0.084719
4810945
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb
UNSAT
0.069973
0.830917
4796379
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-12arraycomm_teq_tvars_less.opb
UNSAT
0.072109
0.0835
4813642
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height5_pigeons4_holes3.opb
UNSAT
0.074945
0.204977
4810046
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
ebits/zeroth_bit/normalized-26ebits_0.opb
UNSAT
0.077452
0.605387
4809930
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n238-d3-i2-r2.cnf.gz-plain.pb.metafix.opb
UNSAT
0.078814
0.088247
4801279
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n12-d4-i1.cnf.gz-plain.pb.metafix.opb
UNSAT
0.081838
0.094642
4801335
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-41-40.opb
UNSAT
0.083005
0.197698
4807929
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid4_23.shuf-1.opb
UNSAT
0.084073
0.0990029
4811525
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_spec/normalized-9array_spec_less.opb
UNSAT
0.09243
0.102493
4813526
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-9diag_spec_greater.opb
UNSAT
0.093994
0.109219
4813700
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n248-d3-i2-f.cnf.gz-plain.pb.metafix.opb
UNSAT
0.096132
0.106353
4801475
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height6_pigeons5_holes4.opb
UNSAT
0.098313
0.136039
4810278
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb
UNSAT
0.101406
0.192915
4807871
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq10/normalized-10array_ineq10.opb
UNSAT
0.104879
0.117559
4813352
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n272-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
UNSAT
0.111354
0.120916
4801251
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v3_shuffle/normalized-grid4_27.shuf-1.opb
UNSAT
0.113541
0.12333
4811786
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l020-r019-n1.opb
UNSAT
0.11862
0.129138
4801559
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x10split.opb
UNSAT
0.120407
0.130125
4801839
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n282-d3-i1-f.cnf.gz-plain.pb.metafix.opb
UNSAT
0.127881
0.137071
4801111
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n288-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
UNSAT
0.135738
0.145622
4801223
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP005.shuf-2.opb
UNSAT
0.13626
0.162615
4811206
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v081-n3.opb
UNSAT
0.137164
0.151272
4802959
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x30split.cnf-extracted.pb.metafix.opb
UNSAT
0.137616
0.275881
4808190
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-51-50.opb
UNSAT
0.149533
0.186789
4808103
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb
UNSAT
0.158138
0.168539
4802567
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_05_050.opb
UNSAT
0.158991
0.173047
4812337
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb/normalized-subsetcard-geq-fixedbandwidth-3750.opb
UNSAT
0.163404
0.176692
4813149
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP005.shuf-1.opb
UNSAT
0.164418
0.180463
4811380
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP005.opb
UNSAT
0.165739
0.189338
4811264
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
UNSAT
0.167558
0.367379
4796883
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v101-n2.opb
UNSAT
0.167615
0.177891
4802875
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-1500.opb
UNSAT
0.174716
0.187049
4813091
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_06_047.opb
UNSAT
0.178312
0.192095
4812395
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x30split.cnf-plain.pb.metafix.opb
UNSAT
0.207834
0.347288
4808335
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v041-n2.opb
UNSAT
0.212982
0.226578
4803015
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid4_49.shuf-3.opb
UNSAT
0.213407
0.230385
4811699
PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/
normalized-sumineqArity3houseP016.opb
UNSAT
0.220741
0.241172
4808596
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP015.shuf-1.opb
UNSAT
0.25709
0.273088
4811409
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r06-tiling/normalized-domset-hexgrid_06_062.opb
UNSAT
0.264706
0.277497
4812163
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid8_51.shuf-1.opb
UNSAT
0.268858
0.281902
4811844
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP025.opb
UNSAT
0.269187
0.279798
4811467
PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/
normalized-sumineqArity5houseP016.opb
UNSAT
0.288759
0.316108
4808625
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
UNSAT
0.296179
0.612219
4796631
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l030-r029-n1.opb
UNSAT
0.300831
0.314953
4801643
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-65-60.opb
UNSAT
0.303692
0.388742
4808045
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v1_shuffle/normalized-grid6_49.shuf-2.opb
UNSAT
0.304834
0.32325
4811583
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l030-r029-n1.cnf-plain.pb.metafix.opb
UNSAT
0.305889
0.316448
4801755
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x60split.cnf-extracted.pb.metafix.opb
UNSAT
0.311135
0.473199
4808219
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r08-tiling/normalized-domset-hexgrid_08_057.opb
UNSAT
0.332953
0.353482
4812279
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-2250.shuf-1.opb
UNSAT
0.348058
0.378812
4813178
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x50split.opb
UNSAT
0.355069
0.368266
4801951
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v111-n2.opb
UNSAT
0.366907
0.386344
4803071
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid8_61.shuf-3.opb
UNSAT
0.370809
0.382794
4811554
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP035.shuf-1.opb
UNSAT
0.376493
0.400053
4811235
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v111-n1.opb
UNSAT
0.377164
0.387816
4802539
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-2750.opb
UNSAT
0.397792
0.415689
4813120
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-dlx1c.ucl.opb
UNSAT
0.402824
0.445269
4796351
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x50split.cnf-plain.pb.metafix.opb
UNSAT
0.417766
0.550246
4808393
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-71-70.opb
UNSAT
0.433274
0.544134
4807755
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x40split.cnf-plain.pb.metafix.opb
UNSAT
0.443486
0.492475
4808161
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_037.shuf-3.opb
UNSAT
0.453724
0.467852
4812511
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Hamming-20-10-05-10_c24.opb
UNSAT
0.507442
0.522373
4814512
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid8_91.shuf-2.opb
UNSAT
0.517284
0.53063
4811873
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl.opb
UNSAT
0.564313
0.621181
4796267
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_04_075.opb
UNSAT
0.578238
0.592115
4812221
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x70split.opb
UNSAT
0.581576
0.592866
4801867
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-81-80.opb
UNSAT
0.634135
0.712367
4807987
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb
UNSAT
0.634279
0.716354
4796015
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_038.shuf-1.opb
UNSAT
0.675796
0.700269
4812482
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v2_shuffle/normalized-grid8_63.shuf-1.opb
UNSAT
0.678926
0.694582
4811931
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-2750.shuf-3.opb
UNSAT
0.695723
0.71331
4813294
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP045.shuf-3.opb
UNSAT
0.700256
0.727271
4811293
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/
random_norational_opb/normalized-ec_random_norational_random4reg_split_100.opb
UNSAT
0.705314
0.721967
4812859
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x80split.cnf-plain.pb.metafix.opb
UNSAT
0.721134
0.749614
4808567
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-nve-large-v1/normalized-grid8_97.opb
UNSAT
0.764139
0.780662
4811815
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x90split.opb
UNSAT
0.798698
0.810617
4801895
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/larger/vc-nve-large-v3/normalized-grid6_171.opb
UNSAT
0.823643
0.839087
4811612
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224059.opb
UNSAT
0.839375
0.854947
4798731
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973163.opb
UNSAT
0.867205
0.889658
4798563
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-3500.shuf-1.opb
UNSAT
0.869183
0.889341
4813062
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227861.opb
UNSAT
0.871659
0.884047
4798479
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975607.opb
UNSAT
0.880129
0.891707
4798619
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-3500.shuf-3.opb
UNSAT
0.891404
0.908882
4813236
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-4000.shuf-2.opb
UNSAT
0.925929
0.940993
4813207
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111213868.opb
UNSAT
0.93698
0.949953
4798675
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-91-90.opb
UNSAT
0.94635
0.997538
4808132
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v3_shuffle/normalized-grid8_111.shuf-3.opb
UNSAT
0.952853
0.972382
4811641
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-2250.shuf-1.opb
UNSAT
1.00777
1.02103
4813265
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid6_51.shuf-1.opb
UNSAT
1.02099
1.03483
4811757
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-95-90.opb
UNSAT
1.0327
1.10909
4807958
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat98_identity_complement.opb
UNSAT
1.11269
1.128
4813961
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/larger/vc-lines-v4_shuffle/normalized-grid10_200.shuf-3.opb
UNSAT
1.11911
1.13902
4811670
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-clauses-101-100.opb
UNSAT
1.34078
1.43071
4808074
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-clauses-105-100.opb
UNSAT
1.43823
1.55164
4807842
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_06_036.opb
UNSAT
1.55869
1.57717
4812569
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_018.shuf-3.opb
UNSAT
1.78966
1.80861
4810858
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP055.shuf-2.opb
UNSAT
1.9165
1.93766
4811148
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-blast-floppy1-7.ucl.opb
UNSAT
1.92458
1.98352
4796211
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968561.opb
UNSAT
1.96047
1.98072
4798787
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq10/normalized-14array_alg_ineq10.opb
UNSAT
1.98983
2.00809
4813323
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_02_096.opb
UNSAT
2.04347
2.06313
4812656
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900570242.opb
UNSAT
2.107
2.13351
4798143
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900558106.opb
UNSAT
2.15235
2.16967
4798367
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l030-r029-n1.opb
UNSAT
2.16994
2.18524
4802763
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_036.opb
UNSAT
2.23295
2.25623
4812598
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_350_349.opb
UNSAT
2.33471
2.35639
4812018
PB24/normalized-PB24/DEC-LIN/nordstrom/
MIPLIB01/dec/miplib2/normalized-air02.0.u.opb
UNSAT
2.42615
2.44722
4810800
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_370_369.opb
UNSAT
2.74808
2.76781
4811960
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq9/normalized-18array_ineq9.opb
UNSAT
2.74945
2.76638
4809553
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP085.opb
UNSAT
2.90601
2.92659
4811496
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Rlfap-ext-scen-11-f09_c18.opb
UNSAT
2.96147
2.99016
4814367
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/grids_large_opb/normalized-ECgrid_split_3_180.opb
UNSAT
3.11003
3.14751
4811032
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_390_389.opb
UNSAT
3.23102
3.25341
4811989
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb
UNSAT
3.3451
3.41117
4796127
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_070.opb
UNSAT
3.54249
3.56285
4812888
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP085.shuf-2.opb
UNSAT
3.87297
3.89771
4811177
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_06_130.opb
UNSAT
3.97367
4.00023
4812801
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_210.opb
UNSAT
4.0944
4.11515
4812917
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb
UNSAT
4.33949
4.42731
4796183
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x10split.cnf-plain.pb.metafix.opb
UNSAT
5.90779
6.07239
4808248
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat16_15_identity_complement.opb
UNSAT
5.92059
5.95817
4813758
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP095.shuf-3.opb
UNSAT
6.67192
6.72059
4811438
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl.opb
UNSAT
7.70039
8.40796
4796155
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900575442.opb
UNSAT
7.90129
7.93559
4798423
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat10_9identity_complement.opb
UNSAT
8.02608
8.0693
4813787
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_03_270.opb
UNSAT
8.56916
8.61228
4812772
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_033.shuf-1.opb
UNSAT
11.2066
11.2629
4810916
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height15_pigeons14_holes13.opb
UNSAT
13.0418
13.272
4810133
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb
UNSAT
14.2732
14.4318
4808306
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_19.opb
UNSAT
14.3026
14.3502
4809437
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-7_6_19.opb
UNSAT
14.5876
14.6373
4809379
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-4_5_26.opb
UNSAT
15.3654
15.4176
4809408
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_07_100.opb
UNSAT
15.6836
15.7388
4812743
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
UNSAT
16.1476
16.6433
4796239
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
UNSAT
16.54
16.5995
4801727
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_26_048.opb
UNSAT
17.8443
17.9229
4812627
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_042.shuf-3.opb
UNSAT
17.949
18.0238
4810829
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid8_87.shuf-3.opb
UNSAT
18.017
18.0945
4811728
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_092.opb
UNSAT
18.0664
18.1698
4812685
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/
random_norational_opb/normalized-ec_random_norational_random8reg_split_350.opb
UNSAT
19.1876
19.2611
4812830
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height16_pigeons15_holes14.opb
UNSAT
19.2366
19.3694
4810191
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l090-r089-n1.opb
UNSAT
19.8206
19.8894
4801531
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_096.opb
UNSAT
20.0886
20.1721
4812714
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l090-r089-n1.cnf-extracted.pb.metafix.opb
UNSAT
20.2677
20.3389
4801699
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900669797.opb
UNSAT
20.4685
20.5385
4798059
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/grids_large_opb/normalized-ECgrid_split_5_050.opb
UNSAT
24.2251
24.3307
4811003
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-FastMatrixMultiplication-mini-2-2-2-05.opb
UNSAT
24.7547
24.8564
4814193
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l045-r044-n1.opb
UNSAT
25.496
25.596
4802819
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x80split.cnf-extracted.pb.metafix.opb
UNSAT
31.7701
32.0211
4808277
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9037_9-unsat.opb
UNSAT
32.5676
32.6684
4799403
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat10_8_triangular.opb
UNSAT
32.5869
32.7147
4813903
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l070-r069-n1.opb
UNSAT
32.6177
32.7195
4801503
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900562192.opb
UNSAT
33.1936
33.2976
4798451
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571761.opb
UNSAT
34.7253
34.8289
4798255
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
UNSAT
38.9508
39.2121
4808364
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
UNSAT
42.5492
42.8146
4808509
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height21_pigeons20_holes19.opb
UNSAT
71.1192
72.0427
4810075
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571132.opb
UNSAT
76.8997
77.2032
4798199
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900667195.opb
UNSAT
81.4376
81.6872
4798087
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height22_pigeons21_holes20.opb
UNSAT
84.3677
84.9769
4810017
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height23_pigeons22_holes21.opb
UNSAT
87.1254
87.4089
4810307
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height27_pigeons26_holes25.opb
UNSAT
92.5009
92.8093
4810336
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-27array_alg_ineq8.opb
UNSAT
96.5155
96.8652
4813381
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb
UNSAT
101.566
101.966
4810249
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
UNSAT
106.982
108.056
4796099
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb
UNSAT
110.812
111.125
4810365
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-08.opb
UNSAT
117.073
117.433
4800019
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x100split.opb
UNSAT
117.356
117.748
4801923
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-1.opb
UNSAT
128.936
129.423
4811322
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_11_076.opb
UNSAT
143.008
143.495
4812366
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x30split.cnf-plain.pb.metafix.opb
UNSAT
149.625
150.326
4808480
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x120split.opb
UNSAT
190.918
191.581
4802455
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582300.opb
UNSAT
191.988
192.764
4798283
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_8.opb
UNSAT
198.409
198.981
4809205
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06/normalized-ec_stargrid_06_084.opb
UNSAT
213.303
213.947
4810974
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat20_19_identity_complement.opb
UNSAT
255.595
256.49
4814106
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_9_triangular.opb
UNSAT
275.074
275.84
4814077
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-30array_alg_ineq8.opb
UNSAT
283.261
284.142
4813410
PB24/normalized-PB15eval/DEC-LIN/
ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-2.cnf.gz-plain.pb.metafix.opb
UNSAT
300.588
301.44
4801391
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height42_pigeons41_holes40.opb
UNSAT
309.102
311.049
4809988
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_045.shuf-1.opb
UNSAT
318.234
319.549
4810887
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-28array_ineq8.opb
UNSAT
360.789
362.086
4813468
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-36.opb
UNSAT
409.233
410.578
4799935
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
UNSAT
470.447
472.156
4808422
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j909_2-unsat.opb
UNSAT
487.88
489.248
4799375
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
UNSAT
501.162
502.699
4802483
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb
UNSAT
512.958
514.313
4810162
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900561288.opb
UNSAT
528.113
529.668
4798227
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9025_4-unsat.opb
UNSAT
530.247
531.762
4799347
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
UNSAT
616.821
618.622
4810220
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-859770.0.d.opb
UNSAT
674.787
676.881
4810742
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_6.opb
UNSAT
678.264
680.554
4809234
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-32array_alg_ineq8.opb
UNSAT
691.044
693.485
4813439
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
UNSAT
699.602
701.789
4802427
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
UNSAT
725.794
727.889
4802511
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl.opb
UNSAT
807.619
811.257
4796043
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
UNSAT
813.861
816.924
4802399
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-38.cnf.gz-plain.pb.metafix.opb
UNSAT
842.566
844.865
4801419
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb
UNSAT
1026.44
1029.75
4810104
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb
UNSAT
1171.01
1175.61
4796071
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l060-r059-n1.opb
UNSAT
1200.7
1203.52
4802791
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-3.opb
UNSAT
1220.95
1224.52
4811351
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq10/normalized-17array_ineq10.opb
UNSAT
1328.28
1332.03
4809524
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
UNSAT
1460.98
1467.02
4796295
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-18array_alg_ineq6.opb
UNSAT
2546.03
2555.76
4809582
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
UNSAT
3150.32
3164.7
4795987
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq7/normalized-19array_ineq7.opb
UNSAT
3369.4
3381.87
4809640
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (141 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB10/DEC-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1096.cudf.paranoid.opb
SAT
0
0.005139
0.018334
4799711
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_04_036.opb
SAT
0
0.017904
0.0316611
4812250
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-stein27.0.s.opb
SAT
0
0.018563
0.0281721
4810452
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977266.opb
SAT
0
0.019974
0.0302331
4798535
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977464.opb
SAT
0
0.020476
0.0342359
4798591
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974553.opb
SAT
0
0.02056
0.036243
4798815
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971766.opb
SAT
0
0.023825
0.033272
4798507
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969933.opb
SAT
0
0.024513
0.041505
4798703
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_048.shuf-1.opb
SAT
0
0.024985
0.046177
4812540
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226284.opb
SAT
0
0.025549
0.0420961
4798843
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb
SAT
0
0.028106
0.259498
4797163
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r03_shuffle/normalized-domset-hexgrid_03_056.shuf-3.opb
SAT
0
0.028804
0.0416041
4812192
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb
SAT
0
0.029298
0.366587
4796687
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9bt.opb
SAT
0
0.047219
0.393028
4797387
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3027_9-sat.opb
SAT
0
0.050006
0.059408
4799459
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17ls.opb
SAT
0
0.051777
0.26402
4797247
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14ls.opb
SAT
0
0.055246
0.459776
4797359
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900581321.opb
SAT
0
0.056414
0.0661429
4798311
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900553644.opb
SAT
0
0.056464
0.0643519
4798115
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900669299.opb
SAT
0
0.068802
0.078737
4798339
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24ls.opb
SAT
0
0.082229
0.43303
4797331
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216188.opb
SAT
0
0.08293
0.0956409
4798647
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin8.opb
SAT
0
0.086912
0.174935
4796995
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
SAT
0
0.110023
0.55813
4796603
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r05_shuffle/normalized-domset-hexgrid_05_048.shuf-2.opb
SAT
0
0.116326
0.130988
4812134
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb
SAT
0
0.122702
0.409833
4796715
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r08-tiling/normalized-domset-hexgrid_08_052.opb
SAT
0
0.136178
0.155847
4812308
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb
SAT
0
0.1635
0.374995
4796827
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-HyperSudoku-03_c24.opb
SAT
0
0.164331
0.185144
4814309
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967327.opb
SAT
0
0.164872
0.183864
4798759
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r06_shuffle/normalized-domset-hexgrid_06_064.shuf-3.opb
SAT
0
0.168202
0.179201
4812453
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb
SAT
0
0.17246
0.362902
4796659
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r06_shuffle/normalized-domset-hexgrid_06_068.shuf-3.opb
SAT
0
0.173852
0.192927
4812424
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb
SAT
0
0.181794
0.364162
4796939
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat99_identity_complement.opb
SAT
0
0.195591
0.213517
4814048
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb
SAT
0
0.196448
0.272979
4796911
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin10.opb
SAT
0
0.207214
0.301937
4797079
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3042_9-sat.opb
SAT
0
0.212122
0.222087
4799487
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
SAT
0
0.247755
0.560278
4796743
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_18.opb
SAT
0
0.251822
0.262446
4809118
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat11_11_identity_complement.opb
SAT
0
0.326646
0.342391
4814164
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12ls.opb
SAT
0
0.329638
0.62708
4797219
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-20-25-20-1_c24.opb
SAT
0
0.340784
0.352182
4814396
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
SAT
0
0.341931
0.584079
4796799
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975678.opb
SAT
0
0.359241
0.376108
4798871
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
SAT
0
0.360373
0.495612
4796967
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559365.opb
SAT
0
0.368077
0.379889
4798395
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
SAT
0
0.368981
0.426643
4796575
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
SAT
0
0.374331
0.614972
4796771
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_10_triangular.opb
SAT
0
0.443515
0.456959
4813845
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14bt.opb
SAT
0
0.458243
0.618159
4797471
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin12.opb
SAT
0
0.487394
0.558094
4797107
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
SAT
0
0.533807
0.78359
4797191
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
SAT
0
0.627412
0.70251
4796491
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21ls.opb
SAT
0
0.657227
0.710213
4797443
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
SAT
0
0.681219
0.697303
4796547
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat12_11_triangular.opb
SAT
0
0.718844
0.730779
4814019
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole-random/normalized-php_missinghole_random_190_189.opb
SAT
0
0.822302
0.841739
4812047
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
SAT
0
0.831754
0.892313
4796407
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob6.opb
SAT
0
0.849964
0.865678
4799095
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob5.opb
SAT
0
1.0511
1.0635
4799039
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat15_15_identity_complement.opb
SAT
0
1.35533
1.37062
4813816
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_26.opb
SAT
0
1.36439
1.37826
4809176
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb
SAT
0
1.42629
1.43894
4802063
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-cdc7-4-3-2.0.u.opb
SAT
0
1.42723
1.44267
4810481
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24bt.opb
SAT
0
1.6911
1.76856
4797303
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
SAT
0
2.11004
2.15902
4797807
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567939.opb
SAT
0
2.15517
2.17209
4798171
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
SAT
0
2.21894
2.4402
4797891
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
SAT
0
2.32363
2.41375
4797555
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
SAT
0
2.32573
2.4146
4797583
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-FRB-30-15-1_c18.opb
SAT
0
2.37543
2.39428
4814280
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
SAT
0
2.50297
2.54669
4797779
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww1.opb
SAT
0
3.06668
3.08463
4799263
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-neos-827015.0.u.opb
SAT
0
3.28358
3.30527
4810597
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat15_14_triangular.opb
SAT
0
3.43919
3.46164
4813874
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K76.opb
SAT
0
3.46799
3.52312
4801055
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_23.opb
SAT
0
3.57651
3.59671
4809263
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww4.opb
SAT
0
3.70186
3.72215
4799067
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
SAT
0
4.32928
4.40597
4796463
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat19_19_identity_complement.opb
SAT
0
4.52925
4.55666
4814135
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-28-30-20-1_c24.opb
SAT
0
4.77272
4.79855
4814570
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
SAT
0
5.00099
5.06874
4797527
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
SAT
0
5.33713
5.65164
4797415
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
SAT
0
5.52638
5.60095
4797667
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww3.opb
SAT
0
5.78864
5.82041
4798899
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob10.opb
SAT
0
5.94435
5.97456
4798927
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole-random/normalized-php_missinghole_random_390_389.opb
SAT
0
6.07431
6.10827
4812105
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
SAT
0
6.14161
6.63684
4797863
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
SAT
0
6.17303
6.24308
4797499
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12bt.opb
SAT
0
6.22956
6.44686
4797275
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm50p-dec.opb.negationfix.opb
SAT
0
6.3906
6.42322
4802343
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K75.opb
SAT
0
6.65954
6.71657
4800971
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
SAT
0
6.74266
6.80777
4797695
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole/normalized-php_missinghole_410_409.opb
SAT
0
6.93326
6.96651
4811090
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round21-3.opb
SAT
0
7.82666
7.91887
4808683
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
SAT
0
8.95462
9.05356
4797611
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
SAT
0
8.98153
9.1012
4797723
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
SAT
0
8.99162
9.076
4797639
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
SAT
0
9.03596
9.66699
4797835
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
SAT
0
9.07508
9.14347
4797751
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole/normalized-php_missinghole_450_449.opb
SAT
0
9.08568
9.13735
4811119
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole-random/normalized-php_missinghole_random_480_479.opb
SAT
0
10.6702
10.7236
4812076
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob1.opb
SAT
0
12.0649
12.1129
4799235
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l6_n1500.opb
SAT
0
12.1769
12.2376
4798031
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole/normalized-php_missinghole_500_499.opb
SAT
0
12.4139
12.4888
4811061
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm90p-dec.opb.negationfix.opb
SAT
0
13.0711
13.1382
4802315
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm75p-dec.opb.negationfix.opb
SAT
0
18.2375
18.297
4802091
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob8.opb
SAT
0
19.5711
19.64
4799151
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm85p-dec.opb.negationfix.opb
SAT
0
21.4339
21.5018
4802147
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob2.opb
SAT
0
21.5299
21.6009
4799207
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K73.opb
SAT
0
23.5101
23.6201
4800943
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-FastMatrixMultiplication-table-3-1-3-09.opb
SAT
0
25.514
25.6152
4814454
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm90p-dec.opb.negationfix.opb
SAT
0
26.8575
26.9494
4802007
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm95p-dec.opb.negationfix.opb
SAT
0
28.7162
28.8069
4802119
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-dec.opb.negationfix.opb
SAT
0
30.89
30.9926
4801979
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin14.opb
SAT
0
40.6565
40.9063
4797051
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K74.opb
SAT
0
41.61
41.7562
4801027
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob4.opb
SAT
0
46.5298
46.6729
4798955
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-30-24-20-1_c24.opb
SAT
0
68.2453
68.477
4814251
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-109.opb
SAT
0
69.3467
69.5939
4800047
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K108.opb
SAT
0
92.1213
92.592
4800747
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-849702.opb
SAT
0
92.363
92.6378
4799767
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb
SAT
0
97.6473
98.002
4802371
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb
SAT
0
105.651
106.031
4802231
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb
SAT
0
122.401
122.782
4802175
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size96-round21-0.opb
SAT
0
122.462
122.983
4808973
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K107.opb
SAT
0
130.005
130.533
4800887
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob7.opb
SAT
0
135.164
135.618
4798983
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-162.opb
SAT
0
164.491
165.064
4800215
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
SAT
0
171.549
172.22
4798003
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round21-7.opb
SAT
0
360.45
363.407
4808770
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K69.opb
SAT
0
448.871
450.515
4800999
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K109.opb
SAT
0
502.93
504.476
4800915
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-table-3-3-7.opb
SAT
0
738.99
740.892
4814425
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_15.opb
SAT
0
819.992
822.285
4809292
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-dec2-3-3-9.opb
SAT
0
1133.42
1137.89
4814599
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
SAT
0
1677.83
1683.91
4797947
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K95.opb
SAT
0
1690.33
1696.32
4800775
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-table-3-3-9.opb
SAT
0
3275.72
3285.05
4814222
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K94.opb
SAT
0
3323.59
3333.15
4800859
Solver timed out (no solution given) (103 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww2.opb
? (TO)
3600.01
3610.2
4799011
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq5/normalized-24array_ineq5.opb
? (TO)
3600.02
3611.12
4813497
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/
array_comm/arraycomm_teq/normalized-17arraycomm_teq_greater.opb
? (TO)
3600.02
3612.12
4809727
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-almost3reg-l090-r089-n1.opb
? (TO)
3600.02
3612.71
4801587
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round23-9.opb
? (TO)
3600.02
3610.02
4809060
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-16arraycomm_teq_tvars_less.opb
? (TO)
3600.02
3609.7
4813613
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K80.opb
? (TO)
3600.03
3610.03
4800831
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-0.opb
? (TO)
3600.03
3611.32
4808915
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round22-3.opb
? (TO)
3600.03
3612.02
4808712
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K147.opb
? (TO)
3600.03
3610.61
4800551
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww5.opb
? (TO)
3600.03
3612.2
4799123
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12059_1-sat.opb
? (TO)
3600.03
3609.21
4799683
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-almost3reg-l100-r099-n1.opb
? (TO)
3600.03
3610.6
4801615
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_30.opb
? (TO)
3600.03
3612.6
4809321
PB24/normalized-PB15eval/DEC-LIN/
ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-58-2.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.04
3609.5
4801195
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K141.opb
? (TO)
3600.04
3610.41
4800271
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K145.opb
? (TO)
3600.04
3610.61
4800299
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-69.opb
? (TO)
3600.04
3612.04
4799991
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_8.opb
? (TO)
3600.04
3612.41
4809089
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-8.opb
? (TO)
3600.05
3612.51
4809031
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6029_4-unsat.opb
? (TO)
3600.05
3610.91
4799291
PB24/normalized-PB15eval/DEC-LIN/
ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-33-3.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.05
3610.12
4801083
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-23arraycomm_teq_tvars_greater.opb
? (TO)
3600.05
3609.8
4813671
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-25diag_spec_greater.opb
? (TO)
3600.05
3612.02
4809843
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
? (TO)
3600.05
3612.8
4801671
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
? (TO)
3600.05
3611.6
4797919
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K195.opb
? (TO)
3600.05
3612.63
4800411
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-14array_diag_less.opb
? (TO)
3600.05
3611.51
4813555
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K163.opb
? (TO)
3600.06
3611.73
4800327
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-seymour.0.u.opb
? (TO)
3600.06
3618.31
4810423
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K191.opb
? (TO)
3600.06
3610.71
4800243
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
? (TO)
3600.06
3610.31
4797975
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j1206_5-sat.opb
? (TO)
3600.06
3610.03
4799543
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_diag/normalized-19array_diag_less.opb
? (TO)
3600.06
3611.41
4809698
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K157.opb
? (TO)
3600.06
3609.43
4800355
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-tanglegram1.0.s.opb
? (TO)
3600.07
3609.13
4810771
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12056_2-sat.opb
? (TO)
3600.07
3612.44
4799571
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820157.opb
? (TO)
3600.07
3610.4
4799739
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K127.opb
? (TO)
3600.07
3611.41
4800495
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin16.opb
? (TO)
3600.07
3610.81
4797135
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l100-r099-n1.cnf-extracted.pb.metafix.opb
? (TO)
3600.07
3612.81
4801811
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round22-2.opb
? (TO)
3600.07
3614.81
4808944
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round22-1.opb
? (TO)
3600.07
3614.62
4808799
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K199.opb
? (TO)
3600.08
3610.72
4800579
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallace_spec/normalized-25wallace_spec_greater_tvars.opb
? (TO)
3600.08
3613.91
4809872
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K188.opb
? (TO)
3600.08
3611.83
4800383
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-rail01.0.s.opb
? (TO)
3600.08
3612.85
4810568
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb
? (TO)
3600.08
3612.02
4796323
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Hamming-30-15-07-14_c24.opb
? (TO)
3600.08
3610.91
4814338
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K82.opb
? (TO)
3600.08
3612.41
4800691
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
? (TO)
3600.08
3611.31
4796519
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size96-round23-0.opb
? (TO)
3600.08
3611.13
4808857
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb
? (TO)
3600.08
3611.41
4801783
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob3.opb
? (TO)
3600.08
3612.3
4799179
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820146.opb
? (TO)
3600.09
3610.5
4799795
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size80-round23-9.opb
? (TO)
3600.09
3614.51
4808654
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_8-unsat.opb
? (TO)
3600.09
3610.31
4799431
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K91.opb
? (TO)
3600.09
3612.51
4800803
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-190.opb
? (TO)
3600.09
3612.78
4799907
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
3611.81
4796435
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K136.opb
? (TO)
3600.09
3611.31
4800523
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-17.opb
? (TO)
3600.1
3610.22
4799851
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12052_3-unsat.opb
? (TO)
3600.1
3610.42
4799655
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin18.opb
? (TO)
3600.1
3609.41
4797023
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K93.opb
? (TO)
3600.1
3615.71
4800663
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq7/normalized-22array_alg_ineq7.opb
? (TO)
3600.1
3614.31
4809669
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Pentominoes-03-40_c24.opb
? (TO)
3600.1
3612.32
4814541
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size80-round23-5.opb
? (TO)
3600.1
3614.03
4808828
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat15_13_triangular.opb
? (TO)
3600.1
3611.16
4813990
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K173.opb
? (TO)
3600.1
3609.22
4800607
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K170.opb
? (TO)
3600.11
3610.04
4800439
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j1207_4-sat.opb
? (TO)
3600.11
3612.91
4799599
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round22-8.opb
? (TO)
3600.11
3612.61
4809002
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K181.opb
? (TO)
3600.11
3612.32
4800467
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K92.opb
? (TO)
3600.11
3612.41
4800719
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_14.opb
? (TO)
3600.11
3612.4
4809147
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K131.opb
? (TO)
3600.12
3610.03
4800635
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-138.opb
? (TO)
3600.12
3612.91
4800187
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12026_4-sat.opb
? (TO)
3600.12
3611.92
4799515
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/
miplib2017/normalized-neos-4954274-beardy.0.u.opb
? (TO)
3600.12
3612.65
4810655
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-9.opb
? (TO)
3600.12
3611.31
4808886
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-81.opb
? (TO)
3600.12
3612.33
4800159
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-8.opb
? (TO)
3600.12
3612.13
4808741
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallace_spec/normalized-18wallace_spec_greater_tvars.opb
? (TO)
3600.12
3612.03
4809901
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/
array_comm/arraycomm_teq_tvars/normalized-29arraycomm_teq_tvars_greater.opb
? (TO)
3600.13
3613.13
4809785
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-bab2.0.s.opb
? (TO)
3600.13
3612.65
4810626
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-133.opb
? (TO)
3600.13
3612.4
4799823
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-57.opb
? (TO)
3600.13
3610.53
4800131
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-reblock354.0.u.opb
? (TO)
3600.13
3610.33
4810510
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12056_9-sat.opb
? (TO)
3600.14
3613.37
4799627
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-fast0507.0.s.opb
? (TO)
3600.15
3612.59
4810394
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-125.opb
? (TO)
3600.17
3610.82
4799879
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat20_18_triangular.opb
? (TO)
3600.2
3611.12
4813932
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-rmine21.0.u.opb
? (TO)
3600.2
3610.28
4810713
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw128/
normalized-hw128-vm100p-dec.opb.negationfix.opb
? (TO)
3600.21
3611.24
4802035
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-121.opb
? (TO)
3600.21
3613.13
4800075
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-scpj4scip.0.s.opb
? (TO)
3600.4
3612.95
4810539
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-169.opb
? (TO)
3600.44
3612.85
4799963
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-WordSquare-tab2-11-ogd2008_c24.opb
? (TO)
3600.67
3611.31
4814483
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-174.opb
? (TO)
3600.69
3613.77
4800103
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/
normalized-hw256-vm100p-dec.opb.negationfix.opb
? (TO)
3600.72
3610.89
4802203
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb
? (TO)
3601.33
3608.17
4802287
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
? (TO)
3602.37
3613.5
4802259