normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-10:10:4.5:0.5:100.opb
|
OPT f=3 TT=0.269 T1=0.26
|
Wrong Cert.
TT=0.809
|
OPT f=3 TT=0.269 T1=0.26
|
SAT (TO) f=7 TT=1800.1 T1=0
|
? (TO) f=9 TT=1800.07 T1=680.75
|
? (TO) f=14 TT=1800.08 T1=50.29
|
? (TO) f=12 TT=1800.06 T1=1800
|
? (TO) f=16 TT=1800.06 T1=1800
|
SAT (TO) f=9 TT=1800.25 T1=900.11
|
SAT (TO) f=9 TT=1800.27 T1=0.39
|
SAT (TO) f=7 TT=1800.12 T1=28.34
|
SAT (TO) f=6 TT=1800.12 T1=615.9
|
OPT f=3 TT=0.32 T1=0.31
|
OPT f=3 TT=0.312 T1=0.3
|
OPT f=3 TT=0.324 T1=0.31
|
OPT f=3 TT=0.316 T1=0.31
|
? (TO)
TT=1800.12
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-10:10:4.5:0.95:100.opb
|
OPT f=0 TT=0.063 T1=0.05
|
OPT f=0 TT=0.56 T1=0.79
|
OPT f=0 TT=0.653 T1=0.63
|
SAT (TO) f=8 TT=1800.08 T1=0.01
|
? (TO) f=15 TT=1800.07 T1=570.19
|
? (TO) f=18 TT=1800.03 T1=257.11
|
? (TO) f=18 TT=1800.05 T1=1800
|
? (TO) f=21 TT=1800.06 T1=1800
|
SAT (TO) f=11 TT=1800.26 T1=716.34
|
SAT (TO) f=3 TT=1800.33 T1=0.32
|
SAT (TO) f=3 TT=1800.26 T1=1.22
|
SAT (TO) f=5 TT=1800.15 T1=0.2
|
OPT f=0 TT=0.069 T1=0.06
|
OPT f=0 TT=0.063 T1=0.05
|
OPT f=0 TT=0.066 T1=0.05
|
OPT f=0 TT=0.064 T1=0.05
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-10:10:4.5:0.95:98.opb
|
OPT f=1 TT=0.143 T1=0.14
|
OPT f=1 TT=0.942 T1=1.01
|
OPT f=1 TT=0.143 T1=0.14
|
SAT (TO) f=8 TT=1800.08 T1=0.01
|
? (TO) f=19 TT=1800.06 T1=1362.52
|
? (TO) f=23 TT=1800.08 T1=1688.34
|
? (TO) f=20 TT=1800.06 T1=1800
|
? (TO) f=24 TT=1800.07 T1=1800
|
SAT (TO) f=14 TT=1800.1 T1=343.72
|
SAT (TO) f=6 TT=1800.3 T1=0.4
|
SAT (TO) f=6 TT=1800.22 T1=1.73
|
SAT (TO) f=8 TT=1800.21 T1=0.21
|
OPT f=1 TT=0.528 T1=0.51
|
OPT f=1 TT=0.477 T1=0.46
|
OPT f=1 TT=0.477 T1=0.46
|
OPT f=1 TT=0.47 T1=0.45
|
? (TO)
TT=1800.13
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-10:20:4.5:0.5:100.opb
|
OPT f=0 TT=6.499 T1=6.49
|
OPT f=0 TT=1.889 T1=1.94
|
OPT f=0 TT=7.281 T1=7.25
|
SAT (TO) f=17 TT=1800.06 T1=0
|
? (TO) f=20 TT=1800.11 T1=509.09
|
? (TO) f=26 TT=1800.05 T1=1791.84
|
? (TO) f=22 TT=1800.06 T1=1800
|
? (TO) f=29 TT=1800.07 T1=1800
|
SAT (TO) f=25 TT=1800.08 T1=1.17
|
SAT (TO) f=9 TT=1800.21 T1=0.89
|
SAT (TO) f=9 TT=1800.22 T1=4.29
|
SAT (TO) f=18 TT=1800.11 T1=308.21
|
OPT f=0 TT=6.499 T1=6.49
|
OPT f=0 TT=7.183 T1=7.17
|
OPT f=0 TT=7.075 T1=7.06
|
OPT f=0 TT=7.077 T1=7.06
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-10:20:4.5:0.95:100.opb
|
OPT f=1 TT=1.333 T1=1.32
|
OPT f=1 TT=1.8 T1=1.87
|
OPT f=1 TT=13.631 T1=13.56
|
SAT (TO) f=12 TT=1800.06 T1=0
|
? (TO) f=45 TT=1800.06 T1=812.38
|
? (TO) f=64 TT=1800.06 T1=1768.65
|
? (TO) f=64 TT=1800.07 T1=1800
|
? (TO) f=64 TT=1800.06 T1=1800
|
SAT (TO) f=31 TT=1800.05 T1=77.35
|
SAT (TO) f=10 TT=1800.2 T1=0.55
|
SAT (TO) f=10 TT=1800.17 T1=2.8
|
SAT (TO) f=17 TT=1800.16 T1=0.26
|
OPT f=1 TT=1.486 T1=1.47
|
OPT f=1 TT=1.333 T1=1.32
|
OPT f=1 TT=1.362 T1=1.34
|
OPT f=1 TT=1.343 T1=1.32
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-10:20:4.5:0.95:98.opb
|
OPT f=2 TT=1.464 T1=1.44
|
OPT f=2 TT=2.027 T1=2.07
|
OPT f=2 TT=5.641 T1=5.66
|
SAT (TO) f=19 TT=1800.07 T1=0
|
? (TO) f=57 TT=1800.08 T1=342.26
|
? (TO) f=66 TT=1800.03 T1=1659.51
|
? (TO) f=60 TT=1800.07 T1=1800
|
? (TO) f=81 TT=1800.04 T1=1800
|
SAT (TO) f=41 TT=1800.07 T1=528.57
|
SAT (TO) f=16 TT=1800.19 T1=3.26
|
SAT (TO) f=16 TT=1800.19 T1=4.82
|
SAT (TO) f=25 TT=1800.09 T1=0.27
|
OPT f=2 TT=1.576 T1=1.56
|
OPT f=2 TT=1.55 T1=1.53
|
OPT f=2 TT=1.483 T1=1.46
|
OPT f=2 TT=1.464 T1=1.44
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-30:30:4.5:0.5:100.opb
|
OPT f=5 TT=157.629 T1=157.58
|
? (MO)
TT=333.95
|
SAT f=83 TT=1798.05 T1=1762.81
|
SAT (TO) f=61 TT=1800.06 T1=0.02
|
? (TO) f=419 TT=1800.08 T1=1370.36
|
? (TO) f=516 TT=1800.06 T1=1520.58
|
? (TO) f=453 TT=1800.05 T1=1800
|
? (TO) f=513 TT=1800.09 T1=1800
|
SAT (TO) f=198 TT=1800.25 T1=900.11
|
SAT (TO) f=45 TT=1800.3 T1=31.7
|
SAT (TO) f=45 TT=1800.28 T1=40.69
|
SAT (TO) f=51 TT=1800.15 T1=0.45
|
OPT f=5 TT=157.88 T1=157.9
|
OPT f=5 TT=157.629 T1=157.58
|
OPT f=5 TT=223.095 T1=223.05
|
OPT f=5 TT=222.03 T1=221.98
|
? (TO)
TT=1800.11
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-30:30:4.5:0.95:100.opb
|
OPT f=2 TT=451.742 T1=451.69
|
? (MO)
TT=331.23
|
SAT f=251 TT=1798.06 T1=327.65
|
SAT (TO) f=60 TT=1800.06 T1=0.02
|
? (TO) f=375 TT=1800.09 T1=31.09
|
? (TO) f=375 TT=1800.07 T1=189.76
|
? (TO) f=380 TT=1800.08 T1=1800
|
? (TO) f=380 TT=1800.05 T1=1800
|
SAT (TO) f=227 TT=1800.24 T1=900.11
|
SAT (TO) f=54 TT=1800.27 T1=130.24
|
SAT (TO) f=54 TT=1800.22 T1=154.95
|
SAT (TO) f=69 TT=1800.2 T1=0.45
|
OPT f=2 TT=928.007 T1=927.96
|
OPT f=2 TT=1129.67 T1=1129.59
|
OPT f=2 TT=453.956 T1=453.9
|
OPT f=2 TT=451.742 T1=451.69
|
? (TO)
TT=1800.12
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-30:30:4.5:0.95:98.opb
|
OPT f=4 TT=14.729 T1=14.67
|
? (MO)
TT=336.2
|
SAT f=283 TT=1798.06 T1=1779.52
|
SAT (TO) f=92 TT=1800.06 T1=0.02
|
? (TO) f=418 TT=1800.06 T1=134.49
|
? (TO) f=418 TT=1800.04 T1=841.39
|
? (TO) f=374 TT=1800.07 T1=1800
|
? (TO) f=374 TT=1800.06 T1=1800
|
SAT (TO) f=286 TT=1800.26 T1=0.1
|
SAT (TO) f=80 TT=1800.35 T1=63.85
|
SAT (TO) f=80 TT=1800.3 T1=72.95
|
SAT (TO) f=88 TT=1800.15 T1=0.45
|
OPT f=4 TT=219.244 T1=219.19
|
OPT f=4 TT=199.95 T1=199.9
|
OPT f=4 TT=14.797 T1=14.74
|
OPT f=4 TT=14.729 T1=14.67
|
? (TO)
TT=1800.1
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-30:70:4.5:0.5:100.opb
|
SAT f=13 TT=1797.11 T1=1547.01
|
? (MO)
TT=145.92
|
SAT f=614 TT=1798.08 T1=954.37
|
SAT (TO) f=130 TT=1800.09 T1=0.02
|
? (TO) f=1309 TT=1800.06 T1=1784.97
|
? (TO) f=1349 TT=1800.06 T1=595.84
|
? (TO) f=1349 TT=1800.04 T1=1800
|
? (TO) f=1353 TT=1800.09 T1=1800
|
SAT (TO) f=565 TT=1800.26 T1=0.47
|
SAT (TO) f=124 TT=1800.3 T1=1597.55
|
SAT (TO) f=130 TT=1800.24 T1=660.9
|
SAT (TO) f=146 TT=1800.18 T1=0.71
|
? (TO)
TT=1800.07
|
SAT f=19 TT=1797.16 T1=692.58
|
? (TO)
TT=1800.07
|
SAT f=13 TT=1797.11 T1=1547.01
|
? (TO)
TT=1800.12
|
Bench name | Best results | borg pb-opt-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | pwbo 1.1 (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-30:70:4.5:0.95:100.opb
|
OPT f=3 TT=1018.14 T1=1018.02
|
? (MO)
TT=147.57
|
SAT f=641 TT=1798.05 T1=1453
|
SAT (TO) f=140 TT=1800.11 T1=0.03
|
? (TO) f=1393 TT=1800.07 T1=1768.9
|
? (TO) f=1481 TT=1800.1 T1=1514.3
|
? (TO) f=1471 TT=1800.06 T1=1800
|
? (TO) f=1489 TT=1800.07 T1=1800
|
SAT (TO) f=583 TT=1800.21 T1=263.81
|
SAT (TO) f=127 TT=1800.26 T1=81.68
|
SAT (TO) f=127 TT=1800.29 T1=76.82
|
SAT (TO) f=135 TT=1800.19 T1=0.7
|
OPT f=3 TT=1021.56 T1=1021.42
|
OPT f=3 TT=1018.14 T1=1018.02
|
? (TO)
TT=1800.05
|
SAT f=7 TT=1797.15 T1=276.37
|
? (TO)
TT=1800.11
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-30:70:4.5:0.95:98.opb
|
OPT f=12 TT=1528.39 T1=1528.23
|
? (MO)
TT=146.76
|
SAT f=729 TT=1798.06 T1=5.34
|
SAT (TO) f=249 TT=1800.07 T1=0.02
|
? (TO) f=1602 TT=1800.08 T1=721.88
|
? (TO) f=1636 TT=1800.08 T1=1686.6
|
? (TO) f=1636 TT=1800.09 T1=1800
|
? (TO) f=1646 TT=1800.08 T1=1800
|
SAT (TO) f=725 TT=1800.28 T1=53.42
|
SAT (TO) f=203 TT=1800.33 T1=0.64
|
SAT (TO) f=203 TT=1800.32 T1=1.17
|
SAT (TO) f=203 TT=1800.25 T1=0.71
|
OPT f=12 TT=1528.39 T1=1528.23
|
OPT f=12 TT=1534.06 T1=1533.91
|
SAT (TO) f=15 TT=1800.07 T1=1066.52
|
SAT f=15 TT=1797.17 T1=1077.52
|
? (TO)
TT=1800.11
|
|
Statistics | borg pb-opt-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | pwbo 1.1 (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
Number of times the solver is able to give the best known answer | 0 | 6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 11 | 11 | 0 | 10 | 0 |
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) | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 4 | 0 | 4 | 0 |