PB'06 evaluation: benchmarks results per solver
Result page for solver PB-smodels
1.28
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.035993
0.034414
34089
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=379-Q=521.opb
UNSAT
0.063989
0.058275
47289
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=383-Q=521.opb
UNSAT
0.066988
0.0608759
47323
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=397-Q=521.opb
UNSAT
0.071988
0.059508
47396
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=29-Q=521.opb
UNSAT
0.076987
0.0703849
47251
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=23-Q=521.opb
UNSAT
0.080986
0.0712639
47354
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=113-Q=521.opb
UNSAT
0.081986
0.078486
47406
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa0432-003.opb
UNSAT
0.19297
0.155575
34291
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-bore3d.opb
UNSAT
1.69174
1.20232
33900
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos11.opb
UNSAT
2.50162
1.87328
33806
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos17.opb
UNSAT
2.57561
1.91125
33825
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-bf1355-075.opb
UNSAT
2.6416
2.39694
34399
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-bf1355-638.opb
UNSAT
2.71559
2.46751
34383
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-bandm.opb
UNSAT
3.22351
2.26237
33915
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-e226.opb
UNSAT
3.79042
3.1928
33876
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa6288-047.opb
UNSAT
9.62654
8.34452
34298
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos12.opb
UNSAT
12.1172
9.61123
33809
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_2.opb
UNSAT
12.5021
12.5187
49596
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-bf0432-007.opb
UNSAT
14.1159
13.9935
34303
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_4.opb
UNSAT
18.4002
18.4098
49602
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bnl1.opb
UNSAT
19.663
17.9253
33934
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_1.opb
UNSAT
21.3338
21.3484
49600
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum1.opb
UNSAT
24.9532
19.8746
34029
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_3.opb
UNSAT
30.5783
30.5944
49592
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-pilot.opb
UNSAT
32.5381
26.2678
33933
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-atlanta-ip.opb
UNSAT
42.8455
36.9027
34015
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bnl2.opb
UNSAT
56.6564
51.8337
33948
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-pilot87.opb
UNSAT
62.2075
52.2065
33883
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa2670-130.opb
UNSAT
84.4972
84.389
34372
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum2.opb
UNSAT
91.0722
63.6339
34005
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-czprob.opb
UNSAT
201.218
198.678
33903
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa2670-141.opb
UNSAT
373.17
373.183
34386
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-80bau3b.opb
UNSAT
833.774
827.932
33943
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-bf2670-001.opb
UNSAT
1184.76
1184.97
34333
Solver found optimum (OPTIMUM FOUND) (345 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.031995
0.0395291
34092
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g2x2.opb
OPT
2
0.033994
0.0376539
34442
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-b1.opb
OPT
128
0.035994
0.042878
34244
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C17.opb
OPT
260
0.036993
0.0361561
34252
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g4x4.opb
OPT
4
0.038993
0.042272
34445
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein15.opb
OPT
9
0.038993
0.044158
34094
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.042992
0.0398951
33866
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-1_6-yes1-4.opb
OPT
50
0.046992
0.0481411
34347
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb
OPT
50
0.048992
0.0546509
34297
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb
OPT
3089
0.049991
0.050155
34093
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_4.opb
OPT
6
0.050991
0.054377
49628
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb
OPT
6
0.051991
0.053872
46510
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb
OPT
50
0.052991
0.0527479
34387
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb
OPT
50
0.052991
0.055735
34416
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-3_4-yes1-4.opb
OPT
50
0.053991
0.055286
34324
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb
OPT
50
0.053991
0.0518859
34353
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=191-Q=509.opb
OPT
191
0.053991
0.0551251
47257
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb
OPT
50
0.053991
0.079891
34344
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=439-Q=509.opb
OPT
439
0.053991
0.0566209
47349
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bbara.r.opb
OPT
7
0.054991
0.0505031
49557
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=313-Q=503.opb
OPT
313
0.054991
0.061978
47382
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=239-Q=487.opb
OPT
239
0.05599
0.056915
47283
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g9x3.opb
OPT
7
0.05699
0.0567679
34447
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb
OPT
50
0.05699
0.052891
34309
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=97-Q=509.opb
OPT
97
0.05699
0.058628
47343
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=71-Q=491.opb
OPT
71
0.05799
0.0591181
47426
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=7-Q=223.opb
OPT
7
0.05799
0.0585429
47334
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=157-Q=373.opb
OPT
157
0.05799
0.0678031
47433
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb
OPT
50
0.05799
0.0558901
34293
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=29-Q=277.opb
OPT
29
0.05799
0.060127
47282
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=61-Q=419.opb
OPT
61
0.05799
0.059104
47294
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-2_0-yes1-3.opb
OPT
50
0.057991
0.0868609
34356
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=17-Q=487.opb
OPT
17
0.05899
0.0574921
47288
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=59-Q=431.opb
OPT
59
0.05899
0.056517
47253
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=191-Q=449.opb
OPT
191
0.05899
0.062015
47394
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=443-Q=487.opb
OPT
443
0.05899
0.0591331
47313
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=83-Q=367.opb
OPT
83
0.05899
0.0605009
47308
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=29-Q=409.opb
OPT
29
0.05899
0.0623501
47369
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb
OPT
50
0.059989
0.107488
34389
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=97-Q=479.opb
OPT
97
0.05999
0.0684921
47413
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=499.opb
OPT
223
0.05999
0.0568699
47357
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=127-Q=499.opb
OPT
127
0.05999
0.0546579
47314
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=487.opb
OPT
149
0.05999
0.0606151
47309
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=17-Q=457.opb
OPT
17
0.05999
0.058147
47307
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=59-Q=307.opb
OPT
59
0.05999
0.0594209
47332
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=431-Q=503.opb
OPT
431
0.05999
0.0587519
47345
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=127-Q=491.opb
OPT
127
0.05999
0.0592579
47337
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=71-Q=409.opb
OPT
71
0.05999
0.060246
47355
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=47-Q=421.opb
OPT
47
0.05999
0.0596191
47367
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=353-Q=479.opb
OPT
353
0.060989
0.063368
47408
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=7-Q=31.opb
OPT
1
0.060989
0.0636421
47423
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=107-Q=503.opb
OPT
107
0.06099
0.0593941
47373
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=83-Q=449.opb
OPT
83
0.06099
0.058514
47292
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=211-Q=479.opb
OPT
211
0.06099
0.0565141
47280
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=37-Q=443.opb
OPT
37
0.06099
0.0623679
47319
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=449-Q=479.opb
OPT
449
0.061989
0.060383
47296
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=383-Q=509.opb
OPT
383
0.061989
0.057135
47434
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=43-Q=227.opb
OPT
43
0.061989
0.063015
47363
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=29-Q=163.opb
OPT
29
0.061989
0.063499
47366
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=29-Q=331.opb
OPT
29
0.06199
0.0869941
47415
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=31-Q=439.opb
OPT
31
0.06199
0.0603721
47290
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=269-Q=433.opb
OPT
269
0.06199
0.0657651
47284
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=101-Q=457.opb
OPT
101
0.06199
0.05689
47320
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=409-Q=509.opb
OPT
409
0.062989
0.104227
47248
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=83-Q=197.opb
OPT
83
0.062989
0.061012
47304
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=409.opb
OPT
149
0.06299
0.0583889
47270
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=11-Q=53.opb
OPT
11
0.06299
0.0546431
47412
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=397-Q=449.opb
OPT
397
0.06299
0.05738
47417
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=109-Q=373.opb
OPT
109
0.06299
0.0634571
47427
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=67-Q=223.opb
OPT
67
0.06299
0.0637639
47393
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=257-Q=449.opb
OPT
257
0.06299
0.0643469
47279
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=83-Q=271.opb
OPT
83
0.06299
0.0662331
47365
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=397.opb
OPT
149
0.063989
0.059742
47344
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=347.opb
OPT
89
0.063989
0.0619981
47407
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=73-Q=449.opb
OPT
73
0.063989
0.06276
47430
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=487-Q=503.opb
OPT
487
0.063989
0.0764619
47324
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=127-Q=487.opb
OPT
127
0.063989
0.118461
47351
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=29-Q=479.opb
OPT
29
0.063989
0.0605109
47376
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=79-Q=331.opb
OPT
79
0.06399
0.060254
47291
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=113-Q=479.opb
OPT
113
0.06399
0.0654569
47428
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=5-Q=317.opb
OPT
5
0.06399
0.0623901
47303
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb
OPT
50
0.064989
0.065262
34360
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=211-Q=347.opb
OPT
211
0.064989
0.102602
47265
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=509.opb
OPT
149
0.064989
0.0596149
47425
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=179-Q=509.opb
OPT
179
0.064989
0.0592751
47379
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=281-Q=499.opb
OPT
281
0.064989
0.0791269
47256
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=347-Q=419.opb
OPT
347
0.064989
0.0653449
47398
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=53-Q=191.opb
OPT
53
0.064989
0.062235
47262
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=487-Q=499.opb
OPT
487
0.064989
0.0578889
47293
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=59-Q=337.opb
OPT
59
0.064989
0.0581099
47330
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=53-Q=97.opb
OPT
53
0.064989
0.0589731
47375
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=127-Q=389.opb
OPT
127
0.064989
0.062138
47275
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=197-Q=479.opb
OPT
197
0.06499
0.0615881
47418
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=421-Q=487.opb
OPT
421
0.06499
0.0617079
47305
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb
OPT
100
0.065989
0.0634461
34379
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=107-Q=373.opb
OPT
107
0.065989
0.062631
47420
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=127-Q=211.opb
OPT
127
0.065989
0.0671351
47414
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=389.opb
OPT
331
0.065989
0.0617529
47397
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=367-Q=389.opb
OPT
367
0.065989
0.061977
47432
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=389-Q=433.opb
OPT
389
0.065989
0.0647729
47261
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=61-Q=307.opb
OPT
61
0.065989
0.090616
47299
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=211.opb
OPT
89
0.065989
0.0631341
47306
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=421.opb
OPT
223
0.065989
0.0627409
47325
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=7-Q=179.opb
OPT
7
0.065989
0.099859
47322
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=431.opb
OPT
89
0.065989
0.0594999
47356
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=487.opb
OPT
89
0.065989
0.0599879
47364
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=47-Q=487.opb
OPT
47
0.065989
0.0583901
47372
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=307-Q=449.opb
OPT
307
0.065989
0.126833
47402
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=347-Q=487.opb
OPT
347
0.065989
0.0602489
47390
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=79-Q=257.opb
OPT
79
0.066988
0.0606251
47285
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb
OPT
68
0.066989
0.0658789
34363
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb
OPT
50
0.066989
0.0891171
34422
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=383.opb
OPT
223
0.066989
0.0603489
47268
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=13-Q=179.opb
OPT
13
0.066989
0.0969891
47404
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=101-Q=409.opb
OPT
101
0.066989
0.065855
47436
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb
OPT
50
0.066989
0.0661391
34299
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=409-Q=499.opb
OPT
409
0.066989
0.064877
47276
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=113-Q=331.opb
OPT
113
0.066989
0.063263
47272
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-6_0-yes1-4.opb
OPT
50
0.066989
0.064276
34306
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=97-Q=457.opb
OPT
97
0.067989
0.0656751
47392
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=347-Q=421.opb
OPT
347
0.067989
0.064641
47362
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=307-Q=431.opb
OPT
307
0.067989
0.060101
47381
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=347-Q=379.opb
OPT
347
0.067989
0.079618
47246
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=29-Q=71.opb
OPT
29
0.067989
0.122467
47255
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=269-Q=431.opb
OPT
269
0.067989
0.0647519
47395
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=17-Q=347.opb
OPT
17
0.067989
0.0591381
47277
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=257-Q=503.opb
OPT
257
0.067989
0.0705031
47281
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=359-Q=379.opb
OPT
359
0.067989
0.069133
47302
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=251-Q=331.opb
OPT
251
0.068988
0.067511
47269
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=379.opb
OPT
223
0.068988
0.128477
47435
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=113-Q=233.opb
OPT
113
0.068988
0.0658451
47295
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=109-Q=419.opb
OPT
109
0.068988
0.066243
47316
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=263.opb
OPT
223
0.068988
0.0651469
47339
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=83-Q=89.opb
OPT
83
0.068988
0.0701069
47348
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=239-Q=373.opb
OPT
239
0.068988
0.0747461
47383
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb
OPT
64
0.068988
0.065517
34338
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=347.opb
OPT
331
0.068989
0.086997
47422
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=379-Q=431.opb
OPT
379
0.068989
0.0831249
47405
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=37-Q=107.opb
OPT
37
0.068989
0.066408
47377
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=431.opb
OPT
223
0.068989
0.106603
47328
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=479.opb
OPT
331
0.068989
0.064241
47340
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb
OPT
75
0.068989
0.0696199
34441
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=59-Q=131.opb
OPT
59
0.069988
0.064245
47389
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=79-Q=173.opb
OPT
79
0.069988
0.065752
47297
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=47-Q=197.opb
OPT
47
0.069988
0.0635101
47317
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=67-Q=191.opb
OPT
67
0.069988
0.0643589
47326
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=47-Q=71.opb
OPT
47
0.069988
0.0648719
47346
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb
OPT
67
0.069989
0.0776271
34342
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=53-Q=127.opb
OPT
53
0.069989
0.066886
47403
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=227-Q=383.opb
OPT
227
0.069989
0.0675901
47278
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=191-Q=389.opb
OPT
191
0.069989
0.067715
47327
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=421-Q=449.opb
OPT
421
0.070988
0.0653949
47429
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=167-Q=347.opb
OPT
167
0.070988
0.0984861
47424
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=251-Q=277.opb
OPT
251
0.070988
0.0939859
47263
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=191-Q=251.opb
OPT
191
0.070988
0.0711109
47271
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=331.opb
OPT
331
0.070988
0.0660991
47311
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=61-Q=163.opb
OPT
61
0.070988
0.075771
47353
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=251-Q=379.opb
OPT
251
0.070988
0.065252
47371
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=127-Q=359.opb
OPT
127
0.070988
0.0687671
47370
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb
OPT
50
0.070988
0.064134
34304
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=173-Q=211.opb
OPT
173
0.070989
0.0694831
47333
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=307.opb
OPT
223
0.070989
0.063511
47361
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=317.opb
OPT
89
0.071988
0.06227
47409
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=251.opb
OPT
149
0.071988
0.071007
47401
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=293.opb
OPT
89
0.071988
0.063505
47274
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=379-Q=397.opb
OPT
379
0.071988
0.0656329
47321
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=101-Q=379.opb
OPT
101
0.071988
0.0707489
47335
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=229-Q=307.opb
OPT
229
0.071988
0.0907329
47342
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=269-Q=359.opb
OPT
269
0.071988
0.0748749
47378
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=11-Q=283.opb
OPT
11
0.072987
0.0681201
47264
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=263.opb
OPT
89
0.072988
0.07624
47368
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=307-Q=367.opb
OPT
307
0.072988
0.0899689
47254
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=97-Q=331.opb
OPT
97
0.072988
0.0646261
47391
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=251-Q=419.opb
OPT
251
0.072988
0.0656329
47431
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=41-Q=347.opb
OPT
41
0.072988
0.074811
47301
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=263-Q=367.opb
OPT
263
0.072988
0.06987
47341
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=317-Q=389.opb
OPT
317
0.073987
0.150913
47411
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=131-Q=163.opb
OPT
131
0.073988
0.070754
47416
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=131-Q=277.opb
OPT
131
0.073988
0.0704901
47380
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=101-Q=223.opb
OPT
101
0.074987
0.073466
47260
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=251-Q=307.opb
OPT
251
0.074988
0.0683869
47267
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=23-Q=293.opb
OPT
23
0.074988
0.097604
47250
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=71-Q=461.opb
OPT
71
0.074988
0.0691919
47385
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=53-Q=151.opb
OPT
53
0.074988
0.068868
47312
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=347-Q=431.opb
OPT
347
0.074988
0.0952249
47310
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=271.opb
OPT
149
0.074988
0.0737439
47336
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=23-Q=379.opb
OPT
23
0.074988
0.0728751
47352
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=173-Q=173.opb
OPT
173
0.074988
0.075367
47374
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=229-Q=239.opb
OPT
229
0.075987
0.082405
47245
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=233-Q=347.opb
OPT
233
0.075987
0.070254
47388
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb
OPT
75
0.075988
0.069881
34381
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=167.opb
OPT
149
0.075988
0.0733649
47350
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=131-Q=157.opb
OPT
131
0.076987
0.075007
47410
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=79-Q=137.opb
OPT
79
0.076988
0.0682541
47358
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=293.opb
OPT
149
0.076988
0.131477
47258
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=151-Q=167.opb
OPT
151
0.076988
0.0738231
47399
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=157-Q=163.opb
OPT
157
0.076988
0.074501
47360
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=347.opb
OPT
223
0.077987
0.0748409
47286
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=347-Q=439.opb
OPT
347
0.077987
0.0777509
47266
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=257-Q=331.opb
OPT
257
0.077987
0.077838
47315
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb
OPT
11
0.077987
0.073767
46501
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=59-Q=419.opb
OPT
59
0.077988
0.095747
47419
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=139-Q=191.opb
OPT
139
0.078987
0.077102
47421
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=307-Q=331.opb
OPT
307
0.078987
0.071375
47259
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=127-Q=137.opb
OPT
127
0.078987
0.214037
47247
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=157-Q=181.opb
OPT
157
0.078987
0.074353
47347
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=131-Q=137.opb
OPT
131
0.079987
0.076342
47331
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=293-Q=307.opb
OPT
293
0.079987
0.080999
47387
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=173-Q=191.opb
OPT
173
0.080986
0.075614
47273
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=359.opb
OPT
331
0.080987
0.0727451
47384
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb
OPT
100
0.081987
0.133846
34289
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=379.opb
OPT
331
0.081987
0.154423
47252
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=307-Q=347.opb
OPT
307
0.081987
0.075864
47298
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=281-Q=331.opb
OPT
281
0.081987
0.0767559
47329
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=167-Q=173.opb
OPT
167
0.081987
0.0782281
47338
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex5inp.r.opb
OPT
4
0.083986
0.08373
49582
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_5.opb
OPT
11
0.083986
0.076227
49636
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb
OPT
100
0.084986
0.0737411
34307
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb
OPT
100
0.084986
0.079254
34348
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=307-Q=307.opb
OPT
307
0.084986
0.0788719
47318
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=307-Q=317.opb
OPT
307
0.085985
0.082879
47359
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=163.opb
OPT
149
0.085986
0.08698
47249
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=167-Q=179.opb
OPT
167
0.086986
0.0796281
47400
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=127-Q=149.opb
OPT
127
0.086986
0.0833461
47386
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=283-Q=293.opb
OPT
283
0.087986
0.0806261
47287
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb
OPT
100
0.088985
0.145955
34355
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=263-Q=307.opb
OPT
263
0.093984
0.159329
47300
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_70_70.r.opb
OPT
2
0.098984
0.131161
49531
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-misc02.opb
OPT
262571
0.098984
0.096477
33970
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb
OPT
100
0.101983
0.0899819
34300
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb
OPT
100
0.101983
0.161328
34412
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_40_40.r.opb
OPT
2
0.101984
0.089638
49560
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb
OPT
100
0.103983
0.09219
34384
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb
OPT
100
0.105983
0.0903551
34340
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_90_90.r.opb
OPT
2
0.121981
0.177935
49572
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh12.opb
OPT
94
0.144977
0.118601
34366
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh212.opb
OPT
97
0.145977
0.125566
34425
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh17.opb
OPT
95
0.145977
0.1188
34426
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh207.opb
OPT
95
0.146976
0.124352
34346
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh205.opb
OPT
94
0.148977
0.121849
34361
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh213.opb
OPT
92
0.150976
0.125711
34407
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-enigma.opb
OPT
0
0.159975
0.160066
33964
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh7.opb
OPT
89
0.161974
0.136715
34414
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh218.opb
OPT
90
0.164974
0.147531
34432
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh209.opb
OPT
93
0.165973
0.135968
34351
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh301.opb
OPT
95
0.165974
0.142451
34332
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb
OPT
200
0.167973
0.194545
34406
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-mas76.opb
OPT
1
0.173973
0.15981
34038
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb
OPT
200
0.176972
0.159452
34330
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-opus.r.opb
OPT
5
0.177972
0.190674
49535
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-mas74.opb
OPT
1
0.179972
0.165658
34036
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh220.opb
OPT
94
0.185971
0.160956
34402
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb
OPT
200
0.18697
0.148951
34371
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb
OPT
200
0.186971
0.162454
34310
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb
OPT
200
0.186971
0.159192
34427
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-2.opb
OPT
350
0.187971
0.152827
34423
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb
OPT
200
0.18997
0.156075
34302
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_90_90.r.opb
OPT
2
0.19197
0.16392
49542
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-4.opb
OPT
350
0.194969
0.155713
34417
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-5.opb
OPT
350
0.19497
0.158575
34327
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-1.opb
OPT
350
0.195969
0.157453
34315
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb
OPT
200
0.198969
0.25779
34380
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb
OPT
100
0.199969
0.192293
34320
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh204.opb
OPT
93
0.199969
0.168689
34440
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-misc01.opb
OPT
262288
0.199969
0.195811
33986
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-3.opb
OPT
350
0.201969
0.159702
34312
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb
OPT
200
0.206968
0.168557
34294
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh1.opb
OPT
92
0.214966
0.188418
34322
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_30_30.r.opb
OPT
3
0.215967
0.205406
49549
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a1.opb
OPT
54
0.223965
0.219571
34368
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb
OPT
34
0.25896
0.276494
34090
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein27.opb
OPT
18
0.279956
0.309356
34091
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.290955
0.290975
33865
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh210.opb
OPT
88
0.297954
0.272258
34334
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb
OPT
100
0.323949
0.318087
34328
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb
OPT
100
0.342947
0.336448
34365
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0291.opb
OPT
7985
0.401938
0.396938
33987
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb
OPT
100
0.409936
0.402043
34358
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb
OPT
17
0.457929
0.43139
46500
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb
OPT
100
0.541917
0.533092
34316
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex6inp.r.opb
OPT
4
0.567913
0.567929
49548
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_50_50.r.opb
OPT
3
0.58691
0.601386
49534
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh217.opb
OPT
89
0.615905
0.588195
34359
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_6.opb
OPT
17
0.675896
0.659697
49640
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb
OPT
36
1.02984
1.01067
34264
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb
OPT
36
1.15482
1.13473
34257
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb
OPT
36
1.18282
1.16396
34267
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ4_3.opb
OPT
20
1.20482
1.17867
34242
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data4_3.opb
OPT
8276
1.38579
1.36278
34239
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_70_70.r.opb
OPT
3
1.41378
1.39403
49552
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb
OPT
34
1.48177
1.46065
34266
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb
OPT
36
1.57076
1.54873
34265
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-pipex.opb
OPT
164393
1.89371
1.89023
33963
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb
OPT
62027
1.9597
1.95246
34097
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-misc03.opb
OPT
262989
2.72159
2.79405
33971
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-4.opb
OPT
1015
3.08853
2.96184
34319
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-dk512x.r.opb
OPT
6
3.22351
3.2203
49551
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b2.opb
OPT
244
3.33749
3.26086
34434
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-3.opb
OPT
1015
3.86141
3.76035
34341
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-2.opb
OPT
1015
5.33219
5.21445
34410
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-1-c.opb
OPT
317
6.06008
6.02045
34409
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_20_20.r.opb
OPT
5
6.592
6.58286
49565
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-1.opb
OPT
1015
6.66299
6.53724
34433
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh201.opb
OPT
84
6.67198
6.64695
34308
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-2-c.opb
OPT
349
8.39072
8.35276
34429
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_7.opb
OPT
25
8.42272
8.3686
49631
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-5.opb
OPT
1015
8.42372
8.29742
34343
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb
OPT
25
9.06962
9.01663
46504
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_30_30.r.opb
OPT
4
9.40757
9.40359
49574
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-4-c.opb
OPT
324
9.8365
9.79936
34292
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b4.opb
OPT
376
9.8425
9.60824
34418
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32a1.opb
OPT
444
16.7335
16.475
34395
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g7x7.opb
OPT
12
17.2254
17.2261
34446
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-5-c.opb
OPT
341
18.2832
18.2525
34436
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c3.opb
OPT
261
20.023
19.9123
34314
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_50_50.r.opb
OPT
4
22.3046
22.2972
49564
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein45.opb
OPT
30
26.402
26.4121
34095
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-3-c.opb
OPT
334
31.7352
31.7043
34345
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb
OPT
100
34.4878
34.4971
34350
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-maincont.r.opb
OPT
7
39.544
39.551
49547
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air01.opb
OPT
1496
44.3053
44.4363
33975
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb
OPT
100
53.3859
53.3937
34374
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0282.opb
OPT
104028
54.8797
54.873
33966
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16e2.opb
OPT
520
57.9002
57.6885
34396
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b3.opb
OPT
331
60.3158
60.1139
34362
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-sentoy.opb
OPT
-7772
68.3546
68.3892
34087
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-hanoi4.opb
OPT
718
72.213
72.106
34424
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
OPT
2
103.13
103.159
49591
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_10_10.r.opb
OPT
8
104.609
104.646
49577
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_4.opb
OPT
1
111.64
111.708
49623
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ricks.r.opb
OPT
5
119.809
119.841
49556
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_1.opb
OPT
2
139.114
139.165
49622
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
OPT
1120
183.174
183.224
34098
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_2.opb
OPT
1
198.343
198.509
49611
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos8.opb
OPT
-3719
201.354
199.183
34079
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_8.opb
OPT
34
209.912
209.89
49633
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-rd73.b.opb
OPT
4
225.512
225.52
49559
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos10.opb
OPT
-1135
249.966
247.999
34077
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e3.opb
OPT
310
327.041
326.955
34382
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e5.opb
OPT
503
349.423
349.163
34323
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb
OPT
34
375.078
375.092
46514
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb
OPT
262858
546.397
546.593
34000
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb
OPT
200
614.646
614.812
34377
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb
OPT
200
1492.09
1492.72
34420
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_30_30.r.opb
OPT
5
1493.1
1493.51
49586
Solver timed out but found at least a solution (240 runs)
[Show/Hide]
Benchmark Name
Answer
Objective function
CPU time
Wall clock time
TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16d2.opb
SAT (TO)
785
1800
1800.27
34378
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.14.opb
SAT (TO)
67
1800.02
1740.28
49650
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)
770
1800.02
1800.29
33837
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
SAT (TO)
39
1800.05
1785.25
49652
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb
SAT (TO)
-35
1800.05
1798.25
34494
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
SAT (TO)
-33
1800.06
1798.28
34491
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
SAT (TO)
-33
1800.07
1798.23
34492
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
SAT (TO)
68
1800.07
1800.31
34460
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
SAT (TO)
-25
1800.08
1800.24
34465
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
SAT (TO)
59
1800.09
1748.31
49648
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb
SAT (TO)
386296
1800.09
1799.34
34007
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos1.opb
SAT (TO)
28
1800.1
1800.37
34080
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-gesa3.opb
SAT (TO)
820
1800.1
1800.28
34055
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
SAT (TO)
-30
1800.11
1798.25
34493
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
SAT (TO)
108
1800.11
1800.35
34458
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos18.opb
SAT (TO)
20
1800.11
1800.29
34076
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
SAT (TO)
-22
1800.13
1800.26
34469
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
SAT (TO)
-28
1800.14
1799.28
34484
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16c1.opb
SAT (TO)
1315
1800.15
1800.27
34400
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
SAT (TO)
-29
1800.17
1799.26
34482
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
SAT (TO)
3000
1800.17
1800.27
34448
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32d3.opb
SAT (TO)
802
1800.18
1800.26
34393
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-manna81.opb
SAT (TO)
-12183
1800.2
1800.26
34099
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-pdc.r.opb
SAT (TO)
386
1800.21
1798.26
49541
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16b2.opb
SAT (TO)
1031
1800.21
1800.32
34318
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.10.opb
SAT (TO)
66
1800.23
1721.23
49645
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16d1.opb
SAT (TO)
1137
1800.24
1800.26
34354
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16a2.opb
SAT (TO)
1227
1800.26
1800.23
34392
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum3.opb
SAT (TO)
413152
1800.26
1696.02
33997
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
SAT (TO)
-28
1800.27
1799.28
34480
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
SAT (TO)
175
1800.28
1800.24
34272
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-alu2.b.opb
SAT (TO)
72
1800.28
1800.27
49571
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb
SAT (TO)
-20
1800.28
1800.26
34467
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex7.b.opb
SAT (TO)
49
1800.29
1800.31
49578
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-apex4.a.opb
SAT (TO)
836
1800.29
1800.27
34277
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
SAT (TO)
61
1800.3
1736.21
49649
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
SAT (TO)
-21
1800.3
1800.35
34466
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.08.opb
SAT (TO)
46
1800.32
1782.27
49646
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
SAT (TO)
216
1800.32
1800.24
34453
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.11.opb
SAT (TO)
63
1800.34
1750.23
49647
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb
SAT (TO)
-22
1800.35
1800.32
34468
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex1010.pi.opb
SAT (TO)
485
1800.37
1800.29
49585
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb
SAT (TO)
390033
1800.37
1799.4
33852
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
SAT (TO)
325
1800.38
1800.28
34450
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
SAT (TO)
-26
1800.39
1800.27
34500
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
SAT (TO)
-30
1800.39
1799.33
34481
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-net12.opb
SAT (TO)
255
1800.39
1795.2
34106
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
SAT (TO)
-24
1800.4
1800.26
34502
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
SAT (TO)
183
1800.42
1800.31
34454
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16b1.opb
SAT (TO)
1665
1800.44
1800.28
34391
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-saucier.r.opb
SAT (TO)
7
1800.45
1799.31
49545
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c4.opb
SAT (TO)
736
1800.46
1800.23
34301
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.47
1799.28
33810
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
SAT (TO)
-31
1800.47
1799.26
34483
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_10_15.r.opb
SAT (TO)
8
1800.47
1801.22
49580
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
SAT (TO)
-26
1800.48
1800.44
34504
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.02.opb
SAT (TO)
62
1800.48
1747.25
49651
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.52
1796.27
33811
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-gesa2.opb
SAT (TO)
958
1800.53
1800.36
33998
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb
SAT (TO)
-26
1800.53
1800.33
34501
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-c8.opb
SAT (TO)
1259
1800.54
1801.26
34251
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-rd84.b.opb
SAT (TO)
6
1800.54
1799.27
49533
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_2.opb
SAT (TO)
76
1800.55
1801.26
49590
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-flugpl.opb
SAT (TO)
110
1800.55
1801.27
33984
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
SAT (TO)
306
1800.56
1801.29
34462
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
SAT (TO)
226
1800.56
1801.24
34189
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_2.opb
SAT (TO)
5
1800.56
1801.29
49621
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gt2.opb
SAT (TO)
11359
1800.57
1801.32
34056
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
SAT (TO)
-25
1800.57
1800.32
34503
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-bench1.pi.opb
SAT (TO)
202
1800.57
1801.3
34278
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb
SAT (TO)
3
1800.58
1801.28
49594
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_4.opb
SAT (TO)
26
1800.58
1801.31
49616
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
SAT (TO)
18
1800.58
1801.27
34459
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-prom2.pi.opb
SAT (TO)
459
1800.59
1801.3
34271
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e2.opb
SAT (TO)
235
1800.61
1801.26
34431
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-exam.pi.opb
SAT (TO)
123
1800.61
1801.33
34274
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
SAT (TO)
90
1800.61
1801.3
49615
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cm42a.opb
SAT (TO)
694
1800.61
1801.28
34249
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
SAT (TO)
229
1800.61
1801.27
34179
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
SAT (TO)
21
1800.62
1801.33
49605
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb
SAT (TO)
200
1800.62
1801.28
34337
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-e64.b.opb
SAT (TO)
67
1800.63
1801.28
34283
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
SAT (TO)
72
1800.63
1801.28
49619
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
SAT (TO)
1677
1800.63
1801.27
34253
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-max1024.pi.opb
SAT (TO)
327
1800.63
1801.28
34273
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8c1.opb
SAT (TO)
317
1800.64
1801.26
34404
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cmb.opb
SAT (TO)
1079
1800.64
1801.32
34250
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
SAT (TO)
228
1800.64
1801.2
34186
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-addm4.r.opb
SAT (TO)
213
1800.64
1801.27
49537
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-markshare1.opb
SAT (TO)
36
1800.64
1801.27
34016
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_10.r.opb
SAT (TO)
14
1800.65
1801.19
49555
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)
13
1800.65
1801.27
33864
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
SAT (TO)
123
1800.66
1801.28
49607
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_20.r.opb
SAT (TO)
24
1800.66
1801.23
49539
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb
SAT (TO)
6
1800.66
1801.27
49609
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_15.r.opb
SAT (TO)
11
1800.66
1801.36
49569
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
SAT (TO)
225
1800.66
1801.32
34178
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-m4.r.opb
SAT (TO)
116
1800.67
1801.27
49563
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-9sym.b.opb
SAT (TO)
7
1800.67
1801.32
34284
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)
11
1800.67
1801.24
33803
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_3.opb
SAT (TO)
49
1800.67
1801.27
49627
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_4.opb
SAT (TO)
9
1800.67
1801.31
49620
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-qnet1.opb
SAT (TO)
907
1800.67
1801.27
34061
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos5.opb
SAT (TO)
16272
1800.67
1801.2
34078
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
SAT (TO)
9
1800.67
1801.22
34452
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-my_adder.opb
SAT (TO)
5808
1800.68
1801.31
34245
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b1.opb
SAT (TO)
195
1800.68
1801.33
34401
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)
560
1800.68
1800.32
33856
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-seymour1.opb
SAT (TO)
108635
1800.68
1798.24
33821
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C880.b.opb
SAT (TO)
81
1800.68
1801.26
49575
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex4inp.r.opb
SAT (TO)
5
1800.68
1801.27
49561
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
SAT (TO)
214
1800.69
1801.31
34419
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
SAT (TO)
234
1800.69
1801.27
34180
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m200_500_10_10.r.opb
SAT (TO)
62
1800.69
1801.3
49573
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-count.b.opb
SAT (TO)
29
1800.69
1801.3
34279
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb
SAT (TO)
1086
1800.7
1801.23
34217
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-test1.r.opb
SAT (TO)
171
1800.7
1801.26
49581
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.b.opb
SAT (TO)
71
1800.7
1792.34
49584
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
SAT (TO)
1083
1800.7
1801.28
34208
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c1.opb
SAT (TO)
178
1800.7
1801.25
34388
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
SAT (TO)
233
1800.7
1801.29
34185
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb
SAT (TO)
66
1800.71
1801.26
34262
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_2.opb
SAT (TO)
9
1800.72
1801.23
49603
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
SAT (TO)
224
1800.72
1801.25
34184
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb
SAT (TO)
225
1800.72
1801.31
34181
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
SAT (TO)
-28
1800.72
1800.29
34472
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a4.opb
SAT (TO)
307
1800.72
1801.26
34415
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8d2.opb
SAT (TO)
613
1800.72
1801.27
34286
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8e1.opb
SAT (TO)
345
1800.73
1801.34
34349
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_10.r.opb
SAT (TO)
31
1800.73
1801.3
49570
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
SAT (TO)
60
1800.74
1801.25
34258
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-max512.r.opb
SAT (TO)
139
1800.74
1801.24
49550
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
SAT (TO)
228
1800.74
1801.26
34188
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-sample2.opb
SAT (TO)
8
1800.74
1801.27
33977
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
SAT (TO)
1093
1800.75
1801.25
34216
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex5.r.opb
SAT (TO)
72
1800.75
1801.29
49568
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
SAT (TO)
223
1800.75
1800.92
34190
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
SAT (TO)
1102
1800.75
1801.19
34214
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-fout.r.opb
SAT (TO)
51
1800.75
1801.25
49562
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
SAT (TO)
226
1800.75
1801.28
34192
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-des.a.opb
SAT (TO)
1065
1800.75
1800.23
49540
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32d1.opb
SAT (TO)
295
1800.76
1801.28
34435
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb
SAT (TO)
68
1800.76
1801.26
34255
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bench1.r.opb
SAT (TO)
205
1800.76
1801.26
49532
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-lin.rom.r.opb
SAT (TO)
180
1800.76
1801.29
49566
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
SAT (TO)
10
1800.76
1801.27
34456
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
SAT (TO)
231
1800.76
1801.24
34183
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_1.opb
SAT (TO)
8
1800.76
1800.9
49618
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
SAT (TO)
141
1800.76
1801.27
49599
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
SAT (TO)
11
1800.76
1801.25
49597
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-mux.opb
SAT (TO)
897
1800.76
1801.23
34246
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)
61
1800.76
1801.3
33820
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb
SAT (TO)
-7293
1800.76
1801.25
34006
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)
1309
1800.76
1800.27
33861
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b1.opb
SAT (TO)
200
1800.77
1801.34
34370
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb
SAT (TO)
62
1800.77
1801.24
34256
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-f51m.b.opb
SAT (TO)
22
1800.77
1801.23
34280
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-markshare2.opb
SAT (TO)
11
1800.77
1801.24
34012
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
SAT (TO)
222
1800.77
1801.32
34187
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod008.opb
SAT (TO)
317
1800.77
1800.88
34084
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
SAT (TO)
18
1800.78
1801.32
34457
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
SAT (TO)
227
1800.78
1801.34
34191
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
SAT (TO)
1114
1800.78
1801.31
34221
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
SAT (TO)
-23
1800.78
1800.31
34473
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
SAT (TO)
5769
1800.78
1801.36
34461
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb
SAT (TO)
1092
1800.78
1800.89
34218
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32d2.opb
SAT (TO)
373
1800.78
1801.27
34336
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e1.opb
SAT (TO)
188
1800.79
1801.27
34335
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C880.a.opb
SAT (TO)
88
1800.79
1801.29
49558
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_30.r.opb
SAT (TO)
9
1800.79
1801.34
49544
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-qnet1_o.opb
SAT (TO)
956
1800.8
1801.26
34050
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
SAT (TO)
-29
1800.8
1800.2
34474
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
SAT (TO)
1089
1800.8
1801.25
34209
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_14.r.opb
SAT (TO)
27
1800.8
1801.28
49554
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
SAT (TO)
66
1800.8
1801.25
34444
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-mlp4.r.opb
SAT (TO)
141
1800.8
1801.33
49536
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
SAT (TO)
21
1800.8
1801.27
34443
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
SAT (TO)
1561
1800.81
1801.26
34088
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-exps.r.opb
SAT (TO)
104
1800.81
1801.31
49553
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-sao2.b.opb
SAT (TO)
31
1800.81
1801.27
34270
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b3.opb
SAT (TO)
544
1800.81
1801.26
34329
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb
SAT (TO)
229
1800.81
1801.33
34182
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_15.r.opb
SAT (TO)
25
1800.81
1801.3
49546
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
SAT (TO)
148
1800.81
1801.23
34290
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-038.opb
SAT (TO)
1450
1800.82
1801.26
34375
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_1.opb
SAT (TO)
24
1800.82
1801.33
49613
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
SAT (TO)
7
1800.82
1801.29
34455
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
SAT (TO)
64
1800.82
1801.29
34259
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8e2.opb
SAT (TO)
543
1800.82
1801.28
34439
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a3.opb
SAT (TO)
207
1800.82
1801.33
34430
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-p2756.opb
SAT (TO)
5335
1800.82
1801.28
34101
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-159.opb
SAT (TO)
1327
1800.83
1800.89
34317
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
SAT (TO)
17
1800.83
1801.31
34449
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.83
1801.27
33783
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_10_10.r.opb
SAT (TO)
9
1800.84
1801.34
49538
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-clip.b.opb
SAT (TO)
16
1800.84
1801.28
34281
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
SAT (TO)
3146
1800.84
1801.26
34464
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-max1024.r.opb
SAT (TO)
303
1800.85
1801.27
49576
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)
937
1800.85
1800.24
33830
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
SAT (TO)
1077
1800.85
1801.27
34210
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-seymour.opb
SAT (TO)
489
1800.85
1801.3
34103
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-9symml.opb
SAT (TO)
5348
1800.85
1801.26
34247
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-jac3.opb
SAT (TO)
18
1800.86
1801.27
34275
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
SAT (TO)
-30
1800.86
1800.3
34471
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b2.opb
SAT (TO)
403
1800.87
1801.29
34296
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex6.b.opb
SAT (TO)
160
1800.88
1799.31
49543
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-mkc1.opb
SAT (TO)
-1445
1800.88
1800.29
33826
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-rot.b.opb
SAT (TO)
147
1800.88
1801.27
34285
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
SAT (TO)
74
1800.88
1801.38
34237
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
SAT (TO)
1094
1800.89
1801.24
34222
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
SAT (TO)
1085
1800.89
1801.31
34215
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-5xp1.b.opb
SAT (TO)
15
1800.89
1801.24
34276
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-prom2.r.opb
SAT (TO)
458
1800.89
1801.32
49567
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C432.opb
SAT (TO)
6670
1800.89
1801.24
34248
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb
SAT (TO)
1096
1800.9
1801.23
34211
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8d1.opb
SAT (TO)
369
1800.9
1801.32
34295
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
SAT (TO)
1093
1800.9
1801.3
34212
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
SAT (TO)
26164
1800.9
1801.24
34240
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-opt1217.opb
SAT (TO)
-10240
1800.91
1801.35
34107
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
SAT (TO)
-28
1800.91
1800.27
34470
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
SAT (TO)
1095
1800.92
1801.35
34219
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-160.opb
SAT (TO)
1359
1800.92
1801.24
34326
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-158.opb
SAT (TO)
1327
1800.92
1801.31
34321
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8c2.opb
SAT (TO)
540
1800.93
1801.25
34311
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
SAT (TO)
-23
1800.93
1801.28
34100
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-duke2.b.opb
SAT (TO)
86
1800.93
1800.28
49587
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b4.opb
SAT (TO)
705
1800.94
1801.28
34437
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
SAT (TO)
-35
1800.94
1799.3
34490
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16c2.opb
SAT (TO)
861
1800.94
1801.35
34398
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
SAT (TO)
1099
1800.96
1801.33
34220
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
SAT (TO)
94
1800.98
1801.25
34451
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e4.opb
SAT (TO)
366
1800.98
1801.24
34376
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bw.b.opb
SAT (TO)
37
1800.98
1799.27
49583
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-ex5.pi.opb
SAT (TO)
101
1800.99
1801.38
34269
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-alu4.b.opb
SAT (TO)
61
1800.99
1801.25
34282
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb
SAT (TO)
1087
1800.99
1801.38
34213
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.a.opb
SAT (TO)
75
1801
1801.25
49579
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-modglob.opb
SAT (TO)
548
1801
1801.28
34030
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16e1.opb
SAT (TO)
1159
1801.01
1801.31
34411
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16a1.opb
SAT (TO)
1246
1801.03
1801.25
34313
Solver timed out (no solution given) (335 runs)
[Show/Hide]
Benchmark Name
Answer
Objective function
CPU time
Wall clock time
TraceID
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-fixnet4.opb
? (TO)
1800
1800.27
33983
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-dano3mip.opb
? (TO)
1800
1780.37
34008
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-A1C1S1.opb
? (TO)
1800.01
1797.23
33850
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3708.opb
? (TO)
1800.02
1796.37
33792
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-modszk1.opb
? (TO)
1800.03
1799.35
33947
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_20.opb
? (TO)
1800.04
1793.22
46511
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-swath2.opb
? (TO)
1800.05
1797.31
33816
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.3
33897
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship08s.opb
? (TO)
1800.05
1798.23
33881
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb
? (TO)
1800.06
1797.25
34479
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship12s.opb
? (TO)
1800.06
1798.39
33878
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb
? (TO)
1800.07
1792.31
34031
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-khb05250.opb
? (TO)
1800.08
1799.74
33992
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.08
1799.22
33843
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-1.opb
? (TO)
1800.09
1800.31
34438
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3705.opb
? (TO)
1800.09
1796.25
33774
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-fixnet3.opb
? (TO)
1800.09
1800.38
33980
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb
? (TO)
1800.1
1800.32
33988
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv11.opb
? (TO)
1800.1
1799.41
34105
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_18.opb
? (TO)
1800.1
1796.28
49644
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_17.opb
? (TO)
1800.1
1797.31
49634
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
? (TO)
1800.1
1800.27
34325
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-lotfi.opb
? (TO)
1800.1
1800.35
33893
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
? (TO)
1800.11
1799.24
49637
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3709.opb
? (TO)
1800.11
1795.89
33771
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-set1ch.opb
? (TO)
1800.11
1800.25
34019
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb
? (TO)
1800.11
1797.31
46507
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.29.opb
? (TO)
1800.11
1790.25
34288
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-nesm.opb
? (TO)
1800.11
1797.27
33941
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran12x21.opb
? (TO)
1800.11
1800.23
33793
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb
? (TO)
1800.11
1800.23
34001
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-capri.opb
? (TO)
1800.11
1800.33
33892
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_11.opb
? (TO)
1800.12
1800.29
49635
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-air05.opb
? (TO)
1800.12
1800.29
34009
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_19.opb
? (TO)
1800.12
1795.24
49629
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-5.opb
? (TO)
1800.12
1800.24
34397
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb
? (TO)
1800.12
1800.26
34059
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)
1800.13
1799.25
33839
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-4.opb
? (TO)
1800.14
1800.22
34352
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-2.opb
? (TO)
1800.14
1800.35
34390
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-biella1.opb
? (TO)
1800.14
1799.34
33836
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-set1cl.opb
? (TO)
1800.14
1800.27
33993
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3703.opb
? (TO)
1800.14
1796.26
33773
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-gesa2-o.opb
? (TO)
1800.15
1800.24
34026
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g125.17.opb
? (TO)
1800.16
1799.2
34413
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-3.opb
? (TO)
1800.16
1800.42
34339
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-UMTS.opb
? (TO)
1800.16
1800.28
33849
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-greenbeb.opb
? (TO)
1800.16
1792.3
33952
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb
? (TO)
1800.17
1796.25
33784
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3700.opb
? (TO)
1800.17
1796.33
33787
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship12l.opb
? (TO)
1800.18
1795.23
33869
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-seba.opb
? (TO)
1800.18
1799.26
33911
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scagr25.opb
? (TO)
1800.19
1800.29
33877
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_18.opb
? (TO)
1800.19
1796.24
46502
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos20.opb
? (TO)
1800.2
1800.29
33815
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
? (TO)
1800.2
1780.3
34201
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.28
33847
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-B2C1S1.opb
? (TO)
1800.21
1797.24
33858
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scfxm3.opb
? (TO)
1800.21
1798.32
33923
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-cycle.opb
? (TO)
1800.22
1795.26
33925
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-grow7.opb
? (TO)
1800.22
1800.2
33949
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_11.opb
? (TO)
1800.22
1799.93
46515
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3702.opb
? (TO)
1800.22
1796.31
33775
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n370e.opb
? (TO)
1800.22
1796.27
33769
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3706.opb
? (TO)
1800.22
1796.24
33772
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3701.opb
? (TO)
1800.23
1796.33
33796
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3704.opb
? (TO)
1800.24
1796.31
33794
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.24
1779.36
33824
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-israel.opb
? (TO)
1800.24
1800.27
33885
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos3.opb
? (TO)
1800.25
1799.42
33802
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-pilot4.opb
? (TO)
1800.25
1799.2
33932
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scsd6.opb
? (TO)
1800.27
1799.24
33921
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-degen3.opb
? (TO)
1800.28
1795.3
33875
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
? (TO)
1800.28
1779.28
34205
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-bienst1.opb
? (TO)
1800.28
1800.3
33805
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_14.opb
? (TO)
1800.28
1799.36
46503
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
? (TO)
1800.28
1798.21
34485
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3707.opb
? (TO)
1800.28
1796.36
33782
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb
? (TO)
1800.28
1779.26
34197
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-fixnet6.opb
? (TO)
1800.28
1800.35
34024
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-trento1.opb
? (TO)
1800.29
1799.32
33846
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-fit1p.opb
? (TO)
1800.29
1796.26
33955
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb
? (TO)
1800.3
1797.31
33853
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_12.opb
? (TO)
1800.3
1800.28
49641
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-dg012142.opb
? (TO)
1800.3
1798.31
33855
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-van.opb
? (TO)
1800.31
1747.25
34039
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
? (TO)
1800.32
1780.26
34200
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
? (TO)
1800.33
1798.27
49632
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g125.18.opb
? (TO)
1800.33
1799.28
34403
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sctap1.opb
? (TO)
1800.33
1800.36
33886
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
? (TO)
1800.34
1780.27
34207
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
? (TO)
1800.34
1798.3
34487
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-bg512142.opb
? (TO)
1800.34
1800.3
33842
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos13.opb
? (TO)
1800.34
1780.26
33800
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_12.opb
? (TO)
1800.34
1800.24
46508
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scorpion.opb
? (TO)
1800.34
1800.29
33917
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-misc06.opb
? (TO)
1800.34
1799.32
33978
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
? (TO)
1800.35
1800.23
34463
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb
? (TO)
1800.35
1797.4
34035
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos19.opb
? (TO)
1800.35
1763.23
34075
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-etamacro.opb
? (TO)
1800.35
1800.24
33882
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
? (TO)
1800.35
1797.34
34499
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
? (TO)
1800.36
1797.28
34496
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
? (TO)
1800.36
1798.29
34488
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.38
1790.41
33835
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos15.opb
? (TO)
1800.38
1800.26
33814
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb
? (TO)
1800.38
1797.28
34495
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos14.opb
? (TO)
1800.39
1800.27
33808
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-dolom1.opb
? (TO)
1800.39
1798.2
33832
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-bienst2.opb
? (TO)
1800.4
1800.23
33813
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-beaconfd.opb
? (TO)
1800.4
1800.09
33953
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
? (TO)
1800.41
1780.3
34195
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb
? (TO)
1800.41
1800.37
33995
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.41
1779.39
33819
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
? (TO)
1800.41
1797.23
34498
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sierra.opb
? (TO)
1800.42
1799.39
33867
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
? (TO)
1800.42
1798.32
34489
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-d2q06c.opb
? (TO)
1800.42
1790.38
33901
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_20.opb
? (TO)
1800.43
1794.28
49642
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-brandy.opb
? (TO)
1800.43
1800.26
33929
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-tr12-30.opb
? (TO)
1800.43
1800.24
33996
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.44
1800.32
33828
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
? (TO)
1800.44
1799.28
34108
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-fffff800.opb
? (TO)
1800.44
1799.32
33926
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_19.opb
? (TO)
1800.45
1795.32
46505
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
? (TO)
1800.45
1779.31
34206
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scfxm2.opb
? (TO)
1800.45
1799.23
33942
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-fit1d.opb
? (TO)
1800.45
1800.25
33945
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
? (TO)
1800.46
1780.28
34196
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-dc1l.opb
? (TO)
1800.46
1795.23
33854
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.46
1800.36
33829
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.46
1799.27
33848
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.46
1800.28
33838
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sctap3.opb
? (TO)
1800.47
1798.28
33907
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-standgub.opb
? (TO)
1800.47
1800.26
33896
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg2.opb
? (TO)
1800.48
1800.27
33889
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
? (TO)
1800.48
1780.23
34202
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-roll3000.opb
? (TO)
1800.48
1800.27
34025
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-grow22.opb
? (TO)
1800.48
1799.23
33895
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
? (TO)
1800.49
1798.36
34486
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-roll3000.opb
? (TO)
1800.49
1800.23
33845
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb
? (TO)
1800.5
1797.21
34497
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_15.opb
? (TO)
1800.5
1799.35
49630
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos9.opb
? (TO)
1800.5
1759.31
33807
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-msc98-ip.opb
? (TO)
1800.5
1798.22
34010
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.52
1769.29
33920
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-fit2d.opb
? (TO)
1800.52
1795.37
33935
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb
? (TO)
1800.53
1801.32
33982
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb
? (TO)
1800.53
1801.25
34263
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
? (TO)
1800.54
1780.24
34198
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-air04.opb
? (TO)
1800.54
1799.93
34027
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-fit2p.opb
? (TO)
1800.54
1777.34
33950
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scfxm1.opb
? (TO)
1800.55
1800.25
33914
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-perold.opb
? (TO)
1800.55
1799.35
33902
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos6.opb
? (TO)
1800.55
1798.24
33822
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air03.opb
? (TO)
1800.55
1800.27
33962
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-bk4x3.opb
? (TO)
1800.55
1801.27
33788
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-maros.opb
? (TO)
1800.55
1798.31
33874
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
? (TO)
1800.56
1798.29
34241
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-sp97ic.opb
? (TO)
1800.56
1799.24
33857
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-sp98ar.opb
? (TO)
1800.56
1798.19
33827
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
? (TO)
1800.57
1780.34
34193
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-sp97ar.opb
? (TO)
1800.57
1801.24
34023
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
? (TO)
1800.58
1780.29
34199
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-danoint.opb
? (TO)
1800.58
1800.26
34042
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship04l.opb
? (TO)
1800.59
1799.19
33918
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
? (TO)
1800.6
1800.28
34236
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_4.opb
? (TO)
1800.6
1801.27
49606
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.6
1799.27
33851
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb
? (TO)
1800.61
1801.29
34331
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-standata.opb
? (TO)
1800.61
1800.29
33905
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb
? (TO)
1800.62
1801.29
34021
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-afiro.opb
? (TO)
1800.63
1801.28
33930
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-misc05.opb
? (TO)
1800.63
1801.27
33959
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg3.opb
? (TO)
1800.63
1800.26
33936
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-tuff.opb
? (TO)
1800.63
1800.23
33887
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb
? (TO)
1800.64
1801.33
34367
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-nw04.opb
? (TO)
1800.64
1798.31
34041
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_16.opb
? (TO)
1800.64
1798.38
46499
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-vpm2.opb
? (TO)
1800.64
1801.27
34033
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_3.opb
? (TO)
1800.66
1801.27
49588
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-forplan.opb
? (TO)
1800.66
1800.28
33898
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scsd1.opb
? (TO)
1800.66
1799.88
33922
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.66
1798.25
33928
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sctap2.opb
? (TO)
1800.66
1798.88
33891
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos2.opb
? (TO)
1800.66
1800.38
33818
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_1.opb
? (TO)
1800.67
1801.34
49601
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_1.opb
? (TO)
1800.67
1801.26
49625
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air06.opb
? (TO)
1800.67
1800.41
33976
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-bell3b.opb
? (TO)
1800.67
1801.42
33972
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-stocfor2.opb
? (TO)
1800.67
1798.32
33954
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-arki001.opb
? (TO)
1800.67
1800.34
34017
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb
? (TO)
1800.68
1801.2
34260
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.68
1779.24
33801
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
? (TO)
1800.69
1780.24
34194
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_4.opb
? (TO)
1800.69
1801.27
49612
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-stair.opb
? (TO)
1800.7
1800.37
33868
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_15.opb
? (TO)
1800.7
1799.36
46506
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.7
1801.3
33767
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-wood1p.opb
? (TO)
1800.7
1792.28
33919
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc105.opb
? (TO)
1800.71
1801.32
33939
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb
? (TO)
1800.71
1801.27
34040
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-sp98ic.opb
? (TO)
1800.71
1799.28
33833
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_13.opb
? (TO)
1800.71
1800.3
46512
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.15.opb
? (TO)
1800.71
1796.27
34369
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_2.opb
? (TO)
1800.71
1801.25
49593
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-mod013.opb
? (TO)
1800.71
1801.28
33968
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10b.opb
? (TO)
1800.72
1801.36
33777
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_3.opb
? (TO)
1800.72
1801.24
49614
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
? (TO)
1800.72
1798.26
34243
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-gr4x6.opb
? (TO)
1800.73
1801.33
33776
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-bell3a.opb
? (TO)
1800.73
1801.24
33967
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_4.opb
? (TO)
1800.73
1801.24
49624
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-timtab1.opb
? (TO)
1800.73
1801.3
34003
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-stocfor1.opb
? (TO)
1800.73
1801.26
33940
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.73
1800.33
33870
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_3.opb
? (TO)
1800.74
1801.24
49604
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_3.opb
? (TO)
1800.74
1801.27
49626
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/routing/normalized-s4-4-3-10pb.opb
? (TO)
1800.74
1800.88
34268
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ganges.opb
? (TO)
1800.74
1799.28
33938
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb
? (TO)
1800.74
1801.24
34394
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-NSR8K.opb
? (TO)
1800.75
1794.29
33862
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
? (TO)
1800.75
1798.35
34476
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_1.opb
? (TO)
1800.75
1801.3
49595
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb
? (TO)
1800.75
1780.26
34203
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran10x12.opb
? (TO)
1800.75
1801.28
33768
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow40b.opb
? (TO)
1800.75
1800.26
34018
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos7.opb
? (TO)
1800.75
1800.3
33812
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc50b.opb
? (TO)
1800.75
1801.24
33946
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_4.opb
? (TO)
1800.75
1801.27
49617
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell4.opb
? (TO)
1800.75
1801.24
33958
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_13.opb
? (TO)
1800.76
1800.29
49643
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_2.opb
? (TO)
1800.76
1801.28
49598
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc50a.opb
? (TO)
1800.76
1801.24
33912
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-d6cube.opb
? (TO)
1800.77
1799.38
33904
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-pk1.opb
? (TO)
1800.78
1801.31
34004
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-liu.opb
? (TO)
1800.78
1800.26
34020
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc205.opb
? (TO)
1800.78
1801.28
33931
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb
? (TO)
1800.78
1801.34
33872
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
? (TO)
1800.79
1800.28
34238
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb
? (TO)
1800.79
1801.36
34408
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
? (TO)
1800.79
1798.25
34478
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.79
1801.3
33908
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-noswot.opb
? (TO)
1800.8
1801.24
34032
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos16.opb
? (TO)
1800.8
1801.25
34074
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_2.opb
? (TO)
1800.8
1801.26
49610
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-l152lav.opb
? (TO)
1800.8
1801.33
34082
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-swath.opb
? (TO)
1800.8
1800.33
34028
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-pp08a.opb
? (TO)
1800.8
1801.25
34037
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-dfl001.opb
? (TO)
1800.8
1786.25
33951
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-greenbea.opb
? (TO)
1800.8
1793.33
33873
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f600.opb
? (TO)
1800.81
1801.25
34385
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship08l.opb
? (TO)
1800.81
1797.33
33927
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-rgn.opb
? (TO)
1800.81
1801.32
33994
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
? (TO)
1800.82
1801.35
34261
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-egout.opb
? (TO)
1800.82
1801.25
33991
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scrs8.opb
? (TO)
1800.82
1800.24
33916
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_2.opb
? (TO)
1800.82
1801.31
49589
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
? (TO)
1800.82
1798.32
34475
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_1.opb
? (TO)
1800.83
1801.36
49608
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-blend.opb
? (TO)
1800.83
1801.25
33884
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-rout.opb
? (TO)
1800.83
1801.32
34014
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-swath3.opb
? (TO)
1800.84
1797.93
33799
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
? (TO)
1800.84
1801.26
34096
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-share2b.opb
? (TO)
1800.84
1801.27
33880
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-cracpb1.opb
? (TO)
1800.84
1801.33
34085
normalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb
? (TO)
1800.85
1801.25
34073
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb
? (TO)
1800.85
1801.28
34357
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic97.opb
? (TO)
1800.85
1800.33
33840
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-4-c.opb
? (TO)
1800.86
1801.35
34364
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-qiu.opb
? (TO)
1800.86
1800.49
34011
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb
? (TO)
1800.87
1801.27
34002
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-5-c.opb
? (TO)
1800.87
1801.26
34428
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-woodw.opb
? (TO)
1800.87
1791.29
33871
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-sp97ar.opb
? (TO)
1800.87
1799.26
33841
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
? (TO)
1800.87
1798.21
34477
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10c.opb
? (TO)
1800.87
1801.32
33785
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-siena1.opb
? (TO)
1800.87
1798.27
33834
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod010.opb
? (TO)
1800.87
1801.25
34081
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
? (TO)
1800.88
1801.24
34254
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-10teams.opb
? (TO)
1800.89
1801.27
34102
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-timtab2.opb
? (TO)
1800.89
1801.29
34013
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-recipe.opb
? (TO)
1800.9
1801.24
33913
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-kb2.opb
? (TO)
1800.9
1801.4
33899
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-vpm1.opb
? (TO)
1800.9
1801.36
33985
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-set1al.opb
? (TO)
1800.9
1801.3
33973
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-misc04.opb
? (TO)
1800.9
1797.28
33961
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-3-c.opb
? (TO)
1800.91
1801.27
34405
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scagr7.opb
? (TO)
1800.91
1801.24
33944
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship04s.opb
? (TO)
1800.91
1800.27
33910
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran4x64.opb
? (TO)
1800.92
1801.28
33790
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pp08aCUTS.opb
? (TO)
1800.92
1801.3
34022
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_9.opb
? (TO)
1800.92
1801.27
49638
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-rd-rplusc-21.opb
? (TO)
1800.92
1728.26
34043
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-bal8x12.opb
? (TO)
1800.92
1801.28
33797
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-2-c.opb
? (TO)
1800.92
1801.24
34287
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p6000.opb
? (TO)
1800.92
1801.28
33990
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran12x12.opb
? (TO)
1800.93
1801.25
33795
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-swath1.opb
? (TO)
1800.93
1798.27
33817
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scsd8.opb
? (TO)
1800.93
1797.25
33906
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-boeing2.opb
? (TO)
1800.94
1801.25
33937
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f1000.opb
? (TO)
1800.94
1801.32
34305
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-blend2.opb
? (TO)
1800.94
1801.23
34062
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
? (TO)
1800.94
1801.38
34086
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-degen2.opb
? (TO)
1800.94
1800.28
33924
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-t1717.opb
? (TO)
1800.95
1796.25
33999
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb
? (TO)
1800.95
1799.26
34104
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-glass4.opb
? (TO)
1800.95
1801.24
33831
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n370a.opb
? (TO)
1800.95
1797.34
33780
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-dc1c.opb
? (TO)
1800.95
1799.28
33860
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-bc1.opb
? (TO)
1800.96
1782.36
33804
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran17x17.opb
? (TO)
1800.96
1801.27
33789
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-stp3d.opb
? (TO)
1800.96
1791.34
34034
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-gen.opb
? (TO)
1800.96
1801.29
33957
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-van.opb
? (TO)
1800.97
1744.23
33859
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-1-c.opb
? (TO)
1800.98
1801.23
34373
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-A2C1S1.opb
? (TO)
1800.98
1798.32
33844
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_10.opb
? (TO)
1800.98
1801.29
49639
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-25fv47.opb
? (TO)
1800.98
1798.33
33888
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-grow15.opb
? (TO)
1800.98
1800.27
33894
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
? (TO)
1800.99
1781.26
34204
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb
? (TO)
1800.99
1801.28
46513
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran6x43.opb
? (TO)
1800.99
1801.29
33778
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg.opb
? (TO)
1800.99
1801.25
33890
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_10.opb
? (TO)
1801
1801.25
46509
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n370b.opb
? (TO)
1801
1797.29
33781
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran10x26.opb
? (TO)
1801.01
1801.27
33786
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran13x13.opb
? (TO)
1801.01
1801.23
33798
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-shell.opb
? (TO)
1801.01
1800.26
33879
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-share1b.opb
? (TO)
1801.02
1801.32
33909
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran8x32.opb
? (TO)
1801.02
1801.23
33791
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f2000.opb
? (TO)
1801.04
1801.3
34421
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran14x18.opb
? (TO)
1801.04
1801.23
33770
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran16x16.opb
? (TO)
1801.04
1801.27
33779
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-mitre.opb
? (TO)
1801.05
1801.33
34112
Category "no optimisation, small integers" (SATUNSAT-SMALLINT)
Solver proved unsatisfiability (UNSATISFIABLE) (147 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.046992
0.0445119
33747
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb
UNSAT
0.063989
0.057853
33727
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb
UNSAT
0.066989
0.061649
33750
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb
UNSAT
0.073988
0.0633859
33728
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb
UNSAT
0.216966
0.175437
33748
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb
UNSAT
0.438933
0.333356
33755
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb
UNSAT
0.732888
0.513116
33729
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb
UNSAT
0.743886
0.485368
33725
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb
UNSAT
0.972851
0.641399
33735
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
UNSAT
1.01484
0.825405
33739
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-37s.smv.opb
UNSAT
1.36179
1.26015
33723
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-22s.smv.opb
UNSAT
2.53061
1.887
33742
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb
UNSAT
3.10853
2.18543
33711
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-25s.smv.opb
UNSAT
3.19851
2.67812
33749
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb
UNSAT
4.33934
3.75019
33720
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb
UNSAT
7.98479
5.32301
33721
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967729.opb
UNSAT
28.4727
28.4895
33443
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226368.opb
UNSAT
28.5947
28.6788
33512
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110966483.opb
UNSAT
28.8556
28.8691
33508
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227326.opb
UNSAT
28.9356
28.9397
33480
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224059.opb
UNSAT
29.2016
29.2498
33515
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976157.opb
UNSAT
29.8405
29.9834
33502
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970631.opb
UNSAT
29.9194
29.9348
33441
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977780.opb
UNSAT
30.5843
30.6001
33454
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224451.opb
UNSAT
30.9603
30.9692
33471
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111225122.opb
UNSAT
44.2603
44.2783
33501
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973364.opb
UNSAT
44.7822
44.7929
33478
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219799.opb
UNSAT
44.9512
44.9817
33462
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111220019.opb
UNSAT
45.2671
45.3388
33533
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974372.opb
UNSAT
45.2851
45.3275
33461
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110978334.opb
UNSAT
45.5151
45.634
33468
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111220546.opb
UNSAT
45.793
45.8267
33453
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110966688.opb
UNSAT
45.976
45.988
33445
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226062.opb
UNSAT
46.007
46.0257
33442
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973670.opb
UNSAT
46.021
46.0368
33484
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218757.opb
UNSAT
46.03
46.0616
33524
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217392.opb
UNSAT
46.09
46.1639
33492
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223220.opb
UNSAT
46.127
46.1577
33446
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970444.opb
UNSAT
46.136
46.1929
33439
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224929.opb
UNSAT
46.2
46.2322
33518
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216411.opb
UNSAT
46.4909
46.5239
33527
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111228076.opb
UNSAT
46.6159
46.6964
33530
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216823.opb
UNSAT
46.6279
46.6706
33522
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977273.opb
UNSAT
46.8479
46.8637
33479
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111213670.opb
UNSAT
46.8529
46.9859
33532
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111220767.opb
UNSAT
46.9919
47.011
33485
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224255.opb
UNSAT
47.0498
47.1016
33467
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227012.opb
UNSAT
47.0588
47.142
33519
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219348.opb
UNSAT
47.1298
47.2474
33448
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969170.opb
UNSAT
47.1438
47.2396
33498
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218955.opb
UNSAT
47.4338
47.5448
33481
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972154.opb
UNSAT
47.5248
47.6011
33460
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974180.opb
UNSAT
47.5318
47.6058
33482
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968561.opb
UNSAT
47.5438
47.5704
33491
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975607.opb
UNSAT
47.9957
48.0155
33507
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973163.opb
UNSAT
48.1727
48.1909
33511
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969577.opb
UNSAT
48.2957
48.3283
33487
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227861.opb
UNSAT
48.5676
48.6254
33457
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226680.opb
UNSAT
48.7366
48.7831
33489
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111225605.opb
UNSAT
48.7446
48.7808
33451
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111212923.opb
UNSAT
48.8456
48.8652
33497
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222539.opb
UNSAT
48.9736
48.9914
33477
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968898.opb
UNSAT
48.9916
49.0464
33510
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976935.opb
UNSAT
49.0425
49.0555
33474
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111213868.opb
UNSAT
49.1755
49.1924
33459
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218024.opb
UNSAT
49.3175
49.346
33525
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222257.opb
UNSAT
49.3285
49.3344
33473
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969860.opb
UNSAT
49.3455
49.3803
33438
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111212272.opb
UNSAT
49.5185
49.5482
33452
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972763.opb
UNSAT
49.8494
49.9462
33435
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218308.opb
UNSAT
50.1634
50.1869
33437
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217555.opb
UNSAT
50.1884
50.2681
33458
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111221203.opb
UNSAT
50.2204
50.2347
33475
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968094.opb
UNSAT
50.2974
50.3519
33506
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971697.opb
UNSAT
50.3753
50.442
33455
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111221624.opb
UNSAT
50.4173
50.5046
33509
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223004.opb
UNSAT
50.5133
50.5785
33528
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971363.opb
UNSAT
50.9693
51.0141
33434
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975965.opb
UNSAT
51.3852
51.4075
33464
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967523.opb
UNSAT
51.6142
51.6352
33486
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967142.opb
UNSAT
51.9311
51.9516
33494
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110978113.opb
UNSAT
51.9391
51.9921
33504
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976730.opb
UNSAT
52.855
52.8738
33505
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111212476.opb
UNSAT
53.4909
53.5212
33496
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb
UNSAT
147.745
145.645
33737
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900558106.opb
UNSAT
195.678
195.654
33569
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900564824.opb
UNSAT
205.726
205.771
33578
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552423.opb
UNSAT
207.333
207.308
33583
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566157.opb
UNSAT
208.701
208.693
33595
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900562192.opb
UNSAT
214.435
214.413
33585
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900570242.opb
UNSAT
223.013
223.016
33589
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567024.opb
UNSAT
235.301
235.274
33605
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567135.opb
UNSAT
238.053
238.05
33534
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900551347.opb
UNSAT
335.593
335.599
33613
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900571132.opb
UNSAT
336.717
336.821
33575
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb
UNSAT
338.539
338.666
33574
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb
UNSAT
338.743
338.757
33607
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552735.opb
UNSAT
347.231
347.254
33593
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552288.opb
UNSAT
349.831
349.984
33622
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576360.opb
UNSAT
350.9
350.969
33553
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557362.opb
UNSAT
354.314
354.414
33566
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547389.opb
UNSAT
354.474
354.526
33620
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb
UNSAT
354.529
354.71
33563
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb
UNSAT
355.779
355.874
33580
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb
UNSAT
366.935
367.058
33564
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb
UNSAT
368.77
368.792
33616
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900563801.opb
UNSAT
372.336
372.382
33601
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900544484.opb
UNSAT
372.806
372.83
33586
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900564281.opb
UNSAT
373.535
373.604
33633
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900584219.opb
UNSAT
373.594
373.648
33614
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb
UNSAT
374.557
374.653
33550
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568706.opb
UNSAT
376.685
376.787
33541
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557574.opb
UNSAT
382.955
383.108
33615
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557957.opb
UNSAT
387.522
387.566
33546
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553647.opb
UNSAT
388.485
388.519
33625
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900569834.opb
UNSAT
388.563
388.606
33629
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669797.opb
UNSAT
392.017
392.066
33577
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900571761.opb
UNSAT
395.431
395.508
33549
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb
UNSAT
526.038
526.199
46076
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb
UNSAT
565.147
565.317
33554
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb
UNSAT
567.168
567.258
33618
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900573137.opb
UNSAT
569.755
569.915
33623
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900546417.opb
UNSAT
571.418
571.634
33558
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb
UNSAT
577.357
577.592
33573
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574864.opb
UNSAT
582.801
582.941
33537
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb
UNSAT
593.17
593.418
33539
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900575442.opb
UNSAT
593.828
594.051
33559
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900550006.opb
UNSAT
596.052
596.183
33596
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb
UNSAT
597.832
598.053
33540
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576151.opb
UNSAT
602.86
602.924
33592
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900573901.opb
UNSAT
611.941
612.073
33579
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554420.opb
UNSAT
612.314
612.454
33627
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900550720.opb
UNSAT
612.407
612.525
33630
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900545610.opb
UNSAT
619.936
620.052
33602
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900558739.opb
UNSAT
623.74
623.87
33611
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900579996.opb
UNSAT
624.653
624.788
33628
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900563250.opb
UNSAT
638.79
638.937
33572
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb
UNSAT
640.689
640.875
33542
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900577940.opb
UNSAT
660.247
660.456
33547
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900583053.opb
UNSAT
670.968
671.144
33565
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900667195.opb
UNSAT
676.113
676.288
33603
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb
UNSAT
676.372
676.549
33535
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670234.opb
UNSAT
683.186
683.378
33544
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559676.opb
UNSAT
978.409
978.615
33582
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561288.opb
UNSAT
978.591
978.882
33568
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb
UNSAT
989.112
989.393
33621
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb
UNSAT
1280.16
1280.61
46084
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (123 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-cuww4.opb
SAT
0
0.030994
0.0355041
33403
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-cuww1.opb
SAT
0
0.031995
0.0401599
33412
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-prob2.opb
SAT
0
0.031995
0.0343669
33407
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-prob6.opb
SAT
0
0.032994
0.035869
33414
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-prob8.opb
SAT
0
0.033994
0.0471219
33402
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-prob1.opb
SAT
0
0.033994
0.0366111
33408
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-cuww2.opb
SAT
0
0.033994
0.0352049
33406
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-prob7.opb
SAT
0
0.033994
0.0408411
33411
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-prob10.opb
SAT
0
0.034993
0.0495981
33415
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-cuww3.opb
SAT
0
0.034994
0.056613
33413
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-prob4.opb
SAT
0
0.035993
0.034698
33405
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-prob5.opb
SAT
0
0.035993
0.07689
33409
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-prob3.opb
SAT
0
0.038993
0.0361261
33404
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/
manquiho/Aardal_1/normalized-reduced-cuww5.opb
SAT
0
0.050992
0.0537791
33410
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb
SAT
0
0.062989
0.0549009
33693
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219399.opb
SAT
0
0.073988
0.067319
33517
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army8.9bt.opb
SAT
0
0.143977
0.144824
33424
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb
SAT
0
0.165973
0.158431
33658
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226241.opb
SAT
0
0.200969
0.214344
33450
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969933.opb
SAT
0
0.326949
0.334028
33470
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900564822.opb
SAT
0
0.401938
0.31173
33562
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb
SAT
0
0.408937
0.31908
33551
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547416.opb
SAT
0
0.442932
0.357936
33570
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb
SAT
0
0.52292
0.523597
33673
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574948.opb
SAT
0
0.550915
0.466496
33548
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb
SAT
0
0.591909
0.504344
33617
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb
SAT
0
0.594908
0.50622
33604
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217374.opb
SAT
0
0.643901
0.636275
33531
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553644.opb
SAT
0
0.656899
0.566794
33609
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900581321.opb
SAT
0
0.720889
0.663793
33552
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972958.opb
SAT
0
0.729888
0.727505
33449
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554375.opb
SAT
0
0.742886
0.664855
33571
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561389.opb
SAT
0
0.760884
0.731593
33561
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557568.opb
SAT
0
0.765883
0.690496
33560
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb
SAT
0
0.817874
0.809781
33702
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb
SAT
0
0.876866
0.895121
33427
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566151.opb
SAT
0
0.878865
0.789686
33588
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554373.opb
SAT
0
0.903862
0.81603
33555
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566270.opb
SAT
0
0.91786
0.823902
33632
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14ls.opb
SAT
0
1.01584
1.09204
33428
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547427.opb
SAT
0
1.01684
0.92796
33610
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670756.opb
SAT
0
1.03684
0.947845
33584
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb
SAT
0
1.25881
1.16469
33598
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567003.opb
SAT
0
1.44478
1.35779
33591
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900577000.opb
SAT
0
1.48777
1.39681
33594
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb
SAT
0
1.59276
1.50419
33590
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576918.opb
SAT
0
1.59876
1.50512
33631
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226284.opb
SAT
0
1.63675
1.63527
33526
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb
SAT
0
1.65375
1.56568
33619
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547334.opb
SAT
0
1.66275
1.57233
33597
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb
SAT
0
1.84472
1.75715
33606
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561384.opb
SAT
0
2.06769
1.97995
33600
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547353.opb
SAT
0
2.11568
2.02644
33624
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559641.opb
SAT
0
2.17267
2.09074
33557
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900544463.opb
SAT
0
2.17467
2.08199
33576
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554067.opb
SAT
0
2.26965
2.17483
33599
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217380.opb
SAT
0
2.37764
2.52768
33440
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb
SAT
0
2.43263
2.55559
33709
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb
SAT
0
2.47262
2.46677
33706
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900571131.opb
SAT
0
2.52261
2.43528
33545
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973478.opb
SAT
0
2.53961
2.56869
33500
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559416.opb
SAT
0
2.6086
2.52604
33608
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547461.opb
SAT
0
2.6296
2.54158
33612
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin8.opb
SAT
0
2.82457
2.7881
33417
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557413.opb
SAT
0
2.87656
2.80118
33567
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975678.opb
SAT
0
3.01054
3.00592
33493
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900582376.opb
SAT
0
3.2795
3.19195
33556
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army12.21ls.opb
SAT
0
3.42548
3.53236
33433
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223696.opb
SAT
0
3.58145
3.57333
33490
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900549974.opb
SAT
0
3.60445
3.52848
33538
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567939.opb
SAT
0
3.99539
3.90251
33626
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14bt.opb
SAT
0
4.33134
4.32672
33422
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552311.opb
SAT
0
4.37033
4.28514
33581
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967327.opb
SAT
0
4.5913
4.58671
33469
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223689.opb
SAT
0
4.74728
4.75184
33513
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971097.opb
SAT
0
4.85726
4.85605
33465
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb
SAT
0
5.19821
5.13037
33543
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216864.opb
SAT
0
5.49216
5.49254
33456
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976735.opb
SAT
0
5.50216
5.50214
33466
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977266.opb
SAT
0
5.68513
5.68364
33503
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971766.opb
SAT
0
5.70713
5.7395
33444
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216188.opb
SAT
0
5.73213
5.73862
33476
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553606.opb
SAT
0
5.8811
5.79148
33587
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223416.opb
SAT
0
6.03908
6.04007
33495
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974553.opb
SAT
0
6.10607
6.103
33521
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975832.opb
SAT
0
6.81396
6.81014
33520
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222080.opb
SAT
0
7.52386
7.56697
33529
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army11.17ls.opb
SAT
0
7.8628
7.95447
33430
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222248.opb
SAT
0
8.82566
8.82071
33499
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb
SAT
0
8.83666
8.83302
33660
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb
SAT
0
9.42357
9.41696
33710
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army9.12ls.opb
SAT
0
9.90649
9.96951
33431
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968431.opb
SAT
0
11.3413
11.3464
33514
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977464.opb
SAT
0
12.0672
12.0744
33472
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970170.opb
SAT
0
12.5451
12.5439
33463
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973863.opb
SAT
0
13.6139
13.7178
33488
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568952.opb
SAT
0
13.6269
13.5472
33536
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224522.opb
SAT
0
14.7418
14.7666
33447
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111221953.opb
SAT
0
17.1674
17.208
33523
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb
SAT
0
22.5806
22.5833
33664
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227418.opb
SAT
0
22.7235
22.8568
33516
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970277.opb
SAT
0
25.9291
25.9864
33436
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb
SAT
0
31.1643
31.166
33701
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb
SAT
0
31.3502
31.3494
33697
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223596.opb
SAT
0
36.3375
36.3482
33483
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army9.12bt.opb
SAT
0
58.966
59.0549
33429
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb
SAT
0
95.0425
95.0634
33663
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
SAT
0
173.493
160.472
33644
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
SAT
0
175.535
163.565
33639
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
SAT
0
184.882
172.927
33641
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
SAT
0
187.352
174.42
33652
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
SAT
0
194.077
181.089
33643
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb
SAT
0
211.613
211.679
33690
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24ls.opb
SAT
0
282.507
282.625
33432
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb
SAT
0
373.796
373.897
33688
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army11.17bt.opb
SAT
0
417.747
417.848
33423
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb
SAT
0
736.962
737.238
33662
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
SAT
0
848.122
811.692
33648
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
SAT
0
853.398
817.213
33653
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
SAT
0
879.147
839.764
33651
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
SAT
0
888.034
848.615
33649
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
SAT
0
949.497
912.611
33642
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb
SAT
0
1466.35
1466.91
33692
Solver timed out (no solution given) (135 runs)
[Show/Hide]
Benchmark Name
Answer
Objective function
CPU time
Wall clock time
TraceID
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
? (TO)
1800
1800.24
33666
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-61-60.opb
? (TO)
1800.02
1797.23
46056
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb
? (TO)
1800.04
1800.33
33736
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
? (TO)
1800.04
1796.31
33716
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-105-100.opb
? (TO)
1800.09
1783.18
46049
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin14.opb
? (TO)
1800.09
1800.27
33421
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k3_l6_n1500.opb
? (TO)
1800.1
1758.22
33636
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
? (TO)
1800.1
1800.27
33703
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb
? (TO)
1800.11
1800.28
33745
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-31-30.opb
? (TO)
1800.13
1800.32
46060
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
? (TO)
1800.13
1795.27
33635
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-43s.smv.opb
? (TO)
1800.14
1800.23
33733
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-85-80.opb
? (TO)
1800.17
1791.31
46074
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl.opb
? (TO)
1800.17
1798.26
33753
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-91-90.opb
? (TO)
1800.18
1789.29
46057
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-71-70.opb
? (TO)
1800.19
1795.27
46053
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
? (TO)
1800.22
1797.26
33637
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-95-90.opb
? (TO)
1800.22
1788.26
46077
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-35-30.opb
? (TO)
1800.25
1800.25
46087
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb
? (TO)
1800.25
1798.31
33714
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl.opb
? (TO)
1800.26
1800.27
33732
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
? (TO)
1800.27
1697.21
33640
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
? (TO)
1800.28
1697.18
33645
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.ucl.opb
? (TO)
1800.28
1800.34
33743
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
? (TO)
1800.29
1795.27
33726
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
? (TO)
1800.3
1787.25
33754
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
? (TO)
1800.32
1794.27
33744
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb
? (TO)
1800.34
1798.28
33718
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
? (TO)
1800.37
1792.25
33738
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
? (TO)
1800.38
1798.27
33731
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl.opb
? (TO)
1800.43
1791.26
33730
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-65-60.opb
? (TO)
1800.44
1797.25
46067
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
? (TO)
1800.44
1780.26
33712
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
? (TO)
1800.46
1791.34
33760
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin18.opb
? (TO)
1800.46
1799.22
33420
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-101-100.opb
? (TO)
1800.49
1785.26
46055
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb
? (TO)
1800.5
1801.27
33700
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb
? (TO)
1800.51
1801.29
33704
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
? (TO)
1800.51
1800.29
33757
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb
? (TO)
1800.52
1801.27
33654
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb
? (TO)
1800.54
1800.29
33751
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb
? (TO)
1800.54
1801.29
46052
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb
? (TO)
1800.54
1800.33
33741
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb
? (TO)
1800.56
1801.27
33669
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-81-80.opb
? (TO)
1800.56
1793.2
46086
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb
? (TO)
1800.56
1800.24
33719
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-51-50.opb
? (TO)
1800.59
1799.29
46051
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24bt.opb
? (TO)
1800.59
1801.29
33425
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin16.opb
? (TO)
1800.59
1800.22
33418
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb
? (TO)
1800.6
1801.28
33705
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
? (TO)
1800.61
1801.36
33655
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb
? (TO)
1800.61
1801.26
33659
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb
? (TO)
1800.61
1801.29
33686
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb
? (TO)
1800.62
1801.26
46079
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
? (TO)
1800.62
1801.27
33661
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
? (TO)
1800.62
1801.34
33696
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
? (TO)
1800.63
1801.27
33674
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
? (TO)
1800.63
1800.3
33766
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
? (TO)
1800.64
1799.37
33758
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb
? (TO)
1800.64
1801.32
33668
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb
? (TO)
1800.66
1801.27
33699
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-41-40.opb
? (TO)
1800.67
1800.26
46063
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-15-10.opb
? (TO)
1800.67
1801.28
46083
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
? (TO)
1800.67
1801.25
33694
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb
? (TO)
1800.68
1801.31
33670
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb
? (TO)
1800.69
1801.27
46062
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb
? (TO)
1800.69
1801.23
46085
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb
? (TO)
1800.69
1795.25
33759
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb
? (TO)
1800.69
1801.26
33708
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
? (TO)
1800.69
1801.23
33691
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb
? (TO)
1800.7
1801.27
33717
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin12.opb
? (TO)
1800.71
1801.26
33416
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb
? (TO)
1800.71
1801.32
46069
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb
? (TO)
1800.73
1792.35
33746
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb
? (TO)
1800.74
1801.33
33671
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
? (TO)
1800.74
1778.2
33752
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
? (TO)
1800.74
1801.27
33698
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb
? (TO)
1800.74
1801.25
46070
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
? (TO)
1800.74
1799.32
33715
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb
? (TO)
1800.74
1801.25
33677
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb
? (TO)
1800.75
1801.27
46078
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
? (TO)
1800.75
1801.27
33679
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
? (TO)
1800.75
1801.27
33678
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army12.21bt.opb
? (TO)
1800.76
1801.23
33426
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb
? (TO)
1800.76
1801.25
46064
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb
? (TO)
1800.76
1801.3
46054
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb
? (TO)
1800.76
1801.27
33676
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb
? (TO)
1800.76
1801.21
33707
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
? (TO)
1800.77
1698.21
33650
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
? (TO)
1800.77
1801.33
33680
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
? (TO)
1800.77
1801.28
33667
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb
? (TO)
1800.77
1801.31
46050
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin10.opb
? (TO)
1800.78
1801.27
33419
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
? (TO)
1800.79
1801.25
33675
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
? (TO)
1800.79
1698.38
33647
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb
? (TO)
1800.8
1801.28
33682
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb
? (TO)
1800.8
1801.28
46081
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-45-40.opb
? (TO)
1800.8
1800.27
46068
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-11-10.opb
? (TO)
1800.8
1801.23
46075
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
? (TO)
1800.8
1801.23
33672
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb
? (TO)
1800.8
1801.25
33683
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb
? (TO)
1800.8
1801.28
33687
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-21-20.opb
? (TO)
1800.82
1801.31
46071
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb
? (TO)
1800.82
1801.25
46061
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-44s.smv.opb
? (TO)
1800.82
1801.27
33722
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-55-50.opb
? (TO)
1800.83
1799.44
46072
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb
? (TO)
1800.83
1801.28
46048
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb
? (TO)
1800.84
1801.27
46080
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-75-70.opb
? (TO)
1800.84
1795.24
46058
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb
? (TO)
1800.84
1801.28
33665
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb
? (TO)
1800.85
1801.25
33685
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-101-100.opb
? (TO)
1800.85
1801.32
46059
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-46s.smv.opb
? (TO)
1800.86
1801.3
33713
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb
? (TO)
1800.87
1801.26
46065
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
? (TO)
1800.87
1801.26
33684
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb
? (TO)
1800.88
1801.27
46066
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb
? (TO)
1800.88
1801.3
33656
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-25-20.opb
? (TO)
1800.89
1801.25
46073
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb
? (TO)
1800.9
1801.34
33681
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
? (TO)
1800.91
1800.26
33765
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb
? (TO)
1800.94
1800.24
33724
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-105-100.opb
? (TO)
1800.94
1801.28
46082
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
? (TO)
1800.94
1800.25
33763
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl.opb
? (TO)
1800.94
1792.21
33740
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
? (TO)
1800.94
1698.21
33646
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb
? (TO)
1800.95
1801.3
33657
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
? (TO)
1800.95
1800.26
33764
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
? (TO)
1800.98
1800.28
33634
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
? (TO)
1800.98
1801.28
33695
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
? (TO)
1800.99
1801.28
33689
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
? (TO)
1800.99
1777.24
33638
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
? (TO)
1800.99
1800.24
33762
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl.opb
? (TO)
1801.01
1801.31
33756
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
? (TO)
1801.02
1800.34
33761
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl.opb
? (TO)
1801.04
1801.22
33734