PB'26 competition: benchmarks results per solver
Result page for solver roundingsat-satsuma-saturation
2026-06-11
(complete)
Solver command line
./run-sat.sh BENCHNAME
Category "decision problem, linear constraints, no UNSAT certificate" (DEC-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (243 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.006221
0.356932
4809497
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.010856
0.0502079
4801141
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-15-10.opb
UNSAT
0.012144
0.074965
4808018
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-11-10.opb
UNSAT
0.012841
0.09789
4807902
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6028_8-unsat.opb
UNSAT
0.017059
0.0264661
4799321
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
UNSAT
0.019086
0.105887
4796857
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-25-20.opb
UNSAT
0.020642
0.100075
4807786
PB24/normalized-PB16/DEC-LIN/elffers/
subsetcard/normalized-subsetcard-geq-fixedbandwidth-30.opb
UNSAT
0.024135
0.0498209
4802709
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.024507
0.0808179
4801169
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x10split.opb
UNSAT
0.025366
0.034837
4801841
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-65.shuf-1.opb
UNSAT
0.026103
0.0435579
4813006
PB24/normalized-PB16/DEC-LIN/elffers/
subsetcard/normalized-subsetcard-eq-fixedbandwidth-70.opb
UNSAT
0.026196
0.0443061
4802737
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/random4reg_opb/normalized-subsetcard-geq-random4reg-65.opb
UNSAT
0.026445
0.0549089
4813035
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-75.shuf-2.opb
UNSAT
0.026897
0.0445119
4812948
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-80.shuf-1.opb
UNSAT
0.027767
0.048051
4812977
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v020-n1.opb
UNSAT
0.02817
0.079063
4802597
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v011-n3.opb
UNSAT
0.030197
0.050755
4802989
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-61-60.opb
UNSAT
0.030714
0.0865651
4807728
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-51-50.opb
UNSAT
0.03136
0.178872
4807815
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v021-n2.opb
UNSAT
0.033321
0.0545961
4802905
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-subsetCardinalitySigma-13-1.cnf.gz-extracted.pb.metafix.opb
UNSAT
0.036887
0.0530101
4801309
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v031-n1.opb
UNSAT
0.041067
0.0927781
4802625
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v060-n1.opb
UNSAT
0.042694
0.0752901
4802653
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v051-n3.opb
UNSAT
0.04338
0.0575799
4802933
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v041-n1.opb
UNSAT
0.043664
0.0630059
4803045
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height3_pigeons2_holes1.opb
UNSAT
0.045911
0.0555719
4809961
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-2_3_6.opb
UNSAT
0.046899
0.282497
4809468
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq7/normalized-11array_ineq7.opb
UNSAT
0.048001
0.304933
4809613
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb
UNSAT
0.049884
0.105951
4802681
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_wallace/normalized-10array_wallace_less_teq.opb
UNSAT
0.050205
0.0600951
4809816
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x10split.cnf-extracted.pb.metafix.opb
UNSAT
0.05044
0.105597
4808540
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-stein15inf.0.d.opb
UNSAT
0.056554
0.066228
4810686
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-3_6_4.opb
UNSAT
0.056997
0.0758599
4809352
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v081-n3.opb
UNSAT
0.057243
0.0711009
4802961
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-10arraycomm_teq_tvars_less.opb
UNSAT
0.057328
0.152128
4813586
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
ebits/benchmarks/normalized-16ebits_0.opb
UNSAT
0.058318
0.124312
4813731
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.059007
0.0729511
4801365
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.05993
0.0736511
4801449
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_comm/arraycomm_teq/normalized-11arraycomm_teq_less.opb
UNSAT
0.061891
0.0744951
4809758
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v101-n2.opb
UNSAT
0.062027
0.0870579
4802877
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb
UNSAT
0.067583
0.095209
4796381
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v081-n1.opb
UNSAT
0.070577
0.0973889
4802849
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v041-n2.opb
UNSAT
0.072722
0.093574
4803017
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height5_pigeons4_holes3.opb
UNSAT
0.073545
0.0828191
4810048
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v3/normalized-grid6_11.opb
UNSAT
0.074162
0.158101
4811904
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x20split.cnf-extracted.pb.metafix.opb
UNSAT
0.074188
0.133923
4808453
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
ebits/zeroth_bit/normalized-26ebits_0.opb
UNSAT
0.076258
0.0864771
4809932
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.078861
0.0891349
4801281
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n12-d4-i1.cnf.gz-plain.pb.metafix.opb
UNSAT
0.083365
0.101659
4801337
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid4_23.shuf-1.opb
UNSAT
0.083395
0.103175
4811527
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v111-n1.opb
UNSAT
0.083974
0.119365
4802541
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-41-40.opb
UNSAT
0.086291
0.17391
4807931
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_spec/normalized-9array_spec_less.opb
UNSAT
0.093939
0.535621
4813528
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.095425
0.106096
4801477
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-9diag_spec_greater.opb
UNSAT
0.095885
0.169424
4813702
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height6_pigeons5_holes4.opb
UNSAT
0.095943
0.105939
4810280
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb
UNSAT
0.097481
0.151623
4802569
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb
UNSAT
0.100347
0.178601
4807873
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/random_large_opb/normalized-ECrand6reg_151.opb
UNSAT
0.105864
0.150795
4810947
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.111751
0.126742
4801253
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l020-r019-n1.opb
UNSAT
0.119421
0.135354
4801561
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v3_shuffle/normalized-grid4_27.shuf-1.opb
UNSAT
0.122751
0.2802
4811788
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.131384
0.170064
4801113
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x30split.cnf-extracted.pb.metafix.opb
UNSAT
0.134564
0.242076
4808192
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.134787
0.1501
4801225
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP005.shuf-2.opb
UNSAT
0.136568
0.149867
4811208
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-51-50.opb
UNSAT
0.157304
0.258071
4808105
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP005.shuf-1.opb
UNSAT
0.16363
0.182636
4811382
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
UNSAT
0.164447
0.236571
4796885
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_05_050.opb
UNSAT
0.165188
0.21964
4812339
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb/normalized-subsetcard-geq-fixedbandwidth-3750.opb
UNSAT
0.16752
0.482862
4813151
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP005.opb
UNSAT
0.168178
0.186636
4811266
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-1500.opb
UNSAT
0.172963
0.393818
4813093
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_06_047.opb
UNSAT
0.185735
0.267088
4812397
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq10/normalized-10array_ineq10.opb
UNSAT
0.18862
0.580182
4813354
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x30split.cnf-plain.pb.metafix.opb
UNSAT
0.206416
0.278482
4808337
PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/
normalized-sumineqArity3houseP016.opb
UNSAT
0.215183
0.235354
4808598
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-2250.shuf-1.opb
UNSAT
0.21591
0.519067
4813180
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v111-n2.opb
UNSAT
0.217597
0.241292
4803073
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid4_49.shuf-3.opb
UNSAT
0.230269
0.408544
4811701
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP015.shuf-1.opb
UNSAT
0.253633
0.268752
4811411
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x60split.cnf-extracted.pb.metafix.opb
UNSAT
0.255263
0.275275
4808221
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP025.opb
UNSAT
0.264356
0.283415
4811469
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_037.shuf-3.opb
UNSAT
0.276235
0.330199
4812513
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r06-tiling/normalized-domset-hexgrid_06_062.opb
UNSAT
0.276953
0.356473
4812165
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid8_51.shuf-1.opb
UNSAT
0.286363
0.334761
4811846
PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/
normalized-sumineqArity5houseP016.opb
UNSAT
0.287311
0.323703
4808627
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l030-r029-n1.opb
UNSAT
0.296699
0.306914
4801645
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
UNSAT
0.297612
0.327494
4796633
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l030-r029-n1.cnf-plain.pb.metafix.opb
UNSAT
0.301035
0.3107
4801757
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-65-60.opb
UNSAT
0.303692
0.396713
4808047
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v1_shuffle/normalized-grid6_49.shuf-2.opb
UNSAT
0.303975
0.435838
4811585
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x50split.opb
UNSAT
0.306817
0.317195
4801953
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r08-tiling/normalized-domset-hexgrid_08_057.opb
UNSAT
0.333212
0.892388
4812281
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-3500.shuf-3.opb
UNSAT
0.345066
0.518892
4813238
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-12arraycomm_teq_tvars_less.opb
UNSAT
0.362958
0.459627
4813644
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x70split.opb
UNSAT
0.363542
0.374076
4801869
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid8_61.shuf-3.opb
UNSAT
0.36948
0.531777
4811556
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP035.shuf-1.opb
UNSAT
0.382623
0.407151
4811237
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-dlx1c.ucl.opb
UNSAT
0.398424
0.431194
4796353
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-2750.opb
UNSAT
0.400562
0.651243
4813122
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x50split.cnf-plain.pb.metafix.opb
UNSAT
0.415847
0.499603
4808395
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-71-70.opb
UNSAT
0.429909
0.517295
4807757
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-2750.shuf-3.opb
UNSAT
0.431773
0.721981
4813296
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x40split.cnf-plain.pb.metafix.opb
UNSAT
0.454646
0.558929
4808163
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_038.shuf-1.opb
UNSAT
0.510638
0.563341
4812484
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Hamming-20-10-05-10_c24.opb
UNSAT
0.512153
0.526649
4814514
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid8_91.shuf-2.opb
UNSAT
0.530783
0.614499
4811875
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl.opb
UNSAT
0.558159
0.625345
4796269
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb
UNSAT
0.631615
0.708265
4796017
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-81-80.opb
UNSAT
0.632842
0.720968
4807989
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_04_075.opb
UNSAT
0.638817
0.694348
4812223
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v2_shuffle/normalized-grid8_63.shuf-1.opb
UNSAT
0.66189
0.734672
4811933
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-2250.shuf-1.opb
UNSAT
0.667651
0.806139
4813267
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/
random_norational_opb/normalized-ec_random_norational_random4reg_split_100.opb
UNSAT
0.700871
0.736783
4812861
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP045.shuf-3.opb
UNSAT
0.704031
0.719319
4811295
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x80split.cnf-plain.pb.metafix.opb
UNSAT
0.722973
0.746467
4808569
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-4000.shuf-2.opb
UNSAT
0.746601
0.762891
4813209
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-nve-large-v1/normalized-grid8_97.opb
UNSAT
0.774329
0.852717
4811817
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/larger/vc-nve-large-v3/normalized-grid6_171.opb
UNSAT
0.826459
0.883275
4811614
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224059.opb
UNSAT
0.832324
0.849111
4798733
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-3500.shuf-1.opb
UNSAT
0.869958
0.89603
4813064
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973163.opb
UNSAT
0.881476
0.902509
4798565
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/grids_large_opb/normalized-ECgrid_split_5_050.opb
UNSAT
0.884254
0.916913
4811005
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975607.opb
UNSAT
0.890199
0.910871
4798621
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227861.opb
UNSAT
0.902749
0.915246
4798481
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111213868.opb
UNSAT
0.922284
0.938486
4798677
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-91-90.opb
UNSAT
0.94742
1.01755
4808134
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v3_shuffle/normalized-grid8_111.shuf-3.opb
UNSAT
0.954714
0.994801
4811643
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x90split.opb
UNSAT
0.972155
0.985008
4801897
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968561.opb
UNSAT
1.01726
1.03299
4798789
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-95-90.opb
UNSAT
1.04299
1.15224
4807960
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid6_51.shuf-1.opb
UNSAT
1.04812
1.18527
4811759
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/larger/vc-lines-v4_shuffle/normalized-grid10_200.shuf-3.opb
UNSAT
1.13466
1.23013
4811672
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat98_identity_complement.opb
UNSAT
1.15216
1.20074
4813963
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_018.shuf-3.opb
UNSAT
1.17731
1.30271
4810860
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP055.shuf-2.opb
UNSAT
1.20262
1.21974
4811150
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-clauses-101-100.opb
UNSAT
1.33779
1.40135
4808076
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-clauses-105-100.opb
UNSAT
1.44812
1.52793
4807844
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900558106.opb
UNSAT
1.50066
1.52217
4798369
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_06_036.opb
UNSAT
1.56891
1.61725
4812571
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-blast-floppy1-7.ucl.opb
UNSAT
1.94884
2.01134
4796213
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_02_096.opb
UNSAT
2.04012
2.09184
4812658
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l030-r029-n1.opb
UNSAT
2.18796
2.22683
4802765
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_036.opb
UNSAT
2.25987
2.33098
4812600
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_350_349.opb
UNSAT
2.32957
2.52813
4812020
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_370_369.opb
UNSAT
2.78897
2.89297
4811962
PB24/normalized-PB24/DEC-LIN/nordstrom/
MIPLIB01/dec/miplib2/normalized-air02.0.u.opb
UNSAT
2.85993
2.96146
4810802
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP085.opb
UNSAT
2.87531
2.89825
4811498
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900570242.opb
UNSAT
2.90333
2.92121
4798145
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Rlfap-ext-scen-11-f09_c18.opb
UNSAT
2.95822
2.97995
4814369
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb
UNSAT
3.1558
3.24345
4796185
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq9/normalized-18array_ineq9.opb
UNSAT
3.21086
3.33138
4809555
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_390_389.opb
UNSAT
3.23357
3.35362
4811991
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_070.opb
UNSAT
3.60648
3.6339
4812890
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
UNSAT
3.73551
3.82973
4796101
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_07_100.opb
UNSAT
3.91034
3.93549
4812745
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_06_130.opb
UNSAT
3.93506
4.33859
4812803
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_210.opb
UNSAT
4.10752
4.15097
4812919
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/grids_large_opb/normalized-ECgrid_split_3_180.opb
UNSAT
4.28108
4.32475
4811034
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
UNSAT
5.28104
5.31315
4796241
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900667195.opb
UNSAT
5.67952
5.7049
4798089
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x10split.cnf-plain.pb.metafix.opb
UNSAT
5.92931
6.02117
4808250
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat16_15_identity_complement.opb
UNSAT
6.08309
6.18632
4813760
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-16arraycomm_teq_tvars_less.opb
UNSAT
6.13813
6.25481
4813615
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl.opb
UNSAT
6.42349
6.51915
4796157
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb
UNSAT
6.86571
6.93789
4796129
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900562192.opb
UNSAT
6.9866
7.01842
4798453
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900575442.opb
UNSAT
7.04593
7.08208
4798425
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat10_9identity_complement.opb
UNSAT
7.61724
7.76913
4813789
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_03_270.opb
UNSAT
9.27224
9.81318
4812774
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height15_pigeons14_holes13.opb
UNSAT
9.3842
9.42098
4810135
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582300.opb
UNSAT
9.57753
9.61376
4798285
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_092.opb
UNSAT
9.96199
10.0426
4812687
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP085.shuf-2.opb
UNSAT
11.5648
11.6245
4811179
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_096.opb
UNSAT
12.8625
14.1251
4812716
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
UNSAT
13.2318
13.2821
4801729
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-1.opb
UNSAT
13.5202
13.6062
4811324
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height16_pigeons15_holes14.opb
UNSAT
14.1491
14.2025
4810193
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_19.opb
UNSAT
14.2614
14.6131
4809439
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb
UNSAT
14.3239
14.4679
4808308
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-4_5_26.opb
UNSAT
15.5423
15.6076
4809410
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_26_048.opb
UNSAT
16.7386
17.1084
4812629
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-7_6_19.opb
UNSAT
19.1924
19.2914
4809381
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l090-r089-n1.opb
UNSAT
19.3322
19.4037
4801533
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/
random_norational_opb/normalized-ec_random_norational_random8reg_split_350.opb
UNSAT
20.1432
20.248
4812832
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l090-r089-n1.cnf-extracted.pb.metafix.opb
UNSAT
20.2173
20.2817
4801701
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900561288.opb
UNSAT
23.0227
23.0968
4798229
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900669797.opb
UNSAT
24.1789
24.2708
4798061
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l045-r044-n1.opb
UNSAT
24.7513
24.8476
4802821
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571132.opb
UNSAT
30.0644
30.1592
4798201
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9037_9-unsat.opb
UNSAT
31.1852
31.2987
4799405
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571761.opb
UNSAT
33.5861
33.7057
4798257
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq10/normalized-14array_alg_ineq10.opb
UNSAT
36.3758
36.7591
4813325
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l070-r069-n1.opb
UNSAT
36.6362
36.7645
4801505
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP095.shuf-3.opb
UNSAT
37.0894
37.218
4811440
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height22_pigeons21_holes20.opb
UNSAT
37.5172
37.635
4810019
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height21_pigeons20_holes19.opb
UNSAT
40.2455
40.3698
4810077
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid8_87.shuf-3.opb
UNSAT
40.2781
40.5719
4811730
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-FastMatrixMultiplication-mini-2-2-2-05.opb
UNSAT
42.9221
43.0767
4814195
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat10_8_triangular.opb
UNSAT
44.0915
44.2754
4813905
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height23_pigeons22_holes21.opb
UNSAT
46.4091
46.583
4810309
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x80split.cnf-extracted.pb.metafix.opb
UNSAT
51.0514
51.362
4808279
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height27_pigeons26_holes25.opb
UNSAT
63.2966
63.4762
4810338
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb
UNSAT
63.9045
64.092
4810251
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb
UNSAT
87.597
87.8395
4810367
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-08.opb
UNSAT
112.88
113.221
4800021
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_8.opb
UNSAT
118.022
118.462
4809207
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x30split.cnf-plain.pb.metafix.opb
UNSAT
149.286
149.967
4808482
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-14array_diag_less.opb
UNSAT
155.367
156.151
4813557
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_042.shuf-3.opb
UNSAT
225.41
226.259
4810831
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-3.opb
UNSAT
240.415
241.292
4811353
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-36.opb
UNSAT
248.241
248.968
4799937
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_9_triangular.opb
UNSAT
253.305
254.194
4814079
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_033.shuf-1.opb
UNSAT
256.206
257.52
4810918
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height42_pigeons41_holes40.opb
UNSAT
269.017
269.629
4809990
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-27array_alg_ineq8.opb
UNSAT
274.879
275.915
4813383
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl.opb
UNSAT
288.13
289.247
4796045
PB24/normalized-PB15eval/DEC-LIN/
ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-2.cnf.gz-plain.pb.metafix.opb
UNSAT
299.522
300.53
4801393
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_11_076.opb
UNSAT
311.21
314.105
4812368
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j909_2-unsat.opb
UNSAT
352.397
353.363
4799377
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat20_19_identity_complement.opb
UNSAT
409.741
411.082
4814108
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb
UNSAT
472.481
473.525
4810164
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
UNSAT
474.505
475.838
4808424
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_6.opb
UNSAT
528.8
530.415
4809236
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_045.shuf-1.opb
UNSAT
530.09
531.67
4810889
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
UNSAT
537.976
539.965
4808511
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9025_4-unsat.opb
UNSAT
704.824
707.193
4799349
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
UNSAT
718.322
719.892
4810222
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb
UNSAT
737.248
740.216
4796073
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
UNSAT
772.35
775.011
4796297
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-38.cnf.gz-plain.pb.metafix.opb
UNSAT
838.357
841.093
4801421
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb
UNSAT
843.66
845.773
4810106
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_8-unsat.opb
UNSAT
844.343
847.239
4799433
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
UNSAT
935.499
938.347
4795989
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-859770.0.d.opb
UNSAT
1043.69
1046.84
4810744
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-30array_alg_ineq8.opb
UNSAT
1175.41
1178.86
4813412
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l060-r059-n1.opb
UNSAT
1270.19
1273.52
4802793
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallace_spec/normalized-18wallace_spec_greater_tvars.opb
UNSAT
1481.41
1486.49
4809903
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-32array_alg_ineq8.opb
UNSAT
1637.64
1642.06
4813441
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq7/normalized-19array_ineq7.opb
UNSAT
2181.53
2188.29
4809642
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-28array_ineq8.opb
UNSAT
2731.26
2738.17
4813470
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06/normalized-ec_stargrid_06_084.opb
UNSAT
2824.92
2832.03
4810976
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (140 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.005013
0.0147711
4799713
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_04_036.opb
SAT
0
0.018711
0.588709
4812252
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-stein27.0.s.opb
SAT
0
0.018919
0.0288311
4810454
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977464.opb
SAT
0
0.020161
0.033793
4798593
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977266.opb
SAT
0
0.020408
0.0335509
4798537
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974553.opb
SAT
0
0.021253
0.036
4798817
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971766.opb
SAT
0
0.023852
0.033315
4798509
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969933.opb
SAT
0
0.024873
0.035659
4798705
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226284.opb
SAT
0
0.026217
0.0409001
4798845
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_048.shuf-1.opb
SAT
0
0.027613
0.058025
4812542
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb
SAT
0
0.027811
0.046817
4797165
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb
SAT
0
0.029851
0.155604
4796689
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r03_shuffle/normalized-domset-hexgrid_03_056.shuf-3.opb
SAT
0
0.037877
0.121377
4812194
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9bt.opb
SAT
0
0.046666
0.0649761
4797389
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3027_9-sat.opb
SAT
0
0.05069
0.0624861
4799461
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17ls.opb
SAT
0
0.051426
0.0765311
4797249
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14ls.opb
SAT
0
0.054221
0.0828011
4797361
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900581321.opb
SAT
0
0.056397
0.06581
4798313
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900553644.opb
SAT
0
0.05701
0.066545
4798117
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900669299.opb
SAT
0
0.068835
0.0786791
4798341
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24ls.opb
SAT
0
0.081623
0.100935
4797333
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216188.opb
SAT
0
0.083283
0.098036
4798649
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin8.opb
SAT
0
0.085757
0.120483
4796997
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
SAT
0
0.10922
0.12929
4796605
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r05_shuffle/normalized-domset-hexgrid_05_048.shuf-2.opb
SAT
0
0.118551
0.148877
4812136
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb
SAT
0
0.12283
0.279951
4796717
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r08-tiling/normalized-domset-hexgrid_08_052.opb
SAT
0
0.140198
0.194217
4812310
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb
SAT
0
0.161972
0.24948
4796829
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-HyperSudoku-03_c24.opb
SAT
0
0.163173
0.173528
4814311
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967327.opb
SAT
0
0.167073
0.180952
4798761
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r06_shuffle/normalized-domset-hexgrid_06_064.shuf-3.opb
SAT
0
0.17186
0.223517
4812455
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb
SAT
0
0.172911
0.308503
4796661
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r06_shuffle/normalized-domset-hexgrid_06_068.shuf-3.opb
SAT
0
0.179196
0.227705
4812426
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb
SAT
0
0.180743
0.243437
4796941
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb
SAT
0
0.194835
0.263603
4796913
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat99_identity_complement.opb
SAT
0
0.196587
0.216458
4814050
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin10.opb
SAT
0
0.20568
0.230163
4797081
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3042_9-sat.opb
SAT
0
0.20787
0.222124
4799489
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
SAT
0
0.248802
0.358812
4796745
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_18.opb
SAT
0
0.258463
0.400951
4809120
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat11_11_identity_complement.opb
SAT
0
0.33046
0.470634
4814166
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
SAT
0
0.340997
0.495937
4796801
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
SAT
0
0.353715
0.393406
4796969
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975678.opb
SAT
0
0.358732
0.370745
4798873
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
SAT
0
0.359311
0.383763
4796577
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559365.opb
SAT
0
0.366394
0.377183
4798397
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-20-25-20-1_c24.opb
SAT
0
0.370541
0.381624
4814398
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
SAT
0
0.381613
0.565514
4796773
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12ls.opb
SAT
0
0.393057
0.420134
4797221
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_10_triangular.opb
SAT
0
0.439569
0.544614
4813847
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin12.opb
SAT
0
0.486445
0.51145
4797109
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14bt.opb
SAT
0
0.52781
0.543074
4797473
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.622995
0.664002
4796493
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
SAT
0
0.62841
0.648677
4797193
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
SAT
0
0.688829
0.751543
4796549
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat12_11_triangular.opb
SAT
0
0.717273
0.756386
4814021
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21ls.opb
SAT
0
0.788143
0.810512
4797445
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole-random/normalized-php_missinghole_random_190_189.opb
SAT
0
0.826788
0.909503
4812049
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
SAT
0
0.832568
0.884725
4796409
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob6.opb
SAT
0
0.846974
0.857552
4799097
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob5.opb
SAT
0
1.09326
1.1077
4799041
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567939.opb
SAT
0
1.11953
1.13288
4798173
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_26.opb
SAT
0
1.33478
1.45957
4809178
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat15_15_identity_complement.opb
SAT
0
1.35648
1.3733
4813818
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-FRB-30-15-1_c18.opb
SAT
0
1.36149
1.38539
4814282
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb
SAT
0
1.41158
1.42631
4802065
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-cdc7-4-3-2.0.u.opb
SAT
0
1.43264
1.44699
4810483
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24bt.opb
SAT
0
1.94517
1.9704
4797305
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
SAT
0
2.09409
2.11189
4797809
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
SAT
0
2.22952
2.25165
4797893
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
SAT
0
2.35238
2.3823
4797585
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
SAT
0
2.36282
2.38652
4797557
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
SAT
0
2.49775
2.51693
4797781
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww1.opb
SAT
0
3.14833
3.17348
4799265
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-neos-827015.0.u.opb
SAT
0
3.28453
3.30564
4810599
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat15_14_triangular.opb
SAT
0
3.35484
3.3983
4813876
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww4.opb
SAT
0
3.91965
3.93952
4799069
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K76.opb
SAT
0
3.99645
4.08584
4801057
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat19_19_identity_complement.opb
SAT
0
4.55887
4.72794
4814137
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
SAT
0
5.00255
5.03051
4797529
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
SAT
0
5.21383
5.25308
4796465
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
SAT
0
5.6079
5.65365
4797669
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww3.opb
SAT
0
5.93624
5.9678
4798901
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole-random/normalized-php_missinghole_random_390_389.opb
SAT
0
5.95875
5.99714
4812107
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
SAT
0
6.17833
6.21225
4797417
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
SAT
0
6.18092
6.21851
4797865
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
SAT
0
6.1849
6.21855
4797501
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob10.opb
SAT
0
6.27214
6.3079
4798929
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm50p-dec.opb.negationfix.opb
SAT
0
6.44132
6.49037
4802345
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
SAT
0
6.82566
6.87216
4797697
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12bt.opb
SAT
0
6.92945
6.97434
4797277
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole/normalized-php_missinghole_410_409.opb
SAT
0
7.00227
7.04087
4811092
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K75.opb
SAT
0
8.78404
8.86521
4800973
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
SAT
0
8.97755
9.01643
4797613
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
SAT
0
9.01494
9.05379
4797753
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
SAT
0
9.01919
9.06309
4797725
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
SAT
0
9.02148
9.07741
4797837
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
SAT
0
9.02599
9.06583
4797641
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole/normalized-php_missinghole_450_449.opb
SAT
0
9.07563
9.12724
4811121
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-28-30-20-1_c24.opb
SAT
0
9.72967
9.77376
4814572
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole-random/normalized-php_missinghole_random_480_479.opb
SAT
0
10.9593
11.6484
4812078
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l6_n1500.opb
SAT
0
12.1619
12.2149
4798033
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole/normalized-php_missinghole_500_499.opb
SAT
0
12.4497
12.5178
4811063
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob1.opb
SAT
0
12.9223
12.9725
4799237
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm90p-dec.opb.negationfix.opb
SAT
0
13.0276
13.0869
4802317
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K73.opb
SAT
0
16.307
16.4362
4800945
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm75p-dec.opb.negationfix.opb
SAT
0
18.2859
18.3537
4802093
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob8.opb
SAT
0
19.8933
19.9559
4799153
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm85p-dec.opb.negationfix.opb
SAT
0
21.0403
21.1194
4802149
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob2.opb
SAT
0
22.0601
22.1405
4799209
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm90p-dec.opb.negationfix.opb
SAT
0
27.1182
27.206
4802009
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-849702.opb
SAT
0
28.7762
28.8807
4799769
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm95p-dec.opb.negationfix.opb
SAT
0
28.9028
29.0041
4802121
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round21-3.opb
SAT
0
29.9995
30.428
4808685
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-dec.opb.negationfix.opb
SAT
0
30.7763
30.8743
4801981
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_23.opb
SAT
0
35.0924
35.2905
4809265
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin14.opb
SAT
0
44.3275
44.5234
4797053
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob4.opb
SAT
0
46.2724
46.4133
4798957
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-30-24-20-1_c24.opb
SAT
0
49.1736
49.3662
4814253
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-109.opb
SAT
0
55.547
55.7226
4800049
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-FastMatrixMultiplication-table-3-1-3-09.opb
SAT
0
62.3292
62.5793
4814456
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-162.opb
SAT
0
83.0671
83.3607
4800217
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size96-round21-0.opb
SAT
0
83.5078
83.9602
4808975
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K74.opb
SAT
0
96.9884
97.4545
4801029
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb
SAT
0
97.849
98.2172
4802373
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb
SAT
0
107.286
107.616
4802233
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb
SAT
0
123.072
123.491
4802177
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K108.opb
SAT
0
125.924
126.352
4800749
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K107.opb
SAT
0
132.084
132.538
4800889
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob7.opb
SAT
0
134.273
134.747
4798985
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
SAT
0
171.94
172.464
4798005
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round21-7.opb
SAT
0
196.487
197.278
4808772
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K109.opb
SAT
0
203.588
204.212
4800917
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_15.opb
SAT
0
420.59
421.941
4809294
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K69.opb
SAT
0
431.904
433.715
4801001
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-rmine21.0.u.opb
SAT
0
605.21
607.012
4810715
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
SAT
0
1225.71
1229.21
4796521
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
SAT
0
1679.22
1685.36
4797949
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
SAT
0
2572.41
2581.71
4796437
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-table-3-3-7.opb
SAT
0
3508.44
3515.79
4814427
Solver timed out (no solution given) (109 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB15eval/DEC-LIN/
ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-58-2.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.01
3611.02
4801197
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
? (TO)
3600.02
3612.21
4797977
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K93.opb
? (TO)
3600.02
3609.41
4800665
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820146.opb
? (TO)
3600.02
3610.02
4799797
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K147.opb
? (TO)
3600.02
3609.71
4800553
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-8.opb
? (TO)
3600.03
3612.71
4808743
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size96-round23-0.opb
? (TO)
3600.03
3610.71
4808859
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l100-r099-n1.cnf-extracted.pb.metafix.opb
? (TO)
3600.03
3610.91
4801813
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size80-round23-9.opb
? (TO)
3600.03
3613.02
4808656
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-reblock354.0.u.opb
? (TO)
3600.04
3610.51
4810512
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K157.opb
? (TO)
3600.04
3610.02
4800357
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-0.opb
? (TO)
3600.04
3610.12
4808917
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq5/normalized-24array_ineq5.opb
? (TO)
3600.04
3609.02
4813499
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_diag/normalized-19array_diag_less.opb
? (TO)
3600.04
3610.81
4809700
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
? (TO)
3600.04
3612.3
4797921
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-almost3reg-l090-r089-n1.opb
? (TO)
3600.04
3612.12
4801589
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq7/normalized-22array_alg_ineq7.opb
? (TO)
3600.04
3612.91
4809671
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6029_4-unsat.opb
? (TO)
3600.05
3612.21
4799293
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K191.opb
? (TO)
3600.05
3611.61
4800245
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K131.opb
? (TO)
3600.05
3609.04
4800637
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j1206_5-sat.opb
? (TO)
3600.05
3612.62
4799545
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x100split.opb
? (TO)
3600.05
3610.7
4801925
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-23arraycomm_teq_tvars_greater.opb
? (TO)
3600.05
3610.21
4813673
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww2.opb
? (TO)
3600.06
3610.3
4799013
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
? (TO)
3600.06
3610.31
4801673
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K92.opb
? (TO)
3600.06
3610.22
4800721
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round22-3.opb
? (TO)
3600.06
3610.51
4808714
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round22-2.opb
? (TO)
3600.06
3610.71
4808946
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-8.opb
? (TO)
3600.06
3613.13
4809033
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K136.opb
? (TO)
3600.06
3611.63
4800525
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K141.opb
? (TO)
3600.07
3611.72
4800273
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size80-round23-5.opb
? (TO)
3600.07
3612.51
4808830
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-seymour.0.u.opb
? (TO)
3600.07
3610.21
4810425
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K127.opb
? (TO)
3600.07
3610.43
4800497
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Hamming-30-15-07-14_c24.opb
? (TO)
3600.07
3610.31
4814340
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-almost3reg-l100-r099-n1.opb
? (TO)
3600.07
3612.02
4801617
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round23-9.opb
? (TO)
3600.07
3610.61
4809062
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
? (TO)
3600.07
3609.6
4802513
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob3.opb
? (TO)
3600.08
3610.8
4799181
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K91.opb
? (TO)
3600.08
3610.42
4800805
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K145.opb
? (TO)
3600.08
3612.21
4800301
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb
? (TO)
3600.08
3610.13
4796325
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
? (TO)
3600.08
3608.6
4802401
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-81.opb
? (TO)
3600.08
3610.14
4800161
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round22-1.opb
? (TO)
3600.08
3612.61
4808801
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-9.opb
? (TO)
3600.08
3611.12
4808888
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K188.opb
? (TO)
3600.08
3611.71
4800385
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12056_2-sat.opb
? (TO)
3600.08
3610.04
4799573
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Pentominoes-03-40_c24.opb
? (TO)
3600.09
3609.82
4814543
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallace_spec/normalized-25wallace_spec_greater_tvars.opb
? (TO)
3600.09
3613.71
4809874
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat15_13_triangular.opb
? (TO)
3600.09
3609.55
4813992
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
? (TO)
3600.09
3609.5
4802429
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb
? (TO)
3600.09
3612.31
4801785
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin16.opb
? (TO)
3600.09
3613.51
4797137
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round22-8.opb
? (TO)
3600.1
3613.13
4809004
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K94.opb
? (TO)
3600.1
3615.03
4800861
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12026_4-sat.opb
? (TO)
3600.1
3609.82
4799517
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K82.opb
? (TO)
3600.1
3610.9
4800693
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-57.opb
? (TO)
3600.1
3612.93
4800133
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x120split.opb
? (TO)
3600.1
3611.9
4802457
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww5.opb
? (TO)
3600.1
3611.02
4799125
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12059_1-sat.opb
? (TO)
3600.1
3612.03
4799685
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-25diag_spec_greater.opb
? (TO)
3600.1
3611.81
4809845
PB24/normalized-PB15eval/DEC-LIN/
ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-33-3.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.1
3611.51
4801085
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_30.opb
? (TO)
3600.1
3610.81
4809323
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_8.opb
? (TO)
3600.1
3616.12
4809091
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-17.opb
? (TO)
3600.1
3612.32
4799853
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K199.opb
? (TO)
3600.1
3609.31
4800581
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-dec2-3-3-9.opb
? (TO)
3600.1
3609.09
4814601
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820157.opb
? (TO)
3600.1
3610.3
4799741
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
? (TO)
3600.11
3609.7
4802485
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-tanglegram1.0.s.opb
? (TO)
3600.11
3608.87
4810773
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-rail01.0.s.opb
? (TO)
3600.11
3615.74
4810570
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K95.opb
? (TO)
3600.11
3609.61
4800777
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-18array_alg_ineq6.opb
? (TO)
3600.11
3617.03
4809584
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq10/normalized-17array_ineq10.opb
? (TO)
3600.11
3613.61
4809526
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
? (TO)
3600.11
3613.02
4808366
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K80.opb
? (TO)
3600.12
3611.61
4800833
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K170.opb
? (TO)
3600.12
3611.33
4800441
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/
array_comm/arraycomm_teq/normalized-17arraycomm_teq_greater.opb
? (TO)
3600.12
3611.13
4809729
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin18.opb
? (TO)
3600.12
3611.74
4797025
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/
array_comm/arraycomm_teq_tvars/normalized-29arraycomm_teq_tvars_greater.opb
? (TO)
3600.12
3612.73
4809787
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_14.opb
? (TO)
3600.12
3612.41
4809149
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K181.opb
? (TO)
3600.13
3609.73
4800469
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/
miplib2017/normalized-neos-4954274-beardy.0.u.opb
? (TO)
3600.13
3611.43
4810657
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K173.opb
? (TO)
3600.13
3611.04
4800609
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K163.opb
? (TO)
3600.13
3609.82
4800329
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-69.opb
? (TO)
3600.13
3612.43
4799993
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-133.opb
? (TO)
3600.14
3612.41
4799825
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12056_9-sat.opb
? (TO)
3600.16
3612.46
4799629
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-125.opb
? (TO)
3600.19
3615.72
4799881
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-121.opb
? (TO)
3600.21
3611.03
4800077
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-138.opb
? (TO)
3600.22
3610.82
4800189
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat20_18_triangular.opb
? (TO)
3600.23
3614.02
4813934
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-table-3-3-9.opb
? (TO)
3600.29
3608.57
4814224
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw128/
normalized-hw128-vm100p-dec.opb.negationfix.opb
? (TO)
3600.31
3610.08
4802037
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-169.opb
? (TO)
3600.39
3611.44
4799965
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-fast0507.0.s.opb
? (TO)
3600.41
3613.05
4810396
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-190.opb
? (TO)
3600.48
3610.77
4799909
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-bab2.0.s.opb
? (TO)
3600.59
3611.43
4810628
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-WordSquare-tab2-11-ogd2008_c24.opb
? (TO)
3600.64
3610.37
4814485
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-174.opb
? (TO)
3600.66
3611.51
4800105
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-scpj4scip.0.s.opb
? (TO)
3600.71
3611.38
4810541
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/
normalized-hw256-vm100p-dec.opb.negationfix.opb
? (TO)
3601.07
3611.21
4802205
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb
? (TO)
3601.08
3611.93
4802289
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
? (TO)
3601.12
3612.87
4802261
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j1207_4-sat.opb
? (TO)
3602.08
3611.9
4799601
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12052_3-unsat.opb
? (TO)
3602.1
3613.81
4799657
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K195.opb
? (TO)
3602.11
3616.42
4800413