About the Execution of LoLA for TokenRing-COL-050
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15346.820 | 3570465.00 | 7022617.00 | 485.50 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r170-oct2-155297750500273.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is TokenRing-COL-050, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-oct2-155297750500273
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 3.7K Feb 12 21:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 12 21:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 9 05:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 9 05:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 104 Feb 24 15:06 GlobalProperties.txt
-rw-r--r-- 1 mcc users 342 Feb 24 15:06 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.1K Feb 5 01:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 8.3K Feb 5 01:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.2K Feb 4 22:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.9K Feb 4 22:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 4 22:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 1 23:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Feb 1 23:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 equiv_pt
-rw-r--r-- 1 mcc users 4 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 33K Mar 10 17:31 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME TokenRing-COL-050-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553115004965
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ TokenRing-COL-050 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ TokenRing-COL-050
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 High-Level net
lola: Places: 2601, Transitions: 127551
lola: @ trans mainprocess
lola: @ trans otherprocess
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 130152/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 83232
lola: finding significant places
lola: 2601 places, 127551 transitions, 2550 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 (--findpath=par)
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=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 135 fired transitions, 0 secs || 104 markings, 103 edges, 21 markings/sec, 0 secs
lola: 1 tries, 289 fired transitions, 5 secs || 258 markings, 257 edges, 31 markings/sec, 5 secs
lola: 1 tries, 447 fired transitions, 10 secs || 417 markings, 416 edges, 32 markings/sec, 10 secs
lola: 1 tries, 607 fired transitions, 15 secs || 580 markings, 579 edges, 33 markings/sec, 15 secs
lola: 1 tries, 757 fired transitions, 20 secs || 732 markings, 731 edges, 30 markings/sec, 20 secs
lola: 1 tries, 908 fired transitions, 25 secs || 885 markings, 884 edges, 31 markings/sec, 25 secs
lola: 1 tries, 1063 fired transitions, 30 secs || 1041 markings, 1040 edges, 31 markings/sec, 30 secs
lola: 1 tries, 1213 fired transitions, 35 secs || 1192 markings, 1191 edges, 30 markings/sec, 35 secs
lola: 1 tries, 1365 fired transitions, 40 secs || 1344 markings, 1343 edges, 30 markings/sec, 40 secs
lola: 1 tries, 1513 fired transitions, 45 secs || 1492 markings, 1491 edges, 30 markings/sec, 45 secs
lola: 1 tries, 1661 fired transitions, 50 secs || 1640 markings, 1639 edges, 30 markings/sec, 50 secs
lola: 1 tries, 1816 fired transitions, 55 secs || 1795 markings, 1794 edges, 31 markings/sec, 55 secs
lola: 1 tries, 1967 fired transitions, 60 secs || 1946 markings, 1945 edges, 30 markings/sec, 60 secs
lola: 1 tries, 2114 fired transitions, 65 secs || 2094 markings, 2093 edges, 30 markings/sec, 65 secs
lola: 1 tries, 2274 fired transitions, 70 secs || 2254 markings, 2253 edges, 32 markings/sec, 70 secs
lola: 1 tries, 2424 fired transitions, 75 secs || 2404 markings, 2403 edges, 30 markings/sec, 75 secs
lola: 1 tries, 2576 fired transitions, 80 secs || 2556 markings, 2555 edges, 30 markings/sec, 80 secs
lola: 1 tries, 2731 fired transitions, 85 secs || 2711 markings, 2710 edges, 31 markings/sec, 85 secs
lola: 1 tries, 2874 fired transitions, 90 secs || 2857 markings, 2856 edges, 29 markings/sec, 90 secs
lola: 1 tries, 3030 fired transitions, 95 secs || 3013 markings, 3012 edges, 31 markings/sec, 95 secs
lola: 1 tries, 3181 fired transitions, 100 secs || 3164 markings, 3163 edges, 30 markings/sec, 100 secs
lola: 1 tries, 3342 fired transitions, 105 secs || 3327 markings, 3326 edges, 33 markings/sec, 105 secs
lola: 1 tries, 3465 fired transitions, 110 secs || 3470 markings, 3508 edges, 29 markings/sec, 110 secs
lola: 1 tries, 3600 fired transitions, 115 secs || 3592 markings, 3724 edges, 24 markings/sec, 115 secs
lola: 1 tries, 3746 fired transitions, 120 secs || 3733 markings, 3967 edges, 28 markings/sec, 120 secs
lola: 1 tries, 3896 fired transitions, 125 secs || 3883 markings, 4237 edges, 30 markings/sec, 125 secs
lola: 1 tries, 4047 fired transitions, 130 secs || 4034 markings, 4516 edges, 30 markings/sec, 130 secs
lola: 1 tries, 4199 fired transitions, 135 secs || 4186 markings, 4801 edges, 30 markings/sec, 135 secs
lola: 1 tries, 4353 fired transitions, 140 secs || 4340 markings, 5106 edges, 31 markings/sec, 140 secs
lola: 1 tries, 4510 fired transitions, 145 secs || 4497 markings, 5420 edges, 31 markings/sec, 145 secs
lola: 1 tries, 4664 fired transitions, 150 secs || 4652 markings, 5729 edges, 31 markings/sec, 150 secs
lola: 1 tries, 4809 fired transitions, 155 secs || 4796 markings, 6069 edges, 29 markings/sec, 155 secs
lola: 1 tries, 4954 fired transitions, 160 secs || 4939 markings, 6492 edges, 29 markings/sec, 160 secs
lola: 1 tries, 5094 fired transitions, 165 secs || 5082 markings, 6918 edges, 29 markings/sec, 165 secs
lola: 1 tries, 5235 fired transitions, 170 secs || 5225 markings, 7341 edges, 29 markings/sec, 170 secs
lola: 1 tries, 5377 fired transitions, 175 secs || 5375 markings, 7734 edges, 30 markings/sec, 175 secs
lola: 1 tries, 5521 fired transitions, 180 secs || 5523 markings, 8118 edges, 30 markings/sec, 180 secs
lola: 1 tries, 5666 fired transitions, 185 secs || 5670 markings, 8510 edges, 29 markings/sec, 185 secs
lola: 1 tries, 5813 fired transitions, 190 secs || 5817 markings, 8917 edges, 29 markings/sec, 190 secs
lola: 1 tries, 5962 fired transitions, 195 secs || 5965 markings, 9276 edges, 30 markings/sec, 195 secs
lola: 1 tries, 6103 fired transitions, 200 secs || 6105 markings, 9621 edges, 28 markings/sec, 200 secs
lola: 1 tries, 6245 fired transitions, 205 secs || 6249 markings, 10042 edges, 29 markings/sec, 205 secs
lola: 1 tries, 6385 fired transitions, 210 secs || 6389 markings, 10445 edges, 28 markings/sec, 210 secs
lola: 1 tries, 6528 fired transitions, 215 secs || 6531 markings, 10867 edges, 28 markings/sec, 215 secs
lola: 1 tries, 6671 fired transitions, 220 secs || 6676 markings, 11273 edges, 29 markings/sec, 220 secs
lola: 1 tries, 6815 fired transitions, 225 secs || 6814 markings, 11651 edges, 28 markings/sec, 225 secs
lola: 1 tries, 6964 fired transitions, 230 secs || 6963 markings, 12044 edges, 30 markings/sec, 230 secs
lola: 1 tries, 7110 fired transitions, 235 secs || 7109 markings, 12456 edges, 29 markings/sec, 235 secs
lola: 1 tries, 7257 fired transitions, 240 secs || 7256 markings, 12803 edges, 29 markings/sec, 240 secs
lola: 1 tries, 7404 fired transitions, 245 secs || 7403 markings, 13219 edges, 29 markings/sec, 245 secs
lola: 1 tries, 7552 fired transitions, 250 secs || 7551 markings, 13655 edges, 30 markings/sec, 250 secs
lola: 1 tries, 7698 fired transitions, 255 secs || 7697 markings, 14088 edges, 29 markings/sec, 255 secs
lola: 1 tries, 7845 fired transitions, 260 secs || 7844 markings, 14527 edges, 29 markings/sec, 260 secs
lola: 1 tries, 8000 fired transitions, 265 secs || 7999 markings, 14912 edges, 31 markings/sec, 265 secs
lola: 1 tries, 8155 fired transitions, 270 secs || 8153 markings, 15287 edges, 31 markings/sec, 270 secs
lola: 1 tries, 8307 fired transitions, 275 secs || 8304 markings, 15676 edges, 30 markings/sec, 275 secs
lola: 1 tries, 8460 fired transitions, 280 secs || 8457 markings, 15998 edges, 31 markings/sec, 280 secs
lola: 1 tries, 8608 fired transitions, 285 secs || 8605 markings, 16392 edges, 30 markings/sec, 285 secs
lola: 1 tries, 8749 fired transitions, 290 secs || 8745 markings, 16811 edges, 28 markings/sec, 290 secs
lola: 1 tries, 8894 fired transitions, 295 secs || 8879 markings, 17195 edges, 27 markings/sec, 295 secs
lola: 1 tries, 9038 fired transitions, 300 secs || 9023 markings, 17625 edges, 29 markings/sec, 300 secs
lola: 1 tries, 9183 fired transitions, 305 secs || 9168 markings, 18056 edges, 29 markings/sec, 305 secs
lola: 1 tries, 9329 fired transitions, 310 secs || 9314 markings, 18473 edges, 29 markings/sec, 310 secs
lola: 1 tries, 9478 fired transitions, 315 secs || 9463 markings, 18842 edges, 30 markings/sec, 315 secs
lola: 1 tries, 9627 fired transitions, 320 secs || 9612 markings, 19187 edges, 30 markings/sec, 320 secs
lola: 1 tries, 9775 fired transitions, 325 secs || 9760 markings, 19618 edges, 30 markings/sec, 325 secs
lola: 1 tries, 9921 fired transitions, 330 secs || 9906 markings, 20041 edges, 29 markings/sec, 330 secs
lola: 1 tries, 10069 fired transitions, 335 secs || 10054 markings, 20481 edges, 30 markings/sec, 335 secs
lola: 1 tries, 10217 fired transitions, 340 secs || 10202 markings, 20920 edges, 30 markings/sec, 340 secs
lola: 1 tries, 10364 fired transitions, 345 secs || 10349 markings, 21356 edges, 29 markings/sec, 345 secs
lola: 1 tries, 10514 fired transitions, 350 secs || 10498 markings, 21789 edges, 30 markings/sec, 350 secs
lola: 1 tries, 10667 fired transitions, 355 secs || 10651 markings, 22100 edges, 31 markings/sec, 355 secs
lola: 1 tries, 10821 fired transitions, 360 secs || 10805 markings, 22474 edges, 31 markings/sec, 360 secs
lola: 1 tries, 10975 fired transitions, 365 secs || 10959 markings, 22863 edges, 31 markings/sec, 365 secs
lola: 1 tries, 11129 fired transitions, 370 secs || 11113 markings, 23271 edges, 31 markings/sec, 370 secs
lola: 1 tries, 11275 fired transitions, 375 secs || 11259 markings, 23697 edges, 29 markings/sec, 375 secs
lola: 1 tries, 11422 fired transitions, 380 secs || 11406 markings, 24136 edges, 29 markings/sec, 380 secs
lola: 1 tries, 11569 fired transitions, 385 secs || 11553 markings, 24539 edges, 29 markings/sec, 385 secs
lola: 1 tries, 11717 fired transitions, 390 secs || 11700 markings, 24922 edges, 29 markings/sec, 390 secs
lola: 1 tries, 11865 fired transitions, 395 secs || 11848 markings, 25326 edges, 30 markings/sec, 395 secs
lola: 1 tries, 12013 fired transitions, 400 secs || 11996 markings, 25726 edges, 30 markings/sec, 400 secs
lola: 1 tries, 12162 fired transitions, 405 secs || 12145 markings, 26119 edges, 30 markings/sec, 405 secs
lola: 1 tries, 12313 fired transitions, 410 secs || 12296 markings, 26547 edges, 30 markings/sec, 410 secs
lola: 1 tries, 12462 fired transitions, 415 secs || 12445 markings, 26966 edges, 30 markings/sec, 415 secs
lola: 1 tries, 12612 fired transitions, 420 secs || 12595 markings, 27346 edges, 30 markings/sec, 420 secs
lola: 1 tries, 12763 fired transitions, 425 secs || 12746 markings, 27760 edges, 30 markings/sec, 425 secs
lola: 1 tries, 12913 fired transitions, 430 secs || 12896 markings, 28203 edges, 30 markings/sec, 430 secs
lola: 1 tries, 13065 fired transitions, 435 secs || 13048 markings, 28654 edges, 30 markings/sec, 435 secs
lola: 1 tries, 13223 fired transitions, 440 secs || 13206 markings, 29030 edges, 32 markings/sec, 440 secs
lola: 1 tries, 13380 fired transitions, 445 secs || 13363 markings, 29427 edges, 31 markings/sec, 445 secs
lola: 1 tries, 13535 fired transitions, 450 secs || 13518 markings, 29799 edges, 31 markings/sec, 450 secs
lola: 1 tries, 13690 fired transitions, 455 secs || 13673 markings, 30177 edges, 31 markings/sec, 455 secs
lola: 1 tries, 13843 fired transitions, 460 secs || 13826 markings, 30600 edges, 31 markings/sec, 460 secs
lola: 1 tries, 13985 fired transitions, 465 secs || 13968 markings, 31026 edges, 28 markings/sec, 465 secs
lola: 1 tries, 14131 fired transitions, 470 secs || 14114 markings, 31454 edges, 29 markings/sec, 470 secs
lola: 1 tries, 14278 fired transitions, 475 secs || 14261 markings, 31891 edges, 29 markings/sec, 475 secs
lola: 1 tries, 14426 fired transitions, 480 secs || 14409 markings, 32300 edges, 30 markings/sec, 480 secs
lola: 1 tries, 14577 fired transitions, 485 secs || 14560 markings, 32672 edges, 30 markings/sec, 485 secs
lola: 1 tries, 14727 fired transitions, 490 secs || 14710 markings, 33061 edges, 30 markings/sec, 490 secs
lola: 1 tries, 14881 fired transitions, 495 secs || 14864 markings, 33487 edges, 31 markings/sec, 495 secs
lola: 1 tries, 15031 fired transitions, 500 secs || 15014 markings, 33918 edges, 30 markings/sec, 500 secs
lola: 1 tries, 15182 fired transitions, 505 secs || 15165 markings, 34353 edges, 30 markings/sec, 505 secs
lola: 1 tries, 15336 fired transitions, 510 secs || 15319 markings, 34737 edges, 31 markings/sec, 510 secs
lola: 1 tries, 15488 fired transitions, 515 secs || 15471 markings, 35176 edges, 30 markings/sec, 515 secs
lola: 1 tries, 15642 fired transitions, 520 secs || 15625 markings, 35639 edges, 31 markings/sec, 520 secs
lola: 1 tries, 15802 fired transitions, 525 secs || 15785 markings, 36045 edges, 32 markings/sec, 525 secs
lola: 1 tries, 15965 fired transitions, 530 secs || 15948 markings, 36474 edges, 33 markings/sec, 530 secs
lola: 1 tries, 16134 fired transitions, 535 secs || 16117 markings, 36876 edges, 34 markings/sec, 535 secs
lola: 1 tries, 16303 fired transitions, 540 secs || 16286 markings, 37314 edges, 34 markings/sec, 540 secs
lola: 1 tries, 16464 fired transitions, 545 secs || 16447 markings, 37773 edges, 32 markings/sec, 545 secs
lola: 1 tries, 16618 fired transitions, 550 secs || 16601 markings, 38234 edges, 31 markings/sec, 550 secs
lola: 1 tries, 16766 fired transitions, 555 secs || 16749 markings, 38671 edges, 30 markings/sec, 555 secs
lola: 1 tries, 16906 fired transitions, 560 secs || 16883 markings, 39019 edges, 27 markings/sec, 560 secs
lola: 1 tries, 17046 fired transitions, 565 secs || 17007 markings, 39353 edges, 25 markings/sec, 565 secs
lola: 1 tries, 17187 fired transitions, 570 secs || 17130 markings, 39701 edges, 25 markings/sec, 570 secs
lola: 1 tries, 17333 fired transitions, 575 secs || 17266 markings, 40076 edges, 27 markings/sec, 575 secs
lola: 1 tries, 17485 fired transitions, 580 secs || 17412 markings, 40491 edges, 29 markings/sec, 580 secs
lola: 1 tries, 17638 fired transitions, 585 secs || 17565 markings, 40917 edges, 31 markings/sec, 585 secs
lola: 1 tries, 17793 fired transitions, 590 secs || 17720 markings, 41321 edges, 31 markings/sec, 590 secs
lola: 1 tries, 17949 fired transitions, 595 secs || 17876 markings, 41782 edges, 31 markings/sec, 595 secs
lola: 1 tries, 18104 fired transitions, 600 secs || 18031 markings, 42242 edges, 31 markings/sec, 600 secs
lola: 1 tries, 18261 fired transitions, 605 secs || 18187 markings, 42703 edges, 31 markings/sec, 605 secs
lola: 1 tries, 18419 fired transitions, 610 secs || 18345 markings, 43076 edges, 32 markings/sec, 610 secs
lola: 1 tries, 18578 fired transitions, 615 secs || 18504 markings, 43490 edges, 32 markings/sec, 615 secs
lola: 1 tries, 18736 fired transitions, 620 secs || 18662 markings, 43903 edges, 32 markings/sec, 620 secs
lola: 1 tries, 18884 fired transitions, 625 secs || 18800 markings, 44295 edges, 28 markings/sec, 625 secs
lola: 1 tries, 19037 fired transitions, 630 secs || 18950 markings, 44706 edges, 30 markings/sec, 630 secs
lola: 1 tries, 19181 fired transitions, 635 secs || 19094 markings, 45098 edges, 29 markings/sec, 635 secs
lola: 1 tries, 19330 fired transitions, 640 secs || 19243 markings, 45525 edges, 30 markings/sec, 640 secs
lola: 1 tries, 19480 fired transitions, 645 secs || 19393 markings, 45971 edges, 30 markings/sec, 645 secs
lola: 1 tries, 19629 fired transitions, 650 secs || 19542 markings, 46416 edges, 30 markings/sec, 650 secs
lola: 1 tries, 19783 fired transitions, 655 secs || 19696 markings, 46786 edges, 31 markings/sec, 655 secs
lola: 1 tries, 19936 fired transitions, 660 secs || 19849 markings, 47194 edges, 31 markings/sec, 660 secs
lola: 1 tries, 20092 fired transitions, 665 secs || 20005 markings, 47638 edges, 31 markings/sec, 665 secs
lola: 1 tries, 20249 fired transitions, 670 secs || 20162 markings, 48063 edges, 31 markings/sec, 670 secs
lola: 1 tries, 20405 fired transitions, 675 secs || 20318 markings, 48481 edges, 31 markings/sec, 675 secs
lola: 1 tries, 20564 fired transitions, 680 secs || 20477 markings, 48956 edges, 32 markings/sec, 680 secs
lola: 1 tries, 20721 fired transitions, 685 secs || 20634 markings, 49422 edges, 31 markings/sec, 685 secs
lola: 1 tries, 20881 fired transitions, 690 secs || 20794 markings, 49827 edges, 32 markings/sec, 690 secs
lola: 1 tries, 21014 fired transitions, 695 secs || 20942 markings, 50247 edges, 30 markings/sec, 695 secs
lola: 1 tries, 21175 fired transitions, 700 secs || 21102 markings, 50678 edges, 32 markings/sec, 700 secs
lola: 1 tries, 21335 fired transitions, 705 secs || 21263 markings, 51096 edges, 32 markings/sec, 705 secs
lola: 1 tries, 21498 fired transitions, 710 secs || 21426 markings, 51529 edges, 33 markings/sec, 710 secs
lola: 1 tries, 21653 fired transitions, 715 secs || 21581 markings, 51982 edges, 31 markings/sec, 715 secs
lola: 1 tries, 21799 fired transitions, 720 secs || 21726 markings, 52404 edges, 29 markings/sec, 720 secs
lola: 1 tries, 21950 fired transitions, 725 secs || 21877 markings, 52782 edges, 30 markings/sec, 725 secs
lola: 1 tries, 22102 fired transitions, 730 secs || 22029 markings, 53228 edges, 30 markings/sec, 730 secs
lola: 1 tries, 22263 fired transitions, 735 secs || 22190 markings, 53691 edges, 32 markings/sec, 735 secs
lola: 1 tries, 22422 fired transitions, 740 secs || 22349 markings, 54108 edges, 32 markings/sec, 740 secs
lola: 1 tries, 22578 fired transitions, 745 secs || 22505 markings, 54535 edges, 31 markings/sec, 745 secs
lola: 1 tries, 22741 fired transitions, 750 secs || 22668 markings, 54964 edges, 33 markings/sec, 750 secs
lola: 1 tries, 22909 fired transitions, 755 secs || 22836 markings, 55432 edges, 34 markings/sec, 755 secs
lola: 1 tries, 23085 fired transitions, 760 secs || 23011 markings, 55948 edges, 35 markings/sec, 760 secs
lola: 1 tries, 23258 fired transitions, 765 secs || 23184 markings, 56417 edges, 35 markings/sec, 765 secs
lola: 1 tries, 23431 fired transitions, 770 secs || 23357 markings, 56935 edges, 35 markings/sec, 770 secs
lola: 1 tries, 23604 fired transitions, 775 secs || 23526 markings, 57353 edges, 34 markings/sec, 775 secs
lola: 1 tries, 23779 fired transitions, 780 secs || 23701 markings, 57840 edges, 35 markings/sec, 780 secs
lola: 1 tries, 23955 fired transitions, 785 secs || 23877 markings, 58292 edges, 35 markings/sec, 785 secs
lola: 1 tries, 24131 fired transitions, 790 secs || 24054 markings, 58798 edges, 35 markings/sec, 790 secs
lola: 1 tries, 24295 fired transitions, 795 secs || 24217 markings, 59245 edges, 33 markings/sec, 795 secs
lola: 1 tries, 24457 fired transitions, 800 secs || 24379 markings, 59702 edges, 32 markings/sec, 800 secs
lola: 1 tries, 24618 fired transitions, 805 secs || 24540 markings, 60165 edges, 32 markings/sec, 805 secs
lola: 1 tries, 24783 fired transitions, 810 secs || 24705 markings, 60613 edges, 33 markings/sec, 810 secs
lola: 1 tries, 24943 fired transitions, 815 secs || 24865 markings, 61080 edges, 32 markings/sec, 815 secs
lola: 1 tries, 25099 fired transitions, 820 secs || 25021 markings, 61487 edges, 31 markings/sec, 820 secs
lola: 1 tries, 25259 fired transitions, 825 secs || 25181 markings, 61812 edges, 32 markings/sec, 825 secs
lola: 1 tries, 25407 fired transitions, 830 secs || 25329 markings, 62101 edges, 30 markings/sec, 830 secs
lola: 1 tries, 25558 fired transitions, 835 secs || 25480 markings, 62397 edges, 30 markings/sec, 835 secs
lola: 1 tries, 25713 fired transitions, 840 secs || 25635 markings, 62705 edges, 31 markings/sec, 840 secs
lola: 1 tries, 25870 fired transitions, 845 secs || 25792 markings, 63013 edges, 31 markings/sec, 845 secs
lola: 1 tries, 26036 fired transitions, 850 secs || 25958 markings, 63342 edges, 33 markings/sec, 850 secs
lola: 1 tries, 26204 fired transitions, 855 secs || 26126 markings, 63674 edges, 34 markings/sec, 855 secs
lola: 1 tries, 26354 fired transitions, 860 secs || 26276 markings, 64053 edges, 30 markings/sec, 860 secs
lola: 1 tries, 26502 fired transitions, 865 secs || 26421 markings, 64454 edges, 29 markings/sec, 865 secs
lola: 1 tries, 26652 fired transitions, 870 secs || 26571 markings, 64882 edges, 30 markings/sec, 870 secs
lola: 1 tries, 26803 fired transitions, 875 secs || 26722 markings, 65310 edges, 30 markings/sec, 875 secs
lola: 1 tries, 26952 fired transitions, 880 secs || 26871 markings, 65752 edges, 30 markings/sec, 880 secs
lola: 1 tries, 27101 fired transitions, 885 secs || 27020 markings, 66193 edges, 30 markings/sec, 885 secs
lola: 1 tries, 27252 fired transitions, 890 secs || 27170 markings, 66591 edges, 30 markings/sec, 890 secs
lola: 1 tries, 27400 fired transitions, 895 secs || 27318 markings, 66967 edges, 30 markings/sec, 895 secs
lola: 1 tries, 27551 fired transitions, 900 secs || 27469 markings, 67341 edges, 30 markings/sec, 900 secs
lola: 1 tries, 27700 fired transitions, 905 secs || 27618 markings, 67783 edges, 30 markings/sec, 905 secs
lola: 1 tries, 27850 fired transitions, 910 secs || 27768 markings, 68228 edges, 30 markings/sec, 910 secs
lola: 1 tries, 28000 fired transitions, 915 secs || 27918 markings, 68669 edges, 30 markings/sec, 915 secs
lola: 1 tries, 28149 fired transitions, 920 secs || 28067 markings, 69094 edges, 30 markings/sec, 920 secs
lola: 1 tries, 28297 fired transitions, 925 secs || 28215 markings, 69515 edges, 30 markings/sec, 925 secs
lola: 1 tries, 28446 fired transitions, 930 secs || 28364 markings, 69954 edges, 30 markings/sec, 930 secs
lola: 1 tries, 28597 fired transitions, 935 secs || 28514 markings, 70384 edges, 30 markings/sec, 935 secs
lola: 1 tries, 28748 fired transitions, 940 secs || 28666 markings, 70814 edges, 30 markings/sec, 940 secs
lola: 1 tries, 28899 fired transitions, 945 secs || 28816 markings, 71258 edges, 30 markings/sec, 945 secs
lola: 1 tries, 29050 fired transitions, 950 secs || 28965 markings, 71676 edges, 30 markings/sec, 950 secs
lola: 1 tries, 29200 fired transitions, 955 secs || 29114 markings, 72115 edges, 30 markings/sec, 955 secs
lola: 1 tries, 29352 fired transitions, 960 secs || 29266 markings, 72545 edges, 30 markings/sec, 960 secs
lola: 1 tries, 29501 fired transitions, 965 secs || 29415 markings, 72992 edges, 30 markings/sec, 965 secs
lola: 1 tries, 29653 fired transitions, 970 secs || 29566 markings, 73442 edges, 30 markings/sec, 970 secs
lola: 1 tries, 29805 fired transitions, 975 secs || 29717 markings, 73881 edges, 30 markings/sec, 975 secs
lola: 1 tries, 29958 fired transitions, 980 secs || 29870 markings, 74274 edges, 31 markings/sec, 980 secs
lola: 1 tries, 30109 fired transitions, 985 secs || 30021 markings, 74654 edges, 30 markings/sec, 985 secs
lola: 1 tries, 30257 fired transitions, 990 secs || 30171 markings, 75095 edges, 30 markings/sec, 990 secs
lola: 1 tries, 30409 fired transitions, 995 secs || 30322 markings, 75540 edges, 30 markings/sec, 995 secs
lola: 1 tries, 30561 fired transitions, 1000 secs || 30474 markings, 75982 edges, 30 markings/sec, 1000 secs
lola: 1 tries, 30713 fired transitions, 1005 secs || 30625 markings, 76401 edges, 30 markings/sec, 1005 secs
lola: 1 tries, 30864 fired transitions, 1010 secs || 30776 markings, 76833 edges, 30 markings/sec, 1010 secs
lola: 1 tries, 31016 fired transitions, 1015 secs || 30928 markings, 77275 edges, 30 markings/sec, 1015 secs
lola: 1 tries, 31168 fired transitions, 1020 secs || 31080 markings, 77724 edges, 30 markings/sec, 1020 secs
lola: 1 tries, 31321 fired transitions, 1025 secs || 31232 markings, 78164 edges, 30 markings/sec, 1025 secs
lola: 1 tries, 31473 fired transitions, 1030 secs || 31383 markings, 78590 edges, 30 markings/sec, 1030 secs
lola: 1 tries, 31628 fired transitions, 1035 secs || 31538 markings, 79018 edges, 31 markings/sec, 1035 secs
lola: 1 tries, 31781 fired transitions, 1040 secs || 31690 markings, 79470 edges, 30 markings/sec, 1040 secs
lola: 1 tries, 31938 fired transitions, 1045 secs || 31846 markings, 79923 edges, 31 markings/sec, 1045 secs
lola: 1 tries, 32091 fired transitions, 1050 secs || 31998 markings, 80376 edges, 30 markings/sec, 1050 secs
lola: 1 tries, 32244 fired transitions, 1055 secs || 32152 markings, 80814 edges, 31 markings/sec, 1055 secs
lola: 1 tries, 32397 fired transitions, 1060 secs || 32305 markings, 81268 edges, 31 markings/sec, 1060 secs
lola: 1 tries, 32556 fired transitions, 1065 secs || 32464 markings, 81662 edges, 32 markings/sec, 1065 secs
lola: 1 tries, 32713 fired transitions, 1070 secs || 32621 markings, 82089 edges, 31 markings/sec, 1070 secs
lola: 1 tries, 32867 fired transitions, 1075 secs || 32775 markings, 82519 edges, 31 markings/sec, 1075 secs
lola: 1 tries, 33022 fired transitions, 1080 secs || 32930 markings, 82960 edges, 31 markings/sec, 1080 secs
lola: 1 tries, 33176 fired transitions, 1085 secs || 33084 markings, 83417 edges, 31 markings/sec, 1085 secs
lola: 1 tries, 33332 fired transitions, 1090 secs || 33240 markings, 83878 edges, 31 markings/sec, 1090 secs
lola: 1 tries, 33487 fired transitions, 1095 secs || 33395 markings, 84311 edges, 31 markings/sec, 1095 secs
lola: 1 tries, 33643 fired transitions, 1100 secs || 33551 markings, 84761 edges, 31 markings/sec, 1100 secs
lola: 1 tries, 33799 fired transitions, 1105 secs || 33707 markings, 85221 edges, 31 markings/sec, 1105 secs
lola: 1 tries, 33956 fired transitions, 1110 secs || 33864 markings, 85670 edges, 31 markings/sec, 1110 secs
lola: 1 tries, 34112 fired transitions, 1115 secs || 34019 markings, 86107 edges, 31 markings/sec, 1115 secs
lola: 1 tries, 34269 fired transitions, 1120 secs || 34176 markings, 86567 edges, 31 markings/sec, 1120 secs
lola: 1 tries, 34427 fired transitions, 1125 secs || 34334 markings, 87023 edges, 32 markings/sec, 1125 secs
lola: 1 tries, 34586 fired transitions, 1130 secs || 34492 markings, 87472 edges, 32 markings/sec, 1130 secs
lola: 1 tries, 34743 fired transitions, 1135 secs || 34649 markings, 87940 edges, 31 markings/sec, 1135 secs
lola: 1 tries, 34902 fired transitions, 1140 secs || 34808 markings, 88411 edges, 32 markings/sec, 1140 secs
lola: 1 tries, 35063 fired transitions, 1145 secs || 34969 markings, 88846 edges, 32 markings/sec, 1145 secs
lola: 1 tries, 35221 fired transitions, 1150 secs || 35127 markings, 89261 edges, 32 markings/sec, 1150 secs
lola: 1 tries, 35379 fired transitions, 1155 secs || 35285 markings, 89710 edges, 32 markings/sec, 1155 secs
lola: 1 tries, 35536 fired transitions, 1160 secs || 35442 markings, 90160 edges, 31 markings/sec, 1160 secs
lola: 1 tries, 35695 fired transitions, 1165 secs || 35601 markings, 90619 edges, 32 markings/sec, 1165 secs
lola: 1 tries, 35853 fired transitions, 1170 secs || 35759 markings, 91081 edges, 32 markings/sec, 1170 secs
lola: 1 tries, 36007 fired transitions, 1175 secs || 35908 markings, 91511 edges, 30 markings/sec, 1175 secs
lola: 1 tries, 36163 fired transitions, 1180 secs || 36064 markings, 91968 edges, 31 markings/sec, 1180 secs
lola: 1 tries, 36319 fired transitions, 1185 secs || 36220 markings, 92429 edges, 31 markings/sec, 1185 secs
lola: 1 tries, 36479 fired transitions, 1190 secs || 36380 markings, 92886 edges, 32 markings/sec, 1190 secs
lola: 1 tries, 36637 fired transitions, 1195 secs || 36538 markings, 93357 edges, 32 markings/sec, 1195 secs
lola: 1 tries, 36797 fired transitions, 1200 secs || 36699 markings, 93821 edges, 32 markings/sec, 1200 secs
lola: 1 tries, 36957 fired transitions, 1205 secs || 36859 markings, 94295 edges, 32 markings/sec, 1205 secs
lola: 1 tries, 37118 fired transitions, 1210 secs || 37017 markings, 94753 edges, 32 markings/sec, 1210 secs
lola: 1 tries, 37273 fired transitions, 1215 secs || 37172 markings, 95215 edges, 31 markings/sec, 1215 secs
lola: 1 tries, 37431 fired transitions, 1220 secs || 37329 markings, 95676 edges, 31 markings/sec, 1220 secs
lola: 1 tries, 37589 fired transitions, 1225 secs || 37487 markings, 96145 edges, 32 markings/sec, 1225 secs
lola: 1 tries, 37752 fired transitions, 1230 secs || 37642 markings, 96574 edges, 31 markings/sec, 1230 secs
lola: 1 tries, 37910 fired transitions, 1235 secs || 37797 markings, 97014 edges, 31 markings/sec, 1235 secs
lola: 1 tries, 38066 fired transitions, 1240 secs || 37949 markings, 97459 edges, 30 markings/sec, 1240 secs
lola: 1 tries, 38225 fired transitions, 1245 secs || 38105 markings, 97910 edges, 31 markings/sec, 1245 secs
lola: 1 tries, 38382 fired transitions, 1250 secs || 38258 markings, 98366 edges, 31 markings/sec, 1250 secs
lola: 1 tries, 38544 fired transitions, 1255 secs || 38413 markings, 98817 edges, 31 markings/sec, 1255 secs
lola: 1 tries, 38709 fired transitions, 1260 secs || 38573 markings, 99283 edges, 32 markings/sec, 1260 secs
lola: 1 tries, 38867 fired transitions, 1265 secs || 38725 markings, 99728 edges, 30 markings/sec, 1265 secs
lola: 1 tries, 39028 fired transitions, 1270 secs || 38886 markings, 100206 edges, 32 markings/sec, 1270 secs
lola: 1 tries, 39184 fired transitions, 1275 secs || 39036 markings, 100495 edges, 30 markings/sec, 1275 secs
lola: 1 tries, 39333 fired transitions, 1280 secs || 39177 markings, 100823 edges, 28 markings/sec, 1280 secs
lola: 1 tries, 39482 fired transitions, 1285 secs || 39318 markings, 101183 edges, 28 markings/sec, 1285 secs
lola: 1 tries, 39632 fired transitions, 1290 secs || 39459 markings, 101551 edges, 28 markings/sec, 1290 secs
lola: 1 tries, 39782 fired transitions, 1295 secs || 39604 markings, 101925 edges, 29 markings/sec, 1295 secs
lola: 1 tries, 39924 fired transitions, 1300 secs || 39739 markings, 102327 edges, 27 markings/sec, 1300 secs
lola: 1 tries, 40069 fired transitions, 1305 secs || 39878 markings, 102739 edges, 28 markings/sec, 1305 secs
lola: 1 tries, 40211 fired transitions, 1310 secs || 40015 markings, 103147 edges, 27 markings/sec, 1310 secs
lola: 1 tries, 40355 fired transitions, 1315 secs || 40153 markings, 103535 edges, 28 markings/sec, 1315 secs
lola: 1 tries, 40499 fired transitions, 1320 secs || 40294 markings, 103854 edges, 28 markings/sec, 1320 secs
lola: 1 tries, 40645 fired transitions, 1325 secs || 40436 markings, 104236 edges, 28 markings/sec, 1325 secs
lola: 1 tries, 40793 fired transitions, 1330 secs || 40578 markings, 104613 edges, 28 markings/sec, 1330 secs
lola: 1 tries, 40938 fired transitions, 1335 secs || 40720 markings, 105022 edges, 28 markings/sec, 1335 secs
lola: 1 tries, 41082 fired transitions, 1340 secs || 40863 markings, 105432 edges, 29 markings/sec, 1340 secs
lola: 1 tries, 41230 fired transitions, 1345 secs || 41004 markings, 105843 edges, 28 markings/sec, 1345 secs
lola: 1 tries, 41375 fired transitions, 1350 secs || 41144 markings, 106257 edges, 28 markings/sec, 1350 secs
lola: 1 tries, 41519 fired transitions, 1355 secs || 41278 markings, 106591 edges, 27 markings/sec, 1355 secs
lola: 1 tries, 41664 fired transitions, 1360 secs || 41416 markings, 107007 edges, 28 markings/sec, 1360 secs
lola: 1 tries, 41809 fired transitions, 1365 secs || 41554 markings, 107371 edges, 28 markings/sec, 1365 secs
lola: 1 tries, 41956 fired transitions, 1370 secs || 41693 markings, 107735 edges, 28 markings/sec, 1370 secs
lola: 1 tries, 42105 fired transitions, 1375 secs || 41835 markings, 108102 edges, 28 markings/sec, 1375 secs
lola: 1 tries, 42252 fired transitions, 1380 secs || 41976 markings, 108479 edges, 28 markings/sec, 1380 secs
lola: 1 tries, 42399 fired transitions, 1385 secs || 42115 markings, 108847 edges, 28 markings/sec, 1385 secs
lola: 1 tries, 42539 fired transitions, 1390 secs || 42249 markings, 109228 edges, 27 markings/sec, 1390 secs
lola: 1 tries, 42681 fired transitions, 1395 secs || 42384 markings, 109566 edges, 27 markings/sec, 1395 secs
lola: 1 tries, 42823 fired transitions, 1400 secs || 42519 markings, 109960 edges, 27 markings/sec, 1400 secs
lola: 1 tries, 42966 fired transitions, 1405 secs || 42655 markings, 110370 edges, 27 markings/sec, 1405 secs
lola: 1 tries, 43108 fired transitions, 1410 secs || 42794 markings, 110762 edges, 28 markings/sec, 1410 secs
lola: 1 tries, 43253 fired transitions, 1415 secs || 42934 markings, 111135 edges, 28 markings/sec, 1415 secs
lola: 1 tries, 43399 fired transitions, 1420 secs || 43070 markings, 111499 edges, 27 markings/sec, 1420 secs
lola: 1 tries, 43541 fired transitions, 1425 secs || 43204 markings, 111890 edges, 27 markings/sec, 1425 secs
lola: 1 tries, 43684 fired transitions, 1430 secs || 43340 markings, 112223 edges, 27 markings/sec, 1430 secs
lola: 1 tries, 43830 fired transitions, 1435 secs || 43477 markings, 112629 edges, 27 markings/sec, 1435 secs
lola: 1 tries, 43974 fired transitions, 1440 secs || 43620 markings, 113057 edges, 29 markings/sec, 1440 secs
lola: 1 tries, 44118 fired transitions, 1445 secs || 43758 markings, 113464 edges, 28 markings/sec, 1445 secs
lola: 1 tries, 44261 fired transitions, 1450 secs || 43896 markings, 113875 edges, 28 markings/sec, 1450 secs
lola: 1 tries, 44407 fired transitions, 1455 secs || 44034 markings, 114255 edges, 28 markings/sec, 1455 secs
lola: 1 tries, 44553 fired transitions, 1460 secs || 44172 markings, 114619 edges, 28 markings/sec, 1460 secs
lola: 1 tries, 44702 fired transitions, 1465 secs || 44316 markings, 114937 edges, 29 markings/sec, 1465 secs
lola: 1 tries, 44850 fired transitions, 1470 secs || 44459 markings, 115324 edges, 29 markings/sec, 1470 secs
lola: 1 tries, 44999 fired transitions, 1475 secs || 44604 markings, 115712 edges, 29 markings/sec, 1475 secs
lola: 1 tries, 45141 fired transitions, 1480 secs || 44741 markings, 116123 edges, 27 markings/sec, 1480 secs
lola: 1 tries, 45284 fired transitions, 1485 secs || 44882 markings, 116538 edges, 28 markings/sec, 1485 secs
lola: 1 tries, 45426 fired transitions, 1490 secs || 45020 markings, 116948 edges, 28 markings/sec, 1490 secs
lola: 1 tries, 45567 fired transitions, 1495 secs || 45155 markings, 117303 edges, 27 markings/sec, 1495 secs
lola: 1 tries, 45711 fired transitions, 1500 secs || 45293 markings, 117661 edges, 28 markings/sec, 1500 secs
lola: 1 tries, 45855 fired transitions, 1505 secs || 45435 markings, 118048 edges, 28 markings/sec, 1505 secs
lola: 1 tries, 45999 fired transitions, 1510 secs || 45579 markings, 118421 edges, 29 markings/sec, 1510 secs
lola: 1 tries, 46142 fired transitions, 1515 secs || 45718 markings, 118830 edges, 28 markings/sec, 1515 secs
lola: 1 tries, 46288 fired transitions, 1520 secs || 45857 markings, 119222 edges, 28 markings/sec, 1520 secs
lola: 1 tries, 46434 fired transitions, 1525 secs || 45999 markings, 119592 edges, 28 markings/sec, 1525 secs
lola: 1 tries, 46581 fired transitions, 1530 secs || 46145 markings, 120026 edges, 29 markings/sec, 1530 secs
lola: 1 tries, 46729 fired transitions, 1535 secs || 46293 markings, 120464 edges, 30 markings/sec, 1535 secs
lola: 1 tries, 46877 fired transitions, 1540 secs || 46441 markings, 120906 edges, 30 markings/sec, 1540 secs
lola: 1 tries, 47031 fired transitions, 1545 secs || 46595 markings, 121295 edges, 31 markings/sec, 1545 secs
lola: 1 tries, 47184 fired transitions, 1550 secs || 46748 markings, 121682 edges, 31 markings/sec, 1550 secs
lola: 1 tries, 47338 fired transitions, 1555 secs || 46901 markings, 122054 edges, 31 markings/sec, 1555 secs
lola: 1 tries, 47492 fired transitions, 1560 secs || 47055 markings, 122460 edges, 31 markings/sec, 1560 secs
lola: 1 tries, 47642 fired transitions, 1565 secs || 47205 markings, 122874 edges, 30 markings/sec, 1565 secs
lola: 1 tries, 47782 fired transitions, 1570 secs || 47345 markings, 123294 edges, 28 markings/sec, 1570 secs
lola: 1 tries, 47926 fired transitions, 1575 secs || 47489 markings, 123721 edges, 29 markings/sec, 1575 secs
lola: 1 tries, 48071 fired transitions, 1580 secs || 47634 markings, 124110 edges, 29 markings/sec, 1580 secs
lola: 1 tries, 48216 fired transitions, 1585 secs || 47779 markings, 124541 edges, 29 markings/sec, 1585 secs
lola: 1 tries, 48364 fired transitions, 1590 secs || 47927 markings, 124951 edges, 30 markings/sec, 1590 secs
lola: 1 tries, 48513 fired transitions, 1595 secs || 48076 markings, 125340 edges, 30 markings/sec, 1595 secs
lola: 1 tries, 48664 fired transitions, 1600 secs || 48227 markings, 125764 edges, 30 markings/sec, 1600 secs
lola: 1 tries, 48813 fired transitions, 1605 secs || 48376 markings, 126156 edges, 30 markings/sec, 1605 secs
lola: 1 tries, 48963 fired transitions, 1610 secs || 48526 markings, 126578 edges, 30 markings/sec, 1610 secs
lola: 1 tries, 49114 fired transitions, 1615 secs || 48677 markings, 127031 edges, 30 markings/sec, 1615 secs
lola: 1 tries, 49264 fired transitions, 1620 secs || 48826 markings, 127474 edges, 30 markings/sec, 1620 secs
lola: 1 tries, 49414 fired transitions, 1625 secs || 48975 markings, 127917 edges, 30 markings/sec, 1625 secs
lola: 1 tries, 49558 fired transitions, 1630 secs || 49119 markings, 128439 edges, 29 markings/sec, 1630 secs
lola: 1 tries, 49703 fired transitions, 1635 secs || 49264 markings, 128972 edges, 29 markings/sec, 1635 secs
lola: 1 tries, 49847 fired transitions, 1640 secs || 49407 markings, 129543 edges, 29 markings/sec, 1640 secs
lola: 1 tries, 49992 fired transitions, 1645 secs || 49551 markings, 130090 edges, 29 markings/sec, 1645 secs
lola: 1 tries, 50138 fired transitions, 1650 secs || 49696 markings, 130638 edges, 29 markings/sec, 1650 secs
lola: 1 tries, 50281 fired transitions, 1655 secs || 49838 markings, 131192 edges, 28 markings/sec, 1655 secs
lola: 1 tries, 50422 fired transitions, 1660 secs || 49979 markings, 131748 edges, 28 markings/sec, 1660 secs
lola: 1 tries, 50564 fired transitions, 1665 secs || 50121 markings, 132264 edges, 28 markings/sec, 1665 secs
lola: 1 tries, 50707 fired transitions, 1670 secs || 50264 markings, 132737 edges, 29 markings/sec, 1670 secs
lola: 1 tries, 50851 fired transitions, 1675 secs || 50408 markings, 133157 edges, 29 markings/sec, 1675 secs
lola: 1 tries, 50996 fired transitions, 1680 secs || 50553 markings, 133615 edges, 29 markings/sec, 1680 secs
lola: 1 tries, 51142 fired transitions, 1685 secs || 50699 markings, 134096 edges, 29 markings/sec, 1685 secs
lola: 1 tries, 51288 fired transitions, 1690 secs || 50841 markings, 134582 edges, 28 markings/sec, 1690 secs
lola: 1 tries, 51432 fired transitions, 1695 secs || 50974 markings, 135088 edges, 27 markings/sec, 1695 secs
lola: 1 tries, 51577 fired transitions, 1700 secs || 51110 markings, 135503 edges, 27 markings/sec, 1700 secs
lola: 1 tries, 51724 fired transitions, 1705 secs || 51256 markings, 135971 edges, 29 markings/sec, 1705 secs
lola: 1 tries, 51868 fired transitions, 1710 secs || 51399 markings, 136486 edges, 29 markings/sec, 1710 secs
lola: 1 tries, 52013 fired transitions, 1715 secs || 51543 markings, 137012 edges, 29 markings/sec, 1715 secs
lola: 1 tries, 52159 fired transitions, 1720 secs || 51684 markings, 137554 edges, 28 markings/sec, 1720 secs
lola: 1 tries, 52306 fired transitions, 1725 secs || 51823 markings, 138063 edges, 28 markings/sec, 1725 secs
lola: 1 tries, 52453 fired transitions, 1730 secs || 51959 markings, 138546 edges, 27 markings/sec, 1730 secs
lola: 1 tries, 52599 fired transitions, 1735 secs || 52097 markings, 139025 edges, 28 markings/sec, 1735 secs
lola: 1 tries, 52745 fired transitions, 1740 secs || 52236 markings, 139529 edges, 28 markings/sec, 1740 secs
lola: 1 tries, 52887 fired transitions, 1745 secs || 52370 markings, 140048 edges, 27 markings/sec, 1745 secs
lola: 1 tries, 53027 fired transitions, 1750 secs || 52508 markings, 140600 edges, 28 markings/sec, 1750 secs
lola: 1 tries, 53164 fired transitions, 1755 secs || 52648 markings, 141135 edges, 28 markings/sec, 1755 secs
lola: 1 tries, 53304 fired transitions, 1760 secs || 52788 markings, 141618 edges, 28 markings/sec, 1760 secs
lola: 1 tries, 53449 fired transitions, 1765 secs || 52924 markings, 142006 edges, 27 markings/sec, 1765 secs
lola: 1 tries, 53594 fired transitions, 1770 secs || 53062 markings, 142485 edges, 28 markings/sec, 1770 secs
lola: 1 tries, 53740 fired transitions, 1775 secs || 53200 markings, 142947 edges, 28 markings/sec, 1775 secs
lola: 1 tries, 53889 fired transitions, 1780 secs || 53344 markings, 143454 edges, 29 markings/sec, 1780 secs
lola: 1 tries, 54037 fired transitions, 1785 secs || 53485 markings, 143970 edges, 28 markings/sec, 1785 secs
lola: 1 tries, 54184 fired transitions, 1790 secs || 53623 markings, 144444 edges, 28 markings/sec, 1790 secs
lola: 1 tries, 54332 fired transitions, 1795 secs || 53763 markings, 144864 edges, 28 markings/sec, 1795 secs
lola: 1 tries, 54478 fired transitions, 1800 secs || 53903 markings, 145369 edges, 28 markings/sec, 1800 secs
lola: 1 tries, 54624 fired transitions, 1805 secs || 54042 markings, 145882 edges, 28 markings/sec, 1805 secs
lola: 1 tries, 54771 fired transitions, 1810 secs || 54181 markings, 146415 edges, 28 markings/sec, 1810 secs
lola: 1 tries, 54918 fired transitions, 1815 secs || 54320 markings, 146934 edges, 28 markings/sec, 1815 secs
lola: 1 tries, 55066 fired transitions, 1820 secs || 54460 markings, 147477 edges, 28 markings/sec, 1820 secs
lola: 1 tries, 55212 fired transitions, 1825 secs || 54600 markings, 148002 edges, 28 markings/sec, 1825 secs
lola: 1 tries, 55361 fired transitions, 1830 secs || 54741 markings, 148505 edges, 28 markings/sec, 1830 secs
lola: 1 tries, 55504 fired transitions, 1835 secs || 54879 markings, 148987 edges, 28 markings/sec, 1835 secs
lola: 1 tries, 55647 fired transitions, 1840 secs || 55014 markings, 149519 edges, 27 markings/sec, 1840 secs
lola: 1 tries, 55790 fired transitions, 1845 secs || 55152 markings, 150054 edges, 28 markings/sec, 1845 secs
lola: 1 tries, 55934 fired transitions, 1850 secs || 55291 markings, 150501 edges, 28 markings/sec, 1850 secs
lola: 1 tries, 56079 fired transitions, 1855 secs || 55432 markings, 150945 edges, 28 markings/sec, 1855 secs
lola: 1 tries, 56224 fired transitions, 1860 secs || 55571 markings, 151432 edges, 28 markings/sec, 1860 secs
lola: 1 tries, 56370 fired transitions, 1865 secs || 55709 markings, 151875 edges, 28 markings/sec, 1865 secs
lola: 1 tries, 56517 fired transitions, 1870 secs || 55851 markings, 152375 edges, 28 markings/sec, 1870 secs
lola: 1 tries, 56663 fired transitions, 1875 secs || 55990 markings, 152886 edges, 28 markings/sec, 1875 secs
lola: 1 tries, 56812 fired transitions, 1880 secs || 56132 markings, 153350 edges, 28 markings/sec, 1880 secs
lola: 1 tries, 56961 fired transitions, 1885 secs || 56274 markings, 153843 edges, 28 markings/sec, 1885 secs
lola: 1 tries, 57106 fired transitions, 1890 secs || 56412 markings, 154304 edges, 28 markings/sec, 1890 secs
lola: 1 tries, 57250 fired transitions, 1895 secs || 56554 markings, 154814 edges, 28 markings/sec, 1895 secs
lola: 1 tries, 57397 fired transitions, 1900 secs || 56697 markings, 155361 edges, 29 markings/sec, 1900 secs
lola: 1 tries, 57543 fired transitions, 1905 secs || 56839 markings, 155877 edges, 28 markings/sec, 1905 secs
lola: 1 tries, 57690 fired transitions, 1910 secs || 56979 markings, 156424 edges, 28 markings/sec, 1910 secs
lola: 1 tries, 57838 fired transitions, 1915 secs || 57122 markings, 156935 edges, 29 markings/sec, 1915 secs
lola: 1 tries, 57988 fired transitions, 1920 secs || 57262 markings, 157416 edges, 28 markings/sec, 1920 secs
lola: 1 tries, 58130 fired transitions, 1925 secs || 57400 markings, 157962 edges, 28 markings/sec, 1925 secs
lola: 1 tries, 58272 fired transitions, 1930 secs || 57535 markings, 158502 edges, 27 markings/sec, 1930 secs
lola: 1 tries, 58414 fired transitions, 1935 secs || 57672 markings, 159017 edges, 27 markings/sec, 1935 secs
lola: 1 tries, 58560 fired transitions, 1940 secs || 57815 markings, 159462 edges, 29 markings/sec, 1940 secs
lola: 1 tries, 58706 fired transitions, 1945 secs || 57957 markings, 159863 edges, 28 markings/sec, 1945 secs
lola: 1 tries, 58851 fired transitions, 1950 secs || 58097 markings, 160366 edges, 28 markings/sec, 1950 secs
lola: 1 tries, 58997 fired transitions, 1955 secs || 58235 markings, 160830 edges, 28 markings/sec, 1955 secs
lola: 1 tries, 59142 fired transitions, 1960 secs || 58375 markings, 161366 edges, 28 markings/sec, 1960 secs
lola: 1 tries, 59288 fired transitions, 1965 secs || 58512 markings, 161881 edges, 27 markings/sec, 1965 secs
lola: 1 tries, 59434 fired transitions, 1970 secs || 58650 markings, 162425 edges, 28 markings/sec, 1970 secs
lola: 1 tries, 59579 fired transitions, 1975 secs || 58789 markings, 162961 edges, 28 markings/sec, 1975 secs
lola: 1 tries, 59724 fired transitions, 1980 secs || 58924 markings, 163453 edges, 27 markings/sec, 1980 secs
lola: 1 tries, 59869 fired transitions, 1985 secs || 59063 markings, 163963 edges, 28 markings/sec, 1985 secs
lola: 1 tries, 60014 fired transitions, 1990 secs || 59202 markings, 164461 edges, 28 markings/sec, 1990 secs
lola: 1 tries, 60158 fired transitions, 1995 secs || 59340 markings, 164986 edges, 28 markings/sec, 1995 secs
lola: 1 tries, 60303 fired transitions, 2000 secs || 59478 markings, 165506 edges, 28 markings/sec, 2000 secs
lola: 1 tries, 60449 fired transitions, 2005 secs || 59615 markings, 166022 edges, 27 markings/sec, 2005 secs
lola: 1 tries, 60595 fired transitions, 2010 secs || 59752 markings, 166489 edges, 27 markings/sec, 2010 secs
lola: 1 tries, 60735 fired transitions, 2015 secs || 59884 markings, 166979 edges, 26 markings/sec, 2015 secs
lola: 1 tries, 60878 fired transitions, 2020 secs || 60017 markings, 167468 edges, 27 markings/sec, 2020 secs
lola: 1 tries, 61021 fired transitions, 2025 secs || 60156 markings, 168003 edges, 28 markings/sec, 2025 secs
lola: 1 tries, 61166 fired transitions, 2030 secs || 60300 markings, 168459 edges, 29 markings/sec, 2030 secs
lola: 1 tries, 61313 fired transitions, 2035 secs || 60443 markings, 168899 edges, 29 markings/sec, 2035 secs
lola: 1 tries, 61457 fired transitions, 2040 secs || 60585 markings, 169392 edges, 28 markings/sec, 2040 secs
lola: 1 tries, 61605 fired transitions, 2045 secs || 60731 markings, 169881 edges, 29 markings/sec, 2045 secs
lola: 1 tries, 61751 fired transitions, 2050 secs || 60876 markings, 170387 edges, 29 markings/sec, 2050 secs
lola: 1 tries, 61895 fired transitions, 2055 secs || 61021 markings, 170931 edges, 29 markings/sec, 2055 secs
lola: 1 tries, 62046 fired transitions, 2060 secs || 61172 markings, 171444 edges, 30 markings/sec, 2060 secs
lola: 1 tries, 62193 fired transitions, 2065 secs || 61318 markings, 171954 edges, 29 markings/sec, 2065 secs
lola: 1 tries, 62342 fired transitions, 2070 secs || 61466 markings, 172497 edges, 30 markings/sec, 2070 secs
lola: 1 tries, 62491 fired transitions, 2075 secs || 61614 markings, 173047 edges, 30 markings/sec, 2075 secs
lola: 1 tries, 62641 fired transitions, 2080 secs || 61764 markings, 173555 edges, 30 markings/sec, 2080 secs
lola: 1 tries, 62785 fired transitions, 2085 secs || 61908 markings, 174113 edges, 29 markings/sec, 2085 secs
lola: 1 tries, 62934 fired transitions, 2090 secs || 62053 markings, 174638 edges, 29 markings/sec, 2090 secs
lola: 1 tries, 63082 fired transitions, 2095 secs || 62196 markings, 175187 edges, 29 markings/sec, 2095 secs
lola: 1 tries, 63227 fired transitions, 2100 secs || 62341 markings, 175734 edges, 29 markings/sec, 2100 secs
lola: 1 tries, 63366 fired transitions, 2105 secs || 62481 markings, 176286 edges, 28 markings/sec, 2105 secs
lola: 1 tries, 63511 fired transitions, 2110 secs || 62621 markings, 176801 edges, 28 markings/sec, 2110 secs
lola: 1 tries, 63655 fired transitions, 2115 secs || 62767 markings, 177324 edges, 29 markings/sec, 2115 secs
lola: 1 tries, 63803 fired transitions, 2120 secs || 62910 markings, 177780 edges, 29 markings/sec, 2120 secs
lola: 1 tries, 63951 fired transitions, 2125 secs || 63052 markings, 178240 edges, 28 markings/sec, 2125 secs
lola: 1 tries, 64096 fired transitions, 2130 secs || 63193 markings, 178714 edges, 28 markings/sec, 2130 secs
lola: 1 tries, 64244 fired transitions, 2135 secs || 63343 markings, 179226 edges, 30 markings/sec, 2135 secs
lola: 1 tries, 64389 fired transitions, 2140 secs || 63486 markings, 179732 edges, 29 markings/sec, 2140 secs
lola: 1 tries, 64533 fired transitions, 2145 secs || 63630 markings, 180264 edges, 29 markings/sec, 2145 secs
lola: 1 tries, 64688 fired transitions, 2150 secs || 63782 markings, 180769 edges, 30 markings/sec, 2150 secs
lola: 1 tries, 64840 fired transitions, 2155 secs || 63932 markings, 181296 edges, 30 markings/sec, 2155 secs
lola: 1 tries, 64990 fired transitions, 2160 secs || 64080 markings, 181861 edges, 30 markings/sec, 2160 secs
lola: 1 tries, 65142 fired transitions, 2165 secs || 64230 markings, 182371 edges, 30 markings/sec, 2165 secs
lola: 1 tries, 65292 fired transitions, 2170 secs || 64378 markings, 182913 edges, 30 markings/sec, 2170 secs
lola: 1 tries, 65440 fired transitions, 2175 secs || 64524 markings, 183477 edges, 29 markings/sec, 2175 secs
lola: 1 tries, 65590 fired transitions, 2180 secs || 64669 markings, 184032 edges, 29 markings/sec, 2180 secs
lola: 1 tries, 65742 fired transitions, 2185 secs || 64815 markings, 184568 edges, 29 markings/sec, 2185 secs
lola: 1 tries, 65888 fired transitions, 2190 secs || 64960 markings, 185087 edges, 29 markings/sec, 2190 secs
lola: 1 tries, 66035 fired transitions, 2195 secs || 65102 markings, 185649 edges, 28 markings/sec, 2195 secs
lola: 1 tries, 66182 fired transitions, 2200 secs || 65243 markings, 186210 edges, 28 markings/sec, 2200 secs
lola: 1 tries, 66332 fired transitions, 2205 secs || 65387 markings, 186690 edges, 29 markings/sec, 2205 secs
lola: 1 tries, 66483 fired transitions, 2210 secs || 65534 markings, 187165 edges, 29 markings/sec, 2210 secs
lola: 1 tries, 66631 fired transitions, 2215 secs || 65677 markings, 187628 edges, 29 markings/sec, 2215 secs
lola: 1 tries, 66780 fired transitions, 2220 secs || 65816 markings, 188138 edges, 28 markings/sec, 2220 secs
lola: 1 tries, 66928 fired transitions, 2225 secs || 65966 markings, 188697 edges, 30 markings/sec, 2225 secs
lola: 1 tries, 67076 fired transitions, 2230 secs || 66106 markings, 189223 edges, 28 markings/sec, 2230 secs
lola: 1 tries, 67224 fired transitions, 2235 secs || 66249 markings, 189771 edges, 29 markings/sec, 2235 secs
lola: 1 tries, 67376 fired transitions, 2240 secs || 66391 markings, 190333 edges, 28 markings/sec, 2240 secs
lola: 1 tries, 67525 fired transitions, 2245 secs || 66536 markings, 190909 edges, 29 markings/sec, 2245 secs
lola: 1 tries, 67675 fired transitions, 2250 secs || 66679 markings, 191382 edges, 29 markings/sec, 2250 secs
lola: 1 tries, 67823 fired transitions, 2255 secs || 66820 markings, 191926 edges, 28 markings/sec, 2255 secs
lola: 1 tries, 67972 fired transitions, 2260 secs || 66961 markings, 192464 edges, 28 markings/sec, 2260 secs
lola: 1 tries, 68122 fired transitions, 2265 secs || 67103 markings, 193002 edges, 28 markings/sec, 2265 secs
lola: 1 tries, 68271 fired transitions, 2270 secs || 67253 markings, 193571 edges, 30 markings/sec, 2270 secs
lola: 1 tries, 68420 fired transitions, 2275 secs || 67400 markings, 194095 edges, 29 markings/sec, 2275 secs
lola: 1 tries, 68565 fired transitions, 2280 secs || 67540 markings, 194614 edges, 28 markings/sec, 2280 secs
lola: 1 tries, 68712 fired transitions, 2285 secs || 67684 markings, 195149 edges, 29 markings/sec, 2285 secs
lola: 1 tries, 68858 fired transitions, 2290 secs || 67827 markings, 195677 edges, 29 markings/sec, 2290 secs
lola: 1 tries, 69007 fired transitions, 2295 secs || 67971 markings, 196138 edges, 29 markings/sec, 2295 secs
lola: 1 tries, 69158 fired transitions, 2300 secs || 68113 markings, 196617 edges, 28 markings/sec, 2300 secs
lola: 1 tries, 69306 fired transitions, 2305 secs || 68257 markings, 197109 edges, 29 markings/sec, 2305 secs
lola: 1 tries, 69453 fired transitions, 2310 secs || 68395 markings, 197604 edges, 28 markings/sec, 2310 secs
lola: 1 tries, 69599 fired transitions, 2315 secs || 68534 markings, 198102 edges, 28 markings/sec, 2315 secs
lola: 1 tries, 69749 fired transitions, 2320 secs || 68676 markings, 198620 edges, 28 markings/sec, 2320 secs
lola: 1 tries, 69902 fired transitions, 2325 secs || 68822 markings, 199099 edges, 29 markings/sec, 2325 secs
lola: 1 tries, 70051 fired transitions, 2330 secs || 68962 markings, 199609 edges, 28 markings/sec, 2330 secs
lola: 1 tries, 70199 fired transitions, 2335 secs || 69102 markings, 200140 edges, 28 markings/sec, 2335 secs
lola: 1 tries, 70349 fired transitions, 2340 secs || 69244 markings, 200670 edges, 28 markings/sec, 2340 secs
lola: 1 tries, 70499 fired transitions, 2345 secs || 69385 markings, 201157 edges, 28 markings/sec, 2345 secs
lola: 1 tries, 70649 fired transitions, 2350 secs || 69524 markings, 201689 edges, 28 markings/sec, 2350 secs
lola: 1 tries, 70803 fired transitions, 2355 secs || 69671 markings, 202250 edges, 29 markings/sec, 2355 secs
lola: 1 tries, 70965 fired transitions, 2360 secs || 69826 markings, 202819 edges, 31 markings/sec, 2360 secs
lola: 1 tries, 71121 fired transitions, 2365 secs || 69975 markings, 203397 edges, 30 markings/sec, 2365 secs
lola: 1 tries, 71272 fired transitions, 2370 secs || 70121 markings, 203955 edges, 29 markings/sec, 2370 secs
lola: 1 tries, 71421 fired transitions, 2375 secs || 70268 markings, 204495 edges, 29 markings/sec, 2375 secs
lola: 1 tries, 71574 fired transitions, 2380 secs || 70417 markings, 204970 edges, 30 markings/sec, 2380 secs
lola: 1 tries, 71726 fired transitions, 2385 secs || 70571 markings, 205451 edges, 31 markings/sec, 2385 secs
lola: 1 tries, 71878 fired transitions, 2390 secs || 70721 markings, 205975 edges, 30 markings/sec, 2390 secs
lola: 1 tries, 72034 fired transitions, 2395 secs || 70873 markings, 206451 edges, 30 markings/sec, 2395 secs
lola: 1 tries, 72186 fired transitions, 2400 secs || 71020 markings, 206988 edges, 29 markings/sec, 2400 secs
lola: 1 tries, 72339 fired transitions, 2405 secs || 71172 markings, 207528 edges, 30 markings/sec, 2405 secs
lola: 1 tries, 72495 fired transitions, 2410 secs || 71324 markings, 208060 edges, 30 markings/sec, 2410 secs
lola: 1 tries, 72650 fired transitions, 2415 secs || 71474 markings, 208586 edges, 30 markings/sec, 2415 secs
lola: 1 tries, 72805 fired transitions, 2420 secs || 71624 markings, 209129 edges, 30 markings/sec, 2420 secs
lola: 1 tries, 72959 fired transitions, 2425 secs || 71774 markings, 209674 edges, 30 markings/sec, 2425 secs
lola: 1 tries, 73113 fired transitions, 2430 secs || 71923 markings, 210233 edges, 30 markings/sec, 2430 secs
lola: 1 tries, 73268 fired transitions, 2435 secs || 72071 markings, 210802 edges, 30 markings/sec, 2435 secs
lola: 1 tries, 73422 fired transitions, 2440 secs || 72221 markings, 211366 edges, 30 markings/sec, 2440 secs
lola: 1 tries, 73578 fired transitions, 2445 secs || 72377 markings, 211907 edges, 31 markings/sec, 2445 secs
lola: 1 tries, 73725 fired transitions, 2450 secs || 72524 markings, 212454 edges, 29 markings/sec, 2450 secs
lola: 1 tries, 73873 fired transitions, 2455 secs || 72672 markings, 213054 edges, 30 markings/sec, 2455 secs
lola: 1 tries, 74021 fired transitions, 2460 secs || 72820 markings, 213646 edges, 30 markings/sec, 2460 secs
lola: 1 tries, 74171 fired transitions, 2465 secs || 72970 markings, 214236 edges, 30 markings/sec, 2465 secs
lola: 1 tries, 74324 fired transitions, 2470 secs || 73122 markings, 214822 edges, 30 markings/sec, 2470 secs
lola: 1 tries, 74477 fired transitions, 2475 secs || 73275 markings, 215352 edges, 31 markings/sec, 2475 secs
lola: 1 tries, 74630 fired transitions, 2480 secs || 73428 markings, 215799 edges, 31 markings/sec, 2480 secs
lola: 1 tries, 74784 fired transitions, 2485 secs || 73582 markings, 216399 edges, 31 markings/sec, 2485 secs
lola: 1 tries, 74936 fired transitions, 2490 secs || 73734 markings, 216957 edges, 30 markings/sec, 2490 secs
lola: 1 tries, 75092 fired transitions, 2495 secs || 73890 markings, 217471 edges, 31 markings/sec, 2495 secs
lola: 1 tries, 75245 fired transitions, 2500 secs || 74043 markings, 218005 edges, 31 markings/sec, 2500 secs
lola: 1 tries, 75399 fired transitions, 2505 secs || 74197 markings, 218576 edges, 31 markings/sec, 2505 secs
lola: 1 tries, 75554 fired transitions, 2510 secs || 74352 markings, 219102 edges, 31 markings/sec, 2510 secs
lola: 1 tries, 75710 fired transitions, 2515 secs || 74507 markings, 219687 edges, 31 markings/sec, 2515 secs
lola: 1 tries, 75864 fired transitions, 2520 secs || 74660 markings, 220280 edges, 31 markings/sec, 2520 secs
lola: 1 tries, 76020 fired transitions, 2525 secs || 74816 markings, 220870 edges, 31 markings/sec, 2525 secs
lola: 1 tries, 76179 fired transitions, 2530 secs || 74974 markings, 221422 edges, 32 markings/sec, 2530 secs
lola: 1 tries, 76330 fired transitions, 2535 secs || 75125 markings, 221942 edges, 30 markings/sec, 2535 secs
lola: 1 tries, 76480 fired transitions, 2540 secs || 75275 markings, 222547 edges, 30 markings/sec, 2540 secs
lola: 1 tries, 76630 fired transitions, 2545 secs || 75424 markings, 223124 edges, 30 markings/sec, 2545 secs
lola: 1 tries, 76784 fired transitions, 2550 secs || 75578 markings, 223606 edges, 31 markings/sec, 2550 secs
lola: 1 tries, 76940 fired transitions, 2555 secs || 75734 markings, 224115 edges, 31 markings/sec, 2555 secs
lola: 1 tries, 77097 fired transitions, 2560 secs || 75891 markings, 224642 edges, 31 markings/sec, 2560 secs
lola: 1 tries, 77254 fired transitions, 2565 secs || 76048 markings, 225148 edges, 31 markings/sec, 2565 secs
lola: 1 tries, 77410 fired transitions, 2570 secs || 76204 markings, 225750 edges, 31 markings/sec, 2570 secs
lola: 1 tries, 77567 fired transitions, 2575 secs || 76361 markings, 226313 edges, 31 markings/sec, 2575 secs
lola: 1 tries, 77727 fired transitions, 2580 secs || 76521 markings, 226833 edges, 32 markings/sec, 2580 secs
lola: 1 tries, 77882 fired transitions, 2585 secs || 76676 markings, 227391 edges, 31 markings/sec, 2585 secs
lola: 1 tries, 78041 fired transitions, 2590 secs || 76834 markings, 227938 edges, 32 markings/sec, 2590 secs
lola: 1 tries, 78199 fired transitions, 2595 secs || 76992 markings, 228550 edges, 32 markings/sec, 2595 secs
lola: 1 tries, 78357 fired transitions, 2600 secs || 77149 markings, 229147 edges, 31 markings/sec, 2600 secs
lola: 1 tries, 78516 fired transitions, 2605 secs || 77307 markings, 229749 edges, 32 markings/sec, 2605 secs
lola: 1 tries, 78674 fired transitions, 2610 secs || 77465 markings, 230303 edges, 32 markings/sec, 2610 secs
lola: 1 tries, 78831 fired transitions, 2615 secs || 77622 markings, 230893 edges, 31 markings/sec, 2615 secs
lola: 1 tries, 78981 fired transitions, 2620 secs || 77772 markings, 231476 edges, 30 markings/sec, 2620 secs
lola: 1 tries, 79133 fired transitions, 2625 secs || 77924 markings, 232081 edges, 30 markings/sec, 2625 secs
lola: 1 tries, 79288 fired transitions, 2630 secs || 78079 markings, 232626 edges, 31 markings/sec, 2630 secs
lola: 1 tries, 79441 fired transitions, 2635 secs || 78231 markings, 233123 edges, 30 markings/sec, 2635 secs
lola: 1 tries, 79593 fired transitions, 2640 secs || 78388 markings, 233654 edges, 31 markings/sec, 2640 secs
lola: 1 tries, 79748 fired transitions, 2645 secs || 78541 markings, 234166 edges, 31 markings/sec, 2645 secs
lola: 1 tries, 79904 fired transitions, 2650 secs || 78697 markings, 234720 edges, 31 markings/sec, 2650 secs
lola: 1 tries, 80057 fired transitions, 2655 secs || 78850 markings, 235304 edges, 31 markings/sec, 2655 secs
lola: 1 tries, 80211 fired transitions, 2660 secs || 79004 markings, 235909 edges, 31 markings/sec, 2660 secs
lola: 1 tries, 80368 fired transitions, 2665 secs || 79161 markings, 236383 edges, 31 markings/sec, 2665 secs
lola: 1 tries, 80523 fired transitions, 2670 secs || 79316 markings, 236946 edges, 31 markings/sec, 2670 secs
lola: 1 tries, 80680 fired transitions, 2675 secs || 79473 markings, 237530 edges, 31 markings/sec, 2675 secs
lola: 1 tries, 80835 fired transitions, 2680 secs || 79628 markings, 238096 edges, 31 markings/sec, 2680 secs
lola: 1 tries, 80991 fired transitions, 2685 secs || 79783 markings, 238701 edges, 31 markings/sec, 2685 secs
lola: 1 tries, 81150 fired transitions, 2690 secs || 79940 markings, 239232 edges, 31 markings/sec, 2690 secs
lola: 1 tries, 81307 fired transitions, 2695 secs || 80096 markings, 239832 edges, 31 markings/sec, 2695 secs
lola: 1 tries, 81462 fired transitions, 2700 secs || 80251 markings, 240400 edges, 31 markings/sec, 2700 secs
lola: 1 tries, 81610 fired transitions, 2705 secs || 80399 markings, 240984 edges, 30 markings/sec, 2705 secs
lola: 1 tries, 81759 fired transitions, 2710 secs || 80550 markings, 241585 edges, 30 markings/sec, 2710 secs
lola: 1 tries, 81908 fired transitions, 2715 secs || 80702 markings, 242097 edges, 30 markings/sec, 2715 secs
lola: 1 tries, 82063 fired transitions, 2720 secs || 80848 markings, 242517 edges, 29 markings/sec, 2720 secs
lola: 1 tries, 82219 fired transitions, 2725 secs || 80998 markings, 243029 edges, 30 markings/sec, 2725 secs
lola: 1 tries, 82374 fired transitions, 2730 secs || 81142 markings, 243536 edges, 29 markings/sec, 2730 secs
lola: 1 tries, 82530 fired transitions, 2735 secs || 81289 markings, 244082 edges, 29 markings/sec, 2735 secs
lola: 1 tries, 82687 fired transitions, 2740 secs || 81434 markings, 244613 edges, 29 markings/sec, 2740 secs
lola: 1 tries, 82844 fired transitions, 2745 secs || 81583 markings, 245071 edges, 30 markings/sec, 2745 secs
lola: 1 tries, 83001 fired transitions, 2750 secs || 81737 markings, 245607 edges, 31 markings/sec, 2750 secs
lola: 1 tries, 83153 fired transitions, 2755 secs || 81885 markings, 246159 edges, 30 markings/sec, 2755 secs
lola: 1 tries, 83304 fired transitions, 2760 secs || 82037 markings, 246735 edges, 30 markings/sec, 2760 secs
lola: 1 tries, 83460 fired transitions, 2765 secs || 82184 markings, 247285 edges, 29 markings/sec, 2765 secs
lola: 1 tries, 83613 fired transitions, 2770 secs || 82333 markings, 247809 edges, 30 markings/sec, 2770 secs
lola: 1 tries, 83768 fired transitions, 2775 secs || 82482 markings, 248367 edges, 30 markings/sec, 2775 secs
lola: 1 tries, 83927 fired transitions, 2780 secs || 82635 markings, 248932 edges, 31 markings/sec, 2780 secs
lola: 1 tries, 84082 fired transitions, 2785 secs || 82782 markings, 249485 edges, 29 markings/sec, 2785 secs
lola: 1 tries, 84231 fired transitions, 2790 secs || 82927 markings, 250044 edges, 29 markings/sec, 2790 secs
lola: 1 tries, 84383 fired transitions, 2795 secs || 83071 markings, 250587 edges, 29 markings/sec, 2795 secs
lola: 1 tries, 84535 fired transitions, 2800 secs || 83217 markings, 251158 edges, 29 markings/sec, 2800 secs
lola: 1 tries, 84686 fired transitions, 2805 secs || 83361 markings, 251702 edges, 29 markings/sec, 2805 secs
lola: 1 tries, 84841 fired transitions, 2810 secs || 83507 markings, 252236 edges, 29 markings/sec, 2810 secs
lola: 1 tries, 84996 fired transitions, 2815 secs || 83656 markings, 252756 edges, 30 markings/sec, 2815 secs
lola: 1 tries, 85151 fired transitions, 2820 secs || 83803 markings, 253298 edges, 29 markings/sec, 2820 secs
lola: 1 tries, 85306 fired transitions, 2825 secs || 83950 markings, 253823 edges, 29 markings/sec, 2825 secs
lola: 1 tries, 85465 fired transitions, 2830 secs || 84099 markings, 254325 edges, 30 markings/sec, 2830 secs
lola: 1 tries, 85622 fired transitions, 2835 secs || 84247 markings, 254859 edges, 30 markings/sec, 2835 secs
lola: 1 tries, 85779 fired transitions, 2840 secs || 84396 markings, 255407 edges, 30 markings/sec, 2840 secs
lola: 1 tries, 85936 fired transitions, 2845 secs || 84548 markings, 255988 edges, 30 markings/sec, 2845 secs
lola: 1 tries, 86092 fired transitions, 2850 secs || 84699 markings, 256499 edges, 30 markings/sec, 2850 secs
lola: 1 tries, 86250 fired transitions, 2855 secs || 84851 markings, 257100 edges, 30 markings/sec, 2855 secs
lola: 1 tries, 86408 fired transitions, 2860 secs || 84999 markings, 257651 edges, 30 markings/sec, 2860 secs
lola: 1 tries, 86565 fired transitions, 2865 secs || 85153 markings, 258232 edges, 31 markings/sec, 2865 secs
lola: 1 tries, 86718 fired transitions, 2870 secs || 85300 markings, 258802 edges, 29 markings/sec, 2870 secs
lola: 1 tries, 86873 fired transitions, 2875 secs || 85446 markings, 259326 edges, 29 markings/sec, 2875 secs
lola: 1 tries, 87025 fired transitions, 2880 secs || 85592 markings, 259888 edges, 29 markings/sec, 2880 secs
lola: 1 tries, 87177 fired transitions, 2885 secs || 85742 markings, 260386 edges, 30 markings/sec, 2885 secs
lola: 1 tries, 87330 fired transitions, 2890 secs || 85891 markings, 260880 edges, 30 markings/sec, 2890 secs
lola: 1 tries, 87487 fired transitions, 2895 secs || 86039 markings, 261411 edges, 30 markings/sec, 2895 secs
lola: 1 tries, 87645 fired transitions, 2900 secs || 86186 markings, 261888 edges, 29 markings/sec, 2900 secs
lola: 1 tries, 87800 fired transitions, 2905 secs || 86334 markings, 262469 edges, 30 markings/sec, 2905 secs
lola: 1 tries, 87955 fired transitions, 2910 secs || 86484 markings, 263014 edges, 30 markings/sec, 2910 secs
lola: 1 tries, 88115 fired transitions, 2915 secs || 86637 markings, 263526 edges, 31 markings/sec, 2915 secs
lola: 1 tries, 88272 fired transitions, 2920 secs || 86786 markings, 264075 edges, 30 markings/sec, 2920 secs
lola: 1 tries, 88429 fired transitions, 2925 secs || 86932 markings, 264608 edges, 29 markings/sec, 2925 secs
lola: 1 tries, 88586 fired transitions, 2930 secs || 87081 markings, 265197 edges, 30 markings/sec, 2930 secs
lola: 1 tries, 88745 fired transitions, 2935 secs || 87230 markings, 265767 edges, 30 markings/sec, 2935 secs
lola: 1 tries, 88903 fired transitions, 2940 secs || 87383 markings, 266372 edges, 31 markings/sec, 2940 secs
lola: 1 tries, 89064 fired transitions, 2945 secs || 87532 markings, 266948 edges, 30 markings/sec, 2945 secs
lola: 1 tries, 89221 fired transitions, 2950 secs || 87681 markings, 267485 edges, 30 markings/sec, 2950 secs
lola: 1 tries, 89373 fired transitions, 2955 secs || 87824 markings, 268032 edges, 29 markings/sec, 2955 secs
lola: 1 tries, 89526 fired transitions, 2960 secs || 87972 markings, 268631 edges, 30 markings/sec, 2960 secs
lola: 1 tries, 89681 fired transitions, 2965 secs || 88122 markings, 269176 edges, 30 markings/sec, 2965 secs
lola: 1 tries, 89835 fired transitions, 2970 secs || 88268 markings, 269665 edges, 29 markings/sec, 2970 secs
lola: 1 tries, 89987 fired transitions, 2975 secs || 88416 markings, 270188 edges, 30 markings/sec, 2975 secs
lola: 1 tries, 90143 fired transitions, 2980 secs || 88569 markings, 270658 edges, 31 markings/sec, 2980 secs
lola: 1 tries, 90303 fired transitions, 2985 secs || 88723 markings, 271215 edges, 31 markings/sec, 2985 secs
lola: 1 tries, 90460 fired transitions, 2990 secs || 88874 markings, 271779 edges, 30 markings/sec, 2990 secs
lola: 1 tries, 90619 fired transitions, 2995 secs || 89024 markings, 272300 edges, 30 markings/sec, 2995 secs
lola: 1 tries, 90778 fired transitions, 3000 secs || 89174 markings, 272818 edges, 30 markings/sec, 3000 secs
lola: 1 tries, 90934 fired transitions, 3005 secs || 89321 markings, 273338 edges, 29 markings/sec, 3005 secs
lola: 1 tries, 91094 fired transitions, 3010 secs || 89473 markings, 273917 edges, 30 markings/sec, 3010 secs
lola: 1 tries, 91253 fired transitions, 3015 secs || 89621 markings, 274477 edges, 30 markings/sec, 3015 secs
lola: 1 tries, 91413 fired transitions, 3020 secs || 89773 markings, 275068 edges, 30 markings/sec, 3020 secs
lola: 1 tries, 91575 fired transitions, 3025 secs || 89924 markings, 275593 edges, 30 markings/sec, 3025 secs
lola: 1 tries, 91734 fired transitions, 3030 secs || 90077 markings, 276191 edges, 31 markings/sec, 3030 secs
lola: 1 tries, 91891 fired transitions, 3035 secs || 90227 markings, 276767 edges, 30 markings/sec, 3035 secs
lola: 1 tries, 92047 fired transitions, 3040 secs || 90374 markings, 277353 edges, 29 markings/sec, 3040 secs
lola: 1 tries, 92200 fired transitions, 3045 secs || 90521 markings, 277936 edges, 29 markings/sec, 3045 secs
lola: 1 tries, 92355 fired transitions, 3050 secs || 90670 markings, 278480 edges, 30 markings/sec, 3050 secs
lola: 1 tries, 92511 fired transitions, 3055 secs || 90820 markings, 278930 edges, 30 markings/sec, 3055 secs
lola: 1 tries, 92668 fired transitions, 3060 secs || 90967 markings, 279465 edges, 29 markings/sec, 3060 secs
lola: 1 tries, 92829 fired transitions, 3065 secs || 91122 markings, 279978 edges, 31 markings/sec, 3065 secs
lola: 1 tries, 92987 fired transitions, 3070 secs || 91274 markings, 280575 edges, 30 markings/sec, 3070 secs
lola: 1 tries, 93146 fired transitions, 3075 secs || 91425 markings, 281079 edges, 30 markings/sec, 3075 secs
lola: 1 tries, 93309 fired transitions, 3080 secs || 91583 markings, 281595 edges, 32 markings/sec, 3080 secs
lola: 1 tries, 93468 fired transitions, 3085 secs || 91736 markings, 282156 edges, 31 markings/sec, 3085 secs
lola: 1 tries, 93628 fired transitions, 3090 secs || 91890 markings, 282719 edges, 31 markings/sec, 3090 secs
lola: 1 tries, 93786 fired transitions, 3095 secs || 92042 markings, 283310 edges, 30 markings/sec, 3095 secs
lola: 1 tries, 93945 fired transitions, 3100 secs || 92194 markings, 283838 edges, 30 markings/sec, 3100 secs
lola: 1 tries, 94107 fired transitions, 3105 secs || 92353 markings, 284466 edges, 32 markings/sec, 3105 secs
lola: 1 tries, 94270 fired transitions, 3110 secs || 92508 markings, 285073 edges, 31 markings/sec, 3110 secs
lola: 1 tries, 94431 fired transitions, 3115 secs || 92664 markings, 285653 edges, 31 markings/sec, 3115 secs
lola: 1 tries, 94585 fired transitions, 3120 secs || 92811 markings, 286241 edges, 29 markings/sec, 3120 secs
lola: 1 tries, 94740 fired transitions, 3125 secs || 92963 markings, 286788 edges, 30 markings/sec, 3125 secs
lola: 1 tries, 94896 fired transitions, 3130 secs || 93114 markings, 287337 edges, 30 markings/sec, 3130 secs
lola: 1 tries, 95052 fired transitions, 3135 secs || 93264 markings, 287836 edges, 30 markings/sec, 3135 secs
lola: 1 tries, 95201 fired transitions, 3140 secs || 93419 markings, 288387 edges, 31 markings/sec, 3140 secs
lola: 1 tries, 95353 fired transitions, 3145 secs || 93574 markings, 288901 edges, 31 markings/sec, 3145 secs
lola: 1 tries, 95511 fired transitions, 3150 secs || 93729 markings, 289480 edges, 31 markings/sec, 3150 secs
lola: 1 tries, 95667 fired transitions, 3155 secs || 93883 markings, 290088 edges, 31 markings/sec, 3155 secs
lola: 1 tries, 95828 fired transitions, 3160 secs || 94038 markings, 290694 edges, 31 markings/sec, 3160 secs
lola: 1 tries, 95987 fired transitions, 3165 secs || 94193 markings, 291306 edges, 31 markings/sec, 3165 secs
lola: 1 tries, 96142 fired transitions, 3170 secs || 94350 markings, 291739 edges, 31 markings/sec, 3170 secs
lola: 1 tries, 96298 fired transitions, 3175 secs || 94510 markings, 292216 edges, 32 markings/sec, 3175 secs
lola: 1 tries, 96454 fired transitions, 3180 secs || 94661 markings, 292753 edges, 30 markings/sec, 3180 secs
lola: 1 tries, 96611 fired transitions, 3185 secs || 94810 markings, 293315 edges, 30 markings/sec, 3185 secs
lola: 1 tries, 96774 fired transitions, 3190 secs || 94966 markings, 293798 edges, 31 markings/sec, 3190 secs
lola: 1 tries, 96932 fired transitions, 3195 secs || 95117 markings, 294324 edges, 30 markings/sec, 3195 secs
lola: 1 tries, 97086 fired transitions, 3200 secs || 95267 markings, 294899 edges, 30 markings/sec, 3200 secs
lola: 1 tries, 97237 fired transitions, 3205 secs || 95413 markings, 295443 edges, 29 markings/sec, 3205 secs
lola: 1 tries, 97390 fired transitions, 3210 secs || 95561 markings, 296022 edges, 30 markings/sec, 3210 secs
lola: 1 tries, 97545 fired transitions, 3215 secs || 95713 markings, 296523 edges, 30 markings/sec, 3215 secs
lola: 1 tries, 97701 fired transitions, 3220 secs || 95863 markings, 296947 edges, 30 markings/sec, 3220 secs
lola: 1 tries, 97854 fired transitions, 3225 secs || 96017 markings, 297482 edges, 31 markings/sec, 3225 secs
lola: 1 tries, 98013 fired transitions, 3230 secs || 96172 markings, 297979 edges, 31 markings/sec, 3230 secs
lola: 1 tries, 98170 fired transitions, 3235 secs || 96323 markings, 298518 edges, 30 markings/sec, 3235 secs
lola: 1 tries, 98324 fired transitions, 3240 secs || 96468 markings, 299018 edges, 29 markings/sec, 3240 secs
lola: 1 tries, 98484 fired transitions, 3245 secs || 96624 markings, 299533 edges, 31 markings/sec, 3245 secs
lola: 1 tries, 98642 fired transitions, 3250 secs || 96777 markings, 300073 edges, 31 markings/sec, 3250 secs
lola: 1 tries, 98797 fired transitions, 3255 secs || 96929 markings, 300611 edges, 30 markings/sec, 3255 secs
lola: 1 tries, 98952 fired transitions, 3260 secs || 97087 markings, 301200 edges, 32 markings/sec, 3260 secs
lola: 1 tries, 99107 fired transitions, 3265 secs || 97245 markings, 301791 edges, 32 markings/sec, 3265 secs
lola: 1 tries, 99263 fired transitions, 3270 secs || 97405 markings, 302378 edges, 32 markings/sec, 3270 secs
lola: 1 tries, 99419 fired transitions, 3275 secs || 97564 markings, 302987 edges, 32 markings/sec, 3275 secs
lola: time limit reached - aborting
Segmentation fault
rslt: finished
BK_STOP 1553118575430
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 139 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory
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="TokenRing-COL-050"
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 TokenRing-COL-050, 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 r170-oct2-155297750500273"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-COL-050.tgz
mv TokenRing-COL-050 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 '
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 ;