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.r011-smll-155225030100115.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 win2018
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 r011-smll-155225030100115
=====================================================================

--------------------
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 1552346732114

info: Time: 3600 - MCC
===========================================================================================
prep: translating AirplaneLD-PT-4000 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating AirplaneLD-PT-4000 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ AirplaneLD-PT-4000 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 60027/65536 symbol table entries, 21405 collisions
lola: preprocessing...
lola: Size of bit vector: 896608
lola: finding significant places
lola: 28019 places, 32008 transitions, 16014 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 24015 transition conflict sets
lola: TASK
lola: reading formula from AirplaneLD-PT-4000-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (SpeedPossibleVal_3600 + SpeedPossibleVal_3601 + SpeedPossibleVal_3602 + SpeedPossibleVal_3603 + SpeedPossibleVal_3604 + SpeedPossibleVal_3605 + SpeedPossibleVal_3606 + SpeedPossibleVal_3607 + SpeedPossibleVal_3608 + SpeedPossibleVal_3609 + SpeedPossibleVal_3610 + SpeedPossibleVal_3611 + SpeedPossibleVal_3612 + SpeedPossibleVal_3613 + SpeedPossibleVal_3614 + SpeedPossibleVal_3615 + SpeedPossibleVal_3616 + SpeedPossibleVal_3617 + SpeedPossibleVal_3618 + SpeedPossibleVal_3619 + SpeedPossibleVal_3620 + SpeedPossibleVal_3621 + SpeedPossibleVal_3622 + SpeedPossibleVal_3623 + SpeedPossibleVal_3624 + SpeedPossibleVal_3625 + SpeedPossibleVal_3626 + SpeedPossibleVal_3627 + SpeedPossibleVal_3628 + SpeedPossibleVal_3629 + SpeedPossibleVal_3630 + SpeedPossibleVal_2300 + SpeedPossibleVal_3631 + SpeedPossibleVal_2301 + SpeedPossibleVal_3632 + SpeedPossibleVal_2302 + SpeedPossibleVal_3633 + SpeedPossibleVal_2303 + SpeedPossibleVal_3634 + SpeedPossibleVal_2304 + SpeedPossibleVal_3635 + SpeedPossibleVal_2305 + SpeedPossibleVal_3636 + SpeedPossibleVal_2306 + SpeedPossibleVal_3637 + SpeedPossibleVal_2307 + SpeedPossibleVal_3638 + SpeedPossibleVal_2308 + SpeedPossibleVal_3639 + SpeedPossibleVal_2309 + SpeedPossibleVal_3640 + SpeedPossibleVal_2310 + SpeedPossibleVal_3641 + SpeedPossibleVal_2311 + SpeedPossibleVal_3642 + SpeedPossibleVal_2312 + SpeedPossibleVal_3643 + SpeedPossibleVal_2313 + SpeedPossibleVal_3644 + SpeedPossibleVal_2314 + SpeedPossibleVal_3645 + SpeedPossibleVal_2315 + SpeedPossibleVal_3646 + SpeedPossibleVal_2316 + SpeedPossibleVal_3647 + SpeedPossibleVal_2317 + SpeedPossibleVal_3648 + SpeedPossibleVal_2318 + SpeedPossibleVal_3649 + SpeedPossibleVal_2319 + SpeedPossibleVal_3650 + SpeedPossibleVal_2320 + SpeedPossibleVal_3651 + SpeedPossibleVal_2321 + SpeedPossibleVal_3652 + SpeedPossibleVal_2322 + SpeedPossibleVal_3653 + SpeedPossibleVal_2323 + SpeedPossibleVal_3654 + SpeedPossibleVal_2324 + SpeedPossibleVal_3655 + SpeedPossibleVal_2325 + SpeedPossibleVal_3656 + SpeedPossibleVal_2326 + SpeedPossibleVal_3657 + SpeedPossibleVal_2327 + SpeedPossibleVal_3658 + SpeedPossibleVal_2328 + SpeedPossibleVal_3659 + SpeedPossibleVal_400 + SpeedPossibleVal_2329 + SpeedPossibleVal_401 + SpeedPossibleVal_402 + SpeedPossibleVal_403 + SpeedPossibleVal_404 + SpeedPossibleVal_405 + SpeedPossibleVal_406 + SpeedPossibleVal_407 + SpeedPossibleVal_408 + SpeedPossibleVal_409 + SpeedPossibleVal_3660 + SpeedPossibleVal_2330 + SpeedPossibleVal_3661 + SpeedPossibleVal_1000 + SpeedPossibleVal_2331 + SpeedPossibleVal_3662 + SpeedPossibleVal_1001 + SpeedPossibleVal_2332 + SpeedPossibleVal_3663 + SpeedPossibleVal_1002 + SpeedPossibleVal_2333 + SpeedPossibleVal_3664 + SpeedPossibleVal_1003 + SpeedPossibleVal_2334 + SpeedPossibleVal_3665 + SpeedPossibleVal_1004 + SpeedPossibleVal_2335 + SpeedPossibleVal_3666 + SpeedPossibleVal_1005 + SpeedPossibleVal_2336 + SpeedPossibleVal_3667 + SpeedPossibleVal_1006 + SpeedPossibleVal_2337 + SpeedPossibleVal_3668 + SpeedPossibleVal_1007 + SpeedPossibleVal_2338 + SpeedPossibleVal_3669 + SpeedPossibleVal_410 + SpeedPossibleVal_1008 + SpeedPossibleVal_2339 + SpeedPossibleVal_411 + SpeedPossibleVal_1009 + SpeedPossibleVal_412 + SpeedPossibleVal_413 + SpeedPossibleVal_414 + SpeedPossibleVal_415 + SpeedPossibleVal_416 + SpeedPossibleVal_417 + SpeedPossibleVal_418 + SpeedPossibleVal_419 + SpeedPossibleVal_3670 + SpeedPossibleVal_2340 + SpeedPossibleVal_3671 + SpeedPossibleVal_1010 + SpeedPossibleVal_2341 + SpeedPossibleVal_3672 + SpeedPossibleVal_1011 + SpeedPossibleVal_2342 + SpeedPossibleVal_3673 + SpeedPossibleVal_1012 + SpeedPossibleVal_2343 + SpeedPossibleVal_3674 + SpeedPossibleVal_1013 + SpeedPossibleVal_2344 + SpeedPossibleVal_3675 + SpeedPossibleVal_1014 + SpeedPossibleVal_2345 + SpeedPossibleVal_3676 + SpeedPossibleVal_1015 + SpeedPossibleVal_2346 + SpeedPossibleVal_3677 + SpeedPossibleVal_1016 + SpeedPossibleVal_2347 + SpeedPossibleVal_3678 + SpeedPossibleVal_1017 + SpeedPossibleVal_2348 + SpeedPossibleVal_3679 + SpeedPossibleVal_420 + SpeedPossibleVal_1018 + SpeedPossibleVal_2349 + SpeedPossibleVal_421 + SpeedPossibleVal_1019 + SpeedPossibleVal_422 + SpeedPossibleVal_423 + SpeedPossibleVal_424 + SpeedPossibleVal_425 + SpeedPossibleVal_426 + SpeedPossibleVal_427 + SpeedPossibleVal_428 + SpeedPossibleVal_429 + SpeedPossibleVal_399 + SpeedPossibleVal_398 + SpeedPossibleVal_397 + SpeedPossibleVal_396 + SpeedPossibleVal_3680 + SpeedPossibleVal_2350 + SpeedPossibleVal_3681 + SpeedPossibleVal_1020 + SpeedPossibleVal_2351 + SpeedPossibleVal_3682 + SpeedPossibleVal_1021 + SpeedPossibleVal_2352 + SpeedPossibleVal_3683 + SpeedPossibleVal_1022 + SpeedPossibleVal_2353 + SpeedPossibleVal_3684 + SpeedPossibleVal_1023 + SpeedPossibleVal_2354 + SpeedPossibleVal_3685 + SpeedPossibleVal_1024 + SpeedPossibleVal_2355 + SpeedPossibleVal_3686 + SpeedPossibleVal_1025 + SpeedPossibleVal_2356 + SpeedPossibleVal_3687 + SpeedPossibleVal_1026 + SpeedPossibleVal_2357 + SpeedPossibleVal_3688 + SpeedPossibleVal_1027 + SpeedPossibleVal_2358 + SpeedPossibleVal_3689 + SpeedPossibleVal_430 + SpeedPossibleVal_1028 + SpeedPossibleVal_2359 + SpeedPossibleVal_431 + SpeedPossibleVal_1029 + SpeedPossibleVal_432 + SpeedPossibleVal_433 + SpeedPossibleVal_434 + SpeedPossibleVal_435 + SpeedPossibleVal_436 + SpeedPossibleVal_437 + SpeedPossibleVal_438 + SpeedPossibleVal_439 + 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_3690 + SpeedPossibleVal_2360 + SpeedPossibleVal_3691 + SpeedPossibleVal_1030 + SpeedPossibleVal_2361 + SpeedPossibleVal_3692 + SpeedPossibleVal_1031 + SpeedPossibleVal_2362 + SpeedPossibleVal_3693 + SpeedPossibleVal_1032 + SpeedPossibleVal_2363 + SpeedPossibleVal_3694 + SpeedPossibleVal_1033 + SpeedPossibleVal_2364 + SpeedPossibleVal_3695 + SpeedPossibleVal_1034 + SpeedPossibleVal_2365 + SpeedPossibleVal_3696 + SpeedPossibleVal_1035 + SpeedPossibleVal_2366 + SpeedPossibleVal_3697 + SpeedPossibleVal_1036 + SpeedPossibleVal_2367 + SpeedPossibleVal_3698 + SpeedPossibleVal_1037 + SpeedPossibleVal_2368 + SpeedPossibleVal_3699 + SpeedPossibleVal_440 + SpeedPossibleVal_1038 + SpeedPossibleVal_2369 + SpeedPossibleVal_441 + SpeedPossibleVal_1039 + SpeedPossibleVal_442 + SpeedPossibleVal_443 + SpeedPossibleVal_444 + SpeedPossibleVal_445 + SpeedPossibleVal_446 + SpeedPossibleVal_447 + SpeedPossibleVal_448 + SpeedPossibleVal_449 + SpeedPossibleVal_375 + SpeedPossibleVal_374 + SpeedPossibleVal_373 + SpeedPossibleVal_372 + SpeedPossibleVal_371 + SpeedPossibleVal_2299 + SpeedPossibleVal_370 + SpeedPossibleVal_2298 + SpeedPossibleVal_2297 + SpeedPossibleVal_2296 + SpeedPossibleVal_2295 + SpeedPossibleVal_2294 + SpeedPossibleVal_2293 + SpeedPossibleVal_2292 + SpeedPossibleVal_2291 + SpeedPossibleVal_2290 + SpeedPossibleVal_369 + SpeedPossibleVal_368 + SpeedPossibleVal_367 + SpeedPossibleVal_366 + SpeedPossibleVal_2370 + SpeedPossibleVal_1040 + SpeedPossibleVal_2371 + SpeedPossibleVal_1041 + SpeedPossibleVal_2372 + SpeedPossibleVal_1042 + SpeedPossibleVal_2373 + SpeedPossibleVal_1043 + SpeedPossibleVal_2374 + SpeedPossibleVal_1044 + SpeedPossibleVal_2375 + SpeedPossibleVal_1045 + SpeedPossibleVal_2376 + SpeedPossibleVal_1046 + SpeedPossibleVal_2377 + SpeedPossibleVal_1047 + SpeedPossibleVal_2378 + SpeedPossibleVal_450 + SpeedPossibleVal_1048 + SpeedPossibleVal_2379 + SpeedPossibleVal_451 + SpeedPossibleVal_1049 + SpeedPossibleVal_452 + SpeedPossibleVal_453 + SpeedPossibleVal_454 + SpeedPossibleVal_455 + SpeedPossibleVal_456 + SpeedPossibleVal_457 + SpeedPossibleVal_458 + SpeedPossibleVal_459 + SpeedPossibleVal_365 + SpeedPossibleVal_364 + SpeedPossibleVal_363 + SpeedPossibleVal_362 + SpeedPossibleVal_361 + SpeedPossibleVal_2289 + SpeedPossibleVal_360 + SpeedPossibleVal_2288 + SpeedPossibleVal_2287 + SpeedPossibleVal_2286 + SpeedPossibleVal_2285 + SpeedPossibleVal_2284 + SpeedPossibleVal_2283 + SpeedPossibleVal_2282 + SpeedPossibleVal_2281 + SpeedPossibleVal_2280 + SpeedPossibleVal_359 + SpeedPossibleVal_358 + SpeedPossibleVal_357 + SpeedPossibleVal_356 + SpeedPossibleVal_355 + SpeedPossibleVal_354 + SpeedPossibleVal_353 + SpeedPossibleVal_352 + SpeedPossibleVal_351 + SpeedPossibleVal_2279 + SpeedPossibleVal_350 + SpeedPossibleVal_2278 + SpeedPossibleVal_2277 + SpeedPossibleVal_2276 + SpeedPossibleVal_2380 + SpeedPossibleVal_1050 + SpeedPossibleVal_2381 + SpeedPossibleVal_1051 + SpeedPossibleVal_2382 + SpeedPossibleVal_1052 + SpeedPossibleVal_2383 + SpeedPossibleVal_1053 + SpeedPossibleVal_2384 + SpeedPossibleVal_1054 + SpeedPossibleVal_2385 + SpeedPossibleVal_1055 + SpeedPossibleVal_2386 + SpeedPossibleVal_1056 + SpeedPossibleVal_2387 + SpeedPossibleVal_1057 + SpeedPossibleVal_2388 + SpeedPossibleVal_460 + SpeedPossibleVal_1058 + SpeedPossibleVal_2389 + SpeedPossibleVal_461 + SpeedPossibleVal_1059 + SpeedPossibleVal_462 + SpeedPossibleVal_463 + SpeedPossibleVal_464 + SpeedPossibleVal_465 + SpeedPossibleVal_466 + SpeedPossibleVal_467 + SpeedPossibleVal_468 + SpeedPossibleVal_469 + SpeedPossibleVal_2275 + SpeedPossibleVal_2274 + SpeedPossibleVal_2273 + SpeedPossibleVal_2272 + SpeedPossibleVal_2271 + SpeedPossibleVal_2270 + SpeedPossibleVal_349 + SpeedPossibleVal_348 + SpeedPossibleVal_347 + SpeedPossibleVal_346 + SpeedPossibleVal_345 + SpeedPossibleVal_344 + SpeedPossibleVal_343 + SpeedPossibleVal_342 + SpeedPossibleVal_341 + SpeedPossibleVal_2269 + SpeedPossibleVal_340 + SpeedPossibleVal_3599 + SpeedPossibleVal_2268 + SpeedPossibleVal_3598 + SpeedPossibleVal_2390 + SpeedPossibleVal_1060 + SpeedPossibleVal_2391 + SpeedPossibleVal_1061 + SpeedPossibleVal_2392 + SpeedPossibleVal_1062 + SpeedPossibleVal_2393 + SpeedPossibleVal_1063 + SpeedPossibleVal_2394 + SpeedPossibleVal_1064 + SpeedPossibleVal_2395 + SpeedPossibleVal_1065 + SpeedPossibleVal_2396 + SpeedPossibleVal_1066 + SpeedPossibleVal_2397 + SpeedPossibleVal_1067 + SpeedPossibleVal_2398 + SpeedPossibleVal_470 + SpeedPossibleVal_1068 + SpeedPossibleVal_2399 + SpeedPossibleVal_471 + SpeedPossibleVal_1069 + SpeedPossibleVal_472 + SpeedPossibleVal_473 + SpeedPossibleVal_474 + SpeedPossibleVal_475 + SpeedPossibleVal_476 + SpeedPossibleVal_477 + SpeedPossibleVal_478 + SpeedPossibleVal_479 + SpeedPossibleVal_2267 + SpeedPossibleVal_3597 + SpeedPossibleVal_2266 + SpeedPossibleVal_3596 + SpeedPossibleVal_2265 + SpeedPossibleVal_3595 + SpeedPossibleVal_2264 + SpeedPossibleVal_3594 + SpeedPossibleVal_2263 + SpeedPossibleVal_3593 + SpeedPossibleVal_2262 + SpeedPossibleVal_3592 + SpeedPossibleVal_2261 + SpeedPossibleVal_3591 + SpeedPossibleVal_2260 + SpeedPossibleVal_3590 + SpeedPossibleVal_339 + SpeedPossibleVal_338 + SpeedPossibleVal_337 + SpeedPossibleVal_336 + SpeedPossibleVal_1070 + SpeedPossibleVal_1071 + SpeedPossibleVal_1072 + SpeedPossibleVal_1073 + SpeedPossibleVal_1074 + SpeedPossibleVal_1075 + SpeedPossibleVal_1076 + SpeedPossibleVal_1077 + SpeedPossibleVal_480 + SpeedPossibleVal_1078 + SpeedPossibleVal_481 + SpeedPossibleVal_1079 + SpeedPossibleVal_482 + SpeedPossibleVal_483 + SpeedPossibleVal_484 + SpeedPossibleVal_485 + SpeedPossibleVal_486 + SpeedPossibleVal_487 + SpeedPossibleVal_488 + SpeedPossibleVal_489 + SpeedPossibleVal_335 + SpeedPossibleVal_334 + SpeedPossibleVal_333 + SpeedPossibleVal_332 + SpeedPossibleVal_331 + SpeedPossibleVal_2259 + SpeedPossibleVal_330 + SpeedPossibleVal_3589 + SpeedPossibleVal_2258 + SpeedPossibleVal_3588 + SpeedPossibleVal_2257 + SpeedPossibleVal_3587 + SpeedPossibleVal_2256 + SpeedPossibleVal_3586 + SpeedPossibleVal_2255 + SpeedPossibleVal_3585 + SpeedPossibleVal_2254 + SpeedPossibleVal_3584 + SpeedPossibleVal_2253 + SpeedPossibleVal_3583 + SpeedPossibleVal_1080 + SpeedPossibleVal_1081 + SpeedPossibleVal_1082 + SpeedPossibleVal_1083 + SpeedPossibleVal_1084 + SpeedPossibleVal_1085 + SpeedPossibleVal_1086 + SpeedPossibleVal_1087 + SpeedPossibleVal_490 + SpeedPossibleVal_1088 + SpeedPossibleVal_491 + SpeedPossibleVal_1089 + SpeedPossibleVal_492 + SpeedPossibleVal_493 + SpeedPossibleVal_494 + SpeedPossibleVal_495 + SpeedPossibleVal_496 + SpeedPossibleVal_497 + SpeedPossibleVal_498 + SpeedPossibleVal_499 + SpeedPossibleVal_2252 + SpeedPossibleVal_3582 + SpeedPossibleVal_2251 + SpeedPossibleVal_3581 + SpeedPossibleVal_2250 + SpeedPossibleVal_3580 + SpeedPossibleVal_329 + SpeedPossibleVal_328 + SpeedPossibleVal_327 + SpeedPossibleVal_326 + SpeedPossibleVal_325 + SpeedPossibleVal_324 + SpeedPossibleVal_323 + SpeedPossibleVal_322 + SpeedPossibleVal_321 + SpeedPossibleVal_2249 + SpeedPossibleVal_320 + SpeedPossibleVal_3579 + SpeedPossibleVal_2248 + SpeedPossibleVal_3578 + SpeedPossibleVal_1090 + SpeedPossibleVal_1091 + SpeedPossibleVal_1092 + SpeedPossibleVal_1093 + SpeedPossibleVal_1094 + SpeedPossibleVal_1095 + SpeedPossibleVal_1096 + SpeedPossibleVal_1097 + SpeedPossibleVal_1098 + SpeedPossibleVal_1099 + SpeedPossibleVal_2247 + SpeedPossibleVal_3577 + SpeedPossibleVal_2246 + SpeedPossibleVal_3576 + SpeedPossibleVal_2245 + SpeedPossibleVal_3575 + SpeedPossibleVal_2244 + SpeedPossibleVal_3574 + SpeedPossibleVal_2243 + SpeedPossibleVal_3573 + SpeedPossibleVal_2242 + SpeedPossibleVal_3572 + SpeedPossibleVal_2241 + SpeedPossibleVal_3571 + SpeedPossibleVal_2240 + SpeedPossibleVal_3570 + SpeedPossibleVal_319 + SpeedPossibleVal_318 + SpeedPossibleVal_317 + SpeedPossibleVal_316 + SpeedPossibleVal_315 + SpeedPossibleVal_314 + SpeedPossibleVal_313 + SpeedPossibleVal_312 + SpeedPossibleVal_311 + SpeedPossibleVal_2239 + SpeedPossibleVal_310 + SpeedPossibleVal_3569 + SpeedPossibleVal_2238 + SpeedPossibleVal_3568 + SpeedPossibleVal_2237 + SpeedPossibleVal_3567 + SpeedPossibleVal_2236 + SpeedPossibleVal_3566 + SpeedPossibleVal_2235 + SpeedPossibleVal_3565 + SpeedPossibleVal_2234 + SpeedPossibleVal_3564 + SpeedPossibleVal_2233 + SpeedPossibleVal_3563 + SpeedPossibleVal_2232 + SpeedPossibleVal_3562 + SpeedPossibleVal_2231 + SpeedPossibleVal_3561 + SpeedPossibleVal_2230 + SpeedPossibleVal_3560 + SpeedPossibleVal_309 + SpeedPossibleVal_308 + SpeedPossibleVal_307 + SpeedPossibleVal_306 + SpeedPossibleVal_305 + SpeedPossibleVal_304 + SpeedPossibleVal_303 + SpeedPossibleVal_302 + SpeedPossibleVal_301 + SpeedPossibleVal_2229 + SpeedPossibleVal_300 + SpeedPossibleVal_3559 + SpeedPossibleVal_2228 + SpeedPossibleVal_3558 + SpeedPossibleVal_2227 + SpeedPossibleVal_3557 + SpeedPossibleVal_2226 + SpeedPossibleVal_3556 + SpeedPossibleVal_2225 + SpeedPossibleVal_3555 + SpeedPossibleVal_2224 + SpeedPossibleVal_3554 + SpeedPossibleVal_2223 + SpeedPossibleVal_3553 + SpeedPossibleVal_2222 + SpeedPossibleVal_3552 + SpeedPossibleVal_2221 + SpeedPossibleVal_3551 + SpeedPossibleVal_2220 + SpeedPossibleVal_3550 + SpeedPossibleVal_2219 + SpeedPossibleVal_3549 + SpeedPossibleVal_2218 + SpeedPossibleVal_3548 + SpeedPossibleVal_2217 + SpeedPossibleVal_3547 + SpeedPossibleVal_2216 + SpeedPossibleVal_3546 + SpeedPossibleVal_2215 + SpeedPossibleVal_3545 + SpeedPossibleVal_2214 + SpeedPossibleVal_3544 + SpeedPossibleVal_2213 + SpeedPossibleVal_3543 + SpeedPossibleVal_2212 + SpeedPossibleVal_3542 + SpeedPossibleVal_2211 + SpeedPossibleVal_3541 + SpeedPossibleVal_2210 + SpeedPossibleVal_3540 + SpeedPossibleVal_2209 + SpeedPossibleVal_3539 + SpeedPossibleVal_2208 + SpeedPossibleVal_3538 + SpeedPossibleVal_2207 + SpeedPossibleVal_3537 + SpeedPossibleVal_2206 + SpeedPossibleVal_3536 + SpeedPossibleVal_2205 + SpeedPossibleVal_3535 + SpeedPossibleVal_2204 + SpeedPossibleVal_3534 + SpeedPossibleVal_2203 + SpeedPossibleVal_3533 + SpeedPossibleVal_2202 + SpeedPossibleVal_3532 + SpeedPossibleVal_2201 + SpeedPossibleVal_3531 + SpeedPossibleVal_2200 + SpeedPossibleVal_3530 + SpeedPossibleVal_3529 + SpeedPossibleVal_3528 + SpeedPossibleVal_3527 + SpeedPossibleVal_3526 + SpeedPossibleVal_3525 + SpeedPossibleVal_3524 + SpeedPossibleVal_3523 + SpeedPossibleVal_3522 + SpeedPossibleVal_3521 + SpeedPossibleVal_3520 + SpeedPossibleVal_3519 + SpeedPossibleVal_3518 + SpeedPossibleVal_3517 + SpeedPossibleVal_3516 + SpeedPossibleVal_3515 + SpeedPossibleVal_3514 + SpeedPossibleVal_3513 + SpeedPossibleVal_3512 + SpeedPossibleVal_3511 + SpeedPossibleVal_3510 + SpeedPossibleVal_3509 + SpeedPossibleVal_3508 + SpeedPossibleVal_3507 + SpeedPossibleVal_3506 + SpeedPossibleVal_3505 + SpeedPossibleVal_3504 + SpeedPossibleVal_3503 + SpeedPossibleVal_3502 + SpeedPossibleVal_3501 + SpeedPossibleVal_3500 + SpeedPossibleVal_299 + SpeedPossibleVal_298 + SpeedPossibleVal_297 + SpeedPossibleVal_296 + SpeedPossibleVal_295 + SpeedPossibleVal_294 + SpeedPossibleVal_293 + SpeedPossibleVal_292 + SpeedPossibleVal_291 + SpeedPossibleVal_290 + SpeedPossibleVal_9 + SpeedPossibleVal_8 + SpeedPossibleVal_7 + SpeedPossibleVal_6 + SpeedPossibleVal_5 + SpeedPossibleVal_4 + SpeedPossibleVal_289 + SpeedPossibleVal_3 + SpeedPossibleVal_288 + SpeedPossibleVal_2 + SpeedPossibleVal_287 + SpeedPossibleVal_1 + 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_2199 + SpeedPossibleVal_270 + SpeedPossibleVal_2198 + SpeedPossibleVal_2197 + SpeedPossibleVal_2196 + SpeedPossibleVal_2195 + SpeedPossibleVal_2194 + SpeedPossibleVal_2193 + SpeedPossibleVal_2192 + SpeedPossibleVal_2191 + SpeedPossibleVal_2190 + SpeedPossibleVal_269 + SpeedPossibleVal_268 + SpeedPossibleVal_267 + SpeedPossibleVal_266 + SpeedPossibleVal_265 + SpeedPossibleVal_264 + SpeedPossibleVal_263 + SpeedPossibleVal_262 + SpeedPossibleVal_261 + SpeedPossibleVal_2189 + SpeedPossibleVal_260 + SpeedPossibleVal_2188 + SpeedPossibleVal_2187 + SpeedPossibleVal_2186 + SpeedPossibleVal_2185 + SpeedPossibleVal_2184 + SpeedPossibleVal_2183 + SpeedPossibleVal_2182 + SpeedPossibleVal_2181 + SpeedPossibleVal_2180 + SpeedPossibleVal_259 + SpeedPossibleVal_258 + SpeedPossibleVal_257 + SpeedPossibleVal_256 + SpeedPossibleVal_255 + SpeedPossibleVal_254 + SpeedPossibleVal_253 + SpeedPossibleVal_252 + SpeedPossibleVal_251 + SpeedPossibleVal_2179 + SpeedPossibleVal_250 + SpeedPossibleVal_2178 + SpeedPossibleVal_2177 + SpeedPossibleVal_2176 + SpeedPossibleVal_2175 + SpeedPossibleVal_2174 + SpeedPossibleVal_2173 + SpeedPossibleVal_2172 + SpeedPossibleVal_2171 + SpeedPossibleVal_2170 + SpeedPossibleVal_249 + SpeedPossibleVal_248 + SpeedPossibleVal_247 + SpeedPossibleVal_246 + SpeedPossibleVal_245 + SpeedPossibleVal_244 + SpeedPossibleVal_243 + SpeedPossibleVal_242 + SpeedPossibleVal_241 + SpeedPossibleVal_2169 + SpeedPossibleVal_240 + SpeedPossibleVal_3499 + SpeedPossibleVal_2168 + SpeedPossibleVal_3498 + SpeedPossibleVal_2167 + SpeedPossibleVal_3497 + SpeedPossibleVal_2166 + SpeedPossibleVal_3496 + SpeedPossibleVal_2165 + SpeedPossibleVal_3495 + SpeedPossibleVal_2164 + SpeedPossibleVal_3494 + SpeedPossibleVal_2163 + SpeedPossibleVal_3493 + SpeedPossibleVal_2162 + SpeedPossibleVal_3492 + SpeedPossibleVal_2161 + SpeedPossibleVal_3491 + SpeedPossibleVal_2160 + SpeedPossibleVal_3490 + SpeedPossibleVal_239 + SpeedPossibleVal_238 + SpeedPossibleVal_237 + SpeedPossibleVal_236 + SpeedPossibleVal_3700 + SpeedPossibleVal_3701 + SpeedPossibleVal_3702 + SpeedPossibleVal_3703 + SpeedPossibleVal_3704 + SpeedPossibleVal_3705 + SpeedPossibleVal_3706 + SpeedPossibleVal_3707 + SpeedPossibleVal_3708 + SpeedPossibleVal_3709 + SpeedPossibleVal_3710 + SpeedPossibleVal_3711 + SpeedPossibleVal_3712 + SpeedPossibleVal_3713 + SpeedPossibleVal_3714 + SpeedPossibleVal_3715 + SpeedPossibleVal_3716 + SpeedPossibleVal_3717 + SpeedPossibleVal_3718 + SpeedPossibleVal_3719 + SpeedPossibleVal_3720 + SpeedPossibleVal_3721 + SpeedPossibleVal_3722 + SpeedPossibleVal_3723 + SpeedPossibleVal_3724 + SpeedPossibleVal_3725 + SpeedPossibleVal_3726 + SpeedPossibleVal_3727 + SpeedPossibleVal_3728 + SpeedPossibleVal_3729 + SpeedPossibleVal_3730 + SpeedPossibleVal_2400 + SpeedPossibleVal_3731 + SpeedPossibleVal_2401 + SpeedPossibleVal_3732 + SpeedPossibleVal_2402 + SpeedPossibleVal_3733 + SpeedPossibleVal_2403 + SpeedPossibleVal_3734 + SpeedPossibleVal_2404 + SpeedPossibleVal_3735 + SpeedPossibleVal_2405 + SpeedPossibleVal_3736 + SpeedPossibleVal_2406 + SpeedPossibleVal_3737 + SpeedPossibleVal_2407 + SpeedPossibleVal_3738 + SpeedPossibleVal_2408 + SpeedPossibleVal_3739 + SpeedPossibleVal_2409 + SpeedPossibleVal_3740 + SpeedPossibleVal_2410 + SpeedPossibleVal_3741 + SpeedPossibleVal_2411 + SpeedPossibleVal_3742 + SpeedPossibleVal_2412 + SpeedPossibleVal_3743 + SpeedPossibleVal_2413 + SpeedPossibleVal_3744 + SpeedPossibleVal_2414 + SpeedPossibleVal_3745 + SpeedPossibleVal_2415 + SpeedPossibleVal_3746 + SpeedPossibleVal_2416 + SpeedPossibleVal_3747 + SpeedPossibleVal_2417 + SpeedPossibleVal_3748 + SpeedPossibleVal_2418 + SpeedPossibleVal_3749 + SpeedPossibleVal_2419 + SpeedPossibleVal_3750 + SpeedPossibleVal_2420 + SpeedPossibleVal_3751 + SpeedPossibleVal_2421 + SpeedPossibleVal_3752 + SpeedPossibleVal_2422 + SpeedPossibleVal_3753 + SpeedPossibleVal_2423 + SpeedPossibleVal_3754 + SpeedPossibleVal_2424 + SpeedPossibleVal_3755 + SpeedPossibleVal_2425 + SpeedPossibleVal_3756 + SpeedPossibleVal_2426 + SpeedPossibleVal_3757 + SpeedPossibleVal_2427 + SpeedPossibleVal_3758 + SpeedPossibleVal_2428 + SpeedPossibleVal_3759 + SpeedPossibleVal_500 + SpeedPossibleVal_2429 + SpeedPossibleVal_501 + SpeedPossibleVal_502 + SpeedPossibleVal_503 + SpeedPossibleVal_504 + SpeedPossibleVal_505 + SpeedPossibleVal_506 + SpeedPossibleVal_507 + SpeedPossibleVal_508 + SpeedPossibleVal_509 + SpeedPossibleVal_3760 + SpeedPossibleVal_2430 + SpeedPossibleVal_3761 + SpeedPossibleVal_1100 + SpeedPossibleVal_2431 + SpeedPossibleVal_3762 + SpeedPossibleVal_1101 + SpeedPossibleVal_2432 + SpeedPossibleVal_3763 + SpeedPossibleVal_1102 + SpeedPossibleVal_2433 + SpeedPossibleVal_3764 + SpeedPossibleVal_1103 + SpeedPossibleVal_2434 + SpeedPossibleVal_3765 + SpeedPossibleVal_1104 + SpeedPossibleVal_2435 + SpeedPossibleVal_3766 + SpeedPossibleVal_1105 + SpeedPossibleVal_2436 + SpeedPossibleVal_3767 + SpeedPossibleVal_1106 + SpeedPossibleVal_2437 + SpeedPossibleVal_3768 + SpeedPossibleVal_1107 + SpeedPossibleVal_2438 + SpeedPossibleVal_3769 + SpeedPossibleVal_510 + SpeedPossibleVal_1108 + SpeedPossibleVal_2439 + SpeedPossibleVal_511 + SpeedPossibleVal_1109 + SpeedPossibleVal_512 + SpeedPossibleVal_513 + SpeedPossibleVal_514 + SpeedPossibleVal_515 + SpeedPossibleVal_516 + SpeedPossibleVal_517 + SpeedPossibleVal_518 + SpeedPossibleVal_519 + SpeedPossibleVal_3770 + SpeedPossibleVal_2440 + SpeedPossibleVal_3771 + SpeedPossibleVal_1110 + SpeedPossibleVal_2441 + SpeedPossibleVal_3772 + SpeedPossibleVal_1111 + SpeedPossibleVal_2442 + SpeedPossibleVal_3773 + SpeedPossibleVal_1112 + SpeedPossibleVal_2443 + SpeedPossibleVal_3774 + SpeedPossibleVal_1113 + SpeedPossibleVal_2444 + SpeedPossibleVal_3775 + SpeedPossibleVal_1114 + SpeedPossibleVal_2445 + SpeedPossibleVal_3776 + SpeedPossibleVal_1115 + SpeedPossibleVal_2446 + SpeedPossibleVal_3777 + SpeedPossibleVal_1116 + SpeedPossibleVal_2447 + SpeedPossibleVal_3778 + SpeedPossibleVal_1117 + SpeedPossibleVal_2448 + SpeedPossibleVal_3779 + SpeedPossibleVal_520 + SpeedPossibleVal_1118 + SpeedPossibleVal_2449 + SpeedPossibleVal_521 + SpeedPossibleVal_1119 + SpeedPossibleVal_522 + SpeedPossibleVal_523 + SpeedPossibleVal_524 + SpeedPossibleVal_525 + SpeedPossibleVal_526 + SpeedPossibleVal_527 + SpeedPossibleVal_528 + SpeedPossibleVal_529 + SpeedPossibleVal_235 + SpeedPossibleVal_234 + SpeedPossibleVal_233 + SpeedPossibleVal_232 + SpeedPossibleVal_231 + SpeedPossibleVal_2159 + SpeedPossibleVal_230 + SpeedPossibleVal_3489 + SpeedPossibleVal_2158 + SpeedPossibleVal_3488 + SpeedPossibleVal_3780 + SpeedPossibleVal_2450 + SpeedPossibleVal_3781 + SpeedPossibleVal_1120 + SpeedPossibleVal_2451 + SpeedPossibleVal_3782 + SpeedPossibleVal_1121 + SpeedPossibleVal_2452 + SpeedPossibleVal_3783 + SpeedPossibleVal_1122 + SpeedPossibleVal_2453 + SpeedPossibleVal_3784 + SpeedPossibleVal_1123 + SpeedPossibleVal_2454 + SpeedPossibleVal_3785 + SpeedPossibleVal_1124 + SpeedPossibleVal_2455 + SpeedPossibleVal_3786 + SpeedPossibleVal_1125 + SpeedPossibleVal_2456 + SpeedPossibleVal_3787 + SpeedPossibleVal_1126 + SpeedPossibleVal_2457 + SpeedPossibleVal_3788 + SpeedPossibleVal_1127 + SpeedPossibleVal_2458 + SpeedPossibleVal_3789 + SpeedPossibleVal_530 + SpeedPossibleVal_1128 + SpeedPossibleVal_2459 + SpeedPossibleVal_531 + SpeedPossibleVal_1129 + SpeedPossibleVal_532 + SpeedPossibleVal_533 + SpeedPossibleVal_534 + SpeedPossibleVal_535 + SpeedPossibleVal_536 + SpeedPossibleVal_537 + SpeedPossibleVal_538 + SpeedPossibleVal_539 + SpeedPossibleVal_2157 + SpeedPossibleVal_3487 + SpeedPossibleVal_2156 + SpeedPossibleVal_3486 + SpeedPossibleVal_2155 + SpeedPossibleVal_3485 + SpeedPossibleVal_2154 + SpeedPossibleVal_3484 + SpeedPossibleVal_2153 + SpeedPossibleVal_3483 + SpeedPossibleVal_3790 + SpeedPossibleVal_2460 + SpeedPossibleVal_3791 + SpeedPossibleVal_1130 + SpeedPossibleVal_2461 + SpeedPossibleVal_3792 + SpeedPossibleVal_1131 + SpeedPossibleVal_2462 + SpeedPossibleVal_3793 + SpeedPossibleVal_1132 + SpeedPossibleVal_2463 + SpeedPossibleVal_3794 + SpeedPossibleVal_1133 + SpeedPossibleVal_2464 + SpeedPossibleVal_3795 + SpeedPossibleVal_1134 + SpeedPossibleVal_2465 + SpeedPossibleVal_3796 + SpeedPossibleVal_1135 + SpeedPossibleVal_2466 + SpeedPossibleVal_3797 + SpeedPossibleVal_1136 + SpeedPossibleVal_2467 + SpeedPossibleVal_3798 + SpeedPossibleVal_1137 + SpeedPossibleVal_2468 + SpeedPossibleVal_3799 + SpeedPossibleVal_540 + SpeedPossibleVal_1138 + SpeedPossibleVal_2469 + SpeedPossibleVal_541 + SpeedPossibleVal_1139 + SpeedPossibleVal_542 + SpeedPossibleVal_543 + SpeedPossibleVal_544 + SpeedPossibleVal_545 + SpeedPossibleVal_546 + SpeedPossibleVal_547 + SpeedPossibleVal_548 + SpeedPossibleVal_549 + SpeedPossibleVal_2152 + SpeedPossibleVal_3482 + SpeedPossibleVal_2151 + SpeedPossibleVal_3481 + SpeedPossibleVal_2150 + SpeedPossibleVal_3480 + SpeedPossibleVal_229 + SpeedPossibleVal_228 + SpeedPossibleVal_227 + SpeedPossibleVal_226 + SpeedPossibleVal_2470 + SpeedPossibleVal_1140 + SpeedPossibleVal_2471 + SpeedPossibleVal_1141 + SpeedPossibleVal_2472 + SpeedPossibleVal_1142 + SpeedPossibleVal_2473 + SpeedPossibleVal_1143 + SpeedPossibleVal_2474 + SpeedPossibleVal_1144 + SpeedPossibleVal_2475 + SpeedPossibleVal_1145 + SpeedPossibleVal_2476 + SpeedPossibleVal_1146 + SpeedPossibleVal_2477 + SpeedPossibleVal_1147 + SpeedPossibleVal_2478 + SpeedPossibleVal_550 + SpeedPossibleVal_1148 + SpeedPossibleVal_2479 + SpeedPossibleVal_551 + SpeedPossibleVal_1149 + SpeedPossibleVal_552 + SpeedPossibleVal_553 + SpeedPossibleVal_554 + SpeedPossibleVal_555 + SpeedPossibleVal_556 + SpeedPossibleVal_557 + SpeedPossibleVal_558 + SpeedPossibleVal_559 + SpeedPossibleVal_225 + SpeedPossibleVal_224 + SpeedPossibleVal_223 + SpeedPossibleVal_222 + SpeedPossibleVal_221 + SpeedPossibleVal_2149 + SpeedPossibleVal_220 + SpeedPossibleVal_3479 + SpeedPossibleVal_2148 + SpeedPossibleVal_3478 + SpeedPossibleVal_2147 + SpeedPossibleVal_3477 + SpeedPossibleVal_2146 + SpeedPossibleVal_3476 + SpeedPossibleVal_2145 + SpeedPossibleVal_3475 + SpeedPossibleVal_2144 + SpeedPossibleVal_3474 + SpeedPossibleVal_2143 + SpeedPossibleVal_3473 + SpeedPossibleVal_2480 + SpeedPossibleVal_1150 + SpeedPossibleVal_2481 + SpeedPossibleVal_1151 + SpeedPossibleVal_2482 + SpeedPossibleVal_1152 + SpeedPossibleVal_2483 + SpeedPossibleVal_1153 + SpeedPossibleVal_2484 + SpeedPossibleVal_1154 + SpeedPossibleVal_2485 + SpeedPossibleVal_1155 + SpeedPossibleVal_2486 + SpeedPossibleVal_1156 + SpeedPossibleVal_2487 + SpeedPossibleVal_1157 + SpeedPossibleVal_2488 + SpeedPossibleVal_560 + SpeedPossibleVal_1158 + SpeedPossibleVal_2489 + SpeedPossibleVal_561 + SpeedPossibleVal_1159 + SpeedPossibleVal_562 + SpeedPossibleVal_563 + SpeedPossibleVal_564 + SpeedPossibleVal_565 + SpeedPossibleVal_566 + SpeedPossibleVal_567 + SpeedPossibleVal_568 + SpeedPossibleVal_569 + SpeedPossibleVal_2142 + SpeedPossibleVal_3472 + SpeedPossibleVal_2141 + SpeedPossibleVal_3471 + SpeedPossibleVal_2140 + SpeedPossibleVal_3470 + SpeedPossibleVal_219 + SpeedPossibleVal_218 + SpeedPossibleVal_217 + SpeedPossibleVal_216 + SpeedPossibleVal_215 + SpeedPossibleVal_214 + SpeedPossibleVal_213 + SpeedPossibleVal_212 + SpeedPossibleVal_211 + SpeedPossibleVal_2139 + SpeedPossibleVal_210 + SpeedPossibleVal_3469 + SpeedPossibleVal_2138 + SpeedPossibleVal_3468 + SpeedPossibleVal_2490 + SpeedPossibleVal_1160 + SpeedPossibleVal_2491 + SpeedPossibleVal_1161 + SpeedPossibleVal_2492 + SpeedPossibleVal_1162 + SpeedPossibleVal_2493 + SpeedPossibleVal_1163 + SpeedPossibleVal_2494 + SpeedPossibleVal_1164 + SpeedPossibleVal_2495 + SpeedPossibleVal_1165 + SpeedPossibleVal_2496 + SpeedPossibleVal_1166 + SpeedPossibleVal_2497 + SpeedPossibleVal_1167 + SpeedPossibleVal_2498 + SpeedPossibleVal_570 + SpeedPossibleVal_1168 + SpeedPossibleVal_2499 + SpeedPossibleVal_571 + SpeedPossibleVal_1169 + SpeedPossibleVal_572 + SpeedPossibleVal_573 + SpeedPossibleVal_574 + SpeedPossibleVal_575 + SpeedPossibleVal_576 + SpeedPossibleVal_577 + SpeedPossibleVal_578 + SpeedPossibleVal_579 + SpeedPossibleVal_2137 + SpeedPossibleVal_3467 + SpeedPossibleVal_2136 + SpeedPossibleVal_3466 + SpeedPossibleVal_2135 + SpeedPossibleVal_3465 + SpeedPossibleVal_2134 + SpeedPossibleVal_3464 + SpeedPossibleVal_2133 + SpeedPossibleVal_3463 + SpeedPossibleVal_2132 + SpeedPossibleVal_3462 + SpeedPossibleVal_2131 + SpeedPossibleVal_3461 + SpeedPossibleVal_2130 + SpeedPossibleVal_3460 + SpeedPossibleVal_209 + SpeedPossibleVal_208 + SpeedPossibleVal_207 + SpeedPossibleVal_206 + SpeedPossibleVal_1170 + SpeedPossibleVal_1171 + SpeedPossibleVal_1172 + SpeedPossibleVal_1173 + SpeedPossibleVal_1174 + SpeedPossibleVal_1175 + SpeedPossibleVal_1176 + SpeedPossibleVal_1177 + SpeedPossibleVal_580 + SpeedPossibleVal_1178 + SpeedPossibleVal_581 + SpeedPossibleVal_1179 + SpeedPossibleVal_582 + SpeedPossibleVal_583 + SpeedPossibleVal_584 + SpeedPossibleVal_585 + SpeedPossibleVal_586 + SpeedPossibleVal_587 + SpeedPossibleVal_588 + SpeedPossibleVal_589 + SpeedPossibleVal_205 + SpeedPossibleVal_204 + SpeedPossibleVal_203 + SpeedPossibleVal_202 + SpeedPossibleVal_201 + SpeedPossibleVal_2129 + SpeedPossibleVal_200 + SpeedPossibleVal_3459 + SpeedPossibleVal_2128 + SpeedPossibleVal_3458 + SpeedPossibleVal_2127 + SpeedPossibleVal_3457 + SpeedPossibleVal_2126 + SpeedPossibleVal_3456 + SpeedPossibleVal_2125 + SpeedPossibleVal_3455 + SpeedPossibleVal_2124 + SpeedPossibleVal_3454 + SpeedPossibleVal_2123 + SpeedPossibleVal_3453 + SpeedPossibleVal_1180 + SpeedPossibleVal_1181 + SpeedPossibleVal_1182 + SpeedPossibleVal_1183 + SpeedPossibleVal_1184 + SpeedPossibleVal_1185 + SpeedPossibleVal_1186 + SpeedPossibleVal_1187 + SpeedPossibleVal_590 + SpeedPossibleVal_1188 + SpeedPossibleVal_591 + SpeedPossibleVal_1189 + SpeedPossibleVal_592 + SpeedPossibleVal_593 + SpeedPossibleVal_594 + SpeedPossibleVal_595 + SpeedPossibleVal_596 + SpeedPossibleVal_597 + SpeedPossibleVal_598 + SpeedPossibleVal_599 + SpeedPossibleVal_2122 + SpeedPossibleVal_3452 + SpeedPossibleVal_2121 + SpeedPossibleVal_3451 + SpeedPossibleVal_2120 + SpeedPossibleVal_3450 + SpeedPossibleVal_2119 + SpeedPossibleVal_3449 + SpeedPossibleVal_2118 + SpeedPossibleVal_3448 + SpeedPossibleVal_2117 + SpeedPossibleVal_3447 + SpeedPossibleVal_2116 + SpeedPossibleVal_3446 + SpeedPossibleVal_2115 + SpeedPossibleVal_3445 + SpeedPossibleVal_2114 + SpeedPossibleVal_3444 + SpeedPossibleVal_2113 + SpeedPossibleVal_3443 + SpeedPossibleVal_2112 + SpeedPossibleVal_1190 + SpeedPossibleVal_1191 + SpeedPossibleVal_1192 + SpeedPossibleVal_1193 + SpeedPossibleVal_1194 + SpeedPossibleVal_1195 + SpeedPossibleVal_1196 + SpeedPossibleVal_1197 + SpeedPossibleVal_1198 + SpeedPossibleVal_1199 + SpeedPossibleVal_3442 + SpeedPossibleVal_2111 + SpeedPossibleVal_3441 + SpeedPossibleVal_2110 + SpeedPossibleVal_3440 + SpeedPossibleVal_2109 + SpeedPossibleVal_3439 + SpeedPossibleVal_2108 + SpeedPossibleVal_3438 + SpeedPossibleVal_2107 + SpeedPossibleVal_3437 + SpeedPossibleVal_2106 + SpeedPossibleVal_3436 + SpeedPossibleVal_2105 + SpeedPossibleVal_3435 + SpeedPossibleVal_2104 + SpeedPossibleVal_3434 + SpeedPossibleVal_2103 + SpeedPossibleVal_3433 + SpeedPossibleVal_2102 + SpeedPossibleVal_3432 + SpeedPossibleVal_2101 + SpeedPossibleVal_3431 + SpeedPossibleVal_2100 + SpeedPossibleVal_3430 + SpeedPossibleVal_3429 + SpeedPossibleVal_3428 + SpeedPossibleVal_3427 + SpeedPossibleVal_3426 + SpeedPossibleVal_3425 + SpeedPossibleVal_3424 + SpeedPossibleVal_3423 + SpeedPossibleVal_3422 + SpeedPossibleVal_3421 + SpeedPossibleVal_3420 + SpeedPossibleVal_3419 + SpeedPossibleVal_3418 + SpeedPossibleVal_3417 + SpeedPossibleVal_3416 + SpeedPossibleVal_3415 + SpeedPossibleVal_3414 + SpeedPossibleVal_3413 + SpeedPossibleVal_3412 + SpeedPossibleVal_3411 + SpeedPossibleVal_3410 + SpeedPossibleVal_3409 + SpeedPossibleVal_3408 + SpeedPossibleVal_3407 + SpeedPossibleVal_3406 + SpeedPossibleVal_3405 + SpeedPossibleVal_3404 + SpeedPossibleVal_3403 + SpeedPossibleVal_3402 + SpeedPossibleVal_3401 + SpeedPossibleVal_3400 + 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_2099 + SpeedPossibleVal_170 + SpeedPossibleVal_2098 + SpeedPossibleVal_2097 + SpeedPossibleVal_2096 + SpeedPossibleVal_2095 + SpeedPossibleVal_2094 + SpeedPossibleVal_2093 + SpeedPossibleVal_2092 + SpeedPossibleVal_2091 + SpeedPossibleVal_2090 + SpeedPossibleVal_169 + SpeedPossibleVal_168 + SpeedPossibleVal_167 + SpeedPossibleVal_166 + SpeedPossibleVal_165 + SpeedPossibleVal_164 + SpeedPossibleVal_163 + SpeedPossibleVal_162 + SpeedPossibleVal_161 + SpeedPossibleVal_2089 + SpeedPossibleVal_160 + SpeedPossibleVal_2088 + SpeedPossibleVal_2087 + SpeedPossibleVal_2086 + SpeedPossibleVal_2085 + SpeedPossibleVal_2084 + SpeedPossibleVal_2083 + SpeedPossibleVal_2082 + SpeedPossibleVal_2081 + SpeedPossibleVal_2080 + SpeedPossibleVal_159 + SpeedPossibleVal_158 + SpeedPossibleVal_157 + SpeedPossibleVal_156 + SpeedPossibleVal_155 + SpeedPossibleVal_154 + SpeedPossibleVal_153 + SpeedPossibleVal_152 + SpeedPossibleVal_151 + SpeedPossibleVal_2079 + SpeedPossibleVal_150 + SpeedPossibleVal_2078 + SpeedPossibleVal_2077 + SpeedPossibleVal_2076 + SpeedPossibleVal_2075 + SpeedPossibleVal_2074 + SpeedPossibleVal_2073 + SpeedPossibleVal_2072 + SpeedPossibleVal_2071 + SpeedPossibleVal_2070 + SpeedPossibleVal_149 + SpeedPossibleVal_148 + SpeedPossibleVal_147 + SpeedPossibleVal_146 + SpeedPossibleVal_145 + SpeedPossibleVal_144 + SpeedPossibleVal_143 + SpeedPossibleVal_142 + SpeedPossibleVal_141 + SpeedPossibleVal_2069 + SpeedPossibleVal_140 + SpeedPossibleVal_3399 + SpeedPossibleVal_2068 + SpeedPossibleVal_3398 + SpeedPossibleVal_2067 + SpeedPossibleVal_3397 + SpeedPossibleVal_2066 + SpeedPossibleVal_3396 + SpeedPossibleVal_2065 + SpeedPossibleVal_3395 + SpeedPossibleVal_2064 + SpeedPossibleVal_3394 + SpeedPossibleVal_2063 + SpeedPossibleVal_3393 + SpeedPossibleVal_2062 + SpeedPossibleVal_3392 + SpeedPossibleVal_2061 + SpeedPossibleVal_3391 + SpeedPossibleVal_2060 + SpeedPossibleVal_3390 + SpeedPossibleVal_139 + SpeedPossibleVal_138 + SpeedPossibleVal_137 + SpeedPossibleVal_136 + SpeedPossibleVal_135 + SpeedPossibleVal_134 + SpeedPossibleVal_133 + SpeedPossibleVal_132 + SpeedPossibleVal_131 + SpeedPossibleVal_2059 + SpeedPossibleVal_130 + SpeedPossibleVal_3389 + SpeedPossibleVal_2058 + SpeedPossibleVal_3388 + SpeedPossibleVal_2057 + SpeedPossibleVal_3387 + SpeedPossibleVal_2056 + SpeedPossibleVal_3386 + SpeedPossibleVal_2055 + SpeedPossibleVal_3385 + SpeedPossibleVal_2054 + SpeedPossibleVal_3384 + SpeedPossibleVal_2053 + SpeedPossibleVal_3383 + SpeedPossibleVal_2052 + SpeedPossibleVal_3382 + SpeedPossibleVal_2051 + SpeedPossibleVal_3381 + SpeedPossibleVal_2050 + SpeedPossibleVal_3380 + SpeedPossibleVal_129 + SpeedPossibleVal_128 + SpeedPossibleVal_127 + SpeedPossibleVal_126 + SpeedPossibleVal_125 + SpeedPossibleVal_124 + SpeedPossibleVal_123 + SpeedPossibleVal_122 + SpeedPossibleVal_121 + SpeedPossibleVal_2049 + SpeedPossibleVal_120 + SpeedPossibleVal_3379 + SpeedPossibleVal_2048 + SpeedPossibleVal_3378 + SpeedPossibleVal_2047 + SpeedPossibleVal_3377 + SpeedPossibleVal_2046 + SpeedPossibleVal_3376 + SpeedPossibleVal_2045 + SpeedPossibleVal_3375 + SpeedPossibleVal_2044 + SpeedPossibleVal_3374 + SpeedPossibleVal_2043 + SpeedPossibleVal_3373 + SpeedPossibleVal_2042 + SpeedPossibleVal_3372 + SpeedPossibleVal_2041 + SpeedPossibleVal_3371 + SpeedPossibleVal_2040 + SpeedPossibleVal_3370 + SpeedPossibleVal_119 + SpeedPossibleVal_118 + SpeedPossibleVal_117 + SpeedPossibleVal_116 + SpeedPossibleVal_115 + SpeedPossibleVal_114 + SpeedPossibleVal_113 + SpeedPossibleVal_112 + SpeedPossibleVal_111 + SpeedPossibleVal_2039 + SpeedPossibleVal_110 + SpeedPossibleVal_3369 + SpeedPossibleVal_2038 + SpeedPossibleVal_3368 + SpeedPossibleVal_2037 + SpeedPossibleVal_3367 + SpeedPossibleVal_2036 + SpeedPossibleVal_3366 + SpeedPossibleVal_2035 + SpeedPossibleVal_3365 + SpeedPossibleVal_2034 + SpeedPossibleVal_3364 + SpeedPossibleVal_2033 + SpeedPossibleVal_3363 + SpeedPossibleVal_2032 + SpeedPossibleVal_3362 + SpeedPossibleVal_2031 + SpeedPossibleVal_3361 + SpeedPossibleVal_2030 + SpeedPossibleVal_3360 + SpeedPossibleVal_109 + SpeedPossibleVal_108 + SpeedPossibleVal_107 + SpeedPossibleVal_106 + SpeedPossibleVal_105 + SpeedPossibleVal_104 + SpeedPossibleVal_103 + SpeedPossibleVal_102 + SpeedPossibleVal_101 + SpeedPossibleVal_2029 + SpeedPossibleVal_100 + SpeedPossibleVal_3359 + SpeedPossibleVal_2028 + SpeedPossibleVal_3358 + SpeedPossibleVal_2027 + SpeedPossibleVal_3357 + SpeedPossibleVal_2026 + SpeedPossibleVal_3356 + SpeedPossibleVal_2025 + SpeedPossibleVal_3355 + SpeedPossibleVal_2024 + SpeedPossibleVal_3354 + SpeedPossibleVal_2023 + SpeedPossibleVal_3353 + SpeedPossibleVal_2022 + SpeedPossibleVal_3352 + SpeedPossibleVal_2021 + SpeedPossibleVal_3351 + SpeedPossibleVal_2020 + SpeedPossibleVal_3350 + SpeedPossibleVal_2019 + SpeedPossibleVal_3349 + SpeedPossibleVal_2018 + SpeedPossibleVal_3348 + SpeedPossibleVal_2017 + SpeedPossibleVal_3347 + SpeedPossibleVal_2016 + SpeedPossibleVal_3346 + SpeedPossibleVal_2015 + SpeedPossibleVal_3345 + SpeedPossibleVal_2014 + SpeedPossibleVal_3344 + SpeedPossibleVal_2013 + SpeedPossibleVal_3343 + SpeedPossibleVal_2012 + SpeedPossibleVal_3342 + SpeedPossibleVal_2011 + SpeedPossibleVal_3341 + SpeedPossibleVal_2010 + SpeedPossibleVal_3340 + SpeedPossibleVal_2009 + SpeedPossibleVal_3339 + SpeedPossibleVal_2008 + SpeedPossibleVal_3338 + SpeedPossibleVal_2007 + SpeedPossibleVal_3337 + SpeedPossibleVal_2006 + SpeedPossibleVal_3336 + SpeedPossibleVal_2005 + SpeedPossibleVal_3335 + SpeedPossibleVal_2004 + SpeedPossibleVal_3334 + SpeedPossibleVal_2003 + SpeedPossibleVal_3333 + SpeedPossibleVal_2002 + SpeedPossibleVal_3332 + SpeedPossibleVal_2001 + SpeedPossibleVal_3331 + SpeedPossibleVal_2000 + SpeedPossibleVal_3330 + SpeedPossibleVal_3329 + SpeedPossibleVal_3328 + SpeedPossibleVal_3327 + SpeedPossibleVal_3326 + SpeedPossibleVal_3325 + SpeedPossibleVal_3324 + SpeedPossibleVal_3323 + SpeedPossibleVal_3322 + SpeedPossibleVal_3321 + SpeedPossibleVal_3320 + SpeedPossibleVal_3319 + SpeedPossibleVal_3318 + SpeedPossibleVal_3317 + SpeedPossibleVal_3316 + SpeedPossibleVal_3315 + SpeedPossibleVal_3800 + SpeedPossibleVal_3801 + SpeedPossibleVal_3802 + SpeedPossibleVal_3803 + SpeedPossibleVal_3804 + SpeedPossibleVal_3805 + SpeedPossibleVal_3806 + SpeedPossibleVal_3807 + SpeedPossibleVal_3808 + SpeedPossibleVal_3809 + SpeedPossibleVal_3810 + SpeedPossibleVal_3811 + SpeedPossibleVal_3812 + SpeedPossibleVal_3813 + SpeedPossibleVal_3814 + SpeedPossibleVal_3815 + SpeedPossibleVal_3816 + SpeedPossibleVal_3817 + SpeedPossibleVal_3818 + SpeedPossibleVal_3819 + SpeedPossibleVal_3820 + SpeedPossibleVal_3821 + SpeedPossibleVal_3822 + SpeedPossibleVal_3823 + SpeedPossibleVal_3824 + SpeedPossibleVal_3825 + SpeedPossibleVal_3826 + SpeedPossibleVal_3827 + SpeedPossibleVal_3828 + SpeedPossibleVal_3829 + SpeedPossibleVal_3830 + SpeedPossibleVal_2500 + SpeedPossibleVal_3831 + SpeedPossibleVal_2501 + SpeedPossibleVal_3832 + SpeedPossibleVal_2502 + SpeedPossibleVal_3833 + SpeedPossibleVal_2503 + SpeedPossibleVal_3834 + SpeedPossibleVal_2504 + SpeedPossibleVal_3835 + SpeedPossibleVal_2505 + SpeedPossibleVal_3836 + SpeedPossibleVal_2506 + SpeedPossibleVal_3837 + SpeedPossibleVal_2507 + SpeedPossibleVal_3838 + SpeedPossibleVal_2508 + SpeedPossibleVal_3839 + SpeedPossibleVal_2509 + SpeedPossibleVal_3840 + SpeedPossibleVal_2510 + SpeedPossibleVal_3841 + SpeedPossibleVal_2511 + SpeedPossibleVal_3842 + SpeedPossibleVal_2512 + SpeedPossibleVal_3843 + SpeedPossibleVal_2513 + SpeedPossibleVal_3844 + SpeedPossibleVal_2514 + SpeedPossibleVal_3845 + SpeedPossibleVal_2515 + SpeedPossibleVal_3846 + SpeedPossibleVal_2516 + SpeedPossibleVal_3847 + SpeedPossibleVal_2517 + SpeedPossibleVal_3848 + SpeedPossibleVal_2518 + SpeedPossibleVal_3849 + SpeedPossibleVal_2519 + SpeedPossibleVal_3850 + SpeedPossibleVal_2520 + SpeedPossibleVal_3851 + SpeedPossibleVal_2521 + SpeedPossibleVal_3852 + SpeedPossibleVal_2522 + SpeedPossibleVal_3853 + SpeedPossibleVal_2523 + SpeedPossibleVal_3854 + SpeedPossibleVal_2524 + SpeedPossibleVal_3855 + SpeedPossibleVal_2525 + SpeedPossibleVal_3856 + SpeedPossibleVal_2526 + SpeedPossibleVal_3857 + SpeedPossibleVal_2527 + SpeedPossibleVal_3858 + SpeedPossibleVal_2528 + SpeedPossibleVal_3859 + SpeedPossibleVal_600 + SpeedPossibleVal_2529 + SpeedPossibleVal_601 + SpeedPossibleVal_602 + SpeedPossibleVal_603 + SpeedPossibleVal_604 + SpeedPossibleVal_605 + SpeedPossibleVal_606 + SpeedPossibleVal_607 + SpeedPossibleVal_608 + SpeedPossibleVal_609 + SpeedPossibleVal_3860 + SpeedPossibleVal_2530 + SpeedPossibleVal_3861 + SpeedPossibleVal_1200 + SpeedPossibleVal_2531 + SpeedPossibleVal_3862 + SpeedPossibleVal_1201 + SpeedPossibleVal_2532 + SpeedPossibleVal_3863 + SpeedPossibleVal_1202 + SpeedPossibleVal_2533 + SpeedPossibleVal_3864 + SpeedPossibleVal_1203 + SpeedPossibleVal_2534 + SpeedPossibleVal_3865 + SpeedPossibleVal_1204 + SpeedPossibleVal_2535 + SpeedPossibleVal_3866 + SpeedPossibleVal_1205 + SpeedPossibleVal_2536 + SpeedPossibleVal_3867 + SpeedPossibleVal_1206 + SpeedPossibleVal_2537 + SpeedPossibleVal_3868 + SpeedPossibleVal_1207 + SpeedPossibleVal_2538 + SpeedPossibleVal_3869 + SpeedPossibleVal_610 + SpeedPossibleVal_1208 + SpeedPossibleVal_2539 + SpeedPossibleVal_611 + SpeedPossibleVal_1209 + SpeedPossibleVal_612 + SpeedPossibleVal_613 + SpeedPossibleVal_614 + SpeedPossibleVal_615 + SpeedPossibleVal_616 + SpeedPossibleVal_617 + SpeedPossibleVal_618 + SpeedPossibleVal_619 + SpeedPossibleVal_3870 + SpeedPossibleVal_2540 + SpeedPossibleVal_3871 + SpeedPossibleVal_1210 + SpeedPossibleVal_2541 + SpeedPossibleVal_3872 + SpeedPossibleVal_1211 + SpeedPossibleVal_2542 + SpeedPossibleVal_3873 + SpeedPossibleVal_1212 + SpeedPossibleVal_2543 + SpeedPossibleVal_3874 + SpeedPossibleVal_1213 + SpeedPossibleVal_2544 + SpeedPossibleVal_3875 + SpeedPossibleVal_1214 + SpeedPossibleVal_2545 + SpeedPossibleVal_3876 + SpeedPossibleVal_1215 + SpeedPossibleVal_2546 + SpeedPossibleVal_3877 + SpeedPossibleVal_1216 + SpeedPossibleVal_2547 + SpeedPossibleVal_3878 + SpeedPossibleVal_1217 + SpeedPossibleVal_2548 + SpeedPossibleVal_3879 + SpeedPossibleVal_620 + SpeedPossibleVal_1218 + SpeedPossibleVal_2549 + SpeedPossibleVal_621 + SpeedPossibleVal_1219 + SpeedPossibleVal_622 + SpeedPossibleVal_623 + SpeedPossibleVal_624 + SpeedPossibleVal_625 + SpeedPossibleVal_626 + SpeedPossibleVal_627 + SpeedPossibleVal_628 + SpeedPossibleVal_629 + SpeedPossibleVal_3314 + SpeedPossibleVal_3313 + SpeedPossibleVal_3312 + SpeedPossibleVal_3311 + SpeedPossibleVal_3310 + SpeedPossibleVal_3880 + SpeedPossibleVal_2550 + SpeedPossibleVal_3881 + SpeedPossibleVal_1220 + SpeedPossibleVal_2551 + SpeedPossibleVal_3882 + SpeedPossibleVal_1221 + SpeedPossibleVal_2552 + SpeedPossibleVal_3883 + SpeedPossibleVal_1222 + SpeedPossibleVal_2553 + SpeedPossibleVal_3884 + SpeedPossibleVal_1223 + SpeedPossibleVal_2554 + SpeedPossibleVal_3885 + SpeedPossibleVal_1224 + SpeedPossibleVal_2555 + SpeedPossibleVal_3886 + SpeedPossibleVal_1225 + SpeedPossibleVal_2556 + SpeedPossibleVal_3887 + SpeedPossibleVal_1226 + SpeedPossibleVal_2557 + SpeedPossibleVal_3888 + SpeedPossibleVal_1227 + SpeedPossibleVal_2558 + SpeedPossibleVal_3889 + SpeedPossibleVal_630 + SpeedPossibleVal_1228 + SpeedPossibleVal_2559 + SpeedPossibleVal_631 + SpeedPossibleVal_1229 + SpeedPossibleVal_632 + SpeedPossibleVal_633 + SpeedPossibleVal_634 + SpeedPossibleVal_635 + SpeedPossibleVal_636 + SpeedPossibleVal_637 + SpeedPossibleVal_638 + SpeedPossibleVal_639 + SpeedPossibleVal_3309 + SpeedPossibleVal_3308 + SpeedPossibleVal_3307 + SpeedPossibleVal_3306 + SpeedPossibleVal_3305 + SpeedPossibleVal_3890 + SpeedPossibleVal_2560 + SpeedPossibleVal_3891 + SpeedPossibleVal_1230 + SpeedPossibleVal_2561 + SpeedPossibleVal_3892 + SpeedPossibleVal_1231 + SpeedPossibleVal_2562 + SpeedPossibleVal_3893 + SpeedPossibleVal_1232 + SpeedPossibleVal_2563 + SpeedPossibleVal_3894 + SpeedPossibleVal_1233 + SpeedPossibleVal_2564 + SpeedPossibleVal_3895 + SpeedPossibleVal_1234 + SpeedPossibleVal_2565 + SpeedPossibleVal_3896 + SpeedPossibleVal_1235 + SpeedPossibleVal_2566 + SpeedPossibleVal_3897 + SpeedPossibleVal_1236 + SpeedPossibleVal_2567 + SpeedPossibleVal_3898 + SpeedPossibleVal_1237 + SpeedPossibleVal_2568 + SpeedPossibleVal_3899 + SpeedPossibleVal_640 + SpeedPossibleVal_1238 + SpeedPossibleVal_2569 + SpeedPossibleVal_641 + SpeedPossibleVal_1239 + SpeedPossibleVal_642 + SpeedPossibleVal_643 + SpeedPossibleVal_644 + SpeedPossibleVal_645 + SpeedPossibleVal_646 + SpeedPossibleVal_647 + SpeedPossibleVal_648 + SpeedPossibleVal_649 + SpeedPossibleVal_3304 + SpeedPossibleVal_3303 + SpeedPossibleVal_3302 + SpeedPossibleVal_3301 + SpeedPossibleVal_3300 + SpeedPossibleVal_2570 + SpeedPossibleVal_1240 + SpeedPossibleVal_2571 + SpeedPossibleVal_1241 + SpeedPossibleVal_2572 + SpeedPossibleVal_1242 + SpeedPossibleVal_2573 + SpeedPossibleVal_1243 + SpeedPossibleVal_2574 + SpeedPossibleVal_1244 + SpeedPossibleVal_2575 + SpeedPossibleVal_1245 + SpeedPossibleVal_2576 + SpeedPossibleVal_1246 + SpeedPossibleVal_2577 + SpeedPossibleVal_1247 + SpeedPossibleVal_2578 + SpeedPossibleVal_650 + SpeedPossibleVal_1248 + SpeedPossibleVal_2579 + SpeedPossibleVal_651 + SpeedPossibleVal_1249 + SpeedPossibleVal_652 + SpeedPossibleVal_653 + SpeedPossibleVal_654 + SpeedPossibleVal_655 + SpeedPossibleVal_656 + SpeedPossibleVal_657 + SpeedPossibleVal_658 + SpeedPossibleVal_659 + SpeedPossibleVal_2580 + SpeedPossibleVal_1250 + SpeedPossibleVal_2581 + SpeedPossibleVal_1251 + SpeedPossibleVal_2582 + SpeedPossibleVal_1252 + SpeedPossibleVal_2583 + SpeedPossibleVal_1253 + SpeedPossibleVal_2584 + SpeedPossibleVal_1254 + SpeedPossibleVal_2585 + SpeedPossibleVal_1255 + SpeedPossibleVal_2586 + SpeedPossibleVal_1256 + SpeedPossibleVal_2587 + SpeedPossibleVal_1257 + SpeedPossibleVal_2588 + SpeedPossibleVal_660 + SpeedPossibleVal_1258 + SpeedPossibleVal_2589 + SpeedPossibleVal_661 + SpeedPossibleVal_1259 + SpeedPossibleVal_662 + SpeedPossibleVal_663 + SpeedPossibleVal_664 + SpeedPossibleVal_665 + SpeedPossibleVal_666 + SpeedPossibleVal_667 + SpeedPossibleVal_668 + SpeedPossibleVal_669 + SpeedPossibleVal_2590 + SpeedPossibleVal_1260 + SpeedPossibleVal_2591 + SpeedPossibleVal_1261 + SpeedPossibleVal_2592 + SpeedPossibleVal_1262 + SpeedPossibleVal_2593 + SpeedPossibleVal_1263 + SpeedPossibleVal_2594 + SpeedPossibleVal_1264 + SpeedPossibleVal_2595 + SpeedPossibleVal_1265 + SpeedPossibleVal_2596 + SpeedPossibleVal_1266 + SpeedPossibleVal_2597 + SpeedPossibleVal_1267 + SpeedPossibleVal_2598 + SpeedPossibleVal_670 + SpeedPossibleVal_1268 + SpeedPossibleVal_2599 + SpeedPossibleVal_671 + SpeedPossibleVal_1269 + SpeedPossibleVal_672 + SpeedPossibleVal_673 + SpeedPossibleVal_674 + SpeedPossibleVal_675 + SpeedPossibleVal_676 + SpeedPossibleVal_677 + SpeedPossibleVal_678 + SpeedPossibleVal_679 + SpeedPossibleVal_1270 + SpeedPossibleVal_1271 + SpeedPossibleVal_1272 + SpeedPossibleVal_1273 + SpeedPossibleVal_1274 + SpeedPossibleVal_1275 + SpeedPossibleVal_1276 + SpeedPossibleVal_1277 + SpeedPossibleVal_680 + SpeedPossibleVal_1278 + SpeedPossibleVal_681 + SpeedPossibleVal_1279 + SpeedPossibleVal_682 + SpeedPossibleVal_683 + SpeedPossibleVal_684 + SpeedPossibleVal_685 + SpeedPossibleVal_686 + SpeedPossibleVal_687 + SpeedPossibleVal_688 + SpeedPossibleVal_689 + SpeedPossibleVal_1280 + SpeedPossibleVal_1281 + SpeedPossibleVal_1282 + SpeedPossibleVal_1283 + SpeedPossibleVal_1284 + SpeedPossibleVal_1285 + SpeedPossibleVal_1286 + SpeedPossibleVal_1287 + SpeedPossibleVal_690 + SpeedPossibleVal_1288 + SpeedPossibleVal_691 + SpeedPossibleVal_1289 + SpeedPossibleVal_692 + SpeedPossibleVal_693 + SpeedPossibleVal_694 + SpeedPossibleVal_695 + SpeedPossibleVal_696 + SpeedPossibleVal_697 + SpeedPossibleVal_698 + SpeedPossibleVal_699 + SpeedPossibleVal_1290 + SpeedPossibleVal_1291 + SpeedPossibleVal_1292 + SpeedPossibleVal_1293 + SpeedPossibleVal_1294 + SpeedPossibleVal_1295 + SpeedPossibleVal_1296 + SpeedPossibleVal_1297 + SpeedPossibleVal_1298 + SpeedPossibleVal_1299 + 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_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_3900 + SpeedPossibleVal_3901 + SpeedPossibleVal_3902 + SpeedPossibleVal_3903 + SpeedPossibleVal_3904 + SpeedPossibleVal_3905 + SpeedPossibleVal_3906 + SpeedPossibleVal_3907 + SpeedPossibleVal_3908 + SpeedPossibleVal_3909 + SpeedPossibleVal_3910 + SpeedPossibleVal_3911 + SpeedPossibleVal_3912 + SpeedPossibleVal_3913 + SpeedPossibleVal_3914 + SpeedPossibleVal_3915 + SpeedPossibleVal_3916 + SpeedPossibleVal_3917 + SpeedPossibleVal_3918 + SpeedPossibleVal_3919 + SpeedPossibleVal_3920 + SpeedPossibleVal_3921 + SpeedPossibleVal_3922 + SpeedPossibleVal_3923 + SpeedPossibleVal_3924 + SpeedPossibleVal_3925 + SpeedPossibleVal_3926 + SpeedPossibleVal_3927 + SpeedPossibleVal_3928 + SpeedPossibleVal_3929 + SpeedPossibleVal_3930 + SpeedPossibleVal_2600 + SpeedPossibleVal_3931 + SpeedPossibleVal_2601 + SpeedPossibleVal_3932 + SpeedPossibleVal_2602 + SpeedPossibleVal_3933 + SpeedPossibleVal_2603 + SpeedPossibleVal_3934 + SpeedPossibleVal_2604 + SpeedPossibleVal_3935 + SpeedPossibleVal_2605 + SpeedPossibleVal_3936 + SpeedPossibleVal_2606 + SpeedPossibleVal_3937 + SpeedPossibleVal_2607 + SpeedPossibleVal_3938 + SpeedPossibleVal_2608 + SpeedPossibleVal_3939 + SpeedPossibleVal_2609 + SpeedPossibleVal_3940 + SpeedPossibleVal_2610 + SpeedPossibleVal_3941 + SpeedPossibleVal_2611 + SpeedPossibleVal_3942 + SpeedPossibleVal_2612 + SpeedPossibleVal_3943 + SpeedPossibleVal_2613 + SpeedPossibleVal_3944 + SpeedPossibleVal_2614 + SpeedPossibleVal_3945 + SpeedPossibleVal_2615 + SpeedPossibleVal_3946 + SpeedPossibleVal_2616 + SpeedPossibleVal_3947 + SpeedPossibleVal_2617 + SpeedPossibleVal_3948 + SpeedPossibleVal_2618 + SpeedPossibleVal_3949 + SpeedPossibleVal_2619 + SpeedPossibleVal_3950 + SpeedPossibleVal_2620 + SpeedPossibleVal_3951 + SpeedPossibleVal_2621 + SpeedPossibleVal_3952 + SpeedPossibleVal_2622 + SpeedPossibleVal_3953 + SpeedPossibleVal_2623 + SpeedPossibleVal_3954 + SpeedPossibleVal_2624 + SpeedPossibleVal_3955 + SpeedPossibleVal_2625 + SpeedPossibleVal_3956 + SpeedPossibleVal_2626 + SpeedPossibleVal_3957 + SpeedPossibleVal_2627 + SpeedPossibleVal_3958 + SpeedPossibleVal_2628 + SpeedPossibleVal_3959 + SpeedPossibleVal_700 + SpeedPossibleVal_2629 + SpeedPossibleVal_701 + SpeedPossibleVal_702 + SpeedPossibleVal_703 + SpeedPossibleVal_704 + SpeedPossibleVal_705 + SpeedPossibleVal_706 + SpeedPossibleVal_707 + SpeedPossibleVal_708 + SpeedPossibleVal_709 + SpeedPossibleVal_3960 + SpeedPossibleVal_2630 + SpeedPossibleVal_3961 + SpeedPossibleVal_1300 + SpeedPossibleVal_2631 + SpeedPossibleVal_3962 + SpeedPossibleVal_1301 + SpeedPossibleVal_2632 + SpeedPossibleVal_3963 + SpeedPossibleVal_1302 + SpeedPossibleVal_2633 + SpeedPossibleVal_3964 + SpeedPossibleVal_1303 + SpeedPossibleVal_2634 + SpeedPossibleVal_3965 + SpeedPossibleVal_1304 + SpeedPossibleVal_2635 + SpeedPossibleVal_3966 + SpeedPossibleVal_1305 + SpeedPossibleVal_2636 + SpeedPossibleVal_3967 + SpeedPossibleVal_1306 + SpeedPossibleVal_2637 + SpeedPossibleVal_3968 + SpeedPossibleVal_1307 + SpeedPossibleVal_2638 + SpeedPossibleVal_3969 + SpeedPossibleVal_710 + SpeedPossibleVal_1308 + SpeedPossibleVal_2639 + SpeedPossibleVal_711 + SpeedPossibleVal_1309 + SpeedPossibleVal_712 + SpeedPossibleVal_713 + SpeedPossibleVal_714 + SpeedPossibleVal_715 + SpeedPossibleVal_716 + SpeedPossibleVal_717 + SpeedPossibleVal_718 + SpeedPossibleVal_719 + SpeedPossibleVal_3970 + SpeedPossibleVal_2640 + SpeedPossibleVal_3971 + SpeedPossibleVal_1310 + SpeedPossibleVal_2641 + SpeedPossibleVal_3972 + SpeedPossibleVal_1311 + SpeedPossibleVal_2642 + SpeedPossibleVal_3973 + SpeedPossibleVal_1312 + SpeedPossibleVal_2643 + SpeedPossibleVal_3974 + SpeedPossibleVal_1313 + SpeedPossibleVal_2644 + SpeedPossibleVal_3975 + SpeedPossibleVal_1314 + SpeedPossibleVal_2645 + SpeedPossibleVal_3976 + SpeedPossibleVal_1315 + SpeedPossibleVal_2646 + SpeedPossibleVal_3977 + SpeedPossibleVal_1316 + SpeedPossibleVal_2647 + SpeedPossibleVal_3978 + SpeedPossibleVal_1317 + SpeedPossibleVal_2648 + SpeedPossibleVal_3979 + SpeedPossibleVal_720 + SpeedPossibleVal_1318 + SpeedPossibleVal_2649 + SpeedPossibleVal_721 + SpeedPossibleVal_1319 + SpeedPossibleVal_722 + SpeedPossibleVal_723 + SpeedPossibleVal_724 + SpeedPossibleVal_725 + SpeedPossibleVal_726 + SpeedPossibleVal_727 + SpeedPossibleVal_728 + SpeedPossibleVal_729 + SpeedPossibleVal_3980 + SpeedPossibleVal_2650 + SpeedPossibleVal_3981 + SpeedPossibleVal_1320 + SpeedPossibleVal_2651 + SpeedPossibleVal_3982 + SpeedPossibleVal_1321 + SpeedPossibleVal_2652 + SpeedPossibleVal_3983 + SpeedPossibleVal_1322 + SpeedPossibleVal_2653 + SpeedPossibleVal_3984 + SpeedPossibleVal_1323 + SpeedPossibleVal_2654 + SpeedPossibleVal_3985 + SpeedPossibleVal_1324 + SpeedPossibleVal_2655 + SpeedPossibleVal_3986 + SpeedPossibleVal_1325 + SpeedPossibleVal_2656 + SpeedPossibleVal_3987 + SpeedPossibleVal_1326 + SpeedPossibleVal_2657 + SpeedPossibleVal_3988 + SpeedPossibleVal_1327 + SpeedPossibleVal_2658 + SpeedPossibleVal_3989 + SpeedPossibleVal_730 + SpeedPossibleVal_1328 + SpeedPossibleVal_2659 + SpeedPossibleVal_731 + SpeedPossibleVal_1329 + SpeedPossibleVal_732 + SpeedPossibleVal_733 + SpeedPossibleVal_734 + SpeedPossibleVal_735 + SpeedPossibleVal_736 + SpeedPossibleVal_737 + SpeedPossibleVal_738 + SpeedPossibleVal_739 + SpeedPossibleVal_3990 + SpeedPossibleVal_2660 + SpeedPossibleVal_3991 + SpeedPossibleVal_1330 + SpeedPossibleVal_2661 + SpeedPossibleVal_3992 + SpeedPossibleVal_1331 + SpeedPossibleVal_2662 + SpeedPossibleVal_3993 + SpeedPossibleVal_1332 + SpeedPossibleVal_2663 + SpeedPossibleVal_3994 + SpeedPossibleVal_1333 + SpeedPossibleVal_2664 + SpeedPossibleVal_3995 + SpeedPossibleVal_1334 + SpeedPossibleVal_2665 + SpeedPossibleVal_3996 + SpeedPossibleVal_1335 + SpeedPossibleVal_2666 + SpeedPossibleVal_3997 + SpeedPossibleVal_1336 + SpeedPossibleVal_2667 + SpeedPossibleVal_3998 + SpeedPossibleVal_1337 + SpeedPossibleVal_2668 + SpeedPossibleVal_3999 + SpeedPossibleVal_740 + SpeedPossibleVal_1338 + SpeedPossibleVal_2669 + SpeedPossibleVal_741 + SpeedPossibleVal_1339 + SpeedPossibleVal_742 + SpeedPossibleVal_743 + SpeedPossibleVal_744 + SpeedPossibleVal_745 + SpeedPossibleVal_746 + SpeedPossibleVal_747 + SpeedPossibleVal_748 + SpeedPossibleVal_749 + SpeedPossibleVal_2670 + SpeedPossibleVal_1340 + SpeedPossibleVal_2671 + SpeedPossibleVal_1341 + SpeedPossibleVal_2672 + SpeedPossibleVal_1342 + SpeedPossibleVal_2673 + SpeedPossibleVal_1343 + SpeedPossibleVal_2674 + SpeedPossibleVal_1344 + SpeedPossibleVal_2675 + SpeedPossibleVal_1345 + SpeedPossibleVal_2676 + SpeedPossibleVal_1346 + SpeedPossibleVal_2677 + SpeedPossibleVal_1347 + SpeedPossibleVal_2678 + SpeedPossibleVal_750 + SpeedPossibleVal_1348 + SpeedPossibleVal_2679 + SpeedPossibleVal_751 + SpeedPossibleVal_1349 + SpeedPossibleVal_752 + SpeedPossibleVal_753 + SpeedPossibleVal_754 + SpeedPossibleVal_755 + SpeedPossibleVal_756 + SpeedPossibleVal_757 + SpeedPossibleVal_758 + SpeedPossibleVal_759 + SpeedPossibleVal_2680 + SpeedPossibleVal_1350 + SpeedPossibleVal_2681 + SpeedPossibleVal_1351 + SpeedPossibleVal_2682 + SpeedPossibleVal_1352 + SpeedPossibleVal_2683 + SpeedPossibleVal_1353 + SpeedPossibleVal_2684 + SpeedPossibleVal_1354 + SpeedPossibleVal_2685 + SpeedPossibleVal_1355 + SpeedPossibleVal_2686 + SpeedPossibleVal_1356 + SpeedPossibleVal_2687 + SpeedPossibleVal_1357 + SpeedPossibleVal_2688 + SpeedPossibleVal_760 + SpeedPossibleVal_1358 + SpeedPossibleVal_2689 + SpeedPossibleVal_761 + SpeedPossibleVal_1359 + SpeedPossibleVal_762 + SpeedPossibleVal_763 + SpeedPossibleVal_764 + SpeedPossibleVal_765 + SpeedPossibleVal_766 + SpeedPossibleVal_767 + SpeedPossibleVal_768 + SpeedPossibleVal_769 + SpeedPossibleVal_2690 + SpeedPossibleVal_1360 + SpeedPossibleVal_2691 + SpeedPossibleVal_1361 + SpeedPossibleVal_2692 + SpeedPossibleVal_1362 + SpeedPossibleVal_2693 + SpeedPossibleVal_1363 + SpeedPossibleVal_2694 + SpeedPossibleVal_1364 + SpeedPossibleVal_2695 + SpeedPossibleVal_1365 + SpeedPossibleVal_2696 + SpeedPossibleVal_1366 + SpeedPossibleVal_2697 + SpeedPossibleVal_1367 + SpeedPossibleVal_2698 + SpeedPossibleVal_770 + SpeedPossibleVal_1368 + SpeedPossibleVal_2699 + SpeedPossibleVal_771 + SpeedPossibleVal_1369 + SpeedPossibleVal_772 + SpeedPossibleVal_773 + SpeedPossibleVal_774 + SpeedPossibleVal_775 + SpeedPossibleVal_776 + SpeedPossibleVal_777 + SpeedPossibleVal_778 + SpeedPossibleVal_779 + SpeedPossibleVal_1370 + SpeedPossibleVal_1371 + SpeedPossibleVal_1372 + SpeedPossibleVal_1373 + SpeedPossibleVal_1374 + SpeedPossibleVal_1375 + SpeedPossibleVal_1376 + SpeedPossibleVal_1377 + SpeedPossibleVal_780 + SpeedPossibleVal_1378 + SpeedPossibleVal_781 + SpeedPossibleVal_1379 + SpeedPossibleVal_782 + SpeedPossibleVal_783 + SpeedPossibleVal_784 + SpeedPossibleVal_785 + SpeedPossibleVal_786 + SpeedPossibleVal_787 + SpeedPossibleVal_788 + SpeedPossibleVal_789 + SpeedPossibleVal_1380 + SpeedPossibleVal_1381 + SpeedPossibleVal_1382 + SpeedPossibleVal_1383 + SpeedPossibleVal_1384 + SpeedPossibleVal_1385 + SpeedPossibleVal_1386 + SpeedPossibleVal_1387 + SpeedPossibleVal_790 + SpeedPossibleVal_1388 + SpeedPossibleVal_791 + SpeedPossibleVal_1389 + SpeedPossibleVal_792 + SpeedPossibleVal_793 + SpeedPossibleVal_794 + SpeedPossibleVal_795 + SpeedPossibleVal_796 + SpeedPossibleVal_797 + SpeedPossibleVal_798 + SpeedPossibleVal_799 + SpeedPossibleVal_1390 + SpeedPossibleVal_1391 + SpeedPossibleVal_1392 + SpeedPossibleVal_1393 + SpeedPossibleVal_1394 + SpeedPossibleVal_1395 + SpeedPossibleVal_1396 + SpeedPossibleVal_1397 + SpeedPossibleVal_1398 + SpeedPossibleVal_1399 + 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_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_2700 + SpeedPossibleVal_2701 + SpeedPossibleVal_2702 + SpeedPossibleVal_2703 + SpeedPossibleVal_2704 + SpeedPossibleVal_2705 + SpeedPossibleVal_2706 + SpeedPossibleVal_2707 + SpeedPossibleVal_2708 + SpeedPossibleVal_2709 + SpeedPossibleVal_2710 + SpeedPossibleVal_2711 + SpeedPossibleVal_2712 + SpeedPossibleVal_2713 + SpeedPossibleVal_2714 + SpeedPossibleVal_2715 + SpeedPossibleVal_2716 + SpeedPossibleVal_2717 + SpeedPossibleVal_2718 + SpeedPossibleVal_2719 + SpeedPossibleVal_2720 + SpeedPossibleVal_2721 + SpeedPossibleVal_2722 + SpeedPossibleVal_2723 + SpeedPossibleVal_2724 + SpeedPossibleVal_2725 + SpeedPossibleVal_2726 + SpeedPossibleVal_2727 + SpeedPossibleVal_2728 + SpeedPossibleVal_800 + SpeedPossibleVal_2729 + SpeedPossibleVal_801 + SpeedPossibleVal_802 + SpeedPossibleVal_803 + SpeedPossibleVal_804 + SpeedPossibleVal_805 + SpeedPossibleVal_806 + SpeedPossibleVal_807 + SpeedPossibleVal_808 + SpeedPossibleVal_809 + SpeedPossibleVal_2730 + SpeedPossibleVal_1400 + SpeedPossibleVal_2731 + SpeedPossibleVal_1401 + SpeedPossibleVal_2732 + SpeedPossibleVal_1402 + SpeedPossibleVal_2733 + SpeedPossibleVal_1403 + SpeedPossibleVal_2734 + SpeedPossibleVal_1404 + SpeedPossibleVal_2735 + SpeedPossibleVal_1405 + SpeedPossibleVal_2736 + SpeedPossibleVal_1406 + SpeedPossibleVal_2737 + SpeedPossibleVal_1407 + SpeedPossibleVal_2738 + SpeedPossibleVal_810 + SpeedPossibleVal_1408 + SpeedPossibleVal_2739 + SpeedPossibleVal_811 + SpeedPossibleVal_1409 + SpeedPossibleVal_812 + SpeedPossibleVal_813 + SpeedPossibleVal_814 + SpeedPossibleVal_815 + SpeedPossibleVal_816 + SpeedPossibleVal_817 + SpeedPossibleVal_818 + SpeedPossibleVal_819 + SpeedPossibleVal_2740 + SpeedPossibleVal_1410 + SpeedPossibleVal_2741 + SpeedPossibleVal_1411 + SpeedPossibleVal_2742 + SpeedPossibleVal_1412 + SpeedPossibleVal_2743 + SpeedPossibleVal_1413 + SpeedPossibleVal_2744 + SpeedPossibleVal_1414 + SpeedPossibleVal_2745 + SpeedPossibleVal_1415 + SpeedPossibleVal_2746 + SpeedPossibleVal_1416 + SpeedPossibleVal_2747 + SpeedPossibleVal_1417 + SpeedPossibleVal_2748 + SpeedPossibleVal_820 + SpeedPossibleVal_1418 + SpeedPossibleVal_2749 + SpeedPossibleVal_821 + SpeedPossibleVal_1419 + SpeedPossibleVal_822 + SpeedPossibleVal_823 + SpeedPossibleVal_824 + SpeedPossibleVal_825 + SpeedPossibleVal_826 + SpeedPossibleVal_827 + SpeedPossibleVal_828 + SpeedPossibleVal_829 + SpeedPossibleVal_3013 + SpeedPossibleVal_3012 + SpeedPossibleVal_3011 + SpeedPossibleVal_3010 + SpeedPossibleVal_2750 + SpeedPossibleVal_1420 + SpeedPossibleVal_2751 + SpeedPossibleVal_1421 + SpeedPossibleVal_2752 + SpeedPossibleVal_1422 + SpeedPossibleVal_2753 + SpeedPossibleVal_1423 + SpeedPossibleVal_2754 + SpeedPossibleVal_1424 + SpeedPossibleVal_2755 + SpeedPossibleVal_1425 + SpeedPossibleVal_2756 + SpeedPossibleVal_1426 + SpeedPossibleVal_2757 + SpeedPossibleVal_1427 + SpeedPossibleVal_2758 + SpeedPossibleVal_830 + SpeedPossibleVal_1428 + SpeedPossibleVal_2759 + SpeedPossibleVal_831 + SpeedPossibleVal_1429 + SpeedPossibleVal_832 + SpeedPossibleVal_833 + SpeedPossibleVal_834 + SpeedPossibleVal_835 + SpeedPossibleVal_836 + SpeedPossibleVal_837 + SpeedPossibleVal_838 + SpeedPossibleVal_839 + SpeedPossibleVal_3009 + SpeedPossibleVal_3008 + SpeedPossibleVal_3007 + SpeedPossibleVal_3006 + SpeedPossibleVal_3005 + SpeedPossibleVal_3004 + SpeedPossibleVal_2760 + SpeedPossibleVal_1430 + SpeedPossibleVal_2761 + SpeedPossibleVal_1431 + SpeedPossibleVal_2762 + SpeedPossibleVal_1432 + SpeedPossibleVal_2763 + SpeedPossibleVal_1433 + SpeedPossibleVal_2764 + SpeedPossibleVal_1434 + SpeedPossibleVal_2765 + SpeedPossibleVal_1435 + SpeedPossibleVal_2766 + SpeedPossibleVal_1436 + SpeedPossibleVal_2767 + SpeedPossibleVal_1437 + SpeedPossibleVal_2768 + SpeedPossibleVal_840 + SpeedPossibleVal_1438 + SpeedPossibleVal_2769 + SpeedPossibleVal_841 + SpeedPossibleVal_1439 + SpeedPossibleVal_842 + SpeedPossibleVal_843 + SpeedPossibleVal_844 + SpeedPossibleVal_845 + SpeedPossibleVal_846 + SpeedPossibleVal_847 + SpeedPossibleVal_848 + SpeedPossibleVal_849 + SpeedPossibleVal_3003 + SpeedPossibleVal_3002 + SpeedPossibleVal_3001 + SpeedPossibleVal_3000 + SpeedPossibleVal_2770 + SpeedPossibleVal_1440 + SpeedPossibleVal_2771 + SpeedPossibleVal_1441 + SpeedPossibleVal_2772 + SpeedPossibleVal_1442 + SpeedPossibleVal_2773 + SpeedPossibleVal_1443 + SpeedPossibleVal_2774 + SpeedPossibleVal_1444 + SpeedPossibleVal_2775 + SpeedPossibleVal_1445 + SpeedPossibleVal_2776 + SpeedPossibleVal_1446 + SpeedPossibleVal_2777 + SpeedPossibleVal_1447 + SpeedPossibleVal_2778 + SpeedPossibleVal_850 + SpeedPossibleVal_1448 + SpeedPossibleVal_2779 + SpeedPossibleVal_851 + SpeedPossibleVal_1449 + SpeedPossibleVal_852 + SpeedPossibleVal_853 + SpeedPossibleVal_854 + SpeedPossibleVal_855 + SpeedPossibleVal_856 + SpeedPossibleVal_857 + SpeedPossibleVal_858 + SpeedPossibleVal_859 + SpeedPossibleVal_2780 + SpeedPossibleVal_1450 + SpeedPossibleVal_2781 + SpeedPossibleVal_1451 + SpeedPossibleVal_2782 + SpeedPossibleVal_1452 + SpeedPossibleVal_2783 + SpeedPossibleVal_1453 + SpeedPossibleVal_2784 + SpeedPossibleVal_1454 + SpeedPossibleVal_2785 + SpeedPossibleVal_1455 + SpeedPossibleVal_2786 + SpeedPossibleVal_1456 + SpeedPossibleVal_2787 + SpeedPossibleVal_1457 + SpeedPossibleVal_2788 + SpeedPossibleVal_860 + SpeedPossibleVal_1458 + SpeedPossibleVal_2789 + SpeedPossibleVal_861 + SpeedPossibleVal_1459 + SpeedPossibleVal_862 + SpeedPossibleVal_863 + SpeedPossibleVal_864 + SpeedPossibleVal_865 + SpeedPossibleVal_866 + SpeedPossibleVal_867 + SpeedPossibleVal_868 + SpeedPossibleVal_869 + SpeedPossibleVal_2790 + SpeedPossibleVal_1460 + SpeedPossibleVal_2791 + SpeedPossibleVal_1461 + SpeedPossibleVal_2792 + SpeedPossibleVal_1462 + SpeedPossibleVal_2793 + SpeedPossibleVal_1463 + SpeedPossibleVal_2794 + SpeedPossibleVal_1464 + SpeedPossibleVal_2795 + SpeedPossibleVal_1465 + SpeedPossibleVal_2796 + SpeedPossibleVal_1466 + SpeedPossibleVal_2797 + SpeedPossibleVal_1467 + SpeedPossibleVal_2798 + SpeedPossibleVal_870 + SpeedPossibleVal_1468 + SpeedPossibleVal_2799 + SpeedPossibleVal_871 + SpeedPossibleVal_1469 + SpeedPossibleVal_872 + SpeedPossibleVal_873 + SpeedPossibleVal_874 + SpeedPossibleVal_875 + SpeedPossibleVal_876 + SpeedPossibleVal_877 + SpeedPossibleVal_878 + SpeedPossibleVal_879 + SpeedPossibleVal_1470 + SpeedPossibleVal_1471 + SpeedPossibleVal_1472 + SpeedPossibleVal_1473 + SpeedPossibleVal_1474 + SpeedPossibleVal_1475 + SpeedPossibleVal_1476 + SpeedPossibleVal_1477 + SpeedPossibleVal_880 + SpeedPossibleVal_1478 + SpeedPossibleVal_881 + SpeedPossibleVal_1479 + SpeedPossibleVal_882 + SpeedPossibleVal_883 + SpeedPossibleVal_884 + SpeedPossibleVal_885 + SpeedPossibleVal_886 + SpeedPossibleVal_887 + SpeedPossibleVal_888 + SpeedPossibleVal_889 + SpeedPossibleVal_1480 + SpeedPossibleVal_1481 + SpeedPossibleVal_1482 + SpeedPossibleVal_1483 + SpeedPossibleVal_1484 + SpeedPossibleVal_1485 + SpeedPossibleVal_1486 + SpeedPossibleVal_1487 + SpeedPossibleVal_890 + SpeedPossibleVal_1488 + SpeedPossibleVal_891 + SpeedPossibleVal_1489 + SpeedPossibleVal_892 + SpeedPossibleVal_893 + SpeedPossibleVal_894 + SpeedPossibleVal_895 + SpeedPossibleVal_896 + SpeedPossibleVal_897 + SpeedPossibleVal_898 + SpeedPossibleVal_899 + SpeedPossibleVal_1490 + SpeedPossibleVal_1491 + SpeedPossibleVal_1492 + SpeedPossibleVal_1493 + SpeedPossibleVal_1494 + SpeedPossibleVal_1495 + SpeedPossibleVal_1496 + SpeedPossibleVal_1497 + SpeedPossibleVal_1498 + SpeedPossibleVal_1499 + 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_2800 + SpeedPossibleVal_2801 + SpeedPossibleVal_2802 + SpeedPossibleVal_2803 + SpeedPossibleVal_2804 + SpeedPossibleVal_2805 + SpeedPossibleVal_2806 + SpeedPossibleVal_2807 + SpeedPossibleVal_2808 + SpeedPossibleVal_2809 + SpeedPossibleVal_2810 + SpeedPossibleVal_2811 + SpeedPossibleVal_2812 + SpeedPossibleVal_2813 + SpeedPossibleVal_2814 + SpeedPossibleVal_2815 + SpeedPossibleVal_2816 + SpeedPossibleVal_2817 + SpeedPossibleVal_2818 + SpeedPossibleVal_2819 + SpeedPossibleVal_2820 + SpeedPossibleVal_2821 + SpeedPossibleVal_2822 + SpeedPossibleVal_2823 + SpeedPossibleVal_2824 + SpeedPossibleVal_2825 + SpeedPossibleVal_2826 + SpeedPossibleVal_2827 + SpeedPossibleVal_2828 + SpeedPossibleVal_900 + SpeedPossibleVal_2829 + SpeedPossibleVal_901 + SpeedPossibleVal_902 + SpeedPossibleVal_903 + SpeedPossibleVal_904 + SpeedPossibleVal_905 + SpeedPossibleVal_906 + SpeedPossibleVal_907 + SpeedPossibleVal_908 + SpeedPossibleVal_909 + SpeedPossibleVal_2830 + SpeedPossibleVal_1500 + SpeedPossibleVal_2831 + SpeedPossibleVal_1501 + SpeedPossibleVal_2832 + SpeedPossibleVal_1502 + SpeedPossibleVal_2833 + SpeedPossibleVal_1503 + SpeedPossibleVal_2834 + SpeedPossibleVal_1504 + SpeedPossibleVal_2835 + SpeedPossibleVal_1505 + SpeedPossibleVal_2836 + SpeedPossibleVal_1506 + SpeedPossibleVal_2837 + SpeedPossibleVal_1507 + SpeedPossibleVal_2838 + SpeedPossibleVal_910 + SpeedPossibleVal_1508 + SpeedPossibleVal_2839 + SpeedPossibleVal_911 + SpeedPossibleVal_1509 + SpeedPossibleVal_912 + SpeedPossibleVal_913 + SpeedPossibleVal_914 + SpeedPossibleVal_915 + SpeedPossibleVal_916 + SpeedPossibleVal_917 + SpeedPossibleVal_918 + SpeedPossibleVal_919 + SpeedPossibleVal_2840 + SpeedPossibleVal_1510 + SpeedPossibleVal_2841 + SpeedPossibleVal_1511 + SpeedPossibleVal_2842 + SpeedPossibleVal_1512 + SpeedPossibleVal_2843 + SpeedPossibleVal_1513 + SpeedPossibleVal_2844 + SpeedPossibleVal_1514 + SpeedPossibleVal_2845 + SpeedPossibleVal_1515 + SpeedPossibleVal_2846 + SpeedPossibleVal_1516 + SpeedPossibleVal_2847 + SpeedPossibleVal_1517 + SpeedPossibleVal_2848 + SpeedPossibleVal_920 + SpeedPossibleVal_1518 + SpeedPossibleVal_2849 + SpeedPossibleVal_921 + SpeedPossibleVal_1519 + SpeedPossibleVal_922 + SpeedPossibleVal_923 + SpeedPossibleVal_924 + SpeedPossibleVal_925 + SpeedPossibleVal_926 + SpeedPossibleVal_927 + SpeedPossibleVal_928 + SpeedPossibleVal_929 + SpeedPossibleVal_1919 + SpeedPossibleVal_1918 + SpeedPossibleVal_2850 + SpeedPossibleVal_1520 + SpeedPossibleVal_2851 + SpeedPossibleVal_1521 + SpeedPossibleVal_2852 + SpeedPossibleVal_1522 + SpeedPossibleVal_2853 + SpeedPossibleVal_1523 + SpeedPossibleVal_2854 + SpeedPossibleVal_1524 + SpeedPossibleVal_2855 + SpeedPossibleVal_1525 + SpeedPossibleVal_2856 + SpeedPossibleVal_1526 + SpeedPossibleVal_2857 + SpeedPossibleVal_1527 + SpeedPossibleVal_2858 + SpeedPossibleVal_930 + SpeedPossibleVal_1528 + SpeedPossibleVal_2859 + SpeedPossibleVal_931 + SpeedPossibleVal_1529 + SpeedPossibleVal_932 + SpeedPossibleVal_933 + SpeedPossibleVal_934 + SpeedPossibleVal_935 + SpeedPossibleVal_936 + SpeedPossibleVal_937 + SpeedPossibleVal_938 + SpeedPossibleVal_939 + SpeedPossibleVal_1917 + SpeedPossibleVal_1916 + SpeedPossibleVal_1915 + SpeedPossibleVal_1914 + SpeedPossibleVal_1913 + SpeedPossibleVal_1912 + SpeedPossibleVal_1911 + SpeedPossibleVal_1910 + SpeedPossibleVal_2860 + SpeedPossibleVal_1530 + SpeedPossibleVal_2861 + SpeedPossibleVal_1531 + SpeedPossibleVal_2862 + SpeedPossibleVal_1532 + SpeedPossibleVal_2863 + SpeedPossibleVal_1533 + SpeedPossibleVal_2864 + SpeedPossibleVal_1534 + SpeedPossibleVal_2865 + SpeedPossibleVal_1535 + SpeedPossibleVal_2866 + SpeedPossibleVal_1536 + SpeedPossibleVal_2867 + SpeedPossibleVal_1537 + SpeedPossibleVal_2868 + SpeedPossibleVal_940 + SpeedPossibleVal_1538 + SpeedPossibleVal_2869 + SpeedPossibleVal_941 + SpeedPossibleVal_1539 + SpeedPossibleVal_942 + SpeedPossibleVal_943 + SpeedPossibleVal_944 + SpeedPossibleVal_945 + SpeedPossibleVal_946 + SpeedPossibleVal_947 + SpeedPossibleVal_948 + SpeedPossibleVal_949 + SpeedPossibleVal_10 + SpeedPossibleVal_2870 + SpeedPossibleVal_11 + SpeedPossibleVal_1540 + SpeedPossibleVal_2871 + SpeedPossibleVal_12 + SpeedPossibleVal_1541 + SpeedPossibleVal_2872 + SpeedPossibleVal_13 + SpeedPossibleVal_1542 + SpeedPossibleVal_2873 + SpeedPossibleVal_14 + SpeedPossibleVal_1543 + SpeedPossibleVal_2874 + SpeedPossibleVal_15 + SpeedPossibleVal_1544 + SpeedPossibleVal_2875 + SpeedPossibleVal_16 + SpeedPossibleVal_1545 + SpeedPossibleVal_2876 + SpeedPossibleVal_17 + SpeedPossibleVal_1546 + SpeedPossibleVal_2877 + SpeedPossibleVal_18 + SpeedPossibleVal_1547 + SpeedPossibleVal_2878 + SpeedPossibleVal_19 + SpeedPossibleVal_950 + SpeedPossibleVal_1548 + SpeedPossibleVal_2879 + SpeedPossibleVal_951 + SpeedPossibleVal_1549 + SpeedPossibleVal_952 + SpeedPossibleVal_953 + SpeedPossibleVal_954 + SpeedPossibleVal_955 + SpeedPossibleVal_956 + SpeedPossibleVal_957 + SpeedPossibleVal_958 + SpeedPossibleVal_959 + SpeedPossibleVal_1909 + SpeedPossibleVal_1908 + SpeedPossibleVal_1907 + SpeedPossibleVal_1906 + SpeedPossibleVal_1905 + SpeedPossibleVal_1904 + SpeedPossibleVal_1903 + SpeedPossibleVal_1902 + SpeedPossibleVal_1901 + SpeedPossibleVal_1900 + SpeedPossibleVal_20 + SpeedPossibleVal_2880 + SpeedPossibleVal_21 + SpeedPossibleVal_1550 + SpeedPossibleVal_2881 + SpeedPossibleVal_22 + SpeedPossibleVal_1551 + SpeedPossibleVal_2882 + SpeedPossibleVal_23 + SpeedPossibleVal_1552 + SpeedPossibleVal_2883 + SpeedPossibleVal_24 + SpeedPossibleVal_1553 + SpeedPossibleVal_2884 + SpeedPossibleVal_25 + SpeedPossibleVal_1554 + SpeedPossibleVal_2885 + SpeedPossibleVal_26 + SpeedPossibleVal_1555 + SpeedPossibleVal_2886 + SpeedPossibleVal_27 + SpeedPossibleVal_1556 + SpeedPossibleVal_2887 + SpeedPossibleVal_28 + SpeedPossibleVal_1557 + SpeedPossibleVal_2888 + SpeedPossibleVal_29 + SpeedPossibleVal_960 + SpeedPossibleVal_1558 + SpeedPossibleVal_2889 + SpeedPossibleVal_961 + SpeedPossibleVal_1559 + SpeedPossibleVal_962 + SpeedPossibleVal_963 + SpeedPossibleVal_964 + SpeedPossibleVal_965 + SpeedPossibleVal_966 + SpeedPossibleVal_967 + SpeedPossibleVal_968 + SpeedPossibleVal_969 + SpeedPossibleVal_30 + SpeedPossibleVal_2890 + SpeedPossibleVal_31 + SpeedPossibleVal_1560 + SpeedPossibleVal_2891 + SpeedPossibleVal_32 + SpeedPossibleVal_1561 + SpeedPossibleVal_2892 + SpeedPossibleVal_33 + SpeedPossibleVal_1562 + SpeedPossibleVal_2893 + SpeedPossibleVal_34 + SpeedPossibleVal_1563 + SpeedPossibleVal_2894 + SpeedPossibleVal_35 + SpeedPossibleVal_1564 + SpeedPossibleVal_2895 + SpeedPossibleVal_36 + SpeedPossibleVal_1565 + SpeedPossibleVal_2896 + SpeedPossibleVal_37 + SpeedPossibleVal_1566 + SpeedPossibleVal_2897 + SpeedPossibleVal_38 + SpeedPossibleVal_1567 + SpeedPossibleVal_2898 + SpeedPossibleVal_39 + SpeedPossibleVal_970 + SpeedPossibleVal_1568 + SpeedPossibleVal_2899 + SpeedPossibleVal_971 + SpeedPossibleVal_1569 + SpeedPossibleVal_972 + SpeedPossibleVal_973 + SpeedPossibleVal_974 + SpeedPossibleVal_975 + SpeedPossibleVal_976 + SpeedPossibleVal_977 + SpeedPossibleVal_978 + SpeedPossibleVal_979 + SpeedPossibleVal_40 + SpeedPossibleVal_41 + SpeedPossibleVal_1570 + SpeedPossibleVal_42 + SpeedPossibleVal_1571 + SpeedPossibleVal_43 + SpeedPossibleVal_1572 + SpeedPossibleVal_44 + SpeedPossibleVal_1573 + SpeedPossibleVal_45 + SpeedPossibleVal_1574 + SpeedPossibleVal_46 + SpeedPossibleVal_1575 + SpeedPossibleVal_47 + SpeedPossibleVal_1576 + SpeedPossibleVal_48 + SpeedPossibleVal_1577 + SpeedPossibleVal_49 + SpeedPossibleVal_980 + SpeedPossibleVal_1578 + SpeedPossibleVal_981 + SpeedPossibleVal_1579 + SpeedPossibleVal_982 + SpeedPossibleVal_983 + SpeedPossibleVal_984 + SpeedPossibleVal_985 + SpeedPossibleVal_986 + SpeedPossibleVal_987 + SpeedPossibleVal_988 + SpeedPossibleVal_989 + SpeedPossibleVal_50 + SpeedPossibleVal_51 + SpeedPossibleVal_1580 + SpeedPossibleVal_52 + SpeedPossibleVal_1581 + SpeedPossibleVal_53 + SpeedPossibleVal_1582 + SpeedPossibleVal_54 + SpeedPossibleVal_1583 + SpeedPossibleVal_55 + SpeedPossibleVal_1584 + SpeedPossibleVal_56 + SpeedPossibleVal_1585 + SpeedPossibleVal_57 + SpeedPossibleVal_1586 + SpeedPossibleVal_58 + SpeedPossibleVal_1587 + SpeedPossibleVal_59 + SpeedPossibleVal_990 + SpeedPossibleVal_1588 + SpeedPossibleVal_991 + SpeedPossibleVal_1589 + SpeedPossibleVal_992 + SpeedPossibleVal_993 + SpeedPossibleVal_994 + SpeedPossibleVal_995 + SpeedPossibleVal_996 + SpeedPossibleVal_997 + SpeedPossibleVal_998 + SpeedPossibleVal_999 + SpeedPossibleVal_60 + SpeedPossibleVal_61 + SpeedPossibleVal_1590 + SpeedPossibleVal_62 + SpeedPossibleVal_1591 + SpeedPossibleVal_63 + SpeedPossibleVal_1592 + SpeedPossibleVal_64 + SpeedPossibleVal_1593 + SpeedPossibleVal_65 + SpeedPossibleVal_1594 + SpeedPossibleVal_66 + SpeedPossibleVal_1595 + SpeedPossibleVal_67 + SpeedPossibleVal_1596 + SpeedPossibleVal_68 + SpeedPossibleVal_1597 + SpeedPossibleVal_69 + SpeedPossibleVal_1598 + SpeedPossibleVal_1599 + SpeedPossibleVal_70 + SpeedPossibleVal_71 + SpeedPossibleVal_72 + SpeedPossibleVal_73 + SpeedPossibleVal_74 + SpeedPossibleVal_75 + SpeedPossibleVal_76 + SpeedPossibleVal_77 + SpeedPossibleVal_78 + SpeedPossibleVal_79 + SpeedPossibleVal_80 + SpeedPossibleVal_81 + SpeedPossibleVal_82 + SpeedPossibleVal_83 + SpeedPossibleVal_84 + SpeedPossibleVal_85 + SpeedPossibleVal_86 + SpeedPossibleVal_87 + SpeedPossibleVal_88 + SpeedPossibleVal_89 + SpeedPossibleVal_90 + SpeedPossibleVal_91 + SpeedPossibleVal_92 + SpeedPossibleVal_93 + SpeedPossibleVal_94 + SpeedPossibleVal_95 + SpeedPossibleVal_96 + SpeedPossibleVal_97 + SpeedPossibleVal_98 + SpeedPossibleVal_99 + 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_4000 + SpeedPossibleVal_2900 + SpeedPossibleVal_2901 + SpeedPossibleVal_2902 + SpeedPossibleVal_2903 + SpeedPossibleVal_2904 + SpeedPossibleVal_2905 + SpeedPossibleVal_2906 + SpeedPossibleVal_2907 + SpeedPossibleVal_2908 + SpeedPossibleVal_2909 + SpeedPossibleVal_2910 + SpeedPossibleVal_2911 + SpeedPossibleVal_2912 + SpeedPossibleVal_2913 + SpeedPossibleVal_2914 + SpeedPossibleVal_2915 + SpeedPossibleVal_2916 + SpeedPossibleVal_2917 + SpeedPossibleVal_2918 + SpeedPossibleVal_2919 + SpeedPossibleVal_2920 + SpeedPossibleVal_2921 + SpeedPossibleVal_2922 + SpeedPossibleVal_2923 + SpeedPossibleVal_2924 + SpeedPossibleVal_2925 + SpeedPossibleVal_2926 + SpeedPossibleVal_2927 + SpeedPossibleVal_2928 + SpeedPossibleVal_2929 + SpeedPossibleVal_2930 + SpeedPossibleVal_1600 + SpeedPossibleVal_2931 + SpeedPossibleVal_1601 + SpeedPossibleVal_2932 + SpeedPossibleVal_1602 + SpeedPossibleVal_2933 + SpeedPossibleVal_1603 + SpeedPossibleVal_2934 + SpeedPossibleVal_1604 + SpeedPossibleVal_2935 + SpeedPossibleVal_1605 + SpeedPossibleVal_2936 + SpeedPossibleVal_1606 + SpeedPossibleVal_2937 + SpeedPossibleVal_1607 + SpeedPossibleVal_2938 + SpeedPossibleVal_1608 + SpeedPossibleVal_2939 + SpeedPossibleVal_1609 + SpeedPossibleVal_2940 + SpeedPossibleVal_1610 + SpeedPossibleVal_2941 + SpeedPossibleVal_1611 + SpeedPossibleVal_2942 + SpeedPossibleVal_1612 + SpeedPossibleVal_2943 + SpeedPossibleVal_1613 + SpeedPossibleVal_2944 + SpeedPossibleVal_1614 + SpeedPossibleVal_2945 + SpeedPossibleVal_1615 + SpeedPossibleVal_2946 + SpeedPossibleVal_1616 + SpeedPossibleVal_2947 + SpeedPossibleVal_1617 + SpeedPossibleVal_2948 + SpeedPossibleVal_1618 + SpeedPossibleVal_2949 + SpeedPossibleVal_1619 + SpeedPossibleVal_2950 + SpeedPossibleVal_1620 + SpeedPossibleVal_2951 + SpeedPossibleVal_1621 + SpeedPossibleVal_2952 + SpeedPossibleVal_1622 + SpeedPossibleVal_2953 + SpeedPossibleVal_1623 + SpeedPossibleVal_2954 + SpeedPossibleVal_1624 + SpeedPossibleVal_2955 + SpeedPossibleVal_1625 + SpeedPossibleVal_2956 + SpeedPossibleVal_1626 + SpeedPossibleVal_2957 + SpeedPossibleVal_1627 + SpeedPossibleVal_2958 + SpeedPossibleVal_1628 + SpeedPossibleVal_2959 + SpeedPossibleVal_1629 + SpeedPossibleVal_2960 + SpeedPossibleVal_1630 + SpeedPossibleVal_2961 + SpeedPossibleVal_1631 + SpeedPossibleVal_2962 + SpeedPossibleVal_1632 + SpeedPossibleVal_2963 + SpeedPossibleVal_1633 + SpeedPossibleVal_2964 + SpeedPossibleVal_1634 + SpeedPossibleVal_2965 + SpeedPossibleVal_1635 + SpeedPossibleVal_2966 + SpeedPossibleVal_1636 + SpeedPossibleVal_2967 + SpeedPossibleVal_1637 + SpeedPossibleVal_2968 + SpeedPossibleVal_1638 + SpeedPossibleVal_2969 + SpeedPossibleVal_1639 + SpeedPossibleVal_2970 + SpeedPossibleVal_1640 + SpeedPossibleVal_2971 + SpeedPossibleVal_1641 + SpeedPossibleVal_2972 + SpeedPossibleVal_1642 + SpeedPossibleVal_2973 + SpeedPossibleVal_1643 + SpeedPossibleVal_2974 + SpeedPossibleVal_1644 + SpeedPossibleVal_2975 + SpeedPossibleVal_1645 + SpeedPossibleVal_2976 + SpeedPossibleVal_1646 + SpeedPossibleVal_2977 + SpeedPossibleVal_1647 + SpeedPossibleVal_2978 + SpeedPossibleVal_1648 + SpeedPossibleVal_2979 + SpeedPossibleVal_1649 + SpeedPossibleVal_1799 + SpeedPossibleVal_1798 + SpeedPossibleVal_1797 + SpeedPossibleVal_1796 + SpeedPossibleVal_1795 + SpeedPossibleVal_1794 + SpeedPossibleVal_1793 + SpeedPossibleVal_1792 + SpeedPossibleVal_1791 + SpeedPossibleVal_1790 + SpeedPossibleVal_2980 + SpeedPossibleVal_1650 + SpeedPossibleVal_2981 + SpeedPossibleVal_1651 + SpeedPossibleVal_2982 + SpeedPossibleVal_1652 + SpeedPossibleVal_2983 + SpeedPossibleVal_1653 + SpeedPossibleVal_2984 + SpeedPossibleVal_1654 + SpeedPossibleVal_2985 + SpeedPossibleVal_1655 + SpeedPossibleVal_2986 + SpeedPossibleVal_1656 + SpeedPossibleVal_2987 + SpeedPossibleVal_1657 + SpeedPossibleVal_2988 + SpeedPossibleVal_1658 + SpeedPossibleVal_2989 + SpeedPossibleVal_1659 + SpeedPossibleVal_2990 + SpeedPossibleVal_1660 + SpeedPossibleVal_2991 + SpeedPossibleVal_1661 + SpeedPossibleVal_2992 + SpeedPossibleVal_1662 + SpeedPossibleVal_2993 + SpeedPossibleVal_1663 + SpeedPossibleVal_2994 + SpeedPossibleVal_1664 + SpeedPossibleVal_2995 + SpeedPossibleVal_1665 + SpeedPossibleVal_2996 + SpeedPossibleVal_1666 + SpeedPossibleVal_2997 + SpeedPossibleVal_1667 + SpeedPossibleVal_2998 + SpeedPossibleVal_1668 + SpeedPossibleVal_2999 + SpeedPossibleVal_1669 + SpeedPossibleVal_1789 + SpeedPossibleVal_1788 + SpeedPossibleVal_1787 + SpeedPossibleVal_1786 + SpeedPossibleVal_1785 + SpeedPossibleVal_1784 + SpeedPossibleVal_1783 + SpeedPossibleVal_1782 + SpeedPossibleVal_1781 + SpeedPossibleVal_1780 + SpeedPossibleVal_1670 + SpeedPossibleVal_1671 + SpeedPossibleVal_1672 + SpeedPossibleVal_1673 + SpeedPossibleVal_1674 + SpeedPossibleVal_1675 + SpeedPossibleVal_1676 + SpeedPossibleVal_1677 + SpeedPossibleVal_1678 + SpeedPossibleVal_1679 + SpeedPossibleVal_1779 + SpeedPossibleVal_1778 + SpeedPossibleVal_1777 + SpeedPossibleVal_1776 + SpeedPossibleVal_1775 + SpeedPossibleVal_1774 + SpeedPossibleVal_1773 + SpeedPossibleVal_1772 + SpeedPossibleVal_1771 + SpeedPossibleVal_1770 + SpeedPossibleVal_1680 + SpeedPossibleVal_1681 + SpeedPossibleVal_1682 + SpeedPossibleVal_1683 + SpeedPossibleVal_1684 + SpeedPossibleVal_1685 + SpeedPossibleVal_1686 + SpeedPossibleVal_1687 + SpeedPossibleVal_1688 + SpeedPossibleVal_1689 + SpeedPossibleVal_1690 + SpeedPossibleVal_1691 + SpeedPossibleVal_1692 + SpeedPossibleVal_1693 + SpeedPossibleVal_1694 + SpeedPossibleVal_1695 + SpeedPossibleVal_1696 + SpeedPossibleVal_1697 + SpeedPossibleVal_1698 + SpeedPossibleVal_1699 + SpeedPossibleVal_1769 + SpeedPossibleVal_1768 + SpeedPossibleVal_1767 + SpeedPossibleVal_1766 + SpeedPossibleVal_1765 + SpeedPossibleVal_1764 + SpeedPossibleVal_1763 + SpeedPossibleVal_1762 + SpeedPossibleVal_1761 + SpeedPossibleVal_1760 + SpeedPossibleVal_1759 + SpeedPossibleVal_1758 + SpeedPossibleVal_1757 + SpeedPossibleVal_1756 + SpeedPossibleVal_1755 + SpeedPossibleVal_1754 + SpeedPossibleVal_1753 + SpeedPossibleVal_1752 + SpeedPossibleVal_1751 + SpeedPossibleVal_1750 + SpeedPossibleVal_1749 + SpeedPossibleVal_1748 + SpeedPossibleVal_1747 + SpeedPossibleVal_1746 + SpeedPossibleVal_1745 + SpeedPossibleVal_1744 + SpeedPossibleVal_1743 + SpeedPossibleVal_1742 + SpeedPossibleVal_1741 + SpeedPossibleVal_1740 + SpeedPossibleVal_1739 + SpeedPossibleVal_1738 + SpeedPossibleVal_1737 + SpeedPossibleVal_1736 + SpeedPossibleVal_1735 + SpeedPossibleVal_1734 + SpeedPossibleVal_1733 + SpeedPossibleVal_1732 + SpeedPossibleVal_1731 + SpeedPossibleVal_1730 + SpeedPossibleVal_1729 + SpeedPossibleVal_1728 + SpeedPossibleVal_1727 + SpeedPossibleVal_1726 + SpeedPossibleVal_1725 + SpeedPossibleVal_1724 + SpeedPossibleVal_1723 + SpeedPossibleVal_1722 + SpeedPossibleVal_1721 + SpeedPossibleVal_1720 + SpeedPossibleVal_1719 + SpeedPossibleVal_1718 + SpeedPossibleVal_1717 + SpeedPossibleVal_1716 + SpeedPossibleVal_1715 + SpeedPossibleVal_1714 + SpeedPossibleVal_1713 + SpeedPossibleVal_1712 + SpeedPossibleVal_1711 + SpeedPossibleVal_1710 + SpeedPossibleVal_1709 + SpeedPossibleVal_1708 + SpeedPossibleVal_1707 + SpeedPossibleVal_1706 + SpeedPossibleVal_1705 + SpeedPossibleVal_1704 + SpeedPossibleVal_1703 + SpeedPossibleVal_1702 + SpeedPossibleVal_1701 + SpeedPossibleVal_1700 <= 0)
lola: after: (4000 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (WeightPossibleVal_off + WeightPossibleVal_on <= 0)
lola: after: (2 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (AltitudePossibleVal_5034 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (AltitudePossibleVal_6882 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (AltitudePossibleVal_400 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (SpeedPossibleVal_3806 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (AltitudePossibleVal_4697 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(Plane_On_Ground_Signal_no_F + Plane_On_Ground_Signal_no_T) : MAX(stp3) : MAX(0) : MAX(stp5) : MAX(stp5) : MAX(0) : MAX(P2) : MAX(Weight_Right_Wheel_off + Weight_Right_Wheel_on) : MAX(0) : MAX(0) : MAX(Speed_Right_Wheel_3165) : MAX(0) : MAX(0) : MAX(Speed_Left_Wheel_1959) : MAX(TheAltitude_4417) : MAX(0)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 210 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file AirplaneLD-PT-4000-UpperBounds.task
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: 4000
lola: SUBRESULT
lola: result: 4000
lola: produced by: state space
lola: The maximum value of the given expression is 4000
lola: 0 markings, 0 edges
lola: ========================================

FORMULA AirplaneLD-PT-4000-UpperBounds-2 4000 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file AirplaneLD-PT-4000-UpperBounds.task
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: ========================================

FORMULA AirplaneLD-PT-4000-UpperBounds-5 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 234 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file AirplaneLD-PT-4000-UpperBounds.task
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: ========================================

FORMULA AirplaneLD-PT-4000-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file AirplaneLD-PT-4000-UpperBounds.task
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: ========================================

FORMULA AirplaneLD-PT-4000-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 268 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file AirplaneLD-PT-4000-UpperBounds.task
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

FORMULA AirplaneLD-PT-4000-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 289 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file AirplaneLD-PT-4000-UpperBounds.task
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: ========================================

FORMULA AirplaneLD-PT-4000-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 314 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file AirplaneLD-PT-4000-UpperBounds.task
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: ========================================

FORMULA AirplaneLD-PT-4000-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 345 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 AirplaneLD-PT-4000-UpperBounds.task
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

FORMULA AirplaneLD-PT-4000-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 381 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 AirplaneLD-PT-4000-UpperBounds.task
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: 15978 markings, 15978 edges, 3196 markings/sec, 60 secs
lola: 33414 markings, 33414 edges, 3487 markings/sec, 65 secs
lola: 50839 markings, 50838 edges, 3485 markings/sec, 70 secs
lola: 68374 markings, 68374 edges, 3507 markings/sec, 75 secs
lola: 84996 markings, 84996 edges, 3324 markings/sec, 80 secs
lola: 102765 markings, 102764 edges, 3554 markings/sec, 85 secs
lola: 120666 markings, 120666 edges, 3580 markings/sec, 90 secs
lola: 138408 markings, 138408 edges, 3548 markings/sec, 95 secs
lola: 156097 markings, 156096 edges, 3538 markings/sec, 100 secs
lola: 173666 markings, 173665 edges, 3514 markings/sec, 105 secs
lola: 190462 markings, 190462 edges, 3359 markings/sec, 110 secs
lola: 208053 markings, 208052 edges, 3518 markings/sec, 115 secs
lola: 225249 markings, 225249 edges, 3439 markings/sec, 120 secs
lola: 242397 markings, 242396 edges, 3430 markings/sec, 125 secs
lola: 259706 markings, 259706 edges, 3462 markings/sec, 130 secs
lola: 276874 markings, 276873 edges, 3434 markings/sec, 135 secs
lola: 294056 markings, 294056 edges, 3436 markings/sec, 140 secs
lola: 311338 markings, 311338 edges, 3456 markings/sec, 145 secs
lola: 328526 markings, 328526 edges, 3438 markings/sec, 150 secs
lola: 345737 markings, 345736 edges, 3442 markings/sec, 155 secs
lola: 362968 markings, 362967 edges, 3446 markings/sec, 160 secs
lola: 380210 markings, 380210 edges, 3448 markings/sec, 165 secs
lola: 397417 markings, 397417 edges, 3441 markings/sec, 170 secs
lola: 414544 markings, 414544 edges, 3425 markings/sec, 175 secs
lola: 431864 markings, 431863 edges, 3464 markings/sec, 180 secs
lola: 449082 markings, 449082 edges, 3444 markings/sec, 185 secs
lola: 466202 markings, 466201 edges, 3424 markings/sec, 190 secs
lola: 483491 markings, 483491 edges, 3458 markings/sec, 195 secs
lola: 500764 markings, 500764 edges, 3455 markings/sec, 200 secs
lola: 518139 markings, 518139 edges, 3475 markings/sec, 205 secs
lola: 535753 markings, 535752 edges, 3523 markings/sec, 210 secs
lola: 553246 markings, 553246 edges, 3499 markings/sec, 215 secs
lola: 570543 markings, 570542 edges, 3459 markings/sec, 220 secs
lola: 587856 markings, 587855 edges, 3463 markings/sec, 225 secs
lola: 605051 markings, 605050 edges, 3439 markings/sec, 230 secs
lola: 622183 markings, 622183 edges, 3426 markings/sec, 235 secs
lola: 639750 markings, 639750 edges, 3513 markings/sec, 240 secs
lola: 656961 markings, 656961 edges, 3442 markings/sec, 245 secs
lola: 674130 markings, 674130 edges, 3434 markings/sec, 250 secs
lola: 691392 markings, 691391 edges, 3452 markings/sec, 255 secs
lola: 708565 markings, 708564 edges, 3435 markings/sec, 260 secs
lola: 725731 markings, 725731 edges, 3433 markings/sec, 265 secs
lola: 742954 markings, 742954 edges, 3445 markings/sec, 270 secs
lola: 760199 markings, 760199 edges, 3449 markings/sec, 275 secs
lola: 777349 markings, 777348 edges, 3430 markings/sec, 280 secs
lola: 794391 markings, 794390 edges, 3408 markings/sec, 285 secs
lola: 811558 markings, 811557 edges, 3433 markings/sec, 290 secs
lola: 828612 markings, 828612 edges, 3411 markings/sec, 295 secs
lola: 845868 markings, 845867 edges, 3451 markings/sec, 300 secs
lola: 862928 markings, 862928 edges, 3412 markings/sec, 305 secs
lola: 880007 markings, 880006 edges, 3416 markings/sec, 310 secs
lola: 896910 markings, 896909 edges, 3381 markings/sec, 315 secs
lola: 913792 markings, 913791 edges, 3376 markings/sec, 320 secs
lola: 930606 markings, 930606 edges, 3363 markings/sec, 325 secs
lola: 947820 markings, 947819 edges, 3443 markings/sec, 330 secs
lola: 964851 markings, 964851 edges, 3406 markings/sec, 335 secs
lola: 981891 markings, 981891 edges, 3408 markings/sec, 340 secs
lola: 998892 markings, 998892 edges, 3400 markings/sec, 345 secs
lola: 1016011 markings, 1016010 edges, 3424 markings/sec, 350 secs
lola: 1032716 markings, 1032716 edges, 3341 markings/sec, 355 secs
lola: 1049435 markings, 1049435 edges, 3344 markings/sec, 360 secs
lola: 1066256 markings, 1066256 edges, 3364 markings/sec, 365 secs
lola: 1083173 markings, 1083172 edges, 3383 markings/sec, 370 secs
lola: 1099873 markings, 1099873 edges, 3340 markings/sec, 375 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 4000 unknown 1 2 unknown unknown 1 1 unknown 1 1 unknown unknown 1
lola: memory consumption: 739680 KB
lola: time consumption: 902 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 381 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 AirplaneLD-PT-4000-UpperBounds.task
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

FORMULA AirplaneLD-PT-4000-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 434 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 AirplaneLD-PT-4000-UpperBounds.task
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: 12 markings, 11 edges

FORMULA AirplaneLD-PT-4000-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 509 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 AirplaneLD-PT-4000-UpperBounds.task
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: 16261 markings, 16260 edges, 3252 markings/sec, 60 secs
lola: 35545 markings, 35544 edges, 3857 markings/sec, 65 secs
lola: 54635 markings, 54634 edges, 3818 markings/sec, 70 secs
lola: 73689 markings, 73689 edges, 3811 markings/sec, 75 secs
lola: 92773 markings, 92772 edges, 3817 markings/sec, 80 secs
lola: 111924 markings, 111924 edges, 3830 markings/sec, 85 secs
lola: 131013 markings, 131013 edges, 3818 markings/sec, 90 secs
lola: 150073 markings, 150073 edges, 3812 markings/sec, 95 secs
lola: 169141 markings, 169141 edges, 3814 markings/sec, 100 secs
lola: 188227 markings, 188226 edges, 3817 markings/sec, 105 secs
lola: 207429 markings, 207428 edges, 3840 markings/sec, 110 secs
lola: 226747 markings, 226747 edges, 3864 markings/sec, 115 secs
lola: 246082 markings, 246082 edges, 3867 markings/sec, 120 secs
lola: 265313 markings, 265313 edges, 3846 markings/sec, 125 secs
lola: 284481 markings, 284481 edges, 3834 markings/sec, 130 secs
lola: 303761 markings, 303760 edges, 3856 markings/sec, 135 secs
lola: 322932 markings, 322932 edges, 3834 markings/sec, 140 secs
lola: 342122 markings, 342122 edges, 3838 markings/sec, 145 secs
lola: 361283 markings, 361283 edges, 3832 markings/sec, 150 secs
lola: 380440 markings, 380440 edges, 3831 markings/sec, 155 secs
lola: 399705 markings, 399705 edges, 3853 markings/sec, 160 secs
lola: 419293 markings, 419292 edges, 3918 markings/sec, 165 secs
lola: 439220 markings, 439220 edges, 3985 markings/sec, 170 secs
lola: 459098 markings, 459098 edges, 3976 markings/sec, 175 secs
lola: 479033 markings, 479033 edges, 3987 markings/sec, 180 secs
lola: 499049 markings, 499049 edges, 4003 markings/sec, 185 secs
lola: 518996 markings, 518995 edges, 3989 markings/sec, 190 secs
lola: 538878 markings, 538878 edges, 3976 markings/sec, 195 secs
lola: 558796 markings, 558796 edges, 3984 markings/sec, 200 secs
lola: 578959 markings, 578959 edges, 4033 markings/sec, 205 secs
lola: 599118 markings, 599118 edges, 4032 markings/sec, 210 secs
lola: 619267 markings, 619266 edges, 4030 markings/sec, 215 secs
lola: 639351 markings, 639351 edges, 4017 markings/sec, 220 secs
lola: 659223 markings, 659222 edges, 3974 markings/sec, 225 secs
lola: 678912 markings, 678911 edges, 3938 markings/sec, 230 secs
lola: 697260 markings, 697259 edges, 3670 markings/sec, 235 secs
lola: 715937 markings, 715936 edges, 3735 markings/sec, 240 secs
lola: 735708 markings, 735707 edges, 3954 markings/sec, 245 secs
lola: 755449 markings, 755449 edges, 3948 markings/sec, 250 secs
lola: 775106 markings, 775105 edges, 3931 markings/sec, 255 secs
lola: 794706 markings, 794706 edges, 3920 markings/sec, 260 secs
lola: 813565 markings, 813564 edges, 3772 markings/sec, 265 secs
lola: 831836 markings, 831836 edges, 3654 markings/sec, 270 secs
lola: 849988 markings, 849988 edges, 3630 markings/sec, 275 secs
lola: 868043 markings, 868043 edges, 3611 markings/sec, 280 secs
lola: 886183 markings, 886183 edges, 3628 markings/sec, 285 secs
lola: 904378 markings, 904378 edges, 3639 markings/sec, 290 secs
lola: 922672 markings, 922672 edges, 3659 markings/sec, 295 secs
lola: 940760 markings, 940759 edges, 3618 markings/sec, 300 secs
lola: 958324 markings, 958323 edges, 3513 markings/sec, 305 secs
lola: 976432 markings, 976432 edges, 3622 markings/sec, 310 secs
lola: 994894 markings, 994894 edges, 3692 markings/sec, 315 secs
lola: 1012967 markings, 1012967 edges, 3615 markings/sec, 320 secs
lola: 1031057 markings, 1031057 edges, 3618 markings/sec, 325 secs
lola: 1048932 markings, 1048932 edges, 3575 markings/sec, 330 secs
lola: 1066985 markings, 1066985 edges, 3611 markings/sec, 335 secs
lola: 1085158 markings, 1085158 edges, 3635 markings/sec, 340 secs
lola: 1103450 markings, 1103449 edges, 3658 markings/sec, 345 secs
lola: 1121599 markings, 1121599 edges, 3630 markings/sec, 350 secs
lola: 1139631 markings, 1139631 edges, 3606 markings/sec, 355 secs
lola: 1157388 markings, 1157388 edges, 3551 markings/sec, 360 secs
lola: 1175256 markings, 1175256 edges, 3574 markings/sec, 365 secs
lola: 1193002 markings, 1193002 edges, 3549 markings/sec, 370 secs
lola: 1210618 markings, 1210617 edges, 3523 markings/sec, 375 secs
lola: 1227864 markings, 1227864 edges, 3449 markings/sec, 380 secs
lola: 1244262 markings, 1244262 edges, 3280 markings/sec, 385 secs
lola: 1261429 markings, 1261429 edges, 3433 markings/sec, 390 secs
lola: 1278645 markings, 1278645 edges, 3443 markings/sec, 395 secs
lola: 1295808 markings, 1295808 edges, 3433 markings/sec, 400 secs
lola: 1312893 markings, 1312893 edges, 3417 markings/sec, 405 secs
lola: 1329988 markings, 1329987 edges, 3419 markings/sec, 410 secs
lola: 1346869 markings, 1346869 edges, 3376 markings/sec, 415 secs
lola: 1363712 markings, 1363712 edges, 3369 markings/sec, 420 secs
lola: 1379664 markings, 1379663 edges, 3190 markings/sec, 425 secs
lola: 1396453 markings, 1396453 edges, 3358 markings/sec, 430 secs
lola: 1411538 markings, 1411538 edges, 3017 markings/sec, 435 secs
lola: 1428456 markings, 1428456 edges, 3384 markings/sec, 440 secs
lola: 1445381 markings, 1445381 edges, 3385 markings/sec, 445 secs
lola: 1462288 markings, 1462287 edges, 3381 markings/sec, 450 secs
lola: 1478905 markings, 1478905 edges, 3323 markings/sec, 455 secs
lola: 1495985 markings, 1495985 edges, 3416 markings/sec, 460 secs
lola: 1512742 markings, 1512742 edges, 3351 markings/sec, 465 secs
lola: 1529827 markings, 1529826 edges, 3417 markings/sec, 470 secs
lola: 1546898 markings, 1546897 edges, 3414 markings/sec, 475 secs
lola: 1563907 markings, 1563907 edges, 3402 markings/sec, 480 secs
lola: 1580479 markings, 1580478 edges, 3314 markings/sec, 485 secs
lola: 1596994 markings, 1596994 edges, 3303 markings/sec, 490 secs
lola: 1614285 markings, 1614285 edges, 3458 markings/sec, 495 secs
lola: 1632166 markings, 1632165 edges, 3576 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 4000 unknown 1 2 1 unknown 1 1 unknown 1 1 unknown unknown 1
lola: memory consumption: 3236240 KB
lola: time consumption: 1534 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 508 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 AirplaneLD-PT-4000-UpperBounds.task
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: ========================================

FORMULA AirplaneLD-PT-4000-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 657 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 AirplaneLD-PT-4000-UpperBounds.task
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: ========================================

FORMULA AirplaneLD-PT-4000-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 967 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 AirplaneLD-PT-4000-UpperBounds.task
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: 188 markings, 251 edges, 38 markings/sec, 60 secs
lola: 436 markings, 585 edges, 50 markings/sec, 65 secs
lola: 683 markings, 920 edges, 49 markings/sec, 70 secs
lola: 930 markings, 1253 edges, 49 markings/sec, 75 secs
lola: 1178 markings, 1591 edges, 50 markings/sec, 80 secs
lola: 1427 markings, 1928 edges, 50 markings/sec, 85 secs
lola: 1677 markings, 2264 edges, 50 markings/sec, 90 secs
lola: 1958 markings, 2657 edges, 56 markings/sec, 95 secs
lola: 2249 markings, 2948 edges, 58 markings/sec, 100 secs
lola: 2542 markings, 3241 edges, 59 markings/sec, 105 secs
lola: 2837 markings, 3536 edges, 59 markings/sec, 110 secs
lola: 3134 markings, 3833 edges, 59 markings/sec, 115 secs
lola: 3434 markings, 4133 edges, 60 markings/sec, 120 secs
lola: 3737 markings, 4436 edges, 61 markings/sec, 125 secs
lola: 4043 markings, 4742 edges, 61 markings/sec, 130 secs
lola: 4349 markings, 5048 edges, 61 markings/sec, 135 secs
lola: 4660 markings, 5359 edges, 62 markings/sec, 140 secs
lola: 4973 markings, 5672 edges, 63 markings/sec, 145 secs
lola: 5291 markings, 5990 edges, 64 markings/sec, 150 secs
lola: 5605 markings, 6304 edges, 63 markings/sec, 155 secs
lola: 5929 markings, 6628 edges, 65 markings/sec, 160 secs
lola: 6254 markings, 6953 edges, 65 markings/sec, 165 secs
lola: 6584 markings, 7283 edges, 66 markings/sec, 170 secs
lola: 6917 markings, 7616 edges, 67 markings/sec, 175 secs
lola: 7255 markings, 7954 edges, 68 markings/sec, 180 secs
lola: 7597 markings, 8296 edges, 68 markings/sec, 185 secs
lola: 7924 markings, 8623 edges, 65 markings/sec, 190 secs
lola: 8254 markings, 8953 edges, 66 markings/sec, 195 secs
lola: 8602 markings, 9301 edges, 70 markings/sec, 200 secs
lola: 8953 markings, 9652 edges, 70 markings/sec, 205 secs
lola: 9314 markings, 10013 edges, 72 markings/sec, 210 secs
lola: 9674 markings, 10373 edges, 72 markings/sec, 215 secs
lola: 10039 markings, 10738 edges, 73 markings/sec, 220 secs
lola: 10408 markings, 11107 edges, 74 markings/sec, 225 secs
lola: 10786 markings, 11485 edges, 76 markings/sec, 230 secs
lola: 11165 markings, 11864 edges, 76 markings/sec, 235 secs
lola: 13708 markings, 17911 edges, 509 markings/sec, 240 secs
lola: 13963 markings, 18421 edges, 51 markings/sec, 245 secs
lola: 14219 markings, 18933 edges, 51 markings/sec, 250 secs
lola: 14475 markings, 19445 edges, 51 markings/sec, 255 secs
lola: 14731 markings, 19957 edges, 51 markings/sec, 260 secs
lola: 14962 markings, 20419 edges, 46 markings/sec, 265 secs
lola: 15196 markings, 20887 edges, 47 markings/sec, 270 secs
lola: 15446 markings, 21387 edges, 50 markings/sec, 275 secs
lola: 15700 markings, 21895 edges, 51 markings/sec, 280 secs
lola: 15975 markings, 22391 edges, 55 markings/sec, 285 secs
lola: 16316 markings, 22818 edges, 68 markings/sec, 290 secs
lola: 16657 markings, 23244 edges, 68 markings/sec, 295 secs
lola: 16999 markings, 23671 edges, 68 markings/sec, 300 secs
lola: 17343 markings, 24101 edges, 69 markings/sec, 305 secs
lola: 17688 markings, 24533 edges, 69 markings/sec, 310 secs
lola: 18032 markings, 24963 edges, 69 markings/sec, 315 secs
lola: 18373 markings, 25389 edges, 68 markings/sec, 320 secs
lola: 18716 markings, 25818 edges, 69 markings/sec, 325 secs
lola: 19044 markings, 26228 edges, 66 markings/sec, 330 secs
lola: 19383 markings, 26651 edges, 68 markings/sec, 335 secs
lola: 19724 markings, 27078 edges, 68 markings/sec, 340 secs
lola: 20068 markings, 27508 edges, 69 markings/sec, 345 secs
lola: 20409 markings, 27934 edges, 68 markings/sec, 350 secs
lola: 20745 markings, 28354 edges, 67 markings/sec, 355 secs
lola: 21063 markings, 28751 edges, 64 markings/sec, 360 secs
lola: 21377 markings, 29144 edges, 63 markings/sec, 365 secs
lola: 21713 markings, 29564 edges, 67 markings/sec, 370 secs
lola: 22047 markings, 29981 edges, 67 markings/sec, 375 secs
lola: 22373 markings, 30389 edges, 65 markings/sec, 380 secs
lola: 22716 markings, 30818 edges, 69 markings/sec, 385 secs
lola: 23057 markings, 31244 edges, 68 markings/sec, 390 secs
lola: 23401 markings, 31674 edges, 69 markings/sec, 395 secs
lola: 23745 markings, 32104 edges, 69 markings/sec, 400 secs
lola: 24087 markings, 32531 edges, 68 markings/sec, 405 secs
lola: 24424 markings, 32953 edges, 67 markings/sec, 410 secs
lola: 24767 markings, 33381 edges, 69 markings/sec, 415 secs
lola: 25107 markings, 33806 edges, 68 markings/sec, 420 secs
lola: 25227 markings, 46001 edges, 24 markings/sec, 425 secs
lola: 25459 markings, 46380 edges, 46 markings/sec, 430 secs
lola: 25692 markings, 46760 edges, 47 markings/sec, 435 secs
lola: 25925 markings, 47143 edges, 47 markings/sec, 440 secs
lola: 26159 markings, 47526 edges, 47 markings/sec, 445 secs
lola: 26394 markings, 47910 edges, 47 markings/sec, 450 secs
lola: 26630 markings, 48296 edges, 47 markings/sec, 455 secs
lola: 26867 markings, 48684 edges, 47 markings/sec, 460 secs
lola: 27105 markings, 49074 edges, 48 markings/sec, 465 secs
lola: 27344 markings, 49465 edges, 48 markings/sec, 470 secs
lola: 27584 markings, 49856 edges, 48 markings/sec, 475 secs
lola: 27823 markings, 50249 edges, 48 markings/sec, 480 secs
lola: 28064 markings, 50644 edges, 48 markings/sec, 485 secs
lola: 28306 markings, 51040 edges, 48 markings/sec, 490 secs
lola: 28549 markings, 51437 edges, 49 markings/sec, 495 secs
lola: 28794 markings, 51836 edges, 49 markings/sec, 500 secs
lola: 29039 markings, 52238 edges, 49 markings/sec, 505 secs
lola: 29286 markings, 52643 edges, 49 markings/sec, 510 secs
lola: 29533 markings, 53047 edges, 49 markings/sec, 515 secs
lola: 29782 markings, 53454 edges, 50 markings/sec, 520 secs
lola: 30032 markings, 53864 edges, 50 markings/sec, 525 secs
lola: 30281 markings, 54271 edges, 50 markings/sec, 530 secs
lola: 30532 markings, 54680 edges, 50 markings/sec, 535 secs
lola: 30783 markings, 55092 edges, 50 markings/sec, 540 secs
lola: 31036 markings, 55506 edges, 51 markings/sec, 545 secs
lola: 31288 markings, 55920 edges, 50 markings/sec, 550 secs
lola: 31542 markings, 56334 edges, 51 markings/sec, 555 secs
lola: 31793 markings, 56746 edges, 50 markings/sec, 560 secs
lola: 32045 markings, 57158 edges, 50 markings/sec, 565 secs
lola: 32303 markings, 57578 edges, 52 markings/sec, 570 secs
lola: 32562 markings, 58004 edges, 52 markings/sec, 575 secs
lola: 32823 markings, 58430 edges, 52 markings/sec, 580 secs
lola: 33085 markings, 58859 edges, 52 markings/sec, 585 secs
lola: 33348 markings, 59288 edges, 53 markings/sec, 590 secs
lola: 33612 markings, 59720 edges, 53 markings/sec, 595 secs
lola: 33877 markings, 60155 edges, 53 markings/sec, 600 secs
lola: 34145 markings, 60594 edges, 54 markings/sec, 605 secs
lola: 34413 markings, 61032 edges, 54 markings/sec, 610 secs
lola: 34682 markings, 61472 edges, 54 markings/sec, 615 secs
lola: 34954 markings, 61916 edges, 54 markings/sec, 620 secs
lola: 35224 markings, 62360 edges, 54 markings/sec, 625 secs
lola: 35498 markings, 62808 edges, 55 markings/sec, 630 secs
lola: 35773 markings, 63258 edges, 55 markings/sec, 635 secs
lola: 36050 markings, 63712 edges, 55 markings/sec, 640 secs
lola: 36315 markings, 64145 edges, 53 markings/sec, 645 secs
lola: 36578 markings, 64576 edges, 53 markings/sec, 650 secs
lola: 36842 markings, 65008 edges, 53 markings/sec, 655 secs
lola: 37105 markings, 65438 edges, 53 markings/sec, 660 secs
lola: 37377 markings, 65882 edges, 54 markings/sec, 665 secs
lola: 37660 markings, 66344 edges, 57 markings/sec, 670 secs
lola: 37946 markings, 66812 edges, 57 markings/sec, 675 secs
lola: 38232 markings, 67280 edges, 57 markings/sec, 680 secs
lola: 38520 markings, 67753 edges, 58 markings/sec, 685 secs
lola: 38798 markings, 68208 edges, 56 markings/sec, 690 secs
lola: 39087 markings, 68681 edges, 58 markings/sec, 695 secs
lola: 39376 markings, 69152 edges, 58 markings/sec, 700 secs
lola: 39667 markings, 69630 edges, 58 markings/sec, 705 secs
lola: 39959 markings, 70106 edges, 58 markings/sec, 710 secs
lola: 40256 markings, 70592 edges, 59 markings/sec, 715 secs
lola: 40554 markings, 71081 edges, 60 markings/sec, 720 secs
lola: 40855 markings, 71574 edges, 60 markings/sec, 725 secs
lola: 41156 markings, 72066 edges, 60 markings/sec, 730 secs
lola: 41460 markings, 72564 edges, 61 markings/sec, 735 secs
lola: 41763 markings, 73058 edges, 61 markings/sec, 740 secs
lola: 42071 markings, 73562 edges, 62 markings/sec, 745 secs
lola: 42354 markings, 74027 edges, 57 markings/sec, 750 secs
lola: 42667 markings, 74539 edges, 63 markings/sec, 755 secs
lola: 45162 markings, 80771 edges, 499 markings/sec, 760 secs
lola: 45417 markings, 81536 edges, 51 markings/sec, 765 secs
lola: 45671 markings, 82298 edges, 51 markings/sec, 770 secs
lola: 45922 markings, 83051 edges, 50 markings/sec, 775 secs
lola: 46171 markings, 83798 edges, 50 markings/sec, 780 secs
lola: 46402 markings, 84491 edges, 46 markings/sec, 785 secs
lola: 46636 markings, 85193 edges, 47 markings/sec, 790 secs
lola: 46889 markings, 85952 edges, 51 markings/sec, 795 secs
lola: 47140 markings, 86705 edges, 50 markings/sec, 800 secs
lola: 47360 markings, 90708 edges, 44 markings/sec, 805 secs
lola: 47599 markings, 91186 edges, 48 markings/sec, 810 secs
lola: 47855 markings, 91698 edges, 51 markings/sec, 815 secs
lola: 48111 markings, 92210 edges, 51 markings/sec, 820 secs
lola: 48367 markings, 92722 edges, 51 markings/sec, 825 secs
lola: 48624 markings, 93236 edges, 51 markings/sec, 830 secs
lola: 48878 markings, 93744 edges, 51 markings/sec, 835 secs
lola: 49132 markings, 94252 edges, 51 markings/sec, 840 secs
lola: 49388 markings, 94764 edges, 51 markings/sec, 845 secs
lola: 49643 markings, 95348 edges, 51 markings/sec, 850 secs
lola: 49894 markings, 96352 edges, 50 markings/sec, 855 secs
lola: 50144 markings, 97352 edges, 50 markings/sec, 860 secs
lola: 50395 markings, 98356 edges, 50 markings/sec, 865 secs
lola: 50644 markings, 99352 edges, 50 markings/sec, 870 secs
lola: 50885 markings, 100316 edges, 48 markings/sec, 875 secs
lola: 51119 markings, 101252 edges, 47 markings/sec, 880 secs
lola: 51362 markings, 102224 edges, 49 markings/sec, 885 secs
lola: 51611 markings, 103220 edges, 50 markings/sec, 890 secs
lola: 51859 markings, 104212 edges, 50 markings/sec, 895 secs
lola: 52143 markings, 106387 edges, 57 markings/sec, 900 secs
lola: 52464 markings, 106773 edges, 64 markings/sec, 905 secs
lola: 52781 markings, 107153 edges, 63 markings/sec, 910 secs
lola: 53100 markings, 107536 edges, 64 markings/sec, 915 secs
lola: 53399 markings, 107895 edges, 60 markings/sec, 920 secs
lola: 53698 markings, 108253 edges, 60 markings/sec, 925 secs
lola: 53996 markings, 108611 edges, 60 markings/sec, 930 secs
lola: 54295 markings, 108970 edges, 60 markings/sec, 935 secs
lola: 54616 markings, 109355 edges, 64 markings/sec, 940 secs
lola: 54936 markings, 109739 edges, 64 markings/sec, 945 secs
lola: 55219 markings, 110079 edges, 57 markings/sec, 950 secs
lola: 55515 markings, 110434 edges, 59 markings/sec, 955 secs
lola: 55825 markings, 110806 edges, 62 markings/sec, 960 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 4000 1 1 2 1 unknown 1 1 unknown 1 1 unknown 1 1
lola: memory consumption: 316700 KB
lola: time consumption: 2602 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 967 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Weight_Right_Wheel_off + Weight_Right_Wheel_on)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Weight_Right_Wheel_off + Weight_Right_Wheel_on)
lola: processed formula length: 51
lola: 0 rewrites
lola: closed formula file AirplaneLD-PT-4000-UpperBounds.task
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: 9 markings, 8 edges

FORMULA AirplaneLD-PT-4000-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
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 AirplaneLD-PT-4000-UpperBounds.task
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: 11410 markings, 11410 edges, 2282 markings/sec, 35 secs
lola: 28819 markings, 28819 edges, 3482 markings/sec, 40 secs
lola: 46167 markings, 46166 edges, 3470 markings/sec, 45 secs
lola: 63702 markings, 63701 edges, 3507 markings/sec, 50 secs
lola: 81098 markings, 81098 edges, 3479 markings/sec, 55 secs
lola: 98433 markings, 98433 edges, 3467 markings/sec, 60 secs
lola: 115984 markings, 115983 edges, 3510 markings/sec, 65 secs
lola: 133340 markings, 133340 edges, 3471 markings/sec, 70 secs
lola: 150705 markings, 150704 edges, 3473 markings/sec, 75 secs
lola: 168185 markings, 168184 edges, 3496 markings/sec, 80 secs
lola: 185594 markings, 185594 edges, 3482 markings/sec, 85 secs
lola: 203015 markings, 203015 edges, 3484 markings/sec, 90 secs
lola: 220461 markings, 220461 edges, 3489 markings/sec, 95 secs
lola: 237846 markings, 237845 edges, 3477 markings/sec, 100 secs
lola: 255314 markings, 255314 edges, 3494 markings/sec, 105 secs
lola: 272743 markings, 272743 edges, 3486 markings/sec, 110 secs
lola: 290091 markings, 290091 edges, 3470 markings/sec, 115 secs
lola: 307603 markings, 307603 edges, 3502 markings/sec, 120 secs
lola: 324995 markings, 324995 edges, 3478 markings/sec, 125 secs
lola: 342324 markings, 342324 edges, 3466 markings/sec, 130 secs
lola: 359864 markings, 359864 edges, 3508 markings/sec, 135 secs
lola: 377247 markings, 377246 edges, 3477 markings/sec, 140 secs
lola: 394590 markings, 394589 edges, 3469 markings/sec, 145 secs
lola: 412104 markings, 412103 edges, 3503 markings/sec, 150 secs
lola: 429507 markings, 429506 edges, 3481 markings/sec, 155 secs
lola: 446876 markings, 446876 edges, 3474 markings/sec, 160 secs
lola: 464342 markings, 464342 edges, 3493 markings/sec, 165 secs
lola: 481730 markings, 481730 edges, 3478 markings/sec, 170 secs
lola: 499180 markings, 499179 edges, 3490 markings/sec, 175 secs
lola: 516606 markings, 516606 edges, 3485 markings/sec, 180 secs
lola: 533988 markings, 533988 edges, 3476 markings/sec, 185 secs
lola: 551459 markings, 551458 edges, 3494 markings/sec, 190 secs
lola: 568874 markings, 568874 edges, 3483 markings/sec, 195 secs
lola: 586216 markings, 586216 edges, 3468 markings/sec, 200 secs
lola: 603739 markings, 603739 edges, 3505 markings/sec, 205 secs
lola: 621143 markings, 621142 edges, 3481 markings/sec, 210 secs
lola: 638466 markings, 638465 edges, 3465 markings/sec, 215 secs
lola: 656009 markings, 656009 edges, 3509 markings/sec, 220 secs
lola: 673381 markings, 673380 edges, 3474 markings/sec, 225 secs
lola: 690729 markings, 690729 edges, 3470 markings/sec, 230 secs
lola: 708211 markings, 708211 edges, 3496 markings/sec, 235 secs
lola: 725636 markings, 725636 edges, 3485 markings/sec, 240 secs
lola: 743027 markings, 743026 edges, 3478 markings/sec, 245 secs
lola: 760473 markings, 760473 edges, 3489 markings/sec, 250 secs
lola: 777790 markings, 777790 edges, 3463 markings/sec, 255 secs
lola: 795087 markings, 795087 edges, 3459 markings/sec, 260 secs
lola: 812366 markings, 812366 edges, 3456 markings/sec, 265 secs
lola: 829593 markings, 829593 edges, 3445 markings/sec, 270 secs
lola: 846701 markings, 846701 edges, 3422 markings/sec, 275 secs
lola: 863941 markings, 863941 edges, 3448 markings/sec, 280 secs
lola: 881002 markings, 881001 edges, 3412 markings/sec, 285 secs
lola: 898032 markings, 898031 edges, 3406 markings/sec, 290 secs
lola: 915047 markings, 915046 edges, 3403 markings/sec, 295 secs
lola: 932120 markings, 932119 edges, 3415 markings/sec, 300 secs
lola: 948997 markings, 948997 edges, 3375 markings/sec, 305 secs
lola: 965878 markings, 965878 edges, 3376 markings/sec, 310 secs
lola: 982720 markings, 982719 edges, 3368 markings/sec, 315 secs
lola: 999653 markings, 999652 edges, 3387 markings/sec, 320 secs
lola: 1016415 markings, 1016415 edges, 3352 markings/sec, 325 secs
lola: 1033197 markings, 1033196 edges, 3356 markings/sec, 330 secs
lola: 1049907 markings, 1049907 edges, 3342 markings/sec, 335 secs
lola: 1066578 markings, 1066577 edges, 3334 markings/sec, 340 secs
lola: 1083308 markings, 1083307 edges, 3346 markings/sec, 345 secs
lola: 1099981 markings, 1099981 edges, 3335 markings/sec, 350 secs
lola: 1116540 markings, 1116540 edges, 3312 markings/sec, 355 secs
lola: 1133099 markings, 1133099 edges, 3312 markings/sec, 360 secs
lola: 1149653 markings, 1149653 edges, 3311 markings/sec, 365 secs
lola: 1166181 markings, 1166181 edges, 3306 markings/sec, 370 secs
lola: 1182713 markings, 1182712 edges, 3306 markings/sec, 375 secs
lola: 1199329 markings, 1199329 edges, 3323 markings/sec, 380 secs
lola: 1215916 markings, 1215915 edges, 3317 markings/sec, 385 secs
lola: 1232429 markings, 1232429 edges, 3303 markings/sec, 390 secs
lola: 1249002 markings, 1249001 edges, 3315 markings/sec, 395 secs
lola: 1265539 markings, 1265539 edges, 3307 markings/sec, 400 secs
lola: 1282079 markings, 1282079 edges, 3308 markings/sec, 405 secs
lola: 1298609 markings, 1298609 edges, 3306 markings/sec, 410 secs
lola: 1315193 markings, 1315193 edges, 3317 markings/sec, 415 secs
lola: 1331795 markings, 1331795 edges, 3320 markings/sec, 420 secs
lola: 1348338 markings, 1348337 edges, 3309 markings/sec, 425 secs
lola: 1364877 markings, 1364877 edges, 3308 markings/sec, 430 secs
lola: 1381429 markings, 1381428 edges, 3310 markings/sec, 435 secs
lola: 1397960 markings, 1397960 edges, 3306 markings/sec, 440 secs
lola: 1414490 markings, 1414489 edges, 3306 markings/sec, 445 secs
lola: 1431007 markings, 1431007 edges, 3303 markings/sec, 450 secs
lola: 1447571 markings, 1447571 edges, 3313 markings/sec, 455 secs
lola: 1464135 markings, 1464135 edges, 3313 markings/sec, 460 secs
lola: 1480642 markings, 1480642 edges, 3301 markings/sec, 465 secs
lola: 1497181 markings, 1497181 edges, 3308 markings/sec, 470 secs
lola: 1513716 markings, 1513715 edges, 3307 markings/sec, 475 secs
lola: 1530240 markings, 1530240 edges, 3305 markings/sec, 480 secs
lola: 1546759 markings, 1546759 edges, 3304 markings/sec, 485 secs
lola: 1563348 markings, 1563347 edges, 3318 markings/sec, 490 secs
lola: 1579929 markings, 1579929 edges, 3316 markings/sec, 495 secs
lola: 1596429 markings, 1596428 edges, 3300 markings/sec, 500 secs
lola: 1612998 markings, 1612998 edges, 3314 markings/sec, 505 secs
lola: 1629529 markings, 1629529 edges, 3306 markings/sec, 510 secs
lola: 1646045 markings, 1646045 edges, 3303 markings/sec, 515 secs
lola: 1662568 markings, 1662568 edges, 3305 markings/sec, 520 secs
lola: 1679126 markings, 1679126 edges, 3312 markings/sec, 525 secs
lola: 1695751 markings, 1695751 edges, 3325 markings/sec, 530 secs
lola: 1712328 markings, 1712327 edges, 3315 markings/sec, 535 secs
lola: 1728834 markings, 1728833 edges, 3301 markings/sec, 540 secs
lola: 1745307 markings, 1745306 edges, 3295 markings/sec, 545 secs
lola: 1761854 markings, 1761853 edges, 3309 markings/sec, 550 secs
lola: 1778369 markings, 1778369 edges, 3303 markings/sec, 555 secs
lola: 1794890 markings, 1794890 edges, 3304 markings/sec, 560 secs
lola: 1811490 markings, 1811490 edges, 3320 markings/sec, 565 secs
lola: 1828065 markings, 1828064 edges, 3315 markings/sec, 570 secs
lola: 1844550 markings, 1844549 edges, 3297 markings/sec, 575 secs
lola: 1861114 markings, 1861114 edges, 3313 markings/sec, 580 secs
lola: 1877644 markings, 1877644 edges, 3306 markings/sec, 585 secs
lola: 1894159 markings, 1894159 edges, 3303 markings/sec, 590 secs
lola: 1910655 markings, 1910655 edges, 3299 markings/sec, 595 secs
lola: 1927218 markings, 1927218 edges, 3313 markings/sec, 600 secs
lola: 1942417 markings, 1942417 edges, 3040 markings/sec, 605 secs
lola: 1957459 markings, 1957458 edges, 3008 markings/sec, 610 secs
lola: 1972494 markings, 1972493 edges, 3007 markings/sec, 615 secs
lola: 1987435 markings, 1987435 edges, 2988 markings/sec, 620 secs
lola: 2002355 markings, 2002354 edges, 2984 markings/sec, 625 secs
lola: 2017255 markings, 2017255 edges, 2980 markings/sec, 630 secs
lola: 2032177 markings, 2032177 edges, 2984 markings/sec, 635 secs
lola: 2046965 markings, 2046964 edges, 2958 markings/sec, 640 secs
lola: 2061826 markings, 2061826 edges, 2972 markings/sec, 645 secs
lola: 2076636 markings, 2076636 edges, 2962 markings/sec, 650 secs
lola: 2091437 markings, 2091436 edges, 2960 markings/sec, 655 secs
lola: 2106195 markings, 2106195 edges, 2952 markings/sec, 660 secs
lola: 2120940 markings, 2120940 edges, 2949 markings/sec, 665 secs
lola: 2135692 markings, 2135692 edges, 2950 markings/sec, 670 secs
lola: 2150342 markings, 2150342 edges, 2930 markings/sec, 675 secs
lola: 2165004 markings, 2165004 edges, 2932 markings/sec, 680 secs
lola: 2179685 markings, 2179684 edges, 2936 markings/sec, 685 secs
lola: 2194241 markings, 2194241 edges, 2911 markings/sec, 690 secs
lola: 2208823 markings, 2208823 edges, 2916 markings/sec, 695 secs
lola: 2223373 markings, 2223373 edges, 2910 markings/sec, 700 secs
lola: 2237915 markings, 2237914 edges, 2908 markings/sec, 705 secs
lola: 2252478 markings, 2252477 edges, 2913 markings/sec, 710 secs
lola: 2266899 markings, 2266898 edges, 2884 markings/sec, 715 secs
lola: 2281385 markings, 2281385 edges, 2897 markings/sec, 720 secs
lola: 2295880 markings, 2295880 edges, 2899 markings/sec, 725 secs
lola: 2310267 markings, 2310266 edges, 2877 markings/sec, 730 secs
lola: 2324665 markings, 2324664 edges, 2880 markings/sec, 735 secs
lola: 2341391 markings, 2341391 edges, 3345 markings/sec, 740 secs
lola: 2358902 markings, 2358902 edges, 3502 markings/sec, 745 secs
lola: 2376595 markings, 2376594 edges, 3539 markings/sec, 750 secs
lola: 2394102 markings, 2394102 edges, 3501 markings/sec, 755 secs
lola: 2411776 markings, 2411775 edges, 3535 markings/sec, 760 secs
lola: 2429472 markings, 2429472 edges, 3539 markings/sec, 765 secs
lola: 2447143 markings, 2447143 edges, 3534 markings/sec, 770 secs
lola: 2464932 markings, 2464931 edges, 3558 markings/sec, 775 secs
lola: 2482634 markings, 2482633 edges, 3540 markings/sec, 780 secs
lola: 2500467 markings, 2500467 edges, 3567 markings/sec, 785 secs
lola: 2518152 markings, 2518152 edges, 3537 markings/sec, 790 secs
lola: 2536021 markings, 2536021 edges, 3574 markings/sec, 795 secs
lola: 2553819 markings, 2553818 edges, 3560 markings/sec, 800 secs
lola: 2571651 markings, 2571650 edges, 3566 markings/sec, 805 secs
lola: 2589485 markings, 2589485 edges, 3567 markings/sec, 810 secs
lola: 2607260 markings, 2607260 edges, 3555 markings/sec, 815 secs
lola: 2625143 markings, 2625143 edges, 3577 markings/sec, 820 secs
lola: 2642890 markings, 2642890 edges, 3549 markings/sec, 825 secs
lola: 2660765 markings, 2660765 edges, 3575 markings/sec, 830 secs
lola: 2678564 markings, 2678564 edges, 3560 markings/sec, 835 secs
lola: 2696482 markings, 2696482 edges, 3584 markings/sec, 840 secs
lola: 2714245 markings, 2714245 edges, 3553 markings/sec, 845 secs
lola: 2732126 markings, 2732126 edges, 3576 markings/sec, 850 secs
lola: 2749910 markings, 2749910 edges, 3557 markings/sec, 855 secs
lola: 2767757 markings, 2767756 edges, 3569 markings/sec, 860 secs
lola: 2785576 markings, 2785576 edges, 3564 markings/sec, 865 secs
lola: 2803364 markings, 2803364 edges, 3558 markings/sec, 870 secs
lola: 2821258 markings, 2821258 edges, 3579 markings/sec, 875 secs
lola: 2839022 markings, 2839022 edges, 3553 markings/sec, 880 secs
lola: 2856866 markings, 2856866 edges, 3569 markings/sec, 885 secs
lola: 2874669 markings, 2874669 edges, 3561 markings/sec, 890 secs
lola: 2892567 markings, 2892567 edges, 3580 markings/sec, 895 secs
lola: 2910285 markings, 2910285 edges, 3544 markings/sec, 900 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 4000 1 1 2 1 1 1 1 unknown 1 1 unknown 1 1
lola:
preliminary result: unknown 1 4000 1 1 2 1 1 1 1 unknown 1 1 unknown 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 4000 1 1 2 1 1 1 1 unknown 1 1 unknown 1 1
lola: memory consumption: 2089256 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 4000 1 1 2 1 1 1 1 unknown 1 1 unknown 1 1
lola: memory consumption: 2089456 KB
lola: time consumption: 3570 seconds

BK_STOP 1552350303105

--------------------
content from stderr:

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="win2018"
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 win2018"
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 r011-smll-155225030100115"
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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;