PB'24 competition: benchmarks results per solver
Result page for solver IPBHS-GUROBI
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.042639
0.0458921
4431594
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1077.cudf.paranoid.opb
UNSAT
0.059462
0.0631161
4431586
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.biglist/normalized-rand5c0b12.cudf.paranoid.opb
UNSAT
0.138481
0.141851
4431596
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_5_ic.opb
UNSAT
0.164679
0.168637
4431665
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rand936b0d.cudf.trendy.opb
UNSAT
0.177528
0.186483
4431605
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1336.cudf.paranoid.opb
UNSAT
0.201103
0.205095
4431587
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-519.cudf.trendy.opb
UNSAT
0.216098
0.221892
4431593
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-581.cudf.paranoid.opb
UNSAT
0.278716
0.286811
4431589
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-522.cudf.paranoid.opb
UNSAT
0.308128
0.323534
4431588
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-ganges.opb
UNSAT
0.331144
0.382931
4431350
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ns1745726.opb
UNSAT
5.20246
5.22809
4459466
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-859770.opb
UNSAT
9.77196
9.81562
4459427
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_2.opb
UNSAT
116.548
116.828
4431466
Solver found optimum (OPTIMUM FOUND) (244 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g4x4.opb
OPT
4
0.011265
0.014145
4431414
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_6x6_003.opb.metafix.opb
OPT
19
0.011266
0.01427
4431701
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_6x6_001.opb.metafix.opb
OPT
17
0.011508
0.0144549
4431700
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_006.opb.metafix.opb
OPT
37
0.012936
0.0153101
4431702
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
inverse_strongly_correlated/normalized-knapPI_4_50_1000_1_-994.opb
OPT
-994
0.013039
0.02121
4457789
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-5_10.opb
OPT
3951
0.013272
0.0159619
4431543
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_5.opb
OPT
11
0.013406
0.015769
4431450
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
uncorrelated/normalized-knapPI_1_50_1000_4_-4888.opb
OPT
-12104
0.013668
0.016327
4457711
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-7_14.opb
OPT
5148
0.014482
0.016691
4431545
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
multiple_strongly_correlated/normalized-knapPI_14_50_1000_5_-3237.opb
OPT
-5737
0.014493
0.023243
4457828
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_006.opb.metafix.opb
OPT
40
0.016161
0.019268
4431694
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_003.opb.metafix.opb
OPT
50
0.016237
0.019083
4431693
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=487.opb
OPT
149
0.017061
0.0205851
4431476
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f27-DC2Loss.seq-A-2-1-irabcde.opb
OPT
737472
0.017639
0.0213581
4431736
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb
OPT
8034
0.017783
0.020615
4431541
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-6_12.opb
OPT
5867
0.017806
0.021033
4431544
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x3.opb
OPT
7
0.018141
0.076877
4431416
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f26-ACDoubleLoss.seq-A-2-combined-abcdeir.opb
OPT
37833
0.018157
0.021641
4431735
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f27-DC2Loss.seq-B-2-combined-irabcde.opb
OPT
721792
0.018157
0.0217959
4431737
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_001.opb.metafix.opb
OPT
70
0.018211
0.0211941
4431695
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=41-Q=347.opb
OPT
41
0.018234
0.0214019
4431479
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_004.opb.metafix.opb
OPT
61
0.018593
0.0218261
4431696
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g2x2.opb
OPT
2
0.018695
0.076087
4431413
PB24/normalized-PB06/OPT-LIN/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb
OPT
11
0.019823
0.023235
4431456
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
profit_ceiling/normalized-knapPI_15_20_1000_2_-948.opb
OPT
-318
0.020467
0.0741329
4457516
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_009.opb.metafix.opb
OPT
70
0.021132
0.0244939
4431697
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=47-Q=197.opb
OPT
47
0.023846
0.0266539
4431480
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.02447
0.027881
4431370
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
profit_ceiling/normalized-knapPI_15_50_1000_5_-1047.opb
OPT
-354
0.024498
0.077886
4457477
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-maincont.r.opb
OPT
7
0.02515
0.0285529
4431401
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=397-Q=449.opb
OPT
397
0.025601
0.0287131
4431478
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f1-DataDisplay_0_order4.seq-A-3-2-irabcde.opb
OPT
5873715
0.026454
0.0290501
4431734
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g7x7.opb
OPT
12
0.026457
0.085926
4431415
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-8_16.opb
OPT
5852
0.027323
0.0299369
4431546
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_14x14_000.opb.metafix.opb
OPT
95
0.028035
0.0304271
4431698
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-fout.r.opb
OPT
38
0.028505
0.0366649
4431398
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.028525
0.0321271
4431371
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_70_70.r.opb
OPT
2
0.029555
0.034495
4431400
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-787.cudf.trendy.opb
OPT
14
0.030772
0.0343009
4431595
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb
OPT
-48992
0.030945
0.0337749
4457633
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_6.opb
OPT
17
0.033203
0.0365289
4431451
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f14-DC2Loss.seq-A-2-combined-abcdeir.opb
OPT
139840229
0.033401
0.036204
4431733
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
OPT
8908
0.033729
0.0370341
4431542
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=269-Q=359.opb
OPT
269
0.034985
0.038435
4431477
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.035884
0.038719
4431372
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_16x16_001.opb.metafix.opb
OPT
125
0.037407
0.0408241
4431699
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.040919
0.045038
4458530
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament08.lin.opb
OPT
-12
0.042237
0.045133
4431721
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ4_3.opb
OPT
20
0.04585
0.049626
4431404
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_2000_1000_1_-110625.opb
OPT
-110625
0.045906
0.050639
4457750
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir01_trarea_ac.opb
OPT
13949
0.046343
0.0500939
4431531
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
OPT
20
0.047891
0.106817
4431417
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
OPT
304
0.048827
0.0531291
4431498
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
OPT
1567
0.056724
0.0604291
4431394
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__8.opb
OPT
45008
0.05866
0.0633741
4431556
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=5-t=3.opb
OPT
2
0.058867
0.262108
4449650
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_2000_1000_4_-39215.opb
OPT
-39215
0.058927
0.0884691
4457594
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f54-DCTotalLoss.seq-B-3-combined-EDCBAir.opb
OPT
-3789806
0.059265
0.06269
4431740
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-addm4.r.opb
OPT
165
0.062713
0.0666059
4431395
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb
OPT
36
0.063304
0.0670911
4431384
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/subset_sum/
normalized-knapPI_6_5000_10000_1_-246112.opb
OPT
-246112
0.064107
0.0667621
4457672
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f35-AC_Side2.seq-B-2-combined-EDCBAir.opb
OPT
-81068948
0.065494
0.0687081
4431738
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb
OPT
36
0.065646
0.0690679
4431383
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb
OPT
60
0.066688
0.06999
4431389
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb
OPT
34
0.071603
0.0760179
4431385
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-m4.r.opb
OPT
90
0.072877
0.0758831
4431399
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/area_partials/normalized-fir05_area_partials.opb
OPT
36
0.073921
0.077186
4431514
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1094.cudf.trendy.opb
OPT
25090
0.074326
0.078137
4431591
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.077855
0.0807639
4431502
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.078994
0.0829831
4431501
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_051.opb
OPT
1
0.079494
0.0903809
4457867
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod008.opb
OPT
307
0.085356
0.0887999
4431354
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_140_005.opb
OPT
-3559
0.091239
0.0954279
4462285
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
OPT
36
0.097972
0.112414
4431391
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1037.cudf.trendy.opb
OPT
51573
0.105988
0.123168
4431590
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.109237
0.115246
4431505
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-neos-3437289-erdre.opb
OPT
0
0.11844
0.122363
4459310
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
0.130326
0.133497
4458608
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-acc-tight5.opb
OPT
0
0.135315
0.139721
4459505
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb
OPT
-1281
0.140711
0.146
4431481
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_080.opb
OPT
140
0.141667
0.218062
4458647
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
OPT
62
0.164671
0.184387
4431386
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.167741
0.186479
4431503
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
OPT
60
0.173365
0.196075
4431388
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.180845
0.206064
4431504
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb
OPT
50
0.19534
0.21664
4431376
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_340.opb
OPT
1360
0.206489
0.216409
4458725
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2/normalized-lp4l.opb
OPT
2967
0.210596
0.224391
4459544
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx57.opb
OPT
6
0.24115
0.253136
4431569
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
OPT
24890
0.262572
0.276623
4431532
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb
OPT
68
0.283018
0.289558
4431392
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
0.295898
0.314859
4458569
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
OPT
64
0.343705
0.368859
4431387
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_300_003.opb
OPT
-7399
0.344639
0.360206
4462245
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb
OPT
66
0.346529
0.359254
4431390
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f37-AC_TotalLoss.seq-B-3-1-irEDCBA.opb
OPT
6872712975
0.375591
0.386319
4431739
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_460.opb
OPT
2300
0.376777
0.397683
4458686
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-bench1.r.opb
OPT
121
0.393057
0.411812
4431396
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_250_005.opb
OPT
-7323
0.396299
0.463663
4462165
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2g-0044-1601.lin.opb
OPT
-954077
0.416491
0.500251
4431717
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_4_shg.opb
OPT
22
0.427823
0.491516
4431631
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
OPT
47342
0.432181
0.463251
4431535
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j302_9.std.opb
OPT
54
0.457051
0.463457
4431610
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_400_008.opb
OPT
-12612
0.457361
0.469688
4462445
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__64.opb
OPT
46877
0.515084
0.526686
4431553
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
OPT
23978
0.56871
0.577124
4431533
PB24/normalized-PB06/OPT-LIN/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb
OPT
25
0.72572
0.734905
4431457
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-038.opb
OPT
1448
0.774247
0.829784
4431382
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j9018_7.std.opb
OPT
73
0.775266
0.779719
4431613
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=6-t=4.opb
OPT
2
0.783561
0.795056
4449895
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_340_006.opb
OPT
-10524
0.820106
0.865185
4462365
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb
OPT
13
0.884116
0.897261
4431730
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_410_004.opb
OPT
-13862
1.0059
1.06062
4462125
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-1000opt.opb
OPT
-178
1.01061
1.01572
4431558
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j6033_9.std.opb
OPT
108
1.01468
1.02999
4431611
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data4_3.opb
OPT
8276
1.0282
1.04845
4431408
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir04_area_opers.opb
OPT
29
1.18129
1.19492
4431512
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/almost_strongly_correlated/
normalized-knapPI_5_2000_10000_5_-952740.opb
OPT
-1487946
1.24185
1.30195
4457555
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1468.cudf.trendy.opb
OPT
5
1.25384
1.26075
4431592
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f6-ACTotalLoss.seq-A-2-2-irEDCBA.opb
OPT
4208467707
1.25917
1.2734
4431742
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb
OPT
200
1.39419
1.41691
4431373
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__128.opb
OPT
46877
1.42579
1.47021
4431550
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i8_pp_100.opb
OPT
2252
1.45459
1.53912
4461685
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i10_pp_100.opb
OPT
2232
1.50092
1.57217
4461725
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
1.52268
1.52986
4431507
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-7000opt.opb
OPT
-172
1.59392
1.61243
4431563
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-3000opt.opb
OPT
-187
1.81579
1.82332
4431560
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-4000opt.opb
OPT
-164
1.84925
1.86555
4431561
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
1.93485
1.97407
4431506
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12023_6.std.opb
OPT
106
1.9409
1.96525
4431606
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
1.99794
2.07758
4458881
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randaefc7c.cudf.trendy.opb
OPT
394243446
2.16922
2.17758
4431602
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
OPT
41202
2.17029
2.18592
4431534
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-rand18b530.cudf.paranoid.opb
OPT
6563
2.25384
2.28974
4431598
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb
OPT
6943
2.29843
2.32934
4431597
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-10000opt.opb
OPT
-164
2.31399
2.33021
4431557
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-5000opt.opb
OPT
-169
2.38615
2.40036
4431562
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-pdc.r.opb
OPT
94
2.42161
2.43973
4431402
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx84.opb
OPT
8
2.5229
2.54115
4431573
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-exam.pi.opb
OPT
63
2.61644
2.68087
4431393
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-rand362510.cudf.paranoid.opb
OPT
1964
2.87839
2.89445
4431599
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_630_002.opb
OPT
-26056
3.10713
3.12791
4462405
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-2000opt.opb
OPT
-167
3.154
3.17838
4431559
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__256.opb
OPT
46877
3.31358
3.34961
4431551
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-rand88811a.cudf.paranoid.opb
OPT
2256
3.45326
3.48012
4431600
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-4000opt.opb
OPT
-82
3.46143
3.4793
4431564
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
OPT
37
3.54845
3.5702
4431459
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12039_5.std.opb
OPT
106
3.68416
3.72114
4431607
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.02.opb
OPT
44
3.89055
3.9056
4431458
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
OPT
41
4.16493
4.23474
4431462
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-randa13f2d.cudf.paranoid.opb
OPT
2477
4.58636
4.61179
4431601
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rand1958fb.cudf.trendy.opb
OPT
15832587875
4.75441
4.78324
4431603
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i3_pp_87_merged.opb
OPT
346
4.76546
4.78974
4461965
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rand49e642.cudf.trendy.opb
OPT
39641230
4.9494
4.99548
4431604
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i4_pp_80_merged.opb
OPT
344
4.98026
5.01353
4462005
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
5.0426
5.06808
4431509
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
OPT
813
5.7644
5.80411
4431497
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.08.opb
OPT
34
6.09171
6.11045
4431465
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_690_001.opb
OPT
-30339
6.39959
6.50597
4462085
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
6.57364
6.59571
4431510
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
6.7253
6.75169
4431508
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb
OPT
200
6.90811
6.94406
4431374
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.14.opb
OPT
42
7.35048
7.37692
4431463
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.11.opb
OPT
38
7.47558
7.56201
4431461
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-nw04.opb
OPT
8431
7.49871
7.53571
4431356
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-000.opb
OPT
-122892
8.51928
8.54428
4462325
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__512.opb
OPT
46877
9.53751
9.5835
4431552
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb
OPT
24
9.8911
9.91938
4431728
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-5000opt.opb
OPT
-70
9.90455
9.93457
4431565
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-7000opt.opb
OPT
-68
10.1361
10.1664
4431566
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0066-0066.lin.opb
OPT
-29
10.4098
10.4989
4431718
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_100_3__3_91__8.opb
OPT
70998
10.9122
10.9455
4431548
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.10.opb
OPT
49
11.4023
11.4462
4431460
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/9orless/normalized-kjumpingcube.cudf.paranoid.opb
OPT
141778
11.6044
11.634
4431578
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb
OPT
200
11.716
11.7804
4431375
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.10-021.opb
OPT
-116824
11.8299
11.873
4462205
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx92.opb
OPT
9
11.9316
11.9566
4431574
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
OPT
33456
12.7807
12.8454
4431536
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/10orplus/normalized-hal-cups-utils.cudf.paranoid.opb
OPT
141814
13.1457
13.199
4431576
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c3.opb
OPT
261
13.425
13.4793
4431379
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_10000_5_0.85_3.opb
OPT
132
13.6319
13.6712
4461925
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir07_trarea_ac.opb
OPT
50162
13.8107
13.8434
4431537
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/10orplus/normalized-libpango-perl.cudf.paranoid.opb
OPT
176205
16.2477
16.2916
4431577
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e4.opb
OPT
364
18.043
18.0858
4431380
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern30-04.lin.opb
OPT
-81
18.0825
18.1446
4431713
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_401.opb
OPT
1
19.3811
19.4536
4457906
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.95_7.opb
OPT
336
27.4476
27.4945
4461885
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_3000_5__126_2812.opb
OPT
60720
30.6575
30.7265
4431554
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.F.recomb10-0.01-5.opb
OPT
7540
42.3265
42.5589
4431639
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-gpc-4.1.cudf.trendy.opb
OPT
2705390294033
45.2484
45.3195
4431585
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
OPT
53
45.8857
46.0378
4431412
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/
10orplus/normalized-libtemplate-provider-encoding-perl.cudf.trendy.opb
OPT
3263183881226
47.2261
47.3196
4431583
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-pidgin-plugin-pack.cudf.trendy.opb
OPT
3258634294888
51.8987
51.9997
4431584
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-libnspr4-dev.cudf.trendy.opb
OPT
3656703476375
56.9975
57.1415
4431581
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx60.opb
OPT
6
57.7872
57.9267
4431570
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-libpango-perl.cudf.trendy.opb
OPT
3256361088356
60.3754
60.5029
4431582
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/10orplus/normalized-libnkf-perl.cudf.trendy.opb
OPT
3258634294888
61.2981
61.4457
4431580
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/10orplus/normalized-codebreaker.cudf.trendy.opb
OPT
3577362783187
70.5568
70.6894
4431579
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_751.opb
OPT
1
73.0903
73.3335
4457945
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
OPT
36
74.5212
74.7768
4431629
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-1109824.opb
OPT
378
74.6611
74.841
4459349
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir06_area_opers.opb
OPT
23
86.5249
86.7243
4431513
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
OPT
2807154740
87.1436
87.3577
4431367
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
87.5505
87.6973
4431343
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
OPT
50769
107.365
107.662
4431539
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.01-5.opb
OPT
3521
120.096
120.453
4431634
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_019_area_delay.opb
OPT
24
122.316
122.723
4431517
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
OPT
-30
129.699
129.946
4431487
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
151.254
151.505
4458764
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat15_5_3_5_ic.opb
OPT
2624620
156.33
156.685
4431664
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i5_pp_93.opb
OPT
750
184.739
185.042
4461805
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j609_2.std.opb
OPT
82
193.358
193.725
4431612
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-mspp16.opb
OPT
33
210.242
210.522
4431619
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_4_mh.opb
OPT
3608846
233.313
234.11
4431683
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_851.opb
OPT
1
266.329
266.819
4457984
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_34.opb
OPT
630
317.03
317.279
4459076
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_026_area_delay.opb
OPT
28
339.588
340.468
4431520
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-iis-glass-cov.opb
OPT
21
378.449
379.029
4459193
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
OPT
-30
379.16
379.906
4431486
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
OPT
1120
403.358
404.37
4431353
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j9021_10.std.opb
OPT
109
437.901
438.543
4431614
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_072.opb
OPT
2664
464.945
465.888
4458920
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir08_trarea_ac.opb
OPT
70311
589.964
590.793
4431538
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_3pm-0334-0334.lin.opb
OPT
-36
616.192
617.187
4431719
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
OPT
28
640.606
642.685
4431515
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.20-12.opb
OPT
8175
656.577
658.057
4431637
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=8-t=6.opb
OPT
2
923.446
926.422
4449685
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
OPT
42
992.421
995.33
4431630
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat15_5_3_3_ic.opb
OPT
5900212
1053.64
1054.81
4431663
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_076.opb
OPT
2964
1336.18
1337.46
4458959
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX15_K67_cod3.opb
OPT
-4036
1424.47
1427.24
4431348
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_025_area_delay.opb
OPT
25
1442.72
1447.12
4431519
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16a2.opb
OPT
1164
1920.05
1922.47
4431377
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__32.opb
OPT
95378
2007.76
2009.42
4431555
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
2062.74
2066.72
4458842
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.95_1.opb
OPT
6112
2148.99
2152.25
4461845
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
OPT
34
2188.26
2194.53
4431464
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE2.0_TMAX15_K67_cod3.opb
OPT
-7752
2351.65
2354.12
4431345
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
OPT
2642
2523.22
2528.69
4431500
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
OPT
4372480
2892.16
2898.62
4431357
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
3008.4
3011.78
4458803
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir10_trarea_ac.opb
OPT
73649
3194.95
3200.88
4431540
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
OPT
-35
3314.81
3319.96
4431488
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_50.opb
OPT
1326
3321.15
3326.9
4459154
Solver timed out (no solution given) (221 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-irEDCBA.opb
? (TO)
3600.01
3607.91
4431741
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb
? (TO)
3600.01
3608.21
4431454
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
? (TO)
3600.01
3608.51
4431421
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx63.opb
? (TO)
3600.02
3604.31
4431571
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-stp3d.opb
? (TO)
3600.02
3606.11
4431625
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_08.opb
? (TO)
3600.02
3606.11
4458374
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-UMTS.opb
? (TO)
3600.02
3608.71
4431368
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_023_area_delay.opb
? (TO)
3600.02
3608.01
4431518
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-neos-1620770.opb
? (TO)
3600.02
3604.31
4431620
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-go19.opb
? (TO)
3600.02
3606.71
4431618
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i4_pp_92_merged.opb
? (TO)
3600.02
3603.91
4462045
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx49.opb
? (TO)
3600.02
3607.31
4431568
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
? (TO)
3600.02
3607.71
4431436
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug6.5.opb
? (TO)
3600.02
3608.71
4431705
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
? (TO)
3600.02
3603.31
4431524
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
? (TO)
3600.02
3609.71
4431428
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_2.opb
? (TO)
3600.02
3608.21
4431467
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
? (TO)
3600.03
3608.72
4431439
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb
? (TO)
3600.03
3607.51
4431435
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
? (TO)
3600.03
3608.01
4431430
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
? (TO)
3600.03
3606.81
4431529
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
? (TO)
3600.03
3609.51
4431410
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
? (TO)
3600.03
3603.91
4431411
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm25p-opt.opb.negationfix.opb
? (TO)
3600.03
3603.92
4431723
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
? (TO)
3600.03
3604.12
4431526
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
? (TO)
3600.03
3608.41
4431355
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_11.opb
? (TO)
3600.03
3606.81
4431448
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_18.opb
? (TO)
3600.03
3608.01
4431455
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
? (TO)
3600.03
3607.31
4431444
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_4layers_maxall_lastlayerdiv2_size_16.opb
? (TO)
3600.03
3607.91
4458452
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
? (TO)
3600.03
3610.91
4431427
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_4.opb
? (TO)
3600.04
3607.41
4431469
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
? (TO)
3600.04
3608.81
4431418
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_5_ic.opb
? (TO)
3600.04
3607.61
4431667
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_8_mh.opb
? (TO)
3600.04
3602.91
4431691
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
? (TO)
3600.04
3608.21
4431409
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_3_mh.opb
? (TO)
3600.04
3603.14
4431685
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament50.lin.opb
? (TO)
3600.04
3605.91
4431722
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
? (TO)
3600.04
3609.91
4431440
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
? (TO)
3600.04
3608.91
4431425
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
? (TO)
3600.04
3608.81
4431432
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
? (TO)
3600.04
3605.41
4431523
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-2.opb
? (TO)
3600.04
3605.91
4431381
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
? (TO)
3600.04
3606.51
4431405
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
? (TO)
3600.04
3607.31
4431362
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx75.opb
? (TO)
3600.04
3603.41
4431572
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
? (TO)
3600.05
3607.81
4431431
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_clique-50.lin.opb
? (TO)
3600.05
3606.52
4431720
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null50mast_rapportOE2.0_TMAX15_K192_cod1.opb
? (TO)
3600.05
3604.91
4431645
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16d1.opb
? (TO)
3600.05
3607.41
4431378
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_1_mh.opb
? (TO)
3600.05
3605.41
4431684
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_11_shg.opb
? (TO)
3600.05
3607.43
4431626
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
? (TO)
3600.05
3608.01
4431424
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
? (TO)
3600.05
3607.11
4431489
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
? (TO)
3600.05
3608.51
4431447
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
? (TO)
3600.05
3607.31
4431429
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct5.5.opb
? (TO)
3600.05
3605.21
4431709
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX60_K192_cod2.opb
? (TO)
3600.05
3605.54
4431649
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-ex1010-pi.opb
? (TO)
3600.05
3604.12
4431617
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null10mast_rapportOE1.0_TMAX180_K192_cod1.opb
? (TO)
3600.05
3606.54
4431646
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_2_mh.opb
? (TO)
3600.05
3607.21
4431688
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-graph20-20-1rand.opb
? (TO)
3600.05
3604.91
4459232
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
? (TO)
3600.06
3606.91
4431403
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ns903616.opb
? (TO)
3600.06
3604.61
4459388
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_2_mh_ic.opb
? (TO)
3600.06
3604.71
4431672
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod2.opb
? (TO)
3600.06
3603.85
4431652
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep6.5.opb
? (TO)
3600.06
3604.61
4431712
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
? (TO)
3600.06
3605.81
4431492
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug4.5.opb
? (TO)
3600.06
3608.11
4431703
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
? (TO)
3600.06
3608.12
4431358
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_7_ic.opb
? (TO)
3600.06
3602.94
4431680
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_5_mh.opb
? (TO)
3600.06
3606.81
4431690
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j1207_5.std.opb
? (TO)
3600.06
3606.02
4431609
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=11.opb
? (TO)
3600.06
3606.91
4449825
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug5.5.opb
? (TO)
3600.06
3604.81
4431704
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
? (TO)
3600.06
3609.41
4431423
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_5.opb
? (TO)
3600.06
3605.24
4431654
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
? (TO)
3600.06
3610.61
4431426
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=5.opb
? (TO)
3600.06
3607.81
4449755
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_27.opb
? (TO)
3600.06
3607.61
4458140
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-ex1010.pi.opb
? (TO)
3600.06
3607.11
4431397
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb
? (TO)
3600.06
3603.61
4431361
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-3.opb
? (TO)
3600.06
3604.03
4431499
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-631710.opb
? (TO)
3600.06
3608.42
4431621
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_3_mh.opb
? (TO)
3600.06
3604.91
4431689
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.06
3605.51
4431365
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_15.opb
? (TO)
3600.06
3606.91
4458062
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
? (TO)
3600.06
3608.61
4431422
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null20mast_rapportOE2.0_TMAX60_K192_cod2.opb
? (TO)
3600.07
3605.03
4431647
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
? (TO)
3600.07
3608.04
4431575
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
? (TO)
3600.07
3606.11
4431727
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_mh.opb
? (TO)
3600.07
3604.04
4431679
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
? (TO)
3600.07
3608.31
4431494
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
? (TO)
3600.07
3606.81
4431522
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_14.opb
? (TO)
3600.07
3608.71
4431453
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_24.opb
? (TO)
3600.07
3606.31
4458101
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
? (TO)
3600.07
3606.43
4431725
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx30.opb
? (TO)
3600.07
3604.31
4431567
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun5.5.opb
? (TO)
3600.07
3607.01
4431707
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.07
3604.41
4431342
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
? (TO)
3600.07
3604.12
4431527
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null50mast_rapportOE1.0_TMAX60_K67_cod3.opb
? (TO)
3600.07
3605.42
4431346
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
? (TO)
3600.07
3605.41
4431407
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
? (TO)
3600.07
3606.41
4431406
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_18.opb
? (TO)
3600.07
3607.21
4458257
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
? (TO)
3600.07
3603.12
4431525
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_4.opb
? (TO)
3600.08
3609.44
4431656
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_31.opb
? (TO)
3600.08
3609.41
4458491
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct6.5.opb
? (TO)
3600.08
3605.02
4431710
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_8_mh.opb
? (TO)
3600.08
3605.22
4431686
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j909_1.std.opb
? (TO)
3600.08
3608.02
4431615
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-sctap3.opb
? (TO)
3600.08
3608.63
4431351
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=19-t=2.opb
? (TO)
3600.08
3606.81
4449860
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
? (TO)
3600.08
3604.71
4431474
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
? (TO)
3600.08
3604.21
4431530
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null0mast_rapportOE1.0_TMAX180_K192_cod2.opb
? (TO)
3600.08
3603.21
4431644
PB24/normalized-PB07/OPT-LIN/
submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
? (TO)
3600.08
3604.51
4431521
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=20-t=2.opb
? (TO)
3600.08
3606.91
4449720
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=14-t=9.opb
? (TO)
3600.08
3609.01
4449790
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_50null20mast_rapportOE2.0_TMAX300_K67_cod1.opb
? (TO)
3600.08
3610.47
4431349
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_9_ic.opb
? (TO)
3600.08
3608.51
4431668
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_14_shg.opb
? (TO)
3600.08
3608.51
4431628
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=24-t=2.opb
? (TO)
3600.08
3607.31
4449615
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_3.opb
? (TO)
3600.09
3606.31
4431468
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12051_4.std.opb
? (TO)
3600.09
3605.51
4431608
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
? (TO)
3600.09
3611.23
4431443
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__512.opb
? (TO)
3600.09
3604.83
4431549
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_12.opb
? (TO)
3600.09
3605.61
4431452
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
? (TO)
3600.09
3609.51
4431437
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-bg512142.opb
? (TO)
3600.09
3604.71
4431360
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_ic.opb
? (TO)
3600.09
3606.06
4431674
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX300_K192_cod1.opb
? (TO)
3600.09
3605.43
4431648
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
? (TO)
3600.09
3608.52
4431441
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_9_mh.opb
? (TO)
3600.09
3605.61
4431692
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_21.opb
? (TO)
3600.09
3608.31
4458296
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_160.opb
? (TO)
3600.09
3605.81
4459037
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.F.recomb10-0.20-11.opb
? (TO)
3600.09
3606.91
4431640
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_ic.opb
? (TO)
3600.09
3603.64
4431678
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.opb
? (TO)
3600.09
3606.11
4458218
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern35-09.lin.opb
? (TO)
3600.09
3609.03
4431714
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.09
3604.31
4431340
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.71
4431359
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
? (TO)
3600.09
3604.31
4431364
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
? (TO)
3600.09
3608.51
4431471
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=9-t=5.opb
? (TO)
3600.09
3607.21
4449930
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z7-s2.opb
? (TO)
3600.09
3606.91
4431623
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_5.opb
? (TO)
3600.1
3603.83
4431657
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-may6.5.opb
? (TO)
3600.1
3607.51
4431708
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_1.opb
? (TO)
3600.1
3603.28
4431653
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
? (TO)
3600.1
3610.01
4431433
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_3.opb
? (TO)
3600.1
3608.65
4431658
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
? (TO)
3600.1
3604.91
4431528
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_010_area_delay.opb
? (TO)
3600.1
3609.61
4431516
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_0null10mast_rapportOE1.0_TMAX15_K192_cod1.opb
? (TO)
3600.1
3602.72
4431650
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_22.opb
? (TO)
3600.1
3605.81
4458179
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_0null50mast_rapportOE2.0_TMAX180_K192_cod2.opb
? (TO)
3600.1
3607.33
4431643
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
? (TO)
3600.1
3605.71
4431493
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
? (TO)
3600.1
3608.81
4431490
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb5-0.10-9.opb
? (TO)
3600.1
3607.33
4431638
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
? (TO)
3600.1
3607.21
4431495
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_1.opb
? (TO)
3600.1
3606.31
4431470
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul5.5.opb
? (TO)
3600.1
3607.21
4431706
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
? (TO)
3600.1
3609.01
4431475
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_0_mh.opb
? (TO)
3600.1
3607.61
4431687
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
? (TO)
3600.1
3606.51
4431449
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-standgub.opb
? (TO)
3600.1
3604.17
4431352
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_5_mh_ic.opb
? (TO)
3600.1
3603.51
4431670
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb
? (TO)
3600.1
3606.91
4431434
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i9_pp_96.opb
? (TO)
3600.1
3605.41
4461765
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
? (TO)
3600.1
3610.41
4431419
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_100.opb
? (TO)
3600.1
3604.21
4458998
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.71
4458413
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_0_ic.opb
? (TO)
3600.1
3602.52
4431673
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
? (TO)
3600.11
3607.71
4431473
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_1_mh_ic.opb
? (TO)
3600.11
3606.02
4431671
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-circ10-3.opb
? (TO)
3600.11
3607.31
4431616
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
? (TO)
3600.11
3605.01
4431472
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay60.lin.opb
? (TO)
3600.11
3608.71
4431716
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.11
3606.81
4431344
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
? (TO)
3600.11
3609.01
4431420
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__64.opb
? (TO)
3600.11
3604.71
4431547
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.11
3605.02
4431341
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep4.5.opb
? (TO)
3600.11
3605.81
4431711
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
? (TO)
3600.11
3608.22
4431438
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod1.opb
? (TO)
3600.11
3604.54
4431651
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm98p-opt.opb.negationfix.opb
? (TO)
3600.11
3605.67
4431732
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_3_ic.opb
? (TO)
3600.11
3606.92
4431666
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_1_mh_ic.opb
? (TO)
3600.11
3604.91
4431669
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.11
3604.81
4431369
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_5.opb
? (TO)
3600.12
3604.96
4431660
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_mh.opb
? (TO)
3600.12
3604.15
4431676
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb
? (TO)
3600.12
3609.47
4431731
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_9_ic.opb
? (TO)
3600.12
3603.52
4431682
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
? (TO)
3600.12
3608.62
4431445
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
? (TO)
3600.12
3605.51
4431491
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
? (TO)
3600.12
3610.43
4431446
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
? (TO)
3600.12
3603.16
4459115
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_8_mh.opb
? (TO)
3600.12
3604.33
4431681
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
? (TO)
3600.12
3603.81
4431627
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_ic.opb
? (TO)
3600.12
3607.22
4431675
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-1.opb
? (TO)
3600.12
3610.01
4431641
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
? (TO)
3600.12
3603.32
4431496
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_mh.opb
? (TO)
3600.13
3604.58
4431677
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
? (TO)
3600.13
3607.93
4431442
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
? (TO)
3600.13
3611.05
4431729
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.10-8.opb
? (TO)
3600.13
3604.41
4431633
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-ns1853823.opb
? (TO)
3600.13
3607.72
4431622
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern50-06.lin.opb
? (TO)
3600.14
3608.15
4431715
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_8_shg.opb
? (TO)
3600.14
3607.05
4431632
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_4.opb
? (TO)
3600.15
3603.75
4431659
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX120_K67_cod1.opb
? (TO)
3600.15
3603.99
4431347
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_4.opb
? (TO)
3600.16
3607.53
4431662
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-5.opb
? (TO)
3600.16
3607.88
4431642
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_8.opb
? (TO)
3600.17
3607.58
4431655
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_0.opb
? (TO)
3600.18
3606.98
4431661
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb
? (TO)
3600.18
3606.1
4431724
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-rmine15.opb
? (TO)
3600.19
3605.22
4459271
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir08_area_delay.opb
? (TO)
3600.2
3603.09
4431511
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-12.opb
? (TO)
3600.21
3603.92
4431635
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-13.opb
? (TO)
3600.22
3606.76
4431636
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb
? (TO)
3600.22
3606.32
4431726