About the Execution of LoLA for S_AirplaneLD-PT-1000
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
4303.040 | 2204222.00 | 2211440.00 | 97.50 | 1 1 ? 1 1 1 ? 1 1 ? 1 1 1 1 1 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_AirplaneLD-PT-1000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074000083
=====================================================================
--------------------
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-1000-UpperBounds-0
FORMULA_NAME AirplaneLD-COL-1000-UpperBounds-1
FORMULA_NAME AirplaneLD-COL-1000-UpperBounds-10
FORMULA_NAME AirplaneLD-COL-1000-UpperBounds-11
FORMULA_NAME AirplaneLD-COL-1000-UpperBounds-12
FORMULA_NAME AirplaneLD-COL-1000-UpperBounds-13
FORMULA_NAME AirplaneLD-COL-1000-UpperBounds-14
FORMULA_NAME AirplaneLD-COL-1000-UpperBounds-15
FORMULA_NAME AirplaneLD-COL-1000-UpperBounds-2
FORMULA_NAME AirplaneLD-COL-1000-UpperBounds-3
FORMULA_NAME AirplaneLD-COL-1000-UpperBounds-4
FORMULA_NAME AirplaneLD-COL-1000-UpperBounds-5
FORMULA_NAME AirplaneLD-COL-1000-UpperBounds-6
FORMULA_NAME AirplaneLD-COL-1000-UpperBounds-7
FORMULA_NAME AirplaneLD-COL-1000-UpperBounds-8
FORMULA_NAME AirplaneLD-COL-1000-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496332069530
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_AirplaneLD-PT-1000: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_AirplaneLD-PT-1000: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_AirplaneLD-PT-1000 @ 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: 15027/65536 symbol table entries, 931 collisions
lola: preprocessing...
lola: finding significant places
lola: 7019 places, 8008 transitions, 4014 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 6015 transition conflict sets
lola: TASK
lola: reading formula from AirplaneLD-COL-1000-UpperBounds.task
lola: MAX(stp4) : MAX(P1) : MAX(Weight_Left_Wheel_on + Weight_Left_Wheel_off) : MAX(P6) : MAX(P2) : MAX(P1) : MAX(P2) : MAX(Speed_Right_Wheel_680 + Speed_Right_Wheel_681 + Speed_Right_Wheel_682 + Speed_Right_Wheel_683 + Speed_Right_Wheel_684 + Speed_Right_Wheel_685 + Speed_Right_Wheel_686 + Speed_Right_Wheel_687 + Speed_Right_Wheel_688 + Speed_Right_Wheel_689 + Speed_Right_Wheel_690 + Speed_Right_Wheel_691 + Speed_Right_Wheel_692 + Speed_Right_Wheel_693 + Speed_Right_Wheel_694 + Speed_Right_Wheel_695 + Speed_Right_Wheel_696 + Speed_Right_Wheel_697 + Speed_Right_Wheel_698 + Speed_Right_Wheel_699 + Speed_Right_Wheel_679 + Speed_Right_Wheel_678 + Speed_Right_Wheel_677 + Speed_Right_Wheel_676 + Speed_Right_Wheel_675 + Speed_Right_Wheel_674 + Speed_Right_Wheel_673 + Speed_Right_Wheel_672 + Speed_Right_Wheel_671 + Speed_Right_Wheel_670 + Speed_Right_Wheel_669 + Speed_Right_Wheel_668 + Speed_Right_Wheel_667 + Speed_Right_Wheel_666 + Speed_Right_Wheel_665 + Speed_Right_Wheel_664 + Speed_Right_Wheel_663 + Speed_Right_Wheel_662 + Speed_Right_Wheel_661 + Speed_Right_Wheel_660 + Speed_Right_Wheel_659 + Speed_Right_Wheel_658 + Speed_Right_Wheel_657 + Speed_Right_Wheel_656 + Speed_Right_Wheel_655 + Speed_Right_Wheel_654 + Speed_Right_Wheel_653 + Speed_Right_Wheel_652 + Speed_Right_Wheel_651 + Speed_Right_Wheel_650 + Speed_Right_Wheel_649 + Speed_Right_Wheel_648 + Speed_Right_Wheel_647 + Speed_Right_Wheel_646 + Speed_Right_Wheel_645 + Speed_Right_Wheel_644 + Speed_Right_Wheel_643 + Speed_Right_Wheel_642 + Speed_Right_Wheel_641 + Speed_Right_Wheel_640 + Speed_Right_Wheel_639 + Speed_Right_Wheel_638 + Speed_Right_Wheel_637 + Speed_Right_Wheel_636 + Speed_Right_Wheel_635 + Speed_Right_Wheel_634 + Speed_Right_Wheel_633 + Speed_Right_Wheel_632 + Speed_Right_Wheel_631 + Speed_Right_Wheel_630 + Speed_Right_Wheel_629 + Speed_Right_Wheel_628 + Speed_Right_Wheel_627 + Speed_Right_Wheel_626 + Speed_Right_Wheel_625 + Speed_Right_Wheel_624 + Speed_Right_Wheel_623 + Speed_Right_Wheel_622 + Speed_Right_Wheel_621 + Speed_Right_Wheel_620 + Speed_Right_Wheel_619 + Speed_Right_Wheel_618 + Speed_Right_Wheel_617 + Speed_Right_Wheel_616 + Speed_Right_Wheel_615 + Speed_Right_Wheel_614 + Speed_Right_Wheel_613 + Speed_Right_Wheel_612 + Speed_Right_Wheel_611 + Speed_Right_Wheel_610 + Speed_Right_Wheel_609 + Speed_Right_Wheel_608 + Speed_Right_Wheel_607 + Speed_Right_Wheel_606 + Speed_Right_Wheel_605 + Speed_Right_Wheel_604 + Speed_Right_Wheel_603 + Speed_Right_Wheel_602 + Speed_Right_Wheel_601 + Speed_Right_Wheel_600 + Speed_Right_Wheel_700 + Speed_Right_Wheel_701 + Speed_Right_Wheel_702 + Speed_Right_Wheel_703 + Speed_Right_Wheel_704 + Speed_Right_Wheel_705 + Speed_Right_Wheel_706 + Speed_Right_Wheel_707 + Speed_Right_Wheel_708 + Speed_Right_Wheel_709 + Speed_Right_Wheel_710 + Speed_Right_Wheel_711 + Speed_Right_Wheel_712 + Speed_Right_Wheel_713 + Speed_Right_Wheel_714 + Speed_Right_Wheel_715 + Speed_Right_Wheel_716 + Speed_Right_Wheel_717 + Speed_Right_Wheel_718 + Speed_Right_Wheel_719 + Speed_Right_Wheel_720 + Speed_Right_Wheel_721 + Speed_Right_Wheel_722 + Speed_Right_Wheel_723 + Speed_Right_Wheel_724 + Speed_Right_Wheel_725 + Speed_Right_Wheel_726 + Speed_Right_Wheel_727 + Speed_Right_Wheel_728 + Speed_Right_Wheel_729 + Speed_Right_Wheel_730 + Speed_Right_Wheel_731 + Speed_Right_Wheel_732 + Speed_Right_Wheel_733 + Speed_Right_Wheel_734 + Speed_Right_Wheel_735 + Speed_Right_Wheel_736 + Speed_Right_Wheel_737 + Speed_Right_Wheel_738 + Speed_Right_Wheel_739 + Speed_Right_Wheel_740 + Speed_Right_Wheel_741 + Speed_Right_Wheel_742 + Speed_Right_Wheel_743 + Speed_Right_Wheel_744 + Speed_Right_Wheel_745 + Speed_Right_Wheel_746 + Speed_Right_Wheel_747 + Speed_Right_Wheel_748 + Speed_Right_Wheel_749 + Speed_Right_Wheel_750 + Speed_Right_Wheel_751 + Speed_Right_Wheel_752 + Speed_Right_Wheel_753 + Speed_Right_Wheel_754 + Speed_Right_Wheel_755 + Speed_Right_Wheel_756 + Speed_Right_Wheel_757 + Speed_Right_Wheel_758 + Speed_Right_Wheel_759 + Speed_Right_Wheel_760 + Speed_Right_Wheel_761 + Speed_Right_Wheel_762 + Speed_Right_Wheel_763 + Speed_Right_Wheel_764 + Speed_Right_Wheel_765 + Speed_Right_Wheel_766 + Speed_Right_Wheel_767 + Speed_Right_Wheel_768 + Speed_Right_Wheel_769 + Speed_Right_Wheel_770 + Speed_Right_Wheel_771 + Speed_Right_Wheel_772 + Speed_Right_Wheel_773 + Speed_Right_Wheel_774 + Speed_Right_Wheel_775 + Speed_Right_Wheel_776 + Speed_Right_Wheel_777 + Speed_Right_Wheel_778 + Speed_Right_Wheel_779 + Speed_Right_Wheel_780 + Speed_Right_Wheel_781 + Speed_Right_Wheel_782 + Speed_Right_Wheel_783 + Speed_Right_Wheel_784 + Speed_Right_Wheel_785 + Speed_Right_Wheel_786 + Speed_Right_Wheel_787 + Speed_Right_Wheel_788 + Speed_Right_Wheel_789 + Speed_Right_Wheel_790 + Speed_Right_Wheel_791 + Speed_Right_Wheel_792 + Speed_Right_Wheel_793 + Speed_Right_Wheel_794 + Speed_Right_Wheel_795 + Speed_Right_Wheel_796 + Speed_Right_Wheel_797 + Speed_Right_Wheel_798 + Speed_Right_Wheel_799 + Speed_Right_Wheel_599 + Speed_Right_Wheel_598 + Speed_Right_Wheel_597 + Speed_Right_Wheel_596 + Speed_Right_Wheel_595 + Speed_Right_Wheel_594 + Speed_Right_Wheel_593 + Speed_Right_Wheel_592 + Speed_Right_Wheel_591 + Speed_Right_Wheel_590 + Speed_Right_Wheel_589 + Speed_Right_Wheel_588 + Speed_Right_Wheel_587 + Speed_Right_Wheel_586 + Speed_Right_Wheel_585 + Speed_Right_Wheel_584 + Speed_Right_Wheel_583 + Speed_Right_Wheel_582 + Speed_Right_Wheel_581 + Speed_Right_Wheel_580 + Speed_Right_Wheel_579 + Speed_Right_Wheel_578 + Speed_Right_Wheel_577 + Speed_Right_Wheel_576 + Speed_Right_Wheel_575 + Speed_Right_Wheel_574 + Speed_Right_Wheel_573 + Speed_Right_Wheel_572 + Speed_Right_Wheel_571 + Speed_Right_Wheel_570 + Speed_Right_Wheel_569 + Speed_Right_Wheel_10 + Speed_Right_Wheel_11 + Speed_Right_Wheel_12 + Speed_Right_Wheel_13 + Speed_Right_Wheel_14 + Speed_Right_Wheel_15 + Speed_Right_Wheel_16 + Speed_Right_Wheel_17 + Speed_Right_Wheel_18 + Speed_Right_Wheel_19 + Speed_Right_Wheel_20 + Speed_Right_Wheel_21 + Speed_Right_Wheel_22 + Speed_Right_Wheel_23 + Speed_Right_Wheel_24 + Speed_Right_Wheel_25 + Speed_Right_Wheel_26 + Speed_Right_Wheel_27 + Speed_Right_Wheel_28 + Speed_Right_Wheel_29 + Speed_Right_Wheel_30 + Speed_Right_Wheel_31 + Speed_Right_Wheel_32 + Speed_Right_Wheel_33 + Speed_Right_Wheel_34 + Speed_Right_Wheel_35 + Speed_Right_Wheel_36 + Speed_Right_Wheel_37 + Speed_Right_Wheel_38 + Speed_Right_Wheel_39 + Speed_Right_Wheel_40 + Speed_Right_Wheel_41 + Speed_Right_Wheel_42 + Speed_Right_Wheel_43 + Speed_Right_Wheel_44 + Speed_Right_Wheel_45 + Speed_Right_Wheel_46 + Speed_Right_Wheel_47 + Speed_Right_Wheel_48 + Speed_Right_Wheel_49 + Speed_Right_Wheel_50 + Speed_Right_Wheel_51 + Speed_Right_Wheel_52 + Speed_Right_Wheel_53 + Speed_Right_Wheel_54 + Speed_Right_Wheel_55 + Speed_Right_Wheel_56 + Speed_Right_Wheel_57 + Speed_Right_Wheel_58 + Speed_Right_Wheel_59 + Speed_Right_Wheel_60 + Speed_Right_Wheel_61 + Speed_Right_Wheel_62 + Speed_Right_Wheel_63 + Speed_Right_Wheel_64 + Speed_Right_Wheel_65 + Speed_Right_Wheel_66 + Speed_Right_Wheel_67 + Speed_Right_Wheel_68 + Speed_Right_Wheel_69 + Speed_Right_Wheel_70 + Speed_Right_Wheel_71 + Speed_Right_Wheel_72 + Speed_Right_Wheel_73 + Speed_Right_Wheel_74 + Speed_Right_Wheel_75 + Speed_Right_Wheel_76 + Speed_Right_Wheel_77 + Speed_Right_Wheel_78 + Speed_Right_Wheel_79 + Speed_Right_Wheel_80 + Speed_Right_Wheel_81 + Speed_Right_Wheel_82 + Speed_Right_Wheel_83 + Speed_Right_Wheel_84 + Speed_Right_Wheel_85 + Speed_Right_Wheel_86 + Speed_Right_Wheel_87 + Speed_Right_Wheel_88 + Speed_Right_Wheel_89 + Speed_Right_Wheel_90 + Speed_Right_Wheel_91 + Speed_Right_Wheel_92 + Speed_Right_Wheel_93 + Speed_Right_Wheel_94 + Speed_Right_Wheel_95 + Speed_Right_Wheel_96 + Speed_Right_Wheel_97 + Speed_Right_Wheel_98 + Speed_Right_Wheel_99 + Speed_Right_Wheel_568 + Speed_Right_Wheel_567 + Speed_Right_Wheel_566 + Speed_Right_Wheel_565 + Speed_Right_Wheel_564 + Speed_Right_Wheel_563 + Speed_Right_Wheel_562 + Speed_Right_Wheel_561 + Speed_Right_Wheel_560 + Speed_Right_Wheel_559 + Speed_Right_Wheel_558 + Speed_Right_Wheel_557 + Speed_Right_Wheel_556 + Speed_Right_Wheel_555 + Speed_Right_Wheel_554 + Speed_Right_Wheel_553 + Speed_Right_Wheel_552 + Speed_Right_Wheel_551 + Speed_Right_Wheel_550 + Speed_Right_Wheel_549 + Speed_Right_Wheel_548 + Speed_Right_Wheel_547 + Speed_Right_Wheel_546 + Speed_Right_Wheel_545 + Speed_Right_Wheel_544 + Speed_Right_Wheel_543 + Speed_Right_Wheel_542 + Speed_Right_Wheel_541 + Speed_Right_Wheel_540 + Speed_Right_Wheel_539 + Speed_Right_Wheel_538 + Speed_Right_Wheel_537 + Speed_Right_Wheel_536 + Speed_Right_Wheel_535 + Speed_Right_Wheel_534 + Speed_Right_Wheel_533 + Speed_Right_Wheel_532 + Speed_Right_Wheel_531 + Speed_Right_Wheel_530 + Speed_Right_Wheel_529 + Speed_Right_Wheel_528 + Speed_Right_Wheel_527 + Speed_Right_Wheel_526 + Speed_Right_Wheel_525 + Speed_Right_Wheel_524 + Speed_Right_Wheel_523 + Speed_Right_Wheel_522 + Speed_Right_Wheel_521 + Speed_Right_Wheel_520 + Speed_Right_Wheel_519 + Speed_Right_Wheel_800 + Speed_Right_Wheel_801 + Speed_Right_Wheel_802 + Speed_Right_Wheel_803 + Speed_Right_Wheel_804 + Speed_Right_Wheel_805 + Speed_Right_Wheel_806 + Speed_Right_Wheel_807 + Speed_Right_Wheel_808 + Speed_Right_Wheel_809 + Speed_Right_Wheel_518 + Speed_Right_Wheel_517 + Speed_Right_Wheel_516 + Speed_Right_Wheel_515 + Speed_Right_Wheel_514 + Speed_Right_Wheel_513 + Speed_Right_Wheel_512 + Speed_Right_Wheel_511 + Speed_Right_Wheel_510 + Speed_Right_Wheel_509 + Speed_Right_Wheel_810 + Speed_Right_Wheel_811 + Speed_Right_Wheel_812 + Speed_Right_Wheel_813 + Speed_Right_Wheel_814 + Speed_Right_Wheel_815 + Speed_Right_Wheel_816 + Speed_Right_Wheel_817 + Speed_Right_Wheel_818 + Speed_Right_Wheel_819 + Speed_Right_Wheel_508 + Speed_Right_Wheel_507 + Speed_Right_Wheel_506 + Speed_Right_Wheel_505 + Speed_Right_Wheel_504 + Speed_Right_Wheel_503 + Speed_Right_Wheel_502 + Speed_Right_Wheel_501 + Speed_Right_Wheel_500 + Speed_Right_Wheel_820 + Speed_Right_Wheel_821 + Speed_Right_Wheel_822 + Speed_Right_Wheel_823 + Speed_Right_Wheel_824 + Speed_Right_Wheel_825 + Speed_Right_Wheel_826 + Speed_Right_Wheel_827 + Speed_Right_Wheel_828 + Speed_Right_Wheel_829 + Speed_Right_Wheel_830 + Speed_Right_Wheel_831 + Speed_Right_Wheel_832 + Speed_Right_Wheel_833 + Speed_Right_Wheel_834 + Speed_Right_Wheel_835 + Speed_Right_Wheel_836 + Speed_Right_Wheel_837 + Speed_Right_Wheel_838 + Speed_Right_Wheel_839 + Speed_Right_Wheel_840 + Speed_Right_Wheel_841 + Speed_Right_Wheel_842 + Speed_Right_Wheel_843 + Speed_Right_Wheel_844 + Speed_Right_Wheel_845 + Speed_Right_Wheel_846 + Speed_Right_Wheel_847 + Speed_Right_Wheel_848 + Speed_Right_Wheel_849 + Speed_Right_Wheel_850 + Speed_Right_Wheel_851 + Speed_Right_Wheel_852 + Speed_Right_Wheel_853 + Speed_Right_Wheel_854 + Speed_Right_Wheel_855 + Speed_Right_Wheel_856 + Speed_Right_Wheel_857 + Speed_Right_Wheel_858 + Speed_Right_Wheel_859 + Speed_Right_Wheel_860 + Speed_Right_Wheel_861 + Speed_Right_Wheel_862 + Speed_Right_Wheel_863 + Speed_Right_Wheel_864 + Speed_Right_Wheel_865 + Speed_Right_Wheel_866 + Speed_Right_Wheel_867 + Speed_Right_Wheel_868 + Speed_Right_Wheel_869 + Speed_Right_Wheel_870 + Speed_Right_Wheel_871 + Speed_Right_Wheel_872 + Speed_Right_Wheel_873 + Speed_Right_Wheel_874 + Speed_Right_Wheel_875 + Speed_Right_Wheel_876 + Speed_Right_Wheel_877 + Speed_Right_Wheel_878 + Speed_Right_Wheel_879 + Speed_Right_Wheel_880 + Speed_Right_Wheel_881 + Speed_Right_Wheel_882 + Speed_Right_Wheel_883 + Speed_Right_Wheel_884 + Speed_Right_Wheel_885 + Speed_Right_Wheel_886 + Speed_Right_Wheel_887 + Speed_Right_Wheel_888 + Speed_Right_Wheel_889 + Speed_Right_Wheel_890 + Speed_Right_Wheel_891 + Speed_Right_Wheel_892 + Speed_Right_Wheel_893 + Speed_Right_Wheel_894 + Speed_Right_Wheel_895 + Speed_Right_Wheel_896 + Speed_Right_Wheel_897 + Speed_Right_Wheel_898 + Speed_Right_Wheel_899 + Speed_Right_Wheel_499 + Speed_Right_Wheel_498 + Speed_Right_Wheel_497 + Speed_Right_Wheel_496 + Speed_Right_Wheel_495 + Speed_Right_Wheel_494 + Speed_Right_Wheel_493 + Speed_Right_Wheel_492 + Speed_Right_Wheel_491 + Speed_Right_Wheel_490 + Speed_Right_Wheel_489 + Speed_Right_Wheel_488 + Speed_Right_Wheel_487 + Speed_Right_Wheel_486 + Speed_Right_Wheel_485 + Speed_Right_Wheel_484 + Speed_Right_Wheel_483 + Speed_Right_Wheel_482 + Speed_Right_Wheel_481 + Speed_Right_Wheel_480 + Speed_Right_Wheel_479 + Speed_Right_Wheel_478 + Speed_Right_Wheel_477 + Speed_Right_Wheel_476 + Speed_Right_Wheel_475 + Speed_Right_Wheel_474 + Speed_Right_Wheel_473 + Speed_Right_Wheel_472 + Speed_Right_Wheel_471 + Speed_Right_Wheel_470 + Speed_Right_Wheel_469 + Speed_Right_Wheel_468 + Speed_Right_Wheel_467 + Speed_Right_Wheel_466 + Speed_Right_Wheel_465 + Speed_Right_Wheel_464 + Speed_Right_Wheel_463 + Speed_Right_Wheel_462 + Speed_Right_Wheel_461 + Speed_Right_Wheel_460 + Speed_Right_Wheel_459 + Speed_Right_Wheel_458 + Speed_Right_Wheel_457 + Speed_Right_Wheel_456 + Speed_Right_Wheel_455 + Speed_Right_Wheel_454 + Speed_Right_Wheel_453 + Speed_Right_Wheel_452 + Speed_Right_Wheel_451 + Speed_Right_Wheel_450 + Speed_Right_Wheel_449 + Speed_Right_Wheel_448 + Speed_Right_Wheel_447 + Speed_Right_Wheel_446 + Speed_Right_Wheel_445 + Speed_Right_Wheel_444 + Speed_Right_Wheel_443 + Speed_Right_Wheel_442 + Speed_Right_Wheel_441 + Speed_Right_Wheel_440 + Speed_Right_Wheel_439 + Speed_Right_Wheel_438 + Speed_Right_Wheel_437 + Speed_Right_Wheel_436 + Speed_Right_Wheel_435 + Speed_Right_Wheel_434 + Speed_Right_Wheel_433 + Speed_Right_Wheel_432 + Speed_Right_Wheel_431 + Speed_Right_Wheel_430 + Speed_Right_Wheel_429 + Speed_Right_Wheel_428 + Speed_Right_Wheel_427 + Speed_Right_Wheel_426 + Speed_Right_Wheel_425 + Speed_Right_Wheel_424 + Speed_Right_Wheel_900 + Speed_Right_Wheel_901 + Speed_Right_Wheel_902 + Speed_Right_Wheel_903 + Speed_Right_Wheel_904 + Speed_Right_Wheel_905 + Speed_Right_Wheel_906 + Speed_Right_Wheel_907 + Speed_Right_Wheel_908 + Speed_Right_Wheel_909 + Speed_Right_Wheel_423 + Speed_Right_Wheel_422 + Speed_Right_Wheel_421 + Speed_Right_Wheel_420 + Speed_Right_Wheel_419 + Speed_Right_Wheel_418 + Speed_Right_Wheel_417 + Speed_Right_Wheel_416 + Speed_Right_Wheel_415 + Speed_Right_Wheel_414 + Speed_Right_Wheel_910 + Speed_Right_Wheel_911 + Speed_Right_Wheel_912 + Speed_Right_Wheel_913 + Speed_Right_Wheel_914 + Speed_Right_Wheel_915 + Speed_Right_Wheel_916 + Speed_Right_Wheel_917 + Speed_Right_Wheel_918 + Speed_Right_Wheel_919 + Speed_Right_Wheel_413 + Speed_Right_Wheel_412 + Speed_Right_Wheel_411 + Speed_Right_Wheel_410 + Speed_Right_Wheel_409 + Speed_Right_Wheel_408 + Speed_Right_Wheel_407 + Speed_Right_Wheel_406 + Speed_Right_Wheel_405 + Speed_Right_Wheel_404 + Speed_Right_Wheel_920 + Speed_Right_Wheel_921 + Speed_Right_Wheel_922 + Speed_Right_Wheel_923 + Speed_Right_Wheel_924 + Speed_Right_Wheel_925 + Speed_Right_Wheel_926 + Speed_Right_Wheel_927 + Speed_Right_Wheel_928 + Speed_Right_Wheel_929 + Speed_Right_Wheel_403 + Speed_Right_Wheel_402 + Speed_Right_Wheel_401 + Speed_Right_Wheel_400 + Speed_Right_Wheel_930 + Speed_Right_Wheel_931 + Speed_Right_Wheel_932 + Speed_Right_Wheel_933 + Speed_Right_Wheel_934 + Speed_Right_Wheel_935 + Speed_Right_Wheel_936 + Speed_Right_Wheel_937 + Speed_Right_Wheel_938 + Speed_Right_Wheel_939 + Speed_Right_Wheel_940 + Speed_Right_Wheel_941 + Speed_Right_Wheel_942 + Speed_Right_Wheel_943 + Speed_Right_Wheel_944 + Speed_Right_Wheel_945 + Speed_Right_Wheel_946 + Speed_Right_Wheel_947 + Speed_Right_Wheel_948 + Speed_Right_Wheel_949 + Speed_Right_Wheel_950 + Speed_Right_Wheel_951 + Speed_Right_Wheel_952 + Speed_Right_Wheel_953 + Speed_Right_Wheel_954 + Speed_Right_Wheel_955 + Speed_Right_Wheel_956 + Speed_Right_Wheel_957 + Speed_Right_Wheel_958 + Speed_Right_Wheel_959 + Speed_Right_Wheel_960 + Speed_Right_Wheel_961 + Speed_Right_Wheel_962 + Speed_Right_Wheel_963 + Speed_Right_Wheel_964 + Speed_Right_Wheel_965 + Speed_Right_Wheel_966 + Speed_Right_Wheel_967 + Speed_Right_Wheel_968 + Speed_Right_Wheel_969 + Speed_Right_Wheel_970 + Speed_Right_Wheel_971 + Speed_Right_Wheel_972 + Speed_Right_Wheel_973 + Speed_Right_Wheel_974 + Speed_Right_Wheel_975 + Speed_Right_Wheel_976 + Speed_Right_Wheel_977 + Speed_Right_Wheel_978 + Speed_Right_Wheel_979 + Speed_Right_Wheel_980 + Speed_Right_Wheel_981 + Speed_Right_Wheel_982 + Speed_Right_Wheel_983 + Speed_Right_Wheel_984 + Speed_Right_Wheel_985 + Speed_Right_Wheel_986 + Speed_Right_Wheel_987 + Speed_Right_Wheel_988 + Speed_Right_Wheel_989 + Speed_Right_Wheel_990 + Speed_Right_Wheel_991 + Speed_Right_Wheel_992 + Speed_Right_Wheel_993 + Speed_Right_Wheel_994 + Speed_Right_Wheel_995 + Speed_Right_Wheel_996 + Speed_Right_Wheel_997 + Speed_Right_Wheel_998 + Speed_Right_Wheel_999 + Speed_Right_Wheel_399 + Speed_Right_Wheel_398 + Speed_Right_Wheel_397 + Speed_Right_Wheel_396 + Speed_Right_Wheel_395 + Speed_Right_Wheel_394 + Speed_Right_Wheel_393 + Speed_Right_Wheel_392 + Speed_Right_Wheel_391 + Speed_Right_Wheel_390 + Speed_Right_Wheel_389 + Speed_Right_Wheel_388 + Speed_Right_Wheel_387 + Speed_Right_Wheel_386 + Speed_Right_Wheel_385 + Speed_Right_Wheel_384 + Speed_Right_Wheel_383 + Speed_Right_Wheel_382 + Speed_Right_Wheel_381 + Speed_Right_Wheel_380 + Speed_Right_Wheel_379 + Speed_Right_Wheel_378 + Speed_Right_Wheel_377 + Speed_Right_Wheel_376 + Speed_Right_Wheel_375 + Speed_Right_Wheel_374 + Speed_Right_Wheel_373 + Speed_Right_Wheel_372 + Speed_Right_Wheel_371 + Speed_Right_Wheel_370 + Speed_Right_Wheel_369 + Speed_Right_Wheel_368 + Speed_Right_Wheel_367 + Speed_Right_Wheel_366 + Speed_Right_Wheel_365 + Speed_Right_Wheel_364 + Speed_Right_Wheel_363 + Speed_Right_Wheel_362 + Speed_Right_Wheel_361 + Speed_Right_Wheel_360 + Speed_Right_Wheel_359 + Speed_Right_Wheel_358 + Speed_Right_Wheel_357 + Speed_Right_Wheel_356 + Speed_Right_Wheel_355 + Speed_Right_Wheel_354 + Speed_Right_Wheel_353 + Speed_Right_Wheel_352 + Speed_Right_Wheel_351 + Speed_Right_Wheel_350 + Speed_Right_Wheel_349 + Speed_Right_Wheel_348 + Speed_Right_Wheel_347 + Speed_Right_Wheel_346 + Speed_Right_Wheel_345 + Speed_Right_Wheel_344 + Speed_Right_Wheel_343 + Speed_Right_Wheel_342 + Speed_Right_Wheel_341 + Speed_Right_Wheel_340 + Speed_Right_Wheel_339 + Speed_Right_Wheel_338 + Speed_Right_Wheel_337 + Speed_Right_Wheel_336 + Speed_Right_Wheel_335 + Speed_Right_Wheel_334 + Speed_Right_Wheel_333 + Speed_Right_Wheel_332 + Speed_Right_Wheel_331 + Speed_Right_Wheel_330 + Speed_Right_Wheel_329 + Speed_Right_Wheel_328 + Speed_Right_Wheel_327 + Speed_Right_Wheel_326 + Speed_Right_Wheel_325 + Speed_Right_Wheel_324 + Speed_Right_Wheel_323 + Speed_Right_Wheel_322 + Speed_Right_Wheel_321 + Speed_Right_Wheel_320 + Speed_Right_Wheel_319 + Speed_Right_Wheel_318 + Speed_Right_Wheel_317 + Speed_Right_Wheel_316 + Speed_Right_Wheel_315 + Speed_Right_Wheel_314 + Speed_Right_Wheel_313 + Speed_Right_Wheel_312 + Speed_Right_Wheel_311 + Speed_Right_Wheel_310 + Speed_Right_Wheel_309 + Speed_Right_Wheel_308 + Speed_Right_Wheel_307 + Speed_Right_Wheel_306 + Speed_Right_Wheel_305 + Speed_Right_Wheel_304 + Speed_Right_Wheel_303 + Speed_Right_Wheel_302 + Speed_Right_Wheel_301 + Speed_Right_Wheel_300 + Speed_Right_Wheel_299 + Speed_Right_Wheel_298 + Speed_Right_Wheel_297 + Speed_Right_Wheel_296 + Speed_Right_Wheel_295 + Speed_Right_Wheel_294 + Speed_Right_Wheel_293 + Speed_Right_Wheel_292 + Speed_Right_Wheel_291 + Speed_Right_Wheel_290 + Speed_Right_Wheel_289 + Speed_Right_Wheel_288 + Speed_Right_Wheel_287 + Speed_Right_Wheel_286 + Speed_Right_Wheel_285 + Speed_Right_Wheel_284 + Speed_Right_Wheel_283 + Speed_Right_Wheel_282 + Speed_Right_Wheel_281 + Speed_Right_Wheel_280 + Speed_Right_Wheel_279 + Speed_Right_Wheel_278 + Speed_Right_Wheel_277 + Speed_Right_Wheel_276 + Speed_Right_Wheel_275 + Speed_Right_Wheel_274 + Speed_Right_Wheel_273 + Speed_Right_Wheel_272 + Speed_Right_Wheel_271 + Speed_Right_Wheel_270 + Speed_Right_Wheel_269 + Speed_Right_Wheel_268 + Speed_Right_Wheel_267 + Speed_Right_Wheel_266 + Speed_Right_Wheel_265 + Speed_Right_Wheel_264 + Speed_Right_Wheel_263 + Speed_Right_Wheel_262 + Speed_Right_Wheel_261 + Speed_Right_Wheel_260 + Speed_Right_Wheel_259 + Speed_Right_Wheel_258 + Speed_Right_Wheel_257 + Speed_Right_Wheel_256 + Speed_Right_Wheel_255 + Speed_Right_Wheel_254 + Speed_Right_Wheel_253 + Speed_Right_Wheel_252 + Speed_Right_Wheel_251 + Speed_Right_Wheel_250 + Speed_Right_Wheel_249 + Speed_Right_Wheel_248 + Speed_Right_Wheel_247 + Speed_Right_Wheel_246 + Speed_Right_Wheel_245 + Speed_Right_Wheel_244 + Speed_Right_Wheel_243 + Speed_Right_Wheel_242 + Speed_Right_Wheel_241 + Speed_Right_Wheel_240 + Speed_Right_Wheel_239 + Speed_Right_Wheel_238 + Speed_Right_Wheel_237 + Speed_Right_Wheel_236 + Speed_Right_Wheel_235 + Speed_Right_Wheel_234 + Speed_Right_Wheel_233 + Speed_Right_Wheel_232 + Speed_Right_Wheel_231 + Speed_Right_Wheel_230 + Speed_Right_Wheel_229 + Speed_Right_Wheel_228 + Speed_Right_Wheel_227 + Speed_Right_Wheel_226 + Speed_Right_Wheel_225 + Speed_Right_Wheel_224 + Speed_Right_Wheel_223 + Speed_Right_Wheel_222 + Speed_Right_Wheel_221 + Speed_Right_Wheel_220 + Speed_Right_Wheel_219 + Speed_Right_Wheel_218 + Speed_Right_Wheel_217 + Speed_Right_Wheel_216 + Speed_Right_Wheel_215 + Speed_Right_Wheel_214 + Speed_Right_Wheel_213 + Speed_Right_Wheel_212 + Speed_Right_Wheel_211 + Speed_Right_Wheel_210 + Speed_Right_Wheel_209 + Speed_Right_Wheel_208 + Speed_Right_Wheel_207 + Speed_Right_Wheel_206 + Speed_Right_Wheel_205 + Speed_Right_Wheel_204 + Speed_Right_Wheel_203 + Speed_Right_Wheel_202 + Speed_Right_Wheel_201 + Speed_Right_Wheel_200 + Speed_Right_Wheel_1 + Speed_Right_Wheel_2 + Speed_Right_Wheel_3 + Speed_Right_Wheel_4 + Speed_Right_Wheel_5 + Speed_Right_Wheel_6 + Speed_Right_Wheel_7 + Speed_Right_Wheel_8 + Speed_Right_Wheel_9 + Speed_Right_Wheel_199 + Speed_Right_Wheel_198 + Speed_Right_Wheel_197 + Speed_Right_Wheel_196 + Speed_Right_Wheel_195 + Speed_Right_Wheel_194 + Speed_Right_Wheel_193 + Speed_Right_Wheel_192 + Speed_Right_Wheel_191 + Speed_Right_Wheel_190 + Speed_Right_Wheel_189 + Speed_Right_Wheel_188 + Speed_Right_Wheel_187 + Speed_Right_Wheel_186 + Speed_Right_Wheel_185 + Speed_Right_Wheel_184 + Speed_Right_Wheel_183 + Speed_Right_Wheel_182 + Speed_Right_Wheel_181 + Speed_Right_Wheel_180 + Speed_Right_Wheel_179 + Speed_Right_Wheel_178 + Speed_Right_Wheel_177 + Speed_Right_Wheel_176 + Speed_Right_Wheel_175 + Speed_Right_Wheel_174 + Speed_Right_Wheel_173 + Speed_Right_Wheel_172 + Speed_Right_Wheel_171 + Speed_Right_Wheel_170 + Speed_Right_Wheel_169 + Speed_Right_Wheel_168 + Speed_Right_Wheel_167 + Speed_Right_Wheel_166 + Speed_Right_Wheel_165 + Speed_Right_Wheel_164 + Speed_Right_Wheel_163 + Speed_Right_Wheel_162 + Speed_Right_Wheel_161 + Speed_Right_Wheel_160 + Speed_Right_Wheel_159 + Speed_Right_Wheel_158 + Speed_Right_Wheel_157 + Speed_Right_Wheel_156 + Speed_Right_Wheel_155 + Speed_Right_Wheel_154 + Speed_Right_Wheel_153 + Speed_Right_Wheel_152 + Speed_Right_Wheel_151 + Speed_Right_Wheel_150 + Speed_Right_Wheel_149 + Speed_Right_Wheel_148 + Speed_Right_Wheel_147 + Speed_Right_Wheel_146 + Speed_Right_Wheel_145 + Speed_Right_Wheel_144 + Speed_Right_Wheel_143 + Speed_Right_Wheel_142 + Speed_Right_Wheel_141 + Speed_Right_Wheel_140 + Speed_Right_Wheel_139 + Speed_Right_Wheel_138 + Speed_Right_Wheel_137 + Speed_Right_Wheel_136 + Speed_Right_Wheel_135 + Speed_Right_Wheel_134 + Speed_Right_Wheel_133 + Speed_Right_Wheel_132 + Speed_Right_Wheel_131 + Speed_Right_Wheel_130 + Speed_Right_Wheel_129 + Speed_Right_Wheel_128 + Speed_Right_Wheel_127 + Speed_Right_Wheel_126 + Speed_Right_Wheel_125 + Speed_Right_Wheel_124 + Speed_Right_Wheel_123 + Speed_Right_Wheel_122 + Speed_Right_Wheel_121 + Speed_Right_Wheel_120 + Speed_Right_Wheel_119 + Speed_Right_Wheel_118 + Speed_Right_Wheel_117 + Speed_Right_Wheel_116 + Speed_Right_Wheel_115 + Speed_Right_Wheel_114 + Speed_Right_Wheel_113 + Speed_Right_Wheel_112 + Speed_Right_Wheel_111 + Speed_Right_Wheel_110 + Speed_Right_Wheel_109 + Speed_Right_Wheel_108 + Speed_Right_Wheel_107 + Speed_Right_Wheel_106 + Speed_Right_Wheel_105 + Speed_Right_Wheel_104 + Speed_Right_Wheel_103 + Speed_Right_Wheel_102 + Speed_Right_Wheel_101 + Speed_Right_Wheel_100 + Speed_Right_Wheel_1000) : MAX(stp2) : MAX(P2) : MAX(P6) : MAX(Weight_Right_Wheel_off + Weight_Right_Wheel_on) : MAX(P2) : MAX(stp2) : MAX(Plane_On_Ground_Signal_no_F + Plane_On_Ground_Signal_no_T) : MAX(P3)
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(stp4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16056 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 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16056 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 252 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 16056 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 272 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 16056 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: 3620 markings, 7207 edges, 724 markings/sec, 0 secs
lola: 7347 markings, 14635 edges, 745 markings/sec, 5 secs
lola: 11035 markings, 21988 edges, 738 markings/sec, 10 secs
lola: 14829 markings, 29548 edges, 759 markings/sec, 15 secs
lola: 18712 markings, 37288 edges, 777 markings/sec, 20 secs
lola: 22510 markings, 44858 edges, 760 markings/sec, 25 secs
lola: 26296 markings, 52404 edges, 757 markings/sec, 30 secs
lola: 30115 markings, 60028 edges, 764 markings/sec, 35 secs
lola: 34013 markings, 67798 edges, 780 markings/sec, 40 secs
lola: 37892 markings, 75530 edges, 776 markings/sec, 45 secs
lola: 41635 markings, 82990 edges, 749 markings/sec, 50 secs
lola: 45372 markings, 90439 edges, 747 markings/sec, 55 secs
lola: 49190 markings, 98049 edges, 764 markings/sec, 60 secs
lola: 53170 markings, 105983 edges, 796 markings/sec, 65 secs
lola: 57109 markings, 113835 edges, 788 markings/sec, 70 secs
lola: 60883 markings, 121357 edges, 755 markings/sec, 75 secs
lola: 64639 markings, 128843 edges, 751 markings/sec, 80 secs
lola: 68409 markings, 136369 edges, 754 markings/sec, 85 secs
lola: 72182 markings, 143889 edges, 755 markings/sec, 90 secs
lola: 75969 markings, 151439 edges, 757 markings/sec, 95 secs
lola: 79867 markings, 159207 edges, 780 markings/sec, 100 secs
lola: 83743 markings, 166934 edges, 775 markings/sec, 105 secs
lola: 87541 markings, 174504 edges, 760 markings/sec, 110 secs
lola: 91337 markings, 182072 edges, 759 markings/sec, 115 secs
lola: 95153 markings, 189676 edges, 763 markings/sec, 120 secs
lola: 99031 markings, 197406 edges, 776 markings/sec, 125 secs
lola: 102846 markings, 205022 edges, 763 markings/sec, 130 secs
lola: 106674 markings, 212652 edges, 766 markings/sec, 135 secs
lola: 110651 markings, 220580 edges, 795 markings/sec, 140 secs
lola: 114569 markings, 228390 edges, 784 markings/sec, 145 secs
lola: 118491 markings, 236208 edges, 784 markings/sec, 150 secs
lola: 122427 markings, 244056 edges, 787 markings/sec, 155 secs
lola: 126371 markings, 251916 edges, 789 markings/sec, 160 secs
lola: 130257 markings, 259662 edges, 777 markings/sec, 165 secs
lola: 134095 markings, 267313 edges, 768 markings/sec, 170 secs
lola: 137934 markings, 274965 edges, 768 markings/sec, 175 secs
lola: 141810 markings, 282691 edges, 775 markings/sec, 180 secs
lola: 145662 markings, 290369 edges, 770 markings/sec, 185 secs
lola: 149516 markings, 298051 edges, 771 markings/sec, 190 secs
lola: 153375 markings, 305753 edges, 772 markings/sec, 195 secs
lola: 157274 markings, 313527 edges, 780 markings/sec, 200 secs
lola: 161225 markings, 321403 edges, 790 markings/sec, 205 secs
lola: 165120 markings, 329167 edges, 779 markings/sec, 210 secs
lola: 169004 markings, 336909 edges, 777 markings/sec, 215 secs
lola: 172890 markings, 344655 edges, 777 markings/sec, 220 secs
lola: 176831 markings, 352511 edges, 788 markings/sec, 225 secs
lola: 180809 markings, 360441 edges, 796 markings/sec, 230 secs
lola: 184817 markings, 368433 edges, 802 markings/sec, 235 secs
lola: 188783 markings, 376337 edges, 793 markings/sec, 240 secs
lola: 192688 markings, 384122 edges, 781 markings/sec, 245 secs
lola: 196597 markings, 391914 edges, 782 markings/sec, 250 secs
lola: 200517 markings, 399728 edges, 784 markings/sec, 255 secs
lola: 204607 markings, 407882 edges, 818 markings/sec, 260 secs
lola: 208791 markings, 416224 edges, 837 markings/sec, 265 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 272 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 16056 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 297 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16056 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 326 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 16056 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 363 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Speed_Right_Wheel_680 + Speed_Right_Wheel_681 + Speed_Right_Wheel_682 + Speed_Right_Wheel_683 + Speed_Right_Wheel_684 + Speed_Right_Wheel_685 + Speed_Right_Wheel_686 + Speed_Right_Wheel_687 + Speed_Right_Wheel_688 + Speed_Right_Wheel_689 + Speed_Right_Wheel_690 + Speed_Right_Wheel_691 + Speed_Right_Wheel_692 + Speed_Right_Wheel_693 + Speed_Right_Wheel_694 + Speed_Right_Wheel_695 + Speed_Right_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16056 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: 91919 markings, 91919 edges, 18384 markings/sec, 0 secs
lola: 166927 markings, 166927 edges, 15002 markings/sec, 5 secs
lola: 288093 markings, 288092 edges, 24233 markings/sec, 10 secs
lola: 401766 markings, 401766 edges, 22735 markings/sec, 15 secs
lola: 528394 markings, 528393 edges, 25326 markings/sec, 20 secs
lola: 645528 markings, 645527 edges, 23427 markings/sec, 25 secs
lola: 735153 markings, 735153 edges, 17925 markings/sec, 30 secs
lola: 806965 markings, 806965 edges, 14362 markings/sec, 35 secs
lola: 860778 markings, 860778 edges, 10763 markings/sec, 40 secs
lola: 908619 markings, 908619 edges, 9568 markings/sec, 45 secs
lola: 948087 markings, 948086 edges, 7894 markings/sec, 50 secs
lola: 985632 markings, 985632 edges, 7509 markings/sec, 55 secs
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 400 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 16056 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 9 will run for 457 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 16056 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 534 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 16056 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: 4071 markings, 8097 edges, 814 markings/sec, 0 secs
lola: 8226 markings, 16381 edges, 831 markings/sec, 5 secs
lola: 12317 markings, 24537 edges, 818 markings/sec, 10 secs
lola: 16507 markings, 32891 edges, 838 markings/sec, 15 secs
lola: 20728 markings, 41307 edges, 844 markings/sec, 20 secs
lola: 24875 markings, 49575 edges, 829 markings/sec, 25 secs
lola: 29025 markings, 57849 edges, 830 markings/sec, 30 secs
lola: 33124 markings, 66021 edges, 820 markings/sec, 35 secs
lola: 37237 markings, 74221 edges, 823 markings/sec, 40 secs
lola: 41341 markings, 82403 edges, 821 markings/sec, 45 secs
lola: 45510 markings, 90714 edges, 834 markings/sec, 50 secs
lola: 49743 markings, 99154 edges, 847 markings/sec, 55 secs
lola: 53978 markings, 107598 edges, 847 markings/sec, 60 secs
lola: 58212 markings, 116040 edges, 847 markings/sec, 65 secs
lola: 62464 markings, 124518 edges, 850 markings/sec, 70 secs
lola: 66752 markings, 133056 edges, 858 markings/sec, 75 secs
lola: 70678 markings, 140882 edges, 785 markings/sec, 80 secs
lola: 74456 markings, 148424 edges, 756 markings/sec, 85 secs
lola: 78388 markings, 156262 edges, 786 markings/sec, 90 secs
lola: 82175 markings, 163810 edges, 757 markings/sec, 95 secs
lola: 86127 markings, 171688 edges, 790 markings/sec, 100 secs
lola: 89912 markings, 179232 edges, 757 markings/sec, 105 secs
lola: 93696 markings, 186775 edges, 757 markings/sec, 110 secs
lola: 97487 markings, 194331 edges, 758 markings/sec, 115 secs
lola: 101532 markings, 202395 edges, 809 markings/sec, 120 secs
lola: 105619 markings, 210543 edges, 817 markings/sec, 125 secs
lola: 109422 markings, 218123 edges, 761 markings/sec, 130 secs
lola: 113228 markings, 225709 edges, 761 markings/sec, 135 secs
lola: 117038 markings, 233315 edges, 762 markings/sec, 140 secs
lola: 120863 markings, 240939 edges, 765 markings/sec, 145 secs
lola: 124730 markings, 248649 edges, 773 markings/sec, 150 secs
lola: 128660 markings, 256483 edges, 786 markings/sec, 155 secs
lola: 132634 markings, 264403 edges, 795 markings/sec, 160 secs
lola: 136709 markings, 272527 edges, 815 markings/sec, 165 secs
lola: 140627 markings, 280337 edges, 784 markings/sec, 170 secs
lola: 144567 markings, 288191 edges, 788 markings/sec, 175 secs
lola: 148565 markings, 296161 edges, 800 markings/sec, 180 secs
lola: 152563 markings, 304131 edges, 800 markings/sec, 185 secs
lola: 156551 markings, 312081 edges, 798 markings/sec, 190 secs
lola: 160548 markings, 320049 edges, 799 markings/sec, 195 secs
lola: 164434 markings, 327796 edges, 777 markings/sec, 200 secs
lola: 168310 markings, 335522 edges, 775 markings/sec, 205 secs
lola: 172192 markings, 343260 edges, 776 markings/sec, 210 secs
lola: 176078 markings, 351006 edges, 777 markings/sec, 215 secs
lola: 180015 markings, 358854 edges, 787 markings/sec, 220 secs
lola: 184032 markings, 366862 edges, 803 markings/sec, 225 secs
lola: 188063 markings, 374898 edges, 806 markings/sec, 230 secs
lola: 192124 markings, 382994 edges, 812 markings/sec, 235 secs
lola: 196236 markings, 391192 edges, 822 markings/sec, 240 secs
lola: 200326 markings, 399348 edges, 818 markings/sec, 245 secs
lola: 204345 markings, 407358 edges, 804 markings/sec, 250 secs
lola: 208344 markings, 415330 edges, 800 markings/sec, 255 secs
lola: 212266 markings, 423148 edges, 784 markings/sec, 260 secs
lola: 216197 markings, 430984 edges, 786 markings/sec, 265 secs
lola: 220204 markings, 438972 edges, 801 markings/sec, 270 secs
lola: 224331 markings, 447200 edges, 825 markings/sec, 275 secs
lola: 228339 markings, 455190 edges, 802 markings/sec, 280 secs
lola: 232640 markings, 463766 edges, 860 markings/sec, 285 secs
lola: 236606 markings, 471672 edges, 793 markings/sec, 290 secs
lola: 240572 markings, 479578 edges, 793 markings/sec, 295 secs
lola: 244546 markings, 487500 edges, 795 markings/sec, 300 secs
lola: 248660 markings, 495702 edges, 823 markings/sec, 305 secs
lola: 252934 markings, 504224 edges, 855 markings/sec, 310 secs
lola: 256951 markings, 512232 edges, 803 markings/sec, 315 secs
lola: 260943 markings, 520190 edges, 798 markings/sec, 320 secs
lola: 264937 markings, 528152 edges, 799 markings/sec, 325 secs
lola: 268933 markings, 536118 edges, 799 markings/sec, 330 secs
lola: 272935 markings, 544096 edges, 800 markings/sec, 335 secs
lola: 277139 markings, 552478 edges, 841 markings/sec, 340 secs
lola: 281393 markings, 560960 edges, 851 markings/sec, 345 secs
lola: 285639 markings, 569425 edges, 849 markings/sec, 350 secs
lola: 289661 markings, 577443 edges, 804 markings/sec, 355 secs
lola: 293686 markings, 585467 edges, 805 markings/sec, 360 secs
lola: 297880 markings, 593829 edges, 839 markings/sec, 365 secs
lola: 301921 markings, 601885 edges, 808 markings/sec, 370 secs
lola: 305971 markings, 609959 edges, 810 markings/sec, 375 secs
lola: 310048 markings, 618087 edges, 815 markings/sec, 380 secs
lola: 314369 markings, 626703 edges, 864 markings/sec, 385 secs
lola: 318695 markings, 635329 edges, 865 markings/sec, 390 secs
lola: 322961 markings, 643823 edges, 853 markings/sec, 395 secs
lola: 327026 markings, 651927 edges, 813 markings/sec, 400 secs
lola: 331325 markings, 660499 edges, 860 markings/sec, 405 secs
lola: 335709 markings, 669241 edges, 877 markings/sec, 410 secs
lola: 339930 markings, 677657 edges, 844 markings/sec, 415 secs
lola: 344035 markings, 685841 edges, 821 markings/sec, 420 secs
lola: 348133 markings, 694010 edges, 820 markings/sec, 425 secs
lola: 352235 markings, 702188 edges, 820 markings/sec, 430 secs
lola: 356343 markings, 710378 edges, 822 markings/sec, 435 secs
lola: 360459 markings, 718584 edges, 823 markings/sec, 440 secs
lola: 364617 markings, 726874 edges, 832 markings/sec, 445 secs
lola: 368746 markings, 735106 edges, 826 markings/sec, 450 secs
lola: 372885 markings, 743359 edges, 828 markings/sec, 455 secs
lola: 377025 markings, 751612 edges, 828 markings/sec, 460 secs
lola: 381167 markings, 759870 edges, 828 markings/sec, 465 secs
lola: 385310 markings, 768130 edges, 829 markings/sec, 470 secs
lola: 389458 markings, 776400 edges, 830 markings/sec, 475 secs
lola: 393635 markings, 784716 edges, 835 markings/sec, 480 secs
lola: 397795 markings, 793010 edges, 832 markings/sec, 485 secs
lola: 401928 markings, 801250 edges, 827 markings/sec, 490 secs
lola: 407081 markings, 809948 edges, 1031 markings/sec, 495 secs
lola: 411975 markings, 821727 edges, 979 markings/sec, 500 secs
lola: 416309 markings, 830381 edges, 867 markings/sec, 505 secs
lola: 420671 markings, 839088 edges, 872 markings/sec, 510 secs
lola: 424768 markings, 847271 edges, 819 markings/sec, 515 secs
lola: 429237 markings, 856196 edges, 894 markings/sec, 520 secs
lola: 433780 markings, 865269 edges, 909 markings/sec, 525 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 534 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 16056 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 12 will run for 667 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 16056 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 890 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 16056 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 1335 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Plane_On_Ground_Signal_no_F + Plane_On_Ground_Signal_no_T)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16056 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: 3936 markings, 7839 edges, 787 markings/sec, 0 secs
lola: 7641 markings, 15223 edges, 741 markings/sec, 5 secs
lola: 11346 markings, 22607 edges, 741 markings/sec, 10 secs
lola: 15089 markings, 30068 edges, 749 markings/sec, 15 secs
lola: 19026 markings, 37916 edges, 787 markings/sec, 20 secs
lola: 22984 markings, 45806 edges, 792 markings/sec, 25 secs
lola: 26987 markings, 53786 edges, 801 markings/sec, 30 secs
lola: 30884 markings, 61554 edges, 779 markings/sec, 35 secs
lola: 34716 markings, 69192 edges, 766 markings/sec, 40 secs
lola: 38572 markings, 76878 edges, 771 markings/sec, 45 secs
lola: 42405 markings, 84518 edges, 767 markings/sec, 50 secs
lola: 46039 markings, 91772 edges, 727 markings/sec, 55 secs
lola: 49724 markings, 99116 edges, 737 markings/sec, 60 secs
lola: 53455 markings, 106553 edges, 746 markings/sec, 65 secs
lola: 57214 markings, 114045 edges, 752 markings/sec, 70 secs
lola: 60973 markings, 121537 edges, 752 markings/sec, 75 secs
lola: 64733 markings, 129031 edges, 752 markings/sec, 80 secs
lola: 68494 markings, 136539 edges, 752 markings/sec, 85 secs
lola: 72268 markings, 144061 edges, 755 markings/sec, 90 secs
lola: 76038 markings, 151575 edges, 754 markings/sec, 95 secs
lola: 79809 markings, 159091 edges, 754 markings/sec, 100 secs
lola: 83580 markings, 166608 edges, 754 markings/sec, 105 secs
lola: 87289 markings, 174000 edges, 742 markings/sec, 110 secs
lola: 91073 markings, 181542 edges, 757 markings/sec, 115 secs
lola: 94986 markings, 189342 edges, 783 markings/sec, 120 secs
lola: 99088 markings, 197520 edges, 820 markings/sec, 125 secs
lola: 103066 markings, 205450 edges, 796 markings/sec, 130 secs
lola: 107054 markings, 213400 edges, 798 markings/sec, 135 secs
lola: 110875 markings, 221028 edges, 764 markings/sec, 140 secs
lola: 114703 markings, 228658 edges, 766 markings/sec, 145 secs
lola: 118531 markings, 236288 edges, 766 markings/sec, 150 secs
lola: 122379 markings, 243958 edges, 770 markings/sec, 155 secs
lola: 126365 markings, 251904 edges, 797 markings/sec, 160 secs
lola: 130364 markings, 259876 edges, 800 markings/sec, 165 secs
lola: 134356 markings, 267834 edges, 798 markings/sec, 170 secs
lola: 138249 markings, 275594 edges, 779 markings/sec, 175 secs
lola: 142152 markings, 283375 edges, 781 markings/sec, 180 secs
lola: 146060 markings, 291165 edges, 782 markings/sec, 185 secs
lola: 150033 markings, 299085 edges, 795 markings/sec, 190 secs
lola: 154065 markings, 307123 edges, 806 markings/sec, 195 secs
lola: 158086 markings, 315139 edges, 804 markings/sec, 200 secs
lola: 162134 markings, 323209 edges, 810 markings/sec, 205 secs
lola: 166210 markings, 331335 edges, 815 markings/sec, 210 secs
lola: 170223 markings, 339335 edges, 803 markings/sec, 215 secs
lola: 174175 markings, 347213 edges, 790 markings/sec, 220 secs
lola: 178121 markings, 355080 edges, 789 markings/sec, 225 secs
lola: 182073 markings, 362957 edges, 790 markings/sec, 230 secs
lola: 186031 markings, 370847 edges, 792 markings/sec, 235 secs
lola: 189987 markings, 378733 edges, 791 markings/sec, 240 secs
lola: 193950 markings, 386633 edges, 793 markings/sec, 245 secs
lola: 197920 markings, 394547 edges, 794 markings/sec, 250 secs
lola: 201903 markings, 402487 edges, 797 markings/sec, 255 secs
lola: 205883 markings, 410421 edges, 796 markings/sec, 260 secs
lola: 209969 markings, 418567 edges, 817 markings/sec, 265 secs
lola: 214095 markings, 426793 edges, 825 markings/sec, 270 secs
lola: 218224 markings, 435025 edges, 826 markings/sec, 275 secs
lola: 222365 markings, 443281 edges, 828 markings/sec, 280 secs
lola: 226500 markings, 451525 edges, 827 markings/sec, 285 secs
lola: 230633 markings, 459765 edges, 827 markings/sec, 290 secs
lola: 234780 markings, 468033 edges, 829 markings/sec, 295 secs
lola: 238925 markings, 476297 edges, 829 markings/sec, 300 secs
lola: 243079 markings, 484579 edges, 831 markings/sec, 305 secs
lola: 247228 markings, 492850 edges, 830 markings/sec, 310 secs
lola: 251353 markings, 501074 edges, 825 markings/sec, 315 secs
lola: 255549 markings, 509440 edges, 839 markings/sec, 320 secs
lola: 259702 markings, 517720 edges, 831 markings/sec, 325 secs
lola: 263686 markings, 525662 edges, 797 markings/sec, 330 secs
lola: 267673 markings, 533611 edges, 797 markings/sec, 335 secs
lola: 271660 markings, 541558 edges, 797 markings/sec, 340 secs
lola: 275664 markings, 549540 edges, 801 markings/sec, 345 secs
lola: 279829 markings, 557844 edges, 833 markings/sec, 350 secs
lola: 283850 markings, 565860 edges, 804 markings/sec, 355 secs
lola: 287876 markings, 573886 edges, 805 markings/sec, 360 secs
lola: 291903 markings, 581914 edges, 805 markings/sec, 365 secs
lola: 295932 markings, 589946 edges, 806 markings/sec, 370 secs
lola: 299963 markings, 597982 edges, 806 markings/sec, 375 secs
lola: 303997 markings, 606024 edges, 807 markings/sec, 380 secs
lola: 308036 markings, 614076 edges, 808 markings/sec, 385 secs
lola: 312123 markings, 622224 edges, 817 markings/sec, 390 secs
lola: 316235 markings, 630422 edges, 822 markings/sec, 395 secs
lola: 320291 markings, 638508 edges, 811 markings/sec, 400 secs
lola: 324352 markings, 646604 edges, 812 markings/sec, 405 secs
lola: 328419 markings, 654712 edges, 813 markings/sec, 410 secs
lola: 332492 markings, 662832 edges, 815 markings/sec, 415 secs
lola: 336573 markings, 670968 edges, 816 markings/sec, 420 secs
lola: 340663 markings, 679122 edges, 818 markings/sec, 425 secs
lola: 344761 markings, 687294 edges, 820 markings/sec, 430 secs
lola: 348862 markings, 695468 edges, 820 markings/sec, 435 secs
lola: 352965 markings, 703648 edges, 821 markings/sec, 440 secs
lola: 357169 markings, 712030 edges, 841 markings/sec, 445 secs
lola: 361490 markings, 720634 edges, 864 markings/sec, 450 secs
lola: 365866 markings, 729360 edges, 875 markings/sec, 455 secs
lola: 370214 markings, 738030 edges, 870 markings/sec, 460 secs
lola: 374601 markings, 746777 edges, 877 markings/sec, 465 secs
lola: 378970 markings, 755489 edges, 874 markings/sec, 470 secs
lola: 383329 markings, 764181 edges, 872 markings/sec, 475 secs
lola: 387637 markings, 772759 edges, 862 markings/sec, 480 secs
lola: 392042 markings, 781543 edges, 881 markings/sec, 485 secs
lola: 396466 markings, 790365 edges, 885 markings/sec, 490 secs
lola: 400872 markings, 799150 edges, 881 markings/sec, 495 secs
lola: 405689 markings, 807969 edges, 963 markings/sec, 500 secs
lola: 410962 markings, 819700 edges, 1055 markings/sec, 505 secs
lola: 415352 markings, 828468 edges, 878 markings/sec, 510 secs
lola: 419742 markings, 837235 edges, 878 markings/sec, 515 secs
lola: 424125 markings, 845989 edges, 877 markings/sec, 520 secs
lola: 428600 markings, 854922 edges, 895 markings/sec, 525 secs
lola: 432933 markings, 863576 edges, 867 markings/sec, 530 secs
lola: 437161 markings, 872020 edges, 846 markings/sec, 535 secs
lola: 441493 markings, 880672 edges, 866 markings/sec, 540 secs
lola: 446023 markings, 889719 edges, 906 markings/sec, 545 secs
lola: 450219 markings, 898099 edges, 839 markings/sec, 550 secs
lola: 454460 markings, 906569 edges, 848 markings/sec, 555 secs
lola: 458669 markings, 914975 edges, 842 markings/sec, 560 secs
lola: 463151 markings, 923922 edges, 896 markings/sec, 565 secs
lola: 467860 markings, 933327 edges, 942 markings/sec, 570 secs
lola: 472572 markings, 942739 edges, 942 markings/sec, 575 secs
lola: 477351 markings, 952280 edges, 956 markings/sec, 580 secs
lola: 482132 markings, 961829 edges, 956 markings/sec, 585 secs
lola: 486919 markings, 971386 edges, 957 markings/sec, 590 secs
lola: 491766 markings, 981068 edges, 969 markings/sec, 595 secs
lola: 496677 markings, 990877 edges, 982 markings/sec, 600 secs
lola: 501481 markings, 1000468 edges, 961 markings/sec, 605 secs
lola: 506182 markings, 1009857 edges, 940 markings/sec, 610 secs
lola: 510981 markings, 1019443 edges, 960 markings/sec, 615 secs
lola: 515553 markings, 1028570 edges, 914 markings/sec, 620 secs
lola: 520362 markings, 1038175 edges, 962 markings/sec, 625 secs
lola: 524695 markings, 1046829 edges, 867 markings/sec, 630 secs
lola: 529019 markings, 1055465 edges, 865 markings/sec, 635 secs
lola: 533343 markings, 1064098 edges, 865 markings/sec, 640 secs
lola: 537967 markings, 1073332 edges, 925 markings/sec, 645 secs
lola: 542579 markings, 1082543 edges, 922 markings/sec, 650 secs
lola: 546915 markings, 1091203 edges, 867 markings/sec, 655 secs
lola: 551251 markings, 1099863 edges, 867 markings/sec, 660 secs
lola: 555604 markings, 1108552 edges, 871 markings/sec, 665 secs
lola: 559955 markings, 1117242 edges, 870 markings/sec, 670 secs
lola: 564368 markings, 1126055 edges, 883 markings/sec, 675 secs
lola: 568734 markings, 1134775 edges, 873 markings/sec, 680 secs
lola: 573099 markings, 1143493 edges, 873 markings/sec, 685 secs
lola: 577770 markings, 1152818 edges, 934 markings/sec, 690 secs
lola: 582507 markings, 1162279 edges, 947 markings/sec, 695 secs
lola: 587253 markings, 1171759 edges, 949 markings/sec, 700 secs
lola: 592001 markings, 1181238 edges, 950 markings/sec, 705 secs
lola: 596774 markings, 1190771 edges, 955 markings/sec, 710 secs
lola: 601543 markings, 1200297 edges, 954 markings/sec, 715 secs
lola: 606371 markings, 1209936 edges, 966 markings/sec, 720 secs
lola: 611246 markings, 1219673 edges, 975 markings/sec, 725 secs
lola: 616065 markings, 1229294 edges, 964 markings/sec, 730 secs
lola: 620968 markings, 1239087 edges, 981 markings/sec, 735 secs
lola: 625642 markings, 1248423 edges, 935 markings/sec, 740 secs
lola: 630116 markings, 1257354 edges, 895 markings/sec, 745 secs
lola: 634578 markings, 1266266 edges, 892 markings/sec, 750 secs
lola: 639116 markings, 1275329 edges, 908 markings/sec, 755 secs
lola: 643583 markings, 1284251 edges, 893 markings/sec, 760 secs
lola: 648064 markings, 1293196 edges, 896 markings/sec, 765 secs
lola: 652554 markings, 1302164 edges, 898 markings/sec, 770 secs
lola: 657059 markings, 1311161 edges, 901 markings/sec, 775 secs
lola: 661731 markings, 1320493 edges, 934 markings/sec, 780 secs
lola: 666541 markings, 1330096 edges, 962 markings/sec, 785 secs
lola: 671580 markings, 1340161 edges, 1008 markings/sec, 790 secs
lola: 676713 markings, 1350410 edges, 1027 markings/sec, 795 secs
lola: 681317 markings, 1359605 edges, 921 markings/sec, 800 secs
lola: 685856 markings, 1368671 edges, 908 markings/sec, 805 secs
lola: 690406 markings, 1377754 edges, 910 markings/sec, 810 secs
lola: 695515 markings, 1387959 edges, 1022 markings/sec, 815 secs
lola: 700494 markings, 1397900 edges, 996 markings/sec, 820 secs
lola: 705477 markings, 1407853 edges, 997 markings/sec, 825 secs
lola: 710396 markings, 1417674 edges, 984 markings/sec, 830 secs
lola: 715373 markings, 1427615 edges, 995 markings/sec, 835 secs
lola: 720151 markings, 1437159 edges, 956 markings/sec, 840 secs
lola: 724759 markings, 1446358 edges, 922 markings/sec, 845 secs
lola: 729376 markings, 1455579 edges, 923 markings/sec, 850 secs
lola: 734003 markings, 1464823 edges, 925 markings/sec, 855 secs
lola: 738637 markings, 1474072 edges, 927 markings/sec, 860 secs
lola: 743288 markings, 1483362 edges, 930 markings/sec, 865 secs
lola: 748144 markings, 1493061 edges, 971 markings/sec, 870 secs
lola: 753113 markings, 1502982 edges, 994 markings/sec, 875 secs
lola: 758214 markings, 1513171 edges, 1020 markings/sec, 880 secs
lola: 763238 markings, 1523202 edges, 1005 markings/sec, 885 secs
lola: 768200 markings, 1533113 edges, 992 markings/sec, 890 secs
lola: 773265 markings, 1543226 edges, 1013 markings/sec, 895 secs
lola: 778125 markings, 1552933 edges, 972 markings/sec, 900 secs
lola: 782817 markings, 1562300 edges, 938 markings/sec, 905 secs
lola: 787528 markings, 1571712 edges, 942 markings/sec, 910 secs
lola: 792149 markings, 1580939 edges, 924 markings/sec, 915 secs
lola: 796661 markings, 1589951 edges, 902 markings/sec, 920 secs
lola: 801655 markings, 1599922 edges, 999 markings/sec, 925 secs
lola: 806615 markings, 1609829 edges, 992 markings/sec, 930 secs
lola: 812085 markings, 1621993 edges, 1094 markings/sec, 935 secs
lola: 817240 markings, 1633855 edges, 1031 markings/sec, 940 secs
lola: 821859 markings, 1643085 edges, 924 markings/sec, 945 secs
lola: 826427 markings, 1652212 edges, 914 markings/sec, 950 secs
lola: 830889 markings, 1661128 edges, 892 markings/sec, 955 secs
lola: 835353 markings, 1670047 edges, 893 markings/sec, 960 secs
lola: 839864 markings, 1679060 edges, 902 markings/sec, 965 secs
lola: 844348 markings, 1688018 edges, 897 markings/sec, 970 secs
lola: 848835 markings, 1696984 edges, 897 markings/sec, 975 secs
lola: 853235 markings, 1705776 edges, 880 markings/sec, 980 secs
lola: 857735 markings, 1714765 edges, 900 markings/sec, 985 secs
lola: 862233 markings, 1723753 edges, 900 markings/sec, 990 secs
lola: 866749 markings, 1732776 edges, 903 markings/sec, 995 secs
lola: 871339 markings, 1741948 edges, 918 markings/sec, 1000 secs
lola: 876076 markings, 1751412 edges, 947 markings/sec, 1005 secs
lola: 880622 markings, 1760494 edges, 909 markings/sec, 1010 secs
lola: 885159 markings, 1769560 edges, 907 markings/sec, 1015 secs
lola: 889935 markings, 1779101 edges, 955 markings/sec, 1020 secs
lola: 894696 markings, 1788614 edges, 952 markings/sec, 1025 secs
lola: 899234 markings, 1797683 edges, 908 markings/sec, 1030 secs
lola: 903970 markings, 1807143 edges, 947 markings/sec, 1035 secs
lola: 908602 markings, 1816398 edges, 926 markings/sec, 1040 secs
lola: 913159 markings, 1825504 edges, 911 markings/sec, 1045 secs
lola: 917994 markings, 1835165 edges, 967 markings/sec, 1050 secs
lola: 922950 markings, 1845066 edges, 991 markings/sec, 1055 secs
lola: 927884 markings, 1854923 edges, 987 markings/sec, 1060 secs
lola: 932872 markings, 1864890 edges, 998 markings/sec, 1065 secs
lola: 937790 markings, 1874717 edges, 984 markings/sec, 1070 secs
lola: 942557 markings, 1884241 edges, 953 markings/sec, 1075 secs
lola: 947392 markings, 1893902 edges, 967 markings/sec, 1080 secs
lola: 952284 markings, 1903675 edges, 978 markings/sec, 1085 secs
lola: 957172 markings, 1913442 edges, 978 markings/sec, 1090 secs
lola: 961954 markings, 1922996 edges, 956 markings/sec, 1095 secs
lola: 966814 markings, 1932707 edges, 972 markings/sec, 1100 secs
lola: 971790 markings, 1942650 edges, 995 markings/sec, 1105 secs
lola: 976641 markings, 1952341 edges, 970 markings/sec, 1110 secs
lola: 981393 markings, 1961836 edges, 950 markings/sec, 1115 secs
lola: 986135 markings, 1971309 edges, 948 markings/sec, 1120 secs
lola: 990725 markings, 1980481 edges, 918 markings/sec, 1125 secs
lola: 995345 markings, 1989712 edges, 924 markings/sec, 1130 secs
lola: 1000037 markings, 1999085 edges, 938 markings/sec, 1135 secs
lola: 1004714 markings, 2008433 edges, 935 markings/sec, 1140 secs
lola: 1009730 markings, 2018454 edges, 1003 markings/sec, 1145 secs
lola: 1014662 markings, 2028304 edges, 986 markings/sec, 1150 secs
lola: 1019814 markings, 2038601 edges, 1030 markings/sec, 1155 secs
lola: 1024970 markings, 2048900 edges, 1031 markings/sec, 1160 secs
lola: 1030216 markings, 2059380 edges, 1049 markings/sec, 1165 secs
lola: 1035741 markings, 2070423 edges, 1105 markings/sec, 1170 secs
lola: 1041013 markings, 2080954 edges, 1054 markings/sec, 1175 secs
lola: 1046176 markings, 2091268 edges, 1033 markings/sec, 1180 secs
lola: 1051377 markings, 2101661 edges, 1040 markings/sec, 1185 secs
lola: 1056816 markings, 2112528 edges, 1088 markings/sec, 1190 secs
lola: 1062063 markings, 2123013 edges, 1049 markings/sec, 1195 secs
lola: 1067357 markings, 2133589 edges, 1059 markings/sec, 1200 secs
lola: 1072560 markings, 2143984 edges, 1041 markings/sec, 1205 secs
lola: 1077758 markings, 2154371 edges, 1040 markings/sec, 1210 secs
lola: 1082977 markings, 2164798 edges, 1044 markings/sec, 1215 secs
lola: 1088217 markings, 2175269 edges, 1048 markings/sec, 1220 secs
lola: 1093542 markings, 2185907 edges, 1065 markings/sec, 1225 secs
lola: 1098579 markings, 2195972 edges, 1007 markings/sec, 1230 secs
lola: 1103741 markings, 2206285 edges, 1032 markings/sec, 1235 secs
lola: 1109000 markings, 2216792 edges, 1052 markings/sec, 1240 secs
lola: 1114255 markings, 2227293 edges, 1051 markings/sec, 1245 secs
lola: 1119883 markings, 2238537 edges, 1126 markings/sec, 1250 secs
lola: 1125603 markings, 2249965 edges, 1144 markings/sec, 1255 secs
lola: 1130932 markings, 2260612 edges, 1066 markings/sec, 1260 secs
lola: 1136275 markings, 2271291 edges, 1069 markings/sec, 1265 secs
lola: 1141604 markings, 2281935 edges, 1066 markings/sec, 1270 secs
lola: 1147385 markings, 2293486 edges, 1156 markings/sec, 1275 secs
lola: 1153217 markings, 2305138 edges, 1166 markings/sec, 1280 secs
lola: 1158905 markings, 2316504 edges, 1138 markings/sec, 1285 secs
lola: 1164525 markings, 2327733 edges, 1124 markings/sec, 1290 secs
lola: 1170405 markings, 2339481 edges, 1176 markings/sec, 1295 secs
lola: 1176317 markings, 2351293 edges, 1182 markings/sec, 1300 secs
lola: 1182184 markings, 2363015 edges, 1173 markings/sec, 1305 secs
lola: 1187967 markings, 2374570 edges, 1157 markings/sec, 1310 secs
lola: 1193787 markings, 2386199 edges, 1164 markings/sec, 1315 secs
lola: 1199632 markings, 2397876 edges, 1169 markings/sec, 1320 secs
lola: 1205435 markings, 2409470 edges, 1161 markings/sec, 1325 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1336 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 16056 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: RESULT
lola:
SUMMARY: 1 1 1 unknown 1 1 1 1 1 1 unknown 1 1 1 unknown 1
lola: ========================================
FORMULA AirplaneLD-COL-1000-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-1000-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-1000-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-1000-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-1000-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-1000-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-1000-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-1000-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-1000-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-1000-UpperBounds-9 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-1000-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-1000-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-1000-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-1000-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-1000-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AirplaneLD-COL-1000-UpperBounds-15 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496334273752
--------------------
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-1000"
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-1000.tgz
mv S_AirplaneLD-PT-1000 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-1000, 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-149441074000083"
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 '
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 ;