normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-25fv47.opb
|
UNSAT
TT=2.236
|
UNSAT
TT=4.47
|
UNSAT
TT=14.381
|
UNSAT
TT=3.102
|
UNSAT
TT=2.236
|
? (MO)
TT=144.189
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-80bau3b.opb
|
UNSAT
TT=3.493
|
UNSAT
TT=3.976
|
UNSAT
TT=4.252
|
UNSAT
TT=5.089
|
UNSAT
TT=3.493
|
? (MO)
TT=346.877
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-adlittle.opb
|
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.12
|
? (TO)
TT=1800.2
|
? (TO)
TT=1800.03
|
? (MO)
TT=191.884
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-afiro.opb
|
OPT f=-11897496 TT=2.205 T1=1.25
|
OPT f=-11897496 TT=123.238 T1=123.26
|
OPT f=-11897496 TT=518.687 T1=518.76
|
SAT (TO) f=-11730700 TT=1800.02 T1=872.55
|
OPT f=-11897496 TT=2.205 T1=1.25
|
? (MO)
TT=193.699
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-agg2.opb
|
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.13
|
? (TO)
TT=1800.04
|
? (MO)
TT=194.083
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-agg3.opb
|
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800.03
|
? (MO)
TT=166.806
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-agg.opb
|
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.02
|
? (TO)
TT=1801.33
|
? (TO)
TT=1800.61
|
? (MO)
TT=164.279
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-bandm.opb
|
UNSAT
TT=0.923
|
UNSAT
TT=0.923
|
UNSAT
TT=6.459
|
UNSAT
TT=1.885
|
UNSAT
TT=1.115
|
? (MO)
TT=160.618
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-beaconfd.opb
|
UNSAT
TT=1.214
|
UNSAT
TT=3.821
|
UNSAT
TT=121.312
|
UNSAT
TT=2.384
|
UNSAT
TT=1.214
|
? (MO)
TT=193
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-blend.opb
|
SAT f=1295806500506 TT=1800.11 T1=53.94
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.08
|
SAT (TO) f=1295806500506 TT=1800.11 T1=53.94
|
? (TO)
TT=1800.79
|
? (MO)
TT=166.417
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-bnl1.opb
|
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.73
|
? (TO)
TT=1800.91
|
? (exit code)
TT=186.07
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-bnl2.opb
|
UNSAT
TT=2.605
|
UNSAT
TT=5.237
|
UNSAT
TT=5.189
|
UNSAT
TT=4.283
|
UNSAT
TT=2.605
|
? (MO)
TT=337.841
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-boeing1.opb
|
SAT f=48382442725 TT=1800.03 T1=105.4
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.18
|
SAT (TO) f=48382442725 TT=1800.03 T1=105.4
|
? (MO)
TT=255.895
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-boeing2.opb
|
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-bore3d.opb
|
UNSAT
TT=0.365
|
UNSAT
TT=0.365
|
UNSAT
TT=0.565
|
UNSAT
TT=1.614
|
UNSAT
TT=0.916
|
? (MO)
TT=370.709
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-brandy.opb
|
UNSAT
TT=0.582
|
UNSAT
TT=0.582
|
UNSAT
TT=2.531
|
UNSAT
TT=1.835
|
UNSAT
TT=0.995
|
? (MO)
TT=188.504
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-capri.opb
|
UNSAT
TT=0.328
|
UNSAT
TT=0.328
|
UNSAT
TT=1.267
|
UNSAT
TT=1.544
|
UNSAT
TT=1.016
|
? (MO)
TT=197.082
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-cycle.opb
|
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.65
|
? (TO)
TT=1800.48
|
? (MO)
TT=265.281
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-czprob.opb
|
SAT f=213520005192337 TT=1800.17 T1=497.86
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.02
|
SAT (TO) f=213520005192337 TT=1800.17 T1=497.86
|
? (TO)
TT=1800.08
|
? (MO)
TT=281.671
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-d2q06c.opb
|
UNSAT
TT=4.335
|
UNSAT
TT=9.083
|
UNSAT
TT=9.253
|
UNSAT
TT=5.975
|
UNSAT
TT=4.335
|
? (MO)
TT=148.5
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-d6cube.opb
|
|
? (TO)
TT=1800.06
|
Signal
TT=57.961
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.04
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-degen2.opb
|
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.66
|
? (TO)
TT=1800.89
|
? (TO)
TT=1800.04
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-degen3.opb
|
|
? (TO)
TT=1800.08
|
?
TT=1089.96
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.55
|
? (TO)
TT=1800.03
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-dfl001.opb
|
|
? (MO)
TT=1450.13
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.95
|
? (TO)
TT=1800.06
|
? (MO)
TT=169.663
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-e226.opb
|
UNSAT
TT=0.026
|
UNSAT
TT=0.686
|
UNSAT
TT=0.026
|
UNSAT
TT=1.744
|
UNSAT
TT=1.084
|
? (MO)
TT=154.928
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-etamacro.opb
|
UNSAT
TT=0.372
|
UNSAT
TT=0.372
|
UNSAT
TT=0.393
|
UNSAT
TT=1.735
|
UNSAT
TT=1.093
|
? (MO)
TT=193.005
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fffff800.opb
|
UNSAT
TT=1.544
|
UNSAT
TT=3.125
|
UNSAT
TT=77.002
|
UNSAT
TT=2.484
|
UNSAT
TT=1.544
|
? (MO)
TT=184.592
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit1p.opb
|
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.01
|
? (TO)
TT=1800.68
|
? (MO)
TT=197.183
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit2d.opb
|
|
? (TO)
TT=1800.03
|
Signal
TT=217.705
|
? (TO)
TT=1800.6
|
? (TO)
TT=1800.57
|
? (TO)
TT=1800.16
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit2p.opb
|
|
? (TO)
TT=1800.15
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.4
|
? (TO)
TT=1800.84
|
? (MO)
TT=179.496
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-forplan.opb
|
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.26
|
? (TO)
TT=1800.14
|
? (TO)
TT=1800.01
|
? (MO)
TT=196.939
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ganges.opb
|
UNSAT
TT=1.475
|
UNSAT
TT=1.475
|
UNSAT
TT=2.922
|
UNSAT
TT=2.403
|
UNSAT
TT=1.674
|
? (MO)
TT=1146.9
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-gfrd-pnc.opb
|
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800
|
? (MO)
TT=234.779
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-greenbea.opb
|
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.03
|
? (MO)
TT=170.109
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-greenbeb.opb
|
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.17
|
? (TO)
TT=1800.09
|
? (MO)
TT=177.104
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-grow15.opb
|
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.19
|
? (TO)
TT=1800.07
|
? (MO)
TT=206.383
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-grow22.opb
|
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.01
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800.08
|
? (MO)
TT=201.386
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-grow7.opb
|
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.04
|
? (MO)
TT=196.09
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-israel.opb
|
SAT f=-304132519107 TT=1800.11 T1=912.95
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.11
|
SAT (TO) f=-294151729076 TT=1800.12 T1=279.8
|
SAT (TO) f=-304132519107 TT=1800.11 T1=912.95
|
? (MO)
TT=260.594
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-kb2.opb
|
SAT f=0 TT=1800.01 T1=0.88
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.1
|
SAT (TO) f=0 TT=1800.15 T1=0.88
|
SAT (TO) f=0 TT=1800.01 T1=408.29
|
? (MO)
TT=172.373
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-lotfi.opb
|
|
? (MO)
TT=443.444
|
? (MO)
TT=1560.66
|
? (TO)
TT=1800.57
|
? (TO)
TT=1800.07
|
? (MO)
TT=336.069
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-maros.opb
|
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.62
|
? (TO)
TT=1800.72
|
? (MO)
TT=187.892
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-maros-r7.opb
|
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.01
|
? (TO)
TT=1800.05
|
? (MO)
TT=189.362
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-modszk1.opb
|
|
? (TO)
TT=1800.14
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.74
|
? (MO)
TT=163.008
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-nesm.opb
|
UNSAT
TT=2.194
|
UNSAT
TT=3.434
|
UNSAT
TT=5.114
|
UNSAT
TT=3.223
|
UNSAT
TT=2.194
|
? (MO)
TT=208.291
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-perold.opb
|
UNSAT
TT=1.642
|
UNSAT
TT=1.642
|
UNSAT
TT=1.655
|
UNSAT
TT=2.284
|
UNSAT
TT=1.784
|
? (MO)
TT=596.223
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-pilot4.opb
|
UNSAT
TT=1.289
|
UNSAT
TT=1.292
|
UNSAT
TT=1.289
|
UNSAT
TT=2.084
|
UNSAT
TT=1.604
|
? (MO)
TT=321.257
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-pilot87.opb
|
UNSAT
TT=3.244
|
UNSAT
TT=5.782
|
UNSAT
TT=5.721
|
UNSAT
TT=4.843
|
UNSAT
TT=3.244
|
? (MO)
TT=355.476
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-pilot.opb
|
UNSAT
TT=1.774
|
UNSAT
TT=2.285
|
UNSAT
TT=2.261
|
UNSAT
TT=2.634
|
UNSAT
TT=1.774
|
? (MO)
TT=185.795
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-pilot.we.opb
|
UNSAT
TT=18.208
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.1
|
UNSAT
TT=18.208
|
? (TO)
TT=1800.5
|
? (MO)
TT=317.07
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-recipe.opb
|
OPT f=-136341504 TT=5.574 T1=3.98
|
? (MO)
TT=738.825
|
? (TO)
TT=1800.02
|
OPT f=-136341504 TT=5.574 T1=3.98
|
SAT (TO) f=-136069369 TT=1800.03 T1=369.89
|
? (MO)
TT=194.953
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc105.opb
|
OPT f=0 TT=1.092 T1=0.75
|
OPT f=0 TT=1.092 T1=1.08
|
OPT f=0 TT=1333.35 T1=1333.52
|
OPT f=0 TT=16.002 T1=0.89
|
OPT f=0 TT=8.013 T1=0.75
|
? (exit code)
TT=1311.79
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc205.opb
|
OPT f=0 TT=3.293 T1=0.86
|
OPT f=0 TT=3.293 T1=3.28
|
? (TO)
TT=1800.02
|
OPT f=0 TT=18.112 T1=0.96
|
OPT f=0 TT=8.593 T1=0.86
|
? (exit code)
TT=1276.1
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc50a.opb
|
OPT f=-60000 TT=4.866 T1=2.75
|
OPT f=-60000 TT=4.866 T1=4.86
|
OPT f=-60000 TT=271.767 T1=271.8
|
OPT f=-60000 TT=9.153 T1=2.75
|
OPT f=-60000 TT=6.561 T1=4.27
|
OPT f=-60000 TT=176.196 T1=174.74
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc50b.opb
|
OPT f=-70000 TT=6.963 T1=3.81
|
OPT f=-70000 TT=12.521 T1=12.52
|
OPT f=-70000 TT=915.139 T1=915.25
|
OPT f=-70000 TT=44.849 T1=5.27
|
OPT f=-70000 TT=6.963 T1=3.81
|
OPT f=-70000 TT=1119.79 T1=1119.2
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scagr25.opb
|
UNSAT
TT=0.475
|
UNSAT
TT=0.475
|
UNSAT
TT=1.575
|
UNSAT
TT=1.684
|
UNSAT
TT=1.154
|
? (MO)
TT=196.098
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scagr7.opb
|
UNSAT
TT=0.117
|
UNSAT
TT=0.117
|
UNSAT
TT=1.203
|
UNSAT
TT=1.234
|
UNSAT
TT=0.764
|
? (MO)
TT=194.902
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scfxm1.opb
|
UNSAT
TT=0.869
|
UNSAT
TT=0.869
|
UNSAT
TT=189.486
|
UNSAT
TT=1.974
|
UNSAT
TT=0.955
|
? (MO)
TT=199.899
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scfxm2.opb
|
UNSAT
TT=1.335
|
UNSAT
TT=1.714
|
UNSAT
TT=3.528
|
UNSAT
TT=2.205
|
UNSAT
TT=1.335
|
? (MO)
TT=165.117
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scfxm3.opb
|
UNSAT
TT=1.513
|
UNSAT
TT=2.576
|
UNSAT
TT=4.397
|
UNSAT
TT=2.745
|
UNSAT
TT=1.513
|
? (MO)
TT=163.974
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scorpion.opb
|
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800
|
? (TO)
TT=1800.71
|
? (TO)
TT=1800.07
|
? (MO)
TT=192.893
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scrs8.opb
|
|
? (TO)
TT=1800.01
|
? (TO)
TT=1800.01
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.03
|
? (MO)
TT=231.907
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scsd1.opb
|
|
? (MO)
TT=459.488
|
? (MO)
TT=395.161
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800.07
|
? (MO)
TT=190.743
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scsd6.opb
|
|
? (MO)
TT=461.09
|
? (MO)
TT=402.995
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800.02
|
? (MO)
TT=170.005
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scsd8.opb
|
|
? (MO)
TT=378.226
|
? (MO)
TT=396.286
|
? (TO)
TT=1800.8
|
? (TO)
TT=1800.02
|
? (MO)
TT=182.906
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sctap1.opb
|
SAT f=1225564623 TT=1800.86 T1=1491.29
|
SAT (TO) f=33736624906 TT=1800.07 T1=1800.4
|
? (TO)
TT=1800.02
|
SAT (TO) f=3448984838 TT=1800.34 T1=858.01
|
SAT (TO) f=1225564623 TT=1800.86 T1=1491.29
|
? (MO)
TT=165.924
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sctap2.opb
|
SAT f=2807518283 TT=1800.1 T1=35.44
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.02
|
SAT (TO) f=5605999579 TT=1800.18 T1=15.15
|
SAT (TO) f=2807518283 TT=1800.1 T1=35.44
|
? (MO)
TT=169.867
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sctap3.opb
|
SAT f=14414485905 TT=1800.14 T1=318.1
|
? (TO)
TT=1800.12
|
? (TO)
TT=1800.02
|
SAT (TO) f=14414485905 TT=1800.14 T1=318.1
|
No Cert.
TT=1800.07
|
? (MO)
TT=170.016
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-seba.opb
|
|
? (TO)
TT=1800.01
|
? (TO)
TT=1800.01
|
? (TO)
TT=1800
|
? (TO)
TT=1800.04
|
? (MO)
TT=195.203
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-share1b.opb
|
UNSAT
TT=0.397
|
UNSAT
TT=0.397
|
UNSAT
TT=1.617
|
UNSAT
TT=1.645
|
UNSAT
TT=0.855
|
? (MO)
TT=182.603
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-share2b.opb
|
SAT f=-39584070 TT=1800.07 T1=19.5
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.01
|
SAT (TO) f=-39584070 TT=1800.07 T1=19.5
|
? (TO)
TT=1800.52
|
? (MO)
TT=206.62
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-shell.opb
|
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.18
|
? (TO)
TT=1800
|
? (MO)
TT=358.359
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship04l.opb
|
UNSAT
TT=1.005
|
UNSAT
TT=3.496
|
UNSAT
TT=4.912
|
UNSAT
TT=2.335
|
UNSAT
TT=1.653
|
UNSAT
TT=1.005
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship04s.opb
|
UNSAT
TT=0.495
|
UNSAT
TT=1.52
|
UNSAT
TT=0.495
|
UNSAT
TT=1.065
|
UNSAT
TT=0.934
|
UNSAT
TT=0.706
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship08l.opb
|
UNSAT
TT=1.994
|
UNSAT
TT=6.394
|
UNSAT
TT=7.687
|
UNSAT
TT=3.481
|
UNSAT
TT=2.354
|
UNSAT
TT=1.994
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship08s.opb
|
UNSAT
TT=0.683
|
UNSAT
TT=3.276
|
UNSAT
TT=0.683
|
UNSAT
TT=3.125
|
UNSAT
TT=1.774
|
UNSAT
TT=1.114
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship12l.opb
|
UNSAT
TT=1.913
|
UNSAT
TT=7.062
|
UNSAT
TT=2.916
|
UNSAT
TT=2.213
|
UNSAT
TT=1.913
|
UNSAT
TT=2.602
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship12s.opb
|
UNSAT
TT=1.306
|
UNSAT
TT=3.124
|
UNSAT
TT=1.492
|
UNSAT
TT=2.054
|
UNSAT
TT=1.333
|
UNSAT
TT=1.306
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sierra.opb
|
UNSAT
TT=1.208
|
UNSAT
TT=14.206
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.42
|
UNSAT
TT=1.208
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-stair.opb
|
UNSAT
TT=13.361
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.11
|
UNSAT
TT=13.361
|
UNSAT
TT=26.691
|
? (MO)
TT=172.737
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-standata.opb
|
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.37
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.04
|
? (MO)
TT=444.794
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-standgub.opb
|
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.34
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800.03
|
? (MO)
TT=446.986
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-stocfor1.opb
|
UNSAT
TT=0.103
|
UNSAT
TT=0.103
|
UNSAT
TT=0.12
|
UNSAT
TT=1.404
|
UNSAT
TT=0.724
|
? (MO)
TT=176.654
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-stocfor2.opb
|
UNSAT
TT=1.913
|
UNSAT
TT=2.352
|
UNSAT
TT=2.316
|
UNSAT
TT=3.084
|
UNSAT
TT=1.913
|
? (MO)
TT=198.931
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-tuff.opb
|
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.44
|
? (TO)
TT=1800.12
|
? (MO)
TT=157.124
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-vtp.base.opb
|
|
? (MO)
TT=776.014
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.69
|
? (TO)
TT=1800.05
|
? (MO)
TT=196.492
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-wood1p.opb
|
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.06
|
? (MO)
TT=181.392
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-woodw.opb
|
UNSAT
TT=5.532
|
UNSAT
TT=26.079
|
UNSAT
TT=67.007
|
UNSAT
TT=12.113
|
UNSAT
TT=5.532
|
? (MO)
TT=168.59
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-a1c1s1.opb
|
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.01
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.13
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-arki001.opb
|
UNSAT
TT=2.744
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.08
|
UNSAT
TT=2.744
|
? (TO)
TT=1800.06
|
? (MO)
TT=284.488
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-atlanta-ip.opb
|
SAT f=12001901559546 TT=1800.65 T1=62.77
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.01
|
SAT (TO) f=15602490537890 TT=1800.08 T1=10.03
|
SAT (TO) f=12001901559546 TT=1800.65 T1=62.77
|
? (TO)
TT=1800.18
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-dano3mip.opb
|
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.12
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.34
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-danoint.opb
|
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.17
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.05
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-ds.opb
|
SAT f=510229 TT=1802.32 T1=75.4
|
SAT (TO) f=696935 TT=1800.4 T1=1800.3
|
SAT (MO) f=2121867 TT=316.051 T1=315.41
|
SAT (TO) f=510229 TT=1802.32 T1=75.4
|
No Cert.
TT=1802.82
|
? (TO)
TT=1800.31
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-fiber.opb
|
SAT f=46355055 TT=1800.16 T1=1800.4
|
SAT (TO) f=1988425470 TT=1800.03 T1=1800.3
|
SAT (TO) f=46355055 TT=1800.16 T1=1800.4
|
SAT (TO) f=64801527 TT=1800.19 T1=18.96
|
SAT (TO) f=62541951 TT=1800.06 T1=135.52
|
? (TO)
TT=1800.65
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-fixnet6.opb
|
SAT f=9743222 TT=1800.08 T1=5.72
|
SAT (TO) f=97165505 TT=1800.1 T1=1800.4
|
? (TO)
TT=1800.07
|
SAT (TO) f=36078890 TT=1800.19 T1=14.09
|
SAT (TO) f=9743222 TT=1800.08 T1=5.72
|
? (TO)
TT=1800.46
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-gesa2-o.opb
|
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.01
|
? (TO)
TT=1800.09
|
? (MO)
TT=206.276
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-gesa2.opb
|
SAT f=4538154438494 TT=1800.08 T1=133.61
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.11
|
SAT (TO) f=4687399224674 TT=1800.02 T1=3.13
|
SAT (TO) f=4538154438494 TT=1800.08 T1=133.61
|
? (MO)
TT=166.246
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-glass4.opb
|
OPT f=1228810444800 TT=6.642 T1=5.29
|
? (MO)
TT=437.358
|
? (TO)
TT=1800.1
|
SAT (TO) f=1245192525829 TT=1800.87 T1=41.13
|
OPT f=1228810444800 TT=6.642 T1=5.29
|
? (MO)
TT=211.588
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-harp2.opb
|
SAT f=-65132348 TT=1800.16 T1=6.32
|
? (TO)
TT=1800.03
|
SAT (TO) f=-50338467 TT=1800.11 T1=1800.4
|
SAT (TO) f=-65132348 TT=1800.16 T1=6.32
|
SAT (TO) f=-52047497 TT=1800.89 T1=0.52
|
? (MO)
TT=247.758
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-liu.opb
|
SAT f=1440416 TT=1800.08 T1=1800.4
|
SAT (TO) f=1440416 TT=1800.08 T1=1800.4
|
? (TO)
TT=1800.01
|
SAT (TO) f=2752511 TT=1800.19 T1=162.24
|
SAT (TO) f=4980735 TT=1800.05 T1=95.57
|
? (MO)
TT=327.457
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-markshare1.opb
|
SAT f=14336 TT=1800.06 T1=694.07
|
SAT (TO) f=45056 TT=1800.02 T1=1800.3
|
SAT (TO) f=21504 TT=1800.01 T1=1800.3
|
SAT (TO) f=14336 TT=1800.06 T1=694.07
|
SAT (TO) f=23552 TT=1800.67 T1=1322
|
? (TO)
TT=1800.03
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-markshare2.opb
|
SAT f=77824 TT=1800.06 T1=581.6
|
SAT (TO) f=98304 TT=1800.02 T1=1800.3
|
SAT (TO) f=104448 TT=1800.11 T1=1800.4
|
SAT (TO) f=82944 TT=1800.55 T1=411.79
|
SAT (TO) f=77824 TT=1800.06 T1=581.6
|
? (TO)
TT=1800.15
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mas74.opb
|
SAT f=52428797515 TT=1800.68 T1=338.84
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.05
|
SAT (TO) f=52428797515 TT=1800.68 T1=338.84
|
? (TO)
TT=1800.02
|
? (MO)
TT=264.359
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mas76.opb
|
SAT f=209715197291 TT=1800.03 T1=6.23
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.08
|
SAT (TO) f=209715197291 TT=1800.03 T1=6.23
|
? (TO)
TT=1800.04
|
? (MO)
TT=243.977
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-misc07.opb
|
OPT f=1076618240 TT=108 T1=3.3
|
SAT (TO) f=1076618240 TT=1800.02 T1=1800.3
|
SAT (TO) f=1076618240 TT=1800.03 T1=1800.3
|
OPT f=1076618240 TT=506.648 T1=3.3
|
OPT f=1076618240 TT=108 T1=23.86
|
? (exit code)
TT=177.729
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mkc.opb
|
SAT f=-151625 TT=1800.06 T1=1800.3
|
SAT (TO) f=-151625 TT=1800.06 T1=1800.3
|
SAT (TO) f=-70125 TT=1800.19 T1=1800.5
|
SAT (TO) f=-126875 TT=1800.92 T1=0.93
|
SAT (TO) f=-126750 TT=1800.83 T1=402.57
|
? (MO)
TT=265.261
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mod011.opb
|
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.02
|
? (TO)
TT=1801.17
|
? (TO)
TT=1800.09
|
? (MO)
TT=204.908
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-modglob.opb
|
|
? (TO)
TT=1800.01
|
? (TO)
TT=1800.17
|
? (TO)
TT=1800.17
|
? (TO)
TT=1800.03
|
? (MO)
TT=184.435
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-momentum1.opb
|
UNSAT
TT=2.712
|
UNSAT
TT=2.925
|
UNSAT
TT=2.901
|
UNSAT
TT=3.905
|
UNSAT
TT=2.712
|
? (MO)
TT=239.495
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-momentum2.opb
|
UNSAT
TT=1.179
|
UNSAT
TT=23.6
|
UNSAT
TT=1.179
|
UNSAT
TT=13.122
|
UNSAT
TT=10.099
|
? (exit code)
TT=870.51
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-momentum3.opb
|
SAT f=10752000000 TT=1800.03 T1=112.78
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.16
|
SAT (TO) f=10752000000 TT=1800.03 T1=112.78
|
SAT (TO) f=11370576184 TT=1800.8 T1=34.57
|
? (MO)
TT=256.978
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-msc98-ip.opb
|
SAT f=2634797100956844820 TT=1800.17 T1=697.23
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.1
|
SAT (TO) f=2634797100956844820 TT=1800.17 T1=697.23
|
SAT (TO) f=2722140601278347731 TT=1800.77 T1=2.83
|
? (TO)
TT=1800.05
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-noswot.opb
|
OPT f=-41 TT=6.392 T1=0.43
|
OPT f=-41 TT=6.392 T1=6.39
|
OPT f=-41 TT=100.436 T1=100.44
|
OPT f=-41 TT=430.568 T1=1.83
|
OPT f=-41 TT=154.51 T1=0.43
|
OPT f=-41 TT=985.062 T1=985.39
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-nsrand-ipx.opb
|
SAT f=1241512960 TT=1800.18 T1=1800.5
|
SAT (TO) f=1853685760 TT=1800.05 T1=1800.4
|
SAT (TO) f=1241512960 TT=1800.18 T1=1800.5
|
SAT (TO) f=1614804990 TT=1800.12 T1=899.64
|
SAT (TO) f=1346895871 TT=1801.45 T1=863.14
|
? (MO)
TT=188.183
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-pk1.opb
|
SAT f=57344 TT=1800.02 T1=1800.3
|
SAT (TO) f=57344 TT=1800.02 T1=1800.3
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.01
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-pp08aCUTS.opb
|
SAT f=24854395555 TT=1800.09 T1=1800.4
|
SAT (TO) f=24854395555 TT=1800.09 T1=1800.4
|
? (TO)
TT=1800.01
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.04
|
? (MO)
TT=142.72
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-pp08a.opb
|
SAT f=10946196156 TT=1800.1 T1=1800.4
|
SAT (TO) f=10946196156 TT=1800.1 T1=1800.4
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.14
|
? (TO)
TT=1800.05
|
? (MO)
TT=145.453
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-qiu.opb
|
UNSAT
TT=0.312
|
UNSAT
TT=1.571
|
UNSAT
TT=154.594
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.1
|
UNSAT
TT=0.312
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-rd-rplusc-21.opb
|
UNSAT
TT=19.62
|
UNSAT
TT=72.545
|
UNSAT
TT=71.751
|
UNSAT
TT=31.86
|
UNSAT
TT=19.62
|
? (MO)
TT=241.851
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-roll3000.opb
|
SAT f=1095891440 TT=1800.01 T1=1800.3
|
SAT (TO) f=1095891440 TT=1800.01 T1=1800.3
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.16
|
SAT (TO) f=1113587711 TT=1800.08 T1=409.91
|
? (MO)
TT=147.241
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-rout.opb
|
SAT f=1075039488 TT=1800.1 T1=1800.4
|
SAT (TO) f=1075039488 TT=1800.1 T1=1800.4
|
SAT (TO) f=1075496960 TT=1800.09 T1=1800.5
|
SAT (TO) f=1075130624 TT=1800.1 T1=766.37
|
SAT (TO) f=1075083776 TT=1800.95 T1=1153.38
|
? (MO)
TT=245.805
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-set1ch.opb
|
SAT f=359960590 TT=1800.08 T1=1.17
|
SAT (TO) f=5788941750 TT=1800.07 T1=1800.4
|
? (TO)
TT=1800.02
|
SAT (TO) f=365047649 TT=1800.04 T1=1.67
|
SAT (TO) f=359960590 TT=1800.08 T1=1.17
|
? (MO)
TT=279.864
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-sp97ar.opb
|
SAT f=43815878113 TT=1800 T1=168.92
|
SAT (TO) f=503555543330 TT=1800.06 T1=1800.3
|
SAT (TO) f=102428565298 TT=1800.11 T1=1800.4
|
SAT (TO) f=43815878113 TT=1800 T1=168.92
|
No Cert.
TT=1800.94
|
? (MO)
TT=230.764
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-stp3d.opb
|
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.19
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.06
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-swath.opb
|
|
? (MO)
TT=390.661
|
? (MO)
TT=333.254
|
? (TO)
TT=1800.14
|
? (TO)
TT=1800.01
|
? (MO)
TT=220.988
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-timtab1.opb
|
UNSAT
TT=1.032
|
UNSAT
TT=1.032
|
UNSAT
TT=328.034
|
? (TO)
TT=1800
|
? (TO)
TT=1800.04
|
UNSAT
TT=2.399
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-timtab2.opb
|
SAT f=180707374499942795 TT=1800.75 T1=0.93
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.09
|
SAT (TO) f=191804917299898631 TT=1801.01 T1=1.94
|
SAT (TO) f=180707374499942795 TT=1800.75 T1=0.93
|
? (MO)
TT=632.868
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-tr12-30.opb
|
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.87
|
? (TO)
TT=1800.06
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-van.opb
|
SAT f=24193312742 TT=1800.13 T1=112.14
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.01
|
SAT (TO) f=24193312742 TT=1800.13 T1=112.14
|
SAT (TO) f=25442247019 TT=1800.92 T1=14.49
|
? (TO)
TT=1800.6
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-blend2.opb
|
SAT f=160502828 TT=1800.07 T1=901.32
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.18
|
SAT (TO) f=160502828 TT=1800.07 T1=901.32
|
? (MO)
TT=325.872
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-gesa3_o.opb
|
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.67
|
? (MO)
TT=186.484
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-gesa3.opb
|
SAT f=4865649697229 TT=1800.05 T1=2.13
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.01
|
SAT (TO) f=4865953557383 TT=1800.04 T1=3.72
|
SAT (TO) f=4865649697229 TT=1800.05 T1=2.13
|
? (MO)
TT=176.594
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-qnet1_o.opb
|
UNSAT
TT=0.859
|
UNSAT
TT=0.859
|
UNSAT
TT=495.553
|
UNSAT
TT=2.445
|
UNSAT
TT=1.205
|
? (MO)
TT=261
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-qnet1.opb
|
UNSAT
TT=0.881
|
UNSAT
TT=0.881
|
UNSAT
TT=496.575
|
UNSAT
TT=2.564
|
UNSAT
TT=1.205
|
? (MO)
TT=252.105
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell3a.opb
|
SAT f=139474892366875 TT=1800.07 T1=846.23
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.11
|
SAT (TO) f=139474892366875 TT=1800.07 T1=846.23
|
SAT (TO) f=141211004331900 TT=1800 T1=1417.9
|
? (MO)
TT=183.397
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell3b.opb
|
SAT f=1323375948476250 TT=1800.75 T1=16.85
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.02
|
SAT (TO) f=1323375948476250 TT=1800.75 T1=16.85
|
SAT (TO) f=1391388940707500 TT=1800.02 T1=0.5
|
? (MO)
TT=185.208
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell4.opb
|
SAT f=195203118275530 TT=1800.08 T1=13.29
|
SAT (TO) f=1809895699004031 TT=1800.03 T1=1800.3
|
? (TO)
TT=1800.02
|
SAT (TO) f=196895269604964 TT=1800.08 T1=373.99
|
SAT (TO) f=195203118275530 TT=1800.08 T1=13.29
|
? (MO)
TT=176.677
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell5.opb
|
SAT f=948234148331060 TT=1800.01 T1=5.86
|
SAT (TO) f=4378916459574992 TT=1800.02 T1=1800.3
|
SAT (TO) f=9076326695683005 TT=1800.1 T1=1800.4
|
SAT (TO) f=952645238310140 TT=1800.07 T1=368.54
|
SAT (TO) f=948234148331060 TT=1800.01 T1=5.86
|
? (MO)
TT=213.78
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-dcmulti.opb
|
SAT f=3596062786 TT=1800.1 T1=1800.4
|
? (TO)
TT=1800.03
|
SAT (TO) f=3596062786 TT=1800.1 T1=1800.4
|
SAT (TO) f=3660031644 TT=1800.85 T1=60.29
|
? (TO)
TT=1800.08
|
? (MO)
TT=137.889
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-egout.opb
|
OPT f=471047168 TT=18.611 T1=14.93
|
OPT f=471047168 TT=244.896 T1=244.91
|
OPT f=471047168 TT=253.618 T1=253.58
|
OPT f=471047168 TT=55.726 T1=26.34
|
OPT f=471047168 TT=18.611 T1=14.93
|
? (MO)
TT=373.646
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-fixnet3.opb
|
SAT f=208952688 TT=1800.01 T1=19.53
|
SAT (TO) f=677887696 TT=1800.08 T1=1800.4
|
? (TO)
TT=1800.06
|
SAT (TO) f=226802612 TT=1800.15 T1=14.12
|
SAT (TO) f=208952688 TT=1800.01 T1=19.53
|
? (TO)
TT=1800.64
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-fixnet4.opb
|
SAT f=36559396 TT=1800.11 T1=2.1
|
SAT (TO) f=150845990 TT=1800.1 T1=1800.4
|
? (TO)
TT=1800.04
|
SAT (TO) f=36559396 TT=1800.11 T1=2.1
|
SAT (TO) f=40429688 TT=1800 T1=617.6
|
? (TO)
TT=1800.54
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-flugpl.opb
|
OPT f=14745600 TT=0.524 T1=0.26
|
OPT f=14745600 TT=5.147 T1=5.14
|
OPT f=14745600 TT=28.516 T1=28.51
|
OPT f=14745600 TT=1.134 T1=3.68
|
OPT f=14745600 TT=0.524 T1=0.26
|
OPT f=14745600 TT=441.097 T1=437.99
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-gen.opb
|
SAT f=62368424818434 TT=1801.05 T1=1.8
|
? (TO)
TT=1800.03
|
SAT (TO) f=71949883380915 TT=1800.1 T1=1800.4
|
SAT (TO) f=62665484800045 TT=1800.06 T1=22.77
|
SAT (TO) f=62368424818434 TT=1801.05 T1=1.8
|
? (exit code)
TT=143.685
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-khb05250.opb
|
SAT f=201130104438 TT=1800.11 T1=298.01
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.08
|
SAT (TO) f=201130104438 TT=1800.11 T1=298.01
|
SAT (TO) f=312907105424 TT=1800.07 T1=12.5
|
? (MO)
TT=272.364
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc01.opb
|
OPT f=1074317824 TT=0.393 T1=0.39
|
OPT f=1074317824 TT=0.393 T1=0.39
|
OPT f=1074317824 TT=165.17 T1=165.19
|
OPT f=1074317824 TT=2.233 T1=2.16
|
OPT f=1074317824 TT=0.845 T1=0.43
|
? (MO)
TT=147.731
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc02.opb
|
OPT f=1075471360 TT=0.623 T1=0.32
|
OPT f=1075471360 TT=1.268 T1=1.26
|
OPT f=1075471360 TT=156.198 T1=156.21
|
OPT f=1075471360 TT=1.354 T1=2.15
|
OPT f=1075471360 TT=0.623 T1=0.32
|
? (MO)
TT=173.797
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc03.opb
|
OPT f=1077181440 TT=2.534 T1=0.96
|
OPT f=1077181440 TT=10.41 T1=10.41
|
OPT f=1077181440 TT=707.974 T1=708.11
|
OPT f=1077181440 TT=7.022 T1=3.7
|
OPT f=1077181440 TT=2.534 T1=0.96
|
? (MO)
TT=175.851
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc04.opb
|
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.03
|
? (MO)
TT=182.806
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc05.opb
|
OPT f=1076796928 TT=48.27 T1=2.2
|
OPT f=1076796928 TT=48.27 T1=48.27
|
SAT (TO) f=1076796928 TT=1800.01 T1=1800.3
|
OPT f=1076796928 TT=298.642 T1=13.4
|
OPT f=1076796928 TT=111.81 T1=2.2
|
? (MO)
TT=146.841
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc06.opb
|
|
? (MO)
TT=706.238
|
? (TO)
TT=1800.01
|
? (TO)
TT=1801.45
|
? (TO)
TT=1800.05
|
? (MO)
TT=1392.25
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-mod013.opb
|
SAT f=32134720 TT=1800.09 T1=971.24
|
SAT (TO) f=47984050 TT=1800.02 T1=1800.3
|
SAT (TO) f=37316170 TT=1800.1 T1=1800.4
|
SAT (TO) f=32248804 TT=1800.09 T1=657.05
|
SAT (TO) f=32134720 TT=1800.09 T1=971.24
|
? (TO)
TT=1800.18
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-rgn.opb
|
SAT f=680450 TT=1800.01 T1=1800.3
|
SAT (TO) f=680450 TT=1800.01 T1=1800.3
|
SAT (TO) f=741568 TT=1800.1 T1=1800.4
|
? (TO)
TT=1800.18
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-sample2.opb
|
OPT f=384000 TT=1.556 T1=0.35
|
OPT f=384000 TT=4.773 T1=4.82
|
OPT f=384000 TT=30.849 T1=30.83
|
OPT f=384000 TT=3.892 T1=2.28
|
OPT f=384000 TT=1.556 T1=0.35
|
OPT f=384000 TT=558.247 T1=360.09
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-set1al.opb
|
SAT f=264221696 TT=1800.04 T1=418.06
|
SAT (TO) f=24467753325 TT=1800.1 T1=1800.4
|
? (TO)
TT=1800.02
|
SAT (TO) f=264221696 TT=1800.04 T1=418.06
|
SAT (TO) f=394563828 TT=1800.58 T1=1295.76
|
? (MO)
TT=172.694
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-set1cl.opb
|
SAT f=27659262 TT=1801.16 T1=219.72
|
SAT (TO) f=8251669264 TT=1800.11 T1=1800.4
|
? (TO)
TT=1800.02
|
SAT (TO) f=27659262 TT=1801.16 T1=219.72
|
SAT (TO) f=27659264 TT=1800.03 T1=0.77
|
? (MO)
TT=170.877
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-bal8x12.opb
|
SAT f=89417487 TT=1800.02 T1=1340.56
|
SAT (TO) f=129514680 TT=1800.03 T1=1800.3
|
SAT (TO) f=118176232 TT=1800.06 T1=1800.4
|
SAT (TO) f=101131486 TT=1800.06 T1=558.41
|
SAT (TO) f=89417487 TT=1800.02 T1=1340.56
|
? (TO)
TT=1800.16
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-bk4x3.opb
|
OPT f=358400 TT=1.234 T1=0.52
|
OPT f=358400 TT=2.296 T1=2.29
|
OPT f=358400 TT=14.976 T1=14.97
|
OPT f=358400 TT=3.632 T1=7.21
|
OPT f=358400 TT=1.234 T1=0.52
|
OPT f=358400 TT=26.654 T1=16.01
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-gr4x6.opb
|
OPT f=20720640 TT=47.99 T1=8.75
|
OPT f=20720640 TT=435.922 T1=435.99
|
OPT f=20720640 TT=645.649 T1=645.72
|
OPT f=20720640 TT=110.206 T1=8.75
|
OPT f=20720640 TT=47.99 T1=9.95
|
? (TO)
TT=1800.09
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3700.opb
|
SAT f=2238939201 TT=1800.79 T1=82.84
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.1
|
SAT (TO) f=2238939201 TT=1800.79 T1=82.84
|
No Cert.
TT=1800.02
|
? (MO)
TT=148.61
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3701.opb
|
SAT f=9027581973 TT=1800.19 T1=264.2
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.04
|
SAT (TO) f=9027581973 TT=1800.19 T1=264.2
|
? (TO)
TT=1800.08
|
? (MO)
TT=152.61
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3702.opb
|
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.54
|
? (TO)
TT=1800.02
|
? (MO)
TT=170.518
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3703.opb
|
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.02
|
No Cert.
TT=1800.09
|
? (MO)
TT=168.104
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3704.opb
|
SAT f=14059485952 TT=1800.11 T1=19.82
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.09
|
SAT (TO) f=39635092687 TT=1800.06 T1=337.76
|
SAT (TO) f=14059485952 TT=1800.11 T1=19.82
|
? (MO)
TT=206.38
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3705.opb
|
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.08
|
No Cert.
TT=1800.07
|
? (MO)
TT=151.518
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3706.opb
|
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.76
|
? (TO)
TT=1800.67
|
? (MO)
TT=217.09
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3707.opb
|
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.95
|
? (TO)
TT=1800.06
|
? (MO)
TT=172.82
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3708.opb
|
SAT f=6829346271 TT=1800.11 T1=20.51
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.78
|
SAT (TO) f=6829346271 TT=1800.11 T1=20.51
|
? (MO)
TT=163.898
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3709.opb
|
SAT f=7426019560 TT=1800.86 T1=195.42
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.1
|
SAT (TO) f=7426019560 TT=1800.86 T1=195.42
|
SAT (TO) f=22023076789 TT=1800.03 T1=7.76
|
? (MO)
TT=147.311
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370a.opb
|
SAT f=45168146369 TT=1800.09 T1=40.41
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.02
|
SAT (TO) f=45168146369 TT=1800.09 T1=40.41
|
? (MO)
TT=174.477
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370b.opb
|
SAT f=7550768122 TT=1800.81 T1=240
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.1
|
SAT (TO) f=7550768122 TT=1800.81 T1=240
|
? (TO)
TT=1800.04
|
? (MO)
TT=170.618
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370c.opb
|
SAT f=31665295757 TT=1800.75 T1=64.92
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.08
|
SAT (TO) f=31665295757 TT=1800.75 T1=64.92
|
No Cert.
TT=1800.01
|
? (MO)
TT=208.925
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370e.opb
|
SAT f=9488653097 TT=1800.75 T1=484.09
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.05
|
SAT (TO) f=9488653097 TT=1800.75 T1=484.09
|
SAT (TO) f=10682457713 TT=1800.11 T1=5.53
|
? (MO)
TT=185.178
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x10a.opb
|
SAT f=1751040 TT=1800.12 T1=4.92
|
SAT (TO) f=6371081 TT=1800.11 T1=1800.4
|
SAT (TO) f=2896117 TT=1800.1 T1=1800.4
|
SAT (TO) f=1751040 TT=1800.12 T1=4.92
|
SAT (TO) f=1817600 TT=1800.92 T1=0.46
|
? (TO)
TT=1800.1
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x10b.opb
|
SAT f=3729408 TT=1800.74 T1=12.91
|
SAT (TO) f=12043056 TT=1800.09 T1=1800.4
|
SAT (TO) f=4587520 TT=1800.1 T1=1800.4
|
SAT (TO) f=3729408 TT=1800.74 T1=12.91
|
SAT (TO) f=4058112 TT=1800.02 T1=1220.13
|
? (TO)
TT=1800.24
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x10c.opb
|
SAT f=14235648 TT=1800.1 T1=1800.4
|
SAT (TO) f=36642183 TT=1800.02 T1=1800.3
|
SAT (TO) f=14235648 TT=1800.1 T1=1800.4
|
SAT (TO) f=14885888 TT=1800.06 T1=1.9
|
SAT (TO) f=14941184 TT=1800.06 T1=0.65
|
? (TO)
TT=1800.06
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x12.opb
|
SAT f=3190784 TT=1800.04 T1=14.44
|
SAT (TO) f=12335330 TT=1800.08 T1=1800.4
|
SAT (TO) f=6149632 TT=1800.09 T1=1800.4
|
SAT (TO) f=3190784 TT=1800.04 T1=14.44
|
SAT (TO) f=3336192 TT=1800.05 T1=0.46
|
? (TO)
TT=1800.11
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x26.opb
|
SAT f=7368522 TT=1801 T1=13.1
|
SAT (TO) f=26115102 TT=1800.09 T1=1800.4
|
? (TO)
TT=1800.08
|
SAT (TO) f=7368522 TT=1801 T1=13.1
|
SAT (TO) f=8377029 TT=1800.06 T1=401.56
|
? (TO)
TT=1800.01
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran12x12.opb
|
SAT f=3356672 TT=1801.14 T1=974.57
|
SAT (TO) f=11235083 TT=1800.02 T1=1800.3
|
SAT (TO) f=4534295 TT=1800.06 T1=1800.4
|
SAT (TO) f=3364819 TT=1800.12 T1=530.39
|
SAT (TO) f=3356672 TT=1801.14 T1=974.57
|
? (TO)
TT=1800.24
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran12x21.opb
|
SAT f=5928600 TT=1800 T1=1.16
|
SAT (TO) f=27459536 TT=1800.11 T1=1800.4
|
SAT (TO) f=42660557 TT=1800.11 T1=1800.4
|
SAT (TO) f=10399243 TT=1800.18 T1=2.55
|
SAT (TO) f=5928600 TT=1800 T1=1.16
|
? (TO)
TT=1800.01
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran13x13.opb
|
SAT f=3535872 TT=1800.11 T1=7.48
|
SAT (TO) f=21398565 TT=1800.02 T1=1800.3
|
SAT (TO) f=6450176 TT=1800.02 T1=1800.4
|
SAT (TO) f=3535872 TT=1800.11 T1=7.48
|
SAT (TO) f=3538944 TT=1800.06 T1=0.56
|
? (TO)
TT=1800.1
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran14x18.opb
|
SAT f=5179385 TT=1800.03 T1=0.66
|
SAT (TO) f=27691103 TT=1800.01 T1=1800.3
|
SAT (TO) f=20763678 TT=1800.08 T1=1800.4
|
SAT (TO) f=6923632 TT=1800.13 T1=290.32
|
SAT (TO) f=5179385 TT=1800.03 T1=0.66
|
? (TO)
TT=1800.22
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran16x16.opb
|
SAT f=6150263 TT=1800.15 T1=3.04
|
SAT (TO) f=27745668 TT=1800.02 T1=1800.3
|
SAT (TO) f=11140096 TT=1800.12 T1=1800.4
|
SAT (TO) f=6150263 TT=1800.15 T1=3.04
|
SAT (TO) f=7103471 TT=1800.8 T1=0.65
|
? (TO)
TT=1800.5
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran17x17.opb
|
SAT f=2026924 TT=1800.82 T1=5.65
|
SAT (TO) f=11370769 TT=1800.01 T1=1800.3
|
SAT (TO) f=17691962 TT=1800.04 T1=1800.4
|
SAT (TO) f=2026924 TT=1800.82 T1=5.65
|
SAT (TO) f=2078184 TT=1800.88 T1=144.14
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-ran4x64.opb
|
SAT f=11342833 TT=1800.9 T1=7.06
|
SAT (TO) f=33299168 TT=1800.1 T1=1800.4
|
? (TO)
TT=1800.07
|
SAT (TO) f=11342833 TT=1800.9 T1=7.06
|
SAT (TO) f=13269674 TT=1800.88 T1=572.34
|
? (TO)
TT=1800.17
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-ran6x43.opb
|
SAT f=8534594 TT=1801.03 T1=1489.32
|
SAT (TO) f=29401440 TT=1800.1 T1=1800.4
|
? (TO)
TT=1800.08
|
SAT (TO) f=8721582 TT=1800.86 T1=4.01
|
SAT (TO) f=8534594 TT=1801.03 T1=1489.32
|
? (TO)
TT=1800.15
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-ran8x32.opb
|
SAT f=6634496 TT=1800.76 T1=2.03
|
SAT (TO) f=25818716 TT=1800.08 T1=1800.4
|
SAT (TO) f=46848304 TT=1800.07 T1=1800.4
|
SAT (TO) f=6634496 TT=1800.76 T1=2.03
|
SAT (TO) f=7730166 TT=1800 T1=0.7
|
? (TO)
TT=1800.04
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/ normalized-mps-v2-20-10-fome11.opb
|
|
? (MO)
TT=1460.18
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800.08
|
? (MO)
TT=174.266
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/ normalized-mps-v2-20-10-fome12.opb
|
|
? (MO)
TT=1363.62
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.89
|
? (TO)
TT=1800.61
|
? (MO)
TT=160.106
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/ normalized-mps-v2-20-10-fome13.opb
|
|
? (MO)
TT=1260.09
|
? (TO)
TT=1800.12
|
? (TO)
TT=1800.18
|
? (TO)
TT=1800.03
|
? (MO)
TT=167.496
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-bc1.opb
|
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.01
|
? (MO)
TT=909.4
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-bienst1.opb
|
SAT f=425982 TT=1800.69 T1=4.33
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.02
|
? (TO)
TT=1801.63
|
SAT (TO) f=425982 TT=1800.69 T1=4.33
|
? (TO)
TT=1800.07
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-bienst2.opb
|
SAT f=221115 TT=1800.06 T1=1800.4
|
SAT (TO) f=221115 TT=1800.06 T1=1800.4
|
? (TO)
TT=1800.02
|
SAT (TO) f=67157967 TT=1800.67 T1=503.12
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-dano3_3.opb
|
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.69
|
? (TO)
TT=1800.38
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-dano3_4.opb
|
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.48
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-dano3_5.opb
|
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.19
|
? (TO)
TT=1800.04
|
? (MO)
TT=214.045
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-markshare1_1.opb
|
SAT f=289 TT=1800.03 T1=1683.37
|
SAT (TO) f=60316 TT=1800.02 T1=1800.3
|
SAT (TO) f=8201 TT=1800.11 T1=1800.4
|
SAT (TO) f=2513 TT=1800.19 T1=1027.54
|
SAT (TO) f=289 TT=1800.03 T1=1683.37
|
? (TO)
TT=1800.02
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-markshare2_1.opb
|
SAT f=42160 TT=1800.72 T1=1772.65
|
SAT (TO) f=101636 TT=1800.03 T1=1800.3
|
SAT (TO) f=197415 TT=1800.1 T1=1800.4
|
SAT (TO) f=69431 TT=1800.1 T1=236.83
|
SAT (TO) f=42160 TT=1800.72 T1=1772.65
|
? (TO)
TT=1800.1
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-mkc1.opb
|
|
? (TO)
TT=1800.02
|
? (MO)
TT=407.129
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800
|
? (TO)
TT=1800.55
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos11.opb
|
OPT f=9216 TT=113.536 T1=57.17
|
OPT f=9216 TT=194.346 T1=194.36
|
OPT f=9216 TT=532.807 T1=532.72
|
OPT f=9216 TT=1051.13 T1=671.15
|
OPT f=9216 TT=113.536 T1=57.17
|
? (MO)
TT=157.186
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos12.opb
|
SAT f=26624 TT=1800.71 T1=5.16
|
SAT (TO) f=34353 TT=1800.12 T1=1800.4
|
SAT (TO) f=15498240 TT=1800.13 T1=1800.4
|
SAT (TO) f=26624 TT=1800.71 T1=5.16
|
SAT (TO) f=37888 TT=1800.01 T1=10.09
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos13.opb
|
SAT f=-89895551 TT=1800.13 T1=796.85
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.09
|
SAT (TO) f=-89895551 TT=1800.13 T1=796.85
|
? (TO)
TT=1800.79
|
? (MO)
TT=223.111
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos14.opb
|
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.7
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos15.opb
|
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.81
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.03
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos17.opb
|
SAT f=7624084 TT=1800.06 T1=833.51
|
SAT (TO) f=37541475 TT=1800.07 T1=1800.4
|
SAT (TO) f=8982745 TT=1800.16 T1=1800.5
|
SAT (TO) f=7624084 TT=1800.06 T1=833.51
|
SAT (TO) f=11782665 TT=1800.01 T1=152.9
|
? (TO)
TT=1800.05
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos20.opb
|
OPT f=-468992 TT=1.125 T1=0.68
|
OPT f=-468992 TT=1.125 T1=1.12
|
OPT f=-468992 TT=84.59 T1=84.57
|
OPT f=-468992 TT=5.241 T1=3.53
|
OPT f=-468992 TT=2.294 T1=0.68
|
? (MO)
TT=176.777
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos2.opb
|
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.07
|
? (MO)
TT=219.63
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos3.opb
|
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.62
|
? (TO)
TT=1800.06
|
? (MO)
TT=253.582
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos6.opb
|
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.09
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos7.opb
|
SAT f=2065813981 TT=1800.76 T1=2.27
|
SAT (TO) f=37099416576 TT=1800.11 T1=1800.4
|
? (TO)
TT=1800.02
|
SAT (TO) f=2065813981 TT=1800.76 T1=2.27
|
SAT (TO) f=8143574276 TT=1800.09 T1=2.49
|
? (MO)
TT=253.799
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-nug08.opb
|
OPT f=107 TT=33.569 T1=1.66
|
OPT f=107 TT=105.253 T1=105.25
|
OPT f=107 TT=45.732 T1=45.74
|
OPT f=107 TT=80.361 T1=3.24
|
OPT f=107 TT=33.569 T1=1.66
|
OPT f=107 TT=461.439 T1=87.92
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-qap10.opb
|
SAT f=170 TT=1800.08 T1=9.9
|
SAT (TO) f=175 TT=1800.06 T1=1800.4
|
SAT (TO) f=189 TT=1800.08 T1=1800.4
|
SAT (TO) f=170 TT=1800.08 T1=9.9
|
No Cert.
TT=1800.04
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-swath1.opb
|
|
? (MO)
TT=397.662
|
? (MO)
TT=430.681
|
? (TO)
TT=1800.15
|
? (TO)
TT=1800.56
|
? (MO)
TT=235.006
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-swath2.opb
|
|
? (MO)
TT=373.952
|
? (MO)
TT=430.19
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.03
|
? (MO)
TT=224.101
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-swath3.opb
|
|
? (MO)
TT=378.552
|
? (MO)
TT=410.252
|
? (TO)
TT=1800.6
|
? (TO)
TT=1800.63
|
? (TO)
TT=1800.06
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-A1C1S1.opb
|
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.01
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.22
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-A2C1S1.opb
|
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-B1C1S1.opb
|
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.05
|
? (TO)
TT=1801.02
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-B2C1S1.opb
|
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800
|
? (TO)
TT=1801.02
|
? (TO)
TT=1800.05
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-berlin_5_8_0.opb
|
SAT f=63488 TT=1800.03 T1=9.16
|
SAT (TO) f=63488 TT=1800.1 T1=1800.4
|
? (TO)
TT=1800.02
|
SAT (TO) f=63488 TT=1800.63 T1=9.16
|
SAT (TO) f=63488 TT=1800.03 T1=45.65
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-bg512142.opb
|
SAT f=17475927381996 TT=1800.08 T1=15.73
|
SAT (TO) f=75259706734831 TT=1800.04 T1=1800.4
|
? (TO)
TT=1800.1
|
SAT (TO) f=17475927381996 TT=1800.08 T1=15.73
|
? (TO)
TT=1800.07
|
? (MO)
TT=265.383
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-biella1.opb
|
|
? (TO)
TT=1800.02
|
? (MO)
TT=1624.49
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.09
|
? (MO)
TT=457.375
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ar98.opb
|
|
? (MO)
TT=391.45
|
? (MO)
TT=371.935
|
? (TO)
TT=1800.68
|
? (TO)
TT=1800.07
|
? (MO)
TT=257.795
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ic97.opb
|
|
? (MO)
TT=395.255
|
? (MO)
TT=343.224
|
? (TO)
TT=1800.54
|
? (TO)
TT=1800.59
|
? (exit code)
TT=350.794
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ic98.opb
|
|
? (MO)
TT=406.157
|
? (MO)
TT=346.204
|
? (TO)
TT=1800.6
|
? (TO)
TT=1800.53
|
? (MO)
TT=499.455
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ir98.opb
|
|
? (MO)
TT=377.164
|
? (MO)
TT=345.796
|
? (TO)
TT=1800.01
|
? (TO)
TT=1800
|
? (MO)
TT=352.148
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-CMS750_4.opb
|
OPT f=258048 TT=713.693 T1=498.93
|
OPT f=258048 TT=713.693 T1=713.68
|
? (TO)
TT=1800.02
|
SAT (TO) f=258048 TT=1800.85 T1=498.93
|
No Cert.
TT=1800.01
|
? (TO)
TT=1800.1
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core2536-691.opb
|
SAT f=947200000000000 TT=1800.16 T1=119.46
|
SAT (TO) f=11991040000000000 TT=1800.09 T1=1800.4
|
SAT (TO) f=1002496000000000 TT=1800.08 T1=1800.4
|
SAT (TO) f=947200000000000 TT=1800.16 T1=119.46
|
SAT (TO) f=949248000000000 TT=1800.05 T1=0.71
|
? (TO)
TT=1800.16
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core2586-950.opb
|
SAT f=1266688000000000 TT=1800.63 T1=154.75
|
SAT (TO) f=7982080000000000 TT=1800.1 T1=1800.4
|
SAT (TO) f=1354752000000000 TT=1800.08 T1=1800.4
|
SAT (TO) f=1266688000000000 TT=1800.63 T1=154.75
|
SAT (TO) f=1268736000000000 TT=1800.08 T1=0.62
|
? (TO)
TT=1800.12
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core4284-1064.opb
|
SAT f=1435648000000000 TT=1800.49 T1=565.85
|
SAT (TO) f=12525568000000000 TT=1800.08 T1=1800.4
|
SAT (TO) f=1482752000000000 TT=1800.05 T1=1800.4
|
SAT (TO) f=1435648000000000 TT=1800.49 T1=565.85
|
SAT (TO) f=1437696000000000 TT=1800.04 T1=0.84
|
? (TO)
TT=1800.14
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core4872-1529.opb
|
SAT f=2012160000000000 TT=1800.09 T1=473.64
|
SAT (TO) f=17101824000000000 TT=1800.06 T1=1800.4
|
SAT (TO) f=2091008000000000 TT=1800.05 T1=1800.4
|
SAT (TO) f=2012160000000000 TT=1800.09 T1=473.64
|
SAT (TO) f=2014208000000000 TT=1800 T1=0.82
|
? (TO)
TT=1800.12
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dc1c.opb
|
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800
|
? (TO)
TT=1800
|
? (MO)
TT=252.264
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dc1l.opb
|
SAT f=322124420039689472000 TT=1800.74 T1=230.43
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.45
|
SAT (TO) f=322124420039689472000 TT=1800.74 T1=230.43
|
? (TO)
TT=1800.04
|
? (MO)
TT=513.807
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dg012142.opb
|
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.01
|
? (TO)
TT=1800.69
|
? (TO)
TT=1800.01
|
? (TO)
TT=1800.11
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dolom1.opb
|
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.13
|
? (TO)
TT=1800.69
|
? (TO)
TT=1800.01
|
? (MO)
TT=295.789
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-glass4.opb
|
OPT f=1228810444800 TT=3.974 T1=2.58
|
? (MO)
TT=437.27
|
? (TO)
TT=1800.09
|
OPT f=1228810444800 TT=7.592 T1=10.58
|
OPT f=1228810444800 TT=3.974 T1=2.58
|
? (MO)
TT=195.618
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-NSR8K.opb
|
|
? (MO)
TT=1488.36
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.08
|
? (MO)
TT=1013.57
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-nsrand_ipx.opb
|
SAT f=1209008127 TT=1800.82 T1=796.99
|
SAT (TO) f=1941635072 TT=1800.1 T1=1800.4
|
SAT (TO) f=1241512960 TT=1800.06 T1=1800.5
|
SAT (TO) f=1209008127 TT=1800.82 T1=796.99
|
SAT (TO) f=2145386496 TT=1800.08 T1=0.92
|
? (MO)
TT=178.598
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-rail507.opb
|
SAT f=265216000000000 TT=1800.66 T1=84.75
|
SAT (TO) f=18944000000000000 TT=1800.05 T1=1800.3
|
Signal
TT=3.521
|
SAT (TO) f=265216000000000 TT=1800.66 T1=84.75
|
No Cert.
TT=1800.09
|
? (TO)
TT=1800.12
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-railway_8_1_0.opb
|
OPT f=409600 TT=33.57 T1=5.71
|
OPT f=409600 TT=33.57 T1=33.55
|
? (TO)
TT=1800.02
|
SAT (TO) f=409600 TT=1800.84 T1=19.4
|
SAT (TO) f=409600 TT=1800.87 T1=5.71
|
? (TO)
TT=1800.06
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-roll3000.opb
|
SAT f=1095891440 TT=1800.09 T1=1800.4
|
SAT (TO) f=1095891440 TT=1800.09 T1=1800.4
|
? (TO)
TT=1800.04
|
SAT (TO) f=1350564864 TT=1800.87 T1=241.74
|
SAT (TO) f=1140980736 TT=1800.04 T1=240.63
|
? (MO)
TT=147.565
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-siena1.opb
|
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.18
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.59
|
? (MO)
TT=361.799
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp97ar.opb
|
SAT f=2739023033 TT=1800.01 T1=304.58
|
? (TO)
TT=1800.01
|
SAT (TO) f=6430552113 TT=1800.09 T1=1800.4
|
SAT (TO) f=2739023033 TT=1800.01 T1=304.58
|
SAT (TO) f=2741090384 TT=1800.04 T1=1.83
|
? (TO)
TT=1800.64
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp97ic.opb
|
SAT f=3490480071 TT=1800.09 T1=447.25
|
SAT (TO) f=89849361412 TT=1800.09 T1=1800.4
|
SAT (TO) f=12411487022 TT=1800.08 T1=1800.4
|
SAT (TO) f=3490480071 TT=1800.09 T1=447.25
|
SAT (TO) f=3512823688 TT=1800.07 T1=8.76
|
? (MO)
TT=473.256
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp98ar.opb
|
SAT f=4210416996 TT=1800.07 T1=2.1
|
SAT (TO) f=55177007326 TT=1800.02 T1=1800.3
|
SAT (TO) f=11103918387 TT=1800.09 T1=1800.4
|
SAT (TO) f=4210416996 TT=1800.17 T1=4.06
|
SAT (TO) f=4210416996 TT=1800.07 T1=2.1
|
? (exit code)
TT=847.949
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp98ic.opb
|
SAT f=3897566335 TT=1800.53 T1=786.42
|
SAT (TO) f=83966118068 TT=1800.02 T1=1800.3
|
SAT (TO) f=12941992956 TT=1800.07 T1=1800.4
|
SAT (TO) f=3897566335 TT=1800.53 T1=786.42
|
SAT (TO) f=3932174754 TT=1800.09 T1=622.43
|
? (MO)
TT=505.51
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-tr12-30.opb
|
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.76
|
? (TO)
TT=1800.05
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-trento1.opb
|
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.17
|
? (TO)
TT=1801.09
|
? (TO)
TT=1800.11
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-UMTS.opb
|
SAT f=32826205 TT=1800.35 T1=847.46
|
? (TO)
TT=1800.01
|
SAT (TO) f=47560990 TT=1800.13 T1=1800.4
|
SAT (TO) f=32826205 TT=1800.35 T1=847.46
|
SAT (TO) f=37192738 TT=1800.05 T1=472.3
|
? (TO)
TT=1800.05
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
|
SAT f=123904 TT=1800.07 T1=273.33
|
SAT (TO) f=123904 TT=1800.07 T1=1800.4
|
? (TO)
TT=1800.02
|
SAT (TO) f=123904 TT=1800.92 T1=273.33
|
SAT (TO) f=124928 TT=1800.71 T1=140.25
|
? (TO)
TT=1800.07
|
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-van.opb
|
SAT f=24193312742 TT=1801.07 T1=129.09
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.1
|
SAT (TO) f=24193312742 TT=1801.07 T1=129.09
|
SAT (TO) f=25442247019 TT=1800.94 T1=41.15
|
? (TO)
TT=1800.61
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ www.csit.fsu.edu/~burkardt/datasets/ mps/normalized-mps-v2-20-10-maros.opb
|
OPT f=344750 TT=2.32 T1=3.86
|
OPT f=344750 TT=3.866 T1=3.86
|
OPT f=344750 TT=6.203 T1=6.2
|
OPT f=344750 TT=2.32 T1=79.78
|
OPT f=344750 TT=7.183 T1=5.3
|
OPT f=344750 TT=42.421 T1=39.53
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ www.csit.fsu.edu/~burkardt/datasets/mps/ normalized-mps-v2-20-10-nazareth.opb
|
OPT f=-1073741823 TT=0.107 T1=0.1
|
OPT f=-1073741823 TT=0.107 T1=0.1
|
OPT f=-1073741823 TT=1.537 T1=1.53
|
OPT f=-1073741823 TT=0.185 T1=0.63
|
OPT f=-1073741823 TT=0.176 T1=0.37
|
? (MO)
TT=172.078
|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ www.csit.fsu.edu/~burkardt/datasets/mps/ normalized-mps-v2-20-10-testprob.opb
|
OPT f=9663726592 TT=0.036 T1=0.03
|
OPT f=9663726592 TT=0.036 T1=0.03
|
OPT f=9663726592 TT=0.621 T1=0.62
|
OPT f=9663726592 TT=0.214 T1=1.14
|
OPT f=9663726592 TT=0.162 T1=0.13
|
? (MO)
TT=173.305
|
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit1d.opb
|
SAT f=53066119 TT=1800.06 T1=234.99
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.13
|
SAT (TO) f=53066119 TT=1800.06 T1=234.99
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.05
|
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-aflow30a.opb
|
SAT f=3400 TT=1800.24 T1=957.82
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.12
|
SAT (TO) f=3400 TT=1800.24 T1=957.82
|
No Cert.
TT=1801.09
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-aflow40b.opb
|
SAT f=5921 TT=1800.26 T1=890.54
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.12
|
SAT (TO) f=5921 TT=1800.26 T1=890.54
|
No Cert.
TT=1800.67
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-air04.opb
|
SAT f=57953 TT=1800.08 T1=1800.4
|
SAT (TO) f=57953 TT=1800.08 T1=1800.4
|
SAT (TO) f=58170 TT=1800.09 T1=1800.4
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.1
|
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-air05.opb
|
SAT f=33182 TT=1800.1 T1=1800.4
|
SAT (TO) f=33182 TT=1800.1 T1=1800.4
|
SAT (TO) f=34119 TT=1800.08 T1=1800.4
|
SAT (TO) f=37044 TT=1800.66 T1=489
|
SAT (TO) f=42258 TT=1800.01 T1=1379.98
|
? (TO)
TT=1800.1
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-nw04.opb
|
SAT f=17498 TT=1800.82 T1=142.73
|
? (TO)
TT=1800.1
|
SAT (MO) f=20366 TT=598.952 T1=598.6
|
SAT (TO) f=17498 TT=1800.82 T1=142.73
|
No Cert.
TT=1800.05
|
? (TO)
TT=1800.11
|
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-t1717.opb
|
SAT f=200300 TT=379.541 T1=379.06
|
SAT (TO) f=200300 TT=1800.24 T1=1800.4
|
SAT f=200300 TT=379.541 T1=379.06
|
SAT (TO) f=400807 TT=1800.79 T1=4.78
|
SAT (TO) f=380218 TT=1800.76 T1=2.7
|
? (TO)
TT=1800.12
|
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-vpm2.opb
|
SAT f=115 TT=1801.03 T1=96.52
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.1
|
SAT (TO) f=115 TT=1801.03 T1=96.52
|
SAT (TO) f=149 TT=1800.09 T1=649.08
|
? (TO)
TT=1800.03
|
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-gt2.opb
|
OPT f=21166 TT=2.983 T1=2.22
|
SAT (TO) f=24268 TT=1800.06 T1=1800.4
|
SAT (TO) f=22521 TT=1800.02 T1=1800.3
|
OPT f=21166 TT=2.983 T1=2.22
|
SAT (TO) f=21166 TT=1800.09 T1=309.24
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-air01.opb
|
OPT f=3398 TT=2.404 T1=0.41
|
SAT (TO) f=3440 TT=1800.1 T1=1800.4
|
OPT f=3398 TT=35.463 T1=35.36
|
OPT f=3398 TT=4.833 T1=4.29
|
OPT f=3398 TT=2.404 T1=0.41
|
OPT f=3398 TT=137.382 T1=113.01
|
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-air02.opb
|
OPT f=3905 TT=189.275 T1=181.82
|
SAT (TO) f=6605 TT=1800.11 T1=1800.4
|
SAT (TO) f=4960 TT=1800.39 T1=1800.4
|
SAT (TO) f=4369 TT=1800.52 T1=659.45
|
OPT f=3905 TT=189.275 T1=181.82
|
? (TO)
TT=1800.06
|
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-air03.opb
|
SAT f=196690 TT=1800.06 T1=868.29
|
SAT (TO) f=247463 TT=1800.03 T1=1800.3
|
SAT (TO) f=225333 TT=1800.32 T1=1800.4
|
SAT (TO) f=196690 TT=1800.06 T1=868.29
|
SAT (TO) f=219231 TT=1800.74 T1=1446.1
|
? (TO)
TT=1800.05
|
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-air06.opb
|
SAT f=52144 TT=1800.15 T1=1800.3
|
SAT (TO) f=63121 TT=1800.09 T1=1800.4
|
SAT (TO) f=52144 TT=1800.15 T1=1800.3
|
SAT (TO) f=67001 TT=1800.14 T1=826.85
|
SAT (TO) f=66846 TT=1800.05 T1=330.65
|
? (TO)
TT=1800.05
|
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-enigma.opb
|
OPT f=0 TT=0.395 T1=0.27
|
OPT f=0 TT=7.547 T1=7.54
|
OPT f=0 TT=4.049 T1=4.04
|
OPT f=0 TT=0.934 T1=0.68
|
OPT f=0 TT=0.463 T1=0.27
|
OPT f=0 TT=0.395 T1=0.37
|
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p0282.opb
|
OPT f=258411 TT=0.949 T1=0.56
|
OPT f=258411 TT=423.771 T1=423.82
|
OPT f=258411 TT=18.422 T1=18.38
|
OPT f=258411 TT=3.897 T1=13.47
|
OPT f=258411 TT=1.196 T1=0.56
|
OPT f=258411 TT=0.949 T1=0.71
|
Bench name | Best results | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p0291.opb
|
OPT f=10447498 TT=0.473 T1=0.26
|
SAT (TO) f=182289140 TT=1800.02 T1=1800.3
|
OPT f=10447498 TT=204.036 T1=204.01
|
OPT f=10447498 TT=1.344 T1=5.7
|
OPT f=10447498 TT=0.473 T1=0.26
|
? (TO)
TT=1800.77
|
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p6000.opb
|
SAT f=-1245798 TT=1800.51 T1=893.14
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.22
|
SAT (TO) f=-1245798 TT=1800.51 T1=893.14
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.02
|
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-pipex.opb
|
OPT f=788263 TT=6.148 T1=7.38
|
OPT f=788263 TT=109.904 T1=109.91
|
OPT f=788263 TT=15.844 T1=15.84
|
OPT f=788263 TT=6.148 T1=7.38
|
OPT f=788263 TT=9.893 T1=8.3
|
OPT f=788263 TT=51.482 T1=45.03
|
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-vpm1.opb
|
OPT f=20 TT=42.788 T1=42.73
|
OPT f=20 TT=723.533 T1=723.65
|
SAT (TO) f=76 TT=1800.09 T1=1800.4
|
SAT (TO) f=20 TT=1800.62 T1=608.63
|
SAT (TO) f=20 TT=1800.69 T1=866.11
|
OPT f=20 TT=42.788 T1=42.73
|
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos9.opb
|
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.13
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.34
|
normalized-PB06/OPT-MEDINT/mps-v2-20-10/ plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-seymour1.opb
|
SAT f=471083 TT=1800.05 T1=56.44
|
SAT (TO) f=846906 TT=1800.02 T1=1800.4
|
SAT (TO) f=561239 TT=1800.07 T1=1800.4
|
SAT (TO) f=471083 TT=1800.05 T1=56.44
|
SAT (TO) f=471086 TT=1800.81 T1=1.09
|
? (TO)
TT=1800.11
|
|
Statistics | minisatp 2012-10-02 git-d91742b (complete) | NaPS 1.02 (complete) | Sat4j PB 2.3.6 Res+CP PB16 (complete) | Sat4j PB 2.3.6 Resolution PB16 (complete) | toysat 2016-05-02 (complete) |
Number of times the solver is able to give the best known answer | 83 | 70 | 134 | 100 | 22 |
Number of times the solver is the best solver from a complete solver point of view (i.e. best known answer and best TT time) | 40 | 11 | 71 | 64 | 8 |