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)
........................................................
/home/mcc/execution
total 12M
-rw-r--r-- 1 mcc users 314K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 740K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 166K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 677K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 28K May 26 09:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 67K May 26 09:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 82K May 26 09:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 321K May 26 09:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 219K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 539K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 109 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 347 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 142K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 594K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 127K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 226K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 5 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 7.4M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is AirplaneLD-PT-1000, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r184-qhx2-152732127300033
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME AirplaneLD-PT-1000-LTLCardinality-00
FORMULA_NAME AirplaneLD-PT-1000-LTLCardinality-01
FORMULA_NAME AirplaneLD-PT-1000-LTLCardinality-02
FORMULA_NAME AirplaneLD-PT-1000-LTLCardinality-03
FORMULA_NAME AirplaneLD-PT-1000-LTLCardinality-04
FORMULA_NAME AirplaneLD-PT-1000-LTLCardinality-05
FORMULA_NAME AirplaneLD-PT-1000-LTLCardinality-06
FORMULA_NAME AirplaneLD-PT-1000-LTLCardinality-07
FORMULA_NAME AirplaneLD-PT-1000-LTLCardinality-08
FORMULA_NAME AirplaneLD-PT-1000-LTLCardinality-09
FORMULA_NAME AirplaneLD-PT-1000-LTLCardinality-10
FORMULA_NAME AirplaneLD-PT-1000-LTLCardinality-11
FORMULA_NAME AirplaneLD-PT-1000-LTLCardinality-12
FORMULA_NAME AirplaneLD-PT-1000-LTLCardinality-13
FORMULA_NAME AirplaneLD-PT-1000-LTLCardinality-14
FORMULA_NAME AirplaneLD-PT-1000-LTLCardinality-15

=== Now, execution of the tool begins

BK_START 1528182667365

info: Time: 3600 - MCC
===========================================================================================
prep: translating AirplaneLD-PT-1000 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating AirplaneLD-PT-1000 formula LTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking LTLCardinality @ AirplaneLD-PT-1000 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 15027/65536 symbol table entries, 931 collisions
lola: preprocessing...
lola: Size of bit vector: 224608
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-PT-1000-LTLCardinality.task
lola: LP says that atomic proposition is always false: (2 <= Weight_Left_Wheel_on + Weight_Left_Wheel_off)
lola: LP says that atomic proposition is always false: (2 <= 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)
lola: place invariant simplifies atomic proposition
lola: before: (AltitudePossibleVal_1316 <= Speed_Left_Wheel_867)
lola: after: (1 <= Speed_Left_Wheel_867)
lola: place invariant simplifies atomic proposition
lola: before: (SpeedPossibleVal_796 <= Speed_Left_Wheel_753)
lola: after: (1 <= Speed_Left_Wheel_753)
lola: place invariant simplifies atomic proposition
lola: before: (AltitudePossibleVal_115 <= Speed_Right_Wheel_452)
lola: after: (1 <= Speed_Right_Wheel_452)
lola: place invariant simplifies atomic proposition
lola: before: (Speed_Right_Wheel_253 <= SpeedPossibleVal_920)
lola: after: (Speed_Right_Wheel_253 <= 1)
lola: LP says that atomic proposition is always true: (Speed_Right_Wheel_253 <= 1)
lola: place invariant simplifies atomic proposition
lola: before: (SpeedPossibleVal_286 <= AltitudePossibleVal_1119)
lola: after: (0 <= 0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (TheAltitude_288 <= SpeedPossibleVal_377)
lola: after: (TheAltitude_288 <= 1)
lola: LP says that atomic proposition is always true: (TheAltitude_288 <= 1)
lola: place invariant simplifies atomic proposition
lola: before: (SpeedPossibleVal_957 <= Speed_Left_Wheel_195)
lola: after: (1 <= Speed_Left_Wheel_195)
lola: place invariant simplifies atomic proposition
lola: before: (AltitudePossibleVal_988 <= TheAltitude_414)
lola: after: (1 <= TheAltitude_414)
lola: place invariant simplifies atomic proposition
lola: before: (Speed_Left_Wheel_89 <= AltitudePossibleVal_1701)
lola: after: (Speed_Left_Wheel_89 <= 1)
lola: LP says that atomic proposition is always true: (Speed_Left_Wheel_89 <= 1)
lola: A (X (F ((FALSE U FALSE)))) : A (X (F (((P4 <= P6) U (Weight_Right_Wheel_off + Weight_Right_Wheel_on <= stp4))))) : A ((1 <= stp2)) : A (G ((1 <= Weight_Right_Wheel_off + Weight_Right_Wheel_on))) : A ((stp5 <= P6)) : A ((Weight_Right_Wheel_off + Weight_Right_Wheel_on <= P5)) : A (X (G (F ((1 <= P2))))) : A (F (X (G (X ((stp5 <= Plane_On_Ground_Signal_no_F + Plane_On_Ground_Signal_no_T)))))) : A (G (F (((1 <= Speed_Left_Wheel_867) U (TheAltitude_1576 <= Speed_Left_Wheel_415))))) : A (F (F (F ((1 <= Speed_Left_Wheel_753))))) : A (G ((1 <= Speed_Right_Wheel_452))) : A ((X (X (TRUE)) U X (F (TRUE)))) : A ((G (G (TRUE)) U (1 <= Speed_Left_Wheel_195))) : A (X ((1 <= TheAltitude_414))) : A (F (F ((TRUE U (TheAltitude_1959 <= Speed_Left_Wheel_242))))) : A (X ((Speed_Left_Wheel_651 <= TheAltitude_549)))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:142
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 34 rewrites
lola: closed formula file AirplaneLD-PT-1000-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA AirplaneLD-PT-1000-LTLCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 227 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= stp2)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= stp2)
lola: processed formula length: 11
lola: 34 rewrites
lola: closed formula file AirplaneLD-PT-1000-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA AirplaneLD-PT-1000-LTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (stp5 <= P6)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (stp5 <= P6)
lola: processed formula length: 12
lola: 34 rewrites
lola: closed formula file AirplaneLD-PT-1000-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA AirplaneLD-PT-1000-LTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 262 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (Weight_Right_Wheel_off + Weight_Right_Wheel_on <= P5)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (Weight_Right_Wheel_off + Weight_Right_Wheel_on <= P5)
lola: processed formula length: 54
lola: 34 rewrites
lola: closed formula file AirplaneLD-PT-1000-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA AirplaneLD-PT-1000-LTLCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 284 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((Weight_Right_Wheel_off + Weight_Right_Wheel_on <= stp4))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((Weight_Right_Wheel_off + Weight_Right_Wheel_on <= stp4))))
lola: processed formula length: 68
lola: 34 rewrites
lola: closed formula file AirplaneLD-PT-1000-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 4005 markings, 4004 edges

FORMULA AirplaneLD-PT-1000-LTLCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 309 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (TRUE))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (TRUE))
lola: processed formula length: 12
lola: 34 rewrites
lola: closed formula file AirplaneLD-PT-1000-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 4005 markings, 4004 edges
lola:
FORMULA AirplaneLD-PT-1000-LTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 6 will run for 340 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((1 <= TheAltitude_414)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((1 <= TheAltitude_414)))
lola: processed formula length: 30
lola: 34 rewrites
lola: closed formula file AirplaneLD-PT-1000-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 7 markings, 7 edges
lola: ========================================

FORMULA AirplaneLD-PT-1000-LTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((Speed_Left_Wheel_651 <= TheAltitude_549)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((Speed_Left_Wheel_651 <= TheAltitude_549)))
lola: processed formula length: 49
lola: 34 rewrites
lola: closed formula file AirplaneLD-PT-1000-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1325 markings, 1325 edges
lola: ========================================

FORMULA AirplaneLD-PT-1000-LTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 426 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((1 <= Speed_Right_Wheel_452)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((1 <= Speed_Right_Wheel_452)))
lola: processed formula length: 36
lola: 36 rewrites
lola: closed formula file AirplaneLD-PT-1000-LTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: formula 0: (Speed_Right_Wheel_452 <= 0)
lola: The predicate is not invariant.
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: 0 markings, 0 edges
lola: state equation: write sara problem file to AirplaneLD-PT-1000-LTLCardinality-8-0.sara
lola: ========================================

FORMULA AirplaneLD-PT-1000-LTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 486 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((1 <= Weight_Right_Wheel_off + Weight_Right_Wheel_on)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((1 <= Weight_Right_Wheel_off + Weight_Right_Wheel_on)))
lola: processed formula length: 61
lola: 36 rewrites
lola: closed formula file AirplaneLD-PT-1000-LTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (Weight_Right_Wheel_off + Weight_Right_Wheel_on <= 0)
lola: SUBRESULT
lola: result: no
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA AirplaneLD-PT-1000-LTLCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 568 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((1 <= Speed_Left_Wheel_753)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (Speed_Left_Wheel_753 <= 0)
lola: processed formula length: 27
lola: 36 rewrites
lola: closed formula file AirplaneLD-PT-1000-LTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 7 markings, 6 edges
lola: ========================================

FORMULA AirplaneLD-PT-1000-LTLCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 681 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((1 <= Speed_Left_Wheel_195)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (Speed_Left_Wheel_195 <= 0)
lola: processed formula length: 27
lola: 36 rewrites
lola: closed formula file AirplaneLD-PT-1000-LTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 7 markings, 6 edges
lola: ========================================

FORMULA AirplaneLD-PT-1000-LTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 851 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((TheAltitude_1959 <= Speed_Left_Wheel_242)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (Speed_Left_Wheel_242 + 1 <= TheAltitude_1959)
lola: processed formula length: 46
lola: 36 rewrites
lola: closed formula file AirplaneLD-PT-1000-LTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================

FORMULA AirplaneLD-PT-1000-LTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1135 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((1 <= P2))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((1 <= P2))))
lola: processed formula length: 21
lola: 34 rewrites
lola: closed formula file AirplaneLD-PT-1000-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 7 markings, 7 edges
lola: ========================================

FORMULA AirplaneLD-PT-1000-LTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1703 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((TheAltitude_1576 <= Speed_Left_Wheel_415))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((TheAltitude_1576 <= Speed_Left_Wheel_415))))
lola: processed formula length: 54
lola: 34 rewrites
lola: closed formula file AirplaneLD-PT-1000-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 6 markings, 5 edges, 1 markings/sec, 0 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 930 markings, 1852 edges
lola: ========================================

FORMULA AirplaneLD-PT-1000-LTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3400 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((stp5 <= Plane_On_Ground_Signal_no_F + Plane_On_Ground_Signal_no_T))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((stp5 <= Plane_On_Ground_Signal_no_F + Plane_On_Ground_Signal_no_T))))
lola: processed formula length: 79
lola: 34 rewrites
lola: closed formula file AirplaneLD-PT-1000-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 30546 markings, 90899 edges, 6109 markings/sec, 0 secs
lola: 62396 markings, 185743 edges, 6370 markings/sec, 5 secs
lola: 93128 markings, 277759 edges, 6146 markings/sec, 10 secs
lola: 122444 markings, 365799 edges, 5863 markings/sec, 15 secs
lola: 150673 markings, 451083 edges, 5646 markings/sec, 20 secs
lola: 177875 markings, 532414 edges, 5440 markings/sec, 25 secs
lola: 204276 markings, 610554 edges, 5280 markings/sec, 30 secs
lola: 230111 markings, 688389 edges, 5167 markings/sec, 35 secs
lola: 255340 markings, 763503 edges, 5046 markings/sec, 40 secs
lola: 279376 markings, 836909 edges, 4807 markings/sec, 45 secs
lola: 305180 markings, 909965 edges, 5161 markings/sec, 50 secs
lola: 345944 markings, 996387 edges, 8153 markings/sec, 55 secs
lola: 386348 markings, 1081171 edges, 8081 markings/sec, 60 secs
lola: 425619 markings, 1164256 edges, 7854 markings/sec, 65 secs
lola: 464386 markings, 1246351 edges, 7753 markings/sec, 70 secs
lola: 493156 markings, 1318898 edges, 5754 markings/sec, 75 secs
lola: 514252 markings, 1384537 edges, 4219 markings/sec, 80 secs
lola: 534482 markings, 1449254 edges, 4046 markings/sec, 85 secs
lola: 554853 markings, 1512647 edges, 4074 markings/sec, 90 secs
lola: 574739 markings, 1574991 edges, 3977 markings/sec, 95 secs
lola: 594364 markings, 1636441 edges, 3925 markings/sec, 100 secs
lola: 613394 markings, 1696650 edges, 3806 markings/sec, 105 secs
lola: 632020 markings, 1756013 edges, 3725 markings/sec, 110 secs
lola: 650627 markings, 1813927 edges, 3721 markings/sec, 115 secs
lola: 668837 markings, 1871546 edges, 3642 markings/sec, 120 secs
lola: 687052 markings, 1928350 edges, 3643 markings/sec, 125 secs
lola: 704791 markings, 1983015 edges, 3548 markings/sec, 130 secs
lola: 721834 markings, 2038376 edges, 3409 markings/sec, 135 secs
lola: 739574 markings, 2093030 edges, 3548 markings/sec, 140 secs
lola: 756999 markings, 2147402 edges, 3485 markings/sec, 145 secs
lola: 787019 markings, 2219609 edges, 6004 markings/sec, 150 secs
lola: 821785 markings, 2296937 edges, 6953 markings/sec, 155 secs
lola: 854962 markings, 2371881 edges, 6635 markings/sec, 160 secs
lola: 887346 markings, 2444438 edges, 6477 markings/sec, 165 secs
lola: 918985 markings, 2515876 edges, 6328 markings/sec, 170 secs
lola: 935627 markings, 2568213 edges, 3328 markings/sec, 175 secs
lola: 950821 markings, 2618614 edges, 3039 markings/sec, 180 secs
lola: 965646 markings, 2668425 edges, 2965 markings/sec, 185 secs
lola: 981096 markings, 2717812 edges, 3090 markings/sec, 190 secs
lola: 995608 markings, 2766952 edges, 2902 markings/sec, 195 secs
lola: 1010542 markings, 2815877 edges, 2987 markings/sec, 200 secs
lola: 1025364 markings, 2864392 edges, 2964 markings/sec, 205 secs
lola: 1039787 markings, 2912499 edges, 2885 markings/sec, 210 secs
lola: 1054020 markings, 2960543 edges, 2847 markings/sec, 215 secs
lola: 1068431 markings, 3007681 edges, 2882 markings/sec, 220 secs
lola: 1082652 markings, 3055028 edges, 2844 markings/sec, 225 secs
lola: 1097075 markings, 3101620 edges, 2885 markings/sec, 230 secs
lola: 1111296 markings, 3147994 edges, 2844 markings/sec, 235 secs
lola: 1124407 markings, 3193143 edges, 2622 markings/sec, 240 secs
lola: 1138373 markings, 3238373 edges, 2793 markings/sec, 245 secs
lola: 1152183 markings, 3283982 edges, 2762 markings/sec, 250 secs
lola: 1165980 markings, 3329272 edges, 2759 markings/sec, 255 secs
lola: 1179195 markings, 3374179 edges, 2643 markings/sec, 260 secs
lola: 1205337 markings, 3438586 edges, 5228 markings/sec, 265 secs
lola: 1232587 markings, 3505441 edges, 5450 markings/sec, 270 secs
lola: 1259478 markings, 3570458 edges, 5378 markings/sec, 275 secs
lola: 1285352 markings, 3633674 edges, 5175 markings/sec, 280 secs
lola: 1310603 markings, 3695209 edges, 5050 markings/sec, 285 secs
lola: 1329016 markings, 3746126 edges, 3683 markings/sec, 290 secs
lola: 1341038 markings, 3789656 edges, 2404 markings/sec, 295 secs
lola: 1353329 markings, 3832500 edges, 2458 markings/sec, 300 secs
lola: 1365678 markings, 3875501 edges, 2470 markings/sec, 305 secs
lola: 1378019 markings, 3918186 edges, 2468 markings/sec, 310 secs
lola: 1389984 markings, 3960106 edges, 2393 markings/sec, 315 secs
lola: 1401738 markings, 4001537 edges, 2351 markings/sec, 320 secs
lola: 1413758 markings, 4043338 edges, 2404 markings/sec, 325 secs
lola: 1425582 markings, 4084936 edges, 2365 markings/sec, 330 secs
lola: 1437289 markings, 4126169 edges, 2341 markings/sec, 335 secs
lola: 1449216 markings, 4166585 edges, 2385 markings/sec, 340 secs
lola: 1460885 markings, 4207247 edges, 2334 markings/sec, 345 secs
lola: 1472183 markings, 4247833 edges, 2260 markings/sec, 350 secs
lola: 1484075 markings, 4288690 edges, 2378 markings/sec, 355 secs
lola: 1495494 markings, 4329325 edges, 2284 markings/sec, 360 secs
lola: 1506912 markings, 4369623 edges, 2284 markings/sec, 365 secs
lola: 1518187 markings, 4408205 edges, 2255 markings/sec, 370 secs
lola: 1529271 markings, 4447363 edges, 2217 markings/sec, 375 secs
lola: 1540663 markings, 4487632 edges, 2278 markings/sec, 380 secs
lola: 1552588 markings, 4527478 edges, 2385 markings/sec, 385 secs
lola: 1564695 markings, 4569537 edges, 2421 markings/sec, 390 secs
lola: 1587119 markings, 4628355 edges, 4485 markings/sec, 395 secs
lola: 1608419 markings, 4685488 edges, 4260 markings/sec, 400 secs
lola: 1629516 markings, 4741401 edges, 4219 markings/sec, 405 secs
lola: 1649947 markings, 4795661 edges, 4086 markings/sec, 410 secs
lola: 1669270 markings, 4848113 edges, 3865 markings/sec, 415 secs
lola: 1682431 markings, 4908555 edges, 2632 markings/sec, 420 secs
lola: 1682525 markings, 5002850 edges, 19 markings/sec, 425 secs
lola: 1682607 markings, 5084932 edges, 16 markings/sec, 430 secs
lola: 1682680 markings, 5157938 edges, 15 markings/sec, 435 secs
lola: 1682743 markings, 5221711 edges, 13 markings/sec, 440 secs
lola: 1682800 markings, 5278078 edges, 11 markings/sec, 445 secs
lola: 1696629 markings, 5321004 edges, 2766 markings/sec, 450 secs
lola: 1712255 markings, 5362836 edges, 3125 markings/sec, 455 secs
lola: 1728038 markings, 5404794 edges, 3157 markings/sec, 460 secs
lola: 1744108 markings, 5447684 edges, 3214 markings/sec, 465 secs
lola: 1762811 markings, 5497483 edges, 3741 markings/sec, 470 secs
lola: 1781971 markings, 5548321 edges, 3832 markings/sec, 475 secs
lola: 1801203 markings, 5599597 edges, 3846 markings/sec, 480 secs
lola: 1825258 markings, 5663872 edges, 4811 markings/sec, 485 secs
lola: 1850451 markings, 5730617 edges, 5039 markings/sec, 490 secs
lola: 1881901 markings, 5814664 edges, 6290 markings/sec, 495 secs
lola: 1919796 markings, 5915592 edges, 7579 markings/sec, 500 secs
lola: 1958026 markings, 6017189 edges, 7646 markings/sec, 505 secs
lola: 1986705 markings, 6116815 edges, 5736 markings/sec, 510 secs
lola: 1995440 markings, 6192619 edges, 1747 markings/sec, 515 secs
lola: 2006583 markings, 6266369 edges, 2229 markings/sec, 520 secs
lola: 2026498 markings, 6360816 edges, 3983 markings/sec, 525 secs
lola: 2043618 markings, 6457582 edges, 3424 markings/sec, 530 secs
lola: 2043703 markings, 6541979 edges, 17 markings/sec, 535 secs
lola: 2043797 markings, 6636326 edges, 19 markings/sec, 540 secs
lola: 2043893 markings, 6732407 edges, 19 markings/sec, 545 secs
lola: 2043986 markings, 6825718 edges, 19 markings/sec, 550 secs
lola: 2049991 markings, 6870774 edges, 1201 markings/sec, 555 secs
lola: 2058433 markings, 6904968 edges, 1688 markings/sec, 560 secs
lola: 2066448 markings, 6939530 edges, 1603 markings/sec, 565 secs
lola: 2074853 markings, 6973887 edges, 1681 markings/sec, 570 secs
lola: 2082880 markings, 7007661 edges, 1605 markings/sec, 575 secs
lola: 2091402 markings, 7041997 edges, 1704 markings/sec, 580 secs
lola: 2100111 markings, 7076598 edges, 1742 markings/sec, 585 secs
lola: 2108216 markings, 7111714 edges, 1621 markings/sec, 590 secs
lola: 2116543 markings, 7146130 edges, 1665 markings/sec, 595 secs
lola: 2124995 markings, 7180582 edges, 1690 markings/sec, 600 secs
lola: 2133774 markings, 7215699 edges, 1756 markings/sec, 605 secs
lola: 2142000 markings, 7250801 edges, 1645 markings/sec, 610 secs
lola: 2150206 markings, 7285146 edges, 1641 markings/sec, 615 secs
lola: 2159008 markings, 7320008 edges, 1760 markings/sec, 620 secs
lola: 2167437 markings, 7355636 edges, 1686 markings/sec, 625 secs
lola: 2175854 markings, 7390711 edges, 1683 markings/sec, 630 secs
lola: 2184697 markings, 7425787 edges, 1769 markings/sec, 635 secs
lola: 2193135 markings, 7461712 edges, 1688 markings/sec, 640 secs
lola: 2201502 markings, 7496167 edges, 1673 markings/sec, 645 secs
lola: 2210990 markings, 7535045 edges, 1898 markings/sec, 650 secs
lola: 2220738 markings, 7575482 edges, 1950 markings/sec, 655 secs
lola: 2230356 markings, 7615460 edges, 1924 markings/sec, 660 secs
lola: 2240155 markings, 7655703 edges, 1960 markings/sec, 665 secs
lola: 2250237 markings, 7696265 edges, 2016 markings/sec, 670 secs
lola: 2260386 markings, 7736965 edges, 2030 markings/sec, 675 secs
lola: 2270029 markings, 7778287 edges, 1929 markings/sec, 680 secs
lola: 2279989 markings, 7819311 edges, 1992 markings/sec, 685 secs
lola: 2289667 markings, 7860081 edges, 1936 markings/sec, 690 secs
lola: 2300051 markings, 7901295 edges, 2077 markings/sec, 695 secs
lola: 2310104 markings, 7943124 edges, 2011 markings/sec, 700 secs
lola: 2320124 markings, 7985374 edges, 2004 markings/sec, 705 secs
lola: 2330943 markings, 8028036 edges, 2164 markings/sec, 710 secs
lola: 2340963 markings, 8071225 edges, 2004 markings/sec, 715 secs
lola: 2351782 markings, 8114305 edges, 2164 markings/sec, 720 secs
lola: 2361807 markings, 8157405 edges, 2005 markings/sec, 725 secs
lola: 2374280 markings, 8208209 edges, 2495 markings/sec, 730 secs
lola: 2387055 markings, 8260908 edges, 2555 markings/sec, 735 secs
lola: 2399976 markings, 8314047 edges, 2584 markings/sec, 740 secs
lola: 2412966 markings, 8367393 edges, 2598 markings/sec, 745 secs
lola: 2425922 markings, 8421225 edges, 2591 markings/sec, 750 secs
lola: 2439149 markings, 8475289 edges, 2645 markings/sec, 755 secs
lola: 2452771 markings, 8530178 edges, 2724 markings/sec, 760 secs
lola: 2465997 markings, 8585925 edges, 2645 markings/sec, 765 secs
lola: 2479600 markings, 8641192 edges, 2721 markings/sec, 770 secs
lola: 2493052 markings, 8697502 edges, 2690 markings/sec, 775 secs
lola: 2506903 markings, 8753597 edges, 2770 markings/sec, 780 secs
lola: 2520499 markings, 8810684 edges, 2719 markings/sec, 785 secs
lola: 2537693 markings, 8879778 edges, 3439 markings/sec, 790 secs
lola: 2555765 markings, 8956553 edges, 3614 markings/sec, 795 secs
lola: 2574777 markings, 9034323 edges, 3802 markings/sec, 800 secs
lola: 2593835 markings, 9112851 edges, 3812 markings/sec, 805 secs
lola: 2613256 markings, 9192887 edges, 3884 markings/sec, 810 secs
lola: 2632794 markings, 9273981 edges, 3908 markings/sec, 815 secs
lola: 2653146 markings, 9356104 edges, 4070 markings/sec, 820 secs
lola: 2673178 markings, 9439748 edges, 4006 markings/sec, 825 secs
lola: 2693428 markings, 9523256 edges, 4050 markings/sec, 830 secs
lola: 2714225 markings, 9609005 edges, 4159 markings/sec, 835 secs
lola: 2735301 markings, 9696123 edges, 4215 markings/sec, 840 secs
lola: 2757211 markings, 9784615 edges, 4382 markings/sec, 845 secs
lola: 2778843 markings, 9875478 edges, 4326 markings/sec, 850 secs
lola: 2801434 markings, 9968260 edges, 4518 markings/sec, 855 secs
lola: 2824006 markings, 10061003 edges, 4514 markings/sec, 860 secs
lola: 2847109 markings, 10155704 edges, 4621 markings/sec, 865 secs
lola: 2851450 markings, 10245840 edges, 868 markings/sec, 870 secs
lola: 2855795 markings, 10337153 edges, 869 markings/sec, 875 secs
lola: 2862251 markings, 10371650 edges, 1291 markings/sec, 880 secs
lola: 2868705 markings, 10400109 edges, 1291 markings/sec, 885 secs
lola: 2872574 markings, 10465577 edges, 774 markings/sec, 890 secs
lola: 2888308 markings, 10554068 edges, 3147 markings/sec, 895 secs
lola: 2903882 markings, 10642733 edges, 3115 markings/sec, 900 secs
lola: 2919234 markings, 10732519 edges, 3070 markings/sec, 905 secs
lola: 2934340 markings, 10822546 edges, 3021 markings/sec, 910 secs
lola: 2949244 markings, 10913032 edges, 2981 markings/sec, 915 secs
lola: 2965333 markings, 11005492 edges, 3218 markings/sec, 920 secs
lola: 2986806 markings, 11102755 edges, 4295 markings/sec, 925 secs
lola: 3006195 markings, 11200131 edges, 3878 markings/sec, 930 secs
lola: 3006285 markings, 11289774 edges, 18 markings/sec, 935 secs
lola: 3006376 markings, 11380634 edges, 18 markings/sec, 940 secs
lola: 3006459 markings, 11463458 edges, 17 markings/sec, 945 secs
lola: 3006554 markings, 11558818 edges, 19 markings/sec, 950 secs
lola: 3006648 markings, 11653489 edges, 19 markings/sec, 955 secs
lola: 3006745 markings, 11750054 edges, 19 markings/sec, 960 secs
lola: 3006841 markings, 11846004 edges, 19 markings/sec, 965 secs
lola: 3006934 markings, 11939092 edges, 19 markings/sec, 970 secs
lola: 3008811 markings, 12020504 edges, 375 markings/sec, 975 secs
lola: 3041241 markings, 12117056 edges, 6486 markings/sec, 980 secs
lola: 3072668 markings, 12211283 edges, 6285 markings/sec, 985 secs
lola: 3103136 markings, 12302264 edges, 6094 markings/sec, 990 secs
lola: 3132077 markings, 12390062 edges, 5788 markings/sec, 995 secs
lola: 3160212 markings, 12474288 edges, 5627 markings/sec, 1000 secs
lola: 3187248 markings, 12555770 edges, 5407 markings/sec, 1005 secs
lola: 3214198 markings, 12635250 edges, 5390 markings/sec, 1010 secs
lola: 3239863 markings, 12712564 edges, 5133 markings/sec, 1015 secs
lola: 3264845 markings, 12787511 edges, 4996 markings/sec, 1020 secs
lola: 3289384 markings, 12861022 edges, 4908 markings/sec, 1025 secs
lola: 3317318 markings, 12936968 edges, 5587 markings/sec, 1030 secs
lola: 3358255 markings, 13023651 edges, 8187 markings/sec, 1035 secs
lola: 3398832 markings, 13108695 edges, 8115 markings/sec, 1040 secs
lola: 3438558 markings, 13192461 edges, 7945 markings/sec, 1045 secs
lola: 3477519 markings, 13275081 edges, 7792 markings/sec, 1050 secs
lola: 3503489 markings, 13345758 edges, 5194 markings/sec, 1055 secs
lola: 3524211 markings, 13411671 edges, 4144 markings/sec, 1060 secs
lola: 3545200 markings, 13476152 edges, 4198 markings/sec, 1065 secs
lola: 3565190 markings, 13539516 edges, 3998 markings/sec, 1070 secs
lola: 3585132 markings, 13601786 edges, 3988 markings/sec, 1075 secs
lola: 3604605 markings, 13663117 edges, 3895 markings/sec, 1080 secs
lola: 3623803 markings, 13723474 edges, 3840 markings/sec, 1085 secs
lola: 3642818 markings, 13782922 edges, 3803 markings/sec, 1090 secs
lola: 3661456 markings, 13841240 edges, 3728 markings/sec, 1095 secs
lola: 3679883 markings, 13899080 edges, 3685 markings/sec, 1100 secs
lola: 3697908 markings, 13955554 edges, 3605 markings/sec, 1105 secs
lola: 3715734 markings, 14011906 edges, 3565 markings/sec, 1110 secs
lola: 3733159 markings, 14067240 edges, 3485 markings/sec, 1115 secs
lola: 3750873 markings, 14121951 edges, 3543 markings/sec, 1120 secs
lola: 3768008 markings, 14175880 edges, 3427 markings/sec, 1125 secs
lola: 3802079 markings, 14253694 edges, 6814 markings/sec, 1130 secs
lola: 3836500 markings, 14330504 edges, 6884 markings/sec, 1135 secs
lola: 3869482 markings, 14405156 edges, 6596 markings/sec, 1140 secs
lola: 3901791 markings, 14477600 edges, 6462 markings/sec, 1145 secs
lola: 3930812 markings, 14545095 edges, 5804 markings/sec, 1150 secs
lola: 3946325 markings, 14595629 edges, 3103 markings/sec, 1155 secs
lola: 3961140 markings, 14645646 edges, 2963 markings/sec, 1160 secs
lola: 3976433 markings, 14695622 edges, 3059 markings/sec, 1165 secs
lola: 3991090 markings, 14745063 edges, 2931 markings/sec, 1170 secs
lola: 4006328 markings, 14793990 edges, 3048 markings/sec, 1175 secs
lola: 4020751 markings, 14842688 edges, 2885 markings/sec, 1180 secs
lola: 4035160 markings, 14891017 edges, 2882 markings/sec, 1185 secs
lola: 4049987 markings, 14938872 edges, 2965 markings/sec, 1190 secs
lola: 4064374 markings, 14986651 edges, 2877 markings/sec, 1195 secs
lola: 4078678 markings, 15033633 edges, 2861 markings/sec, 1200 secs
lola: 4092466 markings, 15080396 edges, 2758 markings/sec, 1205 secs
lola: 4106683 markings, 15126552 edges, 2843 markings/sec, 1210 secs
lola: 4120891 markings, 15172427 edges, 2842 markings/sec, 1215 secs
lola: 4134300 markings, 15218376 edges, 2682 markings/sec, 1220 secs
lola: 4148347 markings, 15263892 edges, 2809 markings/sec, 1225 secs
lola: 4161945 markings, 15308902 edges, 2720 markings/sec, 1230 secs
lola: 4175588 markings, 15353894 edges, 2729 markings/sec, 1235 secs
lola: 4189298 markings, 15399244 edges, 2742 markings/sec, 1240 secs
lola: 4217536 markings, 15467581 edges, 5648 markings/sec, 1245 secs
lola: 4244688 markings, 15533574 edges, 5430 markings/sec, 1250 secs
lola: 4271323 markings, 15597726 edges, 5327 markings/sec, 1255 secs
lola: 4296563 markings, 15660164 edges, 5048 markings/sec, 1260 secs
lola: 4321798 markings, 15720835 edges, 5047 markings/sec, 1265 secs
lola: 4337696 markings, 15768577 edges, 3180 markings/sec, 1270 secs
lola: 4350335 markings, 15811845 edges, 2528 markings/sec, 1275 secs
lola: 4362464 markings, 15854830 edges, 2426 markings/sec, 1280 secs
lola: 4374484 markings, 15897860 edges, 2404 markings/sec, 1285 secs
lola: 4386617 markings, 15940491 edges, 2427 markings/sec, 1290 secs
lola: 4398609 markings, 15982436 edges, 2398 markings/sec, 1295 secs
lola: 4410544 markings, 16024188 edges, 2387 markings/sec, 1300 secs
lola: 4422564 markings, 16064310 edges, 2404 markings/sec, 1305 secs
lola: 4434212 markings, 16105527 edges, 2330 markings/sec, 1310 secs
lola: 4445860 markings, 16146814 edges, 2330 markings/sec, 1315 secs
lola: 4457444 markings, 16187973 edges, 2317 markings/sec, 1320 secs
lola: 4469443 markings, 16229109 edges, 2400 markings/sec, 1325 secs
lola: 4481030 markings, 16270126 edges, 2317 markings/sec, 1330 secs
lola: 4492680 markings, 16311084 edges, 2330 markings/sec, 1335 secs
lola: 4504300 markings, 16351790 edges, 2324 markings/sec, 1340 secs
lola: 4516284 markings, 16392004 edges, 2397 markings/sec, 1345 secs
lola: 4527395 markings, 16432217 edges, 2222 markings/sec, 1350 secs
lola: 4539142 markings, 16472702 edges, 2349 markings/sec, 1355 secs
lola: 4550379 markings, 16512832 edges, 2247 markings/sec, 1360 secs
lola: 4561996 markings, 16552886 edges, 2323 markings/sec, 1365 secs
lola: 4577508 markings, 16599852 edges, 3102 markings/sec, 1370 secs
lola: 4599258 markings, 16658206 edges, 4350 markings/sec, 1375 secs
lola: 4620708 markings, 16715016 edges, 4290 markings/sec, 1380 secs
lola: 4641328 markings, 16770149 edges, 4124 markings/sec, 1385 secs
lola: 4661303 markings, 16823476 edges, 3995 markings/sec, 1390 secs
lola: 4680991 markings, 16875648 edges, 3938 markings/sec, 1395 secs
lola: 4689457 markings, 16946626 edges, 1693 markings/sec, 1400 secs
lola: 4689549 markings, 17038596 edges, 18 markings/sec, 1405 secs
lola: 4689630 markings, 17120619 edges, 16 markings/sec, 1410 secs
lola: 4689701 markings, 17191089 edges, 14 markings/sec, 1415 secs
lola: 4689762 markings, 17252742 edges, 12 markings/sec, 1420 secs
lola: 4692020 markings, 17306029 edges, 452 markings/sec, 1425 secs
lola: 4707747 markings, 17347856 edges, 3145 markings/sec, 1430 secs
lola: 4723466 markings, 17389836 edges, 3144 markings/sec, 1435 secs
lola: 4739350 markings, 17432210 edges, 3177 markings/sec, 1440 secs
lola: 4756222 markings, 17477126 edges, 3374 markings/sec, 1445 secs
lola: 4774942 markings, 17526933 edges, 3744 markings/sec, 1450 secs
lola: 4793783 markings, 17577272 edges, 3768 markings/sec, 1455 secs
lola: 4813863 markings, 17630711 edges, 4016 markings/sec, 1460 secs
lola: 4838550 markings, 17696445 edges, 4937 markings/sec, 1465 secs
lola: 4863567 markings, 17763236 edges, 5003 markings/sec, 1470 secs
lola: 4897916 markings, 17854676 edges, 6870 markings/sec, 1475 secs
lola: 4935983 markings, 17955948 edges, 7613 markings/sec, 1480 secs
lola: 4974522 markings, 18058562 edges, 7708 markings/sec, 1485 secs
lola: 4995809 markings, 18155650 edges, 4257 markings/sec, 1490 secs
lola: 5004839 markings, 18218095 edges, 1806 markings/sec, 1495 secs
lola: 5018851 markings, 18307055 edges, 2802 markings/sec, 1500 secs
lola: 5038082 markings, 18402275 edges, 3846 markings/sec, 1505 secs
lola: 5050647 markings, 18498034 edges, 2513 markings/sec, 1510 secs
lola: 5050733 markings, 18584806 edges, 17 markings/sec, 1515 secs
lola: 5050828 markings, 18679750 edges, 19 markings/sec, 1520 secs
lola: 5050925 markings, 18776126 edges, 19 markings/sec, 1525 secs
lola: 5051010 markings, 18862952 edges, 17 markings/sec, 1530 secs
lola: 5059399 markings, 18897363 edges, 1678 markings/sec, 1535 secs
lola: 5067442 markings, 18931406 edges, 1609 markings/sec, 1540 secs
lola: 5076154 markings, 18965898 edges, 1742 markings/sec, 1545 secs
lola: 5084673 markings, 19000547 edges, 1704 markings/sec, 1550 secs
lola: 5092909 markings, 19035629 edges, 1647 markings/sec, 1555 secs
lola: 5101105 markings, 19070014 edges, 1639 markings/sec, 1560 secs
lola: 5109844 markings, 19104678 edges, 1748 markings/sec, 1565 secs
lola: 5118336 markings, 19139874 edges, 1698 markings/sec, 1570 secs
lola: 5126753 markings, 19174970 edges, 1683 markings/sec, 1575 secs
lola: 5135068 markings, 19209527 edges, 1663 markings/sec, 1580 secs
lola: 5143984 markings, 19244529 edges, 1783 markings/sec, 1585 secs
lola: 5152014 markings, 19279433 edges, 1606 markings/sec, 1590 secs
lola: 5160416 markings, 19313898 edges, 1680 markings/sec, 1595 secs
lola: 5169022 markings, 19348835 edges, 1721 markings/sec, 1600 secs
lola: 5177647 markings, 19384660 edges, 1725 markings/sec, 1605 secs
lola: 5186064 markings, 19419993 edges, 1683 markings/sec, 1610 secs
lola: 5195070 markings, 19455330 edges, 1801 markings/sec, 1615 secs
lola: 5203451 markings, 19491246 edges, 1676 markings/sec, 1620 secs
lola: 5212091 markings, 19526772 edges, 1728 markings/sec, 1625 secs
lola: 5222157 markings, 19567304 edges, 2013 markings/sec, 1630 secs
lola: 5232149 markings, 19607928 edges, 1998 markings/sec, 1635 secs
lola: 5241767 markings, 19649294 edges, 1924 markings/sec, 1640 secs
lola: 5251613 markings, 19689643 edges, 1969 markings/sec, 1645 secs
lola: 5261405 markings, 19730578 edges, 1958 markings/sec, 1650 secs
lola: 5271844 markings, 19772078 edges, 2088 markings/sec, 1655 secs
lola: 5281842 markings, 19813714 edges, 2000 markings/sec, 1660 secs
lola: 5291862 markings, 19855517 edges, 2004 markings/sec, 1665 secs
lola: 5302029 markings, 19897047 edges, 2033 markings/sec, 1670 secs
lola: 5312299 markings, 19939536 edges, 2054 markings/sec, 1675 secs
lola: 5322319 markings, 19981552 edges, 2004 markings/sec, 1680 secs
lola: 5333092 markings, 20023773 edges, 2155 markings/sec, 1685 secs
lola: 5343132 markings, 20066628 edges, 2008 markings/sec, 1690 secs
lola: 5353553 markings, 20108896 edges, 2084 markings/sec, 1695 secs
lola: 5363795 markings, 20151979 edges, 2048 markings/sec, 1700 secs
lola: 5374816 markings, 20197164 edges, 2204 markings/sec, 1705 secs
lola: 5387640 markings, 20248502 edges, 2565 markings/sec, 1710 secs
lola: 5400097 markings, 20300583 edges, 2491 markings/sec, 1715 secs
lola: 5412763 markings, 20353117 edges, 2533 markings/sec, 1720 secs
lola: 5425583 markings, 20405956 edges, 2564 markings/sec, 1725 secs
lola: 5438578 markings, 20459146 edges, 2599 markings/sec, 1730 secs
lola: 5451743 markings, 20512677 edges, 2633 markings/sec, 1735 secs
lola: 5464624 markings, 20567677 edges, 2576 markings/sec, 1740 secs
lola: 5477810 markings, 20622313 edges, 2637 markings/sec, 1745 secs
lola: 5491526 markings, 20677243 edges, 2743 markings/sec, 1750 secs
lola: 5504937 markings, 20733543 edges, 2682 markings/sec, 1755 secs
lola: 5518593 markings, 20789177 edges, 2731 markings/sec, 1760 secs
lola: 5532142 markings, 20845706 edges, 2710 markings/sec, 1765 secs
lola: 5550096 markings, 20920182 edges, 3591 markings/sec, 1770 secs
lola: 5568820 markings, 20997070 edges, 3745 markings/sec, 1775 secs
lola: 5588015 markings, 21074360 edges, 3839 markings/sec, 1780 secs
lola: 5606889 markings, 21152768 edges, 3775 markings/sec, 1785 secs
lola: 5626235 markings, 21232259 edges, 3869 markings/sec, 1790 secs
lola: 5645723 markings, 21313252 edges, 3898 markings/sec, 1795 secs
lola: 5665361 markings, 21395023 edges, 3928 markings/sec, 1800 secs
lola: 5684992 markings, 21475574 edges, 3926 markings/sec, 1805 secs
lola: 5705034 markings, 21556633 edges, 4008 markings/sec, 1810 secs
lola: 5725873 markings, 21642379 edges, 4168 markings/sec, 1815 secs
lola: 5746659 markings, 21728109 edges, 4157 markings/sec, 1820 secs
lola: 5767730 markings, 21816627 edges, 4214 markings/sec, 1825 secs
lola: 5789993 markings, 21907556 edges, 4453 markings/sec, 1830 secs
lola: 5812411 markings, 21999012 edges, 4484 markings/sec, 1835 secs
lola: 5834877 markings, 22092430 edges, 4493 markings/sec, 1840 secs
lola: 5854818 markings, 22186356 edges, 3988 markings/sec, 1845 secs
lola: 5859161 markings, 22276526 edges, 869 markings/sec, 1850 secs
lola: 5863605 markings, 22363732 edges, 889 markings/sec, 1855 secs
lola: 5870352 markings, 22391655 edges, 1349 markings/sec, 1860 secs
lola: 5876820 markings, 22420228 edges, 1294 markings/sec, 1865 secs
lola: 5880061 markings, 22493813 edges, 648 markings/sec, 1870 secs
lola: 5895802 markings, 22581943 edges, 3148 markings/sec, 1875 secs
lola: 5911254 markings, 22669538 edges, 3090 markings/sec, 1880 secs
lola: 5926548 markings, 22758923 edges, 3059 markings/sec, 1885 secs
lola: 5942055 markings, 22848015 edges, 3101 markings/sec, 1890 secs
lola: 5957673 markings, 22936465 edges, 3124 markings/sec, 1895 secs
lola: 5973978 markings, 23028596 edges, 3261 markings/sec, 1900 secs
lola: 5995223 markings, 23125796 edges, 4249 markings/sec, 1905 secs
lola: 6013205 markings, 23221906 edges, 3596 markings/sec, 1910 secs
lola: 6013294 markings, 23311165 edges, 18 markings/sec, 1915 secs
lola: 6013384 markings, 23401310 edges, 18 markings/sec, 1920 secs
lola: 6013465 markings, 23481613 edges, 16 markings/sec, 1925 secs
lola: 6013558 markings, 23574769 edges, 19 markings/sec, 1930 secs
lola: 6013650 markings, 23666701 edges, 18 markings/sec, 1935 secs
lola: 6013745 markings, 23761746 edges, 19 markings/sec, 1940 secs
lola: 6013840 markings, 23856889 edges, 19 markings/sec, 1945 secs
lola: 6013931 markings, 23948757 edges, 18 markings/sec, 1950 secs
lola: 6014011 markings, 24031877 edges, 16 markings/sec, 1955 secs
lola: 6044052 markings, 24120345 edges, 6008 markings/sec, 1960 secs
lola: 6074092 markings, 24210922 edges, 6008 markings/sec, 1965 secs
lola: 6102931 markings, 24297599 edges, 5768 markings/sec, 1970 secs
lola: 6131613 markings, 24383990 edges, 5736 markings/sec, 1975 secs
lola: 6159950 markings, 24467793 edges, 5667 markings/sec, 1980 secs
lola: 6187008 markings, 24548892 edges, 5412 markings/sec, 1985 secs
lola: 6212702 markings, 24627121 edges, 5139 markings/sec, 1990 secs
lola: 6238182 markings, 24703204 edges, 5096 markings/sec, 1995 secs
lola: 6263070 markings, 24776964 edges, 4978 markings/sec, 2000 secs
lola: 6287376 markings, 24850022 edges, 4861 markings/sec, 2005 secs
lola: 6311408 markings, 24922098 edges, 4806 markings/sec, 2010 secs
lola: 6349565 markings, 25006225 edges, 7631 markings/sec, 2015 secs
lola: 6390093 markings, 25091261 edges, 8106 markings/sec, 2020 secs
lola: 6429740 markings, 25175089 edges, 7929 markings/sec, 2025 secs
lola: 6468703 markings, 25257466 edges, 7793 markings/sec, 2030 secs
lola: 6501745 markings, 25333676 edges, 6608 markings/sec, 2035 secs
lola: 6522652 markings, 25399868 edges, 4181 markings/sec, 2040 secs
lola: 6543124 markings, 25464057 edges, 4094 markings/sec, 2045 secs
lola: 6563212 markings, 25526965 edges, 4018 markings/sec, 2050 secs
lola: 6583139 markings, 25589391 edges, 3985 markings/sec, 2055 secs
lola: 6602762 markings, 25650838 edges, 3925 markings/sec, 2060 secs
lola: 6621794 markings, 25711065 edges, 3806 markings/sec, 2065 secs
lola: 6640420 markings, 25770578 edges, 3725 markings/sec, 2070 secs
lola: 6659258 markings, 25828788 edges, 3768 markings/sec, 2075 secs
lola: 6676931 markings, 25885380 edges, 3535 markings/sec, 2080 secs
lola: 6695299 markings, 25941564 edges, 3674 markings/sec, 2085 secs
lola: 6713108 markings, 25997250 edges, 3562 markings/sec, 2090 secs
lola: 6730148 markings, 26051824 edges, 3408 markings/sec, 2095 secs
lola: 6747015 markings, 26105484 edges, 3373 markings/sec, 2100 secs
lola: 6764017 markings, 26158692 edges, 3400 markings/sec, 2105 secs
lola: 6787147 markings, 26220011 edges, 4626 markings/sec, 2110 secs
lola: 6820333 markings, 26294968 edges, 6637 markings/sec, 2115 secs
lola: 6851798 markings, 26364947 edges, 6293 markings/sec, 2120 secs
lola: 6883145 markings, 26435947 edges, 6269 markings/sec, 2125 secs
lola: 6914383 markings, 26505774 edges, 6248 markings/sec, 2130 secs
lola: 6940420 markings, 26568852 edges, 5207 markings/sec, 2135 secs
lola: 6954843 markings, 26617892 edges, 2885 markings/sec, 2140 secs
lola: 6969866 markings, 26667396 edges, 3005 markings/sec, 2145 secs
lola: 6984688 markings, 26716708 edges, 2964 markings/sec, 2150 secs
lola: 6999393 markings, 26764925 edges, 2941 markings/sec, 2155 secs
lola: 7013963 markings, 26813113 edges, 2914 markings/sec, 2160 secs
lola: 7028820 markings, 26861158 edges, 2971 markings/sec, 2165 secs
lola: 7043048 markings, 26909004 edges, 2846 markings/sec, 2170 secs
lola: 7057600 markings, 26956415 edges, 2910 markings/sec, 2175 secs
lola: 7071555 markings, 27003396 edges, 2791 markings/sec, 2180 secs
lola: 7085929 markings, 27050133 edges, 2875 markings/sec, 2185 secs
lola: 7099654 markings, 27096710 edges, 2745 markings/sec, 2190 secs
lola: 7113687 markings, 27142686 edges, 2807 markings/sec, 2195 secs
lola: 7127852 markings, 27188346 edges, 2833 markings/sec, 2200 secs
lola: 7140928 markings, 27231572 edges, 2615 markings/sec, 2205 secs
lola: 7153738 markings, 27274099 edges, 2562 markings/sec, 2210 secs
lola: 7166731 markings, 27317075 edges, 2599 markings/sec, 2215 secs
lola: 7179988 markings, 27362010 edges, 2651 markings/sec, 2220 secs
lola: 7193371 markings, 27406479 edges, 2677 markings/sec, 2225 secs
lola: 7219300 markings, 27470531 edges, 5186 markings/sec, 2230 secs
lola: 7246272 markings, 27536968 edges, 5394 markings/sec, 2235 secs
lola: 7272863 markings, 27601537 edges, 5318 markings/sec, 2240 secs
lola: 7298972 markings, 27664082 edges, 5222 markings/sec, 2245 secs
lola: 7323993 markings, 27724994 edges, 5004 markings/sec, 2250 secs
lola: 7342228 markings, 27776039 edges, 3647 markings/sec, 2255 secs
lola: 7354367 markings, 27818309 edges, 2428 markings/sec, 2260 secs
lola: 7366935 markings, 27861433 edges, 2514 markings/sec, 2265 secs
lola: 7379084 markings, 27903896 edges, 2430 markings/sec, 2270 secs
lola: 7391104 markings, 27946497 edges, 2404 markings/sec, 2275 secs
lola: 7403124 markings, 27987908 edges, 2404 markings/sec, 2280 secs
lola: 7414364 markings, 28028252 edges, 2248 markings/sec, 2285 secs
lola: 7425963 markings, 28068765 edges, 2320 markings/sec, 2290 secs
lola: 7437665 markings, 28109835 edges, 2340 markings/sec, 2295 secs
lola: 7449056 markings, 28150265 edges, 2278 markings/sec, 2300 secs
lola: 7460820 markings, 28190007 edges, 2353 markings/sec, 2305 secs
lola: 7472219 markings, 28230314 edges, 2280 markings/sec, 2310 secs
lola: 7483659 markings, 28270437 edges, 2288 markings/sec, 2315 secs
lola: 7495041 markings, 28310553 edges, 2276 markings/sec, 2320 secs
lola: 7506496 markings, 28350202 edges, 2291 markings/sec, 2325 secs
lola: 7517674 markings, 28389585 edges, 2236 markings/sec, 2330 secs
lola: 7529151 markings, 28429531 edges, 2295 markings/sec, 2335 secs
lola: 7540152 markings, 28466924 edges, 2200 markings/sec, 2340 secs
lola: 7550900 markings, 28505410 edges, 2150 markings/sec, 2345 secs
lola: 7561997 markings, 28545204 edges, 2219 markings/sec, 2350 secs
lola: 7572924 markings, 28582841 edges, 2185 markings/sec, 2355 secs
lola: 7591838 markings, 28635981 edges, 3783 markings/sec, 2360 secs
lola: 7612701 markings, 28691718 edges, 4173 markings/sec, 2365 secs
lola: 7633907 markings, 28747710 edges, 4241 markings/sec, 2370 secs
lola: 7653137 markings, 28798717 edges, 3846 markings/sec, 2375 secs
lola: 7671465 markings, 28848416 edges, 3666 markings/sec, 2380 secs
lola: 7690402 markings, 28898205 edges, 3787 markings/sec, 2385 secs
lola: 7696471 markings, 28973292 edges, 1214 markings/sec, 2390 secs
lola: 7696562 markings, 29063565 edges, 18 markings/sec, 2395 secs
lola: 7696641 markings, 29143435 edges, 16 markings/sec, 2400 secs
lola: 7696710 markings, 29211928 edges, 14 markings/sec, 2405 secs
lola: 7696769 markings, 29271262 edges, 12 markings/sec, 2410 secs
lola: 7698685 markings, 29321357 edges, 383 markings/sec, 2415 secs
lola: 7714243 markings, 29362591 edges, 3112 markings/sec, 2420 secs
lola: 7729650 markings, 29403635 edges, 3081 markings/sec, 2425 secs
lola: 7744306 markings, 29442923 edges, 2931 markings/sec, 2430 secs
lola: 7760520 markings, 29486049 edges, 3243 markings/sec, 2435 secs
lola: 7779058 markings, 29535170 edges, 3708 markings/sec, 2440 secs
lola: 7797479 markings, 29584381 edges, 3684 markings/sec, 2445 secs
lola: 7816240 markings, 29634272 edges, 3752 markings/sec, 2450 secs
lola: 7840354 markings, 29698460 edges, 4823 markings/sec, 2455 secs
lola: 7864493 markings, 29762867 edges, 4828 markings/sec, 2460 secs
lola: 7894543 markings, 29843077 edges, 6010 markings/sec, 2465 secs
lola: 7932406 markings, 29943804 edges, 7573 markings/sec, 2470 secs
lola: 7970622 markings, 30045577 edges, 7643 markings/sec, 2475 secs
lola: 8000413 markings, 30144878 edges, 5958 markings/sec, 2480 secs
lola: 8008776 markings, 30222798 edges, 1673 markings/sec, 2485 secs
lola: 8019703 markings, 30288746 edges, 2185 markings/sec, 2490 secs
lola: 8036034 markings, 30375807 edges, 3266 markings/sec, 2495 secs
lola: 8057607 markings, 30470537 edges, 4315 markings/sec, 2500 secs
lola: 8057691 markings, 30554321 edges, 17 markings/sec, 2505 secs
lola: 8057774 markings, 30637584 edges, 17 markings/sec, 2510 secs
lola: 8057868 markings, 30731661 edges, 19 markings/sec, 2515 secs
lola: 8057963 markings, 30826757 edges, 19 markings/sec, 2520 secs
lola: 8061219 markings, 30890426 edges, 651 markings/sec, 2525 secs
lola: 8069235 markings, 30924182 edges, 1603 markings/sec, 2530 secs
lola: 8076761 markings, 30955511 edges, 1505 markings/sec, 2535 secs
lola: 8084283 markings, 30987555 edges, 1504 markings/sec, 2540 secs
lola: 8092462 markings, 31020912 edges, 1636 markings/sec, 2545 secs
lola: 8101030 markings, 31055049 edges, 1714 markings/sec, 2550 secs
lola: 8109310 markings, 31089389 edges, 1656 markings/sec, 2555 secs
lola: 8117459 markings, 31124041 edges, 1630 markings/sec, 2560 secs
lola: 8125637 markings, 31157559 edges, 1636 markings/sec, 2565 secs
lola: 8133559 markings, 31190311 edges, 1584 markings/sec, 2570 secs
lola: 8141772 markings, 31224633 edges, 1643 markings/sec, 2575 secs
lola: 8150134 markings, 31258657 edges, 1672 markings/sec, 2580 secs
lola: 8158668 markings, 31292724 edges, 1707 markings/sec, 2585 secs
lola: 8167018 markings, 31327538 edges, 1670 markings/sec, 2590 secs
lola: 8175033 markings, 31361123 edges, 1603 markings/sec, 2595 secs
lola: 8183450 markings, 31395918 edges, 1683 markings/sec, 2600 secs
lola: 8192011 markings, 31430809 edges, 1712 markings/sec, 2605 secs
lola: 8200681 markings, 31466568 edges, 1734 markings/sec, 2610 secs
lola: 8209098 markings, 31501949 edges, 1683 markings/sec, 2615 secs
lola: 8217989 markings, 31537167 edges, 1778 markings/sec, 2620 secs
lola: 8227845 markings, 31577279 edges, 1971 markings/sec, 2625 secs
lola: 8237550 markings, 31618150 edges, 1941 markings/sec, 2630 secs
lola: 8247349 markings, 31659267 edges, 1960 markings/sec, 2635 secs
lola: 8257188 markings, 31700093 edges, 1968 markings/sec, 2640 secs
lola: 8267111 markings, 31740810 edges, 1985 markings/sec, 2645 secs
lola: 8277502 markings, 31781993 edges, 2078 markings/sec, 2650 secs
lola: 8287247 markings, 31823886 edges, 1949 markings/sec, 2655 secs
lola: 8297263 markings, 31865333 edges, 2003 markings/sec, 2660 secs
lola: 8307703 markings, 31906995 edges, 2088 markings/sec, 2665 secs
lola: 8317764 markings, 31949580 edges, 2012 markings/sec, 2670 secs
lola: 8327720 markings, 31991222 edges, 1991 markings/sec, 2675 secs
lola: 8338539 markings, 32033614 edges, 2164 markings/sec, 2680 secs
lola: 8348559 markings, 32076571 edges, 2004 markings/sec, 2685 secs
lola: 8359323 markings, 32119034 edges, 2153 markings/sec, 2690 secs
lola: 8369398 markings, 32162394 edges, 2015 markings/sec, 2695 secs
lola: 8380217 markings, 32206590 edges, 2164 markings/sec, 2700 secs
lola: 8393041 markings, 32258440 edges, 2565 markings/sec, 2705 secs
lola: 8405865 markings, 32310996 edges, 2565 markings/sec, 2710 secs
lola: 8418689 markings, 32364274 edges, 2565 markings/sec, 2715 secs
lola: 8431513 markings, 32418087 edges, 2565 markings/sec, 2720 secs
lola: 8444594 markings, 32472032 edges, 2616 markings/sec, 2725 secs
lola: 8457563 markings, 32526165 edges, 2594 markings/sec, 2730 secs
lola: 8471116 markings, 32580619 edges, 2711 markings/sec, 2735 secs
lola: 8484412 markings, 32636060 edges, 2659 markings/sec, 2740 secs
lola: 8497638 markings, 32691320 edges, 2645 markings/sec, 2745 secs
lola: 8511663 markings, 32746935 edges, 2805 markings/sec, 2750 secs
lola: 8524889 markings, 32803411 edges, 2645 markings/sec, 2755 secs
lola: 8538914 markings, 32860382 edges, 2805 markings/sec, 2760 secs
lola: 8557074 markings, 32936136 edges, 3632 markings/sec, 2765 secs
lola: 8575850 markings, 33013154 edges, 3755 markings/sec, 2770 secs
lola: 8594900 markings, 33089989 edges, 3810 markings/sec, 2775 secs
lola: 8613847 markings, 33168683 edges, 3789 markings/sec, 2780 secs
lola: 8633177 markings, 33248142 edges, 3866 markings/sec, 2785 secs
lola: 8652727 markings, 33328981 edges, 3910 markings/sec, 2790 secs
lola: 8672365 markings, 33411368 edges, 3928 markings/sec, 2795 secs
lola: 8692802 markings, 33494574 edges, 4087 markings/sec, 2800 secs
lola: 8713067 markings, 33577921 edges, 4053 markings/sec, 2805 secs
lola: 8733866 markings, 33663720 edges, 4160 markings/sec, 2810 secs
lola: 8754990 markings, 33750167 edges, 4225 markings/sec, 2815 secs
lola: 8776541 markings, 33839853 edges, 4310 markings/sec, 2820 secs
lola: 8798600 markings, 33930904 edges, 4412 markings/sec, 2825 secs
lola: 8821042 markings, 34022393 edges, 4488 markings/sec, 2830 secs
lola: 8843484 markings, 34115732 edges, 4488 markings/sec, 2835 secs
lola: 8862127 markings, 34209123 edges, 3729 markings/sec, 2840 secs
lola: 8866470 markings, 34299921 edges, 869 markings/sec, 2845 secs
lola: 8871424 markings, 34381836 edges, 991 markings/sec, 2850 secs
lola: 8877811 markings, 34410608 edges, 1277 markings/sec, 2855 secs
lola: 8884100 markings, 34442696 edges, 1258 markings/sec, 2860 secs
lola: 8887412 markings, 34517580 edges, 662 markings/sec, 2865 secs
lola: 8903282 markings, 34606500 edges, 3174 markings/sec, 2870 secs
lola: 8919824 markings, 34695586 edges, 3308 markings/sec, 2875 secs
lola: 8935704 markings, 34785796 edges, 3176 markings/sec, 2880 secs
lola: 8951807 markings, 34876539 edges, 3221 markings/sec, 2885 secs
lola: 8968054 markings, 34968004 edges, 3249 markings/sec, 2890 secs
lola: 8984512 markings, 35060081 edges, 3292 markings/sec, 2895 secs
lola: 9006064 markings, 35157162 edges, 4310 markings/sec, 2900 secs
lola: 9020223 markings, 35251493 edges, 2832 markings/sec, 2905 secs
lola: 9020312 markings, 35340315 edges, 18 markings/sec, 2910 secs
lola: 9020399 markings, 35427600 edges, 17 markings/sec, 2915 secs
lola: 9020485 markings, 35513675 edges, 17 markings/sec, 2920 secs
lola: 9020579 markings, 35608499 edges, 19 markings/sec, 2925 secs
lola: 9020674 markings, 35702868 edges, 19 markings/sec, 2930 secs
lola: 9020770 markings, 35799024 edges, 19 markings/sec, 2935 secs
lola: 9020865 markings, 35894092 edges, 19 markings/sec, 2940 secs
lola: 9020957 markings, 35985960 edges, 18 markings/sec, 2945 secs
lola: 9027840 markings, 36067392 edges, 1377 markings/sec, 2950 secs
lola: 9060068 markings, 36163633 edges, 6446 markings/sec, 2955 secs
lola: 9090976 markings, 36256606 edges, 6182 markings/sec, 2960 secs
lola: 9121316 markings, 36347166 edges, 6068 markings/sec, 2965 secs
lola: 9150188 markings, 36434370 edges, 5774 markings/sec, 2970 secs
lola: 9178444 markings, 36518772 edges, 5651 markings/sec, 2975 secs
lola: 9205673 markings, 36600211 edges, 5446 markings/sec, 2980 secs
lola: 9231787 markings, 36679259 edges, 5223 markings/sec, 2985 secs
lola: 9257131 markings, 36754859 edges, 5069 markings/sec, 2990 secs
lola: 9281852 markings, 36828519 edges, 4944 markings/sec, 2995 secs
lola: 9305813 markings, 36900424 edges, 4792 markings/sec, 3000 secs
lola: 9335390 markings, 36977275 edges, 5915 markings/sec, 3005 secs
lola: 9375476 markings, 37062537 edges, 8017 markings/sec, 3010 secs
lola: 9414844 markings, 37144812 edges, 7874 markings/sec, 3015 secs
lola: 9452962 markings, 37226034 edges, 7624 markings/sec, 3020 secs
lola: 9490804 markings, 37305647 edges, 7568 markings/sec, 3025 secs
lola: 9516638 markings, 37374972 edges, 5167 markings/sec, 3030 secs
lola: 9537655 markings, 37440473 edges, 4203 markings/sec, 3035 secs
lola: 9557757 markings, 37505122 edges, 4020 markings/sec, 3040 secs
lola: 9578090 markings, 37567992 edges, 4067 markings/sec, 3045 secs
lola: 9597944 markings, 37630011 edges, 3971 markings/sec, 3050 secs
lola: 9616580 markings, 37689730 edges, 3727 markings/sec, 3055 secs
lola: 9635467 markings, 37748026 edges, 3777 markings/sec, 3060 secs
lola: 9654148 markings, 37806776 edges, 3736 markings/sec, 3065 secs
lola: 9672660 markings, 37864464 edges, 3702 markings/sec, 3070 secs
lola: 9690987 markings, 37922027 edges, 3665 markings/sec, 3075 secs
lola: 9709017 markings, 37978274 edges, 3606 markings/sec, 3080 secs
lola: 9726656 markings, 38034634 edges, 3528 markings/sec, 3085 secs
lola: 9744363 markings, 38090005 edges, 3541 markings/sec, 3090 secs
lola: 9761798 markings, 38144597 edges, 3487 markings/sec, 3095 secs
lola: 9779212 markings, 38198621 edges, 3483 markings/sec, 3100 secs
lola: 9810216 markings, 38272104 edges, 6201 markings/sec, 3105 secs
lola: 9844494 markings, 38348899 edges, 6856 markings/sec, 3110 secs
lola: 9877766 markings, 38423787 edges, 6654 markings/sec, 3115 secs
lola: 9910173 markings, 38496422 edges, 6481 markings/sec, 3120 secs
lola: 9941096 markings, 38566741 edges, 6185 markings/sec, 3125 secs
lola: 9957238 markings, 38618052 edges, 3228 markings/sec, 3130 secs
lola: 9972263 markings, 38668422 edges, 3005 markings/sec, 3135 secs
lola: 9987540 markings, 38718434 edges, 3055 markings/sec, 3140 secs
lola: 10002176 markings, 38767761 edges, 2927 markings/sec, 3145 secs
lola: 10017353 markings, 38816435 edges, 3035 markings/sec, 3150 secs
lola: 10031731 markings, 38864582 edges, 2876 markings/sec, 3155 secs
lola: 10046376 markings, 38912671 edges, 2929 markings/sec, 3160 secs
lola: 10060799 markings, 38960288 edges, 2885 markings/sec, 3165 secs
lola: 10075020 markings, 39007368 edges, 2844 markings/sec, 3170 secs
lola: 10089246 markings, 39054368 edges, 2845 markings/sec, 3175 secs
lola: 10103565 markings, 39100993 edges, 2864 markings/sec, 3180 secs
lola: 10117092 markings, 39147168 edges, 2705 markings/sec, 3185 secs
lola: 10131107 markings, 39193068 edges, 2803 markings/sec, 3190 secs
lola: 10145320 markings, 39238872 edges, 2843 markings/sec, 3195 secs
lola: 10158529 markings, 39284459 edges, 2642 markings/sec, 3200 secs
lola: 10172487 markings, 39329585 edges, 2792 markings/sec, 3205 secs
lola: 10185980 markings, 39374560 edges, 2699 markings/sec, 3210 secs
lola: 10199865 markings, 39419321 edges, 2777 markings/sec, 3215 secs
lola: 10224221 markings, 39482113 edges, 4871 markings/sec, 3220 secs
lola: 10251686 markings, 39548979 edges, 5493 markings/sec, 3225 secs
lola: 10278324 markings, 39613472 edges, 5328 markings/sec, 3230 secs
lola: 10304365 markings, 39676373 edges, 5208 markings/sec, 3235 secs
lola: 10329084 markings, 39736832 edges, 4944 markings/sec, 3240 secs
lola: 10348462 markings, 39789506 edges, 3876 markings/sec, 3245 secs
lola: 10360847 markings, 39832777 edges, 2477 markings/sec, 3250 secs
lola: 10373025 markings, 39875613 edges, 2436 markings/sec, 3255 secs
lola: 10385055 markings, 39917661 edges, 2406 markings/sec, 3260 secs
lola: 10397390 markings, 39960322 edges, 2467 markings/sec, 3265 secs
lola: 10409171 markings, 40001875 edges, 2356 markings/sec, 3270 secs
lola: 10420947 markings, 40042790 edges, 2355 markings/sec, 3275 secs
lola: 10432608 markings, 40083730 edges, 2332 markings/sec, 3280 secs
lola: 10444057 markings, 40124292 edges, 2290 markings/sec, 3285 secs
lola: 10455894 markings, 40165773 edges, 2367 markings/sec, 3290 secs
lola: 10467824 markings, 40206571 edges, 2386 markings/sec, 3295 secs
lola: 10479628 markings, 40247131 edges, 2361 markings/sec, 3300 secs
lola: 10490663 markings, 40287088 edges, 2207 markings/sec, 3305 secs
lola: 10502082 markings, 40326806 edges, 2284 markings/sec, 3310 secs
lola: 10513500 markings, 40366866 edges, 2284 markings/sec, 3315 secs
lola: 10525400 markings, 40407036 edges, 2380 markings/sec, 3320 secs
lola: 10536339 markings, 40446641 edges, 2188 markings/sec, 3325 secs
lola: 10547758 markings, 40486701 edges, 2284 markings/sec, 3330 secs
lola: 10559191 markings, 40527005 edges, 2287 markings/sec, 3335 secs
lola: 10570852 markings, 40566302 edges, 2332 markings/sec, 3340 secs
lola: 10581802 markings, 40605194 edges, 2190 markings/sec, 3345 secs
lola: 10602178 markings, 40660449 edges, 4075 markings/sec, 3350 secs
lola: 10623050 markings, 40716939 edges, 4174 markings/sec, 3355 secs
lola: 10643693 markings, 40771687 edges, 4129 markings/sec, 3360 secs
lola: 10664066 markings, 40826028 edges, 4075 markings/sec, 3365 secs
lola: 10684080 markings, 40878434 edges, 4003 markings/sec, 3370 secs
lola: 10702214 markings, 40927874 edges, 3627 markings/sec, 3375 secs
lola: 10703499 markings, 41012870 edges, 257 markings/sec, 3380 secs
lola: 10703586 markings, 41100151 edges, 17 markings/sec, 3385 secs
lola: 10703663 markings, 41176816 edges, 15 markings/sec, 3390 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes yes no no yes no unknown no no no yes no no yes no
lola: time limit reached - aborting
lola:
preliminary result: no yes yes no no yes no unknown no no no yes no no yes no
lola:
preliminary result: no yes yes no no yes no unknown no no no yes no no yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes no no yes no unknown no no no yes no no yes no
lola: memory consumption: 3444288 KB
lola: time consumption: 3569 seconds
lola: memory consumption: 3444440 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 3444992 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no yes yes no no yes no unknown no no no yes no no yes no
lola:
preliminary result: no yes yes no no yes no unknown no no no yes no no yes no
lola: memory consumption: 45128 KB
lola: time consumption: 3570 seconds

BK_STOP 1528186259904

--------------------
content from 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="AirplaneLD-PT-1000"
export BK_EXAMINATION="LTLCardinality"
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/AirplaneLD-PT-1000.tgz
mv AirplaneLD-PT-1000 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is AirplaneLD-PT-1000, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r184-qhx2-152732127300033"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 '' LTLCardinality.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 ;