MCC'2019 - Execution of r082-csrt-155246550300984

About the Execution of LoLA for JoinFreeModules-PT-2000

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
12153.680	3570484.00	7543191.00	512.70	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r082-csrt-155246550300984.qcow2',
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is JoinFreeModules-PT-2000, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r082-csrt-155246550300984
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 12M
-rw-r--r-- 1 mcc users 4.1K Feb 11 14:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 11 14:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 7 14:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 7 14:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.
-rw-r--r-- 1 mcc users 110 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 348 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 00:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 00:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:36
-rw-r--r-- 1 mcc users 8.0K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 3 20:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 3 20:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 31 14:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 31 14:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 12M Mar 10 17:31 model.pnml

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

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

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 JoinFreeModules-PT-2000-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552687945885

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ JoinFreeModules-PT-2000 @
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ JoinFreeModules-PT-2000
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 26002/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 320032
lola: finding significant places
lola: 10001 places, 16001 transitions, 8000 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompresse
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
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration
lola: findpath: searching for paths with maximal depth 1000000
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given
lola: 1 tries, 744906 fired transitions, 0 secs
lola: 0 generators;49980988 candidates remain ( 0%),
lola: 2 tries, 1352083 fired transitions, 5 secs
lola: 0 generators;49980988 candidates remain ( 0%),
lola: 2 tries, 1895310 fired transitions, 10 secs
lola: 2142 generators;49930864 candidates remain ( 0%),
lola: 3 tries, 2433512 fired transitions, 15 secs
lola: 2142 generators;49930864 candidates remain ( 0%),
lola: 3 tries, 2972631 fired transitions, 20 secs
lola: 4272 generators;49890764 candidates remain ( 0%),
lola: 4 tries, 3551823 fired transitions, 25 secs
lola: 5470 generators;49889566 candidates remain ( 0%),
lola: 5 tries, 4136499 fired transitions, 30 secs
lola: 7978 generators;49831126 candidates remain ( 0%),
lola: 5 tries, 4706999 fired transitions, 35 secs
lola: 7978 generators;49831126 candidates remain ( 0%),
lola: 6 tries, 5374565 fired transitions, 40 secs
lola: 9780 generators;49829324 candidates remain ( 0%),
lola: 7 tries, 6109413 fired transitions, 45 secs
lola: 9780 generators;49829324 candidates remain ( 0%),
lola: 7 tries, 6838286 fired transitions, 50 secs
lola: 11961 generators;49827143 candidates remain ( 0%),
lola: 8 tries, 7273202 fired transitions, 55 secs
lola: 11961 generators;49781220 candidates remain ( 0%),
lola: 8 tries, 7773107 fired transitions, 60 secs
lola: 13951 generators;49731342 candidates remain ( 0%),
lola: 9 tries, 8309416 fired transitions, 65 secs
lola: 14718 generators;49730575 candidates remain ( 0%),
lola: 9 tries, 8973898 fired transitions, 70 secs
lola: 16467 generators;49728826 candidates remain ( 0%),
lola: 10 tries, 9426946 fired transitions, 75 secs
lola: 16467 generators;49728826 candidates remain ( 0%),
lola: 11 tries, 10068637 fired transitions, 80 secs
lola: 17928 generators;49681486 candidates remain ( 0%),
lola: 11 tries, 10739292 fired transitions, 85 secs
lola: 17928 generators;49681486 candidates remain ( 0%),
lola: 12 tries, 11260966 fired transitions, 90 secs
lola: 21376 generators;49630197 candidates remain ( 0%),
lola: 12 tries, 11956110 fired transitions, 95 secs
lola: 21376 generators;49630197 candidates remain ( 0%),
lola: 13 tries, 12763892 fired transitions, 100 secs
lola: 21901 generators;49581855 candidates remain ( 0%),
lola: 14 tries, 13594415 fired transitions, 105 secs
lola: 23504 generators;49580252 candidates remain ( 0%),
lola: 15 tries, 14308646 fired transitions, 110 secs
lola: 23504 generators;49580252 candidates remain ( 0%),
lola: 25870 generators;49482324 candidates remain ( 0%),
lola: 15 tries, 14902412 fired transitions, 115 secs
lola: 27853 generators;49432596 candidates remain ( 0%),
lola: 16 tries, 15370869 fired transitions, 120 secs
lola: 29835 generators;49392831 candidates remain ( 0%),
lola: 17 tries, 16034645 fired transitions, 125 secs
lola: 31816 generators;49390850 candidates remain ( 0%),
lola: 17 tries, 16619363 fired transitions, 130 secs
lola: 31816 generators;49382890 candidates remain ( 0%),
lola: 18 tries, 17059220 fired transitions, 135 secs
lola: 34021 generators;49332987 candidates remain ( 0%),
lola: 18 tries, 17533669 fired transitions, 140 secs
lola: 34021 generators;49332987 candidates remain ( 0%),
lola: 19 tries, 18186906 fired transitions, 145 secs
lola: 37453 generators;49329555 candidates remain ( 0%),
lola: 20 tries, 19010610 fired transitions, 150 secs
lola: 37753 generators;49281581 candidates remain ( 0%),
lola: 20 tries, 19568427 fired transitions, 155 secs
lola: 39730 generators;49194246 candidates remain ( 0%),
lola: 21 tries, 20211225 fired transitions, 160 secs
lola: 41706 generators;49184325 candidates remain ( 0%),
lola: 21 tries, 20818605 fired transitions, 165 secs
lola: 43681 generators;49134747 candidates remain ( 0%),
lola: 22 tries, 21259287 fired transitions, 170 secs
lola: 45236 generators;49133192 candidates remain ( 0%),
lola: 22 tries, 21779874 fired transitions, 175 secs
lola: 46024 generators;49132404 candidates remain ( 0%),
lola: 23 tries, 22254978 fired transitions, 180 secs
lola: 46443 generators;49084406 candidates remain ( 0%),
lola: 23 tries, 22803810 fired transitions, 185 secs
lola: 47628 generators;49035666 candidates remain ( 0%),
lola: 24 tries, 23245507 fired transitions, 190 secs
lola: 49600 generators;48996061 candidates remain ( 0%),
lola: 24 tries, 23765724 fired transitions, 195 secs
lola: 51571 generators;48986160 candidates remain ( 0%),
lola: 25 tries, 24117336 fired transitions, 200 secs
lola: 53541 generators;48934717 candidates remain ( 0%),
lola: 25 tries, 24817612 fired transitions, 205 secs
lola: 53574 generators;48934684 candidates remain ( 0%),
lola: 26 tries, 25442842 fired transitions, 210 secs
lola: 55478 generators;48932780 candidates remain ( 0%),
lola: 27 tries, 26143206 fired transitions, 215 secs
lola: 57414 generators;48930844 candidates remain ( 0%),
lola: 27 tries, 26691971 fired transitions, 220 secs
lola: 57478 generators;48835838 candidates remain ( 0%),
lola: 28 tries, 27241437 fired transitions, 225 secs
lola: 57479 generators;48835837 candidates remain ( 0%),
lola: 28 tries, 27794322 fired transitions, 230 secs
lola: 59446 generators;48786435 candidates remain ( 0%),
lola: 29 tries, 28226839 fired transitions, 235 secs
lola: 59447 generators;48739023 candidates remain ( 0%),
lola: 29 tries, 28719379 fired transitions, 240 secs
lola: 61413 generators;48689670 candidates remain ( 0%),
lola: 30 tries, 29202211 fired transitions, 245 secs
lola: 65342 generators;48685741 candidates remain ( 0%),
lola: 30 tries, 29529560 fired transitions, 250 secs
lola: 65342 generators;48640339 candidates remain ( 0%),
lola: 31 tries, 30041773 fired transitions, 255 secs
lola: 67305 generators;48591036 candidates remain ( 0%),
lola: 31 tries, 30368461 fired transitions, 260 secs
lola: 68479 generators;48589862 candidates remain ( 0%),
lola: 31 tries, 30641337 fired transitions, 265 secs
lola: 70324 generators;48588017 candidates remain ( 0%),
lola: 31 tries, 30914063 fired transitions, 270 secs
lola: 70440 generators;48540585 candidates remain ( 0%),
lola: 32 tries, 31392323 fired transitions, 275 secs
lola: 71228 generators;48492505 candidates remain ( 0%),
lola: 32 tries, 31883116 fired transitions, 280 secs
lola: 73188 generators;48453120 candidates remain ( 0%),
lola: 33 tries, 32289705 fired transitions, 285 secs
lola: 75147 generators;48443274 candidates remain ( 0%),
lola: 33 tries, 32775840 fired transitions, 290 secs
lola: 77105 generators;48394071 candidates remain ( 0%),
lola: 34 tries, 33407598 fired transitions, 295 secs
lola: 77779 generators;48393397 candidates remain ( 0%),
lola: 35 tries, 34082423 fired transitions, 300 secs
lola: 79544 generators;48391632 candidates remain ( 0%),
lola: time limit for symmetry computation exceeded - aborting
lola: symmetry computation interrupted: continue with partial
lola: computed 79544 generators (59 in search tree, 79485
lola: representing 1.27634E+135 symmetries
lola: 2 dead branches visited in search tree
lola: 35 tries, 34414074 fired transitions, 305 secs ||
lola: 35 tries, 34947684 fired transitions, 310 secs ||
lola: 36 tries, 35744587 fired transitions, 315 secs ||
lola: 37 tries, 36411952 fired transitions, 320 secs ||
lola: 37 tries, 36972201 fired transitions, 325 secs ||
lola: 38 tries, 37714877 fired transitions, 330 secs ||
lola: 39 tries, 38349959 fired transitions, 335 secs ||
lola: 39 tries, 38906974 fired transitions, 340 secs ||
lola: 40 tries, 39593367 fired transitions, 345 secs ||
lola: 41 tries, 40214487 fired transitions, 350 secs ||
lola: 41 tries, 40711138 fired transitions, 355 secs ||
lola: 42 tries, 41325884 fired transitions, 360 secs ||
lola: 43 tries, 42093467 fired transitions, 365 secs ||
lola: 43 tries, 42790131 fired transitions, 370 secs ||
lola: 44 tries, 43388833 fired transitions, 375 secs ||
lola: 44 tries, 43958805 fired transitions, 380 secs ||
lola: 45 tries, 44535270 fired transitions, 385 secs ||
lola: 46 tries, 45132980 fired transitions, 390 secs ||
lola: 46 tries, 45806825 fired transitions, 395 secs ||
lola: 47 tries, 46461311 fired transitions, 400 secs ||
lola: 48 tries, 47138528 fired transitions, 405 secs ||
lola: 48 tries, 47875796 fired transitions, 410 secs ||
lola: 49 tries, 48613798 fired transitions, 415 secs ||
lola: 50 tries, 49255806 fired transitions, 420 secs ||
lola: 50 tries, 49812257 fired transitions, 425 secs ||
lola: 51 tries, 50362278 fired transitions, 430 secs ||
lola: 51 tries, 50918292 fired transitions, 435 secs ||
lola: 52 tries, 51636736 fired transitions, 440 secs ||
lola: 53 tries, 52338508 fired transitions, 445 secs ||
lola: 54 tries, 53037778 fired transitions, 450 secs ||
lola: 54 tries, 53586478 fired transitions, 455 secs ||
lola: 55 tries, 54204834 fired transitions, 460 secs ||
lola: 55 tries, 54930445 fired transitions, 465 secs ||
lola: 56 tries, 55708749 fired transitions, 470 secs ||
lola: 57 tries, 56321314 fired transitions, 475 secs ||
lola: 57 tries, 56853823 fired transitions, 480 secs ||
lola: 58 tries, 57571676 fired transitions, 485 secs ||
lola: 59 tries, 58324484 fired transitions, 490 secs ||
lola: 60 tries, 59044203 fired transitions, 495 secs ||
lola: 60 tries, 59782301 fired transitions, 500 secs ||
lola: 61 tries, 60402740 fired transitions, 505 secs ||
lola: 61 tries, 60971142 fired transitions, 510 secs ||
lola: 62 tries, 61696118 fired transitions, 515 secs ||
lola: 63 tries, 62414597 fired transitions, 520 secs ||
lola: 64 tries, 63089500 fired transitions, 525 secs ||
lola: 64 tries, 63616554 fired transitions, 530 secs ||
lola: 65 tries, 64212412 fired transitions, 535 secs ||
lola: 66 tries, 65000456 fired transitions, 540 secs ||
lola: 66 tries, 65754306 fired transitions, 545 secs ||
lola: 67 tries, 66576241 fired transitions, 550 secs ||
lola: 68 tries, 67363806 fired transitions, 555 secs ||
lola: 69 tries, 68107970 fired transitions, 560 secs ||
lola: 69 tries, 68842236 fired transitions, 565 secs ||
lola: 70 tries, 69435002 fired transitions, 570 secs ||
lola: 70 tries, 69973366 fired transitions, 575 secs ||
lola: 71 tries, 70673474 fired transitions, 580 secs ||
lola: 72 tries, 71367027 fired transitions, 585 secs ||
lola: 73 tries, 72087303 fired transitions, 590 secs ||
lola: 73 tries, 72781236 fired transitions, 595 secs ||
lola: 74 tries, 73367209 fired transitions, 600 secs ||
lola: 74 tries, 73910021 fired transitions, 605 secs ||
lola: 75 tries, 74647943 fired transitions, 610 secs ||
lola: 76 tries, 75373020 fired transitions, 615 secs ||
lola: 77 tries, 76057864 fired transitions, 620 secs ||
lola: 77 tries, 76837587 fired transitions, 625 secs ||
lola: 78 tries, 77612742 fired transitions, 630 secs ||
lola: 79 tries, 78288637 fired transitions, 635 secs ||
lola: 79 tries, 78868732 fired transitions, 640 secs ||
lola: 80 tries, 79600586 fired transitions, 645 secs ||
lola: 81 tries, 80404465 fired transitions, 650 secs ||
lola: 82 tries, 81209744 fired transitions, 655 secs ||
lola: 82 tries, 81899519 fired transitions, 660 secs ||
lola: 83 tries, 82479936 fired transitions, 665 secs ||
lola: 84 tries, 83070781 fired transitions, 670 secs ||
lola: 84 tries, 83866615 fired transitions, 675 secs ||
lola: 85 tries, 84567961 fired transitions, 680 secs ||
lola: 86 tries, 85262942 fired transitions, 685 secs ||
lola: 87 tries, 86006342 fired transitions, 690 secs ||
lola: 87 tries, 86587333 fired transitions, 695 secs ||
lola: 88 tries, 87152067 fired transitions, 700 secs ||
lola: 88 tries, 87673368 fired transitions, 705 secs ||
lola: 89 tries, 88197902 fired transitions, 710 secs ||
lola: 89 tries, 88722183 fired transitions, 715 secs ||
lola: 90 tries, 89247123 fired transitions, 720 secs ||
lola: 90 tries, 89772407 fired transitions, 725 secs ||
lola: 91 tries, 90413292 fired transitions, 730 secs ||
lola: 92 tries, 91165407 fired transitions, 735 secs ||
lola: 92 tries, 91986432 fired transitions, 740 secs ||
lola: 93 tries, 92746774 fired transitions, 745 secs ||
lola: 94 tries, 93506506 fired transitions, 750 secs ||
lola: 95 tries, 94273991 fired transitions, 755 secs ||
lola: 96 tries, 95085651 fired transitions, 760 secs ||
lola: 96 tries, 95935934 fired transitions, 765 secs ||
lola: 97 tries, 96644050 fired transitions, 770 secs ||
lola: 98 tries, 97367607 fired transitions, 775 secs ||
lola: 99 tries, 98098824 fired transitions, 780 secs ||
lola: 99 tries, 98859547 fired transitions, 785 secs ||
lola: 100 tries, 99629103 fired transitions, 790 secs ||
lola: 101 tries, 100308123 fired transitions, 795 secs ||
lola: 101 tries, 100880795 fired transitions, 800 secs ||
lola: 102 tries, 101501956 fired transitions, 805 secs ||
lola: 103 tries, 102219919 fired transitions, 810 secs ||
lola: 103 tries, 102972126 fired transitions, 815 secs ||
lola: 104 tries, 103748377 fired transitions, 820 secs ||
lola: 105 tries, 104464301 fired transitions, 825 secs ||
lola: 106 tries, 105132269 fired transitions, 830 secs ||
lola: 106 tries, 105734474 fired transitions, 835 secs ||
lola: 107 tries, 106303440 fired transitions, 840 secs ||
lola: 107 tries, 106846577 fired transitions, 845 secs ||
lola: 108 tries, 107429790 fired transitions, 850 secs ||
lola: 109 tries, 108027227 fired transitions, 855 secs ||
lola: 109 tries, 108638015 fired transitions, 860 secs ||
lola: 110 tries, 109298833 fired transitions, 865 secs ||
lola: 111 tries, 110002763 fired transitions, 870 secs ||
lola: 111 tries, 110800299 fired transitions, 875 secs ||
lola: 112 tries, 111590138 fired transitions, 880 secs ||
lola: 113 tries, 112287361 fired transitions, 885 secs ||
lola: 113 tries, 112885497 fired transitions, 890 secs ||
lola: 114 tries, 113484311 fired transitions, 895 secs ||
lola: 115 tries, 114114832 fired transitions, 900 secs ||
lola: 115 tries, 114937847 fired transitions, 905 secs ||
lola: 116 tries, 115774766 fired transitions, 910 secs ||
lola: 117 tries, 116602966 fired transitions, 915 secs ||
lola: 118 tries, 117365165 fired transitions, 920 secs ||
lola: 119 tries, 118079060 fired transitions, 925 secs ||
lola: 119 tries, 118868066 fired transitions, 930 secs ||
lola: 120 tries, 119586551 fired transitions, 935 secs ||
lola: 121 tries, 120283767 fired transitions, 940 secs ||
lola: 121 tries, 120966687 fired transitions, 945 secs ||
lola: 122 tries, 121568306 fired transitions, 950 secs ||
lola: 123 tries, 122232666 fired transitions, 955 secs ||
lola: 124 tries, 123062860 fired transitions, 960 secs ||
lola: 124 tries, 123733886 fired transitions, 965 secs ||
lola: 125 tries, 124375425 fired transitions, 970 secs ||
lola: 125 tries, 124983802 fired transitions, 975 secs ||
lola: 126 tries, 125588755 fired transitions, 980 secs ||
lola: 127 tries, 126203535 fired transitions, 985 secs ||
lola: 127 tries, 126867252 fired transitions, 990 secs ||
lola: 128 tries, 127473321 fired transitions, 995 secs ||
lola: 129 tries, 128091105 fired transitions, 1000 secs ||
lola: 129 tries, 128846618 fired transitions, 1005 secs ||
lola: 130 tries, 129602231 fired transitions, 1010 secs ||
lola: 131 tries, 130398115 fired transitions, 1015 secs ||
lola: 132 tries, 131188164 fired transitions, 1020 secs ||
lola: 132 tries, 131857090 fired transitions, 1025 secs ||
lola: 133 tries, 132524594 fired transitions, 1030 secs ||
lola: 134 tries, 133240817 fired transitions, 1035 secs ||
lola: 135 tries, 134060316 fired transitions, 1040 secs ||
lola: 135 tries, 134707422 fired transitions, 1045 secs ||
lola: 136 tries, 135357621 fired transitions, 1050 secs ||
lola: 136 tries, 135992907 fired transitions, 1055 secs ||
lola: 137 tries, 136679886 fired transitions, 1060 secs ||
lola: 138 tries, 137353185 fired transitions, 1065 secs ||
lola: 139 tries, 138000753 fired transitions, 1070 secs ||
lola: 139 tries, 138653186 fired transitions, 1075 secs ||
lola: 140 tries, 139308024 fired transitions, 1080 secs ||
lola: 140 tries, 139963500 fired transitions, 1085 secs ||
lola: 141 tries, 140618833 fired transitions, 1090 secs ||
lola: 142 tries, 141227596 fired transitions, 1095 secs ||
lola: 142 tries, 141766456 fired transitions, 1100 secs ||
lola: 143 tries, 142502970 fired transitions, 1105 secs ||
lola: 144 tries, 143335978 fired transitions, 1110 secs ||
lola: 145 tries, 144098458 fired transitions, 1115 secs ||
lola: 145 tries, 144803560 fired transitions, 1120 secs ||
lola: 146 tries, 145433651 fired transitions, 1125 secs ||
lola: 147 tries, 146044539 fired transitions, 1130 secs ||
lola: 147 tries, 146843851 fired transitions, 1135 secs ||
lola: 148 tries, 147621486 fired transitions, 1140 secs ||
lola: 149 tries, 148408077 fired transitions, 1145 secs ||
lola: 150 tries, 149200848 fired transitions, 1150 secs ||
lola: 150 tries, 149973820 fired transitions, 1155 secs ||
lola: 151 tries, 150811473 fired transitions, 1160 secs ||
lola: 152 tries, 151465677 fired transitions, 1165 secs ||
lola: 153 tries, 152070483 fired transitions, 1170 secs ||
lola: 153 tries, 152725939 fired transitions, 1175 secs ||
lola: 154 tries, 153375337 fired transitions, 1180 secs ||
lola: 155 tries, 154018341 fired transitions, 1185 secs ||
lola: 155 tries, 154560641 fired transitions, 1190 secs ||
lola: 156 tries, 155113748 fired transitions, 1195 secs ||
lola: 156 tries, 155715391 fired transitions, 1200 secs ||
lola: 157 tries, 156298177 fired transitions, 1205 secs ||
lola: 157 tries, 156851906 fired transitions, 1210 secs ||
lola: 158 tries, 157598179 fired transitions, 1215 secs ||
lola: 159 tries, 158333526 fired transitions, 1220 secs ||
lola: 159 tries, 158987400 fired transitions, 1225 secs ||
lola: 160 tries, 159647156 fired transitions, 1230 secs ||
lola: 161 tries, 160282842 fired transitions, 1235 secs ||
lola: 161 tries, 160876024 fired transitions, 1240 secs ||
lola: 162 tries, 161420040 fired transitions, 1245 secs ||
lola: 162 tries, 161978648 fired transitions, 1250 secs ||
lola: 163 tries, 162710623 fired transitions, 1255 secs ||
lola: 164 tries, 163454869 fired transitions, 1260 secs ||
lola: 165 tries, 164168878 fired transitions, 1265 secs ||
lola: 165 tries, 164738274 fired transitions, 1270 secs ||
lola: 166 tries, 165491236 fired transitions, 1275 secs ||
lola: 167 tries, 166283583 fired transitions, 1280 secs ||
lola: 167 tries, 166971160 fired transitions, 1285 secs ||
lola: 168 tries, 167789908 fired transitions, 1290 secs ||
lola: 169 tries, 168467881 fired transitions, 1295 secs ||
lola: 170 tries, 169142694 fired transitions, 1300 secs ||
lola: 171 tries, 170026199 fired transitions, 1305 secs ||
lola: 171 tries, 170652163 fired transitions, 1310 secs ||
lola: 172 tries, 171291606 fired transitions, 1315 secs ||
lola: 172 tries, 171933639 fired transitions, 1320 secs ||
lola: 173 tries, 172628206 fired transitions, 1325 secs ||
lola: 174 tries, 173321764 fired transitions, 1330 secs ||
lola: 174 tries, 173986147 fired transitions, 1335 secs ||
lola: 175 tries, 174802298 fired transitions, 1340 secs ||
lola: 176 tries, 175442955 fired transitions, 1345 secs ||
lola: 177 tries, 176041394 fired transitions, 1350 secs ||
lola: 177 tries, 176729233 fired transitions, 1355 secs ||
lola: 178 tries, 177596028 fired transitions, 1360 secs ||
lola: 179 tries, 178373361 fired transitions, 1365 secs ||
lola: 180 tries, 179036368 fired transitions, 1370 secs ||
lola: 180 tries, 179832788 fired transitions, 1375 secs ||
lola: 181 tries, 180668894 fired transitions, 1380 secs ||
lola: 182 tries, 181383648 fired transitions, 1385 secs ||
lola: 183 tries, 182032007 fired transitions, 1390 secs ||
lola: 183 tries, 182943586 fired transitions, 1395 secs ||
lola: 184 tries, 183578524 fired transitions, 1400 secs ||
lola: 185 tries, 184280498 fired transitions, 1405 secs ||
lola: 186 tries, 185149890 fired transitions, 1410 secs ||
lola: 187 tries, 186085862 fired transitions, 1415 secs ||
lola: 187 tries, 186965258 fired transitions, 1420 secs ||
lola: 188 tries, 187616573 fired transitions, 1425 secs ||
lola: 189 tries, 188317367 fired transitions, 1430 secs ||
lola: 190 tries, 189129179 fired transitions, 1435 secs ||
lola: 190 tries, 189981159 fired transitions, 1440 secs ||
lola: 191 tries, 190582713 fired transitions, 1445 secs ||
lola: 192 tries, 191217946 fired transitions, 1450 secs ||
lola: 192 tries, 191877741 fired transitions, 1455 secs ||
lola: 193 tries, 192516278 fired transitions, 1460 secs ||
lola: 194 tries, 193138831 fired transitions, 1465 secs ||
lola: 194 tries, 193719477 fired transitions, 1470 secs ||
lola: 195 tries, 194430652 fired transitions, 1475 secs ||
lola: 196 tries, 195179324 fired transitions, 1480 secs ||
lola: 196 tries, 195758515 fired transitions, 1485 secs ||
lola: 197 tries, 196371460 fired transitions, 1490 secs ||
lola: 198 tries, 197003218 fired transitions, 1495 secs ||
lola: 198 tries, 197752269 fired transitions, 1500 secs ||
lola: 199 tries, 198596336 fired transitions, 1505 secs ||
lola: 200 tries, 199340510 fired transitions, 1510 secs ||
lola: 200 tries, 199965153 fired transitions, 1515 secs ||
lola: 201 tries, 200799158 fired transitions, 1520 secs ||
lola: 202 tries, 201459683 fired transitions, 1525 secs ||
lola: 203 tries, 202066315 fired transitions, 1530 secs ||
lola: 203 tries, 202674154 fired transitions, 1535 secs ||
lola: 204 tries, 203416729 fired transitions, 1540 secs ||
lola: 205 tries, 204225944 fired transitions, 1545 secs ||
lola: 205 tries, 204870566 fired transitions, 1550 secs ||
lola: 206 tries, 205602666 fired transitions, 1555 secs ||
lola: 207 tries, 206305380 fired transitions, 1560 secs ||
lola: 207 tries, 206958038 fired transitions, 1565 secs ||
lola: 208 tries, 207790200 fired transitions, 1570 secs ||
lola: 209 tries, 208475663 fired transitions, 1575 secs ||
lola: 210 tries, 209100507 fired transitions, 1580 secs ||
lola: 210 tries, 209683514 fired transitions, 1585 secs ||
lola: 211 tries, 210403710 fired transitions, 1590 secs ||
lola: 212 tries, 211189623 fired transitions, 1595 secs ||
lola: 212 tries, 211773234 fired transitions, 1600 secs ||
lola: 213 tries, 212551501 fired transitions, 1605 secs ||
lola: 214 tries, 213445935 fired transitions, 1610 secs ||
lola: 215 tries, 214242047 fired transitions, 1615 secs ||
lola: 215 tries, 214883161 fired transitions, 1620 secs ||
lola: 216 tries, 215691594 fired transitions, 1625 secs ||
lola: 217 tries, 216537773 fired transitions, 1630 secs ||
lola: 218 tries, 217314877 fired transitions, 1635 secs ||
lola: 219 tries, 218014330 fired transitions, 1640 secs ||
lola: 219 tries, 218853266 fired transitions, 1645 secs ||
lola: 220 tries, 219568192 fired transitions, 1650 secs ||
lola: 221 tries, 220231235 fired transitions, 1655 secs ||
lola: 221 tries, 220841013 fired transitions, 1660 secs ||
lola: 222 tries, 221513657 fired transitions, 1665 secs ||
lola: 223 tries, 222212853 fired transitions, 1670 secs ||
lola: 223 tries, 222915033 fired transitions, 1675 secs ||
lola: 224 tries, 223618780 fired transitions, 1680 secs ||
lola: 225 tries, 224279094 fired transitions, 1685 secs ||
lola: 225 tries, 224888189 fired transitions, 1690 secs ||
lola: 226 tries, 225503215 fired transitions, 1695 secs ||
lola: 227 tries, 226161443 fired transitions, 1700 secs ||
lola: 227 tries, 226987722 fired transitions, 1705 secs ||
lola: 228 tries, 227693254 fired transitions, 1710 secs ||
lola: 229 tries, 228351709 fired transitions, 1715 secs ||
lola: 229 tries, 228951698 fired transitions, 1720 secs ||
lola: 230 tries, 229573002 fired transitions, 1725 secs ||
lola: 231 tries, 230263984 fired transitions, 1730 secs ||
lola: 232 tries, 231089589 fired transitions, 1735 secs ||
lola: 232 tries, 231793325 fired transitions, 1740 secs ||
lola: 233 tries, 232483175 fired transitions, 1745 secs ||
lola: 234 tries, 233204418 fired transitions, 1750 secs ||
lola: 234 tries, 233895063 fired transitions, 1755 secs ||
lola: 235 tries, 234757007 fired transitions, 1760 secs ||
lola: 236 tries, 235440314 fired transitions, 1765 secs ||
lola: 237 tries, 236047847 fired transitions, 1770 secs ||
lola: 237 tries, 236640166 fired transitions, 1775 secs ||
lola: 238 tries, 237305711 fired transitions, 1780 secs ||
lola: 239 tries, 238041348 fired transitions, 1785 secs ||
lola: 239 tries, 238860941 fired transitions, 1790 secs ||
lola: 240 tries, 239518467 fired transitions, 1795 secs ||
lola: 241 tries, 240099535 fired transitions, 1800 secs ||
lola: 241 tries, 240711884 fired transitions, 1805 secs ||
lola: 242 tries, 241489798 fired transitions, 1810 secs ||
lola: 243 tries, 242392525 fired transitions, 1815 secs ||
lola: 244 tries, 243244281 fired transitions, 1820 secs ||
lola: 244 tries, 243907395 fired transitions, 1825 secs ||
lola: 245 tries, 244622239 fired transitions, 1830 secs ||
lola: 246 tries, 245440799 fired transitions, 1835 secs ||
lola: 247 tries, 246348236 fired transitions, 1840 secs ||
lola: 248 tries, 247169955 fired transitions, 1845 secs ||
lola: 248 tries, 247834557 fired transitions, 1850 secs ||
lola: 249 tries, 248639067 fired transitions, 1855 secs ||
lola: 250 tries, 249524812 fired transitions, 1860 secs ||
lola: 251 tries, 250309574 fired transitions, 1865 secs ||
lola: 251 tries, 250969179 fired transitions, 1870 secs ||
lola: 252 tries, 251797211 fired transitions, 1875 secs ||
lola: 253 tries, 252670860 fired transitions, 1880 secs ||
lola: 254 tries, 253527089 fired transitions, 1885 secs ||
lola: 255 tries, 254251209 fired transitions, 1890 secs ||
lola: 255 tries, 254848150 fired transitions, 1895 secs ||
lola: 256 tries, 255472964 fired transitions, 1900 secs ||
lola: 257 tries, 256108265 fired transitions, 1905 secs ||
lola: 257 tries, 256758911 fired transitions, 1910 secs ||
lola: 258 tries, 257429865 fired transitions, 1915 secs ||
lola: 259 tries, 258107304 fired transitions, 1920 secs ||
lola: 259 tries, 258755829 fired transitions, 1925 secs ||
lola: 260 tries, 259441508 fired transitions, 1930 secs ||
lola: 261 tries, 260186036 fired transitions, 1935 secs ||
lola: 262 tries, 261042310 fired transitions, 1940 secs ||
lola: 262 tries, 261922463 fired transitions, 1945 secs ||
lola: 263 tries, 262594020 fired transitions, 1950 secs ||
lola: 264 tries, 263273159 fired transitions, 1955 secs ||
lola: 264 tries, 263999838 fired transitions, 1960 secs ||
lola: 265 tries, 264682552 fired transitions, 1965 secs ||
lola: 266 tries, 265353871 fired transitions, 1970 secs ||
lola: 267 tries, 266013521 fired transitions, 1975 secs ||
lola: 267 tries, 266919498 fired transitions, 1980 secs ||
lola: 268 tries, 267610031 fired transitions, 1985 secs ||
lola: 269 tries, 268360528 fired transitions, 1990 secs ||
lola: 270 tries, 269275886 fired transitions, 1995 secs ||
lola: 271 tries, 270146934 fired transitions, 2000 secs ||
lola: 271 tries, 270787285 fired transitions, 2005 secs ||
lola: 272 tries, 271437391 fired transitions, 2010 secs ||
lola: 273 tries, 272135044 fired transitions, 2015 secs ||
lola: 274 tries, 273003477 fired transitions, 2020 secs ||
lola: 274 tries, 273842755 fired transitions, 2025 secs ||
lola: 275 tries, 274756790 fired transitions, 2030 secs ||
lola: 276 tries, 275529112 fired transitions, 2035 secs ||
lola: 277 tries, 276245403 fired transitions, 2040 secs ||
lola: 278 tries, 277004058 fired transitions, 2045 secs ||
lola: 278 tries, 277863285 fired transitions, 2050 secs ||
lola: 279 tries, 278758561 fired transitions, 2055 secs ||
lola: 280 tries, 279590592 fired transitions, 2060 secs ||
lola: 281 tries, 280330119 fired transitions, 2065 secs ||
lola: 282 tries, 281004757 fired transitions, 2070 secs ||
lola: 282 tries, 281890575 fired transitions, 2075 secs ||
lola: 283 tries, 282551519 fired transitions, 2080 secs ||
lola: 284 tries, 283257040 fired transitions, 2085 secs ||
lola: 285 tries, 284104183 fired transitions, 2090 secs ||
lola: 285 tries, 284768093 fired transitions, 2095 secs ||
lola: 286 tries, 285461718 fired transitions, 2100 secs ||
lola: 287 tries, 286171649 fired transitions, 2105 secs ||
lola: 287 tries, 286876267 fired transitions, 2110 secs ||
lola: 288 tries, 287470405 fired transitions, 2115 secs ||
lola: 289 tries, 288042123 fired transitions, 2120 secs ||
lola: 289 tries, 288679187 fired transitions, 2125 secs ||
lola: 290 tries, 289287179 fired transitions, 2130 secs ||
lola: 290 tries, 289862762 fired transitions, 2135 secs ||
lola: 291 tries, 290517058 fired transitions, 2140 secs ||
lola: 292 tries, 291175240 fired transitions, 2145 secs ||
lola: 292 tries, 291763661 fired transitions, 2150 secs ||
lola: 293 tries, 292430962 fired transitions, 2155 secs ||
lola: 294 tries, 293175388 fired transitions, 2160 secs ||
lola: 295 tries, 294005705 fired transitions, 2165 secs ||
lola: 295 tries, 294666911 fired transitions, 2170 secs ||
lola: 296 tries, 295352875 fired transitions, 2175 secs ||
lola: 297 tries, 296066553 fired transitions, 2180 secs ||
lola: 297 tries, 296725438 fired transitions, 2185 secs ||
lola: 298 tries, 297380802 fired transitions, 2190 secs ||
lola: 299 tries, 298038591 fired transitions, 2195 secs ||
lola: 299 tries, 298691551 fired transitions, 2200 secs ||
lola: 300 tries, 299337443 fired transitions, 2205 secs ||
lola: 300 tries, 299970416 fired transitions, 2210 secs ||
lola: 301 tries, 300916414 fired transitions, 2215 secs ||
lola: 302 tries, 301600018 fired transitions, 2220 secs ||
lola: 303 tries, 302334292 fired transitions, 2225 secs ||
lola: 304 tries, 303143617 fired transitions, 2230 secs ||
lola: 304 tries, 303806358 fired transitions, 2235 secs ||
lola: 305 tries, 304689518 fired transitions, 2240 secs ||
lola: 306 tries, 305495492 fired transitions, 2245 secs ||
lola: 307 tries, 306269499 fired transitions, 2250 secs ||
lola: 308 tries, 307116186 fired transitions, 2255 secs ||
lola: 308 tries, 307833132 fired transitions, 2260 secs ||
lola: 309 tries, 308640067 fired transitions, 2265 secs ||
lola: 310 tries, 309357735 fired transitions, 2270 secs ||
lola: 310 tries, 309982866 fired transitions, 2275 secs ||
lola: 311 tries, 310817721 fired transitions, 2280 secs ||
lola: 312 tries, 311714353 fired transitions, 2285 secs ||
lola: 313 tries, 312415211 fired transitions, 2290 secs ||
lola: 314 tries, 313017534 fired transitions, 2295 secs ||
lola: 314 tries, 313799624 fired transitions, 2300 secs ||
lola: 315 tries, 314621320 fired transitions, 2305 secs ||
lola: 316 tries, 315493500 fired transitions, 2310 secs ||
lola: 317 tries, 316385969 fired transitions, 2315 secs ||
lola: 318 tries, 317202518 fired transitions, 2320 secs ||
lola: 318 tries, 317862683 fired transitions, 2325 secs ||
lola: 319 tries, 318497135 fired transitions, 2330 secs ||
lola: 320 tries, 319136472 fired transitions, 2335 secs ||
lola: 320 tries, 319854570 fired transitions, 2340 secs ||
lola: 321 tries, 320469866 fired transitions, 2345 secs ||
lola: 322 tries, 321059815 fired transitions, 2350 secs ||
lola: 322 tries, 321659879 fired transitions, 2355 secs ||
lola: 323 tries, 322275986 fired transitions, 2360 secs ||
lola: 323 tries, 322909405 fired transitions, 2365 secs ||
lola: 324 tries, 323622296 fired transitions, 2370 secs ||
lola: 325 tries, 324442184 fired transitions, 2375 secs ||
lola: 326 tries, 325238015 fired transitions, 2380 secs ||
lola: 326 tries, 325835616 fired transitions, 2385 secs ||
lola: 327 tries, 326527308 fired transitions, 2390 secs ||
lola: 328 tries, 327254073 fired transitions, 2395 secs ||
lola: 328 tries, 327975836 fired transitions, 2400 secs ||
lola: 329 tries, 328693147 fired transitions, 2405 secs ||
lola: 330 tries, 329543044 fired transitions, 2410 secs ||
lola: 331 tries, 330462081 fired transitions, 2415 secs ||
lola: 332 tries, 331279628 fired transitions, 2420 secs ||
lola: 332 tries, 331979600 fired transitions, 2425 secs ||
lola: 333 tries, 332731040 fired transitions, 2430 secs ||
lola: 334 tries, 333594734 fired transitions, 2435 secs ||
lola: 335 tries, 334503865 fired transitions, 2440 secs ||
lola: 336 tries, 335374945 fired transitions, 2445 secs ||
lola: 337 tries, 336205704 fired transitions, 2450 secs ||
lola: 337 tries, 336882390 fired transitions, 2455 secs ||
lola: 338 tries, 337664267 fired transitions, 2460 secs ||
lola: 339 tries, 338360412 fired transitions, 2465 secs ||
lola: 340 tries, 339060450 fired transitions, 2470 secs ||
lola: 340 tries, 339660412 fired transitions, 2475 secs ||
lola: 341 tries, 340462193 fired transitions, 2480 secs ||
lola: 342 tries, 341294045 fired transitions, 2485 secs ||
lola: 342 tries, 341969509 fired transitions, 2490 secs ||
lola: 343 tries, 342677979 fired transitions, 2495 secs ||
lola: 344 tries, 343490660 fired transitions, 2500 secs ||
lola: 345 tries, 344435981 fired transitions, 2505 secs ||
lola: 346 tries, 345365539 fired transitions, 2510 secs ||
lola: 347 tries, 346253020 fired transitions, 2515 secs ||
lola: 348 tries, 347093768 fired transitions, 2520 secs ||
lola: 349 tries, 348019307 fired transitions, 2525 secs ||
lola: 350 tries, 349020137 fired transitions, 2530 secs ||
lola: 350 tries, 349655583 fired transitions, 2535 secs ||
lola: 351 tries, 350416184 fired transitions, 2540 secs ||
lola: 352 tries, 351262389 fired transitions, 2545 secs ||
lola: 352 tries, 351998178 fired transitions, 2550 secs ||
lola: 353 tries, 352821800 fired transitions, 2555 secs ||
lola: 354 tries, 353484457 fired transitions, 2560 secs ||
lola: 355 tries, 354107950 fired transitions, 2565 secs ||
lola: 355 tries, 354724951 fired transitions, 2570 secs ||
lola: 356 tries, 355298723 fired transitions, 2575 secs ||
lola: 356 tries, 355879607 fired transitions, 2580 secs ||
lola: 357 tries, 356504208 fired transitions, 2585 secs ||
lola: 358 tries, 357167662 fired transitions, 2590 secs ||
lola: 358 tries, 357834468 fired transitions, 2595 secs ||
lola: 359 tries, 358764050 fired transitions, 2600 secs ||
lola: 360 tries, 359488361 fired transitions, 2605 secs ||
lola: 361 tries, 360179165 fired transitions, 2610 secs ||
lola: 362 tries, 361111699 fired transitions, 2615 secs ||
lola: 363 tries, 362041823 fired transitions, 2620 secs ||
lola: 363 tries, 362804348 fired transitions, 2625 secs ||
lola: 364 tries, 363670718 fired transitions, 2630 secs ||
lola: 365 tries, 364424990 fired transitions, 2635 secs ||
lola: 366 tries, 365132712 fired transitions, 2640 secs ||
lola: 367 tries, 366083558 fired transitions, 2645 secs ||
lola: 368 tries, 367120441 fired transitions, 2650 secs ||
lola: 369 tries, 368095603 fired transitions, 2655 secs ||
lola: 369 tries, 368738775 fired transitions, 2660 secs ||
lola: 370 tries, 369459135 fired transitions, 2665 secs ||
lola: 371 tries, 370273630 fired transitions, 2670 secs ||
lola: 372 tries, 371156897 fired transitions, 2675 secs ||
lola: 372 tries, 371929652 fired transitions, 2680 secs ||
lola: 373 tries, 372561975 fired transitions, 2685 secs ||
lola: 374 tries, 373178082 fired transitions, 2690 secs ||
lola: 374 tries, 373763125 fired transitions, 2695 secs ||
lola: 375 tries, 374357672 fired transitions, 2700 secs ||
lola: 375 tries, 374956430 fired transitions, 2705 secs ||
lola: 376 tries, 375551192 fired transitions, 2710 secs ||
lola: 377 tries, 376157463 fired transitions, 2715 secs ||
lola: 377 tries, 376799331 fired transitions, 2720 secs ||
lola: 378 tries, 377627289 fired transitions, 2725 secs ||
lola: 379 tries, 378353882 fired transitions, 2730 secs ||
lola: 379 tries, 378952808 fired transitions, 2735 secs ||
lola: 380 tries, 379647418 fired transitions, 2740 secs ||
lola: 381 tries, 380497879 fired transitions, 2745 secs ||
lola: 382 tries, 381350946 fired transitions, 2750 secs ||
lola: 383 tries, 382054787 fired transitions, 2755 secs ||
lola: 383 tries, 382677679 fired transitions, 2760 secs ||
lola: 384 tries, 383405451 fired transitions, 2765 secs ||
lola: 385 tries, 384171195 fired transitions, 2770 secs ||
lola: 385 tries, 384770152 fired transitions, 2775 secs ||
lola: 386 tries, 385546748 fired transitions, 2780 secs ||
lola: 387 tries, 386316200 fired transitions, 2785 secs ||
lola: 387 tries, 386959351 fired transitions, 2790 secs ||
lola: 388 tries, 387836357 fired transitions, 2795 secs ||
lola: 389 tries, 388509532 fired transitions, 2800 secs ||
lola: 390 tries, 389194243 fired transitions, 2805 secs ||
lola: 391 tries, 390085381 fired transitions, 2810 secs ||
lola: 391 tries, 390675664 fired transitions, 2815 secs ||
lola: 392 tries, 391262577 fired transitions, 2820 secs ||
lola: 392 tries, 391852812 fired transitions, 2825 secs ||
lola: 393 tries, 392755980 fired transitions, 2830 secs ||
lola: 394 tries, 393525754 fired transitions, 2835 secs ||
lola: 395 tries, 394203546 fired transitions, 2840 secs ||
lola: 395 tries, 394846265 fired transitions, 2845 secs ||
lola: 396 tries, 395751470 fired transitions, 2850 secs ||
lola: 397 tries, 396503576 fired transitions, 2855 secs ||
lola: 398 tries, 397181096 fired transitions, 2860 secs ||
lola: 398 tries, 397885710 fired transitions, 2865 secs ||
lola: 399 tries, 398489964 fired transitions, 2870 secs ||
lola: 400 tries, 399092870 fired transitions, 2875 secs ||
lola: 400 tries, 399787018 fired transitions, 2880 secs ||
lola: 401 tries, 400679346 fired transitions, 2885 secs ||
lola: 402 tries, 401520404 fired transitions, 2890 secs ||
lola: 403 tries, 402348885 fired transitions, 2895 secs ||
lola: 404 tries, 403226637 fired transitions, 2900 secs ||
lola: 404 tries, 403992053 fired transitions, 2905 secs ||
lola: 405 tries, 404823745 fired transitions, 2910 secs ||
lola: 406 tries, 405776216 fired transitions, 2915 secs ||
lola: 407 tries, 406770307 fired transitions, 2920 secs ||
lola: 408 tries, 407495745 fired transitions, 2925 secs ||
lola: 409 tries, 408204820 fired transitions, 2930 secs ||
lola: 410 tries, 409190503 fired transitions, 2935 secs ||
lola: 411 tries, 410164130 fired transitions, 2940 secs ||
lola: 412 tries, 411120013 fired transitions, 2945 secs ||
lola: 413 tries, 412009796 fired transitions, 2950 secs ||
lola: 413 tries, 412720409 fired transitions, 2955 secs ||
lola: 414 tries, 413567163 fired transitions, 2960 secs ||
lola: 415 tries, 414447482 fired transitions, 2965 secs ||
lola: 416 tries, 415321706 fired transitions, 2970 secs ||
lola: 417 tries, 416267905 fired transitions, 2975 secs ||
lola: 418 tries, 417150987 fired transitions, 2980 secs ||
lola: 418 tries, 417915415 fired transitions, 2985 secs ||
lola: 419 tries, 418616773 fired transitions, 2990 secs ||
lola: 420 tries, 419408645 fired transitions, 2995 secs ||
lola: 421 tries, 420327742 fired transitions, 3000 secs ||
lola: 422 tries, 421262624 fired transitions, 3005 secs ||
lola: 423 tries, 422203926 fired transitions, 3010 secs ||
lola: 424 tries, 423115430 fired transitions, 3015 secs ||
lola: 424 tries, 423888985 fired transitions, 3020 secs ||
lola: 425 tries, 424862875 fired transitions, 3025 secs ||
lola: 426 tries, 425807761 fired transitions, 3030 secs ||
lola: 427 tries, 426578509 fired transitions, 3035 secs ||
lola: 428 tries, 427248617 fired transitions, 3040 secs ||
lola: 428 tries, 427839191 fired transitions, 3045 secs ||
lola: 429 tries, 428504706 fired transitions, 3050 secs ||
lola: 430 tries, 429283812 fired transitions, 3055 secs ||
lola: 431 tries, 430202059 fired transitions, 3060 secs ||
lola: 431 tries, 430930143 fired transitions, 3065 secs ||
lola: 432 tries, 431851940 fired transitions, 3070 secs ||
lola: 433 tries, 432542406 fired transitions, 3075 secs ||
lola: 434 tries, 433172958 fired transitions, 3080 secs ||
lola: 434 tries, 433771533 fired transitions, 3085 secs ||
lola: 435 tries, 434369222 fired transitions, 3090 secs ||
lola: 435 tries, 434966894 fired transitions, 3095 secs ||
lola: 436 tries, 435632588 fired transitions, 3100 secs ||
lola: 437 tries, 436319864 fired transitions, 3105 secs ||
lola: 438 tries, 437041094 fired transitions, 3110 secs ||
lola: 439 tries, 438070676 fired transitions, 3115 secs ||
lola: 440 tries, 439028798 fired transitions, 3120 secs ||
lola: 440 tries, 439656332 fired transitions, 3125 secs ||
lola: 441 tries, 440319857 fired transitions, 3130 secs ||
lola: 442 tries, 441025780 fired transitions, 3135 secs ||
lola: 442 tries, 441668572 fired transitions, 3140 secs ||
lola: 443 tries, 442435757 fired transitions, 3145 secs ||
lola: 444 tries, 443332656 fired transitions, 3150 secs ||
lola: 445 tries, 444158720 fired transitions, 3155 secs ||
lola: 445 tries, 444786618 fired transitions, 3160 secs ||
lola: 446 tries, 445458080 fired transitions, 3165 secs ||
lola: 447 tries, 446227174 fired transitions, 3170 secs ||
lola: 448 tries, 447185461 fired transitions, 3175 secs ||
lola: 448 tries, 447913453 fired transitions, 3180 secs ||
lola: 449 tries, 448620982 fired transitions, 3185 secs ||
lola: 450 tries, 449420885 fired transitions, 3190 secs ||
lola: 451 tries, 450377943 fired transitions, 3195 secs ||
lola: 452 tries, 451413210 fired transitions, 3200 secs ||
lola: 453 tries, 452421359 fired transitions, 3205 secs ||
lola: 454 tries, 453401961 fired transitions, 3210 secs ||
lola: 455 tries, 454234323 fired transitions, 3215 secs ||
lola: 455 tries, 454824920 fired transitions, 3220 secs ||
lola: 456 tries, 455544788 fired transitions, 3225 secs ||
lola: 457 tries, 456367834 fired transitions, 3230 secs ||
lola: 458 tries, 457207627 fired transitions, 3235 secs ||
lola: 458 tries, 457918595 fired transitions, 3240 secs ||
lola: 459 tries, 458627434 fired transitions, 3245 secs ||
lola: 460 tries, 459366404 fired transitions, 3250 secs ||
lola: 461 tries, 460150514 fired transitions, 3255 secs ||
lola: 461 tries, 460983075 fired transitions, 3260 secs ||
lola: 462 tries, 461881162 fired transitions, 3265 secs ||
lola: 463 tries, 462614355 fired transitions, 3270 secs ||
lola: 464 tries, 463322049 fired transitions, 3275 secs ||
lola: 465 tries, 464043175 fired transitions, 3280 secs ||
lola: 466 tries, 465035420 fired transitions, 3285 secs ||
lola: 466 tries, 465745884 fired transitions, 3290 secs ||
lola: 467 tries, 466664074 fired transitions, 3295 secs ||
lola: 468 tries, 467700393 fired transitions, 3300 secs ||
lola: 469 tries, 468493324 fired transitions, 3305 secs ||
lola: 470 tries, 469208279 fired transitions, 3310 secs ||
lola: 470 tries, 469981862 fired transitions, 3315 secs ||
lola: 471 tries, 470872033 fired transitions, 3320 secs ||
lola: 472 tries, 471848721 fired transitions, 3325 secs ||
lola: 473 tries, 472500069 fired transitions, 3330 secs ||
lola: 474 tries, 473135808 fired transitions, 3335 secs ||
lola: 475 tries, 474025981 fired transitions, 3340 secs ||
lola: 476 tries, 475056908 fired transitions, 3345 secs ||
lola: 477 tries, 476035388 fired transitions, 3350 secs ||
lola: 477 tries, 476969869 fired transitions, 3355 secs ||
lola: 478 tries, 477652625 fired transitions, 3360 secs ||
lola: 479 tries, 478472123 fired transitions, 3365 secs ||
lola: 480 tries, 479274068 fired transitions, 3370 secs ||
lola: 480 tries, 479873037 fired transitions, 3375 secs ||
lola: 481 tries, 480531301 fired transitions, 3380 secs ||
lola: 482 tries, 481310170 fired transitions, 3385 secs ||
lola: 483 tries, 482308737 fired transitions, 3390 secs ||
lola: 484 tries, 483213826 fired transitions, 3395 secs ||
lola: 484 tries, 483941966 fired transitions, 3400 secs ||
lola: 485 tries, 484927290 fired transitions, 3405 secs ||
lola: 486 tries, 485675128 fired transitions, 3410 secs ||
lola: 487 tries, 486383588 fired transitions, 3415 secs ||
lola: 488 tries, 487085942 fired transitions, 3420 secs ||
lola: 488 tries, 487858669 fired transitions, 3425 secs ||
lola: 489 tries, 488488597 fired transitions, 3430 secs ||
lola: 490 tries, 489137636 fired transitions, 3435 secs ||
lola: 491 tries, 490075603 fired transitions, 3440 secs ||
lola: 491 tries, 490963503 fired transitions, 3445 secs ||
lola: 492 tries, 491855731 fired transitions, 3450 secs ||
lola: 493 tries, 492501993 fired transitions, 3455 secs ||
lola: 494 tries, 493105651 fired transitions, 3460 secs ||
lola: 494 tries, 493733110 fired transitions, 3465 secs ||
lola: 495 tries, 494562974 fired transitions, 3470 secs ||
lola: 496 tries, 495461540 fired transitions, 3475 secs ||
lola: 497 tries, 496235909 fired transitions, 3480 secs ||
lola: 497 tries, 496905378 fired transitions, 3485 secs ||
lola: 498 tries, 497864017 fired transitions, 3490 secs ||
lola: 499 tries, 498542925 fired transitions, 3495 secs ||
lola: 500 tries, 499210571 fired transitions, 3500 secs ||
lola: 500 tries, 499985471 fired transitions, 3505 secs ||
lola: 501 tries, 500894740 fired transitions, 3510 secs ||
lola: 502 tries, 501676705 fired transitions, 3515 secs ||
lola: 503 tries, 502340005 fired transitions, 3520 secs ||
lola: 503 tries, 502930705 fired transitions, 3525 secs ||
lola: 504 tries, 503887313 fired transitions, 3530 secs ||
lola: 505 tries, 504918298 fired transitions, 3535 secs ||
lola: 506 tries, 505615972 fired transitions, 3540 secs ||
lola: 507 tries, 506285558 fired transitions, 3545 secs ||
lola: 507 tries, 506954346 fired transitions, 3550 secs ||
lola: time limit reached - aborting
Segmentation fault
rslt: finished

BK_STOP 1552691516369

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

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 139 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory
fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16 xml LTLFireability.txt template) 3570 seconds (--findpath=par) d) set method with insertion algorithm (--stubborn=tarjan) method with insertion algorithm (--stubborn=tarjan) (--findpath) (--depthlimit) (--symmtimelimit) 0 secs 5 secs 10 secs 15 secs 20 secs 25 secs 30 secs 35 secs 40 secs 45 secs 50 secs 55 secs 60 secs 65 secs 70 secs 75 secs 80 secs 85 secs 90 secs 95 secs 100 secs 105 secs 110 secs 115 secs 120 secs 125 secs 130 secs 135 secs 140 secs 145 secs 150 secs 155 secs 160 secs 165 secs 170 secs 175 secs 180 secs 185 secs 190 secs 195 secs 200 secs 205 secs 210 secs 215 secs 220 secs 225 secs 230 secs 235 secs 240 secs 245 secs 250 secs 255 secs 260 secs 265 secs 270 secs 275 secs 280 secs 285 secs 290 secs 295 secs 300 secs 305 secs generating set by composition) 0 markings, 0 edges, 0 markings/sec, 305 secs 6009 markings, 9615 edges, 1202 markings/sec, 310 secs 11515 markings, 18574 edges, 1101 markings/sec, 315 secs 17564 markings, 28291 edges, 1210 markings/sec, 320 secs 23891 markings, 38790 edges, 1265 markings/sec, 325 secs 30706 markings, 49771 edges, 1363 markings/sec, 330 secs 37524 markings, 60569 edges, 1364 markings/sec, 335 secs 43584 markings, 70693 edges, 1212 markings/sec, 340 secs 50029 markings, 81372 edges, 1289 markings/sec, 345 secs 57128 markings, 92757 edges, 1420 markings/sec, 350 secs 63390 markings, 102930 edges, 1252 markings/sec, 355 secs 69821 markings, 113380 edges, 1286 markings/sec, 360 secs 76118 markings, 123637 edges, 1259 markings/sec, 365 secs 81885 markings, 133105 edges, 1153 markings/sec, 370 secs 88864 markings, 144401 edges, 1396 markings/sec, 375 secs 95819 markings, 155785 edges, 1391 markings/sec, 380 secs 102710 markings, 167085 edges, 1378 markings/sec, 385 secs 110014 markings, 178982 edges, 1461 markings/sec, 390 secs 117273 markings, 190775 edges, 1452 markings/sec, 395 secs 124186 markings, 202119 edges, 1383 markings/sec, 400 secs 131401 markings, 213668 edges, 1443 markings/sec, 405 secs 138235 markings, 224880 edges, 1367 markings/sec, 410 secs 145177 markings, 236266 edges, 1388 markings/sec, 415 secs 152033 markings, 247257 edges, 1371 markings/sec, 420 secs 158856 markings, 258272 edges, 1365 markings/sec, 425 secs 165197 markings, 268591 edges, 1268 markings/sec, 430 secs 171695 markings, 279354 edges, 1300 markings/sec, 435 secs 178384 markings, 290381 edges, 1338 markings/sec, 440 secs 185179 markings, 301331 edges, 1359 markings/sec, 445 secs 191923 markings, 312441 edges, 1349 markings/sec, 450 secs 198873 markings, 323733 edges, 1390 markings/sec, 455 secs 206318 markings, 335659 edges, 1489 markings/sec, 460 secs 213479 markings, 347550 edges, 1432 markings/sec, 465 secs 220790 markings, 359451 edges, 1462 markings/sec, 470 secs 228408 markings, 371735 edges, 1524 markings/sec, 475 secs 235632 markings, 383705 edges, 1445 markings/sec, 480 secs 242870 markings, 395406 edges, 1448 markings/sec, 485 secs 250008 markings, 406738 edges, 1428 markings/sec, 490 secs 256780 markings, 417986 edges, 1354 markings/sec, 495 secs 262745 markings, 427726 edges, 1193 markings/sec, 500 secs 269445 markings, 438700 edges, 1340 markings/sec, 505 secs 276112 markings, 449695 edges, 1333 markings/sec, 510 secs 283303 markings, 461242 edges, 1438 markings/sec, 515 secs 290517 markings, 472942 edges, 1443 markings/sec, 520 secs 297314 markings, 484049 edges, 1359 markings/sec, 525 secs 304260 markings, 495304 edges, 1389 markings/sec, 530 secs 311008 markings, 506396 edges, 1350 markings/sec, 535 secs 317528 markings, 516945 edges, 1304 markings/sec, 540 secs 323956 markings, 527386 edges, 1286 markings/sec, 545 secs 330454 markings, 537919 edges, 1300 markings/sec, 550 secs 336039 markings, 546817 edges, 1117 markings/sec, 555 secs 342534 markings, 557758 edges, 1299 markings/sec, 560 secs 349372 markings, 568965 edges, 1368 markings/sec, 565 secs 356191 markings, 579946 edges, 1364 markings/sec, 570 secs 362867 markings, 590965 edges, 1335 markings/sec, 575 secs 369754 markings, 602270 edges, 1377 markings/sec, 580 secs 376837 markings, 613622 edges, 1417 markings/sec, 585 secs 383667 markings, 624925 edges, 1366 markings/sec, 590 secs 390727 markings, 636388 edges, 1412 markings/sec, 595 secs 397726 markings, 647834 edges, 1400 markings/sec, 600 secs 404451 markings, 658775 edges, 1345 markings/sec, 605 secs 411411 markings, 670052 edges, 1392 markings/sec, 610 secs 418351 markings, 681201 edges, 1388 markings/sec, 615 secs 425085 markings, 692490 edges, 1347 markings/sec, 620 secs 432265 markings, 704003 edges, 1436 markings/sec, 625 secs 439529 markings, 715921 edges, 1453 markings/sec, 630 secs 446732 markings, 727785 edges, 1441 markings/sec, 635 secs 454152 markings, 739776 edges, 1484 markings/sec, 640 secs 461671 markings, 751989 edges, 1504 markings/sec, 645 secs 468970 markings, 763869 edges, 1460 markings/sec, 650 secs 476355 markings, 775857 edges, 1477 markings/sec, 655 secs 483700 markings, 787816 edges, 1469 markings/sec, 660 secs 490840 markings, 799414 edges, 1428 markings/sec, 665 secs 498083 markings, 811203 edges, 1449 markings/sec, 670 secs 505084 markings, 822432 edges, 1400 markings/sec, 675 secs 511686 markings, 833550 edges, 1320 markings/sec, 680 secs 518608 markings, 844712 edges, 1384 markings/sec, 685 secs 525443 markings, 855923 edges, 1367 markings/sec, 690 secs 532481 markings, 867431 edges, 1408 markings/sec, 695 secs 540043 markings, 879545 edges, 1512 markings/sec, 700 secs 547158 markings, 891211 edges, 1423 markings/sec, 705 secs 554178 markings, 902779 edges, 1404 markings/sec, 710 secs 561720 markings, 914923 edges, 1508 markings/sec, 715 secs 569065 markings, 926914 edges, 1469 markings/sec, 720 secs 576272 markings, 938806 edges, 1441 markings/sec, 725 secs 583632 markings, 950655 edges, 1472 markings/sec, 730 secs 590848 markings, 962327 edges, 1443 markings/sec, 735 secs 597677 markings, 973568 edges, 1366 markings/sec, 740 secs 604463 markings, 984504 edges, 1357 markings/sec, 745 secs 610828 markings, 995094 edges, 1273 markings/sec, 750 secs 617589 markings, 1005994 edges, 1352 markings/sec, 755 secs 624991 markings, 1017993 edges, 1480 markings/sec, 760 secs 632213 markings, 1029778 edges, 1444 markings/sec, 765 secs 638825 markings, 1040677 edges, 1322 markings/sec, 770 secs 646119 markings, 1052354 edges, 1459 markings/sec, 775 secs 652756 markings, 1063277 edges, 1327 markings/sec, 780 secs 659801 markings, 1074791 edges, 1409 markings/sec, 785 secs 666878 markings, 1086149 edges, 1415 markings/sec, 790 secs 673804 markings, 1097371 edges, 1385 markings/sec, 795 secs 680175 markings, 1107669 edges, 1274 markings/sec, 800 secs 686335 markings, 1117932 edges, 1232 markings/sec, 805 secs 693327 markings, 1129575 edges, 1398 markings/sec, 810 secs 700793 markings, 1141451 edges, 1493 markings/sec, 815 secs 707992 markings, 1153401 edges, 1440 markings/sec, 820 secs 715393 markings, 1165413 edges, 1480 markings/sec, 825 secs 723003 markings, 1177582 edges, 1522 markings/sec, 830 secs 730035 markings, 1189451 edges, 1406 markings/sec, 835 secs 737619 markings, 1201708 edges, 1517 markings/sec, 840 secs 745251 markings, 1214045 edges, 1526 markings/sec, 845 secs 752742 markings, 1226265 edges, 1498 markings/sec, 850 secs 760208 markings, 1238365 edges, 1493 markings/sec, 855 secs 767601 markings, 1250459 edges, 1479 markings/sec, 860 secs 775326 markings, 1263151 edges, 1545 markings/sec, 865 secs 782979 markings, 1275530 edges, 1531 markings/sec, 870 secs 790505 markings, 1287920 edges, 1505 markings/sec, 875 secs 798221 markings, 1300470 edges, 1543 markings/sec, 880 secs 806039 markings, 1312981 edges, 1564 markings/sec, 885 secs 813502 markings, 1325268 edges, 1493 markings/sec, 890 secs 820915 markings, 1337451 edges, 1483 markings/sec, 895 secs 828669 markings, 1349824 edges, 1551 markings/sec, 900 secs 836085 markings, 1362029 edges, 1483 markings/sec, 905 secs 843602 markings, 1374206 edges, 1503 markings/sec, 910 secs 851176 markings, 1386462 edges, 1515 markings/sec, 915 secs 858372 markings, 1398427 edges, 1439 markings/sec, 920 secs 865870 markings, 1410759 edges, 1500 markings/sec, 925 secs 873567 markings, 1423206 edges, 1539 markings/sec, 930 secs 881162 markings, 1435702 edges, 1519 markings/sec, 935 secs 888926 markings, 1448200 edges, 1553 markings/sec, 940 secs 896390 markings, 1460537 edges, 1493 markings/sec, 945 secs 904130 markings, 1473006 edges, 1548 markings/sec, 950 secs 911744 markings, 1485531 edges, 1523 markings/sec, 955 secs 919454 markings, 1498173 edges, 1542 markings/sec, 960 secs 927380 markings, 1510898 edges, 1585 markings/sec, 965 secs 935350 markings, 1523681 edges, 1594 markings/sec, 970 secs 942859 markings, 1536091 edges, 1502 markings/sec, 975 secs 950428 markings, 1548546 edges, 1514 markings/sec, 980 secs 958075 markings, 1560702 edges, 1529 markings/sec, 985 secs 965494 markings, 1573148 edges, 1484 markings/sec, 990 secs 973185 markings, 1585587 edges, 1538 markings/sec, 995 secs 980827 markings, 1597942 edges, 1528 markings/sec, 1000 secs 988319 markings, 1610227 edges, 1498 markings/sec, 1005 secs 995847 markings, 1622455 edges, 1506 markings/sec, 1010 secs 1003431 markings, 1634697 edges, 1517 markings/sec, 1015 secs 1010705 markings, 1646517 edges, 1455 markings/sec, 1020 secs 1018043 markings, 1658467 edges, 1468 markings/sec, 1025 secs 1025225 markings, 1670301 edges, 1436 markings/sec, 1030 secs 1031777 markings, 1681022 edges, 1310 markings/sec, 1035 secs 1038501 markings, 1692085 edges, 1345 markings/sec, 1040 secs 1045558 markings, 1703277 edges, 1411 markings/sec, 1045 secs 1052483 markings, 1714897 edges, 1385 markings/sec, 1050 secs 1059772 markings, 1726622 edges, 1458 markings/sec, 1055 secs 1066887 markings, 1738027 edges, 1423 markings/sec, 1060 secs 1073992 markings, 1749884 edges, 1421 markings/sec, 1065 secs 1081182 markings, 1761728 edges, 1438 markings/sec, 1070 secs 1088672 markings, 1773709 edges, 1498 markings/sec, 1075 secs 1095853 markings, 1785480 edges, 1436 markings/sec, 1080 secs 1103052 markings, 1797082 edges, 1440 markings/sec, 1085 secs 1110143 markings, 1808551 edges, 1418 markings/sec, 1090 secs 1117298 markings, 1820550 edges, 1431 markings/sec, 1095 secs 1124700 markings, 1832580 edges, 1480 markings/sec, 1100 secs 1132097 markings, 1844579 edges, 1479 markings/sec, 1105 secs 1139591 markings, 1856744 edges, 1499 markings/sec, 1110 secs 1147094 markings, 1868939 edges, 1501 markings/sec, 1115 secs 1154499 markings, 1881111 edges, 1481 markings/sec, 1120 secs 1161939 markings, 1893178 edges, 1488 markings/sec, 1125 secs 1169330 markings, 1905198 edges, 1478 markings/sec, 1130 secs 1176755 markings, 1917185 edges, 1485 markings/sec, 1135 secs 1184107 markings, 1929151 edges, 1470 markings/sec, 1140 secs 1191337 markings, 1940906 edges, 1446 markings/sec, 1145 secs 1198349 markings, 1952613 edges, 1402 markings/sec, 1150 secs 1205662 markings, 1964352 edges, 1463 markings/sec, 1155 secs 1212769 markings, 1975999 edges, 1421 markings/sec, 1160 secs 1219844 markings, 1987571 edges, 1415 markings/sec, 1165 secs 1227286 markings, 1999535 edges, 1488 markings/sec, 1170 secs 1234448 markings, 2011182 edges, 1432 markings/sec, 1175 secs 1241470 markings, 2022826 edges, 1404 markings/sec, 1180 secs 1249045 markings, 2034962 edges, 1515 markings/sec, 1185 secs 1256278 markings, 2046931 edges, 1447 markings/sec, 1190 secs 1263661 markings, 2058893 edges, 1477 markings/sec, 1195 secs 1271057 markings, 2070892 edges, 1479 markings/sec, 1200 secs 1278566 markings, 2083050 edges, 1502 markings/sec, 1205 secs 1285714 markings, 2094730 edges, 1430 markings/sec, 1210 secs 1292858 markings, 2106390 edges, 1429 markings/sec, 1215 secs 1299840 markings, 2117815 edges, 1396 markings/sec, 1220 secs 1307011 markings, 2129560 edges, 1434 markings/sec, 1225 secs 1314482 markings, 2141670 edges, 1494 markings/sec, 1230 secs 1321979 markings, 2153761 edges, 1499 markings/sec, 1235 secs 1328758 markings, 2164901 edges, 1356 markings/sec, 1240 secs 1335366 markings, 2175561 edges, 1322 markings/sec, 1245 secs 1341896 markings, 2186239 edges, 1306 markings/sec, 1250 secs 1348120 markings, 2196386 edges, 1245 markings/sec, 1255 secs 1354134 markings, 2206189 edges, 1203 markings/sec, 1260 secs 1360358 markings, 2216342 edges, 1245 markings/sec, 1265 secs 1367261 markings, 2227351 edges, 1381 markings/sec, 1270 secs 1373711 markings, 2238368 edges, 1290 markings/sec, 1275 secs 1381142 markings, 2250424 edges, 1486 markings/sec, 1280 secs 1388705 markings, 2262667 edges, 1513 markings/sec, 1285 secs 1395967 markings, 2274613 edges, 1452 markings/sec, 1290 secs 1403467 markings, 2286860 edges, 1500 markings/sec, 1295 secs 1411209 markings, 2299146 edges, 1548 markings/sec, 1300 secs 1418337 markings, 2311212 edges, 1426 markings/sec, 1305 secs 1425899 markings, 2323554 edges, 1512 markings/sec, 1310 secs 1433689 markings, 2336025 edges, 1558 markings/sec, 1315 secs 1441425 markings, 2348634 edges, 1547 markings/sec, 1320 secs 1449044 markings, 2360993 edges, 1524 markings/sec, 1325 secs 1456405 markings, 2373124 edges, 1472 markings/sec, 1330 secs 1463951 markings, 2385536 edges, 1509 markings/sec, 1335 secs 1470880 markings, 2396762 edges, 1386 markings/sec, 1340 secs 1477736 markings, 2407961 edges, 1371 markings/sec, 1345 secs 1484966 markings, 2419751 edges, 1446 markings/sec, 1350 secs 1492215 markings, 2431533 edges, 1450 markings/sec, 1355 secs 1500004 markings, 2444197 edges, 1558 markings/sec, 1360 secs 1507986 markings, 2457105 edges, 1596 markings/sec, 1365 secs 1515638 markings, 2469639 edges, 1530 markings/sec, 1370 secs 1523350 markings, 2482120 edges, 1542 markings/sec, 1375 secs 1531065 markings, 2494788 edges, 1543 markings/sec, 1380 secs 1539081 markings, 2507444 edges, 1603 markings/sec, 1385 secs 1546162 markings, 2519443 edges, 1416 markings/sec, 1390 secs 1553722 markings, 2531882 edges, 1512 markings/sec, 1395 secs 1561617 markings, 2544418 edges, 1579 markings/sec, 1400 secs 1569250 markings, 2557130 edges, 1527 markings/sec, 1405 secs 1577300 markings, 2570082 edges, 1610 markings/sec, 1410 secs 1585148 markings, 2583050 edges, 1570 markings/sec, 1415 secs 1593187 markings, 2596040 edges, 1608 markings/sec, 1420 secs 1601196 markings, 2609109 edges, 1602 markings/sec, 1425 secs 1609132 markings, 2622040 edges, 1587 markings/sec, 1430 secs 1616935 markings, 2634818 edges, 1561 markings/sec, 1435 secs 1624795 markings, 2647270 edges, 1572 markings/sec, 1440 secs 1632074 markings, 2659338 edges, 1456 markings/sec, 1445 secs 1639504 markings, 2671606 edges, 1486 markings/sec, 1450 secs 1647346 markings, 2684192 edges, 1568 markings/sec, 1455 secs 1655171 markings, 2697153 edges, 1565 markings/sec, 1460 secs 1663119 markings, 2709985 edges, 1590 markings/sec, 1465 secs 1670969 markings, 2722876 edges, 1570 markings/sec, 1470 secs 1678841 markings, 2735539 edges, 1574 markings/sec, 1475 secs 1686608 markings, 2748273 edges, 1553 markings/sec, 1480 secs 1694251 markings, 2760768 edges, 1529 markings/sec, 1485 secs 1701861 markings, 2773113 edges, 1522 markings/sec, 1490 secs 1709641 markings, 2785632 edges, 1556 markings/sec, 1495 secs 1717037 markings, 2797992 edges, 1479 markings/sec, 1500 secs 1724974 markings, 2810863 edges, 1587 markings/sec, 1505 secs 1732727 markings, 2823562 edges, 1551 markings/sec, 1510 secs 1740487 markings, 2836318 edges, 1552 markings/sec, 1515 secs 1748475 markings, 2849297 edges, 1598 markings/sec, 1520 secs 1756499 markings, 2862252 edges, 1605 markings/sec, 1525 secs 1764488 markings, 2875289 edges, 1598 markings/sec, 1530 secs 1772527 markings, 2888396 edges, 1608 markings/sec, 1535 secs 1780464 markings, 2901338 edges, 1587 markings/sec, 1540 secs 1788434 markings, 2914350 edges, 1594 markings/sec, 1545 secs 1796481 markings, 2927265 edges, 1609 markings/sec, 1550 secs 1804335 markings, 2940288 edges, 1571 markings/sec, 1555 secs 1812372 markings, 2953450 edges, 1607 markings/sec, 1560 secs 1820557 markings, 2966740 edges, 1637 markings/sec, 1565 secs 1828621 markings, 2979934 edges, 1613 markings/sec, 1570 secs 1836827 markings, 2993291 edges, 1641 markings/sec, 1575 secs 1844935 markings, 3006503 edges, 1622 markings/sec, 1580 secs 1853001 markings, 3019632 edges, 1613 markings/sec, 1585 secs 1861235 markings, 3032812 edges, 1647 markings/sec, 1590 secs 1869118 markings, 3045872 edges, 1577 markings/sec, 1595 secs 1877279 markings, 3058962 edges, 1632 markings/sec, 1600 secs 1885293 markings, 3072086 edges, 1603 markings/sec, 1605 secs 1893228 markings, 3085188 edges, 1587 markings/sec, 1610 secs 1901220 markings, 3098126 edges, 1598 markings/sec, 1615 secs 1909082 markings, 3110924 edges, 1572 markings/sec, 1620 secs 1917140 markings, 3124063 edges, 1612 markings/sec, 1625 secs 1925090 markings, 3136842 edges, 1590 markings/sec, 1630 secs 1932995 markings, 3149840 edges, 1581 markings/sec, 1635 secs 1941007 markings, 3163069 edges, 1602 markings/sec, 1640 secs 1949246 markings, 3176355 edges, 1648 markings/sec, 1645 secs 1957359 markings, 3189643 edges, 1623 markings/sec, 1650 secs 1965541 markings, 3202756 edges, 1636 markings/sec, 1655 secs 1973449 markings, 3215901 edges, 1582 markings/sec, 1660 secs 1981643 markings, 3229039 edges, 1639 markings/sec, 1665 secs 1989659 markings, 3242088 edges, 1603 markings/sec, 1670 secs 1997531 markings, 3254996 edges, 1574 markings/sec, 1675 secs 2005479 markings, 3267973 edges, 1590 markings/sec, 1680 secs 2013524 markings, 3280909 edges, 1609 markings/sec, 1685 secs 2021296 markings, 3293717 edges, 1554 markings/sec, 1690 secs 2029135 markings, 3306459 edges, 1568 markings/sec, 1695 secs 2036885 markings, 3319132 edges, 1550 markings/sec, 1700 secs 2044906 markings, 3332034 edges, 1604 markings/sec, 1705 secs 2052629 markings, 3344567 edges, 1545 markings/sec, 1710 secs 2059971 markings, 3356854 edges, 1468 markings/sec, 1715 secs 2067594 markings, 3369250 edges, 1525 markings/sec, 1720 secs 2075103 markings, 3381552 edges, 1502 markings/sec, 1725 secs 2082764 markings, 3394011 edges, 1532 markings/sec, 1730 secs 2090671 markings, 3406856 edges, 1581 markings/sec, 1735 secs 2098557 markings, 3419537 edges, 1577 markings/sec, 1740 secs 2106229 markings, 3432175 edges, 1534 markings/sec, 1745 secs 2114129 markings, 3445153 edges, 1580 markings/sec, 1750 secs 2122240 markings, 3458313 edges, 1622 markings/sec, 1755 secs 2130261 markings, 3471331 edges, 1604 markings/sec, 1760 secs 2138157 markings, 3484277 edges, 1579 markings/sec, 1765 secs 2145838 markings, 3496898 edges, 1536 markings/sec, 1770 secs 2153874 markings, 3509797 edges, 1607 markings/sec, 1775 secs 2161321 markings, 3522079 edges, 1489 markings/sec, 1780 secs 2167993 markings, 3533013 edges, 1334 markings/sec, 1785 secs 2175973 markings, 3545917 edges, 1596 markings/sec, 1790 secs 2184082 markings, 3559120 edges, 1622 markings/sec, 1795 secs 2191629 markings, 3571339 edges, 1509 markings/sec, 1800 secs 2199462 markings, 3584151 edges, 1567 markings/sec, 1805 secs 2207691 markings, 3597497 edges, 1646 markings/sec, 1810 secs 2215481 markings, 3610260 edges, 1558 markings/sec, 1815 secs 2223600 markings, 3623391 edges, 1624 markings/sec, 1820 secs 2231377 markings, 3636230 edges, 1555 markings/sec, 1825 secs 2239438 markings, 3649402 edges, 1612 markings/sec, 1830 secs 2247568 markings, 3662645 edges, 1626 markings/sec, 1835 secs 2255650 markings, 3675822 edges, 1616 markings/sec, 1840 secs 2263858 markings, 3689173 edges, 1642 markings/sec, 1845 secs 2272145 markings, 3702463 edges, 1657 markings/sec, 1850 secs 2280135 markings, 3715801 edges, 1598 markings/sec, 1855 secs 2288326 markings, 3729211 edges, 1638 markings/sec, 1860 secs 2296606 markings, 3742624 edges, 1656 markings/sec, 1865 secs 2304793 markings, 3755952 edges, 1637 markings/sec, 1870 secs 2313226 markings, 3769380 edges, 1687 markings/sec, 1875 secs 2321218 markings, 3782575 edges, 1598 markings/sec, 1880 secs 2329206 markings, 3795702 edges, 1598 markings/sec, 1885 secs 2337246 markings, 3808637 edges, 1608 markings/sec, 1890 secs 2345257 markings, 3821926 edges, 1602 markings/sec, 1895 secs 2353587 markings, 3835285 edges, 1666 markings/sec, 1900 secs 2361654 markings, 3848410 edges, 1613 markings/sec, 1905 secs 2369750 markings, 3861598 edges, 1619 markings/sec, 1910 secs 2377857 markings, 3874785 edges, 1621 markings/sec, 1915 secs 2385774 markings, 3887769 edges, 1583 markings/sec, 1920 secs 2393861 markings, 3900862 edges, 1617 markings/sec, 1925 secs 2401893 markings, 3913958 edges, 1606 markings/sec, 1930 secs 2409269 markings, 3926168 edges, 1475 markings/sec, 1935 secs 2416864 markings, 3938658 edges, 1519 markings/sec, 1940 secs 2424548 markings, 3950888 edges, 1537 markings/sec, 1945 secs 2432275 markings, 3963590 edges, 1545 markings/sec, 1950 secs 2440174 markings, 3976464 edges, 1580 markings/sec, 1955 secs 2447804 markings, 3989006 edges, 1526 markings/sec, 1960 secs 2455712 markings, 4001751 edges, 1582 markings/sec, 1965 secs 2463654 markings, 4014724 edges, 1588 markings/sec, 1970 secs 2471414 markings, 4027346 edges, 1552 markings/sec, 1975 secs 2479110 markings, 4039807 edges, 1539 markings/sec, 1980 secs 2486879 markings, 4052359 edges, 1554 markings/sec, 1985 secs 2494323 markings, 4064848 edges, 1489 markings/sec, 1990 secs 2502163 markings, 4077692 edges, 1568 markings/sec, 1995 secs 2510053 markings, 4090378 edges, 1578 markings/sec, 2000 secs 2518011 markings, 4103406 edges, 1592 markings/sec, 2005 secs 2526061 markings, 4116473 edges, 1610 markings/sec, 2010 secs 2534063 markings, 4129447 edges, 1600 markings/sec, 2015 secs 2542199 markings, 4142733 edges, 1627 markings/sec, 2020 secs 2550446 markings, 4156023 edges, 1649 markings/sec, 2025 secs 2558299 markings, 4169064 edges, 1571 markings/sec, 2030 secs 2566452 markings, 4182112 edges, 1631 markings/sec, 2035 secs 2574093 markings, 4194518 edges, 1528 markings/sec, 2040 secs 2581563 markings, 4207014 edges, 1494 markings/sec, 2045 secs 2589220 markings, 4219374 edges, 1531 markings/sec, 2050 secs 2596844 markings, 4231713 edges, 1525 markings/sec, 2055 secs 2604692 markings, 4244560 edges, 1570 markings/sec, 2060 secs 2612490 markings, 4257130 edges, 1560 markings/sec, 2065 secs 2620211 markings, 4269821 edges, 1544 markings/sec, 2070 secs 2628197 markings, 4282846 edges, 1597 markings/sec, 2075 secs 2636247 markings, 4295976 edges, 1610 markings/sec, 2080 secs 2644044 markings, 4308702 edges, 1559 markings/sec, 2085 secs 2651963 markings, 4321658 edges, 1584 markings/sec, 2090 secs 2659837 markings, 4334319 edges, 1575 markings/sec, 2095 secs 2667431 markings, 4346833 edges, 1519 markings/sec, 2100 secs 2674921 markings, 4358977 edges, 1498 markings/sec, 2105 secs 2682211 markings, 4370817 edges, 1458 markings/sec, 2110 secs 2689808 markings, 4383350 edges, 1519 markings/sec, 2115 secs 2697480 markings, 4395717 edges, 1534 markings/sec, 2120 secs 2704858 markings, 4407691 edges, 1476 markings/sec, 2125 secs 2712415 markings, 4419922 edges, 1511 markings/sec, 2130 secs 2719753 markings, 4431951 edges, 1468 markings/sec, 2135 secs 2726932 markings, 4443547 edges, 1436 markings/sec, 2140 secs 2734364 markings, 4455602 edges, 1486 markings/sec, 2145 secs 2741890 markings, 4467799 edges, 1505 markings/sec, 2150 secs 2748468 markings, 4478882 edges, 1316 markings/sec, 2155 secs 2755577 markings, 4490706 edges, 1422 markings/sec, 2160 secs 2763315 markings, 4503194 edges, 1548 markings/sec, 2165 secs 2770730 markings, 4515387 edges, 1483 markings/sec, 2170 secs 2778628 markings, 4528137 edges, 1580 markings/sec, 2175 secs 2786471 markings, 4540965 edges, 1569 markings/sec, 2180 secs 2793907 markings, 4553124 edges, 1487 markings/sec, 2185 secs 2801901 markings, 4566102 edges, 1599 markings/sec, 2190 secs 2809932 markings, 4579197 edges, 1606 markings/sec, 2195 secs 2817739 markings, 4591946 edges, 1561 markings/sec, 2200 secs 2825584 markings, 4604781 edges, 1569 markings/sec, 2205 secs 2833453 markings, 4617432 edges, 1574 markings/sec, 2210 secs 2841381 markings, 4630629 edges, 1586 markings/sec, 2215 secs 2849474 markings, 4643819 edges, 1619 markings/sec, 2220 secs 2857511 markings, 4656863 edges, 1607 markings/sec, 2225 secs 2865675 markings, 4670219 edges, 1633 markings/sec, 2230 secs 2874025 markings, 4683579 edges, 1670 markings/sec, 2235 secs 2882098 markings, 4696743 edges, 1615 markings/sec, 2240 secs 2889988 markings, 4709843 edges, 1578 markings/sec, 2245 secs 2898102 markings, 4722854 edges, 1623 markings/sec, 2250 secs 2906241 markings, 4736075 edges, 1628 markings/sec, 2255 secs 2914239 markings, 4749111 edges, 1600 markings/sec, 2260 secs 2922043 markings, 4762021 edges, 1561 markings/sec, 2265 secs 2930232 markings, 4775275 edges, 1638 markings/sec, 2270 secs 2938377 markings, 4788505 edges, 1629 markings/sec, 2275 secs 2946334 markings, 4801591 edges, 1591 markings/sec, 2280 secs 2954418 markings, 4814742 edges, 1617 markings/sec, 2285 secs 2962495 markings, 4827876 edges, 1615 markings/sec, 2290 secs 2970725 markings, 4841392 edges, 1646 markings/sec, 2295 secs 2978874 markings, 4854717 edges, 1630 markings/sec, 2300 secs 2986998 markings, 4867926 edges, 1625 markings/sec, 2305 secs 2995207 markings, 4881213 edges, 1642 markings/sec, 2310 secs 3003500 markings, 4894462 edges, 1659 markings/sec, 2315 secs 3011310 markings, 4907387 edges, 1562 markings/sec, 2320 secs 3019095 markings, 4920232 edges, 1557 markings/sec, 2325 secs 3027040 markings, 4933066 edges, 1589 markings/sec, 2330 secs 3035081 markings, 4946215 edges, 1608 markings/sec, 2335 secs 3043152 markings, 4959256 edges, 1614 markings/sec, 2340 secs 3051094 markings, 4972138 edges, 1588 markings/sec, 2345 secs 3058863 markings, 4984890 edges, 1554 markings/sec, 2350 secs 3066898 markings, 4997934 edges, 1607 markings/sec, 2355 secs 3074547 markings, 5010307 edges, 1530 markings/sec, 2360 secs 3082342 markings, 5023085 edges, 1559 markings/sec, 2365 secs 3090101 markings, 5035514 edges, 1552 markings/sec, 2370 secs 3097878 markings, 5048554 edges, 1555 markings/sec, 2375 secs 3105828 markings, 5061608 edges, 1590 markings/sec, 2380 secs 3113992 markings, 5074842 edges, 1633 markings/sec, 2385 secs 3122184 markings, 5088167 edges, 1638 markings/sec, 2390 secs 3130355 markings, 5101473 edges, 1634 markings/sec, 2395 secs 3138278 markings, 5114527 edges, 1585 markings/sec, 2400 secs 3146503 markings, 5128016 edges, 1645 markings/sec, 2405 secs 3154799 markings, 5141263 edges, 1659 markings/sec, 2410 secs 3162572 markings, 5153985 edges, 1555 markings/sec, 2415 secs 3170451 markings, 5166684 edges, 1576 markings/sec, 2420 secs 3178307 markings, 5179651 edges, 1571 markings/sec, 2425 secs 3186360 markings, 5192875 edges, 1611 markings/sec, 2430 secs 3194537 markings, 5206187 edges, 1635 markings/sec, 2435 secs 3202892 markings, 5219766 edges, 1671 markings/sec, 2440 secs 3211303 markings, 5233393 edges, 1682 markings/sec, 2445 secs 3219667 markings, 5246969 edges, 1673 markings/sec, 2450 secs 3227567 markings, 5259947 edges, 1580 markings/sec, 2455 secs 3235426 markings, 5272731 edges, 1572 markings/sec, 2460 secs 3242912 markings, 5284909 edges, 1497 markings/sec, 2465 secs 3250909 markings, 5297859 edges, 1599 markings/sec, 2470 secs 3258405 markings, 5310036 edges, 1499 markings/sec, 2475 secs 3266267 markings, 5323082 edges, 1572 markings/sec, 2480 secs 3274628 markings, 5336494 edges, 1672 markings/sec, 2485 secs 3282766 markings, 5349769 edges, 1628 markings/sec, 2490 secs 3291000 markings, 5363338 edges, 1647 markings/sec, 2495 secs 3299353 markings, 5376867 edges, 1671 markings/sec, 2500 secs 3307715 markings, 5390573 edges, 1672 markings/sec, 2505 secs 3316303 markings, 5404463 edges, 1718 markings/sec, 2510 secs 3324959 markings, 5418579 edges, 1731 markings/sec, 2515 secs 3333485 markings, 5432579 edges, 1705 markings/sec, 2520 secs 3342064 markings, 5446364 edges, 1716 markings/sec, 2525 secs 3350378 markings, 5460050 edges, 1663 markings/sec, 2530 secs 3358485 markings, 5473261 edges, 1621 markings/sec, 2535 secs 3366630 markings, 5486532 edges, 1629 markings/sec, 2540 secs 3374770 markings, 5499788 edges, 1628 markings/sec, 2545 secs 3383197 markings, 5513436 edges, 1685 markings/sec, 2550 secs 3391715 markings, 5527252 edges, 1704 markings/sec, 2555 secs 3400030 markings, 5540938 edges, 1663 markings/sec, 2560 secs 3408426 markings, 5554577 edges, 1679 markings/sec, 2565 secs 3416519 markings, 5567707 edges, 1619 markings/sec, 2570 secs 3424552 markings, 5580811 edges, 1607 markings/sec, 2575 secs 3432869 markings, 5594087 edges, 1663 markings/sec, 2580 secs 3440345 markings, 5606866 edges, 1495 markings/sec, 2585 secs 3448809 markings, 5620595 edges, 1693 markings/sec, 2590 secs 3457319 markings, 5634288 edges, 1702 markings/sec, 2595 secs 3465635 markings, 5648089 edges, 1663 markings/sec, 2600 secs 3474092 markings, 5661773 edges, 1691 markings/sec, 2605 secs 3482405 markings, 5675355 edges, 1663 markings/sec, 2610 secs 3491047 markings, 5689456 edges, 1728 markings/sec, 2615 secs 3499650 markings, 5703364 edges, 1721 markings/sec, 2620 secs 3508118 markings, 5717242 edges, 1694 markings/sec, 2625 secs 3516706 markings, 5731098 edges, 1718 markings/sec, 2630 secs 3525103 markings, 5744935 edges, 1679 markings/sec, 2635 secs 3533702 markings, 5759063 edges, 1720 markings/sec, 2640 secs 3542495 markings, 5773162 edges, 1759 markings/sec, 2645 secs 3551094 markings, 5787321 edges, 1720 markings/sec, 2650 secs 3559788 markings, 5801365 edges, 1739 markings/sec, 2655 secs 3568306 markings, 5815347 edges, 1704 markings/sec, 2660 secs 3576823 markings, 5829336 edges, 1703 markings/sec, 2665 secs 3585617 markings, 5843374 edges, 1759 markings/sec, 2670 secs 3594141 markings, 5857368 edges, 1705 markings/sec, 2675 secs 3602711 markings, 5871277 edges, 1714 markings/sec, 2680 secs 3611032 markings, 5885074 edges, 1664 markings/sec, 2685 secs 3619696 markings, 5899156 edges, 1733 markings/sec, 2690 secs 3628527 markings, 5913290 edges, 1766 markings/sec, 2695 secs 3637027 markings, 5927475 edges, 1700 markings/sec, 2700 secs 3645778 markings, 5941553 edges, 1750 markings/sec, 2705 secs 3654352 markings, 5955686 edges, 1715 markings/sec, 2710 secs 3663050 markings, 5969907 edges, 1740 markings/sec, 2715 secs 3671847 markings, 5984086 edges, 1759 markings/sec, 2720 secs 3680521 markings, 5998236 edges, 1735 markings/sec, 2725 secs 3689258 markings, 6012312 edges, 1747 markings/sec, 2730 secs 3697767 markings, 6026383 edges, 1702 markings/sec, 2735 secs 3706435 markings, 6040529 edges, 1734 markings/sec, 2740 secs 3715169 markings, 6054616 edges, 1747 markings/sec, 2745 secs 3723848 markings, 6068803 edges, 1736 markings/sec, 2750 secs 3732594 markings, 6082924 edges, 1749 markings/sec, 2755 secs 3741161 markings, 6096983 edges, 1713 markings/sec, 2760 secs 3749660 markings, 6110970 edges, 1700 markings/sec, 2765 secs 3758318 markings, 6124919 edges, 1732 markings/sec, 2770 secs 3766891 markings, 6138759 edges, 1715 markings/sec, 2775 secs 3775438 markings, 6152660 edges, 1709 markings/sec, 2780 secs 3783647 markings, 6166348 edges, 1642 markings/sec, 2785 secs 3791943 markings, 6179797 edges, 1659 markings/sec, 2790 secs 3800263 markings, 6193325 edges, 1664 markings/sec, 2795 secs 3808382 markings, 6206760 edges, 1624 markings/sec, 2800 secs 3817071 markings, 6220608 edges, 1738 markings/sec, 2805 secs 3825324 markings, 6234218 edges, 1651 markings/sec, 2810 secs 3833830 markings, 6248008 edges, 1701 markings/sec, 2815 secs 3842298 markings, 6261932 edges, 1694 markings/sec, 2820 secs 3850708 markings, 6275669 edges, 1682 markings/sec, 2825 secs 3859268 markings, 6289354 edges, 1712 markings/sec, 2830 secs 3867670 markings, 6303180 edges, 1680 markings/sec, 2835 secs 3876367 markings, 6317284 edges, 1739 markings/sec, 2840 secs 3885021 markings, 6331407 edges, 1731 markings/sec, 2845 secs 3893421 markings, 6345312 edges, 1680 markings/sec, 2850 secs 3902099 markings, 6359261 edges, 1736 markings/sec, 2855 secs 3910687 markings, 6373336 edges, 1718 markings/sec, 2860 secs 3919339 markings, 6387327 edges, 1730 markings/sec, 2865 secs 3927954 markings, 6401430 edges, 1723 markings/sec, 2870 secs 3936384 markings, 6415281 edges, 1686 markings/sec, 2875 secs 3945108 markings, 6429193 edges, 1745 markings/sec, 2880 secs 3953521 markings, 6443155 edges, 1683 markings/sec, 2885 secs 3962085 markings, 6457052 edges, 1713 markings/sec, 2890 secs 3970625 markings, 6470882 edges, 1708 markings/sec, 2895 secs 3979078 markings, 6484748 edges, 1691 markings/sec, 2900 secs 3987494 markings, 6498473 edges, 1683 markings/sec, 2905 secs 3996000 markings, 6512236 edges, 1701 markings/sec, 2910 secs 4004576 markings, 6526252 edges, 1715 markings/sec, 2915 secs 4013081 markings, 6540231 edges, 1701 markings/sec, 2920 secs 4021688 markings, 6554104 edges, 1721 markings/sec, 2925 secs 4030150 markings, 6567997 edges, 1692 markings/sec, 2930 secs 4038616 markings, 6581705 edges, 1693 markings/sec, 2935 secs 4046775 markings, 6594988 edges, 1632 markings/sec, 2940 secs 4055169 markings, 6608665 edges, 1679 markings/sec, 2945 secs 4063498 markings, 6622361 edges, 1666 markings/sec, 2950 secs 4072135 markings, 6636286 edges, 1727 markings/sec, 2955 secs 4080637 markings, 6650076 edges, 1700 markings/sec, 2960 secs 4088984 markings, 6663814 edges, 1669 markings/sec, 2965 secs 4097437 markings, 6677498 edges, 1691 markings/sec, 2970 secs 4105679 markings, 6690976 edges, 1648 markings/sec, 2975 secs 4114141 markings, 6704635 edges, 1692 markings/sec, 2980 secs 4122583 markings, 6718220 edges, 1688 markings/sec, 2985 secs 4130254 markings, 6731245 edges, 1534 markings/sec, 2990 secs 4138219 markings, 6744115 edges, 1593 markings/sec, 2995 secs 4146087 markings, 6756960 edges, 1574 markings/sec, 3000 secs 4154103 markings, 6770170 edges, 1603 markings/sec, 3005 secs 4162517 markings, 6783706 edges, 1683 markings/sec, 3010 secs 4170590 markings, 6796953 edges, 1615 markings/sec, 3015 secs 4179055 markings, 6810592 edges, 1693 markings/sec, 3020 secs 4187413 markings, 6824355 edges, 1672 markings/sec, 3025 secs 4195744 markings, 6837848 edges, 1666 markings/sec, 3030 secs 4203918 markings, 6851230 edges, 1635 markings/sec, 3035 secs 4212247 markings, 6864670 edges, 1666 markings/sec, 3040 secs 4220690 markings, 6878578 edges, 1689 markings/sec, 3045 secs 4229149 markings, 6892448 edges, 1692 markings/sec, 3050 secs 4237715 markings, 6906330 edges, 1713 markings/sec, 3055 secs 4246238 markings, 6920329 edges, 1705 markings/sec, 3060 secs 4254853 markings, 6934249 edges, 1723 markings/sec, 3065 secs 4263355 markings, 6948107 edges, 1700 markings/sec, 3070 secs 4271736 markings, 6961787 edges, 1676 markings/sec, 3075 secs 4280184 markings, 6975445 edges, 1690 markings/sec, 3080 secs 4288665 markings, 6989172 edges, 1696 markings/sec, 3085 secs 4297037 markings, 7002765 edges, 1674 markings/sec, 3090 secs 4305062 markings, 7016294 edges, 1605 markings/sec, 3095 secs 4313614 markings, 7030110 edges, 1710 markings/sec, 3100 secs 4322061 markings, 7043849 edges, 1689 markings/sec, 3105 secs 4330617 markings, 7057848 edges, 1711 markings/sec, 3110 secs 4339344 markings, 7071724 edges, 1745 markings/sec, 3115 secs 4347779 markings, 7085800 edges, 1687 markings/sec, 3120 secs 4356402 markings, 7099956 edges, 1725 markings/sec, 3125 secs 4365065 markings, 7113966 edges, 1733 markings/sec, 3130 secs 4373705 markings, 7128045 edges, 1728 markings/sec, 3135 secs 4382470 markings, 7142014 edges, 1753 markings/sec, 3140 secs 4390617 markings, 7155680 edges, 1629 markings/sec, 3145 secs 4398971 markings, 7169136 edges, 1671 markings/sec, 3150 secs 4407348 markings, 7182798 edges, 1675 markings/sec, 3155 secs 4415837 markings, 7196713 edges, 1698 markings/sec, 3160 secs 4424507 markings, 7210540 edges, 1734 markings/sec, 3165 secs 4432741 markings, 7224141 edges, 1647 markings/sec, 3170 secs 4441130 markings, 7237770 edges, 1678 markings/sec, 3175 secs 4449445 markings, 7251349 edges, 1663 markings/sec, 3180 secs 4457416 markings, 7264221 edges, 1594 markings/sec, 3185 secs 4465439 markings, 7277263 edges, 1605 markings/sec, 3190 secs 4473249 markings, 7290344 edges, 1562 markings/sec, 3195 secs 4481737 markings, 7304077 edges, 1698 markings/sec, 3200 secs 4490093 markings, 7317648 edges, 1671 markings/sec, 3205 secs 4498600 markings, 7331623 edges, 1701 markings/sec, 3210 secs 4507333 markings, 7345771 edges, 1747 markings/sec, 3215 secs 4515887 markings, 7359758 edges, 1711 markings/sec, 3220 secs 4524553 markings, 7373955 edges, 1733 markings/sec, 3225 secs 4533323 markings, 7388113 edges, 1754 markings/sec, 3230 secs 4541907 markings, 7402124 edges, 1717 markings/sec, 3235 secs 4550531 markings, 7416060 edges, 1725 markings/sec, 3240 secs 4559022 markings, 7430074 edges, 1698 markings/sec, 3245 secs 4567730 markings, 7444312 edges, 1742 markings/sec, 3250 secs 4576560 markings, 7458537 edges, 1766 markings/sec, 3255 secs 4585156 markings, 7472818 edges, 1719 markings/sec, 3260 secs 4594015 markings, 7487099 edges, 1772 markings/sec, 3265 secs 4602684 markings, 7501302 edges, 1734 markings/sec, 3270 secs 4611423 markings, 7515476 edges, 1748 markings/sec, 3275 secs 4620190 markings, 7529729 edges, 1753 markings/sec, 3280 secs 4628883 markings, 7543728 edges, 1739 markings/sec, 3285 secs 4637475 markings, 7557799 edges, 1718 markings/sec, 3290 secs 4645979 markings, 7571785 edges, 1701 markings/sec, 3295 secs 4654474 markings, 7585711 edges, 1699 markings/sec, 3300 secs 4663234 markings, 7599692 edges, 1752 markings/sec, 3305 secs 4671692 markings, 7613708 edges, 1692 markings/sec, 3310 secs 4680273 markings, 7627654 edges, 1716 markings/sec, 3315 secs 4688677 markings, 7641522 edges, 1681 markings/sec, 3320 secs 4697500 markings, 7655728 edges, 1765 markings/sec, 3325 secs 4706229 markings, 7669977 edges, 1746 markings/sec, 3330 secs 4715052 markings, 7684185 edges, 1765 markings/sec, 3335 secs 4723685 markings, 7698324 edges, 1727 markings/sec, 3340 secs 4732117 markings, 7712205 edges, 1686 markings/sec, 3345 secs 4740680 markings, 7726041 edges, 1713 markings/sec, 3350 secs 4749262 markings, 7739945 edges, 1716 markings/sec, 3355 secs 4757857 markings, 7754025 edges, 1719 markings/sec, 3360 secs 4766578 markings, 7768092 edges, 1744 markings/sec, 3365 secs 4775009 markings, 7781989 edges, 1686 markings/sec, 3370 secs 4783563 markings, 7795873 edges, 1711 markings/sec, 3375 secs 4792157 markings, 7809835 edges, 1719 markings/sec, 3380 secs 4800504 markings, 7823416 edges, 1669 markings/sec, 3385 secs 4808784 markings, 7836843 edges, 1656 markings/sec, 3390 secs 4816852 markings, 7850246 edges, 1614 markings/sec, 3395 secs 4824746 markings, 7863149 edges, 1579 markings/sec, 3400 secs 4832695 markings, 7876122 edges, 1590 markings/sec, 3405 secs 4840844 markings, 7889434 edges, 1630 markings/sec, 3410 secs 4849323 markings, 7903154 edges, 1696 markings/sec, 3415 secs 4857803 markings, 7916823 edges, 1696 markings/sec, 3420 secs 4866088 markings, 7930560 edges, 1657 markings/sec, 3425 secs 4874700 markings, 7944476 edges, 1722 markings/sec, 3430 secs 4882987 markings, 7958089 edges, 1657 markings/sec, 3435 secs 4891374 markings, 7971697 edges, 1677 markings/sec, 3440 secs 4899776 markings, 7985109 edges, 1680 markings/sec, 3445 secs 4907975 markings, 7998876 edges, 1640 markings/sec, 3450 secs 4916533 markings, 8012715 edges, 1712 markings/sec, 3455 secs 4924958 markings, 8026586 edges, 1685 markings/sec, 3460 secs 4933785 markings, 8040802 edges, 1765 markings/sec, 3465 secs 4942533 markings, 8054912 edges, 1750 markings/sec, 3470 secs 4950988 markings, 8068805 edges, 1691 markings/sec, 3475 secs 4959426 markings, 8082684 edges, 1688 markings/sec, 3480 secs 4967868 markings, 8096312 edges, 1688 markings/sec, 3485 secs 4976311 markings, 8110004 edges, 1689 markings/sec, 3490 secs 4984768 markings, 8123500 edges, 1691 markings/sec, 3495 secs 4992825 markings, 8137057 edges, 1611 markings/sec, 3500 secs 5001104 markings, 8150727 edges, 1656 markings/sec, 3505 secs 5009689 markings, 8164598 edges, 1717 markings/sec, 3510 secs 5018461 markings, 8178809 edges, 1754 markings/sec, 3515 secs 5027112 markings, 8192905 edges, 1730 markings/sec, 3520 secs 5035709 markings, 8207039 edges, 1719 markings/sec, 3525 secs 5044463 markings, 8221238 edges, 1751 markings/sec, 3530 secs 5053191 markings, 8235399 edges, 1746 markings/sec, 3535 secs 5061749 markings, 8249435 edges, 1712 markings/sec, 3540 secs 5070484 markings, 8263325 edges, 1747 markings/sec, 3545 secs 5078768 markings, 8277149 edges, 1657 markings/sec, 3550 secs

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="JoinFreeModules-PT-2000"
export BK_EXAMINATION="GlobalProperties"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is JoinFreeModules-PT-2000, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r082-csrt-155246550300984"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-2000.tgz
mv JoinFreeModules-PT-2000 execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "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 "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.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 '' GlobalProperties.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 ;