normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/haplotype/ normalized-simp-nonunif-100_100.02.opb
|
OPT f=44 TT=6.15 T1=6.13
|
OPT f=44 TT=45.948 T1=46.02
|
SAT f=53 TT=1798.03 T1=13.59
|
SAT (TO) f=57 TT=1800.04 T1=1459.33
|
? (TO) f=53 TT=1800.17 T1=1657.72
|
? (TO) f=50 TT=1800.25 T1=1164.76
|
? (TO) f=44 TT=1800.15 T1=1800
|
? (TO) f=44 TT=1800.2 T1=1800
|
OPT f=44 TT=10.097 T1=6.78
|
SAT (TO) f=74 TT=1800.48 T1=1524.13
|
OPT f=44 TT=759.888 T1=122.67
|
SAT (TO) f=44 TT=1800.35 T1=99.62
|
SAT (TO) f=160 TT=1801.7 T1=47.52
|
SAT f=160 TT=1799.07 T1=46.26
|
SAT (TO) f=160 TT=1802.09 T1=45.85
|
SAT f=160 TT=1799.13 T1=43.68
|
OPT f=44 TT=6.15 T1=6.13
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/haplotype/ normalized-simp-nonunif-100_100.07.opb
|
OPT f=37 TT=5.441 T1=5.44
|
OPT f=37 TT=44.061 T1=44.39
|
SAT f=59 TT=1798.06 T1=1641.23
|
SAT (TO) f=39 TT=1800.06 T1=1035.68
|
? (TO) f=53 TT=1800.16 T1=143.61
|
? (TO) f=51 TT=1800.21 T1=624.18
|
? (TO) f=37 TT=1800.13 T1=1800
|
? (TO) f=41 TT=1800.2 T1=1800
|
OPT f=37 TT=9.941 T1=6.51
|
SAT (TO) f=57 TT=1800.44 T1=1740.93
|
OPT f=37 TT=301.867 T1=39.06
|
SAT (TO) f=37 TT=1800.32 T1=31.78
|
SAT (TO) f=165 TT=1801.26 T1=49
|
SAT f=165 TT=1798.28 T1=46.84
|
SAT (TO) f=165 TT=1801.3 T1=46.82
|
SAT f=165 TT=1798.32 T1=45.32
|
OPT f=37 TT=5.441 T1=5.44
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/haplotype/ normalized-simp-nonunif-100_100.10.opb
|
OPT f=49 TT=10.558 T1=10.54
|
? (MO)
TT=192.17
|
SAT f=74 TT=1798.03 T1=946.75
|
SAT (TO) f=55 TT=1800.11 T1=756.58
|
? (TO) f=54 TT=1800.18 T1=571.15
|
? (TO) f=57 TT=1800.26 T1=529.18
|
? (TO) f=52 TT=1800.17 T1=1800
|
? (TO) f=56 TT=1800.26 T1=1800
|
OPT f=49 TT=15.93 T1=10.65
|
SAT (TO) f=68 TT=1800.34 T1=1293.53
|
SAT (TO) f=49 TT=1800.49 T1=173.99
|
SAT (TO) f=49 TT=1800.34 T1=144.67
|
? (TO)
TT=1802.16
|
SAT f=176 TT=1798.96 T1=64.09
|
? (TO)
TT=1802.14
|
SAT f=176 TT=1799.05 T1=58.45
|
OPT f=49 TT=10.558 T1=10.54
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/haplotype/ normalized-simp-nonunif-100_100.11.opb
|
OPT f=38 TT=25.938 T1=14.59
|
? (MO)
TT=121.72
|
SAT (TO) f=52 TT=1800.11 T1=1608.95
|
SAT (TO) f=49 TT=1800.07 T1=973
|
? (TO) f=40 TT=1800.15 T1=423.31
|
? (TO) f=45 TT=1800.19 T1=1213.55
|
? (TO) f=38 TT=1800.13 T1=1800
|
? (TO) f=44 TT=1800.18 T1=1800
|
OPT f=38 TT=25.938 T1=14.59
|
SAT (TO) f=58 TT=1800.38 T1=1614.72
|
SAT (TO) f=38 TT=1800.49 T1=230.73
|
SAT (TO) f=38 TT=1800.3 T1=216.01
|
SAT (TO) f=166 TT=1801.71 T1=18.13
|
SAT f=166 TT=1799.13 T1=16.35
|
SAT (TO) f=166 TT=1801.83 T1=16.31
|
SAT (TO) f=166 TT=1800.09 T1=15.98
|
OPT f=38 TT=43.864 T1=43.85
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/haplotype/ normalized-simp-nonunif-100_100.12.opb
|
OPT f=41 TT=7.14 T1=7.12
|
OPT f=41 TT=51.789 T1=51.85
|
SAT f=65 TT=1798.03 T1=838.24
|
SAT (TO) f=44 TT=1800.08 T1=1178.25
|
? (TO) f=41 TT=1800.22 T1=881.8
|
? (TO) f=44 TT=1800.24 T1=1220.34
|
? (TO) f=41 TT=1800.16 T1=1800
|
? (TO) f=48 TT=1800.24 T1=1800
|
OPT f=41 TT=13.096 T1=7.16
|
OPT f=41 TT=346.672 T1=330.81
|
OPT f=41 TT=1426.02 T1=161.66
|
SAT (TO) f=41 TT=1800.39 T1=117.13
|
? (TO)
TT=1800.19
|
SAT f=178 TT=1798.7 T1=59.72
|
SAT (TO) f=178 TT=1801.74 T1=58.58
|
? (TO)
TT=1802.11
|
OPT f=41 TT=7.14 T1=7.12
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/haplotype/ normalized-simp-nonunif-100_100.14.opb
|
OPT f=42 TT=8.657 T1=7.5
|
OPT f=42 TT=48.877 T1=48.93
|
SAT f=64 TT=1798.03 T1=1289.57
|
SAT (TO) f=59 TT=1800.07 T1=1032.94
|
? (TO) f=47 TT=1800.15 T1=1082.49
|
? (TO) f=51 TT=1800.24 T1=1664.96
|
? (TO) f=44 TT=1800.15 T1=1800
|
? (TO) f=50 TT=1800.28 T1=1800.1
|
OPT f=42 TT=11.238 T1=7.5
|
SAT (TO) f=74 TT=1800.45 T1=1530.57
|
SAT (TO) f=42 TT=1800.65 T1=384.69
|
SAT (TO) f=42 TT=1800.37 T1=642.01
|
? (TO)
TT=1802.14
|
? (TO)
TT=1800.13
|
SAT (TO) f=170 TT=1801.98 T1=53.46
|
? (TO)
TT=1800.1
|
OPT f=42 TT=8.657 T1=8.64
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/haplotype/ normalized-simp-unif-100_100.00.opb
|
OPT f=34 TT=404.435 T1=214.38
|
? (MO)
TT=157.84
|
SAT f=39 TT=1798.01 T1=408.5
|
SAT (TO) f=34 TT=1800.09 T1=371.34
|
? (TO) f=36 TT=1800.1 T1=148.27
|
? (TO) f=38 TT=1800.1 T1=122.08
|
? (TO) f=34 TT=1800.1 T1=1800
|
? (TO) f=35 TT=1800.08 T1=1800
|
OPT f=34 TT=427.85 T1=214.38
|
SAT (TO) f=39 TT=1800.31 T1=1509.89
|
SAT (TO) f=35 TT=1800.45 T1=253.76
|
SAT (TO) f=34 TT=1800.29 T1=921.35
|
SAT (TO) f=46 TT=1800.43 T1=1279.03
|
SAT f=41 TT=1797.48 T1=1701.54
|
? (TO)
TT=1800.08
|
SAT f=47 TT=1797.39 T1=1552.54
|
OPT f=34 TT=404.435 T1=404.42
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/haplotype/ normalized-simp-unif-100_100.08.opb
|
OPT f=34 TT=5.496 T1=4.39
|
OPT f=34 TT=69.783 T1=68.58
|
SAT f=43 TT=1798.02 T1=534.54
|
SAT (TO) f=36 TT=1800.09 T1=1444.48
|
? (TO) f=38 TT=1800.06 T1=1568.43
|
? (TO) f=45 TT=1800.11 T1=439.6
|
? (TO) f=35 TT=1800.08 T1=1800
|
? (TO) f=35 TT=1800.12 T1=1800
|
OPT f=34 TT=7.765 T1=4.39
|
SAT (TO) f=38 TT=1800.38 T1=1404.63
|
SAT (TO) f=35 TT=1800.47 T1=227.73
|
SAT (TO) f=34 TT=1800.29 T1=1626.06
|
? (TO)
TT=1800.08
|
SAT f=48 TT=1797.47 T1=809.29
|
SAT (TO) f=50 TT=1800.47 T1=1401.94
|
SAT f=48 TT=1797.57 T1=737.94
|
OPT f=34 TT=5.496 T1=5.49
|
|
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 | 0 | 0 | 0 | 0 | 0 | 0 | 8 | 1 | 3 | 0 | 0 | 0 | 0 | 0 | 8 |
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 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7 |