PB'25 competition: benchmarks results per solver
Result page for solver roundingsat+pbsuma-log
63f22ad
(complete)
Category "decision problem, linear constraints, no UNSAT certificate" (DEC-LIN)
Solver proved unsatisfiability and generated a good certificate (258 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-3_4_3.opb
UNSAT cert.
0.009602
0.023248
4514811
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-2_4_1.opb
UNSAT cert.
0.009616
0.0265349
4514667
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n17-d4-i3.cnf.gz-extracted.pb.metafix.opb
UNSAT cert.
0.010224
0.024212
4509757
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-subsetCardinalitySigma-41-3.cnf.gz-extracted.pb.metafix.opb
UNSAT cert.
0.01158
0.0273679
4509937
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n34-d3-i2-r2.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
0.020366
0.0475469
4510153
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset-stargrid-9-split/normalized-domset-stargod_09_009.opb
UNSAT cert.
0.023318
0.037307
4543326
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974372.opb
UNSAT cert.
0.023523
0.0369959
4495429
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977780.opb
UNSAT cert.
0.024424
0.0379281
4495393
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-15.shuf-2.opb
UNSAT cert.
0.025472
0.0417699
4516431
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-11-10.opb
UNSAT cert.
0.025624
0.0399051
4493017
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-15.shuf-1.opb
UNSAT cert.
0.02595
0.0633599
4516395
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid4_11.shuf-2.opb
UNSAT cert.
0.027188
0.0443869
4516287
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v011-n3.opb
UNSAT cert.
0.027745
0.0441651
4514199
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-3_6_5.opb
UNSAT cert.
0.028195
0.041102
4514523
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v4/normalized-grid4_06.opb
UNSAT cert.
0.028621
0.0464209
4516143
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-30.shuf-1.opb
UNSAT cert.
0.028645
0.0430551
4516863
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v011-n1.opb
UNSAT cert.
0.029311
0.088848
4513551
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-9arraycomm_teq_tvars_greater.opb
UNSAT cert.
0.030416
0.047738
4517331
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
UNSAT cert.
0.031152
0.048617
4492693
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-40.shuf-3.opb
UNSAT cert.
0.03116
0.0478649
4516827
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r07_shuffle/normalized-domset-hexgrid_07_010.shuf-1.opb
UNSAT cert.
0.031461
0.046667
4543482
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-15-10.opb
UNSAT cert.
0.03259
0.04749
4492729
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x10split.opb
UNSAT cert.
0.033965
0.0516799
4511485
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n32-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
0.034936
0.049613
4509829
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/random4reg_opb/normalized-subsetcard-geq-random4reg-60.opb
UNSAT cert.
0.036092
0.0523229
4516467
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-11array_diag_less.opb
UNSAT cert.
0.036108
0.0517461
4517187
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r10-tiling/normalized-domset-hexgrid_10_007.opb
UNSAT cert.
0.038028
0.0523511
4543443
PB24/normalized-PB16/DEC-LIN/elffers/
subsetcard/normalized-subsetcard-geq-random4regular-75.opb
UNSAT cert.
0.044593
0.0684231
4513731
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP015.shuf-3.opb
UNSAT cert.
0.047184
0.065281
4515783
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-9diag_spec_less.opb
UNSAT cert.
0.053762
0.070889
4517403
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v051-n2.opb
UNSAT cert.
0.054005
0.071314
4513983
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-blast-floppy1-8.ucl.opb
UNSAT cert.
0.059638
0.0811921
4491937
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3022_10-unsat.opb
UNSAT cert.
0.060534
0.0757269
4502087
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_03_058.opb
UNSAT cert.
0.060564
0.074951
4543365
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x20split.cnf-extracted.pb.metafix.opb
UNSAT cert.
0.069205
0.0834889
4510513
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v3_shuffle/normalized-grid6_85.shuf-3.opb
UNSAT cert.
0.070506
0.087553
4516071
PB24/normalized-PB15eval/DEC-LIN/
ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i1-f.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
0.07767
0.0939819
4509649
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_02_004.opb
UNSAT cert.
0.085364
0.112917
4544145
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v021-n1.opb
UNSAT cert.
0.086853
0.116842
4514019
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-7_7_6.opb
UNSAT cert.
0.087263
0.105576
4514775
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x20split.opb
UNSAT cert.
0.092036
0.107495
4511449
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid10_27.shuf-3.opb
UNSAT cert.
0.092847
0.109892
4516251
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP015.shuf-1.opb
UNSAT cert.
0.098048
0.130549
4515495
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb
UNSAT cert.
0.099573
0.123213
4513623
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-21-20.opb
UNSAT cert.
0.101964
0.123551
4492873
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height5_pigeons4_holes3.opb
UNSAT cert.
0.101996
0.131351
4542312
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-6_6_8.opb
UNSAT cert.
0.102995
0.119721
4514631
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v041-n2.opb
UNSAT cert.
0.1096
0.126207
4514271
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x20split.opb
UNSAT cert.
0.11009
0.127621
4511053
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v071-n1.opb
UNSAT cert.
0.117242
0.135262
4514055
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6039_10-unsat.opb
UNSAT cert.
0.122513
0.145929
4501871
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_03_094.opb
UNSAT cert.
0.125202
0.139403
4543209
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x30split.opb
UNSAT cert.
0.125791
0.142537
4511341
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
UNSAT cert.
0.127971
0.151945
4492261
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l010-r010-n1.opb
UNSAT cert.
0.131129
0.172861
4510189
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j907_8-unsat.opb
UNSAT cert.
0.132042
0.155935
4501907
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v061-n3.opb
UNSAT cert.
0.13377
0.169435
4514163
PB24/normalized-PB15eval/DEC-LIN/
SUMINEQ/normalized-sumineqArity3pyramidP0032.opb
UNSAT cert.
0.134051
0.158151
4511593
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v090-n1.opb
UNSAT cert.
0.138076
0.162719
4513587
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb
UNSAT cert.
0.143388
0.159431
4491793
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
UNSAT cert.
0.150704
0.165772
4491901
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v070-n1.opb
UNSAT cert.
0.157073
0.176783
4513695
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224255.opb
UNSAT cert.
0.164522
0.187722
4495681
PB24/normalized-PB15eval/DEC-LIN/
SUMINEQ/normalized-sumineqArity4pyramidP0032.opb
UNSAT cert.
0.17269
0.190818
4511629
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04/normalized-ec_stargrid_04_021.opb
UNSAT cert.
0.179846
0.2047
4542975
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6019_8-unsat.opb
UNSAT cert.
0.187234
0.213297
4501727
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_07_054.opb
UNSAT cert.
0.190238
0.220025
4543560
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_11.opb
UNSAT cert.
0.193842
0.212618
4514487
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-31-30.opb
UNSAT cert.
0.197114
0.229707
4493053
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973163.opb
UNSAT cert.
0.202671
0.22239
4495285
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb
UNSAT cert.
0.22858
0.26244
4491469
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-35-30.opb
UNSAT cert.
0.237219
0.259372
4492909
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l020-r019-n1.opb
UNSAT cert.
0.25872
0.304298
4510225
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
larger/domset_large_shuffle/normalized-domset-hexgrid_05_110.shuf-2.opb
UNSAT cert.
0.273445
0.305285
4543170
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb
UNSAT cert.
0.298827
0.326872
4491505
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219348.opb
UNSAT cert.
0.301087
0.323344
4495573
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl.opb
UNSAT cert.
0.311033
0.338857
4491577
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x40split.opb
UNSAT cert.
0.315048
0.334365
4511125
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-35-30.opb
UNSAT cert.
0.321202
0.354347
4492981
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP035.shuf-2.opb
UNSAT cert.
0.327225
0.348684
4515675
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_004.opb
UNSAT cert.
0.327292
0.344055
4544028
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP025.shuf-1.opb
UNSAT cert.
0.339707
0.399631
4515567
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v091-n3.opb
UNSAT cert.
0.341551
0.404572
4514235
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb
UNSAT cert.
0.342022
0.411046
4513659
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l010-r009-n1.opb
UNSAT cert.
0.353868
0.376212
4513839
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
UNSAT cert.
0.359606
0.397124
4492441
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x60split.opb
UNSAT cert.
0.367709
0.389074
4511269
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v091-n1.opb
UNSAT cert.
0.369652
0.391337
4514091
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974180.opb
UNSAT cert.
0.371749
0.398849
4495213
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x50split.opb
UNSAT cert.
0.373345
0.393754
4511557
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb
UNSAT cert.
0.377938
0.452968
4513515
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x50split.cnf-extracted.pb.metafix.opb
UNSAT cert.
0.392492
0.414627
4510441
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
UNSAT cert.
0.426566
0.467112
4492405
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid8_99.shuf-2.opb
UNSAT cert.
0.430159
0.448411
4516323
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v071-n2.opb
UNSAT cert.
0.438991
0.462146
4514127
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/grids_large_opb/normalized-ECgrid_split_4_250.opb
UNSAT cert.
0.450046
0.467922
4542936
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-45-40.opb
UNSAT cert.
0.471227
0.514151
4493125
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-41-40.opb
UNSAT cert.
0.485998
0.545217
4493089
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid10_35.shuf-3.opb
UNSAT cert.
0.506226
0.589748
4515855
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06/normalized-ec_stargrid_06_012.opb
UNSAT cert.
0.510725
0.530715
4542897
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_05_100.opb
UNSAT cert.
0.521698
0.539689
4543248
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
UNSAT cert.
0.535972
0.571668
4492513
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-1000.shuf-2.opb
UNSAT cert.
0.549483
0.58507
4516539
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l030-r029-n1.cnf-extracted.pb.metafix.opb
UNSAT cert.
0.553481
0.60058
4510873
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP035.opb
UNSAT cert.
0.565404
0.654924
4515819
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
UNSAT cert.
0.577801
0.597661
4491865
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1000.shuf-3.opb
UNSAT cert.
0.612555
0.632744
4516575
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
UNSAT cert.
0.614754
0.652972
4492225
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967142.opb
UNSAT cert.
0.623749
0.65234
4495609
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968094.opb
UNSAT cert.
0.653236
0.689514
4495465
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-4_5_19.opb
UNSAT cert.
0.656193
0.677516
4514559
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/noverticaledges-v1/normalized-grid4_27.opb
UNSAT cert.
0.65732
0.711779
4516359
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x80split.cnf-extracted.pb.metafix.opb
UNSAT cert.
0.658381
0.68697
4510333
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-nve-large-v4/normalized-grid10_64.opb
UNSAT cert.
0.682424
0.931897
4515891
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x90split.cnf-extracted.pb.metafix.opb
UNSAT cert.
0.683678
0.715936
4510297
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x80split.opb
UNSAT cert.
0.686163
0.709681
4511521
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557574.opb
UNSAT cert.
0.690708
0.722161
4494781
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb/normalized-subsetcard-eq-fixedbandwidth-3000.opb
UNSAT cert.
0.720244
0.77092
4516719
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973364.opb
UNSAT cert.
0.721551
0.756967
4495249
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid4_33.shuf-3.opb
UNSAT cert.
0.726073
0.767094
4515999
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb
UNSAT cert.
0.727884
0.762652
4492945
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v4/normalized-grid8_60.opb
UNSAT cert.
0.732986
0.768831
4516107
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height10_pigeons9_holes8.opb
UNSAT cert.
0.792216
0.876798
4542624
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x70split.cnf-plain.pb.metafix.opb
UNSAT cert.
0.79244
0.834156
4510729
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l040-r039-n1.cnf-plain.pb.metafix.opb
UNSAT cert.
0.793058
0.827794
4510837
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110978113.opb
UNSAT cert.
0.815542
0.847917
4495357
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-105-100.opb
UNSAT cert.
0.859253
0.884807
4492765
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x100split.opb
UNSAT cert.
0.864103
0.893656
4511305
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1500.shuf-1.opb
UNSAT cert.
0.902449
0.954698
4516503
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-1750.shuf-3.opb
UNSAT cert.
0.933595
0.956003
4516791
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
UNSAT cert.
0.948973
0.999461
4492621
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_021.shuf-2.opb
UNSAT cert.
0.953802
0.979707
4542819
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_03_100.opb
UNSAT cert.
1.08002
1.11515
4544262
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l025-r024-n1.opb
UNSAT cert.
1.08921
1.12784
4513803
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x90split.cnf-plain.pb.metafix.opb
UNSAT cert.
1.1361
1.19054
4510693
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb
UNSAT cert.
1.15662
1.24265
4491829
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564281.opb
UNSAT cert.
1.16156
1.18028
4494997
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v4/normalized-grid10_66.opb
UNSAT cert.
1.19618
1.28609
4516179
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Hamming-20-10-03-08_c24.opb
UNSAT cert.
1.2758
1.31344
4545471
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-2500.opb
UNSAT cert.
1.32031
1.3517
4516611
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_10_016.opb
UNSAT cert.
1.35907
1.37876
4543950
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6021_1-unsat.opb
UNSAT cert.
1.41088
1.43622
4501835
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb
UNSAT cert.
1.41414
1.50248
4493233
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height12_pigeons11_holes10.opb
UNSAT cert.
1.41867
1.44008
4542390
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-75-70.opb
UNSAT cert.
1.51582
1.63746
4492837
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551347.opb
UNSAT cert.
1.54022
1.58425
4494745
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset-hubgraph-opb/normalized-domset-hubgraph_068.opb
UNSAT cert.
1.75507
1.79561
4543404
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-3500.opb
UNSAT cert.
1.86855
1.89478
4516683
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973670.opb
UNSAT cert.
1.89181
1.9472
4495177
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat98_identity_complement.opb
UNSAT cert.
1.93249
1.95723
4544730
PB24/normalized-PB24/DEC-LIN/nordstrom/
MIPLIB01/dec/miplib3/normalized-p0201.0.u.opb
UNSAT cert.
2.08808
2.16995
4514883
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-91-90.opb
UNSAT cert.
2.13176
2.27824
4493197
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-3500.shuf-3.opb
UNSAT cert.
2.13868
2.16794
4516755
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat10_8_triangular.opb
UNSAT cert.
2.24669
2.28743
4544691
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-16arraycomm_teq_tvars_greater.opb
UNSAT cert.
2.34667
2.39382
4517295
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-61-60.opb
UNSAT cert.
2.35435
2.42043
4492801
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-4000.opb
UNSAT cert.
2.44386
2.51347
4516647
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-188.opb
UNSAT cert.
2.60237
2.80775
4503389
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v2_shuffle/normalized-grid4_121.shuf-1.opb
UNSAT cert.
2.80077
2.86907
4515963
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x40split.opb
UNSAT cert.
2.92575
2.96724
4511413
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900584219.opb
UNSAT cert.
3.12472
3.17984
4494709
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l035-r034-n1.opb
UNSAT cert.
3.39681
3.51879
4513767
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
UNSAT cert.
3.54609
3.60601
4491613
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid4_51.shuf-3.opb
UNSAT cert.
3.96449
4.06424
4516035
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-7_7_15.opb
UNSAT cert.
4.35416
4.39769
4514703
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_036.shuf-2.opb
UNSAT cert.
4.69313
4.73619
4542702
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900579996.opb
UNSAT cert.
4.89159
4.95307
4495105
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_048.opb
UNSAT cert.
5.1829
5.27275
4544067
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_04_250.opb
UNSAT cert.
5.42724
5.48102
4544223
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900577940.opb
UNSAT cert.
5.45721
5.52369
4495033
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x10split.cnf-plain.pb.metafix.opb
UNSAT cert.
5.53215
5.62008
4510261
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-stein45inf.0.d.opb
UNSAT cert.
5.95482
6.10611
4514955
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_9_triangular.opb
UNSAT cert.
6.25394
6.31165
4544925
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_06_048.opb
UNSAT cert.
6.76535
6.81274
4543872
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height18_pigeons17_holes16.opb
UNSAT cert.
7.28127
7.3211
4542117
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP085.opb
UNSAT cert.
7.88455
7.95789
4515531
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-grids-v1_shuffle/normalized-grid8_161.shuf-2.opb
UNSAT cert.
8.00145
8.06962
4515927
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
larger/domset_large_shuffle/normalized-domset-hexgrid_03_084.shuf-1.opb
UNSAT cert.
8.4455
8.5029
4543131
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-13array_diag_greater.opb
UNSAT cert.
8.44913
8.55511
4517151
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP105.shuf-2.opb
UNSAT cert.
8.86906
8.92861
4515459
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x30split.opb
UNSAT cert.
8.93129
9.01483
4511233
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582300.opb
UNSAT cert.
9.22639
9.33294
4494817
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq5/normalized-16array_alg_ineq5.opb
UNSAT cert.
10.1288
10.3154
4517079
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_220_219.opb
UNSAT cert.
10.2688
10.3079
4543092
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height19_pigeons18_holes17.opb
UNSAT cert.
11.4103
11.463
4542234
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/
random_norational_opb/normalized-ec_random_norational_random4reg_split_350.opb
UNSAT cert.
11.6137
11.6899
4544301
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq10/normalized-13array_ineq10.opb
UNSAT cert.
11.9173
12.0536
4516899
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP085.shuf-3.opb
UNSAT cert.
12.1622
12.2524
4515747
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_230_229.opb
UNSAT cert.
12.5235
12.5885
4543014
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat12_10_triangular.opb
UNSAT cert.
13.644
13.6963
4544847
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_18.opb
UNSAT cert.
14.1776
14.2737
4514739
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x50split.opb
UNSAT cert.
14.3727
14.4598
4511197
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_066.shuf-1.opb
UNSAT cert.
14.8195
14.8776
4542741
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb
UNSAT cert.
15.2073
15.3242
4511017
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_072.shuf-3.opb
UNSAT cert.
15.2183
15.2871
4542780
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat10_9identity_complement.opb
UNSAT cert.
17.2298
17.2945
4544496
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
UNSAT cert.
17.8146
17.9202
4491721
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559676.opb
UNSAT cert.
17.8712
18.0444
4494637
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_075.shuf-3.opb
UNSAT cert.
19.9585
20.0291
4542858
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height21_pigeons20_holes19.opb
UNSAT cert.
20.9383
21.084
4542351
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_18_044.opb
UNSAT cert.
21.305
21.5227
4543989
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-16array_diag_less.opb
UNSAT cert.
24.2364
24.4745
4517223
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l045-r044-n1.opb
UNSAT cert.
26.8594
27.0628
4513947
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
UNSAT cert.
29.166
29.5584
4510909
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_170.opb
UNSAT cert.
31.9181
32.0054
4544379
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP095.shuf-2.opb
UNSAT cert.
32.1285
32.2623
4515603
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-2.opb
UNSAT cert.
38.8149
38.965
4515711
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_30_088.opb
UNSAT cert.
41.5831
41.6982
4543911
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x60split.cnf-extracted.pb.metafix.opb
UNSAT cert.
44.312
44.5293
4510765
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_10_096.opb
UNSAT cert.
44.7807
44.969
4543833
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_30_092.opb
UNSAT cert.
46.9136
47.1322
4543794
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP135.shuf-2.opb
UNSAT cert.
48.5738
48.7445
4515423
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2003/normalized-disctom.0.u.opb
UNSAT cert.
50.9014
51.0538
4514847
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l050-r049-n1.cnf-extracted.pb.metafix.opb
UNSAT cert.
53.0616
53.3808
4510945
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP145.shuf-1.opb
UNSAT cert.
55.0389
55.2367
4515387
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_390_389.opb
UNSAT cert.
56.1053
56.2754
4543053
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_30_096.opb
UNSAT cert.
56.7188
57.0304
4543716
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_10_092.opb
UNSAT cert.
57.0158
57.177
4544106
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x60split.opb
UNSAT cert.
59.5566
59.8412
4511161
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_14_088.opb
UNSAT cert.
60.853
61.0145
4543755
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SocialGolfers-cnt-06-06-07_c24.opb
UNSAT cert.
71.837
72.0312
4545549
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb
UNSAT cert.
73.6417
73.8516
4542585
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb
UNSAT cert.
84.1003
84.4838
4510549
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
UNSAT cert.
96.8897
98.1862
4511089
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb
UNSAT cert.
99.3325
99.9495
4510369
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
UNSAT cert.
100.33
100.763
4510621
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-27array_alg_ineq8.opb
UNSAT cert.
114.509
115.578
4516971
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-28array_alg_ineq8.opb
UNSAT cert.
128.982
130.261
4516935
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-22array_ineq8.opb
UNSAT cert.
133.227
133.983
4517043
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x30split.cnf-plain.pb.metafix.opb
UNSAT cert.
135.645
138.257
4510585
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x100split.opb
UNSAT cert.
157.797
159.199
4511377
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-PoolBallTriangle-07_c24.opb
UNSAT cert.
173.901
174.437
4545588
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-21array_ineq8.opb
UNSAT cert.
189.187
190.154
4517007
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_04_280.opb
UNSAT cert.
191.714
192.243
4544418
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-1.opb
UNSAT cert.
196.133
196.752
4515639
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
UNSAT cert.
211.789
217.43
4510405
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
UNSAT cert.
264.342
265.796
4491541
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-15array_diag_greater.opb
UNSAT cert.
321.056
323.018
4517115
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
UNSAT cert.
336.472
337.892
4491685
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
UNSAT cert.
347.158
349.075
4513443
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_08_180.opb
UNSAT cert.
367.854
368.819
4544340
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb
UNSAT cert.
409.676
410.956
4542663
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-25.opb
UNSAT cert.
516.768
523.708
4503425
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
UNSAT cert.
549.85
551.618
4491433
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
UNSAT cert.
556.675
559.121
4513479
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
UNSAT cert.
577.865
580.745
4513371
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x120split.opb
UNSAT cert.
617.06
620.525
4513407
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
UNSAT cert.
641.967
645.032
4510477
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
UNSAT cert.
756.569
760.186
4513335
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-38.opb
UNSAT cert.
771.361
775.048
4503641
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-46.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
775.151
782.113
4510009
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb
UNSAT cert.
873.825
876.424
4543287
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x100split.cnf-plain.pb.metafix.opb
UNSAT cert.
1256.2
1261.91
4510657
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height36_pigeons35_holes34.opb
UNSAT cert.
1262.02
1265.34
4542273
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l060-r059-n1.opb
UNSAT cert.
1368.3
1374.57
4513911
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb
UNSAT cert.
1672.12
1676.05
4542195
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n98-d3-i3-r1.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
2129.82
2139.8
4510117
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l060-r059-n1.cnf-plain.pb.metafix.opb
UNSAT cert.
3094.53
3111.78
4510801
Solver proved unsatisfiability (UNSATISFIABLE) (1 run)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat16_15_identity_complement.opb
UNSAT
3125.58
3135.52
4544457
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (128 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.008808
0.022857
4502231
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_008.shuf-1.opb
SAT
0
0.02304
0.0383149
4543638
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww3.opb
SAT
0
0.037451
0.0562051
4495717
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_028.shuf-1.opb
SAT
0
0.042918
0.063924
4543599
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969933.opb
SAT
0
0.052406
0.0708141
4495537
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223689.opb
SAT
0
0.053864
0.069147
4495501
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900561384.opb
SAT
0
0.064662
0.082439
4494853
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900574974.opb
SAT
0
0.087451
0.105673
4494925
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226284.opb
SAT
0
0.106496
0.126339
4495645
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb
SAT
0
0.159157
0.177607
4492477
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb
SAT
0
0.176357
0.194805
4492549
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb
SAT
0
0.196522
0.215336
4492369
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb
SAT
0
0.198217
0.228227
4492333
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900547461.opb
SAT
0
0.20354
0.223124
4495141
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_064.shuf-1.opb
SAT
0
0.222872
0.269638
4543677
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/
miplib2017/normalized-chromaticindex32-8.0.s.opb
SAT
0
0.239486
0.296441
4515027
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900547353.opb
SAT
0
0.256497
0.275591
4494889
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb
SAT
0
0.261594
0.290674
4492585
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb
SAT
0
0.278807
0.300288
4492297
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin8.opb
SAT
0
0.285524
0.486724
4493269
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973863.opb
SAT
0
0.290176
0.311689
4495321
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6033_7-sat.opb
SAT
0
0.291845
0.311102
4501799
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9bt.opb
SAT
0
0.311746
0.349729
4493773
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat99_identity_complement.opb
SAT
0
0.348643
0.363892
4544886
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6027_7-sat.opb
SAT
0
0.350951
0.371429
4501691
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos808444.opb
SAT
0
0.355808
0.385958
4503101
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582376.opb
SAT
0
0.400965
0.423989
4494961
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17ls.opb
SAT
0
0.427412
0.458936
4493593
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb
SAT
0
0.437927
0.461829
4493485
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12020_5-sat.opb
SAT
0
0.448562
0.476499
4502195
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567003.opb
SAT
0
0.507973
0.535759
4494673
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j907_2-sat.opb
SAT
0
0.531649
0.561626
4502051
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
SAT
0
0.55347
0.622201
4492189
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin10.opb
SAT
0
0.621125
0.716148
4493377
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob5.opb
SAT
0
0.639967
0.673364
4495897
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14ls.opb
SAT
0
0.719598
0.750191
4493737
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-777800.0.s.opb
SAT
0
0.750977
0.804514
4515279
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww1.opb
SAT
0
0.773285
0.803005
4496185
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
SAT
0
0.806632
0.824166
4492657
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559641.opb
SAT
0
0.821624
0.850958
4495069
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12ls.opb
SAT
0
0.937783
0.969593
4493557
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob7.opb
SAT
0
0.981156
1.01657
4495825
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
SAT
0
1.05117
1.07376
4492153
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14bt.opb
SAT
0
1.07071
1.10934
4493881
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat11_11_identity_complement.opb
SAT
0
1.11538
1.13806
4545003
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_08_020.opb
SAT
0
1.21969
1.23875
4543521
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3013_3-sat.opb
SAT
0
1.34892
1.38669
4502123
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
SAT
0
1.35968
1.50909
4492081
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12bt.opb
SAT
0
1.37075
1.4108
4493629
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
SAT
0
1.4779
1.59596
4491973
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob4.opb
SAT
0
1.65752
1.68933
4495789
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb
SAT
0
2.61708
2.65117
4511665
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_10_triangular.opb
SAT
0
2.65192
2.67536
4544613
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm50p-dec.opb.negationfix.opb
SAT
0
2.72513
2.77459
4511917
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24ls.opb
SAT
0
3.00411
3.06249
4493701
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat15_15_identity_complement.opb
SAT
0
3.05876
3.08317
4544574
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin12.opb
SAT
0
3.35795
3.59486
4493413
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat12_11_triangular.opb
SAT
0
3.63432
3.66188
4544769
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb
SAT
0
4.08373
4.14139
4511773
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
SAT
0
4.1238
4.18349
4491649
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
SAT
0
4.23572
4.2982
4494025
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
SAT
0
4.46343
4.51633
4494277
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb
SAT
0
4.59514
4.66895
4511881
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
SAT
0
4.6293
4.67791
4494421
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-22-18-20-1_c24.opb
SAT
0
4.71347
4.74768
4545510
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
SAT
0
4.78287
4.84622
4494313
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round21-3.opb
SAT
0
4.92085
4.9771
4513047
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb
SAT
0
5.07622
5.14942
4511701
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
SAT
0
5.18476
5.22995
4493989
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
SAT
0
5.28523
5.37132
4511809
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm99p-dec.opb.negationfix.opb
SAT
0
5.58772
5.67414
4511845
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb
SAT
0
6.60003
6.68311
4512133
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat15_14_triangular.opb
SAT
0
6.67156
6.70937
4544652
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j605_7-sat.opb
SAT
0
7.86161
7.94725
4501763
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-849702.opb
SAT
0
8.01233
8.1972
4503173
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob1.opb
SAT
0
9.6282
9.71206
4496149
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
SAT
0
12.1118
12.2021
4494133
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
SAT
0
13.5968
13.6891
4493953
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
SAT
0
14.0002
14.0957
4493917
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
SAT
0
14.1002
14.2041
4494169
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
SAT
0
14.2258
14.3276
4494385
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
SAT
0
15.7771
15.9403
4494061
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
SAT
0
15.8567
16.022
4494097
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm25p-dec.opb.negationfix.opb
SAT
0
15.8827
15.9606
4511737
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
SAT
0
15.8882
16.3919
4494349
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
SAT
0
15.9711
16.1297
4494205
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm75p-dec.opb.negationfix.opb
SAT
0
16.2654
16.4513
4512169
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
SAT
0
16.3875
16.5572
4494241
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l6_n1500.opb
SAT
0
17.2141
17.326
4494601
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
SAT
0
17.23
17.4312
4492045
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob2.opb
SAT
0
17.695
17.8135
4496113
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm85p-dec.opb.negationfix.opb
SAT
0
18.4462
18.74
4511953
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K76.opb
SAT
0
20.3779
20.5156
4507737
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat20_19_triangular.opb
SAT
0
21.1548
21.2457
4544535
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm95p-dec.opb.negationfix.opb
SAT
0
21.5492
21.7769
4511989
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb
SAT
0
22.8732
23.0883
4512097
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
SAT
0
24.0487
24.3248
4512025
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob6.opb
SAT
0
25.2778
25.4614
4495969
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob10.opb
SAT
0
26.2169
27.4609
4495753
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size96-round21-6.opb
SAT
0
30.552
30.991
4513263
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/
miplib2017/normalized-academictimetablesmall.0.s.opb
SAT
0
31.2269
31.3705
4514991
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24bt.opb
SAT
0
35.2082
35.4664
4493665
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K75.opb
SAT
0
37.0593
37.3483
4507629
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin16.opb
SAT
0
40.5864
40.7626
4493449
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K72.opb
SAT
0
41.8902
42.1509
4507773
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
SAT
0
70.2317
70.7681
4493521
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
SAT
0
94.9906
95.2976
4494565
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21ls.opb
SAT
0
100.829
101.563
4493845
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_15.opb
SAT
0
110.975
111.521
4514415
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round21-2.opb
SAT
0
116.366
117.067
4512939
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin14.opb
SAT
0
133.456
134.882
4493341
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
SAT
0
163.537
164.072
4494493
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-dec2-3-3-5.opb
SAT
0
185.413
185.875
4545198
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-185.opb
SAT
0
199.75
201.321
4503461
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K71.opb
SAT
0
218.072
223.915
4507665
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww5.opb
SAT
0
225.719
226.914
4496005
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K69.opb
SAT
0
252.095
256.684
4507701
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-AverageAvoiding-20_c24.opb
SAT
0
303.657
304.506
4545276
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
SAT
0
329.747
331.697
4493809
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-03.opb
SAT
0
337.657
342.849
4503281
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww4.opb
SAT
0
451.241
454.561
4495933
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-164.opb
SAT
0
460.284
461.949
4503497
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K102.opb
SAT
0
728.869
733.365
4507413
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K105.opb
SAT
0
832.371
841.474
4507557
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K96.opb
SAT
0
852.817
862.886
4507593
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
SAT
0
927.973
935.13
4494529
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K98.opb
SAT
0
1907.98
1926.07
4507377
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K101.opb
SAT
0
1949.65
1961.65
4507449
Solver timed out (no solution given) (115 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-tseitin-regular-n230-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
? (TO)
3499.52
3700.05
4510081
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-pmg-14-UNSAT.shuffled-as.sat05-3942.cnf.gz-plain.pb.metafix.opb
? (TO)
3509.7
3700.03
4509901
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n232-d3-i1-f.cnf.gz-plain.pb.metafix.opb
? (TO)
3511.83
3700.99
4510045
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
? (TO)
3515.34
3700.02
4509865
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n134-d3-i3-f.cnf.gz-plain.pb.metafix.opb
? (TO)
3531.81
3700.11
4509973
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-89.opb
? (TO)
3569.52
3700.07
4503245
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n184-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
? (TO)
3582.71
3745.21
4509793
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-2.opb
? (TO)
3600.04
3626.74
4512903
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-6.opb
? (TO)
3600.04
3631.14
4513119
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob8.opb
? (TO)
3600.04
3616.12
4496041
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-24diag_spec_greater.opb
? (TO)
3600.04
3611.6
4541961
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-31array_alg_ineq6.opb
? (TO)
3600.04
3610.2
4541610
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-22diag_spec_greater.opb
? (TO)
3600.05
3609.92
4542000
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
? (TO)
3600.05
3614.25
4494457
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_10.opb
? (TO)
3600.05
3617.42
4514379
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round22-1.opb
? (TO)
3600.05
3619.24
4513083
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K92.opb
? (TO)
3600.06
3635.15
4507305
PB25/normalized-PB25/DEC-LIN/
wallon/normalized-FRB-53-24-1-mgd_c18.opb
? (TO)
3600.06
3608.82
4545042
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab71-20-100.0.u.opb
? (TO)
3600.06
3628.53
4515243
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-cvs16r70-62.0.s.opb
? (TO)
3600.06
3623.84
4515135
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-0.opb
? (TO)
3600.06
3623.04
4512795
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-MisteryShopper-mini-5-10-2-6-0_c24.opb
? (TO)
3600.06
3609.22
4545432
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
? (TO)
3600.07
3615.66
4492009
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9029_2-sat.opb
? (TO)
3600.07
3619.11
4502015
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K150.opb
? (TO)
3600.07
3688.07
4507089
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_comm/normalized-27diagcomm_less_teq.opb
? (TO)
3600.07
3611.21
4542078
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K90.opb
? (TO)
3600.07
3658.04
4507269
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K176.opb
? (TO)
3600.07
3668.92
4506873
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K134.opb
? (TO)
3600.08
3639.14
4506729
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size80-round23-5.opb
? (TO)
3600.08
3625.94
4512975
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq5/normalized-30array_ineq5.opb
? (TO)
3600.08
3609.41
4541532
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K196.opb
? (TO)
3600.08
3685.36
4507125
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_diag/normalized-31array_diag_less.opb
? (TO)
3600.08
3609.42
4541727
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K138.opb
? (TO)
3600.08
3631.46
4506801
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round23-6.opb
? (TO)
3600.08
3626.76
4512867
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob3.opb
? (TO)
3600.09
3616.71
4496077
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K182.opb
? (TO)
3600.09
3682.56
4507197
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-MisteryShopper-mini-5-08-2-6-0_c24.opb
? (TO)
3600.09
3610.62
4545393
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_comm/arraycomm_teq/normalized-20arraycomm_teq_less.opb
? (TO)
3600.09
3610.22
4541805
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/
array_comm/arraycomm_teq_tvars/normalized-32arraycomm_teq_tvars_greater.opb
? (TO)
3600.09
3609.82
4541883
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-4.opb
? (TO)
3600.09
3619.06
4513011
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.opb
? (TO)
3600.09
3615.33
4510981
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round22-2.opb
? (TO)
3600.09
3629.16
4513227
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K155.opb
? (TO)
3600.09
3667.73
4507053
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallace_spec/normalized-28wallace_spec_greater_tvars.opb
? (TO)
3600.09
3610.61
4542039
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820157.opb
? (TO)
3600.09
3633.66
4503137
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K169.opb
? (TO)
3600.09
3641.49
4506765
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/
random_rational_opb/normalized-ec_random_rational_random8reg_split_750.opb
? (TO)
3600.09
3610.74
4544184
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-16diag_spec_greater.opb
? (TO)
3600.09
3617.92
4517367
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-6.opb
? (TO)
3600.1
3618.14
4513299
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-6_6_33.opb
? (TO)
3600.1
3630.52
4514595
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K133.opb
? (TO)
3600.1
3667.84
4506945
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round23-3.opb
? (TO)
3600.1
3628.27
4513155
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-4.opb
? (TO)
3600.1
3621.28
4512831
PB25/normalized-PB25/DEC-LIN/
wallon/normalized-FRB-45-21-3-mgd_c18.opb
? (TO)
3600.1
3609.52
4545237
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww2.opb
? (TO)
3600.1
3617.92
4495861
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n30-d4-i1.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.1
3617
4509721
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-20array_ineq6.opb
? (TO)
3600.1
3609.51
4541571
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_diag/normalized-26array_diag_greater.opb
? (TO)
3600.1
3609.92
4541688
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_comm/arraycomm/normalized-17arraycomm_less.opb
? (TO)
3600.1
3610.41
4541922
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_11.opb
? (TO)
3600.11
3612.52
4514343
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K87.opb
? (TO)
3600.11
3626.22
4507485
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K81.opb
? (TO)
3600.11
3621.84
4507521
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-0.opb
? (TO)
3600.11
3624.04
4513191
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_36.opb
? (TO)
3600.11
3613.73
4514451
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-952987.0.d.opb
? (TO)
3600.11
3610.16
4515315
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v2/normalized-grid8_97.opb
? (TO)
3600.11
3619.94
4516215
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l080-r079-n1.opb
? (TO)
3600.12
3619.77
4513875
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820146.opb
? (TO)
3600.12
3656.71
4503209
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_comm/arraycomm_teq/normalized-22arraycomm_teq_less.opb
? (TO)
3600.12
3610.23
4541844
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_8.opb
? (TO)
3600.12
3616.25
4514307
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K159.opb
? (TO)
3600.12
3673.55
4506981
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n258-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.12
3625.63
4509685
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-20arraycomm_teq_tvars_less.opb
? (TO)
3600.12
3617.83
4517259
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12011_3-sat.opb
? (TO)
3600.12
3619.18
4502159
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb
? (TO)
3600.13
3611.31
4541766
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K188.opb
? (TO)
3600.13
3664.68
4506837
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-29array_ineq6.opb
? (TO)
3600.13
3611.02
4541649
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K166.opb
? (TO)
3600.13
3657.45
4506909
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K174.opb
? (TO)
3600.13
3681.3
4507017
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-seymour.0.u.opb
? (TO)
3600.13
3620.53
4514919
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat12_11_identity_complement.opb
? (TO)
3600.13
3611.52
4544808
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K177.opb
? (TO)
3600.13
3673.19
4507233
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K84.opb
? (TO)
3600.13
3627.86
4507341
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-111.opb
? (TO)
3600.13
3610.61
4503749
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin18.opb
? (TO)
3600.13
3618.86
4493305
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-90.opb
? (TO)
3600.13
3620.57
4503317
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab51-40-100.0.u.opb
? (TO)
3600.13
3616.27
4515171
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-AverageAvoiding-mini-40_c24.opb
? (TO)
3600.13
3610.05
4545120
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb
? (TO)
3600.13
3621.26
4491757
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
? (TO)
3600.14
3621.35
4492117
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K194.opb
? (TO)
3600.14
3672.17
4507161
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab51-40-100.0.s.opb
? (TO)
3600.14
3619.19
4515099
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_10-sat.opb
? (TO)
3600.15
3618.37
4501979
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-85-80.opb
? (TO)
3600.17
3615.5
4493161
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-dec2-3-3-1.opb
? (TO)
3600.17
3608.96
4545354
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-192.opb
? (TO)
3600.18
3617.14
4503353
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SocialGolfers-08-04-08_c24.opb
? (TO)
3600.19
3609.71
4545315
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat20_19_identity_complement.opb
? (TO)
3600.2
3610.63
4544964
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-631710.0.u.opb
? (TO)
3600.21
3612.29
4515351
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-134.opb
? (TO)
3600.23
3610.63
4503569
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-116.opb
? (TO)
3600.24
3610.43
4503677
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb
? (TO)
3600.32
3609.19
4542468
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-t1722.0.s.opb
? (TO)
3600.36
3612.14
4515207
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-table-3-3-9.opb
? (TO)
3600.37
3610.47
4545081
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
? (TO)
3600.38
3609.03
4542546
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-147.opb
? (TO)
3600.39
3611.11
4503605
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height50_pigeons49_holes48.opb
? (TO)
3600.42
3610.19
4542156
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height47_pigeons46_holes45.opb
? (TO)
3600.45
3610.35
4542507
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb
? (TO)
3600.46
3609.48
4542429
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_3-sat.opb
? (TO)
3600.5
3625.81
4501943
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/
normalized-hw512-vm100p-dec.opb.negationfix.opb
? (TO)
3600.55
3610.7
4512061
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ivu59.0.u.opb
? (TO)
3600.59
3611.9
4515063
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-174.opb
? (TO)
3600.78
3612.17
4503713
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-73.opb
? (TO)
3602.11
3620.9
4503533