PB'24 competition: benchmarks results per solver
Result page for solver IPBHS-GUROBI-SYM
2024-07-09
(complete)
Category "optimization problem, linear constraints, no OPT/UNSAT certificate" (OPT-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (13 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-658.cudf.trendy.opb
UNSAT
0.022058
0.0258499
4431191
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1077.cudf.paranoid.opb
UNSAT
0.030402
0.033353
4431183
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-ganges.opb
UNSAT
0.142444
0.184286
4430947
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-519.cudf.trendy.opb
UNSAT
0.25482
0.258637
4431190
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.biglist/normalized-rand5c0b12.cudf.paranoid.opb
UNSAT
0.260495
0.268025
4431193
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-581.cudf.paranoid.opb
UNSAT
0.277332
0.288346
4431186
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-522.cudf.paranoid.opb
UNSAT
0.312248
0.332077
4431185
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rand936b0d.cudf.trendy.opb
UNSAT
0.363704
0.384115
4431202
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1336.cudf.paranoid.opb
UNSAT
0.397887
0.411463
4431184
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_5_ic.opb
UNSAT
0.947501
0.96219
4431262
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ns1745726.opb
UNSAT
5.79512
5.82419
4459465
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-859770.opb
UNSAT
9.58088
9.60909
4459426
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_2.opb
UNSAT
118.997
119.187
4431063
Solver found optimum (OPTIMUM FOUND) (245 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_6x6_001.opb.metafix.opb
OPT
17
0.012005
0.014786
4431297
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_6x6_003.opb.metafix.opb
OPT
19
0.012021
0.0150919
4431298
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.012434
0.015179
4430968
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g4x4.opb
OPT
4
0.012665
0.015392
4431011
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g2x2.opb
OPT
2
0.012916
0.0163641
4431010
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-787.cudf.trendy.opb
OPT
14
0.013231
0.0159371
4431192
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x3.opb
OPT
7
0.013284
0.0172711
4431013
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_006.opb.metafix.opb
OPT
37
0.013995
0.0174101
4431299
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
inverse_strongly_correlated/normalized-knapPI_4_50_1000_1_-994.opb
OPT
-994
0.014774
0.0167081
4457788
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.015011
0.0190481
4430969
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
uncorrelated/normalized-knapPI_1_50_1000_4_-4888.opb
OPT
-12104
0.015312
0.01748
4457710
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
multiple_strongly_correlated/normalized-knapPI_14_50_1000_5_-3237.opb
OPT
-5737
0.016147
0.0187671
4457827
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_006.opb.metafix.opb
OPT
40
0.016721
0.019295
4431291
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f27-DC2Loss.seq-B-2-combined-irabcde.opb
OPT
721792
0.017713
0.0226479
4431334
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=487.opb
OPT
149
0.017997
0.0203159
4431073
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_003.opb.metafix.opb
OPT
50
0.018084
0.0216681
4431290
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f26-ACDoubleLoss.seq-A-2-combined-abcdeir.opb
OPT
37833
0.018192
0.020856
4431332
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f27-DC2Loss.seq-A-2-1-irabcde.opb
OPT
737472
0.018596
0.021861
4431333
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=41-Q=347.opb
OPT
41
0.018875
0.022066
4431076
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_001.opb.metafix.opb
OPT
70
0.019685
0.0234199
4431292
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
profit_ceiling/normalized-knapPI_15_20_1000_2_-948.opb
OPT
-318
0.019998
0.645698
4457515
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_004.opb.metafix.opb
OPT
61
0.020155
0.0236051
4431293
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
0.020251
0.030538
4430967
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g7x7.opb
OPT
12
0.022327
0.026033
4431012
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_009.opb.metafix.opb
OPT
70
0.022899
0.0270871
4431294
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=47-Q=197.opb
OPT
47
0.023971
0.0275331
4431077
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
profit_ceiling/normalized-knapPI_15_50_1000_5_-1047.opb
OPT
-354
0.025003
0.645832
4457476
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f1-DataDisplay_0_order4.seq-A-3-2-irabcde.opb
OPT
5873715
0.02508
0.037745
4431331
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
OPT
304
0.02521
0.0288999
4431095
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
OPT
1567
0.025249
0.029114
4430991
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=397-Q=449.opb
OPT
397
0.027276
0.0304819
4431075
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb
OPT
36
0.027619
0.0312849
4430981
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb
OPT
36
0.028937
0.0315809
4430980
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_14x14_000.opb.metafix.opb
OPT
95
0.029316
0.032392
4431295
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb
OPT
34
0.030877
0.033492
4430982
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1094.cudf.trendy.opb
OPT
25090
0.031024
0.0343039
4431188
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=5-t=3.opb
OPT
2
0.031152
0.167603
4449649
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
OPT
1
0.03252
0.036198
4431099
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_5.opb
OPT
11
0.03353
0.0374859
4431047
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-5_10.opb
OPT
3951
0.033903
0.037384
4431140
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
0.033924
0.0374399
4431098
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_140_005.opb
OPT
-3559
0.035144
0.039731
4462284
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb
OPT
-48992
0.035466
0.0381441
4457632
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=269-Q=359.opb
OPT
269
0.037077
0.040834
4431074
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_16x16_001.opb.metafix.opb
OPT
125
0.039752
0.0425609
4431296
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-7_14.opb
OPT
5148
0.040291
0.04322
4431142
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1037.cudf.trendy.opb
OPT
51573
0.041776
0.044263
4431187
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f14-DC2Loss.seq-A-2-combined-abcdeir.opb
OPT
139840229
0.042466
0.0456349
4431330
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament08.lin.opb
OPT
-12
0.043579
0.0465341
4431318
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
OPT
20
0.044347
0.0473179
4431014
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-6_12.opb
OPT
5867
0.047402
0.051111
4431141
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
OPT
36
0.048114
0.0511711
4430988
PB24/normalized-PB06/OPT-LIN/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb
OPT
11
0.050516
0.0541349
4431053
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir01_trarea_ac.opb
OPT
13949
0.055391
0.058714
4431128
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb
OPT
8034
0.056112
0.059588
4431138
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f54-DCTotalLoss.seq-B-3-combined-EDCBAir.opb
OPT
-3789806
0.057954
0.0611091
4431337
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-maincont.r.opb
OPT
7
0.064048
0.0675089
4430998
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
OPT
0
0.06941
0.0731259
4431100
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb
OPT
60
0.072192
0.0751229
4430986
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
0.072304
0.075953
4431102
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb
OPT
50
0.072606
0.0768509
4430973
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-8_16.opb
OPT
5852
0.072719
0.076648
4431143
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
OPT
62
0.072881
0.076581
4430983
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
OPT
60
0.073517
0.07683
4430985
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f35-AC_Side2.seq-B-2-combined-EDCBAir.opb
OPT
-81068948
0.075004
0.077982
4431335
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__8.opb
OPT
45008
0.075489
0.136693
4431153
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
0.077742
0.0809901
4431101
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_051.opb
OPT
1
0.079547
0.0826401
4457866
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-fout.r.opb
OPT
38
0.080096
0.0886769
4430995
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/area_partials/normalized-fir05_area_partials.opb
OPT
36
0.080607
0.0836339
4431111
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_2000_1000_1_-110625.opb
OPT
-110625
0.080899
0.0830429
4457749
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_70_70.r.opb
OPT
2
0.083598
0.0877771
4430997
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod008.opb
OPT
307
0.085753
0.0895659
4430951
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_6.opb
OPT
17
0.095066
0.0988499
4431048
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
OPT
8908
0.102673
0.11568
4431139
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/subset_sum/
normalized-knapPI_6_5000_10000_1_-246112.opb
OPT
-246112
0.116179
0.131575
4457671
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb
OPT
68
0.126792
0.142915
4430989
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
OPT
64
0.129834
0.1402
4430984
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-addm4.r.opb
OPT
165
0.130308
0.136697
4430992
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb
OPT
66
0.134067
0.15106
4430987
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_300_003.opb
OPT
-7399
0.137279
0.14296
4462244
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb
OPT
-1281
0.146507
0.155388
4431078
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_4_shg.opb
OPT
22
0.149054
0.154917
4431228
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_250_005.opb
OPT
-7323
0.158749
0.231085
4462164
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ4_3.opb
OPT
20
0.192978
0.197684
4431001
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-m4.r.opb
OPT
90
0.200829
0.220086
4430996
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r11_c22_a6.opb
OPT
1419
0.235551
0.902688
4458529
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2g-0044-1601.lin.opb
OPT
-954077
0.237823
0.245048
4431314
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=6-t=4.opb
OPT
2
0.246058
0.521601
4449894
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__64.opb
OPT
46877
0.291744
0.311775
4431150
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-038.opb
OPT
1448
0.319286
0.326115
4430979
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
OPT
24890
0.326984
0.337249
4431129
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_340_006.opb
OPT
-10524
0.335206
0.356825
4462364
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_400_008.opb
OPT
-12612
0.357993
0.368556
4462444
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx57.opb
OPT
6
0.358893
0.367491
4431166
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-acc-tight5.opb
OPT
0
0.402144
0.446511
4459504
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_080.opb
OPT
140
0.404685
0.437769
4458646
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_410_004.opb
OPT
-13862
0.456623
0.512601
4462124
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2/normalized-lp4l.opb
OPT
2967
0.485372
0.521004
4459543
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
OPT
47342
0.488591
0.52034
4431132
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_2000_1000_4_-39215.opb
OPT
-39215
0.491777
0.519273
4457593
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f37-AC_TotalLoss.seq-B-3-1-irEDCBA.opb
OPT
6872712975
0.516368
0.531046
4431336
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-neos-3437289-erdre.opb
OPT
0
0.580996
0.59411
4459309
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
OPT
23978
0.729317
0.758826
4431130
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_340.opb
OPT
1360
0.786673
0.803707
4458724
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1468.cudf.trendy.opb
OPT
5
0.845954
0.854436
4431189
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
0.895572
0.922335
4431104
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__128.opb
OPT
46877
0.964131
0.97358
4431147
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
0.96516
0.973886
4431103
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-bench1.r.opb
OPT
121
0.976003
0.992766
4430993
PB24/normalized-PB06/OPT-LIN/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb
OPT
25
0.984268
1.01151
4431054
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r24_c47_a5.opb
OPT
6627
1.00531
1.53095
4458607
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_460.opb
OPT
2300
1.0138
1.02688
4458685
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j302_9.std.opb
OPT
54
1.01726
1.03491
4431207
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-rand18b530.cudf.paranoid.opb
OPT
6563
1.24769
1.28684
4431195
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f6-ACTotalLoss.seq-A-2-2-irEDCBA.opb
OPT
4208467707
1.34793
1.36482
4431339
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb
OPT
200
1.37281
1.39333
4430970
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-exam.pi.opb
OPT
63
1.61905
1.63672
4430990
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb
OPT
6943
1.76256
1.7969
4431194
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-1000opt.opb
OPT
-178
1.87425
1.89228
4431155
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir04_area_opers.opb
OPT
29
1.97013
1.9992
4431109
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-7000opt.opb
OPT
-172
1.97044
1.99043
4431160
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-10000opt.opb
OPT
-164
1.9997
2.01123
4431154
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j6033_9.std.opb
OPT
108
2.14915
2.17781
4431208
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
OPT
41202
2.15032
2.17722
4431131
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randaefc7c.cudf.trendy.opb
OPT
394243446
2.23824
2.26092
4431199
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data4_3.opb
OPT
8276
2.23946
2.26121
4431005
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-4000opt.opb
OPT
-164
2.28763
2.30516
4431158
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/almost_strongly_correlated/
normalized-knapPI_5_2000_10000_5_-952740.opb
OPT
-1487946
2.35634
2.92914
4457554
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
2.38072
2.96034
4458568
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i8_pp_100.opb
OPT
2252
2.47582
2.50296
4461684
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_27.opb
OPT
-180
2.50426
2.57137
4458880
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-rand362510.cudf.paranoid.opb
OPT
1964
2.54674
2.55796
4431196
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0066-0066.lin.opb
OPT
-29
2.57263
2.58246
4431315
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx84.opb
OPT
8
2.60497
2.6203
4431170
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-5000opt.opb
OPT
-169
2.65261
2.66844
4431159
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb
OPT
13
2.69888
2.72365
4431327
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j9018_7.std.opb
OPT
73
2.863
2.88724
4431210
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__256.opb
OPT
46877
2.91746
2.94393
4431148
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-3000opt.opb
OPT
-187
2.9404
2.98016
4431157
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-4000opt.opb
OPT
-82
2.96258
2.97646
4431161
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-rand88811a.cudf.paranoid.opb
OPT
2256
3.10356
3.14329
4431197
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_630_002.opb
OPT
-26056
3.10495
3.11728
4462404
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i4_pp_92_merged.opb
OPT
390
3.29015
3.51005
4462044
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-2000opt.opb
OPT
-167
3.33817
3.36264
4431156
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-randa13f2d.cudf.paranoid.opb
OPT
2477
3.57252
3.59611
4431198
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12023_6.std.opb
OPT
106
3.77897
3.79432
4431203
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i10_pp_100.opb
OPT
2232
4.01227
4.03957
4461724
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rand49e642.cudf.trendy.opb
OPT
39641230
4.09807
4.12964
4431201
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rand1958fb.cudf.trendy.opb
OPT
15832587875
4.82699
4.8563
4431200
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
4.86215
4.89123
4431106
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
OPT
813
4.98659
5.13142
4431094
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir07_trarea_ac.opb
OPT
50162
5.12421
5.14661
4431134
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-pdc.r.opb
OPT
94
5.21088
5.23063
4430999
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
5.8018
5.82287
4431105
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
5.82903
5.86768
4431107
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb
OPT
200
6.02973
6.04875
4430971
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_690_001.opb
OPT
-30339
6.24837
6.30587
4462084
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12039_5.std.opb
OPT
106
6.43422
6.49471
4431204
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i3_pp_87_merged.opb
OPT
346
6.82287
7.32576
4461964
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i4_pp_80_merged.opb
OPT
344
7.3677
7.44186
4462004
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.08.opb
OPT
34
8.74974
8.78571
4431062
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
OPT
33456
9.6434
9.68383
4431133
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-000.opb
OPT
-122892
9.6704
9.71182
4462324
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-5000opt.opb
OPT
-70
9.92766
9.97468
4431162
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__512.opb
OPT
46877
10.1706
10.2415
4431149
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb
OPT
200
10.5995
10.6433
4430972
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/10orplus/normalized-hal-cups-utils.cudf.paranoid.opb
OPT
141814
11.4565
11.5129
4431173
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-7000opt.opb
OPT
-68
11.6031
11.7147
4431163
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb
OPT
24
11.638
11.7032
4431325
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
OPT
37
11.9675
12.0141
4431056
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c3.opb
OPT
261
12.3207
12.3629
4430976
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.02.opb
OPT
44
12.376
12.4235
4431055
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/9orless/normalized-kjumpingcube.cudf.paranoid.opb
OPT
141778
13.0336
13.0803
4431175
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx92.opb
OPT
9
13.2813
13.3271
4431171
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.10-021.opb
OPT
-116824
13.7315
13.7725
4462204
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_10000_5_0.85_3.opb
OPT
132
14.7732
14.878
4461924
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/10orplus/normalized-libpango-perl.cudf.paranoid.opb
OPT
176205
15.8935
15.9479
4431174
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
OPT
41
16.0381
16.1202
4431059
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.11.opb
OPT
38
16.5537
16.6164
4431058
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern30-04.lin.opb
OPT
-81
17.447
17.5121
4431310
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e4.opb
OPT
364
17.7383
17.7874
4430977
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.14.opb
OPT
42
17.837
17.9109
4431060
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_401.opb
OPT
1
19.3991
19.4434
4457905
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_100_3__3_91__8.opb
OPT
70998
19.8958
20.0202
4431145
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.10.opb
OPT
49
25.6802
25.7562
4431057
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_3000_5__126_2812.opb
OPT
60720
29.1716
29.2659
4431151
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.95_7.opb
OPT
336
32.406
32.4714
4461884
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.F.recomb10-0.01-5.opb
OPT
7540
42.2166
42.3909
4431236
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_3pm-0334-0334.lin.opb
OPT
-36
44.0852
44.252
4431316
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-nw04.opb
OPT
8431
44.1957
44.3024
4430953
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/
10orplus/normalized-libtemplate-provider-encoding-perl.cudf.trendy.opb
OPT
3263183881226
45.8189
45.906
4431180
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
OPT
53
46.9866
47.1302
4431009
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/10orplus/normalized-codebreaker.cudf.trendy.opb
OPT
3577362783187
47.1558
47.2899
4431176
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/
normalized-BA_RDC4.dot_luby_20null20mast_rapportOE2.0_TMAX15_K67_cod2_pbEq1_newVersion_product.opb
OPT
-100
47.6948
48.591
4430940
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-gpc-4.1.cudf.trendy.opb
OPT
2705390294033
48.1941
48.3345
4431182
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-libnspr4-dev.cudf.trendy.opb
OPT
3656703476375
48.6448
48.7835
4431178
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/10orplus/normalized-libnkf-perl.cudf.trendy.opb
OPT
3258634294888
50.9037
51.0999
4431177
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx60.opb
OPT
6
56.966
57.089
4431167
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-libpango-perl.cudf.trendy.opb
OPT
3256361088356
59.5033
59.6589
4431179
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir06_area_opers.opb
OPT
23
62.9704
63.1295
4431110
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
OPT
36
73.3972
73.554
4431226
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_751.opb
OPT
1
73.646
73.8699
4457944
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
OPT
2807154740
89.1516
89.4609
4430964
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
OPT
-30
127.005
127.304
4431084
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_019_area_delay.opb
OPT
24
132.171
132.56
4431114
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
OPT
50769
151.483
151.931
4431136
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_55.opb
OPT
-726
153.913
154.239
4458763
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j609_2.std.opb
OPT
82
194.223
194.682
4431209
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.01-5.opb
OPT
3521
199.01
199.381
4431231
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=8-t=6.opb
OPT
2
205.576
206.201
4449684
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_4_mh.opb
OPT
3608846
230.999
231.585
4431280
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-1109824.opb
OPT
378
242.781
243.141
4459348
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_851.opb
OPT
1
264.394
265.043
4457983
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-mspp16.opb
OPT
33
298.457
299.38
4431216
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_34.opb
OPT
630
325.805
326.096
4459075
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
OPT
-30
374.334
375.144
4431083
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
OPT
1120
376.837
378.361
4430950
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-iis-glass-cov.opb
OPT
21
380.378
381.23
4459192
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_026_area_delay.opb
OPT
28
386.77
387.446
4431117
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-5.opb
OPT
14043
425.708
426.481
4431239
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_072.opb
OPT
2664
455.877
456.609
4458919
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j9021_10.std.opb
OPT
109
481.659
482.726
4431211
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat15_5_3_5_ic.opb
OPT
2624620
574.332
575.183
4431261
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
OPT
28
639.335
640.625
4431112
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i5_pp_93.opb
OPT
750
661.368
662.38
4461804
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir08_trarea_ac.opb
OPT
70311
693.966
694.816
4431135
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__32.opb
OPT
95378
695.264
696.371
4431152
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.20-12.opb
OPT
8175
770.329
771.878
4431234
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
OPT
42
874.487
877.141
4431227
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-may6.5.opb
OPT
43
992.014
994.023
4431305
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.95_1.opb
OPT
6112
1264.71
1266.3
4461844
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE2.0_TMAX15_K67_cod3.opb
OPT
-7752
1282.66
1285.2
4430942
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_076.opb
OPT
2964
1305.35
1307.53
4458958
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16a2.opb
OPT
1164
1936.32
1940.09
4430974
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir10_trarea_ac.opb
OPT
73649
2022.3
2026.69
4431137
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat15_5_3_3_ic.opb
OPT
5900212
2076.56
2079.3
4431260
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_025_area_delay.opb
OPT
25
2213
2216.11
4431116
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
OPT
34
2250.82
2256.1
4431061
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_66.opb
OPT
-1089
2357.55
2359.43
4458841
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
OPT
4372480
2927.35
2933.44
4430954
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/
normalized-maxcut_opt_complete_6-partite_block_nvert_72.opb
OPT
-1296
3237.84
3246.04
4458802
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
OPT
-35
3294.65
3302.29
4431085
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX15_K67_cod3.opb
OPT
-4036
3416.69
3424.11
4430945
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_50.opb
OPT
1326
3476.52
3484.61
4459153
Solver timed out (no solution given) (219 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
? (TO)
3600.01
3607.01
4431088
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct5.5.opb
? (TO)
3600.01
3606.61
4431306
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb
? (TO)
3600.01
3610.01
4431031
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-circ10-3.opb
? (TO)
3600.01
3608.31
4431213
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/
normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion.opb
? (TO)
3600.02
3606.41
4430939
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_0_mh.opb
? (TO)
3600.02
3607.01
4431284
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_ic.opb
? (TO)
3600.02
3603.51
4431271
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
? (TO)
3600.02
3603.61
4431125
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_4layers_maxall_lastlayerdiv2_size_16.opb
? (TO)
3600.02
3609.51
4458451
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
? (TO)
3600.02
3604.31
4431119
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12051_4.std.opb
? (TO)
3600.02
3604.81
4431205
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.F.recomb10-0.20-11.opb
? (TO)
3600.03
3604.71
4431237
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
? (TO)
3600.03
3606.91
4430966
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
? (TO)
3600.03
3610.21
4431089
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb
? (TO)
3600.03
3604.51
4430958
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/
normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX300_K67_cod2_pbEq1_newVersion_binary.opb
? (TO)
3600.03
3608.72
4430937
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx63.opb
? (TO)
3600.03
3603.51
4431168
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_27.opb
? (TO)
3600.03
3606.31
4458139
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=5.opb
? (TO)
3600.03
3611.61
4449754
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-ex1010-pi.opb
? (TO)
3600.03
3607.51
4431214
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_100.opb
? (TO)
3600.03
3604.71
4458997
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__64.opb
? (TO)
3600.03
3603.71
4431144
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-neos-1620770.opb
? (TO)
3600.03
3606.41
4431217
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=9-t=5.opb
? (TO)
3600.04
3606.01
4449929
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep4.5.opb
? (TO)
3600.04
3609.61
4431308
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-ns1853823.opb
? (TO)
3600.04
3603.91
4431219
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
? (TO)
3600.04
3609.51
4431018
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_5.opb
? (TO)
3600.04
3605.83
4431254
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
? (TO)
3600.04
3606.02
4431122
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod2.opb
? (TO)
3600.04
3603.13
4431249
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay60.lin.opb
? (TO)
3600.04
3606.53
4431313
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
? (TO)
3600.04
3607.41
4431007
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
? (TO)
3600.04
3606.03
4431016
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-bg512142.opb
? (TO)
3600.04
3609.21
4430957
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep6.5.opb
? (TO)
3600.04
3606.12
4431309
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=24-t=2.opb
? (TO)
3600.04
3607.51
4449614
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_18.opb
? (TO)
3600.04
3608.71
4458256
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j1207_5.std.opb
? (TO)
3600.04
3603.71
4431206
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_3_mh.opb
? (TO)
3600.04
3605.73
4431282
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_5_ic.opb
? (TO)
3600.04
3605.41
4431264
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct6.5.opb
? (TO)
3600.04
3608.51
4431307
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun5.5.opb
? (TO)
3600.04
3607.11
4431304
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug6.5.opb
? (TO)
3600.04
3607.71
4431302
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_4.opb
? (TO)
3600.04
3603.81
4431066
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
? (TO)
3600.04
3604.31
4431123
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-go19.opb
? (TO)
3600.04
3608.92
4431215
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
? (TO)
3600.04
3604.93
4431326
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
? (TO)
3600.04
3606.03
4431041
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-ex1010.pi.opb
? (TO)
3600.05
3605.31
4430994
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
? (TO)
3600.05
3607.02
4431038
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_8_mh.opb
? (TO)
3600.05
3605.22
4431283
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null10mast_rapportOE1.0_TMAX180_K192_cod1.opb
? (TO)
3600.05
3602.83
4431243
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
? (TO)
3600.05
3607.82
4431039
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_15.opb
? (TO)
3600.05
3607.01
4458061
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
? (TO)
3600.05
3604.31
4431127
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_08.opb
? (TO)
3600.05
3606.91
4458373
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_11.opb
? (TO)
3600.05
3605.41
4431045
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.opb
? (TO)
3600.05
3606.61
4458217
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
? (TO)
3600.05
3604.51
4431069
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
? (TO)
3600.05
3606.61
4431019
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i9_pp_96.opb
? (TO)
3600.05
3603.71
4461764
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
? (TO)
3600.05
3606.61
4431000
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__512.opb
? (TO)
3600.05
3606.63
4431146
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
? (TO)
3600.05
3609.11
4431003
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-UMTS.opb
? (TO)
3600.05
3608.51
4430965
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
? (TO)
3600.05
3606.91
4431124
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
? (TO)
3600.05
3609.41
4431097
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=19-t=2.opb
? (TO)
3600.05
3608.81
4449859
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_2_mh_ic.opb
? (TO)
3600.05
3607.41
4431269
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
? (TO)
3600.05
3606.82
4431042
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
? (TO)
3600.06
3607.81
4431025
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
? (TO)
3600.06
3611.41
4431028
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_5.opb
? (TO)
3600.06
3605.64
4431257
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_1_mh.opb
? (TO)
3600.06
3605.32
4431281
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16d1.opb
? (TO)
3600.06
3610.51
4430975
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
? (TO)
3600.06
3608.21
4431090
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm25p-opt.opb.negationfix.opb
? (TO)
3600.06
3608.63
4431320
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-rmine15.opb
? (TO)
3600.06
3605.03
4459270
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-graph20-20-1rand.opb
? (TO)
3600.06
3606.21
4459231
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null50mast_rapportOE2.0_TMAX15_K192_cod1.opb
? (TO)
3600.06
3605.14
4431242
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
? (TO)
3600.06
3608.05
4431037
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
? (TO)
3600.06
3607.33
4431040
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
? (TO)
3600.06
3607.01
4431033
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament50.lin.opb
? (TO)
3600.06
3608.51
4431319
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_9_ic.opb
? (TO)
3600.06
3606.63
4431265
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-irEDCBA.opb
? (TO)
3600.06
3605.01
4431338
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_31.opb
? (TO)
3600.06
3608.21
4458490
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb
? (TO)
3600.06
3605.83
4431321
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
? (TO)
3600.07
3607.61
4431034
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
? (TO)
3600.07
3606.71
4431120
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx75.opb
? (TO)
3600.07
3607.31
4431169
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-stp3d.opb
? (TO)
3600.07
3606.31
4431222
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null0mast_rapportOE1.0_TMAX180_K192_cod2.opb
? (TO)
3600.07
3604.41
4431241
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_1.opb
? (TO)
3600.07
3603.71
4431067
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX60_K192_cod2.opb
? (TO)
3600.07
3606.62
4431246
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
? (TO)
3600.07
3606.12
4431020
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
? (TO)
3600.07
3608.41
4431324
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
? (TO)
3600.07
3607.61
4431002
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx49.opb
? (TO)
3600.07
3608.71
4431165
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
? (TO)
3600.07
3606.22
4431006
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_5_mh.opb
? (TO)
3600.07
3605.61
4431287
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
? (TO)
3600.07
3606.02
4431093
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_0null10mast_rapportOE1.0_TMAX15_K192_cod1.opb
? (TO)
3600.07
3603.73
4431247
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug4.5.opb
? (TO)
3600.07
3609.41
4431300
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
? (TO)
3600.07
3606.21
4431035
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_24.opb
? (TO)
3600.07
3608.51
4458100
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_5_mh_ic.opb
? (TO)
3600.07
3604.51
4431267
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
? (TO)
3600.07
3608.11
4431030
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
? (TO)
3600.07
3607.91
4431091
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_14_shg.opb
? (TO)
3600.07
3610.32
4431225
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_3_mh.opb
? (TO)
3600.07
3607.71
4431286
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
? (TO)
3600.07
3607.51
4431027
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_3.opb
? (TO)
3600.08
3607.85
4431255
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
? (TO)
3600.08
3606.51
4431029
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_2_mh.opb
? (TO)
3600.08
3606.31
4431285
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_mh.opb
? (TO)
3600.08
3603.24
4431274
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul5.5.opb
? (TO)
3600.08
3607.31
4431303
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/
normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX15_K67_cod2_pbEq1_newVersion_ladder.opb
? (TO)
3600.08
3606.71
4430938
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=20-t=2.opb
? (TO)
3600.08
3607.21
4449719
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z7-s2.opb
? (TO)
3600.08
3611.11
4431220
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-sctap3.opb
? (TO)
3600.08
3611.13
4430948
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ns903616.opb
? (TO)
3600.08
3604.91
4459387
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
? (TO)
3600.08
3610.11
4431087
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_11_shg.opb
? (TO)
3600.08
3608.61
4431223
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern35-09.lin.opb
? (TO)
3600.08
3607.91
4431311
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
? (TO)
3600.08
3604.12
4431071
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_18.opb
? (TO)
3600.08
3605.91
4431052
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb
? (TO)
3600.08
3607.12
4431051
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
? (TO)
3600.08
3607.71
4431015
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
? (TO)
3600.08
3604.71
4430961
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_4.opb
? (TO)
3600.08
3606.86
4431256
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
? (TO)
3600.08
3608.01
4431022
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
? (TO)
3600.08
3609.61
4431008
PB24/normalized-PB07/OPT-LIN/
submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
? (TO)
3600.08
3605.21
4431118
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_3.opb
? (TO)
3600.08
3603.51
4431065
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_14.opb
? (TO)
3600.08
3603.21
4431050
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_22.opb
? (TO)
3600.08
3606.31
4458178
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_ic.opb
? (TO)
3600.08
3603.34
4431275
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
? (TO)
3600.08
3608.81
4430955
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
? (TO)
3600.08
3608.02
4431017
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
? (TO)
3600.08
3603.41
4431070
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=14-t=9.opb
? (TO)
3600.08
3606.31
4449789
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_160.opb
? (TO)
3600.08
3604.71
4459036
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx30.opb
? (TO)
3600.09
3604.02
4431164
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
? (TO)
3600.09
3605.81
4431072
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-seymour1.opb
? (TO)
3600.09
3606.41
4430956
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
? (TO)
3600.09
3602.92
4459114
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
? (TO)
3600.09
3606.81
4431046
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_9_mh.opb
? (TO)
3600.09
3605.73
4431289
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
? (TO)
3600.09
3606.31
4431068
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
? (TO)
3600.09
3608.01
4431086
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_12.opb
? (TO)
3600.09
3603.71
4431049
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_5.opb
? (TO)
3600.09
3608.62
4431251
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm98p-opt.opb.negationfix.opb
? (TO)
3600.09
3604.07
4431329
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-standgub.opb
? (TO)
3600.09
3607.25
4430949
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
? (TO)
3600.09
3607.72
4431224
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_21.opb
? (TO)
3600.09
3605.51
4458295
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-1.opb
? (TO)
3600.09
3607.74
4431238
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-3.opb
? (TO)
3600.1
3606.42
4431096
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
? (TO)
3600.1
3606.51
4431024
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
? (TO)
3600.1
3610.03
4431172
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
? (TO)
3600.1
3607.41
4431004
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
? (TO)
3600.1
3605.93
4431036
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
? (TO)
3600.1
3603.81
4431121
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb
? (TO)
3600.1
3607.51
4430962
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
? (TO)
3600.1
3602.91
4431126
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX300_K192_cod1.opb
? (TO)
3600.1
3608.53
4431245
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_2.opb
? (TO)
3600.1
3606.61
4431064
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_010_area_delay.opb
? (TO)
3600.1
3605.51
4431113
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=11.opb
? (TO)
3600.1
3605.51
4449824
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
? (TO)
3600.1
3607.41
4431023
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
? (TO)
3600.1
3606.61
4430959
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_1_mh_ic.opb
? (TO)
3600.1
3605.91
4431268
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
? (TO)
3600.1
3606.21
4431021
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir08_area_delay.opb
? (TO)
3600.1
3603.25
4431108
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_50.opb
? (TO)
3600.1
3607.02
4458412
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j909_1.std.opb
? (TO)
3600.1
3608.61
4431212
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
? (TO)
3600.1
3605.91
4431092
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
? (TO)
3600.11
3607.31
4431026
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-12.opb
? (TO)
3600.11
3605.88
4431232
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_8_mh.opb
? (TO)
3600.11
3604.71
4431288
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb
? (TO)
3600.11
3604.27
4431328
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-2.opb
? (TO)
3600.11
3607.71
4430978
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_8_mh.opb
? (TO)
3600.11
3602.64
4431278
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_clique-50.lin.opb
? (TO)
3600.11
3604.71
4431317
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb
? (TO)
3600.11
3608.01
4431032
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod1.opb
? (TO)
3600.11
3606.13
4431248
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_7_ic.opb
? (TO)
3600.11
3602.66
4431277
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug5.5.opb
? (TO)
3600.12
3604.02
4431301
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
? (TO)
3600.12
3609.41
4431044
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/
normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX180_K67_cod2_pbEq1_newVersion_product.opb
? (TO)
3600.12
3607.01
4430941
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-631710.opb
? (TO)
3600.12
3603.72
4431218
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_1_mh_ic.opb
? (TO)
3600.12
3604.42
4431266
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_3_ic.opb
? (TO)
3600.12
3604.15
4431263
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_023_area_delay.opb
? (TO)
3600.12
3605.63
4431115
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_0null50mast_rapportOE2.0_TMAX180_K192_cod2.opb
? (TO)
3600.12
3605.75
4431240
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_4.opb
? (TO)
3600.12
3606.74
4431253
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
? (TO)
3600.12
3608.12
4430952
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
? (TO)
3600.13
3607.26
4431043
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_ic.opb
? (TO)
3600.13
3604.77
4431272
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_0_ic.opb
? (TO)
3600.14
3602.6
4431270
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_8.opb
? (TO)
3600.14
3607.28
4431252
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb5-0.10-9.opb
? (TO)
3600.14
3606.04
4431235
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_1.opb
? (TO)
3600.14
3606.19
4431250
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null20mast_rapportOE2.0_TMAX60_K192_cod2.opb
? (TO)
3600.14
3608.47
4431244
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_9_ic.opb
? (TO)
3600.15
3607.89
4431279
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern50-06.lin.opb
? (TO)
3600.15
3611.84
4431312
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null50mast_rapportOE1.0_TMAX60_K67_cod3.opb
? (TO)
3600.16
3602.46
4430943
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_0.opb
? (TO)
3600.16
3606.99
4431258
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX120_K67_cod1.opb
? (TO)
3600.17
3607.07
4430944
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_50null20mast_rapportOE2.0_TMAX300_K67_cod1.opb
? (TO)
3600.17
3607.29
4430946
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_8_shg.opb
? (TO)
3600.17
3608.08
4431229
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.10-8.opb
? (TO)
3600.18
3608.79
4431230
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_4.opb
? (TO)
3600.19
3605.79
4431259
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb
? (TO)
3600.2
3608.72
4431323
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_mh.opb
? (TO)
3600.21
3605.36
4431276
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-13.opb
? (TO)
3600.21
3607.05
4431233
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
? (TO)
3600.22
3605.34
4431322
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_mh.opb
? (TO)
3600.23
3604.55
4431273
Solver found a wrong optimum (1 run)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-pidgin-plugin-pack.cudf.trendy.opb
Wrong Opt.
3258634294910
47.6334
47.7509
4431181