About the Execution of LoLA for AirplaneLD-PT-4000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8256.910 | 3570220.00 | 3622647.00 | 9651.80 | ? 1 4000 1 1 2 1 1 1 1 1 1 1 1 1 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2019-input.r005-smll-155225009300344.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is AirplaneLD-PT-4000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r005-smll-155225009300344
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 50M
-rw-r--r-- 1 mcc users 1.4M Feb 9 06:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 3.3M Feb 9 06:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 574K Feb 5 03:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.3M Feb 5 03:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 105 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 343 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 842K Feb 4 22:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.1M Feb 4 22:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 301K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.2M Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 613K Feb 2 00:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.4M Feb 2 00:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1.3M Jan 29 11:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 4.9M Jan 29 11:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 99K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 179K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 30M Mar 10 17:31 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME AirplaneLD-PT-4000-UpperBounds-00
FORMULA_NAME AirplaneLD-PT-4000-UpperBounds-01
FORMULA_NAME AirplaneLD-PT-4000-UpperBounds-02
FORMULA_NAME AirplaneLD-PT-4000-UpperBounds-03
FORMULA_NAME AirplaneLD-PT-4000-UpperBounds-04
FORMULA_NAME AirplaneLD-PT-4000-UpperBounds-05
FORMULA_NAME AirplaneLD-PT-4000-UpperBounds-06
FORMULA_NAME AirplaneLD-PT-4000-UpperBounds-07
FORMULA_NAME AirplaneLD-PT-4000-UpperBounds-08
FORMULA_NAME AirplaneLD-PT-4000-UpperBounds-09
FORMULA_NAME AirplaneLD-PT-4000-UpperBounds-10
FORMULA_NAME AirplaneLD-PT-4000-UpperBounds-11
FORMULA_NAME AirplaneLD-PT-4000-UpperBounds-12
FORMULA_NAME AirplaneLD-PT-4000-UpperBounds-13
FORMULA_NAME AirplaneLD-PT-4000-UpperBounds-14
FORMULA_NAME AirplaneLD-PT-4000-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1552747043112
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ AirplaneLD-PT-4000 @ 3570 seconds
FORMULA AirplaneLD-PT-4000-UpperBounds-02 4000 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AirplaneLD-PT-4000-UpperBounds-05 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AirplaneLD-PT-4000-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AirplaneLD-PT-4000-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AirplaneLD-PT-4000-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AirplaneLD-PT-4000-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AirplaneLD-PT-4000-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AirplaneLD-PT-4000-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AirplaneLD-PT-4000-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AirplaneLD-PT-4000-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AirplaneLD-PT-4000-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AirplaneLD-PT-4000-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AirplaneLD-PT-4000-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AirplaneLD-PT-4000-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AirplaneLD-PT-4000-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ AirplaneLD-PT-4000
{
"exit":
{
"memory": 4156184,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "MAX(Plane_On_Ground_Signal_no_F + Plane_On_Ground_Signal_no_T)",
"processed_size": 62,
"rewrites": 0
},
"result":
{
"preliminary_value": "unknown 1 4000 1 1 2 1 1 1 1 1 1 1 1 1 1 "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 60027/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 896608
lola: finding significant places
lola: 28019 places, 32008 transitions, 16014 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: place invariant simplifies atomic proposition
lola: before: (SpeedPossibleVal_2100 + SpeedPossibleVal_2101 + SpeedPossibleVal_2102 + SpeedPossibleVal_2103 + SpeedPossibleVal_2104 + SpeedPossibleVal_2105 + SpeedPossibleVal_2106 + SpeedPossibleVal_2107 + SpeedPossibleVal_2108 + SpeedPossibleVal_2109 + SpeedPossibleVal_3400 + SpeedPossibleVal_3401 + SpeedPossibleVal_3402 + SpeedPossibleVal_3403 + SpeedPossibleVal_3404 + SpeedPossibleVal_3405 + SpeedPossibleVal_3406 + SpeedPossibleVal_3407 + SpeedPossibleVal_3408 + SpeedPossibleVal_3409 + SpeedPossibleVal_2110 + SpeedPossibleVal_2111 + SpeedPossibleVal_2112 + SpeedPossibleVal_2113 + SpeedPossibleVal_2114 + SpeedPossibleVal_2115 + SpeedPossibleVal_2116 + SpeedPossibleVal_2117 + SpeedPossibleVal_2118 + SpeedPossibleVal_2119 + SpeedPossibleVal_3410 + SpeedPossibleVal_3411 + SpeedPossibleVal_3412 + SpeedPossibleVal_3413 + SpeedPossibleVal_3414 + SpeedPossibleVal_3415 + SpeedPossibleVal_3416 + SpeedPossibleVal_3417 + SpeedPossibleVal_3418 + SpeedPossibleVal_3419 + SpeedPossibleVal_2120 + SpeedPossibleVal_2121 + SpeedPossibleVal_2122 + SpeedPossibleVal_2123 + SpeedPossibleVal_2124 + SpeedPossibleVal_2125 + SpeedPossibleVal_2126 + SpeedPossibleVal_2127 + SpeedPossibleVal_2128 + SpeedPossibleVal_2129 + SpeedPossibleVal_3420 + SpeedPossibleVal_3421 + SpeedPossibleVal_3422 + SpeedPossibleVal_3423 + SpeedPossibleVal_3424 + SpeedPossibleVal_3425 + SpeedPossibleVal_3426 + SpeedPossibleVal_3427 + SpeedPossibleVal_3428 + SpeedPossibleVal_3429 + SpeedPossibleVal_2130 + SpeedPossibleVal_2131 + SpeedPossibleVal_2132 + SpeedPossibleVal_2133 + SpeedPossibleVal_2134 + SpeedPossibleVal_2135 + SpeedPossibleVal_2136 + SpeedPossibleVal_2137 + SpeedPossibleVal_2138 + SpeedPossibleVal_2139 + SpeedPossibleVal_3430 + SpeedPossibleVal_3431 + SpeedPossibleVal_3432 + SpeedPossibleVal_3433 + SpeedPossibleVal_3434 + SpeedPossibleVal_3435 + SpeedPossibleVal_3436 + SpeedPossibleVal_3437 + SpeedPossibleVal_3438 + SpeedPossibleVal_3439 + SpeedPossibleVal_2140 + SpeedPossibleVal_2141 + SpeedPossibleVal_2142 + SpeedPossibleVal_2143 + SpeedPossibleVal_2144 + SpeedPossibleVal_2145 + SpeedPossibleVal_2146 + SpeedPossibleVal_2147 + SpeedPossibleVal_2148 + SpeedPossibleVal_2149 + SpeedPossibleVal_3440 + SpeedPossibleVal_3441 + SpeedPossibleVal_3442 + SpeedPossibleVal_3443 + SpeedPossibleVal_3444 + SpeedPossibleVal_3445 + SpeedPossibleVal_3446 + SpeedPossibleVal_3447 + SpeedPossibleVal_3448 + SpeedPossibleVal_3449 + SpeedPossibleVal_2150 + SpeedPossibleVal_2151 + SpeedPossibleVal_2152 + SpeedPossibleVal_2153 + SpeedPossibleVal_2154 + SpeedPossibleVal_2155 + SpeedPossibleVal_2156 + SpeedPossibleVal_2157 + SpeedPossibleVal_2158 + SpeedPossibleVal_2159 + SpeedPossibleVal_3450 + SpeedPossibleVal_3451 + SpeedPossibleVal_3452 + SpeedPossibleVal_3453 + SpeedPossibleVal_3454 + SpeedPossibleVal_3455 + SpeedPossibleVal_3456 + SpeedPossibleVal_3457 + SpeedPossibleVal_3458 + SpeedPossibleVal_3459 + SpeedPossibleVal_2160 + SpeedPossibleVal_2161 + SpeedPossibleVal_2162 + SpeedPossibleVal_2163 + SpeedPossibleVal_2164 + SpeedPossibleVal_2165 + SpeedPossibleVal_2166 + SpeedPossibleVal_2167 + SpeedPossibleVal_2168 + SpeedPossibleVal_2169 + SpeedPossibleVal_3460 + SpeedPossibleVal_3461 + SpeedPossibleVal_3462 + SpeedPossibleVal_3463 + SpeedPossibleVal_3464 + SpeedPossibleVal_3465 + SpeedPossibleVal_3466 + SpeedPossibleVal_3467 + SpeedPossibleVal_3468 + SpeedPossibleVal_3469 + SpeedPossibleVal_2170 + SpeedPossibleVal_2171 + SpeedPossibleVal_2172 + SpeedPossibleVal_2173 + SpeedPossibleVal_2174 + SpeedPossibleVal_2175 + SpeedPossibleVal_2176 + SpeedPossibleVal_2177 + SpeedPossibleVal_2178 + SpeedPossibleVal_2179 + SpeedPossibleVal_3470 + SpeedPossibleVal_3471 + SpeedPossibleVal_3472 + SpeedPossibleVal_3473 + SpeedPossibleVal_3474 + SpeedPossibleVal_3475 + SpeedPossibleVal_3476 + SpeedPossibleVal_3477 + SpeedPossibleVal_3478 + SpeedPossibleVal_3479 + SpeedPossibleVal_2180 + SpeedPossibleVal_2181 + SpeedPossibleVal_2182 + SpeedPossibleVal_2183 + SpeedPossibleVal_2184 + SpeedPossibleVal_2185 + SpeedPossibleVal_2186 + SpeedPossibleVal_2187 + SpeedPossibleVal_2188 + SpeedPossibleVal_2189 + SpeedPossibleVal_3480 + SpeedPossibleVal_3481 + SpeedPossibleVal_3482 + SpeedPossibleVal_3483 + SpeedPossibleVal_3484 + SpeedPossibleVal_3485 + SpeedPossibleVal_3486 + SpeedPossibleVal_3487 + SpeedPossibleVal_3488 + SpeedPossibleVal_3489 + SpeedPossibleVal_2190 + SpeedPossibleVal_2191 + SpeedPossibleVal_2192 + SpeedPossibleVal_2193 + SpeedPossibleVal_2194 + SpeedPossibleVal_2195 + SpeedPossibleVal_2196 + SpeedPossibleVal_2197 + SpeedPossibleVal_2198 + SpeedPossibleVal_2199 + SpeedPossibleVal_3490 + SpeedPossibleVal_3491 + SpeedPossibleVal_3492 + SpeedPossibleVal_3493 + SpeedPossibleVal_3494 + SpeedPossibleVal_3495 + SpeedPossibleVal_3496 + SpeedPossibleVal_3497 + SpeedPossibleVal_3498 + SpeedPossibleVal_3499 + SpeedPossibleVal_3399 + SpeedPossibleVal_3398 + SpeedPossibleVal_3397 + SpeedPossibleVal_3396 + SpeedPossibleVal_3395 + SpeedPossibleVal_3394 + SpeedPossibleVal_3393 + SpeedPossibleVal_3392 + SpeedPossibleVal_3391 + SpeedPossibleVal_3390 + SpeedPossibleVal_2099 + SpeedPossibleVal_2098 + SpeedPossibleVal_2097 + SpeedPossibleVal_2096 + SpeedPossibleVal_2095 + SpeedPossibleVal_2094 + SpeedPossibleVal_2093 + SpeedPossibleVal_2092 + SpeedPossibleVal_2091 + SpeedPossibleVal_2090 + SpeedPossibleVal_3389 + SpeedPossibleVal_3388 + SpeedPossibleVal_3387 + SpeedPossibleVal_3386 + SpeedPossibleVal_3385 + SpeedPossibleVal_3384 + SpeedPossibleVal_3383 + SpeedPossibleVal_3382 + SpeedPossibleVal_3381 + SpeedPossibleVal_3380 + SpeedPossibleVal_2089 + SpeedPossibleVal_2088 + SpeedPossibleVal_2087 + SpeedPossibleVal_2086 + SpeedPossibleVal_2085 + SpeedPossibleVal_2084 + SpeedPossibleVal_2083 + SpeedPossibleVal_2082 + SpeedPossibleVal_2081 + SpeedPossibleVal_2080 + SpeedPossibleVal_3379 + SpeedPossibleVal_3378 + SpeedPossibleVal_3377 + SpeedPossibleVal_3376 + SpeedPossibleVal_3375 + SpeedPossibleVal_3374 + SpeedPossibleVal_3373 + SpeedPossibleVal_3372 + SpeedPossibleVal_3371 + SpeedPossibleVal_3370 + SpeedPossibleVal_2079 + SpeedPossibleVal_2078 + SpeedPossibleVal_2077 + SpeedPossibleVal_2076 + SpeedPossibleVal_2075 + SpeedPossibleVal_2074 + SpeedPossibleVal_2073 + SpeedPossibleVal_2072 + SpeedPossibleVal_2071 + SpeedPossibleVal_2070 + SpeedPossibleVal_3369 + SpeedPossibleVal_3368 + SpeedPossibleVal_3367 + SpeedPossibleVal_3366 + SpeedPossibleVal_3365 + SpeedPossibleVal_3364 + SpeedPossibleVal_3363 + SpeedPossibleVal_3362 + SpeedPossibleVal_3361 + SpeedPossibleVal_3360 + SpeedPossibleVal_2069 + SpeedPossibleVal_2068 + SpeedPossibleVal_2067 + SpeedPossibleVal_2066 + SpeedPossibleVal_2065 + SpeedPossibleVal_2064 + SpeedPossibleVal_2063 + SpeedPossibleVal_2062 + SpeedPossibleVal_2061 + SpeedPossibleVal_2060 + SpeedPossibleVal_3359 + SpeedPossibleVal_3358 + SpeedPossibleVal_3357 + SpeedPossibleVal_3356 + SpeedPossibleVal_3355 + SpeedPossibleVal_3354 + SpeedPossibleVal_3353 + SpeedPossibleVal_3352 + SpeedPossibleVal_3351 + SpeedPossibleVal_3350 + SpeedPossibleVal_2059 + SpeedPossibleVal_2058 + SpeedPossibleVal_2057 + SpeedPossibleVal_2056 + SpeedPossibleVal_2055 + SpeedPossibleVal_2054 + SpeedPossibleVal_2053 + SpeedPossibleVal_2052 + SpeedPossibleVal_2051 + SpeedPossibleVal_2050 + SpeedPossibleVal_3349 + SpeedPossibleVal_3348 + SpeedPossibleVal_3347 + SpeedPossibleVal_3346 + SpeedPossibleVal_3345 + SpeedPossibleVal_3344 + SpeedPossibleVal_3343 + SpeedPossibleVal_3342 + SpeedPossibleVal_3341 + SpeedPossibleVal_3340 + SpeedPossibleVal_2049 + SpeedPossibleVal_2048 + SpeedPossibleVal_2047 + SpeedPossibleVal_2046 + SpeedPossibleVal_2045 + SpeedPossibleVal_2044 + SpeedPossibleVal_2043 + SpeedPossibleVal_2042 + SpeedPossibleVal_2041 + SpeedPossibleVal_2040 + SpeedPossibleVal_3339 + SpeedPossibleVal_3338 + SpeedPossibleVal_3337 + SpeedPossibleVal_3336 + SpeedPossibleVal_3335 + SpeedPossibleVal_3334 + SpeedPossibleVal_3333 + SpeedPossibleVal_3332 + SpeedPossibleVal_3331 + SpeedPossibleVal_3330 + SpeedPossibleVal_2039 + SpeedPossibleVal_2038 + SpeedPossibleVal_2037 + SpeedPossibleVal_2036 + SpeedPossibleVal_2035 + SpeedPossibleVal_2034 + SpeedPossibleVal_2033 + SpeedPossibleVal_2032 + SpeedPossibleVal_2031 + SpeedPossibleVal_2030 + SpeedPossibleVal_3329 + SpeedPossibleVal_3328 + SpeedPossibleVal_3327 + SpeedPossibleVal_3326 + SpeedPossibleVal_3325 + SpeedPossibleVal_3324 + SpeedPossibleVal_3323 + SpeedPossibleVal_3322 + SpeedPossibleVal_3321 + SpeedPossibleVal_3320 + SpeedPossibleVal_2029 + SpeedPossibleVal_2028 + SpeedPossibleVal_2027 + SpeedPossibleVal_2026 + SpeedPossibleVal_2025 + SpeedPossibleVal_2024 + SpeedPossibleVal_2023 + SpeedPossibleVal_2022 + SpeedPossibleVal_2021 + SpeedPossibleVal_2020 + SpeedPossibleVal_3319 + SpeedPossibleVal_3318 + SpeedPossibleVal_3317 + SpeedPossibleVal_3316 + SpeedPossibleVal_3315 + SpeedPossibleVal_3314 + SpeedPossibleVal_3313 + SpeedPossibleVal_3312 + SpeedPossibleVal_3311 + SpeedPossibleVal_3310 + SpeedPossibleVal_2200 + SpeedPossibleVal_2201 + SpeedPossibleVal_2202 + SpeedPossibleVal_2203 + SpeedPossibleVal_2204 + SpeedPossibleVal_2205 + SpeedPossibleVal_2206 + SpeedPossibleVal_2207 + SpeedPossibleVal_2208 + SpeedPossibleVal_2209 + SpeedPossibleVal_3500 + SpeedPossibleVal_3501 + SpeedPossibleVal_3502 + SpeedPossibleVal_3503 + SpeedPossibleVal_3504 + SpeedPossibleVal_3505 + SpeedPossibleVal_3506 + SpeedPossibleVal_3507 + SpeedPossibleVal_3508 + SpeedPossibleVal_3509 + SpeedPossibleVal_2210 + SpeedPossibleVal_2211 + SpeedPossibleVal_2212 + SpeedPossibleVal_2213 + SpeedPossibleVal_2214 + SpeedPossibleVal_2215 + SpeedPossibleVal_2216 + SpeedPossibleVal_2217 + SpeedPossibleVal_2218 + SpeedPossibleVal_2219 + SpeedPossibleVal_3510 + SpeedPossibleVal_3511 + SpeedPossibleVal_3512 + SpeedPossibleVal_3513 + SpeedPossibleVal_3514 + SpeedPossibleVal_3515 + SpeedPossibleVal_3516 + SpeedPossibleVal_3517 + SpeedPossibleVal_3518 + SpeedPossibleVal_3519 + SpeedPossibleVal_2220 + SpeedPossibleVal_2221 + SpeedPossibleVal_2222 + SpeedPossibleVal_2223 + SpeedPossibleVal_2224 + SpeedPossibleVal_2225 + SpeedPossibleVal_2226 + SpeedPossibleVal_2227 + SpeedPossibleVal_2228 + SpeedPossibleVal_2229 + SpeedPossibleVal_3520 + SpeedPossibleVal_3521 + SpeedPossibleVal_3522 + SpeedPossibleVal_3523 + SpeedPossibleVal_3524 + SpeedPossibleVal_3525 + SpeedPossibleVal_3526 + SpeedPossibleVal_3527 + SpeedPossibleVal_3528 + SpeedPossibleVal_3529 + SpeedPossibleVal_2230 + SpeedPossibleVal_2231 + SpeedPossibleVal_2232 + SpeedPossibleVal_2233 + SpeedPossibleVal_2234 + SpeedPossibleVal_2235 + SpeedPossibleVal_2236 + SpeedPossibleVal_2237 + SpeedPossibleVal_2238 + SpeedPossibleVal_2239 + SpeedPossibleVal_3530 + SpeedPossibleVal_3531 + SpeedPossibleVal_3532 + SpeedPossibleVal_3533 + SpeedPossibleVal_3534 + SpeedPossibleVal_3535 + SpeedPossibleVal_3536 + SpeedPossibleVal_3537 + SpeedPossibleVal_3538 + SpeedPossibleVal_3539 + SpeedPossibleVal_2240 + SpeedPossibleVal_2241 + SpeedPossibleVal_2242 + SpeedPossibleVal_2243 + SpeedPossibleVal_2244 + SpeedPossibleVal_2245 + SpeedPossibleVal_2246 + SpeedPossibleVal_2247 + SpeedPossibleVal_2248 + SpeedPossibleVal_2249 + SpeedPossibleVal_3540 + SpeedPossibleVal_3541 + SpeedPossibleVal_3542 + SpeedPossibleVal_3543 + SpeedPossibleVal_3544 + SpeedPossibleVal_3545 + SpeedPossibleVal_3546 + SpeedPossibleVal_3547 + SpeedPossibleVal_3548 + SpeedPossibleVal_3549 + SpeedPossibleVal_2250 + SpeedPossibleVal_2251 + SpeedPossibleVal_2252 + SpeedPossibleVal_2253 + SpeedPossibleVal_2254 + SpeedPossibleVal_2255 + SpeedPossibleVal_2256 + SpeedPossibleVal_2257 + SpeedPossibleVal_2258 + SpeedPossibleVal_2259 + SpeedPossibleVal_3550 + SpeedPossibleVal_3551 + SpeedPossibleVal_3552 + SpeedPossibleVal_3553 + SpeedPossibleVal_3554 + SpeedPossibleVal_3555 + SpeedPossibleVal_3556 + SpeedPossibleVal_3557 + SpeedPossibleVal_3558 + SpeedPossibleVal_3559 + SpeedPossibleVal_2260 + SpeedPossibleVal_2261 + SpeedPossibleVal_2262 + SpeedPossibleVal_2263 + SpeedPossibleVal_2264 + SpeedPossibleVal_2265 + SpeedPossibleVal_2266 + SpeedPossibleVal_2267 + SpeedPossibleVal_2268 + SpeedPossibleVal_2269 + SpeedPossibleVal_3560 + SpeedPossibleVal_3561 + SpeedPossibleVal_3562 + SpeedPossibleVal_3563 + SpeedPossibleVal_3564 + SpeedPossibleVal_3565 + SpeedPossibleVal_3566 + SpeedPossibleVal_3567 + SpeedPossibleVal_3568 + SpeedPossibleVal_3569 + SpeedPossibleVal_2270 + SpeedPossibleVal_2271 + SpeedPossibleVal_2272 + SpeedPossibleVal_2273 + SpeedPossibleVal_2274 + SpeedPossibleVal_2275 + SpeedPossibleVal_2276 + SpeedPossibleVal_2277 + SpeedPossibleVal_2278 + SpeedPossibleVal_2279 + SpeedPossibleVal_3570 + SpeedPossibleVal_3571 + SpeedPossibleVal_3572 + SpeedPossibleVal_3573 + SpeedPossibleVal_3574 + SpeedPossibleVal_3575 + SpeedPossibleVal_3576 + SpeedPossibleVal_3577 + SpeedPossibleVal_3578 + SpeedPossibleVal_3579 + SpeedPossibleVal_2280 + SpeedPossibleVal_2281 + SpeedPossibleVal_2282 + SpeedPossibleVal_2283 + SpeedPossibleVal_2284 + SpeedPossibleVal_2285 + SpeedPossibleVal_2286 + SpeedPossibleVal_2287 + SpeedPossibleVal_2288 + SpeedPossibleVal_2289 + SpeedPossibleVal_3580 + SpeedPossibleVal_3581 + SpeedPossibleVal_3582 + SpeedPossibleVal_3583 + SpeedPossibleVal_3584 + SpeedPossibleVal_3585 + SpeedPossibleVal_3586 + SpeedPossibleVal_3587 + SpeedPossibleVal_3588 + SpeedPossibleVal_3589 + SpeedPossibleVal_2290 + SpeedPossibleVal_2291 + SpeedPossibleVal_2292 + SpeedPossibleVal_2293 + SpeedPossibleVal_2294 + SpeedPossibleVal_2295 + SpeedPossibleVal_2296 + SpeedPossibleVal_2297 + SpeedPossibleVal_2298 + SpeedPossibleVal_2299 + SpeedPossibleVal_3590 + SpeedPossibleVal_3591 + SpeedPossibleVal_3592 + SpeedPossibleVal_3593 + SpeedPossibleVal_3594 + SpeedPossibleVal_3595 + SpeedPossibleVal_3596 + SpeedPossibleVal_3597 + SpeedPossibleVal_3598 + SpeedPossibleVal_3599 + SpeedPossibleVal_2019 + SpeedPossibleVal_2018 + SpeedPossibleVal_2017 + SpeedPossibleVal_2016 + SpeedPossibleVal_2015 + SpeedPossibleVal_2014 + SpeedPossibleVal_2013 + SpeedPossibleVal_2012 + SpeedPossibleVal_2011 + SpeedPossibleVal_2010 + SpeedPossibleVal_3309 + SpeedPossibleVal_3308 + SpeedPossibleVal_3307 + SpeedPossibleVal_3306 + SpeedPossibleVal_3305 + SpeedPossibleVal_3304 + SpeedPossibleVal_3303 + SpeedPossibleVal_3302 + SpeedPossibleVal_3301 + SpeedPossibleVal_3300 + SpeedPossibleVal_2009 + SpeedPossibleVal_2008 + SpeedPossibleVal_2007 + SpeedPossibleVal_2006 + SpeedPossibleVal_2005 + SpeedPossibleVal_2004 + SpeedPossibleVal_2003 + SpeedPossibleVal_2002 + SpeedPossibleVal_2001 + SpeedPossibleVal_2000 + SpeedPossibleVal_3299 + SpeedPossibleVal_3298 + SpeedPossibleVal_3297 + SpeedPossibleVal_3296 + SpeedPossibleVal_3295 + SpeedPossibleVal_3294 + SpeedPossibleVal_3293 + SpeedPossibleVal_3292 + SpeedPossibleVal_3291 + SpeedPossibleVal_3290 + SpeedPossibleVal_3289 + SpeedPossibleVal_3288 + SpeedPossibleVal_3287 + SpeedPossibleVal_3286 + SpeedPossibleVal_3285 + SpeedPossibleVal_3284 + SpeedPossibleVal_3283 + SpeedPossibleVal_3282 + SpeedPossibleVal_3281 + SpeedPossibleVal_3280 + SpeedPossibleVal_3279 + SpeedPossibleVal_3278 + SpeedPossibleVal_3277 + SpeedPossibleVal_3276 + SpeedPossibleVal_3275 + SpeedPossibleVal_3274 + SpeedPossibleVal_3273 + SpeedPossibleVal_3272 + SpeedPossibleVal_3271 + SpeedPossibleVal_3270 + SpeedPossibleVal_3269 + SpeedPossibleVal_3268 + SpeedPossibleVal_3267 + SpeedPossibleVal_3266 + SpeedPossibleVal_3265 + SpeedPossibleVal_3264 + SpeedPossibleVal_3263 + SpeedPossibleVal_3262 + SpeedPossibleVal_3261 + SpeedPossibleVal_3260 + SpeedPossibleVal_3259 + SpeedPossibleVal_3258 + SpeedPossibleVal_3257 + SpeedPossibleVal_3256 + SpeedPossibleVal_3255 + SpeedPossibleVal_3254 + SpeedPossibleVal_3253 + SpeedPossibleVal_3252 + SpeedPossibleVal_3251 + SpeedPossibleVal_3250 + SpeedPossibleVal_3249 + SpeedPossibleVal_3248 + SpeedPossibleVal_3247 + SpeedPossibleVal_3246 + SpeedPossibleVal_3245 + SpeedPossibleVal_3244 + SpeedPossibleVal_3243 + SpeedPossibleVal_3242 + SpeedPossibleVal_3241 + SpeedPossibleVal_3240 + SpeedPossibleVal_3239 + SpeedPossibleVal_3238 + SpeedPossibleVal_3237 + SpeedPossibleVal_3236 + SpeedPossibleVal_3235 + SpeedPossibleVal_3234 + SpeedPossibleVal_3233 + SpeedPossibleVal_3232 + SpeedPossibleVal_3231 + SpeedPossibleVal_3230 + SpeedPossibleVal_3229 + SpeedPossibleVal_3228 + SpeedPossibleVal_3227 + SpeedPossibleVal_3226 + SpeedPossibleVal_3225 + SpeedPossibleVal_3224 + SpeedPossibleVal_3223 + SpeedPossibleVal_3222 + SpeedPossibleVal_3221 + SpeedPossibleVal_3220 + SpeedPossibleVal_1000 + SpeedPossibleVal_1001 + SpeedPossibleVal_1002 + SpeedPossibleVal_1003 + SpeedPossibleVal_1004 + SpeedPossibleVal_1005 + SpeedPossibleVal_1006 + SpeedPossibleVal_1007 + SpeedPossibleVal_1008 + SpeedPossibleVal_1009 + SpeedPossibleVal_2300 + SpeedPossibleVal_2301 + SpeedPossibleVal_2302 + SpeedPossibleVal_2303 + SpeedPossibleVal_2304 + SpeedPossibleVal_2305 + SpeedPossibleVal_2306 + SpeedPossibleVal_2307 + SpeedPossibleVal_2308 + SpeedPossibleVal_2309 + SpeedPossibleVal_1010 + SpeedPossibleVal_1011 + SpeedPossibleVal_1012 + SpeedPossibleVal_1013 + SpeedPossibleVal_1014 + SpeedPossibleVal_1015 + SpeedPossibleVal_1016 + SpeedPossibleVal_1017 + SpeedPossibleVal_1018 + SpeedPossibleVal_1019 + SpeedPossibleVal_3600 + SpeedPossibleVal_3601 + SpeedPossibleVal_3602 + SpeedPossibleVal_3603 + SpeedPossibleVal_3604 + SpeedPossibleVal_3605 + SpeedPossibleVal_3606 + SpeedPossibleVal_3607 + SpeedPossibleVal_3608 + SpeedPossibleVal_3609 + SpeedPossibleVal_2310 + SpeedPossibleVal_2311 + SpeedPossibleVal_2312 + SpeedPossibleVal_2313 + SpeedPossibleVal_2314 + SpeedPossibleVal_2315 + SpeedPossibleVal_2316 + SpeedPossibleVal_2317 + SpeedPossibleVal_2318 + SpeedPossibleVal_2319 + SpeedPossibleVal_1020 + SpeedPossibleVal_1021 + SpeedPossibleVal_1022 + SpeedPossibleVal_1023 + SpeedPossibleVal_1024 + SpeedPossibleVal_1025 + SpeedPossibleVal_1026 + SpeedPossibleVal_1027 + SpeedPossibleVal_1028 + SpeedPossibleVal_1029 + SpeedPossibleVal_3610 + SpeedPossibleVal_3611 + SpeedPossibleVal_3612 + SpeedPossibleVal_3613 + SpeedPossibleVal_3614 + SpeedPossibleVal_3615 + SpeedPossibleVal_3616 + SpeedPossibleVal_3617 + SpeedPossibleVal_3618 + SpeedPossibleVal_3619 + SpeedPossibleVal_2320 + SpeedPossibleVal_2321 + SpeedPossibleVal_2322 + SpeedPossibleVal_2323 + SpeedPossibleVal_2324 + SpeedPossibleVal_2325 + SpeedPossibleVal_2326 + SpeedPossibleVal_2327 + SpeedPossibleVal_2328 + SpeedPossibleVal_2329 + SpeedPossibleVal_1030 + SpeedPossibleVal_1031 + SpeedPossibleVal_1032 + SpeedPossibleVal_1033 + SpeedPossibleVal_1034 + SpeedPossibleVal_1035 + SpeedPossibleVal_1036 + SpeedPossibleVal_1037 + SpeedPossibleVal_1038 + SpeedPossibleVal_1039 + SpeedPossibleVal_3620 + SpeedPossibleVal_3621 + SpeedPossibleVal_3622 + SpeedPossibleVal_3623 + SpeedPossibleVal_3624 + SpeedPossibleVal_3625 + SpeedPossibleVal_3626 + SpeedPossibleVal_3627 + SpeedPossibleVal_3628 + SpeedPossibleVal_3629 + SpeedPossibleVal_2330 + SpeedPossibleVal_2331 + SpeedPossibleVal_2332 + SpeedPossibleVal_2333 + SpeedPossibleVal_2334 + SpeedPossibleVal_2335 + SpeedPossibleVal_2336 + SpeedPossibleVal_2337 + SpeedPossibleVal_2338 + SpeedPossibleVal_2339 + SpeedPossibleVal_1040 + SpeedPossibleVal_1041 + SpeedPossibleVal_1042 + SpeedPossibleVal_1043 + SpeedPossibleVal_1044 + SpeedPossibleVal_1045 + SpeedPossibleVal_1046 + SpeedPossibleVal_1047 + SpeedPossibleVal_1048 + SpeedPossibleVal_1049 + SpeedPossibleVal_3630 + SpeedPossibleVal_3631 + SpeedPossibleVal_3632 + SpeedPossibleVal_3633 + SpeedPossibleVal_3634 + SpeedPossibleVal_3635 + SpeedPossibleVal_3636 + SpeedPossibleVal_3637 + SpeedPossibleVal_3638 + SpeedPossibleVal_3639 + SpeedPossibleVal_2340 + SpeedPossibleVal_2341 + SpeedPossibleVal_2342 + SpeedPossibleVal_2343 + SpeedPossibleVal_2344 + SpeedPossibleVal_2345 + SpeedPossibleVal_2346 + SpeedPossibleVal_2347 + SpeedPossibleVal_2348 + SpeedPossibleVal_2349 + SpeedPossibleVal_1050 + SpeedPossibleVal_1051 + SpeedPossibleVal_1052 + SpeedPossibleVal_1053 + SpeedPossibleVal_1054 + SpeedPossibleVal_1055 + SpeedPossibleVal_1056 + SpeedPossibleVal_1057 + SpeedPossibleVal_1058 + SpeedPossibleVal_1059 + SpeedPossibleVal_3640 + SpeedPossibleVal_3641 + SpeedPossibleVal_3642 + SpeedPossibleVal_3643 + SpeedPossibleVal_3644 + SpeedPossibleVal_3645 + SpeedPossibleVal_3646 + SpeedPossibleVal_3647 + SpeedPossibleVal_3648 + SpeedPossibleVal_3649 + SpeedPossibleVal_2350 + SpeedPossibleVal_2351 + SpeedPossibleVal_2352 + SpeedPossibleVal_2353 + SpeedPossibleVal_2354 + SpeedPossibleVal_2355 + SpeedPossibleVal_2356 + SpeedPossibleVal_2357 + SpeedPossibleVal_2358 + SpeedPossibleVal_2359 + SpeedPossibleVal_1060 + SpeedPossibleVal_1061 + SpeedPossibleVal_1062 + SpeedPossibleVal_1063 + SpeedPossibleVal_1064 + SpeedPossibleVal_1065 + SpeedPossibleVal_1066 + SpeedPossibleVal_1067 + SpeedPossibleVal_1068 + SpeedPossibleVal_1069 + SpeedPossibleVal_3650 + SpeedPossibleVal_3651 + SpeedPossibleVal_3652 + SpeedPossibleVal_3653 + SpeedPossibleVal_3654 + SpeedPossibleVal_3655 + SpeedPossibleVal_3656 + SpeedPossibleVal_3657 + SpeedPossibleVal_3658 + SpeedPossibleVal_3659 + SpeedPossibleVal_2360 + SpeedPossibleVal_2361 + SpeedPossibleVal_2362 + SpeedPossibleVal_2363 + SpeedPossibleVal_2364 + SpeedPossibleVal_2365 + SpeedPossibleVal_2366 + SpeedPossibleVal_2367 + SpeedPossibleVal_2368 + SpeedPossibleVal_2369 + SpeedPossibleVal_1070 + SpeedPossibleVal_1071 + SpeedPossibleVal_1072 + SpeedPossibleVal_1073 + SpeedPossibleVal_1074 + SpeedPossibleVal_1075 + SpeedPossibleVal_1076 + SpeedPossibleVal_1077 + SpeedPossibleVal_1078 + SpeedPossibleVal_1079 + SpeedPossibleVal_3660 + SpeedPossibleVal_3661 + SpeedPossibleVal_3662 + SpeedPossibleVal_3663 + SpeedPossibleVal_3664 + SpeedPossibleVal_3665 + SpeedPossibleVal_3666 + SpeedPossibleVal_3667 + SpeedPossibleVal_3668 + SpeedPossibleVal_3669 + SpeedPossibleVal_2370 + SpeedPossibleVal_2371 + SpeedPossibleVal_2372 + SpeedPossibleVal_2373 + SpeedPossibleVal_2374 + SpeedPossibleVal_2375 + SpeedPossibleVal_2376 + SpeedPossibleVal_2377 + SpeedPossibleVal_2378 + SpeedPossibleVal_2379 + SpeedPossibleVal_1080 + SpeedPossibleVal_1081 + SpeedPossibleVal_1082 + SpeedPossibleVal_1083 + SpeedPossibleVal_1084 + SpeedPossibleVal_1085 + SpeedPossibleVal_1086 + SpeedPossibleVal_1087 + SpeedPossibleVal_1088 + SpeedPossibleVal_1089 + SpeedPossibleVal_3670 + SpeedPossibleVal_3671 + SpeedPossibleVal_3672 + SpeedPossibleVal_3673 + SpeedPossibleVal_3674 + SpeedPossibleVal_3675 + SpeedPossibleVal_3676 + SpeedPossibleVal_3677 + SpeedPossibleVal_3678 + SpeedPossibleVal_3679 + SpeedPossibleVal_2380 + SpeedPossibleVal_2381 + SpeedPossibleVal_2382 + SpeedPossibleVal_2383 + SpeedPossibleVal_2384 + SpeedPossibleVal_2385 + SpeedPossibleVal_2386 + SpeedPossibleVal_2387 + SpeedPossibleVal_2388 + SpeedPossibleVal_2389 + SpeedPossibleVal_1090 + SpeedPossibleVal_1091 + SpeedPossibleVal_1092 + SpeedPossibleVal_1093 + SpeedPossibleVal_1094 + SpeedPossibleVal_1095 + SpeedPossibleVal_1096 + SpeedPossibleVal_1097 + SpeedPossibleVal_1098 + SpeedPossibleVal_1099 + SpeedPossibleVal_3680 + SpeedPossibleVal_3681 + SpeedPossibleVal_3682 + SpeedPossibleVal_3683 + SpeedPossibleVal_3684 + SpeedPossibleVal_3685 + SpeedPossibleVal_3686 + SpeedPossibleVal_3687 + SpeedPossibleVal_3688 + SpeedPossibleVal_3689 + SpeedPossibleVal_2390 + SpeedPossibleVal_2391 + SpeedPossibleVal_2392 + SpeedPossibleVal_2393 + SpeedPossibleVal_2394 + SpeedPossibleVal_2395 + SpeedPossibleVal_2396 + SpeedPossibleVal_2397 + SpeedPossibleVal_2398 + SpeedPossibleVal_2399 + SpeedPossibleVal_3690 + SpeedPossibleVal_3691 + SpeedPossibleVal_3692 + SpeedPossibleVal_3693 + SpeedPossibleVal_3694 + SpeedPossibleVal_3695 + SpeedPossibleVal_3696 + SpeedPossibleVal_3697 + SpeedPossibleVal_3698 + SpeedPossibleVal_3699 + SpeedPossibleVal_3219 + SpeedPossibleVal_3218 + SpeedPossibleVal_3217 + SpeedPossibleVal_3216 + SpeedPossibleVal_3215 + SpeedPossibleVal_3214 + SpeedPossibleVal_3213 + SpeedPossibleVal_3212 + SpeedPossibleVal_3211 + SpeedPossibleVal_3210 + SpeedPossibleVal_3209 + SpeedPossibleVal_3208 + SpeedPossibleVal_3207 + SpeedPossibleVal_3206 + SpeedPossibleVal_3205 + SpeedPossibleVal_3204 + SpeedPossibleVal_3203 + SpeedPossibleVal_3202 + SpeedPossibleVal_3201 + SpeedPossibleVal_3200 + SpeedPossibleVal_3199 + SpeedPossibleVal_3198 + SpeedPossibleVal_3197 + SpeedPossibleVal_3196 + SpeedPossibleVal_3195 + SpeedPossibleVal_3194 + SpeedPossibleVal_3193 + SpeedPossibleVal_3192 + SpeedPossibleVal_3191 + SpeedPossibleVal_3190 + SpeedPossibleVal_3189 + SpeedPossibleVal_3188 + SpeedPossibleVal_3187 + SpeedPossibleVal_3186 + SpeedPossibleVal_3185 + SpeedPossibleVal_3184 + SpeedPossibleVal_3183 + SpeedPossibleVal_3182 + SpeedPossibleVal_3181 + SpeedPossibleVal_3180 + SpeedPossibleVal_3179 + SpeedPossibleVal_3178 + SpeedPossibleVal_3177 + SpeedPossibleVal_3176 + SpeedPossibleVal_3175 + SpeedPossibleVal_3174 + SpeedPossibleVal_3173 + SpeedPossibleVal_3172 + SpeedPossibleVal_3171 + SpeedPossibleVal_3170 + SpeedPossibleVal_3169 + SpeedPossibleVal_3168 + SpeedPossibleVal_3167 + SpeedPossibleVal_3166 + SpeedPossibleVal_3165 + SpeedPossibleVal_3164 + SpeedPossibleVal_3163 + SpeedPossibleVal_3162 + SpeedPossibleVal_3161 + SpeedPossibleVal_3160 + SpeedPossibleVal_3159 + SpeedPossibleVal_3158 + SpeedPossibleVal_3157 + SpeedPossibleVal_3156 + SpeedPossibleVal_3155 + SpeedPossibleVal_3154 + SpeedPossibleVal_3153 + SpeedPossibleVal_3152 + SpeedPossibleVal_3151 + SpeedPossibleVal_3150 + SpeedPossibleVal_3149 + SpeedPossibleVal_3148 + SpeedPossibleVal_3147 + SpeedPossibleVal_3146 + SpeedPossibleVal_3145 + SpeedPossibleVal_3144 + SpeedPossibleVal_3143 + SpeedPossibleVal_3142 + SpeedPossibleVal_3141 + SpeedPossibleVal_3140 + SpeedPossibleVal_3139 + SpeedPossibleVal_3138 + SpeedPossibleVal_3137 + SpeedPossibleVal_3136 + SpeedPossibleVal_3135 + SpeedPossibleVal_3134 + SpeedPossibleVal_3133 + SpeedPossibleVal_3132 + SpeedPossibleVal_3131 + SpeedPossibleVal_3130 + SpeedPossibleVal_3129 + SpeedPossibleVal_3128 + SpeedPossibleVal_3127 + SpeedPossibleVal_3126 + SpeedPossibleVal_3125 + SpeedPossibleVal_3124 + SpeedPossibleVal_3123 + SpeedPossibleVal_3122 + SpeedPossibleVal_3121 + SpeedPossibleVal_3120 + SpeedPossibleVal_3119 + SpeedPossibleVal_3118 + SpeedPossibleVal_3117 + SpeedPossibleVal_3116 + SpeedPossibleVal_3115 + SpeedPossibleVal_3114 + SpeedPossibleVal_3113 + SpeedPossibleVal_3112 + SpeedPossibleVal_3111 + SpeedPossibleVal_3110 + SpeedPossibleVal_3109 + SpeedPossibleVal_3108 + SpeedPossibleVal_3107 + SpeedPossibleVal_3106 + SpeedPossibleVal_3105 + SpeedPossibleVal_3104 + SpeedPossibleVal_3103 + SpeedPossibleVal_3102 + SpeedPossibleVal_3101 + SpeedPossibleVal_3100 + SpeedPossibleVal_1100 + SpeedPossibleVal_1101 + SpeedPossibleVal_1102 + SpeedPossibleVal_1103 + SpeedPossibleVal_1104 + SpeedPossibleVal_1105 + SpeedPossibleVal_1106 + SpeedPossibleVal_1107 + SpeedPossibleVal_1108 + SpeedPossibleVal_1109 + SpeedPossibleVal_2400 + SpeedPossibleVal_2401 + SpeedPossibleVal_2402 + SpeedPossibleVal_2403 + SpeedPossibleVal_2404 + SpeedPossibleVal_2405 + SpeedPossibleVal_2406 + SpeedPossibleVal_2407 + SpeedPossibleVal_2408 + SpeedPossibleVal_2409 + SpeedPossibleVal_1110 + SpeedPossibleVal_1111 + SpeedPossibleVal_1112 + SpeedPossibleVal_1113 + SpeedPossibleVal_1114 + SpeedPossibleVal_1115 + SpeedPossibleVal_1116 + SpeedPossibleVal_1117 + SpeedPossibleVal_1118 + SpeedPossibleVal_1119 + SpeedPossibleVal_3700 + SpeedPossibleVal_3701 + SpeedPossibleVal_3702 + SpeedPossibleVal_3703 + SpeedPossibleVal_3704 + SpeedPossibleVal_3705 + SpeedPossibleVal_3706 + SpeedPossibleVal_3707 + SpeedPossibleVal_3708 + SpeedPossibleVal_3709 + SpeedPossibleVal_2410 + SpeedPossibleVal_2411 + SpeedPossibleVal_2412 + SpeedPossibleVal_2413 + SpeedPossibleVal_2414 + SpeedPossibleVal_2415 + SpeedPossibleVal_2416 + SpeedPossibleVal_2417 + SpeedPossibleVal_2418 + SpeedPossibleVal_2419 + SpeedPossibleVal_1120 + SpeedPossibleVal_1121 + SpeedPossibleVal_1122 + SpeedPossibleVal_1123 + SpeedPossibleVal_1124 + SpeedPossibleVal_1125 + SpeedPossibleVal_1126 + SpeedPossibleVal_1127 + SpeedPossibleVal_1128 + SpeedPossibleVal_1129 + SpeedPossibleVal_3710 + SpeedPossibleVal_3711 + SpeedPossibleVal_3712 + SpeedPossibleVal_3713 + SpeedPossibleVal_3714 + SpeedPossibleVal_3715 + SpeedPossibleVal_3716 + SpeedPossibleVal_3717 + SpeedPossibleVal_3718 + SpeedPossibleVal_3719 + SpeedPossibleVal_2420 + SpeedPossibleVal_2421 + SpeedPossibleVal_2422 + SpeedPossibleVal_2423 + SpeedPossibleVal_2424 + SpeedPossibleVal_2425 + SpeedPossibleVal_2426 + SpeedPossibleVal_2427 + SpeedPossibleVal_2428 + SpeedPossibleVal_2429 + SpeedPossibleVal_1130 + SpeedPossibleVal_1131 + SpeedPossibleVal_1132 + SpeedPossibleVal_1133 + SpeedPossibleVal_1134 + SpeedPossibleVal_1135 + SpeedPossibleVal_1136 + SpeedPossibleVal_1137 + SpeedPossibleVal_1138 + SpeedPossibleVal_1139 + SpeedPossibleVal_3720 + SpeedPossibleVal_3721 + SpeedPossibleVal_3722 + SpeedPossibleVal_3723 + SpeedPossibleVal_3724 + SpeedPossibleVal_3725 + SpeedPossibleVal_3726 + SpeedPossibleVal_3727 + SpeedPossibleVal_3728 + SpeedPossibleVal_3729 + SpeedPossibleVal_2430 + SpeedPossibleVal_2431 + SpeedPossibleVal_2432 + SpeedPossibleVal_2433 + SpeedPossibleVal_2434 + SpeedPossibleVal_2435 + SpeedPossibleVal_2436 + SpeedPossibleVal_2437 + SpeedPossibleVal_2438 + SpeedPossibleVal_2439 + SpeedPossibleVal_1140 + SpeedPossibleVal_1141 + SpeedPossibleVal_1142 + SpeedPossibleVal_1143 + SpeedPossibleVal_1144 + SpeedPossibleVal_1145 + SpeedPossibleVal_1146 + SpeedPossibleVal_1147 + SpeedPossibleVal_1148 + SpeedPossibleVal_1149 + SpeedPossibleVal_3730 + SpeedPossibleVal_3731 + SpeedPossibleVal_3732 + SpeedPossibleVal_3733 + SpeedPossibleVal_3734 + SpeedPossibleVal_3735 + SpeedPossibleVal_3736 + SpeedPossibleVal_3737 + SpeedPossibleVal_3738 + SpeedPossibleVal_3739 + SpeedPossibleVal_2440 + SpeedPossibleVal_2441 + SpeedPossibleVal_2442 + SpeedPossibleVal_2443 + SpeedPossibleVal_2444 + SpeedPossibleVal_2445 + SpeedPossibleVal_2446 + SpeedPossibleVal_2447 + SpeedPossibleVal_2448 + SpeedPossibleVal_2449 + SpeedPossibleVal_1150 + SpeedPossibleVal_1151 + SpeedPossibleVal_1152 + SpeedPossibleVal_1153 + SpeedPossibleVal_1154 + SpeedPossibleVal_1155 + SpeedPossibleVal_1156 + SpeedPossibleVal_1157 + SpeedPossibleVal_1158 + SpeedPossibleVal_1159 + SpeedPossibleVal_3740 + SpeedPossibleVal_3741 + SpeedPossibleVal_3742 + SpeedPossibleVal_3743 + SpeedPossibleVal_3744 + SpeedPossibleVal_3745 + SpeedPossibleVal_3746 + SpeedPossibleVal_3747 + SpeedPossibleVal_3748 + SpeedPossibleVal_3749 + SpeedPossibleVal_2450 + SpeedPossibleVal_2451 + SpeedPossibleVal_2452 + SpeedPossibleVal_2453 + SpeedPossibleVal_2454 + SpeedPossibleVal_2455 + SpeedPossibleVal_2456 + SpeedPossibleVal_2457 + SpeedPossibleVal_2458 + SpeedPossibleVal_2459 + SpeedPossibleVal_1160 + SpeedPossibleVal_1161 + SpeedPossibleVal_1162 + SpeedPossibleVal_1163 + SpeedPossibleVal_1164 + SpeedPossibleVal_1165 + SpeedPossibleVal_1166 + SpeedPossibleVal_1167 + SpeedPossibleVal_1168 + SpeedPossibleVal_1169 + SpeedPossibleVal_3750 + SpeedPossibleVal_3751 + SpeedPossibleVal_3752 + SpeedPossibleVal_3753 + SpeedPossibleVal_3754 + SpeedPossibleVal_3755 + SpeedPossibleVal_3756 + SpeedPossibleVal_3757 + SpeedPossibleVal_3758 + SpeedPossibleVal_3759 + SpeedPossibleVal_2460 + SpeedPossibleVal_2461 + SpeedPossibleVal_2462 + SpeedPossibleVal_2463 + SpeedPossibleVal_2464 + SpeedPossibleVal_2465 + SpeedPossibleVal_2466 + SpeedPossibleVal_2467 + SpeedPossibleVal_2468 + SpeedPossibleVal_2469 + SpeedPossibleVal_1170 + SpeedPossibleVal_1171 + SpeedPossibleVal_1172 + SpeedPossibleVal_1173 + SpeedPossibleVal_1174 + SpeedPossibleVal_1175 + SpeedPossibleVal_1176 + SpeedPossibleVal_1177 + SpeedPossibleVal_1178 + SpeedPossibleVal_1179 + SpeedPossibleVal_3760 + SpeedPossibleVal_3761 + SpeedPossibleVal_3762 + SpeedPossibleVal_3763 + SpeedPossibleVal_3764 + SpeedPossibleVal_3765 + SpeedPossibleVal_3766 + SpeedPossibleVal_3767 + SpeedPossibleVal_3768 + SpeedPossibleVal_3769 + SpeedPossibleVal_2470 + SpeedPossibleVal_2471 + SpeedPossibleVal_2472 + SpeedPossibleVal_2473 + SpeedPossibleVal_2474 + SpeedPossibleVal_2475 + SpeedPossibleVal_2476 + SpeedPossibleVal_2477 + SpeedPossibleVal_2478 + SpeedPossibleVal_2479 + SpeedPossibleVal_1180 + SpeedPossibleVal_1181 + SpeedPossibleVal_1182 + SpeedPossibleVal_1183 + SpeedPossibleVal_1184 + SpeedPossibleVal_1185 + SpeedPossibleVal_1186 + SpeedPossibleVal_1187 + SpeedPossibleVal_1188 + SpeedPossibleVal_1189 + SpeedPossibleVal_3770 + SpeedPossibleVal_3771 + SpeedPossibleVal_3772 + SpeedPossibleVal_3773 + SpeedPossibleVal_3774 + SpeedPossibleVal_3775 + SpeedPossibleVal_3776 + SpeedPossibleVal_3777 + SpeedPossibleVal_3778 + SpeedPossibleVal_3779 + SpeedPossibleVal_2480 + SpeedPossibleVal_2481 + SpeedPossibleVal_2482 + SpeedPossibleVal_2483 + SpeedPossibleVal_2484 + SpeedPossibleVal_2485 + SpeedPossibleVal_2486 + SpeedPossibleVal_2487 + SpeedPossibleVal_2488 + SpeedPossibleVal_2489 + SpeedPossibleVal_1190 + SpeedPossibleVal_1191 + SpeedPossibleVal_1192 + SpeedPossibleVal_1193 + SpeedPossibleVal_1194 + SpeedPossibleVal_1195 + SpeedPossibleVal_1196 + SpeedPossibleVal_1197 + SpeedPossibleVal_1198 + SpeedPossibleVal_1199 + SpeedPossibleVal_3780 + SpeedPossibleVal_3781 + SpeedPossibleVal_3782 + SpeedPossibleVal_3783 + SpeedPossibleVal_3784 + SpeedPossibleVal_3785 + SpeedPossibleVal_3786 + SpeedPossibleVal_3787 + SpeedPossibleVal_3788 + SpeedPossibleVal_3789 + SpeedPossibleVal_2490 + SpeedPossibleVal_2491 + SpeedPossibleVal_2492 + SpeedPossibleVal_2493 + SpeedPossibleVal_2494 + SpeedPossibleVal_2495 + SpeedPossibleVal_2496 + SpeedPossibleVal_2497 + SpeedPossibleVal_2498 + SpeedPossibleVal_2499 + SpeedPossibleVal_3790 + SpeedPossibleVal_3791 + SpeedPossibleVal_3792 + SpeedPossibleVal_3793 + SpeedPossibleVal_3794 + SpeedPossibleVal_3795 + SpeedPossibleVal_3796 + SpeedPossibleVal_3797 + SpeedPossibleVal_3798 + SpeedPossibleVal_3799 + SpeedPossibleVal_3099 + SpeedPossibleVal_3098 + SpeedPossibleVal_3097 + SpeedPossibleVal_3096 + SpeedPossibleVal_3095 + SpeedPossibleVal_3094 + SpeedPossibleVal_3093 + SpeedPossibleVal_3092 + SpeedPossibleVal_3091 + SpeedPossibleVal_3090 + SpeedPossibleVal_3089 + SpeedPossibleVal_3088 + SpeedPossibleVal_3087 + SpeedPossibleVal_3086 + SpeedPossibleVal_3085 + SpeedPossibleVal_3084 + SpeedPossibleVal_3083 + SpeedPossibleVal_3082 + SpeedPossibleVal_3081 + SpeedPossibleVal_3080 + SpeedPossibleVal_3079 + SpeedPossibleVal_3078 + SpeedPossibleVal_3077 + SpeedPossibleVal_3076 + SpeedPossibleVal_3075 + SpeedPossibleVal_3074 + SpeedPossibleVal_3073 + SpeedPossibleVal_3072 + SpeedPossibleVal_3071 + SpeedPossibleVal_3070 + SpeedPossibleVal_3069 + SpeedPossibleVal_3068 + SpeedPossibleVal_3067 + SpeedPossibleVal_3066 + SpeedPossibleVal_3065 + SpeedPossibleVal_3064 + SpeedPossibleVal_3063 + SpeedPossibleVal_3062 + SpeedPossibleVal_3061 + SpeedPossibleVal_3060 + SpeedPossibleVal_3059 + SpeedPossibleVal_3058 + SpeedPossibleVal_3057 + SpeedPossibleVal_3056 + SpeedPossibleVal_3055 + SpeedPossibleVal_3054 + SpeedPossibleVal_3053 + SpeedPossibleVal_3052 + SpeedPossibleVal_3051 + SpeedPossibleVal_3050 + SpeedPossibleVal_3049 + SpeedPossibleVal_3048 + SpeedPossibleVal_3047 + SpeedPossibleVal_3046 + SpeedPossibleVal_3045 + SpeedPossibleVal_3044 + SpeedPossibleVal_3043 + SpeedPossibleVal_3042 + SpeedPossibleVal_3041 + SpeedPossibleVal_3040 + SpeedPossibleVal_3039 + SpeedPossibleVal_3038 + SpeedPossibleVal_3037 + SpeedPossibleVal_3036 + SpeedPossibleVal_3035 + SpeedPossibleVal_3034 + SpeedPossibleVal_3033 + SpeedPossibleVal_3032 + SpeedPossibleVal_3031 + SpeedPossibleVal_3030 + SpeedPossibleVal_3029 + SpeedPossibleVal_3028 + SpeedPossibleVal_3027 + SpeedPossibleVal_3026 + SpeedPossibleVal_3025 + SpeedPossibleVal_3024 + SpeedPossibleVal_3023 + SpeedPossibleVal_3022 + SpeedPossibleVal_3021 + SpeedPossibleVal_3020 + SpeedPossibleVal_3019 + SpeedPossibleVal_3018 + SpeedPossibleVal_3017 + SpeedPossibleVal_3016 + SpeedPossibleVal_3015 + SpeedPossibleVal_3014 + SpeedPossibleVal_3013 + SpeedPossibleVal_3012 + SpeedPossibleVal_3011 + SpeedPossibleVal_3010 + SpeedPossibleVal_3009 + SpeedPossibleVal_3008 + SpeedPossibleVal_3007 + SpeedPossibleVal_3006 + SpeedPossibleVal_3005 + SpeedPossibleVal_3004 + SpeedPossibleVal_3003 + SpeedPossibleVal_3002 + SpeedPossibleVal_3001 + SpeedPossibleVal_3000 + SpeedPossibleVal_1200 + SpeedPossibleVal_1201 + SpeedPossibleVal_1202 + SpeedPossibleVal_1203 + SpeedPossibleVal_1204 + SpeedPossibleVal_1205 + SpeedPossibleVal_1206 + SpeedPossibleVal_1207 + SpeedPossibleVal_1208 + SpeedPossibleVal_1209 + SpeedPossibleVal_2500 + SpeedPossibleVal_2501 + SpeedPossibleVal_2502 + SpeedPossibleVal_2503 + SpeedPossibleVal_2504 + SpeedPossibleVal_2505 + SpeedPossibleVal_2506 + SpeedPossibleVal_2507 + SpeedPossibleVal_2508 + SpeedPossibleVal_2509 + SpeedPossibleVal_1210 + SpeedPossibleVal_1211 + SpeedPossibleVal_1212 + SpeedPossibleVal_1213 + SpeedPossibleVal_1214 + SpeedPossibleVal_1215 + SpeedPossibleVal_1216 + SpeedPossibleVal_1217 + SpeedPossibleVal_1218 + SpeedPossibleVal_1219 + SpeedPossibleVal_3800 + SpeedPossibleVal_3801 + SpeedPossibleVal_3802 + SpeedPossibleVal_3803 + SpeedPossibleVal_3804 + SpeedPossibleVal_3805 + SpeedPossibleVal_3806 + SpeedPossibleVal_3807 + SpeedPossibleVal_3808 + SpeedPossibleVal_3809 + SpeedPossibleVal_2510 + SpeedPossibleVal_2511 + SpeedPossibleVal_2512 + SpeedPossibleVal_2513 + SpeedPossibleVal_2514 + SpeedPossibleVal_2515 + SpeedPossibleVal_2516 + SpeedPossibleVal_2517 + SpeedPossibleVal_2518 + SpeedPossibleVal_2519 + SpeedPossibleVal_1220 + SpeedPossibleVal_1221 + SpeedPossibleVal_1222 + SpeedPossibleVal_1223 + SpeedPossibleVal_1224 + SpeedPossibleVal_1225 + SpeedPossibleVal_1226 + SpeedPossibleVal_1227 + SpeedPossibleVal_1228 + SpeedPossibleVal_1229 + SpeedPossibleVal_3810 + SpeedPossibleVal_3811 + SpeedPossibleVal_3812 + SpeedPossibleVal_3813 + SpeedPossibleVal_3814 + SpeedPossibleVal_3815 + SpeedPossibleVal_3816 + SpeedPossibleVal_3817 + SpeedPossibleVal_3818 + SpeedPossibleVal_3819 + SpeedPossibleVal_2520 + SpeedPossibleVal_2521 + SpeedPossibleVal_2522 + SpeedPossibleVal_2523 + SpeedPossibleVal_2524 + SpeedPossibleVal_2525 + SpeedPossibleVal_2526 + SpeedPossibleVal_2527 + SpeedPossibleVal_2528 + SpeedPossibleVal_2529 + SpeedPossibleVal_1230 + SpeedPossibleVal_1231 + SpeedPossibleVal_1232 + SpeedPossibleVal_1233 + SpeedPossibleVal_1234 + SpeedPossibleVal_1235 + SpeedPossibleVal_1236 + SpeedPossibleVal_1237 + SpeedPossibleVal_1238 + SpeedPossibleVal_1239 + SpeedPossibleVal_3820 + SpeedPossibleVal_3821 + SpeedPossibleVal_3822 + SpeedPossibleVal_3823 + SpeedPossibleVal_3824 + SpeedPossibleVal_3825 + SpeedPossibleVal_3826 + SpeedPossibleVal_3827 + SpeedPossibleVal_3828 + SpeedPossibleVal_3829 + SpeedPossibleVal_2530 + SpeedPossibleVal_2531 + SpeedPossibleVal_2532 + SpeedPossibleVal_2533 + SpeedPossibleVal_2534 + SpeedPossibleVal_2535 + SpeedPossibleVal_2536 + SpeedPossibleVal_2537 + SpeedPossibleVal_2538 + SpeedPossibleVal_2539 + SpeedPossibleVal_1240 + SpeedPossibleVal_1241 + SpeedPossibleVal_1242 + SpeedPossibleVal_1243 + SpeedPossibleVal_1244 + SpeedPossibleVal_1245 + SpeedPossibleVal_1246 + SpeedPossibleVal_1247 + SpeedPossibleVal_1248 + SpeedPossibleVal_1249 + SpeedPossibleVal_3830 + SpeedPossibleVal_3831 + SpeedPossibleVal_3832 + SpeedPossibleVal_3833 + SpeedPossibleVal_3834 + SpeedPossibleVal_3835 + SpeedPossibleVal_3836 + SpeedPossibleVal_3837 + SpeedPossibleVal_3838 + SpeedPossibleVal_3839 + SpeedPossibleVal_2540 + SpeedPossibleVal_2541 + SpeedPossibleVal_2542 + SpeedPossibleVal_2543 + SpeedPossibleVal_2544 + SpeedPossibleVal_2545 + SpeedPossibleVal_2546 + SpeedPossibleVal_2547 + SpeedPossibleVal_2548 + SpeedPossibleVal_2549 + SpeedPossibleVal_1250 + SpeedPossibleVal_1251 + SpeedPossibleVal_1252 + SpeedPossibleVal_1253 + SpeedPossibleVal_1254 + SpeedPossibleVal_1255 + SpeedPossibleVal_1256 + SpeedPossibleVal_1257 + SpeedPossibleVal_1258 + SpeedPossibleVal_1259 + SpeedPossibleVal_3840 + SpeedPossibleVal_3841 + SpeedPossibleVal_3842 + SpeedPossibleVal_3843 + SpeedPossibleVal_3844 + SpeedPossibleVal_3845 + SpeedPossibleVal_3846 + SpeedPossibleVal_3847 + SpeedPossibleVal_3848 + SpeedPossibleVal_3849 + SpeedPossibleVal_2550 + SpeedPossibleVal_2551 + SpeedPossibleVal_2552 + SpeedPossibleVal_2553 + SpeedPossibleVal_2554 + SpeedPossibleVal_2555 + SpeedPossibleVal_2556 + SpeedPossibleVal_2557 + SpeedPossibleVal_2558 + SpeedPossibleVal_2559 + SpeedPossibleVal_1260 + SpeedPossibleVal_1261 + SpeedPossibleVal_1262 + SpeedPossibleVal_1263 + SpeedPossibleVal_1264 + SpeedPossibleVal_1265 + SpeedPossibleVal_1266 + SpeedPossibleVal_1267 + SpeedPossibleVal_1268 + SpeedPossibleVal_1269 + SpeedPossibleVal_3850 + SpeedPossibleVal_3851 + SpeedPossibleVal_3852 + SpeedPossibleVal_3853 + SpeedPossibleVal_3854 + SpeedPossibleVal_3855 + SpeedPossibleVal_3856 + SpeedPossibleVal_3857 + SpeedPossibleVal_3858 + SpeedPossibleVal_3859 + SpeedPossibleVal_2560 + SpeedPossibleVal_2561 + SpeedPossibleVal_2562 + SpeedPossibleVal_2563 + SpeedPossibleVal_2564 + SpeedPossibleVal_2565 + SpeedPossibleVal_2566 + SpeedPossibleVal_2567 + SpeedPossibleVal_2568 + SpeedPossibleVal_2569 + SpeedPossibleVal_1270 + SpeedPossibleVal_1271 + SpeedPossibleVal_1272 + SpeedPossibleVal_1273 + SpeedPossibleVal_1274 + SpeedPossibleVal_1275 + SpeedPossibleVal_1276 + SpeedPossibleVal_1277 + SpeedPossibleVal_1278 + SpeedPossibleVal_1279 + SpeedPossibleVal_3860 + SpeedPossibleVal_3861 + SpeedPossibleVal_3862 + SpeedPossibleVal_3863 + SpeedPossibleVal_3864 + SpeedPossibleVal_3865 + SpeedPossibleVal_3866 + SpeedPossibleVal_3867 + SpeedPossibleVal_3868 + SpeedPossibleVal_3869 + SpeedPossibleVal_2570 + SpeedPossibleVal_2571 + SpeedPossibleVal_2572 + SpeedPossibleVal_2573 + SpeedPossibleVal_2574 + SpeedPossibleVal_2575 + SpeedPossibleVal_2576 + SpeedPossibleVal_2577 + SpeedPossibleVal_2578 + SpeedPossibleVal_2579 + SpeedPossibleVal_1280 + SpeedPossibleVal_1281 + SpeedPossibleVal_1282 + SpeedPossibleVal_1283 + SpeedPossibleVal_1284 + SpeedPossibleVal_1285 + SpeedPossibleVal_1286 + SpeedPossibleVal_1287 + SpeedPossibleVal_1288 + SpeedPossibleVal_1289 + SpeedPossibleVal_3870 + SpeedPossibleVal_3871 + SpeedPossibleVal_3872 + SpeedPossibleVal_3873 + SpeedPossibleVal_3874 + SpeedPossibleVal_3875 + SpeedPossibleVal_3876 + SpeedPossibleVal_3877 + SpeedPossibleVal_3878 + SpeedPossibleVal_3879 + SpeedPossibleVal_2580 + SpeedPossibleVal_2581 + SpeedPossibleVal_2582 + SpeedPossibleVal_2583 + SpeedPossibleVal_2584 + SpeedPossibleVal_2585 + SpeedPossibleVal_2586 + SpeedPossibleVal_2587 + SpeedPossibleVal_2588 + SpeedPossibleVal_2589 + SpeedPossibleVal_1290 + SpeedPossibleVal_1291 + SpeedPossibleVal_1292 + SpeedPossibleVal_1293 + SpeedPossibleVal_1294 + SpeedPossibleVal_1295 + SpeedPossibleVal_1296 + SpeedPossibleVal_1297 + SpeedPossibleVal_1298 + SpeedPossibleVal_1299 + SpeedPossibleVal_3880 + SpeedPossibleVal_3881 + SpeedPossibleVal_3882 + SpeedPossibleVal_3883 + SpeedPossibleVal_3884 + SpeedPossibleVal_3885 + SpeedPossibleVal_3886 + SpeedPossibleVal_3887 + SpeedPossibleVal_3888 + SpeedPossibleVal_3889 + SpeedPossibleVal_2590 + SpeedPossibleVal_2591 + SpeedPossibleVal_2592 + SpeedPossibleVal_2593 + SpeedPossibleVal_2594 + SpeedPossibleVal_2595 + SpeedPossibleVal_2596 + SpeedPossibleVal_2597 + SpeedPossibleVal_2598 + SpeedPossibleVal_2599 + SpeedPossibleVal_3890 + SpeedPossibleVal_3891 + SpeedPossibleVal_3892 + SpeedPossibleVal_3893 + SpeedPossibleVal_3894 + SpeedPossibleVal_3895 + SpeedPossibleVal_3896 + SpeedPossibleVal_3897 + SpeedPossibleVal_3898 + SpeedPossibleVal_3899 + SpeedPossibleVal_4000 + SpeedPossibleVal_999 + SpeedPossibleVal_998 + SpeedPossibleVal_997 + SpeedPossibleVal_996 + SpeedPossibleVal_995 + SpeedPossibleVal_994 + SpeedPossibleVal_993 + SpeedPossibleVal_992 + SpeedPossibleVal_991 + SpeedPossibleVal_990 + SpeedPossibleVal_989 + SpeedPossibleVal_988 + SpeedPossibleVal_987 + SpeedPossibleVal_986 + SpeedPossibleVal_985 + SpeedPossibleVal_984 + SpeedPossibleVal_983 + SpeedPossibleVal_982 + SpeedPossibleVal_981 + SpeedPossibleVal_980 + SpeedPossibleVal_979 + SpeedPossibleVal_978 + SpeedPossibleVal_977 + SpeedPossibleVal_976 + SpeedPossibleVal_975 + SpeedPossibleVal_974 + SpeedPossibleVal_973 + SpeedPossibleVal_972 + SpeedPossibleVal_971 + SpeedPossibleVal_970 + SpeedPossibleVal_969 + SpeedPossibleVal_968 + SpeedPossibleVal_967 + SpeedPossibleVal_966 + SpeedPossibleVal_965 + SpeedPossibleVal_964 + SpeedPossibleVal_963 + SpeedPossibleVal_962 + SpeedPossibleVal_961 + SpeedPossibleVal_960 + SpeedPossibleVal_959 + SpeedPossibleVal_958 + SpeedPossibleVal_957 + SpeedPossibleVal_956 + SpeedPossibleVal_955 + SpeedPossibleVal_954 + SpeedPossibleVal_953 + SpeedPossibleVal_952 + SpeedPossibleVal_951 + SpeedPossibleVal_950 + SpeedPossibleVal_949 + SpeedPossibleVal_948 + SpeedPossibleVal_947 + SpeedPossibleVal_946 + SpeedPossibleVal_945 + SpeedPossibleVal_944 + SpeedPossibleVal_943 + SpeedPossibleVal_942 + SpeedPossibleVal_941 + SpeedPossibleVal_940 + SpeedPossibleVal_939 + SpeedPossibleVal_938 + SpeedPossibleVal_937 + SpeedPossibleVal_936 + SpeedPossibleVal_935 + SpeedPossibleVal_934 + SpeedPossibleVal_933 + SpeedPossibleVal_932 + SpeedPossibleVal_931 + SpeedPossibleVal_930 + SpeedPossibleVal_929 + SpeedPossibleVal_928 + SpeedPossibleVal_927 + SpeedPossibleVal_926 + SpeedPossibleVal_925 + SpeedPossibleVal_924 + SpeedPossibleVal_923 + SpeedPossibleVal_922 + SpeedPossibleVal_921 + SpeedPossibleVal_920 + SpeedPossibleVal_919 + SpeedPossibleVal_918 + SpeedPossibleVal_917 + SpeedPossibleVal_916 + SpeedPossibleVal_915 + SpeedPossibleVal_914 + SpeedPossibleVal_913 + SpeedPossibleVal_912 + SpeedPossibleVal_911 + SpeedPossibleVal_910 + SpeedPossibleVal_909 + SpeedPossibleVal_908 + SpeedPossibleVal_907 + SpeedPossibleVal_906 + SpeedPossibleVal_905 + SpeedPossibleVal_904 + SpeedPossibleVal_903 + SpeedPossibleVal_902 + SpeedPossibleVal_901 + SpeedPossibleVal_900 + SpeedPossibleVal_1300 + SpeedPossibleVal_1301 + SpeedPossibleVal_1302 + SpeedPossibleVal_1303 + SpeedPossibleVal_1304 + SpeedPossibleVal_1305 + SpeedPossibleVal_1306 + SpeedPossibleVal_1307 + SpeedPossibleVal_1308 + SpeedPossibleVal_1309 + SpeedPossibleVal_2600 + SpeedPossibleVal_2601 + SpeedPossibleVal_2602 + SpeedPossibleVal_2603 + SpeedPossibleVal_2604 + SpeedPossibleVal_2605 + SpeedPossibleVal_2606 + SpeedPossibleVal_2607 + SpeedPossibleVal_2608 + SpeedPossibleVal_2609 + SpeedPossibleVal_1310 + SpeedPossibleVal_1311 + SpeedPossibleVal_1312 + SpeedPossibleVal_1313 + SpeedPossibleVal_1314 + SpeedPossibleVal_1315 + SpeedPossibleVal_1316 + SpeedPossibleVal_1317 + SpeedPossibleVal_1318 + SpeedPossibleVal_1319 + SpeedPossibleVal_3900 + SpeedPossibleVal_3901 + SpeedPossibleVal_3902 + SpeedPossibleVal_3903 + SpeedPossibleVal_3904 + SpeedPossibleVal_3905 + SpeedPossibleVal_3906 + SpeedPossibleVal_3907 + SpeedPossibleVal_3908 + SpeedPossibleVal_3909 + SpeedPossibleVal_2610 + SpeedPossibleVal_2611 + SpeedPossibleVal_2612 + SpeedPossibleVal_2613 + SpeedPossibleVal_2614 + SpeedPossibleVal_2615 + SpeedPossibleVal_2616 + SpeedPossibleVal_2617 + SpeedPossibleVal_2618 + SpeedPossibleVal_2619 + SpeedPossibleVal_1320 + SpeedPossibleVal_1321 + SpeedPossibleVal_1322 + SpeedPossibleVal_1323 + SpeedPossibleVal_1324 + SpeedPossibleVal_1325 + SpeedPossibleVal_1326 + SpeedPossibleVal_1327 + SpeedPossibleVal_1328 + SpeedPossibleVal_1329 + SpeedPossibleVal_3910 + SpeedPossibleVal_3911 + SpeedPossibleVal_3912 + SpeedPossibleVal_3913 + SpeedPossibleVal_3914 + SpeedPossibleVal_3915 + SpeedPossibleVal_3916 + SpeedPossibleVal_3917 + SpeedPossibleVal_3918 + SpeedPossibleVal_3919 + SpeedPossibleVal_2620 + SpeedPossibleVal_2621 + SpeedPossibleVal_2622 + SpeedPossibleVal_2623 + SpeedPossibleVal_2624 + SpeedPossibleVal_2625 + SpeedPossibleVal_2626 + SpeedPossibleVal_2627 + SpeedPossibleVal_2628 + SpeedPossibleVal_2629 + SpeedPossibleVal_1330 + SpeedPossibleVal_1331 + SpeedPossibleVal_1332 + SpeedPossibleVal_1333 + SpeedPossibleVal_1334 + SpeedPossibleVal_1335 + SpeedPossibleVal_1336 + SpeedPossibleVal_1337 + SpeedPossibleVal_1338 + SpeedPossibleVal_1339 + SpeedPossibleVal_3920 + SpeedPossibleVal_3921 + SpeedPossibleVal_3922 + SpeedPossibleVal_3923 + SpeedPossibleVal_3924 + SpeedPossibleVal_3925 + SpeedPossibleVal_3926 + SpeedPossibleVal_3927 + SpeedPossibleVal_3928 + SpeedPossibleVal_3929 + SpeedPossibleVal_2630 + SpeedPossibleVal_2631 + SpeedPossibleVal_2632 + SpeedPossibleVal_2633 + SpeedPossibleVal_2634 + SpeedPossibleVal_2635 + SpeedPossibleVal_2636 + SpeedPossibleVal_2637 + SpeedPossibleVal_2638 + SpeedPossibleVal_2639 + SpeedPossibleVal_1340 + SpeedPossibleVal_1341 + SpeedPossibleVal_1342 + SpeedPossibleVal_1343 + SpeedPossibleVal_1344 + SpeedPossibleVal_1345 + SpeedPossibleVal_1346 + SpeedPossibleVal_1347 + SpeedPossibleVal_1348 + SpeedPossibleVal_1349 + SpeedPossibleVal_3930 + SpeedPossibleVal_3931 + SpeedPossibleVal_3932 + SpeedPossibleVal_3933 + SpeedPossibleVal_3934 + SpeedPossibleVal_3935 + SpeedPossibleVal_3936 + SpeedPossibleVal_3937 + SpeedPossibleVal_3938 + SpeedPossibleVal_3939 + SpeedPossibleVal_2640 + SpeedPossibleVal_2641 + SpeedPossibleVal_2642 + SpeedPossibleVal_2643 + SpeedPossibleVal_2644 + SpeedPossibleVal_2645 + SpeedPossibleVal_2646 + SpeedPossibleVal_2647 + SpeedPossibleVal_2648 + SpeedPossibleVal_2649 + SpeedPossibleVal_1350 + SpeedPossibleVal_1351 + SpeedPossibleVal_1352 + SpeedPossibleVal_1353 + SpeedPossibleVal_1354 + SpeedPossibleVal_1355 + SpeedPossibleVal_1356 + SpeedPossibleVal_1357 + SpeedPossibleVal_1358 + SpeedPossibleVal_1359 + SpeedPossibleVal_3940 + SpeedPossibleVal_3941 + SpeedPossibleVal_3942 + SpeedPossibleVal_3943 + SpeedPossibleVal_3944 + SpeedPossibleVal_3945 + SpeedPossibleVal_3946 + SpeedPossibleVal_3947 + SpeedPossibleVal_3948 + SpeedPossibleVal_3949 + SpeedPossibleVal_2650 + SpeedPossibleVal_2651 + SpeedPossibleVal_2652 + SpeedPossibleVal_2653 + SpeedPossibleVal_2654 + SpeedPossibleVal_2655 + SpeedPossibleVal_2656 + SpeedPossibleVal_2657 + SpeedPossibleVal_2658 + SpeedPossibleVal_2659 + SpeedPossibleVal_1360 + SpeedPossibleVal_1361 + SpeedPossibleVal_1362 + SpeedPossibleVal_1363 + SpeedPossibleVal_1364 + SpeedPossibleVal_1365 + SpeedPossibleVal_1366 + SpeedPossibleVal_1367 + SpeedPossibleVal_1368 + SpeedPossibleVal_1369 + SpeedPossibleVal_3950 + SpeedPossibleVal_3951 + SpeedPossibleVal_3952 + SpeedPossibleVal_3953 + SpeedPossibleVal_3954 + SpeedPossibleVal_3955 + SpeedPossibleVal_3956 + SpeedPossibleVal_3957 + SpeedPossibleVal_3958 + SpeedPossibleVal_3959 + SpeedPossibleVal_2660 + SpeedPossibleVal_2661 + SpeedPossibleVal_2662 + SpeedPossibleVal_2663 + SpeedPossibleVal_2664 + SpeedPossibleVal_2665 + SpeedPossibleVal_2666 + SpeedPossibleVal_2667 + SpeedPossibleVal_2668 + SpeedPossibleVal_2669 + SpeedPossibleVal_1370 + SpeedPossibleVal_1371 + SpeedPossibleVal_1372 + SpeedPossibleVal_1373 + SpeedPossibleVal_1374 + SpeedPossibleVal_1375 + SpeedPossibleVal_1376 + SpeedPossibleVal_1377 + SpeedPossibleVal_1378 + SpeedPossibleVal_1379 + SpeedPossibleVal_3960 + SpeedPossibleVal_3961 + SpeedPossibleVal_3962 + SpeedPossibleVal_3963 + SpeedPossibleVal_3964 + SpeedPossibleVal_3965 + SpeedPossibleVal_3966 + SpeedPossibleVal_3967 + SpeedPossibleVal_3968 + SpeedPossibleVal_3969 + SpeedPossibleVal_2670 + SpeedPossibleVal_2671 + SpeedPossibleVal_2672 + SpeedPossibleVal_2673 + SpeedPossibleVal_2674 + SpeedPossibleVal_2675 + SpeedPossibleVal_2676 + SpeedPossibleVal_2677 + SpeedPossibleVal_2678 + SpeedPossibleVal_2679 + SpeedPossibleVal_1380 + SpeedPossibleVal_1381 + SpeedPossibleVal_1382 + SpeedPossibleVal_1383 + SpeedPossibleVal_1384 + SpeedPossibleVal_1385 + SpeedPossibleVal_1386 + SpeedPossibleVal_1387 + SpeedPossibleVal_1388 + SpeedPossibleVal_1389 + SpeedPossibleVal_3970 + SpeedPossibleVal_3971 + SpeedPossibleVal_3972 + SpeedPossibleVal_3973 + SpeedPossibleVal_3974 + SpeedPossibleVal_3975 + SpeedPossibleVal_3976 + SpeedPossibleVal_3977 + SpeedPossibleVal_3978 + SpeedPossibleVal_3979 + SpeedPossibleVal_2680 + SpeedPossibleVal_2681 + SpeedPossibleVal_2682 + SpeedPossibleVal_2683 + SpeedPossibleVal_2684 + SpeedPossibleVal_2685 + SpeedPossibleVal_2686 + SpeedPossibleVal_2687 + SpeedPossibleVal_2688 + SpeedPossibleVal_2689 + SpeedPossibleVal_1390 + SpeedPossibleVal_1391 + SpeedPossibleVal_1392 + SpeedPossibleVal_1393 + SpeedPossibleVal_1394 + SpeedPossibleVal_1395 + SpeedPossibleVal_1396 + SpeedPossibleVal_1397 + SpeedPossibleVal_1398 + SpeedPossibleVal_1399 + SpeedPossibleVal_3980 + SpeedPossibleVal_3981 + SpeedPossibleVal_3982 + SpeedPossibleVal_3983 + SpeedPossibleVal_3984 + SpeedPossibleVal_3985 + SpeedPossibleVal_3986 + SpeedPossibleVal_3987 + SpeedPossibleVal_3988 + SpeedPossibleVal_3989 + SpeedPossibleVal_2690 + SpeedPossibleVal_2691 + SpeedPossibleVal_2692 + SpeedPossibleVal_2693 + SpeedPossibleVal_2694 + SpeedPossibleVal_2695 + SpeedPossibleVal_2696 + SpeedPossibleVal_2697 + SpeedPossibleVal_2698 + SpeedPossibleVal_2699 + SpeedPossibleVal_3990 + SpeedPossibleVal_3991 + SpeedPossibleVal_3992 + SpeedPossibleVal_3993 + SpeedPossibleVal_3994 + SpeedPossibleVal_3995 + SpeedPossibleVal_3996 + SpeedPossibleVal_3997 + SpeedPossibleVal_3998 + SpeedPossibleVal_3999 + SpeedPossibleVal_899 + SpeedPossibleVal_898 + SpeedPossibleVal_897 + SpeedPossibleVal_896 + SpeedPossibleVal_895 + SpeedPossibleVal_894 + SpeedPossibleVal_893 + SpeedPossibleVal_892 + SpeedPossibleVal_891 + SpeedPossibleVal_890 + SpeedPossibleVal_889 + SpeedPossibleVal_888 + SpeedPossibleVal_887 + SpeedPossibleVal_886 + SpeedPossibleVal_885 + SpeedPossibleVal_884 + SpeedPossibleVal_883 + SpeedPossibleVal_882 + SpeedPossibleVal_881 + SpeedPossibleVal_880 + SpeedPossibleVal_879 + SpeedPossibleVal_878 + SpeedPossibleVal_877 + SpeedPossibleVal_876 + SpeedPossibleVal_875 + SpeedPossibleVal_874 + SpeedPossibleVal_873 + SpeedPossibleVal_872 + SpeedPossibleVal_871 + SpeedPossibleVal_870 + SpeedPossibleVal_869 + SpeedPossibleVal_868 + SpeedPossibleVal_867 + SpeedPossibleVal_866 + SpeedPossibleVal_865 + SpeedPossibleVal_864 + SpeedPossibleVal_863 + SpeedPossibleVal_862 + SpeedPossibleVal_861 + SpeedPossibleVal_860 + SpeedPossibleVal_859 + SpeedPossibleVal_858 + SpeedPossibleVal_857 + SpeedPossibleVal_856 + SpeedPossibleVal_855 + SpeedPossibleVal_854 + SpeedPossibleVal_853 + SpeedPossibleVal_852 + SpeedPossibleVal_851 + SpeedPossibleVal_850 + SpeedPossibleVal_849 + SpeedPossibleVal_848 + SpeedPossibleVal_847 + SpeedPossibleVal_846 + SpeedPossibleVal_845 + SpeedPossibleVal_844 + SpeedPossibleVal_843 + SpeedPossibleVal_842 + SpeedPossibleVal_841 + SpeedPossibleVal_840 + SpeedPossibleVal_839 + SpeedPossibleVal_838 + SpeedPossibleVal_837 + SpeedPossibleVal_836 + SpeedPossibleVal_835 + SpeedPossibleVal_834 + SpeedPossibleVal_833 + SpeedPossibleVal_832 + SpeedPossibleVal_831 + SpeedPossibleVal_830 + SpeedPossibleVal_829 + SpeedPossibleVal_828 + SpeedPossibleVal_827 + SpeedPossibleVal_826 + SpeedPossibleVal_825 + SpeedPossibleVal_824 + SpeedPossibleVal_823 + SpeedPossibleVal_822 + SpeedPossibleVal_821 + SpeedPossibleVal_820 + SpeedPossibleVal_819 + SpeedPossibleVal_818 + SpeedPossibleVal_817 + SpeedPossibleVal_816 + SpeedPossibleVal_815 + SpeedPossibleVal_814 + SpeedPossibleVal_813 + SpeedPossibleVal_812 + SpeedPossibleVal_811 + SpeedPossibleVal_810 + SpeedPossibleVal_809 + SpeedPossibleVal_808 + SpeedPossibleVal_807 + SpeedPossibleVal_806 + SpeedPossibleVal_805 + SpeedPossibleVal_804 + SpeedPossibleVal_803 + SpeedPossibleVal_802 + SpeedPossibleVal_801 + SpeedPossibleVal_800 + SpeedPossibleVal_799 + SpeedPossibleVal_798 + SpeedPossibleVal_797 + SpeedPossibleVal_796 + SpeedPossibleVal_795 + SpeedPossibleVal_794 + SpeedPossibleVal_793 + SpeedPossibleVal_792 + SpeedPossibleVal_791 + SpeedPossibleVal_790 + SpeedPossibleVal_789 + SpeedPossibleVal_788 + SpeedPossibleVal_787 + SpeedPossibleVal_786 + SpeedPossibleVal_785 + SpeedPossibleVal_784 + SpeedPossibleVal_783 + SpeedPossibleVal_782 + SpeedPossibleVal_781 + SpeedPossibleVal_780 + SpeedPossibleVal_779 + SpeedPossibleVal_778 + SpeedPossibleVal_777 + SpeedPossibleVal_776 + SpeedPossibleVal_775 + SpeedPossibleVal_774 + SpeedPossibleVal_773 + SpeedPossibleVal_772 + SpeedPossibleVal_771 + SpeedPossibleVal_770 + SpeedPossibleVal_99 + SpeedPossibleVal_98 + SpeedPossibleVal_97 + SpeedPossibleVal_96 + SpeedPossibleVal_95 + SpeedPossibleVal_94 + SpeedPossibleVal_93 + SpeedPossibleVal_92 + SpeedPossibleVal_91 + SpeedPossibleVal_90 + SpeedPossibleVal_769 + SpeedPossibleVal_768 + SpeedPossibleVal_767 + SpeedPossibleVal_766 + SpeedPossibleVal_765 + SpeedPossibleVal_764 + SpeedPossibleVal_763 + SpeedPossibleVal_762 + SpeedPossibleVal_761 + SpeedPossibleVal_760 + SpeedPossibleVal_89 + SpeedPossibleVal_88 + SpeedPossibleVal_87 + SpeedPossibleVal_86 + SpeedPossibleVal_85 + SpeedPossibleVal_84 + SpeedPossibleVal_83 + SpeedPossibleVal_82 + SpeedPossibleVal_81 + SpeedPossibleVal_80 + SpeedPossibleVal_759 + SpeedPossibleVal_758 + SpeedPossibleVal_757 + SpeedPossibleVal_756 + SpeedPossibleVal_755 + SpeedPossibleVal_754 + SpeedPossibleVal_753 + SpeedPossibleVal_752 + SpeedPossibleVal_751 + SpeedPossibleVal_750 + SpeedPossibleVal_79 + SpeedPossibleVal_78 + SpeedPossibleVal_77 + SpeedPossibleVal_76 + SpeedPossibleVal_75 + SpeedPossibleVal_74 + SpeedPossibleVal_73 + SpeedPossibleVal_72 + SpeedPossibleVal_71 + SpeedPossibleVal_70 + SpeedPossibleVal_749 + SpeedPossibleVal_748 + SpeedPossibleVal_747 + SpeedPossibleVal_746 + SpeedPossibleVal_745 + SpeedPossibleVal_744 + SpeedPossibleVal_743 + SpeedPossibleVal_742 + SpeedPossibleVal_741 + SpeedPossibleVal_740 + SpeedPossibleVal_69 + SpeedPossibleVal_68 + SpeedPossibleVal_67 + SpeedPossibleVal_66 + SpeedPossibleVal_65 + SpeedPossibleVal_64 + SpeedPossibleVal_63 + SpeedPossibleVal_62 + SpeedPossibleVal_61 + SpeedPossibleVal_60 + SpeedPossibleVal_739 + SpeedPossibleVal_738 + SpeedPossibleVal_737 + SpeedPossibleVal_736 + SpeedPossibleVal_735 + SpeedPossibleVal_734 + SpeedPossibleVal_733 + SpeedPossibleVal_732 + SpeedPossibleVal_731 + SpeedPossibleVal_730 + SpeedPossibleVal_59 + SpeedPossibleVal_58 + SpeedPossibleVal_57 + SpeedPossibleVal_56 + SpeedPossibleVal_55 + SpeedPossibleVal_54 + SpeedPossibleVal_53 + SpeedPossibleVal_52 + SpeedPossibleVal_51 + SpeedPossibleVal_50 + SpeedPossibleVal_729 + SpeedPossibleVal_728 + SpeedPossibleVal_727 + SpeedPossibleVal_726 + SpeedPossibleVal_725 + SpeedPossibleVal_724 + SpeedPossibleVal_723 + SpeedPossibleVal_722 + SpeedPossibleVal_721 + SpeedPossibleVal_720 + SpeedPossibleVal_49 + SpeedPossibleVal_48 + SpeedPossibleVal_47 + SpeedPossibleVal_46 + SpeedPossibleVal_45 + SpeedPossibleVal_44 + SpeedPossibleVal_43 + SpeedPossibleVal_42 + SpeedPossibleVal_41 + SpeedPossibleVal_40 + SpeedPossibleVal_719 + SpeedPossibleVal_718 + SpeedPossibleVal_717 + SpeedPossibleVal_716 + SpeedPossibleVal_715 + SpeedPossibleVal_714 + SpeedPossibleVal_713 + SpeedPossibleVal_712 + SpeedPossibleVal_711 + SpeedPossibleVal_710 + SpeedPossibleVal_39 + SpeedPossibleVal_38 + SpeedPossibleVal_37 + SpeedPossibleVal_36 + SpeedPossibleVal_35 + SpeedPossibleVal_34 + SpeedPossibleVal_33 + SpeedPossibleVal_32 + SpeedPossibleVal_31 + SpeedPossibleVal_30 + SpeedPossibleVal_709 + SpeedPossibleVal_708 + SpeedPossibleVal_707 + SpeedPossibleVal_706 + SpeedPossibleVal_705 + SpeedPossibleVal_704 + SpeedPossibleVal_703 + SpeedPossibleVal_702 + SpeedPossibleVal_701 + SpeedPossibleVal_700 + SpeedPossibleVal_29 + SpeedPossibleVal_28 + SpeedPossibleVal_27 + SpeedPossibleVal_26 + SpeedPossibleVal_25 + SpeedPossibleVal_24 + SpeedPossibleVal_23 + SpeedPossibleVal_22 + SpeedPossibleVal_21 + SpeedPossibleVal_20 + SpeedPossibleVal_19 + SpeedPossibleVal_18 + SpeedPossibleVal_17 + SpeedPossibleVal_16 + SpeedPossibleVal_15 + SpeedPossibleVal_14 + SpeedPossibleVal_13 + SpeedPossibleVal_12 + SpeedPossibleVal_11 + SpeedPossibleVal_10 + SpeedPossibleVal_699 + SpeedPossibleVal_698 + SpeedPossibleVal_697 + SpeedPossibleVal_696 + SpeedPossibleVal_695 + SpeedPossibleVal_694 + SpeedPossibleVal_693 + SpeedPossibleVal_692 + SpeedPossibleVal_691 + SpeedPossibleVal_690 + SpeedPossibleVal_689 + SpeedPossibleVal_688 + SpeedPossibleVal_687 + SpeedPossibleVal_686 + SpeedPossibleVal_685 + SpeedPossibleVal_684 + SpeedPossibleVal_683 + SpeedPossibleVal_682 + SpeedPossibleVal_681 + SpeedPossibleVal_680 + SpeedPossibleVal_679 + SpeedPossibleVal_678 + SpeedPossibleVal_677 + SpeedPossibleVal_676 + SpeedPossibleVal_675 + SpeedPossibleVal_674 + SpeedPossibleVal_673 + SpeedPossibleVal_672 + SpeedPossibleVal_671 + SpeedPossibleVal_670 + SpeedPossibleVal_669 + SpeedPossibleVal_668 + SpeedPossibleVal_667 + SpeedPossibleVal_666 + SpeedPossibleVal_665 + SpeedPossibleVal_664 + SpeedPossibleVal_663 + SpeedPossibleVal_662 + SpeedPossibleVal_661 + SpeedPossibleVal_660 + SpeedPossibleVal_659 + SpeedPossibleVal_658 + SpeedPossibleVal_657 + SpeedPossibleVal_656 + SpeedPossibleVal_655 + SpeedPossibleVal_654 + SpeedPossibleVal_653 + SpeedPossibleVal_652 + SpeedPossibleVal_651 + SpeedPossibleVal_650 + SpeedPossibleVal_649 + SpeedPossibleVal_648 + SpeedPossibleVal_647 + SpeedPossibleVal_646 + SpeedPossibleVal_645 + SpeedPossibleVal_644 + SpeedPossibleVal_643 + SpeedPossibleVal_642 + SpeedPossibleVal_641 + SpeedPossibleVal_640 + SpeedPossibleVal_639 + SpeedPossibleVal_638 + SpeedPossibleVal_637 + SpeedPossibleVal_636 + SpeedPossibleVal_635 + SpeedPossibleVal_634 + SpeedPossibleVal_633 + SpeedPossibleVal_632 + SpeedPossibleVal_631 + SpeedPossibleVal_630 + SpeedPossibleVal_629 + SpeedPossibleVal_628 + SpeedPossibleVal_627 + SpeedPossibleVal_626 + SpeedPossibleVal_625 + SpeedPossibleVal_624 + SpeedPossibleVal_623 + SpeedPossibleVal_622 + SpeedPossibleVal_621 + SpeedPossibleVal_620 + SpeedPossibleVal_619 + SpeedPossibleVal_618 + SpeedPossibleVal_617 + SpeedPossibleVal_616 + SpeedPossibleVal_615 + SpeedPossibleVal_614 + SpeedPossibleVal_613 + SpeedPossibleVal_612 + SpeedPossibleVal_611 + SpeedPossibleVal_610 + SpeedPossibleVal_609 + SpeedPossibleVal_608 + SpeedPossibleVal_607 + SpeedPossibleVal_606 + SpeedPossibleVal_605 + SpeedPossibleVal_604 + SpeedPossibleVal_603 + SpeedPossibleVal_602 + SpeedPossibleVal_601 + SpeedPossibleVal_600 + SpeedPossibleVal_9 + SpeedPossibleVal_8 + SpeedPossibleVal_7 + SpeedPossibleVal_6 + SpeedPossibleVal_5 + SpeedPossibleVal_4 + SpeedPossibleVal_3 + SpeedPossibleVal_2 + SpeedPossibleVal_1 + SpeedPossibleVal_599 + SpeedPossibleVal_598 + SpeedPossibleVal_597 + SpeedPossibleVal_596 + SpeedPossibleVal_595 + SpeedPossibleVal_594 + SpeedPossibleVal_593 + SpeedPossibleVal_592 + SpeedPossibleVal_591 + SpeedPossibleVal_590 + SpeedPossibleVal_589 + SpeedPossibleVal_588 + SpeedPossibleVal_587 + SpeedPossibleVal_586 + SpeedPossibleVal_585 + SpeedPossibleVal_584 + SpeedPossibleVal_583 + SpeedPossibleVal_582 + SpeedPossibleVal_581 + SpeedPossibleVal_580 + SpeedPossibleVal_579 + SpeedPossibleVal_578 + SpeedPossibleVal_577 + SpeedPossibleVal_576 + SpeedPossibleVal_575 + SpeedPossibleVal_574 + SpeedPossibleVal_573 + SpeedPossibleVal_572 + SpeedPossibleVal_571 + SpeedPossibleVal_570 + SpeedPossibleVal_569 + SpeedPossibleVal_568 + SpeedPossibleVal_567 + SpeedPossibleVal_566 + SpeedPossibleVal_565 + SpeedPossibleVal_564 + SpeedPossibleVal_563 + SpeedPossibleVal_562 + SpeedPossibleVal_561 + SpeedPossibleVal_560 + SpeedPossibleVal_559 + SpeedPossibleVal_558 + SpeedPossibleVal_557 + SpeedPossibleVal_556 + SpeedPossibleVal_555 + SpeedPossibleVal_554 + SpeedPossibleVal_553 + SpeedPossibleVal_552 + SpeedPossibleVal_551 + SpeedPossibleVal_550 + SpeedPossibleVal_549 + SpeedPossibleVal_548 + SpeedPossibleVal_547 + SpeedPossibleVal_546 + SpeedPossibleVal_545 + SpeedPossibleVal_544 + SpeedPossibleVal_543 + SpeedPossibleVal_542 + SpeedPossibleVal_541 + SpeedPossibleVal_540 + SpeedPossibleVal_539 + SpeedPossibleVal_538 + SpeedPossibleVal_537 + SpeedPossibleVal_536 + SpeedPossibleVal_535 + SpeedPossibleVal_534 + SpeedPossibleVal_533 + SpeedPossibleVal_532 + SpeedPossibleVal_531 + SpeedPossibleVal_530 + SpeedPossibleVal_529 + SpeedPossibleVal_528 + SpeedPossibleVal_527 + SpeedPossibleVal_526 + SpeedPossibleVal_525 + SpeedPossibleVal_524 + SpeedPossibleVal_523 + SpeedPossibleVal_522 + SpeedPossibleVal_521 + SpeedPossibleVal_520 + SpeedPossibleVal_519 + SpeedPossibleVal_518 + SpeedPossibleVal_517 + SpeedPossibleVal_516 + SpeedPossibleVal_515 + SpeedPossibleVal_514 + SpeedPossibleVal_513 + SpeedPossibleVal_512 + SpeedPossibleVal_511 + SpeedPossibleVal_510 + SpeedPossibleVal_509 + SpeedPossibleVal_508 + SpeedPossibleVal_507 + SpeedPossibleVal_506 + SpeedPossibleVal_505 + SpeedPossibleVal_504 + SpeedPossibleVal_503 + SpeedPossibleVal_502 + SpeedPossibleVal_501 + SpeedPossibleVal_500 + SpeedPossibleVal_499 + SpeedPossibleVal_498 + SpeedPossibleVal_497 + SpeedPossibleVal_496 + SpeedPossibleVal_495 + SpeedPossibleVal_494 + SpeedPossibleVal_493 + SpeedPossibleVal_492 + SpeedPossibleVal_491 + SpeedPossibleVal_490 + SpeedPossibleVal_489 + SpeedPossibleVal_488 + SpeedPossibleVal_487 + SpeedPossibleVal_486 + SpeedPossibleVal_485 + SpeedPossibleVal_484 + SpeedPossibleVal_483 + SpeedPossibleVal_482 + SpeedPossibleVal_481 + SpeedPossibleVal_480 + SpeedPossibleVal_479 + SpeedPossibleVal_478 + SpeedPossibleVal_477 + SpeedPossibleVal_476 + SpeedPossibleVal_475 + SpeedPossibleVal_474 + SpeedPossibleVal_473 + SpeedPossibleVal_472 + SpeedPossibleVal_471 + SpeedPossibleVal_470 + SpeedPossibleVal_469 + SpeedPossibleVal_468 + SpeedPossibleVal_467 + SpeedPossibleVal_466 + SpeedPossibleVal_465 + SpeedPossibleVal_464 + SpeedPossibleVal_463 + SpeedPossibleVal_462 + SpeedPossibleVal_461 + SpeedPossibleVal_460 + SpeedPossibleVal_459 + SpeedPossibleVal_458 + SpeedPossibleVal_457 + SpeedPossibleVal_456 + SpeedPossibleVal_455 + SpeedPossibleVal_454 + SpeedPossibleVal_453 + SpeedPossibleVal_452 + SpeedPossibleVal_451 + SpeedPossibleVal_450 + SpeedPossibleVal_449 + SpeedPossibleVal_448 + SpeedPossibleVal_447 + SpeedPossibleVal_446 + SpeedPossibleVal_445 + SpeedPossibleVal_444 + SpeedPossibleVal_443 + SpeedPossibleVal_442 + SpeedPossibleVal_441 + SpeedPossibleVal_440 + SpeedPossibleVal_439 + SpeedPossibleVal_438 + SpeedPossibleVal_437 + SpeedPossibleVal_436 + SpeedPossibleVal_435 + SpeedPossibleVal_434 + SpeedPossibleVal_433 + SpeedPossibleVal_432 + SpeedPossibleVal_431 + SpeedPossibleVal_430 + SpeedPossibleVal_429 + SpeedPossibleVal_428 + SpeedPossibleVal_427 + SpeedPossibleVal_426 + SpeedPossibleVal_425 + SpeedPossibleVal_424 + SpeedPossibleVal_423 + SpeedPossibleVal_422 + SpeedPossibleVal_421 + SpeedPossibleVal_420 + SpeedPossibleVal_419 + SpeedPossibleVal_418 + SpeedPossibleVal_417 + SpeedPossibleVal_416 + SpeedPossibleVal_415 + SpeedPossibleVal_414 + SpeedPossibleVal_413 + SpeedPossibleVal_412 + SpeedPossibleVal_411 + SpeedPossibleVal_410 + SpeedPossibleVal_409 + SpeedPossibleVal_408 + SpeedPossibleVal_407 + SpeedPossibleVal_406 + SpeedPossibleVal_405 + SpeedPossibleVal_404 + SpeedPossibleVal_403 + SpeedPossibleVal_402 + SpeedPossibleVal_401 + SpeedPossibleVal_400 + SpeedPossibleVal_399 + SpeedPossibleVal_398 + SpeedPossibleVal_397 + SpeedPossibleVal_396 + SpeedPossibleVal_395 + SpeedPossibleVal_394 + SpeedPossibleVal_393 + SpeedPossibleVal_392 + SpeedPossibleVal_391 + SpeedPossibleVal_390 + SpeedPossibleVal_389 + SpeedPossibleVal_388 + SpeedPossibleVal_387 + SpeedPossibleVal_386 + SpeedPossibleVal_385 + SpeedPossibleVal_384 + SpeedPossibleVal_383 + SpeedPossibleVal_382 + SpeedPossibleVal_381 + SpeedPossibleVal_380 + SpeedPossibleVal_379 + SpeedPossibleVal_378 + SpeedPossibleVal_377 + SpeedPossibleVal_376 + SpeedPossibleVal_375 + SpeedPossibleVal_374 + SpeedPossibleVal_373 + SpeedPossibleVal_372 + SpeedPossibleVal_371 + SpeedPossibleVal_370 + SpeedPossibleVal_369 + SpeedPossibleVal_368 + SpeedPossibleVal_367 + SpeedPossibleVal_366 + SpeedPossibleVal_365 + SpeedPossibleVal_364 + SpeedPossibleVal_363 + SpeedPossibleVal_362 + SpeedPossibleVal_361 + SpeedPossibleVal_360 + SpeedPossibleVal_359 + SpeedPossibleVal_358 + SpeedPossibleVal_357 + SpeedPossibleVal_356 + SpeedPossibleVal_355 + SpeedPossibleVal_354 + SpeedPossibleVal_353 + SpeedPossibleVal_352 + SpeedPossibleVal_351 + SpeedPossibleVal_350 + SpeedPossibleVal_349 + SpeedPossibleVal_348 + SpeedPossibleVal_347 + SpeedPossibleVal_346 + SpeedPossibleVal_345 + SpeedPossibleVal_344 + SpeedPossibleVal_343 + SpeedPossibleVal_342 + SpeedPossibleVal_341 + SpeedPossibleVal_340 + SpeedPossibleVal_339 + SpeedPossibleVal_338 + SpeedPossibleVal_337 + SpeedPossibleVal_336 + SpeedPossibleVal_335 + SpeedPossibleVal_334 + SpeedPossibleVal_333 + SpeedPossibleVal_332 + SpeedPossibleVal_331 + SpeedPossibleVal_330 + SpeedPossibleVal_1400 + SpeedPossibleVal_1401 + SpeedPossibleVal_1402 + SpeedPossibleVal_1403 + SpeedPossibleVal_1404 + SpeedPossibleVal_1405 + SpeedPossibleVal_1406 + SpeedPossibleVal_1407 + SpeedPossibleVal_1408 + SpeedPossibleVal_1409 + SpeedPossibleVal_2700 + SpeedPossibleVal_2701 + SpeedPossibleVal_2702 + SpeedPossibleVal_2703 + SpeedPossibleVal_2704 + SpeedPossibleVal_2705 + SpeedPossibleVal_2706 + SpeedPossibleVal_2707 + SpeedPossibleVal_2708 + SpeedPossibleVal_2709 + SpeedPossibleVal_1410 + SpeedPossibleVal_1411 + SpeedPossibleVal_1412 + SpeedPossibleVal_1413 + SpeedPossibleVal_1414 + SpeedPossibleVal_1415 + SpeedPossibleVal_1416 + SpeedPossibleVal_1417 + SpeedPossibleVal_1418 + SpeedPossibleVal_1419 + SpeedPossibleVal_2710 + SpeedPossibleVal_2711 + SpeedPossibleVal_2712 + SpeedPossibleVal_2713 + SpeedPossibleVal_2714 + SpeedPossibleVal_2715 + SpeedPossibleVal_2716 + SpeedPossibleVal_2717 + SpeedPossibleVal_2718 + SpeedPossibleVal_2719 + SpeedPossibleVal_1420 + SpeedPossibleVal_1421 + SpeedPossibleVal_1422 + SpeedPossibleVal_1423 + SpeedPossibleVal_1424 + SpeedPossibleVal_1425 + SpeedPossibleVal_1426 + SpeedPossibleVal_1427 + SpeedPossibleVal_1428 + SpeedPossibleVal_1429 + SpeedPossibleVal_2720 + SpeedPossibleVal_2721 + SpeedPossibleVal_2722 + SpeedPossibleVal_2723 + SpeedPossibleVal_2724 + SpeedPossibleVal_2725 + SpeedPossibleVal_2726 + SpeedPossibleVal_2727 + SpeedPossibleVal_2728 + SpeedPossibleVal_2729 + SpeedPossibleVal_1430 + SpeedPossibleVal_1431 + SpeedPossibleVal_1432 + SpeedPossibleVal_1433 + SpeedPossibleVal_1434 + SpeedPossibleVal_1435 + SpeedPossibleVal_1436 + SpeedPossibleVal_1437 + SpeedPossibleVal_1438 + SpeedPossibleVal_1439 + SpeedPossibleVal_2730 + SpeedPossibleVal_2731 + SpeedPossibleVal_2732 + SpeedPossibleVal_2733 + SpeedPossibleVal_2734 + SpeedPossibleVal_2735 + SpeedPossibleVal_2736 + SpeedPossibleVal_2737 + SpeedPossibleVal_2738 + SpeedPossibleVal_2739 + SpeedPossibleVal_1440 + SpeedPossibleVal_1441 + SpeedPossibleVal_1442 + SpeedPossibleVal_1443 + SpeedPossibleVal_1444 + SpeedPossibleVal_1445 + SpeedPossibleVal_1446 + SpeedPossibleVal_1447 + SpeedPossibleVal_1448 + SpeedPossibleVal_1449 + SpeedPossibleVal_2740 + SpeedPossibleVal_2741 + SpeedPossibleVal_2742 + SpeedPossibleVal_2743 + SpeedPossibleVal_2744 + SpeedPossibleVal_2745 + SpeedPossibleVal_2746 + SpeedPossibleVal_2747 + SpeedPossibleVal_2748 + SpeedPossibleVal_2749 + SpeedPossibleVal_1450 + SpeedPossibleVal_1451 + SpeedPossibleVal_1452 + SpeedPossibleVal_1453 + SpeedPossibleVal_1454 + SpeedPossibleVal_1455 + SpeedPossibleVal_1456 + SpeedPossibleVal_1457 + SpeedPossibleVal_1458 + SpeedPossibleVal_1459 + SpeedPossibleVal_2750 + SpeedPossibleVal_2751 + SpeedPossibleVal_2752 + SpeedPossibleVal_2753 + SpeedPossibleVal_2754 + SpeedPossibleVal_2755 + SpeedPossibleVal_2756 + SpeedPossibleVal_2757 + SpeedPossibleVal_2758 + SpeedPossibleVal_2759 + SpeedPossibleVal_1460 + SpeedPossibleVal_1461 + SpeedPossibleVal_1462 + SpeedPossibleVal_1463 + SpeedPossibleVal_1464 + SpeedPossibleVal_1465 + SpeedPossibleVal_1466 + SpeedPossibleVal_1467 + SpeedPossibleVal_1468 + SpeedPossibleVal_1469 + SpeedPossibleVal_2760 + SpeedPossibleVal_2761 + SpeedPossibleVal_2762 + SpeedPossibleVal_2763 + SpeedPossibleVal_2764 + SpeedPossibleVal_2765 + SpeedPossibleVal_2766 + SpeedPossibleVal_2767 + SpeedPossibleVal_2768 + SpeedPossibleVal_2769 + SpeedPossibleVal_1470 + SpeedPossibleVal_1471 + SpeedPossibleVal_1472 + SpeedPossibleVal_1473 + SpeedPossibleVal_1474 + SpeedPossibleVal_1475 + SpeedPossibleVal_1476 + SpeedPossibleVal_1477 + SpeedPossibleVal_1478 + SpeedPossibleVal_1479 + SpeedPossibleVal_2770 + SpeedPossibleVal_2771 + SpeedPossibleVal_2772 + SpeedPossibleVal_2773 + SpeedPossibleVal_2774 + SpeedPossibleVal_2775 + SpeedPossibleVal_2776 + SpeedPossibleVal_2777 + SpeedPossibleVal_2778 + SpeedPossibleVal_2779 + SpeedPossibleVal_1480 + SpeedPossibleVal_1481 + SpeedPossibleVal_1482 + SpeedPossibleVal_1483 + SpeedPossibleVal_1484 + SpeedPossibleVal_1485 + SpeedPossibleVal_1486 + SpeedPossibleVal_1487 + SpeedPossibleVal_1488 + SpeedPossibleVal_1489 + SpeedPossibleVal_2780 + SpeedPossibleVal_2781 + SpeedPossibleVal_2782 + SpeedPossibleVal_2783 + SpeedPossibleVal_2784 + SpeedPossibleVal_2785 + SpeedPossibleVal_2786 + SpeedPossibleVal_2787 + SpeedPossibleVal_2788 + SpeedPossibleVal_2789 + SpeedPossibleVal_1490 + SpeedPossibleVal_1491 + SpeedPossibleVal_1492 + SpeedPossibleVal_1493 + SpeedPossibleVal_1494 + SpeedPossibleVal_1495 + SpeedPossibleVal_1496 + SpeedPossibleVal_1497 + SpeedPossibleVal_1498 + SpeedPossibleVal_1499 + SpeedPossibleVal_2790 + SpeedPossibleVal_2791 + SpeedPossibleVal_2792 + SpeedPossibleVal_2793 + SpeedPossibleVal_2794 + SpeedPossibleVal_2795 + SpeedPossibleVal_2796 + SpeedPossibleVal_2797 + SpeedPossibleVal_2798 + SpeedPossibleVal_2799 + SpeedPossibleVal_329 + SpeedPossibleVal_328 + SpeedPossibleVal_327 + SpeedPossibleVal_326 + SpeedPossibleVal_325 + SpeedPossibleVal_324 + SpeedPossibleVal_323 + SpeedPossibleVal_322 + SpeedPossibleVal_321 + SpeedPossibleVal_320 + SpeedPossibleVal_319 + SpeedPossibleVal_318 + SpeedPossibleVal_317 + SpeedPossibleVal_316 + SpeedPossibleVal_315 + SpeedPossibleVal_314 + SpeedPossibleVal_313 + SpeedPossibleVal_312 + SpeedPossibleVal_311 + SpeedPossibleVal_310 + SpeedPossibleVal_309 + SpeedPossibleVal_308 + SpeedPossibleVal_307 + SpeedPossibleVal_306 + SpeedPossibleVal_305 + SpeedPossibleVal_304 + SpeedPossibleVal_303 + SpeedPossibleVal_302 + SpeedPossibleVal_301 + SpeedPossibleVal_300 + SpeedPossibleVal_299 + SpeedPossibleVal_298 + SpeedPossibleVal_297 + SpeedPossibleVal_296 + SpeedPossibleVal_295 + SpeedPossibleVal_294 + SpeedPossibleVal_293 + SpeedPossibleVal_292 + SpeedPossibleVal_291 + SpeedPossibleVal_290 + SpeedPossibleVal_289 + SpeedPossibleVal_288 + SpeedPossibleVal_287 + SpeedPossibleVal_286 + SpeedPossibleVal_285 + SpeedPossibleVal_284 + SpeedPossibleVal_283 + SpeedPossibleVal_282 + SpeedPossibleVal_281 + SpeedPossibleVal_280 + SpeedPossibleVal_279 + SpeedPossibleVal_278 + SpeedPossibleVal_277 + SpeedPossibleVal_276 + SpeedPossibleVal_275 + SpeedPossibleVal_274 + SpeedPossibleVal_273 + SpeedPossibleVal_272 + SpeedPossibleVal_271 + SpeedPossibleVal_270 + SpeedPossibleVal_269 + SpeedPossibleVal_268 + SpeedPossibleVal_267 + SpeedPossibleVal_266 + SpeedPossibleVal_265 + SpeedPossibleVal_264 + SpeedPossibleVal_263 + SpeedPossibleVal_262 + SpeedPossibleVal_261 + SpeedPossibleVal_260 + SpeedPossibleVal_259 + SpeedPossibleVal_258 + SpeedPossibleVal_257 + SpeedPossibleVal_256 + SpeedPossibleVal_255 + SpeedPossibleVal_254 + SpeedPossibleVal_253 + SpeedPossibleVal_252 + SpeedPossibleVal_251 + SpeedPossibleVal_250 + SpeedPossibleVal_249 + SpeedPossibleVal_248 + SpeedPossibleVal_247 + SpeedPossibleVal_246 + SpeedPossibleVal_245 + SpeedPossibleVal_244 + SpeedPossibleVal_243 + SpeedPossibleVal_242 + SpeedPossibleVal_241 + SpeedPossibleVal_240 + SpeedPossibleVal_239 + SpeedPossibleVal_238 + SpeedPossibleVal_237 + SpeedPossibleVal_236 + SpeedPossibleVal_235 + SpeedPossibleVal_234 + SpeedPossibleVal_233 + SpeedPossibleVal_232 + SpeedPossibleVal_231 + SpeedPossibleVal_230 + SpeedPossibleVal_229 + SpeedPossibleVal_228 + SpeedPossibleVal_227 + SpeedPossibleVal_226 + SpeedPossibleVal_225 + SpeedPossibleVal_224 + SpeedPossibleVal_223 + SpeedPossibleVal_222 + SpeedPossibleVal_221 + SpeedPossibleVal_220 + SpeedPossibleVal_219 + SpeedPossibleVal_218 + SpeedPossibleVal_217 + SpeedPossibleVal_216 + SpeedPossibleVal_215 + SpeedPossibleVal_214 + SpeedPossibleVal_213 + SpeedPossibleVal_212 + SpeedPossibleVal_211 + SpeedPossibleVal_210 + SpeedPossibleVal_209 + SpeedPossibleVal_208 + SpeedPossibleVal_207 + SpeedPossibleVal_206 + SpeedPossibleVal_205 + SpeedPossibleVal_204 + SpeedPossibleVal_203 + SpeedPossibleVal_202 + SpeedPossibleVal_201 + SpeedPossibleVal_200 + SpeedPossibleVal_199 + SpeedPossibleVal_198 + SpeedPossibleVal_197 + SpeedPossibleVal_196 + SpeedPossibleVal_195 + SpeedPossibleVal_194 + SpeedPossibleVal_193 + SpeedPossibleVal_192 + SpeedPossibleVal_191 + SpeedPossibleVal_190 + SpeedPossibleVal_189 + SpeedPossibleVal_188 + SpeedPossibleVal_187 + SpeedPossibleVal_186 + SpeedPossibleVal_185 + SpeedPossibleVal_184 + SpeedPossibleVal_183 + SpeedPossibleVal_182 + SpeedPossibleVal_181 + SpeedPossibleVal_180 + SpeedPossibleVal_179 + SpeedPossibleVal_178 + SpeedPossibleVal_177 + SpeedPossibleVal_176 + SpeedPossibleVal_175 + SpeedPossibleVal_174 + SpeedPossibleVal_173 + SpeedPossibleVal_172 + SpeedPossibleVal_171 + SpeedPossibleVal_170 + SpeedPossibleVal_169 + SpeedPossibleVal_168 + SpeedPossibleVal_167 + SpeedPossibleVal_166 + SpeedPossibleVal_165 + SpeedPossibleVal_164 + SpeedPossibleVal_163 + SpeedPossibleVal_162 + SpeedPossibleVal_161 + SpeedPossibleVal_160 + SpeedPossibleVal_159 + SpeedPossibleVal_158 + SpeedPossibleVal_157 + SpeedPossibleVal_156 + SpeedPossibleVal_155 + SpeedPossibleVal_154 + SpeedPossibleVal_153 + SpeedPossibleVal_152 + SpeedPossibleVal_151 + SpeedPossibleVal_150 + SpeedPossibleVal_149 + SpeedPossibleVal_148 + SpeedPossibleVal_147 + SpeedPossibleVal_146 + SpeedPossibleVal_145 + SpeedPossibleVal_144 + SpeedPossibleVal_143 + SpeedPossibleVal_142 + SpeedPossibleVal_141 + SpeedPossibleVal_140 + SpeedPossibleVal_139 + SpeedPossibleVal_138 + SpeedPossibleVal_137 + SpeedPossibleVal_136 + SpeedPossibleVal_135 + SpeedPossibleVal_134 + SpeedPossibleVal_133 + SpeedPossibleVal_132 + SpeedPossibleVal_131 + SpeedPossibleVal_130 + SpeedPossibleVal_129 + SpeedPossibleVal_128 + SpeedPossibleVal_127 + SpeedPossibleVal_126 + SpeedPossibleVal_125 + SpeedPossibleVal_124 + SpeedPossibleVal_123 + SpeedPossibleVal_122 + SpeedPossibleVal_121 + SpeedPossibleVal_120 + SpeedPossibleVal_119 + SpeedPossibleVal_118 + SpeedPossibleVal_117 + SpeedPossibleVal_116 + SpeedPossibleVal_115 + SpeedPossibleVal_114 + SpeedPossibleVal_113 + SpeedPossibleVal_112 + SpeedPossibleVal_111 + SpeedPossibleVal_110 + SpeedPossibleVal_109 + SpeedPossibleVal_108 + SpeedPossibleVal_107 + SpeedPossibleVal_106 + SpeedPossibleVal_105 + SpeedPossibleVal_104 + SpeedPossibleVal_103 + SpeedPossibleVal_102 + SpeedPossibleVal_101 + SpeedPossibleVal_100 + SpeedPossibleVal_1500 + SpeedPossibleVal_1501 + SpeedPossibleVal_1502 + SpeedPossibleVal_1503 + SpeedPossibleVal_1504 + SpeedPossibleVal_1505 + SpeedPossibleVal_1506 + SpeedPossibleVal_1507 + SpeedPossibleVal_1508 + SpeedPossibleVal_1509 + SpeedPossibleVal_2800 + SpeedPossibleVal_2801 + SpeedPossibleVal_2802 + SpeedPossibleVal_2803 + SpeedPossibleVal_2804 + SpeedPossibleVal_2805 + SpeedPossibleVal_2806 + SpeedPossibleVal_2807 + SpeedPossibleVal_2808 + SpeedPossibleVal_2809 + SpeedPossibleVal_1510 + SpeedPossibleVal_1511 + SpeedPossibleVal_1512 + SpeedPossibleVal_1513 + SpeedPossibleVal_1514 + SpeedPossibleVal_1515 + SpeedPossibleVal_1516 + SpeedPossibleVal_1517 + SpeedPossibleVal_1518 + SpeedPossibleVal_1519 + SpeedPossibleVal_2810 + SpeedPossibleVal_2811 + SpeedPossibleVal_2812 + SpeedPossibleVal_2813 + SpeedPossibleVal_2814 + SpeedPossibleVal_2815 + SpeedPossibleVal_2816 + SpeedPossibleVal_2817 + SpeedPossibleVal_2818 + SpeedPossibleVal_2819 + SpeedPossibleVal_1520 + SpeedPossibleVal_1521 + SpeedPossibleVal_1522 + SpeedPossibleVal_1523 + SpeedPossibleVal_1524 + SpeedPossibleVal_1525 + SpeedPossibleVal_1526 + SpeedPossibleVal_1527 + SpeedPossibleVal_1528 + SpeedPossibleVal_1529 + SpeedPossibleVal_2820 + SpeedPossibleVal_2821 + SpeedPossibleVal_2822 + SpeedPossibleVal_2823 + SpeedPossibleVal_2824 + SpeedPossibleVal_2825 + SpeedPossibleVal_2826 + SpeedPossibleVal_2827 + SpeedPossibleVal_2828 + SpeedPossibleVal_2829 + SpeedPossibleVal_1530 + SpeedPossibleVal_1531 + SpeedPossibleVal_1532 + SpeedPossibleVal_1533 + SpeedPossibleVal_1534 + SpeedPossibleVal_1535 + SpeedPossibleVal_1536 + SpeedPossibleVal_1537 + SpeedPossibleVal_1538 + SpeedPossibleVal_1539 + SpeedPossibleVal_2830 + SpeedPossibleVal_2831 + SpeedPossibleVal_2832 + SpeedPossibleVal_2833 + SpeedPossibleVal_2834 + SpeedPossibleVal_2835 + SpeedPossibleVal_2836 + SpeedPossibleVal_2837 + SpeedPossibleVal_2838 + SpeedPossibleVal_2839 + SpeedPossibleVal_1540 + SpeedPossibleVal_1541 + SpeedPossibleVal_1542 + SpeedPossibleVal_1543 + SpeedPossibleVal_1544 + SpeedPossibleVal_1545 + SpeedPossibleVal_1546 + SpeedPossibleVal_1547 + SpeedPossibleVal_1548 + SpeedPossibleVal_1549 + SpeedPossibleVal_2840 + SpeedPossibleVal_2841 + SpeedPossibleVal_2842 + SpeedPossibleVal_2843 + SpeedPossibleVal_2844 + SpeedPossibleVal_2845 + SpeedPossibleVal_2846 + SpeedPossibleVal_2847 + SpeedPossibleVal_2848 + SpeedPossibleVal_2849 + SpeedPossibleVal_1550 + SpeedPossibleVal_1551 + SpeedPossibleVal_1552 + SpeedPossibleVal_1553 + SpeedPossibleVal_1554 + SpeedPossibleVal_1555 + SpeedPossibleVal_1556 + SpeedPossibleVal_1557 + SpeedPossibleVal_1558 + SpeedPossibleVal_1559 + SpeedPossibleVal_2850 + SpeedPossibleVal_2851 + SpeedPossibleVal_2852 + SpeedPossibleVal_2853 + SpeedPossibleVal_2854 + SpeedPossibleVal_2855 + SpeedPossibleVal_2856 + SpeedPossibleVal_2857 + SpeedPossibleVal_2858 + SpeedPossibleVal_2859 + SpeedPossibleVal_1560 + SpeedPossibleVal_1561 + SpeedPossibleVal_1562 + SpeedPossibleVal_1563 + SpeedPossibleVal_1564 + SpeedPossibleVal_1565 + SpeedPossibleVal_1566 + SpeedPossibleVal_1567 + SpeedPossibleVal_1568 + SpeedPossibleVal_1569 + SpeedPossibleVal_2860 + SpeedPossibleVal_2861 + SpeedPossibleVal_2862 + SpeedPossibleVal_2863 + SpeedPossibleVal_2864 + SpeedPossibleVal_2865 + SpeedPossibleVal_2866 + SpeedPossibleVal_2867 + SpeedPossibleVal_2868 + SpeedPossibleVal_2869 + SpeedPossibleVal_1570 + SpeedPossibleVal_1571 + SpeedPossibleVal_1572 + SpeedPossibleVal_1573 + SpeedPossibleVal_1574 + SpeedPossibleVal_1575 + SpeedPossibleVal_1576 + SpeedPossibleVal_1577 + SpeedPossibleVal_1578 + SpeedPossibleVal_1579 + SpeedPossibleVal_2870 + SpeedPossibleVal_2871 + SpeedPossibleVal_2872 + SpeedPossibleVal_2873 + SpeedPossibleVal_2874 + SpeedPossibleVal_2875 + SpeedPossibleVal_2876 + SpeedPossibleVal_2877 + SpeedPossibleVal_2878 + SpeedPossibleVal_2879 + SpeedPossibleVal_1580 + SpeedPossibleVal_1581 + SpeedPossibleVal_1582 + SpeedPossibleVal_1583 + SpeedPossibleVal_1584 + SpeedPossibleVal_1585 + SpeedPossibleVal_1586 + SpeedPossibleVal_1587 + SpeedPossibleVal_1588 + SpeedPossibleVal_1589 + SpeedPossibleVal_2880 + SpeedPossibleVal_2881 + SpeedPossibleVal_2882 + SpeedPossibleVal_2883 + SpeedPossibleVal_2884 + SpeedPossibleVal_2885 + SpeedPossibleVal_2886 + SpeedPossibleVal_2887 + SpeedPossibleVal_2888 + SpeedPossibleVal_2889 + SpeedPossibleVal_1590 + SpeedPossibleVal_1591 + SpeedPossibleVal_1592 + SpeedPossibleVal_1593 + SpeedPossibleVal_1594 + SpeedPossibleVal_1595 + SpeedPossibleVal_1596 + SpeedPossibleVal_1597 + SpeedPossibleVal_1598 + SpeedPossibleVal_1599 + SpeedPossibleVal_2890 + SpeedPossibleVal_2891 + SpeedPossibleVal_2892 + SpeedPossibleVal_2893 + SpeedPossibleVal_2894 + SpeedPossibleVal_2895 + SpeedPossibleVal_2896 + SpeedPossibleVal_2897 + SpeedPossibleVal_2898 + SpeedPossibleVal_2899 + SpeedPossibleVal_1600 + SpeedPossibleVal_1601 + SpeedPossibleVal_1602 + SpeedPossibleVal_1603 + SpeedPossibleVal_1604 + SpeedPossibleVal_1605 + SpeedPossibleVal_1606 + SpeedPossibleVal_1607 + SpeedPossibleVal_1608 + SpeedPossibleVal_1609 + SpeedPossibleVal_2900 + SpeedPossibleVal_2901 + SpeedPossibleVal_2902 + SpeedPossibleVal_2903 + SpeedPossibleVal_2904 + SpeedPossibleVal_2905 + SpeedPossibleVal_2906 + SpeedPossibleVal_2907 + SpeedPossibleVal_2908 + SpeedPossibleVal_2909 + SpeedPossibleVal_1610 + SpeedPossibleVal_1611 + SpeedPossibleVal_1612 + SpeedPossibleVal_1613 + SpeedPossibleVal_1614 + SpeedPossibleVal_1615 + SpeedPossibleVal_1616 + SpeedPossibleVal_1617 + SpeedPossibleVal_1618 + SpeedPossibleVal_1619 + SpeedPossibleVal_2910 + SpeedPossibleVal_2911 + SpeedPossibleVal_2912 + SpeedPossibleVal_2913 + SpeedPossibleVal_2914 + SpeedPossibleVal_2915 + SpeedPossibleVal_2916 + SpeedPossibleVal_2917 + SpeedPossibleVal_2918 + SpeedPossibleVal_2919 + SpeedPossibleVal_1620 + SpeedPossibleVal_1621 + SpeedPossibleVal_1622 + SpeedPossibleVal_1623 + SpeedPossibleVal_1624 + SpeedPossibleVal_1625 + SpeedPossibleVal_1626 + SpeedPossibleVal_1627 + SpeedPossibleVal_1628 + SpeedPossibleVal_1629 + SpeedPossibleVal_2920 + SpeedPossibleVal_2921 + SpeedPossibleVal_2922 + SpeedPossibleVal_2923 + SpeedPossibleVal_2924 + SpeedPossibleVal_2925 + SpeedPossibleVal_2926 + SpeedPossibleVal_2927 + SpeedPossibleVal_2928 + SpeedPossibleVal_2929 + SpeedPossibleVal_1630 + SpeedPossibleVal_1631 + SpeedPossibleVal_1632 + SpeedPossibleVal_1633 + SpeedPossibleVal_1634 + SpeedPossibleVal_1635 + SpeedPossibleVal_1636 + SpeedPossibleVal_1637 + SpeedPossibleVal_1638 + SpeedPossibleVal_1639 + SpeedPossibleVal_2930 + SpeedPossibleVal_2931 + SpeedPossibleVal_2932 + SpeedPossibleVal_2933 + SpeedPossibleVal_2934 + SpeedPossibleVal_2935 + SpeedPossibleVal_2936 + SpeedPossibleVal_2937 + SpeedPossibleVal_2938 + SpeedPossibleVal_2939 + SpeedPossibleVal_1640 + SpeedPossibleVal_1641 + SpeedPossibleVal_1642 + SpeedPossibleVal_1643 + SpeedPossibleVal_1644 + SpeedPossibleVal_1645 + SpeedPossibleVal_1646 + SpeedPossibleVal_1647 + SpeedPossibleVal_1648 + SpeedPossibleVal_1649 + SpeedPossibleVal_2940 + SpeedPossibleVal_2941 + SpeedPossibleVal_2942 + SpeedPossibleVal_2943 + SpeedPossibleVal_2944 + SpeedPossibleVal_2945 + SpeedPossibleVal_2946 + SpeedPossibleVal_2947 + SpeedPossibleVal_2948 + SpeedPossibleVal_2949 + SpeedPossibleVal_1650 + SpeedPossibleVal_1651 + SpeedPossibleVal_1652 + SpeedPossibleVal_1653 + SpeedPossibleVal_1654 + SpeedPossibleVal_1655 + SpeedPossibleVal_1656 + SpeedPossibleVal_1657 + SpeedPossibleVal_1658 + SpeedPossibleVal_1659 + SpeedPossibleVal_2950 + SpeedPossibleVal_2951 + SpeedPossibleVal_2952 + SpeedPossibleVal_2953 + SpeedPossibleVal_2954 + SpeedPossibleVal_2955 + SpeedPossibleVal_2956 + SpeedPossibleVal_2957 + SpeedPossibleVal_2958 + SpeedPossibleVal_2959 + SpeedPossibleVal_1660 + SpeedPossibleVal_1661 + SpeedPossibleVal_1662 + SpeedPossibleVal_1663 + SpeedPossibleVal_1664 + SpeedPossibleVal_1665 + SpeedPossibleVal_1666 + SpeedPossibleVal_1667 + SpeedPossibleVal_1668 + SpeedPossibleVal_1669 + SpeedPossibleVal_2960 + SpeedPossibleVal_2961 + SpeedPossibleVal_2962 + SpeedPossibleVal_2963 + SpeedPossibleVal_2964 + SpeedPossibleVal_2965 + SpeedPossibleVal_2966 + SpeedPossibleVal_2967 + SpeedPossibleVal_2968 + SpeedPossibleVal_2969 + SpeedPossibleVal_1670 + SpeedPossibleVal_1671 + SpeedPossibleVal_1672 + SpeedPossibleVal_1673 + SpeedPossibleVal_1674 + SpeedPossibleVal_1675 + SpeedPossibleVal_1676 + SpeedPossibleVal_1677 + SpeedPossibleVal_1678 + SpeedPossibleVal_1679 + SpeedPossibleVal_2970 + SpeedPossibleVal_2971 + SpeedPossibleVal_2972 + SpeedPossibleVal_2973 + SpeedPossibleVal_2974 + SpeedPossibleVal_2975 + SpeedPossibleVal_2976 + SpeedPossibleVal_2977 + SpeedPossibleVal_2978 + SpeedPossibleVal_2979 + SpeedPossibleVal_1680 + SpeedPossibleVal_1681 + SpeedPossibleVal_1682 + SpeedPossibleVal_1683 + SpeedPossibleVal_1684 + SpeedPossibleVal_1685 + SpeedPossibleVal_1686 + SpeedPossibleVal_1687 + SpeedPossibleVal_1688 + SpeedPossibleVal_1689 + SpeedPossibleVal_2980 + SpeedPossibleVal_2981 + SpeedPossibleVal_2982 + SpeedPossibleVal_2983 + SpeedPossibleVal_2984 + SpeedPossibleVal_2985 + SpeedPossibleVal_2986 + SpeedPossibleVal_2987 + SpeedPossibleVal_2988 + SpeedPossibleVal_2989 + SpeedPossibleVal_1690 + SpeedPossibleVal_1691 + SpeedPossibleVal_1692 + SpeedPossibleVal_1693 + SpeedPossibleVal_1694 + SpeedPossibleVal_1695 + SpeedPossibleVal_1696 + SpeedPossibleVal_1697 + SpeedPossibleVal_1698 + SpeedPossibleVal_1699 + SpeedPossibleVal_2990 + SpeedPossibleVal_2991 + SpeedPossibleVal_2992 + SpeedPossibleVal_2993 + SpeedPossibleVal_2994 + SpeedPossibleVal_2995 + SpeedPossibleVal_2996 + SpeedPossibleVal_2997 + SpeedPossibleVal_2998 + SpeedPossibleVal_2999 + SpeedPossibleVal_1999 + SpeedPossibleVal_1998 + SpeedPossibleVal_1997 + SpeedPossibleVal_1996 + SpeedPossibleVal_1995 + SpeedPossibleVal_1994 + SpeedPossibleVal_1993 + SpeedPossibleVal_1992 + SpeedPossibleVal_1991 + SpeedPossibleVal_1990 + SpeedPossibleVal_1989 + SpeedPossibleVal_1988 + SpeedPossibleVal_1987 + SpeedPossibleVal_1986 + SpeedPossibleVal_1985 + SpeedPossibleVal_1984 + SpeedPossibleVal_1983 + SpeedPossibleVal_1982 + SpeedPossibleVal_1981 + SpeedPossibleVal_1980 + SpeedPossibleVal_1979 + SpeedPossibleVal_1978 + SpeedPossibleVal_1977 + SpeedPossibleVal_1976 + SpeedPossibleVal_1975 + SpeedPossibleVal_1974 + SpeedPossibleVal_1973 + SpeedPossibleVal_1972 + SpeedPossibleVal_1971 + SpeedPossibleVal_1970 + SpeedPossibleVal_1969 + SpeedPossibleVal_1968 + SpeedPossibleVal_1967 + SpeedPossibleVal_1966 + SpeedPossibleVal_1965 + SpeedPossibleVal_1964 + SpeedPossibleVal_1963 + SpeedPossibleVal_1962 + SpeedPossibleVal_1961 + SpeedPossibleVal_1960 + SpeedPossibleVal_1959 + SpeedPossibleVal_1958 + SpeedPossibleVal_1957 + SpeedPossibleVal_1956 + SpeedPossibleVal_1955 + SpeedPossibleVal_1954 + SpeedPossibleVal_1953 + SpeedPossibleVal_1952 + SpeedPossibleVal_1951 + SpeedPossibleVal_1950 + SpeedPossibleVal_1949 + SpeedPossibleVal_1948 + SpeedPossibleVal_1947 + SpeedPossibleVal_1946 + SpeedPossibleVal_1945 + SpeedPossibleVal_1944 + SpeedPossibleVal_1943 + SpeedPossibleVal_1942 + SpeedPossibleVal_1941 + SpeedPossibleVal_1940 + SpeedPossibleVal_1939 + SpeedPossibleVal_1938 + SpeedPossibleVal_1937 + SpeedPossibleVal_1936 + SpeedPossibleVal_1935 + SpeedPossibleVal_1934 + SpeedPossibleVal_1933 + SpeedPossibleVal_1932 + SpeedPossibleVal_1931 + SpeedPossibleVal_1930 + SpeedPossibleVal_1929 + SpeedPossibleVal_1928 + SpeedPossibleVal_1927 + SpeedPossibleVal_1926 + SpeedPossibleVal_1925 + SpeedPossibleVal_1924 + SpeedPossibleVal_1923 + SpeedPossibleVal_1922 + SpeedPossibleVal_1921 + SpeedPossibleVal_1920 + SpeedPossibleVal_1919 + SpeedPossibleVal_1918 + SpeedPossibleVal_1917 + SpeedPossibleVal_1916 + SpeedPossibleVal_1915 + SpeedPossibleVal_1914 + SpeedPossibleVal_1913 + SpeedPossibleVal_1912 + SpeedPossibleVal_1911 + SpeedPossibleVal_1910 + SpeedPossibleVal_1909 + SpeedPossibleVal_1908 + SpeedPossibleVal_1907 + SpeedPossibleVal_1906 + SpeedPossibleVal_1905 + SpeedPossibleVal_1904 + SpeedPossibleVal_1903 + SpeedPossibleVal_1902 + SpeedPossibleVal_1901 + SpeedPossibleVal_1900 + SpeedPossibleVal_1899 + SpeedPossibleVal_1898 + SpeedPossibleVal_1897 + SpeedPossibleVal_1896 + SpeedPossibleVal_1895 + SpeedPossibleVal_1894 + SpeedPossibleVal_1893 + SpeedPossibleVal_1892 + SpeedPossibleVal_1891 + SpeedPossibleVal_1890 + SpeedPossibleVal_1889 + SpeedPossibleVal_1888 + SpeedPossibleVal_1887 + SpeedPossibleVal_1886 + SpeedPossibleVal_1885 + SpeedPossibleVal_1884 + SpeedPossibleVal_1883 + SpeedPossibleVal_1882 + SpeedPossibleVal_1881 + SpeedPossibleVal_1880 + SpeedPossibleVal_1879 + SpeedPossibleVal_1878 + SpeedPossibleVal_1877 + SpeedPossibleVal_1876 + SpeedPossibleVal_1875 + SpeedPossibleVal_1874 + SpeedPossibleVal_1873 + SpeedPossibleVal_1872 + SpeedPossibleVal_1871 + SpeedPossibleVal_1870 + SpeedPossibleVal_1869 + SpeedPossibleVal_1868 + SpeedPossibleVal_1867 + SpeedPossibleVal_1866 + SpeedPossibleVal_1865 + SpeedPossibleVal_1864 + SpeedPossibleVal_1863 + SpeedPossibleVal_1862 + SpeedPossibleVal_1861 + SpeedPossibleVal_1860 + SpeedPossibleVal_1859 + SpeedPossibleVal_1858 + SpeedPossibleVal_1857 + SpeedPossibleVal_1856 + SpeedPossibleVal_1855 + SpeedPossibleVal_1854 + SpeedPossibleVal_1853 + SpeedPossibleVal_1852 + SpeedPossibleVal_1851 + SpeedPossibleVal_1850 + SpeedPossibleVal_1849 + SpeedPossibleVal_1848 + SpeedPossibleVal_1847 + SpeedPossibleVal_1846 + SpeedPossibleVal_1845 + SpeedPossibleVal_1844 + SpeedPossibleVal_1843 + SpeedPossibleVal_1842 + SpeedPossibleVal_1841 + SpeedPossibleVal_1840 + SpeedPossibleVal_1839 + SpeedPossibleVal_1838 + SpeedPossibleVal_1837 + SpeedPossibleVal_1836 + SpeedPossibleVal_1835 + SpeedPossibleVal_1834 + SpeedPossibleVal_1833 + SpeedPossibleVal_1832 + SpeedPossibleVal_1831 + SpeedPossibleVal_1830 + SpeedPossibleVal_1829 + SpeedPossibleVal_1828 + SpeedPossibleVal_1827 + SpeedPossibleVal_1826 + SpeedPossibleVal_1825 + SpeedPossibleVal_1824 + SpeedPossibleVal_1823 + SpeedPossibleVal_1822 + SpeedPossibleVal_1821 + SpeedPossibleVal_1820 + SpeedPossibleVal_1819 + SpeedPossibleVal_1818 + SpeedPossibleVal_1817 + SpeedPossibleVal_1816 + SpeedPossibleVal_1815 + SpeedPossibleVal_1814 + SpeedPossibleVal_1813 + SpeedPossibleVal_1812 + SpeedPossibleVal_1811 + SpeedPossibleVal_1810 + SpeedPossibleVal_1809 + SpeedPossibleVal_1808 + SpeedPossibleVal_1807 + SpeedPossibleVal_1806 + SpeedPossibleVal_1805 + SpeedPossibleVal_1804 + SpeedPossibleVal_1803 + SpeedPossibleVal_1802 + SpeedPossibleVal_1801 + SpeedPossibleVal_1800 + SpeedPossibleVal_1700 + SpeedPossibleVal_1701 + SpeedPossibleVal_1702 + SpeedPossibleVal_1703 + SpeedPossibleVal_1704 + SpeedPossibleVal_1705 + SpeedPossibleVal_1706 + SpeedPossibleVal_1707 + SpeedPossibleVal_1708 + SpeedPossibleVal_1709 + SpeedPossibleVal_1710 + SpeedPossibleVal_1711 + SpeedPossibleVal_1712 + SpeedPossibleVal_1713 + SpeedPossibleVal_1714 + SpeedPossibleVal_1715 + SpeedPossibleVal_1716 + SpeedPossibleVal_1717 + SpeedPossibleVal_1718 + SpeedPossibleVal_1719 + SpeedPossibleVal_1720 + SpeedPossibleVal_1721 + SpeedPossibleVal_1722 + SpeedPossibleVal_1723 + SpeedPossibleVal_1724 + SpeedPossibleVal_1725 + SpeedPossibleVal_1726 + SpeedPossibleVal_1727 + SpeedPossibleVal_1728 + SpeedPossibleVal_1729 + SpeedPossibleVal_1730 + SpeedPossibleVal_1731 + SpeedPossibleVal_1732 + SpeedPossibleVal_1733 + SpeedPossibleVal_1734 + SpeedPossibleVal_1735 + SpeedPossibleVal_1736 + SpeedPossibleVal_1737 + SpeedPossibleVal_1738 + SpeedPossibleVal_1739 + SpeedPossibleVal_1740 + SpeedPossibleVal_1741 + SpeedPossibleVal_1742 + SpeedPossibleVal_1743 + SpeedPossibleVal_1744 + SpeedPossibleVal_1745 + SpeedPossibleVal_1746 + SpeedPossibleVal_1747 + SpeedPossibleVal_1748 + SpeedPossibleVal_1749 + SpeedPossibleVal_1750 + SpeedPossibleVal_1751 + SpeedPossibleVal_1752 + SpeedPossibleVal_1753 + SpeedPossibleVal_1754 + SpeedPossibleVal_1755 + SpeedPossibleVal_1756 + SpeedPossibleVal_1757 + SpeedPossibleVal_1758 + SpeedPossibleVal_1759 + SpeedPossibleVal_1760 + SpeedPossibleVal_1761 + SpeedPossibleVal_1762 + SpeedPossibleVal_1763 + SpeedPossibleVal_1764 + SpeedPossibleVal_1765 + SpeedPossibleVal_1766 + SpeedPossibleVal_1767 + SpeedPossibleVal_1768 + SpeedPossibleVal_1769 + SpeedPossibleVal_1770 + SpeedPossibleVal_1771 + SpeedPossibleVal_1772 + SpeedPossibleVal_1773 + SpeedPossibleVal_1774 + SpeedPossibleVal_1775 + SpeedPossibleVal_1776 + SpeedPossibleVal_1777 + SpeedPossibleVal_1778 + SpeedPossibleVal_1779 + SpeedPossibleVal_1780 + SpeedPossibleVal_1781 + SpeedPossibleVal_1782 + SpeedPossibleVal_1783 + SpeedPossibleVal_1784 + SpeedPossibleVal_1785 + SpeedPossibleVal_1786 + SpeedPossibleVal_1787 + SpeedPossibleVal_1788 + SpeedPossibleVal_1789 + SpeedPossibleVal_1790 + SpeedPossibleVal_1791 + SpeedPossibleVal_1792 + SpeedPossibleVal_1793 + SpeedPossibleVal_1794 + SpeedPossibleVal_1795 + SpeedPossibleVal_1796 + SpeedPossibleVal_1797 + SpeedPossibleVal_1798 + SpeedPossibleVal_1799 <= 0)
lola: after: (4000 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (WeightPossibleVal_off + WeightPossibleVal_on <= 0)
lola: after: (2 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (AltitudePossibleVal_5034 <= 0)
lola: after: (1 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (AltitudePossibleVal_6882 <= 0)
lola: after: (1 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (AltitudePossibleVal_400 <= 0)
lola: after: (1 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (SpeedPossibleVal_3806 <= 0)
lola: after: (1 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (AltitudePossibleVal_4697 <= 0)
lola: after: (1 <= 0)
lola: MAX(Plane_On_Ground_Signal_no_F + Plane_On_Ground_Signal_no_T) : MAX(stp3) : MAX(4000) : MAX(stp5) : MAX(stp5) : MAX(2) : MAX(P2) : MAX(Weight_Right_Wheel_on + Weight_Right_Wheel_off) : MAX(1) : MAX(1) : MAX(Speed_Right_Wheel_3165) : MAX(1) : MAX(1) : MAX(Speed_Left_Wheel_1959) : MAX(TheAltitude_4417) : MAX(1)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(4000)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(4000)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 0 markings, 0 edges, 0 markings/sec, 30 secs
lola: Structural Bound: 4294971295
lola: SUBRESULT
lola: result: 4000
lola: produced by: state space
lola: The maximum value of the given expression is 4000
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 231 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(2)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 0 markings, 0 edges, 0 markings/sec, 30 secs
lola: Structural Bound: 2
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 245 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(1)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 0 markings, 0 edges, 0 markings/sec, 30 secs
lola: Structural Bound: 4294967296
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 261 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(1)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 0 markings, 0 edges, 0 markings/sec, 30 secs
lola: Structural Bound: 4294967296
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 280 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(1)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 0 markings, 0 edges, 0 markings/sec, 30 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(1)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 0 markings, 0 edges, 0 markings/sec, 30 secs
lola: Structural Bound: 4294967296
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 328 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(1)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 0 markings, 0 edges, 0 markings/sec, 30 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 361 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(stp5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(stp5)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 0 markings, 0 edges, 0 markings/sec, 30 secs
lola: 0 markings, 0 edges, 0 markings/sec, 35 secs
lola: 0 markings, 0 edges, 0 markings/sec, 40 secs
lola: 0 markings, 0 edges, 0 markings/sec, 45 secs
lola: 0 markings, 0 edges, 0 markings/sec, 50 secs
lola: 0 markings, 0 edges, 0 markings/sec, 55 secs
lola: Structural Bound: 4294967295
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 398 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Speed_Right_Wheel_3165)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Speed_Right_Wheel_3165)
lola: processed formula length: 27
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 0 markings, 0 edges, 0 markings/sec, 30 secs
lola: 0 markings, 0 edges, 0 markings/sec, 35 secs
lola: 0 markings, 0 edges, 0 markings/sec, 40 secs
lola: 0 markings, 0 edges, 0 markings/sec, 45 secs
lola: 0 markings, 0 edges, 0 markings/sec, 50 secs
lola: 0 markings, 0 edges, 0 markings/sec, 55 secs
lola: Structural Bound: 4294967295
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4001 markings, 4000 edges
lola: ========================================
lola: subprocess 9 will run for 447 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(stp3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(stp3)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 0 markings, 0 edges, 0 markings/sec, 30 secs
lola: Structural Bound: 4294967295
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 515 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 0 markings, 0 edges, 0 markings/sec, 30 secs
lola: Structural Bound: 4294967295
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 11 will run for 611 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Speed_Left_Wheel_1959)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Speed_Left_Wheel_1959)
lola: processed formula length: 26
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 0 markings, 0 edges, 0 markings/sec, 30 secs
lola: Structural Bound: 4294967295
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4001 markings, 4000 edges
lola: ========================================
lola: subprocess 12 will run for 754 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(TheAltitude_4417)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(TheAltitude_4417)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 0 markings, 0 edges, 0 markings/sec, 30 secs
lola: 0 markings, 0 edges, 0 markings/sec, 35 secs
lola: 0 markings, 0 edges, 0 markings/sec, 40 secs
lola: 0 markings, 0 edges, 0 markings/sec, 45 secs
lola: 0 markings, 0 edges, 0 markings/sec, 50 secs
lola: 0 markings, 0 edges, 0 markings/sec, 55 secs
lola: Structural Bound: 4294967295
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 8001 markings, 8000 edges
lola: ========================================
lola: subprocess 13 will run for 984 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(stp5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(stp5)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 0 markings, 0 edges, 0 markings/sec, 30 secs
lola: Structural Bound: 4294967295
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1458 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Plane_On_Ground_Signal_no_F + Plane_On_Ground_Signal_no_T)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Plane_On_Ground_Signal_no_F + Plane_On_Ground_Signal_no_T)
lola: processed formula length: 62
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 0 markings, 0 edges, 0 markings/sec, 30 secs
lola: 0 markings, 0 edges, 0 markings/sec, 35 secs
lola: 0 markings, 0 edges, 0 markings/sec, 40 secs
lola: 0 markings, 0 edges, 0 markings/sec, 45 secs
lola: 0 markings, 0 edges, 0 markings/sec, 50 secs
lola: 0 markings, 0 edges, 0 markings/sec, 55 secs
lola: Structural Bound: 4294967295
lola: 163 markings, 217 edges, 33 markings/sec, 60 secs
lola: 407 markings, 548 edges, 49 markings/sec, 65 secs
lola: 650 markings, 877 edges, 49 markings/sec, 70 secs
lola: 895 markings, 1208 edges, 49 markings/sec, 75 secs
lola: 1140 markings, 1539 edges, 49 markings/sec, 80 secs
lola: 1387 markings, 1873 edges, 49 markings/sec, 85 secs
lola: 1633 markings, 2206 edges, 49 markings/sec, 90 secs
lola: 1880 markings, 2540 edges, 49 markings/sec, 95 secs
lola: 2128 markings, 2875 edges, 50 markings/sec, 100 secs
lola: 2378 markings, 3214 edges, 50 markings/sec, 105 secs
lola: 2627 markings, 3550 edges, 50 markings/sec, 110 secs
lola: 2873 markings, 3884 edges, 49 markings/sec, 115 secs
lola: 3126 markings, 4226 edges, 51 markings/sec, 120 secs
lola: 3377 markings, 4566 edges, 50 markings/sec, 125 secs
lola: 3627 markings, 4904 edges, 50 markings/sec, 130 secs
lola: 3880 markings, 5247 edges, 51 markings/sec, 135 secs
lola: 4131 markings, 5586 edges, 50 markings/sec, 140 secs
lola: 4384 markings, 5928 edges, 51 markings/sec, 145 secs
lola: 4637 markings, 6271 edges, 51 markings/sec, 150 secs
lola: 4892 markings, 6616 edges, 51 markings/sec, 155 secs
lola: 5150 markings, 6965 edges, 52 markings/sec, 160 secs
lola: 5402 markings, 7306 edges, 50 markings/sec, 165 secs
lola: 5656 markings, 7650 edges, 51 markings/sec, 170 secs
lola: 5915 markings, 8000 edges, 52 markings/sec, 175 secs
lola: 6171 markings, 8346 edges, 51 markings/sec, 180 secs
lola: 6429 markings, 8696 edges, 52 markings/sec, 185 secs
lola: 6687 markings, 9044 edges, 52 markings/sec, 190 secs
lola: 6945 markings, 9392 edges, 52 markings/sec, 195 secs
lola: 7204 markings, 9744 edges, 52 markings/sec, 200 secs
lola: 7464 markings, 10095 edges, 52 markings/sec, 205 secs
lola: 7724 markings, 10447 edges, 52 markings/sec, 210 secs
lola: 7989 markings, 10806 edges, 53 markings/sec, 215 secs
lola: 8254 markings, 11163 edges, 53 markings/sec, 220 secs
lola: 8517 markings, 11520 edges, 53 markings/sec, 225 secs
lola: 8785 markings, 11883 edges, 54 markings/sec, 230 secs
lola: 9054 markings, 12246 edges, 54 markings/sec, 235 secs
lola: 9322 markings, 12609 edges, 54 markings/sec, 240 secs
lola: 9591 markings, 12972 edges, 54 markings/sec, 245 secs
lola: 9861 markings, 13338 edges, 54 markings/sec, 250 secs
lola: 10132 markings, 13705 edges, 54 markings/sec, 255 secs
lola: 10400 markings, 14068 edges, 54 markings/sec, 260 secs
lola: 10672 markings, 14436 edges, 54 markings/sec, 265 secs
lola: 10945 markings, 14806 edges, 55 markings/sec, 270 secs
lola: 11219 markings, 15176 edges, 55 markings/sec, 275 secs
lola: 11493 markings, 15546 edges, 55 markings/sec, 280 secs
lola: 11769 markings, 15920 edges, 55 markings/sec, 285 secs
lola: 12047 markings, 16296 edges, 56 markings/sec, 290 secs
lola: 12321 markings, 16667 edges, 55 markings/sec, 295 secs
lola: 12600 markings, 17043 edges, 56 markings/sec, 300 secs
lola: 12880 markings, 17423 edges, 56 markings/sec, 305 secs
lola: 13158 markings, 17799 edges, 56 markings/sec, 310 secs
lola: 13439 markings, 18178 edges, 56 markings/sec, 315 secs
lola: 13719 markings, 18558 edges, 56 markings/sec, 320 secs
lola: 14001 markings, 18939 edges, 56 markings/sec, 325 secs
lola: 14284 markings, 19323 edges, 57 markings/sec, 330 secs
lola: 14568 markings, 19707 edges, 57 markings/sec, 335 secs
lola: 14852 markings, 20091 edges, 57 markings/sec, 340 secs
lola: 15139 markings, 20478 edges, 57 markings/sec, 345 secs
lola: 15425 markings, 20866 edges, 57 markings/sec, 350 secs
lola: 15711 markings, 21254 edges, 57 markings/sec, 355 secs
lola: 16001 markings, 21646 edges, 58 markings/sec, 360 secs
lola: 16289 markings, 22034 edges, 58 markings/sec, 365 secs
lola: 16579 markings, 22428 edges, 58 markings/sec, 370 secs
lola: 16867 markings, 22816 edges, 58 markings/sec, 375 secs
lola: 17158 markings, 23211 edges, 58 markings/sec, 380 secs
lola: 17452 markings, 23608 edges, 59 markings/sec, 385 secs
lola: 17734 markings, 23989 edges, 56 markings/sec, 390 secs
lola: 18024 markings, 24383 edges, 58 markings/sec, 395 secs
lola: 18303 markings, 24760 edges, 56 markings/sec, 400 secs
lola: 18598 markings, 25159 edges, 59 markings/sec, 405 secs
lola: 18896 markings, 25561 edges, 60 markings/sec, 410 secs
lola: 19191 markings, 25961 edges, 59 markings/sec, 415 secs
lola: 19488 markings, 26363 edges, 59 markings/sec, 420 secs
lola: 19788 markings, 26769 edges, 60 markings/sec, 425 secs
lola: 20089 markings, 27177 edges, 60 markings/sec, 430 secs
lola: 20394 markings, 27589 edges, 61 markings/sec, 435 secs
lola: 20695 markings, 27996 edges, 60 markings/sec, 440 secs
lola: 20999 markings, 28408 edges, 61 markings/sec, 445 secs
lola: 21305 markings, 28822 edges, 61 markings/sec, 450 secs
lola: 21612 markings, 29237 edges, 61 markings/sec, 455 secs
lola: 21918 markings, 29651 edges, 61 markings/sec, 460 secs
lola: 22228 markings, 30069 edges, 62 markings/sec, 465 secs
lola: 22536 markings, 30487 edges, 62 markings/sec, 470 secs
lola: 22849 markings, 30910 edges, 63 markings/sec, 475 secs
lola: 23158 markings, 31329 edges, 62 markings/sec, 480 secs
lola: 23470 markings, 31750 edges, 62 markings/sec, 485 secs
lola: 23779 markings, 32169 edges, 62 markings/sec, 490 secs
lola: 24094 markings, 32595 edges, 63 markings/sec, 495 secs
lola: 24415 markings, 33028 edges, 64 markings/sec, 500 secs
lola: 24733 markings, 33459 edges, 64 markings/sec, 505 secs
lola: 25054 markings, 33894 edges, 64 markings/sec, 510 secs
lola: 25375 markings, 34328 edges, 64 markings/sec, 515 secs
lola: 25697 markings, 34763 edges, 64 markings/sec, 520 secs
lola: 26021 markings, 35202 edges, 65 markings/sec, 525 secs
lola: 26345 markings, 35641 edges, 65 markings/sec, 530 secs
lola: 26673 markings, 36084 edges, 66 markings/sec, 535 secs
lola: 27001 markings, 36528 edges, 66 markings/sec, 540 secs
lola: 27330 markings, 36973 edges, 66 markings/sec, 545 secs
lola: 27659 markings, 37418 edges, 66 markings/sec, 550 secs
lola: 27991 markings, 37867 edges, 66 markings/sec, 555 secs
lola: 28322 markings, 38315 edges, 66 markings/sec, 560 secs
lola: 28655 markings, 38765 edges, 67 markings/sec, 565 secs
lola: 29066 markings, 40958 edges, 82 markings/sec, 570 secs
lola: 30104 markings, 43996 edges, 208 markings/sec, 575 secs
lola: 33991 markings, 50277 edges, 777 markings/sec, 580 secs
lola: 34268 markings, 51108 edges, 55 markings/sec, 585 secs
lola: 34544 markings, 51936 edges, 55 markings/sec, 590 secs
lola: 34820 markings, 52764 edges, 55 markings/sec, 595 secs
lola: 35095 markings, 53589 edges, 55 markings/sec, 600 secs
lola: 35371 markings, 54417 edges, 55 markings/sec, 605 secs
lola: 35646 markings, 55242 edges, 55 markings/sec, 610 secs
lola: 35897 markings, 57591 edges, 50 markings/sec, 615 secs
lola: 36158 markings, 58113 edges, 52 markings/sec, 620 secs
lola: 36426 markings, 58649 edges, 54 markings/sec, 625 secs
lola: 36694 markings, 59645 edges, 54 markings/sec, 630 secs
lola: 36957 markings, 61710 edges, 53 markings/sec, 635 secs
lola: 37237 markings, 62270 edges, 56 markings/sec, 640 secs
lola: 37516 markings, 62828 edges, 56 markings/sec, 645 secs
lola: 37794 markings, 63384 edges, 56 markings/sec, 650 secs
lola: 38073 markings, 63942 edges, 56 markings/sec, 655 secs
lola: 38351 markings, 64498 edges, 56 markings/sec, 660 secs
lola: 38629 markings, 65054 edges, 56 markings/sec, 665 secs
lola: 38874 markings, 67543 edges, 49 markings/sec, 670 secs
lola: 39141 markings, 68077 edges, 53 markings/sec, 675 secs
lola: 39402 markings, 68599 edges, 52 markings/sec, 680 secs
lola: 39663 markings, 69121 edges, 52 markings/sec, 685 secs
lola: 39923 markings, 69641 edges, 52 markings/sec, 690 secs
lola: 40184 markings, 70163 edges, 52 markings/sec, 695 secs
lola: 40446 markings, 70687 edges, 52 markings/sec, 700 secs
lola: 40710 markings, 71239 edges, 53 markings/sec, 705 secs
lola: 40983 markings, 72331 edges, 55 markings/sec, 710 secs
lola: 41257 markings, 73427 edges, 55 markings/sec, 715 secs
lola: 41530 markings, 74519 edges, 55 markings/sec, 720 secs
lola: 41803 markings, 75611 edges, 55 markings/sec, 725 secs
lola: 42076 markings, 76703 edges, 55 markings/sec, 730 secs
lola: 42348 markings, 77791 edges, 54 markings/sec, 735 secs
lola: 42619 markings, 78875 edges, 54 markings/sec, 740 secs
lola: 42919 markings, 79515 edges, 60 markings/sec, 745 secs
lola: 43235 markings, 79974 edges, 63 markings/sec, 750 secs
lola: 43556 markings, 80440 edges, 64 markings/sec, 755 secs
lola: 43877 markings, 80909 edges, 64 markings/sec, 760 secs
lola: 44201 markings, 81380 edges, 65 markings/sec, 765 secs
lola: 44526 markings, 81853 edges, 65 markings/sec, 770 secs
lola: 44854 markings, 82328 edges, 66 markings/sec, 775 secs
lola: 45181 markings, 82805 edges, 65 markings/sec, 780 secs
lola: 45514 markings, 83288 edges, 67 markings/sec, 785 secs
lola: 45848 markings, 83776 edges, 67 markings/sec, 790 secs
lola: 46177 markings, 86218 edges, 66 markings/sec, 795 secs
lola: 46550 markings, 86684 edges, 75 markings/sec, 800 secs
lola: 46924 markings, 87151 edges, 75 markings/sec, 805 secs
lola: 47296 markings, 87616 edges, 74 markings/sec, 810 secs
lola: 47669 markings, 88083 edges, 75 markings/sec, 815 secs
lola: 48041 markings, 88548 edges, 74 markings/sec, 820 secs
lola: 48416 markings, 89016 edges, 75 markings/sec, 825 secs
lola: 48788 markings, 89481 edges, 74 markings/sec, 830 secs
lola: 49160 markings, 89946 edges, 74 markings/sec, 835 secs
lola: 49532 markings, 90411 edges, 74 markings/sec, 840 secs
lola: 49905 markings, 90878 edges, 75 markings/sec, 845 secs
lola: 50278 markings, 91344 edges, 75 markings/sec, 850 secs
lola: 50652 markings, 91811 edges, 75 markings/sec, 855 secs
lola: 51024 markings, 92276 edges, 74 markings/sec, 860 secs
lola: 51396 markings, 92741 edges, 74 markings/sec, 865 secs
lola: 51769 markings, 93208 edges, 75 markings/sec, 870 secs
lola: 52142 markings, 93674 edges, 75 markings/sec, 875 secs
lola: 52514 markings, 94139 edges, 74 markings/sec, 880 secs
lola: 52888 markings, 94606 edges, 75 markings/sec, 885 secs
lola: 53261 markings, 95073 edges, 75 markings/sec, 890 secs
lola: 53632 markings, 95536 edges, 74 markings/sec, 895 secs
lola: 54004 markings, 96001 edges, 74 markings/sec, 900 secs
lola: 54134 markings, 110157 edges, 26 markings/sec, 905 secs
lola: 54478 markings, 110569 edges, 69 markings/sec, 910 secs
lola: 54811 markings, 110969 edges, 67 markings/sec, 915 secs
lola: 55138 markings, 111361 edges, 65 markings/sec, 920 secs
lola: 55470 markings, 111760 edges, 66 markings/sec, 925 secs
lola: 55805 markings, 112162 edges, 67 markings/sec, 930 secs
lola: 56134 markings, 112557 edges, 66 markings/sec, 935 secs
lola: 56468 markings, 112957 edges, 67 markings/sec, 940 secs
lola: 56799 markings, 113355 edges, 66 markings/sec, 945 secs
lola: 57130 markings, 113752 edges, 66 markings/sec, 950 secs
lola: 57461 markings, 114149 edges, 66 markings/sec, 955 secs
lola: 57788 markings, 114541 edges, 65 markings/sec, 960 secs
lola: 58124 markings, 114945 edges, 67 markings/sec, 965 secs
lola: 58461 markings, 115349 edges, 67 markings/sec, 970 secs
lola: 58790 markings, 115744 edges, 66 markings/sec, 975 secs
lola: 59120 markings, 116140 edges, 66 markings/sec, 980 secs
lola: 59453 markings, 116539 edges, 67 markings/sec, 985 secs
lola: 59778 markings, 116929 edges, 65 markings/sec, 990 secs
lola: 60110 markings, 117328 edges, 66 markings/sec, 995 secs
lola: 60444 markings, 117729 edges, 67 markings/sec, 1000 secs
lola: 60771 markings, 118121 edges, 65 markings/sec, 1005 secs
lola: 61101 markings, 118517 edges, 66 markings/sec, 1010 secs
lola: 61438 markings, 118921 edges, 67 markings/sec, 1015 secs
lola: 61766 markings, 119315 edges, 66 markings/sec, 1020 secs
lola: 62096 markings, 119711 edges, 66 markings/sec, 1025 secs
lola: 62430 markings, 120113 edges, 67 markings/sec, 1030 secs
lola: 62760 markings, 120508 edges, 66 markings/sec, 1035 secs
lola: 63096 markings, 120911 edges, 67 markings/sec, 1040 secs
lola: 63428 markings, 121309 edges, 66 markings/sec, 1045 secs
lola: 63775 markings, 121726 edges, 69 markings/sec, 1050 secs
lola: 64016 markings, 129142 edges, 48 markings/sec, 1055 secs
lola: 64189 markings, 138617 edges, 35 markings/sec, 1060 secs
lola: 64463 markings, 139576 edges, 55 markings/sec, 1065 secs
lola: 64738 markings, 140539 edges, 55 markings/sec, 1070 secs
lola: 65014 markings, 141505 edges, 55 markings/sec, 1075 secs
lola: 65289 markings, 142469 edges, 55 markings/sec, 1080 secs
lola: 65565 markings, 143433 edges, 55 markings/sec, 1085 secs
lola: 65839 markings, 144392 edges, 55 markings/sec, 1090 secs
lola: 66113 markings, 145351 edges, 55 markings/sec, 1095 secs
lola: 66387 markings, 146310 edges, 55 markings/sec, 1100 secs
lola: 66661 markings, 147269 edges, 55 markings/sec, 1105 secs
lola: 66935 markings, 148228 edges, 55 markings/sec, 1110 secs
lola: 67208 markings, 149184 edges, 55 markings/sec, 1115 secs
lola: 67482 markings, 150143 edges, 55 markings/sec, 1120 secs
lola: 67754 markings, 151095 edges, 54 markings/sec, 1125 secs
lola: 68019 markings, 152625 edges, 53 markings/sec, 1130 secs
lola: 68225 markings, 156302 edges, 41 markings/sec, 1135 secs
lola: 68464 markings, 156625 edges, 48 markings/sec, 1140 secs
lola: 68708 markings, 156955 edges, 49 markings/sec, 1145 secs
lola: 68947 markings, 157279 edges, 48 markings/sec, 1150 secs
lola: 69188 markings, 157604 edges, 48 markings/sec, 1155 secs
lola: 69428 markings, 157929 edges, 48 markings/sec, 1160 secs
lola: 69672 markings, 158259 edges, 49 markings/sec, 1165 secs
lola: 69914 markings, 158586 edges, 48 markings/sec, 1170 secs
lola: 70158 markings, 158917 edges, 49 markings/sec, 1175 secs
lola: 70400 markings, 159243 edges, 48 markings/sec, 1180 secs
lola: 70647 markings, 159579 edges, 49 markings/sec, 1185 secs
lola: 70894 markings, 159913 edges, 49 markings/sec, 1190 secs
lola: 71139 markings, 160244 edges, 49 markings/sec, 1195 secs
lola: 71383 markings, 160574 edges, 49 markings/sec, 1200 secs
lola: 71633 markings, 160913 edges, 50 markings/sec, 1205 secs
lola: 71880 markings, 161247 edges, 49 markings/sec, 1210 secs
lola: 72130 markings, 161585 edges, 50 markings/sec, 1215 secs
lola: 72378 markings, 161919 edges, 50 markings/sec, 1220 secs
lola: 72619 markings, 162247 edges, 48 markings/sec, 1225 secs
lola: 72868 markings, 162583 edges, 50 markings/sec, 1230 secs
lola: 73116 markings, 162919 edges, 50 markings/sec, 1235 secs
lola: 73364 markings, 163253 edges, 50 markings/sec, 1240 secs
lola: 73616 markings, 163595 edges, 50 markings/sec, 1245 secs
lola: 73866 markings, 163933 edges, 50 markings/sec, 1250 secs
lola: 74118 markings, 164274 edges, 50 markings/sec, 1255 secs
lola: 74373 markings, 164619 edges, 51 markings/sec, 1260 secs
lola: 74626 markings, 164962 edges, 51 markings/sec, 1265 secs
lola: 74883 markings, 165309 edges, 51 markings/sec, 1270 secs
lola: 75138 markings, 165654 edges, 51 markings/sec, 1275 secs
lola: 75396 markings, 166003 edges, 52 markings/sec, 1280 secs
lola: 75653 markings, 166350 edges, 51 markings/sec, 1285 secs
lola: 75909 markings, 166698 edges, 51 markings/sec, 1290 secs
lola: 76163 markings, 167040 edges, 51 markings/sec, 1295 secs
lola: 76420 markings, 167389 edges, 51 markings/sec, 1300 secs
lola: 76682 markings, 167744 edges, 52 markings/sec, 1305 secs
lola: 76948 markings, 168103 edges, 53 markings/sec, 1310 secs
lola: 77217 markings, 168466 edges, 54 markings/sec, 1315 secs
lola: 77485 markings, 168830 edges, 54 markings/sec, 1320 secs
lola: 77754 markings, 169194 edges, 54 markings/sec, 1325 secs
lola: 78024 markings, 169559 edges, 54 markings/sec, 1330 secs
lola: 78295 markings, 169925 edges, 54 markings/sec, 1335 secs
lola: 78567 markings, 170293 edges, 54 markings/sec, 1340 secs
lola: 78839 markings, 170661 edges, 54 markings/sec, 1345 secs
lola: 79113 markings, 171033 edges, 55 markings/sec, 1350 secs
lola: 79388 markings, 171404 edges, 55 markings/sec, 1355 secs
lola: 79661 markings, 171774 edges, 55 markings/sec, 1360 secs
lola: 79934 markings, 172143 edges, 55 markings/sec, 1365 secs
lola: 80207 markings, 172512 edges, 55 markings/sec, 1370 secs
lola: 80483 markings, 172886 edges, 55 markings/sec, 1375 secs
lola: 80761 markings, 173262 edges, 56 markings/sec, 1380 secs
lola: 81037 markings, 173635 edges, 55 markings/sec, 1385 secs
lola: 81317 markings, 174014 edges, 56 markings/sec, 1390 secs
lola: 81598 markings, 174394 edges, 56 markings/sec, 1395 secs
lola: 81878 markings, 174773 edges, 56 markings/sec, 1400 secs
lola: 82160 markings, 175155 edges, 56 markings/sec, 1405 secs
lola: 82443 markings, 175537 edges, 57 markings/sec, 1410 secs
lola: 82727 markings, 175922 edges, 57 markings/sec, 1415 secs
lola: 83011 markings, 176306 edges, 57 markings/sec, 1420 secs
lola: 83298 markings, 176694 edges, 57 markings/sec, 1425 secs
lola: 83585 markings, 177083 edges, 57 markings/sec, 1430 secs
lola: 83874 markings, 177474 edges, 58 markings/sec, 1435 secs
lola: 84161 markings, 177862 edges, 57 markings/sec, 1440 secs
lola: 84449 markings, 178251 edges, 58 markings/sec, 1445 secs
lola: 84740 markings, 178646 edges, 58 markings/sec, 1450 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 4000 1 1 2 1 unknown 1 1 1 1 1 1 1 1
lola: memory consumption: 4158844 KB
lola: time consumption: 2111 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1459 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Weight_Right_Wheel_on + Weight_Right_Wheel_off)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Weight_Right_Wheel_on + Weight_Right_Wheel_off)
lola: processed formula length: 51
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 0 markings, 0 edges, 0 markings/sec, 30 secs
lola: Structural Bound: 4294967295
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 3 markings, 2 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(Plane_On_Ground_Signal_no_F + Plane_On_Ground_Signal_no_T)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Plane_On_Ground_Signal_no_F + Plane_On_Ground_Signal_no_T)
lola: processed formula length: 62
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 0 markings, 0 edges, 0 markings/sec, 30 secs
lola: 0 markings, 0 edges, 0 markings/sec, 35 secs
lola: 0 markings, 0 edges, 0 markings/sec, 40 secs
lola: 0 markings, 0 edges, 0 markings/sec, 45 secs
lola: 0 markings, 0 edges, 0 markings/sec, 50 secs
lola: 0 markings, 0 edges, 0 markings/sec, 55 secs
lola: Structural Bound: 4294967295
lola: 169 markings, 226 edges, 34 markings/sec, 60 secs
lola: 409 markings, 550 edges, 48 markings/sec, 65 secs
lola: 655 markings, 882 edges, 49 markings/sec, 70 secs
lola: 900 markings, 1215 edges, 49 markings/sec, 75 secs
lola: 1145 markings, 1546 edges, 49 markings/sec, 80 secs
lola: 1392 markings, 1880 edges, 49 markings/sec, 85 secs
lola: 1641 markings, 2216 edges, 50 markings/sec, 90 secs
lola: 1885 markings, 2547 edges, 49 markings/sec, 95 secs
lola: 2134 markings, 2883 edges, 50 markings/sec, 100 secs
lola: 2376 markings, 3212 edges, 48 markings/sec, 105 secs
lola: 2627 markings, 3550 edges, 50 markings/sec, 110 secs
lola: 2876 markings, 3887 edges, 50 markings/sec, 115 secs
lola: 3126 markings, 4226 edges, 50 markings/sec, 120 secs
lola: 3376 markings, 4564 edges, 50 markings/sec, 125 secs
lola: 3626 markings, 4903 edges, 50 markings/sec, 130 secs
lola: 3876 markings, 5241 edges, 50 markings/sec, 135 secs
lola: 4125 markings, 5578 edges, 50 markings/sec, 140 secs
lola: 4378 markings, 5919 edges, 51 markings/sec, 145 secs
lola: 4628 markings, 6259 edges, 50 markings/sec, 150 secs
lola: 4880 markings, 6599 edges, 50 markings/sec, 155 secs
lola: 5133 markings, 6942 edges, 51 markings/sec, 160 secs
lola: 5387 markings, 7285 edges, 51 markings/sec, 165 secs
lola: 5643 markings, 7632 edges, 51 markings/sec, 170 secs
lola: 5897 markings, 7975 edges, 51 markings/sec, 175 secs
lola: 6153 markings, 8322 edges, 51 markings/sec, 180 secs
lola: 6408 markings, 8667 edges, 51 markings/sec, 185 secs
lola: 6660 markings, 9008 edges, 50 markings/sec, 190 secs
lola: 6920 markings, 9359 edges, 52 markings/sec, 195 secs
lola: 7179 markings, 9710 edges, 52 markings/sec, 200 secs
lola: 7432 markings, 10051 edges, 51 markings/sec, 205 secs
lola: 7693 markings, 10404 edges, 52 markings/sec, 210 secs
lola: 7952 markings, 10756 edges, 52 markings/sec, 215 secs
lola: 8215 markings, 11112 edges, 53 markings/sec, 220 secs
lola: 8477 markings, 11466 edges, 52 markings/sec, 225 secs
lola: 8743 markings, 11826 edges, 53 markings/sec, 230 secs
lola: 9011 markings, 12188 edges, 54 markings/sec, 235 secs
lola: 9281 markings, 12554 edges, 54 markings/sec, 240 secs
lola: 9552 markings, 12920 edges, 54 markings/sec, 245 secs
lola: 9820 markings, 13283 edges, 54 markings/sec, 250 secs
lola: 10087 markings, 13644 edges, 53 markings/sec, 255 secs
lola: 10358 markings, 14011 edges, 54 markings/sec, 260 secs
lola: 10629 markings, 14378 edges, 54 markings/sec, 265 secs
lola: 10901 markings, 14746 edges, 54 markings/sec, 270 secs
lola: 11174 markings, 15115 edges, 55 markings/sec, 275 secs
lola: 11447 markings, 15484 edges, 55 markings/sec, 280 secs
lola: 11724 markings, 15859 edges, 55 markings/sec, 285 secs
lola: 12000 markings, 16232 edges, 55 markings/sec, 290 secs
lola: 12275 markings, 16604 edges, 55 markings/sec, 295 secs
lola: 12555 markings, 16982 edges, 56 markings/sec, 300 secs
lola: 12831 markings, 17357 edges, 55 markings/sec, 305 secs
lola: 13107 markings, 17730 edges, 55 markings/sec, 310 secs
lola: 13388 markings, 18109 edges, 56 markings/sec, 315 secs
lola: 13668 markings, 18489 edges, 56 markings/sec, 320 secs
lola: 13951 markings, 18872 edges, 57 markings/sec, 325 secs
lola: 14233 markings, 19254 edges, 56 markings/sec, 330 secs
lola: 14517 markings, 19639 edges, 57 markings/sec, 335 secs
lola: 14803 markings, 20025 edges, 57 markings/sec, 340 secs
lola: 15089 markings, 20411 edges, 57 markings/sec, 345 secs
lola: 15372 markings, 20795 edges, 57 markings/sec, 350 secs
lola: 15658 markings, 21181 edges, 57 markings/sec, 355 secs
lola: 15949 markings, 21574 edges, 58 markings/sec, 360 secs
lola: 16238 markings, 21965 edges, 58 markings/sec, 365 secs
lola: 16525 markings, 22354 edges, 57 markings/sec, 370 secs
lola: 16816 markings, 22749 edges, 58 markings/sec, 375 secs
lola: 17108 markings, 23143 edges, 58 markings/sec, 380 secs
lola: 17397 markings, 23535 edges, 58 markings/sec, 385 secs
lola: 17686 markings, 23925 edges, 58 markings/sec, 390 secs
lola: 17982 markings, 24326 edges, 59 markings/sec, 395 secs
lola: 18279 markings, 24728 edges, 59 markings/sec, 400 secs
lola: 18576 markings, 25130 edges, 59 markings/sec, 405 secs
lola: 18873 markings, 25530 edges, 59 markings/sec, 410 secs
lola: 19170 markings, 25933 edges, 59 markings/sec, 415 secs
lola: 19465 markings, 26332 edges, 59 markings/sec, 420 secs
lola: 19764 markings, 26737 edges, 60 markings/sec, 425 secs
lola: 20065 markings, 27144 edges, 60 markings/sec, 430 secs
lola: 20370 markings, 27557 edges, 61 markings/sec, 435 secs
lola: 20675 markings, 27968 edges, 61 markings/sec, 440 secs
lola: 20979 markings, 28380 edges, 61 markings/sec, 445 secs
lola: 21285 markings, 28794 edges, 61 markings/sec, 450 secs
lola: 21591 markings, 29208 edges, 61 markings/sec, 455 secs
lola: 21899 markings, 29624 edges, 62 markings/sec, 460 secs
lola: 22207 markings, 30042 edges, 62 markings/sec, 465 secs
lola: 22519 markings, 30464 edges, 62 markings/sec, 470 secs
lola: 22832 markings, 30887 edges, 63 markings/sec, 475 secs
lola: 23141 markings, 31306 edges, 62 markings/sec, 480 secs
lola: 23455 markings, 31731 edges, 63 markings/sec, 485 secs
lola: 23765 markings, 32150 edges, 62 markings/sec, 490 secs
lola: 24082 markings, 32578 edges, 63 markings/sec, 495 secs
lola: 24400 markings, 33009 edges, 64 markings/sec, 500 secs
lola: 24716 markings, 33436 edges, 63 markings/sec, 505 secs
lola: 25035 markings, 33868 edges, 64 markings/sec, 510 secs
lola: 25357 markings, 34303 edges, 64 markings/sec, 515 secs
lola: 25676 markings, 34735 edges, 64 markings/sec, 520 secs
lola: 26002 markings, 35175 edges, 65 markings/sec, 525 secs
lola: 26327 markings, 35616 edges, 65 markings/sec, 530 secs
lola: 26654 markings, 36058 edges, 65 markings/sec, 535 secs
lola: 26982 markings, 36501 edges, 66 markings/sec, 540 secs
lola: 27308 markings, 36943 edges, 65 markings/sec, 545 secs
lola: 27641 markings, 37394 edges, 67 markings/sec, 550 secs
lola: 27971 markings, 37840 edges, 66 markings/sec, 555 secs
lola: 28301 markings, 38287 edges, 66 markings/sec, 560 secs
lola: 28632 markings, 38735 edges, 66 markings/sec, 565 secs
lola: 29018 markings, 40910 edges, 77 markings/sec, 570 secs
lola: 29789 markings, 42329 edges, 154 markings/sec, 575 secs
lola: 33973 markings, 50223 edges, 837 markings/sec, 580 secs
lola: 34249 markings, 51054 edges, 55 markings/sec, 585 secs
lola: 34526 markings, 51882 edges, 55 markings/sec, 590 secs
lola: 34802 markings, 52710 edges, 55 markings/sec, 595 secs
lola: 35077 markings, 53535 edges, 55 markings/sec, 600 secs
lola: 35353 markings, 54363 edges, 55 markings/sec, 605 secs
lola: 35628 markings, 55188 edges, 55 markings/sec, 610 secs
lola: 35881 markings, 57559 edges, 51 markings/sec, 615 secs
lola: 36142 markings, 58081 edges, 52 markings/sec, 620 secs
lola: 36409 markings, 58615 edges, 53 markings/sec, 625 secs
lola: 36682 markings, 59161 edges, 55 markings/sec, 630 secs
lola: 36940 markings, 61676 edges, 52 markings/sec, 635 secs
lola: 37220 markings, 62236 edges, 56 markings/sec, 640 secs
lola: 37499 markings, 62794 edges, 56 markings/sec, 645 secs
lola: 37777 markings, 63350 edges, 56 markings/sec, 650 secs
lola: 38056 markings, 63908 edges, 56 markings/sec, 655 secs
lola: 38334 markings, 64464 edges, 56 markings/sec, 660 secs
lola: 38612 markings, 65020 edges, 56 markings/sec, 665 secs
lola: 38859 markings, 67513 edges, 49 markings/sec, 670 secs
lola: 39124 markings, 68043 edges, 53 markings/sec, 675 secs
lola: 39387 markings, 68569 edges, 53 markings/sec, 680 secs
lola: 39649 markings, 69093 edges, 52 markings/sec, 685 secs
lola: 39908 markings, 69611 edges, 52 markings/sec, 690 secs
lola: 40170 markings, 70135 edges, 52 markings/sec, 695 secs
lola: 40430 markings, 70655 edges, 52 markings/sec, 700 secs
lola: 40696 markings, 71187 edges, 53 markings/sec, 705 secs
lola: 40969 markings, 72275 edges, 55 markings/sec, 710 secs
lola: 41243 markings, 73371 edges, 55 markings/sec, 715 secs
lola: 41517 markings, 74467 edges, 55 markings/sec, 720 secs
lola: 41789 markings, 75555 edges, 54 markings/sec, 725 secs
lola: 42062 markings, 76647 edges, 55 markings/sec, 730 secs
lola: 42334 markings, 77735 edges, 54 markings/sec, 735 secs
lola: 42606 markings, 78823 edges, 54 markings/sec, 740 secs
lola: 42905 markings, 79494 edges, 60 markings/sec, 745 secs
lola: 43219 markings, 79952 edges, 63 markings/sec, 750 secs
lola: 43537 markings, 80415 edges, 64 markings/sec, 755 secs
lola: 43857 markings, 80880 edges, 64 markings/sec, 760 secs
lola: 44180 markings, 81349 edges, 65 markings/sec, 765 secs
lola: 44506 markings, 81824 edges, 65 markings/sec, 770 secs
lola: 44833 markings, 82299 edges, 65 markings/sec, 775 secs
lola: 45158 markings, 82772 edges, 65 markings/sec, 780 secs
lola: 45483 markings, 83245 edges, 65 markings/sec, 785 secs
lola: 45808 markings, 83717 edges, 65 markings/sec, 790 secs
lola: 46126 markings, 86154 edges, 64 markings/sec, 795 secs
lola: 46489 markings, 86608 edges, 73 markings/sec, 800 secs
lola: 46857 markings, 87068 edges, 74 markings/sec, 805 secs
lola: 47230 markings, 87534 edges, 75 markings/sec, 810 secs
lola: 47604 markings, 88001 edges, 75 markings/sec, 815 secs
lola: 47976 markings, 88466 edges, 74 markings/sec, 820 secs
lola: 48350 markings, 88934 edges, 75 markings/sec, 825 secs
lola: 48721 markings, 89398 edges, 74 markings/sec, 830 secs
lola: 49092 markings, 89861 edges, 74 markings/sec, 835 secs
lola: 49464 markings, 90326 edges, 74 markings/sec, 840 secs
lola: 49837 markings, 90793 edges, 75 markings/sec, 845 secs
lola: 50210 markings, 91259 edges, 75 markings/sec, 850 secs
lola: 50582 markings, 91724 edges, 74 markings/sec, 855 secs
lola: 50954 markings, 92189 edges, 74 markings/sec, 860 secs
lola: 51325 markings, 92653 edges, 74 markings/sec, 865 secs
lola: 51692 markings, 93112 edges, 73 markings/sec, 870 secs
lola: 52060 markings, 93571 edges, 74 markings/sec, 875 secs
lola: 52429 markings, 94033 edges, 74 markings/sec, 880 secs
lola: 52801 markings, 94498 edges, 74 markings/sec, 885 secs
lola: 53173 markings, 94963 edges, 74 markings/sec, 890 secs
lola: 53544 markings, 95426 edges, 74 markings/sec, 895 secs
lola: 53910 markings, 95884 edges, 73 markings/sec, 900 secs
lola: 54053 markings, 110059 edges, 29 markings/sec, 905 secs
lola: 54385 markings, 110458 edges, 66 markings/sec, 910 secs
lola: 54713 markings, 110851 edges, 66 markings/sec, 915 secs
lola: 55045 markings, 111250 edges, 66 markings/sec, 920 secs
lola: 55375 markings, 111646 edges, 66 markings/sec, 925 secs
lola: 55710 markings, 112048 edges, 67 markings/sec, 930 secs
lola: 56036 markings, 112439 edges, 65 markings/sec, 935 secs
lola: 56361 markings, 112829 edges, 65 markings/sec, 940 secs
lola: 56695 markings, 113230 edges, 67 markings/sec, 945 secs
lola: 57020 markings, 113620 edges, 65 markings/sec, 950 secs
lola: 57345 markings, 114010 edges, 65 markings/sec, 955 secs
lola: 57669 markings, 114399 edges, 65 markings/sec, 960 secs
lola: 58000 markings, 114796 edges, 66 markings/sec, 965 secs
lola: 58321 markings, 115181 edges, 64 markings/sec, 970 secs
lola: 58650 markings, 115576 edges, 66 markings/sec, 975 secs
lola: 58978 markings, 115969 edges, 66 markings/sec, 980 secs
lola: 59306 markings, 116363 edges, 66 markings/sec, 985 secs
lola: 59633 markings, 116755 edges, 65 markings/sec, 990 secs
lola: 59961 markings, 117149 edges, 66 markings/sec, 995 secs
lola: 60286 markings, 117539 edges, 65 markings/sec, 1000 secs
lola: 60616 markings, 117935 edges, 66 markings/sec, 1005 secs
lola: 60945 markings, 118330 edges, 66 markings/sec, 1010 secs
lola: 61270 markings, 118720 edges, 65 markings/sec, 1015 secs
lola: 61595 markings, 119110 edges, 65 markings/sec, 1020 secs
lola: 61920 markings, 119501 edges, 65 markings/sec, 1025 secs
lola: 62251 markings, 119897 edges, 66 markings/sec, 1030 secs
lola: 62578 markings, 120289 edges, 65 markings/sec, 1035 secs
lola: 62905 markings, 120682 edges, 65 markings/sec, 1040 secs
lola: 63233 markings, 121075 edges, 66 markings/sec, 1045 secs
lola: 63563 markings, 121471 edges, 66 markings/sec, 1050 secs
lola: 63901 markings, 121877 edges, 68 markings/sec, 1055 secs
lola: 64016 markings, 137691 edges, 23 markings/sec, 1060 secs
lola: 64279 markings, 138932 edges, 53 markings/sec, 1065 secs
lola: 64552 markings, 139888 edges, 55 markings/sec, 1070 secs
lola: 64825 markings, 140843 edges, 55 markings/sec, 1075 secs
lola: 65100 markings, 141806 edges, 55 markings/sec, 1080 secs
lola: 65374 markings, 142765 edges, 55 markings/sec, 1085 secs
lola: 65648 markings, 143724 edges, 55 markings/sec, 1090 secs
lola: 65923 markings, 144686 edges, 55 markings/sec, 1095 secs
lola: 66197 markings, 145645 edges, 55 markings/sec, 1100 secs
lola: 66472 markings, 146608 edges, 55 markings/sec, 1105 secs
lola: 66746 markings, 147567 edges, 55 markings/sec, 1110 secs
lola: 67019 markings, 148522 edges, 55 markings/sec, 1115 secs
lola: 67293 markings, 149481 edges, 55 markings/sec, 1120 secs
lola: 67566 markings, 150437 edges, 55 markings/sec, 1125 secs
lola: 67839 markings, 151392 edges, 55 markings/sec, 1130 secs
lola: 68057 markings, 156074 edges, 44 markings/sec, 1135 secs
lola: 68298 markings, 156399 edges, 48 markings/sec, 1140 secs
lola: 68536 markings, 156721 edges, 48 markings/sec, 1145 secs
lola: 68776 markings, 157047 edges, 48 markings/sec, 1150 secs
lola: 69016 markings, 157372 edges, 48 markings/sec, 1155 secs
lola: 69259 markings, 157700 edges, 49 markings/sec, 1160 secs
lola: 69500 markings, 158027 edges, 48 markings/sec, 1165 secs
lola: 69745 markings, 158358 edges, 49 markings/sec, 1170 secs
lola: 69988 markings, 158687 edges, 49 markings/sec, 1175 secs
lola: 70228 markings, 159011 edges, 48 markings/sec, 1180 secs
lola: 70476 markings, 159347 edges, 50 markings/sec, 1185 secs
lola: 70720 markings, 159677 edges, 49 markings/sec, 1190 secs
lola: 70961 markings, 160002 edges, 48 markings/sec, 1195 secs
lola: 71207 markings, 160336 edges, 49 markings/sec, 1200 secs
lola: 71451 markings, 160666 edges, 49 markings/sec, 1205 secs
lola: 71699 markings, 161001 edges, 50 markings/sec, 1210 secs
lola: 71944 markings, 161333 edges, 49 markings/sec, 1215 secs
lola: 72193 markings, 161670 edges, 50 markings/sec, 1220 secs
lola: 72442 markings, 162007 edges, 50 markings/sec, 1225 secs
lola: 72690 markings, 162342 edges, 50 markings/sec, 1230 secs
lola: 72943 markings, 162685 edges, 51 markings/sec, 1235 secs
lola: 73189 markings, 163018 edges, 49 markings/sec, 1240 secs
lola: 73439 markings, 163356 edges, 50 markings/sec, 1245 secs
lola: 73689 markings, 163694 edges, 50 markings/sec, 1250 secs
lola: 73933 markings, 164024 edges, 49 markings/sec, 1255 secs
lola: 74189 markings, 164370 edges, 51 markings/sec, 1260 secs
lola: 74443 markings, 164714 edges, 51 markings/sec, 1265 secs
lola: 74693 markings, 165053 edges, 50 markings/sec, 1270 secs
lola: 74949 markings, 165399 edges, 51 markings/sec, 1275 secs
lola: 75202 markings, 165741 edges, 51 markings/sec, 1280 secs
lola: 75459 markings, 166089 edges, 51 markings/sec, 1285 secs
lola: 75714 markings, 166434 edges, 51 markings/sec, 1290 secs
lola: 75972 markings, 166783 edges, 52 markings/sec, 1295 secs
lola: 76229 markings, 167130 edges, 51 markings/sec, 1300 secs
lola: 76483 markings, 167474 edges, 51 markings/sec, 1305 secs
lola: 76749 markings, 167834 edges, 53 markings/sec, 1310 secs
lola: 77015 markings, 168194 edges, 53 markings/sec, 1315 secs
lola: 77281 markings, 168554 edges, 53 markings/sec, 1320 secs
lola: 77549 markings, 168917 edges, 54 markings/sec, 1325 secs
lola: 77819 markings, 169281 edges, 54 markings/sec, 1330 secs
lola: 78087 markings, 169644 edges, 54 markings/sec, 1335 secs
lola: 78357 markings, 170010 edges, 54 markings/sec, 1340 secs
lola: 78628 markings, 170375 edges, 54 markings/sec, 1345 secs
lola: 78902 markings, 170747 edges, 55 markings/sec, 1350 secs
lola: 79175 markings, 171116 edges, 55 markings/sec, 1355 secs
lola: 79450 markings, 171487 edges, 55 markings/sec, 1360 secs
lola: 79724 markings, 171859 edges, 55 markings/sec, 1365 secs
lola: 79998 markings, 172230 edges, 55 markings/sec, 1370 secs
lola: 80274 markings, 172603 edges, 55 markings/sec, 1375 secs
lola: 80550 markings, 172977 edges, 55 markings/sec, 1380 secs
lola: 80827 markings, 173350 edges, 55 markings/sec, 1385 secs
lola: 81103 markings, 173725 edges, 55 markings/sec, 1390 secs
lola: 81383 markings, 174104 edges, 56 markings/sec, 1395 secs
lola: 81662 markings, 174481 edges, 56 markings/sec, 1400 secs
lola: 81941 markings, 174858 edges, 56 markings/sec, 1405 secs
lola: 82225 markings, 175243 edges, 57 markings/sec, 1410 secs
lola: 82507 markings, 175624 edges, 56 markings/sec, 1415 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 4000 1 1 2 1 1 1 1 1 1 1 1 1 1
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: unknown 1 4000 1 1 2 1 1 1 1 1 1 1 1 1 1
lola:
preliminary result: unknown 1 4000 1 1 2 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 4156184 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 4000 1 1 2 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 4156184 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished
BK_STOP 1552750613332
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AirplaneLD-PT-4000"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3957"
echo " Executing tool lola"
echo " Input is AirplaneLD-PT-4000, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r005-smll-155225009300344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-PT-4000.tgz
mv AirplaneLD-PT-4000 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;