Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_AirplaneLD-PT-0500, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074000074
=====================================================================

--------------------
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-COL-0500-UpperBounds-0
FORMULA_NAME AirplaneLD-COL-0500-UpperBounds-1
FORMULA_NAME AirplaneLD-COL-0500-UpperBounds-10
FORMULA_NAME AirplaneLD-COL-0500-UpperBounds-11
FORMULA_NAME AirplaneLD-COL-0500-UpperBounds-12
FORMULA_NAME AirplaneLD-COL-0500-UpperBounds-13
FORMULA_NAME AirplaneLD-COL-0500-UpperBounds-14
FORMULA_NAME AirplaneLD-COL-0500-UpperBounds-15
FORMULA_NAME AirplaneLD-COL-0500-UpperBounds-2
FORMULA_NAME AirplaneLD-COL-0500-UpperBounds-3
FORMULA_NAME AirplaneLD-COL-0500-UpperBounds-4
FORMULA_NAME AirplaneLD-COL-0500-UpperBounds-5
FORMULA_NAME AirplaneLD-COL-0500-UpperBounds-6
FORMULA_NAME AirplaneLD-COL-0500-UpperBounds-7
FORMULA_NAME AirplaneLD-COL-0500-UpperBounds-8
FORMULA_NAME AirplaneLD-COL-0500-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496331821545


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_AirplaneLD-PT-0500: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_AirplaneLD-PT-0500: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_AirplaneLD-PT-0500 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 7527/65536 symbol table entries, 37 collisions
lola: preprocessing...
lola: finding significant places
lola: 3519 places, 4008 transitions, 2014 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3015 transition conflict sets
lola: TASK
lola: reading formula from AirplaneLD-COL-0500-UpperBounds.task
lola: MAX(P6) : MAX(Weight_Right_Wheel_off + Weight_Right_Wheel_on) : MAX(P2) : MAX(AltitudePossibleVal_799 + AltitudePossibleVal_798 + AltitudePossibleVal_797 + AltitudePossibleVal_796 + AltitudePossibleVal_800 + AltitudePossibleVal_801 + AltitudePossibleVal_802 + AltitudePossibleVal_803 + AltitudePossibleVal_804 + AltitudePossibleVal_805 + AltitudePossibleVal_806 + AltitudePossibleVal_807 + AltitudePossibleVal_808 + AltitudePossibleVal_809 + AltitudePossibleVal_810 + AltitudePossibleVal_811 + AltitudePossibleVal_812 + AltitudePossibleVal_813 + AltitudePossibleVal_814 + AltitudePossibleVal_815 + AltitudePossibleVal_816 + AltitudePossibleVal_817 + AltitudePossibleVal_818 + AltitudePossibleVal_819 + AltitudePossibleVal_820 + AltitudePossibleVal_821 + AltitudePossibleVal_822 + AltitudePossibleVal_823 + AltitudePossibleVal_824 + AltitudePossibleVal_825 + AltitudePossibleVal_826 + AltitudePossibleVal_827 + AltitudePossibleVal_828 + AltitudePossibleVal_829 + AltitudePossibleVal_830 + AltitudePossibleVal_831 + AltitudePossibleVal_832 + AltitudePossibleVal_833 + AltitudePossibleVal_834 + AltitudePossibleVal_835 + AltitudePossibleVal_836 + AltitudePossibleVal_837 + AltitudePossibleVal_838 + AltitudePossibleVal_839 + AltitudePossibleVal_840 + AltitudePossibleVal_841 + AltitudePossibleVal_842 + AltitudePossibleVal_843 + AltitudePossibleVal_844 + AltitudePossibleVal_845 + AltitudePossibleVal_846 + AltitudePossibleVal_847 + AltitudePossibleVal_848 + AltitudePossibleVal_849 + AltitudePossibleVal_850 + AltitudePossibleVal_851 + AltitudePossibleVal_852 + AltitudePossibleVal_853 + AltitudePossibleVal_854 + AltitudePossibleVal_855 + AltitudePossibleVal_856 + AltitudePossibleVal_857 + AltitudePossibleVal_858 + AltitudePossibleVal_859 + AltitudePossibleVal_860 + AltitudePossibleVal_861 + AltitudePossibleVal_862 + AltitudePossibleVal_863 + AltitudePossibleVal_864 + AltitudePossibleVal_865 + AltitudePossibleVal_866 + AltitudePossibleVal_867 + AltitudePossibleVal_868 + AltitudePossibleVal_869 + AltitudePossibleVal_870 + AltitudePossibleVal_871 + AltitudePossibleVal_872 + AltitudePossibleVal_873 + AltitudePossibleVal_874 + AltitudePossibleVal_875 + AltitudePossibleVal_876 + AltitudePossibleVal_877 + AltitudePossibleVal_878 + AltitudePossibleVal_879 + AltitudePossibleVal_880 + AltitudePossibleVal_881 + AltitudePossibleVal_882 + AltitudePossibleVal_883 + AltitudePossibleVal_884 + AltitudePossibleVal_885 + AltitudePossibleVal_886 + AltitudePossibleVal_887 + AltitudePossibleVal_888 + AltitudePossibleVal_889 + AltitudePossibleVal_890 + AltitudePossibleVal_891 + AltitudePossibleVal_892 + AltitudePossibleVal_893 + AltitudePossibleVal_894 + AltitudePossibleVal_895 + AltitudePossibleVal_896 + AltitudePossibleVal_897 + AltitudePossibleVal_898 + AltitudePossibleVal_899 + AltitudePossibleVal_900 + AltitudePossibleVal_901 + AltitudePossibleVal_902 + AltitudePossibleVal_903 + AltitudePossibleVal_904 + AltitudePossibleVal_905 + AltitudePossibleVal_906 + AltitudePossibleVal_907 + AltitudePossibleVal_908 + AltitudePossibleVal_909 + AltitudePossibleVal_910 + AltitudePossibleVal_911 + AltitudePossibleVal_912 + AltitudePossibleVal_913 + AltitudePossibleVal_914 + AltitudePossibleVal_915 + AltitudePossibleVal_916 + AltitudePossibleVal_917 + AltitudePossibleVal_918 + AltitudePossibleVal_919 + AltitudePossibleVal_920 + AltitudePossibleVal_921 + AltitudePossibleVal_922 + AltitudePossibleVal_923 + AltitudePossibleVal_924 + AltitudePossibleVal_925 + AltitudePossibleVal_926 + AltitudePossibleVal_927 + AltitudePossibleVal_928 + AltitudePossibleVal_929 + AltitudePossibleVal_930 + AltitudePossibleVal_931 + AltitudePossibleVal_932 + AltitudePossibleVal_933 + AltitudePossibleVal_934 + AltitudePossibleVal_935 + AltitudePossibleVal_936 + AltitudePossibleVal_937 + AltitudePossibleVal_938 + AltitudePossibleVal_939 + AltitudePossibleVal_940 + AltitudePossibleVal_941 + AltitudePossibleVal_942 + AltitudePossibleVal_943 + AltitudePossibleVal_944 + AltitudePossibleVal_945 + AltitudePossibleVal_946 + AltitudePossibleVal_947 + AltitudePossibleVal_948 + AltitudePossibleVal_949 + AltitudePossibleVal_950 + AltitudePossibleVal_951 + AltitudePossibleVal_952 + AltitudePossibleVal_953 + AltitudePossibleVal_954 + AltitudePossibleVal_955 + AltitudePossibleVal_956 + AltitudePossibleVal_957 + AltitudePossibleVal_958 + AltitudePossibleVal_959 + AltitudePossibleVal_960 + AltitudePossibleVal_961 + AltitudePossibleVal_962 + AltitudePossibleVal_963 + AltitudePossibleVal_964 + AltitudePossibleVal_965 + AltitudePossibleVal_966 + AltitudePossibleVal_967 + AltitudePossibleVal_968 + AltitudePossibleVal_969 + AltitudePossibleVal_970 + AltitudePossibleVal_971 + AltitudePossibleVal_972 + AltitudePossibleVal_973 + AltitudePossibleVal_974 + AltitudePossibleVal_975 + AltitudePossibleVal_976 + AltitudePossibleVal_977 + AltitudePossibleVal_978 + AltitudePossibleVal_979 + AltitudePossibleVal_980 + AltitudePossibleVal_981 + AltitudePossibleVal_982 + AltitudePossibleVal_983 + AltitudePossibleVal_984 + AltitudePossibleVal_985 + AltitudePossibleVal_986 + AltitudePossibleVal_987 + AltitudePossibleVal_988 + AltitudePossibleVal_989 + AltitudePossibleVal_990 + AltitudePossibleVal_991 + AltitudePossibleVal_992 + AltitudePossibleVal_993 + AltitudePossibleVal_994 + AltitudePossibleVal_995 + AltitudePossibleVal_996 + AltitudePossibleVal_997 + AltitudePossibleVal_998 + AltitudePossibleVal_999 + AltitudePossibleVal_795 + AltitudePossibleVal_794 + AltitudePossibleVal_793 + AltitudePossibleVal_792 + AltitudePossibleVal_791 + AltitudePossibleVal_790 + AltitudePossibleVal_789 + AltitudePossibleVal_788 + AltitudePossibleVal_787 + AltitudePossibleVal_786 + AltitudePossibleVal_785 + AltitudePossibleVal_784 + AltitudePossibleVal_783 + AltitudePossibleVal_782 + AltitudePossibleVal_781 + AltitudePossibleVal_780 + AltitudePossibleVal_779 + AltitudePossibleVal_778 + AltitudePossibleVal_777 + AltitudePossibleVal_776 + AltitudePossibleVal_775 + AltitudePossibleVal_774 + AltitudePossibleVal_773 + AltitudePossibleVal_772 + AltitudePossibleVal_771 + AltitudePossibleVal_770 + AltitudePossibleVal_769 + AltitudePossibleVal_768 + AltitudePossibleVal_767 + AltitudePossibleVal_766 + AltitudePossibleVal_765 + AltitudePossibleVal_764 + AltitudePossibleVal_763 + AltitudePossibleVal_762 + AltitudePossibleVal_761 + AltitudePossibleVal_760 + AltitudePossibleVal_759 + AltitudePossibleVal_758 + AltitudePossibleVal_757 + AltitudePossibleVal_756 + AltitudePossibleVal_755 + AltitudePossibleVal_754 + AltitudePossibleVal_753 + AltitudePossibleVal_752 + AltitudePossibleVal_751 + AltitudePossibleVal_750 + AltitudePossibleVal_749 + AltitudePossibleVal_748 + AltitudePossibleVal_747 + AltitudePossibleVal_746 + AltitudePossibleVal_745 + AltitudePossibleVal_744 + AltitudePossibleVal_743 + AltitudePossibleVal_742 + AltitudePossibleVal_741 + AltitudePossibleVal_740 + AltitudePossibleVal_739 + AltitudePossibleVal_738 + AltitudePossibleVal_737 + AltitudePossibleVal_736 + AltitudePossibleVal_735 + AltitudePossibleVal_734 + AltitudePossibleVal_733 + AltitudePossibleVal_732 + AltitudePossibleVal_731 + AltitudePossibleVal_730 + AltitudePossibleVal_729 + AltitudePossibleVal_728 + AltitudePossibleVal_727 + AltitudePossibleVal_726 + AltitudePossibleVal_725 + AltitudePossibleVal_724 + AltitudePossibleVal_723 + AltitudePossibleVal_722 + AltitudePossibleVal_721 + AltitudePossibleVal_720 + AltitudePossibleVal_719 + AltitudePossibleVal_718 + AltitudePossibleVal_717 + AltitudePossibleVal_716 + AltitudePossibleVal_715 + AltitudePossibleVal_714 + AltitudePossibleVal_713 + AltitudePossibleVal_712 + AltitudePossibleVal_711 + AltitudePossibleVal_710 + AltitudePossibleVal_709 + AltitudePossibleVal_708 + AltitudePossibleVal_707 + AltitudePossibleVal_706 + AltitudePossibleVal_705 + AltitudePossibleVal_704 + AltitudePossibleVal_703 + AltitudePossibleVal_702 + AltitudePossibleVal_701 + AltitudePossibleVal_700 + AltitudePossibleVal_699 + AltitudePossibleVal_698 + AltitudePossibleVal_697 + AltitudePossibleVal_696 + AltitudePossibleVal_695 + AltitudePossibleVal_694 + AltitudePossibleVal_693 + AltitudePossibleVal_692 + AltitudePossibleVal_691 + AltitudePossibleVal_690 + AltitudePossibleVal_689 + AltitudePossibleVal_688 + AltitudePossibleVal_687 + AltitudePossibleVal_686 + AltitudePossibleVal_685 + AltitudePossibleVal_684 + AltitudePossibleVal_683 + AltitudePossibleVal_682 + AltitudePossibleVal_681 + AltitudePossibleVal_680 + AltitudePossibleVal_679 + AltitudePossibleVal_678 + AltitudePossibleVal_677 + AltitudePossibleVal_676 + AltitudePossibleVal_675 + AltitudePossibleVal_674 + AltitudePossibleVal_673 + AltitudePossibleVal_672 + AltitudePossibleVal_671 + AltitudePossibleVal_670 + AltitudePossibleVal_669 + AltitudePossibleVal_668 + AltitudePossibleVal_667 + AltitudePossibleVal_666 + AltitudePossibleVal_665 + AltitudePossibleVal_664 + AltitudePossibleVal_663 + AltitudePossibleVal_662 + AltitudePossibleVal_661 + AltitudePossibleVal_660 + AltitudePossibleVal_659 + AltitudePossibleVal_658 + AltitudePossibleVal_657 + AltitudePossibleVal_656 + AltitudePossibleVal_655 + AltitudePossibleVal_654 + AltitudePossibleVal_653 + AltitudePossibleVal_652 + AltitudePossibleVal_651 + AltitudePossibleVal_650 + AltitudePossibleVal_649 + AltitudePossibleVal_648 + AltitudePossibleVal_647 + AltitudePossibleVal_646 + AltitudePossibleVal_645 + AltitudePossibleVal_644 + AltitudePossibleVal_643 + AltitudePossibleVal_642 + AltitudePossibleVal_641 + AltitudePossibleVal_640 + AltitudePossibleVal_639 + AltitudePossibleVal_638 + AltitudePossibleVal_637 + AltitudePossibleVal_636 + AltitudePossibleVal_635 + AltitudePossibleVal_634 + AltitudePossibleVal_633 + AltitudePossibleVal_632 + AltitudePossibleVal_631 + AltitudePossibleVal_630 + AltitudePossibleVal_629 + AltitudePossibleVal_628 + AltitudePossibleVal_627 + AltitudePossibleVal_626 + AltitudePossibleVal_625 + AltitudePossibleVal_624 + AltitudePossibleVal_623 + AltitudePossibleVal_622 + AltitudePossibleVal_621 + AltitudePossibleVal_620 + AltitudePossibleVal_619 + AltitudePossibleVal_618 + AltitudePossibleVal_617 + AltitudePossibleVal_616 + AltitudePossibleVal_615 + AltitudePossibleVal_614 + AltitudePossibleVal_613 + AltitudePossibleVal_612 + AltitudePossibleVal_611 + AltitudePossibleVal_610 + AltitudePossibleVal_609 + AltitudePossibleVal_608 + AltitudePossibleVal_607 + AltitudePossibleVal_606 + AltitudePossibleVal_605 + AltitudePossibleVal_604 + AltitudePossibleVal_603 + AltitudePossibleVal_602 + AltitudePossibleVal_601 + AltitudePossibleVal_600 + AltitudePossibleVal_599 + AltitudePossibleVal_598 + AltitudePossibleVal_597 + AltitudePossibleVal_596 + AltitudePossibleVal_595 + AltitudePossibleVal_594 + AltitudePossibleVal_593 + AltitudePossibleVal_592 + AltitudePossibleVal_591 + AltitudePossibleVal_590 + AltitudePossibleVal_589 + AltitudePossibleVal_588 + AltitudePossibleVal_587 + AltitudePossibleVal_586 + AltitudePossibleVal_585 + AltitudePossibleVal_584 + AltitudePossibleVal_583 + AltitudePossibleVal_582 + AltitudePossibleVal_581 + AltitudePossibleVal_580 + AltitudePossibleVal_579 + AltitudePossibleVal_578 + AltitudePossibleVal_577 + AltitudePossibleVal_576 + AltitudePossibleVal_575 + AltitudePossibleVal_574 + AltitudePossibleVal_573 + AltitudePossibleVal_572 + AltitudePossibleVal_571 + AltitudePossibleVal_570 + AltitudePossibleVal_569 + AltitudePossibleVal_568 + AltitudePossibleVal_567 + AltitudePossibleVal_566 + AltitudePossibleVal_565 + AltitudePossibleVal_564 + AltitudePossibleVal_563 + AltitudePossibleVal_562 + AltitudePossibleVal_561 + AltitudePossibleVal_560 + AltitudePossibleVal_559 + AltitudePossibleVal_558 + AltitudePossibleVal_557 + AltitudePossibleVal_556 + AltitudePossibleVal_555 + AltitudePossibleVal_554 + AltitudePossibleVal_553 + AltitudePossibleVal_552 + AltitudePossibleVal_551 + AltitudePossibleVal_550 + AltitudePossibleVal_549 + AltitudePossibleVal_548 + AltitudePossibleVal_547 + AltitudePossibleVal_546 + AltitudePossibleVal_545 + AltitudePossibleVal_544 + AltitudePossibleVal_543 + AltitudePossibleVal_542 + AltitudePossibleVal_541 + AltitudePossibleVal_540 + AltitudePossibleVal_539 + AltitudePossibleVal_538 + AltitudePossibleVal_537 + AltitudePossibleVal_536 + AltitudePossibleVal_535 + AltitudePossibleVal_534 + AltitudePossibleVal_533 + AltitudePossibleVal_532 + AltitudePossibleVal_531 + AltitudePossibleVal_530 + AltitudePossibleVal_529 + AltitudePossibleVal_528 + AltitudePossibleVal_527 + AltitudePossibleVal_526 + AltitudePossibleVal_525 + AltitudePossibleVal_524 + AltitudePossibleVal_523 + AltitudePossibleVal_522 + AltitudePossibleVal_521 + AltitudePossibleVal_520 + AltitudePossibleVal_519 + AltitudePossibleVal_518 + AltitudePossibleVal_517 + AltitudePossibleVal_516 + AltitudePossibleVal_515 + AltitudePossibleVal_514 + AltitudePossibleVal_513 + AltitudePossibleVal_512 + AltitudePossibleVal_511 + AltitudePossibleVal_510 + AltitudePossibleVal_509 + AltitudePossibleVal_508 + AltitudePossibleVal_507 + AltitudePossibleVal_506 + AltitudePossibleVal_505 + AltitudePossibleVal_504 + AltitudePossibleVal_503 + AltitudePossibleVal_502 + AltitudePossibleVal_501 + AltitudePossibleVal_500 + AltitudePossibleVal_499 + AltitudePossibleVal_498 + AltitudePossibleVal_497 + AltitudePossibleVal_496 + AltitudePossibleVal_495 + AltitudePossibleVal_494 + AltitudePossibleVal_493 + AltitudePossibleVal_492 + AltitudePossibleVal_491 + AltitudePossibleVal_490 + AltitudePossibleVal_489 + AltitudePossibleVal_488 + AltitudePossibleVal_487 + AltitudePossibleVal_486 + AltitudePossibleVal_485 + AltitudePossibleVal_484 + AltitudePossibleVal_483 + AltitudePossibleVal_482 + AltitudePossibleVal_481 + AltitudePossibleVal_480 + AltitudePossibleVal_479 + AltitudePossibleVal_478 + AltitudePossibleVal_477 + AltitudePossibleVal_476 + AltitudePossibleVal_475 + AltitudePossibleVal_474 + AltitudePossibleVal_473 + AltitudePossibleVal_472 + AltitudePossibleVal_471 + AltitudePossibleVal_470 + AltitudePossibleVal_469 + AltitudePossibleVal_468 + AltitudePossibleVal_467 + AltitudePossibleVal_466 + AltitudePossibleVal_465 + AltitudePossibleVal_464 + AltitudePossibleVal_463 + AltitudePossibleVal_462 + AltitudePossibleVal_461 + AltitudePossibleVal_460 + AltitudePossibleVal_459 + AltitudePossibleVal_458 + AltitudePossibleVal_457 + AltitudePossibleVal_456 + AltitudePossibleVal_455 + AltitudePossibleVal_454 + AltitudePossibleVal_453 + AltitudePossibleVal_452 + AltitudePossibleVal_451 + AltitudePossibleVal_450 + AltitudePossibleVal_449 + AltitudePossibleVal_448 + AltitudePossibleVal_447 + AltitudePossibleVal_446 + AltitudePossibleVal_445 + AltitudePossibleVal_444 + AltitudePossibleVal_443 + AltitudePossibleVal_442 + AltitudePossibleVal_441 + AltitudePossibleVal_440 + AltitudePossibleVal_439 + AltitudePossibleVal_438 + AltitudePossibleVal_437 + AltitudePossibleVal_436 + AltitudePossibleVal_435 + AltitudePossibleVal_434 + AltitudePossibleVal_433 + AltitudePossibleVal_432 + AltitudePossibleVal_431 + AltitudePossibleVal_430 + AltitudePossibleVal_429 + AltitudePossibleVal_428 + AltitudePossibleVal_427 + AltitudePossibleVal_426 + AltitudePossibleVal_425 + AltitudePossibleVal_424 + AltitudePossibleVal_423 + AltitudePossibleVal_422 + AltitudePossibleVal_421 + AltitudePossibleVal_420 + AltitudePossibleVal_419 + AltitudePossibleVal_418 + AltitudePossibleVal_417 + AltitudePossibleVal_416 + AltitudePossibleVal_415 + AltitudePossibleVal_414 + AltitudePossibleVal_413 + AltitudePossibleVal_412 + AltitudePossibleVal_411 + AltitudePossibleVal_410 + AltitudePossibleVal_409 + AltitudePossibleVal_408 + AltitudePossibleVal_407 + AltitudePossibleVal_406 + AltitudePossibleVal_405 + AltitudePossibleVal_404 + AltitudePossibleVal_403 + AltitudePossibleVal_402 + AltitudePossibleVal_401 + AltitudePossibleVal_400 + AltitudePossibleVal_399 + AltitudePossibleVal_398 + AltitudePossibleVal_397 + AltitudePossibleVal_396 + AltitudePossibleVal_395 + AltitudePossibleVal_394 + AltitudePossibleVal_393 + AltitudePossibleVal_392 + AltitudePossibleVal_391 + AltitudePossibleVal_390 + AltitudePossibleVal_389 + AltitudePossibleVal_388 + AltitudePossibleVal_387 + AltitudePossibleVal_386 + AltitudePossibleVal_385 + AltitudePossibleVal_384 + AltitudePossibleVal_383 + AltitudePossibleVal_382 + AltitudePossibleVal_381 + AltitudePossibleVal_380 + AltitudePossibleVal_379 + AltitudePossibleVal_378 + AltitudePossibleVal_377 + AltitudePossibleVal_376 + AltitudePossibleVal_375 + AltitudePossibleVal_374 + AltitudePossibleVal_373 + AltitudePossibleVal_372 + AltitudePossibleVal_371 + AltitudePossibleVal_370 + AltitudePossibleVal_369 + AltitudePossibleVal_368 + AltitudePossibleVal_367 + AltitudePossibleVal_366 + AltitudePossibleVal_365 + AltitudePossibleVal_364 + AltitudePossibleVal_363 + AltitudePossibleVal_362 + AltitudePossibleVal_361 + AltitudePossibleVal_360 + AltitudePossibleVal_359 + AltitudePossibleVal_358 + AltitudePossibleVal_357 + AltitudePossibleVal_356 + AltitudePossibleVal_355 + AltitudePossibleVal_354 + AltitudePossibleVal_353 + AltitudePossibleVal_352 + AltitudePossibleVal_351 + AltitudePossibleVal_350 + AltitudePossibleVal_349 + AltitudePossibleVal_348 + AltitudePossibleVal_347 + AltitudePossibleVal_346 + AltitudePossibleVal_345 + AltitudePossibleVal_344 + AltitudePossibleVal_343 + AltitudePossibleVal_342 + AltitudePossibleVal_341 + AltitudePossibleVal_340 + AltitudePossibleVal_339 + AltitudePossibleVal_338 + AltitudePossibleVal_337 + AltitudePossibleVal_336 + AltitudePossibleVal_335 + AltitudePossibleVal_334 + AltitudePossibleVal_333 + AltitudePossibleVal_332 + AltitudePossibleVal_331 + AltitudePossibleVal_330 + AltitudePossibleVal_329 + AltitudePossibleVal_328 + AltitudePossibleVal_327 + AltitudePossibleVal_326 + AltitudePossibleVal_325 + AltitudePossibleVal_324 + AltitudePossibleVal_323 + AltitudePossibleVal_322 + AltitudePossibleVal_321 + AltitudePossibleVal_320 + AltitudePossibleVal_319 + AltitudePossibleVal_318 + AltitudePossibleVal_317 + AltitudePossibleVal_316 + AltitudePossibleVal_315 + AltitudePossibleVal_314 + AltitudePossibleVal_313 + AltitudePossibleVal_312 + AltitudePossibleVal_311 + AltitudePossibleVal_310 + AltitudePossibleVal_309 + AltitudePossibleVal_308 + AltitudePossibleVal_307 + AltitudePossibleVal_306 + AltitudePossibleVal_305 + AltitudePossibleVal_304 + AltitudePossibleVal_303 + AltitudePossibleVal_302 + AltitudePossibleVal_301 + AltitudePossibleVal_300 + AltitudePossibleVal_299 + AltitudePossibleVal_298 + AltitudePossibleVal_297 + AltitudePossibleVal_296 + AltitudePossibleVal_295 + AltitudePossibleVal_294 + AltitudePossibleVal_293 + AltitudePossibleVal_292 + AltitudePossibleVal_291 + AltitudePossibleVal_290 + AltitudePossibleVal_289 + AltitudePossibleVal_288 + AltitudePossibleVal_287 + AltitudePossibleVal_286 + AltitudePossibleVal_285 + AltitudePossibleVal_284 + AltitudePossibleVal_283 + AltitudePossibleVal_282 + AltitudePossibleVal_281 + AltitudePossibleVal_280 + AltitudePossibleVal_279 + AltitudePossibleVal_278 + AltitudePossibleVal_277 + AltitudePossibleVal_276 + AltitudePossibleVal_275 + AltitudePossibleVal_274 + AltitudePossibleVal_273 + AltitudePossibleVal_272 + AltitudePossibleVal_271 + AltitudePossibleVal_270 + AltitudePossibleVal_269 + AltitudePossibleVal_268 + AltitudePossibleVal_267 + AltitudePossibleVal_266 + AltitudePossibleVal_265 + AltitudePossibleVal_264 + AltitudePossibleVal_263 + AltitudePossibleVal_262 + AltitudePossibleVal_261 + AltitudePossibleVal_260 + AltitudePossibleVal_259 + AltitudePossibleVal_258 + AltitudePossibleVal_257 + AltitudePossibleVal_256 + AltitudePossibleVal_255 + AltitudePossibleVal_254 + AltitudePossibleVal_253 + AltitudePossibleVal_252 + AltitudePossibleVal_251 + AltitudePossibleVal_250 + AltitudePossibleVal_249 + AltitudePossibleVal_248 + AltitudePossibleVal_247 + AltitudePossibleVal_246 + AltitudePossibleVal_245 + AltitudePossibleVal_244 + AltitudePossibleVal_243 + AltitudePossibleVal_242 + AltitudePossibleVal_241 + AltitudePossibleVal_240 + AltitudePossibleVal_239 + AltitudePossibleVal_238 + AltitudePossibleVal_237 + AltitudePossibleVal_236 + AltitudePossibleVal_235 + AltitudePossibleVal_234 + AltitudePossibleVal_233 + AltitudePossibleVal_232 + AltitudePossibleVal_231 + AltitudePossibleVal_230 + AltitudePossibleVal_229 + AltitudePossibleVal_228 + AltitudePossibleVal_227 + AltitudePossibleVal_226 + AltitudePossibleVal_225 + AltitudePossibleVal_224 + AltitudePossibleVal_223 + AltitudePossibleVal_222 + AltitudePossibleVal_221 + AltitudePossibleVal_220 + AltitudePossibleVal_219 + AltitudePossibleVal_218 + AltitudePossibleVal_217 + AltitudePossibleVal_216 + AltitudePossibleVal_215 + AltitudePossibleVal_214 + AltitudePossibleVal_1000 + AltitudePossibleVal_213 + AltitudePossibleVal_212 + AltitudePossibleVal_211 + AltitudePossibleVal_210 + AltitudePossibleVal_209 + AltitudePossibleVal_208 + AltitudePossibleVal_207 + AltitudePossibleVal_206 + AltitudePossibleVal_205 + AltitudePossibleVal_204 + AltitudePossibleVal_203 + AltitudePossibleVal_202 + AltitudePossibleVal_201 + AltitudePossibleVal_200 + AltitudePossibleVal_199 + AltitudePossibleVal_198 + AltitudePossibleVal_197 + AltitudePossibleVal_196 + AltitudePossibleVal_195 + AltitudePossibleVal_194 + AltitudePossibleVal_193 + AltitudePossibleVal_192 + AltitudePossibleVal_191 + AltitudePossibleVal_190 + AltitudePossibleVal_189 + AltitudePossibleVal_10 + AltitudePossibleVal_11 + AltitudePossibleVal_12 + AltitudePossibleVal_13 + AltitudePossibleVal_14 + AltitudePossibleVal_15 + AltitudePossibleVal_16 + AltitudePossibleVal_17 + AltitudePossibleVal_18 + AltitudePossibleVal_19 + AltitudePossibleVal_20 + AltitudePossibleVal_21 + AltitudePossibleVal_22 + AltitudePossibleVal_23 + AltitudePossibleVal_24 + AltitudePossibleVal_25 + AltitudePossibleVal_26 + AltitudePossibleVal_27 + AltitudePossibleVal_28 + AltitudePossibleVal_29 + AltitudePossibleVal_30 + AltitudePossibleVal_31 + AltitudePossibleVal_32 + AltitudePossibleVal_33 + AltitudePossibleVal_34 + AltitudePossibleVal_35 + AltitudePossibleVal_36 + AltitudePossibleVal_37 + AltitudePossibleVal_38 + AltitudePossibleVal_39 + AltitudePossibleVal_40 + AltitudePossibleVal_41 + AltitudePossibleVal_42 + AltitudePossibleVal_43 + AltitudePossibleVal_44 + AltitudePossibleVal_45 + AltitudePossibleVal_46 + AltitudePossibleVal_47 + AltitudePossibleVal_48 + AltitudePossibleVal_49 + AltitudePossibleVal_50 + AltitudePossibleVal_51 + AltitudePossibleVal_52 + AltitudePossibleVal_53 + AltitudePossibleVal_54 + AltitudePossibleVal_55 + AltitudePossibleVal_56 + AltitudePossibleVal_57 + AltitudePossibleVal_58 + AltitudePossibleVal_59 + AltitudePossibleVal_60 + AltitudePossibleVal_61 + AltitudePossibleVal_62 + AltitudePossibleVal_63 + AltitudePossibleVal_64 + AltitudePossibleVal_65 + AltitudePossibleVal_66 + AltitudePossibleVal_67 + AltitudePossibleVal_68 + AltitudePossibleVal_69 + AltitudePossibleVal_70 + AltitudePossibleVal_71 + AltitudePossibleVal_72 + AltitudePossibleVal_73 + AltitudePossibleVal_74 + AltitudePossibleVal_75 + AltitudePossibleVal_76 + AltitudePossibleVal_77 + AltitudePossibleVal_78 + AltitudePossibleVal_79 + AltitudePossibleVal_188 + AltitudePossibleVal_187 + AltitudePossibleVal_186 + AltitudePossibleVal_185 + AltitudePossibleVal_184 + AltitudePossibleVal_183 + AltitudePossibleVal_182 + AltitudePossibleVal_181 + AltitudePossibleVal_180 + AltitudePossibleVal_179 + AltitudePossibleVal_80 + AltitudePossibleVal_81 + AltitudePossibleVal_82 + AltitudePossibleVal_83 + AltitudePossibleVal_84 + AltitudePossibleVal_85 + AltitudePossibleVal_86 + AltitudePossibleVal_87 + AltitudePossibleVal_88 + AltitudePossibleVal_89 + AltitudePossibleVal_178 + AltitudePossibleVal_177 + AltitudePossibleVal_176 + AltitudePossibleVal_175 + AltitudePossibleVal_174 + AltitudePossibleVal_173 + AltitudePossibleVal_172 + AltitudePossibleVal_171 + AltitudePossibleVal_170 + AltitudePossibleVal_169 + AltitudePossibleVal_90 + AltitudePossibleVal_91 + AltitudePossibleVal_92 + AltitudePossibleVal_93 + AltitudePossibleVal_94 + AltitudePossibleVal_95 + AltitudePossibleVal_96 + AltitudePossibleVal_97 + AltitudePossibleVal_98 + AltitudePossibleVal_99 + AltitudePossibleVal_168 + AltitudePossibleVal_167 + AltitudePossibleVal_166 + AltitudePossibleVal_165 + AltitudePossibleVal_164 + AltitudePossibleVal_163 + AltitudePossibleVal_162 + AltitudePossibleVal_161 + AltitudePossibleVal_160 + AltitudePossibleVal_159 + AltitudePossibleVal_158 + AltitudePossibleVal_157 + AltitudePossibleVal_156 + AltitudePossibleVal_155 + AltitudePossibleVal_154 + AltitudePossibleVal_153 + AltitudePossibleVal_152 + AltitudePossibleVal_151 + AltitudePossibleVal_150 + AltitudePossibleVal_149 + AltitudePossibleVal_148 + AltitudePossibleVal_147 + AltitudePossibleVal_146 + AltitudePossibleVal_145 + AltitudePossibleVal_144 + AltitudePossibleVal_143 + AltitudePossibleVal_142 + AltitudePossibleVal_141 + AltitudePossibleVal_140 + AltitudePossibleVal_139 + AltitudePossibleVal_138 + AltitudePossibleVal_137 + AltitudePossibleVal_136 + AltitudePossibleVal_135 + AltitudePossibleVal_134 + AltitudePossibleVal_133 + AltitudePossibleVal_132 + AltitudePossibleVal_131 + AltitudePossibleVal_130 + AltitudePossibleVal_129 + AltitudePossibleVal_128 + AltitudePossibleVal_127 + AltitudePossibleVal_126 + AltitudePossibleVal_125 + AltitudePossibleVal_124 + AltitudePossibleVal_123 + AltitudePossibleVal_122 + AltitudePossibleVal_121 + AltitudePossibleVal_120 + AltitudePossibleVal_119 + AltitudePossibleVal_118 + AltitudePossibleVal_117 + AltitudePossibleVal_116 + AltitudePossibleVal_115 + AltitudePossibleVal_114 + AltitudePossibleVal_113 + AltitudePossibleVal_112 + AltitudePossibleVal_111 + AltitudePossibleVal_110 + AltitudePossibleVal_109 + AltitudePossibleVal_108 + AltitudePossibleVal_107 + AltitudePossibleVal_106 + AltitudePossibleVal_105 + AltitudePossibleVal_104 + AltitudePossibleVal_103 + AltitudePossibleVal_102 + AltitudePossibleVal_101 + AltitudePossibleVal_100 + AltitudePossibleVal_9 + AltitudePossibleVal_8 + AltitudePossibleVal_7 + AltitudePossibleVal_6 + AltitudePossibleVal_5 + AltitudePossibleVal_4 + AltitudePossibleVal_3 + AltitudePossibleVal_2 + AltitudePossibleVal_1) : MAX(Weight_Left_Wheel_on + Weight_Left_Wheel_off) : MAX(stp1) : MAX(stp2) : MAX(stp4) : MAX(AltitudePossibleVal_799 + AltitudePossibleVal_798 + AltitudePossibleVal_797 + AltitudePossibleVal_796 + AltitudePossibleVal_800 + AltitudePossibleVal_801 + AltitudePossibleVal_802 + AltitudePossibleVal_803 + AltitudePossibleVal_804 + AltitudePossibleVal_805 + AltitudePossibleVal_806 + AltitudePossibleVal_807 + AltitudePossibleVal_808 + AltitudePossibleVal_809 + AltitudePossibleVal_810 + AltitudePossibleVal_811 + AltitudePossibleVal_812 + AltitudePossibleVal_813 + AltitudePossibleVal_814 + AltitudePossibleVal_815 + AltitudePossibleVal_816 + AltitudePossibleVal_817 + AltitudePossibleVal_818 + AltitudePossibleVal_819 + AltitudePossibleVal_820 + AltitudePossibleVal_821 + AltitudePossibleVal_822 + AltitudePossibleVal_823 + AltitudePossibleVal_824 + AltitudePossibleVal_825 + AltitudePossibleVal_826 + AltitudePossibleVal_827 + AltitudePossibleVal_828 + AltitudePossibleVal_829 + AltitudePossibleVal_830 + AltitudePossibleVal_831 + AltitudePossibleVal_832 + AltitudePossibleVal_833 + AltitudePossibleVal_834 + AltitudePossibleVal_835 + AltitudePossibleVal_836 + AltitudePossibleVal_837 + AltitudePossibleVal_838 + AltitudePossibleVal_839 + AltitudePossibleVal_840 + AltitudePossibleVal_841 + AltitudePossibleVal_842 + AltitudePossibleVal_843 + AltitudePossibleVal_844 + AltitudePossibleVal_845 + AltitudePossibleVal_846 + AltitudePossibleVal_847 + AltitudePossibleVal_848 + AltitudePossibleVal_849 + AltitudePossibleVal_850 + AltitudePossibleVal_851 + AltitudePossibleVal_852 + AltitudePossibleVal_853 + AltitudePossibleVal_854 + AltitudePossibleVal_855 + AltitudePossibleVal_856 + AltitudePossibleVal_857 + AltitudePossibleVal_858 + AltitudePossibleVal_859 + AltitudePossibleVal_860 + AltitudePossibleVal_861 + AltitudePossibleVal_862 + AltitudePossibleVal_863 + AltitudePossibleVal_864 + AltitudePossibleVal_865 + AltitudePossibleVal_866 + AltitudePossibleVal_867 + AltitudePossibleVal_868 + AltitudePossibleVal_869 + AltitudePossibleVal_870 + AltitudePossibleVal_871 + AltitudePossibleVal_872 + AltitudePossibleVal_873 + AltitudePossibleVal_874 + AltitudePossibleVal_875 + AltitudePossibleVal_876 + AltitudePossibleVal_877 + AltitudePossibleVal_878 + AltitudePossibleVal_879 + AltitudePossibleVal_880 + AltitudePossibleVal_881 + AltitudePossibleVal_882 + AltitudePossibleVal_883 + AltitudePossibleVal_884 + AltitudePossibleVal_885 + AltitudePossibleVal_886 + AltitudePossibleVal_887 + AltitudePossibleVal_888 + AltitudePossibleVal_889 + AltitudePossibleVal_890 + AltitudePossibleVal_891 + AltitudePossibleVal_892 + AltitudePossibleVal_893 + AltitudePossibleVal_894 + AltitudePossibleVal_895 + AltitudePossibleVal_896 + AltitudePossibleVal_897 + AltitudePossibleVal_898 + AltitudePossibleVal_899 + AltitudePossibleVal_900 + AltitudePossibleVal_901 + AltitudePossibleVal_902 + AltitudePossibleVal_903 + AltitudePossibleVal_904 + AltitudePossibleVal_905 + AltitudePossibleVal_906 + AltitudePossibleVal_907 + AltitudePossibleVal_908 + AltitudePossibleVal_909 + AltitudePossibleVal_910 + AltitudePossibleVal_911 + AltitudePossibleVal_912 + AltitudePossibleVal_913 + AltitudePossibleVal_914 + AltitudePossibleVal_915 + AltitudePossibleVal_916 + AltitudePossibleVal_917 + AltitudePossibleVal_918 + AltitudePossibleVal_919 + AltitudePossibleVal_920 + AltitudePossibleVal_921 + AltitudePossibleVal_922 + AltitudePossibleVal_923 + AltitudePossibleVal_924 + AltitudePossibleVal_925 + AltitudePossibleVal_926 + AltitudePossibleVal_927 + AltitudePossibleVal_928 + AltitudePossibleVal_929 + AltitudePossibleVal_930 + AltitudePossibleVal_931 + AltitudePossibleVal_932 + AltitudePossibleVal_933 + AltitudePossibleVal_934 + AltitudePossibleVal_935 + AltitudePossibleVal_936 + AltitudePossibleVal_937 + AltitudePossibleVal_938 + AltitudePossibleVal_939 + AltitudePossibleVal_940 + AltitudePossibleVal_941 + AltitudePossibleVal_942 + AltitudePossibleVal_943 + AltitudePossibleVal_944 + AltitudePossibleVal_945 + AltitudePossibleVal_946 + AltitudePossibleVal_947 + AltitudePossibleVal_948 + AltitudePossibleVal_949 + AltitudePossibleVal_950 + AltitudePossibleVal_951 + AltitudePossibleVal_952 + AltitudePossibleVal_953 + AltitudePossibleVal_954 + AltitudePossibleVal_955 + AltitudePossibleVal_956 + AltitudePossibleVal_957 + AltitudePossibleVal_958 + AltitudePossibleVal_959 + AltitudePossibleVal_960 + AltitudePossibleVal_961 + AltitudePossibleVal_962 + AltitudePossibleVal_963 + AltitudePossibleVal_964 + AltitudePossibleVal_965 + AltitudePossibleVal_966 + AltitudePossibleVal_967 + AltitudePossibleVal_968 + AltitudePossibleVal_969 + AltitudePossibleVal_970 + AltitudePossibleVal_971 + AltitudePossibleVal_972 + AltitudePossibleVal_973 + AltitudePossibleVal_974 + AltitudePossibleVal_975 + AltitudePossibleVal_976 + AltitudePossibleVal_977 + AltitudePossibleVal_978 + AltitudePossibleVal_979 + AltitudePossibleVal_980 + AltitudePossibleVal_981 + AltitudePossibleVal_982 + AltitudePossibleVal_983 + AltitudePossibleVal_984 + AltitudePossibleVal_985 + AltitudePossibleVal_986 + AltitudePossibleVal_987 + AltitudePossibleVal_988 + AltitudePossibleVal_989 + AltitudePossibleVal_990 + AltitudePossibleVal_991 + AltitudePossibleVal_992 + AltitudePossibleVal_993 + AltitudePossibleVal_994 + AltitudePossibleVal_995 + AltitudePossibleVal_996 + AltitudePossibleVal_997 + AltitudePossibleVal_998 + AltitudePossibleVal_999 + AltitudePossibleVal_795 + AltitudePossibleVal_794 + AltitudePossibleVal_793 + AltitudePossibleVal_792 + AltitudePossibleVal_791 + AltitudePossibleVal_790 + AltitudePossibleVal_789 + AltitudePossibleVal_788 + AltitudePossibleVal_787 + AltitudePossibleVal_786 + AltitudePossibleVal_785 + AltitudePossibleVal_784 + AltitudePossibleVal_783 + AltitudePossibleVal_782 + AltitudePossibleVal_781 + AltitudePossibleVal_780 + AltitudePossibleVal_779 + AltitudePossibleVal_778 + AltitudePossibleVal_777 + AltitudePossibleVal_776 + AltitudePossibleVal_775 + AltitudePossibleVal_774 + AltitudePossibleVal_773 + AltitudePossibleVal_772 + AltitudePossibleVal_771 + AltitudePossibleVal_770 + AltitudePossibleVal_769 + AltitudePossibleVal_768 + AltitudePossibleVal_767 + AltitudePossibleVal_766 + AltitudePossibleVal_765 + AltitudePossibleVal_764 + AltitudePossibleVal_763 + AltitudePossibleVal_762 + AltitudePossibleVal_761 + AltitudePossibleVal_760 + AltitudePossibleVal_759 + AltitudePossibleVal_758 + AltitudePossibleVal_757 + AltitudePossibleVal_756 + AltitudePossibleVal_755 + AltitudePossibleVal_754 + AltitudePossibleVal_753 + AltitudePossibleVal_752 + AltitudePossibleVal_751 + AltitudePossibleVal_750 + AltitudePossibleVal_749 + AltitudePossibleVal_748 + AltitudePossibleVal_747 + AltitudePossibleVal_746 + AltitudePossibleVal_745 + AltitudePossibleVal_744 + AltitudePossibleVal_743 + AltitudePossibleVal_742 + AltitudePossibleVal_741 + AltitudePossibleVal_740 + AltitudePossibleVal_739 + AltitudePossibleVal_738 + AltitudePossibleVal_737 + AltitudePossibleVal_736 + AltitudePossibleVal_735 + AltitudePossibleVal_734 + AltitudePossibleVal_733 + AltitudePossibleVal_732 + AltitudePossibleVal_731 + AltitudePossibleVal_730 + AltitudePossibleVal_729 + AltitudePossibleVal_728 + AltitudePossibleVal_727 + AltitudePossibleVal_726 + AltitudePossibleVal_725 + AltitudePossibleVal_724 + AltitudePossibleVal_723 + AltitudePossibleVal_722 + AltitudePossibleVal_721 + AltitudePossibleVal_720 + AltitudePossibleVal_719 + AltitudePossibleVal_718 + AltitudePossibleVal_717 + AltitudePossibleVal_716 + AltitudePossibleVal_715 + AltitudePossibleVal_714 + AltitudePossibleVal_713 + AltitudePossibleVal_712 + AltitudePossibleVal_711 + AltitudePossibleVal_710 + AltitudePossibleVal_709 + AltitudePossibleVal_708 + AltitudePossibleVal_707 + AltitudePossibleVal_706 + AltitudePossibleVal_705 + AltitudePossibleVal_704 + AltitudePossibleVal_703 + AltitudePossibleVal_702 + AltitudePossibleVal_701 + AltitudePossibleVal_700 + AltitudePossibleVal_699 + AltitudePossibleVal_698 + AltitudePossibleVal_697 + AltitudePossibleVal_696 + AltitudePossibleVal_695 + AltitudePossibleVal_694 + AltitudePossibleVal_693 + AltitudePossibleVal_692 + AltitudePossibleVal_691 + AltitudePossibleVal_690 + AltitudePossibleVal_689 + AltitudePossibleVal_688 + AltitudePossibleVal_687 + AltitudePossibleVal_686 + AltitudePossibleVal_685 + AltitudePossibleVal_684 + AltitudePossibleVal_683 + AltitudePossibleVal_682 + AltitudePossibleVal_681 + AltitudePossibleVal_680 + AltitudePossibleVal_679 + AltitudePossibleVal_678 + AltitudePossibleVal_677 + AltitudePossibleVal_676 + AltitudePossibleVal_675 + AltitudePossibleVal_674 + AltitudePossibleVal_673 + AltitudePossibleVal_672 + AltitudePossibleVal_671 + AltitudePossibleVal_670 + AltitudePossibleVal_669 + AltitudePossibleVal_668 + AltitudePossibleVal_667 + AltitudePossibleVal_666 + AltitudePossibleVal_665 + AltitudePossibleVal_664 + AltitudePossibleVal_663 + AltitudePossibleVal_662 + AltitudePossibleVal_661 + AltitudePossibleVal_660 + AltitudePossibleVal_659 + AltitudePossibleVal_658 + AltitudePossibleVal_657 + AltitudePossibleVal_656 + AltitudePossibleVal_655 + AltitudePossibleVal_654 + AltitudePossibleVal_653 + AltitudePossibleVal_652 + AltitudePossibleVal_651 + AltitudePossibleVal_650 + AltitudePossibleVal_649 + AltitudePossibleVal_648 + AltitudePossibleVal_647 + AltitudePossibleVal_646 + AltitudePossibleVal_645 + AltitudePossibleVal_644 + AltitudePossibleVal_643 + AltitudePossibleVal_642 + AltitudePossibleVal_641 + AltitudePossibleVal_640 + AltitudePossibleVal_639 + AltitudePossibleVal_638 + AltitudePossibleVal_637 + AltitudePossibleVal_636 + AltitudePossibleVal_635 + AltitudePossibleVal_634 + AltitudePossibleVal_633 + AltitudePossibleVal_632 + AltitudePossibleVal_631 + AltitudePossibleVal_630 + AltitudePossibleVal_629 + AltitudePossibleVal_628 + AltitudePossibleVal_627 + AltitudePossibleVal_626 + AltitudePossibleVal_625 + AltitudePossibleVal_624 + AltitudePossibleVal_623 + AltitudePossibleVal_622 + AltitudePossibleVal_621 + AltitudePossibleVal_620 + AltitudePossibleVal_619 + AltitudePossibleVal_618 + AltitudePossibleVal_617 + AltitudePossibleVal_616 + AltitudePossibleVal_615 + AltitudePossibleVal_614 + AltitudePossibleVal_613 + AltitudePossibleVal_612 + AltitudePossibleVal_611 + AltitudePossibleVal_610 + AltitudePossibleVal_609 + AltitudePossibleVal_608 + AltitudePossibleVal_607 + AltitudePossibleVal_606 + AltitudePossibleVal_605 + AltitudePossibleVal_604 + AltitudePossibleVal_603 + AltitudePossibleVal_602 + AltitudePossibleVal_601 + AltitudePossibleVal_600 + AltitudePossibleVal_599 + AltitudePossibleVal_598 + AltitudePossibleVal_597 + AltitudePossibleVal_596 + AltitudePossibleVal_595 + AltitudePossibleVal_594 + AltitudePossibleVal_593 + AltitudePossibleVal_592 + AltitudePossibleVal_591 + AltitudePossibleVal_590 + AltitudePossibleVal_589 + AltitudePossibleVal_588 + AltitudePossibleVal_587 + AltitudePossibleVal_586 + AltitudePossibleVal_585 + AltitudePossibleVal_584 + AltitudePossibleVal_583 + AltitudePossibleVal_582 + AltitudePossibleVal_581 + AltitudePossibleVal_580 + AltitudePossibleVal_579 + AltitudePossibleVal_578 + AltitudePossibleVal_577 + AltitudePossibleVal_576 + AltitudePossibleVal_575 + AltitudePossibleVal_574 + AltitudePossibleVal_573 + AltitudePossibleVal_572 + AltitudePossibleVal_571 + AltitudePossibleVal_570 + AltitudePossibleVal_569 + AltitudePossibleVal_568 + AltitudePossibleVal_567 + AltitudePossibleVal_566 + AltitudePossibleVal_565 + AltitudePossibleVal_564 + AltitudePossibleVal_563 + AltitudePossibleVal_562 + AltitudePossibleVal_561 + AltitudePossibleVal_560 + AltitudePossibleVal_559 + AltitudePossibleVal_558 + AltitudePossibleVal_557 + AltitudePossibleVal_556 + AltitudePossibleVal_555 + AltitudePossibleVal_554 + AltitudePossibleVal_553 + AltitudePossibleVal_552 + AltitudePossibleVal_551 + AltitudePossibleVal_550 + AltitudePossibleVal_549 + AltitudePossibleVal_548 + AltitudePossibleVal_547 + AltitudePossibleVal_546 + AltitudePossibleVal_545 + AltitudePossibleVal_544 + AltitudePossibleVal_543 + AltitudePossibleVal_542 + AltitudePossibleVal_541 + AltitudePossibleVal_540 + AltitudePossibleVal_539 + AltitudePossibleVal_538 + AltitudePossibleVal_537 + AltitudePossibleVal_536 + AltitudePossibleVal_535 + AltitudePossibleVal_534 + AltitudePossibleVal_533 + AltitudePossibleVal_532 + AltitudePossibleVal_531 + AltitudePossibleVal_530 + AltitudePossibleVal_529 + AltitudePossibleVal_528 + AltitudePossibleVal_527 + AltitudePossibleVal_526 + AltitudePossibleVal_525 + AltitudePossibleVal_524 + AltitudePossibleVal_523 + AltitudePossibleVal_522 + AltitudePossibleVal_521 + AltitudePossibleVal_520 + AltitudePossibleVal_519 + AltitudePossibleVal_518 + AltitudePossibleVal_517 + AltitudePossibleVal_516 + AltitudePossibleVal_515 + AltitudePossibleVal_514 + AltitudePossibleVal_513 + AltitudePossibleVal_512 + AltitudePossibleVal_511 + AltitudePossibleVal_510 + AltitudePossibleVal_509 + AltitudePossibleVal_508 + AltitudePossibleVal_507 + AltitudePossibleVal_506 + AltitudePossibleVal_505 + AltitudePossibleVal_504 + AltitudePossibleVal_503 + AltitudePossibleVal_502 + AltitudePossibleVal_501 + AltitudePossibleVal_500 + AltitudePossibleVal_499 + AltitudePossibleVal_498 + AltitudePossibleVal_497 + AltitudePossibleVal_496 + AltitudePossibleVal_495 + AltitudePossibleVal_494 + AltitudePossibleVal_493 + AltitudePossibleVal_492 + AltitudePossibleVal_491 + AltitudePossibleVal_490 + AltitudePossibleVal_489 + AltitudePossibleVal_488 + AltitudePossibleVal_487 + AltitudePossibleVal_486 + AltitudePossibleVal_485 + AltitudePossibleVal_484 + AltitudePossibleVal_483 + AltitudePossibleVal_482 + AltitudePossibleVal_481 + AltitudePossibleVal_480 + AltitudePossibleVal_479 + AltitudePossibleVal_478 + AltitudePossibleVal_477 + AltitudePossibleVal_476 + AltitudePossibleVal_475 + AltitudePossibleVal_474 + AltitudePossibleVal_473 + AltitudePossibleVal_472 + AltitudePossibleVal_471 + AltitudePossibleVal_470 + AltitudePossibleVal_469 + AltitudePossibleVal_468 + AltitudePossibleVal_467 + AltitudePossibleVal_466 + AltitudePossibleVal_465 + AltitudePossibleVal_464 + AltitudePossibleVal_463 + AltitudePossibleVal_462 + AltitudePossibleVal_461 + AltitudePossibleVal_460 + AltitudePossibleVal_459 + AltitudePossibleVal_458 + AltitudePossibleVal_457 + AltitudePossibleVal_456 + AltitudePossibleVal_455 + AltitudePossibleVal_454 + AltitudePossibleVal_453 + AltitudePossibleVal_452 + AltitudePossibleVal_451 + AltitudePossibleVal_450 + AltitudePossibleVal_449 + AltitudePossibleVal_448 + AltitudePossibleVal_447 + AltitudePossibleVal_446 + AltitudePossibleVal_445 + AltitudePossibleVal_444 + AltitudePossibleVal_443 + AltitudePossibleVal_442 + AltitudePossibleVal_441 + AltitudePossibleVal_440 + AltitudePossibleVal_439 + AltitudePossibleVal_438 + AltitudePossibleVal_437 + AltitudePossibleVal_436 + AltitudePossibleVal_435 + AltitudePossibleVal_434 + AltitudePossibleVal_433 + AltitudePossibleVal_432 + AltitudePossibleVal_431 + AltitudePossibleVal_430 + AltitudePossibleVal_429 + AltitudePossibleVal_428 + AltitudePossibleVal_427 + AltitudePossibleVal_426 + AltitudePossibleVal_425 + AltitudePossibleVal_424 + AltitudePossibleVal_423 + AltitudePossibleVal_422 + AltitudePossibleVal_421 + AltitudePossibleVal_420 + AltitudePossibleVal_419 + AltitudePossibleVal_418 + AltitudePossibleVal_417 + AltitudePossibleVal_416 + AltitudePossibleVal_415 + AltitudePossibleVal_414 + AltitudePossibleVal_413 + AltitudePossibleVal_412 + AltitudePossibleVal_411 + AltitudePossibleVal_410 + AltitudePossibleVal_409 + AltitudePossibleVal_408 + AltitudePossibleVal_407 + AltitudePossibleVal_406 + AltitudePossibleVal_405 + AltitudePossibleVal_404 + AltitudePossibleVal_403 + AltitudePossibleVal_402 + AltitudePossibleVal_401 + AltitudePossibleVal_400 + AltitudePossibleVal_399 + AltitudePossibleVal_398 + AltitudePossibleVal_397 + AltitudePossibleVal_396 + AltitudePossibleVal_395 + AltitudePossibleVal_394 + AltitudePossibleVal_393 + AltitudePossibleVal_392 + AltitudePossibleVal_391 + AltitudePossibleVal_390 + AltitudePossibleVal_389 + AltitudePossibleVal_388 + AltitudePossibleVal_387 + AltitudePossibleVal_386 + AltitudePossibleVal_385 + AltitudePossibleVal_384 + AltitudePossibleVal_383 + AltitudePossibleVal_382 + AltitudePossibleVal_381 + AltitudePossibleVal_380 + AltitudePossibleVal_379 + AltitudePossibleVal_378 + AltitudePossibleVal_377 + AltitudePossibleVal_376 + AltitudePossibleVal_375 + AltitudePossibleVal_374 + AltitudePossibleVal_373 + AltitudePossibleVal_372 + AltitudePossibleVal_371 + AltitudePossibleVal_370 + AltitudePossibleVal_369 + AltitudePossibleVal_368 + AltitudePossibleVal_367 + AltitudePossibleVal_366 + AltitudePossibleVal_365 + AltitudePossibleVal_364 + AltitudePossibleVal_363 + AltitudePossibleVal_362 + AltitudePossibleVal_361 + AltitudePossibleVal_360 + AltitudePossibleVal_359 + AltitudePossibleVal_358 + AltitudePossibleVal_357 + AltitudePossibleVal_356 + AltitudePossibleVal_355 + AltitudePossibleVal_354 + AltitudePossibleVal_353 + AltitudePossibleVal_352 + AltitudePossibleVal_351 + AltitudePossibleVal_350 + AltitudePossibleVal_349 + AltitudePossibleVal_348 + AltitudePossibleVal_347 + AltitudePossibleVal_346 + AltitudePossibleVal_345 + AltitudePossibleVal_344 + AltitudePossibleVal_343 + AltitudePossibleVal_342 + AltitudePossibleVal_341 + AltitudePossibleVal_340 + AltitudePossibleVal_339 + AltitudePossibleVal_338 + AltitudePossibleVal_337 + AltitudePossibleVal_336 + AltitudePossibleVal_335 + AltitudePossibleVal_334 + AltitudePossibleVal_333 + AltitudePossibleVal_332 + AltitudePossibleVal_331 + AltitudePossibleVal_330 + AltitudePossibleVal_329 + AltitudePossibleVal_328 + AltitudePossibleVal_327 + AltitudePossibleVal_326 + AltitudePossibleVal_325 + AltitudePossibleVal_324 + AltitudePossibleVal_323 + AltitudePossibleVal_322 + AltitudePossibleVal_321 + AltitudePossibleVal_320 + AltitudePossibleVal_319 + AltitudePossibleVal_318 + AltitudePossibleVal_317 + AltitudePossibleVal_316 + AltitudePossibleVal_315 + AltitudePossibleVal_314 + AltitudePossibleVal_313 + AltitudePossibleVal_312 + AltitudePossibleVal_311 + AltitudePossibleVal_310 + AltitudePossibleVal_309 + AltitudePossibleVal_308 + AltitudePossibleVal_307 + AltitudePossibleVal_306 + AltitudePossibleVal_305 + AltitudePossibleVal_304 + AltitudePossibleVal_303 + AltitudePossibleVal_302 + AltitudePossibleVal_301 + AltitudePossibleVal_300 + AltitudePossibleVal_299 + AltitudePossibleVal_298 + AltitudePossibleVal_297 + AltitudePossibleVal_296 + AltitudePossibleVal_295 + AltitudePossibleVal_294 + AltitudePossibleVal_293 + AltitudePossibleVal_292 + AltitudePossibleVal_291 + AltitudePossibleVal_290 + AltitudePossibleVal_289 + AltitudePossibleVal_288 + AltitudePossibleVal_287 + AltitudePossibleVal_286 + AltitudePossibleVal_285 + AltitudePossibleVal_284 + AltitudePossibleVal_283 + AltitudePossibleVal_282 + AltitudePossibleVal_281 + AltitudePossibleVal_280 + AltitudePossibleVal_279 + AltitudePossibleVal_278 + AltitudePossibleVal_277 + AltitudePossibleVal_276 + AltitudePossibleVal_275 + AltitudePossibleVal_274 + AltitudePossibleVal_273 + AltitudePossibleVal_272 + AltitudePossibleVal_271 + AltitudePossibleVal_270 + AltitudePossibleVal_269 + AltitudePossibleVal_268 + AltitudePossibleVal_267 + AltitudePossibleVal_266 + AltitudePossibleVal_265 + AltitudePossibleVal_264 + AltitudePossibleVal_263 + AltitudePossibleVal_262 + AltitudePossibleVal_261 + AltitudePossibleVal_260 + AltitudePossibleVal_259 + AltitudePossibleVal_258 + AltitudePossibleVal_257 + AltitudePossibleVal_256 + AltitudePossibleVal_255 + AltitudePossibleVal_254 + AltitudePossibleVal_253 + AltitudePossibleVal_252 + AltitudePossibleVal_251 + AltitudePossibleVal_250 + AltitudePossibleVal_249 + AltitudePossibleVal_248 + AltitudePossibleVal_247 + AltitudePossibleVal_246 + AltitudePossibleVal_245 + AltitudePossibleVal_244 + AltitudePossibleVal_243 + AltitudePossibleVal_242 + AltitudePossibleVal_241 + AltitudePossibleVal_240 + AltitudePossibleVal_239 + AltitudePossibleVal_238 + AltitudePossibleVal_237 + AltitudePossibleVal_236 + AltitudePossibleVal_235 + AltitudePossibleVal_234 + AltitudePossibleVal_233 + AltitudePossibleVal_232 + AltitudePossibleVal_231 + AltitudePossibleVal_230 + AltitudePossibleVal_229 + AltitudePossibleVal_228 + AltitudePossibleVal_227 + AltitudePossibleVal_226 + AltitudePossibleVal_225 + AltitudePossibleVal_224 + AltitudePossibleVal_223 + AltitudePossibleVal_222 + AltitudePossibleVal_221 + AltitudePossibleVal_220 + AltitudePossibleVal_219 + AltitudePossibleVal_218 + AltitudePossibleVal_217 + AltitudePossibleVal_216 + AltitudePossibleVal_215 + AltitudePossibleVal_214 + AltitudePossibleVal_1000 + AltitudePossibleVal_213 + AltitudePossibleVal_212 + AltitudePossibleVal_211 + AltitudePossibleVal_210 + AltitudePossibleVal_209 + AltitudePossibleVal_208 + AltitudePossibleVal_207 + AltitudePossibleVal_206 + AltitudePossibleVal_205 + AltitudePossibleVal_204 + AltitudePossibleVal_203 + AltitudePossibleVal_202 + AltitudePossibleVal_201 + AltitudePossibleVal_200 + AltitudePossibleVal_199 + AltitudePossibleVal_198 + AltitudePossibleVal_197 + AltitudePossibleVal_196 + AltitudePossibleVal_195 + AltitudePossibleVal_194 + AltitudePossibleVal_193 + AltitudePossibleVal_192 + AltitudePossibleVal_191 + AltitudePossibleVal_190 + AltitudePossibleVal_189 + AltitudePossibleVal_10 + AltitudePossibleVal_11 + AltitudePossibleVal_12 + AltitudePossibleVal_13 + AltitudePossibleVal_14 + AltitudePossibleVal_15 + AltitudePossibleVal_16 + AltitudePossibleVal_17 + AltitudePossibleVal_18 + AltitudePossibleVal_19 + AltitudePossibleVal_20 + AltitudePossibleVal_21 + AltitudePossibleVal_22 + AltitudePossibleVal_23 + AltitudePossibleVal_24 + AltitudePossibleVal_25 + AltitudePossibleVal_26 + AltitudePossibleVal_27 + AltitudePossibleVal_28 + AltitudePossibleVal_29 + AltitudePossibleVal_30 + AltitudePossibleVal_31 + AltitudePossibleVal_32 + AltitudePossibleVal_33 + AltitudePossibleVal_34 + AltitudePossibleVal_35 + AltitudePossibleVal_36 + AltitudePossibleVal_37 + AltitudePossibleVal_38 + AltitudePossibleVal_39 + AltitudePossibleVal_40 + AltitudePossibleVal_41 + AltitudePossibleVal_42 + AltitudePossibleVal_43 + AltitudePossibleVal_44 + AltitudePossibleVal_45 + AltitudePossibleVal_46 + AltitudePossibleVal_47 + AltitudePossibleVal_48 + AltitudePossibleVal_49 + AltitudePossibleVal_50 + AltitudePossibleVal_51 + AltitudePossibleVal_52 + AltitudePossibleVal_53 + AltitudePossibleVal_54 + AltitudePossibleVal_55 + AltitudePossibleVal_56 + AltitudePossibleVal_57 + AltitudePossibleVal_58 + AltitudePossibleVal_59 + AltitudePossibleVal_60 + AltitudePossibleVal_61 + AltitudePossibleVal_62 + AltitudePossibleVal_63 + AltitudePossibleVal_64 + AltitudePossibleVal_65 + AltitudePossibleVal_66 + AltitudePossibleVal_67 + AltitudePossibleVal_68 + AltitudePossibleVal_69 + AltitudePossibleVal_70 + AltitudePossibleVal_71 + AltitudePossibleVal_72 + AltitudePossibleVal_73 + AltitudePossibleVal_74 + AltitudePossibleVal_75 + AltitudePossibleVal_76 + AltitudePossibleVal_77 + AltitudePossibleVal_78 + AltitudePossibleVal_79 + AltitudePossibleVal_188 + AltitudePossibleVal_187 + AltitudePossibleVal_186 + AltitudePossibleVal_185 + AltitudePossibleVal_184 + AltitudePossibleVal_183 + AltitudePossibleVal_182 + AltitudePossibleVal_181 + AltitudePossibleVal_180 + AltitudePossibleVal_179 + AltitudePossibleVal_80 + AltitudePossibleVal_81 + AltitudePossibleVal_82 + AltitudePossibleVal_83 + AltitudePossibleVal_84 + AltitudePossibleVal_85 + AltitudePossibleVal_86 + AltitudePossibleVal_87 + AltitudePossibleVal_88 + AltitudePossibleVal_89 + AltitudePossibleVal_178 + AltitudePossibleVal_177 + AltitudePossibleVal_176 + AltitudePossibleVal_175 + AltitudePossibleVal_174 + AltitudePossibleVal_173 + AltitudePossibleVal_172 + AltitudePossibleVal_171 + AltitudePossibleVal_170 + AltitudePossibleVal_169 + AltitudePossibleVal_90 + AltitudePossibleVal_91 + AltitudePossibleVal_92 + AltitudePossibleVal_93 + AltitudePossibleVal_94 + AltitudePossibleVal_95 + AltitudePossibleVal_96 + AltitudePossibleVal_97 + AltitudePossibleVal_98 + AltitudePossibleVal_99 + AltitudePossibleVal_168 + AltitudePossibleVal_167 + AltitudePossibleVal_166 + AltitudePossibleVal_165 + AltitudePossibleVal_164 + AltitudePossibleVal_163 + AltitudePossibleVal_162 + AltitudePossibleVal_161 + AltitudePossibleVal_160 + AltitudePossibleVal_159 + AltitudePossibleVal_158 + AltitudePossibleVal_157 + AltitudePossibleVal_156 + AltitudePossibleVal_155 + AltitudePossibleVal_154 + AltitudePossibleVal_153 + AltitudePossibleVal_152 + AltitudePossibleVal_151 + AltitudePossibleVal_150 + AltitudePossibleVal_149 + AltitudePossibleVal_148 + AltitudePossibleVal_147 + AltitudePossibleVal_146 + AltitudePossibleVal_145 + AltitudePossibleVal_144 + AltitudePossibleVal_143 + AltitudePossibleVal_142 + AltitudePossibleVal_141 + AltitudePossibleVal_140 + AltitudePossibleVal_139 + AltitudePossibleVal_138 + AltitudePossibleVal_137 + AltitudePossibleVal_136 + AltitudePossibleVal_135 + AltitudePossibleVal_134 + AltitudePossibleVal_133 + AltitudePossibleVal_132 + AltitudePossibleVal_131 + AltitudePossibleVal_130 + AltitudePossibleVal_129 + AltitudePossibleVal_128 + AltitudePossibleVal_127 + AltitudePossibleVal_126 + AltitudePossibleVal_125 + AltitudePossibleVal_124 + AltitudePossibleVal_123 + AltitudePossibleVal_122 + AltitudePossibleVal_121 + AltitudePossibleVal_120 + AltitudePossibleVal_119 + AltitudePossibleVal_118 + AltitudePossibleVal_117 + AltitudePossibleVal_116 + AltitudePossibleVal_115 + AltitudePossibleVal_114 + AltitudePossibleVal_113 + AltitudePossibleVal_112 + AltitudePossibleVal_111 + AltitudePossibleVal_110 + AltitudePossibleVal_109 + AltitudePossibleVal_108 + AltitudePossibleVal_107 + AltitudePossibleVal_106 + AltitudePossibleVal_105 + AltitudePossibleVal_104 + AltitudePossibleVal_103 + AltitudePossibleVal_102 + AltitudePossibleVal_101 + AltitudePossibleVal_100 + AltitudePossibleVal_9 + AltitudePossibleVal_8 + AltitudePossibleVal_7 + AltitudePossibleVal_6 + AltitudePossibleVal_5 + AltitudePossibleVal_4 + AltitudePossibleVal_3 + AltitudePossibleVal_2 + AltitudePossibleVal_1) : MAX(P3) : MAX(Speed_Left_Wheel_10 + Speed_Left_Wheel_11 + Speed_Left_Wheel_12 + Speed_Left_Wheel_13 + Speed_Left_Wheel_14 + Speed_Left_Wheel_15 + Speed_Left_Wheel_16 + Speed_Left_Wheel_17 + Speed_Left_Wheel_18 + Speed_Left_Wheel_19 + Speed_Left_Wheel_20 + Speed_Left_Wheel_21 + Speed_Left_Wheel_22 + Speed_Left_Wheel_23 + Speed_Left_Wheel_24 + Speed_Left_Wheel_25 + Speed_Left_Wheel_26 + Speed_Left_Wheel_27 + Speed_Left_Wheel_28 + Speed_Left_Wheel_29 + Speed_Left_Wheel_30 + Speed_Left_Wheel_31 + Speed_Left_Wheel_32 + Speed_Left_Wheel_33 + Speed_Left_Wheel_34 + Speed_Left_Wheel_35 + Speed_Left_Wheel_36 + Speed_Left_Wheel_37 + Speed_Left_Wheel_38 + Speed_Left_Wheel_39 + Speed_Left_Wheel_40 + Speed_Left_Wheel_41 + Speed_Left_Wheel_42 + Speed_Left_Wheel_43 + Speed_Left_Wheel_44 + Speed_Left_Wheel_45 + Speed_Left_Wheel_46 + Speed_Left_Wheel_47 + Speed_Left_Wheel_48 + Speed_Left_Wheel_49 + Speed_Left_Wheel_50 + Speed_Left_Wheel_51 + Speed_Left_Wheel_52 + Speed_Left_Wheel_53 + Speed_Left_Wheel_54 + Speed_Left_Wheel_55 + Speed_Left_Wheel_56 + Speed_Left_Wheel_57 + Speed_Left_Wheel_58 + Speed_Left_Wheel_59 + Speed_Left_Wheel_60 + Speed_Left_Wheel_61 + Speed_Left_Wheel_62 + Speed_Left_Wheel_63 + Speed_Left_Wheel_64 + Speed_Left_Wheel_65 + Speed_Left_Wheel_66 + Speed_Left_Wheel_67 + Speed_Left_Wheel_68 + Speed_Left_Wheel_69 + Speed_Left_Wheel_70 + Speed_Left_Wheel_71 + Speed_Left_Wheel_72 + Speed_Left_Wheel_73 + Speed_Left_Wheel_74 + Speed_Left_Wheel_75 + Speed_Left_Wheel_76 + Speed_Left_Wheel_77 + Speed_Left_Wheel_78 + Speed_Left_Wheel_79 + Speed_Left_Wheel_80 + Speed_Left_Wheel_81 + Speed_Left_Wheel_82 + Speed_Left_Wheel_83 + Speed_Left_Wheel_84 + Speed_Left_Wheel_85 + Speed_Left_Wheel_86 + Speed_Left_Wheel_87 + Speed_Left_Wheel_88 + Speed_Left_Wheel_89 + Speed_Left_Wheel_90 + Speed_Left_Wheel_91 + Speed_Left_Wheel_92 + Speed_Left_Wheel_93 + Speed_Left_Wheel_94 + Speed_Left_Wheel_95 + Speed_Left_Wheel_96 + Speed_Left_Wheel_97 + Speed_Left_Wheel_98 + Speed_Left_Wheel_99 + Speed_Left_Wheel_100 + Speed_Left_Wheel_101 + Speed_Left_Wheel_102 + Speed_Left_Wheel_103 + Speed_Left_Wheel_104 + Speed_Left_Wheel_105 + Speed_Left_Wheel_106 + Speed_Left_Wheel_107 + Speed_Left_Wheel_108 + Speed_Left_Wheel_109 + Speed_Left_Wheel_110 + Speed_Left_Wheel_111 + Speed_Left_Wheel_112 + Speed_Left_Wheel_113 + Speed_Left_Wheel_114 + Speed_Left_Wheel_115 + Speed_Left_Wheel_116 + Speed_Left_Wheel_117 + Speed_Left_Wheel_118 + Speed_Left_Wheel_119 + Speed_Left_Wheel_120 + Speed_Left_Wheel_121 + Speed_Left_Wheel_122 + Speed_Left_Wheel_123 + Speed_Left_Wheel_124 + Speed_Left_Wheel_125 + Speed_Left_Wheel_126 + Speed_Left_Wheel_127 + Speed_Left_Wheel_128 + Speed_Left_Wheel_129 + Speed_Left_Wheel_130 + Speed_Left_Wheel_131 + Speed_Left_Wheel_132 + Speed_Left_Wheel_133 + Speed_Left_Wheel_134 + Speed_Left_Wheel_135 + Speed_Left_Wheel_136 + Speed_Left_Wheel_137 + Speed_Left_Wheel_138 + Speed_Left_Wheel_139 + Speed_Left_Wheel_140 + Speed_Left_Wheel_141 + Speed_Left_Wheel_142 + Speed_Left_Wheel_143 + Speed_Left_Wheel_144 + Speed_Left_Wheel_145 + Speed_Left_Wheel_146 + Speed_Left_Wheel_147 + Speed_Left_Wheel_148 + Speed_Left_Wheel_149 + Speed_Left_Wheel_150 + Speed_Left_Wheel_151 + Speed_Left_Wheel_152 + Speed_Left_Wheel_153 + Speed_Left_Wheel_154 + Speed_Left_Wheel_155 + Speed_Left_Wheel_156 + Speed_Left_Wheel_157 + Speed_Left_Wheel_158 + Speed_Left_Wheel_159 + Speed_Left_Wheel_160 + Speed_Left_Wheel_161 + Speed_Left_Wheel_162 + Speed_Left_Wheel_163 + Speed_Left_Wheel_164 + Speed_Left_Wheel_165 + Speed_Left_Wheel_166 + Speed_Left_Wheel_167 + Speed_Left_Wheel_168 + Speed_Left_Wheel_169 + Speed_Left_Wheel_170 + Speed_Left_Wheel_171 + Speed_Left_Wheel_172 + Speed_Left_Wheel_173 + Speed_Left_Wheel_174 + Speed_Left_Wheel_175 + Speed_Left_Wheel_176 + Speed_Left_Wheel_177 + Speed_Left_Wheel_178 + Speed_Left_Wheel_179 + Speed_Left_Wheel_180 + Speed_Left_Wheel_181 + Speed_Left_Wheel_182 + Speed_Left_Wheel_183 + Speed_Left_Wheel_184 + Speed_Left_Wheel_185 + Speed_Left_Wheel_186 + Speed_Left_Wheel_187 + Speed_Left_Wheel_188 + Speed_Left_Wheel_189 + Speed_Left_Wheel_190 + Speed_Left_Wheel_191 + Speed_Left_Wheel_192 + Speed_Left_Wheel_193 + Speed_Left_Wheel_194 + Speed_Left_Wheel_195 + Speed_Left_Wheel_196 + Speed_Left_Wheel_197 + Speed_Left_Wheel_198 + Speed_Left_Wheel_199 + Speed_Left_Wheel_200 + Speed_Left_Wheel_201 + Speed_Left_Wheel_202 + Speed_Left_Wheel_203 + Speed_Left_Wheel_204 + Speed_Left_Wheel_205 + Speed_Left_Wheel_206 + Speed_Left_Wheel_207 + Speed_Left_Wheel_208 + Speed_Left_Wheel_209 + Speed_Left_Wheel_210 + Speed_Left_Wheel_211 + Speed_Left_Wheel_212 + Speed_Left_Wheel_213 + Speed_Left_Wheel_214 + Speed_Left_Wheel_215 + Speed_Left_Wheel_216 + Speed_Left_Wheel_217 + Speed_Left_Wheel_218 + Speed_Left_Wheel_219 + Speed_Left_Wheel_220 + Speed_Left_Wheel_221 + Speed_Left_Wheel_222 + Speed_Left_Wheel_223 + Speed_Left_Wheel_224 + Speed_Left_Wheel_225 + Speed_Left_Wheel_226 + Speed_Left_Wheel_227 + Speed_Left_Wheel_228 + Speed_Left_Wheel_229 + Speed_Left_Wheel_230 + Speed_Left_Wheel_231 + Speed_Left_Wheel_232 + Speed_Left_Wheel_233 + Speed_Left_Wheel_234 + Speed_Left_Wheel_235 + Speed_Left_Wheel_236 + Speed_Left_Wheel_237 + Speed_Left_Wheel_238 + Speed_Left_Wheel_239 + Speed_Left_Wheel_240 + Speed_Left_Wheel_241 + Speed_Left_Wheel_242 + Speed_Left_Wheel_243 + Speed_Left_Wheel_244 + Speed_Left_Wheel_245 + Speed_Left_Wheel_246 + Speed_Left_Wheel_247 + Speed_Left_Wheel_248 + Speed_Left_Wheel_249 + Speed_Left_Wheel_250 + Speed_Left_Wheel_251 + Speed_Left_Wheel_252 + Speed_Left_Wheel_253 + Speed_Left_Wheel_254 + Speed_Left_Wheel_255 + Speed_Left_Wheel_256 + Speed_Left_Wheel_257 + Speed_Left_Wheel_258 + Speed_Left_Wheel_259 + Speed_Left_Wheel_260 + Speed_Left_Wheel_261 + Speed_Left_Wheel_262 + Speed_Left_Wheel_263 + Speed_Left_Wheel_264 + Speed_Left_Wheel_265 + Speed_Left_Wheel_266 + Speed_Left_Wheel_267 + Speed_Left_Wheel_268 + Speed_Left_Wheel_269 + Speed_Left_Wheel_270 + Speed_Left_Wheel_271 + Speed_Left_Wheel_272 + Speed_Left_Wheel_273 + Speed_Left_Wheel_274 + Speed_Left_Wheel_275 + Speed_Left_Wheel_276 + Speed_Left_Wheel_277 + Speed_Left_Wheel_278 + Speed_Left_Wheel_279 + Speed_Left_Wheel_280 + Speed_Left_Wheel_281 + Speed_Left_Wheel_282 + Speed_Left_Wheel_283 + Speed_Left_Wheel_284 + Speed_Left_Wheel_285 + Speed_Left_Wheel_286 + Speed_Left_Wheel_287 + Speed_Left_Wheel_288 + Speed_Left_Wheel_289 + Speed_Left_Wheel_290 + Speed_Left_Wheel_291 + Speed_Left_Wheel_292 + Speed_Left_Wheel_293 + Speed_Left_Wheel_294 + Speed_Left_Wheel_295 + Speed_Left_Wheel_296 + Speed_Left_Wheel_297 + Speed_Left_Wheel_298 + Speed_Left_Wheel_299 + Speed_Left_Wheel_300 + Speed_Left_Wheel_301 + Speed_Left_Wheel_302 + Speed_Left_Wheel_303 + Speed_Left_Wheel_304 + Speed_Left_Wheel_305 + Speed_Left_Wheel_306 + Speed_Left_Wheel_307 + Speed_Left_Wheel_308 + Speed_Left_Wheel_309 + Speed_Left_Wheel_310 + Speed_Left_Wheel_311 + Speed_Left_Wheel_312 + Speed_Left_Wheel_313 + Speed_Left_Wheel_314 + Speed_Left_Wheel_315 + Speed_Left_Wheel_316 + Speed_Left_Wheel_317 + Speed_Left_Wheel_318 + Speed_Left_Wheel_319 + Speed_Left_Wheel_320 + Speed_Left_Wheel_321 + Speed_Left_Wheel_322 + Speed_Left_Wheel_323 + Speed_Left_Wheel_324 + Speed_Left_Wheel_325 + Speed_Left_Wheel_326 + Speed_Left_Wheel_327 + Speed_Left_Wheel_328 + Speed_Left_Wheel_329 + Speed_Left_Wheel_330 + Speed_Left_Wheel_331 + Speed_Left_Wheel_332 + Speed_Left_Wheel_333 + Speed_Left_Wheel_334 + Speed_Left_Wheel_335 + Speed_Left_Wheel_336 + Speed_Left_Wheel_337 + Speed_Left_Wheel_338 + Speed_Left_Wheel_339 + Speed_Left_Wheel_340 + Speed_Left_Wheel_341 + Speed_Left_Wheel_342 + Speed_Left_Wheel_343 + Speed_Left_Wheel_344 + Speed_Left_Wheel_345 + Speed_Left_Wheel_346 + Speed_Left_Wheel_347 + Speed_Left_Wheel_348 + Speed_Left_Wheel_349 + Speed_Left_Wheel_350 + Speed_Left_Wheel_351 + Speed_Left_Wheel_352 + Speed_Left_Wheel_353 + Speed_Left_Wheel_354 + Speed_Left_Wheel_355 + Speed_Left_Wheel_356 + Speed_Left_Wheel_357 + Speed_Left_Wheel_358 + Speed_Left_Wheel_359 + Speed_Left_Wheel_360 + Speed_Left_Wheel_361 + Speed_Left_Wheel_362 + Speed_Left_Wheel_363 + Speed_Left_Wheel_364 + Speed_Left_Wheel_365 + Speed_Left_Wheel_366 + Speed_Left_Wheel_367 + Speed_Left_Wheel_368 + Speed_Left_Wheel_369 + Speed_Left_Wheel_370 + Speed_Left_Wheel_371 + Speed_Left_Wheel_372 + Speed_Left_Wheel_373 + Speed_Left_Wheel_374 + Speed_Left_Wheel_375 + Speed_Left_Wheel_376 + Speed_Left_Wheel_377 + Speed_Left_Wheel_378 + Speed_Left_Wheel_379 + Speed_Left_Wheel_380 + Speed_Left_Wheel_381 + Speed_Left_Wheel_382 + Speed_Left_Wheel_383 + Speed_Left_Wheel_384 + Speed_Left_Wheel_385 + Speed_Left_Wheel_386 + Speed_Left_Wheel_387 + Speed_Left_Wheel_388 + Speed_Left_Wheel_389 + Speed_Left_Wheel_390 + Speed_Left_Wheel_391 + Speed_Left_Wheel_392 + Speed_Left_Wheel_393 + Speed_Left_Wheel_394 + Speed_Left_Wheel_395 + Speed_Left_Wheel_396 + Speed_Left_Wheel_397 + Speed_Left_Wheel_398 + Speed_Left_Wheel_399 + Speed_Left_Wheel_400 + Speed_Left_Wheel_401 + Speed_Left_Wheel_402 + Speed_Left_Wheel_403 + Speed_Left_Wheel_404 + Speed_Left_Wheel_405 + Speed_Left_Wheel_406 + Speed_Left_Wheel_407 + Speed_Left_Wheel_408 + Speed_Left_Wheel_409 + Speed_Left_Wheel_410 + Speed_Left_Wheel_411 + Speed_Left_Wheel_412 + Speed_Left_Wheel_413 + Speed_Left_Wheel_414 + Speed_Left_Wheel_415 + Speed_Left_Wheel_416 + Speed_Left_Wheel_417 + Speed_Left_Wheel_418 + Speed_Left_Wheel_419 + Speed_Left_Wheel_420 + Speed_Left_Wheel_421 + Speed_Left_Wheel_422 + Speed_Left_Wheel_423 + Speed_Left_Wheel_424 + Speed_Left_Wheel_425 + Speed_Left_Wheel_426 + Speed_Left_Wheel_427 + Speed_Left_Wheel_428 + Speed_Left_Wheel_429 + Speed_Left_Wheel_430 + Speed_Left_Wheel_431 + Speed_Left_Wheel_432 + Speed_Left_Wheel_433 + Speed_Left_Wheel_434 + Speed_Left_Wheel_435 + Speed_Left_Wheel_436 + Speed_Left_Wheel_437 + Speed_Left_Wheel_438 + Speed_Left_Wheel_439 + Speed_Left_Wheel_440 + Speed_Left_Wheel_441 + Speed_Left_Wheel_442 + Speed_Left_Wheel_443 + Speed_Left_Wheel_444 + Speed_Left_Wheel_445 + Speed_Left_Wheel_446 + Speed_Left_Wheel_447 + Speed_Left_Wheel_448 + Speed_Left_Wheel_449 + Speed_Left_Wheel_450 + Speed_Left_Wheel_451 + Speed_Left_Wheel_452 + Speed_Left_Wheel_453 + Speed_Left_Wheel_454 + Speed_Left_Wheel_455 + Speed_Left_Wheel_456 + Speed_Left_Wheel_457 + Speed_Left_Wheel_458 + Speed_Left_Wheel_459 + Speed_Left_Wheel_460 + Speed_Left_Wheel_461 + Speed_Left_Wheel_462 + Speed_Left_Wheel_463 + Speed_Left_Wheel_464 + Speed_Left_Wheel_465 + Speed_Left_Wheel_466 + Speed_Left_Wheel_467 + Speed_Left_Wheel_468 + Speed_Left_Wheel_469 + Speed_Left_Wheel_470 + Speed_Left_Wheel_471 + Speed_Left_Wheel_472 + Speed_Left_Wheel_473 + Speed_Left_Wheel_474 + Speed_Left_Wheel_475 + Speed_Left_Wheel_476 + Speed_Left_Wheel_477 + Speed_Left_Wheel_478 + Speed_Left_Wheel_479 + Speed_Left_Wheel_480 + Speed_Left_Wheel_481 + Speed_Left_Wheel_482 + Speed_Left_Wheel_483 + Speed_Left_Wheel_484 + Speed_Left_Wheel_485 + Speed_Left_Wheel_486 + Speed_Left_Wheel_487 + Speed_Left_Wheel_488 + Speed_Left_Wheel_489 + Speed_Left_Wheel_490 + Speed_Left_Wheel_491 + Speed_Left_Wheel_492 + Speed_Left_Wheel_493 + Speed_Left_Wheel_494 + Speed_Left_Wheel_495 + Speed_Left_Wheel_496 + Speed_Left_Wheel_497 + Speed_Left_Wheel_498 + Speed_Left_Wheel_499 + Speed_Left_Wheel_500 + Speed_Left_Wheel_9 + Speed_Left_Wheel_8 + Speed_Left_Wheel_7 + Speed_Left_Wheel_6 + Speed_Left_Wheel_5 + Speed_Left_Wheel_4 + Speed_Left_Wheel_3 + Speed_Left_Wheel_2 + Speed_Left_Wheel_1) : MAX(P5) : MAX(P4) : MAX(P3) : MAX(WeightPossibleVal_off + WeightPossibleVal_on) : MAX(SpeedPossibleVal_205 + SpeedPossibleVal_206 + SpeedPossibleVal_207 + SpeedPossibleVal_208 + SpeedPossibleVal_209 + SpeedPossibleVal_210 + SpeedPossibleVal_211 + SpeedPossibleVal_212 + SpeedPossibleVal_213 + SpeedPossibleVal_214 + SpeedPossibleVal_215 + SpeedPossibleVal_216 + SpeedPossibleVal_217 + SpeedPossibleVal_218 + SpeedPossibleVal_219 + SpeedPossibleVal_220 + SpeedPossibleVal_221 + SpeedPossibleVal_222 + SpeedPossibleVal_223 + SpeedPossibleVal_224 + SpeedPossibleVal_225 + SpeedPossibleVal_226 + SpeedPossibleVal_227 + SpeedPossibleVal_228 + SpeedPossibleVal_229 + SpeedPossibleVal_230 + SpeedPossibleVal_231 + SpeedPossibleVal_232 + SpeedPossibleVal_233 + SpeedPossibleVal_234 + SpeedPossibleVal_235 + SpeedPossibleVal_236 + SpeedPossibleVal_237 + SpeedPossibleVal_238 + SpeedPossibleVal_239 + SpeedPossibleVal_240 + SpeedPossibleVal_241 + SpeedPossibleVal_242 + SpeedPossibleVal_243 + SpeedPossibleVal_244 + SpeedPossibleVal_245 + SpeedPossibleVal_246 + SpeedPossibleVal_247 + SpeedPossibleVal_248 + SpeedPossibleVal_249 + SpeedPossibleVal_250 + SpeedPossibleVal_251 + SpeedPossibleVal_252 + SpeedPossibleVal_253 + SpeedPossibleVal_254 + SpeedPossibleVal_255 + SpeedPossibleVal_256 + SpeedPossibleVal_257 + SpeedPossibleVal_258 + SpeedPossibleVal_259 + SpeedPossibleVal_260 + SpeedPossibleVal_261 + SpeedPossibleVal_262 + SpeedPossibleVal_263 + SpeedPossibleVal_264 + SpeedPossibleVal_265 + SpeedPossibleVal_266 + SpeedPossibleVal_267 + SpeedPossibleVal_268 + SpeedPossibleVal_269 + SpeedPossibleVal_270 + SpeedPossibleVal_271 + SpeedPossibleVal_272 + SpeedPossibleVal_273 + SpeedPossibleVal_274 + SpeedPossibleVal_275 + SpeedPossibleVal_276 + SpeedPossibleVal_277 + SpeedPossibleVal_278 + SpeedPossibleVal_279 + SpeedPossibleVal_280 + SpeedPossibleVal_281 + SpeedPossibleVal_282 + SpeedPossibleVal_283 + SpeedPossibleVal_284 + SpeedPossibleVal_285 + SpeedPossibleVal_286 + SpeedPossibleVal_1 + SpeedPossibleVal_287 + SpeedPossibleVal_2 + SpeedPossibleVal_288 + SpeedPossibleVal_3 + SpeedPossibleVal_289 + SpeedPossibleVal_4 + SpeedPossibleVal_5 + SpeedPossibleVal_6 + SpeedPossibleVal_7 + SpeedPossibleVal_8 + SpeedPossibleVal_9 + SpeedPossibleVal_290 + SpeedPossibleVal_291 + SpeedPossibleVal_292 + SpeedPossibleVal_293 + SpeedPossibleVal_294 + SpeedPossibleVal_295 + SpeedPossibleVal_296 + SpeedPossibleVal_297 + SpeedPossibleVal_298 + SpeedPossibleVal_299 + SpeedPossibleVal_204 + SpeedPossibleVal_203 + SpeedPossibleVal_202 + SpeedPossibleVal_201 + SpeedPossibleVal_200 + SpeedPossibleVal_300 + SpeedPossibleVal_301 + SpeedPossibleVal_302 + SpeedPossibleVal_303 + SpeedPossibleVal_304 + SpeedPossibleVal_305 + SpeedPossibleVal_306 + SpeedPossibleVal_307 + SpeedPossibleVal_308 + SpeedPossibleVal_309 + SpeedPossibleVal_310 + SpeedPossibleVal_311 + SpeedPossibleVal_312 + SpeedPossibleVal_313 + SpeedPossibleVal_314 + SpeedPossibleVal_315 + SpeedPossibleVal_316 + SpeedPossibleVal_317 + SpeedPossibleVal_318 + SpeedPossibleVal_319 + SpeedPossibleVal_320 + SpeedPossibleVal_321 + SpeedPossibleVal_322 + SpeedPossibleVal_323 + SpeedPossibleVal_324 + SpeedPossibleVal_325 + SpeedPossibleVal_326 + SpeedPossibleVal_327 + SpeedPossibleVal_328 + SpeedPossibleVal_329 + SpeedPossibleVal_330 + SpeedPossibleVal_331 + SpeedPossibleVal_332 + SpeedPossibleVal_333 + SpeedPossibleVal_334 + SpeedPossibleVal_335 + SpeedPossibleVal_336 + SpeedPossibleVal_337 + SpeedPossibleVal_338 + SpeedPossibleVal_339 + SpeedPossibleVal_340 + SpeedPossibleVal_341 + SpeedPossibleVal_342 + SpeedPossibleVal_343 + SpeedPossibleVal_344 + SpeedPossibleVal_345 + SpeedPossibleVal_346 + SpeedPossibleVal_347 + SpeedPossibleVal_348 + SpeedPossibleVal_349 + SpeedPossibleVal_350 + SpeedPossibleVal_351 + SpeedPossibleVal_352 + SpeedPossibleVal_353 + SpeedPossibleVal_354 + SpeedPossibleVal_355 + SpeedPossibleVal_356 + SpeedPossibleVal_357 + SpeedPossibleVal_358 + SpeedPossibleVal_359 + SpeedPossibleVal_360 + SpeedPossibleVal_361 + SpeedPossibleVal_362 + SpeedPossibleVal_363 + SpeedPossibleVal_364 + SpeedPossibleVal_365 + SpeedPossibleVal_366 + SpeedPossibleVal_367 + SpeedPossibleVal_368 + SpeedPossibleVal_369 + SpeedPossibleVal_370 + SpeedPossibleVal_371 + SpeedPossibleVal_372 + SpeedPossibleVal_373 + SpeedPossibleVal_374 + SpeedPossibleVal_375 + SpeedPossibleVal_376 + SpeedPossibleVal_377 + SpeedPossibleVal_378 + SpeedPossibleVal_379 + SpeedPossibleVal_380 + SpeedPossibleVal_381 + SpeedPossibleVal_382 + SpeedPossibleVal_383 + SpeedPossibleVal_384 + SpeedPossibleVal_385 + SpeedPossibleVal_386 + SpeedPossibleVal_387 + SpeedPossibleVal_388 + SpeedPossibleVal_389 + SpeedPossibleVal_390 + SpeedPossibleVal_391 + SpeedPossibleVal_392 + SpeedPossibleVal_393 + SpeedPossibleVal_394 + SpeedPossibleVal_395 + SpeedPossibleVal_396 + SpeedPossibleVal_397 + SpeedPossibleVal_398 + SpeedPossibleVal_399 + SpeedPossibleVal_400 + SpeedPossibleVal_401 + SpeedPossibleVal_402 + SpeedPossibleVal_403 + SpeedPossibleVal_404 + SpeedPossibleVal_405 + SpeedPossibleVal_406 + SpeedPossibleVal_407 + SpeedPossibleVal_408 + SpeedPossibleVal_409 + SpeedPossibleVal_410 + SpeedPossibleVal_411 + SpeedPossibleVal_412 + SpeedPossibleVal_413 + SpeedPossibleVal_414 + SpeedPossibleVal_415 + SpeedPossibleVal_416 + SpeedPossibleVal_417 + SpeedPossibleVal_418 + SpeedPossibleVal_419 + SpeedPossibleVal_420 + SpeedPossibleVal_421 + SpeedPossibleVal_422 + SpeedPossibleVal_423 + SpeedPossibleVal_424 + SpeedPossibleVal_425 + SpeedPossibleVal_426 + SpeedPossibleVal_427 + SpeedPossibleVal_428 + SpeedPossibleVal_429 + SpeedPossibleVal_430 + SpeedPossibleVal_431 + SpeedPossibleVal_432 + SpeedPossibleVal_433 + SpeedPossibleVal_434 + SpeedPossibleVal_435 + SpeedPossibleVal_436 + SpeedPossibleVal_437 + SpeedPossibleVal_438 + SpeedPossibleVal_439 + SpeedPossibleVal_440 + SpeedPossibleVal_441 + SpeedPossibleVal_442 + SpeedPossibleVal_443 + SpeedPossibleVal_444 + SpeedPossibleVal_445 + SpeedPossibleVal_446 + SpeedPossibleVal_447 + SpeedPossibleVal_448 + SpeedPossibleVal_449 + SpeedPossibleVal_450 + SpeedPossibleVal_451 + SpeedPossibleVal_452 + SpeedPossibleVal_453 + SpeedPossibleVal_454 + SpeedPossibleVal_455 + SpeedPossibleVal_456 + SpeedPossibleVal_457 + SpeedPossibleVal_458 + SpeedPossibleVal_459 + SpeedPossibleVal_460 + SpeedPossibleVal_461 + SpeedPossibleVal_462 + SpeedPossibleVal_463 + SpeedPossibleVal_464 + SpeedPossibleVal_465 + SpeedPossibleVal_466 + SpeedPossibleVal_467 + SpeedPossibleVal_468 + SpeedPossibleVal_469 + SpeedPossibleVal_470 + SpeedPossibleVal_471 + SpeedPossibleVal_472 + SpeedPossibleVal_473 + SpeedPossibleVal_474 + SpeedPossibleVal_475 + SpeedPossibleVal_476 + SpeedPossibleVal_477 + SpeedPossibleVal_478 + SpeedPossibleVal_479 + SpeedPossibleVal_480 + SpeedPossibleVal_481 + SpeedPossibleVal_482 + SpeedPossibleVal_483 + SpeedPossibleVal_484 + SpeedPossibleVal_485 + SpeedPossibleVal_486 + SpeedPossibleVal_487 + SpeedPossibleVal_488 + SpeedPossibleVal_489 + SpeedPossibleVal_490 + SpeedPossibleVal_491 + SpeedPossibleVal_492 + SpeedPossibleVal_493 + SpeedPossibleVal_494 + SpeedPossibleVal_495 + SpeedPossibleVal_496 + SpeedPossibleVal_497 + SpeedPossibleVal_498 + SpeedPossibleVal_499 + SpeedPossibleVal_500 + SpeedPossibleVal_199 + SpeedPossibleVal_198 + SpeedPossibleVal_197 + SpeedPossibleVal_196 + SpeedPossibleVal_195 + SpeedPossibleVal_194 + SpeedPossibleVal_193 + SpeedPossibleVal_192 + SpeedPossibleVal_191 + SpeedPossibleVal_190 + SpeedPossibleVal_189 + SpeedPossibleVal_188 + SpeedPossibleVal_187 + SpeedPossibleVal_186 + SpeedPossibleVal_185 + SpeedPossibleVal_184 + SpeedPossibleVal_183 + SpeedPossibleVal_182 + SpeedPossibleVal_181 + SpeedPossibleVal_180 + SpeedPossibleVal_179 + SpeedPossibleVal_178 + SpeedPossibleVal_177 + SpeedPossibleVal_176 + SpeedPossibleVal_175 + SpeedPossibleVal_174 + SpeedPossibleVal_173 + SpeedPossibleVal_172 + SpeedPossibleVal_171 + SpeedPossibleVal_170 + SpeedPossibleVal_169 + SpeedPossibleVal_168 + SpeedPossibleVal_167 + SpeedPossibleVal_166 + SpeedPossibleVal_165 + SpeedPossibleVal_164 + SpeedPossibleVal_163 + SpeedPossibleVal_162 + SpeedPossibleVal_161 + SpeedPossibleVal_160 + SpeedPossibleVal_159 + SpeedPossibleVal_158 + SpeedPossibleVal_157 + SpeedPossibleVal_156 + SpeedPossibleVal_155 + SpeedPossibleVal_154 + SpeedPossibleVal_153 + SpeedPossibleVal_152 + SpeedPossibleVal_151 + SpeedPossibleVal_150 + SpeedPossibleVal_149 + SpeedPossibleVal_148 + SpeedPossibleVal_147 + SpeedPossibleVal_146 + SpeedPossibleVal_145 + SpeedPossibleVal_144 + SpeedPossibleVal_143 + SpeedPossibleVal_142 + SpeedPossibleVal_141 + SpeedPossibleVal_140 + SpeedPossibleVal_139 + SpeedPossibleVal_138 + SpeedPossibleVal_137 + SpeedPossibleVal_136 + SpeedPossibleVal_135 + SpeedPossibleVal_134 + SpeedPossibleVal_133 + SpeedPossibleVal_132 + SpeedPossibleVal_131 + SpeedPossibleVal_130 + SpeedPossibleVal_129 + SpeedPossibleVal_128 + SpeedPossibleVal_127 + SpeedPossibleVal_126 + SpeedPossibleVal_125 + SpeedPossibleVal_124 + SpeedPossibleVal_123 + SpeedPossibleVal_122 + SpeedPossibleVal_121 + SpeedPossibleVal_120 + SpeedPossibleVal_119 + SpeedPossibleVal_118 + SpeedPossibleVal_117 + SpeedPossibleVal_116 + SpeedPossibleVal_115 + SpeedPossibleVal_114 + SpeedPossibleVal_113 + SpeedPossibleVal_112 + SpeedPossibleVal_111 + SpeedPossibleVal_110 + SpeedPossibleVal_109 + SpeedPossibleVal_108 + SpeedPossibleVal_107 + SpeedPossibleVal_106 + SpeedPossibleVal_105 + SpeedPossibleVal_104 + SpeedPossibleVal_103 + SpeedPossibleVal_102 + SpeedPossibleVal_101 + SpeedPossibleVal_100 + SpeedPossibleVal_10 + SpeedPossibleVal_11 + SpeedPossibleVal_12 + SpeedPossibleVal_13 + SpeedPossibleVal_14 + SpeedPossibleVal_15 + SpeedPossibleVal_16 + SpeedPossibleVal_17 + SpeedPossibleVal_18 + SpeedPossibleVal_19 + SpeedPossibleVal_20 + SpeedPossibleVal_21 + SpeedPossibleVal_22 + SpeedPossibleVal_23 + SpeedPossibleVal_24 + SpeedPossibleVal_25 + SpeedPossibleVal_26 + SpeedPossibleVal_27 + SpeedPossibleVal_28 + SpeedPossibleVal_29 + SpeedPossibleVal_30 + SpeedPossibleVal_31 + SpeedPossibleVal_32 + SpeedPossibleVal_33 + SpeedPossibleVal_34 + SpeedPossibleVal_35 + SpeedPossibleVal_36 + SpeedPossibleVal_37 + SpeedPossibleVal_38 + SpeedPossibleVal_39 + SpeedPossibleVal_40 + SpeedPossibleVal_41 + SpeedPossibleVal_42 + SpeedPossibleVal_43 + SpeedPossibleVal_44 + SpeedPossibleVal_45 + SpeedPossibleVal_46 + SpeedPossibleVal_47 + SpeedPossibleVal_48 + SpeedPossibleVal_49 + SpeedPossibleVal_50 + SpeedPossibleVal_51 + SpeedPossibleVal_52 + SpeedPossibleVal_53 + SpeedPossibleVal_54 + SpeedPossibleVal_55 + SpeedPossibleVal_56 + SpeedPossibleVal_57 + SpeedPossibleVal_58 + SpeedPossibleVal_59 + SpeedPossibleVal_60 + SpeedPossibleVal_61 + SpeedPossibleVal_62 + SpeedPossibleVal_63 + SpeedPossibleVal_64 + SpeedPossibleVal_65 + SpeedPossibleVal_66 + SpeedPossibleVal_67 + SpeedPossibleVal_68 + SpeedPossibleVal_69 + 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)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8056 bytes per marking, with 0 unused bits
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: 27750 markings, 50438 edges, 5550 markings/sec, 0 secs
lola: 55147 markings, 100654 edges, 5479 markings/sec, 5 secs
lola: 82318 markings, 150355 edges, 5434 markings/sec, 10 secs
lola: 109733 markings, 200360 edges, 5483 markings/sec, 15 secs
lola: 138548 markings, 253548 edges, 5763 markings/sec, 20 secs
lola: 166709 markings, 304803 edges, 5632 markings/sec, 25 secs
lola: 194296 markings, 355023 edges, 5517 markings/sec, 30 secs
lola: 222051 markings, 405702 edges, 5551 markings/sec, 35 secs
lola: 249207 markings, 455911 edges, 5431 markings/sec, 40 secs
lola: 275363 markings, 503565 edges, 5231 markings/sec, 45 secs
lola: 316555 markings, 566332 edges, 8238 markings/sec, 50 secs
lola: 436494 markings, 706182 edges, 23988 markings/sec, 55 secs
lola: 514104 markings, 811337 edges, 15522 markings/sec, 60 secs
lola: 555510 markings, 870384 edges, 8281 markings/sec, 65 secs
lola: 644298 markings, 1036641 edges, 17758 markings/sec, 70 secs
lola: 729102 markings, 1296458 edges, 16961 markings/sec, 75 secs
lola: 750841 markings, 1500076 edges, 4348 markings/sec, 80 secs
lola: 763267 markings, 1526315 edges, 2485 markings/sec, 85 secs
lola: 775682 markings, 1552530 edges, 2483 markings/sec, 90 secs
lola: 788027 markings, 1578423 edges, 2469 markings/sec, 95 secs
lola: 800184 markings, 1604152 edges, 2431 markings/sec, 100 secs
lola: 813938 markings, 1633129 edges, 2751 markings/sec, 105 secs
lola: 827480 markings, 1661682 edges, 2708 markings/sec, 110 secs
lola: 840606 markings, 1689758 edges, 2625 markings/sec, 115 secs
lola: 852061 markings, 1715452 edges, 2291 markings/sec, 120 secs
lola: 863510 markings, 1741136 edges, 2290 markings/sec, 125 secs
lola: 875600 markings, 1768302 edges, 2418 markings/sec, 130 secs
lola: 887527 markings, 1795141 edges, 2385 markings/sec, 135 secs
lola: 899356 markings, 1821783 edges, 2366 markings/sec, 140 secs
lola: 911256 markings, 1848584 edges, 2380 markings/sec, 145 secs
lola: 923644 markings, 1877221 edges, 2478 markings/sec, 150 secs
lola: 938175 markings, 1912392 edges, 2906 markings/sec, 155 secs
lola: 952989 markings, 1948279 edges, 2963 markings/sec, 160 secs
lola: 963450 markings, 1973833 edges, 2092 markings/sec, 165 secs
lola: 974113 markings, 1999644 edges, 2133 markings/sec, 170 secs
lola: 984546 markings, 2024995 edges, 2087 markings/sec, 175 secs
lola: 994887 markings, 2049864 edges, 2068 markings/sec, 180 secs
lola: 1005072 markings, 2074718 edges, 2037 markings/sec, 185 secs
lola: 1015324 markings, 2099644 edges, 2050 markings/sec, 190 secs
lola: 1026481 markings, 2128536 edges, 2231 markings/sec, 195 secs
lola: 1041975 markings, 2174027 edges, 3099 markings/sec, 200 secs
lola: 1060990 markings, 2230732 edges, 3803 markings/sec, 205 secs
lola: 1079811 markings, 2286914 edges, 3764 markings/sec, 210 secs
lola: 1096219 markings, 2335378 edges, 3282 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Weight_Right_Wheel_off + Weight_Right_Wheel_on)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8056 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8056 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 3 will run for 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(AltitudePossibleVal_799 + AltitudePossibleVal_798 + AltitudePossibleVal_797 + AltitudePossibleVal_796 + AltitudePossibleVal_800 + AltitudePossibleVal_801 + AltitudePossibleVal_802 + AltitudePossibleVal_803 + AltitudePossibleVal_804 + AltitudePossibleVal_805 + AltitudePossibleVal_806 + AltitudePossibleVal_807 + AltitudePossibleVal_808 + AltitudePossibleVal_809 + AltitudePossibleVal_810 + Altitu... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8056 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1000
lola: produced by: state space
lola: The maximum value of the given expression is 1000
lola: ========================================
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Weight_Left_Wheel_on + Weight_Left_Wheel_off)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8056 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 5 will run for 301 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(stp1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8056 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 6 will run for 331 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(stp2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8056 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 368 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(stp4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8056 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 8 will run for 414 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(AltitudePossibleVal_799 + AltitudePossibleVal_798 + AltitudePossibleVal_797 + AltitudePossibleVal_796 + AltitudePossibleVal_800 + AltitudePossibleVal_801 + AltitudePossibleVal_802 + AltitudePossibleVal_803 + AltitudePossibleVal_804 + AltitudePossibleVal_805 + AltitudePossibleVal_806 + AltitudePossibleVal_807 + AltitudePossibleVal_808 + AltitudePossibleVal_809 + AltitudePossibleVal_810 + Altitu... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8056 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1000
lola: produced by: state space
lola: The maximum value of the given expression is 1000
lola: ========================================
lola: subprocess 9 will run for 474 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8056 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 10 will run for 553 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Speed_Left_Wheel_10 + Speed_Left_Wheel_11 + Speed_Left_Wheel_12 + Speed_Left_Wheel_13 + Speed_Left_Wheel_14 + Speed_Left_Wheel_15 + Speed_Left_Wheel_16 + Speed_Left_Wheel_17 + Speed_Left_Wheel_18 + Speed_Left_Wheel_19 + Speed_Left_Wheel_20 + Speed_Left_Wheel_21 + Speed_Left_Wheel_22 + Speed_Left_Wheel_23 + Speed_Left_Wheel_24 + Speed_Left_Wheel_25 + Speed_Left_Wheel_26 + Speed_Left_Wheel_27 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8056 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 11 will run for 662 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8056 bytes per marking, with 0 unused bits
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: 33061 markings, 49656 edges, 6612 markings/sec, 0 secs
lola: 66466 markings, 99660 edges, 6681 markings/sec, 5 secs
lola: 100512 markings, 150622 edges, 6809 markings/sec, 10 secs
lola: 135626 markings, 203035 edges, 7023 markings/sec, 15 secs
lola: 178992 markings, 268020 edges, 8673 markings/sec, 20 secs
lola: 230981 markings, 345899 edges, 10398 markings/sec, 25 secs
lola: 268682 markings, 402453 edges, 7540 markings/sec, 30 secs
lola: 303240 markings, 454088 edges, 6912 markings/sec, 35 secs
lola: 335439 markings, 502307 edges, 6440 markings/sec, 40 secs
lola: 365059 markings, 546528 edges, 5924 markings/sec, 45 secs
lola: 393577 markings, 589103 edges, 5704 markings/sec, 50 secs
lola: 421625 markings, 631206 edges, 5610 markings/sec, 55 secs
lola: 447393 markings, 669607 edges, 5154 markings/sec, 60 secs
lola: 473412 markings, 708596 edges, 5204 markings/sec, 65 secs
lola: 498938 markings, 746687 edges, 5105 markings/sec, 70 secs
lola: 527842 markings, 790154 edges, 5781 markings/sec, 75 secs
lola: 559665 markings, 837590 edges, 6365 markings/sec, 80 secs
lola: 591500 markings, 885481 edges, 6367 markings/sec, 85 secs
lola: 623590 markings, 933375 edges, 6418 markings/sec, 90 secs
lola: 656797 markings, 982992 edges, 6641 markings/sec, 95 secs
lola: 705533 markings, 1056030 edges, 9747 markings/sec, 100 secs
lola: 753549 markings, 1128031 edges, 9603 markings/sec, 105 secs
lola: 786318 markings, 1176869 edges, 6554 markings/sec, 110 secs
lola: 817645 markings, 1223759 edges, 6265 markings/sec, 115 secs
lola: 847368 markings, 1268354 edges, 5945 markings/sec, 120 secs
lola: 875502 markings, 1310343 edges, 5627 markings/sec, 125 secs
lola: 902912 markings, 1351393 edges, 5482 markings/sec, 130 secs
lola: 929277 markings, 1390862 edges, 5273 markings/sec, 135 secs
lola: 955031 markings, 1429417 edges, 5151 markings/sec, 140 secs
lola: 980848 markings, 1467995 edges, 5163 markings/sec, 145 secs
lola: 1005078 markings, 1504215 edges, 4846 markings/sec, 150 secs
lola: 1012442 markings, 1734097 edges, 1473 markings/sec, 155 secs
lola: 1012699 markings, 1863131 edges, 51 markings/sec, 160 secs
lola: 1020535 markings, 2032983 edges, 1567 markings/sec, 165 secs
lola: 1053616 markings, 2082350 edges, 6616 markings/sec, 170 secs
lola: 1088028 markings, 2133866 edges, 6882 markings/sec, 175 secs
lola: 1123344 markings, 2186684 edges, 7063 markings/sec, 180 secs
lola: 1158162 markings, 2239013 edges, 6964 markings/sec, 185 secs
lola: 1203349 markings, 2306482 edges, 9037 markings/sec, 190 secs
lola: 1252037 markings, 2379427 edges, 9738 markings/sec, 195 secs
lola: 1284595 markings, 2428236 edges, 6512 markings/sec, 200 secs
lola: 1317637 markings, 2477492 edges, 6608 markings/sec, 205 secs
lola: 1348442 markings, 2523802 edges, 6161 markings/sec, 210 secs
lola: 1378155 markings, 2568127 edges, 5943 markings/sec, 215 secs
lola: 1406724 markings, 2610784 edges, 5714 markings/sec, 220 secs
lola: 1433064 markings, 2650206 edges, 5268 markings/sec, 225 secs
lola: 1459901 markings, 2690534 edges, 5367 markings/sec, 230 secs
lola: 1485842 markings, 2729240 edges, 5188 markings/sec, 235 secs
lola: 1511068 markings, 2766944 edges, 5045 markings/sec, 240 secs
lola: 1519451 markings, 2996241 edges, 1677 markings/sec, 245 secs
lola: 1519794 markings, 3168456 edges, 69 markings/sec, 250 secs
lola: 1541701 markings, 3318430 edges, 4381 markings/sec, 255 secs
lola: 1575474 markings, 3368889 edges, 6755 markings/sec, 260 secs
lola: 1607902 markings, 3417414 edges, 6486 markings/sec, 265 secs
lola: 1640584 markings, 3466312 edges, 6536 markings/sec, 270 secs
lola: 1673650 markings, 3515857 edges, 6613 markings/sec, 275 secs
lola: 1725898 markings, 3594184 edges, 10450 markings/sec, 280 secs
lola: 1771693 markings, 3662691 edges, 9159 markings/sec, 285 secs
lola: 1805061 markings, 3712627 edges, 6674 markings/sec, 290 secs
lola: 1838177 markings, 3762179 edges, 6623 markings/sec, 295 secs
lola: 1867155 markings, 3805347 edges, 5796 markings/sec, 300 secs
lola: 1895030 markings, 3847273 edges, 5575 markings/sec, 305 secs
lola: 1922192 markings, 3887881 edges, 5432 markings/sec, 310 secs
lola: 1948403 markings, 3927042 edges, 5242 markings/sec, 315 secs
lola: 1973899 markings, 3965283 edges, 5099 markings/sec, 320 secs
lola: 1997937 markings, 4001121 edges, 4808 markings/sec, 325 secs
lola: 2022988 markings, 4038483 edges, 5010 markings/sec, 330 secs
lola: 2026537 markings, 4297276 edges, 710 markings/sec, 335 secs
lola: 2026723 markings, 4390693 edges, 37 markings/sec, 340 secs
lola: 2033063 markings, 4559083 edges, 1268 markings/sec, 345 secs
lola: 2065978 markings, 4608568 edges, 6583 markings/sec, 350 secs
lola: 2100607 markings, 4660328 edges, 6926 markings/sec, 355 secs
lola: 2135521 markings, 4712533 edges, 6983 markings/sec, 360 secs
lola: 2170683 markings, 4765111 edges, 7032 markings/sec, 365 secs
lola: 2219239 markings, 4837811 edges, 9711 markings/sec, 370 secs
lola: 2272228 markings, 4917234 edges, 10598 markings/sec, 375 secs
lola: 2304073 markings, 4964874 edges, 6369 markings/sec, 380 secs
lola: 2338198 markings, 5016030 edges, 6825 markings/sec, 385 secs
lola: 2370513 markings, 5064340 edges, 6463 markings/sec, 390 secs
lola: 2401636 markings, 5110778 edges, 6225 markings/sec, 395 secs
lola: 2431390 markings, 5155444 edges, 5951 markings/sec, 400 secs
lola: 2459755 markings, 5197865 edges, 5673 markings/sec, 405 secs
lola: 2487006 markings, 5238670 edges, 5450 markings/sec, 410 secs
lola: 2513545 markings, 5278261 edges, 5308 markings/sec, 415 secs
lola: 2533286 markings, 5428949 edges, 3948 markings/sec, 420 secs
lola: 2533603 markings, 5588159 edges, 63 markings/sec, 425 secs
lola: 2533944 markings, 5759192 edges, 68 markings/sec, 430 secs
lola: 2562015 markings, 5856353 edges, 5614 markings/sec, 435 secs
lola: 2593546 markings, 5903477 edges, 6306 markings/sec, 440 secs
lola: 2625503 markings, 5951389 edges, 6391 markings/sec, 445 secs
lola: 2659206 markings, 6001833 edges, 6741 markings/sec, 450 secs
lola: 2695293 markings, 6055850 edges, 7217 markings/sec, 455 secs
lola: 2745662 markings, 6131136 edges, 10074 markings/sec, 460 secs
lola: 2787059 markings, 6193066 edges, 8279 markings/sec, 465 secs
lola: 2819892 markings, 6242407 edges, 6567 markings/sec, 470 secs
lola: 2852268 markings, 6290841 edges, 6475 markings/sec, 475 secs
lola: 2882686 markings, 6336377 edges, 6084 markings/sec, 480 secs
lola: 2911668 markings, 6379549 edges, 5796 markings/sec, 485 secs
lola: 2939616 markings, 6421424 edges, 5590 markings/sec, 490 secs
lola: 2966399 markings, 6461473 edges, 5357 markings/sec, 495 secs
lola: 2992668 markings, 6500749 edges, 5254 markings/sec, 500 secs
lola: 3018269 markings, 6539202 edges, 5120 markings/sec, 505 secs
lola: 3040215 markings, 6650924 edges, 4389 markings/sec, 510 secs
lola: 3040621 markings, 6854750 edges, 81 markings/sec, 515 secs
lola: 3040930 markings, 7009596 edges, 62 markings/sec, 520 secs
lola: 3068632 markings, 7119953 edges, 5540 markings/sec, 525 secs
lola: 3102538 markings, 7170727 edges, 6781 markings/sec, 530 secs
lola: 3137303 markings, 7222683 edges, 6953 markings/sec, 535 secs
lola: 3172164 markings, 7275060 edges, 6972 markings/sec, 540 secs
lola: 3212724 markings, 7335740 edges, 8112 markings/sec, 545 secs
lola: 3265458 markings, 7414630 edges, 10547 markings/sec, 550 secs
lola: 3303405 markings, 7471404 edges, 7589 markings/sec, 555 secs
lola: 3335851 markings, 7519974 edges, 6489 markings/sec, 560 secs
lola: 3367096 markings, 7566656 edges, 6249 markings/sec, 565 secs
lola: 3397568 markings, 7612300 edges, 6094 markings/sec, 570 secs
lola: 3428953 markings, 7659258 edges, 6277 markings/sec, 575 secs
lola: 3459178 markings, 7704408 edges, 6045 markings/sec, 580 secs
lola: 3487830 markings, 7747433 edges, 5730 markings/sec, 585 secs
lola: 3515866 markings, 7789226 edges, 5607 markings/sec, 590 secs
lola: 3543073 markings, 7829868 edges, 5441 markings/sec, 595 secs
lola: 3547569 markings, 8086539 edges, 899 markings/sec, 600 secs
lola: 3547812 markings, 8208310 edges, 49 markings/sec, 605 secs
lola: 3564300 markings, 8367127 edges, 3298 markings/sec, 610 secs
lola: 3595982 markings, 8414712 edges, 6336 markings/sec, 615 secs
lola: 3628395 markings, 8463250 edges, 6483 markings/sec, 620 secs
lola: 3661270 markings, 8512365 edges, 6575 markings/sec, 625 secs
lola: 3696768 markings, 8565468 edges, 7100 markings/sec, 630 secs
lola: 3742086 markings, 8633420 edges, 9064 markings/sec, 635 secs
lola: 3793198 markings, 8709889 edges, 10222 markings/sec, 640 secs
lola: 3824462 markings, 8756617 edges, 6253 markings/sec, 645 secs
lola: 3856902 markings, 8805175 edges, 6488 markings/sec, 650 secs
lola: 3887575 markings, 8851222 edges, 6135 markings/sec, 655 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 663 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8056 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 13 will run for 884 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8056 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 14 will run for 1326 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(WeightPossibleVal_off + WeightPossibleVal_on)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8056 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: ========================================
lola: subprocess 15 will run for 2652 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SpeedPossibleVal_205 + SpeedPossibleVal_206 + SpeedPossibleVal_207 + SpeedPossibleVal_208 + SpeedPossibleVal_209 + SpeedPossibleVal_210 + SpeedPossibleVal_211 + SpeedPossibleVal_212 + SpeedPossibleVal_213 + SpeedPossibleVal_214 + SpeedPossibleVal_215 + SpeedPossibleVal_216 + SpeedPossibleVal_217 + SpeedPossibleVal_218 + SpeedPossibleVal_219 + SpeedPossibleVal_220 + SpeedPossibleVal_221 + Speed... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8056 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 500
lola: produced by: state space
lola: The maximum value of the given expression is 500
lola: RESULT
lola:
SUMMARY: unknown 1 1 1000 1 1 1 1 1000 1 1 unknown 1 1 2 500
lola: ========================================
FORMULA AirplaneLD-COL-0500-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-0500-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-0500-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-0500-UpperBounds-3 1000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-0500-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-0500-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-0500-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-0500-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-0500-UpperBounds-8 1000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-0500-UpperBounds-9 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-0500-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-0500-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-0500-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-0500-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-0500-UpperBounds-14 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-0500-UpperBounds-15 500 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496332709807

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

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

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="S_AirplaneLD-PT-0500"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_AirplaneLD-PT-0500.tgz
mv S_AirplaneLD-PT-0500 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_AirplaneLD-PT-0500, 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 r088-csrt-149441074000074"
echo "====================================================================="
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 ;