About the Execution of LoLA for RERS17pb114-PT-6
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11928.510 | 3570564.00 | 6935608.00 | 361.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-155274853600444.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 RERS17pb114-PT-6, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-oct2-155274853600444
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.5K Feb 13 08:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 13 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 13 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K 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.6K 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.9K Feb 13 08:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 13 08:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 13 08:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 13 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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 73M 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 RERS17pb114-PT-6-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553919413874
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ RERS17pb114-PT-6 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ RERS17pb114-PT-6
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: 152531/268435456 symbol table entries, 7 collisions
lola: preprocessing...
lola: Size of bit vector: 1446
lola: finding significant places
lola: 1446 places, 151085 transitions, 1446 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: 0 generators; 1044735 candidates remain ( 0%), 0 secs
lola: 1 tries, 33 fired transitions, 0 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 5 secs
lola: 1 tries, 65 fired transitions, 5 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 10 secs
lola: 1 tries, 96 fired transitions, 10 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 15 secs
lola: 1 tries, 128 fired transitions, 15 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 20 secs
lola: 1 tries, 162 fired transitions, 20 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 25 secs
lola: 1 tries, 197 fired transitions, 25 secs
lola: 138 generators; 72395 candidates remain ( 0%), 30 secs
lola: 1 tries, 231 fired transitions, 30 secs
lola: computed 153 generators (17 in search tree, 136 by composition)
lola: representing 6.40237E+15 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 269 fired transitions, 35 secs || 32 markings, 45 edges, 6 markings/sec, 35 secs
lola: 1 tries, 310 fired transitions, 40 secs || 77 markings, 119 edges, 9 markings/sec, 40 secs
lola: 1 tries, 352 fired transitions, 45 secs || 122 markings, 197 edges, 9 markings/sec, 45 secs
lola: 1 tries, 395 fired transitions, 50 secs || 166 markings, 254 edges, 9 markings/sec, 50 secs
lola: 1 tries, 439 fired transitions, 55 secs || 211 markings, 317 edges, 9 markings/sec, 55 secs
lola: 1 tries, 483 fired transitions, 60 secs || 257 markings, 380 edges, 9 markings/sec, 60 secs
lola: 1 tries, 526 fired transitions, 65 secs || 302 markings, 436 edges, 9 markings/sec, 65 secs
lola: 1 tries, 568 fired transitions, 70 secs || 347 markings, 496 edges, 9 markings/sec, 70 secs
lola: 1 tries, 611 fired transitions, 75 secs || 392 markings, 575 edges, 9 markings/sec, 75 secs
lola: 1 tries, 653 fired transitions, 80 secs || 437 markings, 639 edges, 9 markings/sec, 80 secs
lola: 1 tries, 696 fired transitions, 85 secs || 483 markings, 719 edges, 9 markings/sec, 85 secs
lola: 1 tries, 738 fired transitions, 90 secs || 528 markings, 786 edges, 9 markings/sec, 90 secs
lola: 1 tries, 781 fired transitions, 95 secs || 574 markings, 852 edges, 9 markings/sec, 95 secs
lola: 1 tries, 824 fired transitions, 100 secs || 619 markings, 957 edges, 9 markings/sec, 100 secs
lola: 1 tries, 866 fired transitions, 105 secs || 665 markings, 1036 edges, 9 markings/sec, 105 secs
lola: 1 tries, 909 fired transitions, 110 secs || 711 markings, 1156 edges, 9 markings/sec, 110 secs
lola: 1 tries, 952 fired transitions, 115 secs || 756 markings, 1267 edges, 9 markings/sec, 115 secs
lola: 1 tries, 995 fired transitions, 120 secs || 802 markings, 1423 edges, 9 markings/sec, 120 secs
lola: 1 tries, 1038 fired transitions, 125 secs || 848 markings, 1710 edges, 9 markings/sec, 125 secs
lola: 1 tries, 1080 fired transitions, 130 secs || 893 markings, 1975 edges, 9 markings/sec, 130 secs
lola: 1 tries, 1122 fired transitions, 135 secs || 939 markings, 2291 edges, 9 markings/sec, 135 secs
lola: 1 tries, 1166 fired transitions, 140 secs || 985 markings, 2661 edges, 9 markings/sec, 140 secs
lola: 1 tries, 1208 fired transitions, 145 secs || 1030 markings, 3048 edges, 9 markings/sec, 145 secs
lola: 1 tries, 1251 fired transitions, 150 secs || 1076 markings, 3380 edges, 9 markings/sec, 150 secs
lola: 1 tries, 1293 fired transitions, 155 secs || 1122 markings, 3693 edges, 9 markings/sec, 155 secs
lola: 1 tries, 1336 fired transitions, 160 secs || 1168 markings, 3988 edges, 9 markings/sec, 160 secs
lola: 1 tries, 1378 fired transitions, 165 secs || 1213 markings, 4308 edges, 9 markings/sec, 165 secs
lola: 1 tries, 1421 fired transitions, 170 secs || 1259 markings, 4664 edges, 9 markings/sec, 170 secs
lola: 1 tries, 1463 fired transitions, 175 secs || 1304 markings, 4966 edges, 9 markings/sec, 175 secs
lola: 1 tries, 1504 fired transitions, 180 secs || 1350 markings, 5265 edges, 9 markings/sec, 180 secs
lola: 1 tries, 1545 fired transitions, 185 secs || 1396 markings, 5561 edges, 9 markings/sec, 185 secs
lola: 1 tries, 1584 fired transitions, 190 secs || 1438 markings, 5820 edges, 8 markings/sec, 190 secs
lola: 1 tries, 1615 fired transitions, 195 secs || 1473 markings, 6027 edges, 7 markings/sec, 195 secs
lola: 1 tries, 1655 fired transitions, 200 secs || 1518 markings, 6301 edges, 9 markings/sec, 200 secs
lola: 1 tries, 1696 fired transitions, 205 secs || 1564 markings, 6596 edges, 9 markings/sec, 205 secs
lola: 1 tries, 1728 fired transitions, 210 secs || 1598 markings, 6833 edges, 7 markings/sec, 210 secs
lola: 1 tries, 1750 fired transitions, 215 secs || 1620 markings, 6991 edges, 4 markings/sec, 215 secs
lola: 1 tries, 1772 fired transitions, 220 secs || 1642 markings, 7143 edges, 4 markings/sec, 220 secs
lola: 1 tries, 1794 fired transitions, 225 secs || 1664 markings, 7317 edges, 4 markings/sec, 225 secs
lola: 1 tries, 1816 fired transitions, 230 secs || 1686 markings, 7515 edges, 4 markings/sec, 230 secs
lola: 1 tries, 1838 fired transitions, 235 secs || 1708 markings, 7713 edges, 4 markings/sec, 235 secs
lola: 1 tries, 1860 fired transitions, 240 secs || 1731 markings, 7903 edges, 5 markings/sec, 240 secs
lola: 1 tries, 1882 fired transitions, 245 secs || 1753 markings, 8089 edges, 4 markings/sec, 245 secs
lola: 1 tries, 1904 fired transitions, 250 secs || 1775 markings, 8279 edges, 4 markings/sec, 250 secs
lola: 1 tries, 1927 fired transitions, 255 secs || 1799 markings, 8478 edges, 5 markings/sec, 255 secs
lola: 1 tries, 1968 fired transitions, 260 secs || 1845 markings, 8801 edges, 9 markings/sec, 260 secs
lola: 1 tries, 2009 fired transitions, 265 secs || 1890 markings, 9206 edges, 9 markings/sec, 265 secs
lola: 1 tries, 2050 fired transitions, 270 secs || 1936 markings, 9620 edges, 9 markings/sec, 270 secs
lola: 1 tries, 2085 fired transitions, 275 secs || 1978 markings, 9998 edges, 8 markings/sec, 275 secs
lola: 1 tries, 2109 fired transitions, 280 secs || 2001 markings, 10189 edges, 5 markings/sec, 280 secs
lola: 1 tries, 2132 fired transitions, 285 secs || 2025 markings, 10386 edges, 5 markings/sec, 285 secs
lola: 1 tries, 2156 fired transitions, 290 secs || 2049 markings, 10600 edges, 5 markings/sec, 290 secs
lola: 1 tries, 2179 fired transitions, 295 secs || 2073 markings, 10791 edges, 5 markings/sec, 295 secs
lola: 1 tries, 2216 fired transitions, 300 secs || 2114 markings, 11123 edges, 8 markings/sec, 300 secs
lola: 1 tries, 2255 fired transitions, 305 secs || 2159 markings, 11612 edges, 9 markings/sec, 305 secs
lola: 1 tries, 2279 fired transitions, 310 secs || 2183 markings, 11870 edges, 5 markings/sec, 310 secs
lola: 1 tries, 2301 fired transitions, 315 secs || 2206 markings, 12077 edges, 5 markings/sec, 315 secs
lola: 1 tries, 2341 fired transitions, 320 secs || 2251 markings, 12477 edges, 9 markings/sec, 320 secs
lola: 1 tries, 2382 fired transitions, 325 secs || 2298 markings, 12901 edges, 9 markings/sec, 325 secs
lola: 1 tries, 2422 fired transitions, 330 secs || 2346 markings, 13333 edges, 10 markings/sec, 330 secs
lola: 1 tries, 2463 fired transitions, 335 secs || 2390 markings, 13732 edges, 9 markings/sec, 335 secs
lola: 1 tries, 2502 fired transitions, 340 secs || 2435 markings, 14140 edges, 9 markings/sec, 340 secs
lola: 1 tries, 2544 fired transitions, 345 secs || 2483 markings, 14581 edges, 10 markings/sec, 345 secs
lola: 1 tries, 2585 fired transitions, 350 secs || 2530 markings, 14997 edges, 9 markings/sec, 350 secs
lola: 1 tries, 2627 fired transitions, 355 secs || 2577 markings, 15427 edges, 9 markings/sec, 355 secs
lola: 1 tries, 2668 fired transitions, 360 secs || 2624 markings, 15874 edges, 9 markings/sec, 360 secs
lola: 1 tries, 2708 fired transitions, 365 secs || 2671 markings, 16461 edges, 9 markings/sec, 365 secs
lola: 1 tries, 2748 fired transitions, 370 secs || 2712 markings, 16988 edges, 8 markings/sec, 370 secs
lola: 1 tries, 2789 fired transitions, 375 secs || 2750 markings, 17514 edges, 8 markings/sec, 375 secs
lola: 1 tries, 2828 fired transitions, 380 secs || 2796 markings, 18237 edges, 9 markings/sec, 380 secs
lola: 1 tries, 2870 fired transitions, 385 secs || 2841 markings, 18942 edges, 9 markings/sec, 385 secs
lola: 1 tries, 2915 fired transitions, 390 secs || 2881 markings, 19561 edges, 8 markings/sec, 390 secs
lola: 1 tries, 2961 fired transitions, 395 secs || 2922 markings, 20063 edges, 8 markings/sec, 395 secs
lola: 1 tries, 3002 fired transitions, 400 secs || 2968 markings, 20490 edges, 9 markings/sec, 400 secs
lola: 1 tries, 3043 fired transitions, 405 secs || 3016 markings, 20872 edges, 10 markings/sec, 405 secs
lola: 1 tries, 3083 fired transitions, 410 secs || 3063 markings, 21300 edges, 9 markings/sec, 410 secs
lola: 1 tries, 3123 fired transitions, 415 secs || 3111 markings, 21804 edges, 10 markings/sec, 415 secs
lola: 1 tries, 3163 fired transitions, 420 secs || 3158 markings, 22286 edges, 9 markings/sec, 420 secs
lola: 1 tries, 3203 fired transitions, 425 secs || 3206 markings, 22686 edges, 10 markings/sec, 425 secs
lola: 1 tries, 3243 fired transitions, 430 secs || 3254 markings, 22989 edges, 10 markings/sec, 430 secs
lola: 1 tries, 3284 fired transitions, 435 secs || 3302 markings, 23270 edges, 10 markings/sec, 435 secs
lola: 1 tries, 3324 fired transitions, 440 secs || 3350 markings, 23574 edges, 10 markings/sec, 440 secs
lola: 1 tries, 3365 fired transitions, 445 secs || 3399 markings, 23901 edges, 10 markings/sec, 445 secs
lola: 1 tries, 3405 fired transitions, 450 secs || 3447 markings, 24191 edges, 10 markings/sec, 450 secs
lola: 1 tries, 3445 fired transitions, 455 secs || 3495 markings, 24483 edges, 10 markings/sec, 455 secs
lola: 1 tries, 3486 fired transitions, 460 secs || 3544 markings, 24785 edges, 10 markings/sec, 460 secs
lola: 1 tries, 3527 fired transitions, 465 secs || 3593 markings, 25093 edges, 10 markings/sec, 465 secs
lola: 1 tries, 3563 fired transitions, 470 secs || 3637 markings, 25441 edges, 9 markings/sec, 470 secs
lola: 1 tries, 3601 fired transitions, 475 secs || 3681 markings, 25767 edges, 9 markings/sec, 475 secs
lola: 1 tries, 3640 fired transitions, 480 secs || 3729 markings, 26066 edges, 10 markings/sec, 480 secs
lola: 1 tries, 3679 fired transitions, 485 secs || 3777 markings, 26363 edges, 10 markings/sec, 485 secs
lola: 1 tries, 3719 fired transitions, 490 secs || 3825 markings, 26710 edges, 10 markings/sec, 490 secs
lola: 1 tries, 3758 fired transitions, 495 secs || 3873 markings, 27139 edges, 10 markings/sec, 495 secs
lola: 1 tries, 3797 fired transitions, 500 secs || 3921 markings, 27484 edges, 10 markings/sec, 500 secs
lola: 1 tries, 3837 fired transitions, 505 secs || 3969 markings, 27994 edges, 10 markings/sec, 505 secs
lola: 1 tries, 3876 fired transitions, 510 secs || 4017 markings, 28284 edges, 10 markings/sec, 510 secs
lola: 1 tries, 3915 fired transitions, 515 secs || 4065 markings, 28449 edges, 10 markings/sec, 515 secs
lola: 1 tries, 3954 fired transitions, 520 secs || 4112 markings, 28625 edges, 9 markings/sec, 520 secs
lola: 1 tries, 3994 fired transitions, 525 secs || 4160 markings, 28778 edges, 10 markings/sec, 525 secs
lola: 1 tries, 4033 fired transitions, 530 secs || 4208 markings, 28940 edges, 10 markings/sec, 530 secs
lola: 1 tries, 4072 fired transitions, 535 secs || 4255 markings, 29089 edges, 9 markings/sec, 535 secs
lola: 1 tries, 4112 fired transitions, 540 secs || 4304 markings, 29277 edges, 10 markings/sec, 540 secs
lola: 1 tries, 4152 fired transitions, 545 secs || 4351 markings, 29479 edges, 9 markings/sec, 545 secs
lola: 1 tries, 4177 fired transitions, 550 secs || 4378 markings, 29619 edges, 5 markings/sec, 550 secs
lola: 1 tries, 4199 fired transitions, 555 secs || 4401 markings, 29732 edges, 5 markings/sec, 555 secs
lola: 1 tries, 4222 fired transitions, 560 secs || 4424 markings, 29871 edges, 5 markings/sec, 560 secs
lola: 1 tries, 4246 fired transitions, 565 secs || 4448 markings, 30065 edges, 5 markings/sec, 565 secs
lola: 1 tries, 4269 fired transitions, 570 secs || 4472 markings, 30279 edges, 5 markings/sec, 570 secs
lola: 1 tries, 4292 fired transitions, 575 secs || 4496 markings, 30429 edges, 5 markings/sec, 575 secs
lola: 1 tries, 4317 fired transitions, 580 secs || 4520 markings, 30571 edges, 5 markings/sec, 580 secs
lola: 1 tries, 4358 fired transitions, 585 secs || 4569 markings, 30862 edges, 10 markings/sec, 585 secs
lola: 1 tries, 4392 fired transitions, 590 secs || 4606 markings, 31076 edges, 7 markings/sec, 590 secs
lola: 1 tries, 4415 fired transitions, 595 secs || 4630 markings, 31210 edges, 5 markings/sec, 595 secs
lola: 1 tries, 4438 fired transitions, 600 secs || 4653 markings, 31329 edges, 5 markings/sec, 600 secs
lola: 1 tries, 4461 fired transitions, 605 secs || 4676 markings, 31442 edges, 5 markings/sec, 605 secs
lola: 1 tries, 4484 fired transitions, 610 secs || 4700 markings, 31562 edges, 5 markings/sec, 610 secs
lola: 1 tries, 4507 fired transitions, 615 secs || 4724 markings, 31678 edges, 5 markings/sec, 615 secs
lola: 1 tries, 4530 fired transitions, 620 secs || 4748 markings, 31759 edges, 5 markings/sec, 620 secs
lola: 1 tries, 4553 fired transitions, 625 secs || 4771 markings, 31850 edges, 5 markings/sec, 625 secs
lola: 1 tries, 4576 fired transitions, 630 secs || 4795 markings, 31942 edges, 5 markings/sec, 630 secs
lola: 1 tries, 4599 fired transitions, 635 secs || 4818 markings, 32034 edges, 5 markings/sec, 635 secs
lola: 1 tries, 4621 fired transitions, 640 secs || 4841 markings, 32130 edges, 5 markings/sec, 640 secs
lola: 1 tries, 4645 fired transitions, 645 secs || 4865 markings, 32254 edges, 5 markings/sec, 645 secs
lola: 1 tries, 4668 fired transitions, 650 secs || 4888 markings, 32369 edges, 5 markings/sec, 650 secs
lola: 1 tries, 4691 fired transitions, 655 secs || 4912 markings, 32489 edges, 5 markings/sec, 655 secs
lola: 1 tries, 4714 fired transitions, 660 secs || 4935 markings, 32601 edges, 5 markings/sec, 660 secs
lola: 1 tries, 4737 fired transitions, 665 secs || 4959 markings, 32723 edges, 5 markings/sec, 665 secs
lola: 1 tries, 4761 fired transitions, 670 secs || 4983 markings, 32847 edges, 5 markings/sec, 670 secs
lola: 1 tries, 4784 fired transitions, 675 secs || 5007 markings, 32967 edges, 5 markings/sec, 675 secs
lola: 1 tries, 4807 fired transitions, 680 secs || 5030 markings, 33099 edges, 5 markings/sec, 680 secs
lola: 1 tries, 4829 fired transitions, 685 secs || 5053 markings, 33227 edges, 5 markings/sec, 685 secs
lola: 1 tries, 4852 fired transitions, 690 secs || 5076 markings, 33346 edges, 5 markings/sec, 690 secs
lola: 1 tries, 4875 fired transitions, 695 secs || 5100 markings, 33466 edges, 5 markings/sec, 695 secs
lola: 1 tries, 4897 fired transitions, 700 secs || 5123 markings, 33584 edges, 5 markings/sec, 700 secs
lola: 1 tries, 4920 fired transitions, 705 secs || 5146 markings, 33725 edges, 5 markings/sec, 705 secs
lola: 1 tries, 4943 fired transitions, 710 secs || 5169 markings, 33852 edges, 5 markings/sec, 710 secs
lola: 1 tries, 4965 fired transitions, 715 secs || 5193 markings, 33972 edges, 5 markings/sec, 715 secs
lola: 1 tries, 5003 fired transitions, 720 secs || 5227 markings, 34143 edges, 7 markings/sec, 720 secs
lola: 1 tries, 5046 fired transitions, 725 secs || 5274 markings, 34419 edges, 9 markings/sec, 725 secs
lola: 1 tries, 5087 fired transitions, 730 secs || 5320 markings, 34718 edges, 9 markings/sec, 730 secs
lola: 1 tries, 5127 fired transitions, 735 secs || 5366 markings, 35004 edges, 9 markings/sec, 735 secs
lola: 1 tries, 5168 fired transitions, 740 secs || 5411 markings, 35279 edges, 9 markings/sec, 740 secs
lola: 1 tries, 5209 fired transitions, 745 secs || 5457 markings, 35578 edges, 9 markings/sec, 745 secs
lola: 1 tries, 5250 fired transitions, 750 secs || 5503 markings, 35819 edges, 9 markings/sec, 750 secs
lola: 1 tries, 5287 fired transitions, 755 secs || 5541 markings, 35984 edges, 8 markings/sec, 755 secs
lola: 1 tries, 5330 fired transitions, 760 secs || 5586 markings, 36196 edges, 9 markings/sec, 760 secs
lola: 1 tries, 5373 fired transitions, 765 secs || 5631 markings, 36377 edges, 9 markings/sec, 765 secs
lola: 1 tries, 5415 fired transitions, 770 secs || 5676 markings, 36604 edges, 9 markings/sec, 770 secs
lola: 1 tries, 5458 fired transitions, 775 secs || 5722 markings, 36842 edges, 9 markings/sec, 775 secs
lola: 1 tries, 5501 fired transitions, 780 secs || 5769 markings, 37105 edges, 9 markings/sec, 780 secs
lola: 1 tries, 5544 fired transitions, 785 secs || 5815 markings, 37339 edges, 9 markings/sec, 785 secs
lola: 1 tries, 5587 fired transitions, 790 secs || 5862 markings, 37552 edges, 9 markings/sec, 790 secs
lola: 1 tries, 5629 fired transitions, 795 secs || 5908 markings, 37772 edges, 9 markings/sec, 795 secs
lola: 1 tries, 5673 fired transitions, 800 secs || 5954 markings, 38029 edges, 9 markings/sec, 800 secs
lola: 1 tries, 5707 fired transitions, 805 secs || 5991 markings, 38188 edges, 7 markings/sec, 805 secs
lola: 1 tries, 5729 fired transitions, 810 secs || 6014 markings, 38280 edges, 5 markings/sec, 810 secs
lola: 1 tries, 5751 fired transitions, 815 secs || 6036 markings, 38398 edges, 4 markings/sec, 815 secs
lola: 1 tries, 5772 fired transitions, 820 secs || 6058 markings, 38564 edges, 4 markings/sec, 820 secs
lola: 1 tries, 5798 fired transitions, 825 secs || 6085 markings, 38702 edges, 5 markings/sec, 825 secs
lola: 1 tries, 5819 fired transitions, 830 secs || 6107 markings, 38790 edges, 4 markings/sec, 830 secs
lola: 1 tries, 5841 fired transitions, 835 secs || 6130 markings, 38879 edges, 5 markings/sec, 835 secs
lola: 1 tries, 5862 fired transitions, 840 secs || 6152 markings, 38959 edges, 4 markings/sec, 840 secs
lola: 1 tries, 5884 fired transitions, 845 secs || 6174 markings, 39034 edges, 4 markings/sec, 845 secs
lola: 1 tries, 5906 fired transitions, 850 secs || 6196 markings, 39120 edges, 4 markings/sec, 850 secs
lola: 1 tries, 5927 fired transitions, 855 secs || 6219 markings, 39206 edges, 5 markings/sec, 855 secs
lola: 1 tries, 5949 fired transitions, 860 secs || 6241 markings, 39302 edges, 4 markings/sec, 860 secs
lola: 1 tries, 5971 fired transitions, 865 secs || 6263 markings, 39397 edges, 4 markings/sec, 865 secs
lola: 1 tries, 5992 fired transitions, 870 secs || 6284 markings, 39493 edges, 4 markings/sec, 870 secs
lola: 1 tries, 6013 fired transitions, 875 secs || 6306 markings, 39597 edges, 4 markings/sec, 875 secs
lola: 1 tries, 6035 fired transitions, 880 secs || 6328 markings, 39708 edges, 4 markings/sec, 880 secs
lola: 1 tries, 6057 fired transitions, 885 secs || 6350 markings, 39840 edges, 4 markings/sec, 885 secs
lola: 1 tries, 6079 fired transitions, 890 secs || 6373 markings, 39975 edges, 5 markings/sec, 890 secs
lola: 1 tries, 6101 fired transitions, 895 secs || 6396 markings, 40093 edges, 5 markings/sec, 895 secs
lola: 1 tries, 6123 fired transitions, 900 secs || 6418 markings, 40181 edges, 4 markings/sec, 900 secs
lola: 1 tries, 6144 fired transitions, 905 secs || 6440 markings, 40269 edges, 4 markings/sec, 905 secs
lola: 1 tries, 6166 fired transitions, 910 secs || 6462 markings, 40367 edges, 4 markings/sec, 910 secs
lola: 1 tries, 6188 fired transitions, 915 secs || 6485 markings, 40473 edges, 5 markings/sec, 915 secs
lola: 1 tries, 6210 fired transitions, 920 secs || 6507 markings, 40583 edges, 4 markings/sec, 920 secs
lola: 1 tries, 6231 fired transitions, 925 secs || 6529 markings, 40693 edges, 4 markings/sec, 925 secs
lola: 1 tries, 6253 fired transitions, 930 secs || 6551 markings, 40803 edges, 4 markings/sec, 930 secs
lola: 1 tries, 6275 fired transitions, 935 secs || 6574 markings, 40918 edges, 5 markings/sec, 935 secs
lola: 1 tries, 6297 fired transitions, 940 secs || 6596 markings, 41028 edges, 4 markings/sec, 940 secs
lola: 1 tries, 6318 fired transitions, 945 secs || 6618 markings, 41151 edges, 4 markings/sec, 945 secs
lola: 1 tries, 6340 fired transitions, 950 secs || 6641 markings, 41265 edges, 5 markings/sec, 950 secs
lola: 1 tries, 6362 fired transitions, 955 secs || 6663 markings, 41375 edges, 4 markings/sec, 955 secs
lola: 1 tries, 6384 fired transitions, 960 secs || 6685 markings, 41481 edges, 4 markings/sec, 960 secs
lola: 1 tries, 6405 fired transitions, 965 secs || 6707 markings, 41586 edges, 4 markings/sec, 965 secs
lola: 1 tries, 6427 fired transitions, 970 secs || 6730 markings, 41701 edges, 5 markings/sec, 970 secs
lola: 1 tries, 6449 fired transitions, 975 secs || 6752 markings, 41797 edges, 4 markings/sec, 975 secs
lola: 1 tries, 6471 fired transitions, 980 secs || 6774 markings, 41885 edges, 4 markings/sec, 980 secs
lola: 1 tries, 6493 fired transitions, 985 secs || 6797 markings, 41977 edges, 5 markings/sec, 985 secs
lola: 1 tries, 6515 fired transitions, 990 secs || 6819 markings, 42065 edges, 4 markings/sec, 990 secs
lola: 1 tries, 6537 fired transitions, 995 secs || 6842 markings, 42157 edges, 5 markings/sec, 995 secs
lola: 1 tries, 6560 fired transitions, 1000 secs || 6864 markings, 42230 edges, 4 markings/sec, 1000 secs
lola: 1 tries, 6581 fired transitions, 1005 secs || 6886 markings, 42296 edges, 4 markings/sec, 1005 secs
lola: 1 tries, 6603 fired transitions, 1010 secs || 6909 markings, 42365 edges, 5 markings/sec, 1010 secs
lola: 1 tries, 6625 fired transitions, 1015 secs || 6931 markings, 42434 edges, 4 markings/sec, 1015 secs
lola: 1 tries, 6648 fired transitions, 1020 secs || 6954 markings, 42526 edges, 5 markings/sec, 1020 secs
lola: 1 tries, 6670 fired transitions, 1025 secs || 6976 markings, 42614 edges, 4 markings/sec, 1025 secs
lola: 1 tries, 6692 fired transitions, 1030 secs || 6999 markings, 42681 edges, 5 markings/sec, 1030 secs
lola: 1 tries, 6714 fired transitions, 1035 secs || 7021 markings, 42751 edges, 4 markings/sec, 1035 secs
lola: 1 tries, 6735 fired transitions, 1040 secs || 7043 markings, 42838 edges, 4 markings/sec, 1040 secs
lola: 1 tries, 6758 fired transitions, 1045 secs || 7066 markings, 42930 edges, 5 markings/sec, 1045 secs
lola: 1 tries, 6780 fired transitions, 1050 secs || 7088 markings, 43018 edges, 4 markings/sec, 1050 secs
lola: 1 tries, 6803 fired transitions, 1055 secs || 7112 markings, 43113 edges, 5 markings/sec, 1055 secs
lola: 1 tries, 6827 fired transitions, 1060 secs || 7136 markings, 43217 edges, 5 markings/sec, 1060 secs
lola: 1 tries, 6850 fired transitions, 1065 secs || 7159 markings, 43304 edges, 5 markings/sec, 1065 secs
lola: 1 tries, 6873 fired transitions, 1070 secs || 7183 markings, 43416 edges, 5 markings/sec, 1070 secs
lola: 1 tries, 6897 fired transitions, 1075 secs || 7207 markings, 43522 edges, 5 markings/sec, 1075 secs
lola: 1 tries, 6920 fired transitions, 1080 secs || 7231 markings, 43604 edges, 5 markings/sec, 1080 secs
lola: 1 tries, 6944 fired transitions, 1085 secs || 7254 markings, 43700 edges, 5 markings/sec, 1085 secs
lola: 1 tries, 6968 fired transitions, 1090 secs || 7278 markings, 43761 edges, 5 markings/sec, 1090 secs
lola: 1 tries, 6990 fired transitions, 1095 secs || 7300 markings, 43836 edges, 4 markings/sec, 1095 secs
lola: 1 tries, 7013 fired transitions, 1100 secs || 7323 markings, 43928 edges, 5 markings/sec, 1100 secs
lola: 1 tries, 7035 fired transitions, 1105 secs || 7345 markings, 44008 edges, 4 markings/sec, 1105 secs
lola: 1 tries, 7057 fired transitions, 1110 secs || 7367 markings, 44147 edges, 4 markings/sec, 1110 secs
lola: 1 tries, 7080 fired transitions, 1115 secs || 7390 markings, 44296 edges, 5 markings/sec, 1115 secs
lola: 1 tries, 7102 fired transitions, 1120 secs || 7412 markings, 44435 edges, 4 markings/sec, 1120 secs
lola: 1 tries, 7125 fired transitions, 1125 secs || 7435 markings, 44587 edges, 5 markings/sec, 1125 secs
lola: 1 tries, 7147 fired transitions, 1130 secs || 7457 markings, 44732 edges, 4 markings/sec, 1130 secs
lola: 1 tries, 7169 fired transitions, 1135 secs || 7480 markings, 44893 edges, 5 markings/sec, 1135 secs
lola: 1 tries, 7192 fired transitions, 1140 secs || 7503 markings, 45048 edges, 5 markings/sec, 1140 secs
lola: 1 tries, 7216 fired transitions, 1145 secs || 7527 markings, 45204 edges, 5 markings/sec, 1145 secs
lola: 1 tries, 7245 fired transitions, 1150 secs || 7559 markings, 45392 edges, 6 markings/sec, 1150 secs
lola: 1 tries, 7269 fired transitions, 1155 secs || 7585 markings, 45562 edges, 5 markings/sec, 1155 secs
lola: 1 tries, 7293 fired transitions, 1160 secs || 7609 markings, 45688 edges, 5 markings/sec, 1160 secs
lola: 1 tries, 7317 fired transitions, 1165 secs || 7633 markings, 45853 edges, 5 markings/sec, 1165 secs
lola: 1 tries, 7341 fired transitions, 1170 secs || 7657 markings, 46009 edges, 5 markings/sec, 1170 secs
lola: 1 tries, 7365 fired transitions, 1175 secs || 7681 markings, 46174 edges, 5 markings/sec, 1175 secs
lola: 1 tries, 7389 fired transitions, 1180 secs || 7705 markings, 46336 edges, 5 markings/sec, 1180 secs
lola: 1 tries, 7413 fired transitions, 1185 secs || 7729 markings, 46492 edges, 5 markings/sec, 1185 secs
lola: 1 tries, 7437 fired transitions, 1190 secs || 7753 markings, 46644 edges, 5 markings/sec, 1190 secs
lola: 1 tries, 7461 fired transitions, 1195 secs || 7778 markings, 46864 edges, 5 markings/sec, 1195 secs
lola: 1 tries, 7485 fired transitions, 1200 secs || 7801 markings, 47071 edges, 5 markings/sec, 1200 secs
lola: 1 tries, 7509 fired transitions, 1205 secs || 7825 markings, 47287 edges, 5 markings/sec, 1205 secs
lola: 1 tries, 7533 fired transitions, 1210 secs || 7849 markings, 47493 edges, 5 markings/sec, 1210 secs
lola: 1 tries, 7557 fired transitions, 1215 secs || 7873 markings, 47704 edges, 5 markings/sec, 1215 secs
lola: 1 tries, 7581 fired transitions, 1220 secs || 7897 markings, 47919 edges, 5 markings/sec, 1220 secs
lola: 1 tries, 7605 fired transitions, 1225 secs || 7921 markings, 48094 edges, 5 markings/sec, 1225 secs
lola: 1 tries, 7629 fired transitions, 1230 secs || 7945 markings, 48278 edges, 5 markings/sec, 1230 secs
lola: 1 tries, 7653 fired transitions, 1235 secs || 7969 markings, 48460 edges, 5 markings/sec, 1235 secs
lola: 1 tries, 7676 fired transitions, 1240 secs || 7992 markings, 48657 edges, 5 markings/sec, 1240 secs
lola: 1 tries, 7700 fired transitions, 1245 secs || 8016 markings, 48872 edges, 5 markings/sec, 1245 secs
lola: 1 tries, 7723 fired transitions, 1250 secs || 8040 markings, 49111 edges, 5 markings/sec, 1250 secs
lola: 1 tries, 7746 fired transitions, 1255 secs || 8063 markings, 49356 edges, 5 markings/sec, 1255 secs
lola: 1 tries, 7769 fired transitions, 1260 secs || 8087 markings, 49611 edges, 5 markings/sec, 1260 secs
lola: 1 tries, 7792 fired transitions, 1265 secs || 8110 markings, 49836 edges, 5 markings/sec, 1265 secs
lola: 1 tries, 7816 fired transitions, 1270 secs || 8134 markings, 50050 edges, 5 markings/sec, 1270 secs
lola: 1 tries, 7839 fired transitions, 1275 secs || 8157 markings, 50197 edges, 5 markings/sec, 1275 secs
lola: 1 tries, 7862 fired transitions, 1280 secs || 8180 markings, 50301 edges, 5 markings/sec, 1280 secs
lola: 1 tries, 7886 fired transitions, 1285 secs || 8204 markings, 50402 edges, 5 markings/sec, 1285 secs
lola: 1 tries, 7909 fired transitions, 1290 secs || 8227 markings, 50502 edges, 5 markings/sec, 1290 secs
lola: 1 tries, 7932 fired transitions, 1295 secs || 8250 markings, 50595 edges, 5 markings/sec, 1295 secs
lola: 1 tries, 7956 fired transitions, 1300 secs || 8274 markings, 50697 edges, 5 markings/sec, 1300 secs
lola: 1 tries, 7980 fired transitions, 1305 secs || 8298 markings, 50796 edges, 5 markings/sec, 1305 secs
lola: 1 tries, 8003 fired transitions, 1310 secs || 8321 markings, 50888 edges, 5 markings/sec, 1310 secs
lola: 1 tries, 8027 fired transitions, 1315 secs || 8345 markings, 50995 edges, 5 markings/sec, 1315 secs
lola: 1 tries, 8051 fired transitions, 1320 secs || 8369 markings, 51089 edges, 5 markings/sec, 1320 secs
lola: 1 tries, 8075 fired transitions, 1325 secs || 8393 markings, 51161 edges, 5 markings/sec, 1325 secs
lola: 1 tries, 8098 fired transitions, 1330 secs || 8416 markings, 51230 edges, 5 markings/sec, 1330 secs
lola: 1 tries, 8122 fired transitions, 1335 secs || 8440 markings, 51343 edges, 5 markings/sec, 1335 secs
lola: 1 tries, 8146 fired transitions, 1340 secs || 8464 markings, 51500 edges, 5 markings/sec, 1340 secs
lola: 1 tries, 8169 fired transitions, 1345 secs || 8488 markings, 51772 edges, 5 markings/sec, 1345 secs
lola: 1 tries, 8193 fired transitions, 1350 secs || 8511 markings, 52017 edges, 5 markings/sec, 1350 secs
lola: 1 tries, 8217 fired transitions, 1355 secs || 8535 markings, 52299 edges, 5 markings/sec, 1355 secs
lola: 1 tries, 8240 fired transitions, 1360 secs || 8559 markings, 52563 edges, 5 markings/sec, 1360 secs
lola: 1 tries, 8264 fired transitions, 1365 secs || 8582 markings, 52766 edges, 5 markings/sec, 1365 secs
lola: 1 tries, 8287 fired transitions, 1370 secs || 8606 markings, 52962 edges, 5 markings/sec, 1370 secs
lola: 1 tries, 8311 fired transitions, 1375 secs || 8629 markings, 53161 edges, 5 markings/sec, 1375 secs
lola: 1 tries, 8334 fired transitions, 1380 secs || 8652 markings, 53322 edges, 5 markings/sec, 1380 secs
lola: 1 tries, 8357 fired transitions, 1385 secs || 8675 markings, 53483 edges, 5 markings/sec, 1385 secs
lola: 1 tries, 8380 fired transitions, 1390 secs || 8699 markings, 53651 edges, 5 markings/sec, 1390 secs
lola: 1 tries, 8402 fired transitions, 1395 secs || 8722 markings, 53812 edges, 5 markings/sec, 1395 secs
lola: 1 tries, 8425 fired transitions, 1400 secs || 8745 markings, 53973 edges, 5 markings/sec, 1400 secs
lola: 1 tries, 8448 fired transitions, 1405 secs || 8768 markings, 54090 edges, 5 markings/sec, 1405 secs
lola: 1 tries, 8471 fired transitions, 1410 secs || 8791 markings, 54205 edges, 5 markings/sec, 1410 secs
lola: 1 tries, 8494 fired transitions, 1415 secs || 8815 markings, 54345 edges, 5 markings/sec, 1415 secs
lola: 1 tries, 8517 fired transitions, 1420 secs || 8838 markings, 54500 edges, 5 markings/sec, 1420 secs
lola: 1 tries, 8540 fired transitions, 1425 secs || 8861 markings, 54659 edges, 5 markings/sec, 1425 secs
lola: 1 tries, 8563 fired transitions, 1430 secs || 8884 markings, 54819 edges, 5 markings/sec, 1430 secs
lola: 1 tries, 8586 fired transitions, 1435 secs || 8907 markings, 54980 edges, 5 markings/sec, 1435 secs
lola: 1 tries, 8608 fired transitions, 1440 secs || 8930 markings, 55139 edges, 5 markings/sec, 1440 secs
lola: 1 tries, 8632 fired transitions, 1445 secs || 8954 markings, 55303 edges, 5 markings/sec, 1445 secs
lola: 1 tries, 8656 fired transitions, 1450 secs || 8978 markings, 55471 edges, 5 markings/sec, 1450 secs
lola: 1 tries, 8680 fired transitions, 1455 secs || 9002 markings, 55609 edges, 5 markings/sec, 1455 secs
lola: 1 tries, 8704 fired transitions, 1460 secs || 9026 markings, 55767 edges, 5 markings/sec, 1460 secs
lola: 1 tries, 8728 fired transitions, 1465 secs || 9050 markings, 55962 edges, 5 markings/sec, 1465 secs
lola: 1 tries, 8751 fired transitions, 1470 secs || 9073 markings, 56106 edges, 5 markings/sec, 1470 secs
lola: 1 tries, 8773 fired transitions, 1475 secs || 9096 markings, 56244 edges, 5 markings/sec, 1475 secs
lola: 1 tries, 8796 fired transitions, 1480 secs || 9119 markings, 56371 edges, 5 markings/sec, 1480 secs
lola: 1 tries, 8819 fired transitions, 1485 secs || 9142 markings, 56452 edges, 5 markings/sec, 1485 secs
lola: 1 tries, 8842 fired transitions, 1490 secs || 9166 markings, 56479 edges, 5 markings/sec, 1490 secs
lola: 1 tries, 8865 fired transitions, 1495 secs || 9189 markings, 56534 edges, 5 markings/sec, 1495 secs
lola: 1 tries, 8887 fired transitions, 1500 secs || 9212 markings, 56614 edges, 5 markings/sec, 1500 secs
lola: 1 tries, 8911 fired transitions, 1505 secs || 9236 markings, 56686 edges, 5 markings/sec, 1505 secs
lola: 1 tries, 8934 fired transitions, 1510 secs || 9259 markings, 56778 edges, 5 markings/sec, 1510 secs
lola: 1 tries, 8958 fired transitions, 1515 secs || 9283 markings, 56838 edges, 5 markings/sec, 1515 secs
lola: 1 tries, 8981 fired transitions, 1520 secs || 9306 markings, 56883 edges, 5 markings/sec, 1520 secs
lola: 1 tries, 9005 fired transitions, 1525 secs || 9330 markings, 56972 edges, 5 markings/sec, 1525 secs
lola: 1 tries, 9029 fired transitions, 1530 secs || 9354 markings, 57037 edges, 5 markings/sec, 1530 secs
lola: 1 tries, 9052 fired transitions, 1535 secs || 9377 markings, 57084 edges, 5 markings/sec, 1535 secs
lola: 1 tries, 9076 fired transitions, 1540 secs || 9401 markings, 57181 edges, 5 markings/sec, 1540 secs
lola: 1 tries, 9100 fired transitions, 1545 secs || 9425 markings, 57276 edges, 5 markings/sec, 1545 secs
lola: 1 tries, 9123 fired transitions, 1550 secs || 9449 markings, 57373 edges, 5 markings/sec, 1550 secs
lola: 1 tries, 9146 fired transitions, 1555 secs || 9472 markings, 57456 edges, 5 markings/sec, 1555 secs
lola: 1 tries, 9171 fired transitions, 1560 secs || 9497 markings, 57566 edges, 5 markings/sec, 1560 secs
lola: 1 tries, 9194 fired transitions, 1565 secs || 9520 markings, 57706 edges, 5 markings/sec, 1565 secs
lola: 1 tries, 9218 fired transitions, 1570 secs || 9544 markings, 57816 edges, 5 markings/sec, 1570 secs
lola: 1 tries, 9241 fired transitions, 1575 secs || 9567 markings, 57929 edges, 5 markings/sec, 1575 secs
lola: 1 tries, 9265 fired transitions, 1580 secs || 9591 markings, 58104 edges, 5 markings/sec, 1580 secs
lola: 1 tries, 9288 fired transitions, 1585 secs || 9615 markings, 58306 edges, 5 markings/sec, 1585 secs
lola: 1 tries, 9312 fired transitions, 1590 secs || 9638 markings, 58511 edges, 5 markings/sec, 1590 secs
lola: 1 tries, 9335 fired transitions, 1595 secs || 9661 markings, 58630 edges, 5 markings/sec, 1595 secs
lola: 1 tries, 9358 fired transitions, 1600 secs || 9685 markings, 58707 edges, 5 markings/sec, 1600 secs
lola: 1 tries, 9381 fired transitions, 1605 secs || 9708 markings, 58798 edges, 5 markings/sec, 1605 secs
lola: 1 tries, 9405 fired transitions, 1610 secs || 9732 markings, 58912 edges, 5 markings/sec, 1610 secs
lola: 1 tries, 9429 fired transitions, 1615 secs || 9756 markings, 58997 edges, 5 markings/sec, 1615 secs
lola: 1 tries, 9453 fired transitions, 1620 secs || 9780 markings, 59100 edges, 5 markings/sec, 1620 secs
lola: 1 tries, 9477 fired transitions, 1625 secs || 9804 markings, 59224 edges, 5 markings/sec, 1625 secs
lola: 1 tries, 9501 fired transitions, 1630 secs || 9828 markings, 59329 edges, 5 markings/sec, 1630 secs
lola: 1 tries, 9525 fired transitions, 1635 secs || 9852 markings, 59428 edges, 5 markings/sec, 1635 secs
lola: 1 tries, 9549 fired transitions, 1640 secs || 9876 markings, 59553 edges, 5 markings/sec, 1640 secs
lola: 1 tries, 9573 fired transitions, 1645 secs || 9900 markings, 59632 edges, 5 markings/sec, 1645 secs
lola: 1 tries, 9597 fired transitions, 1650 secs || 9924 markings, 59730 edges, 5 markings/sec, 1650 secs
lola: 1 tries, 9621 fired transitions, 1655 secs || 9948 markings, 59850 edges, 5 markings/sec, 1655 secs
lola: 1 tries, 9645 fired transitions, 1660 secs || 9972 markings, 59981 edges, 5 markings/sec, 1660 secs
lola: 1 tries, 9669 fired transitions, 1665 secs || 9996 markings, 60123 edges, 5 markings/sec, 1665 secs
lola: 1 tries, 9693 fired transitions, 1670 secs || 10020 markings, 60270 edges, 5 markings/sec, 1670 secs
lola: 1 tries, 9717 fired transitions, 1675 secs || 10044 markings, 60366 edges, 5 markings/sec, 1675 secs
lola: 1 tries, 9741 fired transitions, 1680 secs || 10068 markings, 60467 edges, 5 markings/sec, 1680 secs
lola: 1 tries, 9765 fired transitions, 1685 secs || 10092 markings, 60653 edges, 5 markings/sec, 1685 secs
lola: 1 tries, 9792 fired transitions, 1690 secs || 10118 markings, 60762 edges, 5 markings/sec, 1690 secs
lola: 1 tries, 9813 fired transitions, 1695 secs || 10140 markings, 60905 edges, 4 markings/sec, 1695 secs
lola: 1 tries, 9836 fired transitions, 1700 secs || 10163 markings, 61024 edges, 5 markings/sec, 1700 secs
lola: 1 tries, 9859 fired transitions, 1705 secs || 10186 markings, 61183 edges, 5 markings/sec, 1705 secs
lola: 1 tries, 9881 fired transitions, 1710 secs || 10208 markings, 61344 edges, 4 markings/sec, 1710 secs
lola: 1 tries, 9904 fired transitions, 1715 secs || 10231 markings, 61488 edges, 5 markings/sec, 1715 secs
lola: 1 tries, 9927 fired transitions, 1720 secs || 10254 markings, 61617 edges, 5 markings/sec, 1720 secs
lola: 1 tries, 9949 fired transitions, 1725 secs || 10276 markings, 61750 edges, 4 markings/sec, 1725 secs
lola: 1 tries, 9972 fired transitions, 1730 secs || 10299 markings, 61923 edges, 5 markings/sec, 1730 secs
lola: 1 tries, 9994 fired transitions, 1735 secs || 10321 markings, 62072 edges, 4 markings/sec, 1735 secs
lola: 1 tries, 10016 fired transitions, 1740 secs || 10344 markings, 62209 edges, 5 markings/sec, 1740 secs
lola: 1 tries, 10039 fired transitions, 1745 secs || 10366 markings, 62246 edges, 4 markings/sec, 1745 secs
lola: 1 tries, 10061 fired transitions, 1750 secs || 10388 markings, 62331 edges, 4 markings/sec, 1750 secs
lola: 1 tries, 10084 fired transitions, 1755 secs || 10411 markings, 62422 edges, 5 markings/sec, 1755 secs
lola: 1 tries, 10107 fired transitions, 1760 secs || 10434 markings, 62510 edges, 5 markings/sec, 1760 secs
lola: 1 tries, 10129 fired transitions, 1765 secs || 10456 markings, 62601 edges, 4 markings/sec, 1765 secs
lola: 1 tries, 10152 fired transitions, 1770 secs || 10479 markings, 62693 edges, 5 markings/sec, 1770 secs
lola: 1 tries, 10175 fired transitions, 1775 secs || 10502 markings, 62782 edges, 5 markings/sec, 1775 secs
lola: 1 tries, 10198 fired transitions, 1780 secs || 10525 markings, 62910 edges, 5 markings/sec, 1780 secs
lola: 1 tries, 10221 fired transitions, 1785 secs || 10548 markings, 63026 edges, 5 markings/sec, 1785 secs
lola: 1 tries, 10243 fired transitions, 1790 secs || 10571 markings, 63157 edges, 5 markings/sec, 1790 secs
lola: 1 tries, 10266 fired transitions, 1795 secs || 10593 markings, 63251 edges, 4 markings/sec, 1795 secs
lola: 1 tries, 10288 fired transitions, 1800 secs || 10615 markings, 63354 edges, 4 markings/sec, 1800 secs
lola: 1 tries, 10311 fired transitions, 1805 secs || 10638 markings, 63512 edges, 5 markings/sec, 1805 secs
lola: 1 tries, 10334 fired transitions, 1810 secs || 10661 markings, 63654 edges, 5 markings/sec, 1810 secs
lola: 1 tries, 10357 fired transitions, 1815 secs || 10684 markings, 63799 edges, 5 markings/sec, 1815 secs
lola: 1 tries, 10379 fired transitions, 1820 secs || 10706 markings, 63965 edges, 4 markings/sec, 1820 secs
lola: 1 tries, 10402 fired transitions, 1825 secs || 10729 markings, 64082 edges, 5 markings/sec, 1825 secs
lola: 1 tries, 10425 fired transitions, 1830 secs || 10752 markings, 64248 edges, 5 markings/sec, 1830 secs
lola: 1 tries, 10448 fired transitions, 1835 secs || 10775 markings, 64350 edges, 5 markings/sec, 1835 secs
lola: 1 tries, 10470 fired transitions, 1840 secs || 10797 markings, 64477 edges, 4 markings/sec, 1840 secs
lola: 1 tries, 10493 fired transitions, 1845 secs || 10820 markings, 64615 edges, 5 markings/sec, 1845 secs
lola: 1 tries, 10516 fired transitions, 1850 secs || 10843 markings, 64756 edges, 5 markings/sec, 1850 secs
lola: 1 tries, 10538 fired transitions, 1855 secs || 10865 markings, 64878 edges, 4 markings/sec, 1855 secs
lola: 1 tries, 10561 fired transitions, 1860 secs || 10888 markings, 65033 edges, 5 markings/sec, 1860 secs
lola: 1 tries, 10584 fired transitions, 1865 secs || 10911 markings, 65186 edges, 5 markings/sec, 1865 secs
lola: 1 tries, 10606 fired transitions, 1870 secs || 10933 markings, 65336 edges, 4 markings/sec, 1870 secs
lola: 1 tries, 10629 fired transitions, 1875 secs || 10956 markings, 65497 edges, 5 markings/sec, 1875 secs
lola: 1 tries, 10652 fired transitions, 1880 secs || 10979 markings, 65680 edges, 5 markings/sec, 1880 secs
lola: 1 tries, 10675 fired transitions, 1885 secs || 11002 markings, 65836 edges, 5 markings/sec, 1885 secs
lola: 1 tries, 10698 fired transitions, 1890 secs || 11025 markings, 65995 edges, 5 markings/sec, 1890 secs
lola: 1 tries, 10720 fired transitions, 1895 secs || 11047 markings, 66141 edges, 4 markings/sec, 1895 secs
lola: 1 tries, 10743 fired transitions, 1900 secs || 11070 markings, 66265 edges, 5 markings/sec, 1900 secs
lola: 1 tries, 10766 fired transitions, 1905 secs || 11093 markings, 66424 edges, 5 markings/sec, 1905 secs
lola: 1 tries, 10788 fired transitions, 1910 secs || 11116 markings, 66628 edges, 5 markings/sec, 1910 secs
lola: 1 tries, 10811 fired transitions, 1915 secs || 11138 markings, 66731 edges, 4 markings/sec, 1915 secs
lola: 1 tries, 10834 fired transitions, 1920 secs || 11161 markings, 66806 edges, 5 markings/sec, 1920 secs
lola: 1 tries, 10856 fired transitions, 1925 secs || 11183 markings, 66913 edges, 4 markings/sec, 1925 secs
lola: 1 tries, 10880 fired transitions, 1930 secs || 11207 markings, 67045 edges, 5 markings/sec, 1930 secs
lola: 1 tries, 10904 fired transitions, 1935 secs || 11231 markings, 67161 edges, 5 markings/sec, 1935 secs
lola: 1 tries, 10928 fired transitions, 1940 secs || 11255 markings, 67284 edges, 5 markings/sec, 1940 secs
lola: 1 tries, 10952 fired transitions, 1945 secs || 11279 markings, 67415 edges, 5 markings/sec, 1945 secs
lola: 1 tries, 10976 fired transitions, 1950 secs || 11303 markings, 67561 edges, 5 markings/sec, 1950 secs
lola: 1 tries, 10999 fired transitions, 1955 secs || 11326 markings, 67653 edges, 5 markings/sec, 1955 secs
lola: 1 tries, 11023 fired transitions, 1960 secs || 11350 markings, 67805 edges, 5 markings/sec, 1960 secs
lola: 1 tries, 11047 fired transitions, 1965 secs || 11374 markings, 67925 edges, 5 markings/sec, 1965 secs
lola: 1 tries, 11071 fired transitions, 1970 secs || 11398 markings, 68045 edges, 5 markings/sec, 1970 secs
lola: 1 tries, 11095 fired transitions, 1975 secs || 11422 markings, 68201 edges, 5 markings/sec, 1975 secs
lola: 1 tries, 11119 fired transitions, 1980 secs || 11446 markings, 68359 edges, 5 markings/sec, 1980 secs
lola: 1 tries, 11143 fired transitions, 1985 secs || 11470 markings, 68549 edges, 5 markings/sec, 1985 secs
lola: 1 tries, 11167 fired transitions, 1990 secs || 11494 markings, 68726 edges, 5 markings/sec, 1990 secs
lola: 1 tries, 11191 fired transitions, 1995 secs || 11518 markings, 68852 edges, 5 markings/sec, 1995 secs
lola: 1 tries, 11215 fired transitions, 2000 secs || 11542 markings, 69023 edges, 5 markings/sec, 2000 secs
lola: 1 tries, 11238 fired transitions, 2005 secs || 11565 markings, 69247 edges, 5 markings/sec, 2005 secs
lola: 1 tries, 11262 fired transitions, 2010 secs || 11589 markings, 69532 edges, 5 markings/sec, 2010 secs
lola: 1 tries, 11286 fired transitions, 2015 secs || 11613 markings, 69772 edges, 5 markings/sec, 2015 secs
lola: 1 tries, 11310 fired transitions, 2020 secs || 11637 markings, 69988 edges, 5 markings/sec, 2020 secs
lola: 1 tries, 11335 fired transitions, 2025 secs || 11663 markings, 70188 edges, 5 markings/sec, 2025 secs
lola: 1 tries, 11359 fired transitions, 2030 secs || 11686 markings, 70279 edges, 5 markings/sec, 2030 secs
lola: 1 tries, 11387 fired transitions, 2035 secs || 11713 markings, 70388 edges, 5 markings/sec, 2035 secs
lola: 1 tries, 11411 fired transitions, 2040 secs || 11737 markings, 70438 edges, 5 markings/sec, 2040 secs
lola: 1 tries, 11436 fired transitions, 2045 secs || 11761 markings, 70477 edges, 5 markings/sec, 2045 secs
lola: 1 tries, 11459 fired transitions, 2050 secs || 11785 markings, 70528 edges, 5 markings/sec, 2050 secs
lola: 1 tries, 11483 fired transitions, 2055 secs || 11809 markings, 70614 edges, 5 markings/sec, 2055 secs
lola: 1 tries, 11507 fired transitions, 2060 secs || 11833 markings, 70690 edges, 5 markings/sec, 2060 secs
lola: 1 tries, 11531 fired transitions, 2065 secs || 11857 markings, 70769 edges, 5 markings/sec, 2065 secs
lola: 1 tries, 11555 fired transitions, 2070 secs || 11881 markings, 70847 edges, 5 markings/sec, 2070 secs
lola: 1 tries, 11579 fired transitions, 2075 secs || 11905 markings, 70934 edges, 5 markings/sec, 2075 secs
lola: 1 tries, 11603 fired transitions, 2080 secs || 11929 markings, 71034 edges, 5 markings/sec, 2080 secs
lola: 1 tries, 11627 fired transitions, 2085 secs || 11953 markings, 71131 edges, 5 markings/sec, 2085 secs
lola: 1 tries, 11651 fired transitions, 2090 secs || 11977 markings, 71227 edges, 5 markings/sec, 2090 secs
lola: 1 tries, 11675 fired transitions, 2095 secs || 12001 markings, 71323 edges, 5 markings/sec, 2095 secs
lola: 1 tries, 11699 fired transitions, 2100 secs || 12025 markings, 71415 edges, 5 markings/sec, 2100 secs
lola: 1 tries, 11723 fired transitions, 2105 secs || 12049 markings, 71439 edges, 5 markings/sec, 2105 secs
lola: 1 tries, 11747 fired transitions, 2110 secs || 12073 markings, 71463 edges, 5 markings/sec, 2110 secs
lola: 1 tries, 11771 fired transitions, 2115 secs || 12097 markings, 71487 edges, 5 markings/sec, 2115 secs
lola: 1 tries, 11816 fired transitions, 2120 secs || 12136 markings, 71526 edges, 8 markings/sec, 2120 secs
lola: 1 tries, 11843 fired transitions, 2125 secs || 12162 markings, 71552 edges, 5 markings/sec, 2125 secs
lola: 1 tries, 11878 fired transitions, 2130 secs || 12201 markings, 71591 edges, 8 markings/sec, 2130 secs
lola: 1 tries, 11919 fired transitions, 2135 secs || 12248 markings, 71638 edges, 9 markings/sec, 2135 secs
lola: 1 tries, 11947 fired transitions, 2140 secs || 12277 markings, 71667 edges, 6 markings/sec, 2140 secs
lola: 1 tries, 11971 fired transitions, 2145 secs || 12301 markings, 71691 edges, 5 markings/sec, 2145 secs
lola: 1 tries, 11994 fired transitions, 2150 secs || 12323 markings, 71713 edges, 4 markings/sec, 2150 secs
lola: 1 tries, 12017 fired transitions, 2155 secs || 12347 markings, 71737 edges, 5 markings/sec, 2155 secs
lola: 1 tries, 12051 fired transitions, 2160 secs || 12379 markings, 71769 edges, 6 markings/sec, 2160 secs
lola: 1 tries, 12074 fired transitions, 2165 secs || 12402 markings, 71801 edges, 5 markings/sec, 2165 secs
lola: 1 tries, 12097 fired transitions, 2170 secs || 12425 markings, 71893 edges, 5 markings/sec, 2170 secs
lola: 1 tries, 12121 fired transitions, 2175 secs || 12449 markings, 71989 edges, 5 markings/sec, 2175 secs
lola: 1 tries, 12145 fired transitions, 2180 secs || 12473 markings, 72087 edges, 5 markings/sec, 2180 secs
lola: 1 tries, 12168 fired transitions, 2185 secs || 12496 markings, 72182 edges, 5 markings/sec, 2185 secs
lola: 1 tries, 12191 fired transitions, 2190 secs || 12519 markings, 72295 edges, 5 markings/sec, 2190 secs
lola: 1 tries, 12222 fired transitions, 2195 secs || 12549 markings, 72439 edges, 6 markings/sec, 2195 secs
lola: 1 tries, 12269 fired transitions, 2200 secs || 12591 markings, 72588 edges, 8 markings/sec, 2200 secs
lola: 1 tries, 12316 fired transitions, 2205 secs || 12632 markings, 72746 edges, 8 markings/sec, 2205 secs
lola: 1 tries, 12363 fired transitions, 2210 secs || 12674 markings, 72905 edges, 8 markings/sec, 2210 secs
lola: 1 tries, 12409 fired transitions, 2215 secs || 12716 markings, 73022 edges, 8 markings/sec, 2215 secs
lola: 1 tries, 12455 fired transitions, 2220 secs || 12758 markings, 73064 edges, 8 markings/sec, 2220 secs
lola: 1 tries, 12501 fired transitions, 2225 secs || 12801 markings, 73107 edges, 9 markings/sec, 2225 secs
lola: 1 tries, 12548 fired transitions, 2230 secs || 12843 markings, 73149 edges, 8 markings/sec, 2230 secs
lola: 1 tries, 12594 fired transitions, 2235 secs || 12886 markings, 73192 edges, 9 markings/sec, 2235 secs
lola: 1 tries, 12640 fired transitions, 2240 secs || 12928 markings, 73234 edges, 8 markings/sec, 2240 secs
lola: 1 tries, 12686 fired transitions, 2245 secs || 12971 markings, 73277 edges, 9 markings/sec, 2245 secs
lola: 1 tries, 12732 fired transitions, 2250 secs || 13014 markings, 73320 edges, 9 markings/sec, 2250 secs
lola: 1 tries, 12779 fired transitions, 2255 secs || 13058 markings, 73364 edges, 9 markings/sec, 2255 secs
lola: 1 tries, 12826 fired transitions, 2260 secs || 13102 markings, 73418 edges, 9 markings/sec, 2260 secs
lola: 1 tries, 12873 fired transitions, 2265 secs || 13145 markings, 73461 edges, 9 markings/sec, 2265 secs
lola: 1 tries, 12919 fired transitions, 2270 secs || 13189 markings, 73519 edges, 9 markings/sec, 2270 secs
lola: 1 tries, 12965 fired transitions, 2275 secs || 13232 markings, 73562 edges, 9 markings/sec, 2275 secs
lola: 1 tries, 13012 fired transitions, 2280 secs || 13276 markings, 73616 edges, 9 markings/sec, 2280 secs
lola: 1 tries, 13059 fired transitions, 2285 secs || 13321 markings, 73684 edges, 9 markings/sec, 2285 secs
lola: 1 tries, 13106 fired transitions, 2290 secs || 13364 markings, 73729 edges, 9 markings/sec, 2290 secs
lola: 1 tries, 13153 fired transitions, 2295 secs || 13408 markings, 73783 edges, 9 markings/sec, 2295 secs
lola: 1 tries, 13200 fired transitions, 2300 secs || 13453 markings, 73843 edges, 9 markings/sec, 2300 secs
lola: 1 tries, 13246 fired transitions, 2305 secs || 13496 markings, 73905 edges, 9 markings/sec, 2305 secs
lola: 1 tries, 13293 fired transitions, 2310 secs || 13539 markings, 73953 edges, 9 markings/sec, 2310 secs
lola: 1 tries, 13340 fired transitions, 2315 secs || 13582 markings, 74011 edges, 9 markings/sec, 2315 secs
lola: 1 tries, 13387 fired transitions, 2320 secs || 13625 markings, 74054 edges, 9 markings/sec, 2320 secs
lola: 1 tries, 13434 fired transitions, 2325 secs || 13668 markings, 74097 edges, 9 markings/sec, 2325 secs
lola: 1 tries, 13481 fired transitions, 2330 secs || 13711 markings, 74140 edges, 9 markings/sec, 2330 secs
lola: 1 tries, 13529 fired transitions, 2335 secs || 13755 markings, 74184 edges, 9 markings/sec, 2335 secs
lola: 1 tries, 13576 fired transitions, 2340 secs || 13799 markings, 74228 edges, 9 markings/sec, 2340 secs
lola: 1 tries, 13623 fired transitions, 2345 secs || 13841 markings, 74270 edges, 8 markings/sec, 2345 secs
lola: 1 tries, 13671 fired transitions, 2350 secs || 13885 markings, 74314 edges, 9 markings/sec, 2350 secs
lola: 1 tries, 13718 fired transitions, 2355 secs || 13929 markings, 74358 edges, 9 markings/sec, 2355 secs
lola: 1 tries, 13764 fired transitions, 2360 secs || 13973 markings, 74402 edges, 9 markings/sec, 2360 secs
lola: 1 tries, 13811 fired transitions, 2365 secs || 14016 markings, 74445 edges, 9 markings/sec, 2365 secs
lola: 1 tries, 13858 fired transitions, 2370 secs || 14060 markings, 74489 edges, 9 markings/sec, 2370 secs
lola: 1 tries, 13905 fired transitions, 2375 secs || 14104 markings, 74533 edges, 9 markings/sec, 2375 secs
lola: 1 tries, 13952 fired transitions, 2380 secs || 14148 markings, 74577 edges, 9 markings/sec, 2380 secs
lola: 1 tries, 14000 fired transitions, 2385 secs || 14193 markings, 74622 edges, 9 markings/sec, 2385 secs
lola: 1 tries, 14047 fired transitions, 2390 secs || 14237 markings, 74666 edges, 9 markings/sec, 2390 secs
lola: 1 tries, 14094 fired transitions, 2395 secs || 14281 markings, 74710 edges, 9 markings/sec, 2395 secs
lola: 1 tries, 14142 fired transitions, 2400 secs || 14325 markings, 74754 edges, 9 markings/sec, 2400 secs
lola: 1 tries, 14190 fired transitions, 2405 secs || 14369 markings, 74798 edges, 9 markings/sec, 2405 secs
lola: 1 tries, 14237 fired transitions, 2410 secs || 14413 markings, 74842 edges, 9 markings/sec, 2410 secs
lola: 1 tries, 14283 fired transitions, 2415 secs || 14458 markings, 74887 edges, 9 markings/sec, 2415 secs
lola: 1 tries, 14330 fired transitions, 2420 secs || 14501 markings, 74930 edges, 9 markings/sec, 2420 secs
lola: 1 tries, 14377 fired transitions, 2425 secs || 14543 markings, 74972 edges, 8 markings/sec, 2425 secs
lola: 1 tries, 14424 fired transitions, 2430 secs || 14586 markings, 75015 edges, 9 markings/sec, 2430 secs
lola: 1 tries, 14470 fired transitions, 2435 secs || 14630 markings, 75059 edges, 9 markings/sec, 2435 secs
lola: 1 tries, 14517 fired transitions, 2440 secs || 14675 markings, 75104 edges, 9 markings/sec, 2440 secs
lola: 1 tries, 14563 fired transitions, 2445 secs || 14719 markings, 75148 edges, 9 markings/sec, 2445 secs
lola: 1 tries, 14610 fired transitions, 2450 secs || 14763 markings, 75224 edges, 9 markings/sec, 2450 secs
lola: 1 tries, 14654 fired transitions, 2455 secs || 14805 markings, 75272 edges, 8 markings/sec, 2455 secs
lola: 1 tries, 14688 fired transitions, 2460 secs || 14839 markings, 75306 edges, 7 markings/sec, 2460 secs
lola: 1 tries, 14710 fired transitions, 2465 secs || 14861 markings, 75328 edges, 4 markings/sec, 2465 secs
lola: 1 tries, 14733 fired transitions, 2470 secs || 14884 markings, 75351 edges, 5 markings/sec, 2470 secs
lola: 1 tries, 14756 fired transitions, 2475 secs || 14907 markings, 75374 edges, 5 markings/sec, 2475 secs
lola: 1 tries, 14778 fired transitions, 2480 secs || 14929 markings, 75396 edges, 4 markings/sec, 2480 secs
lola: 1 tries, 14801 fired transitions, 2485 secs || 14952 markings, 75419 edges, 5 markings/sec, 2485 secs
lola: 1 tries, 14823 fired transitions, 2490 secs || 14974 markings, 75441 edges, 4 markings/sec, 2490 secs
lola: 1 tries, 14846 fired transitions, 2495 secs || 14997 markings, 75464 edges, 5 markings/sec, 2495 secs
lola: 1 tries, 14868 fired transitions, 2500 secs || 15019 markings, 75486 edges, 4 markings/sec, 2500 secs
lola: 1 tries, 14890 fired transitions, 2505 secs || 15041 markings, 75508 edges, 4 markings/sec, 2505 secs
lola: 1 tries, 14912 fired transitions, 2510 secs || 15064 markings, 75531 edges, 5 markings/sec, 2510 secs
lola: 1 tries, 14935 fired transitions, 2515 secs || 15086 markings, 75553 edges, 4 markings/sec, 2515 secs
lola: 1 tries, 14958 fired transitions, 2520 secs || 15109 markings, 75576 edges, 5 markings/sec, 2520 secs
lola: 1 tries, 14981 fired transitions, 2525 secs || 15132 markings, 75599 edges, 5 markings/sec, 2525 secs
lola: 1 tries, 15004 fired transitions, 2530 secs || 15155 markings, 75622 edges, 5 markings/sec, 2530 secs
lola: 1 tries, 15027 fired transitions, 2535 secs || 15178 markings, 75645 edges, 5 markings/sec, 2535 secs
lola: 1 tries, 15050 fired transitions, 2540 secs || 15201 markings, 75668 edges, 5 markings/sec, 2540 secs
lola: 1 tries, 15073 fired transitions, 2545 secs || 15224 markings, 75691 edges, 5 markings/sec, 2545 secs
lola: 1 tries, 15102 fired transitions, 2550 secs || 15253 markings, 75720 edges, 6 markings/sec, 2550 secs
lola: 1 tries, 15124 fired transitions, 2555 secs || 15277 markings, 75744 edges, 5 markings/sec, 2555 secs
lola: 1 tries, 15148 fired transitions, 2560 secs || 15300 markings, 75767 edges, 5 markings/sec, 2560 secs
lola: 1 tries, 15171 fired transitions, 2565 secs || 15323 markings, 75790 edges, 5 markings/sec, 2565 secs
lola: 1 tries, 15194 fired transitions, 2570 secs || 15346 markings, 75864 edges, 5 markings/sec, 2570 secs
lola: 1 tries, 15217 fired transitions, 2575 secs || 15369 markings, 75887 edges, 5 markings/sec, 2575 secs
lola: 1 tries, 15241 fired transitions, 2580 secs || 15393 markings, 75911 edges, 5 markings/sec, 2580 secs
lola: 1 tries, 15264 fired transitions, 2585 secs || 15416 markings, 75934 edges, 5 markings/sec, 2585 secs
lola: 1 tries, 15287 fired transitions, 2590 secs || 15439 markings, 75957 edges, 5 markings/sec, 2590 secs
lola: 1 tries, 15309 fired transitions, 2595 secs || 15461 markings, 75979 edges, 4 markings/sec, 2595 secs
lola: 1 tries, 15331 fired transitions, 2600 secs || 15483 markings, 76001 edges, 4 markings/sec, 2600 secs
lola: 1 tries, 15354 fired transitions, 2605 secs || 15506 markings, 76026 edges, 5 markings/sec, 2605 secs
lola: 1 tries, 15377 fired transitions, 2610 secs || 15529 markings, 76058 edges, 5 markings/sec, 2610 secs
lola: 1 tries, 15400 fired transitions, 2615 secs || 15552 markings, 76081 edges, 5 markings/sec, 2615 secs
lola: 1 tries, 15422 fired transitions, 2620 secs || 15574 markings, 76103 edges, 4 markings/sec, 2620 secs
lola: 1 tries, 15445 fired transitions, 2625 secs || 15597 markings, 76126 edges, 5 markings/sec, 2625 secs
lola: 1 tries, 15468 fired transitions, 2630 secs || 15620 markings, 76149 edges, 5 markings/sec, 2630 secs
lola: 1 tries, 15490 fired transitions, 2635 secs || 15643 markings, 76172 edges, 5 markings/sec, 2635 secs
lola: 1 tries, 15513 fired transitions, 2640 secs || 15665 markings, 76194 edges, 4 markings/sec, 2640 secs
lola: 1 tries, 15536 fired transitions, 2645 secs || 15688 markings, 76217 edges, 5 markings/sec, 2645 secs
lola: 1 tries, 15559 fired transitions, 2650 secs || 15711 markings, 76240 edges, 5 markings/sec, 2650 secs
lola: 1 tries, 15582 fired transitions, 2655 secs || 15734 markings, 76263 edges, 5 markings/sec, 2655 secs
lola: 1 tries, 15605 fired transitions, 2660 secs || 15757 markings, 76286 edges, 5 markings/sec, 2660 secs
lola: 1 tries, 15628 fired transitions, 2665 secs || 15780 markings, 76309 edges, 5 markings/sec, 2665 secs
lola: 1 tries, 15651 fired transitions, 2670 secs || 15803 markings, 76332 edges, 5 markings/sec, 2670 secs
lola: 1 tries, 15674 fired transitions, 2675 secs || 15826 markings, 76355 edges, 5 markings/sec, 2675 secs
lola: 1 tries, 15697 fired transitions, 2680 secs || 15849 markings, 76378 edges, 5 markings/sec, 2680 secs
lola: 1 tries, 15720 fired transitions, 2685 secs || 15872 markings, 76401 edges, 5 markings/sec, 2685 secs
lola: 1 tries, 15742 fired transitions, 2690 secs || 15894 markings, 76423 edges, 4 markings/sec, 2690 secs
lola: 1 tries, 15765 fired transitions, 2695 secs || 15917 markings, 76446 edges, 5 markings/sec, 2695 secs
lola: 1 tries, 15788 fired transitions, 2700 secs || 15940 markings, 76469 edges, 5 markings/sec, 2700 secs
lola: 1 tries, 15811 fired transitions, 2705 secs || 15963 markings, 76492 edges, 5 markings/sec, 2705 secs
lola: 1 tries, 15833 fired transitions, 2710 secs || 15986 markings, 76515 edges, 5 markings/sec, 2710 secs
lola: 1 tries, 15856 fired transitions, 2715 secs || 16009 markings, 76538 edges, 5 markings/sec, 2715 secs
lola: 1 tries, 15879 fired transitions, 2720 secs || 16032 markings, 76561 edges, 5 markings/sec, 2720 secs
lola: 1 tries, 15902 fired transitions, 2725 secs || 16055 markings, 76584 edges, 5 markings/sec, 2725 secs
lola: 1 tries, 15925 fired transitions, 2730 secs || 16078 markings, 76607 edges, 5 markings/sec, 2730 secs
lola: 1 tries, 15948 fired transitions, 2735 secs || 16101 markings, 76630 edges, 5 markings/sec, 2735 secs
lola: 1 tries, 15971 fired transitions, 2740 secs || 16124 markings, 76653 edges, 5 markings/sec, 2740 secs
lola: 1 tries, 15994 fired transitions, 2745 secs || 16147 markings, 76676 edges, 5 markings/sec, 2745 secs
lola: 1 tries, 16017 fired transitions, 2750 secs || 16170 markings, 76699 edges, 5 markings/sec, 2750 secs
lola: 1 tries, 16040 fired transitions, 2755 secs || 16193 markings, 76722 edges, 5 markings/sec, 2755 secs
lola: 1 tries, 16063 fired transitions, 2760 secs || 16216 markings, 76745 edges, 5 markings/sec, 2760 secs
lola: 1 tries, 16086 fired transitions, 2765 secs || 16239 markings, 76768 edges, 5 markings/sec, 2765 secs
lola: 1 tries, 16108 fired transitions, 2770 secs || 16262 markings, 76791 edges, 5 markings/sec, 2770 secs
lola: 1 tries, 16131 fired transitions, 2775 secs || 16284 markings, 76813 edges, 4 markings/sec, 2775 secs
lola: 1 tries, 16154 fired transitions, 2780 secs || 16307 markings, 76836 edges, 5 markings/sec, 2780 secs
lola: 1 tries, 16177 fired transitions, 2785 secs || 16330 markings, 76859 edges, 5 markings/sec, 2785 secs
lola: 1 tries, 16200 fired transitions, 2790 secs || 16353 markings, 76882 edges, 5 markings/sec, 2790 secs
lola: 1 tries, 16223 fired transitions, 2795 secs || 16376 markings, 76905 edges, 5 markings/sec, 2795 secs
lola: 1 tries, 16246 fired transitions, 2800 secs || 16399 markings, 76928 edges, 5 markings/sec, 2800 secs
lola: 1 tries, 16269 fired transitions, 2805 secs || 16422 markings, 76951 edges, 5 markings/sec, 2805 secs
lola: 1 tries, 16291 fired transitions, 2810 secs || 16444 markings, 76973 edges, 4 markings/sec, 2810 secs
lola: 1 tries, 16314 fired transitions, 2815 secs || 16467 markings, 76996 edges, 5 markings/sec, 2815 secs
lola: 1 tries, 16336 fired transitions, 2820 secs || 16490 markings, 77019 edges, 5 markings/sec, 2820 secs
lola: 1 tries, 16359 fired transitions, 2825 secs || 16513 markings, 77042 edges, 5 markings/sec, 2825 secs
lola: 1 tries, 16382 fired transitions, 2830 secs || 16536 markings, 77065 edges, 5 markings/sec, 2830 secs
lola: 1 tries, 16405 fired transitions, 2835 secs || 16559 markings, 77088 edges, 5 markings/sec, 2835 secs
lola: 1 tries, 16428 fired transitions, 2840 secs || 16582 markings, 77111 edges, 5 markings/sec, 2840 secs
lola: 1 tries, 16450 fired transitions, 2845 secs || 16605 markings, 77134 edges, 5 markings/sec, 2845 secs
lola: 1 tries, 16472 fired transitions, 2850 secs || 16627 markings, 77156 edges, 4 markings/sec, 2850 secs
lola: 1 tries, 16495 fired transitions, 2855 secs || 16650 markings, 77179 edges, 5 markings/sec, 2855 secs
lola: 1 tries, 16517 fired transitions, 2860 secs || 16673 markings, 77202 edges, 5 markings/sec, 2860 secs
lola: 1 tries, 16540 fired transitions, 2865 secs || 16696 markings, 77225 edges, 5 markings/sec, 2865 secs
lola: 1 tries, 16562 fired transitions, 2870 secs || 16719 markings, 77248 edges, 5 markings/sec, 2870 secs
lola: 1 tries, 16585 fired transitions, 2875 secs || 16741 markings, 77270 edges, 4 markings/sec, 2875 secs
lola: 1 tries, 16607 fired transitions, 2880 secs || 16764 markings, 77293 edges, 5 markings/sec, 2880 secs
lola: 1 tries, 16634 fired transitions, 2885 secs || 16792 markings, 77321 edges, 6 markings/sec, 2885 secs
lola: 1 tries, 16680 fired transitions, 2890 secs || 16836 markings, 77365 edges, 9 markings/sec, 2890 secs
lola: 1 tries, 16718 fired transitions, 2895 secs || 16872 markings, 77401 edges, 7 markings/sec, 2895 secs
lola: 1 tries, 16742 fired transitions, 2900 secs || 16896 markings, 77425 edges, 5 markings/sec, 2900 secs
lola: 1 tries, 16765 fired transitions, 2905 secs || 16919 markings, 77448 edges, 5 markings/sec, 2905 secs
lola: 1 tries, 16795 fired transitions, 2910 secs || 16949 markings, 77478 edges, 6 markings/sec, 2910 secs
lola: 1 tries, 16825 fired transitions, 2915 secs || 16982 markings, 77511 edges, 7 markings/sec, 2915 secs
lola: 1 tries, 16866 fired transitions, 2920 secs || 17030 markings, 77559 edges, 10 markings/sec, 2920 secs
lola: 1 tries, 16908 fired transitions, 2925 secs || 17077 markings, 77606 edges, 9 markings/sec, 2925 secs
lola: 1 tries, 16951 fired transitions, 2930 secs || 17126 markings, 77655 edges, 10 markings/sec, 2930 secs
lola: 1 tries, 16996 fired transitions, 2935 secs || 17171 markings, 77700 edges, 9 markings/sec, 2935 secs
lola: 1 tries, 17043 fired transitions, 2940 secs || 17215 markings, 77744 edges, 9 markings/sec, 2940 secs
lola: 1 tries, 17090 fired transitions, 2945 secs || 17260 markings, 77789 edges, 9 markings/sec, 2945 secs
lola: 1 tries, 17137 fired transitions, 2950 secs || 17305 markings, 77834 edges, 9 markings/sec, 2950 secs
lola: 1 tries, 17179 fired transitions, 2955 secs || 17352 markings, 77881 edges, 9 markings/sec, 2955 secs
lola: 1 tries, 17222 fired transitions, 2960 secs || 17400 markings, 77929 edges, 10 markings/sec, 2960 secs
lola: 1 tries, 17265 fired transitions, 2965 secs || 17448 markings, 77977 edges, 10 markings/sec, 2965 secs
lola: 1 tries, 17290 fired transitions, 2970 secs || 17473 markings, 78002 edges, 5 markings/sec, 2970 secs
lola: 1 tries, 17313 fired transitions, 2975 secs || 17496 markings, 78025 edges, 5 markings/sec, 2975 secs
lola: 1 tries, 17336 fired transitions, 2980 secs || 17519 markings, 78048 edges, 5 markings/sec, 2980 secs
lola: 1 tries, 17358 fired transitions, 2985 secs || 17543 markings, 78072 edges, 5 markings/sec, 2985 secs
lola: 1 tries, 17381 fired transitions, 2990 secs || 17566 markings, 78095 edges, 5 markings/sec, 2990 secs
lola: 1 tries, 17404 fired transitions, 2995 secs || 17589 markings, 78118 edges, 5 markings/sec, 2995 secs
lola: 1 tries, 17427 fired transitions, 3000 secs || 17612 markings, 78141 edges, 5 markings/sec, 3000 secs
lola: 1 tries, 17451 fired transitions, 3005 secs || 17636 markings, 78165 edges, 5 markings/sec, 3005 secs
lola: 1 tries, 17474 fired transitions, 3010 secs || 17659 markings, 78188 edges, 5 markings/sec, 3010 secs
lola: 1 tries, 17498 fired transitions, 3015 secs || 17683 markings, 78212 edges, 5 markings/sec, 3015 secs
lola: 1 tries, 17522 fired transitions, 3020 secs || 17708 markings, 78237 edges, 5 markings/sec, 3020 secs
lola: 1 tries, 17568 fired transitions, 3025 secs || 17751 markings, 78280 edges, 9 markings/sec, 3025 secs
lola: 1 tries, 17610 fired transitions, 3030 secs || 17799 markings, 78328 edges, 10 markings/sec, 3030 secs
lola: 1 tries, 17653 fired transitions, 3035 secs || 17847 markings, 78376 edges, 10 markings/sec, 3035 secs
lola: 1 tries, 17696 fired transitions, 3040 secs || 17892 markings, 78421 edges, 9 markings/sec, 3040 secs
lola: 1 tries, 17741 fired transitions, 3045 secs || 17937 markings, 78466 edges, 9 markings/sec, 3045 secs
lola: 1 tries, 17785 fired transitions, 3050 secs || 17984 markings, 78513 edges, 9 markings/sec, 3050 secs
lola: 1 tries, 17830 fired transitions, 3055 secs || 18029 markings, 78558 edges, 9 markings/sec, 3055 secs
lola: 1 tries, 17872 fired transitions, 3060 secs || 18076 markings, 78611 edges, 9 markings/sec, 3060 secs
lola: 1 tries, 17914 fired transitions, 3065 secs || 18124 markings, 78659 edges, 10 markings/sec, 3065 secs
lola: 1 tries, 17957 fired transitions, 3070 secs || 18172 markings, 78707 edges, 10 markings/sec, 3070 secs
lola: 1 tries, 17999 fired transitions, 3075 secs || 18215 markings, 78750 edges, 9 markings/sec, 3075 secs
lola: 1 tries, 18042 fired transitions, 3080 secs || 18255 markings, 78790 edges, 8 markings/sec, 3080 secs
lola: 1 tries, 18085 fired transitions, 3085 secs || 18302 markings, 78837 edges, 9 markings/sec, 3085 secs
lola: 1 tries, 18126 fired transitions, 3090 secs || 18347 markings, 78882 edges, 9 markings/sec, 3090 secs
lola: 1 tries, 18168 fired transitions, 3095 secs || 18395 markings, 78930 edges, 10 markings/sec, 3095 secs
lola: 1 tries, 18200 fired transitions, 3100 secs || 18431 markings, 78966 edges, 7 markings/sec, 3100 secs
lola: 1 tries, 18223 fired transitions, 3105 secs || 18454 markings, 78989 edges, 5 markings/sec, 3105 secs
lola: 1 tries, 18246 fired transitions, 3110 secs || 18478 markings, 79013 edges, 5 markings/sec, 3110 secs
lola: 1 tries, 18269 fired transitions, 3115 secs || 18501 markings, 79036 edges, 5 markings/sec, 3115 secs
lola: 1 tries, 18291 fired transitions, 3120 secs || 18524 markings, 79059 edges, 5 markings/sec, 3120 secs
lola: 1 tries, 18315 fired transitions, 3125 secs || 18548 markings, 79083 edges, 5 markings/sec, 3125 secs
lola: 1 tries, 18337 fired transitions, 3130 secs || 18571 markings, 79106 edges, 5 markings/sec, 3130 secs
lola: 1 tries, 18360 fired transitions, 3135 secs || 18594 markings, 79129 edges, 5 markings/sec, 3135 secs
lola: 1 tries, 18388 fired transitions, 3140 secs || 18624 markings, 79159 edges, 6 markings/sec, 3140 secs
lola: 1 tries, 18420 fired transitions, 3145 secs || 18658 markings, 79193 edges, 7 markings/sec, 3145 secs
lola: 1 tries, 18455 fired transitions, 3150 secs || 18693 markings, 79228 edges, 7 markings/sec, 3150 secs
lola: 1 tries, 18476 fired transitions, 3155 secs || 18715 markings, 79255 edges, 4 markings/sec, 3155 secs
lola: 1 tries, 18498 fired transitions, 3160 secs || 18737 markings, 79277 edges, 4 markings/sec, 3160 secs
lola: 1 tries, 18520 fired transitions, 3165 secs || 18759 markings, 79306 edges, 4 markings/sec, 3165 secs
lola: 1 tries, 18542 fired transitions, 3170 secs || 18781 markings, 79328 edges, 4 markings/sec, 3170 secs
lola: 1 tries, 18564 fired transitions, 3175 secs || 18804 markings, 79351 edges, 5 markings/sec, 3175 secs
lola: 1 tries, 18586 fired transitions, 3180 secs || 18826 markings, 79406 edges, 4 markings/sec, 3180 secs
lola: 1 tries, 18611 fired transitions, 3185 secs || 18850 markings, 79493 edges, 5 markings/sec, 3185 secs
lola: 1 tries, 18632 fired transitions, 3190 secs || 18872 markings, 79551 edges, 4 markings/sec, 3190 secs
lola: 1 tries, 18654 fired transitions, 3195 secs || 18895 markings, 79646 edges, 5 markings/sec, 3195 secs
lola: 1 tries, 18686 fired transitions, 3200 secs || 18930 markings, 79783 edges, 7 markings/sec, 3200 secs
lola: 1 tries, 18725 fired transitions, 3205 secs || 18978 markings, 80039 edges, 10 markings/sec, 3205 secs
lola: time limit reached - aborting
Segmentation fault
rslt: finished
BK_STOP 1553922984438
--------------------
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="RERS17pb114-PT-6"
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 RERS17pb114-PT-6, 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-155274853600444"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-6.tgz
mv RERS17pb114-PT-6 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 ;