About the Execution of LoLA for RERS17pb115-PT-5
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10983.710 | 3570369.00 | 6979087.00 | 80.00 | [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.r126-oct2-155274853700516.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 RERS17pb115-PT-5, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-oct2-155274853700516
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.5K Feb 13 08:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 13 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Feb 13 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 13 08:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 13 08:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 13 08:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 13 08:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.3K Feb 13 08:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 13 08:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 13 08:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Feb 13 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 13 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 13 08:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 13 08:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Feb 13 08:05 equiv_col
-rw-r--r-- 1 mcc users 2 Feb 13 08:05 instance
-rw-r--r-- 1 mcc users 6 Feb 13 08:05 iscolored
-rw-r--r-- 1 mcc users 69M 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 RERS17pb115-PT-5-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553922498155
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ RERS17pb115-PT-5 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ RERS17pb115-PT-5
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: 145768/268435456 symbol table entries, 1 collisions
lola: preprocessing...
lola: Size of bit vector: 1399
lola: finding significant places
lola: 1399 places, 144369 transitions, 1362 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: 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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: 1 tries, 54 fired transitions, 0 secs
lola: 0 generators; 977901 candidates remain ( 0%), 0 secs
lola: 1 tries, 105 fired transitions, 5 secs
lola: 0 generators; 977901 candidates remain ( 0%), 5 secs
lola: 1 tries, 155 fired transitions, 10 secs
lola: 0 generators; 977901 candidates remain ( 0%), 10 secs
lola: 1 tries, 206 fired transitions, 15 secs
lola: 0 generators; 977901 candidates remain ( 0%), 15 secs
lola: 1 tries, 256 fired transitions, 20 secs
lola: 0 generators; 977901 candidates remain ( 0%), 20 secs
lola: 1 tries, 308 fired transitions, 25 secs
lola: 0 generators; 977901 candidates remain ( 0%), 25 secs
lola: 1 tries, 360 fired transitions, 30 secs
lola: 0 generators; 977901 candidates remain ( 0%), 30 secs
lola: 1 tries, 411 fired transitions, 35 secs
lola: 35 generators; 630 candidates remain ( 5%), 35 secs
lola: 1 tries, 461 fired transitions, 40 secs
lola: 143 generators; 136 candidates remain (51%), 40 secs
lola: computed 171 generators (18 in search tree, 153 by composition)
lola: representing 1.21645E+17 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 512 fired transitions, 45 secs || 12 markings, 11 edges, 2 markings/sec, 45 secs
lola: 1 tries, 566 fired transitions, 50 secs || 59 markings, 58 edges, 9 markings/sec, 50 secs
lola: 1 tries, 619 fired transitions, 55 secs || 107 markings, 106 edges, 10 markings/sec, 55 secs
lola: 1 tries, 674 fired transitions, 60 secs || 161 markings, 160 edges, 11 markings/sec, 60 secs
lola: 1 tries, 725 fired transitions, 65 secs || 213 markings, 212 edges, 10 markings/sec, 65 secs
lola: 1 tries, 776 fired transitions, 70 secs || 266 markings, 265 edges, 11 markings/sec, 70 secs
lola: 1 tries, 831 fired transitions, 75 secs || 320 markings, 319 edges, 11 markings/sec, 75 secs
lola: 1 tries, 887 fired transitions, 80 secs || 376 markings, 375 edges, 11 markings/sec, 80 secs
lola: 1 tries, 942 fired transitions, 85 secs || 431 markings, 430 edges, 11 markings/sec, 85 secs
lola: 1 tries, 998 fired transitions, 90 secs || 487 markings, 486 edges, 11 markings/sec, 90 secs
lola: 1 tries, 1055 fired transitions, 95 secs || 544 markings, 543 edges, 11 markings/sec, 95 secs
lola: 1 tries, 1110 fired transitions, 100 secs || 600 markings, 599 edges, 11 markings/sec, 100 secs
lola: 1 tries, 1162 fired transitions, 105 secs || 653 markings, 652 edges, 11 markings/sec, 105 secs
lola: 1 tries, 1214 fired transitions, 110 secs || 707 markings, 706 edges, 11 markings/sec, 110 secs
lola: 1 tries, 1266 fired transitions, 115 secs || 761 markings, 760 edges, 11 markings/sec, 115 secs
lola: 1 tries, 1317 fired transitions, 120 secs || 814 markings, 813 edges, 11 markings/sec, 120 secs
lola: 1 tries, 1371 fired transitions, 125 secs || 868 markings, 867 edges, 11 markings/sec, 125 secs
lola: 1 tries, 1427 fired transitions, 130 secs || 923 markings, 922 edges, 11 markings/sec, 130 secs
lola: 1 tries, 1482 fired transitions, 135 secs || 979 markings, 978 edges, 11 markings/sec, 135 secs
lola: 1 tries, 1537 fired transitions, 140 secs || 1034 markings, 1033 edges, 11 markings/sec, 140 secs
lola: 1 tries, 1593 fired transitions, 145 secs || 1090 markings, 1089 edges, 11 markings/sec, 145 secs
lola: 1 tries, 1649 fired transitions, 150 secs || 1146 markings, 1145 edges, 11 markings/sec, 150 secs
lola: 1 tries, 1705 fired transitions, 155 secs || 1202 markings, 1201 edges, 11 markings/sec, 155 secs
lola: 1 tries, 1761 fired transitions, 160 secs || 1258 markings, 1257 edges, 11 markings/sec, 160 secs
lola: 1 tries, 1818 fired transitions, 165 secs || 1315 markings, 1314 edges, 11 markings/sec, 165 secs
lola: 1 tries, 1874 fired transitions, 170 secs || 1370 markings, 1369 edges, 11 markings/sec, 170 secs
lola: 1 tries, 1927 fired transitions, 175 secs || 1424 markings, 1423 edges, 11 markings/sec, 175 secs
lola: 1 tries, 1982 fired transitions, 180 secs || 1478 markings, 1477 edges, 11 markings/sec, 180 secs
lola: 1 tries, 2038 fired transitions, 185 secs || 1533 markings, 1532 edges, 11 markings/sec, 185 secs
lola: 1 tries, 2093 fired transitions, 190 secs || 1589 markings, 1588 edges, 11 markings/sec, 190 secs
lola: 1 tries, 2148 fired transitions, 195 secs || 1643 markings, 1642 edges, 11 markings/sec, 195 secs
lola: 1 tries, 2204 fired transitions, 200 secs || 1699 markings, 1698 edges, 11 markings/sec, 200 secs
lola: 1 tries, 2260 fired transitions, 205 secs || 1756 markings, 1755 edges, 11 markings/sec, 205 secs
lola: 1 tries, 2316 fired transitions, 210 secs || 1812 markings, 1811 edges, 11 markings/sec, 210 secs
lola: 1 tries, 2371 fired transitions, 215 secs || 1868 markings, 1867 edges, 11 markings/sec, 215 secs
lola: 1 tries, 2425 fired transitions, 220 secs || 1922 markings, 1921 edges, 11 markings/sec, 220 secs
lola: 1 tries, 2481 fired transitions, 225 secs || 1978 markings, 1977 edges, 11 markings/sec, 225 secs
lola: 1 tries, 2538 fired transitions, 230 secs || 2035 markings, 2034 edges, 11 markings/sec, 230 secs
lola: 1 tries, 2593 fired transitions, 235 secs || 2090 markings, 2089 edges, 11 markings/sec, 235 secs
lola: 1 tries, 2649 fired transitions, 240 secs || 2146 markings, 2145 edges, 11 markings/sec, 240 secs
lola: 1 tries, 2705 fired transitions, 245 secs || 2202 markings, 2201 edges, 11 markings/sec, 245 secs
lola: 1 tries, 2761 fired transitions, 250 secs || 2257 markings, 2256 edges, 11 markings/sec, 250 secs
lola: 1 tries, 2816 fired transitions, 255 secs || 2312 markings, 2311 edges, 11 markings/sec, 255 secs
lola: 1 tries, 2871 fired transitions, 260 secs || 2367 markings, 2366 edges, 11 markings/sec, 260 secs
lola: 1 tries, 2926 fired transitions, 265 secs || 2421 markings, 2420 edges, 11 markings/sec, 265 secs
lola: 1 tries, 2982 fired transitions, 270 secs || 2476 markings, 2475 edges, 11 markings/sec, 270 secs
lola: 1 tries, 3035 fired transitions, 275 secs || 2530 markings, 2529 edges, 11 markings/sec, 275 secs
lola: 1 tries, 3086 fired transitions, 280 secs || 2583 markings, 2582 edges, 11 markings/sec, 280 secs
lola: 1 tries, 3136 fired transitions, 285 secs || 2637 markings, 2636 edges, 11 markings/sec, 285 secs
lola: 1 tries, 3188 fired transitions, 290 secs || 2691 markings, 2690 edges, 11 markings/sec, 290 secs
lola: 1 tries, 3240 fired transitions, 295 secs || 2745 markings, 2744 edges, 11 markings/sec, 295 secs
lola: 1 tries, 3295 fired transitions, 300 secs || 2800 markings, 2799 edges, 11 markings/sec, 300 secs
lola: 1 tries, 3349 fired transitions, 305 secs || 2854 markings, 2853 edges, 11 markings/sec, 305 secs
lola: 1 tries, 3401 fired transitions, 310 secs || 2908 markings, 2907 edges, 11 markings/sec, 310 secs
lola: 1 tries, 3451 fired transitions, 315 secs || 2961 markings, 2960 edges, 11 markings/sec, 315 secs
lola: 1 tries, 3503 fired transitions, 320 secs || 3015 markings, 3014 edges, 11 markings/sec, 320 secs
lola: 1 tries, 3559 fired transitions, 325 secs || 3070 markings, 3069 edges, 11 markings/sec, 325 secs
lola: 1 tries, 3613 fired transitions, 330 secs || 3125 markings, 3124 edges, 11 markings/sec, 330 secs
lola: 1 tries, 3668 fired transitions, 335 secs || 3180 markings, 3179 edges, 11 markings/sec, 335 secs
lola: 1 tries, 3721 fired transitions, 340 secs || 3235 markings, 3234 edges, 11 markings/sec, 340 secs
lola: 1 tries, 3777 fired transitions, 345 secs || 3291 markings, 3290 edges, 11 markings/sec, 345 secs
lola: 1 tries, 3833 fired transitions, 350 secs || 3347 markings, 3346 edges, 11 markings/sec, 350 secs
lola: 1 tries, 3890 fired transitions, 355 secs || 3404 markings, 3403 edges, 11 markings/sec, 355 secs
lola: 1 tries, 3946 fired transitions, 360 secs || 3460 markings, 3459 edges, 11 markings/sec, 360 secs
lola: 1 tries, 4002 fired transitions, 365 secs || 3516 markings, 3515 edges, 11 markings/sec, 365 secs
lola: 1 tries, 4059 fired transitions, 370 secs || 3573 markings, 3572 edges, 11 markings/sec, 370 secs
lola: 1 tries, 4115 fired transitions, 375 secs || 3629 markings, 3628 edges, 11 markings/sec, 375 secs
lola: 1 tries, 4172 fired transitions, 380 secs || 3686 markings, 3685 edges, 11 markings/sec, 380 secs
lola: 1 tries, 4228 fired transitions, 385 secs || 3742 markings, 3741 edges, 11 markings/sec, 385 secs
lola: 1 tries, 4285 fired transitions, 390 secs || 3799 markings, 3798 edges, 11 markings/sec, 390 secs
lola: 1 tries, 4342 fired transitions, 395 secs || 3856 markings, 3855 edges, 11 markings/sec, 395 secs
lola: 1 tries, 4399 fired transitions, 400 secs || 3913 markings, 3912 edges, 11 markings/sec, 400 secs
lola: 1 tries, 4456 fired transitions, 405 secs || 3970 markings, 3969 edges, 11 markings/sec, 405 secs
lola: 1 tries, 4508 fired transitions, 410 secs || 4024 markings, 4023 edges, 11 markings/sec, 410 secs
lola: 1 tries, 4562 fired transitions, 415 secs || 4073 markings, 4072 edges, 10 markings/sec, 415 secs
lola: 1 tries, 4614 fired transitions, 420 secs || 4122 markings, 4121 edges, 10 markings/sec, 420 secs
lola: 1 tries, 4667 fired transitions, 425 secs || 4171 markings, 4170 edges, 10 markings/sec, 425 secs
lola: 1 tries, 4722 fired transitions, 430 secs || 4223 markings, 4222 edges, 10 markings/sec, 430 secs
lola: 1 tries, 4779 fired transitions, 435 secs || 4280 markings, 4279 edges, 11 markings/sec, 435 secs
lola: 1 tries, 4836 fired transitions, 440 secs || 4337 markings, 4336 edges, 11 markings/sec, 440 secs
lola: 1 tries, 4893 fired transitions, 445 secs || 4394 markings, 4393 edges, 11 markings/sec, 445 secs
lola: 1 tries, 4950 fired transitions, 450 secs || 4451 markings, 4450 edges, 11 markings/sec, 450 secs
lola: 1 tries, 5007 fired transitions, 455 secs || 4508 markings, 4507 edges, 11 markings/sec, 455 secs
lola: 1 tries, 5064 fired transitions, 460 secs || 4565 markings, 4564 edges, 11 markings/sec, 460 secs
lola: 1 tries, 5116 fired transitions, 465 secs || 4620 markings, 4619 edges, 11 markings/sec, 465 secs
lola: 1 tries, 5170 fired transitions, 470 secs || 4674 markings, 4673 edges, 11 markings/sec, 470 secs
lola: 1 tries, 5226 fired transitions, 475 secs || 4730 markings, 4729 edges, 11 markings/sec, 475 secs
lola: 1 tries, 5282 fired transitions, 480 secs || 4786 markings, 4785 edges, 11 markings/sec, 480 secs
lola: 1 tries, 5339 fired transitions, 485 secs || 4843 markings, 4842 edges, 11 markings/sec, 485 secs
lola: 1 tries, 5396 fired transitions, 490 secs || 4900 markings, 4899 edges, 11 markings/sec, 490 secs
lola: 1 tries, 5453 fired transitions, 495 secs || 4957 markings, 4956 edges, 11 markings/sec, 495 secs
lola: 1 tries, 5510 fired transitions, 500 secs || 5014 markings, 5013 edges, 11 markings/sec, 500 secs
lola: 1 tries, 5566 fired transitions, 505 secs || 5070 markings, 5069 edges, 11 markings/sec, 505 secs
lola: 1 tries, 5623 fired transitions, 510 secs || 5127 markings, 5126 edges, 11 markings/sec, 510 secs
lola: 1 tries, 5680 fired transitions, 515 secs || 5184 markings, 5183 edges, 11 markings/sec, 515 secs
lola: 1 tries, 5737 fired transitions, 520 secs || 5241 markings, 5240 edges, 11 markings/sec, 520 secs
lola: 1 tries, 5794 fired transitions, 525 secs || 5298 markings, 5297 edges, 11 markings/sec, 525 secs
lola: 1 tries, 5851 fired transitions, 530 secs || 5355 markings, 5354 edges, 11 markings/sec, 530 secs
lola: 1 tries, 5907 fired transitions, 535 secs || 5411 markings, 5410 edges, 11 markings/sec, 535 secs
lola: 1 tries, 5964 fired transitions, 540 secs || 5468 markings, 5467 edges, 11 markings/sec, 540 secs
lola: 1 tries, 6019 fired transitions, 545 secs || 5523 markings, 5522 edges, 11 markings/sec, 545 secs
lola: 1 tries, 6077 fired transitions, 550 secs || 5581 markings, 5580 edges, 12 markings/sec, 550 secs
lola: 1 tries, 6134 fired transitions, 555 secs || 5638 markings, 5637 edges, 11 markings/sec, 555 secs
lola: 1 tries, 6189 fired transitions, 560 secs || 5693 markings, 5692 edges, 11 markings/sec, 560 secs
lola: 1 tries, 6245 fired transitions, 565 secs || 5749 markings, 5748 edges, 11 markings/sec, 565 secs
lola: 1 tries, 6299 fired transitions, 570 secs || 5802 markings, 5801 edges, 11 markings/sec, 570 secs
lola: 1 tries, 6352 fired transitions, 575 secs || 5851 markings, 5850 edges, 10 markings/sec, 575 secs
lola: 1 tries, 6404 fired transitions, 580 secs || 5901 markings, 5900 edges, 10 markings/sec, 580 secs
lola: 1 tries, 6457 fired transitions, 585 secs || 5950 markings, 5949 edges, 10 markings/sec, 585 secs
lola: 1 tries, 6509 fired transitions, 590 secs || 5998 markings, 5997 edges, 10 markings/sec, 590 secs
lola: 1 tries, 6560 fired transitions, 595 secs || 6045 markings, 6044 edges, 9 markings/sec, 595 secs
lola: 1 tries, 6612 fired transitions, 600 secs || 6093 markings, 6092 edges, 10 markings/sec, 600 secs
lola: 1 tries, 6663 fired transitions, 605 secs || 6142 markings, 6141 edges, 10 markings/sec, 605 secs
lola: 1 tries, 6715 fired transitions, 610 secs || 6190 markings, 6189 edges, 10 markings/sec, 610 secs
lola: 1 tries, 6767 fired transitions, 615 secs || 6239 markings, 6238 edges, 10 markings/sec, 615 secs
lola: 1 tries, 6819 fired transitions, 620 secs || 6289 markings, 6288 edges, 10 markings/sec, 620 secs
lola: 1 tries, 6874 fired transitions, 625 secs || 6344 markings, 6343 edges, 11 markings/sec, 625 secs
lola: 1 tries, 6928 fired transitions, 630 secs || 6398 markings, 6397 edges, 11 markings/sec, 630 secs
lola: 1 tries, 6983 fired transitions, 635 secs || 6452 markings, 6451 edges, 11 markings/sec, 635 secs
lola: 1 tries, 7037 fired transitions, 640 secs || 6507 markings, 6506 edges, 11 markings/sec, 640 secs
lola: 1 tries, 7090 fired transitions, 645 secs || 6560 markings, 6559 edges, 11 markings/sec, 645 secs
lola: 1 tries, 7142 fired transitions, 650 secs || 6611 markings, 6610 edges, 10 markings/sec, 650 secs
lola: 1 tries, 7194 fired transitions, 655 secs || 6663 markings, 6662 edges, 10 markings/sec, 655 secs
lola: 1 tries, 7246 fired transitions, 660 secs || 6715 markings, 6714 edges, 10 markings/sec, 660 secs
lola: 1 tries, 7298 fired transitions, 665 secs || 6767 markings, 6766 edges, 10 markings/sec, 665 secs
lola: 1 tries, 7351 fired transitions, 670 secs || 6820 markings, 6819 edges, 11 markings/sec, 670 secs
lola: 1 tries, 7403 fired transitions, 675 secs || 6872 markings, 6871 edges, 10 markings/sec, 675 secs
lola: 1 tries, 7456 fired transitions, 680 secs || 6922 markings, 6921 edges, 10 markings/sec, 680 secs
lola: 1 tries, 7508 fired transitions, 685 secs || 6971 markings, 6970 edges, 10 markings/sec, 685 secs
lola: 1 tries, 7561 fired transitions, 690 secs || 7020 markings, 7019 edges, 10 markings/sec, 690 secs
lola: 1 tries, 7614 fired transitions, 695 secs || 7071 markings, 7070 edges, 10 markings/sec, 695 secs
lola: 1 tries, 7669 fired transitions, 700 secs || 7126 markings, 7125 edges, 11 markings/sec, 700 secs
lola: 1 tries, 7724 fired transitions, 705 secs || 7181 markings, 7180 edges, 11 markings/sec, 705 secs
lola: 1 tries, 7780 fired transitions, 710 secs || 7237 markings, 7236 edges, 11 markings/sec, 710 secs
lola: 1 tries, 7835 fired transitions, 715 secs || 7292 markings, 7291 edges, 11 markings/sec, 715 secs
lola: 1 tries, 7891 fired transitions, 720 secs || 7348 markings, 7347 edges, 11 markings/sec, 720 secs
lola: 1 tries, 7947 fired transitions, 725 secs || 7404 markings, 7403 edges, 11 markings/sec, 725 secs
lola: 1 tries, 8003 fired transitions, 730 secs || 7460 markings, 7459 edges, 11 markings/sec, 730 secs
lola: 1 tries, 8058 fired transitions, 735 secs || 7515 markings, 7514 edges, 11 markings/sec, 735 secs
lola: 1 tries, 8114 fired transitions, 740 secs || 7571 markings, 7570 edges, 11 markings/sec, 740 secs
lola: 1 tries, 8169 fired transitions, 745 secs || 7626 markings, 7625 edges, 11 markings/sec, 745 secs
lola: 1 tries, 8224 fired transitions, 750 secs || 7681 markings, 7680 edges, 11 markings/sec, 750 secs
lola: 1 tries, 8279 fired transitions, 755 secs || 7736 markings, 7735 edges, 11 markings/sec, 755 secs
lola: 1 tries, 8334 fired transitions, 760 secs || 7791 markings, 7790 edges, 11 markings/sec, 760 secs
lola: 1 tries, 8390 fired transitions, 765 secs || 7847 markings, 7846 edges, 11 markings/sec, 765 secs
lola: 1 tries, 8449 fired transitions, 770 secs || 7906 markings, 7905 edges, 12 markings/sec, 770 secs
lola: 1 tries, 8507 fired transitions, 775 secs || 7964 markings, 7963 edges, 12 markings/sec, 775 secs
lola: 1 tries, 8565 fired transitions, 780 secs || 8022 markings, 8021 edges, 12 markings/sec, 780 secs
lola: 1 tries, 8623 fired transitions, 785 secs || 8080 markings, 8079 edges, 12 markings/sec, 785 secs
lola: 1 tries, 8681 fired transitions, 790 secs || 8138 markings, 8137 edges, 12 markings/sec, 790 secs
lola: 1 tries, 8740 fired transitions, 795 secs || 8197 markings, 8196 edges, 12 markings/sec, 795 secs
lola: 1 tries, 8798 fired transitions, 800 secs || 8255 markings, 8254 edges, 12 markings/sec, 800 secs
lola: 1 tries, 8855 fired transitions, 805 secs || 8312 markings, 8311 edges, 11 markings/sec, 805 secs
lola: 1 tries, 8914 fired transitions, 810 secs || 8371 markings, 8370 edges, 12 markings/sec, 810 secs
lola: 1 tries, 8972 fired transitions, 815 secs || 8429 markings, 8428 edges, 12 markings/sec, 815 secs
lola: 1 tries, 9030 fired transitions, 820 secs || 8487 markings, 8486 edges, 12 markings/sec, 820 secs
lola: 1 tries, 9088 fired transitions, 825 secs || 8545 markings, 8544 edges, 12 markings/sec, 825 secs
lola: 1 tries, 9146 fired transitions, 830 secs || 8603 markings, 8602 edges, 12 markings/sec, 830 secs
lola: 1 tries, 9204 fired transitions, 835 secs || 8661 markings, 8660 edges, 12 markings/sec, 835 secs
lola: 1 tries, 9262 fired transitions, 840 secs || 8719 markings, 8718 edges, 12 markings/sec, 840 secs
lola: 1 tries, 9320 fired transitions, 845 secs || 8777 markings, 8776 edges, 12 markings/sec, 845 secs
lola: 1 tries, 9378 fired transitions, 850 secs || 8835 markings, 8834 edges, 12 markings/sec, 850 secs
lola: 1 tries, 9436 fired transitions, 855 secs || 8893 markings, 8892 edges, 12 markings/sec, 855 secs
lola: 1 tries, 9494 fired transitions, 860 secs || 8951 markings, 8950 edges, 12 markings/sec, 860 secs
lola: 1 tries, 9551 fired transitions, 865 secs || 9008 markings, 9007 edges, 11 markings/sec, 865 secs
lola: 1 tries, 9608 fired transitions, 870 secs || 9065 markings, 9064 edges, 11 markings/sec, 870 secs
lola: 1 tries, 9665 fired transitions, 875 secs || 9122 markings, 9121 edges, 11 markings/sec, 875 secs
lola: 1 tries, 9722 fired transitions, 880 secs || 9179 markings, 9178 edges, 11 markings/sec, 880 secs
lola: 1 tries, 9779 fired transitions, 885 secs || 9236 markings, 9235 edges, 11 markings/sec, 885 secs
lola: 1 tries, 9835 fired transitions, 890 secs || 9293 markings, 9292 edges, 11 markings/sec, 890 secs
lola: 1 tries, 9892 fired transitions, 895 secs || 9350 markings, 9349 edges, 11 markings/sec, 895 secs
lola: 1 tries, 9949 fired transitions, 900 secs || 9407 markings, 9406 edges, 11 markings/sec, 900 secs
lola: 1 tries, 10006 fired transitions, 905 secs || 9464 markings, 9463 edges, 11 markings/sec, 905 secs
lola: 1 tries, 10063 fired transitions, 910 secs || 9521 markings, 9520 edges, 11 markings/sec, 910 secs
lola: 1 tries, 10120 fired transitions, 915 secs || 9578 markings, 9577 edges, 11 markings/sec, 915 secs
lola: 1 tries, 10177 fired transitions, 920 secs || 9635 markings, 9634 edges, 11 markings/sec, 920 secs
lola: 1 tries, 10233 fired transitions, 925 secs || 9691 markings, 9690 edges, 11 markings/sec, 925 secs
lola: 1 tries, 10289 fired transitions, 930 secs || 9748 markings, 9747 edges, 11 markings/sec, 930 secs
lola: 1 tries, 10346 fired transitions, 935 secs || 9805 markings, 9804 edges, 11 markings/sec, 935 secs
lola: 1 tries, 10403 fired transitions, 940 secs || 9862 markings, 9861 edges, 11 markings/sec, 940 secs
lola: 1 tries, 10461 fired transitions, 945 secs || 9920 markings, 9919 edges, 12 markings/sec, 945 secs
lola: 1 tries, 10519 fired transitions, 950 secs || 9978 markings, 9977 edges, 12 markings/sec, 950 secs
lola: 1 tries, 10576 fired transitions, 955 secs || 10035 markings, 10034 edges, 11 markings/sec, 955 secs
lola: 1 tries, 10634 fired transitions, 960 secs || 10093 markings, 10092 edges, 12 markings/sec, 960 secs
lola: 1 tries, 10693 fired transitions, 965 secs || 10152 markings, 10151 edges, 12 markings/sec, 965 secs
lola: 1 tries, 10751 fired transitions, 970 secs || 10210 markings, 10209 edges, 12 markings/sec, 970 secs
lola: 1 tries, 10809 fired transitions, 975 secs || 10268 markings, 10267 edges, 12 markings/sec, 975 secs
lola: 1 tries, 10867 fired transitions, 980 secs || 10326 markings, 10325 edges, 12 markings/sec, 980 secs
lola: 1 tries, 10925 fired transitions, 985 secs || 10384 markings, 10383 edges, 12 markings/sec, 985 secs
lola: 1 tries, 10983 fired transitions, 990 secs || 10442 markings, 10441 edges, 12 markings/sec, 990 secs
lola: 1 tries, 11041 fired transitions, 995 secs || 10500 markings, 10499 edges, 12 markings/sec, 995 secs
lola: 1 tries, 11098 fired transitions, 1000 secs || 10557 markings, 10556 edges, 11 markings/sec, 1000 secs
lola: 1 tries, 11156 fired transitions, 1005 secs || 10615 markings, 10614 edges, 12 markings/sec, 1005 secs
lola: 1 tries, 11214 fired transitions, 1010 secs || 10673 markings, 10672 edges, 12 markings/sec, 1010 secs
lola: 1 tries, 11272 fired transitions, 1015 secs || 10731 markings, 10730 edges, 12 markings/sec, 1015 secs
lola: 1 tries, 11330 fired transitions, 1020 secs || 10789 markings, 10788 edges, 12 markings/sec, 1020 secs
lola: 1 tries, 11388 fired transitions, 1025 secs || 10847 markings, 10846 edges, 12 markings/sec, 1025 secs
lola: 1 tries, 11446 fired transitions, 1030 secs || 10905 markings, 10904 edges, 12 markings/sec, 1030 secs
lola: 1 tries, 11504 fired transitions, 1035 secs || 10963 markings, 10962 edges, 12 markings/sec, 1035 secs
lola: 1 tries, 11563 fired transitions, 1040 secs || 11022 markings, 11021 edges, 12 markings/sec, 1040 secs
lola: 1 tries, 11620 fired transitions, 1045 secs || 11079 markings, 11078 edges, 11 markings/sec, 1045 secs
lola: 1 tries, 11678 fired transitions, 1050 secs || 11137 markings, 11136 edges, 12 markings/sec, 1050 secs
lola: 1 tries, 11737 fired transitions, 1055 secs || 11196 markings, 11195 edges, 12 markings/sec, 1055 secs
lola: 1 tries, 11795 fired transitions, 1060 secs || 11254 markings, 11253 edges, 12 markings/sec, 1060 secs
lola: 1 tries, 11853 fired transitions, 1065 secs || 11312 markings, 11311 edges, 12 markings/sec, 1065 secs
lola: 1 tries, 11911 fired transitions, 1070 secs || 11370 markings, 11369 edges, 12 markings/sec, 1070 secs
lola: 1 tries, 11969 fired transitions, 1075 secs || 11428 markings, 11427 edges, 12 markings/sec, 1075 secs
lola: 1 tries, 12027 fired transitions, 1080 secs || 11486 markings, 11485 edges, 12 markings/sec, 1080 secs
lola: 1 tries, 12085 fired transitions, 1085 secs || 11544 markings, 11543 edges, 12 markings/sec, 1085 secs
lola: 1 tries, 12143 fired transitions, 1090 secs || 11602 markings, 11601 edges, 12 markings/sec, 1090 secs
lola: 1 tries, 12199 fired transitions, 1095 secs || 11659 markings, 11658 edges, 11 markings/sec, 1095 secs
lola: 1 tries, 12257 fired transitions, 1100 secs || 11717 markings, 11716 edges, 12 markings/sec, 1100 secs
lola: 1 tries, 12316 fired transitions, 1105 secs || 11776 markings, 11775 edges, 12 markings/sec, 1105 secs
lola: 1 tries, 12374 fired transitions, 1110 secs || 11834 markings, 11833 edges, 12 markings/sec, 1110 secs
lola: 1 tries, 12433 fired transitions, 1115 secs || 11893 markings, 11892 edges, 12 markings/sec, 1115 secs
lola: 1 tries, 12491 fired transitions, 1120 secs || 11951 markings, 11950 edges, 12 markings/sec, 1120 secs
lola: 1 tries, 12548 fired transitions, 1125 secs || 12008 markings, 12007 edges, 11 markings/sec, 1125 secs
lola: 1 tries, 12605 fired transitions, 1130 secs || 12064 markings, 12063 edges, 11 markings/sec, 1130 secs
lola: 1 tries, 12662 fired transitions, 1135 secs || 12121 markings, 12120 edges, 11 markings/sec, 1135 secs
lola: 1 tries, 12715 fired transitions, 1140 secs || 12176 markings, 12175 edges, 11 markings/sec, 1140 secs
lola: 1 tries, 12766 fired transitions, 1145 secs || 12231 markings, 12230 edges, 11 markings/sec, 1145 secs
lola: 1 tries, 12817 fired transitions, 1150 secs || 12285 markings, 12284 edges, 11 markings/sec, 1150 secs
lola: 1 tries, 12868 fired transitions, 1155 secs || 12340 markings, 12339 edges, 11 markings/sec, 1155 secs
lola: 1 tries, 12918 fired transitions, 1160 secs || 12395 markings, 12394 edges, 11 markings/sec, 1160 secs
lola: 1 tries, 12967 fired transitions, 1165 secs || 12450 markings, 12449 edges, 11 markings/sec, 1165 secs
lola: 1 tries, 13016 fired transitions, 1170 secs || 12504 markings, 12503 edges, 11 markings/sec, 1170 secs
lola: 1 tries, 13066 fired transitions, 1175 secs || 12559 markings, 12558 edges, 11 markings/sec, 1175 secs
lola: 1 tries, 13116 fired transitions, 1180 secs || 12614 markings, 12613 edges, 11 markings/sec, 1180 secs
lola: 1 tries, 13166 fired transitions, 1185 secs || 12669 markings, 12668 edges, 11 markings/sec, 1185 secs
lola: 1 tries, 13216 fired transitions, 1190 secs || 12724 markings, 12723 edges, 11 markings/sec, 1190 secs
lola: 1 tries, 13265 fired transitions, 1195 secs || 12779 markings, 12778 edges, 11 markings/sec, 1195 secs
lola: 1 tries, 13315 fired transitions, 1200 secs || 12833 markings, 12832 edges, 11 markings/sec, 1200 secs
lola: 1 tries, 13365 fired transitions, 1205 secs || 12888 markings, 12887 edges, 11 markings/sec, 1205 secs
lola: 1 tries, 13415 fired transitions, 1210 secs || 12943 markings, 12942 edges, 11 markings/sec, 1210 secs
lola: 1 tries, 13465 fired transitions, 1215 secs || 12998 markings, 12997 edges, 11 markings/sec, 1215 secs
lola: 1 tries, 13515 fired transitions, 1220 secs || 13053 markings, 13052 edges, 11 markings/sec, 1220 secs
lola: 1 tries, 13565 fired transitions, 1225 secs || 13108 markings, 13107 edges, 11 markings/sec, 1225 secs
lola: 1 tries, 13614 fired transitions, 1230 secs || 13162 markings, 13161 edges, 11 markings/sec, 1230 secs
lola: 1 tries, 13662 fired transitions, 1235 secs || 13213 markings, 13212 edges, 10 markings/sec, 1235 secs
lola: 1 tries, 13708 fired transitions, 1240 secs || 13265 markings, 13264 edges, 10 markings/sec, 1240 secs
lola: 1 tries, 13754 fired transitions, 1245 secs || 13317 markings, 13316 edges, 10 markings/sec, 1245 secs
lola: 1 tries, 13800 fired transitions, 1250 secs || 13369 markings, 13368 edges, 10 markings/sec, 1250 secs
lola: 1 tries, 13846 fired transitions, 1255 secs || 13422 markings, 13421 edges, 11 markings/sec, 1255 secs
lola: 1 tries, 13891 fired transitions, 1260 secs || 13476 markings, 13475 edges, 11 markings/sec, 1260 secs
lola: 1 tries, 13937 fired transitions, 1265 secs || 13528 markings, 13527 edges, 10 markings/sec, 1265 secs
lola: 1 tries, 13987 fired transitions, 1270 secs || 13577 markings, 13576 edges, 10 markings/sec, 1270 secs
lola: 1 tries, 14041 fired transitions, 1275 secs || 13624 markings, 13623 edges, 9 markings/sec, 1275 secs
lola: 1 tries, 14094 fired transitions, 1280 secs || 13670 markings, 13669 edges, 9 markings/sec, 1280 secs
lola: 1 tries, 14148 fired transitions, 1285 secs || 13716 markings, 13715 edges, 9 markings/sec, 1285 secs
lola: 1 tries, 14201 fired transitions, 1290 secs || 13762 markings, 13762 edges, 9 markings/sec, 1290 secs
lola: 1 tries, 14255 fired transitions, 1295 secs || 13808 markings, 13807 edges, 9 markings/sec, 1295 secs
lola: 1 tries, 14308 fired transitions, 1300 secs || 13854 markings, 13853 edges, 9 markings/sec, 1300 secs
lola: 1 tries, 14360 fired transitions, 1305 secs || 13902 markings, 13901 edges, 10 markings/sec, 1305 secs
lola: 1 tries, 14414 fired transitions, 1310 secs || 13949 markings, 13948 edges, 9 markings/sec, 1310 secs
lola: 1 tries, 14468 fired transitions, 1315 secs || 14004 markings, 14003 edges, 11 markings/sec, 1315 secs
lola: 1 tries, 14524 fired transitions, 1320 secs || 14060 markings, 14059 edges, 11 markings/sec, 1320 secs
lola: 1 tries, 14582 fired transitions, 1325 secs || 14118 markings, 14117 edges, 12 markings/sec, 1325 secs
lola: 1 tries, 14639 fired transitions, 1330 secs || 14175 markings, 14174 edges, 11 markings/sec, 1330 secs
lola: 1 tries, 14696 fired transitions, 1335 secs || 14232 markings, 14231 edges, 11 markings/sec, 1335 secs
lola: 1 tries, 14753 fired transitions, 1340 secs || 14289 markings, 14288 edges, 11 markings/sec, 1340 secs
lola: 1 tries, 14809 fired transitions, 1345 secs || 14345 markings, 14344 edges, 11 markings/sec, 1345 secs
lola: 1 tries, 14867 fired transitions, 1350 secs || 14403 markings, 14402 edges, 12 markings/sec, 1350 secs
lola: 1 tries, 14924 fired transitions, 1355 secs || 14460 markings, 14459 edges, 11 markings/sec, 1355 secs
lola: 1 tries, 14982 fired transitions, 1360 secs || 14518 markings, 14517 edges, 12 markings/sec, 1360 secs
lola: 1 tries, 15039 fired transitions, 1365 secs || 14575 markings, 14574 edges, 11 markings/sec, 1365 secs
lola: 1 tries, 15097 fired transitions, 1370 secs || 14633 markings, 14632 edges, 12 markings/sec, 1370 secs
lola: 1 tries, 15154 fired transitions, 1375 secs || 14690 markings, 14689 edges, 11 markings/sec, 1375 secs
lola: 1 tries, 15211 fired transitions, 1380 secs || 14747 markings, 14746 edges, 11 markings/sec, 1380 secs
lola: 1 tries, 15266 fired transitions, 1385 secs || 14802 markings, 14801 edges, 11 markings/sec, 1385 secs
lola: 1 tries, 15323 fired transitions, 1390 secs || 14859 markings, 14858 edges, 11 markings/sec, 1390 secs
lola: 1 tries, 15379 fired transitions, 1395 secs || 14915 markings, 14914 edges, 11 markings/sec, 1395 secs
lola: 1 tries, 15436 fired transitions, 1400 secs || 14972 markings, 14971 edges, 11 markings/sec, 1400 secs
lola: 1 tries, 15493 fired transitions, 1405 secs || 15029 markings, 15028 edges, 11 markings/sec, 1405 secs
lola: 1 tries, 15549 fired transitions, 1410 secs || 15085 markings, 15084 edges, 11 markings/sec, 1410 secs
lola: 1 tries, 15602 fired transitions, 1415 secs || 15140 markings, 15139 edges, 11 markings/sec, 1415 secs
lola: 1 tries, 15657 fired transitions, 1420 secs || 15195 markings, 15194 edges, 11 markings/sec, 1420 secs
lola: 1 tries, 15709 fired transitions, 1425 secs || 15249 markings, 15248 edges, 11 markings/sec, 1425 secs
lola: 1 tries, 15763 fired transitions, 1430 secs || 15303 markings, 15302 edges, 11 markings/sec, 1430 secs
lola: 1 tries, 15818 fired transitions, 1435 secs || 15358 markings, 15357 edges, 11 markings/sec, 1435 secs
lola: 1 tries, 15872 fired transitions, 1440 secs || 15414 markings, 15413 edges, 11 markings/sec, 1440 secs
lola: 1 tries, 15926 fired transitions, 1445 secs || 15468 markings, 15467 edges, 11 markings/sec, 1445 secs
lola: 1 tries, 15981 fired transitions, 1450 secs || 15520 markings, 15519 edges, 10 markings/sec, 1450 secs
lola: 1 tries, 16037 fired transitions, 1455 secs || 15573 markings, 15572 edges, 11 markings/sec, 1455 secs
lola: 1 tries, 16092 fired transitions, 1460 secs || 15627 markings, 15626 edges, 11 markings/sec, 1460 secs
lola: 1 tries, 16149 fired transitions, 1465 secs || 15682 markings, 15681 edges, 11 markings/sec, 1465 secs
lola: 1 tries, 16203 fired transitions, 1470 secs || 15738 markings, 15737 edges, 11 markings/sec, 1470 secs
lola: 1 tries, 16258 fired transitions, 1475 secs || 15794 markings, 15793 edges, 11 markings/sec, 1475 secs
lola: 1 tries, 16313 fired transitions, 1480 secs || 15850 markings, 15849 edges, 11 markings/sec, 1480 secs
lola: 1 tries, 16367 fired transitions, 1485 secs || 15906 markings, 15905 edges, 11 markings/sec, 1485 secs
lola: 1 tries, 16421 fired transitions, 1490 secs || 15961 markings, 15960 edges, 11 markings/sec, 1490 secs
lola: 1 tries, 16476 fired transitions, 1495 secs || 16014 markings, 16013 edges, 11 markings/sec, 1495 secs
lola: 1 tries, 16529 fired transitions, 1500 secs || 16069 markings, 16068 edges, 11 markings/sec, 1500 secs
lola: 1 tries, 16584 fired transitions, 1505 secs || 16124 markings, 16123 edges, 11 markings/sec, 1505 secs
lola: 1 tries, 16640 fired transitions, 1510 secs || 16179 markings, 16178 edges, 11 markings/sec, 1510 secs
lola: 1 tries, 16694 fired transitions, 1515 secs || 16234 markings, 16233 edges, 11 markings/sec, 1515 secs
lola: 1 tries, 16748 fired transitions, 1520 secs || 16289 markings, 16288 edges, 11 markings/sec, 1520 secs
lola: 1 tries, 16801 fired transitions, 1525 secs || 16342 markings, 16341 edges, 11 markings/sec, 1525 secs
lola: 1 tries, 16854 fired transitions, 1530 secs || 16397 markings, 16396 edges, 11 markings/sec, 1530 secs
lola: 1 tries, 16909 fired transitions, 1535 secs || 16453 markings, 16452 edges, 11 markings/sec, 1535 secs
lola: 1 tries, 16965 fired transitions, 1540 secs || 16510 markings, 16509 edges, 11 markings/sec, 1540 secs
lola: 1 tries, 17019 fired transitions, 1545 secs || 16564 markings, 16563 edges, 11 markings/sec, 1545 secs
lola: 1 tries, 17075 fired transitions, 1550 secs || 16619 markings, 16618 edges, 11 markings/sec, 1550 secs
lola: 1 tries, 17129 fired transitions, 1555 secs || 16674 markings, 16673 edges, 11 markings/sec, 1555 secs
lola: 1 tries, 17181 fired transitions, 1560 secs || 16729 markings, 16728 edges, 11 markings/sec, 1560 secs
lola: 1 tries, 17234 fired transitions, 1565 secs || 16784 markings, 16783 edges, 11 markings/sec, 1565 secs
lola: 1 tries, 17289 fired transitions, 1570 secs || 16838 markings, 16837 edges, 11 markings/sec, 1570 secs
lola: 1 tries, 17346 fired transitions, 1575 secs || 16894 markings, 16893 edges, 11 markings/sec, 1575 secs
lola: 1 tries, 17402 fired transitions, 1580 secs || 16949 markings, 16948 edges, 11 markings/sec, 1580 secs
lola: 1 tries, 17458 fired transitions, 1585 secs || 17005 markings, 17004 edges, 11 markings/sec, 1585 secs
lola: 1 tries, 17515 fired transitions, 1590 secs || 17061 markings, 17060 edges, 11 markings/sec, 1590 secs
lola: 1 tries, 17571 fired transitions, 1595 secs || 17117 markings, 17116 edges, 11 markings/sec, 1595 secs
lola: 1 tries, 17628 fired transitions, 1600 secs || 17173 markings, 17172 edges, 11 markings/sec, 1600 secs
lola: 1 tries, 17684 fired transitions, 1605 secs || 17230 markings, 17229 edges, 11 markings/sec, 1605 secs
lola: 1 tries, 17739 fired transitions, 1610 secs || 17284 markings, 17283 edges, 11 markings/sec, 1610 secs
lola: 1 tries, 17796 fired transitions, 1615 secs || 17341 markings, 17340 edges, 11 markings/sec, 1615 secs
lola: 1 tries, 17853 fired transitions, 1620 secs || 17397 markings, 17396 edges, 11 markings/sec, 1620 secs
lola: 1 tries, 17910 fired transitions, 1625 secs || 17453 markings, 17452 edges, 11 markings/sec, 1625 secs
lola: 1 tries, 17966 fired transitions, 1630 secs || 17509 markings, 17508 edges, 11 markings/sec, 1630 secs
lola: 1 tries, 18021 fired transitions, 1635 secs || 17564 markings, 17563 edges, 11 markings/sec, 1635 secs
lola: 1 tries, 18078 fired transitions, 1640 secs || 17621 markings, 17620 edges, 11 markings/sec, 1640 secs
lola: 1 tries, 18135 fired transitions, 1645 secs || 17677 markings, 17676 edges, 11 markings/sec, 1645 secs
lola: 1 tries, 18192 fired transitions, 1650 secs || 17734 markings, 17733 edges, 11 markings/sec, 1650 secs
lola: 1 tries, 18249 fired transitions, 1655 secs || 17791 markings, 17790 edges, 11 markings/sec, 1655 secs
lola: 1 tries, 18306 fired transitions, 1660 secs || 17848 markings, 17847 edges, 11 markings/sec, 1660 secs
lola: 1 tries, 18364 fired transitions, 1665 secs || 17906 markings, 17905 edges, 12 markings/sec, 1665 secs
lola: 1 tries, 18422 fired transitions, 1670 secs || 17964 markings, 17963 edges, 12 markings/sec, 1670 secs
lola: 1 tries, 18479 fired transitions, 1675 secs || 18020 markings, 18019 edges, 11 markings/sec, 1675 secs
lola: 1 tries, 18537 fired transitions, 1680 secs || 18078 markings, 18077 edges, 12 markings/sec, 1680 secs
lola: 1 tries, 18594 fired transitions, 1685 secs || 18135 markings, 18134 edges, 11 markings/sec, 1685 secs
lola: 1 tries, 18652 fired transitions, 1690 secs || 18193 markings, 18192 edges, 12 markings/sec, 1690 secs
lola: 1 tries, 18709 fired transitions, 1695 secs || 18249 markings, 18248 edges, 11 markings/sec, 1695 secs
lola: 1 tries, 18764 fired transitions, 1700 secs || 18300 markings, 18299 edges, 10 markings/sec, 1700 secs
lola: 1 tries, 18819 fired transitions, 1705 secs || 18350 markings, 18349 edges, 10 markings/sec, 1705 secs
lola: 1 tries, 18873 fired transitions, 1710 secs || 18400 markings, 18399 edges, 10 markings/sec, 1710 secs
lola: 1 tries, 18928 fired transitions, 1715 secs || 18451 markings, 18450 edges, 10 markings/sec, 1715 secs
lola: 1 tries, 18983 fired transitions, 1720 secs || 18502 markings, 18501 edges, 10 markings/sec, 1720 secs
lola: 1 tries, 19035 fired transitions, 1725 secs || 18554 markings, 18553 edges, 10 markings/sec, 1725 secs
lola: 1 tries, 19086 fired transitions, 1730 secs || 18608 markings, 18607 edges, 11 markings/sec, 1730 secs
lola: 1 tries, 19137 fired transitions, 1735 secs || 18662 markings, 18661 edges, 11 markings/sec, 1735 secs
lola: 1 tries, 19188 fired transitions, 1740 secs || 18717 markings, 18716 edges, 11 markings/sec, 1740 secs
lola: 1 tries, 19239 fired transitions, 1745 secs || 18771 markings, 18770 edges, 11 markings/sec, 1745 secs
lola: 1 tries, 19290 fired transitions, 1750 secs || 18826 markings, 18825 edges, 11 markings/sec, 1750 secs
lola: 1 tries, 19341 fired transitions, 1755 secs || 18880 markings, 18879 edges, 11 markings/sec, 1755 secs
lola: 1 tries, 19392 fired transitions, 1760 secs || 18935 markings, 18934 edges, 11 markings/sec, 1760 secs
lola: 1 tries, 19441 fired transitions, 1765 secs || 18990 markings, 18989 edges, 11 markings/sec, 1765 secs
lola: 1 tries, 19490 fired transitions, 1770 secs || 19045 markings, 19044 edges, 11 markings/sec, 1770 secs
lola: 1 tries, 19541 fired transitions, 1775 secs || 19100 markings, 19099 edges, 11 markings/sec, 1775 secs
lola: 1 tries, 19592 fired transitions, 1780 secs || 19156 markings, 19155 edges, 11 markings/sec, 1780 secs
lola: 1 tries, 19644 fired transitions, 1785 secs || 19211 markings, 19210 edges, 11 markings/sec, 1785 secs
lola: 1 tries, 19701 fired transitions, 1790 secs || 19269 markings, 19268 edges, 12 markings/sec, 1790 secs
lola: 1 tries, 19760 fired transitions, 1795 secs || 19328 markings, 19327 edges, 12 markings/sec, 1795 secs
lola: 1 tries, 19819 fired transitions, 1800 secs || 19387 markings, 19386 edges, 12 markings/sec, 1800 secs
lola: 1 tries, 19876 fired transitions, 1805 secs || 19440 markings, 19439 edges, 11 markings/sec, 1805 secs
lola: 1 tries, 19931 fired transitions, 1810 secs || 19491 markings, 19490 edges, 10 markings/sec, 1810 secs
lola: 1 tries, 19987 fired transitions, 1815 secs || 19543 markings, 19542 edges, 10 markings/sec, 1815 secs
lola: 1 tries, 20043 fired transitions, 1820 secs || 19595 markings, 19594 edges, 10 markings/sec, 1820 secs
lola: 1 tries, 20099 fired transitions, 1825 secs || 19646 markings, 19645 edges, 10 markings/sec, 1825 secs
lola: 1 tries, 20154 fired transitions, 1830 secs || 19697 markings, 19696 edges, 10 markings/sec, 1830 secs
lola: 1 tries, 20208 fired transitions, 1835 secs || 19749 markings, 19748 edges, 10 markings/sec, 1835 secs
lola: 1 tries, 20263 fired transitions, 1840 secs || 19800 markings, 19799 edges, 10 markings/sec, 1840 secs
lola: 1 tries, 20318 fired transitions, 1845 secs || 19851 markings, 19850 edges, 10 markings/sec, 1845 secs
lola: 1 tries, 20373 fired transitions, 1850 secs || 19903 markings, 19902 edges, 10 markings/sec, 1850 secs
lola: 1 tries, 20428 fired transitions, 1855 secs || 19954 markings, 19953 edges, 10 markings/sec, 1855 secs
lola: 1 tries, 20483 fired transitions, 1860 secs || 20003 markings, 20002 edges, 10 markings/sec, 1860 secs
lola: 1 tries, 20539 fired transitions, 1865 secs || 20051 markings, 20050 edges, 10 markings/sec, 1865 secs
lola: 1 tries, 20594 fired transitions, 1870 secs || 20099 markings, 20098 edges, 10 markings/sec, 1870 secs
lola: 1 tries, 20650 fired transitions, 1875 secs || 20147 markings, 20146 edges, 10 markings/sec, 1875 secs
lola: 1 tries, 20705 fired transitions, 1880 secs || 20195 markings, 20194 edges, 10 markings/sec, 1880 secs
lola: 1 tries, 20761 fired transitions, 1885 secs || 20244 markings, 20243 edges, 10 markings/sec, 1885 secs
lola: 1 tries, 20816 fired transitions, 1890 secs || 20292 markings, 20291 edges, 10 markings/sec, 1890 secs
lola: 1 tries, 20872 fired transitions, 1895 secs || 20340 markings, 20339 edges, 10 markings/sec, 1895 secs
lola: 1 tries, 20927 fired transitions, 1900 secs || 20388 markings, 20387 edges, 10 markings/sec, 1900 secs
lola: 1 tries, 20983 fired transitions, 1905 secs || 20436 markings, 20435 edges, 10 markings/sec, 1905 secs
lola: 1 tries, 21038 fired transitions, 1910 secs || 20484 markings, 20483 edges, 10 markings/sec, 1910 secs
lola: 1 tries, 21094 fired transitions, 1915 secs || 20532 markings, 20531 edges, 10 markings/sec, 1915 secs
lola: 1 tries, 21149 fired transitions, 1920 secs || 20580 markings, 20579 edges, 10 markings/sec, 1920 secs
lola: 1 tries, 21208 fired transitions, 1925 secs || 20636 markings, 20635 edges, 11 markings/sec, 1925 secs
lola: 1 tries, 21267 fired transitions, 1930 secs || 20695 markings, 20694 edges, 12 markings/sec, 1930 secs
lola: 1 tries, 21326 fired transitions, 1935 secs || 20755 markings, 20754 edges, 12 markings/sec, 1935 secs
lola: 1 tries, 21387 fired transitions, 1940 secs || 20816 markings, 20815 edges, 12 markings/sec, 1940 secs
lola: 1 tries, 21446 fired transitions, 1945 secs || 20876 markings, 20875 edges, 12 markings/sec, 1945 secs
lola: 1 tries, 21506 fired transitions, 1950 secs || 20934 markings, 20933 edges, 12 markings/sec, 1950 secs
lola: 1 tries, 21565 fired transitions, 1955 secs || 20993 markings, 20992 edges, 12 markings/sec, 1955 secs
lola: 1 tries, 21625 fired transitions, 1960 secs || 21053 markings, 21052 edges, 12 markings/sec, 1960 secs
lola: 1 tries, 21682 fired transitions, 1965 secs || 21111 markings, 21110 edges, 12 markings/sec, 1965 secs
lola: 1 tries, 21740 fired transitions, 1970 secs || 21169 markings, 21168 edges, 12 markings/sec, 1970 secs
lola: 1 tries, 21799 fired transitions, 1975 secs || 21225 markings, 21224 edges, 11 markings/sec, 1975 secs
lola: 1 tries, 21854 fired transitions, 1980 secs || 21281 markings, 21280 edges, 11 markings/sec, 1980 secs
lola: 1 tries, 21911 fired transitions, 1985 secs || 21338 markings, 21337 edges, 11 markings/sec, 1985 secs
lola: 1 tries, 21970 fired transitions, 1990 secs || 21397 markings, 21396 edges, 12 markings/sec, 1990 secs
lola: 1 tries, 22028 fired transitions, 1995 secs || 21455 markings, 21454 edges, 12 markings/sec, 1995 secs
lola: 1 tries, 22086 fired transitions, 2000 secs || 21514 markings, 21513 edges, 12 markings/sec, 2000 secs
lola: 1 tries, 22142 fired transitions, 2005 secs || 21570 markings, 21569 edges, 11 markings/sec, 2005 secs
lola: 1 tries, 22199 fired transitions, 2010 secs || 21627 markings, 21626 edges, 11 markings/sec, 2010 secs
lola: 1 tries, 22256 fired transitions, 2015 secs || 21683 markings, 21682 edges, 11 markings/sec, 2015 secs
lola: 1 tries, 22314 fired transitions, 2020 secs || 21739 markings, 21738 edges, 11 markings/sec, 2020 secs
lola: 1 tries, 22371 fired transitions, 2025 secs || 21795 markings, 21794 edges, 11 markings/sec, 2025 secs
lola: 1 tries, 22430 fired transitions, 2030 secs || 21855 markings, 21854 edges, 12 markings/sec, 2030 secs
lola: 1 tries, 22487 fired transitions, 2035 secs || 21913 markings, 21912 edges, 12 markings/sec, 2035 secs
lola: 1 tries, 22544 fired transitions, 2040 secs || 21971 markings, 21970 edges, 12 markings/sec, 2040 secs
lola: 1 tries, 22603 fired transitions, 2045 secs || 22030 markings, 22029 edges, 12 markings/sec, 2045 secs
lola: 1 tries, 22660 fired transitions, 2050 secs || 22087 markings, 22086 edges, 11 markings/sec, 2050 secs
lola: 1 tries, 22714 fired transitions, 2055 secs || 22143 markings, 22142 edges, 11 markings/sec, 2055 secs
lola: 1 tries, 22770 fired transitions, 2060 secs || 22199 markings, 22198 edges, 11 markings/sec, 2060 secs
lola: 1 tries, 22827 fired transitions, 2065 secs || 22256 markings, 22255 edges, 11 markings/sec, 2065 secs
lola: 1 tries, 22883 fired transitions, 2070 secs || 22311 markings, 22310 edges, 11 markings/sec, 2070 secs
lola: 1 tries, 22938 fired transitions, 2075 secs || 22367 markings, 22366 edges, 11 markings/sec, 2075 secs
lola: 1 tries, 22993 fired transitions, 2080 secs || 22423 markings, 22422 edges, 11 markings/sec, 2080 secs
lola: 1 tries, 23048 fired transitions, 2085 secs || 22479 markings, 22478 edges, 11 markings/sec, 2085 secs
lola: 1 tries, 23105 fired transitions, 2090 secs || 22536 markings, 22535 edges, 11 markings/sec, 2090 secs
lola: 1 tries, 23160 fired transitions, 2095 secs || 22592 markings, 22591 edges, 11 markings/sec, 2095 secs
lola: 1 tries, 23213 fired transitions, 2100 secs || 22648 markings, 22647 edges, 11 markings/sec, 2100 secs
lola: 1 tries, 23269 fired transitions, 2105 secs || 22705 markings, 22704 edges, 11 markings/sec, 2105 secs
lola: 1 tries, 23322 fired transitions, 2110 secs || 22760 markings, 22759 edges, 11 markings/sec, 2110 secs
lola: 1 tries, 23377 fired transitions, 2115 secs || 22814 markings, 22813 edges, 11 markings/sec, 2115 secs
lola: 1 tries, 23435 fired transitions, 2120 secs || 22871 markings, 22870 edges, 11 markings/sec, 2120 secs
lola: 1 tries, 23491 fired transitions, 2125 secs || 22928 markings, 22927 edges, 11 markings/sec, 2125 secs
lola: 1 tries, 23545 fired transitions, 2130 secs || 22983 markings, 22982 edges, 11 markings/sec, 2130 secs
lola: 1 tries, 23600 fired transitions, 2135 secs || 23040 markings, 23039 edges, 11 markings/sec, 2135 secs
lola: 1 tries, 23653 fired transitions, 2140 secs || 23095 markings, 23094 edges, 11 markings/sec, 2140 secs
lola: 1 tries, 23709 fired transitions, 2145 secs || 23151 markings, 23150 edges, 11 markings/sec, 2145 secs
lola: 1 tries, 23764 fired transitions, 2150 secs || 23208 markings, 23207 edges, 11 markings/sec, 2150 secs
lola: 1 tries, 23821 fired transitions, 2155 secs || 23265 markings, 23264 edges, 11 markings/sec, 2155 secs
lola: 1 tries, 23878 fired transitions, 2160 secs || 23321 markings, 23320 edges, 11 markings/sec, 2160 secs
lola: 1 tries, 23934 fired transitions, 2165 secs || 23376 markings, 23375 edges, 11 markings/sec, 2165 secs
lola: 1 tries, 23988 fired transitions, 2170 secs || 23431 markings, 23430 edges, 11 markings/sec, 2170 secs
lola: 1 tries, 24043 fired transitions, 2175 secs || 23487 markings, 23486 edges, 11 markings/sec, 2175 secs
lola: 1 tries, 24099 fired transitions, 2180 secs || 23543 markings, 23542 edges, 11 markings/sec, 2180 secs
lola: 1 tries, 24155 fired transitions, 2185 secs || 23600 markings, 23599 edges, 11 markings/sec, 2185 secs
lola: 1 tries, 24208 fired transitions, 2190 secs || 23655 markings, 23654 edges, 11 markings/sec, 2190 secs
lola: 1 tries, 24262 fired transitions, 2195 secs || 23711 markings, 23710 edges, 11 markings/sec, 2195 secs
lola: 1 tries, 24318 fired transitions, 2200 secs || 23767 markings, 23766 edges, 11 markings/sec, 2200 secs
lola: 1 tries, 24372 fired transitions, 2205 secs || 23821 markings, 23820 edges, 11 markings/sec, 2205 secs
lola: 1 tries, 24427 fired transitions, 2210 secs || 23876 markings, 23875 edges, 11 markings/sec, 2210 secs
lola: 1 tries, 24482 fired transitions, 2215 secs || 23932 markings, 23931 edges, 11 markings/sec, 2215 secs
lola: 1 tries, 24538 fired transitions, 2220 secs || 23989 markings, 23988 edges, 11 markings/sec, 2220 secs
lola: 1 tries, 24594 fired transitions, 2225 secs || 24045 markings, 24044 edges, 11 markings/sec, 2225 secs
lola: 1 tries, 24650 fired transitions, 2230 secs || 24101 markings, 24100 edges, 11 markings/sec, 2230 secs
lola: 1 tries, 24706 fired transitions, 2235 secs || 24158 markings, 24157 edges, 11 markings/sec, 2235 secs
lola: 1 tries, 24761 fired transitions, 2240 secs || 24214 markings, 24213 edges, 11 markings/sec, 2240 secs
lola: 1 tries, 24815 fired transitions, 2245 secs || 24268 markings, 24267 edges, 11 markings/sec, 2245 secs
lola: 1 tries, 24870 fired transitions, 2250 secs || 24324 markings, 24323 edges, 11 markings/sec, 2250 secs
lola: 1 tries, 24924 fired transitions, 2255 secs || 24379 markings, 24378 edges, 11 markings/sec, 2255 secs
lola: 1 tries, 24979 fired transitions, 2260 secs || 24435 markings, 24434 edges, 11 markings/sec, 2260 secs
lola: 1 tries, 25034 fired transitions, 2265 secs || 24490 markings, 24489 edges, 11 markings/sec, 2265 secs
lola: 1 tries, 25091 fired transitions, 2270 secs || 24546 markings, 24545 edges, 11 markings/sec, 2270 secs
lola: 1 tries, 25146 fired transitions, 2275 secs || 24601 markings, 24600 edges, 11 markings/sec, 2275 secs
lola: 1 tries, 25202 fired transitions, 2280 secs || 24658 markings, 24657 edges, 11 markings/sec, 2280 secs
lola: 1 tries, 25259 fired transitions, 2285 secs || 24714 markings, 24713 edges, 11 markings/sec, 2285 secs
lola: 1 tries, 25314 fired transitions, 2290 secs || 24769 markings, 24768 edges, 11 markings/sec, 2290 secs
lola: 1 tries, 25369 fired transitions, 2295 secs || 24825 markings, 24824 edges, 11 markings/sec, 2295 secs
lola: 1 tries, 25424 fired transitions, 2300 secs || 24880 markings, 24879 edges, 11 markings/sec, 2300 secs
lola: 1 tries, 25479 fired transitions, 2305 secs || 24936 markings, 24935 edges, 11 markings/sec, 2305 secs
lola: 1 tries, 25534 fired transitions, 2310 secs || 24991 markings, 24990 edges, 11 markings/sec, 2310 secs
lola: 1 tries, 25593 fired transitions, 2315 secs || 25050 markings, 25049 edges, 12 markings/sec, 2315 secs
lola: 1 tries, 25651 fired transitions, 2320 secs || 25108 markings, 25107 edges, 12 markings/sec, 2320 secs
lola: 1 tries, 25709 fired transitions, 2325 secs || 25166 markings, 25165 edges, 12 markings/sec, 2325 secs
lola: 1 tries, 25767 fired transitions, 2330 secs || 25224 markings, 25223 edges, 12 markings/sec, 2330 secs
lola: 1 tries, 25825 fired transitions, 2335 secs || 25282 markings, 25281 edges, 12 markings/sec, 2335 secs
lola: 1 tries, 25883 fired transitions, 2340 secs || 25340 markings, 25339 edges, 12 markings/sec, 2340 secs
lola: 1 tries, 25941 fired transitions, 2345 secs || 25398 markings, 25397 edges, 12 markings/sec, 2345 secs
lola: 1 tries, 26000 fired transitions, 2350 secs || 25457 markings, 25456 edges, 12 markings/sec, 2350 secs
lola: 1 tries, 26058 fired transitions, 2355 secs || 25515 markings, 25514 edges, 12 markings/sec, 2355 secs
lola: 1 tries, 26117 fired transitions, 2360 secs || 25574 markings, 25573 edges, 12 markings/sec, 2360 secs
lola: 1 tries, 26175 fired transitions, 2365 secs || 25632 markings, 25631 edges, 12 markings/sec, 2365 secs
lola: 1 tries, 26234 fired transitions, 2370 secs || 25691 markings, 25690 edges, 12 markings/sec, 2370 secs
lola: 1 tries, 26291 fired transitions, 2375 secs || 25745 markings, 25744 edges, 11 markings/sec, 2375 secs
lola: 1 tries, 26348 fired transitions, 2380 secs || 25799 markings, 25798 edges, 11 markings/sec, 2380 secs
lola: 1 tries, 26405 fired transitions, 2385 secs || 25855 markings, 25854 edges, 11 markings/sec, 2385 secs
lola: 1 tries, 26462 fired transitions, 2390 secs || 25911 markings, 25910 edges, 11 markings/sec, 2390 secs
lola: 1 tries, 26519 fired transitions, 2395 secs || 25968 markings, 25967 edges, 11 markings/sec, 2395 secs
lola: 1 tries, 26577 fired transitions, 2400 secs || 26026 markings, 26025 edges, 12 markings/sec, 2400 secs
lola: 1 tries, 26634 fired transitions, 2405 secs || 26083 markings, 26082 edges, 11 markings/sec, 2405 secs
lola: 1 tries, 26690 fired transitions, 2410 secs || 26140 markings, 26139 edges, 11 markings/sec, 2410 secs
lola: 1 tries, 26747 fired transitions, 2415 secs || 26197 markings, 26196 edges, 11 markings/sec, 2415 secs
lola: 1 tries, 26803 fired transitions, 2420 secs || 26253 markings, 26252 edges, 11 markings/sec, 2420 secs
lola: 1 tries, 26859 fired transitions, 2425 secs || 26310 markings, 26309 edges, 11 markings/sec, 2425 secs
lola: 1 tries, 26915 fired transitions, 2430 secs || 26366 markings, 26365 edges, 11 markings/sec, 2430 secs
lola: 1 tries, 26972 fired transitions, 2435 secs || 26422 markings, 26421 edges, 11 markings/sec, 2435 secs
lola: 1 tries, 27030 fired transitions, 2440 secs || 26480 markings, 26479 edges, 12 markings/sec, 2440 secs
lola: 1 tries, 27087 fired transitions, 2445 secs || 26537 markings, 26536 edges, 11 markings/sec, 2445 secs
lola: 1 tries, 27144 fired transitions, 2450 secs || 26594 markings, 26593 edges, 11 markings/sec, 2450 secs
lola: 1 tries, 27201 fired transitions, 2455 secs || 26651 markings, 26650 edges, 11 markings/sec, 2455 secs
lola: 1 tries, 27259 fired transitions, 2460 secs || 26709 markings, 26708 edges, 12 markings/sec, 2460 secs
lola: 1 tries, 27316 fired transitions, 2465 secs || 26766 markings, 26765 edges, 11 markings/sec, 2465 secs
lola: 1 tries, 27373 fired transitions, 2470 secs || 26823 markings, 26822 edges, 11 markings/sec, 2470 secs
lola: 1 tries, 27430 fired transitions, 2475 secs || 26880 markings, 26879 edges, 11 markings/sec, 2475 secs
lola: 1 tries, 27487 fired transitions, 2480 secs || 26937 markings, 26936 edges, 11 markings/sec, 2480 secs
lola: 1 tries, 27544 fired transitions, 2485 secs || 26995 markings, 26994 edges, 12 markings/sec, 2485 secs
lola: 1 tries, 27599 fired transitions, 2490 secs || 27050 markings, 27049 edges, 11 markings/sec, 2490 secs
lola: 1 tries, 27654 fired transitions, 2495 secs || 27105 markings, 27104 edges, 11 markings/sec, 2495 secs
lola: 1 tries, 27706 fired transitions, 2500 secs || 27161 markings, 27160 edges, 11 markings/sec, 2500 secs
lola: 1 tries, 27761 fired transitions, 2505 secs || 27216 markings, 27215 edges, 11 markings/sec, 2505 secs
lola: 1 tries, 27817 fired transitions, 2510 secs || 27272 markings, 27271 edges, 11 markings/sec, 2510 secs
lola: 1 tries, 27874 fired transitions, 2515 secs || 27329 markings, 27328 edges, 11 markings/sec, 2515 secs
lola: 1 tries, 27931 fired transitions, 2520 secs || 27385 markings, 27384 edges, 11 markings/sec, 2520 secs
lola: 1 tries, 27987 fired transitions, 2525 secs || 27441 markings, 27440 edges, 11 markings/sec, 2525 secs
lola: 1 tries, 28043 fired transitions, 2530 secs || 27496 markings, 27495 edges, 11 markings/sec, 2530 secs
lola: 1 tries, 28100 fired transitions, 2535 secs || 27552 markings, 27551 edges, 11 markings/sec, 2535 secs
lola: 1 tries, 28157 fired transitions, 2540 secs || 27607 markings, 27606 edges, 11 markings/sec, 2540 secs
lola: 1 tries, 28213 fired transitions, 2545 secs || 27663 markings, 27662 edges, 11 markings/sec, 2545 secs
lola: 1 tries, 28268 fired transitions, 2550 secs || 27719 markings, 27718 edges, 11 markings/sec, 2550 secs
lola: 1 tries, 28325 fired transitions, 2555 secs || 27776 markings, 27775 edges, 11 markings/sec, 2555 secs
lola: 1 tries, 28379 fired transitions, 2560 secs || 27832 markings, 27831 edges, 11 markings/sec, 2560 secs
lola: 1 tries, 28433 fired transitions, 2565 secs || 27886 markings, 27885 edges, 11 markings/sec, 2565 secs
lola: 1 tries, 28487 fired transitions, 2570 secs || 27942 markings, 27941 edges, 11 markings/sec, 2570 secs
lola: 1 tries, 28541 fired transitions, 2575 secs || 27997 markings, 27996 edges, 11 markings/sec, 2575 secs
lola: 1 tries, 28595 fired transitions, 2580 secs || 28052 markings, 28051 edges, 11 markings/sec, 2580 secs
lola: 1 tries, 28649 fired transitions, 2585 secs || 28107 markings, 28106 edges, 11 markings/sec, 2585 secs
lola: 1 tries, 28704 fired transitions, 2590 secs || 28163 markings, 28162 edges, 11 markings/sec, 2590 secs
lola: 1 tries, 28758 fired transitions, 2595 secs || 28219 markings, 28218 edges, 11 markings/sec, 2595 secs
lola: 1 tries, 28814 fired transitions, 2600 secs || 28276 markings, 28275 edges, 11 markings/sec, 2600 secs
lola: 1 tries, 28870 fired transitions, 2605 secs || 28334 markings, 28333 edges, 12 markings/sec, 2605 secs
lola: 1 tries, 28926 fired transitions, 2610 secs || 28390 markings, 28389 edges, 11 markings/sec, 2610 secs
lola: 1 tries, 28982 fired transitions, 2615 secs || 28447 markings, 28446 edges, 11 markings/sec, 2615 secs
lola: 1 tries, 29037 fired transitions, 2620 secs || 28501 markings, 28500 edges, 11 markings/sec, 2620 secs
lola: 1 tries, 29095 fired transitions, 2625 secs || 28558 markings, 28557 edges, 11 markings/sec, 2625 secs
lola: 1 tries, 29151 fired transitions, 2630 secs || 28613 markings, 28612 edges, 11 markings/sec, 2630 secs
lola: 1 tries, 29208 fired transitions, 2635 secs || 28668 markings, 28667 edges, 11 markings/sec, 2635 secs
lola: 1 tries, 29265 fired transitions, 2640 secs || 28724 markings, 28723 edges, 11 markings/sec, 2640 secs
lola: 1 tries, 29323 fired transitions, 2645 secs || 28782 markings, 28781 edges, 12 markings/sec, 2645 secs
lola: 1 tries, 29381 fired transitions, 2650 secs || 28840 markings, 28839 edges, 12 markings/sec, 2650 secs
lola: 1 tries, 29440 fired transitions, 2655 secs || 28899 markings, 28898 edges, 12 markings/sec, 2655 secs
lola: 1 tries, 29499 fired transitions, 2660 secs || 28958 markings, 28957 edges, 12 markings/sec, 2660 secs
lola: 1 tries, 29557 fired transitions, 2665 secs || 29017 markings, 29016 edges, 12 markings/sec, 2665 secs
lola: 1 tries, 29616 fired transitions, 2670 secs || 29075 markings, 29074 edges, 12 markings/sec, 2670 secs
lola: 1 tries, 29674 fired transitions, 2675 secs || 29133 markings, 29132 edges, 12 markings/sec, 2675 secs
lola: 1 tries, 29732 fired transitions, 2680 secs || 29191 markings, 29190 edges, 12 markings/sec, 2680 secs
lola: 1 tries, 29790 fired transitions, 2685 secs || 29248 markings, 29247 edges, 11 markings/sec, 2685 secs
lola: 1 tries, 29848 fired transitions, 2690 secs || 29306 markings, 29305 edges, 12 markings/sec, 2690 secs
lola: 1 tries, 29907 fired transitions, 2695 secs || 29365 markings, 29364 edges, 12 markings/sec, 2695 secs
lola: 1 tries, 29965 fired transitions, 2700 secs || 29423 markings, 29422 edges, 12 markings/sec, 2700 secs
lola: 1 tries, 30023 fired transitions, 2705 secs || 29481 markings, 29480 edges, 12 markings/sec, 2705 secs
lola: 1 tries, 30081 fired transitions, 2710 secs || 29539 markings, 29538 edges, 12 markings/sec, 2710 secs
lola: 1 tries, 30139 fired transitions, 2715 secs || 29597 markings, 29596 edges, 12 markings/sec, 2715 secs
lola: 1 tries, 30197 fired transitions, 2720 secs || 29655 markings, 29654 edges, 12 markings/sec, 2720 secs
lola: 1 tries, 30256 fired transitions, 2725 secs || 29714 markings, 29713 edges, 12 markings/sec, 2725 secs
lola: 1 tries, 30316 fired transitions, 2730 secs || 29774 markings, 29773 edges, 12 markings/sec, 2730 secs
lola: 1 tries, 30375 fired transitions, 2735 secs || 29833 markings, 29832 edges, 12 markings/sec, 2735 secs
lola: 1 tries, 30433 fired transitions, 2740 secs || 29891 markings, 29890 edges, 12 markings/sec, 2740 secs
lola: 1 tries, 30491 fired transitions, 2745 secs || 29949 markings, 29948 edges, 12 markings/sec, 2745 secs
lola: 1 tries, 30549 fired transitions, 2750 secs || 30007 markings, 30006 edges, 12 markings/sec, 2750 secs
lola: 1 tries, 30608 fired transitions, 2755 secs || 30066 markings, 30065 edges, 12 markings/sec, 2755 secs
lola: 1 tries, 30669 fired transitions, 2760 secs || 30127 markings, 30126 edges, 12 markings/sec, 2760 secs
lola: 1 tries, 30730 fired transitions, 2765 secs || 30188 markings, 30187 edges, 12 markings/sec, 2765 secs
lola: 1 tries, 30790 fired transitions, 2770 secs || 30248 markings, 30247 edges, 12 markings/sec, 2770 secs
lola: 1 tries, 30849 fired transitions, 2775 secs || 30307 markings, 30306 edges, 12 markings/sec, 2775 secs
lola: 1 tries, 30907 fired transitions, 2780 secs || 30365 markings, 30364 edges, 12 markings/sec, 2780 secs
lola: 1 tries, 30965 fired transitions, 2785 secs || 30423 markings, 30422 edges, 12 markings/sec, 2785 secs
lola: 1 tries, 31023 fired transitions, 2790 secs || 30481 markings, 30480 edges, 12 markings/sec, 2790 secs
lola: 1 tries, 31083 fired transitions, 2795 secs || 30541 markings, 30540 edges, 12 markings/sec, 2795 secs
lola: 1 tries, 31141 fired transitions, 2800 secs || 30599 markings, 30598 edges, 12 markings/sec, 2800 secs
lola: 1 tries, 31199 fired transitions, 2805 secs || 30657 markings, 30656 edges, 12 markings/sec, 2805 secs
lola: 1 tries, 31257 fired transitions, 2810 secs || 30715 markings, 30714 edges, 12 markings/sec, 2810 secs
lola: 1 tries, 31315 fired transitions, 2815 secs || 30773 markings, 30772 edges, 12 markings/sec, 2815 secs
lola: 1 tries, 31373 fired transitions, 2820 secs || 30831 markings, 30830 edges, 12 markings/sec, 2820 secs
lola: 1 tries, 31432 fired transitions, 2825 secs || 30890 markings, 30889 edges, 12 markings/sec, 2825 secs
lola: 1 tries, 31490 fired transitions, 2830 secs || 30948 markings, 30947 edges, 12 markings/sec, 2830 secs
lola: 1 tries, 31548 fired transitions, 2835 secs || 31006 markings, 31005 edges, 12 markings/sec, 2835 secs
lola: 1 tries, 31606 fired transitions, 2840 secs || 31064 markings, 31063 edges, 12 markings/sec, 2840 secs
lola: 1 tries, 31664 fired transitions, 2845 secs || 31122 markings, 31121 edges, 12 markings/sec, 2845 secs
lola: 1 tries, 31722 fired transitions, 2850 secs || 31180 markings, 31179 edges, 12 markings/sec, 2850 secs
lola: 1 tries, 31780 fired transitions, 2855 secs || 31238 markings, 31237 edges, 12 markings/sec, 2855 secs
lola: 1 tries, 31838 fired transitions, 2860 secs || 31296 markings, 31295 edges, 12 markings/sec, 2860 secs
lola: 1 tries, 31896 fired transitions, 2865 secs || 31354 markings, 31353 edges, 12 markings/sec, 2865 secs
lola: 1 tries, 31954 fired transitions, 2870 secs || 31412 markings, 31411 edges, 12 markings/sec, 2870 secs
lola: 1 tries, 32013 fired transitions, 2875 secs || 31471 markings, 31470 edges, 12 markings/sec, 2875 secs
lola: 1 tries, 32071 fired transitions, 2880 secs || 31529 markings, 31528 edges, 12 markings/sec, 2880 secs
lola: 1 tries, 32130 fired transitions, 2885 secs || 31588 markings, 31587 edges, 12 markings/sec, 2885 secs
lola: 1 tries, 32187 fired transitions, 2890 secs || 31645 markings, 31644 edges, 11 markings/sec, 2890 secs
lola: 1 tries, 32245 fired transitions, 2895 secs || 31703 markings, 31702 edges, 12 markings/sec, 2895 secs
lola: 1 tries, 32303 fired transitions, 2900 secs || 31761 markings, 31760 edges, 12 markings/sec, 2900 secs
lola: 1 tries, 32361 fired transitions, 2905 secs || 31819 markings, 31818 edges, 12 markings/sec, 2905 secs
lola: 1 tries, 32419 fired transitions, 2910 secs || 31877 markings, 31876 edges, 12 markings/sec, 2910 secs
lola: 1 tries, 32477 fired transitions, 2915 secs || 31935 markings, 31934 edges, 12 markings/sec, 2915 secs
lola: 1 tries, 32535 fired transitions, 2920 secs || 31993 markings, 31992 edges, 12 markings/sec, 2920 secs
lola: 1 tries, 32593 fired transitions, 2925 secs || 32051 markings, 32050 edges, 12 markings/sec, 2925 secs
lola: 1 tries, 32652 fired transitions, 2930 secs || 32110 markings, 32109 edges, 12 markings/sec, 2930 secs
lola: 1 tries, 32710 fired transitions, 2935 secs || 32168 markings, 32167 edges, 12 markings/sec, 2935 secs
lola: 1 tries, 32767 fired transitions, 2940 secs || 32225 markings, 32224 edges, 11 markings/sec, 2940 secs
lola: 1 tries, 32825 fired transitions, 2945 secs || 32283 markings, 32282 edges, 12 markings/sec, 2945 secs
lola: 1 tries, 32883 fired transitions, 2950 secs || 32340 markings, 32339 edges, 11 markings/sec, 2950 secs
lola: 1 tries, 32941 fired transitions, 2955 secs || 32399 markings, 32398 edges, 12 markings/sec, 2955 secs
lola: 1 tries, 32999 fired transitions, 2960 secs || 32457 markings, 32456 edges, 12 markings/sec, 2960 secs
lola: 1 tries, 33057 fired transitions, 2965 secs || 32515 markings, 32514 edges, 12 markings/sec, 2965 secs
lola: 1 tries, 33116 fired transitions, 2970 secs || 32574 markings, 32573 edges, 12 markings/sec, 2970 secs
lola: 1 tries, 33174 fired transitions, 2975 secs || 32632 markings, 32631 edges, 12 markings/sec, 2975 secs
lola: 1 tries, 33232 fired transitions, 2980 secs || 32690 markings, 32689 edges, 12 markings/sec, 2980 secs
lola: 1 tries, 33290 fired transitions, 2985 secs || 32748 markings, 32747 edges, 12 markings/sec, 2985 secs
lola: 1 tries, 33349 fired transitions, 2990 secs || 32807 markings, 32806 edges, 12 markings/sec, 2990 secs
lola: 1 tries, 33407 fired transitions, 2995 secs || 32865 markings, 32864 edges, 12 markings/sec, 2995 secs
lola: 1 tries, 33465 fired transitions, 3000 secs || 32923 markings, 32922 edges, 12 markings/sec, 3000 secs
lola: 1 tries, 33524 fired transitions, 3005 secs || 32982 markings, 32981 edges, 12 markings/sec, 3005 secs
lola: 1 tries, 33582 fired transitions, 3010 secs || 33040 markings, 33039 edges, 12 markings/sec, 3010 secs
lola: 1 tries, 33641 fired transitions, 3015 secs || 33099 markings, 33098 edges, 12 markings/sec, 3015 secs
lola: 1 tries, 33701 fired transitions, 3020 secs || 33159 markings, 33158 edges, 12 markings/sec, 3020 secs
lola: 1 tries, 33759 fired transitions, 3025 secs || 33217 markings, 33216 edges, 12 markings/sec, 3025 secs
lola: 1 tries, 33818 fired transitions, 3030 secs || 33276 markings, 33275 edges, 12 markings/sec, 3030 secs
lola: 1 tries, 33876 fired transitions, 3035 secs || 33334 markings, 33333 edges, 12 markings/sec, 3035 secs
lola: 1 tries, 33935 fired transitions, 3040 secs || 33393 markings, 33392 edges, 12 markings/sec, 3040 secs
lola: 1 tries, 33995 fired transitions, 3045 secs || 33453 markings, 33452 edges, 12 markings/sec, 3045 secs
lola: 1 tries, 34056 fired transitions, 3050 secs || 33514 markings, 33513 edges, 12 markings/sec, 3050 secs
lola: 1 tries, 34117 fired transitions, 3055 secs || 33575 markings, 33574 edges, 12 markings/sec, 3055 secs
lola: 1 tries, 34177 fired transitions, 3060 secs || 33635 markings, 33634 edges, 12 markings/sec, 3060 secs
lola: 1 tries, 34238 fired transitions, 3065 secs || 33696 markings, 33695 edges, 12 markings/sec, 3065 secs
lola: 1 tries, 34296 fired transitions, 3070 secs || 33754 markings, 33753 edges, 12 markings/sec, 3070 secs
lola: 1 tries, 34355 fired transitions, 3075 secs || 33813 markings, 33812 edges, 12 markings/sec, 3075 secs
lola: 1 tries, 34413 fired transitions, 3080 secs || 33871 markings, 33870 edges, 12 markings/sec, 3080 secs
lola: 1 tries, 34471 fired transitions, 3085 secs || 33929 markings, 33928 edges, 12 markings/sec, 3085 secs
lola: 1 tries, 34529 fired transitions, 3090 secs || 33987 markings, 33986 edges, 12 markings/sec, 3090 secs
lola: 1 tries, 34587 fired transitions, 3095 secs || 34045 markings, 34044 edges, 12 markings/sec, 3095 secs
lola: 1 tries, 34645 fired transitions, 3100 secs || 34103 markings, 34102 edges, 12 markings/sec, 3100 secs
lola: 1 tries, 34702 fired transitions, 3105 secs || 34160 markings, 34159 edges, 11 markings/sec, 3105 secs
lola: 1 tries, 34760 fired transitions, 3110 secs || 34218 markings, 34217 edges, 12 markings/sec, 3110 secs
lola: 1 tries, 34819 fired transitions, 3115 secs || 34277 markings, 34276 edges, 12 markings/sec, 3115 secs
lola: 1 tries, 34877 fired transitions, 3120 secs || 34335 markings, 34334 edges, 12 markings/sec, 3120 secs
lola: 1 tries, 34935 fired transitions, 3125 secs || 34393 markings, 34392 edges, 12 markings/sec, 3125 secs
lola: 1 tries, 34993 fired transitions, 3130 secs || 34451 markings, 34450 edges, 12 markings/sec, 3130 secs
lola: 1 tries, 35051 fired transitions, 3135 secs || 34509 markings, 34508 edges, 12 markings/sec, 3135 secs
lola: 1 tries, 35109 fired transitions, 3140 secs || 34567 markings, 34566 edges, 12 markings/sec, 3140 secs
lola: 1 tries, 35168 fired transitions, 3145 secs || 34626 markings, 34625 edges, 12 markings/sec, 3145 secs
lola: 1 tries, 35226 fired transitions, 3150 secs || 34684 markings, 34683 edges, 12 markings/sec, 3150 secs
lola: 1 tries, 35284 fired transitions, 3155 secs || 34742 markings, 34741 edges, 12 markings/sec, 3155 secs
lola: 1 tries, 35342 fired transitions, 3160 secs || 34800 markings, 34799 edges, 12 markings/sec, 3160 secs
lola: 1 tries, 35400 fired transitions, 3165 secs || 34858 markings, 34857 edges, 12 markings/sec, 3165 secs
lola: 1 tries, 35459 fired transitions, 3170 secs || 34917 markings, 34916 edges, 12 markings/sec, 3170 secs
lola: 1 tries, 35517 fired transitions, 3175 secs || 34975 markings, 34974 edges, 12 markings/sec, 3175 secs
lola: 1 tries, 35575 fired transitions, 3180 secs || 35033 markings, 35032 edges, 12 markings/sec, 3180 secs
lola: 1 tries, 35633 fired transitions, 3185 secs || 35091 markings, 35090 edges, 12 markings/sec, 3185 secs
lola: 1 tries, 35692 fired transitions, 3190 secs || 35150 markings, 35149 edges, 12 markings/sec, 3190 secs
lola: 1 tries, 35750 fired transitions, 3195 secs || 35208 markings, 35207 edges, 12 markings/sec, 3195 secs
lola: 1 tries, 35808 fired transitions, 3200 secs || 35266 markings, 35265 edges, 12 markings/sec, 3200 secs
lola: 1 tries, 35866 fired transitions, 3205 secs || 35324 markings, 35323 edges, 12 markings/sec, 3205 secs
lola: 1 tries, 35924 fired transitions, 3210 secs || 35382 markings, 35381 edges, 12 markings/sec, 3210 secs
lola: 1 tries, 35982 fired transitions, 3215 secs || 35440 markings, 35439 edges, 12 markings/sec, 3215 secs
lola: 1 tries, 36041 fired transitions, 3220 secs || 35499 markings, 35498 edges, 12 markings/sec, 3220 secs
lola: 1 tries, 36100 fired transitions, 3225 secs || 35558 markings, 35557 edges, 12 markings/sec, 3225 secs
lola: 1 tries, 36159 fired transitions, 3230 secs || 35617 markings, 35616 edges, 12 markings/sec, 3230 secs
lola: 1 tries, 36219 fired transitions, 3235 secs || 35677 markings, 35676 edges, 12 markings/sec, 3235 secs
lola: 1 tries, 36278 fired transitions, 3240 secs || 35736 markings, 35735 edges, 12 markings/sec, 3240 secs
lola: 1 tries, 36338 fired transitions, 3245 secs || 35796 markings, 35795 edges, 12 markings/sec, 3245 secs
lola: 1 tries, 36397 fired transitions, 3250 secs || 35855 markings, 35854 edges, 12 markings/sec, 3250 secs
lola: 1 tries, 36456 fired transitions, 3255 secs || 35914 markings, 35913 edges, 12 markings/sec, 3255 secs
lola: 1 tries, 36515 fired transitions, 3260 secs || 35973 markings, 35972 edges, 12 markings/sec, 3260 secs
lola: 1 tries, 36575 fired transitions, 3265 secs || 36033 markings, 36032 edges, 12 markings/sec, 3265 secs
lola: time limit reached - aborting
Segmentation fault
rslt: finished
BK_STOP 1553926068524
--------------------
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="RERS17pb115-PT-5"
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 RERS17pb115-PT-5, 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 r126-oct2-155274853700516"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-5.tgz
mv RERS17pb115-PT-5 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 ;