PB'26 competition: benchmarks results per solver
Result page for solver Sat4j CuttingPlanes CERT
2026-06-10 (cert)
(complete)
Solver command line
java -Dveripb=PROOFFILE -jar HOME/sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
Category "decision problem, linear constraints, no UNSAT certificate" (DEC-LIN)
Solver proved unsatisfiability and generated a good certificate (151 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-13-1.cnf.gz-extracted.pb.metafix.opb
UNSAT cert.
0.204852
0.194112
4838321
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-2_4_3.opb
UNSAT cert.
0.211391
0.160563
4838513
PB24/normalized-PB16/DEC-LIN/elffers/
subsetcard/normalized-subsetcard-geq-fixedbandwidth-30.opb
UNSAT cert.
0.211714
0.141553
4838355
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height3_pigeons2_holes1.opb
UNSAT cert.
0.234966
0.138012
4838632
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-65.shuf-1.opb
UNSAT cert.
0.245768
0.146282
4838456
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-25-20.opb
UNSAT cert.
0.247844
0.264092
4838654
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-2_3_6.opb
UNSAT cert.
0.248484
0.2249
4838512
PB24/normalized-PB16/DEC-LIN/elffers/
subsetcard/normalized-subsetcard-eq-fixedbandwidth-70.opb
UNSAT cert.
0.254824
0.142482
4838354
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v011-n3.opb
UNSAT cert.
0.25784
0.191493
4838345
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/random4reg_opb/normalized-subsetcard-geq-random4reg-65.opb
UNSAT cert.
0.258455
0.146722
4838455
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
UNSAT cert.
0.260231
0.222706
4838102
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-3_6_4.opb
UNSAT cert.
0.261209
0.147115
4838514
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-80.shuf-1.opb
UNSAT cert.
0.263893
0.143696
4838458
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-75.shuf-2.opb
UNSAT cert.
0.264274
0.148827
4838457
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-stein15inf.0.d.opb
UNSAT cert.
0.294295
0.154051
4838574
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-10arraycomm_teq_tvars_less.opb
UNSAT cert.
0.320617
0.177865
4838520
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_spec/normalized-9array_spec_less.opb
UNSAT cert.
0.327081
0.197014
4838525
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v3/normalized-grid6_11.opb
UNSAT cert.
0.329531
0.185118
4838484
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
UNSAT cert.
0.350301
0.178855
4838104
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-12arraycomm_teq_tvars_less.opb
UNSAT cert.
0.355225
0.199181
4838521
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_comm/arraycomm_teq/normalized-11arraycomm_teq_less.opb
UNSAT cert.
0.372068
0.172355
4838640
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v020-n1.opb
UNSAT cert.
0.381138
0.228758
4838339
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-14array_diag_less.opb
UNSAT cert.
0.397408
0.187892
4838524
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r06-tiling/normalized-domset-hexgrid_06_062.opb
UNSAT cert.
0.419084
0.179825
4838586
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-16arraycomm_teq_tvars_less.opb
UNSAT cert.
0.42956
0.195018
4838522
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP005.shuf-2.opb
UNSAT cert.
0.439187
0.191266
4838463
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height5_pigeons4_holes3.opb
UNSAT cert.
0.441189
0.195041
4838637
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height6_pigeons5_holes4.opb
UNSAT cert.
0.452032
0.192395
4838638
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_diag/normalized-19array_diag_less.opb
UNSAT cert.
0.46232
0.198697
4838643
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP005.shuf-1.opb
UNSAT cert.
0.470347
0.205426
4838468
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-blast-floppy1-7.ucl.opb
UNSAT cert.
0.472876
0.229088
4838199
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/
array_comm/arraycomm_teq/normalized-17arraycomm_teq_greater.opb
UNSAT cert.
0.478265
0.208492
4838641
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n28-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
0.490014
0.21167
4838333
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
UNSAT cert.
0.507079
0.272695
4838103
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-23arraycomm_teq_tvars_greater.opb
UNSAT cert.
0.511948
0.226216
4838523
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6028_8-unsat.opb
UNSAT cert.
0.550042
0.255518
4838230
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP005.opb
UNSAT cert.
0.555108
0.227333
4838467
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v021-n2.opb
UNSAT cert.
0.569758
0.251029
4838346
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/
array_comm/arraycomm_teq_tvars/normalized-29arraycomm_teq_tvars_greater.opb
UNSAT cert.
0.603116
0.280032
4838642
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-51-50.opb
UNSAT cert.
0.628006
0.400175
4838655
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_070.opb
UNSAT cert.
0.674525
0.271862
4838605
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n12-d4-i1.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
0.73636
0.367643
4838320
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x20split.cnf-extracted.pb.metafix.opb
UNSAT cert.
0.809181
0.317031
4838669
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb/normalized-subsetcard-geq-fixedbandwidth-3750.opb
UNSAT cert.
0.853666
0.357639
4838446
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid4_23.shuf-1.opb
UNSAT cert.
0.930712
0.35926
4838477
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-2250.shuf-1.opb
UNSAT cert.
0.940235
0.354674
4838448
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-61-60.opb
UNSAT cert.
0.946567
0.503783
4838656
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r08-tiling/normalized-domset-hexgrid_08_057.opb
UNSAT cert.
0.964113
0.3643
4838588
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Hamming-20-10-05-10_c24.opb
UNSAT cert.
1.01147
0.379634
4838552
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_06_130.opb
UNSAT cert.
1.04252
0.445666
4838603
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x30split.cnf-plain.pb.metafix.opb
UNSAT cert.
1.13862
0.423132
4838671
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_06_036.opb
UNSAT cert.
1.23595
0.506732
4838614
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-dlx1c.ucl.opb
UNSAT cert.
1.26902
0.49348
4838206
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224059.opb
UNSAT cert.
1.37696
0.503501
4838178
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x10split.cnf-extracted.pb.metafix.opb
UNSAT cert.
1.40056
0.511601
4838676
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973163.opb
UNSAT cert.
1.41396
0.55119
4838170
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l020-r019-n1.opb
UNSAT cert.
1.45251
0.598451
4838292
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x30split.cnf-extracted.pb.metafix.opb
UNSAT cert.
1.46915
0.538476
4838670
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v3_shuffle/normalized-grid4_27.shuf-1.opb
UNSAT cert.
1.47469
0.548741
4838487
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-2250.shuf-1.opb
UNSAT cert.
1.49248
0.550872
4838447
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227861.opb
UNSAT cert.
1.57816
0.582595
4838180
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-3500.shuf-3.opb
UNSAT cert.
1.58546
0.564017
4838450
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x50split.cnf-plain.pb.metafix.opb
UNSAT cert.
1.67516
0.599693
4838673
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_210.opb
UNSAT cert.
1.686
0.600289
4838606
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l030-r029-n1.cnf-plain.pb.metafix.opb
UNSAT cert.
1.82703
0.647426
4838287
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-1500.opb
UNSAT cert.
1.90095
0.974038
4838452
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl.opb
UNSAT cert.
1.96955
0.686945
4838204
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb
UNSAT cert.
2.0329
0.765141
4838205
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x50split.opb
UNSAT cert.
2.03711
0.735862
4838299
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb
UNSAT cert.
2.13561
0.789172
4838200
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l030-r029-n1.opb
UNSAT cert.
2.17557
0.760199
4838293
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x40split.cnf-plain.pb.metafix.opb
UNSAT cert.
2.20089
0.784305
4838672
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x60split.cnf-extracted.pb.metafix.opb
UNSAT cert.
2.37792
0.837123
4838674
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111213868.opb
UNSAT cert.
2.92036
1.06648
4838176
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_036.opb
UNSAT cert.
2.96951
1.0581
4838609
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x80split.cnf-plain.pb.metafix.opb
UNSAT cert.
2.97441
1.1895
4838675
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x10split.opb
UNSAT cert.
3.01983
1.08923
4838303
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968561.opb
UNSAT cert.
3.11632
1.105
4838167
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x70split.opb
UNSAT cert.
3.12336
1.0939
4838300
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x90split.opb
UNSAT cert.
4.89596
2.14468
4838301
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_02_096.opb
UNSAT cert.
4.95733
3.19342
4838613
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975607.opb
UNSAT cert.
5.24754
2.00476
4838172
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-2750.opb
UNSAT cert.
5.51036
4.12953
4838453
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x10split.cnf-plain.pb.metafix.opb
UNSAT cert.
5.75227
3.20805
4838677
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/grids_large_opb/normalized-ECgrid_split_3_180.opb
UNSAT cert.
5.85575
3.07688
4838599
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb
UNSAT cert.
6.35404
2.89322
4838212
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
UNSAT cert.
6.71268
3.46653
4838213
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-2750.shuf-3.opb
UNSAT cert.
6.7737
3.07035
4838449
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl.opb
UNSAT cert.
8.62568
4.98614
4838207
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Rlfap-ext-scen-11-f09_c18.opb
UNSAT cert.
8.7965
5.71869
4838556
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_03_270.opb
UNSAT cert.
9.78814
6.81292
4838602
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb
UNSAT cert.
10.3681
5.76737
4838203
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-3500.shuf-1.opb
UNSAT cert.
10.8527
9.37298
4838454
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat10_8_triangular.opb
UNSAT cert.
11.178
7.64863
4838534
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height15_pigeons14_holes13.opb
UNSAT cert.
15.6741
11.8962
4838624
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v041-n2.opb
UNSAT cert.
15.8396
11.9343
4838348
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
UNSAT cert.
18.5347
13.3658
4838202
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq7/normalized-11array_ineq7.opb
UNSAT cert.
23.451
21.0298
4838650
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb
UNSAT cert.
23.5625
20.7826
4838678
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-4_5_26.opb
UNSAT cert.
24.5647
21.4312
4838515
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat98_identity_complement.opb
UNSAT cert.
30.4556
26.9204
4838547
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9037_9-unsat.opb
UNSAT cert.
32.1304
27.3833
4838234
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-7_6_19.opb
UNSAT cert.
32.824
29.3298
4838518
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height16_pigeons15_holes14.opb
UNSAT cert.
38.9769
33.7138
4838625
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_19.opb
UNSAT cert.
43.3841
39.315
4838516
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP015.shuf-1.opb
UNSAT cert.
44.3701
40.3061
4838469
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x30split.cnf-plain.pb.metafix.opb
UNSAT cert.
55.4466
52.8044
4838679
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_9_triangular.opb
UNSAT cert.
79.7034
74.7993
4838538
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l030-r029-n1.opb
UNSAT cert.
80.6649
74.6467
4838296
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v041-n1.opb
UNSAT cert.
83.2905
76.8824
4838347
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
UNSAT cert.
99.7865
92.1262
4838288
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-11-10.opb
UNSAT cert.
101.754
99.3951
4838659
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l070-r069-n1.opb
UNSAT cert.
103.692
95.6056
4838294
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-15-10.opb
UNSAT cert.
131.093
127.979
4838660
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl.opb
UNSAT cert.
153.972
146.557
4838201
PB24/normalized-PB15eval/DEC-LIN/
ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-2.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
155.895
153.786
4838322
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_26_048.opb
UNSAT cert.
179.309
173.172
4838612
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900575442.opb
UNSAT cert.
183.182
177.237
4838160
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900558106.opb
UNSAT cert.
216.018
209.04
4838152
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
UNSAT cert.
270.85
262.312
4838211
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_6.opb
UNSAT cert.
275.621
266.826
4838510
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-08.opb
UNSAT cert.
281.445
269.065
4838239
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq10/normalized-10array_ineq10.opb
UNSAT cert.
298.695
292.181
4838527
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_8.opb
UNSAT cert.
307.932
299.374
4838507
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
ebits/benchmarks/normalized-16ebits_0.opb
UNSAT cert.
308.274
299.793
4838519
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n108-d3-i3-f.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
312.704
312.123
4838325
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
UNSAT cert.
317.677
313.994
4838681
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v031-n1.opb
UNSAT cert.
326.239
317.79
4838341
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900570242.opb
UNSAT cert.
331.793
323.342
4838157
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/grids_large_opb/normalized-ECgrid_split_5_050.opb
UNSAT cert.
338.804
329.601
4838600
PB24/normalized-PB24/DEC-LIN/nordstrom/
MIPLIB01/dec/miplib2/normalized-air02.0.u.opb
UNSAT cert.
346.879
339.403
4838575
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v060-n1.opb
UNSAT cert.
426.918
415.965
4838340
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat10_9identity_complement.opb
UNSAT cert.
427.579
419.105
4838535
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
UNSAT cert.
453.74
440.41
4838209
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l045-r044-n1.opb
UNSAT cert.
472.04
454.771
4838297
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l090-r089-n1.cnf-extracted.pb.metafix.opb
UNSAT cert.
576.638
555.167
4838289
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb
UNSAT cert.
654.573
641.064
4838210
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900669797.opb
UNSAT cert.
706.245
695.124
4838165
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_096.opb
UNSAT cert.
708.223
698.94
4838611
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_350_349.opb
UNSAT cert.
773.598
774.687
4838621
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571132.opb
UNSAT cert.
869.124
856.519
4838158
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_370_369.opb
UNSAT cert.
1001.21
1002.92
4838622
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l090-r089-n1.opb
UNSAT cert.
1116.23
1076.17
4838295
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571761.opb
UNSAT cert.
1195.79
1183.04
4838159
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq9/normalized-18array_ineq9.opb
UNSAT cert.
1283.92
1269.76
4838653
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_390_389.opb
UNSAT cert.
1301.22
1303.15
4838623
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900562192.opb
UNSAT cert.
1317.29
1300.58
4838155
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
UNSAT cert.
2259.29
2212.68
4838683
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582300.opb
UNSAT cert.
2330.36
2302.51
4838162
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900667195.opb
UNSAT cert.
2430.33
2402.35
4838163
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-36.opb
UNSAT cert.
2740.3
2653.02
4838250
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (68 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.189078
0.120818
4838220
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww1.opb
SAT
0
0.193955
0.126766
4838137
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-stein27.0.s.opb
SAT
0
0.210995
0.163966
4838578
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r08-tiling/normalized-domset-hexgrid_08_052.opb
SAT
0
0.290054
0.150386
4838587
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216188.opb
SAT
0
0.544362
0.232841
4838177
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3027_9-sat.opb
SAT
0
0.579879
0.237561
4838228
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-HyperSudoku-03_c24.opb
SAT
0
0.650829
0.257897
4838554
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3042_9-sat.opb
SAT
0
0.711703
0.271123
4838229
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin8.opb
SAT
0
0.840386
0.343962
4838198
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969933.opb
SAT
0
0.97357
0.405234
4838168
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_04_036.opb
SAT
0
0.98979
0.371238
4838589
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226284.opb
SAT
0
1.05125
0.396315
4838179
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967327.opb
SAT
0
1.19316
0.443052
4838166
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974553.opb
SAT
0
1.49839
0.57061
4838171
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977266.opb
SAT
0
1.62884
0.616599
4838174
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_18.opb
SAT
0
1.94407
0.682949
4838506
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-20-25-20-1_c24.opb
SAT
0
1.9522
0.682016
4838557
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977464.opb
SAT
0
2.17593
0.774512
4838175
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900581321.opb
SAT
0
2.29688
0.849488
4838161
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975678.opb
SAT
0
2.67163
0.996448
4838173
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971766.opb
SAT
0
2.88088
1.04637
4838169
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin12.opb
SAT
0
3.01043
1.03433
4838194
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-neos-827015.0.u.opb
SAT
0
3.07899
1.1587
4838569
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
SAT
0
3.19565
1.19908
4838117
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
SAT
0
3.24301
1.17771
4838121
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
SAT
0
3.37943
1.23725
4838118
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9bt.opb
SAT
0
3.45043
1.58052
4838189
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
SAT
0
3.51176
1.29893
4838119
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
SAT
0
3.61182
1.29781
4838120
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l6_n1500.opb
SAT
0
4.65244
3.18317
4838133
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
SAT
0
5.06398
2.79199
4838125
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
SAT
0
5.1369
2.86978
4838126
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
SAT
0
5.16207
2.89575
4838124
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
SAT
0
5.42146
2.99663
4838123
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
SAT
0
5.56691
2.98997
4838122
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12ls.opb
SAT
0
5.85273
2.83567
4838192
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900553644.opb
SAT
0
6.64457
4.46039
4838151
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin10.opb
SAT
0
7.62801
4.07695
4838193
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-FRB-30-15-1_c18.opb
SAT
0
8.98892
5.49147
4838551
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat99_identity_complement.opb
SAT
0
9.67755
6.78672
4838548
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb
SAT
0
10.1147
6.55956
4838190
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
SAT
0
11.6742
7.99311
4838128
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
SAT
0
11.7175
7.97384
4838127
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
SAT
0
11.8205
8.09263
4838131
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
SAT
0
12.2049
8.22049
4838129
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
SAT
0
12.3641
8.25706
4838130
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559365.opb
SAT
0
14.6535
11.6412
4838153
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900669299.opb
SAT
0
15.0747
11.4215
4838164
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_10_triangular.opb
SAT
0
20.2693
15.5236
4838536
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat12_11_triangular.opb
SAT
0
33.539
29.0698
4838539
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb
SAT
0
43.0413
40.3752
4838105
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb
SAT
0
43.3711
40.2638
4838111
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb
SAT
0
43.4411
40.6396
4838305
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567939.opb
SAT
0
57.7473
53.5836
4838156
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-109.opb
SAT
0
132.96
126.812
4838240
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-849702.opb
SAT
0
138.69
132.377
4838238
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin14.opb
SAT
0
220.546
213.035
4838195
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb
SAT
0
230.942
226.113
4838109
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14bt.opb
SAT
0
254.991
249.265
4838181
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
SAT
0
259.926
253.878
4838183
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17ls.opb
SAT
0
261.457
255.443
4838184
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K76.opb
SAT
0
296.779
287.598
4838258
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12bt.opb
SAT
0
312.073
305.35
4838191
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_23.opb
SAT
0
359.383
347.224
4838508
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat11_11_identity_complement.opb
SAT
0
375.182
366.297
4838537
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_26.opb
SAT
0
534.836
526.281
4838509
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-162.opb
SAT
0
1805.44
1751.09
4838245
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14ls.opb
SAT
0
2536.26
2515.17
4838182
Solver timed out (no solution given) (273 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm90p-dec.opb.negationfix.opb
? (TO)
3600.06
3581.05
4838308
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-30array_alg_ineq8.opb
? (TO)
3600.06
3583.04
4838532
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole-random/normalized-php_missinghole_random_390_389.opb
? (TO)
3600.06
3603.52
4838619
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole/normalized-php_missinghole_500_499.opb
? (TO)
3600.06
3609.92
4838617
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_092.opb
? (TO)
3600.07
3595.73
4838610
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq7/normalized-22array_alg_ineq7.opb
? (TO)
3600.07
3593.23
4838652
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid6_51.shuf-1.opb
? (TO)
3600.07
3588.73
4838480
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-32array_alg_ineq8.opb
? (TO)
3600.07
3595.52
4838533
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb
? (TO)
3600.08
3607.05
4838313
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/
normalized-hw256-vm100p-dec.opb.negationfix.opb
? (TO)
3600.08
3606.65
4838311
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size80-round23-9.opb
? (TO)
3600.08
3561.15
4838501
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-tanglegram1.0.s.opb
? (TO)
3600.08
3603.23
4838565
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid4_49.shuf-3.opb
? (TO)
3600.08
3597.63
4838479
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-25diag_spec_greater.opb
? (TO)
3600.08
3597.14
4838645
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-28array_ineq8.opb
? (TO)
3600.08
3590.34
4838531
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb
? (TO)
3600.08
3554.85
4838208
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-27array_alg_ineq8.opb
? (TO)
3600.08
3596.43
4838530
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat19_19_identity_complement.opb
? (TO)
3600.09
3557.17
4838544
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm85p-dec.opb.negationfix.opb
? (TO)
3600.09
3597.43
4838307
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin18.opb
? (TO)
3600.09
3554.05
4838197
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin16.opb
? (TO)
3600.09
3568.84
4838196
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid8_87.shuf-3.opb
? (TO)
3600.09
3576.16
4838481
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-scpj4scip.0.s.opb
? (TO)
3600.09
3607.32
4838573
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-WordSquare-tab2-11-ogd2008_c24.opb
? (TO)
3600.09
3563.05
4838563
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r03_shuffle/normalized-domset-hexgrid_03_056.shuf-3.opb
? (TO)
3600.09
3594.64
4838579
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid8_51.shuf-1.opb
? (TO)
3600.09
3597.33
4838482
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_8.opb
? (TO)
3600.09
3556.54
4838511
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K191.opb
? (TO)
3600.09
3579.16
4838281
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24ls.opb
? (TO)
3600.09
3571.44
4838188
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb
? (TO)
3600.09
3602.44
4838314
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-30-24-20-1_c24.opb
? (TO)
3600.09
3580.54
4838559
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_30.opb
? (TO)
3600.1
3554.96
4838517
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-FastMatrixMultiplication-mini-2-2-2-05.opb
? (TO)
3600.1
3561.25
4838549
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K127.opb
? (TO)
3600.1
3569.34
4838269
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob4.opb
? (TO)
3600.1
3590.54
4838146
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq10/normalized-14array_alg_ineq10.opb
? (TO)
3600.1
3581.93
4838528
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900561288.opb
? (TO)
3600.1
3566.23
4838154
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob7.opb
? (TO)
3600.1
3581.15
4838149
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
? (TO)
3600.1
3547.17
4838216
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob10.opb
? (TO)
3600.1
3585.94
4838142
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob2.opb
? (TO)
3600.1
3590.73
4838144
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
? (TO)
3600.1
3540.75
4838116
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-rail01.0.s.opb
? (TO)
3600.1
3596.93
4838570
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
? (TO)
3600.1
3577.44
4838185
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole/normalized-php_missinghole_410_409.opb
? (TO)
3600.1
3606.42
4838615
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob3.opb
? (TO)
3600.11
3577.05
4838145
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K141.opb
? (TO)
3600.11
3575.74
4838272
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-18array_alg_ineq6.opb
? (TO)
3600.11
3590.93
4838649
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm75p-dec.opb.negationfix.opb
? (TO)
3600.11
3588.23
4838306
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
? (TO)
3600.11
3592.24
4838112
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24bt.opb
? (TO)
3600.11
3589.34
4838187
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v111-n1.opb
? (TO)
3600.11
3543.47
4838344
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb
? (TO)
3600.11
3605.25
4838312
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v101-n2.opb
? (TO)
3600.11
3539.37
4838352
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq5/normalized-24array_ineq5.opb
? (TO)
3600.11
3569.73
4838529
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-174.opb
? (TO)
3600.11
3454.67
4838247
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K69.opb
? (TO)
3600.11
3567.35
4838254
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-almost3reg-l090-r089-n1.opb
? (TO)
3600.11
3505.18
4838290
PB24/normalized-PB15eval/DEC-LIN/
ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-33-3.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.11
3604.27
4838323
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-table-3-3-7.opb
? (TO)
3600.11
3569.24
4838561
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat15_15_identity_complement.opb
? (TO)
3600.11
3551.66
4838542
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/
random_norational_opb/normalized-ec_random_norational_random4reg_split_100.opb
? (TO)
3600.11
3554.36
4838607
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/
random_norational_opb/normalized-ec_random_norational_random8reg_split_350.opb
? (TO)
3600.11
3548.05
4838608
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-0.opb
? (TO)
3600.11
3569.84
4838496
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP025.opb
? (TO)
3600.12
3533.66
4838461
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-bab2.0.s.opb
? (TO)
3600.12
3601.74
4838566
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-138.opb
? (TO)
3600.12
3576.27
4838244
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP085.shuf-2.opb
? (TO)
3600.12
3584.25
4838466
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_wallace/normalized-10array_wallace_less_teq.opb
? (TO)
3600.12
3587.73
4838644
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob8.opb
? (TO)
3600.12
3586.15
4838150
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
ebits/zeroth_bit/normalized-26ebits_0.opb
? (TO)
3600.12
3574.25
4838639
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
? (TO)
3600.12
3506.38
4838336
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6029_4-unsat.opb
? (TO)
3600.12
3543.56
4838231
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
? (TO)
3600.12
3576.05
4838114
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole/normalized-php_missinghole_450_449.opb
? (TO)
3600.12
3606.22
4838616
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-51-50.opb
? (TO)
3600.12
3525.27
4838663
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm90p-dec.opb.negationfix.opb
? (TO)
3600.12
3602.65
4838316
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob1.opb
? (TO)
3600.12
3592.24
4838143
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n282-d3-i1-f.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.12
3592.78
4838331
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-95-90.opb
? (TO)
3600.13
3507.37
4838668
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw128/
normalized-hw128-vm100p-dec.opb.negationfix.opb
? (TO)
3600.13
3602.83
4838304
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12059_1-sat.opb
? (TO)
3600.13
3556.65
4838225
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat15_13_triangular.opb
? (TO)
3600.13
3582.85
4838540
PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/
normalized-sumineqArity5houseP016.opb
? (TO)
3600.13
3588.44
4838460
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v081-n1.opb
? (TO)
3600.13
3544.56
4838350
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
? (TO)
3600.13
3567.09
4838635
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat20_18_triangular.opb
? (TO)
3600.13
3579.35
4838545
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-fast0507.0.s.opb
? (TO)
3600.13
3592.13
4838576
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
? (TO)
3600.13
3541.66
4838218
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n248-d3-i2-f.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.13
3603.98
4838329
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-9diag_spec_greater.opb
? (TO)
3600.13
3588.64
4838526
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq7/normalized-19array_ineq7.opb
? (TO)
3600.13
3583.45
4838651
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l060-r059-n1.opb
? (TO)
3600.13
3512.77
4838298
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size80-round23-5.opb
? (TO)
3600.13
3580.53
4838500
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb
? (TO)
3600.13
3604.16
4838317
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/
miplib2017/normalized-neos-4954274-beardy.0.u.opb
? (TO)
3600.13
3585.23
4838568
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-reblock354.0.u.opb
? (TO)
3600.13
3567.34
4838571
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm95p-dec.opb.negationfix.opb
? (TO)
3600.13
3603.14
4838309
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round21-3.opb
? (TO)
3600.13
3547.45
4838489
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/larger/vc-lines-v4_shuffle/normalized-grid10_200.shuf-3.opb
? (TO)
3600.13
3554.06
4838475
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K173.opb
? (TO)
3600.13
3570.55
4838278
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K92.opb
? (TO)
3600.13
3563.07
4838265
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j1207_4-sat.opb
? (TO)
3600.13
3560.18
4838227
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j909_2-unsat.opb
? (TO)
3600.13
3547.35
4838235
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb
? (TO)
3600.13
3563.07
4838110
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-clauses-105-100.opb
? (TO)
3600.13
3493.78
4838658
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size96-round23-0.opb
? (TO)
3600.14
3566.44
4838503
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
? (TO)
3600.14
3515.2
4838338
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
? (TO)
3600.14
3546.08
4838217
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l100-r099-n1.cnf-extracted.pb.metafix.opb
? (TO)
3600.14
3507.27
4838286
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9025_4-unsat.opb
? (TO)
3600.14
3548.07
4838233
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat16_15_identity_complement.opb
? (TO)
3600.14
3556.96
4838543
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x80split.cnf-extracted.pb.metafix.opb
? (TO)
3600.14
3521.28
4838682
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-dec.opb.negationfix.opb
? (TO)
3600.14
3592.05
4838310
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820157.opb
? (TO)
3600.14
3548.56
4838237
PB24/normalized-PB15eval/DEC-LIN/
ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-58-2.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.14
3590.36
4838324
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole-random/normalized-php_missinghole_random_480_479.opb
? (TO)
3600.14
3608.92
4838620
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-seymour.0.u.opb
? (TO)
3600.14
3546.84
4838577
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb
? (TO)
3600.14
3522.59
4838634
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-rmine21.0.u.opb
? (TO)
3600.14
3605.05
4838572
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
3548.36
4838214
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round23-9.opb
? (TO)
3600.14
3581.84
4838499
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height27_pigeons26_holes25.opb
? (TO)
3600.14
3504.9
4838630
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-57.opb
? (TO)
3600.14
3515.88
4838251
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K195.opb
? (TO)
3600.14
3585.34
4838282
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallace_spec/normalized-25wallace_spec_greater_tvars.opb
? (TO)
3600.14
3570.85
4838647
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820146.opb
? (TO)
3600.14
3548.95
4838236
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb
? (TO)
3600.14
3519.26
4838285
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round22-1.opb
? (TO)
3600.14
3557.95
4838494
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K109.opb
? (TO)
3600.14
3576.17
4838261
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v1_shuffle/normalized-grid6_49.shuf-2.opb
? (TO)
3600.14
3592.15
4838485
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round21-7.opb
? (TO)
3600.14
3564.55
4838497
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob6.opb
? (TO)
3600.14
3584.15
4838148
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round22-3.opb
? (TO)
3600.14
3563.85
4838490
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_14.opb
? (TO)
3600.15
3548.96
4838504
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-41-40.opb
? (TO)
3600.15
3549.27
4838661
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v3_shuffle/normalized-grid8_111.shuf-3.opb
? (TO)
3600.15
3570.35
4838474
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r06_shuffle/normalized-domset-hexgrid_06_068.shuf-3.opb
? (TO)
3600.15
3583.05
4838585
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-859770.0.d.opb
? (TO)
3600.15
3577.24
4838564
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid8_61.shuf-3.opb
? (TO)
3600.15
3580.56
4838478
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-3.opb
? (TO)
3600.15
3557.87
4838473
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height42_pigeons41_holes40.opb
? (TO)
3600.15
3569.57
4838633
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K157.opb
? (TO)
3600.15
3549.15
4838275
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_8-unsat.opb
? (TO)
3600.15
3536.07
4838232
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K94.opb
? (TO)
3600.15
3560.84
4838267
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K136.opb
? (TO)
3600.15
3577.16
4838271
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
? (TO)
3600.15
3531.56
4838219
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K80.opb
? (TO)
3600.15
3561.45
4838262
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-28-30-20-1_c24.opb
? (TO)
3600.15
3575.84
4838558
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb
? (TO)
3600.15
3539.19
4838662
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole-random/normalized-php_missinghole_random_190_189.opb
? (TO)
3600.15
3570.63
4838618
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K108.opb
? (TO)
3600.15
3571.56
4838260
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat15_14_triangular.opb
? (TO)
3600.15
3584.16
4838541
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j1206_5-sat.opb
? (TO)
3600.15
3559.46
4838226
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb
? (TO)
3600.15
3540.47
4838343
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
? (TO)
3600.15
3522.36
4838284
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v051-n3.opb
? (TO)
3600.15
3539.87
4838349
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v081-n3.opb
? (TO)
3600.15
3534.77
4838351
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round22-8.opb
? (TO)
3600.15
3588.24
4838498
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-4000.shuf-2.opb
? (TO)
3600.16
3576.16
4838451
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww3.opb
? (TO)
3600.16
3587.15
4838139
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_05_050.opb
? (TO)
3600.16
3585.16
4838591
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-121.opb
? (TO)
3600.16
3554.98
4838241
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/larger/vc-nve-large-v3/normalized-grid6_171.opb
? (TO)
3600.16
3577.05
4838476
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-9.opb
? (TO)
3600.16
3569.34
4838493
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm50p-dec.opb.negationfix.opb
? (TO)
3600.16
3605.05
4838315
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP055.shuf-2.opb
? (TO)
3600.16
3583.08
4838465
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-dec2-3-3-9.opb
? (TO)
3600.16
3507.66
4838560
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-clauses-101-100.opb
? (TO)
3600.16
3501.28
4838657
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat20_19_identity_complement.opb
? (TO)
3600.16
3560.96
4838546
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
? (TO)
3600.16
3506.68
4838334
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K74.opb
? (TO)
3600.16
3568.35
4838256
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_06_047.opb
? (TO)
3600.16
3579.07
4838592
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K145.opb
? (TO)
3600.16
3576.06
4838273
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12026_4-sat.opb
? (TO)
3600.16
3548.86
4838221
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K93.opb
? (TO)
3600.17
3558.95
4838266
PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/
normalized-sumineqArity3houseP016.opb
? (TO)
3600.17
3598.65
4838459
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v2_shuffle/normalized-grid8_63.shuf-1.opb
? (TO)
3600.17
3572.16
4838486
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12052_3-unsat.opb
? (TO)
3600.17
3552.76
4838222
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K82.opb
? (TO)
3600.17
3587.54
4838263
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww5.opb
? (TO)
3600.17
3583.43
4838141
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21ls.opb
? (TO)
3600.17
3575.74
4838186
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r05_shuffle/normalized-domset-hexgrid_05_048.shuf-2.opb
? (TO)
3600.17
3584.25
4838583
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06/normalized-ec_stargrid_06_084.opb
? (TO)
3600.17
3540.77
4838597
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_038.shuf-1.opb
? (TO)
3600.17
3593.44
4838581
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height21_pigeons20_holes19.opb
? (TO)
3600.17
3484.41
4838626
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height22_pigeons21_holes20.opb
? (TO)
3600.17
3461.3
4838627
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww2.opb
? (TO)
3600.17
3588.94
4838138
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round22-2.opb
? (TO)
3600.17
3573.25
4838495
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob5.opb
? (TO)
3600.17
3580.94
4838147
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
? (TO)
3600.17
3516.88
4838136
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K170.opb
? (TO)
3600.17
3564.45
4838277
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
? (TO)
3600.17
3523.37
4838680
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x120split.opb
? (TO)
3600.17
3512.2
4838335
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K131.opb
? (TO)
3600.17
3566.75
4838270
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K188.opb
? (TO)
3600.17
3578.16
4838280
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP095.shuf-3.opb
? (TO)
3600.18
3581.95
4838471
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
? (TO)
3600.18
3548.36
4838113
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r06_shuffle/normalized-domset-hexgrid_06_064.shuf-3.opb
? (TO)
3600.18
3578.56
4838584
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height23_pigeons22_holes21.opb
? (TO)
3600.18
3474.41
4838628
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
? (TO)
3600.18
3552.95
4838115
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
? (TO)
3600.18
3552.08
4838106
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb
? (TO)
3600.18
3518.21
4838631
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K95.opb
? (TO)
3600.18
3574.55
4838268
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_048.shuf-1.opb
? (TO)
3600.18
3592.05
4838582
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/random_large_opb/normalized-ECrand6reg_151.opb
? (TO)
3600.18
3574.66
4838601
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12056_2-sat.opb
? (TO)
3600.18
3555.17
4838223
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K91.opb
? (TO)
3600.18
3565.06
4838264
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww4.opb
? (TO)
3600.18
3584.06
4838140
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Pentominoes-03-40_c24.opb
? (TO)
3600.18
3565.46
4838555
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_11_076.opb
? (TO)
3600.18
3576.85
4838593
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-69.opb
? (TO)
3600.18
3505.18
4838252
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K107.opb
? (TO)
3600.18
3543.85
4838259
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K73.opb
? (TO)
3600.18
3532.54
4838255
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-125.opb
? (TO)
3600.18
3535.57
4838242
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K181.opb
? (TO)
3600.18
3562.16
4838279
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid8_91.shuf-2.opb
? (TO)
3600.18
3577.34
4838483
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_042.shuf-3.opb
? (TO)
3600.19
3501.88
4838595
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
? (TO)
3600.19
3553.78
4838132
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-91-90.opb
? (TO)
3600.19
3519.28
4838667
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-cdc7-4-3-2.0.u.opb
? (TO)
3600.19
3395.87
4838567
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-8.opb
? (TO)
3600.19
3552.85
4838491
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K147.opb
? (TO)
3600.19
3576.85
4838274
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb
? (TO)
3600.19
3570.95
4838108
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_04_075.opb
? (TO)
3600.19
3571.96
4838590
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K199.opb
? (TO)
3600.19
3571.95
4838283
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallace_spec/normalized-18wallace_spec_greater_tvars.opb
? (TO)
3600.19
3553.44
4838646
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size96-round21-0.opb
? (TO)
3600.19
3574.85
4838502
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_045.shuf-1.opb
? (TO)
3600.19
3512.19
4838598
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
? (TO)
3600.19
3531.48
4838135
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-FastMatrixMultiplication-table-3-1-3-09.opb
? (TO)
3600.19
3545.95
4838550
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb
? (TO)
3600.19
3559.4
4838636
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
? (TO)
3600.19
3521.2
4838337
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-65-60.opb
? (TO)
3600.19
3500.58
4838664
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-almost3reg-l100-r099-n1.opb
? (TO)
3600.19
3505.37
4838291
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n272-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.19
3596.58
4838330
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n238-d3-i2-r2.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.19
3591.77
4838328
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb
? (TO)
3600.2
3541.96
4838107
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_037.shuf-3.opb
? (TO)
3600.2
3588.17
4838580
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP045.shuf-3.opb
? (TO)
3600.2
3578.77
4838470
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x100split.opb
? (TO)
3600.2
3518.98
4838302
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v111-n2.opb
? (TO)
3600.2
3530.47
4838353
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-71-70.opb
? (TO)
3600.2
3509.97
4838665
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-38.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.2
3596.47
4838319
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_15.opb
? (TO)
3600.2
3547.86
4838505
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-190.opb
? (TO)
3600.2
3494.79
4838249
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-81-80.opb
? (TO)
3600.2
3487.48
4838666
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-17.opb
? (TO)
3600.2
3501.87
4838248
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_018.shuf-3.opb
? (TO)
3600.21
3512.58
4838594
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-133.opb
? (TO)
3600.21
3576.09
4838243
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP085.opb
? (TO)
3600.21
3588.86
4838462
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
? (TO)
3600.21
3526.68
4838134
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-1.opb
? (TO)
3600.21
3577.96
4838472
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-nve-large-v1/normalized-grid8_97.opb
? (TO)
3600.21
3574.29
4838488
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n226-d3-i2-f.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.21
3590.09
4838327
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_033.shuf-1.opb
? (TO)
3600.22
3540.68
4838596
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n288-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.22
3580.1
4838332
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb
? (TO)
3600.22
3534.58
4838342
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP035.shuf-1.opb
? (TO)
3600.22
3570.85
4838464
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_07_100.opb
? (TO)
3600.22
3527.48
4838604
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12056_9-sat.opb
? (TO)
3600.23
3550.36
4838224
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Hamming-30-15-07-14_c24.opb
? (TO)
3600.23
3526.19
4838553
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb
? (TO)
3600.23
3509.12
4838629
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
? (TO)
3600.23
3530.21
4838215
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-81.opb
? (TO)
3600.24
3503.19
4838253
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K163.opb
? (TO)
3600.24
3575.08
4838276
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-table-3-3-9.opb
? (TO)
3600.25
3564.05
4838562
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K75.opb
? (TO)
3600.27
3566.83
4838257
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n200-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.27
3608.88
4838326
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-169.opb
? (TO)
3600.31
3469.7
4838246
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq10/normalized-17array_ineq10.opb
? (TO)
3600.33
3579.18
4838648
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
? (TO)
3600.35
3602.31
4838318
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-8.opb
? (TO)
3600.41
3568.01
4838492
Category "optimization problem, linear constraints, no OPT/UNSAT certificate" (OPT-LIN)
Solver proved unsatisfiability and generated a good certificate (11 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1093.cudf.trendy.opb
UNSAT cert.
0.358875
0.167236
4837868
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-122.cudf.trendy.opb
UNSAT cert.
0.477431
0.207397
4837869
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-rand03b0b5.cudf.paranoid.opb
UNSAT cert.
0.584558
0.23991
4837874
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-randab5933.cudf.paranoid.opb
UNSAT cert.
0.754565
0.346372
4837876
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-519.cudf.paranoid.opb
UNSAT cert.
0.881658
1.49138
4837866
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-520.cudf.trendy.opb
UNSAT cert.
0.892314
0.399038
4837871
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randb3c96d.cudf.trendy.opb
UNSAT cert.
0.899539
0.353556
4837879
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.biglist/normalized-rand5c0b12.cudf.paranoid.opb
UNSAT cert.
1.01395
0.404111
4837873
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1238.cudf.paranoid.opb
UNSAT cert.
1.06881
0.413155
4837864
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1243.cudf.trendy.opb
UNSAT cert.
1.11012
0.420246
4837870
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=379-Q=521.opb
UNSAT cert.
176.344
193.82
4837755
Solver found optimum and generated a good certificate (137 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1078.cudf.paranoid.opb
OPT cert.
4
0.213887
0.13858
4837863
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g2x2.opb
OPT cert.
2
0.219166
19.3454
4837690
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_50_001.opb
OPT cert.
-406
0.222175
0.136538
4838057
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb
OPT cert.
-1073741823
0.230654
0.321801
4837648
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-hmittelman.lin.opb
OPT cert.
13
0.233176
0.141009
4837996
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g4x4.opb
OPT cert.
4
0.234413
19.4318
4837691
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_004.opb.metafix.opb
OPT cert.
32
0.240217
0.143262
4837979
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_000.opb.metafix.opb
OPT cert.
30
0.240515
0.139833
4837978
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-bbara.r.opb
OPT cert.
7
0.242767
0.144587
4837677
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb
OPT cert.
9663726592
0.247875
0.284764
4837649
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_04.opb
OPT cert.
-3
0.24899
0.141341
4838409
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f18-AC1Loss.seq-A-2-2-irabcde.opb
OPT cert.
7552
0.261639
0.160675
4838011
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x3.opb
OPT cert.
7
0.26276
19.4293
4837693
PB24/normalized-PB06/OPT-LIN/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb
OPT cert.
6
0.265681
0.177095
4837733
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_05.opb
OPT cert.
-4
0.268854
0.152596
4838410
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-5_10.opb
OPT cert.
3951
0.275281
0.449226
4837820
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
strongly_correlated_span/normalized-knapPI_13_20_1000_4_-907.opb
OPT cert.
-1404
0.279109
0.152921
4838361
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__8.opb
OPT cert.
46877
0.315941
0.790764
4837827
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb
OPT cert.
100
0.330286
0.229353
4837650
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-6_12.opb
OPT cert.
5867
0.336066
0.170126
4837821
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_007.opb.metafix.opb
OPT cert.
47
0.340607
0.16871
4837971
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_500_1000_2_-5036.opb
OPT cert.
-5036
0.342979
0.166062
4838357
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_05.opb
OPT cert.
-4
0.34603
0.169417
4838414
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f8-AC2Loss.seq-A-3-2-irEDCBA.opb
OPT cert.
66733263
0.353996
0.174201
4838019
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f15-AC_ESSLoss.seq-A-2-2-irabcde.opb
OPT cert.
33523448
0.365733
0.185534
4838010
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb
OPT cert.
200
0.369132
0.204932
4837651
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f19-ACTotalLoss.seq-B-3-2-irEDCBA.opb
OPT cert.
889889
0.385318
0.182168
4838012
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
OPT cert.
304
0.394061
0.227393
4837775
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_04.opb
OPT cert.
0
0.396901
0.20552
4838373
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb
OPT cert.
36
0.400817
0.191553
4837660
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-4.opb
OPT cert.
350
0.402205
0.250833
4837658
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/area_partials/normalized-fir05_area_partials.opb
OPT cert.
36
0.421155
0.207637
4837791
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f5-AC1Loss.seq-A-2-1-EDCBAir.opb
OPT cert.
-198938
0.427587
0.186208
4838018
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-7_14.opb
OPT cert.
5148
0.44186
0.537263
4837822
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/area_partials/normalized-fir07_area_partials.opb
OPT cert.
33
0.466153
0.223619
4837792
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-5.opb
OPT cert.
350
0.471255
0.260809
4837659
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb
OPT cert.
36
0.472394
0.210301
4837661
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb
OPT cert.
36
0.474993
0.199111
4837662
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb
OPT cert.
200
0.475479
0.226857
4837652
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-ricks.r.opb
OPT cert.
5
0.528636
0.244896
4837679
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_002.opb.metafix.opb
OPT cert.
42
0.573728
0.244682
4837970
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb
OPT cert.
36
0.633035
0.258129
4837663
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__16.opb
OPT cert.
45008
0.647027
1.01548
4837832
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir01_trarea_ac.opb
OPT cert.
13949
0.65367
0.272734
4837808
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh220.opb
OPT cert.
94
0.66953
0.27912
4837657
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_2000_1000_4_-39215.opb
OPT cert.
-39215
0.696381
0.330984
4838356
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh209.opb
OPT cert.
93
0.73438
0.293241
4837655
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=251-Q=379.opb
OPT cert.
251
0.751706
19.5096
4837754
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ4_3.opb
OPT cert.
20
0.817196
0.341146
4837681
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
uncorrelated_span/normalized-knapPI_11_50_1000_1_-1428.opb
OPT cert.
-1428
0.912376
0.395382
4838363
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb
OPT cert.
8034
0.969765
0.366279
4837818
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-902.cudf.trendy.opb
OPT cert.
283030
0.970972
0.358633
4837872
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-8_16.opb
OPT cert.
5852
1.01941
0.730808
4837823
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh1.opb
OPT cert.
92
1.05908
0.391999
4837654
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-550.cudf.paranoid.opb
OPT cert.
2
1.05974
0.406594
4837867
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data4_3.opb
OPT cert.
8276
1.13452
0.427488
4837685
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=47-Q=197.opb
OPT cert.
47
1.17394
19.6411
4837756
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=67-Q=223.opb
OPT cert.
67
1.38655
0.589678
4837757
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=10.opb
OPT cert.
0
1.41841
0.515734
4838021
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1468.cudf.paranoid.opb
OPT cert.
6
1.59938
0.580635
4837865
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g7x7.opb
OPT cert.
12
1.69145
19.9151
4837692
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j301_3.std.opb
OPT cert.
47
2.29004
0.8493
4837888
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b4.opb
OPT cert.
376
2.31679
0.812305
4837653
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3011_6.std.opb
OPT cert.
44
2.34361
0.851435
4837887
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
OPT cert.
8908
2.46808
0.857721
4837819
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3046_4.std.opb
OPT cert.
64
2.60551
0.957889
4837889
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=317.opb
OPT cert.
89
2.70742
1.54046
4837758
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament08.lin.opb
OPT cert.
-12
3.26844
1.12704
4837998
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_7.opb
OPT cert.
25
3.43408
8.9986
4837727
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_008.opb.metafix.opb
OPT cert.
50
3.44064
1.45607
4837972
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rand601ba8.cudf.trendy.opb
OPT cert.
84900802172
3.45722
1.17786
4837882
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
similar_weights/normalized-knapPI_9_100_1000_2_-997.opb
OPT cert.
-997
3.47545
1.6218
4838359
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh217.opb
OPT cert.
89
4.64441
2.21654
4837656
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=101-Q=379.opb
OPT cert.
101
4.91003
22.667
4837753
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j6018_6.std.opb
OPT cert.
61
5.18665
2.22786
4837890
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_10_10.r.opb
OPT cert.
8
5.52001
2.63689
4837678
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
OPT cert.
2642
7.22833
5.33716
4837777
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
almost_strongly_correlated/normalized-knapPI_5_50_10000_4_-18105.opb
OPT cert.
-32113
7.52952
7.07075
4838358
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j9026_10.std.opb
OPT cert.
92
8.59436
4.49174
4837892
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-rand0a62b6.cudf.trendy.opb
OPT cert.
18540641211
9.40094
5.56787
4837880
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_009.opb.metafix.opb
OPT cert.
70
9.879
7.41747
4837974
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12030_8.std.opb
OPT cert.
79
10.034
6.86256
4837883
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=8-t=2.opb
OPT cert.
6
12.3938
9.71083
4838028
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12035_8.std.opb
OPT cert.
101
13.6526
7.91302
4837884
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb
OPT cert.
1
13.813
29.9859
4837762
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-1-irEDCBA.opb
OPT cert.
13718029
13.8477
10.8242
4838016
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-3572885-glina.mps.opb
OPT cert.
0
15.4208
12.0127
4838690
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
weakly_correlated/normalized-knapPI_2_100_1000_5_-3352.opb
OPT cert.
-4652
18.8833
16.2069
4838365
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand4bf850.cudf.trendy.opb
OPT cert.
31850906195
21.8923
17.9348
4837877
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randa09fe9.cudf.trendy.opb
OPT cert.
28830293738
22.9247
18.3265
4837878
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
OPT cert.
1567
26.2068
21.6824
4837675
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r8_c10.opb
OPT cert.
21
32.2337
27.7876
4838418
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_17.opb
OPT cert.
-72
33.7819
29.4103
4838397
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-8000opt.opb
OPT cert.
-76
34.231
29.9497
4837842
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-7000opt.opb
OPT cert.
-68
34.3729
30.0763
4837841
PB24/normalized-PB06/OPT-LIN/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb
OPT cert.
34
35.8254
31.8144
4837734
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
OPT cert.
41
38.5118
31.5307
4837739
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-9000opt.opb
OPT cert.
-79
39.1446
34.6314
4837843
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_4_shg.opb
OPT cert.
22
43.3278
38.2489
4837908
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb
OPT cert.
66
45.9271
41.3474
4837668
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-6000opt.opb
OPT cert.
-74
49.8202
45.1518
4837840
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.B.recomb1-0.10-8.opb
OPT cert.
589
58.3051
51.0756
4837910
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__2048.opb
OPT cert.
45008
59.9965
55.6526
4837833
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-1000opt.opb
OPT cert.
-178
60.7587
54.5668
4837835
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j605_4.std.opb
OPT cert.
72
68.3889
61.2111
4837891
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f32-AC_DoubleLoss.seq-A-3-combined-abcdeir.opb
OPT cert.
19435314071
68.6231
64.0258
4838014
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Charlotte-mini-06-2_c24.opb
OPT cert.
5584
69.3437
63.5857
4838073
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
OPT cert.
60
73.7953
69.5166
4837667
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-ns1688347.opb
OPT cert.
27
79.6144
73.3323
4837895
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
OPT cert.
36
99.0855
94.4366
4837669
PB26/normalized-PB26/OPT-LIN/
devriendt/tsplib/normalized-gr17.opb
OPT cert.
2085
102.711
97.3781
4838084
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.14.opb
OPT cert.
42
107.799
99.9934
4837740
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
OPT cert.
62
125.471
119.825
4837664
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-jac3.opb
OPT cert.
15
134.938
127.225
4837672
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
OPT cert.
20
136.176
130.157
4837694
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.02.opb
OPT cert.
44
141.396
134.147
4837735
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
OPT cert.
64
151.134
145.018
4837665
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/
normalized-maxcut_opt_complete_6-partite_block_nvert_18.opb
OPT cert.
-81
164.697
156.818
4838403
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-7000opt.opb
OPT cert.
-172
177.506
169.662
4837838
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=2.opb
OPT cert.
8
232.916
224.401
4838029
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f37-AC_TotalLoss.seq-B-2-1-irabcde.opb
OPT cert.
1678960413
251.697
242.073
4838015
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb
OPT cert.
62
290.782
283.582
4837666
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/10orplus/normalized-monodevelop-nunit.cudf.paranoid.opb
OPT cert.
142331
306.348
299.517
4837853
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/datasets/
10orplus/normalized-openoffice.org-l10n-da.cudf.paranoid.opb
OPT cert.
146152
326.825
321.237
4837854
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-10000opt.opb
OPT cert.
-164
341.585
333.678
4837834
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i4_pp_95_merged.opb
OPT cert.
568
374.733
367.2
4838043
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/9orless/normalized-r-cran-lme4.cudf.paranoid.opb
OPT cert.
146111
377.568
371.939
4837855
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_11.opb
OPT cert.
-10
381.737
374.05
4838406
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
OPT cert.
24890
470.924
462.933
4837809
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i5_pp_97_merged.opb
OPT cert.
800
504.507
493.447
4838044
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_04_200_176.opb
OPT cert.
0
885.824
879.212
4837744
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir02_area_opers.opb
OPT cert.
18
972.006
958.666
4837789
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
OPT cert.
37
981.302
960.849
4837736
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i6_pp_93_merged.opb
OPT cert.
376
2364.01
2354.77
4838046
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-9000opt.opb
OPT cert.
-193
2480.54
2472.29
4837839
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.08.opb
OPT cert.
34
2745.34
2696.55
4837742
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_10.opb
OPT cert.
55
3290.1
3267.71
4837728
Solver timed out but found at least a solution (310 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_6_mh.opb
SAT (TO)
7586846
3600.07
3590.73
4837960
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
SAT (TO)
88
3600.07
3597.92
4837785
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-3.opb
SAT (TO)
3061
3600.07
3583.93
4837776
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
SAT (TO)
8
3600.07
3577.33
4837780
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
SAT (TO)
5
3600.07
3595.14
4837779
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
SAT (TO)
19
3600.08
3601.04
4837781
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_45.opb
SAT (TO)
-454
3600.08
3561.15
4838398
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_6.opb
SAT (TO)
5549177
3600.08
3593.52
4837931
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__8.opb
SAT (TO)
165266
3600.08
3588.14
4837831
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_65.opb
SAT (TO)
-978
3600.08
3565.15
4838400
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-markshare1.opb
SAT (TO)
776192
3600.08
3591.53
4837629
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_14x14_006.opb.metafix.opb
SAT (TO)
95
3600.09
3582.44
4837975
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_85.opb
SAT (TO)
-1648
3600.09
3573.63
4838401
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_4.opb
SAT (TO)
6537163
3600.09
3604.43
4837936
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_490.opb
SAT (TO)
3318
3600.09
3568.83
4838424
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_4_mh_ic.opb
SAT (TO)
3347375
3600.09
3603.43
4837945
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-n3div36.opb
SAT (TO)
5737
3600.09
3606.23
4837893
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_801.opb
SAT (TO)
16603
3600.09
3559.44
4838376
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_170_002.opb
SAT (TO)
-3663
3600.09
3581.34
4838051
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern35-09.lin.opb
SAT (TO)
-1201
3600.09
3565.43
4837990
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
SAT (TO)
6632
3600.09
3573.33
4837773
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
SAT (TO)
51
3600.09
3593.23
4837783
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_32_label3_adversarial_norm_0.opb
SAT (TO)
467
3600.09
3583.93
4838063
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay25.lin.opb
SAT (TO)
5426
3600.09
3594.04
4837994
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
SAT (TO)
235
3600.09
3572.83
4837726
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-edgecross14-058.lin.opb
SAT (TO)
538
3600.1
3569.83
4837993
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
SAT (TO)
1175
3600.1
3571.94
4837705
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_390_005.opb
SAT (TO)
-10893
3600.1
3547.34
4838053
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
uncorrelated_span/normalized-knapPI_11_100_1000_2_-3990.opb
SAT (TO)
-3990
3600.1
3583.93
4838362
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C432.opb
SAT (TO)
6781
3600.1
3581.25
4837674
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-sonata.cudf.trendy.opb
SAT (TO)
2707388501686
3600.1
3598.16
4837858
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_65.opb
SAT (TO)
-2
3600.1
3573.93
4838415
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran16x16.opb
SAT (TO)
8473482
3600.1
3601.43
4837633
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-kbd.cudf.trendy.opb
SAT (TO)
2782807509608
3600.1
3595.94
4837860
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_3_mh.opb
SAT (TO)
6198659
3600.1
3601.35
4837963
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_10000_10000_4_-11456508.opb
SAT (TO)
-15299287
3600.1
3582.54
4838360
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r8_c90.opb
SAT (TO)
204
3600.1
3570.75
4838420
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_7.opb
SAT (TO)
5959185
3600.1
3592.73
4837938
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_22.opb
SAT (TO)
-44
3600.1
3556.54
4838413
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
SAT (TO)
214
3600.1
3554.75
4837696
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
SAT (TO)
1192
3600.11
3566.55
4837708
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir08_trarea_ac.opb
SAT (TO)
93924
3600.11
3602.54
4837815
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_3.opb
SAT (TO)
4578207
3600.11
3600.92
4837934
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb
SAT (TO)
6367
3600.11
3569.83
4838068
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_100_3__3_91__32.opb
SAT (TO)
70998
3600.11
3598.13
4837825
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-e64.b.opb
SAT (TO)
64
3600.11
3563.45
4837670
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
SAT (TO)
3296
3600.11
3568.33
4837688
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
SAT (TO)
27
3600.11
3565.34
4837804
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-neos-1616732.opb
SAT (TO)
163
3600.11
3562.16
4837894
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.opb
SAT (TO)
0
3600.11
3564.53
4838367
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-rococoC11-010100.mps.opb
SAT (TO)
110592
3600.11
3591.24
4838692
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
SAT (TO)
17
3600.11
3569.73
4837782
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_14.opb
SAT (TO)
176
3600.11
3570.23
4837730
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-mono-gac.cudf.trendy.opb
SAT (TO)
2703595984254
3600.11
3600.05
4837862
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z10-s2.opb
SAT (TO)
-19277
3600.12
3581.17
4837896
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
SAT (TO)
507
3600.12
3590.15
4837743
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
SAT (TO)
63681
3600.12
3564.05
4837816
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
SAT (TO)
213
3600.12
3558.75
4837699
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb
SAT (TO)
346602
3600.12
3594.23
4837647
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
SAT (TO)
215
3600.12
3560.63
4837695
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_710_002.opb
SAT (TO)
-25763
3600.12
3586.95
4838059
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_2.opb
SAT (TO)
4243583
3600.12
3604.84
4837933
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_007_area_delay.opb
SAT (TO)
35
3600.12
3577.14
4837795
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
SAT (TO)
-44
3600.12
3550.25
4837771
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/
normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX60_K67_cod2_pbEq1_newVersion_binary.opb
SAT (TO)
-19507
3600.12
3597.25
4837618
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-nug08.opb
SAT (TO)
110
3600.12
3571.23
4837636
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-ex5.pi.opb
SAT (TO)
81
3600.12
3486.07
4837671
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_26.opb
SAT (TO)
0
3600.12
3565.94
4838368
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb
SAT (TO)
162
3600.12
3568.34
4838066
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_008.opb.metafix.opb
SAT (TO)
72
3600.12
3573.36
4837973
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_9.opb
SAT (TO)
4602377
3600.12
3596.72
4837939
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm50p-opt.opb.negationfix.opb
SAT (TO)
64
3600.12
3574.05
4838008
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
SAT (TO)
27
3600.12
3598.24
4837799
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
SAT (TO)
69
3600.12
3591.94
4837784
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-seymour.opb
SAT (TO)
495
3600.12
3555.74
4837898
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-sp98ic.opb
SAT (TO)
622354759199999996
3600.12
3574.15
4837899
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_14x14_008.opb.metafix.opb
SAT (TO)
85
3600.12
3577.55
4837976
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rand49e642.cudf.trendy.opb
SAT (TO)
39641230
3600.12
3583.04
4837881
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb
SAT (TO)
1962
3600.12
3587.05
4837639
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
SAT (TO)
3897566335
3600.12
3581.93
4837644
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
SAT (TO)
156
3600.12
3600.74
4837904
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_9_mh.opb
SAT (TO)
7037202
3600.13
3594.14
4837961
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/
normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion.opb
SAT (TO)
-97
3600.13
3597.34
4837621
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE2.0_TMAX120_K67_cod2.opb
SAT (TO)
-28479
3600.13
3596.74
4837625
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
SAT (TO)
44
3600.13
3520.54
4837906
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_2_mh.opb
SAT (TO)
6887657
3600.13
3602.74
4837962
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
SAT (TO)
26
3600.13
3564.84
4837801
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
SAT (TO)
-33
3600.13
3561.16
4837766
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
SAT (TO)
-29
3600.13
3552.05
4837763
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
SAT (TO)
12
3600.13
3575.33
4837778
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb
SAT (TO)
1909135
3600.13
3604.65
4837995
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_851.opb
SAT (TO)
243
3600.13
3545.05
4838383
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f26-ACDoubleLoss.seq-B-2-1-abcdeir.opb
SAT (TO)
23133
3600.13
3566.15
4838013
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_080.opb
SAT (TO)
3280
3600.13
3542.35
4838391
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f44-DC_ESS.seq-B-2-combined-irabcde.opb
SAT (TO)
35594522181
3600.13
3574.26
4838017
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb
SAT (TO)
217
3600.13
3555.06
4837704
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ex1010-pi.opb
SAT (TO)
442
3600.13
3588.74
4838035
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_9_mh.opb
SAT (TO)
2879106
3600.13
3608.55
4837965
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_7.opb
SAT (TO)
2979639
3600.13
3607.82
4837932
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_57.opb
SAT (TO)
-732
3600.13
3563.53
4838399
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta02.opb
SAT (TO)
8175
3600.14
3560.35
4838095
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_7_label9_adversarial_norm_2.opb
SAT (TO)
1601624
3600.14
3591.43
4838062
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-SameQueensKnights-b-45_c24.opb
SAT (TO)
-75
3600.14
3594.65
4838079
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb
SAT (TO)
356
3600.14
3575.93
4838067
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb
SAT (TO)
1164
3600.14
3524.44
4837712
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb
SAT (TO)
49602
3600.14
3593.24
4838065
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/
normalized-maxcut_opt_complete_6-partite_block_nvert_78.opb
SAT (TO)
-1414
3600.14
3586.33
4838404
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r10_c90.opb
SAT (TO)
263
3600.14
3570.34
4838419
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_50.opb
SAT (TO)
-596
3600.14
3547.53
4838396
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
SAT (TO)
-42
3600.14
3553.06
4837768
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb
SAT (TO)
1174
3600.14
3572.74
4837714
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb
SAT (TO)
1165
3600.14
3566.15
4837706
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r8_c50.opb
SAT (TO)
113
3600.14
3560.36
4838421
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_6.opb
SAT (TO)
4647753
3600.14
3604.04
4837937
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
SAT (TO)
24
3600.14
3594.45
4837806
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_7.opb
SAT (TO)
1168
3600.14
3606.35
4838040
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i8_pp_96_merged.opb
SAT (TO)
770
3600.14
3510.34
4838047
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
SAT (TO)
78345
3600.15
3558.84
4837684
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_1_mh_ic.opb
SAT (TO)
13344423
3600.15
3600.35
4837948
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_7_mh.opb
SAT (TO)
8111014
3600.15
3601.45
4837964
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.F.recomb10-0.10-10.opb
SAT (TO)
57027
3600.15
3527.86
4837917
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.10-9.opb
SAT (TO)
122916
3600.15
3595.55
4837919
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb
SAT (TO)
2066
3600.15
3575.94
4838423
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb
SAT (TO)
237
3600.15
3583.44
4838070
PB25/normalized-PB25/OPT-LIN/
wallon/normalized-StillLife-09-12_c24.opb
SAT (TO)
-56
3600.15
3559.94
4838080
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-hal-cups-utils.cudf.trendy.opb
SAT (TO)
2944316698817
3600.15
3599.84
4837856
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos13.opb
SAT (TO)
-91120150
3600.15
3581.34
4837635
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
SAT (TO)
64
3600.15
3550.25
4837682
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
SAT (TO)
839
3600.15
3574.15
4837774
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-5000opt.opb
SAT (TO)
-169
3600.15
3596.05
4837837
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-yn3.opb
SAT (TO)
11263
3600.15
3607.67
4838101
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
SAT (TO)
216
3600.15
3562.05
4837697
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
SAT (TO)
28
3600.15
3582.55
4837807
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
SAT (TO)
43725
3600.15
3585.44
4837813
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_14_shg.opb
SAT (TO)
104
3600.15
3594.44
4837905
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
SAT (TO)
27
3600.15
3569.45
4837803
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb
SAT (TO)
1186
3600.15
3533.55
4837711
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
SAT (TO)
48278
3600.15
3574.16
4837812
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_260_002.opb
SAT (TO)
-6571
3600.15
3522.74
4838052
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_54.opb
SAT (TO)
-651
3600.15
3555.33
4838405
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/
9orless/normalized-libmono-relaxng1.0-cil.cudf.trendy.opb
SAT (TO)
2703595984255
3600.15
3599.63
4837861
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
multiple_strongly_correlated/normalized-knapPI_14_500_1000_4_-31297.opb
SAT (TO)
-53397
3600.15
3584.83
4838364
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib3/normalized-nw04.opb
SAT (TO)
18016
3600.16
3608.75
4838030
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
SAT (TO)
-44
3600.16
3551.55
4837772
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb
SAT (TO)
98
3600.16
3580.08
4838416
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
SAT (TO)
1171
3600.16
3575.84
4837709
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=12-t=2.opb
SAT (TO)
10
3600.16
3555.67
4838024
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_6_mh_ic.opb
SAT (TO)
3502400
3600.16
3603.73
4837946
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
SAT (TO)
46833
3600.16
3560.16
4837687
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
SAT (TO)
26
3600.16
3578.34
4837800
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-tanglegram3.opb
SAT (TO)
23593
3600.16
3610.55
4837902
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir09_area_opers.opb
SAT (TO)
58
3600.16
3603.75
4837790
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_030.opb
SAT (TO)
480
3600.16
3566.75
4838389
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
SAT (TO)
29
3600.16
3567.24
4838004
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cmb.opb
SAT (TO)
1377
3600.16
3563.76
4837676
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/
normalized-BA_RDC4.dot_unif_20null0mast_rapportOE2.0_TMAX180_K67_cod2_pbEq1_newVersion_product.opb
SAT (TO)
-1789
3600.16
3598.95
4837623
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_017_area_delay.opb
SAT (TO)
32
3600.16
3581.04
4837797
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
SAT (TO)
-37
3600.16
3556.24
4837767
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/miplib/normalized-enlight8.mps.opb
SAT (TO)
27
3600.16
3574.33
4838685
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern45-45.lin.opb
SAT (TO)
-17658
3600.16
3595.05
4837991
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_11_shg.opb
SAT (TO)
185
3600.16
3597.95
4837903
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
SAT (TO)
223
3600.16
3553.54
4837698
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
SAT (TO)
24664
3600.16
3549.24
4837686
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_430_008.opb
SAT (TO)
-11314
3600.16
3571.43
4838055
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_95.opb
SAT (TO)
-94
3600.16
3515.95
4838411
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_27.opb
SAT (TO)
0
3600.16
3580.24
4838369
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-tanglegram1.opb
SAT (TO)
8413
3600.16
3603.44
4837901
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
SAT (TO)
-33
3600.16
3561.74
4837765
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
SAT (TO)
-42
3600.16
3549.45
4837770
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-t1717.opb
SAT (TO)
376838
3600.16
3594.64
4837900
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_090.opb
SAT (TO)
4140
3600.16
3537.25
4838392
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-opm2-z12-s14.opb
SAT (TO)
-44513
3600.16
3594.16
4837897
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_10null0mast_rapportOE1.0_TMAX300_K67_cod3.opb
SAT (TO)
-221703
3600.16
3603.05
4837624
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_005_area_delay.opb
SAT (TO)
38
3600.16
3606.16
4837794
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
SAT (TO)
167
3600.17
3567.64
4837673
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_0.opb
SAT (TO)
5502249
3600.17
3602.94
4837935
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_690_000.opb
SAT (TO)
-24281
3600.17
3591.65
4838058
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_12.opb
SAT (TO)
122
3600.17
3578.44
4837729
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
SAT (TO)
26291
3600.17
3581.34
4837810
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
SAT (TO)
82
3600.17
3577.94
4837907
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-2000opt.opb
SAT (TO)
-167
3600.17
3584.85
4837836
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir07_trarea_ac.opb
SAT (TO)
65155
3600.17
3568.95
4837814
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_430_001.opb
SAT (TO)
-11794
3600.17
3575.25
4838054
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_6_mh_ic.opb
SAT (TO)
2318848
3600.17
3602.85
4837947
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
SAT (TO)
219
3600.17
3556.96
4837701
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_16x16_006.opb.metafix.opb
SAT (TO)
115
3600.17
3583.84
4837977
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.10.opb
SAT (TO)
49
3600.17
3551.66
4837737
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament18.lin.opb
SAT (TO)
-69
3600.17
3562.55
4837999
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-GolombRuler-a3v18-11_c18.opb
SAT (TO)
97
3600.17
3579.54
4838075
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_3_mh_ic.opb
SAT (TO)
5159532
3600.17
3598.05
4837944
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_051.opb
SAT (TO)
11
3600.17
3501.97
4838381
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/
normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX300_K67_cod2_pbEq1_newVersion_binary.opb
SAT (TO)
-68
3600.17
3599.35
4837619
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-rand59f7dd.cudf.paranoid.opb
SAT (TO)
344
3600.17
3594.04
4837875
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/
normalized-BA_RDC4.dot_fibo_0null50mast_rapportOE1.0_TMAX180_K67_cod2_pbEq1_newVersion_binary.opb
SAT (TO)
-44161
3600.17
3599.84
4837617
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r17_c34_a6.opb
SAT (TO)
6193
3600.18
3575.96
4838426
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/
normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_100.opb
SAT (TO)
5000
3600.18
3539.66
4838386
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
SAT (TO)
336
3600.18
3549.44
4837680
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/
normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX180_K67_cod2_pbEq1_newVersion_ladder.opb
SAT (TO)
-256
3600.18
3600.65
4837620
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_420.opb
SAT (TO)
2564
3600.18
3573.98
4838425
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=7.opb
SAT (TO)
3
3600.18
3539.77
4838020
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=8.opb
SAT (TO)
3
3600.18
3547.18
4838023
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_2.opb
SAT (TO)
93052355
3600.18
3601.05
4837930
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/
normalized-BA_RDC4.dot_unif_0null10mast_rapportOE2.0_TMAX180_K67_cod2_pbEq1_newVersion.opb
SAT (TO)
-2614
3600.18
3598.54
4837622
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_23.opb
SAT (TO)
0
3600.18
3576.75
4838366
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_450_007.opb
SAT (TO)
-13514
3600.18
3519.76
4838056
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb
SAT (TO)
-1
3600.18
3524.77
4837760
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_19.opb
SAT (TO)
-9
3600.18
3550.97
4838412
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
SAT (TO)
181
3600.18
3574.05
4837725
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb5-0.10-6.opb
SAT (TO)
429577
3600.18
3597.08
4837915
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-libmail-spf-perl.cudf.trendy.opb
SAT (TO)
3825100260148
3600.18
3600.74
4837857
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-UMTS.opb
SAT (TO)
53952618
3600.18
3577.74
4837645
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_150.opb
SAT (TO)
11400
3600.18
3589.95
4838388
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.D.recomb10-0.20-14.opb
SAT (TO)
7
3600.18
3602.45
4837916
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.11.opb
SAT (TO)
40
3600.18
3552.75
4837738
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_951.opb
SAT (TO)
179
3600.18
3570.53
4838382
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-gnash-common-opengl.cudf.trendy.opb
SAT (TO)
3102868895795
3600.19
3602.74
4837859
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_064.opb
SAT (TO)
2112
3600.19
3558.08
4838387
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
SAT (TO)
33
3600.19
3599.16
4837802
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb
SAT (TO)
76800
3600.19
3583.15
4837638
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-sp97ic.opb
SAT (TO)
3523081465
3600.19
3587.05
4837643
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-StillLife-wastage-15-15_c24.opb
SAT (TO)
-89
3600.19
3595.46
4838081
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern55-28.lin.opb
SAT (TO)
-34614
3600.19
3585.84
4837992
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-orb03.opb
SAT (TO)
1023
3600.19
3565.35
4838092
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c40.opb
SAT (TO)
66
3600.19
3584.45
4838417
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb
SAT (TO)
288
3600.19
3572.16
4837732
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
SAT (TO)
1179
3600.19
3575.06
4837710
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
SAT (TO)
64
3600.19
3584.74
4837689
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
SAT (TO)
-42
3600.19
3548.85
4837769
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
SAT (TO)
34
3600.2
3577.16
4837793
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
SAT (TO)
1183
3600.2
3549.17
4837707
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
SAT (TO)
-29
3600.2
3547.17
4837764
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE1.0_TMAX15_K67_cod1.opb
SAT (TO)
-3
3600.2
3606.16
4837626
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir10_area_delay.opb
SAT (TO)
48
3600.2
3606.65
4837788
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_30.opb
SAT (TO)
0
3600.2
3581.06
4838371
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_13.opb
SAT (TO)
105
3600.2
3577.98
4838439
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
SAT (TO)
221
3600.2
3561.97
4837703
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir10_trarea_ac.opb
SAT (TO)
101708
3600.2
3620.16
4837817
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.20-11.opb
SAT (TO)
501691
3600.2
3592.76
4837913
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
SAT (TO)
215
3600.2
3561.16
4837700
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=14-t=2.opb
SAT (TO)
12
3600.2
3538.1
4838026
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=4.opb
SAT (TO)
7
3600.2
3545.09
4838022
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
SAT (TO)
49920
3600.2
3551.45
4837811
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_251.opb
SAT (TO)
23
3600.2
3571.85
4838380
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
SAT (TO)
162
3600.2
3556.16
4837683
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_34.opb
SAT (TO)
0
3600.2
3573.06
4838375
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__32.opb
SAT (TO)
165266
3600.2
3605.84
4837830
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
SAT (TO)
135
3600.2
3596.84
4837787
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_2_ic.opb
SAT (TO)
17615093
3600.2
3587.45
4837941
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
SAT (TO)
162816
3600.2
3586.19
4837646
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
SAT (TO)
24
3600.21
3583.96
4837805
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_064.opb
SAT (TO)
2112
3600.21
3538.77
4838390
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=7.opb
SAT (TO)
6
3600.21
3527.36
4838025
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_101.opb
SAT (TO)
13
3600.21
3552.87
4838385
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_46.opb
SAT (TO)
0
3600.21
3554.84
4838372
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_8_ic.opb
SAT (TO)
21308235
3600.21
3581.46
4837943
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_121.opb
SAT (TO)
7438
3600.21
3581.95
4838395
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
SAT (TO)
212
3600.21
3549.35
4837702
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.01-5.opb
SAT (TO)
297631
3600.22
3595.73
4837911
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.01-000.opb
SAT (TO)
-96112
3600.22
3540.75
4838050
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_75.opb
SAT (TO)
-74
3600.22
3512.76
4838408
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_081.opb
SAT (TO)
58
3600.22
3552.87
4838379
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-pb351535.lin.opb
SAT (TO)
5676566
3600.22
3603.76
4837997
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_033.opb
SAT (TO)
574
3600.22
3540.47
4838393
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX180_K192_cod2.opb
SAT (TO)
-2
3600.22
3600.39
4837925
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_16.opb
SAT (TO)
252
3600.22
3579.55
4837731
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r20_c39_a6.opb
SAT (TO)
8360
3600.22
3581.26
4838427
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12059_8.std.opb
SAT (TO)
135
3600.22
3548.46
4837886
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
SAT (TO)
1171
3600.22
3570.55
4837713
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb
SAT (TO)
-20
3600.23
3552.96
4838407
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null50mast_rapportOE2.0_TMAX180_K192_cod2.opb
SAT (TO)
0
3600.23
3598.58
4837927
PB24/normalized-PB10/OPT-LIN/
oliveras/j120opt/normalized-j12046_10.std.opb
SAT (TO)
245
3600.23
3570.97
4837885
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null20mast_rapportOE1.0_TMAX180_K192_cod1.opb
SAT (TO)
-3073
3600.23
3602.29
4837924
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
SAT (TO)
36
3600.23
3540.57
4837741
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_1_mh.opb
SAT (TO)
5087540
3600.24
3604.87
4837966
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_7_ic.opb
SAT (TO)
23931461
3600.24
3589.6
4837942
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX15_K192_cod1.opb
SAT (TO)
0
3600.24
3603.19
4837922
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_38.opb
SAT (TO)
0
3600.24
3567.27
4838370
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
SAT (TO)
144
3600.24
3592.75
4837786
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-neos-780889.opb
SAT (TO)
2094338
3600.24
3604.86
4838037
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_008_area_delay.opb
SAT (TO)
30
3600.25
3566.26
4837796
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX120_K192_cod2.opb
SAT (TO)
0
3600.25
3599.78
4837926
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb5-0.10-10.opb
SAT (TO)
494047
3600.25
3596.46
4837914
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_3000_5__126_2812__8.opb
SAT (TO)
90030702
3600.25
3567.76
4837829
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb
SAT (TO)
-1
3600.25
3612.91
4837761
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_041.opb
SAT (TO)
332
3600.25
3504.09
4838377
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_8_shg.opb
SAT (TO)
841
3600.25
3604.28
4837909
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_6_mh_ic.opb
SAT (TO)
13858090
3600.25
3594.28
4837949
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_061.opb
SAT (TO)
722
3600.26
3507.32
4838378
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=21-t=2.opb
SAT (TO)
19
3600.26
3516.78
4838027
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_90.opb
SAT (TO)
-1676
3600.26
3589.46
4838402
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master.opb
SAT (TO)
76389
3600.27
3605.62
4838061
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb
SAT (TO)
-2
3600.27
3611.79
4837759
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-15.opb
SAT (TO)
576040
3600.27
3594.71
4837912
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_7_mh.opb
SAT (TO)
827441551
3600.29
3588.08
4837969
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.85_4.opb
SAT (TO)
1482
3600.29
3599.29
4838041
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null0mast_rapportOE1.0_TMAX300_K192_cod1.opb
SAT (TO)
-3152
3600.29
3601.48
4837920
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_170.opb
SAT (TO)
496
3600.29
3581.48
4838422
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_50000_5_0.75_7.opb
SAT (TO)
9184
3600.3
3597.3
4838042
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX60_K192_cod1.opb
SAT (TO)
-1024
3600.3
3602.38
4837923
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-4165869-wannon.mps.opb
SAT (TO)
345
3600.3
3575.68
4838691
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-eilA101-2.opb
SAT (TO)
130445
3600.31
3593.78
4838031
PB24/normalized-PB07/OPT-LIN/
submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
SAT (TO)
29
3600.31
3597.19
4837798
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_901.opb
SAT (TO)
135
3600.32
3561.2
4838384
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height18_pigeons17_holes16.opb
SAT (TO)
190
3600.33
3580.9
4838445
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_0_ic.opb
SAT (TO)
15880503
3600.35
3584.45
4837950
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-scpn2.opb
SAT (TO)
857
3600.36
3607.44
4838038
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-FoolSolitaire-table-3-0_c24.opb
SAT (TO)
23
3600.39
3546.24
4838074
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master-noopt.opb
SAT (TO)
146032
3600.41
3593.57
4838060
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_057.opb
SAT (TO)
1678
3600.5
3455.1
4838394
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.10-8.opb
SAT (TO)
126326
3600.77
3594.36
4837918
Solver timed out (no solution given) (127 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_07_050_003.opb
? (TO)
3600.06
3595.32
4837746
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb
? (TO)
3600.07
3586.33
4838007
PB26/normalized-PB26/OPT-LIN/devriendt/
tsplib/normalized-kroB150.opb
? (TO)
3600.07
3580.63
4838086
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_09_050_000.opb
? (TO)
3600.07
3595.93
4837748
PB26/normalized-PB26/OPT-LIN/
devriendt/tsplib/normalized-hk48.opb
? (TO)
3600.07
3596.54
4838085
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i1_pp_81.opb
? (TO)
3600.08
3594.93
4838048
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_07_100_002.opb
? (TO)
3600.08
3595.93
4837747
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx57.opb
? (TO)
3600.09
3557.25
4837846
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_8_mh.opb
? (TO)
3600.09
3528.16
4837958
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_9_mh.opb
? (TO)
3600.09
3534.06
4837959
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_15_100_002.opb
? (TO)
3600.09
3588.93
4837752
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb
? (TO)
3600.09
3591.43
4838006
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-RubiksCube-12-4-20-1_c24.opb
? (TO)
3600.09
3593.24
4838077
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-supportcase22.opb
? (TO)
3600.09
3593.64
4838039
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_ic.opb
? (TO)
3600.09
3574.06
4837952
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_ic.opb
? (TO)
3600.09
3574.05
4837951
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_3_ic.opb
? (TO)
3600.09
3561.44
4837940
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_2_mh.opb
? (TO)
3600.09
3591.53
4837967
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_inf.opb
? (TO)
3600.1
3590.04
4838071
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_13_050_002.opb
? (TO)
3600.1
3591.92
4837751
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx60.opb
? (TO)
3600.1
3569.84
4837847
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null50mast_rapportOE1.0_TMAX60_K192_cod1.opb
? (TO)
3600.1
3603.14
4837921
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n3706.opb
? (TO)
3600.1
3604.04
4837632
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-3024952-loue.mps.opb
? (TO)
3600.1
3600.15
4838686
PB26/normalized-PB26/OPT-LIN/devriendt/
tsplib/normalized-ch150.opb
? (TO)
3600.1
3593.04
4838082
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_11_200_001.opb
? (TO)
3600.1
3594.43
4837750
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r34_c67_a6.opb
? (TO)
3600.11
3578.74
4838431
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx75.opb
? (TO)
3600.11
3555.75
4837849
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null50mast_rapportOE2.0_TMAX60_K192_cod1.opb
? (TO)
3600.11
3601.34
4837928
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb
? (TO)
3600.11
3565.46
4837637
PB26/normalized-PB26/OPT-LIN/devriendt/
tsplib/normalized-ts225.opb
? (TO)
3600.11
3590.34
4838090
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_6_ic.opb
? (TO)
3600.11
3561.23
4837956
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i6_pp_88_merged.opb
? (TO)
3600.11
3596.15
4838045
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_05_200_070.opb
? (TO)
3600.11
3588.23
4837745
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_3_mh.opb
? (TO)
3600.11
3592.83
4837968
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm95p-opt.opb.negationfix.opb
? (TO)
3600.11
3591.04
4838002
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx84.opb
? (TO)
3600.11
3579.25
4837850
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_0.opb
? (TO)
3600.12
3590.33
4838064
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-supportcase33.mps.opb
? (TO)
3600.12
3594.83
4838693
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_10_200_000.opb
? (TO)
3600.12
3595.63
4837749
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
? (TO)
3600.12
3587.07
4837717
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
? (TO)
3600.12
3585.25
4837716
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ns1686196.opb
? (TO)
3600.12
3569.74
4838032
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i8_pp_81.opb
? (TO)
3600.13
3599.33
4838049
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-siena1.opb
? (TO)
3600.13
3605.22
4837642
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb
? (TO)
3600.13
3573.04
4838009
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r34_c68_a4.opb
? (TO)
3600.13
3582.76
4838435
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_38.opb
? (TO)
3600.13
3555.29
4838440
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null50mast_rapportOE2.0_TMAX120_K192_cod1.opb
? (TO)
3600.13
3601.23
4837929
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb
? (TO)
3600.13
3573.93
4838000
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
? (TO)
3600.13
3602.33
4838003
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul4.5.opb
? (TO)
3600.13
3551.46
4837983
PB26/normalized-PB26/OPT-LIN/devriendt/
tsplib/normalized-kroB200.opb
? (TO)
3600.13
3564.15
4838087
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__2048.opb
? (TO)
3600.13
3584.64
4837824
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta32.opb
? (TO)
3600.14
3486.97
4838097
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta41.opb
? (TO)
3600.14
3504.67
4838098
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-blend2.opb
? (TO)
3600.14
3604.72
4837631
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug4.5.opb
? (TO)
3600.14
3547.66
4837980
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun6.5.opb
? (TO)
3600.14
3541.37
4837987
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-roll3000.opb
? (TO)
3600.14
3600.73
4837641
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/miplib/normalized-ej.mps.opb
? (TO)
3600.14
3585.09
4838684
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-3381206-awhea.mps.opb
? (TO)
3600.14
3563.83
4838688
PB26/normalized-PB26/OPT-LIN/devriendt/
tsplib/normalized-swiss42.opb
? (TO)
3600.14
3604.43
4838089
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r32_c64_a5.opb
? (TO)
3600.14
3582.17
4838433
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb
? (TO)
3600.14
3579.93
4838005
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun5.5.opb
? (TO)
3600.14
3536.26
4837986
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-khb05250.opb
? (TO)
3600.14
3552.94
4837627
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_7_mh.opb
? (TO)
3600.14
3545.74
4837957
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_ic.opb
? (TO)
3600.14
3564.73
4837953
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r24_c48_a6.opb
? (TO)
3600.15
3582.24
4838428
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r25_c50_a5.opb
? (TO)
3600.15
3588.34
4838429
PB26/normalized-PB26/OPT-LIN/
devriendt/tsplib/normalized-pr76.opb
? (TO)
3600.15
3602.83
4838088
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta48.opb
? (TO)
3600.15
3491.67
4838099
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
? (TO)
3600.15
3584.65
4837724
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_55.opb
? (TO)
3600.15
3575.94
4838443
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r30_c60_a4.opb
? (TO)
3600.15
3515.35
4838432
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2010/normalized-bab1.opb
? (TO)
3600.15
3599.43
4838034
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb
? (TO)
3600.15
3576.43
4838001
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx92.opb
? (TO)
3600.15
3569.35
4837851
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul6.5.opb
? (TO)
3600.15
3549.86
4837985
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
? (TO)
3600.15
3562.75
4837852
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct4.5.opb
? (TO)
3600.15
3548.96
4837988
PB25/normalized-PB25/OPT-LIN/
wallon/normalized-Cargo-22_c24.opb
? (TO)
3600.15
3486.74
4838072
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
? (TO)
3600.15
3586.35
4837723
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_2.opb
? (TO)
3600.16
3574.33
4838069
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_mh.opb
? (TO)
3600.16
3540.06
4837955
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_39.opb
? (TO)
3600.16
3554.38
4838441
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-swv20.opb
? (TO)
3600.16
3492.87
4838094
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-RubiksCube-10-4-20-0_c24.opb
? (TO)
3600.16
3588.93
4838076
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
? (TO)
3600.16
3585.95
4837719
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-RubiksCube-13-4-20-0_c24.opb
? (TO)
3600.16
3591.15
4838078
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta31.opb
? (TO)
3600.16
3482.98
4838096
PB26/normalized-PB26/OPT-LIN/devriendt/
tsplib/normalized-gr137.opb
? (TO)
3600.16
3585.04
4838083
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_42.opb
? (TO)
3600.16
3591.44
4838374
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-fixnet6.opb
? (TO)
3600.17
3568.26
4837628
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul5.5.opb
? (TO)
3600.17
3538.36
4837984
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_195.opb
? (TO)
3600.17
3520.28
4838437
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
? (TO)
3600.17
3589.85
4837722
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-506428.opb
? (TO)
3600.17
3598.84
4838036
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
? (TO)
3600.17
3586.06
4837718
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-3214367-sovi.mps.opb
? (TO)
3600.17
3570.09
4838687
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__64.opb
? (TO)
3600.17
3592.95
4837826
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep5.5.opb
? (TO)
3600.17
3537.57
4837989
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-3530903-gauja.mps.opb
? (TO)
3600.17
3574.93
4838689
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-807456.opb
? (TO)
3600.17
3563.54
4838033
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_200.opb
? (TO)
3600.18
3522.22
4838438
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_120.opb
? (TO)
3600.18
3546.1
4838436
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
? (TO)
3600.18
3587.06
4837720
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug5.5.opb
? (TO)
3600.18
3536.77
4837981
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb
? (TO)
3600.18
3581.17
4837721
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
? (TO)
3600.18
3583.65
4837715
PB26/normalized-PB26/OPT-LIN/
devriendt/tsplib/normalized-u159.opb
? (TO)
3600.18
3563.65
4838091
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx49.opb
? (TO)
3600.18
3568.95
4837845
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_50.opb
? (TO)
3600.18
3564.37
4838442
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx63.opb
? (TO)
3600.19
3578.45
4837848
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx30.opb
? (TO)
3600.19
3568.45
4837844
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r26_c51_a5.opb
? (TO)
3600.19
3582.85
4838430
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r33_c66_a6.opb
? (TO)
3600.19
3578.17
4838434
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta57.opb
? (TO)
3600.22
3536.18
4838100
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug6.5.opb
? (TO)
3600.22
3535.08
4837982
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb
? (TO)
3600.24
3489.89
4837634
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-dg012142.opb
? (TO)
3600.24
3554.19
4837640
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_ic.opb
? (TO)
3600.25
3563.19
4837954
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mod011.opb
? (TO)
3600.25
3483.09
4837630
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height22_pigeons21_holes20.opb
? (TO)
3600.25
3461.12
4838444
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_3000_5__126_2812__64.opb
? (TO)
3600.33
3584.93
4837828
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-swv16.opb
? (TO)
3600.46
3494.52
4838093