PB'12 competition: satisfaction and optimization track: benchmarks results per solver
Result page for solver clasp
2.0.6-R5325 (opt)
(complete)
Category "optimisation, small integers, linear constraints" (OPT-SMALLINT-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (21 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
/OPT-SMALLINT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-995.cudf.paranoid.opb
UNSAT
0.001998
0.00607395
3709385
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1125.cudf.paranoid.opb
UNSAT
0.001999
0.00634093
3709382
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-diamond.opb
UNSAT
0.002998
0.00682501
3708935
/OPT-SMALLINT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-995.cudf.trendy.opb
UNSAT
0.002998
0.00626307
3709412
/OPT-SMALLINT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-658.cudf.paranoid.opb
UNSAT
0.002999
0.00633499
3709383
/OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/
datasets/caixa/normalized-1021.cudf.trendy.opb
UNSAT
0.002999
0.00632594
3709409
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1034.cudf.paranoid.opb
UNSAT
0.005998
0.00782399
3709379
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=23-Q=521.opb
UNSAT
0.006998
0.00821698
3709253
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=29-Q=521.opb
UNSAT
0.007998
0.00856508
3709257
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randc5b1f2.cudf.paranoid.opb
UNSAT
0.014997
0.0143159
3709404
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand199fd6.cudf.paranoid.opb
UNSAT
0.014997
0.0172831
3709387
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randaef248.cudf.paranoid.opb
UNSAT
0.025995
0.028582
3709394
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randa491d5.cudf.paranoid.opb
UNSAT
0.072988
0.0733059
3709392
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand65d021.cudf.paranoid.opb
UNSAT
0.079987
0.0816139
3709391
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randf7d077.cudf.paranoid.opb
UNSAT
0.082986
0.085179
3709395
/OPT-SMALLINT-LIN/heinz/
normalized-ns1745726.opb
UNSAT
0.942856
0.945801
3709496
/OPT-SMALLINT-LIN/heinz/
normalized-neos-785912.opb
UNSAT
12.3311
12.334
3709491
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_2.opb
UNSAT
47.1818
47.1915
3709214
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_4.opb
UNSAT
65.3871
65.4002
3709216
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_1.opb
UNSAT
133.517
133.54
3709213
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_3.opb
UNSAT
245.575
245.614
3709215
Solver found optimum (OPTIMUM FOUND) (260 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C17.opb
OPT
260
0.000999
0.00665399
3709026
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g4x4.opb
OPT
4
0.000999
0.00620512
3709046
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb
OPT
100
0.001998
0.00661806
3708982
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb
OPT
6
0.001998
0.00648607
3709169
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1078.cudf.paranoid.opb
OPT
4
0.001998
0.00613696
3709380
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_5.opb
OPT
11
0.001999
0.0064149
3709153
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir02_area_partials.opb
OPT
19
0.001999
0.00650088
3709293
/OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/
datasets/caixa/normalized-1078.cudf.trendy.opb
OPT
4
0.001999
0.00629007
3709410
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir04_area_partials.opb
OPT
30
0.001999
0.00622489
3709295
/OPT-SMALLINT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-787.cudf.trendy.opb
OPT
14
0.001999
0.00621994
3709411
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_40_40.r.opb
OPT
2
0.001999
0.00621708
3709200
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g2x2.opb
OPT
2
0.001999
0.00813305
3709045
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=7-Q=31.opb
OPT
1
0.001999
0.00624599
3709268
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein9.opb
OPT
5
0.001999
0.00628794
3708947
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-b1.opb
OPT
128
0.001999
0.00629512
3709028
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_4.opb
OPT
6
0.001999
0.00635595
3709152
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh12.opb
OPT
94
0.002998
0.00629396
3708998
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=53-Q=127.opb
OPT
53
0.002998
0.00714104
3709264
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=83-Q=89.opb
OPT
83
0.002998
0.00620198
3709271
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb
OPT
100
0.002998
0.00627603
3708980
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=11-Q=53.opb
OPT
11
0.002998
0.00614308
3709244
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein15.opb
OPT
9
0.002998
0.00668602
3708944
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb
OPT
64
0.002998
0.00636394
3709008
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb
OPT
50
0.002999
0.00626508
3708988
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=113-Q=233.opb
OPT
113
0.003998
0.0063509
3709245
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=47-Q=197.opb
OPT
47
0.003998
0.00786012
3709262
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=67-Q=191.opb
OPT
67
0.003998
0.0063829
3709267
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-2.opb
OPT
350
0.003998
0.00609908
3709009
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb
OPT
100
0.003998
0.00676996
3708983
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb
OPT
200
0.003998
0.00929904
3708984
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb
OPT
100
0.003998
0.0064609
3708981
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb
OPT
200
0.003998
0.00656788
3708985
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb
OPT
200
0.003998
0.00651807
3708987
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb
OPT
11
0.003998
0.00639694
3709170
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1094.cudf.paranoid.opb
OPT
126
0.003998
0.00638289
3709381
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir01_area_delay.opb
OPT
5
0.003998
0.00646
3709273
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-5_10.opb
OPT
3951
0.003998
0.00739297
3709346
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=61-Q=163.opb
OPT
61
0.003998
0.00635698
3709266
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_90_90.r.opb
OPT
2
0.003998
0.00653511
3709204
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_70_70.r.opb
OPT
2
0.003998
0.00636802
3709203
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=47-Q=487.opb
OPT
47
0.003999
0.00616688
3709263
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=131-Q=137.opb
OPT
131
0.004998
0.00636407
3709246
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir07_area_partials.opb
OPT
33
0.004998
0.00619199
3709298
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=409-Q=499.opb
OPT
409
0.004998
0.00718701
3709261
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=59-Q=419.opb
OPT
59
0.004998
0.00690593
3709265
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh17.opb
OPT
95
0.004998
0.00608805
3708999
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=23-Q=293.opb
OPT
23
0.004998
0.00635
3709252
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb
OPT
36
0.004998
0.00616207
3709011
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=167-Q=179.opb
OPT
167
0.004999
0.00639589
3709247
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=317.opb
OPT
89
0.005998
0.00748995
3709272
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=197-Q=479.opb
OPT
197
0.005998
0.00729099
3709249
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=167-Q=347.opb
OPT
167
0.005999
0.00764602
3709248
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb
OPT
36
0.005999
0.00719301
3709010
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=269-Q=431.opb
OPT
269
0.005999
0.00768396
3709256
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=101-Q=379.opb
OPT
101
0.005999
0.00731097
3709243
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb
OPT
200
0.006998
0.00753593
3708986
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=347.opb
OPT
223
0.006998
0.00885188
3709251
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=347-Q=379.opb
OPT
347
0.006998
0.009353
3709260
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh301.opb
OPT
95
0.006998
0.00857698
3709001
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=307.opb
OPT
223
0.007997
0.00991809
3709250
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=347.opb
OPT
331
0.007997
0.00872509
3709259
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=83-Q=449.opb
OPT
83
0.007997
0.011797
3709270
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=307-Q=347.opb
OPT
307
0.008997
0.010493
3709258
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=79-Q=257.opb
OPT
79
0.008997
0.00897394
3709269
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir05_area_partials.opb
OPT
36
0.008997
0.00945109
3709296
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-6_12.opb
OPT
5867
0.008997
0.011516
3709347
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=251-Q=307.opb
OPT
251
0.008997
0.00976111
3709254
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=257-Q=331.opb
OPT
257
0.009997
0.011481
3709255
/OPT-SMALLINT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-990.cudf.paranoid.opb
OPT
273
0.010997
0.012585
3709384
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_6.opb
OPT
17
0.010997
0.0115899
3709154
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g9x3.opb
OPT
7
0.011997
0.013312
3709048
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_30_30.r.opb
OPT
3
0.013997
0.015135
3709199
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb
OPT
36
0.014997
0.0159171
3709012
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb
OPT
36
0.016996
0.0182149
3709013
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh1.opb
OPT
92
0.017996
0.019783
3708997
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb
OPT
34
0.019996
0.0212151
3709014
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb
OPT
17
0.019996
0.021476
3709171
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb
OPT
34
0.023995
0.0258829
3708933
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir06_area_partials.opb
OPT
24
0.024995
0.0257251
3709297
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir03_area_partials.opb
OPT
18
0.027994
0.0296271
3709294
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_70_70.r.opb
OPT
3
0.037994
0.0392671
3709196
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex6inp.r.opb
OPT
4
0.041993
0.042888
3709189
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ4_3.opb
OPT
20
0.048992
0.0505111
3709036
/OPT-SMALLINT-LIN/heinz/
normalized-neos18.opb
OPT
16
0.051991
0.0527949
3709494
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-opus.r.opb
OPT
5
0.053991
0.05535
3709207
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data4_3.opb
OPT
8276
0.05799
0.0592591
3709040
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir01_area_opers.opb
OPT
10
0.069988
0.070915
3709283
/OPT-SMALLINT-LIN/oliveras/
j30opt/normalized-j301_8.std.opb
OPT
53
0.071988
0.073358
3709414
/OPT-SMALLINT-LIN/oliveras/
j30opt/normalized-j308_4.std.opb
OPT
48
0.072988
0.0740499
3709426
/OPT-SMALLINT-LIN/oliveras/
j30opt/normalized-j307_6.std.opb
OPT
35
0.073987
0.0759291
3709425
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3020_9.std.opb
OPT
41
0.074988
0.079853
3709415
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3040_5.std.opb
OPT
65
0.076987
0.077451
3709420
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3010_3.std.opb
OPT
62
0.076987
0.0816681
3709413
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3039_1.std.opb
OPT
55
0.076988
0.080046
3709419
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3021_10.std.opb
OPT
69
0.077987
0.0813659
3709416
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3047_1.std.opb
OPT
58
0.077987
0.0797861
3709423
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3044_1.std.opb
OPT
50
0.078987
0.082731
3709421
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh217.opb
OPT
89
0.079987
0.081355
3709000
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3046_5.std.opb
OPT
57
0.080987
0.0817601
3709422
/OPT-SMALLINT-LIN/oliveras/
j30opt/normalized-j305_3.std.opb
OPT
76
0.084986
0.086216
3709424
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3037_10.std.opb
OPT
81
0.087985
0.0887671
3709418
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand18b530.cudf.paranoid.opb
OPT
6563
0.111982
0.113072
3709397
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3029_1.std.opb
OPT
85
0.12298
0.123922
3709417
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randfd04d4.cudf.paranoid.opb
OPT
3511
0.131979
0.133203
3709408
/OPT-SMALLINT-LIN/oliveras/
j60opt/normalized-j602_4.std.opb
OPT
78
0.139978
0.141626
3709435
/OPT-SMALLINT-LIN/oliveras/
j30opt/normalized-j309_7.std.opb
OPT
63
0.139978
0.140858
3709427
/OPT-SMALLINT-LIN/oliveras/
j60opt/normalized-j603_9.std.opb
OPT
67
0.142978
0.145832
3709438
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6019_2.std.opb
OPT
83
0.143977
0.148323
3709430
/OPT-SMALLINT-LIN/oliveras/
j60opt/normalized-j603_6.std.opb
OPT
57
0.143977
0.144567
3709437
/OPT-SMALLINT-LIN/heinz/
normalized-acc-tight6.opb
OPT
0
0.143977
0.146298
3709473
/OPT-SMALLINT-LIN/oliveras/
j60opt/normalized-j606_1.std.opb
OPT
60
0.145976
0.146826
3709441
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randb54299.cudf.paranoid.opb
OPT
11142
0.145977
0.149352
3709403
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6012_9.std.opb
OPT
59
0.146977
0.148026
3709428
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6043_1.std.opb
OPT
108
0.147977
0.149188
3709439
/OPT-SMALLINT-LIN/flexray/
normalized-fx57.opb
OPT
6
0.150976
0.152098
3709372
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6031_6.std.opb
OPT
72
0.153976
0.154812
3709436
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6044_1.std.opb
OPT
84
0.158974
0.161112
3709440
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand5d20db.cudf.paranoid.opb
OPT
5106
0.160974
0.161004
3709400
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6027_6.std.opb
OPT
64
0.161974
0.163967
3709433
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6026_2.std.opb
OPT
66
0.166973
0.168619
3709432
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_7.opb
OPT
25
0.173972
0.17503
3709155
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand3c03fd.cudf.paranoid.opb
OPT
4927
0.179972
0.181298
3709399
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randa2004a.cudf.paranoid.opb
OPT
1859
0.183971
0.184333
3709402
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein27.opb
OPT
18
0.18597
0.188216
3708945
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb
OPT
6943
0.18797
0.188097
3709396
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand27da90.cudf.paranoid.opb
OPT
11364
0.196969
0.197904
3709398
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-1-c.opb
OPT
317
0.196969
0.197468
3709002
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9019_6.std.opb
OPT
136
0.200969
0.202848
3709446
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/routing/normalized-s4-4-3-10pb.opb
OPT
70
0.202968
0.204199
3709015
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9010_6.std.opb
OPT
92
0.221965
0.224415
3709443
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9016_1.std.opb
OPT
85
0.224965
0.267352
3709445
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9027_6.std.opb
OPT
87
0.225965
0.227469
3709448
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9036_4.std.opb
OPT
79
0.225965
0.227417
3709450
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9033_3.std.opb
OPT
108
0.225965
0.227318
3709449
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randd7b2b4.cudf.paranoid.opb
OPT
4750
0.226964
0.227446
3709407
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9038_7.std.opb
OPT
85
0.227965
0.229059
3709451
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9022_8.std.opb
OPT
97
0.235963
0.237964
3709447
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1204_10.std.opb
OPT
77
0.288955
0.290181
3709465
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randc7f8e5.cudf.paranoid.opb
OPT
9465
0.288955
0.291091
3709406
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1204_1.std.opb
OPT
74
0.292955
0.294788
3709464
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12044_1.std.opb
OPT
100
0.297954
0.300075
3709462
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12015_5.std.opb
OPT
87
0.298953
0.299865
3709454
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1205_7.std.opb
OPT
84
0.304952
0.305545
3709469
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12044_8.std.opb
OPT
108
0.314951
0.313966
3709463
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12020_7.std.opb
OPT
81
0.316951
0.317547
3709456
/OPT-SMALLINT-LIN/flexray/
normalized-fx84.opb
OPT
8
0.32295
0.322294
3709376
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12055_4.std.opb
OPT
90
0.32395
0.330885
3709468
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-5.opb
OPT
1015
0.336947
0.3384
3709004
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12041_1.std.opb
OPT
127
0.349946
0.351668
3709461
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb
OPT
25
0.359944
0.361655
3709172
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null50mast_rapportOE2.0_TMAX15_K67_cod2.opb
OPT
0
0.394939
0.396
3709515
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-3.opb
OPT
1015
0.442932
0.443662
3709003
/OPT-SMALLINT-LIN/heinz/
normalized-ex9.opb
OPT
81
0.446931
0.448257
3709478
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6021_5.std.opb
OPT
89
0.470928
0.476709
3709431
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.01-3.opb
OPT
6
0.554915
0.561269
3708915
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.01-4.opb
OPT
7
0.558914
0.560691
3708916
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randc5fe62.cudf.paranoid.opb
OPT
1882
0.559914
0.561172
3709405
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.01-1.opb
OPT
7
0.563914
0.565809
3708913
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.01-5.opb
OPT
7
0.582911
0.585091
3708917
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_20_20.r.opb
OPT
5
0.621904
0.622973
3709198
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-4000opt.opb
OPT
-82
0.642901
0.645069
3709364
normalized-PB07/OPT-SMALLINT-LIN/
submittedPB07/aksoy/trarea_ac/normalized-fir01_trarea_ac.opb
OPT
13949
0.643901
0.64414
3709312
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-sentoy.opb
OPT
-7772
0.671897
0.672457
3708943
OPT-SMALLINT-LIN/graca/
normalized-ped3.D.recomb10-0.20-12.opb
OPT
349
0.704891
0.707106
3708929
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.01-2.opb
OPT
7
0.719889
0.721274
3708914
/OPT-SMALLINT-LIN/
heinz/normalized-bnatt400.opb
OPT
1
0.758883
0.76153
3709475
OPT-SMALLINT-LIN/graca/
normalized-ped3.D.recomb10-0.20-14.opb
OPT
7
0.769882
0.771747
3708931
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.10-10.opb
OPT
6
0.770881
0.772428
3708918
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-7_14.opb
OPT
5148
0.823874
0.825483
3709348
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.10-9.opb
OPT
7
0.825874
0.87017
3708922
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.10-8.opb
OPT
589
0.901862
0.903168
3708921
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.10-6.opb
OPT
7
0.903862
0.905734
3708919
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.10-7.opb
OPT
588
0.968852
0.971009
3708920
/OPT-SMALLINT-LIN/
heinz/normalized-bnatt350.opb
OPT
0
0.989848
0.990387
3709474
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos8.opb
OPT
-3719
1.00385
1.00579
3708962
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-3000opt.opb
OPT
-81
1.01284
1.01451
3709363
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-1000opt.opb
OPT
-78
1.01684
1.0219
3709361
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_50_50.r.opb
OPT
4
1.02484
1.02706
3709195
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand71b131.cudf.paranoid.opb
OPT
5657
1.02484
1.02601
3709401
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.20-14.opb
OPT
7
1.05184
1.05378
3708926
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
OPT
1931
1.10883
1.1107
3708989
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-10000opt.opb
OPT
-75
1.15782
1.15987
3709360
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand2d8467.cudf.paranoid.opb
OPT
13125
1.17482
1.17423
3709388
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.20-11.opb
OPT
7
1.20781
1.21085
3708923
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.20-15.opb
OPT
7
1.22181
1.22421
3708927
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand0c02bc.cudf.paranoid.opb
OPT
8730
1.3428
1.34435
3709386
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-8000opt.opb
OPT
-76
1.36379
1.36483
3709368
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.20-12.opb
OPT
7
1.36579
1.36744
3708924
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.20-13.opb
OPT
7
1.38879
1.39046
3708925
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-9000opt.opb
OPT
-79
1.41179
1.41657
3709369
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-5000opt.opb
OPT
-70
1.42578
1.42939
3709365
/OPT-SMALLINT-LIN/flexray/
normalized-fx92.opb
OPT
9
1.53877
1.54083
3709377
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-7000opt.opb
OPT
-68
1.64675
1.64755
3709367
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_50null50mast_rapportOE2.0_TMAX15_K67_cod1.opb
OPT
0
1.81472
1.81555
3709539
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb
OPT
68
1.82772
1.83091
3709024
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-2000opt.opb
OPT
-70
1.84572
1.84991
3709362
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12060_6.std.opb
OPT
110
1.85472
1.85611
3709470
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-6000opt.opb
OPT
-74
2.21666
2.2173
3709366
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir02_area_delay.opb
OPT
8
2.30665
2.30795
3709274
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir09_area_partials.opb
OPT
35
2.43163
2.43461
3709300
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12020_8.std.opb
OPT
107
2.51162
2.51811
3709457
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos10.opb
OPT
-1135
2.77358
2.77505
3708958
OPT-SMALLINT-LIN/graca/
normalized-ped3.D.recomb10-0.20-13.opb
OPT
350
3.07153
3.07307
3708930
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb
OPT
64
3.53946
3.5416
3709022
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-1000opt.opb
OPT
-178
3.60545
3.6064
3709351
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb
OPT
8034
3.67044
3.6723
3709344
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-9000opt.opb
OPT
-193
3.79042
3.79156
3709359
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_8.opb
OPT
34
4.03439
4.03678
3709156
OPT-SMALLINT-LIN/graca/
normalized-ped3.D.recomb10-0.20-11.opb
OPT
690
4.36333
4.36532
3708928
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-maincont.r.opb
OPT
7
4.74828
4.75056
3709205
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb
OPT
34
5.9101
5.91214
3709173
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb
OPT
66
5.98209
5.9836
3709021
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-4000opt.opb
OPT
-164
6.559
6.56342
3709354
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-9sym.b.opb
OPT
5
6.77197
6.77429
3708964
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-net12.opb
OPT
214
6.82896
6.83334
3708952
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
OPT
1120
7.40387
7.40603
3708938
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-10000opt.opb
OPT
-164
7.54785
7.55097
3709350
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-5000opt.opb
OPT
-169
7.95079
7.9533
3709355
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randa6997e.cudf.paranoid.opb
OPT
5898
8.19575
8.20187
3709393
/OPT-SMALLINT-LIN/flexray/
normalized-fx60.opb
OPT
6
8.41872
8.4216
3709373
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb
OPT
62027
9.8615
9.86444
3708941
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand4bf850.cudf.paranoid.opb
OPT
10949
11.0603
11.0651
3709390
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-6000opt.opb
OPT
-175
11.3173
11.3201
3709356
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-2000opt.opb
OPT
-167
11.8752
11.8844
3709352
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-3000opt.opb
OPT
-187
12.0522
12.0546
3709353
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex4inp.r.opb
OPT
5
12.7861
12.7912
3709188
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand35d0c8.cudf.paranoid.opb
OPT
5656
16.1845
16.1873
3709389
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-7000opt.opb
OPT
-172
20.8418
20.8491
3709357
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb
OPT
62
23.8944
23.8994
3709018
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
OPT
-10270
26.399
26.4065
3708951
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
OPT
64
27.0909
27.0956
3709017
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ricks.r.opb
OPT
5
28.3907
28.3989
3709210
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g7x7.opb
OPT
12
31.5452
31.5499
3709047
OPT-SMALLINT-LIN/graca/
normalized-ped3.D.recomb10-0.20-15.opb
OPT
689
34.7377
34.751
3708932
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-8000opt.opb
OPT
-162
42.0556
42.0687
3709358
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb
OPT
60
43.1204
43.1285
3709020
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_2.opb
OPT
1
52.0651
52.0756
3709229
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein45.opb
OPT
30
52.783
52.7927
3708946
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv11.opb
OPT
-10859
76.8603
76.8827
3708950
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_30_30.r.opb
OPT
5
77.9371
77.9523
3709194
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_9.opb
OPT
44
92.4229
92.4375
3709157
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_4.opb
OPT
1
94.9286
94.9454
3709231
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb
OPT
44
108.305
108.328
3709174
/OPT-SMALLINT-LIN/heinz/
normalized-neos-538867.opb
OPT
122
154.229
154.256
3709487
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-rd84.b.opb
OPT
5
163.644
163.671
3709209
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
OPT
36
206.285
206.319
3709023
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX15_K67_cod1.opb
OPT
-80
223.147
223.192
3709525
/OPT-SMALLINT-LIN/heinz/
normalized-ns1696083.opb
OPT
45
226.602
226.649
3709495
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
OPT
60
226.774
226.809
3709019
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null0mast_rapportOE1.0_TMAX15_K67_cod1.opb
OPT
-192
314.081
314.14
3709516
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
OPT
62
324.629
324.682
3709016
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
OPT
2
325.851
325.903
3709230
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
OPT
8908
329.352
329.409
3709345
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-8_16.opb
OPT
5852
335.046
335.105
3709349
/OPT-SMALLINT-LIN/heinz/
normalized-neos-1440225.opb
OPT
36
508.675
508.754
3709485
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_10_10.r.opb
OPT
8
604.501
604.597
3709202
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir10_area_partials.opb
OPT
52
773.572
773.694
3709301
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_10.opb
OPT
55
1413.88
1414.1
3709141
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_30.r.opb
OPT
8
1691.74
1692
3709193
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_10.opb
OPT
55
1761.62
1761.89
3709158
Solver timed out but found at least a solution (235 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
SAT (TO)
29
1800
1800.31
3709309
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
SAT (TO)
-46
1800
1800.51
3709121
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_011_area_delay.opb
SAT (TO)
31
1800
1800.31
3709324
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_010_area_delay.opb
SAT (TO)
30
1800.01
1800.31
3709323
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
SAT (TO)
204
1800.01
1800.31
3709062
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-prom2.pi.opb
SAT (TO)
440
1800.01
1800.31
3708976
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb
SAT (TO)
-46
1800.01
1800.41
3709118
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
SAT (TO)
9743
1800.01
1800.41
3709091
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
SAT (TO)
1170
1800.01
1800.31
3709074
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-apex4.a.opb
SAT (TO)
799
1800.01
1800.31
3708966
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
SAT (TO)
200
1800.02
1800.31
3709052
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
SAT (TO)
206
1800.02
1800.31
3709058
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
SAT (TO)
200
1800.02
1800.31
3709059
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
SAT (TO)
210
1800.02
1800.31
3709063
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
SAT (TO)
223
1800.02
1800.31
3709147
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
SAT (TO)
7
1800.02
1800.31
3709131
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-clip.b.opb
SAT (TO)
18
1800.02
1800.31
3708968
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-max1024.pi.opb
SAT (TO)
305
1800.02
1800.31
3708975
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-5xp1.b.opb
SAT (TO)
17
1800.02
1800.31
3708963
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
SAT (TO)
206
1800.02
1800.31
3709053
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
SAT (TO)
42
1800.02
1800.31
3709242
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-sao2.b.opb
SAT (TO)
28
1800.02
1800.31
3708978
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-p2756.opb
SAT (TO)
3731
1800.02
1800.31
3708953
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
SAT (TO)
12
1800.02
1800.31
3709133
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cmb.opb
SAT (TO)
1173
1800.02
1800.31
3709032
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-9symml.opb
SAT (TO)
5118
1800.02
1800.31
3709025
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-mux.opb
SAT (TO)
1003
1800.02
1800.31
3709033
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
SAT (TO)
23954
1800.02
1800.31
3709041
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
SAT (TO)
14
1800.02
1800.31
3709132
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_002_area_delay.opb
SAT (TO)
27
1800.02
1800.31
3709315
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_027_area_delay.opb
SAT (TO)
28
1800.02
1800.31
3709340
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_006_area_delay.opb
SAT (TO)
22
1800.02
1800.31
3709319
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
SAT (TO)
6
1800.02
1800.31
3709129
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
SAT (TO)
3
1800.02
1800.31
3709130
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir04_area_opers.opb
SAT (TO)
30
1800.02
1800.31
3709286
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir07_area_delay.opb
SAT (TO)
23
1800.02
1800.31
3709279
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-count.b.opb
SAT (TO)
28
1800.02
1800.31
3708969
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
SAT (TO)
1175
1800.02
1800.31
3709065
/OPT-SMALLINT-LIN/heinz/
normalized-neos-1616732.opb
SAT (TO)
161
1800.02
1800.31
3709486
/OPT-SMALLINT-LIN/heinz/
normalized-go19.opb
SAT (TO)
96
1800.02
1800.31
3709480
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_14.opb
SAT (TO)
144
1800.02
1800.31
3709162
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
SAT (TO)
1160
1800.02
1800.31
3709071
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
SAT (TO)
28
1800.02
1800.31
3709310
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
SAT (TO)
1166
1800.02
1800.31
3709073
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_016_area_delay.opb
SAT (TO)
27
1800.02
1800.31
3709329
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_16.opb
SAT (TO)
210
1800.02
1800.31
3709164
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-saucier.r.opb
SAT (TO)
7
1800.02
1800.31
3709211
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_10.r.opb
SAT (TO)
13
1800.02
1800.31
3709191
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_15.r.opb
SAT (TO)
25
1800.02
1800.31
3709197
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
SAT (TO)
-46
1800.02
1800.51
3709120
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8e1.opb
SAT (TO)
379
1800.02
1800.31
3708996
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
SAT (TO)
29
1800.02
1800.31
3709305
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
SAT (TO)
39
1800.02
1800.31
3709241
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32d2.opb
SAT (TO)
372
1800.02
1800.31
3708992
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
SAT (TO)
22
1800.02
1800.31
3709239
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C432.opb
SAT (TO)
5669
1800.02
1800.31
3709027
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
SAT (TO)
204
1800.02
1800.31
3709060
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
SAT (TO)
204
1800.02
1800.31
3709050
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir03_area_opers.opb
SAT (TO)
20
1800.03
1800.31
3709285
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir02_area_opers.opb
SAT (TO)
18
1800.03
1800.31
3709284
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb
SAT (TO)
1
1800.03
1800.31
3709234
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_2.opb
SAT (TO)
5
1800.03
1800.31
3709237
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_020_area_delay.opb
SAT (TO)
26
1800.03
1800.31
3709333
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
SAT (TO)
30
1800.03
1800.31
3709308
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir03_area_delay.opb
SAT (TO)
10
1800.03
1800.31
3709275
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_024_area_delay.opb
SAT (TO)
25
1800.03
1800.31
3709337
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_014_area_delay.opb
SAT (TO)
30
1800.03
1800.31
3709327
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_008_area_delay.opb
SAT (TO)
26
1800.03
1800.31
3709321
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_018_area_delay.opb
SAT (TO)
27
1800.03
1800.31
3709331
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_009_area_delay.opb
SAT (TO)
25
1800.03
1800.31
3709322
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cm42a.opb
SAT (TO)
694
1800.03
1800.31
3709031
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
SAT (TO)
-38
1800.03
1800.51
3709106
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_12.opb
SAT (TO)
98
1800.03
1800.31
3709160
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir05_area_opers.opb
SAT (TO)
35
1800.03
1800.31
3709287
/OPT-SMALLINT-LIN/
kullmann/normalized-sbox_4_shg.opb
SAT (TO)
23
1800.03
1800.31
3709508
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
SAT (TO)
34
1800.03
1800.31
3709181
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
SAT (TO)
304
1800.03
1800.31
3709127
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_004_area_delay.opb
SAT (TO)
29
1800.03
1800.31
3709317
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_021_area_delay.opb
SAT (TO)
27
1800.03
1800.31
3709334
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
SAT (TO)
20
1800.03
1800.31
3709049
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
SAT (TO)
-34
1800.03
1800.41
3709102
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b1.opb
SAT (TO)
191
1800.03
1800.31
3708991
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e1.opb
SAT (TO)
162
1800.03
1800.31
3708993
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
SAT (TO)
142
1800.03
1800.31
3708994
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-e64.b.opb
SAT (TO)
58
1800.03
1800.31
3708970
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-f51m.b.opb
SAT (TO)
20
1800.03
1800.31
3708973
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
SAT (TO)
158
1800.03
1800.31
3709038
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
SAT (TO)
64
1800.03
1800.31
3709037
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
SAT (TO)
1567
1800.03
1800.31
3709030
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-c8.opb
SAT (TO)
1302
1800.03
1800.31
3709029
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir05_area_delay.opb
SAT (TO)
14
1800.03
1800.31
3709277
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_003_area_delay.opb
SAT (TO)
27
1800.03
1800.31
3709316
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C880.b.opb
SAT (TO)
74
1800.03
1800.31
3709185
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_13.opb
SAT (TO)
118
1800.03
1800.31
3709161
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod008.opb
SAT (TO)
307
1800.03
1800.31
3708939
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_15.opb
SAT (TO)
187
1800.03
1800.31
3709163
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb
SAT (TO)
270
1800.03
1800.31
3709165
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_11.opb
SAT (TO)
72
1800.03
1800.31
3709159
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_15.r.opb
SAT (TO)
11
1800.03
1800.31
3709192
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb
SAT (TO)
3
1800.03
1800.31
3709235
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir06_area_delay.opb
SAT (TO)
18
1800.03
1800.31
3709278
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_1.opb
SAT (TO)
1
1800.03
1800.31
3709232
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_2.opb
SAT (TO)
2
1800.03
1800.31
3709233
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_3.opb
SAT (TO)
16
1800.03
1800.31
3709240
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
SAT (TO)
206
1800.03
1800.31
3709054
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
SAT (TO)
206
1800.03
1800.31
3709056
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_17.opb
SAT (TO)
271
1800.03
1800.31
3709148
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_11.opb
SAT (TO)
74
1800.03
1800.31
3709142
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb
SAT (TO)
207
1800.03
1800.31
3709055
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
SAT (TO)
211
1800.03
1800.31
3709057
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
SAT (TO)
153
1800.03
1800.31
3709145
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_12.opb
SAT (TO)
95
1800.03
1800.31
3709143
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
SAT (TO)
-28
1800.03
1800.31
3708954
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_13.opb
SAT (TO)
120
1800.03
1800.31
3709144
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
SAT (TO)
1523
1800.03
1800.31
3708942
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-cracpb1.opb
SAT (TO)
26372
1800.03
1800.31
3708934
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos1.opb
SAT (TO)
28
1800.03
1800.31
3708957
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos5.opb
SAT (TO)
16634
1800.03
1800.31
3708961
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos16.opb
SAT (TO)
114
1800.03
1800.31
3708959
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.08.opb
SAT (TO)
34
1800.03
1800.31
3709182
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb
SAT (TO)
-42
1800.03
1800.51
3709111
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_017_area_delay.opb
SAT (TO)
29
1800.03
1800.31
3709330
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_015_area_delay.opb
SAT (TO)
28
1800.03
1800.31
3709328
normalized-PB07/OPT-SMALLINT-LIN/
submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
SAT (TO)
24890
1800.03
1800.31
3709313
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
SAT (TO)
-44
1800.03
1800.51
3709116
/OPT-SMALLINT-LIN/
kullmann/normalized-mul_8_3_shg.opb
SAT (TO)
188
1800.04
1800.41
3709506
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
SAT (TO)
9520
1800.04
1800.41
3709084
/OPT-SMALLINT-LIN/
kullmann/normalized-mul_8_9_shg.opb
SAT (TO)
212
1800.04
1800.41
3709507
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_019_area_delay.opb
SAT (TO)
26
1800.04
1800.31
3709332
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
SAT (TO)
-31
1800.05
1800.41
3709099
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
SAT (TO)
-30
1800.05
1800.41
3709100
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
SAT (TO)
-38
1800.05
1800.51
3709109
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb
SAT (TO)
-30
1800.06
1800.41
3709101
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
SAT (TO)
9461
1800.06
1800.51
3709089
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
SAT (TO)
9976
1800.06
1800.51
3709090
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
SAT (TO)
9218
1800.06
1800.51
3709082
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-alu4.b.opb
SAT (TO)
56
1800.06
1800.41
3708965
/OPT-SMALLINT-LIN/heinz/
normalized-neos-777800.opb
SAT (TO)
-80
1800.06
1800.41
3709490
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb
SAT (TO)
-49
1800.06
1800.51
3709122
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb
SAT (TO)
208
1800.06
1800.41
3709064
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
SAT (TO)
207
1800.06
1800.41
3709051
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
SAT (TO)
-28
1800.06
1800.41
3709096
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-manna81.opb
SAT (TO)
-11688
1800.07
1800.41
3708949
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
SAT (TO)
-44
1800.07
1800.51
3709115
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
SAT (TO)
140
1800.07
1800.41
3709139
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
SAT (TO)
1172
1800.07
1800.41
3709077
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
SAT (TO)
-27
1800.07
1800.41
3709095
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb
SAT (TO)
-48
1800.07
1800.51
3709123
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
SAT (TO)
-48
1800.07
1800.51
3709124
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
SAT (TO)
1166
1800.07
1800.41
3709070
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
SAT (TO)
60
1800.08
1800.41
3709136
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
SAT (TO)
1166
1800.08
1800.41
3709072
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-bench1.pi.opb
SAT (TO)
173
1800.08
1800.41
3708967
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
SAT (TO)
-44
1800.08
1800.51
3709117
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
SAT (TO)
-42
1800.08
1800.51
3709110
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
SAT (TO)
130
1800.08
1800.41
3709138
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
SAT (TO)
9745
1800.08
1800.51
3709083
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
SAT (TO)
-41
1800.08
1800.51
3709113
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
SAT (TO)
9697
1800.08
1800.51
3709094
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb
SAT (TO)
9614
1800.08
1800.51
3709086
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb
SAT (TO)
-27
1800.08
1800.41
3709097
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
SAT (TO)
-27
1800.08
1800.41
3709098
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
SAT (TO)
61
1800.08
1800.41
3709135
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
SAT (TO)
2854
1800.08
1800.41
3709043
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
SAT (TO)
-34
1800.08
1800.51
3709104
/OPT-SMALLINT-LIN/heinz/
normalized-methanosarcina.opb
SAT (TO)
3072
1800.09
1800.41
3709482
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
SAT (TO)
9507
1800.09
1800.51
3709081
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb
SAT (TO)
9725
1800.09
1800.51
3709088
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
SAT (TO)
10035
1800.09
1800.51
3709087
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
SAT (TO)
9424
1800.09
1800.51
3709092
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
SAT (TO)
-47
1800.09
1800.51
3709119
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-mitre.opb
SAT (TO)
8933
1800.09
1800.41
3708956
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb
SAT (TO)
1176
1800.09
1800.41
3709069
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
SAT (TO)
249
1800.09
1800.41
3709140
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
SAT (TO)
-42
1800.09
1800.51
3709112
/OPT-SMALLINT-LIN/heinz/
normalized-queens-30.opb
SAT (TO)
-38
1800.09
1800.41
3709502
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
SAT (TO)
9934
1800.09
1800.51
3709080
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
SAT (TO)
9431
1800.09
1800.51
3709085
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.b.opb
SAT (TO)
78
1800.09
1800.41
3709184
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_026_area_delay.opb
SAT (TO)
31
1800.1
1800.41
3709339
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir04_area_delay.opb
SAT (TO)
12
1800.1
1800.41
3709276
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
SAT (TO)
9426
1800.1
1800.51
3709093
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex6.b.opb
SAT (TO)
159
1800.1
1800.41
3709186
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
SAT (TO)
334
1800.1
1800.41
3709035
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-jac3.opb
SAT (TO)
20
1800.1
1800.41
3708974
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
SAT (TO)
19
1800.1
1800.41
3709134
/OPT-SMALLINT-LIN/heinz/
normalized-neos-544324.opb
SAT (TO)
18
1800.1
1800.41
3709488
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
SAT (TO)
-34
1800.1
1800.51
3709103
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-rot.b.opb
SAT (TO)
140
1800.1
1800.41
3708977
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir09_area_delay.opb
SAT (TO)
21
1800.1
1800.41
3709281
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_18.opb
SAT (TO)
322
1800.11
1800.41
3709166
/OPT-SMALLINT-LIN/heinz/
normalized-iis-pima-cov.opb
SAT (TO)
71
1800.11
1800.41
3709481
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-ex5.pi.opb
SAT (TO)
99
1800.11
1800.41
3708971
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.a.opb
SAT (TO)
72
1800.11
1800.41
3709183
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
SAT (TO)
1161
1800.11
1800.41
3709066
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-prom2.r.opb
SAT (TO)
428
1800.11
1800.41
3709208
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
SAT (TO)
1166
1800.11
1800.41
3709068
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
SAT (TO)
207
1800.11
1800.41
3709061
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb
SAT (TO)
1171
1800.11
1800.41
3709079
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-seymour.opb
SAT (TO)
483
1800.11
1800.41
3708955
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
SAT (TO)
-42
1800.11
1800.51
3709114
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-my_adder.opb
SAT (TO)
5331
1800.11
1800.41
3709034
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
SAT (TO)
45835
1800.11
1800.41
3709042
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-exam.pi.opb
SAT (TO)
117
1800.11
1800.41
3708972
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
SAT (TO)
-38
1800.11
1800.51
3709108
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
SAT (TO)
1164
1800.11
1800.41
3709078
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
SAT (TO)
58
1800.11
1800.41
3709044
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
SAT (TO)
92
1800.11
1800.41
3709137
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
SAT (TO)
179
1800.11
1800.41
3708979
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
SAT (TO)
2655
1800.11
1800.41
3709128
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
SAT (TO)
1164
1800.11
1800.41
3709067
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
SAT (TO)
828
1800.11
1800.41
3709126
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
SAT (TO)
3788
1800.11
1800.41
3708937
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb
SAT (TO)
1171
1800.11
1800.41
3709075
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb
SAT (TO)
1170
1800.11
1800.41
3709076
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
SAT (TO)
77636
1800.11
1800.41
3709039
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-des.a.opb
SAT (TO)
1034
1800.11
1800.41
3709187
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-m4.r.opb
SAT (TO)
111
1800.11
1800.41
3709201
/OPT-SMALLINT-LIN/heinz/
normalized-p6b.opb
SAT (TO)
-55
1800.11
1800.41
3709500
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-lin.rom.r.opb
SAT (TO)
172
1800.11
1800.41
3709190
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-max1024.r.opb
SAT (TO)
291
1800.11
1800.41
3709206
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_15.opb
SAT (TO)
182
1800.11
1800.41
3709146
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_022_area_delay.opb
SAT (TO)
29
1800.11
1800.41
3709335
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
SAT (TO)
-34
1800.11
1800.51
3709105
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
SAT (TO)
29
1800.11
1800.41
3709307
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-test1.r.opb
SAT (TO)
161
1800.11
1800.41
3709212
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a4.opb
SAT (TO)
294
1800.12
1800.41
3708995
/OPT-SMALLINT-LIN/heinz/
normalized-neos-1109824.opb
SAT (TO)
474
1800.12
1800.41
3709484
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
SAT (TO)
34
1800.12
1800.4
3709314
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16c1.opb
SAT (TO)
1356
1800.12
1800.41
3708990
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_030_area_delay.opb
SAT (TO)
28
1800.12
1800.41
3709343
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
SAT (TO)
-38
1800.12
1800.51
3709107
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
SAT (TO)
7
1800.12
1800.41
3709238
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
SAT (TO)
25
1800.12
1800.41
3709304
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
SAT (TO)
5
1800.12
1800.41
3709236
Solver timed out (no solution given) (141 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX120_K67_cod1.opb
? (TO)
1800
1800.31
3709521
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir08_area_partials.opb
? (TO)
1800
1800.31
3709299
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb
? (TO)
1800
1800.31
3708948
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
? (TO)
1800
1800.31
3709179
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_005_area_delay.opb
? (TO)
1800
1800.31
3709318
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX120_K67_cod1.opb
? (TO)
1800
1800.31
3709524
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_0null10mast_rapportOE1.0_TMAX60_K192_cod2.opb
? (TO)
1800
1800.31
3709557
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX180_K67_cod2.opb
? (TO)
1800
1800.31
3709537
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_10null10mast_rapportOE1.0_TMAX120_K67_cod2.opb
? (TO)
1800
1800.31
3709511
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null10mast_rapportOE2.0_TMAX180_K192_cod2.opb
? (TO)
1800
1800.31
3709545
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.14.opb
? (TO)
1800
1800.31
3709180
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_007_area_delay.opb
? (TO)
1800
1800.31
3709320
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir08_area_delay.opb
? (TO)
1800.01
1800.31
3709280
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null0mast_rapportOE2.0_TMAX60_K67_cod1.opb
? (TO)
1800.01
1800.31
3709523
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_50null50mast_rapportOE1.0_TMAX300_K67_cod1.opb
? (TO)
1800.01
1800.31
3709533
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.02.opb
? (TO)
1800.01
1800.31
3709175
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_028_area_delay.opb
? (TO)
1800.01
1800.31
3709341
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_013_area_delay.opb
? (TO)
1800.01
1800.31
3709326
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_3.opb
? (TO)
1800.01
1800.31
3709225
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null20mast_rapportOE1.0_TMAX15_K192_cod2.opb
? (TO)
1800.01
1800.31
3709567
/OPT-SMALLINT-LIN/heinz/
normalized-pb-simp-nonunif.opb
? (TO)
1800.01
1800.31
3709501
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_025_area_delay.opb
? (TO)
1800.01
1800.31
3709338
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir09_area_opers.opb
? (TO)
1800.01
1800.31
3709291
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir07_area_opers.opb
? (TO)
1800.01
1800.31
3709289
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
? (TO)
1800.01
1800.31
3709176
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.10.opb
? (TO)
1800.01
1800.32
3709177
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir10_area_delay.opb
? (TO)
1800.01
1800.31
3709282
/OPT-SMALLINT-LIN/flexray/
normalized-fx63.opb
? (TO)
1800.02
1800.31
3709374
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-1.opb
? (TO)
1800.02
1800.31
3709005
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-l152lav.opb
? (TO)
1800.02
1800.31
3708936
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_20.opb
? (TO)
1800.02
1800.31
3709151
/OPT-SMALLINT-LIN/heinz/
normalized-f2000.opb
? (TO)
1800.02
1800.31
3709479
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
? (TO)
1800.02
1800.41
3709125
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_4.opb
? (TO)
1800.02
1800.31
3709219
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_19.opb
? (TO)
1800.02
1800.31
3709167
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_012_area_delay.opb
? (TO)
1800.02
1800.31
3709325
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_20.opb
? (TO)
1800.02
1800.31
3709168
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir06_area_opers.opb
? (TO)
1800.02
1800.31
3709288
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.11.opb
? (TO)
1800.02
1800.31
3709178
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir08_area_opers.opb
? (TO)
1800.02
1800.31
3709290
/OPT-SMALLINT-LIN/
heinz/normalized-ns894788.opb
? (TO)
1800.03
1800.31
3709499
/OPT-SMALLINT-LIN/heinz/
normalized-mspp16.opb
? (TO)
33
1800.03
1800.41
3709483
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_2.opb
? (TO)
1800.03
1800.31
3709227
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_2.opb
? (TO)
1800.03
1800.31
3709224
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_1.opb
? (TO)
1800.03
1800.31
3709217
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_1.opb
? (TO)
1800.03
1800.31
3709223
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_4.opb
? (TO)
1800.03
1800.31
3709222
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_3.opb
? (TO)
1800.03
1800.31
3709221
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_3.opb
? (TO)
1800.03
1800.31
3709228
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod010.opb
? (TO)
1800.03
1800.31
3708940
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_18.opb
? (TO)
1800.03
1800.31
3709149
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_1.opb
? (TO)
1800.03
1800.31
3709220
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-5.opb
? (TO)
1800.03
1800.31
3709007
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-3.opb
? (TO)
1800.03
1800.31
3709006
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_4.opb
? (TO)
1800.03
1800.31
3709226
/OPT-SMALLINT-LIN/heinz/
normalized-neos-807456.opb
? (TO)
1800.03
1800.31
3709492
/OPT-SMALLINT-LIN/heinz/
normalized-ex1010-pi.opb
? (TO)
1800.03
1800.41
3709477
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_3.opb
? (TO)
1800.03
1800.31
3709218
/OPT-SMALLINT-LIN/kullmann/
normalized-mul_8_14_shg.opb
? (TO)
1800.04
1800.41
3709505
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null0mast_rapportOE2.0_TMAX120_K67_cod1.opb
? (TO)
1800.05
1800.41
3709517
/OPT-SMALLINT-LIN/
heinz/normalized-datt256.opb
? (TO)
1800.05
1800.41
3709476
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX15_K192_cod2.opb
? (TO)
1800.05
1800.41
3709552
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12018_6.std.opb
? (TO)
1800.06
1800.41
3709455
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
? (TO)
1800.06
1800.41
3709311
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb
? (TO)
1800.06
1800.41
3709547
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb
? (TO)
1800.06
1800.41
3709512
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null50mast_rapportOE1.0_TMAX300_K192_cod2.opb
? (TO)
1800.06
1800.41
3709555
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos19.opb
? (TO)
1800.07
1800.41
3708960
/OPT-SMALLINT-LIN/kullmann/
normalized-mul_8_11_shg.opb
? (TO)
1800.07
1800.41
3709503
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb
? (TO)
1800.07
1800.41
3709528
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX300_K67_cod2.opb
? (TO)
1800.07
1800.41
3709532
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null10mast_rapportOE1.0_TMAX120_K67_cod3.opb
? (TO)
1800.07
1800.41
3709518
/OPT-SMALLINT-LIN/
kullmann/normalized-sbox_8_shg.opb
? (TO)
1800.07
1800.41
3709509
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX120_K67_cod2.opb
? (TO)
1800.07
1800.41
3709519
/OPT-SMALLINT-LIN/oliveras/
j90opt/normalized-j909_4.std.opb
? (TO)
1800.07
1800.41
3709453
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9013_1.std.opb
? (TO)
1800.07
1800.41
3709444
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX180_K67_cod1.opb
? (TO)
1800.08
1800.41
3709530
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX300_K192_cod2.opb
? (TO)
1800.08
1800.41
3709565
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX300_K192_cod2.opb
? (TO)
1800.08
1800.41
3709544
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX120_K67_cod2.opb
? (TO)
1800.08
1800.41
3709514
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null0mast_rapportOE2.0_TMAX180_K192_cod2.opb
? (TO)
1800.08
1800.41
3709562
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb
? (TO)
1800.08
1800.41
3709536
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12051_6.std.opb
? (TO)
1800.08
1800.41
3709466
/OPT-SMALLINT-LIN/kullmann/
normalized-mul_8_13_shg.opb
? (TO)
1800.08
1800.41
3709504
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null0mast_rapportOE1.0_TMAX60_K192_cod2.opb
? (TO)
1800.08
1800.41
3709542
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb
? (TO)
1800.08
1800.41
3709559
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null20mast_rapportOE2.0_TMAX60_K192_cod2.opb
? (TO)
1800.08
1800.41
3709553
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null0mast_rapportOE1.0_TMAX300_K192_cod2.opb
? (TO)
1800.08
1800.41
3709561
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6013_4.std.opb
? (TO)
1800.08
1800.41
3709429
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12038_4.std.opb
? (TO)
1800.08
1800.41
3709460
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9041_1.std.opb
? (TO)
1800.08
1800.41
3709452
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1207_10.std.opb
? (TO)
1800.08
1800.41
3709471
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12053_6.std.opb
? (TO)
1800.09
1800.41
3709467
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_023_area_delay.opb
? (TO)
1800.09
1800.51
3709336
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_10.opb
? (TO)
1800.09
1800.41
3709303
/OPT-SMALLINT-LIN/heinz/
normalized-neos-631710.opb
? (TO)
1800.09
1800.51
3709489
/OPT-SMALLINT-LIN/heinz/
normalized-ns1853823.opb
? (TO)
1800.09
1800.51
3709497
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX15_K192_cod2.opb
? (TO)
1800.09
1800.41
3709543
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE2.0_TMAX15_K67_cod2.opb
? (TO)
1800.09
1800.41
3709513
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX300_K67_cod2.opb
? (TO)
1800.09
1800.41
3709520
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null50mast_rapportOE1.0_TMAX180_K192_cod2.opb
? (TO)
1800.09
1800.41
3709554
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null20mast_rapportOE1.0_TMAX120_K192_cod2.opb
? (TO)
1800.09
1800.41
3709563
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX15_K192_cod2.opb
? (TO)
1800.09
1800.41
3709564
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE1.0_TMAX15_K192_cod2.opb
? (TO)
1800.09
1800.41
3709551
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX120_K192_cod2.opb
? (TO)
1800.09
1800.41
3709540
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null0mast_rapportOE2.0_TMAX300_K192_cod2.opb
? (TO)
1800.09
1800.41
3709549
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null50mast_rapportOE2.0_TMAX120_K192_cod2.opb
? (TO)
1800.09
1800.41
3709556
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX60_K192_cod2.opb
? (TO)
1800.09
1800.41
3709548
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX180_K192_cod2.opb
? (TO)
1800.09
1800.41
3709546
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_50null50mast_rapportOE2.0_TMAX120_K67_cod2.opb
? (TO)
1800.09
1800.41
3709534
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX300_K67_cod2.opb
? (TO)
1800.09
1800.41
3709529
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_0null0mast_rapportOE2.0_TMAX180_K67_cod2.opb
? (TO)
1800.09
1800.41
3709510
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_20null0mast_rapportOE1.0_TMAX60_K67_cod2.opb
? (TO)
1800.09
1800.41
3709527
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12026_4.std.opb
? (TO)
1800.09
1800.41
3709458
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1207_6.std.opb
? (TO)
1800.09
1800.41
3709472
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null20mast_rapportOE2.0_TMAX120_K192_cod2.opb
? (TO)
1800.09
1800.41
3709568
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6029_8.std.opb
? (TO)
1800.09
1800.41
3709434
/OPT-SMALLINT-LIN/oliveras/
j60opt/normalized-j609_6.std.opb
? (TO)
1800.09
1800.41
3709442
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX180_K192_cod2.opb
? (TO)
1800.09
1800.41
3709550
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod2.opb
? (TO)
1800.09
1800.41
3709569
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_fibo_50null50mast_rapportOE2.0_TMAX120_K192_cod2.opb
? (TO)
1800.09
1800.41
3709541
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
? (TO)
1800.09
1800.41
3709302
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_029_area_delay.opb
? (TO)
1800.1
1800.41
3709342
/OPT-SMALLINT-LIN/
heinz/normalized-ns894244.opb
? (TO)
1800.1
1800.41
3709498
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null0mast_rapportOE2.0_TMAX60_K192_cod2.opb
? (TO)
1800.1
1800.41
3709566
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
? (TO)
1800.1
1800.41
3709306
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX60_K67_cod2.opb
? (TO)
1800.1
1800.41
3709535
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_10null20mast_rapportOE2.0_TMAX60_K192_cod2.opb
? (TO)
1800.1
1800.41
3709560
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX60_K67_cod1.opb
? (TO)
1800.1
1800.41
3709522
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX60_K67_cod3.opb
? (TO)
1800.1
1800.41
3709526
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12037_6.std.opb
? (TO)
1800.1
1800.41
3709459
/OPT-SMALLINT-LIN/flexray/
normalized-fx97.opb
? (TO)
1800.1
1800.41
3709378
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir10_area_opers.opb
? (TO)
1800.1
1800.41
3709292
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX15_K192_cod2.opb
? (TO)
1800.1
1800.41
3709558
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_50null0mast_rapportOE1.0_TMAX180_K67_cod2.opb
? (TO)
1800.1
1800.41
3709538
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX60_K67_cod3.opb
? (TO)
1800.1
1800.41
3709531
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_19.opb
? (TO)
1800.11
1800.41
3709150
/OPT-SMALLINT-LIN/flexray/
normalized-fx49.opb
? (TO)
1800.11
1800.41
3709371
/OPT-SMALLINT-LIN/flexray/
normalized-fx75.opb
? (TO)
1800.11
1800.41
3709375
/OPT-SMALLINT-LIN/heinz/
normalized-neos-859770.opb
? (TO)
1800.12
1800.41
3709493
/OPT-SMALLINT-LIN/flexray/
normalized-fx30.opb
? (TO)
1800.12
1800.41
3709370
Category "optimisation, small integers, non linear constraints" (OPT-SMALLINT-NLC)
Solver found optimum (OPTIMUM FOUND) (60 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_10_4_3.opb
OPT
-3
0.001998
0.00631706
3709643
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_10_4_2.opb
OPT
-3
0.001998
0.00631201
3709642
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_10_4_2.opb
OPT
2
0.001998
0.00617308
3709611
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_10_4_1.opb
OPT
2
0.001999
0.00643599
3709610
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_10_4_1.opb
OPT
-3
0.001999
0.00614696
3709641
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_10_4_5.opb
OPT
-4
0.001999
0.00665998
3709644
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_10_4_3.opb
OPT
2
0.001999
0.00649898
3709612
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_10_4_1.opb
OPT
-3
0.002998
0.00649708
3709581
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_10_4_3.opb
OPT
-3
0.002999
0.0061479
3709582
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
roussel/factor-mod-B/factor-mod-size=5-P0=11-P1=2-P2=23-B.opb
OPT
2
0.002999
0.00656692
3709661
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_10_4_5.opb
OPT
2
0.003999
0.00644194
3709613
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_50_25_1.opb
OPT
-6
0.004998
0.00715905
3709658
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_50_25_3.opb
OPT
-6
0.005999
0.00737492
3709659
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=37-P1=43-B.opb
OPT
3
0.006998
0.00775103
3709674
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_25_4.opb
OPT
2
0.012997
0.016598
3709629
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=5-P0=2-P1=23-P2=29-P3=19-B.opb
OPT
2
0.017997
0.0196519
3709664
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
roussel/factor-mod-B/factor-mod-size=6-P0=53-P1=41-P2=53-B.opb
OPT
3
0.026995
0.0285601
3709670
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_50_10_3.opb
OPT
-13
0.029995
0.0309169
3709657
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
roussel/factor-mod-B/factor-mod-size=6-P0=41-P1=53-P2=59-B.opb
OPT
3
0.036993
0.038789
3709668
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=13-P1=5-P2=17-P3=2-P4=29-P5=5-P6=19-P7=17-P8=5-B.opb
OPT
2
0.049991
0.051708
3709662
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=29-P1=11-P2=11-P3=17-P4=29-P5=23-B.opb
OPT
3
0.062989
0.0644559
3709665
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=17-P1=13-P2=11-P3=19-P4=11-P5=23-B.opb
OPT
3
0.090986
0.0933359
3709663
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
roussel/factor-mod-B/factor-mod-size=7-P0=89-P1=17-P2=37-B.opb
OPT
3
0.12498
0.126967
3709679
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=17-P1=53-P2=109-B.opb
OPT
3
0.132978
0.133646
3709673
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=11-P1=13-P2=29-P3=23-P4=5-P5=29-P6=29-P7=31-P8=29-P9=31-B.opb
OPT
3
0.170973
0.172179
3709660
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=43-P1=107-P2=31-P3=113-P4=127-P5=2-P6=79-B.opb
OPT
2
0.170973
0.171751
3709675
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=29-P1=2-P2=59-P3=2-P4=47-P5=53-P6=37-P7=53-P8=53-B.opb
OPT
2
0.272957
0.274434
3709667
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=11-P1=37-P2=59-P3=23-P4=53-P5=31-P6=59-P7=29-P8=2-P9=67-B.opb
OPT
2
0.513921
0.515117
3709666
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_0_errors.opb
OPT
0
0.594909
0.596802
3709690
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=53-P1=17-P2=17-P3=13-P4=17-P5=61-B.opb
OPT
3
0.850869
0.851677
3709669
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=7-P1=29-P2=53-P3=31-P4=23-P5=47-P6=67-B.opb
OPT
3
0.884865
0.889576
3709671
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_10_4.opb
OPT
6
1.82172
1.82421
3709627
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_10_5.opb
OPT
6
1.91371
1.91455
3709628
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_25_1.opb
OPT
-15
3.37249
3.37487
3709640
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=61-P1=127-P2=131-P3=107-P4=47-B.opb
OPT
3
3.55046
3.55235
3709678
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=41-P1=331-P2=37-B.opb
OPT
3
3.68044
3.68131
3709687
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=97-P1=37-P2=107-P3=53-P4=53-B.opb
OPT
3
4.13937
4.14063
3709681
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=89-P1=37-P2=43-P3=47-P4=41-P5=107-P6=127-B.opb
OPT
3
5.20021
5.20207
3709680
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=53-P1=37-P2=29-P3=83-P4=23-P5=67-B.opb
OPT
3
5.53916
5.54012
3709677
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb
OPT
3
7.80381
7.80624
3709672
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_4.opb
OPT
5
10.3834
10.3859
3709608
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=53-P1=109-P2=43-P3=13-P4=17-P5=101-P6=59-P7=7-P8=29-P9=107-B.opb
OPT
3
10.6074
10.6111
3709676
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_3.opb
OPT
5
11.0133
11.0169
3709607
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_2.opb
OPT
5
11.9092
11.9133
3709606
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb
OPT
3
25.7431
25.7479
3709683
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_5.opb
OPT
5
32.2881
32.2969
3709609
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=139-P1=101-P2=227-P3=251-P4=227-P5=251-B.opb
OPT
3
40.6398
40.6508
3709682
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_3.opb
OPT
-7
54.1298
54.1402
3709598
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_2.opb
OPT
-7
58.2901
58.3126
3709597
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_1.opb
OPT
-6
60.4338
60.4445
3709596
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_4.opb
OPT
-7
61.9826
61.9942
3709599
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb
OPT
3
71.2092
71.2261
3709685
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=61-P1=167-P2=157-P3=13-P4=173-P5=47-P6=47-P7=251-P8=79-B.opb
OPT
3
93.8667
93.8907
3709686
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=499-P1=293-P2=223-P3=277-B.opb
OPT
3
107.306
107.327
3709688
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb
OPT
3
151.564
151.598
3709684
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb
OPT
3
534.921
535.017
3709689
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_2.opb
OPT
-26
590.279
590.373
3709637
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_3.opb
OPT
-26
671.417
671.521
3709638
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_1.opb
OPT
-26
844.311
844.443
3709636
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_5.opb
OPT
-25
1090.24
1090.41
3709639
Solver timed out but found at least a solution (64 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_5.opb
SAT (TO)
13
1800.01
1800.31
3709619
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_2.opb
SAT (TO)
-127
1800.01
1800.41
3709631
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_3.opb
SAT (TO)
-113
1800.02
1800.31
3709652
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_1.opb
SAT (TO)
-15
1800.02
1800.31
3709578
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_3.opb
SAT (TO)
-26
1800.02
1800.31
3709577
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_1.opb
SAT (TO)
-26
1800.02
1800.31
3709576
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_2.opb
SAT (TO)
-69
1800.02
1800.31
3709573
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_4.opb
SAT (TO)
12
1800.02
1800.31
3709618
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_2.opb
SAT (TO)
26
1800.02
1800.31
3709614
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_1.opb
SAT (TO)
13
1800.02
1800.31
3709616
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_3.opb
SAT (TO)
-29
1800.02
1800.31
3709648
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_5.opb
SAT (TO)
-14
1800.02
1800.31
3709580
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_5.opb
SAT (TO)
-29
1800.02
1800.31
3709587
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_5.opb
SAT (TO)
-51
1800.02
1800.31
3709646
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_4.opb
SAT (TO)
12
1800.02
1800.31
3709605
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_1.opb
SAT (TO)
-30
1800.02
1800.31
3709647
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_10_errors.opb
SAT (TO)
31
1800.02
1800.31
3709691
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_3.opb
SAT (TO)
-15
1800.02
1800.31
3709579
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_3.opb
SAT (TO)
-69
1800.02
1800.31
3709574
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_1.opb
SAT (TO)
-27
1800.02
1800.31
3709585
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_5.opb
SAT (TO)
-30
1800.03
1800.31
3709649
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_15_errors.opb
SAT (TO)
32
1800.03
1800.31
3709692
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_5_errors.opb
SAT (TO)
30
1800.03
1800.31
3709693
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_1.opb
SAT (TO)
-14
1800.03
1800.31
3709594
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_5.opb
SAT (TO)
25
1800.03
1800.31
3709615
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_2.opb
SAT (TO)
-28
1800.03
1800.31
3709586
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_1.opb
SAT (TO)
-50
1800.03
1800.31
3709645
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_1.opb
SAT (TO)
-50
1800.03
1800.31
3709583
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_4.opb
SAT (TO)
-13
1800.04
1800.51
3709595
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_5.opb
SAT (TO)
-127
1800.05
1800.41
3709633
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_3.opb
SAT (TO)
-38
1800.05
1800.41
3709656
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_1.opb
SAT (TO)
-125
1800.05
1800.41
3709630
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_4.opb
SAT (TO)
43
1800.06
1800.41
3709604
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_4.opb
SAT (TO)
-126
1800.06
1800.41
3709632
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_1.opb
SAT (TO)
-73
1800.06
1800.51
3709634
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_1.opb
SAT (TO)
83
1800.06
1800.41
3709600
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_3.opb
SAT (TO)
43
1800.08
1800.41
3709603
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_2.opb
SAT (TO)
43
1800.08
1800.41
3709602
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_3.opb
SAT (TO)
18
1800.08
1800.41
3709625
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_4.opb
SAT (TO)
40
1800.08
1800.41
3709624
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_5.opb
SAT (TO)
-66
1800.09
1800.41
3709654
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_5.opb
SAT (TO)
84
1800.09
1800.41
3709601
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_1.opb
SAT (TO)
-37
1800.09
1800.41
3709655
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_4.opb
SAT (TO)
18
1800.09
1800.41
3709626
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_4.opb
SAT (TO)
-34
1800.09
1800.41
3709593
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_2.opb
SAT (TO)
40
1800.09
1800.41
3709622
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_4.opb
SAT (TO)
-71
1800.09
1800.51
3709635
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_3.opb
SAT (TO)
39
1800.09
1800.41
3709623
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_1.opb
SAT (TO)
40
1800.09
1800.41
3709621
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_2.opb
SAT (TO)
-112
1800.1
1800.41
3709651
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_2.opb
SAT (TO)
-130
1800.1
1800.41
3709571
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_1.opb
SAT (TO)
-134
1800.1
1800.41
3709570
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_3.opb
SAT (TO)
-67
1800.1
1800.41
3709653
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_2.opb
SAT (TO)
73
1800.1
1800.41
3709620
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_4.opb
SAT (TO)
-49
1800.11
1800.41
3709584
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_3.opb
SAT (TO)
-116
1800.11
1800.41
3709590
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_2.opb
SAT (TO)
-115
1800.11
1800.41
3709589
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_1.opb
SAT (TO)
-115
1800.11
1800.41
3709588
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_4.opb
SAT (TO)
-115
1800.11
1800.41
3709591
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_1.opb
SAT (TO)
-113
1800.11
1800.41
3709650
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_5.opb
SAT (TO)
-116
1800.11
1800.41
3709592
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_4.opb
SAT (TO)
-69
1800.11
1800.41
3709575
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_1.opb
SAT (TO)
-70
1800.11
1800.41
3709572
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_3.opb
SAT (TO)
13
1800.11
1800.41
3709617