fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r184-qhx2-152732127300033
Last Updated
June 26, 2018

About the Execution of LoLA for AirplaneLD-PT-1000

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
3595.430 3592539.00 3724162.00 7728.20 FTTFFTF?FFFTFFTF normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
........................................................
/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 ;