PB'06 evaluation: benchmarks results per solver
Result page for solver PB-smodels
1.31
Category "optimisation, small integers" (OPT-SMALLINT)
Solver proved unsatisfiability (UNSATISFIABLE) (34 runs)
[Show/Hide]
Benchmark Name
Answer
Objective function
CPU time
Wall clock time
TraceID
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-diamond.opb
UNSAT
0.031995
0.032512
45512
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=379-Q=521.opb
UNSAT
0.06099
0.0592459
49017
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=397-Q=521.opb
UNSAT
0.06099
0.059864
49124
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=383-Q=521.opb
UNSAT
0.06299
0.107109
49051
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=29-Q=521.opb
UNSAT
0.069988
0.091998
48979
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=23-Q=521.opb
UNSAT
0.071988
0.0710089
49082
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=113-Q=521.opb
UNSAT
0.076988
0.0746001
49134
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa0432-003.opb
UNSAT
0.18697
0.148183
45714
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-bore3d.opb
UNSAT
1.75073
1.24903
45323
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos11.opb
UNSAT
2.48762
1.87606
45229
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-bf1355-638.opb
UNSAT
2.68559
2.43767
45806
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos17.opb
UNSAT
2.77158
2.09149
45248
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-bf1355-075.opb
UNSAT
2.82557
2.56409
45822
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-bandm.opb
UNSAT
3.3165
2.34822
45338
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-e226.opb
UNSAT
4.29035
3.66917
45299
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa6288-047.opb
UNSAT
10.2394
8.9203
45721
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos12.opb
UNSAT
12.3391
9.7409
45232
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-bf0432-007.opb
UNSAT
14.7848
14.6476
45726
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bnl1.opb
UNSAT
20.4119
18.5708
45357
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_4.opb
UNSAT
25.0242
25.0343
51100
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum1.opb
UNSAT
26.144
21.0592
45452
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_1.opb
UNSAT
30.0544
30.0692
51098
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_3.opb
UNSAT
33.8109
33.8264
51090
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-pilot.opb
UNSAT
34.5927
28.169
45356
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_2.opb
UNSAT
36.4505
36.4898
51094
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-atlanta-ip.opb
UNSAT
44.1483
38.5249
45438
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bnl2.opb
UNSAT
59.263
54.2704
45371
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-pilot87.opb
UNSAT
61.5076
51.1496
45306
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa2670-130.opb
UNSAT
88.1636
88.0595
45795
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum2.opb
UNSAT
88.8625
61.3806
45428
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-czprob.opb
UNSAT
197.892
195.952
45326
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa2670-141.opb
UNSAT
337.926
337.942
45809
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-80bau3b.opb
UNSAT
826.408
820.233
45366
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-bf2670-001.opb
UNSAT
1151.66
1152.02
45756
Solver found optimum (OPTIMUM FOUND) (347 runs)
[Show/Hide]
Benchmark Name
Answer
Objective function
CPU time
Wall clock time
TraceID
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein9.opb
OPT
5
0.029995
0.0509999
45515
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g4x4.opb
OPT
4
0.034993
0.039116
45868
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g2x2.opb
OPT
2
0.034994
0.0356279
45865
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C17.opb
OPT
260
0.034994
0.0396549
45675
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-nazareth.opb
OPT
-174776
0.038993
0.040777
45289
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein15.opb
OPT
9
0.040993
0.0415129
45517
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-b1.opb
OPT
128
0.041993
0.041026
45667
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_4.opb
OPT
6
0.044992
0.0496321
51126
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb
OPT
6
0.046991
0.0540139
46663
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb
OPT
3089
0.046991
0.0516209
45516
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g9x3.opb
OPT
7
0.047992
0.145692
45870
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb
OPT
50
0.050991
0.052133
45720
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-2_0-yes1-3.opb
OPT
50
0.051991
0.053522
45779
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=179-Q=509.opb
OPT
179
0.05299
0.0559989
49107
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb
OPT
50
0.052991
0.0526421
45776
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=127-Q=499.opb
OPT
127
0.052991
0.0562581
49042
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-3_4-yes1-4.opb
OPT
50
0.052991
0.0597631
45747
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bbara.r.opb
OPT
7
0.053991
0.0559989
51055
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=61-Q=419.opb
OPT
61
0.053991
0.0588739
49022
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=509.opb
OPT
149
0.053991
0.058269
49153
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=499.opb
OPT
223
0.05499
0.0576
49085
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=431-Q=503.opb
OPT
431
0.054991
0.055996
49073
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb
OPT
50
0.054991
0.0563701
45839
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=59-Q=337.opb
OPT
59
0.054991
0.057627
49058
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=5-Q=317.opb
OPT
5
0.05599
0.0611009
49031
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=439-Q=509.opb
OPT
439
0.05599
0.0540029
49077
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=107-Q=503.opb
OPT
107
0.05599
0.0622609
49101
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb
OPT
50
0.05599
0.074845
45716
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=11-Q=283.opb
OPT
11
0.05599
0.134463
48992
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=383-Q=509.opb
OPT
383
0.055991
0.0550631
49162
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=487-Q=503.opb
OPT
487
0.055991
0.057736
49052
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb
OPT
50
0.055991
0.055739
45732
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=7-Q=179.opb
OPT
7
0.055991
0.057135
49050
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=281-Q=499.opb
OPT
281
0.05699
0.0584789
48984
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=17-Q=347.opb
OPT
17
0.05699
0.0540029
49005
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=113-Q=233.opb
OPT
113
0.05699
0.0602441
49023
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=17-Q=457.opb
OPT
17
0.056991
0.056138
49035
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-1_6-yes1-4.opb
OPT
50
0.056991
0.0544789
45770
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb
OPT
50
0.056991
0.057278
45810
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb
OPT
50
0.05799
0.0581339
45767
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=37-Q=443.opb
OPT
37
0.05799
0.0589731
49047
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=409.opb
OPT
149
0.05799
0.062117
48998
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=257-Q=503.opb
OPT
257
0.05799
0.0570081
49009
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=17-Q=487.opb
OPT
17
0.05799
0.0576171
49016
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=101-Q=457.opb
OPT
101
0.057991
0.0588789
49048
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=191-Q=509.opb
OPT
191
0.05899
0.0595139
48985
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=409-Q=499.opb
OPT
409
0.05899
0.061233
49004
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=47-Q=487.opb
OPT
47
0.05899
0.06347
49100
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=353-Q=479.opb
OPT
353
0.05899
0.0599989
49136
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=479.opb
OPT
331
0.05899
0.063976
49068
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=239-Q=487.opb
OPT
239
0.059989
0.0589699
49011
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=7-Q=31.opb
OPT
1
0.059989
0.0590191
49151
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=421-Q=487.opb
OPT
421
0.05999
0.055771
49033
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=487.opb
OPT
149
0.05999
0.05786
49037
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=443-Q=487.opb
OPT
443
0.05999
0.083945
49041
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=59-Q=307.opb
OPT
59
0.05999
0.0581221
49060
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=263.opb
OPT
89
0.05999
0.059001
49096
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=307-Q=431.opb
OPT
307
0.05999
0.0596351
49109
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=59-Q=431.opb
OPT
59
0.060989
0.114092
48981
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=97-Q=509.opb
OPT
97
0.060989
0.144189
49071
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=127-Q=491.opb
OPT
127
0.060989
0.082744
49065
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=431.opb
OPT
89
0.06099
0.063113
49084
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=29-Q=409.opb
OPT
29
0.06099
0.057883
49097
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=317.opb
OPT
89
0.06099
0.0596381
49137
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=59-Q=419.opb
OPT
59
0.06099
0.0633641
49147
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=31-Q=439.opb
OPT
31
0.061989
0.062628
49018
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=29-Q=163.opb
OPT
29
0.061989
0.0643521
49094
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=397-Q=449.opb
OPT
397
0.061989
0.061265
49145
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb
OPT
50
0.061989
0.057517
45812
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=127-Q=487.opb
OPT
127
0.061989
0.057754
49079
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=47-Q=421.opb
OPT
47
0.06199
0.0628831
49095
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=47-Q=71.opb
OPT
47
0.06199
0.060751
49074
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=389-Q=433.opb
OPT
389
0.06199
0.0650009
48989
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=449-Q=479.opb
OPT
449
0.06199
0.062772
49024
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=347.opb
OPT
89
0.06199
0.0606239
49135
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=41-Q=347.opb
OPT
41
0.06199
0.071369
49029
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=127-Q=137.opb
OPT
127
0.06199
0.0836071
48975
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=73-Q=449.opb
OPT
73
0.06199
0.060383
49158
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=71-Q=491.opb
OPT
71
0.06199
0.0575119
49154
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=257-Q=449.opb
OPT
257
0.062989
0.0629869
49007
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=29-Q=479.opb
OPT
29
0.062989
0.0600089
49104
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=487-Q=499.opb
OPT
487
0.062989
0.060638
49021
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=347-Q=431.opb
OPT
347
0.062989
0.0631231
49038
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=83-Q=367.opb
OPT
83
0.062989
0.055142
49036
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=11-Q=53.opb
OPT
11
0.062989
0.058506
49140
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=113-Q=479.opb
OPT
113
0.062989
0.059502
49156
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=79-Q=137.opb
OPT
79
0.06299
0.0603721
49086
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=409-Q=509.opb
OPT
409
0.06299
0.139701
48976
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=71-Q=461.opb
OPT
71
0.06299
0.0626249
49113
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=29-Q=277.opb
OPT
29
0.063989
0.076385
49010
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=293-Q=307.opb
OPT
293
0.063989
0.0657319
49115
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=191-Q=449.opb
OPT
191
0.063989
0.060014
49122
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=71-Q=409.opb
OPT
71
0.063989
0.063386
49083
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=13-Q=179.opb
OPT
13
0.06399
0.061759
49132
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=313-Q=503.opb
OPT
313
0.06399
0.0637521
49110
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=389.opb
OPT
331
0.064989
0.0644951
49125
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=79-Q=331.opb
OPT
79
0.064989
0.063498
49019
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=37-Q=107.opb
OPT
37
0.064989
0.061755
49105
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=347-Q=487.opb
OPT
347
0.064989
0.0591311
49118
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb
OPT
50
0.064989
0.063887
45722
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=197-Q=479.opb
OPT
197
0.065989
0.062637
49146
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=307-Q=449.opb
OPT
307
0.065989
0.070245
49130
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-6_0-yes1-4.opb
OPT
50
0.065989
0.0660101
45729
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=61-Q=307.opb
OPT
61
0.065989
0.0683711
49027
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=263-Q=367.opb
OPT
263
0.065989
0.0839731
49069
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=167.opb
OPT
149
0.065989
0.0651141
49078
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=83-Q=197.opb
OPT
83
0.066988
0.067092
49032
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=101-Q=379.opb
OPT
101
0.066988
0.0640161
49063
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=211.opb
OPT
89
0.066989
0.065744
49034
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb
OPT
68
0.066989
0.0638611
45786
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=283-Q=293.opb
OPT
283
0.066989
0.0713569
49015
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=431.opb
OPT
223
0.066989
0.060502
49056
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=131-Q=163.opb
OPT
131
0.066989
0.0668349
49144
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=347.opb
OPT
331
0.066989
0.0674881
49150
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=7-Q=223.opb
OPT
7
0.066989
0.061872
49062
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=79-Q=173.opb
OPT
79
0.067988
0.0708631
49025
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=379-Q=431.opb
OPT
379
0.067988
0.068608
49133
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=281-Q=331.opb
OPT
281
0.067988
0.0640159
49057
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=229-Q=307.opb
OPT
229
0.067989
0.065985
49070
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-misc02.opb
OPT
262571
0.067989
0.0708609
45393
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=29-Q=71.opb
OPT
29
0.067989
0.167571
48983
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb
OPT
50
0.067989
0.159687
45783
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb
OPT
67
0.068988
0.066261
45765
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=43-Q=227.opb
OPT
43
0.068988
0.0671051
49091
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=53-Q=127.opb
OPT
53
0.068988
0.073256
49131
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=97-Q=479.opb
OPT
97
0.068988
0.0733759
49141
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=367-Q=389.opb
OPT
367
0.068988
0.065853
49160
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=83-Q=89.opb
OPT
83
0.068989
0.065623
49076
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=23-Q=293.opb
OPT
23
0.068989
0.070984
48978
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=293.opb
OPT
89
0.068989
0.061869
49002
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=347-Q=419.opb
OPT
347
0.069988
0.069755
49126
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb
OPT
50
0.069988
0.065265
45727
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=101-Q=409.opb
OPT
101
0.069988
0.0697389
49164
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=293.opb
OPT
149
0.069988
0.0695929
48986
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=383.opb
OPT
223
0.069988
0.0681351
48996
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=331.opb
OPT
331
0.069988
0.069616
49039
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=83-Q=271.opb
OPT
83
0.069988
0.0746241
49093
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=347-Q=421.opb
OPT
347
0.069988
0.070225
49090
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=53-Q=97.opb
OPT
53
0.069988
0.067741
49103
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=127-Q=149.opb
OPT
127
0.069988
0.0708829
49114
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=67-Q=223.opb
OPT
67
0.069988
0.0658719
49121
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=347-Q=379.opb
OPT
347
0.069988
0.174938
48974
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=131-Q=277.opb
OPT
131
0.069988
0.0713871
49108
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=157-Q=163.opb
OPT
157
0.069988
0.0688659
49088
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=101-Q=223.opb
OPT
101
0.069988
0.0678851
48988
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb
OPT
75
0.069988
0.067735
45864
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb
OPT
64
0.069989
0.0646
45761
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=359-Q=379.opb
OPT
359
0.069989
0.0719569
49030
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=173-Q=191.opb
OPT
173
0.069989
0.0686281
49001
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=191-Q=251.opb
OPT
191
0.069989
0.074849
48999
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=59-Q=131.opb
OPT
59
0.069989
0.0668799
49117
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=151-Q=167.opb
OPT
151
0.069989
0.072257
49127
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=269-Q=359.opb
OPT
269
0.069989
0.0666321
49106
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=29-Q=331.opb
OPT
29
0.070988
0.0659931
49143
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=251-Q=331.opb
OPT
251
0.070988
0.0688411
48997
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=379.opb
OPT
223
0.070988
0.072991
49163
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=127-Q=389.opb
OPT
127
0.070988
0.070495
49003
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=269-Q=433.opb
OPT
269
0.070988
0.0663969
49012
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=109-Q=419.opb
OPT
109
0.070988
0.075393
49044
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=307-Q=307.opb
OPT
307
0.070988
0.0691139
49046
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=47-Q=197.opb
OPT
47
0.070988
0.0704941
49045
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=167-Q=173.opb
OPT
167
0.070988
0.0676361
49066
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=251-Q=379.opb
OPT
251
0.070988
0.0712489
49099
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=23-Q=379.opb
OPT
23
0.070988
0.087499
49080
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=251-Q=277.opb
OPT
251
0.070988
0.081744
48991
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=163.opb
OPT
149
0.070989
0.0878711
48977
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=157-Q=181.opb
OPT
157
0.071988
0.064977
49075
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb
OPT
50
0.071988
0.066637
45845
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=227-Q=383.opb
OPT
227
0.071988
0.0727401
49006
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=173-Q=173.opb
OPT
173
0.071988
0.0675011
49102
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=269-Q=431.opb
OPT
269
0.071988
0.0697501
49123
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=307-Q=367.opb
OPT
307
0.071988
0.117348
48982
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=53-Q=151.opb
OPT
53
0.072987
0.0700019
49040
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=307.opb
OPT
223
0.072988
0.0828639
49089
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=173-Q=211.opb
OPT
173
0.072988
0.078463
49061
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=347-Q=439.opb
OPT
347
0.072988
0.0746321
48994
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=53-Q=191.opb
OPT
53
0.072988
0.0717099
48990
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=167-Q=179.opb
OPT
167
0.072988
0.07188
49128
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=257-Q=331.opb
OPT
257
0.072988
0.0704771
49043
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=131-Q=157.opb
OPT
131
0.073987
0.0896301
49138
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=131-Q=137.opb
OPT
131
0.073988
0.065226
49059
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=307-Q=317.opb
OPT
307
0.073988
0.06724
49087
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=139-Q=191.opb
OPT
139
0.073988
0.069369
49149
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=109-Q=373.opb
OPT
109
0.073988
0.07924
49155
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=67-Q=191.opb
OPT
67
0.073988
0.069852
49054
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=211-Q=347.opb
OPT
211
0.074987
0.0704901
48993
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=263-Q=307.opb
OPT
263
0.074987
0.0760181
49028
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=251.opb
OPT
149
0.074987
0.0736139
49129
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=307-Q=331.opb
OPT
307
0.074988
0.0724961
48987
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=307-Q=347.opb
OPT
307
0.074988
0.073008
49026
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=127-Q=211.opb
OPT
127
0.074988
0.0741191
49142
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=167-Q=347.opb
OPT
167
0.074988
0.0771521
49152
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=157-Q=373.opb
OPT
157
0.074988
0.073973
49161
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=271.opb
OPT
149
0.075987
0.07087
49064
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=61-Q=163.opb
OPT
61
0.075987
0.071083
49081
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=97-Q=457.opb
OPT
97
0.075987
0.0739829
49120
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb
OPT
75
0.075988
0.069379
45804
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=211-Q=479.opb
OPT
211
0.075988
0.0710079
49008
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=79-Q=257.opb
OPT
79
0.075988
0.0723679
49013
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=379-Q=397.opb
OPT
379
0.076987
0.068989
49049
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=263.opb
OPT
223
0.076987
0.0758671
49067
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=487.opb
OPT
89
0.076988
0.0759739
49092
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=239-Q=373.opb
OPT
239
0.076988
0.087983
49111
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=83-Q=449.opb
OPT
83
0.077987
0.0769721
49020
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=229-Q=239.opb
OPT
229
0.077987
0.0971041
48973
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=251-Q=419.opb
OPT
251
0.077987
0.0737191
49159
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=421-Q=449.opb
OPT
421
0.078987
0.07463
49157
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=421.opb
OPT
223
0.079986
0.078625
49053
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb
OPT
100
0.079987
0.0745989
45712
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=317-Q=389.opb
OPT
317
0.079987
0.0772549
49139
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=359.opb
OPT
331
0.079987
0.0717561
49112
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=191-Q=389.opb
OPT
191
0.080986
0.0987069
49055
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=113-Q=331.opb
OPT
113
0.080987
0.0818779
49000
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=127-Q=359.opb
OPT
127
0.080987
0.077749
49098
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=397.opb
OPT
149
0.081986
0.0797229
49072
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=233-Q=347.opb
OPT
233
0.083986
0.112224
49116
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb
OPT
11
0.083987
0.0731131
46654
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=251-Q=307.opb
OPT
251
0.084986
0.08125
48995
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=107-Q=373.opb
OPT
107
0.084986
0.0827409
49148
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=379.opb
OPT
331
0.084986
0.134346
48980
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=97-Q=331.opb
OPT
97
0.084986
0.078243
49119
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex5inp.r.opb
OPT
4
0.084986
0.0862359
51080
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb
OPT
100
0.086985
0.0796039
45730
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=347.opb
OPT
223
0.087985
0.0827529
49014
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb
OPT
100
0.088986
0.0832589
45771
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb
OPT
100
0.089985
0.078606
45778
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb
OPT
100
0.097984
0.087951
45835
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_5.opb
OPT
11
0.097984
0.0826119
51134
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb
OPT
100
0.105983
0.0952781
45723
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb
OPT
100
0.106982
0.0993679
45807
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb
OPT
100
0.110982
0.08973
45763
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_40_40.r.opb
OPT
2
0.113982
0.0987239
51058
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_70_70.r.opb
OPT
2
0.114982
0.235109
51029
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_90_90.r.opb
OPT
2
0.12598
0.139947
51070
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb
OPT
200
0.139978
0.122817
45733
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh213.opb
OPT
92
0.143978
0.118721
45830
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh207.opb
OPT
95
0.151976
0.123848
45769
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh205.opb
OPT
94
0.152975
0.146338
45784
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh12.opb
OPT
94
0.153976
0.124848
45789
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh17.opb
OPT
95
0.162974
0.137958
45849
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh7.opb
OPT
89
0.162974
0.138415
45837
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh212.opb
OPT
97
0.165974
0.13682
45848
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh218.opb
OPT
90
0.176972
0.14157
45855
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh209.opb
OPT
93
0.178971
0.149315
45774
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-opus.r.opb
OPT
5
0.179971
0.178587
51033
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb
OPT
200
0.180971
0.171667
45794
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-misc01.opb
OPT
262288
0.181972
0.177193
45409
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh220.opb
OPT
94
0.183971
0.157294
45825
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh204.opb
OPT
93
0.185971
0.15821
45863
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh301.opb
OPT
95
0.186971
0.150453
45755
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb
OPT
200
0.196969
0.180062
45725
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb
OPT
100
0.197969
0.189902
45743
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-enigma.opb
OPT
0
0.199968
0.203882
45387
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-2.opb
OPT
350
0.199969
0.163679
45846
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-1.opb
OPT
350
0.200969
0.172541
45738
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-4.opb
OPT
350
0.200969
0.16492
45840
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-5.opb
OPT
350
0.203968
0.166026
45750
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-3.opb
OPT
350
0.203968
0.165947
45735
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb
OPT
200
0.207968
0.187818
45829
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb
OPT
200
0.208967
0.167681
45850
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb
OPT
200
0.210966
0.169952
45717
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-mas76.opb
OPT
1
0.210967
0.193173
45461
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_90_90.r.opb
OPT
2
0.211967
0.178785
51040
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a1.opb
OPT
54
0.215966
0.210919
45791
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb
OPT
200
0.218966
0.196063
45803
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-mas74.opb
OPT
1
0.219965
0.20005
45459
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb
OPT
200
0.228964
0.201295
45753
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh1.opb
OPT
92
0.234963
0.208326
45745
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein27.opb
OPT
18
0.294954
0.289239
45514
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh210.opb
OPT
88
0.302953
0.275132
45757
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_30_30.r.opb
OPT
3
0.309952
0.302719
51047
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb
OPT
100
0.350945
0.343705
45788
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb
OPT
100
0.379942
0.377667
45751
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_6.opb
OPT
17
0.403937
0.422893
51138
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb
OPT
34
0.457929
0.460026
45513
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb
OPT
17
0.484925
0.454893
46653
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb
OPT
100
0.516921
0.50786
45781
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0291.opb
OPT
7985
0.539917
0.536333
45410
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh217.opb
OPT
89
0.559914
0.528722
45782
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb
OPT
36
0.569912
0.545083
45688
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex6inp.r.opb
OPT
4
0.612906
0.611872
51046
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_50_50.r.opb
OPT
3
0.617906
0.666009
51032
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb
OPT
36
0.688895
0.684624
45687
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-testprob.opb
OPT
262130
0.842871
0.840654
45288
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb
OPT
36
0.922859
0.905358
45680
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb
OPT
34
0.941856
0.925718
45689
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb
OPT
36
1.07783
1.06414
45690
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ4_3.opb
OPT
20
1.26081
1.30337
45665
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data4_3.opb
OPT
8276
1.26781
1.24926
45662
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_70_70.r.opb
OPT
3
1.51077
1.49149
51050
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb
OPT
62027
1.85172
1.84991
45520
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-pipex.opb
OPT
164393
1.9707
2.04212
45386
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-misc03.opb
OPT
262989
2.12968
2.11187
45394
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-4.opb
OPT
1015
2.95155
2.82331
45742
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-dk512x.r.opb
OPT
6
3.39548
3.40055
51049
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-3.opb
OPT
1015
3.66344
3.52975
45764
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b2.opb
OPT
244
4.33234
4.23367
45857
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-2.opb
OPT
1015
5.58015
5.44758
45833
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-1-c.opb
OPT
317
6.34203
6.29617
45832
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-1.opb
OPT
1015
6.609
6.48941
45856
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_20_20.r.opb
OPT
5
7.05393
7.0502
51063
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh201.opb
OPT
84
7.84281
7.81498
45731
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-5.opb
OPT
1015
8.41672
8.28507
45766
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-2-c.opb
OPT
349
8.66768
8.63019
45852
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_7.opb
OPT
25
8.89565
8.8424
51129
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0282.opb
OPT
104028
9.13661
9.12255
45389
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb
OPT
25
9.49455
9.45185
46657
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b4.opb
OPT
376
10.9803
10.7284
45841
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-4-c.opb
OPT
324
11.2513
11.2079
45715
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g7x7.opb
OPT
12
14.3448
14.351
45869
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32a1.opb
OPT
444
16.5295
16.2587
45818
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-5-c.opb
OPT
341
19.3621
19.3294
45859
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_50_50.r.opb
OPT
4
23.5984
23.5961
51062
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c3.opb
OPT
261
23.7584
23.6521
45737
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb
OPT
100
27.1519
27.2152
45739
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb
OPT
100
27.4248
27.425
45773
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein45.opb
OPT
30
27.7228
27.733
45518
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air01.opb
OPT
1496
28.3077
28.278
45398
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-3-c.opb
OPT
334
32.2971
32.2663
45768
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b3.opb
OPT
331
35.1817
35.011
45785
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb
OPT
100
52.644
52.6572
45802
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-sentoy.opb
OPT
-7772
60.9487
61.008
45510
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16e2.opb
OPT
520
61.1747
61.0997
45819
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_30_30.r.opb
OPT
4
69.5464
69.5727
51072
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-hanoi4.opb
OPT
718
73.5528
73.4343
45847
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb
OPT
100
99.7128
99.7408
45797
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-maincont.r.opb
OPT
7
115.935
115.978
51045
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_10_10.r.opb
OPT
8
121.172
121.212
51075
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e5.opb
OPT
503
130.201
129.884
45746
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e3.opb
OPT
310
134.275
134.133
45805
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-rd73.b.opb
OPT
4
155.277
155.282
51057
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos8.opb
OPT
-3719
172.623
170.629
45502
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos10.opb
OPT
-1135
214.339
212.588
45500
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_4.opb
OPT
1
219.196
219.278
51121
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
OPT
1120
245.396
245.481
45521
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_8.opb
OPT
34
265.173
265.163
51131
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
OPT
2
311.563
311.783
51089
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_1.opb
OPT
2
346.528
346.635
51120
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb
OPT
34
366.545
366.591
46667
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb
OPT
262858
456.445
456.684
45423
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-flugpl.opb
OPT
91
467.568
467.703
45407
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_2.opb
OPT
1
480.919
481.106
51109
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb
OPT
200
483.553
483.724
45800
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_30_30.r.opb
OPT
5
590.757
590.956
51084
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ricks.r.opb
OPT
5
1085.87
1086.13
51054
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb
OPT
200
1283.89
1284.32
45843
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e4.opb
OPT
364
1495.31
1495.46
45799
Solver timed out but found at least a solution (266 runs)
[Show/Hide]
Benchmark Name
Answer
Objective function
CPU time
Wall clock time
TraceID
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
SAT (TO)
-31
1800.01
1798.33
45911
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-modglob.opb
SAT (TO)
528
1800.03
1800.25
45453
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.02.opb
SAT (TO)
75
1800.04
1758.27
51149
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb
SAT (TO)
-26
1800.05
1800.31
45891
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
SAT (TO)
2957
1800.05
1800.19
45871
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex7.b.opb
SAT (TO)
44
1800.05
1800.3
51076
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
SAT (TO)
-34
1800.05
1799.28
45903
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos18.opb
SAT (TO)
17
1800.05
1800.32
45499
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bw.b.opb
SAT (TO)
39
1800.06
1799.29
51081
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16d2.opb
SAT (TO)
785
1800.06
1800.33
45801
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-alu2.b.opb
SAT (TO)
69
1800.06
1800.27
51069
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
SAT (TO)
-32
1800.07
1799.27
45905
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
SAT (TO)
-34
1800.07
1799.32
45906
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-core2586-950.opb
SAT (TO)
766
1800.07
1800.27
45260
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_10.opb
SAT (TO)
105
1800.08
1800.43
51137
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-mitre.opb
SAT (TO)
9199
1800.15
1800.31
45535
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-manna81.opb
SAT (TO)
-12220
1800.15
1800.29
45522
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb
SAT (TO)
391121
1800.16
1799.27
45430
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
SAT (TO)
-25
1800.17
1800.28
45892
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16a2.opb
SAT (TO)
1227
1800.17
1800.23
45815
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex6.b.opb
SAT (TO)
164
1800.19
1799.28
51041
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
SAT (TO)
-26
1800.2
1800.27
45888
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
SAT (TO)
258
1800.21
1800.27
45873
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
SAT (TO)
155
1800.22
1800.28
45877
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16a1.opb
SAT (TO)
1199
1800.22
1800.22
45736
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
SAT (TO)
-25
1800.22
1800.24
45889
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16c1.opb
SAT (TO)
1302
1800.25
1800.23
45823
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
SAT (TO)
171
1800.28
1800.4
45876
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16d1.opb
SAT (TO)
979
1800.29
1800.32
45777
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
SAT (TO)
-35
1800.3
1799.36
45915
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-duke2.b.opb
SAT (TO)
81
1800.32
1800.25
51085
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16b2.opb
SAT (TO)
1031
1800.33
1800.32
45741
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
SAT (TO)
176
1800.33
1800.4
45695
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16b1.opb
SAT (TO)
1616
1800.35
1800.26
45814
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-gesa3.opb
SAT (TO)
854
1800.37
1800.34
45478
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
SAT (TO)
-36
1800.37
1799.28
45913
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb
SAT (TO)
-28
1800.38
1800.28
45924
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
SAT (TO)
-28
1800.38
1800.28
45923
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-gesa2.opb
SAT (TO)
969
1800.39
1800.28
45421
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-saucier.r.opb
SAT (TO)
7
1800.42
1799.3
51043
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.b.opb
SAT (TO)
66
1800.43
1795.31
51082
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.11.opb
SAT (TO)
72
1800.45
1761.31
51145
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
SAT (TO)
-28
1800.45
1800.27
45927
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
SAT (TO)
-28
1800.45
1800.31
45926
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
SAT (TO)
-30
1800.45
1800.26
45925
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-des.a.opb
SAT (TO)
1045
1800.48
1800.25
51038
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
SAT (TO)
39
1800.49
1789.28
51150
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-mod013.opb
SAT (TO)
19
1800.5
1801.29
45391
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-bk4x3.opb
SAT (TO)
16
1800.51
1801.28
45211
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-test1.r.opb
SAT (TO)
164
1800.52
1801.29
51079
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex1010.pi.opb
SAT (TO)
506
1800.52
1800.39
51083
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_12.opb
SAT (TO)
201
1800.52
1800.29
46661
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
SAT (TO)
69
1800.52
1759.24
51146
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_13.opb
SAT (TO)
216
1800.55
1800.29
46665
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.10.opb
SAT (TO)
83
1800.55
1739.27
51143
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-max1024.r.opb
SAT (TO)
299
1800.57
1801.29
51074
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
SAT (TO)
-35
1800.57
1799.24
45916
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic97.opb
SAT (TO)
264081
1800.58
1800.29
45263
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.a.opb
SAT (TO)
71
1800.59
1801.39
51077
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bench1.r.opb
SAT (TO)
205
1800.59
1801.3
51030
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
SAT (TO)
21
1800.59
1801.31
51103
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
SAT (TO)
-31
1800.59
1800.29
45895
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c4.opb
SAT (TO)
736
1800.59
1800.28
45724
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a3.opb
SAT (TO)
206
1800.59
1801.32
45853
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb
SAT (TO)
-34
1800.6
1799.19
45917
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb
SAT (TO)
200
1800.6
1801.35
45831
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-f51m.b.opb
SAT (TO)
21
1800.6
1801.25
45703
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
SAT (TO)
308
1800.61
1801.26
45885
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_1.opb
SAT (TO)
90
1800.61
1801.25
51111
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32d1.opb
SAT (TO)
292
1800.62
1801.27
45858
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb
SAT (TO)
200
1800.62
1801.29
45760
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb
SAT (TO)
223
1800.62
1801.3
45605
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-lin.rom.r.opb
SAT (TO)
180
1800.63
1801.2
51064
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_20.r.opb
SAT (TO)
23
1800.63
1801.24
51037
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
SAT (TO)
1
1800.63
1801.27
45878
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb
SAT (TO)
200
1800.63
1801.26
45754
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b1.opb
SAT (TO)
191
1800.63
1801.28
45824
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
SAT (TO)
219
1800.63
1801.22
45612
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb
SAT (TO)
-7863
1800.63
1801.28
45429
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c1.opb
SAT (TO)
178
1800.64
1801.19
45811
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
SAT (TO)
1555
1800.64
1801.28
45511
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
SAT (TO)
4358
1800.64
1801.28
45884
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_10_15.r.opb
SAT (TO)
8
1800.65
1801.35
51078
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
SAT (TO)
-35
1800.65
1799.3
45908
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_4.opb
SAT (TO)
103
1800.65
1801.29
51114
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-net12.opb
SAT (TO)
255
1800.65
1795.4
45529
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_30.r.opb
SAT (TO)
9
1800.65
1801.26
51042
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum3.opb
SAT (TO)
413156
1800.65
1696.86
45420
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gt2.opb
SAT (TO)
12943
1800.65
1801.28
45479
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-mux.opb
SAT (TO)
1022
1800.66
1801.29
45669
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
SAT (TO)
162
1800.66
1801.27
51117
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
SAT (TO)
-32
1800.67
1800.29
45897
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-core2536-691.opb
SAT (TO)
564
1800.67
1800.23
45279
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
SAT (TO)
217
1800.67
1801.28
45601
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
SAT (TO)
-33
1800.68
1800.26
45896
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m200_500_10_10.r.opb
SAT (TO)
58
1800.68
1801.2
51071
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_10.r.opb
SAT (TO)
30
1800.68
1801.28
51068
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
SAT (TO)
8
1800.68
1801.26
45880
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-exam.pi.opb
SAT (TO)
115
1800.68
1801.27
45697
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
SAT (TO)
88
1800.69
1801.3
45881
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
SAT (TO)
-24
1800.69
1801.25
45523
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb
SAT (TO)
5
1800.69
1801.37
51107
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_10_10.r.opb
SAT (TO)
9
1800.69
1801.29
51036
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
SAT (TO)
222
1800.7
1801.27
45606
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cmb.opb
SAT (TO)
1106
1800.71
1801.36
45673
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb
SAT (TO)
1089
1800.71
1801.22
45640
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-markshare1.opb
SAT (TO)
466
1800.71
1801.28
45439
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
SAT (TO)
101
1800.72
1801.27
51113
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
SAT (TO)
-32
1800.72
1800.35
45893
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-038.opb
SAT (TO)
1448
1800.72
1801.28
45798
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
SAT (TO)
13
1800.73
1801.27
45882
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
SAT (TO)
223
1800.73
1801.25
45608
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-markshare2.opb
SAT (TO)
148
1800.73
1801.29
45435
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-5xp1.b.opb
SAT (TO)
17
1800.74
1801.36
45699
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb
SAT (TO)
64
1800.74
1801.35
45678
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-mlp4.r.opb
SAT (TO)
131
1800.74
1801.29
51034
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
SAT (TO)
213
1800.74
1801.28
45610
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb
SAT (TO)
221
1800.74
1801.31
45604
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_2.opb
SAT (TO)
31
1800.74
1801.34
51101
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_15.r.opb
SAT (TO)
26
1800.74
1801.33
51044
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-seymour1.opb
SAT (TO)
107878
1800.74
1798.32
45244
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb
SAT (TO)
7
1800.74
1801.24
51092
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_2.opb
SAT (TO)
7
1800.74
1801.31
51119
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_15.r.opb
SAT (TO)
11
1800.75
1801.22
51067
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
SAT (TO)
21
1800.75
1801.25
45866
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
SAT (TO)
-32
1800.75
1799.26
45912
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
SAT (TO)
5
1800.75
1801.31
51095
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a4.opb
SAT (TO)
307
1800.75
1801.23
45838
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
SAT (TO)
221
1800.75
1801.28
45615
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-maros.opb
SAT (TO)
12
1800.75
1801.29
45287
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-c8.opb
SAT (TO)
1250
1800.76
1801.27
45674
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb
SAT (TO)
68
1800.76
1801.23
45685
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
SAT (TO)
2544
1800.76
1801.23
45887
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb
SAT (TO)
200
1800.76
1801.26
45780
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_2.opb
SAT (TO)
162
1800.76
1801.32
51088
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
SAT (TO)
5
1800.76
1800.88
45875
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cm42a.opb
SAT (TO)
694
1800.76
1801.31
45672
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
SAT (TO)
66
1800.76
1801.25
45682
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb
SAT (TO)
66
1800.77
1801.28
45679
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
SAT (TO)
1083
1800.77
1801.35
45632
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-9symml.opb
SAT (TO)
5484
1800.77
1801.32
45670
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C880.b.opb
SAT (TO)
74
1800.77
1801.41
51073
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
SAT (TO)
-31
1800.77
1800.31
45894
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
SAT (TO)
215
1800.77
1801.25
45613
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
SAT (TO)
226
1800.77
1801.29
45609
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
SAT (TO)
166
1800.77
1801.27
51097
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb
SAT (TO)
200
1800.77
1801.28
45790
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-9sym.b.opb
SAT (TO)
5
1800.77
1801.28
45707
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-sao2.b.opb
SAT (TO)
29
1800.77
1801.29
45693
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
SAT (TO)
46
1800.77
1801.28
45684
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-prom2.pi.opb
SAT (TO)
451
1800.77
1801.27
45694
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-pk1.opb
SAT (TO)
25554
1800.77
1801.28
45427
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-fout.r.opb
SAT (TO)
50
1800.78
1801.25
51060
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-qnet1_o.opb
SAT (TO)
873
1800.78
1801.27
45473
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
SAT (TO)
220
1800.78
1801.25
45607
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.08.opb
SAT (TO)
45
1800.78
1788.3
51144
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-10teams.opb
SAT (TO)
932
1800.79
1801.27
45525
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8c1.opb
SAT (TO)
302
1800.79
1801.27
45827
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv11.opb
SAT (TO)
-7373
1800.79
1800.26
45528
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb
SAT (TO)
31720
1800.79
1801.26
45444
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
SAT (TO)
66
1800.79
1801.25
45681
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
SAT (TO)
1103
1800.8
1801.25
45635
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-bench1.pi.opb
SAT (TO)
207
1800.8
1801.27
45701
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e2.opb
SAT (TO)
235
1800.8
1801.28
45854
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
SAT (TO)
228
1800.8
1801.27
45602
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-markshare1_1.opb
SAT (TO)
56
1800.8
1801.28
45226
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb
SAT (TO)
45
1800.8
1801.29
46666
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
SAT (TO)
222
1800.8
1801.23
45611
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C432.opb
SAT (TO)
6053
1800.8
1801.26
45671
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-cracpb1.opb
SAT (TO)
39336
1800.81
1801.24
45508
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-sample2.opb
SAT (TO)
9
1800.81
1801.31
45400
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-prom2.r.opb
SAT (TO)
442
1800.81
1801.25
51065
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
SAT (TO)
-31
1800.81
1799.24
45910
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
SAT (TO)
61
1800.81
1801.29
45867
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_3.opb
SAT (TO)
29
1800.81
1801.26
51125
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_1.opb
SAT (TO)
4
1800.81
1801.33
51116
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
SAT (TO)
130
1800.81
1801.26
51105
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_14.r.opb
SAT (TO)
28
1800.81
1801.23
51052
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb
SAT (TO)
-3018
1800.81
1801.21
45463
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
SAT (TO)
221
1800.81
1801.29
45614
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
SAT (TO)
6
1800.81
1801.29
45872
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-opt1217.opb
SAT (TO)
-10240
1800.81
1801.3
45530
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-pdc.r.opb
SAT (TO)
396
1800.81
1799.34
51039
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
SAT (TO)
1567
1800.81
1801.28
45676
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-e64.b.opb
SAT (TO)
62
1800.82
1801.32
45706
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/routing/normalized-s4-4-3-10pb.opb
SAT (TO)
70
1800.82
1801.25
45691
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-qnet1.opb
SAT (TO)
922
1800.82
1801.29
45484
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
SAT (TO)
-32
1800.82
1800.3
45914
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod008.opb
SAT (TO)
333
1800.82
1801.24
45507
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
SAT (TO)
1086
1800.82
1801.34
45631
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_4.opb
SAT (TO)
6
1800.82
1801.26
51118
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex4inp.r.opb
SAT (TO)
5
1800.82
1801.23
51059
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-max512.r.opb
SAT (TO)
131
1800.82
1801.33
51048
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-rd84.b.opb
SAT (TO)
7
1800.82
1800.26
51031
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-jac3.opb
SAT (TO)
18
1800.82
1801.28
45698
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-markshare2_1.opb
SAT (TO)
9
1800.82
1801.24
45243
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-exps.r.opb
SAT (TO)
97
1800.83
1801.34
51051
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
SAT (TO)
-33
1800.83
1800.29
45907
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-max1024.pi.opb
SAT (TO)
311
1800.83
1801.38
45696
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
SAT (TO)
-33
1800.83
1799.28
45909
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-seymour.opb
SAT (TO)
474
1800.83
1801.28
45526
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_10.r.opb
SAT (TO)
14
1800.83
1801.34
51053
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-nug08.opb
SAT (TO)
18
1800.84
1799.27
45233
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-addm4.r.opb
SAT (TO)
203
1800.84
1801.28
51035
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_9.opb
SAT (TO)
56
1800.84
1801.22
51136
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex5.r.opb
SAT (TO)
69
1800.84
1801.28
51066
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-my_adder.opb
SAT (TO)
5652
1800.84
1801.29
45668
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-alu4.b.opb
SAT (TO)
56
1800.84
1801.3
45705
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
SAT (TO)
1102
1800.84
1801.3
45644
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb
SAT (TO)
1091
1800.85
1801.24
45641
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb
SAT (TO)
200
1800.85
1801.43
45817
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
SAT (TO)
74
1800.85
1801.27
45660
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos5.opb
SAT (TO)
16384
1800.85
1801.29
45501
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8e1.opb
SAT (TO)
345
1800.85
1801.26
45772
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
SAT (TO)
1094
1800.86
1801.24
45639
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
SAT (TO)
69
1800.86
1801.34
45874
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-p2756.opb
SAT (TO)
4800
1800.86
1801.28
45524
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C880.a.opb
SAT (TO)
87
1800.86
1801.31
51056
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
SAT (TO)
213
1800.86
1801.3
45842
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-count.b.opb
SAT (TO)
26
1800.86
1801.32
45702
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e1.opb
SAT (TO)
162
1800.86
1801.28
45758
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b1.opb
SAT (TO)
201
1800.87
1801.29
45793
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
SAT (TO)
4042
1800.87
1801.37
45509
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-rot.b.opb
SAT (TO)
146
1800.88
1801.28
45708
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.14.opb
SAT (TO)
74
1800.88
1754.21
51148
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10a.opb
SAT (TO)
20
1800.88
1801.31
45206
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
SAT (TO)
1079
1800.88
1801.4
45633
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
SAT (TO)
1099
1800.89
1801.24
45642
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-clip.b.opb
SAT (TO)
17
1800.89
1801.36
45704
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
SAT (TO)
1085
1800.89
1801.29
45638
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b2.opb
SAT (TO)
384
1800.9
1801.28
45719
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
SAT (TO)
71
1800.9
1750.27
51147
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
SAT (TO)
1099
1800.9
1801.28
45643
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-swath3.opb
SAT (TO)
270305
1800.9
1798.29
45222
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8d2.opb
SAT (TO)
587
1800.91
1801.29
45709
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8d1.opb
SAT (TO)
372
1800.91
1801.27
45718
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-apex4.a.opb
SAT (TO)
829
1800.91
1801.28
45700
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
SAT (TO)
-35
1800.91
1800.29
45904
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
SAT (TO)
140
1800.91
1801.35
45713
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb
SAT (TO)
1093
1800.91
1801.27
45634
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32d2.opb
SAT (TO)
372
1800.91
1801.27
45759
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-ex5.pi.opb
SAT (TO)
102
1800.92
1801.25
45692
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-159.opb
SAT (TO)
1327
1800.92
1801.25
45740
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
SAT (TO)
1095
1800.93
1801.34
45645
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-158.opb
SAT (TO)
1327
1800.93
1801.3
45744
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-m4.r.opb
SAT (TO)
114
1800.93
1801.38
51061
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb
SAT (TO)
1091
1800.93
1801.33
45636
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-core4872-1529.opb
SAT (TO)
1324
1800.93
1800.33
45284
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-qap10.opb
SAT (TO)
29
1800.93
1796.25
45234
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
SAT (TO)
4
1800.93
1801.35
45879
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
SAT (TO)
48
1800.94
1801.31
45883
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-rout.opb
SAT (TO)
262502
1800.94
1801.29
45437
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-160.opb
SAT (TO)
1359
1800.95
1801.39
45749
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
SAT (TO)
25843
1800.95
1801.27
45663
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-core4284-1064.opb
SAT (TO)
934
1800.96
1799.89
45253
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
SAT (TO)
1087
1800.96
1801.38
45637
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
SAT (TO)
224
1800.97
1801.41
45603
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_10.opb
SAT (TO)
79
1800.98
1801.33
46662
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8c2.opb
SAT (TO)
558
1800.99
1801.24
45734
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b3.opb
SAT (TO)
511
1800.99
1801.31
45752
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos1.opb
SAT (TO)
24
1801
1801.27
45503
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b4.opb
SAT (TO)
659
1801
1801.23
45860
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16c2.opb
SAT (TO)
861
1801.01
1801.3
45821
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16e1.opb
SAT (TO)
1143
1801.03
1801.26
45834
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8e2.opb
SAT (TO)
517
1801.05
1801.3
45862
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb
SAT (TO)
-26
1801.06
1801.29
45890
Solver timed out (no solution given) (307 runs)
[Show/Hide]
Benchmark Name
Answer
Objective function
CPU time
Wall clock time
TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_17.opb
? (TO)
1800.02
1797.34
51132
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb
? (TO)
1800.03
1791.38
45454
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_18.opb
? (TO)
1800.04
1796.32
51142
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-recipe.opb
? (TO)
1800.05
1800.32
45336
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-d2q06c.opb
? (TO)
1800.05
1790.29
45324
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-boeing1.opb
? (TO)
1800.05
1800.26
45320
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-degen2.opb
? (TO)
1800.06
1799.35
45347
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n370b.opb
? (TO)
1800.06
1796.26
45204
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-4.opb
? (TO)
1800.06
1800.3
45775
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-set1cl.opb
? (TO)
1800.06
1800.19
45416
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ganges.opb
? (TO)
1800.07
1798.31
45361
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-modszk1.opb
? (TO)
1800.07
1799.24
45370
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-lotfi.opb
? (TO)
1800.07
1800.27
45316
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran12x21.opb
? (TO)
1800.07
1800.24
45216
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-5.opb
? (TO)
1800.09
1800.25
45820
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g125.17.opb
? (TO)
1800.09
1799.29
45836
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship04s.opb
? (TO)
1800.09
1799.27
45333
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-pilot4.opb
? (TO)
1800.09
1799.28
45355
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran10x26.opb
? (TO)
1800.1
1800.34
45209
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3702.opb
? (TO)
1800.1
1796.31
45198
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-dc1c.opb
? (TO)
1800.11
1798.26
45283
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-set1al.opb
? (TO)
1800.11
1800.26
45396
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-share1b.opb
? (TO)
1800.11
1800.28
45332
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-A2C1S1.opb
? (TO)
1800.11
1797.29
45267
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-2.opb
? (TO)
1800.12
1800.3
45813
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran17x17.opb
? (TO)
1800.12
1800.27
45212
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
? (TO)
1800.12
1799.38
51135
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-set1ch.opb
? (TO)
1800.12
1800.27
45442
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-dano3_3.opb
? (TO)
1800.13
1779.36
45224
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-dano3_4.opb
? (TO)
1800.13
1779.33
45242
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-fixnet4.opb
? (TO)
1800.13
1800.28
45406
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-3.opb
? (TO)
1800.14
1800.2
45762
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
? (TO)
1800.14
1798.25
51130
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
? (TO)
1800.14
1800.37
45886
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-van.opb
? (TO)
1800.14
1745.19
45282
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-1.opb
? (TO)
1800.14
1800.25
45861
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran16x16.opb
? (TO)
1800.14
1800.34
45202
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-NSR8K.opb
? (TO)
1800.15
1793.24
45285
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_18.opb
? (TO)
1800.15
1796.28
46655
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3706.opb
? (TO)
1800.15
1796.38
45195
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-gen.opb
? (TO)
1800.15
1800.28
45380
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-grow15.opb
? (TO)
1800.16
1799.27
45317
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-trento1.opb
? (TO)
1800.16
1799.31
45269
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb
? (TO)
1800.16
1800.25
45411
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-d6cube.opb
? (TO)
1800.16
1798.29
45327
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-rd-rplusc-21.opb
? (TO)
1800.17
1727.36
45466
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-biella1.opb
? (TO)
1800.17
1799.29
45259
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb
? (TO)
1800.17
1798.2
45527
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb
? (TO)
1800.17
1800.26
45418
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-israel.opb
? (TO)
1800.17
1800.37
45308
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-beaconfd.opb
? (TO)
1800.18
1799.98
45376
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-nw04.opb
? (TO)
1800.18
1798.27
45464
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
? (TO)
1800.18
1797.88
45900
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
? (TO)
1800.18
1800.26
45748
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb
? (TO)
1800.18
1800.39
45424
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-capri.opb
? (TO)
1800.18
1800.26
45315
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-timtab2.opb
? (TO)
1800.18
1800.39
45436
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sctap1.opb
? (TO)
1800.19
1800.25
45309
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_11.opb
? (TO)
1800.19
1800.25
51133
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_14.opb
? (TO)
1800.19
1799.33
46656
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship08s.opb
? (TO)
1800.19
1798.33
45304
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_19.opb
? (TO)
1800.19
1795.28
51127
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-shell.opb
? (TO)
1800.2
1799.27
45302
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-rail507.opb
? (TO)
1800.2
1798.35
45270
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship12l.opb
? (TO)
1800.2
1795.27
45292
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-25fv47.opb
? (TO)
1800.2
1797.27
45311
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3700.opb
? (TO)
1800.21
1796.34
45210
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos20.opb
? (TO)
1800.21
1800.26
45238
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-gesa2-o.opb
? (TO)
1800.22
1800.22
45449
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scorpion.opb
? (TO)
1800.23
1800.24
45340
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb
? (TO)
1800.23
1798.26
45902
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-fixnet6.opb
? (TO)
1800.23
1800.28
45447
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-fixnet3.opb
? (TO)
1800.23
1800.32
45403
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n370a.opb
? (TO)
1800.24
1796.27
45203
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-dfl001.opb
? (TO)
1800.25
1785.28
45374
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
? (TO)
1800.26
1784.37
45617
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos13.opb
? (TO)
1800.26
1780.35
45223
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n370e.opb
? (TO)
1800.26
1796.29
45192
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb
? (TO)
1800.26
1800.27
45482
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-msc98-ip.opb
? (TO)
1800.27
1798.23
45433
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-tr12-30.opb
? (TO)
1800.28
1800.24
45419
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3708.opb
? (TO)
1800.28
1796.24
45215
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-greenbea.opb
? (TO)
1800.28
1792.29
45296
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb
? (TO)
1800.28
1796.25
45207
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos6.opb
? (TO)
1800.29
1798.22
45245
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air06.opb
? (TO)
1800.29
1800.28
45399
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g125.18.opb
? (TO)
1800.3
1799.32
45826
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-air05.opb
? (TO)
1800.3
1800.29
45432
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_19.opb
? (TO)
1800.31
1795.23
46658
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-B2C1S1.opb
? (TO)
1800.31
1797.31
45281
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_11.opb
? (TO)
1800.31
1800.32
46668
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-bienst1.opb
? (TO)
1800.31
1800.25
45228
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-bienst2.opb
? (TO)
1800.32
1800.26
45236
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scsd6.opb
? (TO)
1800.32
1799.21
45344
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb
? (TO)
1800.32
1784.27
45626
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
? (TO)
1800.33
1798.25
45899
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32d3.opb
? (TO)
1800.33
1799.89
45816
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3701.opb
? (TO)
1800.33
1796.36
45219
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-greenbeb.opb
? (TO)
1800.33
1792.18
45375
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-misc06.opb
? (TO)
1800.33
1799.31
45401
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scfxm3.opb
? (TO)
1800.33
1798.23
45346
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-nesm.opb
? (TO)
1800.33
1797.27
45364
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-van.opb
? (TO)
1800.33
1746.3
45462
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-grow7.opb
? (TO)
1800.34
1800.29
45372
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-siena1.opb
? (TO)
1800.35
1797.22
45257
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-fit2d.opb
? (TO)
1800.35
1795.24
45358
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-brandy.opb
? (TO)
1800.35
1800.23
45352
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
? (TO)
1800.36
1798.28
45898
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-fffff800.opb
? (TO)
1800.36
1799.25
45349
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-wood1p.opb
? (TO)
1800.37
1792.33
45342
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb
? (TO)
1800.37
1797.25
46660
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
? (TO)
1800.37
1784.26
45622
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-degen3.opb
? (TO)
1800.37
1795.24
45298
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
? (TO)
1800.37
1798.29
45664
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
? (TO)
1800.38
1783.21
45625
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb
? (TO)
1800.38
1797.27
45276
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb
? (TO)
1800.38
1797.27
45458
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-etamacro.opb
? (TO)
1800.39
1800.27
45305
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-dano3mip.opb
? (TO)
1800.39
1780.32
45431
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb
? (TO)
1800.4
1799.23
45275
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos15.opb
? (TO)
1800.41
1800.3
45237
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
? (TO)
1800.41
1784.26
45621
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
? (TO)
1800.41
1798.33
45901
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_20.opb
? (TO)
1800.41
1793.43
51140
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-tr12-30.opb
? (TO)
1800.42
1800.23
45252
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-blp-ir98.opb
? (TO)
1800.42
1800.26
45261
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos19.opb
? (TO)
1800.42
1761.36
45498
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-cycle.opb
? (TO)
1800.42
1795.27
45348
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-fit2p.opb
? (TO)
1800.43
1775.28
45373
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-blp-ar98.opb
? (TO)
1800.43
1799.25
45271
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_12.opb
? (TO)
1800.43
1800.24
51139
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
? (TO)
1800.45
1784.24
45619
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
? (TO)
1800.45
1784.17
45623
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_16.opb
? (TO)
1800.45
1798.42
46652
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-usAbbrv.8.25_70.opb
? (TO)
1800.45
1799.26
45274
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
? (TO)
1800.45
1783.34
45628
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air03.opb
? (TO)
1800.46
1800.31
45385
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_15.opb
? (TO)
1800.47
1799.28
51128
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-fit1p.opb
? (TO)
1800.47
1796.24
45378
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-danoint.opb
? (TO)
1800.49
1800.25
45465
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scagr25.opb
? (TO)
1800.49
1800.31
45300
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos14.opb
? (TO)
1800.5
1800.32
45231
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-berlin_5_8_0.opb
? (TO)
1800.5
1800.28
45251
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
? (TO)
1800.5
1798.2
45666
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-standata.opb
? (TO)
1800.51
1800.33
45328
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-dg012142.opb
? (TO)
1800.52
1798.27
45278
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-seba.opb
? (TO)
1800.52
1799.28
45334
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-gfrd-pnc.opb
? (TO)
1800.53
1800.28
45293
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-fit1d.opb
? (TO)
1800.53
1800.29
45368
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-sp98ar.opb
? (TO)
1800.53
1798.32
45250
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_4.opb
? (TO)
1800.54
1801.29
51104
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scfxm2.opb
? (TO)
1800.55
1799.4
45365
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-gr4x6.opb
? (TO)
1800.55
1801.26
45199
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg2.opb
? (TO)
1800.56
1800.22
45312
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sctap3.opb
? (TO)
1800.57
1798.25
45330
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-stair.opb
? (TO)
1800.58
1800.25
45291
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-roll3000.opb
? (TO)
1800.58
1800.26
45268
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-standgub.opb
? (TO)
1800.58
1800.28
45319
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-bell3a.opb
? (TO)
1800.58
1801.29
45390
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow40b.opb
? (TO)
1800.58
1800.31
45441
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
? (TO)
1800.58
1784.25
45616
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
? (TO)
1800.59
1783.23
45627
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_2.opb
? (TO)
1800.6
1801.21
51096
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_3.opb
? (TO)
1800.6
1801.3
51086
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos2.opb
? (TO)
1800.6
1800.26
45241
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-maros.opb
? (TO)
1800.6
1798.28
45297
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb
? (TO)
1800.61
1797.89
45920
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-air04.opb
? (TO)
1800.62
1800.39
45450
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-kb2.opb
? (TO)
1800.62
1801.28
45322
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-dolom1.opb
? (TO)
1800.63
1798.23
45255
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10b.opb
? (TO)
1800.63
1801.32
45200
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-bg512142.opb
? (TO)
1800.63
1800.27
45265
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
? (TO)
1800.64
1783.26
45624
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc50b.opb
? (TO)
1800.64
1801.28
45369
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg3.opb
? (TO)
1800.64
1800.29
45359
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scfxm1.opb
? (TO)
1800.64
1800.25
45337
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-sp98ic.opb
? (TO)
1800.64
1799.25
45256
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-stp3d.opb
? (TO)
1800.65
1792.26
45457
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.15.opb
? (TO)
1800.65
1795.25
45792
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome11.opb
? (TO)
1800.65
1801.31
45190
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb
? (TO)
1800.65
1801.22
45686
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_2.opb
? (TO)
1800.66
1801.26
51087
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_4.opb
? (TO)
1800.66
1801.29
51115
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
? (TO)
1800.66
1798.29
45919
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_2.opb
? (TO)
1800.66
1801.28
51091
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_15.opb
? (TO)
1800.67
1799.28
46659
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-pp08a.opb
? (TO)
1800.67
1801.29
45460
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
? (TO)
1800.67
1798.25
45922
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_13.opb
? (TO)
1800.68
1800.31
51141
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-roll3000.opb
? (TO)
1800.68
1800.36
45448
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-perold.opb
? (TO)
1800.68
1799.2
45325
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
? (TO)
1800.69
1785.27
45629
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_4.opb
? (TO)
1800.69
1801.26
51110
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scsd1.opb
? (TO)
1800.69
1800.24
45345
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
? (TO)
1800.7
1800.29
45659
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-maros-r7.opb
? (TO)
1800.7
1769.24
45343
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb
? (TO)
1800.7
1801.29
45405
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
? (TO)
1800.7
1800.27
45661
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-sp97ic.opb
? (TO)
1800.71
1798.88
45280
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-bc1.opb
? (TO)
1800.71
1782.27
45227
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-swath.opb
? (TO)
1800.73
1800.25
45451
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_1.opb
? (TO)
1800.73
1801.27
51123
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-forplan.opb
? (TO)
1800.73
1800.26
45321
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_3.opb
? (TO)
1800.73
1801.25
51112
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.29.opb
? (TO)
1800.73
1789.34
45711
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
? (TO)
1800.73
1784.26
45630
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell4.opb
? (TO)
1800.73
1801.33
45381
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_3.opb
? (TO)
1800.74
1801.26
51102
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_1.opb
? (TO)
1800.74
1800.88
51106
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-misc05.opb
? (TO)
1800.74
1801.29
45382
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_2.opb
? (TO)
1800.74
1801.24
51108
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-dc1l.opb
? (TO)
1800.74
1795.17
45277
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-5-c.opb
? (TO)
1800.74
1801.29
45851
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc50a.opb
? (TO)
1800.74
1801.31
45335
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-l152lav.opb
? (TO)
1800.74
1801.21
45505
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb
? (TO)
1800.75
1784.25
45620
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship04l.opb
? (TO)
1800.75
1799.28
45341
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-sp97ar.opb
? (TO)
1800.75
1801.38
45446
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos9.opb
? (TO)
1800.75
1758.37
45230
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-bell3b.opb
? (TO)
1800.75
1801.21
45395
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship12s.opb
? (TO)
1800.75
1798.38
45301
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-2-c.opb
? (TO)
1800.76
1801.31
45710
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-vpm2.opb
? (TO)
1800.76
1801.28
45456
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb
? (TO)
1800.77
1801.28
45683
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-dano3_5.opb
? (TO)
1800.77
1780.37
45247
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_1.opb
? (TO)
1800.77
1801.27
51093
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-t1717.opb
? (TO)
1800.78
1797.26
45422
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-afiro.opb
? (TO)
1800.78
1801.27
45353
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-woodw.opb
? (TO)
1800.78
1791.3
45294
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-rgn.opb
? (TO)
1800.79
1801.28
45417
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-CMS750_4.opb
? (TO)
1800.79
1791.29
45258
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-khb05250.opb
? (TO)
1800.79
1800.32
45415
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-noswot.opb
? (TO)
1800.79
1801.33
45455
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-arki001.opb
? (TO)
1800.79
1800.29
45440
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sctap2.opb
? (TO)
1800.79
1799.24
45314
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_1.opb
? (TO)
1800.8
1801.25
51099
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sierra.opb
? (TO)
1800.8
1799.25
45290
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-qiu.opb
? (TO)
1800.8
1800.72
45434
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
? (TO)
1800.81
1801.32
45519
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10c.opb
? (TO)
1800.81
1801.24
45208
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f600.opb
? (TO)
1800.81
1801.29
45808
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_4.opb
? (TO)
1800.81
1801.31
51122
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-vpm1.opb
? (TO)
1800.81
1801.24
45408
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod010.opb
? (TO)
1800.81
1801.22
45504
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-timtab1.opb
? (TO)
1800.82
1801.33
45426
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
? (TO)
1800.82
1801.31
45677
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_3.opb
? (TO)
1800.82
1801.38
51124
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc205.opb
? (TO)
1800.82
1801.28
45354
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-egout.opb
? (TO)
1800.83
1801.24
45414
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-swath1.opb
? (TO)
1800.83
1798.26
45240
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb
? (TO)
1800.83
1798.27
45918
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran10x12.opb
? (TO)
1800.83
1801.31
45191
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-liu.opb
? (TO)
1800.84
1800.25
45443
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran13x13.opb
? (TO)
1800.84
1801.24
45221
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship08l.opb
? (TO)
1800.84
1797.46
45350
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
? (TO)
1800.84
1798.25
45921
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc105.opb
? (TO)
1800.85
1801.28
45362
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-tuff.opb
? (TO)
1800.85
1800.36
45310
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scsd8.opb
? (TO)
1800.85
1797.29
45329
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-mkc1.opb
? (TO)
1800.85
1800.25
45249
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos16.opb
? (TO)
1800.85
1801.25
45497
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-swath2.opb
? (TO)
1800.85
1798.29
45239
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran12x12.opb
? (TO)
1800.86
1801.2
45218
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-glass4.opb
? (TO)
1800.86
1801.33
45254
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p6000.opb
? (TO)
1800.86
1801.25
45413
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-bal8x12.opb
? (TO)
1800.87
1801.26
45220
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-stocfor2.opb
? (TO)
1800.87
1798.24
45377
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos3.opb
? (TO)
1800.88
1800.27
45225
normalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb
? (TO)
1800.89
1801.27
45496
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-blend.opb
? (TO)
1800.89
1801.26
45307
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-A1C1S1.opb
? (TO)
1800.89
1798.25
45273
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pp08aCUTS.opb
? (TO)
1800.89
1801.25
45445
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-stocfor1.opb
? (TO)
1800.89
1801.27
45363
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-blend2.opb
? (TO)
1800.9
1801.32
45485
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-sp97ar.opb
? (TO)
1800.9
1799.21
45264
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran14x18.opb
? (TO)
1800.9
1801.27
45193
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scrs8.opb
? (TO)
1800.9
1800.35
45339
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-grow22.opb
? (TO)
1800.91
1799.32
45318
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scagr7.opb
? (TO)
1800.92
1801.28
45367
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-3-c.opb
? (TO)
1800.93
1801.3
45828
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-misc04.opb
? (TO)
1800.93
1797.26
45384
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-vtp.base.opb
? (TO)
1800.94
1801.32
45331
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-boeing2.opb
? (TO)
1800.95
1801.26
45360
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3707.opb
? (TO)
1800.95
1797.29
45205
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb
? (TO)
1800.95
1801.29
45425
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f1000.opb
? (TO)
1800.96
1801.27
45728
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3703.opb
? (TO)
1800.96
1797.27
45196
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-pilot.we.opb
? (TO)
1800.96
1798.27
45351
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
? (TO)
1800.97
1785.36
45618
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran4x64.opb
? (TO)
1800.97
1801.31
45213
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb
? (TO)
1800.97
1801.29
45295
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran6x43.opb
? (TO)
1800.97
1801.27
45201
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3704.opb
? (TO)
1800.98
1797.34
45217
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
? (TO)
1800.99
1800.26
45531
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic98.opb
? (TO)
1800.99
1800.25
45266
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-share2b.opb
? (TO)
1800.99
1801.28
45303
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran8x32.opb
? (TO)
1800.99
1801.27
45214
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3709.opb
? (TO)
1801
1797.21
45194
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos7.opb
? (TO)
1801
1800.26
45235
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_20.opb
? (TO)
1801
1795.35
46664
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3705.opb
? (TO)
1801.01
1797.33
45197
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-4-c.opb
? (TO)
1801.01
1801.32
45787
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-1-c.opb
? (TO)
1801.02
1801.39
45796
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-railway_8_1_0.opb
? (TO)
1801.03
1800.38
45262
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f2000.opb
? (TO)
1801.04
1801.24
45844
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg.opb
? (TO)
1801.04
1801.21
45313
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-UMTS.opb
? (TO)
1801.05
1801.32
45272
Category "no optimisation, small integers" (SATUNSAT-SMALLINT)
Solver proved unsatisfiability (UNSATISFIABLE) (148 runs)
[Show/Hide]
Benchmark Name
Answer
Objective function
CPU time
Wall clock time
TraceID
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb
UNSAT
0.043992
0.0438759
45170
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb
UNSAT
0.066988
0.0612471
45150
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb
UNSAT
0.077987
0.087991
45151
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb
UNSAT
0.094984
0.0843821
45173
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb
UNSAT
0.701892
0.517854
45152
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb
UNSAT
0.859868
0.566064
45158
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb
UNSAT
0.988849
0.896753
45178
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-37s.smv.opb
UNSAT
1.87571
1.79402
45146
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb
UNSAT
1.92371
1.67899
45148
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110966483.opb
UNSAT
2.39264
2.39115
44931
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967729.opb
UNSAT
2.70059
2.69801
44866
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977780.opb
UNSAT
2.78358
2.7787
44877
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224059.opb
UNSAT
2.89756
2.90313
44938
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224451.opb
UNSAT
2.93855
2.9361
44894
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970631.opb
UNSAT
2.96855
2.96672
44864
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973670.opb
UNSAT
3.12752
3.12449
44907
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970444.opb
UNSAT
3.16052
3.15786
44862
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226062.opb
UNSAT
3.20451
3.20042
44865
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968561.opb
UNSAT
3.21151
3.2093
44914
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111220019.opb
UNSAT
3.21751
3.2844
44956
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226368.opb
UNSAT
3.23551
3.25704
44935
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975607.opb
UNSAT
3.2475
3.24353
44930
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219799.opb
UNSAT
3.2675
3.2679
44885
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227326.opb
UNSAT
3.2765
3.27914
44903
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968094.opb
UNSAT
3.2865
3.28339
44929
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111225122.opb
UNSAT
3.2905
3.28814
44924
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969577.opb
UNSAT
3.2995
3.29564
44910
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224255.opb
UNSAT
3.33049
3.33172
44890
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218757.opb
UNSAT
3.41848
3.42049
44947
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110978334.opb
UNSAT
3.42448
3.42281
44891
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111225605.opb
UNSAT
3.47847
3.54
44874
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219348.opb
UNSAT
3.48947
3.49937
44871
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223004.opb
UNSAT
3.50847
3.53697
44951
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217392.opb
UNSAT
3.52046
3.52355
44915
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227861.opb
UNSAT
3.52846
3.52311
44880
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222257.opb
UNSAT
3.54246
3.55571
44896
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111221624.opb
UNSAT
3.59945
3.61643
44932
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971697.opb
UNSAT
3.62645
3.62468
44878
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974372.opb
UNSAT
3.63345
3.6423
44884
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972763.opb
UNSAT
3.63745
3.63403
44858
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976157.opb
UNSAT
3.64345
3.64292
44925
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110966688.opb
UNSAT
3.66544
3.66203
44868
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224929.opb
UNSAT
3.69044
3.68988
44941
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968898.opb
UNSAT
3.69244
3.70515
44933
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111220767.opb
UNSAT
3.69844
3.69718
44908
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976935.opb
UNSAT
3.70444
3.70025
44897
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973364.opb
UNSAT
3.70644
3.71562
44901
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227012.opb
UNSAT
3.75743
3.75911
44942
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111220546.opb
UNSAT
3.76043
3.76103
44876
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971363.opb
UNSAT
3.77243
3.7776
44857
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111212923.opb
UNSAT
3.77643
3.77948
44920
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111221203.opb
UNSAT
3.85741
3.84967
44898
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222539.opb
UNSAT
3.86241
3.86028
44900
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216823.opb
UNSAT
3.89941
3.89215
44945
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111213670.opb
UNSAT
3.9404
3.99448
44955
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217555.opb
UNSAT
3.9674
3.9606
44881
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972154.opb
UNSAT
4.01539
4.02429
44883
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977273.opb
UNSAT
4.02139
4.02244
44902
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226680.opb
UNSAT
4.06338
4.05978
44912
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111228076.opb
UNSAT
4.08138
4.10414
44953
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218024.opb
UNSAT
4.20536
4.2002
44948
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223220.opb
UNSAT
4.22036
4.21492
44869
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973163.opb
UNSAT
4.25635
4.27628
44934
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974180.opb
UNSAT
4.26135
4.26277
44905
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218955.opb
UNSAT
4.28635
4.28135
44904
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111213868.opb
UNSAT
4.29035
4.28962
44882
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969170.opb
UNSAT
4.36833
4.36322
44921
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967523.opb
UNSAT
4.46032
4.47016
44909
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216411.opb
UNSAT
4.47832
4.47618
44950
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111212272.opb
UNSAT
4.49132
4.48501
44875
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976730.opb
UNSAT
4.52931
4.52824
44928
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110978113.opb
UNSAT
4.65629
4.65553
44927
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969860.opb
UNSAT
4.80927
4.80832
44861
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975965.opb
UNSAT
4.82827
4.82245
44887
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218308.opb
UNSAT
4.85126
4.85505
44860
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111212476.opb
UNSAT
4.91325
4.92076
44919
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967142.opb
UNSAT
5.16021
5.15802
44917
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb
UNSAT
7.38188
5.00184
45144
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-22s.smv.opb
UNSAT
8.5177
7.99197
45165
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-25s.smv.opb
UNSAT
27.0719
26.6407
45172
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb
UNSAT
33.2569
32.8055
45143
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb
UNSAT
41.2107
40.5138
45134
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb
UNSAT
65.0011
65.0258
46436
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb
UNSAT
76.6683
76.6581
45171
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb
UNSAT
169.472
169.526
46444
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-11-10.opb
UNSAT
169.752
169.811
46435
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900558106.opb
UNSAT
175.407
175.401
44992
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900564824.opb
UNSAT
186.076
186.089
45001
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566157.opb
UNSAT
210.774
210.794
45018
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552423.opb
UNSAT
212.588
212.607
45006
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900544484.opb
UNSAT
246.828
246.838
45009
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552735.opb
UNSAT
257.22
257.386
45016
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567024.opb
UNSAT
260.046
260.075
45028
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900562192.opb
UNSAT
268.171
268.207
45008
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576360.opb
UNSAT
273.468
273.478
44976
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567135.opb
UNSAT
274.831
274.861
44957
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900571132.opb
UNSAT
275.923
275.955
44998
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900551347.opb
UNSAT
276.011
276.046
45036
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb
UNSAT
277.616
277.883
44973
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb
UNSAT
278.164
278.196
44997
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552288.opb
UNSAT
284.788
284.829
45045
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900570242.opb
UNSAT
286.087
286.112
45012
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900563801.opb
UNSAT
287.265
287.347
45024
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb
UNSAT
303.551
303.589
44986
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553647.opb
UNSAT
308.961
309.009
45048
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900573137.opb
UNSAT
309.547
309.602
45046
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900571761.opb
UNSAT
312.958
312.999
44972
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557957.opb
UNSAT
313.869
313.96
44969
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576151.opb
UNSAT
315.699
315.74
45015
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900579996.opb
UNSAT
315.989
316.035
45051
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568706.opb
UNSAT
317.454
317.489
44964
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900569834.opb
UNSAT
320.915
320.999
45052
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb
UNSAT
322.315
322.336
44987
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547389.opb
UNSAT
323.335
323.396
45043
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557362.opb
UNSAT
330.011
330.063
44989
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900564281.opb
UNSAT
330.999
331.119
45056
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb
UNSAT
331.368
331.448
44977
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669797.opb
UNSAT
331.925
331.976
45000
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb
UNSAT
332.67
332.703
45039
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb
UNSAT
342.803
342.851
45003
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb
UNSAT
346.608
346.677
45030
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900584219.opb
UNSAT
349.59
349.728
45037
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900575442.opb
UNSAT
349.872
349.907
44982
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb
UNSAT
350.353
350.432
45041
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900573901.opb
UNSAT
358.301
358.364
45002
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574864.opb
UNSAT
359.615
359.758
44960
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900546417.opb
UNSAT
367.312
367.393
44981
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900563250.opb
UNSAT
372.404
372.509
44995
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557574.opb
UNSAT
372.416
372.553
45038
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554420.opb
UNSAT
376.007
376.175
45050
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb
UNSAT
378.698
378.752
44965
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900545610.opb
UNSAT
393.116
393.24
45025
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb
UNSAT
399.609
399.704
44996
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900550720.opb
UNSAT
401.539
401.732
45053
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb
UNSAT
410.783
410.882
44958
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670234.opb
UNSAT
411.582
411.706
44967
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb
UNSAT
422.084
422.176
44962
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb
UNSAT
424.074
424.231
44963
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900667195.opb
UNSAT
431.33
431.429
45026
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900577940.opb
UNSAT
431.645
431.781
44970
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900583053.opb
UNSAT
445.082
445.154
44988
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900550006.opb
UNSAT
447.969
448.191
45019
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb
UNSAT
460.04
460.21
45044
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900558739.opb
UNSAT
478.56
478.681
45034
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-15-10.opb
UNSAT
515.037
515.198
46443
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561288.opb
UNSAT
520.672
520.768
44991
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559676.opb
UNSAT
524.97
525.096
45005
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb
UNSAT
1571.42
1570.22
45160
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (137 runs)
[Show/Hide]
Benchmark Name
Answer
Objective function
CPU time
Wall clock time
TraceID
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-prob4.opb
SAT
0
0.032994
0.0301519
44828
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-prob1.opb
SAT
0
0.033994
0.030146
44831
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-prob6.opb
SAT
0
0.033994
0.0364789
44837
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-prob8.opb
SAT
0
0.033994
0.033647
44825
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-cuww2.opb
SAT
0
0.033994
0.031989
44829
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-cuww1.opb
SAT
0
0.033994
0.0302541
44835
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-cuww4.opb
SAT
0
0.034994
0.0323801
44826
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-prob2.opb
SAT
0
0.034994
0.0404069
44830
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-prob10.opb
SAT
0
0.034994
0.036233
44838
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-cuww3.opb
SAT
0
0.034994
0.0352519
44836
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-cuww5.opb
SAT
0
0.035994
0.037626
44833
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-prob3.opb
SAT
0
0.035994
0.031266
44827
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-prob7.opb
SAT
0
0.037993
0.0373851
44834
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-prob5.opb
SAT
0
0.039993
0.0360659
44832
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb
SAT
0
0.050991
0.051872
45116
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb
SAT
0
0.052991
0.0532429
45132
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb
SAT
0
0.05699
0.0572629
45096
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb
SAT
0
0.06299
0.0553891
45129
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb
SAT
0
0.064989
0.0611439
45081
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb
SAT
0
0.080987
0.12159
45133
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb
SAT
0
0.081987
0.0703581
44850
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb
SAT
0
0.085986
0.0817369
45083
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb
SAT
0
0.116981
0.126595
45125
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army8.9bt.opb
SAT
0
0.118981
0.102723
44847
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin8.opb
SAT
0
0.163974
0.161941
44840
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb
SAT
0
0.221965
0.272993
45115
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217374.opb
SAT
0
0.228964
0.226161
44954
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566151.opb
SAT
0
0.277957
0.213781
45011
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb
SAT
0
0.328949
0.323351
45111
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb
SAT
0
0.376941
0.365938
45124
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900571131.opb
SAT
0
0.403938
0.333081
44968
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971766.opb
SAT
0
0.425934
0.424658
44867
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974553.opb
SAT
0
0.425935
0.440414
44944
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976735.opb
SAT
0
0.458929
0.452392
44889
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967327.opb
SAT
0
0.491924
0.486655
44892
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900581321.opb
SAT
0
0.549915
0.484851
44975
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553644.opb
SAT
0
0.657899
0.594196
45032
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226284.opb
SAT
0
0.664898
0.661889
44949
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554373.opb
SAT
0
0.705892
0.643141
44978
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223596.opb
SAT
0
0.728889
0.730727
44906
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977464.opb
SAT
0
0.771881
0.777627
44895
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb
SAT
0
0.813875
0.815281
45113
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900564822.opb
SAT
0
0.863868
0.851242
44985
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb
SAT
0
0.873866
0.8088
44974
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb
SAT
0
0.875866
0.807921
45042
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb
SAT
0
0.925858
0.919941
45120
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb
SAT
0
0.986849
0.979199
45085
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223689.opb
SAT
0
0.987849
0.993419
44936
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb
SAT
0
1.02184
0.956327
45029
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226241.opb
SAT
0
1.06584
1.06213
44873
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900577000.opb
SAT
0
1.18282
1.12034
45017
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561389.opb
SAT
0
1.22981
1.2173
44984
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army9.12bt.opb
SAT
0
1.23281
1.21166
44852
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973478.opb
SAT
0
1.25581
1.2579
44923
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553606.opb
SAT
0
1.25781
1.19281
45010
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975678.opb
SAT
0
1.2948
1.297
44916
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977266.opb
SAT
0
1.3238
1.32523
44926
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574948.opb
SAT
0
1.42478
1.38556
44971
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972958.opb
SAT
0
1.42978
1.42418
44872
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900544463.opb
SAT
0
1.46178
1.3998
44999
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554375.opb
SAT
0
1.46178
1.39444
44994
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567003.opb
SAT
0
1.47977
1.41254
45014
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557568.opb
SAT
0
1.77773
1.72549
44983
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970277.opb
SAT
0
1.86372
1.85865
44859
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219399.opb
SAT
0
1.90171
1.89813
44940
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb
SAT
0
1.90971
1.9035
45086
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227418.opb
SAT
0
1.9467
1.9451
44939
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900549974.opb
SAT
0
2.00969
1.96259
44961
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561384.opb
SAT
0
2.02669
2.01656
45023
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223696.opb
SAT
0
2.15367
2.14647
44913
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217380.opb
SAT
0
2.23166
2.22777
44863
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb
SAT
0
2.34764
2.27977
45021
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968431.opb
SAT
0
2.42263
2.42603
44937
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969933.opb
SAT
0
2.43463
2.43129
44893
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975832.opb
SAT
0
2.51362
2.51561
44943
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216864.opb
SAT
0
2.6266
2.62618
44879
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223416.opb
SAT
0
2.68459
2.70612
44918
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224522.opb
SAT
0
2.75858
2.75659
44870
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547427.opb
SAT
0
2.76958
2.70526
45033
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576918.opb
SAT
0
2.84457
2.76872
45054
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111221953.opb
SAT
0
2.89956
2.89651
44946
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973863.opb
SAT
0
2.98554
2.97994
44911
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216188.opb
SAT
0
3.00854
3.00743
44899
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222080.opb
SAT
0
3.12952
3.12808
44952
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb
SAT
0
3.50647
3.44005
45040
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army9.12ls.opb
SAT
0
3.65644
3.64806
44854
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554067.opb
SAT
0
3.87741
3.81093
45022
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222248.opb
SAT
0
4.08038
4.0749
44922
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970170.opb
SAT
0
4.20036
4.19073
44886
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971097.opb
SAT
0
4.37833
4.37724
44888
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547334.opb
SAT
0
4.52731
4.45978
45020
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557413.opb
SAT
0
4.63429
4.58233
44990
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb
SAT
0
4.74628
4.67841
45027
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552311.opb
SAT
0
4.76227
4.69565
45004
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb
SAT
0
5.64514
5.58344
45013
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670756.opb
SAT
0
6.27904
6.21534
45007
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559641.opb
SAT
0
6.43002
6.3681
44980
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547461.opb
SAT
0
6.83696
6.77511
45035
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568952.opb
SAT
0
7.40587
7.34563
44959
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb
SAT
0
7.96079
7.96052
45087
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900582376.opb
SAT
0
7.98279
7.91815
44979
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin10.opb
SAT
0
8.08377
7.98835
44842
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14bt.opb
SAT
0
9.74652
9.72367
44845
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567939.opb
SAT
0
10.2704
10.2104
45049
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army11.17bt.opb
SAT
0
11.9042
11.8792
44846
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547416.opb
SAT
0
12.1721
12.114
44993
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
SAT
0
14.8387
13.8388
45187
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb
SAT
0
16.2165
16.2117
45082
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547353.opb
SAT
0
16.4665
16.4069
45047
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559416.opb
SAT
0
16.5875
16.5303
45031
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
SAT
0
35.1687
25.2045
45062
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
SAT
0
35.4296
25.5454
45064
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566270.opb
SAT
0
36.6354
36.6589
45055
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb
SAT
0
36.8194
36.7722
44966
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14ls.opb
SAT
0
39.8289
39.8217
44851
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
SAT
0
42.2396
32.3728
45075
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
SAT
0
42.6865
32.8122
45066
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
SAT
0
57.6402
47.6953
45067
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
SAT
0
63.0644
62.1774
45189
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb
SAT
0
69.5824
69.6041
45094
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army11.17ls.opb
SAT
0
103.715
103.781
44853
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb
SAT
0
129.852
129.885
45092
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
SAT
0
142.63
111.686
45076
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24bt.opb
SAT
0
143.018
143.027
44848
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
SAT
0
145.151
114.258
45074
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
SAT
0
195.903
164.727
45072
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
SAT
0
240.371
211.731
45065
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb
SAT
0
265.804
265.854
45079
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
SAT
0
339.098
259.267
45063
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
SAT
0
492.86
492.075
45185
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
SAT
0
751.024
722.858
45071
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
SAT
0
845.952
766.036
45073
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
SAT
0
867.287
793.095
45070
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24ls.opb
SAT
0
1054.36
1054.69
44855
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
SAT
0
1196.83
1116.69
45069
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
SAT
0
1471.06
1394.24
45068
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin12.opb
SAT
0
1614.01
1614.36
44839
Solver timed out (no solution given) (120 runs)
[Show/Hide]
Benchmark Name
Answer
Objective function
CPU time
Wall clock time
TraceID
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
? (TO)
1800.04
1781.28
45175
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-51-50.opb
? (TO)
1800.05
1799.27
46411
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb
? (TO)
1800.05
1800.25
45168
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl.opb
? (TO)
1800.05
1800.25
45157
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl.opb
? (TO)
1800.05
1793.3
45163
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl.opb
? (TO)
1800.05
1792.18
45153
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
? (TO)
1800.09
1797.27
45139
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb
? (TO)
1800.11
1800.23
45159
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl.opb
? (TO)
1800.14
1800.26
45155
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-71-70.opb
? (TO)
1800.16
1796.26
46413
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin14.opb
? (TO)
1800.17
1800.25
44844
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.ucl.opb
? (TO)
1800.19
1800.35
45166
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb
? (TO)
1800.21
1800.25
45164
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin16.opb
? (TO)
1800.25
1800.26
44841
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-85-80.opb
? (TO)
1800.25
1793.3
46434
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-81-80.opb
? (TO)
1800.26
1794.31
46446
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
? (TO)
1800.26
1799.27
45181
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
? (TO)
1800.29
1798.27
45060
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-61-60.opb
? (TO)
1800.35
1798.31
46416
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb
? (TO)
1800.36
1793.24
45169
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
? (TO)
1800.37
1799.27
45138
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
? (TO)
1800.37
1800.31
45180
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
? (TO)
1800.38
1784.26
45135
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb
? (TO)
1800.4
1800.24
45142
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb
? (TO)
1800.42
1800.35
45174
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-75-70.opb
? (TO)
1800.46
1796.27
46418
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-55-50.opb
? (TO)
1800.46
1799.23
46432
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-41-40.opb
? (TO)
1800.47
1800.23
46423
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army12.21ls.opb
? (TO)
1800.5
1801.34
44856
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-101-100.opb
? (TO)
1800.52
1788.3
46415
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb
? (TO)
1800.54
1801.3
45128
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
? (TO)
1800.54
1796.26
45149
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-105-100.opb
? (TO)
1800.56
1787.25
46409
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb
? (TO)
1800.58
1801.26
46439
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb
? (TO)
1800.6
1801.34
46412
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-45-40.opb
? (TO)
1800.6
1800.36
46428
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
? (TO)
1800.6
1795.31
45167
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb
? (TO)
1800.6
1801.29
45091
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
? (TO)
1800.6
1801.25
45117
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
? (TO)
1800.6
1800.25
45188
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb
? (TO)
1800.6
1801.29
45122
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb
? (TO)
1800.61
1801.3
45130
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb
? (TO)
1800.61
1801.29
46441
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-25-20.opb
? (TO)
1800.62
1801.29
46433
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
? (TO)
1800.62
1801.26
45103
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
? (TO)
1800.63
1801.33
45121
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb
? (TO)
1800.63
1796.28
45182
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb
? (TO)
1800.64
1801.3
46440
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb
? (TO)
1800.64
1801.23
45131
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb
? (TO)
1800.64
1801.29
45108
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl.opb
? (TO)
1800.64
1799.3
45176
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb
? (TO)
1800.65
1801.31
45099
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
? (TO)
1800.66
1800.27
45186
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb
? (TO)
1800.66
1801.26
45077
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb
? (TO)
1800.67
1801.27
46408
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
? (TO)
1800.67
1801.31
45102
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb
? (TO)
1800.67
1801.28
45123
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb
? (TO)
1800.67
1800.27
45147
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb
? (TO)
1800.68
1801.32
46445
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army12.21bt.opb
? (TO)
1800.69
1801.26
44849
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb
? (TO)
1800.69
1801.27
45127
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
? (TO)
1800.69
1801.31
45098
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
? (TO)
1800.7
1797.27
45058
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
? (TO)
1800.7
1800.3
45184
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
? (TO)
1800.71
1801.33
45114
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb
? (TO)
1800.72
1801.37
45100
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
? (TO)
1800.72
1801.32
45119
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb
? (TO)
1800.73
1801.28
46424
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb
? (TO)
1800.73
1801.38
46410
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb
? (TO)
1800.74
1801.38
46421
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb
? (TO)
1800.74
1801.26
46422
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
? (TO)
1800.74
1801.27
45078
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb
? (TO)
1800.74
1801.27
45109
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb
? (TO)
1800.75
1801.32
45105
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb
? (TO)
1800.75
1801.33
45110
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
? (TO)
1800.75
1801.25
45090
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb
? (TO)
1800.77
1801.24
46414
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb
? (TO)
1800.77
1801.24
46430
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
? (TO)
1800.77
1801.3
45095
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
? (TO)
1800.77
1801.3
45097
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-44s.smv.opb
? (TO)
1800.78
1801.25
45145
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
? (TO)
1800.78
1801.27
45162
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
? (TO)
1800.78
1801.26
45084
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb
? (TO)
1800.79
1799.3
45141
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb
? (TO)
1800.8
1801.28
45140
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-105-100.opb
? (TO)
1800.82
1801.32
46442
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-101-100.opb
? (TO)
1800.82
1801.25
46419
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
? (TO)
1800.82
1801.31
45101
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb
? (TO)
1800.82
1801.27
45088
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-21-20.opb
? (TO)
1800.83
1801.29
46431
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb
? (TO)
1800.83
1801.28
46429
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb
? (TO)
1800.83
1801.22
46426
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb
? (TO)
1800.83
1801.34
45093
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
? (TO)
1800.84
1801.26
45118
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb
? (TO)
1800.85
1801.28
45106
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-65-60.opb
? (TO)
1800.85
1798.31
46427
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-46s.smv.opb
? (TO)
1800.85
1801.29
45136
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
? (TO)
1800.87
1800.28
45057
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb
? (TO)
1800.88
1801.26
45080
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb
? (TO)
1800.88
1799.31
45137
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-31-30.opb
? (TO)
1800.89
1801.2
46420
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb
? (TO)
1800.89
1801.31
45104
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k3_l6_n1500.opb
? (TO)
1800.89
1770.31
45059
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
? (TO)
1800.89
1801.33
45089
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
? (TO)
1800.9
1801.27
45112
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb
? (TO)
1800.91
1801.31
46425
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
? (TO)
1800.91
1801.24
45107
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl.opb
? (TO)
1800.92
1801.25
45179
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb
? (TO)
1800.93
1801.34
46438
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
? (TO)
1800.93
1790.27
45177
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
? (TO)
1800.93
1799.31
45154
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
? (TO)
1800.94
1785.26
45061
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-35-30.opb
? (TO)
1800.94
1801.28
46447
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
? (TO)
1800.95
1793.25
45183
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-95-90.opb
? (TO)
1800.97
1791.2
46437
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
? (TO)
1800.97
1794.3
45161
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-43s.smv.opb
? (TO)
1800.98
1800.89
45156
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin18.opb
? (TO)
1800.99
1800.25
44843
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-91-90.opb
? (TO)
1801
1792.22
46417
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
? (TO)
1801.01
1801.25
45126