normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ttp/ normalized-circ10_3.opb
|
SAT f=340 TT=1800.14 T1=1675.41
|
? (MO)
TT=289.97
|
SAT f=360 TT=1798.05 T1=217.5
|
SAT (TO) f=350 TT=1800.13 T1=210.31
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.08
|
? (TO) f=360 TT=1800.03 T1=1800
|
? (TO) f=364 TT=1800.06 T1=1800
|
SAT (TO) f=350 TT=1800.24 T1=892.93
|
SAT (TO) f=374 TT=1800.41 T1=332.72
|
SAT (TO) f=344 TT=1800.48 T1=22.49
|
SAT (TO) f=340 TT=1800.14 T1=1675.41
|
? (TO)
TT=1800.22
|
?
TT=1797.2
|
? (TO)
TT=1800.21
|
?
TT=1797.2
|
? (TO)
TT=1800.07
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ ttp/normalized-circ4_3.opb
|
OPT f=20 TT=0.054 T1=0
|
OPT f=20 TT=1.534 T1=1.31
|
OPT f=20 TT=0.635 T1=0.06
|
OPT f=20 TT=0.054 T1=0
|
OPT f=20 TT=5.905 T1=0.01
|
OPT f=20 TT=27.005 T1=0.07
|
OPT f=20 TT=0.262 T1=0.26
|
OPT f=20 TT=1.209 T1=1.2
|
OPT f=20 TT=0.273 T1=0.01
|
OPT f=20 TT=1.786 T1=0.41
|
OPT f=20 TT=1.796 T1=0.73
|
OPT f=20 TT=0.902 T1=0.25
|
OPT f=20 TT=4.514 T1=1.18
|
OPT f=20 TT=4.488 T1=1.16
|
OPT f=20 TT=4.539 T1=1.18
|
OPT f=20 TT=4.503 T1=1.17
|
OPT f=20 TT=0.178 T1=0.17
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ ttp/normalized-circ6_3.opb
|
SAT f=64 TT=1800.06 T1=9.75
|
? (MO)
TT=188.57
|
SAT f=68 TT=1798.01 T1=1275.32
|
SAT (TO) f=64 TT=1800.06 T1=9.75
|
? (TO) f=72 TT=1800.06 T1=102.35
|
? (TO) f=72 TT=1800.06 T1=355.23
|
? (TO) f=66 TT=1800.06 T1=1800
|
? (TO) f=66 TT=1800.07 T1=1800
|
SAT (TO) f=68 TT=1800.24 T1=900.11
|
SAT (TO) f=70 TT=1800.35 T1=1162.15
|
SAT (TO) f=64 TT=1800.24 T1=53.9
|
SAT (TO) f=64 TT=1800.16 T1=47.99
|
SAT (TO) f=68 TT=1800.09 T1=1533.09
|
SAT f=72 TT=1797.09 T1=859.58
|
SAT f=72 TT=1800.01 T1=1643.34
|
SAT f=72 TT=1797.11 T1=957.62
|
? (TO)
TT=1800.13
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ ttp/normalized-circ8_3.opb
|
SAT f=148 TT=1800.16 T1=318.63
|
? (MO)
TT=245.61
|
SAT f=168 TT=1798.08 T1=901.13
|
SAT (TO) f=154 TT=1800.07 T1=5.71
|
? (TO) f=186 TT=1800.07 T1=1207.47
|
? (TO) f=188 TT=1800.06 T1=725.45
|
? (TO) f=174 TT=1800.07 T1=1800
|
? (TO) f=180 TT=1800.06 T1=1800
|
SAT (TO) f=170 TT=1800.23 T1=873.58
|
SAT (TO) f=182 TT=1800.25 T1=373.03
|
SAT (TO) f=148 TT=1800.19 T1=378.88
|
SAT (TO) f=148 TT=1800.16 T1=318.63
|
SAT (TO) f=202 TT=1800.06 T1=687.45
|
SAT f=202 TT=1797.16 T1=686.26
|
? (TO)
TT=1800.06
|
SAT f=202 TT=1797.12 T1=685.58
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ttp/ normalized-data10_3.opb
|
SAT f=70612 TT=1800.1 T1=662.02
|
? (MO)
TT=289.07
|
SAT f=77525 TT=1798.06 T1=810.73
|
SAT (TO) f=70612 TT=1800.1 T1=662.02
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.09
|
? (TO) f=84139 TT=1800.08 T1=1800
|
? (TO) f=84139 TT=1800.13 T1=1800.1
|
SAT (TO) f=80331 TT=1800.25 T1=559.11
|
SAT (TO) f=82975 TT=1800.33 T1=518.56
|
SAT (TO) f=79949 TT=1800.47 T1=142.33
|
SAT (TO) f=74187 TT=1800.22 T1=765.93
|
? (TO)
TT=1801.18
|
?
TT=1797.21
|
? (TO)
TT=1800.1
|
?
TT=1797.2
|
? (TO)
TT=1800.12
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ ttp/normalized-data4_3.opb
|
OPT f=8276 TT=0.052 T1=0
|
OPT f=8276 TT=1.537 T1=1.33
|
OPT f=8276 TT=0.667 T1=0.03
|
OPT f=8276 TT=0.052 T1=0.02
|
OPT f=8276 TT=6.42 T1=0.1
|
OPT f=8276 TT=29.436 T1=0.51
|
OPT f=8276 TT=0.514 T1=0.51
|
OPT f=8276 TT=2.045 T1=2.04
|
OPT f=8276 TT=0.193 T1=0
|
OPT f=8276 TT=2.146 T1=0.65
|
OPT f=8276 TT=1.916 T1=1.74
|
OPT f=8276 TT=0.887 T1=0.3
|
OPT f=8276 TT=4.142 T1=1.34
|
OPT f=8276 TT=4.112 T1=1.32
|
OPT f=8276 TT=4.136 T1=1.33
|
OPT f=8276 TT=4.13 T1=1.33
|
? (TO)
TT=1800.11
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ ttp/normalized-data6_3.opb
|
SAT f=24372 TT=1800.06 T1=1313.17
|
? (MO)
TT=195.23
|
SAT f=24973 TT=1798.01 T1=324.78
|
SAT (TO) f=24372 TT=1800.06 T1=1313.17
|
? (TO) f=26334 TT=1800.11 T1=1450
|
? (TO) f=26487 TT=1800.05 T1=1453.41
|
? (TO) f=25332 TT=1800.07 T1=1800
|
? (TO) f=25933 TT=1800.07 T1=1800
|
SAT (TO) f=25218 TT=1800.06 T1=900.01
|
SAT (TO) f=26224 TT=1800.36 T1=789.99
|
SAT (TO) f=25049 TT=1800.28 T1=186.37
|
SAT (TO) f=24664 TT=1800.16 T1=1370.76
|
SAT (TO) f=25981 TT=1800.09 T1=93.28
|
SAT f=25981 TT=1797.08 T1=93.01
|
? (TO)
TT=1800.05
|
SAT f=25981 TT=1797.1 T1=92.89
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ ttp/normalized-data8_3.opb
|
SAT f=43470 TT=1800.06 T1=303.81
|
? (MO)
TT=250.09
|
SAT f=49214 TT=1798.05 T1=712.21
|
SAT (TO) f=43470 TT=1800.06 T1=303.81
|
? (TO) f=51847 TT=1800.05 T1=946.99
|
? (TO) f=52894 TT=1800.06 T1=249.63
|
? (TO) f=50504 TT=1800.06 T1=1800
|
? (TO) f=52072 TT=1800.06 T1=1800
|
SAT (TO) f=48098 TT=1800.15 T1=139.75
|
SAT (TO) f=46968 TT=1800.31 T1=465.81
|
SAT (TO) f=46507 TT=1800.32 T1=2.2
|
SAT (TO) f=43470 TT=1800.18 T1=1596.56
|
SAT (TO) f=51736 TT=1800.08 T1=863.46
|
SAT f=51736 TT=1797.11 T1=861.05
|
SAT (TO) f=51736 TT=1800.12 T1=864.07
|
SAT f=51736 TT=1797.12 T1=861.73
|
? (TO)
TT=1800.09
|
|
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 | 2 | 6 | 2 | 2 | 2 | 2 | 2 | 2 | 4 | 6 | 2 | 2 | 0 | 2 | 1 |
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 | 6 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 4 | 0 | 0 | 0 | 0 | 0 |