normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-10teams.opb |
OPT
f=904 TT=1514.38 T1=1512.88
|
? (TO)
TT=1800.08
|
OPT f=904 TT=1514.38 T1=1512.88
|
? (TO)
TT=1800.47
|
SAT (TO) f=950 TT=1800.69 T1=1618.23
|
? (TO)
TT=1800.44
|
? (TO)
TT=1800.89
|
SAT (TO) f=932 TT=1800.79 T1=1632.27
|
SAT f=936 TT=1782.75 T1=543.96
|
SAT f=938 TT=1782.74 T1=552.4
|
SAT (TO) f=962 TT=1800.57 T1=1666.66
|
SAT (TO) f=948 TT=1800.42 T1=58.08
|
SAT (TO) f=912 TT=1800.64 T1=1398.07
|
SAT (TO) f=910 TT=1800.55 T1=1074.03
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-fast0507.opb |
SAT
f=239 TT=1800.76 T1=1589.74
|
SAT (TO) f=248 TT=1800.49 T1=4.92
|
SAT (TO) f=239 TT=1800.76 T1=1589.74
|
? (TO)
TT=1800.61
|
SAT (TO) f=343 TT=1800.57 T1=5.21
|
? (TO)
TT=1800.59
|
? (TO)
TT=1800.95
|
? (TO)
TT=1800.17
|
SAT f=318 TT=1782.78 T1=120.88
|
SAT f=318 TT=1782.8 T1=121.64
|
SAT (TO) f=357 TT=1804.34 T1=50.92
|
SAT (TO) f=257 TT=1804.22 T1=63.06
|
SAT (TO) f=1056 TT=1800.69 T1=679.45
|
SAT (TO) f=467 TT=1800.77 T1=318.95
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-manna81.opb |
SAT
f=-12220 TT=1800.15 T1=99.81
|
SAT (TO) f=-10374 TT=1801.07 T1=3.64
|
SAT f=-11535 TT=1800.03 T1=1103.41
|
? (TO)
TT=1800.58
|
SAT (TO) f=-8204 TT=1800.7 T1=1.31
|
? (TO)
TT=1800.82
|
SAT (TO) f=-12183 TT=1800.2 T1=311.98
|
SAT (TO) f=-12220 TT=1800.15 T1=99.81
|
SAT f=-401 TT=1782.86 T1=1783.39
|
SAT f=-219 TT=1782.8 T1=1783.22
|
SAT (TO) f=-11501 TT=1801.11 T1=1694.3
|
SAT (TO) f=-11524 TT=1801.35 T1=176.97
|
SAT (TO) f=-8131 TT=1800.65 T1=1.45
|
SAT (TO) f=-7647 TT=1800.74 T1=1.35
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mzzv11.opb |
SAT
f=-7904 TT=1800.48 T1=879.44
|
? (TO)
TT=1801.14
|
SAT (TO) f=-7904 TT=1800.48 T1=879.44
|
? (TO)
TT=1800.5
|
SAT (TO) f=-3614 TT=1800.62 T1=1472.95
|
? (TO)
TT=1800.66
|
? (TO)
TT=1800.1
|
SAT (TO) f=-7373 TT=1800.79 T1=1052.44
|
SAT f=-4045 TT=1782.74 T1=1783.34
|
SAT f=-4984 TT=1782.74 T1=1783.43
|
SAT (TO) f=-5190 TT=1801.03 T1=1343.02
|
SAT (TO) f=-6154 TT=1801.37 T1=1715.63
|
? (TO)
TT=1800.7
|
? (TO)
TT=1800.69
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mzzv42z.opb |
SAT
f=-8205 TT=1782.74 T1=1783.39
|
? (TO)
TT=1800.91
|
SAT f=-4985 TT=1800.04 T1=1769.35
|
? (TO)
TT=1800.55
|
SAT (TO) f=-3209 TT=1800.7 T1=1108.43
|
? (TO)
TT=1800.62
|
? (TO)
TT=1800.44
|
? (TO)
TT=1800.99
|
SAT f=-5830 TT=1782.75 T1=1783.3
|
SAT f=-8205 TT=1782.74 T1=1783.39
|
SAT (TO) f=-6694 TT=1800.45 T1=1521.81
|
SAT (TO) f=-7062 TT=1800.42 T1=1727.04
|
? (TO)
TT=1800.62
|
? (TO)
TT=1800.72
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-net12.opb |
OPT
f=214 TT=39.116 T1=26.87
|
?
TT=13.177
|
SAT (TO) f=255 TT=1800.68 T1=49.84
|
? (TO)
TT=1800.5
|
? (TO)
TT=1800.61
|
OPT f=214 TT=65.398 T1=62.44
|
SAT (TO) f=255 TT=1800.39 T1=322.83
|
SAT (TO) f=255 TT=1800.65 T1=444.82
|
OPT f=214 TT=45.125 T1=36.09
|
OPT f=214 TT=39.116 T1=26.87
|
SAT (TO) f=337 TT=1800.58 T1=421.9
|
? (TO)
TT=1800.98
|
? (TO)
TT=1800.57
|
? (TO)
TT=1800.66
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-opt1217.opb |
SAT
f=-16384 TT=1800.61 T1=66.64
|
? (TO)
TT=1800.57
|
SAT f=0 TT=1800 T1=0.03
|
? (TO)
TT=1800.61
|
SAT (TO) f=-4096 TT=1800.38 T1=462.23
|
? (TO)
TT=1800.6
|
SAT (TO) f=-10240 TT=1800.91 T1=1222.59
|
SAT (TO) f=-10240 TT=1800.81 T1=1.11
|
SAT f=-14336 TT=1782.73 T1=1783.34
|
SAT f=-14336 TT=1782.74 T1=1783.87
|
SAT (TO) f=-10240 TT=1800.5 T1=0.95
|
SAT (TO) f=-4105 TT=1800.45 T1=455.86
|
SAT (TO) f=-16384 TT=1800.62 T1=66.64
|
SAT (TO) f=-16384 TT=1800.61 T1=183.42
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-p2756.opb |
SAT
f=4666 TT=1800.71 T1=757.54
|
? (TO)
TT=1800.1
|
SAT f=7089 TT=1800.06 T1=88.85
|
? (TO)
TT=1800.67
|
SAT (TO) f=64559 TT=1800.5 T1=951.08
|
? (TO)
TT=1800.45
|
SAT (TO) f=5335 TT=1800.82 T1=1185.92
|
SAT (TO) f=4800 TT=1800.86 T1=5.64
|
SAT f=30609 TT=1782.74 T1=0.21
|
SAT f=17727 TT=1782.73 T1=2.42
|
SAT (TO) f=8680 TT=1801.24 T1=1567.43
|
SAT (TO) f=4765 TT=1800.63 T1=2.9
|
SAT (TO) f=45064 TT=1800.67 T1=1790.39
|
SAT (TO) f=4666 TT=1800.71 T1=757.54
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-protfold.opb |
SAT
f=-24 TT=1800.69 T1=315.7
|
? (TO)
TT=1800.98
|
SAT f=-23 TT=1800.08 T1=23.02
|
? (TO)
TT=1800.49
|
SAT (TO) f=-24 TT=1800.73 T1=368.75
|
? (TO)
TT=1800.72
|
SAT (TO) f=-23 TT=1800.93 T1=251.54
|
SAT (TO) f=-24 TT=1800.69 T1=315.7
|
SAT f=-20 TT=1782.74 T1=1783.26
|
SAT f=-19 TT=1782.74 T1=1783.27
|
SAT (TO) f=-19 TT=1800.85 T1=72.2
|
SAT (TO) f=-22 TT=1800.65 T1=1196.32
|
SAT (TO) f=-19 TT=1800.52 T1=130.46
|
SAT (TO) f=-23 TT=1800.56 T1=1466.25
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-seymour.opb |
SAT
f=425 TT=1800.6 T1=369.19
|
SAT (TO) f=466 TT=1800.91 T1=1.37
|
SAT f=455 TT=1800.01 T1=1050.17
|
? (TO)
TT=1800.61
|
SAT (TO) f=466 TT=1800.64 T1=0.33
|
? (TO)
TT=1800.63
|
SAT (TO) f=489 TT=1800.85 T1=1.58
|
SAT (TO) f=474 TT=1800.83 T1=359.71
|
SAT f=503 TT=1782.74 T1=2.17
|
SAT f=492 TT=1782.74 T1=107.64
|
SAT (TO) f=478 TT=1800.64 T1=104.33
|
SAT (TO) f=475 TT=1801.06 T1=437.82
|
SAT (TO) f=425 TT=1800.6 T1=369.19
|
SAT (TO) f=427 TT=1800.53 T1=452.44
|
Bench name | Best results on this instance | absconPseudo 1 | bsolo 2006/05 | glpPB 0.2 | minisat+ 1.14 | PBS 4.1L | PB-smodels 1.28 | PB-smodels 1.31 | Pueblo 1.3 | Pueblo 1.4 | SAT4JPSEUDO 2006.2 | SAT4JPSEUDO 2006.2 Heuristics | wildcat-rnp 0.8.0 | wildcat-skc 0.8.0 |
---|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-mitre.opb |
SAT
f=7982 TT=1782.79 T1=1783.34
|
? (TO)
TT=1800.88
|
SAT f=8704 TT=1800.27 T1=40.39
|
? (TO)
TT=1800.7
|
SAT (TO) f=9264 TT=1800.52 T1=1431.51
|
? (TO)
TT=1800.74
|
? (TO)
TT=1801.05
|
SAT (TO) f=9199 TT=1800.15 T1=1003.86
|
SAT f=7982 TT=1782.79 T1=1783.34
|
SAT f=8008 TT=1782.82 T1=1783.36
|
SAT (TO) f=9878 TT=1801.29 T1=1529.38
|
SAT (TO) f=9589 TT=1801.23 T1=1138.55
|
? (TO)
TT=1800.57
|
? (TO)
TT=1800.68
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bm23.opb |
OPT
f=34 TT=0.083 T1=0.03
|
OPT f=34 TT=1.565 T1=0.93
|
OPT f=34 TT=3.883 T1=0.19
|
OPT f=34 TT=0.093 T1=0.09
|
OPT f=34 TT=6.431 T1=5.46
|
OPT f=34 TT=0.784 T1=0.77
|
OPT f=34 TT=0.259 T1=0.12
|
OPT f=34 TT=0.458 T1=0.36
|
OPT f=34 TT=0.327 T1=0.03
|
OPT f=34 TT=0.083 T1=0.06
|
OPT f=34 TT=22.632 T1=9.58
|
OPT f=34 TT=23.627 T1=18.25
|
SAT (TO) f=34 TT=1800.51 T1=111.21
|
SAT (TO) f=34 TT=1800.68 T1=0.04
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-cracpb1.opb |
OPT
f=22199 TT=1.246 T1=1.24
|
? (TO)
TT=1800.58
|
OPT f=22199 TT=562.013 T1=561.52
|
OPT f=22199 TT=1.246 T1=1.24
|
SAT (TO) f=63282 TT=1800.53 T1=808.38
|
? (TO)
TT=1800.64
|
? (TO)
TT=1800.84
|
SAT (TO) f=39336 TT=1800.81 T1=125.68
|
SAT f=102776 TT=1782.74 T1=901.22
|
SAT f=118468 TT=1782.73 T1=1615.42
|
SAT (TO) f=41241 TT=1800.65 T1=377.03
|
SAT (TO) f=44890 TT=1800.99 T1=463
|
SAT (TO) f=22199 TT=1800.43 T1=1.24
|
SAT (TO) f=22199 TT=1800.53 T1=76.28
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-diamond.opb |
UNSAT
TT=0.001
|
UNSAT
TT=1.018
|
UNSAT
TT=0.009
|
UNSAT
TT=0.003
|
UNSAT
TT=0.001
|
UNSAT
TT=0.001
|
UNSAT
TT=0.036
|
UNSAT
TT=0.032
|
UNSAT
TT=0.002
|
UNSAT
TT=0.004
|
UNSAT
TT=0.26
|
UNSAT
TT=0.262
|
? (TO)
TT=1800.65
|
?
TT=1789.35
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-l152lav.opb |
OPT
f=4722 TT=74.255 T1=74.27
|
? (TO)
TT=1800.77
|
SAT f=4722 TT=1800.06 T1=203.65
|
OPT f=4722 TT=74.255 T1=74.27
|
? (TO)
TT=1800.65
|
? (TO)
TT=1800.48
|
? (TO)
TT=1800.8
|
? (TO)
TT=1800.74
|
? (TO)
TT=1800.65
|
? (TO)
TT=1800.7
|
SAT (TO) f=5010 TT=1800.33 T1=784.4
|
SAT (TO) f=5185 TT=1800.28 T1=595.55
|
? (TO)
TT=1800.49
|
? (TO)
TT=1800.53
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-lp4l.opb |
OPT
f=2967 TT=3.032 T1=0.37
|
? (TO)
TT=1800.75
|
OPT f=2967 TT=3.418 T1=0.37
|
OPT f=2967 TT=3.032 T1=3.03
|
SAT (TO) f=3907 TT=1800.9 T1=1061.73
|
? (TO)
TT=1800.52
|
? (TO)
TT=1800.94
|
SAT (TO) f=4042 TT=1800.87 T1=315.67
|
SAT f=4031 TT=1782.74 T1=61.25
|
SAT f=4368 TT=1782.74 T1=460.98
|
SAT (TO) f=3926 TT=1801.11 T1=20.84
|
SAT (TO) f=3947 TT=1800.81 T1=985.51
|
SAT (TO) f=3551 TT=1800.66 T1=487.08
|
SAT (TO) f=3172 TT=1800.64 T1=1181.22
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-lseu.opb |
OPT
f=1120 TT=8.588 T1=8.59
|
OPT f=1120 TT=328.909 T1=12.49
|
OPT f=1120 TT=1126.69 T1=586.2
|
OPT f=1120 TT=8.588 T1=8.59
|
OPT f=1120 TT=173.005 T1=147.11
|
? (TO)
TT=1800.76
|
OPT f=1120 TT=183.174 T1=52.56
|
OPT f=1120 TT=245.396 T1=76.6
|
OPT f=1120 TT=366.615 T1=357.21
|
OPT f=1120 TT=421.163 T1=356.9
|
SAT (TO) f=1169 TT=1800.7 T1=1604.72
|
SAT (TO) f=1128 TT=1800.98 T1=1082.09
|
SAT (TO) f=1120 TT=1800.65 T1=39.08
|
SAT (TO) f=1120 TT=1800.65 T1=1246.08
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-mod008.opb |
OPT
f=307 TT=4.871 T1=1.55
|
SAT (TO) f=307 TT=1800.63 T1=1.55
|
OPT f=307 TT=317.401 T1=77.84
|
OPT f=307 TT=4.871 T1=4.87
|
SAT (TO) f=360 TT=1800.63 T1=814.25
|
? (TO)
TT=1800.63
|
SAT (TO) f=317 TT=1800.77 T1=171.8
|
SAT (TO) f=333 TT=1800.82 T1=254.6
|
SAT f=602 TT=1782.73 T1=0.03
|
SAT f=602 TT=1782.73 T1=0.03
|
SAT (TO) f=307 TT=1800.25 T1=1415.75
|
SAT (TO) f=333 TT=1800.19 T1=780.32
|
SAT (TO) f=317 TT=1800.69 T1=888.73
|
SAT (TO) f=312 TT=1800.5 T1=1296.68
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-mod010.opb |
OPT
f=6548 TT=1.91 T1=1.03
|
? (TO)
TT=1800.91
|
OPT f=6548 TT=1.91 T1=1.03
|
OPT f=6548 TT=2.241 T1=2.24
|
? (TO)
TT=1800.59
|
? (TO)
TT=1800.61
|
? (TO)
TT=1800.87
|
? (TO)
TT=1800.81
|
? (TO)
TT=1800.59
|
? (TO)
TT=1800.51
|
SAT (TO) f=7999 TT=1800.85 T1=346.44
|
SAT (TO) f=7771 TT=1800.99 T1=1215.68
|
? (TO)
TT=1800.64
|
SAT (TO) f=7568 TT=1800.44 T1=974.84
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p0033.opb |
OPT
f=3089 TT=0.017 T1=0.01
|
OPT f=3089 TT=1.794 T1=0.8
|
OPT f=3089 TT=0.58 T1=0.58
|
OPT f=3089 TT=0.089 T1=0.08
|
OPT f=3089 TT=0.504 T1=0.42
|
OPT f=3089 TT=0.017 T1=0.01
|
OPT f=3089 TT=0.05 T1=0.03
|
OPT f=3089 TT=0.047 T1=0.03
|
OPT f=3089 TT=0.022 T1=0.02
|
OPT f=3089 TT=0.02 T1=0.02
|
OPT f=3089 TT=1.571 T1=0.77
|
OPT f=3089 TT=1.875 T1=0.41
|
SAT (TO) f=3089 TT=1800.65 T1=15.64
|
SAT (TO) f=3089 TT=1800.66 T1=9.54
|
Bench name | Best results on this instance | absconPseudo 1 | bsolo 2006/05 | glpPB 0.2 | minisat+ 1.14 | PBS 4.1L | PB-smodels 1.28 | PB-smodels 1.31 | Pueblo 1.3 | Pueblo 1.4 | SAT4JPSEUDO 2006.2 | SAT4JPSEUDO 2006.2 Heuristics | wildcat-rnp 0.8.0 | wildcat-skc 0.8.0 |
---|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p0040.opb |
OPT
f=62027 TT=0.018 T1=0.01
|
OPT f=62027 TT=7.175 T1=0.66
|
OPT f=62027 TT=0.073 T1=0.08
|
OPT f=62027 TT=0.018 T1=0.01
|
OPT f=62027 TT=66.909 T1=63.85
|
OPT f=62027 TT=760.007 T1=527.86
|
OPT f=62027 TT=1.96 T1=0.37
|
OPT f=62027 TT=1.852 T1=0.31
|
OPT f=62027 TT=8.142 T1=7.72
|
OPT f=62027 TT=9.046 T1=8.98
|
OPT f=62027 TT=2.917 T1=1.48
|
OPT f=62027 TT=1.746 T1=0.34
|
SAT (TO) f=62027 TT=1800.53 T1=23.61
|
SAT (TO) f=62027 TT=1800.73 T1=15.6
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p0201.opb |
OPT
f=1523 TT=2.659 T1=1.15
|
SAT (TO) f=1523 TT=1800.52 T1=1.15
|
OPT f=1523 TT=9.617 T1=1.6
|
OPT f=1523 TT=2.659 T1=2.66
|
SAT (TO) f=1571 TT=1800.71 T1=1703.49
|
? (TO)
TT=1800.73
|
SAT (TO) f=1561 TT=1800.81 T1=979.97
|
SAT (TO) f=1555 TT=1800.64 T1=1192.51
|
SAT f=1543 TT=1782.73 T1=573.61
|
SAT f=1581 TT=1782.73 T1=554.86
|
SAT (TO) f=1714 TT=1800.2 T1=1725.42
|
SAT (TO) f=1603 TT=1800.41 T1=1288.11
|
SAT (TO) f=1523 TT=1800.56 T1=355.03
|
SAT (TO) f=1581 TT=1800.69 T1=1616.47
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p0548.opb |
SAT
f=10829 TT=1801.09 T1=55.09
|
? (TO)
TT=1800.54
|
SAT f=18719 TT=1800.08 T1=0.23
|
? (TO)
TT=1800.65
|
SAT (TO) f=45401 TT=1800.57 T1=779.46
|
? (TO)
TT=1800.72
|
? (TO)
TT=1800.84
|
? (TO)
TT=1800.81
|
? (TO)
TT=1800.71
|
? (TO)
TT=1800.52
|
SAT (TO) f=13681 TT=1800.5 T1=254.25
|
SAT (TO) f=10829 TT=1801.09 T1=55.09
|
SAT (TO) f=43686 TT=1800.56 T1=1508.32
|
SAT (TO) f=21251 TT=1800.57 T1=1677.28
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-sentoy.opb |
OPT
f=-7772 TT=0.132 T1=0.13
|
OPT f=-7772 TT=6.161 T1=1.04
|
SAT f=-6274 TT=1800.08 T1=65.56
|
OPT f=-7772 TT=0.132 T1=0.13
|
SAT (TO) f=-6235 TT=1800.56 T1=1798.49
|
? (TO)
TT=1800.74
|
OPT f=-7772 TT=68.355 T1=58.82
|
OPT f=-7772 TT=60.949 T1=59.74
|
SAT f=-3883 TT=1782.74 T1=1783.26
|
SAT f=-3883 TT=1782.74 T1=1783.38
|
OPT f=-7772 TT=530.259 T1=69.9
|
OPT f=-7772 TT=114.237 T1=28.22
|
SAT (TO) f=-7772 TT=1800.52 T1=935.84
|
SAT (TO) f=-7738 TT=1800.51 T1=1379.43
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-stein15.opb |
OPT
f=9 TT=0.006 T1=0
|
OPT f=9 TT=1.244 T1=0.7
|
OPT f=9 TT=0.061 T1=0.02
|
OPT f=9 TT=0.025 T1=0.02
|
OPT f=9 TT=0.01 T1=0
|
OPT f=9 TT=0.007 T1=0
|
OPT f=9 TT=0.039 T1=0.03
|
OPT f=9 TT=0.041 T1=0.03
|
OPT f=9 TT=0.006 T1=0
|
OPT f=9 TT=0.006 T1=0
|
OPT f=9 TT=0.719 T1=0.24
|
OPT f=9 TT=0.647 T1=0.24
|
SAT (TO) f=9 TT=1800.68 T1=0.02
|
SAT (TO) f=9 TT=1800.7 T1=1.93
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-stein27.opb |
OPT
f=18 TT=0.28 T1=0
|
OPT f=18 TT=2.364 T1=0.64
|
OPT f=18 TT=4.743 T1=0.04
|
OPT f=18 TT=2.022 T1=2.02
|
OPT f=18 TT=0.44 T1=0.01
|
OPT f=18 TT=2.448 T1=0
|
OPT f=18 TT=0.28 T1=0.03
|
OPT f=18 TT=0.295 T1=0.04
|
OPT f=18 TT=0.582 T1=0.01
|
OPT f=18 TT=0.878 T1=0
|
OPT f=18 TT=54.27 T1=0.25
|
OPT f=18 TT=56.242 T1=0.28
|
SAT (TO) f=18 TT=1800.67 T1=4.33
|
SAT (TO) f=18 TT=1800.65 T1=3.48
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-stein45.opb |
OPT
f=30 TT=22.067 T1=0.03
|
OPT f=30 TT=176.927 T1=1.58
|
OPT f=30 TT=1204.96 T1=1.55
|
OPT f=30 TT=94.95 T1=94.98
|
OPT f=30 TT=22.067 T1=0.43
|
? (TO)
TT=1800.73
|
OPT f=30 TT=26.402 T1=0.16
|
OPT f=30 TT=27.723 T1=0.52
|
OPT f=30 TT=86.261 T1=0.23
|
OPT f=30 TT=91.316 T1=0.03
|
SAT (TO) f=30 TT=1800.23 T1=2.51
|
SAT (TO) f=30 TT=1800.81 T1=2.62
|
SAT (TO) f=30 TT=1800.71 T1=7.78
|
SAT (TO) f=30 TT=1800.55 T1=4.94
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-stein9.opb |
OPT
f=5 TT=0.002 T1=0
|
OPT f=5 TT=0.968 T1=0.66
|
OPT f=5 TT=0.012 T1=0.02
|
OPT f=5 TT=0.006 T1=0
|
OPT f=5 TT=0.004 T1=0
|
OPT f=5 TT=0.002 T1=0
|
OPT f=5 TT=0.032 T1=0.02
|
OPT f=5 TT=0.03 T1=0.04
|
OPT f=5 TT=0.004 T1=0
|
OPT f=5 TT=0.004 T1=0
|
OPT f=5 TT=0.28 T1=0.24
|
OPT f=5 TT=0.383 T1=0.23
|
SAT (TO) f=5 TT=1800.55 T1=2.09
|
SAT f=5 TT=1416.35 T1=1.48
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos10.opb |
OPT
f=-1135 TT=11.104 T1=11.09
|
?
TT=12.929
|
OPT f=-1135 TT=895.62 T1=895.47
|
? (TO)
TT=1800.68
|
OPT f=-1135 TT=210.064 T1=199.67
|
OPT f=-1135 TT=11.165 T1=11.15
|
OPT f=-1135 TT=249.966 T1=239.62
|
OPT f=-1135 TT=214.339 T1=212.5
|
OPT f=-1135 TT=11.104 T1=11.09
|
OPT f=-1135 TT=17.76 T1=17.75
|
SAT (TO) f=-1104 TT=1800.98 T1=1448.91
|
SAT (TO) f=-1135 TT=1801.26 T1=1620.47
|
? (TO)
TT=1800.83
|
SAT (TO) f=-757 TT=1800.75 T1=1061.4
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos16.opb |
SAT
f=114 TT=1782.73 T1=188.36
|
? (TO)
TT=1800.72
|
SAT f=121 TT=1800.08 T1=0.79
|
? (TO)
TT=1800.62
|
SAT (TO) f=115 TT=1800.65 T1=1255.64
|
? (TO)
TT=1800.73
|
? (TO)
TT=1800.8
|
? (TO)
TT=1800.85
|
SAT f=114 TT=1782.74 T1=1130.39
|
SAT f=114 TT=1782.73 T1=188.36
|
SAT (TO) f=119 TT=1800.2 T1=179
|
SAT (TO) f=117 TT=1801.03 T1=705.46
|
? (TO)
TT=1800.51
|
? (TO)
TT=1800.68
|
Bench name | Best results on this instance | absconPseudo 1 | bsolo 2006/05 | glpPB 0.2 | minisat+ 1.14 | PBS 4.1L | PB-smodels 1.28 | PB-smodels 1.31 | Pueblo 1.3 | Pueblo 1.4 | SAT4JPSEUDO 2006.2 | SAT4JPSEUDO 2006.2 Heuristics | wildcat-rnp 0.8.0 | wildcat-skc 0.8.0 |
---|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos18.opb |
OPT
f=16 TT=0.309 T1=0.19
|
? (TO)
TT=1801.04
|
SAT f=16 TT=1800.01 T1=0.81
|
? (TO)
TT=1800.54
|
OPT f=16 TT=0.309 T1=0.23
|
OPT f=16 TT=2.131 T1=0.24
|
SAT (TO) f=20 TT=1800.11 T1=68.91
|
SAT (TO) f=17 TT=1800.05 T1=151.63
|
OPT f=16 TT=0.629 T1=0.19
|
OPT f=16 TT=0.648 T1=0.19
|
OPT f=16 TT=27.659 T1=5.8
|
OPT f=16 TT=57.816 T1=8.55
|
SAT (TO) f=16 TT=1800.7 T1=7.83
|
SAT (TO) f=16 TT=1800.56 T1=0.2
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos19.opb |
SAT
f=-3 TT=1783.1 T1=1783.25
|
?
TT=26.322
|
? (TO)
TT=1800.58
|
? (TO)
TT=1800.67
|
Signal
TT=312.775
|
? (TO)
TT=1800.6
|
? (TO)
TT=1800.35
|
? (TO)
TT=1800.42
|
SAT f=-3 TT=1783.22 T1=1783.25
|
SAT f=-3 TT=1783.1 T1=1784.03
|
? (TO)
TT=1800.25
|
? (TO)
TT=1800.5
|
Signal
TT=6.045
|
Signal
TT=6.363
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos1.opb |
OPT
f=19 TT=27.831 T1=18.54
|
? (TO)
TT=1800.25
|
SAT f=21 TT=1800.07 T1=98.83
|
? (TO)
TT=1800.58
|
OPT f=19 TT=27.831 T1=18.54
|
? (TO)
TT=1800.64
|
SAT (TO) f=28 TT=1800.1 T1=269.54
|
SAT (TO) f=24 TT=1801 T1=788.17
|
SAT f=22 TT=1782.74 T1=1.91
|
SAT f=26 TT=1782.74 T1=4.35
|
SAT (TO) f=29 TT=1801.17 T1=8.89
|
SAT (TO) f=28 TT=1801.06 T1=483.34
|
SAT (TO) f=19 TT=1800.49 T1=50.74
|
SAT (TO) f=20 TT=1800.68 T1=253.45
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos5.opb |
SAT
f=15360 TT=1800.06 T1=0.77
|
SAT (TO) f=21504 TT=1800.49 T1=1.05
|
SAT f=15360 TT=1800.06 T1=0.77
|
? (TO)
TT=1800.7
|
SAT (TO) f=15872 TT=1800.66 T1=142.67
|
? (TO)
TT=1800.68
|
SAT (TO) f=16272 TT=1800.67 T1=1306.75
|
SAT (TO) f=16384 TT=1800.85 T1=5.86
|
SAT f=17408 TT=1782.73 T1=408.43
|
SAT f=17408 TT=1782.73 T1=430.39
|
SAT (TO) f=16384 TT=1800.37 T1=2
|
SAT (TO) f=17408 TT=1800.85 T1=9.36
|
SAT (TO) f=16064 TT=1800.79 T1=1797.33
|
SAT (TO) f=16384 TT=1800.71 T1=882.05
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos8.opb |
OPT
f=-3719 TT=4.454 T1=4.45
|
?
TT=16.945
|
OPT f=-3719 TT=95.377 T1=90.54
|
? (TO)
TT=1800.67
|
OPT f=-3719 TT=271.23 T1=269.7
|
OPT f=-3719 TT=6.291 T1=6.28
|
OPT f=-3719 TT=201.354 T1=198.87
|
OPT f=-3719 TT=172.623 T1=170.5
|
OPT f=-3719 TT=4.454 T1=4.45
|
OPT f=-3719 TT=4.473 T1=4.46
|
SAT (TO) f=-1660 TT=1800.56 T1=1762.09
|
OPT f=-3719 TT=573.631 T1=409.4
|
? (TO)
TT=1800.52
|
SAT (TO) f=4529 TT=1800.72 T1=109.66
|