About the Execution of LoLA for RERS17pb115-PT-8
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10911.740 | 3570436.00 | 6974356.00 | 55.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-155274853800543.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-8, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-oct2-155274853800543
=====================================================================
--------------------
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 20K Feb 13 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Feb 13 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K 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.4K Feb 13 08:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 13 08:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 13 08:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.6K Feb 13 08:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Feb 13 08:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 13 08:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 13 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K 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-8-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553923720574
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ RERS17pb115-PT-8 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ RERS17pb115-PT-8
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, 44 fired transitions, 0 secs
lola: 0 generators; 977901 candidates remain ( 0%), 0 secs
lola: 1 tries, 82 fired transitions, 5 secs
lola: 0 generators; 977901 candidates remain ( 0%), 5 secs
lola: 1 tries, 122 fired transitions, 10 secs
lola: 0 generators; 977901 candidates remain ( 0%), 10 secs
lola: 1 tries, 162 fired transitions, 15 secs
lola: 0 generators; 977901 candidates remain ( 0%), 15 secs
lola: 1 tries, 189 fired transitions, 20 secs
lola: 51 generators; 561 candidates remain ( 8%), 20 secs
lola: 1 tries, 207 fired transitions, 25 secs
lola: 105 generators; 300 candidates remain (25%), 25 secs
lola: 1 tries, 230 fired transitions, 30 secs
lola: 161 generators; 55 candidates remain (74%), 30 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, 275 fired transitions, 35 secs || 36 markings, 35 edges, 7 markings/sec, 35 secs
lola: 1 tries, 317 fired transitions, 40 secs || 75 markings, 74 edges, 8 markings/sec, 40 secs
lola: 1 tries, 340 fired transitions, 45 secs || 99 markings, 98 edges, 5 markings/sec, 45 secs
lola: 1 tries, 363 fired transitions, 50 secs || 121 markings, 120 edges, 4 markings/sec, 50 secs
lola: 1 tries, 386 fired transitions, 55 secs || 144 markings, 143 edges, 5 markings/sec, 55 secs
lola: 1 tries, 408 fired transitions, 60 secs || 166 markings, 165 edges, 4 markings/sec, 60 secs
lola: 1 tries, 451 fired transitions, 65 secs || 209 markings, 208 edges, 9 markings/sec, 65 secs
lola: 1 tries, 500 fired transitions, 70 secs || 258 markings, 257 edges, 10 markings/sec, 70 secs
lola: 1 tries, 548 fired transitions, 75 secs || 306 markings, 305 edges, 10 markings/sec, 75 secs
lola: 1 tries, 589 fired transitions, 80 secs || 346 markings, 345 edges, 8 markings/sec, 80 secs
lola: 1 tries, 638 fired transitions, 85 secs || 392 markings, 391 edges, 9 markings/sec, 85 secs
lola: 1 tries, 687 fired transitions, 90 secs || 441 markings, 440 edges, 10 markings/sec, 90 secs
lola: 1 tries, 738 fired transitions, 95 secs || 486 markings, 485 edges, 9 markings/sec, 95 secs
lola: 1 tries, 789 fired transitions, 100 secs || 531 markings, 530 edges, 9 markings/sec, 100 secs
lola: 1 tries, 841 fired transitions, 105 secs || 577 markings, 576 edges, 9 markings/sec, 105 secs
lola: 1 tries, 891 fired transitions, 110 secs || 621 markings, 620 edges, 9 markings/sec, 110 secs
lola: 1 tries, 918 fired transitions, 115 secs || 648 markings, 647 edges, 5 markings/sec, 115 secs
lola: 1 tries, 940 fired transitions, 120 secs || 670 markings, 669 edges, 4 markings/sec, 120 secs
lola: 1 tries, 962 fired transitions, 125 secs || 692 markings, 691 edges, 4 markings/sec, 125 secs
lola: 1 tries, 984 fired transitions, 130 secs || 714 markings, 713 edges, 4 markings/sec, 130 secs
lola: 1 tries, 1006 fired transitions, 135 secs || 736 markings, 735 edges, 4 markings/sec, 135 secs
lola: 1 tries, 1050 fired transitions, 140 secs || 780 markings, 779 edges, 9 markings/sec, 140 secs
lola: 1 tries, 1101 fired transitions, 145 secs || 831 markings, 830 edges, 10 markings/sec, 145 secs
lola: 1 tries, 1153 fired transitions, 150 secs || 883 markings, 882 edges, 10 markings/sec, 150 secs
lola: 1 tries, 1206 fired transitions, 155 secs || 936 markings, 935 edges, 11 markings/sec, 155 secs
lola: 1 tries, 1258 fired transitions, 160 secs || 988 markings, 987 edges, 10 markings/sec, 160 secs
lola: 1 tries, 1310 fired transitions, 165 secs || 1040 markings, 1039 edges, 10 markings/sec, 165 secs
lola: 1 tries, 1359 fired transitions, 170 secs || 1089 markings, 1088 edges, 10 markings/sec, 170 secs
lola: 1 tries, 1405 fired transitions, 175 secs || 1138 markings, 1137 edges, 10 markings/sec, 175 secs
lola: 1 tries, 1453 fired transitions, 180 secs || 1188 markings, 1187 edges, 10 markings/sec, 180 secs
lola: 1 tries, 1501 fired transitions, 185 secs || 1238 markings, 1237 edges, 10 markings/sec, 185 secs
lola: 1 tries, 1550 fired transitions, 190 secs || 1288 markings, 1287 edges, 10 markings/sec, 190 secs
lola: 1 tries, 1597 fired transitions, 195 secs || 1338 markings, 1337 edges, 10 markings/sec, 195 secs
lola: 1 tries, 1643 fired transitions, 200 secs || 1386 markings, 1385 edges, 10 markings/sec, 200 secs
lola: 1 tries, 1668 fired transitions, 205 secs || 1410 markings, 1409 edges, 5 markings/sec, 205 secs
lola: 1 tries, 1693 fired transitions, 210 secs || 1435 markings, 1434 edges, 5 markings/sec, 210 secs
lola: 1 tries, 1718 fired transitions, 215 secs || 1460 markings, 1459 edges, 5 markings/sec, 215 secs
lola: 1 tries, 1753 fired transitions, 220 secs || 1493 markings, 1492 edges, 7 markings/sec, 220 secs
lola: 1 tries, 1804 fired transitions, 225 secs || 1543 markings, 1542 edges, 10 markings/sec, 225 secs
lola: 1 tries, 1855 fired transitions, 230 secs || 1594 markings, 1593 edges, 10 markings/sec, 230 secs
lola: 1 tries, 1906 fired transitions, 235 secs || 1645 markings, 1644 edges, 10 markings/sec, 235 secs
lola: 1 tries, 1958 fired transitions, 240 secs || 1697 markings, 1696 edges, 10 markings/sec, 240 secs
lola: 1 tries, 2009 fired transitions, 245 secs || 1748 markings, 1747 edges, 10 markings/sec, 245 secs
lola: 1 tries, 2060 fired transitions, 250 secs || 1799 markings, 1798 edges, 10 markings/sec, 250 secs
lola: 1 tries, 2111 fired transitions, 255 secs || 1850 markings, 1849 edges, 10 markings/sec, 255 secs
lola: 1 tries, 2157 fired transitions, 260 secs || 1896 markings, 1895 edges, 9 markings/sec, 260 secs
lola: 1 tries, 2181 fired transitions, 265 secs || 1920 markings, 1919 edges, 5 markings/sec, 265 secs
lola: 1 tries, 2205 fired transitions, 270 secs || 1944 markings, 1943 edges, 5 markings/sec, 270 secs
lola: 1 tries, 2230 fired transitions, 275 secs || 1968 markings, 1967 edges, 5 markings/sec, 275 secs
lola: 1 tries, 2255 fired transitions, 280 secs || 1992 markings, 1991 edges, 5 markings/sec, 280 secs
lola: 1 tries, 2279 fired transitions, 285 secs || 2016 markings, 2015 edges, 5 markings/sec, 285 secs
lola: 1 tries, 2304 fired transitions, 290 secs || 2041 markings, 2040 edges, 5 markings/sec, 290 secs
lola: 1 tries, 2328 fired transitions, 295 secs || 2065 markings, 2064 edges, 5 markings/sec, 295 secs
lola: 1 tries, 2353 fired transitions, 300 secs || 2089 markings, 2088 edges, 5 markings/sec, 300 secs
lola: 1 tries, 2384 fired transitions, 305 secs || 2119 markings, 2118 edges, 6 markings/sec, 305 secs
lola: 1 tries, 2418 fired transitions, 310 secs || 2153 markings, 2152 edges, 7 markings/sec, 310 secs
lola: 1 tries, 2458 fired transitions, 315 secs || 2193 markings, 2192 edges, 8 markings/sec, 315 secs
lola: 1 tries, 2483 fired transitions, 320 secs || 2217 markings, 2216 edges, 5 markings/sec, 320 secs
lola: 1 tries, 2507 fired transitions, 325 secs || 2242 markings, 2241 edges, 5 markings/sec, 325 secs
lola: 1 tries, 2532 fired transitions, 330 secs || 2266 markings, 2265 edges, 5 markings/sec, 330 secs
lola: 1 tries, 2557 fired transitions, 335 secs || 2291 markings, 2290 edges, 5 markings/sec, 335 secs
lola: 1 tries, 2582 fired transitions, 340 secs || 2315 markings, 2314 edges, 5 markings/sec, 340 secs
lola: 1 tries, 2607 fired transitions, 345 secs || 2340 markings, 2339 edges, 5 markings/sec, 345 secs
lola: 1 tries, 2632 fired transitions, 350 secs || 2364 markings, 2363 edges, 5 markings/sec, 350 secs
lola: 1 tries, 2658 fired transitions, 355 secs || 2389 markings, 2388 edges, 5 markings/sec, 355 secs
lola: 1 tries, 2682 fired transitions, 360 secs || 2414 markings, 2413 edges, 5 markings/sec, 360 secs
lola: 1 tries, 2708 fired transitions, 365 secs || 2439 markings, 2438 edges, 5 markings/sec, 365 secs
lola: 1 tries, 2733 fired transitions, 370 secs || 2464 markings, 2463 edges, 5 markings/sec, 370 secs
lola: 1 tries, 2758 fired transitions, 375 secs || 2489 markings, 2488 edges, 5 markings/sec, 375 secs
lola: 1 tries, 2783 fired transitions, 380 secs || 2513 markings, 2512 edges, 5 markings/sec, 380 secs
lola: 1 tries, 2808 fired transitions, 385 secs || 2538 markings, 2537 edges, 5 markings/sec, 385 secs
lola: 1 tries, 2833 fired transitions, 390 secs || 2563 markings, 2562 edges, 5 markings/sec, 390 secs
lola: 1 tries, 2859 fired transitions, 395 secs || 2588 markings, 2587 edges, 5 markings/sec, 395 secs
lola: 1 tries, 2884 fired transitions, 400 secs || 2613 markings, 2612 edges, 5 markings/sec, 400 secs
lola: 1 tries, 2909 fired transitions, 405 secs || 2638 markings, 2637 edges, 5 markings/sec, 405 secs
lola: 1 tries, 2934 fired transitions, 410 secs || 2663 markings, 2662 edges, 5 markings/sec, 410 secs
lola: 1 tries, 2959 fired transitions, 415 secs || 2687 markings, 2686 edges, 5 markings/sec, 415 secs
lola: 1 tries, 2984 fired transitions, 420 secs || 2712 markings, 2711 edges, 5 markings/sec, 420 secs
lola: 1 tries, 3010 fired transitions, 425 secs || 2737 markings, 2736 edges, 5 markings/sec, 425 secs
lola: 1 tries, 3035 fired transitions, 430 secs || 2762 markings, 2761 edges, 5 markings/sec, 430 secs
lola: 1 tries, 3060 fired transitions, 435 secs || 2787 markings, 2786 edges, 5 markings/sec, 435 secs
lola: 1 tries, 3086 fired transitions, 440 secs || 2813 markings, 2812 edges, 5 markings/sec, 440 secs
lola: 1 tries, 3111 fired transitions, 445 secs || 2837 markings, 2836 edges, 5 markings/sec, 445 secs
lola: 1 tries, 3136 fired transitions, 450 secs || 2862 markings, 2861 edges, 5 markings/sec, 450 secs
lola: 1 tries, 3162 fired transitions, 455 secs || 2887 markings, 2886 edges, 5 markings/sec, 455 secs
lola: 1 tries, 3188 fired transitions, 460 secs || 2912 markings, 2911 edges, 5 markings/sec, 460 secs
lola: 1 tries, 3214 fired transitions, 465 secs || 2938 markings, 2937 edges, 5 markings/sec, 465 secs
lola: 1 tries, 3240 fired transitions, 470 secs || 2964 markings, 2963 edges, 5 markings/sec, 470 secs
lola: 1 tries, 3267 fired transitions, 475 secs || 2991 markings, 2990 edges, 5 markings/sec, 475 secs
lola: 1 tries, 3293 fired transitions, 480 secs || 3017 markings, 3016 edges, 5 markings/sec, 480 secs
lola: 1 tries, 3319 fired transitions, 485 secs || 3043 markings, 3042 edges, 5 markings/sec, 485 secs
lola: 1 tries, 3346 fired transitions, 490 secs || 3069 markings, 3068 edges, 5 markings/sec, 490 secs
lola: 1 tries, 3372 fired transitions, 495 secs || 3095 markings, 3094 edges, 5 markings/sec, 495 secs
lola: 1 tries, 3399 fired transitions, 500 secs || 3122 markings, 3121 edges, 5 markings/sec, 500 secs
lola: 1 tries, 3425 fired transitions, 505 secs || 3148 markings, 3147 edges, 5 markings/sec, 505 secs
lola: 1 tries, 3451 fired transitions, 510 secs || 3174 markings, 3173 edges, 5 markings/sec, 510 secs
lola: 1 tries, 3478 fired transitions, 515 secs || 3201 markings, 3200 edges, 5 markings/sec, 515 secs
lola: 1 tries, 3505 fired transitions, 520 secs || 3228 markings, 3227 edges, 5 markings/sec, 520 secs
lola: 1 tries, 3532 fired transitions, 525 secs || 3255 markings, 3254 edges, 5 markings/sec, 525 secs
lola: 1 tries, 3559 fired transitions, 530 secs || 3282 markings, 3281 edges, 5 markings/sec, 530 secs
lola: 1 tries, 3585 fired transitions, 535 secs || 3308 markings, 3307 edges, 5 markings/sec, 535 secs
lola: 1 tries, 3612 fired transitions, 540 secs || 3335 markings, 3334 edges, 5 markings/sec, 540 secs
lola: 1 tries, 3639 fired transitions, 545 secs || 3362 markings, 3361 edges, 5 markings/sec, 545 secs
lola: 1 tries, 3666 fired transitions, 550 secs || 3389 markings, 3388 edges, 5 markings/sec, 550 secs
lola: 1 tries, 3693 fired transitions, 555 secs || 3416 markings, 3415 edges, 5 markings/sec, 555 secs
lola: 1 tries, 3719 fired transitions, 560 secs || 3441 markings, 3440 edges, 5 markings/sec, 560 secs
lola: 1 tries, 3768 fired transitions, 565 secs || 3487 markings, 3486 edges, 9 markings/sec, 565 secs
lola: 1 tries, 3823 fired transitions, 570 secs || 3537 markings, 3536 edges, 10 markings/sec, 570 secs
lola: 1 tries, 3878 fired transitions, 575 secs || 3586 markings, 3585 edges, 10 markings/sec, 575 secs
lola: 1 tries, 3933 fired transitions, 580 secs || 3636 markings, 3635 edges, 10 markings/sec, 580 secs
lola: 1 tries, 3987 fired transitions, 585 secs || 3685 markings, 3684 edges, 10 markings/sec, 585 secs
lola: 1 tries, 4042 fired transitions, 590 secs || 3735 markings, 3734 edges, 10 markings/sec, 590 secs
lola: 1 tries, 4092 fired transitions, 595 secs || 3786 markings, 3785 edges, 10 markings/sec, 595 secs
lola: 1 tries, 4139 fired transitions, 600 secs || 3838 markings, 3837 edges, 10 markings/sec, 600 secs
lola: 1 tries, 4187 fired transitions, 605 secs || 3889 markings, 3888 edges, 10 markings/sec, 605 secs
lola: 1 tries, 4237 fired transitions, 610 secs || 3940 markings, 3939 edges, 10 markings/sec, 610 secs
lola: 1 tries, 4288 fired transitions, 615 secs || 3991 markings, 3990 edges, 10 markings/sec, 615 secs
lola: 1 tries, 4337 fired transitions, 620 secs || 4043 markings, 4042 edges, 10 markings/sec, 620 secs
lola: 1 tries, 4388 fired transitions, 625 secs || 4094 markings, 4093 edges, 10 markings/sec, 625 secs
lola: 1 tries, 4431 fired transitions, 630 secs || 4140 markings, 4139 edges, 9 markings/sec, 630 secs
lola: 1 tries, 4477 fired transitions, 635 secs || 4192 markings, 4191 edges, 10 markings/sec, 635 secs
lola: 1 tries, 4524 fired transitions, 640 secs || 4245 markings, 4244 edges, 11 markings/sec, 640 secs
lola: 1 tries, 4572 fired transitions, 645 secs || 4299 markings, 4298 edges, 11 markings/sec, 645 secs
lola: 1 tries, 4620 fired transitions, 650 secs || 4352 markings, 4351 edges, 11 markings/sec, 650 secs
lola: 1 tries, 4668 fired transitions, 655 secs || 4405 markings, 4404 edges, 11 markings/sec, 655 secs
lola: 1 tries, 4716 fired transitions, 660 secs || 4459 markings, 4458 edges, 11 markings/sec, 660 secs
lola: 1 tries, 4763 fired transitions, 665 secs || 4512 markings, 4511 edges, 11 markings/sec, 665 secs
lola: 1 tries, 4809 fired transitions, 670 secs || 4565 markings, 4564 edges, 11 markings/sec, 670 secs
lola: 1 tries, 4856 fired transitions, 675 secs || 4619 markings, 4618 edges, 11 markings/sec, 675 secs
lola: 1 tries, 4902 fired transitions, 680 secs || 4672 markings, 4671 edges, 11 markings/sec, 680 secs
lola: 1 tries, 4948 fired transitions, 685 secs || 4725 markings, 4724 edges, 11 markings/sec, 685 secs
lola: 1 tries, 4995 fired transitions, 690 secs || 4776 markings, 4775 edges, 10 markings/sec, 690 secs
lola: 1 tries, 5042 fired transitions, 695 secs || 4824 markings, 4823 edges, 10 markings/sec, 695 secs
lola: 1 tries, 5089 fired transitions, 700 secs || 4871 markings, 4870 edges, 9 markings/sec, 700 secs
lola: 1 tries, 5136 fired transitions, 705 secs || 4919 markings, 4918 edges, 10 markings/sec, 705 secs
lola: 1 tries, 5183 fired transitions, 710 secs || 4968 markings, 4967 edges, 10 markings/sec, 710 secs
lola: 1 tries, 5230 fired transitions, 715 secs || 5015 markings, 5014 edges, 9 markings/sec, 715 secs
lola: 1 tries, 5277 fired transitions, 720 secs || 5064 markings, 5063 edges, 10 markings/sec, 720 secs
lola: 1 tries, 5324 fired transitions, 725 secs || 5113 markings, 5112 edges, 10 markings/sec, 725 secs
lola: 1 tries, 5371 fired transitions, 730 secs || 5163 markings, 5162 edges, 10 markings/sec, 730 secs
lola: 1 tries, 5419 fired transitions, 735 secs || 5213 markings, 5212 edges, 10 markings/sec, 735 secs
lola: 1 tries, 5466 fired transitions, 740 secs || 5263 markings, 5262 edges, 10 markings/sec, 740 secs
lola: 1 tries, 5513 fired transitions, 745 secs || 5313 markings, 5312 edges, 10 markings/sec, 745 secs
lola: 1 tries, 5560 fired transitions, 750 secs || 5364 markings, 5363 edges, 10 markings/sec, 750 secs
lola: 1 tries, 5607 fired transitions, 755 secs || 5415 markings, 5414 edges, 10 markings/sec, 755 secs
lola: 1 tries, 5654 fired transitions, 760 secs || 5467 markings, 5466 edges, 10 markings/sec, 760 secs
lola: 1 tries, 5701 fired transitions, 765 secs || 5516 markings, 5515 edges, 10 markings/sec, 765 secs
lola: 1 tries, 5748 fired transitions, 770 secs || 5567 markings, 5566 edges, 10 markings/sec, 770 secs
lola: 1 tries, 5795 fired transitions, 775 secs || 5618 markings, 5617 edges, 10 markings/sec, 775 secs
lola: 1 tries, 5842 fired transitions, 780 secs || 5669 markings, 5668 edges, 10 markings/sec, 780 secs
lola: 1 tries, 5889 fired transitions, 785 secs || 5720 markings, 5719 edges, 10 markings/sec, 785 secs
lola: 1 tries, 5936 fired transitions, 790 secs || 5772 markings, 5771 edges, 10 markings/sec, 790 secs
lola: 1 tries, 5983 fired transitions, 795 secs || 5823 markings, 5822 edges, 10 markings/sec, 795 secs
lola: 1 tries, 6030 fired transitions, 800 secs || 5875 markings, 5874 edges, 10 markings/sec, 800 secs
lola: 1 tries, 6077 fired transitions, 805 secs || 5927 markings, 5926 edges, 10 markings/sec, 805 secs
lola: 1 tries, 6124 fired transitions, 810 secs || 5978 markings, 5977 edges, 10 markings/sec, 810 secs
lola: 1 tries, 6171 fired transitions, 815 secs || 6029 markings, 6028 edges, 10 markings/sec, 815 secs
lola: 1 tries, 6215 fired transitions, 820 secs || 6072 markings, 6071 edges, 9 markings/sec, 820 secs
lola: 1 tries, 6268 fired transitions, 825 secs || 6119 markings, 6118 edges, 9 markings/sec, 825 secs
lola: 1 tries, 6319 fired transitions, 830 secs || 6165 markings, 6164 edges, 9 markings/sec, 830 secs
lola: 1 tries, 6371 fired transitions, 835 secs || 6211 markings, 6210 edges, 9 markings/sec, 835 secs
lola: 1 tries, 6423 fired transitions, 840 secs || 6258 markings, 6257 edges, 9 markings/sec, 840 secs
lola: 1 tries, 6474 fired transitions, 845 secs || 6305 markings, 6304 edges, 9 markings/sec, 845 secs
lola: 1 tries, 6526 fired transitions, 850 secs || 6353 markings, 6352 edges, 10 markings/sec, 850 secs
lola: 1 tries, 6577 fired transitions, 855 secs || 6400 markings, 6399 edges, 9 markings/sec, 855 secs
lola: 1 tries, 6629 fired transitions, 860 secs || 6446 markings, 6445 edges, 9 markings/sec, 860 secs
lola: 1 tries, 6682 fired transitions, 865 secs || 6492 markings, 6491 edges, 9 markings/sec, 865 secs
lola: 1 tries, 6732 fired transitions, 870 secs || 6539 markings, 6538 edges, 9 markings/sec, 870 secs
lola: 1 tries, 6783 fired transitions, 875 secs || 6585 markings, 6584 edges, 9 markings/sec, 875 secs
lola: 1 tries, 6835 fired transitions, 880 secs || 6631 markings, 6630 edges, 9 markings/sec, 880 secs
lola: 1 tries, 6887 fired transitions, 885 secs || 6678 markings, 6677 edges, 9 markings/sec, 885 secs
lola: 1 tries, 6939 fired transitions, 890 secs || 6725 markings, 6724 edges, 9 markings/sec, 890 secs
lola: 1 tries, 6991 fired transitions, 895 secs || 6772 markings, 6771 edges, 9 markings/sec, 895 secs
lola: 1 tries, 7043 fired transitions, 900 secs || 6818 markings, 6817 edges, 9 markings/sec, 900 secs
lola: 1 tries, 7096 fired transitions, 905 secs || 6865 markings, 6864 edges, 9 markings/sec, 905 secs
lola: 1 tries, 7148 fired transitions, 910 secs || 6912 markings, 6911 edges, 9 markings/sec, 910 secs
lola: 1 tries, 7200 fired transitions, 915 secs || 6959 markings, 6958 edges, 9 markings/sec, 915 secs
lola: 1 tries, 7253 fired transitions, 920 secs || 7007 markings, 7006 edges, 10 markings/sec, 920 secs
lola: 1 tries, 7306 fired transitions, 925 secs || 7054 markings, 7053 edges, 9 markings/sec, 925 secs
lola: 1 tries, 7359 fired transitions, 930 secs || 7101 markings, 7100 edges, 9 markings/sec, 930 secs
lola: 1 tries, 7413 fired transitions, 935 secs || 7149 markings, 7148 edges, 10 markings/sec, 935 secs
lola: 1 tries, 7466 fired transitions, 940 secs || 7196 markings, 7195 edges, 9 markings/sec, 940 secs
lola: 1 tries, 7519 fired transitions, 945 secs || 7243 markings, 7242 edges, 9 markings/sec, 945 secs
lola: 1 tries, 7573 fired transitions, 950 secs || 7291 markings, 7290 edges, 10 markings/sec, 950 secs
lola: 1 tries, 7626 fired transitions, 955 secs || 7338 markings, 7337 edges, 9 markings/sec, 955 secs
lola: 1 tries, 7679 fired transitions, 960 secs || 7386 markings, 7385 edges, 10 markings/sec, 960 secs
lola: 1 tries, 7732 fired transitions, 965 secs || 7433 markings, 7432 edges, 9 markings/sec, 965 secs
lola: 1 tries, 7786 fired transitions, 970 secs || 7481 markings, 7480 edges, 10 markings/sec, 970 secs
lola: 1 tries, 7839 fired transitions, 975 secs || 7528 markings, 7527 edges, 9 markings/sec, 975 secs
lola: 1 tries, 7892 fired transitions, 980 secs || 7576 markings, 7575 edges, 10 markings/sec, 980 secs
lola: 1 tries, 7945 fired transitions, 985 secs || 7624 markings, 7623 edges, 10 markings/sec, 985 secs
lola: 1 tries, 7998 fired transitions, 990 secs || 7671 markings, 7670 edges, 9 markings/sec, 990 secs
lola: 1 tries, 8051 fired transitions, 995 secs || 7718 markings, 7717 edges, 9 markings/sec, 995 secs
lola: 1 tries, 8105 fired transitions, 1000 secs || 7765 markings, 7764 edges, 9 markings/sec, 1000 secs
lola: 1 tries, 8158 fired transitions, 1005 secs || 7812 markings, 7811 edges, 9 markings/sec, 1005 secs
lola: 1 tries, 8211 fired transitions, 1010 secs || 7860 markings, 7859 edges, 10 markings/sec, 1010 secs
lola: 1 tries, 8264 fired transitions, 1015 secs || 7907 markings, 7906 edges, 9 markings/sec, 1015 secs
lola: 1 tries, 8317 fired transitions, 1020 secs || 7955 markings, 7954 edges, 10 markings/sec, 1020 secs
lola: 1 tries, 8370 fired transitions, 1025 secs || 8002 markings, 8001 edges, 9 markings/sec, 1025 secs
lola: 1 tries, 8423 fired transitions, 1030 secs || 8050 markings, 8049 edges, 10 markings/sec, 1030 secs
lola: 1 tries, 8477 fired transitions, 1035 secs || 8099 markings, 8098 edges, 10 markings/sec, 1035 secs
lola: 1 tries, 8530 fired transitions, 1040 secs || 8149 markings, 8148 edges, 10 markings/sec, 1040 secs
lola: 1 tries, 8583 fired transitions, 1045 secs || 8200 markings, 8199 edges, 10 markings/sec, 1045 secs
lola: 1 tries, 8636 fired transitions, 1050 secs || 8249 markings, 8248 edges, 10 markings/sec, 1050 secs
lola: 1 tries, 8690 fired transitions, 1055 secs || 8299 markings, 8298 edges, 10 markings/sec, 1055 secs
lola: 1 tries, 8744 fired transitions, 1060 secs || 8350 markings, 8349 edges, 10 markings/sec, 1060 secs
lola: 1 tries, 8797 fired transitions, 1065 secs || 8401 markings, 8400 edges, 10 markings/sec, 1065 secs
lola: 1 tries, 8851 fired transitions, 1070 secs || 8451 markings, 8450 edges, 10 markings/sec, 1070 secs
lola: 1 tries, 8904 fired transitions, 1075 secs || 8500 markings, 8499 edges, 10 markings/sec, 1075 secs
lola: 1 tries, 8958 fired transitions, 1080 secs || 8551 markings, 8550 edges, 10 markings/sec, 1080 secs
lola: 1 tries, 9011 fired transitions, 1085 secs || 8600 markings, 8599 edges, 10 markings/sec, 1085 secs
lola: 1 tries, 9065 fired transitions, 1090 secs || 8651 markings, 8650 edges, 10 markings/sec, 1090 secs
lola: 1 tries, 9118 fired transitions, 1095 secs || 8702 markings, 8701 edges, 10 markings/sec, 1095 secs
lola: 1 tries, 9172 fired transitions, 1100 secs || 8753 markings, 8752 edges, 10 markings/sec, 1100 secs
lola: 1 tries, 9226 fired transitions, 1105 secs || 8804 markings, 8803 edges, 10 markings/sec, 1105 secs
lola: 1 tries, 9279 fired transitions, 1110 secs || 8855 markings, 8854 edges, 10 markings/sec, 1110 secs
lola: 1 tries, 9333 fired transitions, 1115 secs || 8906 markings, 8905 edges, 10 markings/sec, 1115 secs
lola: 1 tries, 9386 fired transitions, 1120 secs || 8957 markings, 8956 edges, 10 markings/sec, 1120 secs
lola: 1 tries, 9440 fired transitions, 1125 secs || 9008 markings, 9007 edges, 10 markings/sec, 1125 secs
lola: 1 tries, 9494 fired transitions, 1130 secs || 9059 markings, 9058 edges, 10 markings/sec, 1130 secs
lola: 1 tries, 9548 fired transitions, 1135 secs || 9110 markings, 9109 edges, 10 markings/sec, 1135 secs
lola: 1 tries, 9602 fired transitions, 1140 secs || 9161 markings, 9160 edges, 10 markings/sec, 1140 secs
lola: 1 tries, 9656 fired transitions, 1145 secs || 9214 markings, 9213 edges, 11 markings/sec, 1145 secs
lola: 1 tries, 9710 fired transitions, 1150 secs || 9268 markings, 9267 edges, 11 markings/sec, 1150 secs
lola: 1 tries, 9763 fired transitions, 1155 secs || 9321 markings, 9320 edges, 11 markings/sec, 1155 secs
lola: 1 tries, 9816 fired transitions, 1160 secs || 9374 markings, 9373 edges, 11 markings/sec, 1160 secs
lola: 1 tries, 9869 fired transitions, 1165 secs || 9427 markings, 9426 edges, 11 markings/sec, 1165 secs
lola: 1 tries, 9922 fired transitions, 1170 secs || 9480 markings, 9479 edges, 11 markings/sec, 1170 secs
lola: 1 tries, 9975 fired transitions, 1175 secs || 9533 markings, 9532 edges, 11 markings/sec, 1175 secs
lola: 1 tries, 10028 fired transitions, 1180 secs || 9586 markings, 9585 edges, 11 markings/sec, 1180 secs
lola: 1 tries, 10080 fired transitions, 1185 secs || 9638 markings, 9637 edges, 10 markings/sec, 1185 secs
lola: 1 tries, 10133 fired transitions, 1190 secs || 9691 markings, 9690 edges, 11 markings/sec, 1190 secs
lola: 1 tries, 10184 fired transitions, 1195 secs || 9744 markings, 9743 edges, 11 markings/sec, 1195 secs
lola: 1 tries, 10234 fired transitions, 1200 secs || 9796 markings, 9795 edges, 10 markings/sec, 1200 secs
lola: 1 tries, 10286 fired transitions, 1205 secs || 9848 markings, 9847 edges, 10 markings/sec, 1205 secs
lola: 1 tries, 10338 fired transitions, 1210 secs || 9900 markings, 9899 edges, 10 markings/sec, 1210 secs
lola: 1 tries, 10390 fired transitions, 1215 secs || 9952 markings, 9951 edges, 10 markings/sec, 1215 secs
lola: 1 tries, 10441 fired transitions, 1220 secs || 10003 markings, 10002 edges, 10 markings/sec, 1220 secs
lola: 1 tries, 10492 fired transitions, 1225 secs || 10055 markings, 10054 edges, 10 markings/sec, 1225 secs
lola: 1 tries, 10545 fired transitions, 1230 secs || 10107 markings, 10106 edges, 10 markings/sec, 1230 secs
lola: 1 tries, 10598 fired transitions, 1235 secs || 10160 markings, 10159 edges, 11 markings/sec, 1235 secs
lola: 1 tries, 10651 fired transitions, 1240 secs || 10212 markings, 10211 edges, 10 markings/sec, 1240 secs
lola: 1 tries, 10704 fired transitions, 1245 secs || 10265 markings, 10264 edges, 11 markings/sec, 1245 secs
lola: 1 tries, 10758 fired transitions, 1250 secs || 10316 markings, 10315 edges, 10 markings/sec, 1250 secs
lola: 1 tries, 10810 fired transitions, 1255 secs || 10368 markings, 10367 edges, 10 markings/sec, 1255 secs
lola: 1 tries, 10864 fired transitions, 1260 secs || 10418 markings, 10417 edges, 10 markings/sec, 1260 secs
lola: 1 tries, 10916 fired transitions, 1265 secs || 10469 markings, 10468 edges, 10 markings/sec, 1265 secs
lola: 1 tries, 10969 fired transitions, 1270 secs || 10521 markings, 10520 edges, 10 markings/sec, 1270 secs
lola: 1 tries, 11022 fired transitions, 1275 secs || 10572 markings, 10571 edges, 10 markings/sec, 1275 secs
lola: 1 tries, 11074 fired transitions, 1280 secs || 10624 markings, 10623 edges, 10 markings/sec, 1280 secs
lola: 1 tries, 11126 fired transitions, 1285 secs || 10677 markings, 10676 edges, 11 markings/sec, 1285 secs
lola: 1 tries, 11177 fired transitions, 1290 secs || 10729 markings, 10728 edges, 10 markings/sec, 1290 secs
lola: 1 tries, 11229 fired transitions, 1295 secs || 10782 markings, 10781 edges, 11 markings/sec, 1295 secs
lola: 1 tries, 11280 fired transitions, 1300 secs || 10834 markings, 10833 edges, 10 markings/sec, 1300 secs
lola: 1 tries, 11333 fired transitions, 1305 secs || 10886 markings, 10885 edges, 10 markings/sec, 1305 secs
lola: 1 tries, 11387 fired transitions, 1310 secs || 10937 markings, 10936 edges, 10 markings/sec, 1310 secs
lola: 1 tries, 11441 fired transitions, 1315 secs || 10989 markings, 10988 edges, 10 markings/sec, 1315 secs
lola: 1 tries, 11494 fired transitions, 1320 secs || 11042 markings, 11041 edges, 11 markings/sec, 1320 secs
lola: 1 tries, 11546 fired transitions, 1325 secs || 11095 markings, 11094 edges, 11 markings/sec, 1325 secs
lola: 1 tries, 11598 fired transitions, 1330 secs || 11147 markings, 11146 edges, 10 markings/sec, 1330 secs
lola: 1 tries, 11651 fired transitions, 1335 secs || 11200 markings, 11199 edges, 11 markings/sec, 1335 secs
lola: 1 tries, 11702 fired transitions, 1340 secs || 11252 markings, 11251 edges, 10 markings/sec, 1340 secs
lola: 1 tries, 11754 fired transitions, 1345 secs || 11305 markings, 11304 edges, 11 markings/sec, 1345 secs
lola: 1 tries, 11805 fired transitions, 1350 secs || 11357 markings, 11356 edges, 10 markings/sec, 1350 secs
lola: 1 tries, 11857 fired transitions, 1355 secs || 11410 markings, 11409 edges, 11 markings/sec, 1355 secs
lola: 1 tries, 11909 fired transitions, 1360 secs || 11463 markings, 11462 edges, 11 markings/sec, 1360 secs
lola: 1 tries, 11964 fired transitions, 1365 secs || 11515 markings, 11514 edges, 10 markings/sec, 1365 secs
lola: 1 tries, 12017 fired transitions, 1370 secs || 11566 markings, 11565 edges, 10 markings/sec, 1370 secs
lola: 1 tries, 12071 fired transitions, 1375 secs || 11617 markings, 11616 edges, 10 markings/sec, 1375 secs
lola: 1 tries, 12125 fired transitions, 1380 secs || 11668 markings, 11667 edges, 10 markings/sec, 1380 secs
lola: 1 tries, 12179 fired transitions, 1385 secs || 11719 markings, 11718 edges, 10 markings/sec, 1385 secs
lola: 1 tries, 12232 fired transitions, 1390 secs || 11771 markings, 11770 edges, 10 markings/sec, 1390 secs
lola: 1 tries, 12284 fired transitions, 1395 secs || 11823 markings, 11822 edges, 10 markings/sec, 1395 secs
lola: 1 tries, 12336 fired transitions, 1400 secs || 11876 markings, 11875 edges, 11 markings/sec, 1400 secs
lola: 1 tries, 12390 fired transitions, 1405 secs || 11927 markings, 11926 edges, 10 markings/sec, 1405 secs
lola: 1 tries, 12444 fired transitions, 1410 secs || 11980 markings, 11979 edges, 11 markings/sec, 1410 secs
lola: 1 tries, 12498 fired transitions, 1415 secs || 12032 markings, 12031 edges, 10 markings/sec, 1415 secs
lola: 1 tries, 12551 fired transitions, 1420 secs || 12084 markings, 12083 edges, 10 markings/sec, 1420 secs
lola: 1 tries, 12604 fired transitions, 1425 secs || 12135 markings, 12134 edges, 10 markings/sec, 1425 secs
lola: 1 tries, 12658 fired transitions, 1430 secs || 12186 markings, 12185 edges, 10 markings/sec, 1430 secs
lola: 1 tries, 12711 fired transitions, 1435 secs || 12239 markings, 12238 edges, 11 markings/sec, 1435 secs
lola: 1 tries, 12764 fired transitions, 1440 secs || 12292 markings, 12291 edges, 11 markings/sec, 1440 secs
lola: 1 tries, 12818 fired transitions, 1445 secs || 12345 markings, 12344 edges, 11 markings/sec, 1445 secs
lola: 1 tries, 12872 fired transitions, 1450 secs || 12398 markings, 12397 edges, 11 markings/sec, 1450 secs
lola: 1 tries, 12925 fired transitions, 1455 secs || 12450 markings, 12449 edges, 10 markings/sec, 1455 secs
lola: 1 tries, 12978 fired transitions, 1460 secs || 12503 markings, 12502 edges, 11 markings/sec, 1460 secs
lola: 1 tries, 13032 fired transitions, 1465 secs || 12556 markings, 12555 edges, 11 markings/sec, 1465 secs
lola: 1 tries, 13085 fired transitions, 1470 secs || 12608 markings, 12607 edges, 10 markings/sec, 1470 secs
lola: 1 tries, 13139 fired transitions, 1475 secs || 12661 markings, 12660 edges, 11 markings/sec, 1475 secs
lola: 1 tries, 13193 fired transitions, 1480 secs || 12714 markings, 12713 edges, 11 markings/sec, 1480 secs
lola: 1 tries, 13246 fired transitions, 1485 secs || 12767 markings, 12766 edges, 11 markings/sec, 1485 secs
lola: 1 tries, 13299 fired transitions, 1490 secs || 12820 markings, 12819 edges, 11 markings/sec, 1490 secs
lola: 1 tries, 13355 fired transitions, 1495 secs || 12875 markings, 12874 edges, 11 markings/sec, 1495 secs
lola: 1 tries, 13410 fired transitions, 1500 secs || 12928 markings, 12927 edges, 11 markings/sec, 1500 secs
lola: 1 tries, 13464 fired transitions, 1505 secs || 12981 markings, 12980 edges, 11 markings/sec, 1505 secs
lola: 1 tries, 13517 fired transitions, 1510 secs || 13034 markings, 13033 edges, 11 markings/sec, 1510 secs
lola: 1 tries, 13571 fired transitions, 1515 secs || 13086 markings, 13085 edges, 10 markings/sec, 1515 secs
lola: 1 tries, 13625 fired transitions, 1520 secs || 13139 markings, 13138 edges, 11 markings/sec, 1520 secs
lola: 1 tries, 13681 fired transitions, 1525 secs || 13193 markings, 13192 edges, 11 markings/sec, 1525 secs
lola: 1 tries, 13737 fired transitions, 1530 secs || 13249 markings, 13248 edges, 11 markings/sec, 1530 secs
lola: 1 tries, 13793 fired transitions, 1535 secs || 13305 markings, 13304 edges, 11 markings/sec, 1535 secs
lola: 1 tries, 13848 fired transitions, 1540 secs || 13360 markings, 13359 edges, 11 markings/sec, 1540 secs
lola: 1 tries, 13902 fired transitions, 1545 secs || 13414 markings, 13413 edges, 11 markings/sec, 1545 secs
lola: 1 tries, 13956 fired transitions, 1550 secs || 13468 markings, 13467 edges, 11 markings/sec, 1550 secs
lola: 1 tries, 14011 fired transitions, 1555 secs || 13523 markings, 13522 edges, 11 markings/sec, 1555 secs
lola: 1 tries, 14065 fired transitions, 1560 secs || 13577 markings, 13576 edges, 11 markings/sec, 1560 secs
lola: 1 tries, 14120 fired transitions, 1565 secs || 13632 markings, 13631 edges, 11 markings/sec, 1565 secs
lola: 1 tries, 14174 fired transitions, 1570 secs || 13686 markings, 13685 edges, 11 markings/sec, 1570 secs
lola: 1 tries, 14228 fired transitions, 1575 secs || 13740 markings, 13739 edges, 11 markings/sec, 1575 secs
lola: 1 tries, 14283 fired transitions, 1580 secs || 13795 markings, 13794 edges, 11 markings/sec, 1580 secs
lola: 1 tries, 14337 fired transitions, 1585 secs || 13849 markings, 13848 edges, 11 markings/sec, 1585 secs
lola: 1 tries, 14392 fired transitions, 1590 secs || 13904 markings, 13903 edges, 11 markings/sec, 1590 secs
lola: 1 tries, 14446 fired transitions, 1595 secs || 13958 markings, 13957 edges, 11 markings/sec, 1595 secs
lola: 1 tries, 14500 fired transitions, 1600 secs || 14012 markings, 14011 edges, 11 markings/sec, 1600 secs
lola: 1 tries, 14554 fired transitions, 1605 secs || 14066 markings, 14065 edges, 11 markings/sec, 1605 secs
lola: 1 tries, 14608 fired transitions, 1610 secs || 14120 markings, 14119 edges, 11 markings/sec, 1610 secs
lola: 1 tries, 14662 fired transitions, 1615 secs || 14174 markings, 14173 edges, 11 markings/sec, 1615 secs
lola: 1 tries, 14717 fired transitions, 1620 secs || 14229 markings, 14228 edges, 11 markings/sec, 1620 secs
lola: 1 tries, 14770 fired transitions, 1625 secs || 14282 markings, 14281 edges, 11 markings/sec, 1625 secs
lola: 1 tries, 14824 fired transitions, 1630 secs || 14335 markings, 14334 edges, 11 markings/sec, 1630 secs
lola: 1 tries, 14878 fired transitions, 1635 secs || 14388 markings, 14387 edges, 11 markings/sec, 1635 secs
lola: 1 tries, 14933 fired transitions, 1640 secs || 14443 markings, 14442 edges, 11 markings/sec, 1640 secs
lola: 1 tries, 14988 fired transitions, 1645 secs || 14498 markings, 14497 edges, 11 markings/sec, 1645 secs
lola: 1 tries, 15043 fired transitions, 1650 secs || 14553 markings, 14552 edges, 11 markings/sec, 1650 secs
lola: 1 tries, 15098 fired transitions, 1655 secs || 14608 markings, 14607 edges, 11 markings/sec, 1655 secs
lola: 1 tries, 15152 fired transitions, 1660 secs || 14662 markings, 14661 edges, 11 markings/sec, 1660 secs
lola: 1 tries, 15207 fired transitions, 1665 secs || 14717 markings, 14716 edges, 11 markings/sec, 1665 secs
lola: 1 tries, 15262 fired transitions, 1670 secs || 14772 markings, 14771 edges, 11 markings/sec, 1670 secs
lola: 1 tries, 15317 fired transitions, 1675 secs || 14827 markings, 14826 edges, 11 markings/sec, 1675 secs
lola: 1 tries, 15372 fired transitions, 1680 secs || 14882 markings, 14881 edges, 11 markings/sec, 1680 secs
lola: 1 tries, 15426 fired transitions, 1685 secs || 14936 markings, 14935 edges, 11 markings/sec, 1685 secs
lola: 1 tries, 15481 fired transitions, 1690 secs || 14991 markings, 14990 edges, 11 markings/sec, 1690 secs
lola: 1 tries, 15536 fired transitions, 1695 secs || 15046 markings, 15045 edges, 11 markings/sec, 1695 secs
lola: 1 tries, 15591 fired transitions, 1700 secs || 15101 markings, 15100 edges, 11 markings/sec, 1700 secs
lola: 1 tries, 15645 fired transitions, 1705 secs || 15155 markings, 15154 edges, 11 markings/sec, 1705 secs
lola: 1 tries, 15700 fired transitions, 1710 secs || 15210 markings, 15209 edges, 11 markings/sec, 1710 secs
lola: 1 tries, 15755 fired transitions, 1715 secs || 15265 markings, 15264 edges, 11 markings/sec, 1715 secs
lola: 1 tries, 15810 fired transitions, 1720 secs || 15320 markings, 15319 edges, 11 markings/sec, 1720 secs
lola: 1 tries, 15864 fired transitions, 1725 secs || 15374 markings, 15373 edges, 11 markings/sec, 1725 secs
lola: 1 tries, 15919 fired transitions, 1730 secs || 15429 markings, 15428 edges, 11 markings/sec, 1730 secs
lola: 1 tries, 15974 fired transitions, 1735 secs || 15484 markings, 15483 edges, 11 markings/sec, 1735 secs
lola: 1 tries, 16029 fired transitions, 1740 secs || 15539 markings, 15538 edges, 11 markings/sec, 1740 secs
lola: 1 tries, 16084 fired transitions, 1745 secs || 15594 markings, 15593 edges, 11 markings/sec, 1745 secs
lola: 1 tries, 16140 fired transitions, 1750 secs || 15650 markings, 15649 edges, 11 markings/sec, 1750 secs
lola: 1 tries, 16195 fired transitions, 1755 secs || 15705 markings, 15704 edges, 11 markings/sec, 1755 secs
lola: 1 tries, 16250 fired transitions, 1760 secs || 15760 markings, 15759 edges, 11 markings/sec, 1760 secs
lola: 1 tries, 16305 fired transitions, 1765 secs || 15815 markings, 15814 edges, 11 markings/sec, 1765 secs
lola: 1 tries, 16360 fired transitions, 1770 secs || 15870 markings, 15869 edges, 11 markings/sec, 1770 secs
lola: 1 tries, 16415 fired transitions, 1775 secs || 15925 markings, 15924 edges, 11 markings/sec, 1775 secs
lola: 1 tries, 16471 fired transitions, 1780 secs || 15981 markings, 15980 edges, 11 markings/sec, 1780 secs
lola: 1 tries, 16525 fired transitions, 1785 secs || 16035 markings, 16034 edges, 11 markings/sec, 1785 secs
lola: 1 tries, 16580 fired transitions, 1790 secs || 16088 markings, 16087 edges, 11 markings/sec, 1790 secs
lola: 1 tries, 16632 fired transitions, 1795 secs || 16141 markings, 16140 edges, 11 markings/sec, 1795 secs
lola: 1 tries, 16684 fired transitions, 1800 secs || 16193 markings, 16192 edges, 10 markings/sec, 1800 secs
lola: 1 tries, 16738 fired transitions, 1805 secs || 16246 markings, 16245 edges, 11 markings/sec, 1805 secs
lola: 1 tries, 16775 fired transitions, 1810 secs || 16284 markings, 16283 edges, 8 markings/sec, 1810 secs
lola: 1 tries, 16830 fired transitions, 1815 secs || 16340 markings, 16339 edges, 11 markings/sec, 1815 secs
lola: 1 tries, 16886 fired transitions, 1820 secs || 16396 markings, 16395 edges, 11 markings/sec, 1820 secs
lola: 1 tries, 16942 fired transitions, 1825 secs || 16452 markings, 16451 edges, 11 markings/sec, 1825 secs
lola: 1 tries, 16998 fired transitions, 1830 secs || 16508 markings, 16507 edges, 11 markings/sec, 1830 secs
lola: 1 tries, 17053 fired transitions, 1835 secs || 16563 markings, 16562 edges, 11 markings/sec, 1835 secs
lola: 1 tries, 17108 fired transitions, 1840 secs || 16618 markings, 16617 edges, 11 markings/sec, 1840 secs
lola: 1 tries, 17164 fired transitions, 1845 secs || 16674 markings, 16673 edges, 11 markings/sec, 1845 secs
lola: 1 tries, 17219 fired transitions, 1850 secs || 16729 markings, 16728 edges, 11 markings/sec, 1850 secs
lola: 1 tries, 17274 fired transitions, 1855 secs || 16784 markings, 16783 edges, 11 markings/sec, 1855 secs
lola: 1 tries, 17329 fired transitions, 1860 secs || 16839 markings, 16838 edges, 11 markings/sec, 1860 secs
lola: 1 tries, 17384 fired transitions, 1865 secs || 16894 markings, 16893 edges, 11 markings/sec, 1865 secs
lola: 1 tries, 17439 fired transitions, 1870 secs || 16949 markings, 16948 edges, 11 markings/sec, 1870 secs
lola: 1 tries, 17494 fired transitions, 1875 secs || 17004 markings, 17003 edges, 11 markings/sec, 1875 secs
lola: 1 tries, 17549 fired transitions, 1880 secs || 17059 markings, 17058 edges, 11 markings/sec, 1880 secs
lola: 1 tries, 17604 fired transitions, 1885 secs || 17114 markings, 17113 edges, 11 markings/sec, 1885 secs
lola: 1 tries, 17659 fired transitions, 1890 secs || 17169 markings, 17168 edges, 11 markings/sec, 1890 secs
lola: 1 tries, 17714 fired transitions, 1895 secs || 17224 markings, 17223 edges, 11 markings/sec, 1895 secs
lola: 1 tries, 17769 fired transitions, 1900 secs || 17279 markings, 17278 edges, 11 markings/sec, 1900 secs
lola: 1 tries, 17824 fired transitions, 1905 secs || 17334 markings, 17333 edges, 11 markings/sec, 1905 secs
lola: 1 tries, 17879 fired transitions, 1910 secs || 17389 markings, 17388 edges, 11 markings/sec, 1910 secs
lola: 1 tries, 17934 fired transitions, 1915 secs || 17444 markings, 17443 edges, 11 markings/sec, 1915 secs
lola: 1 tries, 17989 fired transitions, 1920 secs || 17499 markings, 17498 edges, 11 markings/sec, 1920 secs
lola: 1 tries, 18044 fired transitions, 1925 secs || 17554 markings, 17553 edges, 11 markings/sec, 1925 secs
lola: 1 tries, 18099 fired transitions, 1930 secs || 17609 markings, 17608 edges, 11 markings/sec, 1930 secs
lola: 1 tries, 18155 fired transitions, 1935 secs || 17665 markings, 17664 edges, 11 markings/sec, 1935 secs
lola: 1 tries, 18210 fired transitions, 1940 secs || 17720 markings, 17719 edges, 11 markings/sec, 1940 secs
lola: 1 tries, 18265 fired transitions, 1945 secs || 17775 markings, 17774 edges, 11 markings/sec, 1945 secs
lola: 1 tries, 18320 fired transitions, 1950 secs || 17830 markings, 17829 edges, 11 markings/sec, 1950 secs
lola: 1 tries, 18375 fired transitions, 1955 secs || 17885 markings, 17884 edges, 11 markings/sec, 1955 secs
lola: 1 tries, 18431 fired transitions, 1960 secs || 17941 markings, 17940 edges, 11 markings/sec, 1960 secs
lola: 1 tries, 18486 fired transitions, 1965 secs || 17996 markings, 17995 edges, 11 markings/sec, 1965 secs
lola: 1 tries, 18541 fired transitions, 1970 secs || 18051 markings, 18050 edges, 11 markings/sec, 1970 secs
lola: 1 tries, 18596 fired transitions, 1975 secs || 18106 markings, 18105 edges, 11 markings/sec, 1975 secs
lola: 1 tries, 18651 fired transitions, 1980 secs || 18161 markings, 18160 edges, 11 markings/sec, 1980 secs
lola: 1 tries, 18706 fired transitions, 1985 secs || 18216 markings, 18215 edges, 11 markings/sec, 1985 secs
lola: 1 tries, 18761 fired transitions, 1990 secs || 18271 markings, 18270 edges, 11 markings/sec, 1990 secs
lola: 1 tries, 18816 fired transitions, 1995 secs || 18325 markings, 18324 edges, 11 markings/sec, 1995 secs
lola: 1 tries, 18871 fired transitions, 2000 secs || 18379 markings, 18378 edges, 11 markings/sec, 2000 secs
lola: 1 tries, 18927 fired transitions, 2005 secs || 18434 markings, 18433 edges, 11 markings/sec, 2005 secs
lola: 1 tries, 18983 fired transitions, 2010 secs || 18490 markings, 18489 edges, 11 markings/sec, 2010 secs
lola: 1 tries, 19039 fired transitions, 2015 secs || 18546 markings, 18545 edges, 11 markings/sec, 2015 secs
lola: 1 tries, 19095 fired transitions, 2020 secs || 18602 markings, 18601 edges, 11 markings/sec, 2020 secs
lola: 1 tries, 19151 fired transitions, 2025 secs || 18658 markings, 18657 edges, 11 markings/sec, 2025 secs
lola: 1 tries, 19207 fired transitions, 2030 secs || 18714 markings, 18713 edges, 11 markings/sec, 2030 secs
lola: 1 tries, 19263 fired transitions, 2035 secs || 18770 markings, 18769 edges, 11 markings/sec, 2035 secs
lola: 1 tries, 19321 fired transitions, 2040 secs || 18825 markings, 18824 edges, 11 markings/sec, 2040 secs
lola: 1 tries, 19380 fired transitions, 2045 secs || 18880 markings, 18879 edges, 11 markings/sec, 2045 secs
lola: 1 tries, 19440 fired transitions, 2050 secs || 18934 markings, 18933 edges, 11 markings/sec, 2050 secs
lola: 1 tries, 19498 fired transitions, 2055 secs || 18989 markings, 18988 edges, 11 markings/sec, 2055 secs
lola: 1 tries, 19556 fired transitions, 2060 secs || 19043 markings, 19042 edges, 11 markings/sec, 2060 secs
lola: 1 tries, 19615 fired transitions, 2065 secs || 19097 markings, 19096 edges, 11 markings/sec, 2065 secs
lola: 1 tries, 19673 fired transitions, 2070 secs || 19152 markings, 19151 edges, 11 markings/sec, 2070 secs
lola: 1 tries, 19728 fired transitions, 2075 secs || 19203 markings, 19202 edges, 10 markings/sec, 2075 secs
lola: 1 tries, 19757 fired transitions, 2080 secs || 19231 markings, 19230 edges, 6 markings/sec, 2080 secs
lola: 1 tries, 19786 fired transitions, 2085 secs || 19260 markings, 19259 edges, 6 markings/sec, 2085 secs
lola: 1 tries, 19834 fired transitions, 2090 secs || 19306 markings, 19305 edges, 9 markings/sec, 2090 secs
lola: 1 tries, 19891 fired transitions, 2095 secs || 19365 markings, 19364 edges, 12 markings/sec, 2095 secs
lola: 1 tries, 19947 fired transitions, 2100 secs || 19423 markings, 19422 edges, 12 markings/sec, 2100 secs
lola: 1 tries, 20004 fired transitions, 2105 secs || 19481 markings, 19480 edges, 12 markings/sec, 2105 secs
lola: 1 tries, 20056 fired transitions, 2110 secs || 19536 markings, 19535 edges, 11 markings/sec, 2110 secs
lola: 1 tries, 20111 fired transitions, 2115 secs || 19594 markings, 19593 edges, 12 markings/sec, 2115 secs
lola: 1 tries, 20167 fired transitions, 2120 secs || 19651 markings, 19650 edges, 11 markings/sec, 2120 secs
lola: 1 tries, 20222 fired transitions, 2125 secs || 19709 markings, 19708 edges, 12 markings/sec, 2125 secs
lola: 1 tries, 20278 fired transitions, 2130 secs || 19767 markings, 19766 edges, 12 markings/sec, 2130 secs
lola: 1 tries, 20333 fired transitions, 2135 secs || 19826 markings, 19825 edges, 12 markings/sec, 2135 secs
lola: 1 tries, 20389 fired transitions, 2140 secs || 19884 markings, 19883 edges, 12 markings/sec, 2140 secs
lola: 1 tries, 20445 fired transitions, 2145 secs || 19942 markings, 19941 edges, 12 markings/sec, 2145 secs
lola: 1 tries, 20501 fired transitions, 2150 secs || 20001 markings, 20000 edges, 12 markings/sec, 2150 secs
lola: 1 tries, 20556 fired transitions, 2155 secs || 20059 markings, 20058 edges, 12 markings/sec, 2155 secs
lola: 1 tries, 20612 fired transitions, 2160 secs || 20118 markings, 20117 edges, 12 markings/sec, 2160 secs
lola: 1 tries, 20667 fired transitions, 2165 secs || 20176 markings, 20175 edges, 12 markings/sec, 2165 secs
lola: 1 tries, 20722 fired transitions, 2170 secs || 20234 markings, 20233 edges, 12 markings/sec, 2170 secs
lola: 1 tries, 20778 fired transitions, 2175 secs || 20292 markings, 20291 edges, 12 markings/sec, 2175 secs
lola: 1 tries, 20832 fired transitions, 2180 secs || 20349 markings, 20348 edges, 11 markings/sec, 2180 secs
lola: 1 tries, 20887 fired transitions, 2185 secs || 20407 markings, 20406 edges, 12 markings/sec, 2185 secs
lola: 1 tries, 20942 fired transitions, 2190 secs || 20464 markings, 20463 edges, 11 markings/sec, 2190 secs
lola: 1 tries, 20997 fired transitions, 2195 secs || 20523 markings, 20522 edges, 12 markings/sec, 2195 secs
lola: 1 tries, 21053 fired transitions, 2200 secs || 20582 markings, 20581 edges, 12 markings/sec, 2200 secs
lola: 1 tries, 21108 fired transitions, 2205 secs || 20641 markings, 20640 edges, 12 markings/sec, 2205 secs
lola: 1 tries, 21164 fired transitions, 2210 secs || 20702 markings, 20701 edges, 12 markings/sec, 2210 secs
lola: 1 tries, 21223 fired transitions, 2215 secs || 20763 markings, 20762 edges, 12 markings/sec, 2215 secs
lola: 1 tries, 21283 fired transitions, 2220 secs || 20823 markings, 20822 edges, 12 markings/sec, 2220 secs
lola: 1 tries, 21343 fired transitions, 2225 secs || 20883 markings, 20882 edges, 12 markings/sec, 2225 secs
lola: 1 tries, 21402 fired transitions, 2230 secs || 20942 markings, 20941 edges, 12 markings/sec, 2230 secs
lola: 1 tries, 21463 fired transitions, 2235 secs || 21001 markings, 21000 edges, 12 markings/sec, 2235 secs
lola: 1 tries, 21524 fired transitions, 2240 secs || 21059 markings, 21058 edges, 12 markings/sec, 2240 secs
lola: 1 tries, 21586 fired transitions, 2245 secs || 21118 markings, 21117 edges, 12 markings/sec, 2245 secs
lola: 1 tries, 21647 fired transitions, 2250 secs || 21176 markings, 21175 edges, 12 markings/sec, 2250 secs
lola: 1 tries, 21708 fired transitions, 2255 secs || 21235 markings, 21234 edges, 12 markings/sec, 2255 secs
lola: 1 tries, 21770 fired transitions, 2260 secs || 21294 markings, 21293 edges, 12 markings/sec, 2260 secs
lola: 1 tries, 21831 fired transitions, 2265 secs || 21352 markings, 21351 edges, 12 markings/sec, 2265 secs
lola: 1 tries, 21892 fired transitions, 2270 secs || 21411 markings, 21410 edges, 12 markings/sec, 2270 secs
lola: 1 tries, 21954 fired transitions, 2275 secs || 21469 markings, 21468 edges, 12 markings/sec, 2275 secs
lola: 1 tries, 22015 fired transitions, 2280 secs || 21528 markings, 21527 edges, 12 markings/sec, 2280 secs
lola: 1 tries, 22077 fired transitions, 2285 secs || 21587 markings, 21586 edges, 12 markings/sec, 2285 secs
lola: 1 tries, 22138 fired transitions, 2290 secs || 21646 markings, 21645 edges, 12 markings/sec, 2290 secs
lola: 1 tries, 22200 fired transitions, 2295 secs || 21705 markings, 21704 edges, 12 markings/sec, 2295 secs
lola: 1 tries, 22263 fired transitions, 2300 secs || 21763 markings, 21762 edges, 12 markings/sec, 2300 secs
lola: 1 tries, 22321 fired transitions, 2305 secs || 21822 markings, 21821 edges, 12 markings/sec, 2305 secs
lola: 1 tries, 22376 fired transitions, 2310 secs || 21882 markings, 21881 edges, 12 markings/sec, 2310 secs
lola: 1 tries, 22432 fired transitions, 2315 secs || 21941 markings, 21940 edges, 12 markings/sec, 2315 secs
lola: 1 tries, 22488 fired transitions, 2320 secs || 22000 markings, 21999 edges, 12 markings/sec, 2320 secs
lola: 1 tries, 22543 fired transitions, 2325 secs || 22059 markings, 22058 edges, 12 markings/sec, 2325 secs
lola: 1 tries, 22599 fired transitions, 2330 secs || 22117 markings, 22116 edges, 12 markings/sec, 2330 secs
lola: 1 tries, 22654 fired transitions, 2335 secs || 22176 markings, 22175 edges, 12 markings/sec, 2335 secs
lola: 1 tries, 22710 fired transitions, 2340 secs || 22235 markings, 22234 edges, 12 markings/sec, 2340 secs
lola: 1 tries, 22766 fired transitions, 2345 secs || 22294 markings, 22293 edges, 12 markings/sec, 2345 secs
lola: 1 tries, 22821 fired transitions, 2350 secs || 22353 markings, 22352 edges, 12 markings/sec, 2350 secs
lola: 1 tries, 22877 fired transitions, 2355 secs || 22412 markings, 22411 edges, 12 markings/sec, 2355 secs
lola: 1 tries, 22933 fired transitions, 2360 secs || 22469 markings, 22468 edges, 11 markings/sec, 2360 secs
lola: 1 tries, 22991 fired transitions, 2365 secs || 22527 markings, 22526 edges, 12 markings/sec, 2365 secs
lola: 1 tries, 23049 fired transitions, 2370 secs || 22585 markings, 22584 edges, 12 markings/sec, 2370 secs
lola: 1 tries, 23107 fired transitions, 2375 secs || 22643 markings, 22642 edges, 12 markings/sec, 2375 secs
lola: 1 tries, 23164 fired transitions, 2380 secs || 22701 markings, 22700 edges, 12 markings/sec, 2380 secs
lola: 1 tries, 23221 fired transitions, 2385 secs || 22758 markings, 22757 edges, 11 markings/sec, 2385 secs
lola: 1 tries, 23278 fired transitions, 2390 secs || 22815 markings, 22814 edges, 11 markings/sec, 2390 secs
lola: 1 tries, 23336 fired transitions, 2395 secs || 22873 markings, 22872 edges, 12 markings/sec, 2395 secs
lola: 1 tries, 23375 fired transitions, 2400 secs || 22912 markings, 22911 edges, 8 markings/sec, 2400 secs
lola: 1 tries, 23405 fired transitions, 2405 secs || 22942 markings, 22941 edges, 6 markings/sec, 2405 secs
lola: 1 tries, 23450 fired transitions, 2410 secs || 22987 markings, 22986 edges, 9 markings/sec, 2410 secs
lola: 1 tries, 23503 fired transitions, 2415 secs || 23043 markings, 23042 edges, 11 markings/sec, 2415 secs
lola: 1 tries, 23559 fired transitions, 2420 secs || 23100 markings, 23099 edges, 11 markings/sec, 2420 secs
lola: 1 tries, 23617 fired transitions, 2425 secs || 23158 markings, 23157 edges, 12 markings/sec, 2425 secs
lola: 1 tries, 23674 fired transitions, 2430 secs || 23215 markings, 23214 edges, 11 markings/sec, 2430 secs
lola: 1 tries, 23732 fired transitions, 2435 secs || 23273 markings, 23272 edges, 12 markings/sec, 2435 secs
lola: 1 tries, 23789 fired transitions, 2440 secs || 23330 markings, 23329 edges, 11 markings/sec, 2440 secs
lola: 1 tries, 23847 fired transitions, 2445 secs || 23389 markings, 23388 edges, 12 markings/sec, 2445 secs
lola: 1 tries, 23892 fired transitions, 2450 secs || 23434 markings, 23433 edges, 9 markings/sec, 2450 secs
lola: 1 tries, 23922 fired transitions, 2455 secs || 23464 markings, 23463 edges, 6 markings/sec, 2455 secs
lola: 1 tries, 23979 fired transitions, 2460 secs || 23519 markings, 23518 edges, 11 markings/sec, 2460 secs
lola: 1 tries, 24036 fired transitions, 2465 secs || 23576 markings, 23575 edges, 11 markings/sec, 2465 secs
lola: 1 tries, 24094 fired transitions, 2470 secs || 23634 markings, 23633 edges, 12 markings/sec, 2470 secs
lola: 1 tries, 24152 fired transitions, 2475 secs || 23692 markings, 23691 edges, 12 markings/sec, 2475 secs
lola: 1 tries, 24209 fired transitions, 2480 secs || 23749 markings, 23748 edges, 11 markings/sec, 2480 secs
lola: 1 tries, 24266 fired transitions, 2485 secs || 23808 markings, 23807 edges, 12 markings/sec, 2485 secs
lola: 1 tries, 24323 fired transitions, 2490 secs || 23869 markings, 23868 edges, 12 markings/sec, 2490 secs
lola: 1 tries, 24379 fired transitions, 2495 secs || 23931 markings, 23930 edges, 12 markings/sec, 2495 secs
lola: 1 tries, 24435 fired transitions, 2500 secs || 23994 markings, 23993 edges, 13 markings/sec, 2500 secs
lola: 1 tries, 24492 fired transitions, 2505 secs || 24056 markings, 24055 edges, 12 markings/sec, 2505 secs
lola: 1 tries, 24549 fired transitions, 2510 secs || 24117 markings, 24116 edges, 12 markings/sec, 2510 secs
lola: 1 tries, 24605 fired transitions, 2515 secs || 24176 markings, 24175 edges, 12 markings/sec, 2515 secs
lola: 1 tries, 24663 fired transitions, 2520 secs || 24230 markings, 24229 edges, 11 markings/sec, 2520 secs
lola: 1 tries, 24722 fired transitions, 2525 secs || 24286 markings, 24285 edges, 11 markings/sec, 2525 secs
lola: 1 tries, 24780 fired transitions, 2530 secs || 24344 markings, 24343 edges, 12 markings/sec, 2530 secs
lola: 1 tries, 24838 fired transitions, 2535 secs || 24402 markings, 24401 edges, 12 markings/sec, 2535 secs
lola: 1 tries, 24896 fired transitions, 2540 secs || 24460 markings, 24459 edges, 12 markings/sec, 2540 secs
lola: 1 tries, 24953 fired transitions, 2545 secs || 24517 markings, 24516 edges, 11 markings/sec, 2545 secs
lola: 1 tries, 25011 fired transitions, 2550 secs || 24574 markings, 24573 edges, 11 markings/sec, 2550 secs
lola: 1 tries, 25068 fired transitions, 2555 secs || 24632 markings, 24631 edges, 12 markings/sec, 2555 secs
lola: 1 tries, 25127 fired transitions, 2560 secs || 24691 markings, 24690 edges, 12 markings/sec, 2560 secs
lola: 1 tries, 25185 fired transitions, 2565 secs || 24749 markings, 24748 edges, 12 markings/sec, 2565 secs
lola: 1 tries, 25243 fired transitions, 2570 secs || 24807 markings, 24806 edges, 12 markings/sec, 2570 secs
lola: 1 tries, 25301 fired transitions, 2575 secs || 24865 markings, 24864 edges, 12 markings/sec, 2575 secs
lola: 1 tries, 25358 fired transitions, 2580 secs || 24922 markings, 24921 edges, 11 markings/sec, 2580 secs
lola: 1 tries, 25416 fired transitions, 2585 secs || 24980 markings, 24979 edges, 12 markings/sec, 2585 secs
lola: 1 tries, 25474 fired transitions, 2590 secs || 25038 markings, 25037 edges, 12 markings/sec, 2590 secs
lola: 1 tries, 25531 fired transitions, 2595 secs || 25095 markings, 25094 edges, 11 markings/sec, 2595 secs
lola: 1 tries, 25589 fired transitions, 2600 secs || 25153 markings, 25152 edges, 12 markings/sec, 2600 secs
lola: 1 tries, 25647 fired transitions, 2605 secs || 25211 markings, 25210 edges, 12 markings/sec, 2605 secs
lola: 1 tries, 25704 fired transitions, 2610 secs || 25272 markings, 25271 edges, 12 markings/sec, 2610 secs
lola: 1 tries, 25761 fired transitions, 2615 secs || 25333 markings, 25332 edges, 12 markings/sec, 2615 secs
lola: 1 tries, 25818 fired transitions, 2620 secs || 25395 markings, 25394 edges, 12 markings/sec, 2620 secs
lola: 1 tries, 25874 fired transitions, 2625 secs || 25457 markings, 25456 edges, 12 markings/sec, 2625 secs
lola: 1 tries, 25931 fired transitions, 2630 secs || 25518 markings, 25517 edges, 12 markings/sec, 2630 secs
lola: 1 tries, 25987 fired transitions, 2635 secs || 25580 markings, 25579 edges, 12 markings/sec, 2635 secs
lola: 1 tries, 26016 fired transitions, 2640 secs || 25609 markings, 25608 edges, 6 markings/sec, 2640 secs
lola: 1 tries, 26045 fired transitions, 2645 secs || 25638 markings, 25637 edges, 6 markings/sec, 2645 secs
lola: 1 tries, 26075 fired transitions, 2650 secs || 25668 markings, 25667 edges, 6 markings/sec, 2650 secs
lola: 1 tries, 26104 fired transitions, 2655 secs || 25697 markings, 25696 edges, 6 markings/sec, 2655 secs
lola: 1 tries, 26134 fired transitions, 2660 secs || 25727 markings, 25726 edges, 6 markings/sec, 2660 secs
lola: 1 tries, 26163 fired transitions, 2665 secs || 25756 markings, 25755 edges, 6 markings/sec, 2665 secs
lola: 1 tries, 26192 fired transitions, 2670 secs || 25785 markings, 25784 edges, 6 markings/sec, 2670 secs
lola: 1 tries, 26232 fired transitions, 2675 secs || 25825 markings, 25824 edges, 8 markings/sec, 2675 secs
lola: 1 tries, 26291 fired transitions, 2680 secs || 25882 markings, 25881 edges, 11 markings/sec, 2680 secs
lola: 1 tries, 26348 fired transitions, 2685 secs || 25937 markings, 25936 edges, 11 markings/sec, 2685 secs
lola: 1 tries, 26406 fired transitions, 2690 secs || 25992 markings, 25991 edges, 11 markings/sec, 2690 secs
lola: 1 tries, 26463 fired transitions, 2695 secs || 26047 markings, 26046 edges, 11 markings/sec, 2695 secs
lola: 1 tries, 26521 fired transitions, 2700 secs || 26102 markings, 26101 edges, 11 markings/sec, 2700 secs
lola: 1 tries, 26579 fired transitions, 2705 secs || 26158 markings, 26157 edges, 11 markings/sec, 2705 secs
lola: 1 tries, 26635 fired transitions, 2710 secs || 26215 markings, 26214 edges, 11 markings/sec, 2710 secs
lola: 1 tries, 26692 fired transitions, 2715 secs || 26272 markings, 26271 edges, 11 markings/sec, 2715 secs
lola: 1 tries, 26748 fired transitions, 2720 secs || 26329 markings, 26328 edges, 11 markings/sec, 2720 secs
lola: 1 tries, 26805 fired transitions, 2725 secs || 26387 markings, 26386 edges, 12 markings/sec, 2725 secs
lola: 1 tries, 26863 fired transitions, 2730 secs || 26445 markings, 26444 edges, 12 markings/sec, 2730 secs
lola: 1 tries, 26921 fired transitions, 2735 secs || 26503 markings, 26502 edges, 12 markings/sec, 2735 secs
lola: 1 tries, 26979 fired transitions, 2740 secs || 26561 markings, 26560 edges, 12 markings/sec, 2740 secs
lola: 1 tries, 27037 fired transitions, 2745 secs || 26619 markings, 26618 edges, 12 markings/sec, 2745 secs
lola: 1 tries, 27095 fired transitions, 2750 secs || 26677 markings, 26676 edges, 12 markings/sec, 2750 secs
lola: 1 tries, 27154 fired transitions, 2755 secs || 26736 markings, 26735 edges, 12 markings/sec, 2755 secs
lola: 1 tries, 27212 fired transitions, 2760 secs || 26794 markings, 26793 edges, 12 markings/sec, 2760 secs
lola: 1 tries, 27270 fired transitions, 2765 secs || 26852 markings, 26851 edges, 12 markings/sec, 2765 secs
lola: 1 tries, 27328 fired transitions, 2770 secs || 26910 markings, 26909 edges, 12 markings/sec, 2770 secs
lola: 1 tries, 27387 fired transitions, 2775 secs || 26969 markings, 26968 edges, 12 markings/sec, 2775 secs
lola: 1 tries, 27445 fired transitions, 2780 secs || 27027 markings, 27026 edges, 12 markings/sec, 2780 secs
lola: 1 tries, 27502 fired transitions, 2785 secs || 27084 markings, 27083 edges, 11 markings/sec, 2785 secs
lola: 1 tries, 27560 fired transitions, 2790 secs || 27142 markings, 27141 edges, 12 markings/sec, 2790 secs
lola: 1 tries, 27618 fired transitions, 2795 secs || 27200 markings, 27199 edges, 12 markings/sec, 2795 secs
lola: 1 tries, 27674 fired transitions, 2800 secs || 27256 markings, 27255 edges, 11 markings/sec, 2800 secs
lola: 1 tries, 27730 fired transitions, 2805 secs || 27313 markings, 27312 edges, 11 markings/sec, 2805 secs
lola: 1 tries, 27789 fired transitions, 2810 secs || 27367 markings, 27366 edges, 11 markings/sec, 2810 secs
lola: 1 tries, 27848 fired transitions, 2815 secs || 27423 markings, 27422 edges, 11 markings/sec, 2815 secs
lola: 1 tries, 27906 fired transitions, 2820 secs || 27479 markings, 27478 edges, 11 markings/sec, 2820 secs
lola: 1 tries, 27965 fired transitions, 2825 secs || 27535 markings, 27534 edges, 11 markings/sec, 2825 secs
lola: 1 tries, 28023 fired transitions, 2830 secs || 27591 markings, 27590 edges, 11 markings/sec, 2830 secs
lola: 1 tries, 28084 fired transitions, 2835 secs || 27650 markings, 27649 edges, 12 markings/sec, 2835 secs
lola: 1 tries, 28146 fired transitions, 2840 secs || 27712 markings, 27711 edges, 12 markings/sec, 2840 secs
lola: 1 tries, 28208 fired transitions, 2845 secs || 27773 markings, 27772 edges, 12 markings/sec, 2845 secs
lola: 1 tries, 28269 fired transitions, 2850 secs || 27835 markings, 27834 edges, 12 markings/sec, 2850 secs
lola: 1 tries, 28329 fired transitions, 2855 secs || 27895 markings, 27894 edges, 12 markings/sec, 2855 secs
lola: 1 tries, 28391 fired transitions, 2860 secs || 27957 markings, 27956 edges, 12 markings/sec, 2860 secs
lola: 1 tries, 28452 fired transitions, 2865 secs || 28019 markings, 28018 edges, 12 markings/sec, 2865 secs
lola: 1 tries, 28513 fired transitions, 2870 secs || 28082 markings, 28081 edges, 13 markings/sec, 2870 secs
lola: 1 tries, 28575 fired transitions, 2875 secs || 28145 markings, 28144 edges, 13 markings/sec, 2875 secs
lola: 1 tries, 28636 fired transitions, 2880 secs || 28209 markings, 28208 edges, 13 markings/sec, 2880 secs
lola: 1 tries, 28698 fired transitions, 2885 secs || 28272 markings, 28271 edges, 13 markings/sec, 2885 secs
lola: 1 tries, 28759 fired transitions, 2890 secs || 28335 markings, 28334 edges, 13 markings/sec, 2890 secs
lola: 1 tries, 28820 fired transitions, 2895 secs || 28398 markings, 28397 edges, 13 markings/sec, 2895 secs
lola: 1 tries, 28881 fired transitions, 2900 secs || 28461 markings, 28460 edges, 13 markings/sec, 2900 secs
lola: 1 tries, 28943 fired transitions, 2905 secs || 28524 markings, 28523 edges, 13 markings/sec, 2905 secs
lola: 1 tries, 29004 fired transitions, 2910 secs || 28587 markings, 28586 edges, 13 markings/sec, 2910 secs
lola: 1 tries, 29065 fired transitions, 2915 secs || 28649 markings, 28648 edges, 12 markings/sec, 2915 secs
lola: 1 tries, 29127 fired transitions, 2920 secs || 28712 markings, 28711 edges, 13 markings/sec, 2920 secs
lola: 1 tries, 29188 fired transitions, 2925 secs || 28775 markings, 28774 edges, 13 markings/sec, 2925 secs
lola: 1 tries, 29249 fired transitions, 2930 secs || 28837 markings, 28836 edges, 12 markings/sec, 2930 secs
lola: 1 tries, 29310 fired transitions, 2935 secs || 28900 markings, 28899 edges, 13 markings/sec, 2935 secs
lola: 1 tries, 29372 fired transitions, 2940 secs || 28964 markings, 28963 edges, 13 markings/sec, 2940 secs
lola: 1 tries, 29433 fired transitions, 2945 secs || 29027 markings, 29026 edges, 13 markings/sec, 2945 secs
lola: 1 tries, 29495 fired transitions, 2950 secs || 29090 markings, 29089 edges, 13 markings/sec, 2950 secs
lola: 1 tries, 29556 fired transitions, 2955 secs || 29152 markings, 29151 edges, 12 markings/sec, 2955 secs
lola: 1 tries, 29618 fired transitions, 2960 secs || 29215 markings, 29214 edges, 13 markings/sec, 2960 secs
lola: 1 tries, 29680 fired transitions, 2965 secs || 29278 markings, 29277 edges, 13 markings/sec, 2965 secs
lola: 1 tries, 29742 fired transitions, 2970 secs || 29341 markings, 29340 edges, 13 markings/sec, 2970 secs
lola: 1 tries, 29803 fired transitions, 2975 secs || 29404 markings, 29403 edges, 13 markings/sec, 2975 secs
lola: 1 tries, 29864 fired transitions, 2980 secs || 29468 markings, 29467 edges, 13 markings/sec, 2980 secs
lola: 1 tries, 29925 fired transitions, 2985 secs || 29530 markings, 29529 edges, 12 markings/sec, 2985 secs
lola: 1 tries, 29986 fired transitions, 2990 secs || 29593 markings, 29592 edges, 13 markings/sec, 2990 secs
lola: 1 tries, 30047 fired transitions, 2995 secs || 29657 markings, 29656 edges, 13 markings/sec, 2995 secs
lola: 1 tries, 30109 fired transitions, 3000 secs || 29720 markings, 29719 edges, 13 markings/sec, 3000 secs
lola: 1 tries, 30170 fired transitions, 3005 secs || 29783 markings, 29782 edges, 13 markings/sec, 3005 secs
lola: 1 tries, 30232 fired transitions, 3010 secs || 29846 markings, 29845 edges, 13 markings/sec, 3010 secs
lola: 1 tries, 30294 fired transitions, 3015 secs || 29910 markings, 29909 edges, 13 markings/sec, 3015 secs
lola: 1 tries, 30355 fired transitions, 3020 secs || 29973 markings, 29972 edges, 13 markings/sec, 3020 secs
lola: 1 tries, 30417 fired transitions, 3025 secs || 30035 markings, 30034 edges, 12 markings/sec, 3025 secs
lola: 1 tries, 30478 fired transitions, 3030 secs || 30098 markings, 30097 edges, 13 markings/sec, 3030 secs
lola: 1 tries, 30540 fired transitions, 3035 secs || 30161 markings, 30160 edges, 13 markings/sec, 3035 secs
lola: 1 tries, 30602 fired transitions, 3040 secs || 30224 markings, 30223 edges, 13 markings/sec, 3040 secs
lola: 1 tries, 30663 fired transitions, 3045 secs || 30287 markings, 30286 edges, 13 markings/sec, 3045 secs
lola: 1 tries, 30725 fired transitions, 3050 secs || 30350 markings, 30349 edges, 13 markings/sec, 3050 secs
lola: 1 tries, 30787 fired transitions, 3055 secs || 30413 markings, 30412 edges, 13 markings/sec, 3055 secs
lola: 1 tries, 30848 fired transitions, 3060 secs || 30476 markings, 30475 edges, 13 markings/sec, 3060 secs
lola: 1 tries, 30910 fired transitions, 3065 secs || 30538 markings, 30537 edges, 12 markings/sec, 3065 secs
lola: 1 tries, 30972 fired transitions, 3070 secs || 30601 markings, 30600 edges, 13 markings/sec, 3070 secs
lola: 1 tries, 31033 fired transitions, 3075 secs || 30663 markings, 30662 edges, 12 markings/sec, 3075 secs
lola: 1 tries, 31095 fired transitions, 3080 secs || 30726 markings, 30725 edges, 13 markings/sec, 3080 secs
lola: 1 tries, 31156 fired transitions, 3085 secs || 30789 markings, 30788 edges, 13 markings/sec, 3085 secs
lola: 1 tries, 31218 fired transitions, 3090 secs || 30852 markings, 30851 edges, 13 markings/sec, 3090 secs
lola: 1 tries, 31279 fired transitions, 3095 secs || 30915 markings, 30914 edges, 13 markings/sec, 3095 secs
lola: 1 tries, 31340 fired transitions, 3100 secs || 30979 markings, 30978 edges, 13 markings/sec, 3100 secs
lola: 1 tries, 31402 fired transitions, 3105 secs || 31043 markings, 31042 edges, 13 markings/sec, 3105 secs
lola: 1 tries, 31464 fired transitions, 3110 secs || 31106 markings, 31105 edges, 13 markings/sec, 3110 secs
lola: 1 tries, 31525 fired transitions, 3115 secs || 31170 markings, 31169 edges, 13 markings/sec, 3115 secs
lola: 1 tries, 31586 fired transitions, 3120 secs || 31233 markings, 31232 edges, 13 markings/sec, 3120 secs
lola: 1 tries, 31647 fired transitions, 3125 secs || 31295 markings, 31294 edges, 12 markings/sec, 3125 secs
lola: 1 tries, 31709 fired transitions, 3130 secs || 31358 markings, 31357 edges, 13 markings/sec, 3130 secs
lola: 1 tries, 31770 fired transitions, 3135 secs || 31421 markings, 31420 edges, 13 markings/sec, 3135 secs
lola: 1 tries, 31831 fired transitions, 3140 secs || 31485 markings, 31484 edges, 13 markings/sec, 3140 secs
lola: 1 tries, 31891 fired transitions, 3145 secs || 31548 markings, 31547 edges, 13 markings/sec, 3145 secs
lola: 1 tries, 31952 fired transitions, 3150 secs || 31609 markings, 31608 edges, 12 markings/sec, 3150 secs
lola: 1 tries, 32013 fired transitions, 3155 secs || 31672 markings, 31671 edges, 13 markings/sec, 3155 secs
lola: 1 tries, 32074 fired transitions, 3160 secs || 31735 markings, 31734 edges, 13 markings/sec, 3160 secs
lola: 1 tries, 32135 fired transitions, 3165 secs || 31798 markings, 31797 edges, 13 markings/sec, 3165 secs
lola: 1 tries, 32196 fired transitions, 3170 secs || 31861 markings, 31860 edges, 13 markings/sec, 3170 secs
lola: 1 tries, 32258 fired transitions, 3175 secs || 31923 markings, 31922 edges, 12 markings/sec, 3175 secs
lola: 1 tries, 32319 fired transitions, 3180 secs || 31986 markings, 31985 edges, 13 markings/sec, 3180 secs
lola: 1 tries, 32380 fired transitions, 3185 secs || 32049 markings, 32048 edges, 13 markings/sec, 3185 secs
lola: 1 tries, 32442 fired transitions, 3190 secs || 32112 markings, 32111 edges, 13 markings/sec, 3190 secs
lola: 1 tries, 32503 fired transitions, 3195 secs || 32174 markings, 32173 edges, 12 markings/sec, 3195 secs
lola: 1 tries, 32565 fired transitions, 3200 secs || 32237 markings, 32236 edges, 13 markings/sec, 3200 secs
lola: 1 tries, 32626 fired transitions, 3205 secs || 32300 markings, 32299 edges, 13 markings/sec, 3205 secs
lola: 1 tries, 32687 fired transitions, 3210 secs || 32362 markings, 32361 edges, 12 markings/sec, 3210 secs
lola: 1 tries, 32748 fired transitions, 3215 secs || 32425 markings, 32424 edges, 13 markings/sec, 3215 secs
lola: 1 tries, 32809 fired transitions, 3220 secs || 32488 markings, 32487 edges, 13 markings/sec, 3220 secs
lola: 1 tries, 32870 fired transitions, 3225 secs || 32552 markings, 32551 edges, 13 markings/sec, 3225 secs
lola: 1 tries, 32931 fired transitions, 3230 secs || 32615 markings, 32614 edges, 13 markings/sec, 3230 secs
lola: 1 tries, 32992 fired transitions, 3235 secs || 32678 markings, 32677 edges, 13 markings/sec, 3235 secs
lola: 1 tries, 33053 fired transitions, 3240 secs || 32741 markings, 32740 edges, 13 markings/sec, 3240 secs
lola: 1 tries, 33114 fired transitions, 3245 secs || 32805 markings, 32804 edges, 13 markings/sec, 3245 secs
lola: 1 tries, 33175 fired transitions, 3250 secs || 32869 markings, 32868 edges, 13 markings/sec, 3250 secs
lola: 1 tries, 33237 fired transitions, 3255 secs || 32932 markings, 32931 edges, 13 markings/sec, 3255 secs
lola: time limit reached - aborting
Segmentation fault
rslt: finished
BK_STOP 1553927291010
--------------------
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-8"
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-8, 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-155274853800543"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-8.tgz
mv RERS17pb115-PT-8 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 ;