PB'25 competition: benchmarks results per solver
Result page for solver UWrMaxSat-SCIP
2025-06-04
(complete)
Category "decision problem, linear constraints, no UNSAT certificate" (DEC-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (263 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_02_004.opb
UNSAT
0.003589
0.00371499
4544156
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-2_4_1.opb
UNSAT
0.003669
0.0037649
4514679
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_004.opb
UNSAT
0.004642
0.00476711
4544039
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-3_4_3.opb
UNSAT
0.005827
0.00615193
4514823
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r10-tiling/normalized-domset-hexgrid_10_007.opb
UNSAT
0.006544
0.00672198
4543454
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x10split.opb
UNSAT
0.009348
0.00951604
4511497
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v4/normalized-grid4_06.opb
UNSAT
0.010313
0.0106131
4516155
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n34-d3-i2-r2.cnf.gz-plain.pb.metafix.opb
UNSAT
0.011051
0.011192
4510165
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height5_pigeons4_holes3.opb
UNSAT
0.011646
0.0119319
4542323
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v011-n3.opb
UNSAT
0.01205
0.0121639
4514211
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-3_6_5.opb
UNSAT
0.01495
0.0153671
4514535
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid4_11.shuf-2.opb
UNSAT
0.015055
0.0155931
4516299
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x20split.opb
UNSAT
0.015353
0.0156279
4511461
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_11.opb
UNSAT
0.021051
0.0214611
4514499
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l010-r010-n1.opb
UNSAT
0.021438
0.0216501
4510201
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x20split.cnf-extracted.pb.metafix.opb
UNSAT
0.02181
0.022036
4510525
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_03_094.opb
UNSAT
0.022911
0.0231069
4543220
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset-stargrid-9-split/normalized-domset-stargod_09_009.opb
UNSAT
0.024098
0.024349
4543337
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-7_7_6.opb
UNSAT
0.028469
0.0290009
4514787
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n32-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
UNSAT
0.029913
0.0300681
4509841
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-6_6_8.opb
UNSAT
0.032606
0.0330549
4514643
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x30split.opb
UNSAT
0.040745
0.0411269
4511353
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_05_100.opb
UNSAT
0.041052
0.0413281
4543259
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset-hubgraph-opb/normalized-domset-hubgraph_068.opb
UNSAT
0.04449
0.04489
4543415
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r07_shuffle/normalized-domset-hexgrid_07_010.shuf-1.opb
UNSAT
0.04659
0.046859
4543493
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3022_10-unsat.opb
UNSAT
0.049155
0.0494661
4502099
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l020-r019-n1.opb
UNSAT
0.055184
0.055557
4510237
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6039_10-unsat.opb
UNSAT
0.055509
0.055757
4501883
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x40split.opb
UNSAT
0.057047
0.0574769
4511137
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j907_8-unsat.opb
UNSAT
0.05775
0.0580721
4501919
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l010-r009-n1.opb
UNSAT
0.059201
0.0596619
4513851
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-blast-floppy1-8.ucl.opb
UNSAT
0.062173
0.062555
4491949
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb
UNSAT
0.063238
0.0635869
4491805
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x50split.opb
UNSAT
0.066175
0.0665751
4511569
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x50split.cnf-extracted.pb.metafix.opb
UNSAT
0.071521
0.0719331
4510453
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP015.shuf-1.opb
UNSAT
0.07657
0.077356
4515507
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x60split.opb
UNSAT
0.090778
0.0912419
4511281
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x70split.cnf-plain.pb.metafix.opb
UNSAT
0.094467
0.0949401
4510741
PB24/normalized-PB15eval/DEC-LIN/
SUMINEQ/normalized-sumineqArity3pyramidP0032.opb
UNSAT
0.095747
0.096268
4511605
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP015.shuf-3.opb
UNSAT
0.098183
0.0990319
4515795
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x80split.opb
UNSAT
0.101614
0.105832
4511533
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/noverticaledges-v1/normalized-grid4_27.opb
UNSAT
0.110114
0.111202
4516371
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x80split.cnf-extracted.pb.metafix.opb
UNSAT
0.125718
0.126285
4510345
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x90split.cnf-plain.pb.metafix.opb
UNSAT
0.126056
0.126567
4510705
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb
UNSAT
0.138302
0.142011
4491481
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x90split.cnf-extracted.pb.metafix.opb
UNSAT
0.140749
0.141374
4510309
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6019_8-unsat.opb
UNSAT
0.14236
0.143036
4501739
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x100split.opb
UNSAT
0.144458
0.149748
4511317
PB24/normalized-PB15eval/DEC-LIN/
ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i1-f.cnf.gz-plain.pb.metafix.opb
UNSAT
0.154603
0.159244
4509661
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
UNSAT
0.169968
0.170703
4491913
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l030-r029-n1.cnf-extracted.pb.metafix.opb
UNSAT
0.177524
0.178322
4510885
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977780.opb
UNSAT
0.207848
0.213027
4495405
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl.opb
UNSAT
0.224065
0.228562
4491589
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l040-r039-n1.cnf-plain.pb.metafix.opb
UNSAT
0.227048
0.227959
4510849
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb
UNSAT
0.236715
0.237681
4491517
PB24/normalized-PB15eval/DEC-LIN/
SUMINEQ/normalized-sumineqArity4pyramidP0032.opb
UNSAT
0.25898
0.261326
4511641
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v021-n1.opb
UNSAT
0.287662
0.289552
4514031
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974372.opb
UNSAT
0.302347
0.303458
4495441
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v4/normalized-grid8_60.opb
UNSAT
0.30685
0.349248
4516119
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
UNSAT
0.322305
0.323564
4491877
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-stein45inf.0.d.opb
UNSAT
0.333516
0.372363
4514967
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974180.opb
UNSAT
0.367524
0.368736
4495225
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973364.opb
UNSAT
0.379795
0.38949
4495261
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224255.opb
UNSAT
0.390992
0.392315
4495693
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb
UNSAT
0.39657
0.398017
4491841
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219348.opb
UNSAT
0.415045
0.416325
4495585
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6021_1-unsat.opb
UNSAT
0.416302
0.421587
4501847
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l025-r024-n1.opb
UNSAT
0.440132
0.443397
4513815
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973670.opb
UNSAT
0.443003
0.444659
4495189
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-4_5_19.opb
UNSAT
0.463362
0.466026
4514571
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-15.shuf-2.opb
UNSAT
0.470461
0.47562
4516443
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968094.opb
UNSAT
0.514046
0.515723
4495477
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-15.shuf-1.opb
UNSAT
0.525048
0.527823
4516407
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-188.opb
UNSAT
0.580211
0.58208
4503401
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v4/normalized-grid10_66.opb
UNSAT
0.622078
0.625599
4516191
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x10split.cnf-plain.pb.metafix.opb
UNSAT
0.630711
0.633825
4510273
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973163.opb
UNSAT
0.667747
0.672598
4495297
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid4_33.shuf-3.opb
UNSAT
0.670937
0.726975
4516011
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP025.shuf-1.opb
UNSAT
0.675737
0.745518
4515579
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564281.opb
UNSAT
0.721205
0.725102
4495009
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v011-n1.opb
UNSAT
0.751822
0.755962
4513563
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557574.opb
UNSAT
0.838279
0.841081
4494793
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP035.opb
UNSAT
0.846577
0.85121
4515831
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900584219.opb
UNSAT
0.892307
0.896259
4494721
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110978113.opb
UNSAT
0.95981
0.962846
4495369
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551347.opb
UNSAT
0.961718
0.964803
4494757
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP035.shuf-2.opb
UNSAT
1.00398
1.00977
4515687
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l035-r034-n1.opb
UNSAT
1.02041
1.02533
4513779
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat98_identity_complement.opb
UNSAT
1.10527
1.12593
4544741
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967142.opb
UNSAT
1.23803
1.24163
4495621
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-nve-large-v4/normalized-grid10_64.opb
UNSAT
1.23836
1.275
4515903
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v2/normalized-grid8_97.opb
UNSAT
1.25573
1.32686
4516227
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
UNSAT
1.30317
1.30931
4491625
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-7_7_15.opb
UNSAT
1.38311
1.38936
4514715
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
UNSAT
1.57466
1.57921
4510921
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_18.opb
UNSAT
1.76126
1.76818
4514751
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/grids_large_opb/normalized-ECgrid_split_4_250.opb
UNSAT
1.81934
1.82426
4542947
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-15-10.opb
UNSAT
1.89248
1.89802
4492741
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
UNSAT
1.90621
1.9122
4492705
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat10_8_triangular.opb
UNSAT
1.99911
2.0064
4544702
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900577940.opb
UNSAT
2.10138
2.10766
4495045
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582300.opb
UNSAT
2.1325
2.139
4494829
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-11-10.opb
UNSAT
2.44902
2.45634
4493029
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n17-d4-i3.cnf.gz-extracted.pb.metafix.opb
UNSAT
2.51191
2.52244
4509769
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-21array_ineq8.opb
UNSAT
2.60806
2.61755
4517019
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq10/normalized-13array_ineq10.opb
UNSAT
2.62364
2.63395
4516911
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
UNSAT
2.72787
2.73594
4491733
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x20split.opb
UNSAT
3.00683
3.01571
4511065
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-22array_ineq8.opb
UNSAT
3.3466
3.36025
4517055
PB24/normalized-PB24/DEC-LIN/nordstrom/
MIPLIB01/dec/miplib3/normalized-p0201.0.u.opb
UNSAT
4.0272
4.13439
4514895
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb
UNSAT
4.16028
4.17661
4511029
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l045-r044-n1.opb
UNSAT
4.17256
4.20066
4513959
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x30split.opb
UNSAT
4.20457
4.21706
4511245
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900579996.opb
UNSAT
4.6504
4.6643
4495117
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-PoolBallTriangle-07_c24.opb
UNSAT
5.36021
5.3751
4545599
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x40split.opb
UNSAT
5.4974
5.51498
4511425
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Hamming-20-10-03-08_c24.opb
UNSAT
5.5235
5.53897
4545482
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_07_054.opb
UNSAT
6.73264
6.75713
4543571
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559676.opb
UNSAT
6.9631
6.98332
4494649
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_03_100.opb
UNSAT
7.00827
7.02913
4544273
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_8.opb
UNSAT
7.05874
7.1907
4514319
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP085.opb
UNSAT
8.01515
8.04075
4515543
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-28array_alg_ineq8.opb
UNSAT
9.08658
9.11368
4516947
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-27array_alg_ineq8.opb
UNSAT
9.24315
9.27241
4516983
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l050-r049-n1.cnf-extracted.pb.metafix.opb
UNSAT
9.95733
9.98501
4510957
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x50split.opb
UNSAT
10.3251
10.356
4511209
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP105.shuf-2.opb
UNSAT
10.3841
10.5493
4515471
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat10_9identity_complement.opb
UNSAT
10.4601
10.4901
4544507
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x60split.opb
UNSAT
14.3474
14.3906
4511173
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_10.opb
UNSAT
15.0846
15.1303
4514391
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SocialGolfers-cnt-06-06-07_c24.opb
UNSAT
15.3786
15.4238
4545560
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP085.shuf-3.opb
UNSAT
16.8358
16.9296
4515759
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq5/normalized-16array_alg_ineq5.opb
UNSAT
17.4207
17.4726
4517091
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
UNSAT
17.9476
18.0014
4511101
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_9_triangular.opb
UNSAT
19.9306
19.989
4544936
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
UNSAT
21.8612
21.924
4491553
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x100split.opb
UNSAT
23.6072
23.6797
4511389
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-9diag_spec_less.opb
UNSAT
25.4468
25.6937
4517415
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP145.shuf-1.opb
UNSAT
26.7089
26.788
4515399
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP135.shuf-2.opb
UNSAT
28.4028
28.5303
4515435
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
UNSAT
28.4118
28.5054
4513455
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-38.opb
UNSAT
29.1537
29.2393
4503653
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP095.shuf-2.opb
UNSAT
34.1622
34.3678
4515615
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
UNSAT
38.0203
38.1304
4491697
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x120split.opb
UNSAT
40.5573
40.6659
4513419
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-25.opb
UNSAT
44.0728
44.2148
4503437
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height10_pigeons9_holes8.opb
UNSAT
47.1826
47.3319
4542635
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
UNSAT
52.6237
52.819
4513383
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
UNSAT
55.1096
55.2858
4513491
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
UNSAT
58.5291
58.7008
4513347
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
UNSAT
59.2342
59.4559
4491445
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-2.opb
UNSAT
66.7271
67.0022
4515723
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-46.cnf.gz-plain.pb.metafix.opb
UNSAT
69.8416
70.0252
4510021
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-40.shuf-3.opb
UNSAT
71.3144
71.5171
4516839
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb
UNSAT
109.305
109.662
4491769
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-11array_diag_less.opb
UNSAT
110.417
110.869
4517199
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l060-r059-n1.opb
UNSAT
111.567
112.225
4513923
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x30split.cnf-plain.pb.metafix.opb
UNSAT
144.18
144.611
4510597
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid4_51.shuf-3.opb
UNSAT
144.409
144.906
4516047
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-6_6_33.opb
UNSAT
181.555
182.437
4514607
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-1.opb
UNSAT
183.866
184.515
4515651
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat12_10_triangular.opb
UNSAT
188.052
188.571
4544858
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-73.opb
UNSAT
188.817
189.382
4503545
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-13array_diag_greater.opb
UNSAT
192.158
192.802
4517163
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v071-n1.opb
UNSAT
299.957
301.067
4514067
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-30.shuf-1.opb
UNSAT
300.007
301.016
4516875
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb
UNSAT
300.03
301.067
4513671
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v041-n2.opb
UNSAT
300.06
301.168
4514283
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-9arraycomm_teq_tvars_greater.opb
UNSAT
300.077
301.052
4517343
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/random4reg_opb/normalized-subsetcard-geq-random4reg-60.opb
UNSAT
300.102
301.023
4516479
PB24/normalized-PB16/DEC-LIN/elffers/
subsetcard/normalized-subsetcard-geq-random4regular-75.opb
UNSAT
300.114
301.025
4513743
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-31-30.opb
UNSAT
300.125
301.028
4493065
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v051-n2.opb
UNSAT
300.127
301.065
4513995
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid8_99.shuf-2.opb
UNSAT
300.145
301.215
4516335
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid10_27.shuf-3.opb
UNSAT
300.146
301.063
4516263
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb
UNSAT
300.153
301.051
4513635
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid10_35.shuf-3.opb
UNSAT
300.171
301.147
4515867
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-15array_diag_greater.opb
UNSAT
300.179
301.141
4517127
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v3_shuffle/normalized-grid6_85.shuf-3.opb
UNSAT
300.179
301.101
4516083
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-subsetCardinalitySigma-41-3.cnf.gz-extracted.pb.metafix.opb
UNSAT
300.2
301.012
4509949
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_03_058.opb
UNSAT
300.203
301.021
4543376
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/
random_norational_opb/normalized-ec_random_norational_random4reg_split_350.opb
UNSAT
300.22
301.121
4544312
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v070-n1.opb
UNSAT
300.223
301.067
4513707
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v061-n3.opb
UNSAT
300.228
301.102
4514175
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
larger/domset_large_shuffle/normalized-domset-hexgrid_03_084.shuf-1.opb
UNSAT
300.236
301.208
4543142
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_comm/arraycomm_teq/normalized-22arraycomm_teq_less.opb
UNSAT
300.249
301.165
4541855
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v2_shuffle/normalized-grid4_121.shuf-1.opb
UNSAT
300.251
301.169
4515975
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_comm/arraycomm_teq/normalized-20arraycomm_teq_less.opb
UNSAT
300.267
301.125
4541816
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-41-40.opb
UNSAT
300.283
301.051
4493101
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-20arraycomm_teq_tvars_less.opb
UNSAT
300.286
301.198
4517271
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
larger/domset_large_shuffle/normalized-domset-hexgrid_05_110.shuf-2.opb
UNSAT
300.316
301.14
4543181
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb
UNSAT
300.319
301.14
4513527
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
UNSAT
300.34
301.11
4492417
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_04_250.opb
UNSAT
300.344
301.444
4544234
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-22diag_spec_greater.opb
UNSAT
300.353
301.363
4542011
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
UNSAT
300.357
301.195
4492237
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-35-30.opb
UNSAT
300.362
301.135
4492921
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_10_016.opb
UNSAT
300.391
301.224
4543961
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-45-40.opb
UNSAT
300.403
301.187
4493137
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
UNSAT
300.404
301.132
4492273
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-20array_ineq6.opb
UNSAT
300.406
301.28
4541582
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-1000.shuf-2.opb
UNSAT
300.419
301.389
4516551
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
UNSAT
300.469
301.343
4492453
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v091-n1.opb
UNSAT
300.49
301.364
4514103
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1000.shuf-3.opb
UNSAT
300.497
301.372
4516587
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v091-n3.opb
UNSAT
300.525
301.368
4514247
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_04_280.opb
UNSAT
300.544
301.498
4544429
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
UNSAT
300.56
301.385
4492525
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v071-n2.opb
UNSAT
300.562
301.501
4514139
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
UNSAT
300.564
301.343
4492633
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v090-n1.opb
UNSAT
300.569
301.53
4513599
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_170.opb
UNSAT
300.583
301.464
4544390
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-1750.shuf-3.opb
UNSAT
300.629
301.587
4516803
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-91-90.opb
UNSAT
300.72
301.491
4493209
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-21-20.opb
UNSAT
300.788
301.666
4492885
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1500.shuf-1.opb
UNSAT
300.848
301.726
4516515
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-75-70.opb
UNSAT
300.885
301.667
4492849
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/
random_rational_opb/normalized-ec_random_rational_random8reg_split_750.opb
UNSAT
300.972
301.779
4544195
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-grids-v1_shuffle/normalized-grid8_161.shuf-2.opb
UNSAT
300.987
302.142
4515939
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb
UNSAT
301.026
301.933
4543298
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_08_180.opb
UNSAT
301.237
302.2
4544351
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-2500.opb
UNSAT
301.358
302.231
4516623
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb
UNSAT
301.454
302.367
4510561
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04/normalized-ec_stargrid_04_021.opb
UNSAT
301.557
302.406
4542986
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-3500.shuf-3.opb
UNSAT
301.582
302.465
4516767
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-105-100.opb
UNSAT
301.809
302.607
4492777
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb/normalized-subsetcard-eq-fixedbandwidth-3000.opb
UNSAT
301.815
302.707
4516731
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_06_048.opb
UNSAT
302.557
303.368
4543883
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-4000.opb
UNSAT
302.729
303.759
4516659
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_048.opb
UNSAT
302.795
303.62
4544078
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-3500.opb
UNSAT
303.097
304.084
4516695
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2003/normalized-disctom.0.u.opb
UNSAT
304.175
305.017
4514859
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_14_088.opb
UNSAT
305.088
306.068
4543766
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-35-30.opb
UNSAT
305.304
306.279
4492993
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06/normalized-ec_stargrid_06_012.opb
UNSAT
306.018
306.878
4542908
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_30_088.opb
UNSAT
311.324
312.252
4543922
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_220_219.opb
UNSAT
312.046
312.991
4543103
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_30_092.opb
UNSAT
313.454
314.283
4543805
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_230_229.opb
UNSAT
314.103
315.006
4543025
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_021.shuf-2.opb
UNSAT
316.935
317.912
4542830
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_10_096.opb
UNSAT
323.837
324.767
4543844
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
UNSAT
328.201
329.178
4510633
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_18_044.opb
UNSAT
340.974
341.903
4544000
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x60split.cnf-extracted.pb.metafix.opb
UNSAT
347.096
348.152
4510777
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat12_11_identity_complement.opb
UNSAT
352.877
354.126
4544819
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb
UNSAT
359.966
361.104
4492957
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_390_389.opb
UNSAT
380.411
381.572
4543064
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_10_092.opb
UNSAT
401.238
402.446
4544117
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_036.shuf-2.opb
UNSAT
417.902
419.519
4542713
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab71-20-100.0.u.opb
UNSAT
438.448
439.623
4515255
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab51-40-100.0.u.opb
UNSAT
793.513
795.685
4515183
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_066.shuf-1.opb
UNSAT
808.555
811.701
4542752
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_30_096.opb
UNSAT
1043.23
1046.39
4543727
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height18_pigeons17_holes16.opb
UNSAT
1165.84
1170.06
4542128
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height19_pigeons18_holes17.opb
UNSAT
1181.45
1185.52
4542245
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb
UNSAT
1266.47
1270.48
4510381
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height12_pigeons11_holes10.opb
UNSAT
1694.48
1700.06
4542401
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n98-d3-i3-r1.cnf.gz-plain.pb.metafix.opb
UNSAT
1695.58
1700.9
4510129
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-16array_diag_less.opb
UNSAT
1768.69
1774.19
4517235
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_11.opb
UNSAT
2146.09
2152.31
4514355
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l060-r059-n1.cnf-plain.pb.metafix.opb
UNSAT
2358.97
2365.5
4510813
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_36.opb
UNSAT
2525.72
2533.1
4514463
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-89.opb
UNSAT
2534.98
2542
4503257
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (121 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.003162
0.00326008
4502243
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_008.shuf-1.opb
SAT
0
0.00502
0.00523891
4543649
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb
SAT
0
0.009474
0.00962292
4492597
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb
SAT
0
0.00951
0.00963597
4492561
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb
SAT
0
0.014447
0.0146211
4493497
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223689.opb
SAT
0
0.022071
0.0223861
4495513
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900561384.opb
SAT
0
0.03694
0.0372681
4494865
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226284.opb
SAT
0
0.050574
0.05087
4495657
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582376.opb
SAT
0
0.051083
0.0513629
4494973
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900574974.opb
SAT
0
0.058048
0.0584461
4494937
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb
SAT
0
0.077785
0.078159
4492489
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin8.opb
SAT
0
0.085764
0.086288
4493281
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat99_identity_complement.opb
SAT
0
0.096433
0.0968281
4544897
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/
miplib2017/normalized-chromaticindex32-8.0.s.opb
SAT
0
0.130739
0.131848
4515039
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969933.opb
SAT
0
0.159936
0.16061
4495549
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9bt.opb
SAT
0
0.166233
0.172362
4493785
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww2.opb
SAT
0
0.17894
0.185166
4495873
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6033_7-sat.opb
SAT
0
0.182676
0.187975
4501811
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww4.opb
SAT
0
0.202689
0.203434
4495945
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900547353.opb
SAT
0
0.206866
0.207907
4494901
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb
SAT
0
0.215813
0.224065
4492345
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb
SAT
0
0.239532
0.245587
4492309
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb
SAT
0
0.251548
0.263084
4492381
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973863.opb
SAT
0
0.267849
0.268827
4495333
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6027_7-sat.opb
SAT
0
0.268136
0.269076
4501703
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900547461.opb
SAT
0
0.269333
0.270405
4495153
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat11_11_identity_complement.opb
SAT
0
0.275333
0.276497
4545014
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j907_2-sat.opb
SAT
0
0.367821
0.374334
4502063
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin10.opb
SAT
0
0.372929
0.374193
4493389
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559641.opb
SAT
0
0.416134
0.417517
4495081
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_10_triangular.opb
SAT
0
0.471849
0.473409
4544624
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
SAT
0
0.475238
0.476927
4492165
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12020_5-sat.opb
SAT
0
0.630654
0.63547
4502207
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12ls.opb
SAT
0
0.634781
0.636679
4493569
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14ls.opb
SAT
0
0.665932
0.668033
4493749
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567003.opb
SAT
0
0.709978
0.712693
4494685
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat12_11_triangular.opb
SAT
0
0.727928
0.731291
4544780
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K76.opb
SAT
0
0.734086
0.736417
4507749
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-849702.opb
SAT
0
1.07304
1.07637
4503185
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat15_15_identity_complement.opb
SAT
0
1.19645
1.19975
4544585
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14bt.opb
SAT
0
1.26802
1.27144
4493893
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
SAT
0
1.39736
1.4023
4492201
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17ls.opb
SAT
0
1.5178
1.52201
4493605
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos808444.opb
SAT
0
1.67533
1.68642
4503113
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3013_3-sat.opb
SAT
0
1.69162
1.69693
4502135
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
SAT
0
1.74194
1.74668
4492669
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_028.shuf-1.opb
SAT
0
1.98382
1.98915
4543610
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j605_7-sat.opb
SAT
0
2.17047
2.19292
4501775
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat15_14_triangular.opb
SAT
0
2.22971
2.23561
4544663
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K71.opb
SAT
0
2.58092
2.58852
4507677
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_08_020.opb
SAT
0
2.6629
2.67026
4543532
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12bt.opb
SAT
0
2.72518
2.73235
4493641
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K72.opb
SAT
0
3.36031
3.37103
4507785
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
SAT
0
3.74727
3.76763
4492093
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
SAT
0
4.03107
4.04177
4494001
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size96-round21-6.opb
SAT
0
4.04258
4.06024
4513275
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
SAT
0
4.05454
4.06733
4494325
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
SAT
0
4.10108
4.11615
4494037
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
SAT
0
4.25766
4.26996
4494433
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K102.opb
SAT
0
4.97896
4.99845
4507425
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin12.opb
SAT
0
6.07709
6.09374
4493425
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
SAT
0
6.1054
6.12382
4492057
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
SAT
0
6.18574
6.20307
4493533
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K75.opb
SAT
0
6.20503
6.22248
4507641
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round21-2.opb
SAT
0
6.24203
6.26048
4512951
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-22-18-20-1_c24.opb
SAT
0
6.28973
6.309
4545521
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24ls.opb
SAT
0
7.41313
7.43365
4493713
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
SAT
0
7.87709
7.89948
4491985
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
SAT
0
8.47352
8.50396
4491661
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l6_n1500.opb
SAT
0
8.87697
8.89882
4494613
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-03.opb
SAT
0
9.62222
9.64869
4503293
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K69.opb
SAT
0
9.63683
9.66411
4507713
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat20_19_triangular.opb
SAT
0
9.80821
9.86358
4544546
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
SAT
0
10.3686
10.4034
4494181
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
SAT
0
10.6244
10.6777
4493929
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
SAT
0
10.7633
10.793
4493965
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
SAT
0
11.8392
11.8723
4494289
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
SAT
0
12.0471
12.0797
4494145
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
SAT
0
12.1162
12.1498
4494397
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-164.opb
SAT
0
12.611
12.6473
4503509
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21ls.opb
SAT
0
13.4566
13.4923
4493857
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K101.opb
SAT
0
15.6434
15.6959
4507461
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
SAT
0
15.6492
15.6965
4494577
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_15.opb
SAT
0
19.7741
19.8339
4514427
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K105.opb
SAT
0
24.3413
24.4092
4507569
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K92.opb
SAT
0
29.7535
29.838
4507317
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
SAT
0
31.1094
31.1868
4494073
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
SAT
0
31.9056
32.0023
4494361
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
SAT
0
33.1422
33.2259
4494109
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
SAT
0
33.4005
33.4872
4494253
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
SAT
0
33.5627
33.6481
4494217
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob1.opb
SAT
0
34.1754
34.2737
4496161
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-185.opb
SAT
0
37.5207
37.6366
4503473
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob7.opb
SAT
0
44.8741
45.0068
4495837
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob4.opb
SAT
0
45.515
45.6433
4495801
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
SAT
0
47.0447
47.1774
4493821
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24bt.opb
SAT
0
47.5471
47.6853
4493677
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb
SAT
0
49.5084
49.6483
4511677
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob10.opb
SAT
0
50.4204
50.5572
4495765
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/
miplib2017/normalized-academictimetablesmall.0.s.opb
SAT
0
63.5465
63.7522
4515003
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-dec2-3-3-5.opb
SAT
0
64.1084
64.2993
4545209
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K90.opb
SAT
0
71.5781
71.7846
4507281
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K96.opb
SAT
0
72.5113
72.7103
4507605
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K98.opb
SAT
0
72.8213
73.046
4507389
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
SAT
0
105.179
105.463
4492129
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-777800.0.s.opb
SAT
0
114.463
114.809
4515291
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
SAT
0
145.757
146.202
4494505
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K196.opb
SAT
0
162.158
162.612
4507137
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K188.opb
SAT
0
168.194
168.76
4506849
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin14.opb
SAT
0
175.13
175.599
4493353
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K194.opb
SAT
0
176.101
176.594
4507173
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
SAT
0
212.413
213.042
4494541
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob5.opb
SAT
0
224.095
224.714
4495909
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-cvs16r70-62.0.s.opb
SAT
0
235.994
236.702
4515147
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-dec2-3-3-1.opb
SAT
0
279.28
280.132
4545365
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-111.opb
SAT
0
284.009
284.89
4503761
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_064.shuf-1.opb
SAT
0
300.206
301.045
4543688
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww3.opb
SAT
0
300.265
301.18
4495729
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww1.opb
SAT
0
300.298
301.178
4496197
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob2.opb
SAT
0
310.676
311.579
4496125
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab51-40-100.0.s.opb
SAT
0
843.577
845.908
4515111
Solver didn't decide (UNKNOWN) (30 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm25p-dec.opb.negationfix.opb
?
205.049
205.626
4511749
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-AverageAvoiding-mini-40_c24.opb
?
250.491
251.193
4545131
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm50p-dec.opb.negationfix.opb
?
382.424
383.439
4511929
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb
?
388.989
389.994
4511893
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
?
389.505
390.522
4511821
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm99p-dec.opb.negationfix.opb
?
390.674
391.681
4511857
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb
?
401.248
402.289
4512145
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb
?
430.525
431.729
4511713
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb
?
439.892
441.041
4511785
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
?
471.32
472.562
4512037
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm75p-dec.opb.negationfix.opb
?
515.106
516.466
4512181
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm85p-dec.opb.negationfix.opb
?
529.548
530.87
4511965
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb
?
651.984
653.629
4512109
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm95p-dec.opb.negationfix.opb
?
663.136
664.831
4512001
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/
normalized-hw512-vm100p-dec.opb.negationfix.opb
?
732.876
734.687
4512073
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round21-3.opb
?
1203.53
1207.13
4513059
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K87.opb
?
1230.98
1234.52
4507497
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-116.opb
?
1322.68
1327.13
4503689
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob6.opb
?
1464.32
1469.09
4495981
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ivu59.0.u.opb
?
1512.94
1516.8
4515075
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-134.opb
?
1579.67
1584.9
4503581
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
?
1639.92
1644.71
4492021
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K177.opb
?
1837.4
1842.87
4507245
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K176.opb
?
1899.53
1904.97
4506885
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K182.opb
?
1993.02
1999.12
4507209
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-90.opb
?
2196.18
2202.08
4503329
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K169.opb
?
2706.44
2714
4506777
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-table-3-3-9.opb
?
2770.96
2780.03
4545092
PB25/normalized-PB25/DEC-LIN/
wallon/normalized-FRB-45-21-3-mgd_c18.opb
?
2884.09
2892.56
4545248
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K174.opb
?
3154.17
3163.66
4507029
Solver timed out (no solution given) (88 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.opb
? (TO)
3600.01
3610.9
4510993
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallace_spec/normalized-28wallace_spec_greater_tvars.opb
? (TO)
3600.01
3612.3
4542050
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat20_19_identity_complement.opb
? (TO)
3600.02
3611.7
4544975
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-24diag_spec_greater.opb
? (TO)
3600.02
3610.8
4541972
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n258-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.02
3610.9
4509697
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.02
3610.2
4509877
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n134-d3-i3-f.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.02
3610.5
4509985
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K81.opb
? (TO)
3600.02
3611.11
4507533
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_10-sat.opb
? (TO)
3600.02
3609.8
4501991
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-0.opb
? (TO)
3600.02
3609.7
4513203
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-seymour.0.u.opb
? (TO)
3600.02
3611.2
4514931
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
? (TO)
3600.02
3611.8
4510489
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820157.opb
? (TO)
3600.02
3610.51
4503149
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n184-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.02
3610.9
4509805
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-pmg-14-UNSAT.shuffled-as.sat05-3942.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.03
3611.3
4509913
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
? (TO)
3600.03
3610.5
4510417
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
? (TO)
3600.03
3610.6
4494469
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb
? (TO)
3600.03
3610.01
4542596
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K159.opb
? (TO)
3600.03
3610.6
4506993
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-MisteryShopper-mini-5-08-2-6-0_c24.opb
? (TO)
3600.03
3610.11
4545404
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb
? (TO)
3600.04
3609.5
4493245
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K166.opb
? (TO)
3600.04
3610.2
4506921
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_075.shuf-3.opb
? (TO)
3600.04
3610.8
4542869
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-0.opb
? (TO)
3600.04
3610.11
4512807
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-85-80.opb
? (TO)
3600.04
3610.2
4493173
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob3.opb
? (TO)
3600.04
3609.6
4496089
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_3-sat.opb
? (TO)
3600.04
3610.2
4501955
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K155.opb
? (TO)
3600.05
3610.01
4507065
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_comm/normalized-27diagcomm_less_teq.opb
? (TO)
3600.05
3612.01
4542089
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_diag/normalized-26array_diag_greater.opb
? (TO)
3600.05
3610.8
4541699
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round22-2.opb
? (TO)
3600.05
3610.01
4513239
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n30-d4-i1.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.05
3610.2
4509733
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-952987.0.d.opb
? (TO)
3600.05
3612.42
4515327
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_072.shuf-3.opb
? (TO)
3600.05
3612.6
4542791
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K150.opb
? (TO)
3600.05
3610.5
4507101
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-6.opb
? (TO)
3600.06
3609.5
4513311
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-4.opb
? (TO)
3600.06
3610.8
4513023
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-2.opb
? (TO)
3600.06
3610.01
4512915
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/
array_comm/arraycomm_teq_tvars/normalized-32arraycomm_teq_tvars_greater.opb
? (TO)
3600.06
3611.2
4541894
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-61-60.opb
? (TO)
3600.06
3610.6
4492813
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K84.opb
? (TO)
3600.06
3609.8
4507353
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_diag/normalized-31array_diag_less.opb
? (TO)
3600.06
3610.3
4541738
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-192.opb
? (TO)
3600.07
3610.7
4503365
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n230-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.07
3611.3
4510093
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-29array_ineq6.opb
? (TO)
3600.07
3611.3
4541660
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K134.opb
? (TO)
3600.07
3610.7
4506741
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820146.opb
? (TO)
3600.07
3613.61
4503221
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12011_3-sat.opb
? (TO)
3600.07
3609.8
4502171
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9029_2-sat.opb
? (TO)
3600.07
3610.7
4502027
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SocialGolfers-08-04-08_c24.opb
? (TO)
3600.07
3610.9
4545326
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K138.opb
? (TO)
3600.07
3610.4
4506813
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-4.opb
? (TO)
3600.07
3609.5
4512843
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n232-d3-i1-f.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.08
3609.9
4510057
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-631710.0.u.opb
? (TO)
3600.08
3610.35
4515363
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob8.opb
? (TO)
3600.08
3610.9
4496053
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-t1722.0.s.opb
? (TO)
3600.08
3610.23
4515219
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin18.opb
? (TO)
3600.08
3609.6
4493317
PB25/normalized-PB25/DEC-LIN/
wallon/normalized-FRB-53-24-1-mgd_c18.opb
? (TO)
3600.08
3611.11
4545053
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K133.opb
? (TO)
3600.08
3611.11
4506957
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-31array_alg_ineq6.opb
? (TO)
3600.08
3611.2
4541621
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round23-6.opb
? (TO)
3600.08
3609.3
4512879
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat16_15_identity_complement.opb
? (TO)
3600.08
3609.9
4544468
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-147.opb
? (TO)
3600.08
3612.51
4503617
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb
? (TO)
3600.09
3611.01
4541777
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-16arraycomm_teq_tvars_greater.opb
? (TO)
3600.09
3610.2
4517307
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round22-1.opb
? (TO)
3600.09
3610.6
4513095
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-MisteryShopper-mini-5-10-2-6-0_c24.opb
? (TO)
3600.09
3610.2
4545443
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb
? (TO)
3600.09
3611.64
4542440
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size80-round23-5.opb
? (TO)
3600.09
3609.8
4512987
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_comm/arraycomm/normalized-17arraycomm_less.opb
? (TO)
3600.09
3609.9
4541933
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-AverageAvoiding-20_c24.opb
? (TO)
3600.09
3611.01
4545287
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww5.opb
? (TO)
3600.09
3610.8
4496017
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height21_pigeons20_holes19.opb
? (TO)
3600.09
3612.21
4542362
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb
? (TO)
3600.09
3610.97
4542206
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin16.opb
? (TO)
3600.1
3610.4
4493461
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb
? (TO)
3600.1
3610.41
4542674
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-16diag_spec_greater.opb
? (TO)
3600.1
3611.02
4517379
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x100split.cnf-plain.pb.metafix.opb
? (TO)
3600.1
3611.6
4510669
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-6.opb
? (TO)
3600.1
3610.11
4513131
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round23-3.opb
? (TO)
3600.1
3609.6
4513167
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l080-r079-n1.opb
? (TO)
3600.1
3612.7
4513887
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq5/normalized-30array_ineq5.opb
? (TO)
3600.1
3612.6
4541543
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb
? (TO)
3600.17
3613.06
4542479
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
? (TO)
3600.21
3612.38
4542557
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height36_pigeons35_holes34.opb
? (TO)
3600.22
3612.87
4542284
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height47_pigeons46_holes45.opb
? (TO)
3600.24
3613.32
4542518
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-174.opb
? (TO)
3600.29
3611.72
4503725
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height50_pigeons49_holes48.opb
? (TO)
3600.34
3611.34
4542167
Category "optimization problem, linear constraints, no OPT/UNSAT certificate" (OPT-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (19 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-1021.cudf.trendy.opb
UNSAT
0.00383
0.00394789
4501068
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1077.cudf.trendy.opb
UNSAT
0.01779
0.0180471
4500976
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-121.cudf.trendy.opb
UNSAT
0.049609
0.0508429
4501160
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-rand271a0d.cudf.paranoid.opb
UNSAT
0.098293
0.0997841
4501436
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-557.cudf.trendy.opb
UNSAT
0.115279
0.115985
4501114
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-584.cudf.paranoid.opb
UNSAT
0.11927
0.123998
4501620
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1336.cudf.trendy.opb
UNSAT
0.15935
0.165085
4501206
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1378.cudf.trendy.opb
UNSAT
0.165849
0.168811
4501252
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand659e05.cudf.trendy.opb
UNSAT
0.193046
0.199423
4500608
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa6288-047.opb
UNSAT
0.208625
0.209683
4486716
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand65d021.cudf.trendy.opb
UNSAT
0.266052
0.272092
4500470
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-pilot.opb
UNSAT
0.805836
0.812331
4485704
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-qnet1_o.opb
UNSAT
2.3143
2.31891
4486118
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep4.5.opb
UNSAT
5.12522
5.14122
4507968
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum2.opb
UNSAT
8.58692
8.61631
4486210
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ns1769397.opb
UNSAT
40.8221
40.9326
4522336
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_3.opb
UNSAT
119.617
119.968
4490488
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_3_ic.opb
UNSAT
1051.09
1053.82
4505002
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_8_ic.opb
UNSAT
1070.49
1073.08
4505140
Solver found optimum (OPTIMUM FOUND) (339 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g2x2.opb
OPT
2
0.003295
0.00332808
4487866
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g4x4.opb
OPT
4
0.003622
0.00374798
4488004
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_6x6_004.opb.metafix.opb
OPT
23
0.003692
0.00387698
4508382
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_6x6_000.opb.metafix.opb
OPT
16
0.003727
0.00393498
4508520
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x3.opb
OPT
7
0.003979
0.00400503
4487958
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/area_partials/normalized-fir04_area_partials.opb
OPT
30
0.00408
0.00427302
4497300
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_000.opb.metafix.opb
OPT
30
0.004082
0.00420588
4508704
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb
OPT
50
0.00478
0.00482997
4486854
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12.opb
OPT
46877
0.005002
0.00521295
4498722
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_005.opb.metafix.opb
OPT
26
0.005376
0.00551702
4508612
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_03.opb
OPT
0
0.005966
0.00617689
4519300
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g7x7.opb
OPT
12
0.00602
0.00624299
4487912
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb
OPT
50
0.006185
0.00642493
4486946
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-5_10.opb
OPT
3951
0.007023
0.00722391
4496426
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_4.opb
OPT
6
0.007367
0.00756594
4491270
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb
OPT
9663726592
0.008415
0.00860399
4485934
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
OPT
1567
0.008801
0.00893505
4487682
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir01_trarea_ac.opb
OPT
13949
0.009934
0.010086
4496978
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb
OPT
200
0.010581
0.010645
4486992
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb
OPT
100
0.010693
0.0108059
4486762
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_04.opb
OPT
0
0.011514
0.0116879
4518932
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_40_40.r.opb
OPT
2
0.012198
0.012447
4491040
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb
OPT
36
0.013884
0.014093
4487176
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb
OPT
36
0.014104
0.0142219
4487084
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb
OPT
36
0.014668
0.0147789
4487498
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb
OPT
36
0.014739
0.014899
4487268
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_12.opb
OPT
-36
0.015096
0.0153919
4521048
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=383.opb
OPT
223
0.015316
0.0154301
4488510
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=71-Q=409.opb
OPT
71
0.015358
0.015523
4488188
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
OPT
304
0.016884
0.0171011
4484186
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0055-0055.lin.opb
OPT
-20
0.017041
0.017183
4509026
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb
OPT
34
0.017094
0.017426
4487314
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=229-Q=239.opb
OPT
229
0.017346
0.017421
4488280
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb
OPT
-1073741823
0.017523
0.0177319
4485980
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=131-Q=277.opb
OPT
131
0.017528
0.017768
4488372
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-7_14.opb
OPT
5148
0.017559
0.0178939
4496380
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=379.opb
OPT
331
0.018645
0.0187449
4488142
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=109-Q=419.opb
OPT
109
0.018876
0.01975
4488326
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=509.opb
OPT
149
0.020291
0.020774
4488096
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45.opb
OPT
45008
0.021397
0.0212641
4498952
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ4_3.opb
OPT
20
0.021849
0.0220859
4486486
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb
OPT
90
0.02326
0.0235279
4520910
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0088-0888.lin.opb
OPT
-55
0.023558
0.0237891
4509118
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_60_004.opb
OPT
-874
0.023696
0.0239281
4523302
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-6_12.opb
OPT
5867
0.024608
0.0248671
4496288
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_022.opb
OPT
264
0.027424
0.0276601
4521646
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_5.opb
OPT
11
0.02807
0.02818
4491178
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
OPT
24890
0.031389
0.0319661
4497070
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir04_area_delay.opb
OPT
12
0.031906
0.0321261
4497346
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1098.cudf.trendy.opb
OPT
102017
0.03213
0.0324531
4501022
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
OPT
20
0.034019
0.036044
4487820
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-ex6inp.r.opb
OPT
4
0.03493
0.0350519
4491132
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c80.opb
OPT
120
0.035099
0.035307
4520496
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-edgecross14-019.lin.opb
OPT
4
0.037084
0.0377559
4509072
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-2-irabcde.opb
OPT
13739089
0.037151
0.037507
4512632
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-sao2.b.opb
OPT
25
0.049084
0.0492799
4487636
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-990.cudf.trendy.opb
OPT
277042
0.05258
0.0543189
4501298
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_002.opb.metafix.opb
OPT
42
0.0588
0.0591421
4508658
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_05.opb
OPT
21
0.062566
0.0628751
4522014
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f13-ACDoubleLoss.seq-B-2-2-irEDCBA.opb
OPT
4479155252
0.062834
0.0632169
4512770
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
OPT
47342
0.082445
0.082836
4497116
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c50.opb
OPT
76
0.083295
0.083634
4520542
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
OPT
23978
0.099576
0.100022
4497024
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f37-AC_TotalLoss.seq-B-2-2-abcdeir.opb
OPT
7665979
0.100181
0.100749
4512724
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_6.opb
OPT
17
0.131801
0.132389
4491316
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-randd6bc17.cudf.trendy.opb
OPT
0
0.134136
0.134655
4500378
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
OPT
41202
0.13565
0.136153
4497162
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r7_c14_a4.opb
OPT
378
0.140336
0.146099
4520220
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-misc01.opb
OPT
1074317824
0.144815
0.145474
4486026
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f47-DC_Side1.seq-B-2-2-irabcde.opb
OPT
19643295490
0.15051
0.152689
4512586
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rande89f80.cudf.trendy.opb
OPT
2979398
0.152093
0.152784
4500332
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-count.b.opb
OPT
24
0.159199
0.159806
4487544
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-159.opb
OPT
1327
0.187995
0.191378
4487038
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-randa13f2d.cudf.paranoid.opb
OPT
2477
0.189403
0.190405
4501344
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_038.opb
OPT
760
0.19011
0.190843
4521830
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
OPT
36
0.19239
0.193053
4487406
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data4_3.opb
OPT
8276
0.206916
0.218972
4486256
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_042.opb
OPT
924
0.207876
0.220135
4521738
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irEDCBA.opb
OPT
55266674189
0.21427
0.220514
4512494
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand902db1.cudf.trendy.opb
OPT
394243446
0.215435
0.216063
4500562
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_4_shg.opb
OPT
22
0.235497
0.236302
4502800
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-randf794d2.cudf.paranoid.opb
OPT
8228
0.238761
0.249579
4501390
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-addm4.r.opb
OPT
165
0.253944
0.257317
4490994
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-macrophage.opb
OPT
374
0.257601
0.25864
4502570
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/
normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_074.opb
OPT
2738
0.263645
0.267713
4521416
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-rand9ffe99.cudf.trendy.opb
OPT
10818283609
0.288615
0.291143
4500424
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_160.opb
OPT
400
0.296245
0.301613
4520818
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-650.cudf.paranoid.opb
OPT
2
0.298952
0.30469
4501666
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb
OPT
64
0.300987
0.3022
4487222
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_06.opb
OPT
28
0.313568
0.315596
4521876
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
OPT
62
0.314582
0.32099
4487130
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-8_16.opb
OPT
5852
0.32096
0.322173
4496334
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_008.opb.metafix.opb
OPT
50
0.356075
0.360758
4508428
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-bnatt350.opb
OPT
0
0.380856
0.382122
4502662
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randbccf2d.cudf.trendy.opb
OPT
20578507799
0.390854
0.392332
4500516
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_004.opb.metafix.opb
OPT
51
0.431803
0.43496
4508336
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_18.opb
OPT
-81
0.4949
0.502489
4521186
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_054.opb
OPT
1512
0.495065
0.50571
4521600
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r10_c19_a4.opb
OPT
722
0.584338
0.586141
4520450
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
OPT
60
0.586207
0.590239
4487360
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-hanoi5.opb
OPT
1931
0.616511
0.618491
4502708
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir07_trarea_ac.opb
OPT
50162
0.66166
0.663905
4496886
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-1000opt.opb
OPT
-178
0.701531
0.703479
4499550
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
OPT
813
0.775929
0.800545
4484048
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_008_area_delay.opb
OPT
25
0.8842
0.8869
4496564
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f53-AC_FC1.seq-A-2-1-EDCBAir.opb
OPT
-1336666903
0.923551
0.928038
4512678
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_058.opb
OPT
1740
0.925216
0.927882
4521784
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
OPT
64
0.996709
1.00296
4487452
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir05_area_opers.opb
OPT
35
0.998509
1.0015
4497254
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-libgnokii4.cudf.paranoid.opb
OPT
146081
0.999967
1.00818
4501482
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-mono-mcs.cudf.paranoid.opb
OPT
141778
1.02622
1.02951
4501528
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-gpc-4.1.cudf.paranoid.opb
OPT
146114
1.02836
1.03254
4501574
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-9symml.opb
OPT
4517
1.12718
1.13259
4487728
PB24/normalized-PB06/OPT-LIN/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb
OPT
25
1.1822
1.18609
4490764
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_070.opb
OPT
2520
1.24109
1.24508
4521692
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_20.opb
OPT
-96
1.28592
1.29028
4521324
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_011_area_delay.opb
OPT
26
1.28769
1.29192
4496656
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-5000opt.opb
OPT
-169
1.29424
1.29837
4499826
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/
normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_120.opb
OPT
7200
1.33281
1.34376
4521508
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3046_9.std.opb
OPT
49
1.36631
1.37015
4500194
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_071.opb
OPT
2556
1.38722
1.39763
4521554
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f50-DC_side2.seq-B-3-1-EDCBAir.opb
OPT
-2125803880
1.42486
1.42949
4512540
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-libgnokii4.cudf.trendy.opb
OPT
2703522196109
1.47752
1.48233
4500700
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-libnspr4-dev.cudf.trendy.opb
OPT
3656703476375
1.48339
1.48734
4500838
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-synaptic.cudf.trendy.opb
OPT
2624366011833
1.49084
1.51504
4500930
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-kdessh.cudf.trendy.opb
OPT
2624366011833
1.51092
1.51548
4500654
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-python-cairo.cudf.trendy.opb
OPT
2624366011833
1.5125
1.51964
4500884
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-mono-gac.cudf.trendy.opb
OPT
2624366011833
1.51285
1.51728
4500792
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
OPT
207
1.5157
1.52547
4486670
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/9orless/normalized-kfilereplace.cudf.trendy.opb
OPT
2624366011833
1.5255
1.52957
4500746
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Clique-c0125-9_c24.opb
OPT
-34
1.68694
1.70406
4524406
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3046_8.std.opb
OPT
58
1.70074
1.7056
4500148
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-3000opt.opb
OPT
-81
1.75868
1.77258
4499412
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16d2.opb
OPT
785
1.82693
1.86262
4486808
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
OPT
28
1.84811
1.86598
4496702
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j9033_7.std.opb
OPT
109
1.87051
1.87955
4500240
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb
OPT
134248448
1.87431
1.88021
4512448
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-8000opt.opb
OPT
-76
1.95662
1.97682
4499734
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament18.lin.opb
OPT
-80
2.03794
2.04344
4508796
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
OPT
34
2.03989
2.04889
4490258
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
OPT
33456
2.05932
2.07425
4496840
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.B.recomb1-0.01-3.opb
OPT
6
2.23867
2.25789
4506520
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.08.opb
OPT
34
2.28097
2.28744
4490166
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-6000opt.opb
OPT
-175
2.31081
2.31815
4499688
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/
normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_140.opb
OPT
9800
2.32775
2.33745
4521462
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12024_3.std.opb
OPT
89
2.41164
2.41819
4499872
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-3000opt.opb
OPT
-187
2.42425
2.43214
4499780
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-2000opt.opb
OPT
-167
2.47123
2.4794
4499596
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-4000opt.opb
OPT
-164
2.4865
2.49543
4499642
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=7-t=3.opb
OPT
4
2.63735
2.64471
4517828
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12024_1.std.opb
OPT
93
2.71705
2.72433
4499918
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-2000opt.opb
OPT
-70
2.73067
2.73862
4499458
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j1202_6.std.opb
OPT
92
2.79986
2.80886
4499964
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_75.opb
OPT
2889
3.17878
3.18702
4518840
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j906_2.std.opb
OPT
86
3.18417
3.19542
4500286
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r17_c34_a4.opb
OPT
2278
3.28335
3.29315
4520036
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12042_6.std.opb
OPT
119
3.41601
3.42812
4500056
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_08.opb
OPT
0
3.50403
3.5135
4519116
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r10_c20_a6.opb
OPT
1170
3.62088
3.63151
4520404
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat15_5_3_3_ic.opb
OPT
5900212
3.65323
3.66663
4505048
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb
OPT
8034
3.8152
3.82646
4496472
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.02.opb
OPT
44
4.0094
4.03559
4490212
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
OPT
37
4.19731
4.20681
4490074
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.B.recomb1-0.20-11.opb
OPT
7
4.21874
4.2306
4506290
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
strongly_correlated/normalized-knapPI_3_50_1000_2_-1678.opb
OPT
-2197
4.26902
4.28182
4517966
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.14.opb
OPT
42
4.45899
4.47036
4490028
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
OPT
41
4.7481
4.75984
4489982
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-8000opt.opb
OPT
-162
4.99836
5.03179
4499504
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
OPT
-35
5.43009
5.44662
4485060
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_025_area_delay.opb
OPT
25
5.52218
5.54107
4496518
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_400.opb
OPT
1800
5.59341
5.61425
4520726
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos11.opb
OPT
9216
5.62475
5.64165
4485198
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
OPT
20
5.87205
5.88956
4497760
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
OPT
18
5.96766
5.98523
4497714
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-3.opb
OPT
15414
6.23074
6.25024
4506566
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_6_mh.opb
OPT
7586846
6.25161
6.28031
4504450
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.10.opb
OPT
49
6.43144
6.44834
4490120
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_010_area_delay.opb
OPT
26
6.70958
6.7413
4496748
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx57.opb
OPT
6
6.72178
6.74488
4499274
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-5.opb
OPT
14043
7.34704
7.37019
4506612
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.E.recomb10-0.20-11.opb
OPT
9588
7.47528
7.5402
4506336
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
OPT
53
8.60126
8.63594
4488050
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.11.opb
OPT
38
8.62096
8.6416
4489936
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-4.opb
OPT
17444
9.00738
9.04135
4506658
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.01-5.opb
OPT
3521
9.26158
9.28804
4506704
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_013_area_delay.opb
OPT
22
9.85351
9.8853
4496610
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-may6.5.opb
OPT
43
10.7751
10.8087
4508014
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_290.opb
OPT
1016
11.5162
11.5591
4520772
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r21_c41_a4.opb
OPT
3362
12.438
12.4746
4520266
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_25.opb
OPT
-150
13.0341
13.0738
4521370
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx84.opb
OPT
8
13.1288
13.1697
4499044
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_12.opb
OPT
-22
13.2824
13.3227
4519714
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=8-t=3.opb
OPT
5
14.6204
14.6625
4517782
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
OPT
-35
15.1367
15.1789
4485106
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
OPT
-35
16.6529
16.6983
4485152
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb
OPT
344750
16.8508
16.8963
4485888
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_000.opb.metafix.opb
OPT
66
17.1079
17.1539
4508566
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun6.5.opb
OPT
67
17.7721
17.8199
4508244
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx60.opb
OPT
6
19.9944
20.0588
4499136
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul6.5.opb
OPT
79
20.1499
20.215
4508060
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct6.5.opb
OPT
101
21.3831
21.4507
4507922
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r22_c44_a5.opb
OPT
5742
21.8072
21.885
4520174
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.20-14.opb
OPT
5267
23.7486
23.8108
4506474
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
OPT
21
24.9551
25.0223
4497852
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct5.5.opb
OPT
167
28.8883
28.9731
4508198
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-538867.opb
OPT
122
34.12
34.2122
4502616
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx92.opb
OPT
9
34.4014
34.5257
4499228
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.10-9.opb
OPT
47741
36.4439
36.5417
4506382
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r26_c52_a5.opb
OPT
8034
41.6283
41.7688
4520358
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm25p-opt.opb.negationfix.opb
OPT
7
42.2339
42.3564
4509578
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun5.5.opb
OPT
145
42.5536
42.6817
4508106
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_390.opb
OPT
1756
46.517
46.6506
4520864
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
OPT
8908
47.4468
47.5892
4496242
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f12-ACDoubleLoss.seq-B-3-combined-EDCBAir.opb
OPT
-310536843
49.2281
49.364
4512402
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=14-t=2.opb
OPT
12
49.3261
49.4776
4517874
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-12.opb
OPT
54713
55.3971
55.5599
4506428
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_10000_10_0.85_3.opb
OPT
2
55.7501
56.0553
4522704
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.95_10.opb
OPT
0
59.0727
59.2507
4522888
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-max1024.r.opb
OPT
245
64.3926
64.6012
4490948
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__16.opb
OPT
95378
65.3367
65.5187
4498676
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir08_area_delay.opb
OPT
23
72.3463
72.5614
4497392
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r20_c39_a6.opb
OPT
4563
73.6594
73.8951
4520312
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_120_003.opb
OPT
-2565
100.712
101.016
4522980
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/
normalized-BA_RDC4.dot_luby_10null0mast_rapportOE2.0_TMAX15_K67_cod2_pbEq1_newVersion_ladder.opb
OPT
-72
115.756
116.121
4483818
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.85_7.opb
OPT
0
121.332
121.695
4522796
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
OPT
20
126.678
127.023
4497438
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_18.opb
OPT
-17
141.712
142.095
4519852
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=3.opb
OPT
7
146.198
146.618
4517690
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_29.opb
OPT
-56
152.602
153.01
4519806
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb
OPT
-20
157.723
158.149
4519944
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_22.opb
OPT
-22
166.189
166.646
4519990
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_2_mh.opb
OPT
5950590
169.703
170.339
4504312
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=20-t=2.opb
OPT
18
194.766
195.356
4517506
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_60.opb
OPT
-30
194.822
195.349
4519898
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_101.opb
OPT
1
205.782
206.345
4518472
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb
OPT
1
209.342
210.023
4488418
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_071.opb
OPT
1
221.129
221.797
4518380
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_111.opb
OPT
1
224.108
224.719
4518610
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_091.opb
OPT
1
229.992
230.641
4518564
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
OPT
21
233.83
234.452
4497530
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_031.opb
OPT
1
248.348
249.12
4518518
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_26.opb
OPT
-76
251.29
252.039
4519576
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_021.opb
OPT
1
266.949
267.745
4518426
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
OPT
2642
300.24
301.116
4484140
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_16x16_009.opb.metafix.opb
OPT
115
300.244
301.075
4508474
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_16.opb
OPT
0
300.259
301.138
4519254
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
OPT
0
300.271
301.172
4484278
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
OPT
3
300.284
301.074
4484692
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_17.opb
OPT
0
300.305
301.215
4519070
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_19.opb
OPT
0
300.317
301.182
4518886
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_260_007.opb
OPT
-7944
300.361
301.303
4523256
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_14x14_007.opb.metafix.opb
OPT
96
300.404
301.215
4508290
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_230_000.opb
OPT
-7236
300.53
301.379
4523164
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_410_001.opb
OPT
-13240
300.677
301.752
4523348
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2/normalized-lp4l.opb
OPT
2967
300.694
301.595
4522474
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/
normalized-knapPI_3_200_10000_5_-93992.opb
OPT
-141992
300.88
301.874
4518012
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-3.opb
OPT
3031
300.887
301.785
4484094
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb
OPT
-48992
300.931
301.889
4518196
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_500_10000_2_-399276.opb
OPT
-527203
301.035
301.895
4518242
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/weakly_correlated_span/
normalized-knapPI_12_1000_1000_3_-17136.opb
OPT
-17178
301.699
302.65
4518288
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-alu4.b.opb
OPT
50
301.854
302.692
4487590
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_450_009.opb
OPT
-14822
302.056
302.907
4523118
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
OPT
1
302.778
303.631
4484646
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
OPT
2
302.963
303.83
4484508
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_75.opb
OPT
-148
303.015
303.824
4519760
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_351.opb
OPT
1
303.139
304.011
4518794
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated_span/
normalized-knapPI_11_1000_1000_5_-23276.opb
OPT
-109060
303.375
304.273
4518058
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/similar_weights/
normalized-knapPI_9_5000_1000_1_-48768.opb
OPT
-48768
303.487
304.438
4518104
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_20.r.opb
OPT
17
310.677
311.687
4491086
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
OPT
4
312.441
313.333
4484324
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
OPT
50769
316.676
317.59
4497208
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb
OPT
1
316.797
317.738
4488464
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/
normalized-knapPI_15_2000_1000_5_-50838.opb
OPT
-17191
318.35
319.184
4518150
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
OPT
939
318.572
319.511
4484232
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Charlotte-06-2_c24.opb
OPT
5612
320.695
321.646
4524130
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_610_007.opb
OPT
-26846
320.962
321.881
4523026
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_1.opb
OPT
1176
325.719
326.789
4522612
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
OPT
5
330.561
331.516
4484554
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib3/normalized-mitre.opb
OPT
7677
331.948
333.168
4522060
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb
OPT
-29
332.047
332.978
4519622
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__1024.opb
OPT
45008
332.072
333.027
4498814
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
OPT
2
338.119
339.315
4490304
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/multiple_strongly_correlated/
normalized-knapPI_14_10000_1000_2_-407357.opb
OPT
-539657
343.87
344.737
4518334
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/
normalized-knapPI_3_5000_1000_4_-199683.opb
OPT
-296283
347.216
348.154
4517920
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
OPT
2
349.227
350.269
4484416
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r31_c62_a6.opb
OPT
11439
349.989
350.946
4520128
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb
OPT
29
351.145
352.243
4509486
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r33_c65_a6.opb
OPT
12675
357.476
358.415
4520082
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
OPT
12
362.681
363.678
4484600
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_680_004.opb
OPT
-31248
367.11
368.264
4523394
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__512.opb
OPT
45008
368.76
369.696
4498538
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-013.opb
OPT
-118198
376.363
377.409
4523210
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_1.opb
OPT
2899749
376.559
377.671
4503898
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_2.opb
OPT
3367493
390.02
391.126
4503806
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-017.opb
OPT
-119728
395.73
396.983
4523072
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=18-t=2.opb
OPT
16
414.611
415.938
4517552
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
OPT
3
417.166
418.365
4484370
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb
OPT
1
424.506
425.645
4488234
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-ab51-40-100.opb
OPT
-1285215
444.052
445.434
4522290
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_4_mh_ic.opb
OPT
2218686
451.166
452.745
4504818
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height16_pigeons15_holes14.opb
OPT
153
461.968
463.471
4519346
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_clique-40.lin.opb
OPT
1183
465.461
466.827
4509164
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__8.opb
OPT
87132
475.74
477.738
4498768
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core2536-691.opb
OPT
689
477.73
478.983
4485612
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb
OPT
27
512.884
514.435
4509440
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-rail507.opb
OPT
174
545.76
547.198
4485244
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.85_4.opb
OPT
6142
598.408
600.132
4522750
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_1_mh.opb
OPT
3373010
646.728
649.062
4504266
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb
OPT
1616
660.947
662.895
4520634
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
OPT
36
702.521
704.357
4503030
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-544324.opb
OPT
15
779.473
781.825
4502340
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-opm2-z7-s2.opb
OPT
-10280
802.476
804.843
4522382
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb
OPT
64
821.156
823.66
4509348
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
OPT
9
827.353
829.48
4484462
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament26.lin.opb
OPT
-167
921.608
924.253
4508888
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Charlotte-mini-24-2_c24.opb
OPT
20324
976.457
979.261
4524084
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_6_mh_ic.opb
OPT
1178861
989.102
992.596
4504864
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_47.opb
OPT
-540
1204.23
1207.79
4520956
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
OPT
21
1242.56
1245.85
4497576
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_2_mh.opb
OPT
6102808
1371.81
1377.4
4504542
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12055_1.std.opb
OPT
100
1382.7
1386.23
4500010
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=9.opb
OPT
1
1573.03
1578.37
4517598
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_4_mh.opb
OPT
3938224
1573.85
1580.14
4504588
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb
OPT
1
1575.63
1580.23
4523716
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
OPT
-50
1596.47
1601.16
4484922
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
OPT
19
1622.99
1627.54
4497806
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.75_2.opb
OPT
4
1720.96
1726.73
4522658
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/
normalized-BA_RDC4.dot_luby_0null50mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion_binary.opb
OPT
-1290
1734.73
1740.09
4483864
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
OPT
-53
1827.29
1832.6
4484830
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height13_pigeons12_holes11.opb
OPT
105
1852.34
1858.26
4519530
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
OPT
42
2005.73
2011.54
4502892
PB25/normalized-PB25/OPT-LIN/sakai/
PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_7_label9_adversarial_norm_inf.opb
OPT
1
2257.34
2264.16
4523624
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-FoolSolitaire-table-2-0_c24.opb
OPT
9
2492.14
2500.34
4524176
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb
OPT
-66663
2613.08
2622.15
4506152
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master-noopt.opb
OPT
110850
2946.14
2955.79
4523900
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir08_trarea_ac.opb
OPT
70311
3123.43
3131.35
4496932
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j6045_4.std.opb
OPT
108
3140.5
3149.7
4500102
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep5.5.opb
OPT
101
3563.46
3574.22
4507876
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
OPT
-50
3596.98
3608.31
4484968
Solver timed out but found at least a solution (166 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
SAT (TO)
191
3600.01
3609.9
4489338
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir10_trarea_ac.opb
SAT (TO)
74832
3600.01
3611.01
4496794
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb
SAT (TO)
1719173
3600.01
3609.61
4508750
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
SAT (TO)
24133
3600.01
3610.3
4486532
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-AztecDiamondSym-mini-07_c24.opb
SAT (TO)
562
3600.01
3612.6
4523992
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=7.opb
SAT (TO)
6
3600.01
3610.4
4517736
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
SAT (TO)
350
3600.02
3610.2
4486394
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_501.opb
SAT (TO)
1
3600.02
3610.2
4518702
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-grow7.opb
SAT (TO)
0
3600.02
3610.6
4485842
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
SAT (TO)
1102
3600.02
3610.4
4485566
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_90.opb
SAT (TO)
-1620
3600.02
3611.01
4521002
PB24/normalized-PB07/OPT-LIN/
submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
SAT (TO)
35
3600.02
3609.4
4497484
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_14_shg.opb
SAT (TO)
63
3600.02
3610.6
4502984
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE2.0_TMAX60_K67_cod2.opb
SAT (TO)
-55717
3600.02
3610.61
4505784
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_11.opb
SAT (TO)
77
3600.02
3609.8
4490856
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_451.opb
SAT (TO)
1
3600.03
3610.6
4518748
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_3_ic.opb
SAT (TO)
16535207
3600.03
3611.51
4505094
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
SAT (TO)
153
3600.03
3610.5
4491224
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-roll3000.opb
SAT (TO)
1099398192
3600.03
3609.9
4485658
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
SAT (TO)
192
3600.03
3610.6
4489062
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
SAT (TO)
198
3600.03
3610.01
4489016
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
SAT (TO)
16
3600.03
3611.3
4509532
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
SAT (TO)
190
3600.03
3610.01
4489430
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb
SAT (TO)
2044
3600.03
3609.91
4520680
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
SAT (TO)
190
3600.03
3610.3
4489384
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
SAT (TO)
63
3600.03
3611.01
4490350
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i8_pp_92.opb
SAT (TO)
808
3600.04
3611.31
4522520
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_36.opb
SAT (TO)
0
3600.04
3609.9
4519162
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
SAT (TO)
64
3600.04
3609.7
4486440
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay75.lin.opb
SAT (TO)
2561120
3600.04
3609.91
4508842
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
SAT (TO)
196
3600.04
3610.11
4489154
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_2_mh_ic.opb
SAT (TO)
2952479
3600.04
3612.13
4504910
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_401.opb
SAT (TO)
1
3600.04
3610.11
4518656
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_26.opb
SAT (TO)
0
3600.04
3611.4
4519024
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null0mast_rapportOE2.0_TMAX300_K192_cod1.opb
SAT (TO)
0
3600.04
3611.13
4505876
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
SAT (TO)
72
3600.04
3610.81
4502846
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.opb
SAT (TO)
-16
3600.05
3610.5
4519668
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/
normalized-BA_RDC4.dot_luby_10null20mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_product.opb
SAT (TO)
-6689
3600.05
3610.51
4483956
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
SAT (TO)
-44
3600.05
3610.31
4485014
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb
SAT (TO)
-62
3600.05
3611.8
4522198
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
SAT (TO)
1038
3600.05
3609.8
4488602
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
SAT (TO)
-48
3600.05
3609.9
4484738
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/
normalized-BA_RDC4.dot_fibo_10null50mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion.opb
SAT (TO)
-321615
3600.05
3611.51
4484002
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_5.opb
SAT (TO)
4219117
3600.05
3610.3
4503852
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
SAT (TO)
412
3600.05
3612.21
4489706
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-biella1.opb
SAT (TO)
12755956598043648
3600.05
3610.72
4485520
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
SAT (TO)
23
3600.05
3610.9
4490718
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
SAT (TO)
185
3600.05
3609.3
4489246
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master.opb
SAT (TO)
55935
3600.05
3611.33
4523946
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_0.opb
SAT (TO)
4259149
3600.05
3612.12
4504220
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_4.opb
SAT (TO)
5366007
3600.05
3610.3
4504082
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
SAT (TO)
247
3600.05
3609.9
4491408
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
SAT (TO)
192
3600.05
3610.3
4486302
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=8.opb
SAT (TO)
3
3600.06
3611.6
4517644
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
SAT (TO)
1043
3600.06
3609.7
4488878
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
SAT (TO)
36
3600.06
3610.11
4490442
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern60-15.lin.opb
SAT (TO)
-10828
3600.06
3609.5
4508934
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_4_mh_ic.opb
SAT (TO)
5155729
3600.06
3612.13
4504772
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
SAT (TO)
1038
3600.06
3611.4
4488648
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-irEDCBA.opb
SAT (TO)
7764998808
3600.06
3610.61
4512356
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb
SAT (TO)
-18612
3600.06
3610.22
4506106
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-protfold.opb
SAT (TO)
-23
3600.06
3609.8
4502432
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
SAT (TO)
1038
3600.06
3609.8
4488970
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.75_3.opb
SAT (TO)
8764
3600.07
3611.12
4522842
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_12.opb
SAT (TO)
94
3600.07
3610.8
4491362
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
SAT (TO)
1043
3600.07
3610.11
4488786
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
SAT (TO)
1030
3600.07
3609.7
4488556
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_36.opb
SAT (TO)
0
3600.07
3609.7
4518978
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_5.opb
SAT (TO)
5204605
3600.07
3611.11
4503944
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_550.opb
SAT (TO)
3166
3600.07
3611.11
4520588
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
SAT (TO)
254
3600.07
3613.13
4489522
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
SAT (TO)
339
3600.07
3611.31
4489890
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
SAT (TO)
1034
3600.07
3609.3
4488694
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
SAT (TO)
373
3600.07
3611.71
4489660
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/
normalized-BA_RDC4.dot_unif_0null10mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_ladder.opb
SAT (TO)
-42096
3600.07
3610.41
4483772
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
SAT (TO)
189
3600.07
3610.8
4489292
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug6.5.opb
SAT (TO)
91
3600.07
3612.4
4508152
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
SAT (TO)
188
3600.07
3609.4
4489200
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
SAT (TO)
394
3600.07
3611.75
4489476
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-methanosarcina.opb
SAT (TO)
2810
3600.07
3612.93
4502386
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug5.5.opb
SAT (TO)
121
3600.08
3609.61
4507830
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-sorrell8.opb
SAT (TO)
-348
3600.08
3610.22
4522106
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i2_pp_94.opb
SAT (TO)
1180
3600.08
3611.3
4522566
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-scpm1.opb
SAT (TO)
874
3600.08
3609.82
4522244
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_69.opb
SAT (TO)
-1131
3600.08
3610.9
4521140
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_84.opb
SAT (TO)
-1472
3600.08
3611.6
4521232
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb
SAT (TO)
-368360
3600.08
3612.51
4505646
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
SAT (TO)
1039
3600.08
3610.01
4488740
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell3a.opb
SAT (TO)
102136047284700
3600.08
3610.41
4486072
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb
SAT (TO)
11840739
3600.08
3609.9
4486164
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
SAT (TO)
23
3600.08
3610.01
4497622
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_13.opb
SAT (TO)
127
3600.08
3611.3
4490902
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_50.opb
SAT (TO)
0
3600.08
3611.11
4519208
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i8_pp_87_merged.opb
SAT (TO)
346
3600.08
3610.91
4522934
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core2586-950.opb
SAT (TO)
991
3600.09
3609.4
4485290
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
SAT (TO)
188
3600.09
3610.4
4489108
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_50null20mast_rapportOE1.0_TMAX120_K192_cod2.opb
SAT (TO)
-208207
3600.09
3610.85
4506198
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_8.opb
SAT (TO)
4883695
3600.09
3609.21
4503990
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
SAT (TO)
351
3600.09
3611.01
4489844
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
SAT (TO)
41
3600.09
3611.11
4490580
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_9.opb
SAT (TO)
4536505
3600.09
3611.2
4504128
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_87.opb
SAT (TO)
-1732
3600.09
3611.7
4521094
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
SAT (TO)
68523
3600.09
3611.2
4486578
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f1000.opb
SAT (TO)
1000
3600.09
3609.7
4486624
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
SAT (TO)
-55
3600.09
3611.3
4484784
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
SAT (TO)
-48
3600.09
3610.4
4484876
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_50.opb
SAT (TO)
-600
3600.09
3613.2
4521278
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_seq/
normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_sequential.opb
SAT (TO)
-672
3600.09
3611.41
4483910
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb
SAT (TO)
1590
3600.09
3611.11
4485428
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
SAT (TO)
1035
3600.09
3609.2
4488832
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_7.opb
SAT (TO)
5934663
3600.09
3610.3
4504036
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
SAT (TO)
366
3600.09
3612.34
4489752
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb
SAT (TO)
2
3600.09
3611.4
4490396
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb
SAT (TO)
2
3600.09
3611.5
4490534
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb
SAT (TO)
-133559
3600.1
3610.01
4505692
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_3_mh.opb
SAT (TO)
4027257
3600.1
3611.25
4504358
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_11_shg.opb
SAT (TO)
79
3600.1
3610.51
4503076
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-neos-1616732.opb
SAT (TO)
159
3600.1
3611.11
4502754
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
SAT (TO)
1029
3600.1
3609.9
4488924
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
SAT (TO)
2535
3600.1
3609.8
4487774
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
SAT (TO)
43409
3600.1
3611.3
4486348
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-sp98ar.opb
SAT (TO)
800773
3600.1
3610.12
4522152
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
SAT (TO)
381
3600.11
3611.41
4489568
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
SAT (TO)
33
3600.11
3610.81
4497668
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_6.opb
SAT (TO)
5981625
3600.11
3610.51
4504174
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-n3div36.opb
SAT (TO)
654
3600.11
3610.77
4502478
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb
SAT (TO)
337
3600.11
3610.24
4523532
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-SameQueensKnights-b-35_c24.opb
SAT (TO)
0
3600.11
3609.51
4524360
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern60-45.lin.opb
SAT (TO)
-116618
3600.11
3611.78
4508980
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=8.opb
SAT (TO)
5
3600.11
3611.6
4517460
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX180_K192_cod1.opb
SAT (TO)
-1996
3600.12
3610.42
4506060
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb
SAT (TO)
157
3600.12
3611.89
4523670
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_4_mh.opb
SAT (TO)
4216823
3600.12
3611.43
4504634
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_32_label3_adversarial_norm_inf.opb
SAT (TO)
155
3600.12
3611.93
4523808
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm85p-opt.opb.negationfix.opb
SAT (TO)
56
3600.12
3609.79
4509394
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
SAT (TO)
371
3600.12
3612.46
4489798
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX180_K192_cod1.opb
SAT (TO)
0
3600.13
3610.44
4506244
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_0_mh_ic.opb
SAT (TO)
2742186
3600.13
3612.48
4504726
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
SAT (TO)
407
3600.14
3613.29
4489614
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z9-s14.opb
SAT (TO)
-22047
3600.15
3611.26
4502524
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_6_mh.opb
SAT (TO)
4394581
3600.15
3613.73
4504496
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX180_K67_cod3.opb
SAT (TO)
-25431
3600.16
3611.58
4505738
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_0_mh.opb
SAT (TO)
5037502
3600.17
3611.54
4504680
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height30_pigeons29_holes28.opb
SAT (TO)
496
3600.17
3612.85
4519484
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb
SAT (TO)
276
3600.17
3610.38
4523440
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb
SAT (TO)
-1567
3600.17
3613
4505922
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb
SAT (TO)
14875
3600.18
3611.53
4523854
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_33.opb
SAT (TO)
616
3600.18
3612.23
4521968
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb
SAT (TO)
6251
3600.19
3610.81
4523762
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb
SAT (TO)
62
3600.2
3609.82
4509210
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb
SAT (TO)
0
3600.21
3611.1
4505968
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_7_mh_ic.opb
SAT (TO)
3702682
3600.22
3612.5
4504956
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_2.opb
SAT (TO)
428985
3600.22
3610.75
4523578
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_5_mh.opb
SAT (TO)
4103640
3600.23
3611.47
4504404
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_0.opb
SAT (TO)
398
3600.23
3612.48
4523486
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-WordGolf-4-ogd2008-50-0_c24.opb
SAT (TO)
31
3600.24
3611.05
4524038
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod1.opb
SAT (TO)
0
3600.24
3611.05
4505830
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__64.opb
SAT (TO)
138663
3600.26
3610.74
4498630
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null50mast_rapportOE2.0_TMAX180_K192_cod1.opb
SAT (TO)
0
3600.31
3610.55
4506014
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_ic.opb
SAT (TO)
313291541
3600.42
3610.81
4505278
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_ic.opb
SAT (TO)
249430581
3600.46
3612.54
4505370
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_ic.opb
SAT (TO)
223018997
3600.5
3611.7
4505186
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_7_ic.opb
SAT (TO)
387457119
3600.53
3611.56
4505324
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_ic.opb
SAT (TO)
253758881
3600.56
3610.62
4505600
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_0_ic.opb
SAT (TO)
336132323
3600.59
3613.97
4505232
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_ic.opb
SAT (TO)
539393621
3600.61
3613.42
4505554
Solver didn't decide (UNKNOWN) (10 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb
?
213.35
214.022
4509256
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
?
220.539
221.285
4509302
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2010/normalized-bab3.opb
?
406.818
408.069
4522428
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__2048.opb
?
416.093
417.067
4498584
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__256.opb
?
554.309
556.057
4498860
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_mh.opb
?
557.438
559.09
4505462
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_mh.opb
?
557.978
559.889
4505416
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_6_mh.opb
?
561.704
563.183
4505508
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__256.opb
?
576.857
578.36
4498906
PB25/normalized-PB25/OPT-LIN/
wallon/normalized-Cargo-24_c24.opb
?
2178.13
2186.07
4524268
Solver timed out (no solution given) (20 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
? (TO)
3600.01
3608.3
4498998
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_1.opb
? (TO)
3600.02
3612.11
4490672
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g125.18.opb
? (TO)
3600.04
3609.7
4486900
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx75.opb
? (TO)
3600.04
3611.6
4499320
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx63.opb
? (TO)
3600.05
3610.11
4499182
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_2.opb
? (TO)
3600.05
3610.4
4490626
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_19.opb
? (TO)
3600.05
3610.51
4490810
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height37_pigeons36_holes35.opb
? (TO)
3600.07
3610.23
4519438
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx30.opb
? (TO)
3600.08
3610.7
4499366
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx49.opb
? (TO)
3600.08
3611.2
4499090
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-GolombRuler-a3v18-15_c18.opb
? (TO)
3600.1
3610.61
4524222
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
? (TO)
3600.1
3610.81
4509624
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
? (TO)
3600.1
3609.3
4485336
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height46_pigeons45_holes44.opb
? (TO)
3600.12
3611.27
4519392
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
? (TO)
3600.15
3610.87
4485474
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-d6cube.opb
? (TO)
3600.15
3612.18
4485796
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-siena1.opb
? (TO)
3600.31
3611.07
4485382
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-TestScheduling-t030m10r05-1_c24.opb
? (TO)
3600.37
3611.1
4524314
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
? (TO)
3600.38
3613.87
4521922
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-greenbeb.opb
? (TO)
3600.44
3610.15
4485750
Solver was terminated by a signal (1 run)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_8_shg.opb
Signal 6
923.246
931.077
4502938