About the Execution of LoLA for RERS17pb114-PT-7
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11990.470 | 3570577.00 | 6936241.00 | 300.20 | [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-155274853600453.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-7, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-oct2-155274853600453
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.7K Feb 13 08:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 13 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K 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.5K Feb 13 08:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K 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.5K Feb 13 08:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 13 08:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Feb 13 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 13 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 13 08:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 13 08:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Feb 13 08:05 equiv_col
-rw-r--r-- 1 mcc users 2 Feb 13 08:05 instance
-rw-r--r-- 1 mcc users 6 Feb 13 08:05 iscolored
-rw-r--r-- 1 mcc users 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-7-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553919743891
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ RERS17pb114-PT-7 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ RERS17pb114-PT-7
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: 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, 46 fired transitions, 0 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 0 secs
lola: 1 tries, 85 fired transitions, 5 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 5 secs
lola: 1 tries, 124 fired transitions, 10 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 10 secs
lola: 1 tries, 163 fired transitions, 15 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 15 secs
lola: 1 tries, 202 fired transitions, 20 secs
lola: 33 generators; 813465 candidates remain ( 0%), 20 secs
lola: 1 tries, 241 fired transitions, 25 secs
lola: 153 generators; 10 candidates remain (93%), 25 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, 284 fired transitions, 30 secs || 53 markings, 71 edges, 11 markings/sec, 30 secs
lola: 1 tries, 326 fired transitions, 35 secs || 101 markings, 163 edges, 10 markings/sec, 35 secs
lola: 1 tries, 369 fired transitions, 40 secs || 148 markings, 250 edges, 9 markings/sec, 40 secs
lola: 1 tries, 411 fired transitions, 45 secs || 196 markings, 340 edges, 10 markings/sec, 45 secs
lola: 1 tries, 455 fired transitions, 50 secs || 244 markings, 404 edges, 10 markings/sec, 50 secs
lola: 1 tries, 505 fired transitions, 55 secs || 294 markings, 478 edges, 10 markings/sec, 55 secs
lola: 1 tries, 554 fired transitions, 60 secs || 344 markings, 558 edges, 10 markings/sec, 60 secs
lola: 1 tries, 597 fired transitions, 65 secs || 393 markings, 631 edges, 10 markings/sec, 65 secs
lola: 1 tries, 639 fired transitions, 70 secs || 441 markings, 701 edges, 10 markings/sec, 70 secs
lola: 1 tries, 682 fired transitions, 75 secs || 490 markings, 774 edges, 10 markings/sec, 75 secs
lola: 1 tries, 725 fired transitions, 80 secs || 539 markings, 847 edges, 10 markings/sec, 80 secs
lola: 1 tries, 770 fired transitions, 85 secs || 588 markings, 916 edges, 10 markings/sec, 85 secs
lola: 1 tries, 814 fired transitions, 90 secs || 637 markings, 1013 edges, 10 markings/sec, 90 secs
lola: 1 tries, 857 fired transitions, 95 secs || 685 markings, 1108 edges, 10 markings/sec, 95 secs
lola: 1 tries, 900 fired transitions, 100 secs || 734 markings, 1249 edges, 10 markings/sec, 100 secs
lola: 1 tries, 943 fired transitions, 105 secs || 782 markings, 1397 edges, 10 markings/sec, 105 secs
lola: 1 tries, 986 fired transitions, 110 secs || 831 markings, 1451 edges, 10 markings/sec, 110 secs
lola: 1 tries, 1029 fired transitions, 115 secs || 880 markings, 1515 edges, 10 markings/sec, 115 secs
lola: 1 tries, 1078 fired transitions, 120 secs || 931 markings, 1618 edges, 10 markings/sec, 120 secs
lola: 1 tries, 1128 fired transitions, 125 secs || 981 markings, 1877 edges, 10 markings/sec, 125 secs
lola: 1 tries, 1176 fired transitions, 130 secs || 1031 markings, 2212 edges, 10 markings/sec, 130 secs
lola: 1 tries, 1223 fired transitions, 135 secs || 1081 markings, 2553 edges, 10 markings/sec, 135 secs
lola: 1 tries, 1271 fired transitions, 140 secs || 1131 markings, 2967 edges, 10 markings/sec, 140 secs
lola: 1 tries, 1318 fired transitions, 145 secs || 1181 markings, 3226 edges, 10 markings/sec, 145 secs
lola: 1 tries, 1368 fired transitions, 150 secs || 1232 markings, 3403 edges, 10 markings/sec, 150 secs
lola: 1 tries, 1415 fired transitions, 155 secs || 1282 markings, 3677 edges, 10 markings/sec, 155 secs
lola: 1 tries, 1463 fired transitions, 160 secs || 1332 markings, 3933 edges, 10 markings/sec, 160 secs
lola: 1 tries, 1511 fired transitions, 165 secs || 1382 markings, 4218 edges, 10 markings/sec, 165 secs
lola: 1 tries, 1559 fired transitions, 170 secs || 1432 markings, 4437 edges, 10 markings/sec, 170 secs
lola: 1 tries, 1608 fired transitions, 175 secs || 1482 markings, 4767 edges, 10 markings/sec, 175 secs
lola: 1 tries, 1656 fired transitions, 180 secs || 1533 markings, 5054 edges, 10 markings/sec, 180 secs
lola: 1 tries, 1705 fired transitions, 185 secs || 1583 markings, 5352 edges, 10 markings/sec, 185 secs
lola: 1 tries, 1754 fired transitions, 190 secs || 1632 markings, 5744 edges, 10 markings/sec, 190 secs
lola: 1 tries, 1802 fired transitions, 195 secs || 1681 markings, 6280 edges, 10 markings/sec, 195 secs
lola: 1 tries, 1850 fired transitions, 200 secs || 1730 markings, 6946 edges, 10 markings/sec, 200 secs
lola: 1 tries, 1899 fired transitions, 205 secs || 1779 markings, 7607 edges, 10 markings/sec, 205 secs
lola: 1 tries, 1948 fired transitions, 210 secs || 1828 markings, 8213 edges, 10 markings/sec, 210 secs
lola: 1 tries, 1997 fired transitions, 215 secs || 1877 markings, 8846 edges, 10 markings/sec, 215 secs
lola: 1 tries, 2046 fired transitions, 220 secs || 1926 markings, 9394 edges, 10 markings/sec, 220 secs
lola: 1 tries, 2095 fired transitions, 225 secs || 1976 markings, 9911 edges, 10 markings/sec, 225 secs
lola: 1 tries, 2143 fired transitions, 230 secs || 2025 markings, 10413 edges, 10 markings/sec, 230 secs
lola: 1 tries, 2191 fired transitions, 235 secs || 2074 markings, 11017 edges, 10 markings/sec, 235 secs
lola: 1 tries, 2241 fired transitions, 240 secs || 2124 markings, 11589 edges, 10 markings/sec, 240 secs
lola: 1 tries, 2290 fired transitions, 245 secs || 2173 markings, 12097 edges, 10 markings/sec, 245 secs
lola: 1 tries, 2336 fired transitions, 250 secs || 2219 markings, 12640 edges, 9 markings/sec, 250 secs
lola: 1 tries, 2382 fired transitions, 255 secs || 2264 markings, 13225 edges, 9 markings/sec, 255 secs
lola: 1 tries, 2428 fired transitions, 260 secs || 2310 markings, 13765 edges, 9 markings/sec, 260 secs
lola: 1 tries, 2474 fired transitions, 265 secs || 2355 markings, 14297 edges, 9 markings/sec, 265 secs
lola: 1 tries, 2521 fired transitions, 270 secs || 2402 markings, 14888 edges, 9 markings/sec, 270 secs
lola: 1 tries, 2568 fired transitions, 275 secs || 2451 markings, 15470 edges, 10 markings/sec, 275 secs
lola: 1 tries, 2616 fired transitions, 280 secs || 2501 markings, 16061 edges, 10 markings/sec, 280 secs
lola: 1 tries, 2664 fired transitions, 285 secs || 2550 markings, 16442 edges, 10 markings/sec, 285 secs
lola: 1 tries, 2713 fired transitions, 290 secs || 2599 markings, 16752 edges, 10 markings/sec, 290 secs
lola: 1 tries, 2762 fired transitions, 295 secs || 2649 markings, 17056 edges, 10 markings/sec, 295 secs
lola: 1 tries, 2808 fired transitions, 300 secs || 2698 markings, 17297 edges, 10 markings/sec, 300 secs
lola: 1 tries, 2853 fired transitions, 305 secs || 2746 markings, 17569 edges, 10 markings/sec, 305 secs
lola: 1 tries, 2887 fired transitions, 310 secs || 2780 markings, 17782 edges, 7 markings/sec, 310 secs
lola: 1 tries, 2910 fired transitions, 315 secs || 2803 markings, 17951 edges, 5 markings/sec, 315 secs
lola: 1 tries, 2956 fired transitions, 320 secs || 2848 markings, 18268 edges, 9 markings/sec, 320 secs
lola: 1 tries, 2990 fired transitions, 325 secs || 2882 markings, 18502 edges, 7 markings/sec, 325 secs
lola: 1 tries, 3012 fired transitions, 330 secs || 2904 markings, 18660 edges, 4 markings/sec, 330 secs
lola: 1 tries, 3035 fired transitions, 335 secs || 2927 markings, 18817 edges, 5 markings/sec, 335 secs
lola: 1 tries, 3066 fired transitions, 340 secs || 2958 markings, 19028 edges, 6 markings/sec, 340 secs
lola: 1 tries, 3114 fired transitions, 345 secs || 3003 markings, 19340 edges, 9 markings/sec, 345 secs
lola: 1 tries, 3161 fired transitions, 350 secs || 3050 markings, 19649 edges, 9 markings/sec, 350 secs
lola: 1 tries, 3210 fired transitions, 355 secs || 3096 markings, 19923 edges, 9 markings/sec, 355 secs
lola: 1 tries, 3260 fired transitions, 360 secs || 3146 markings, 20203 edges, 10 markings/sec, 360 secs
lola: 1 tries, 3310 fired transitions, 365 secs || 3196 markings, 20543 edges, 10 markings/sec, 365 secs
lola: 1 tries, 3358 fired transitions, 370 secs || 3241 markings, 20858 edges, 9 markings/sec, 370 secs
lola: 1 tries, 3408 fired transitions, 375 secs || 3289 markings, 21191 edges, 10 markings/sec, 375 secs
lola: 1 tries, 3456 fired transitions, 380 secs || 3337 markings, 21541 edges, 10 markings/sec, 380 secs
lola: 1 tries, 3505 fired transitions, 385 secs || 3385 markings, 21945 edges, 10 markings/sec, 385 secs
lola: 1 tries, 3555 fired transitions, 390 secs || 3435 markings, 22388 edges, 10 markings/sec, 390 secs
lola: 1 tries, 3604 fired transitions, 395 secs || 3483 markings, 22807 edges, 10 markings/sec, 395 secs
lola: 1 tries, 3653 fired transitions, 400 secs || 3529 markings, 23187 edges, 9 markings/sec, 400 secs
lola: 1 tries, 3701 fired transitions, 405 secs || 3575 markings, 23505 edges, 9 markings/sec, 405 secs
lola: 1 tries, 3751 fired transitions, 410 secs || 3625 markings, 23778 edges, 10 markings/sec, 410 secs
lola: 1 tries, 3800 fired transitions, 415 secs || 3674 markings, 23976 edges, 10 markings/sec, 415 secs
lola: 1 tries, 3849 fired transitions, 420 secs || 3721 markings, 24158 edges, 9 markings/sec, 420 secs
lola: 1 tries, 3897 fired transitions, 425 secs || 3764 markings, 24345 edges, 9 markings/sec, 425 secs
lola: 1 tries, 3945 fired transitions, 430 secs || 3809 markings, 24645 edges, 9 markings/sec, 430 secs
lola: 1 tries, 3994 fired transitions, 435 secs || 3854 markings, 24887 edges, 9 markings/sec, 435 secs
lola: 1 tries, 4042 fired transitions, 440 secs || 3900 markings, 25094 edges, 9 markings/sec, 440 secs
lola: 1 tries, 4090 fired transitions, 445 secs || 3944 markings, 25329 edges, 9 markings/sec, 445 secs
lola: 1 tries, 4138 fired transitions, 450 secs || 3988 markings, 25621 edges, 9 markings/sec, 450 secs
lola: 1 tries, 4185 fired transitions, 455 secs || 4035 markings, 25828 edges, 9 markings/sec, 455 secs
lola: 1 tries, 4234 fired transitions, 460 secs || 4083 markings, 26102 edges, 10 markings/sec, 460 secs
lola: 1 tries, 4283 fired transitions, 465 secs || 4129 markings, 26342 edges, 9 markings/sec, 465 secs
lola: 1 tries, 4331 fired transitions, 470 secs || 4173 markings, 26638 edges, 9 markings/sec, 470 secs
lola: 1 tries, 4379 fired transitions, 475 secs || 4219 markings, 26907 edges, 9 markings/sec, 475 secs
lola: 1 tries, 4427 fired transitions, 480 secs || 4266 markings, 27148 edges, 9 markings/sec, 480 secs
lola: 1 tries, 4476 fired transitions, 485 secs || 4314 markings, 27416 edges, 10 markings/sec, 485 secs
lola: 1 tries, 4525 fired transitions, 490 secs || 4362 markings, 27654 edges, 10 markings/sec, 490 secs
lola: 1 tries, 4574 fired transitions, 495 secs || 4407 markings, 27897 edges, 9 markings/sec, 495 secs
lola: 1 tries, 4622 fired transitions, 500 secs || 4452 markings, 28138 edges, 9 markings/sec, 500 secs
lola: 1 tries, 4671 fired transitions, 505 secs || 4498 markings, 28428 edges, 9 markings/sec, 505 secs
lola: 1 tries, 4718 fired transitions, 510 secs || 4543 markings, 28716 edges, 9 markings/sec, 510 secs
lola: 1 tries, 4767 fired transitions, 515 secs || 4587 markings, 29082 edges, 9 markings/sec, 515 secs
lola: 1 tries, 4815 fired transitions, 520 secs || 4631 markings, 29259 edges, 9 markings/sec, 520 secs
lola: 1 tries, 4863 fired transitions, 525 secs || 4675 markings, 29357 edges, 9 markings/sec, 525 secs
lola: 1 tries, 4911 fired transitions, 530 secs || 4720 markings, 29451 edges, 9 markings/sec, 530 secs
lola: 1 tries, 4959 fired transitions, 535 secs || 4766 markings, 29550 edges, 9 markings/sec, 535 secs
lola: 1 tries, 5008 fired transitions, 540 secs || 4814 markings, 29616 edges, 10 markings/sec, 540 secs
lola: 1 tries, 5056 fired transitions, 545 secs || 4861 markings, 29800 edges, 9 markings/sec, 545 secs
lola: 1 tries, 5104 fired transitions, 550 secs || 4908 markings, 29986 edges, 9 markings/sec, 550 secs
lola: 1 tries, 5153 fired transitions, 555 secs || 4957 markings, 30167 edges, 10 markings/sec, 555 secs
lola: 1 tries, 5202 fired transitions, 560 secs || 5005 markings, 30315 edges, 10 markings/sec, 560 secs
lola: 1 tries, 5249 fired transitions, 565 secs || 5051 markings, 30488 edges, 9 markings/sec, 565 secs
lola: 1 tries, 5296 fired transitions, 570 secs || 5096 markings, 30660 edges, 9 markings/sec, 570 secs
lola: 1 tries, 5344 fired transitions, 575 secs || 5143 markings, 30836 edges, 9 markings/sec, 575 secs
lola: 1 tries, 5391 fired transitions, 580 secs || 5190 markings, 31008 edges, 9 markings/sec, 580 secs
lola: 1 tries, 5440 fired transitions, 585 secs || 5238 markings, 31190 edges, 10 markings/sec, 585 secs
lola: 1 tries, 5488 fired transitions, 590 secs || 5285 markings, 31396 edges, 9 markings/sec, 590 secs
lola: 1 tries, 5518 fired transitions, 595 secs || 5314 markings, 31510 edges, 6 markings/sec, 595 secs
lola: 1 tries, 5541 fired transitions, 600 secs || 5337 markings, 31589 edges, 5 markings/sec, 600 secs
lola: 1 tries, 5564 fired transitions, 605 secs || 5360 markings, 31678 edges, 5 markings/sec, 605 secs
lola: 1 tries, 5588 fired transitions, 610 secs || 5383 markings, 31767 edges, 5 markings/sec, 610 secs
lola: 1 tries, 5611 fired transitions, 615 secs || 5406 markings, 31859 edges, 5 markings/sec, 615 secs
lola: 1 tries, 5633 fired transitions, 620 secs || 5429 markings, 31950 edges, 5 markings/sec, 620 secs
lola: 1 tries, 5655 fired transitions, 625 secs || 5451 markings, 32016 edges, 4 markings/sec, 625 secs
lola: 1 tries, 5678 fired transitions, 630 secs || 5474 markings, 32100 edges, 5 markings/sec, 630 secs
lola: 1 tries, 5701 fired transitions, 635 secs || 5497 markings, 32192 edges, 5 markings/sec, 635 secs
lola: 1 tries, 5729 fired transitions, 640 secs || 5525 markings, 32301 edges, 6 markings/sec, 640 secs
lola: 1 tries, 5754 fired transitions, 645 secs || 5550 markings, 32388 edges, 5 markings/sec, 645 secs
lola: 1 tries, 5780 fired transitions, 650 secs || 5576 markings, 32483 edges, 5 markings/sec, 650 secs
lola: 1 tries, 5806 fired transitions, 655 secs || 5602 markings, 32580 edges, 5 markings/sec, 655 secs
lola: 1 tries, 5832 fired transitions, 660 secs || 5628 markings, 32681 edges, 5 markings/sec, 660 secs
lola: 1 tries, 5857 fired transitions, 665 secs || 5653 markings, 32775 edges, 5 markings/sec, 665 secs
lola: 1 tries, 5883 fired transitions, 670 secs || 5679 markings, 32879 edges, 5 markings/sec, 670 secs
lola: 1 tries, 5909 fired transitions, 675 secs || 5705 markings, 32983 edges, 5 markings/sec, 675 secs
lola: 1 tries, 5935 fired transitions, 680 secs || 5731 markings, 33087 edges, 5 markings/sec, 680 secs
lola: 1 tries, 5960 fired transitions, 685 secs || 5756 markings, 33187 edges, 5 markings/sec, 685 secs
lola: 1 tries, 5985 fired transitions, 690 secs || 5781 markings, 33285 edges, 5 markings/sec, 690 secs
lola: 1 tries, 6010 fired transitions, 695 secs || 5806 markings, 33385 edges, 5 markings/sec, 695 secs
lola: 1 tries, 6035 fired transitions, 700 secs || 5831 markings, 33488 edges, 5 markings/sec, 700 secs
lola: 1 tries, 6060 fired transitions, 705 secs || 5856 markings, 33609 edges, 5 markings/sec, 705 secs
lola: 1 tries, 6086 fired transitions, 710 secs || 5882 markings, 33787 edges, 5 markings/sec, 710 secs
lola: 1 tries, 6111 fired transitions, 715 secs || 5907 markings, 33909 edges, 5 markings/sec, 715 secs
lola: 1 tries, 6136 fired transitions, 720 secs || 5932 markings, 34033 edges, 5 markings/sec, 720 secs
lola: 1 tries, 6162 fired transitions, 725 secs || 5958 markings, 34145 edges, 5 markings/sec, 725 secs
lola: 1 tries, 6187 fired transitions, 730 secs || 5983 markings, 34245 edges, 5 markings/sec, 730 secs
lola: 1 tries, 6231 fired transitions, 735 secs || 6028 markings, 34521 edges, 9 markings/sec, 735 secs
lola: 1 tries, 6274 fired transitions, 740 secs || 6072 markings, 34754 edges, 9 markings/sec, 740 secs
lola: 1 tries, 6323 fired transitions, 745 secs || 6120 markings, 35025 edges, 10 markings/sec, 745 secs
lola: 1 tries, 6368 fired transitions, 750 secs || 6168 markings, 35257 edges, 10 markings/sec, 750 secs
lola: 1 tries, 6413 fired transitions, 755 secs || 6216 markings, 35429 edges, 10 markings/sec, 755 secs
lola: 1 tries, 6459 fired transitions, 760 secs || 6262 markings, 35645 edges, 9 markings/sec, 760 secs
lola: 1 tries, 6505 fired transitions, 765 secs || 6309 markings, 35864 edges, 9 markings/sec, 765 secs
lola: 1 tries, 6552 fired transitions, 770 secs || 6357 markings, 36016 edges, 10 markings/sec, 770 secs
lola: 1 tries, 6602 fired transitions, 775 secs || 6406 markings, 36184 edges, 10 markings/sec, 775 secs
lola: 1 tries, 6651 fired transitions, 780 secs || 6456 markings, 36397 edges, 10 markings/sec, 780 secs
lola: 1 tries, 6701 fired transitions, 785 secs || 6506 markings, 36626 edges, 10 markings/sec, 785 secs
lola: 1 tries, 6750 fired transitions, 790 secs || 6555 markings, 36880 edges, 10 markings/sec, 790 secs
lola: 1 tries, 6800 fired transitions, 795 secs || 6605 markings, 37168 edges, 10 markings/sec, 795 secs
lola: 1 tries, 6850 fired transitions, 800 secs || 6656 markings, 37460 edges, 10 markings/sec, 800 secs
lola: 1 tries, 6900 fired transitions, 805 secs || 6707 markings, 37766 edges, 10 markings/sec, 805 secs
lola: 1 tries, 6949 fired transitions, 810 secs || 6758 markings, 38059 edges, 10 markings/sec, 810 secs
lola: 1 tries, 7000 fired transitions, 815 secs || 6810 markings, 38311 edges, 10 markings/sec, 815 secs
lola: 1 tries, 7050 fired transitions, 820 secs || 6861 markings, 38575 edges, 10 markings/sec, 820 secs
lola: 1 tries, 7101 fired transitions, 825 secs || 6913 markings, 38841 edges, 10 markings/sec, 825 secs
lola: 1 tries, 7150 fired transitions, 830 secs || 6963 markings, 39079 edges, 10 markings/sec, 830 secs
lola: 1 tries, 7200 fired transitions, 835 secs || 7013 markings, 39286 edges, 10 markings/sec, 835 secs
lola: 1 tries, 7251 fired transitions, 840 secs || 7064 markings, 39573 edges, 10 markings/sec, 840 secs
lola: 1 tries, 7304 fired transitions, 845 secs || 7117 markings, 39866 edges, 11 markings/sec, 845 secs
lola: 1 tries, 7355 fired transitions, 850 secs || 7168 markings, 40123 edges, 10 markings/sec, 850 secs
lola: 1 tries, 7408 fired transitions, 855 secs || 7221 markings, 40332 edges, 11 markings/sec, 855 secs
lola: 1 tries, 7459 fired transitions, 860 secs || 7272 markings, 40531 edges, 10 markings/sec, 860 secs
lola: 1 tries, 7499 fired transitions, 865 secs || 7312 markings, 40672 edges, 8 markings/sec, 865 secs
lola: 1 tries, 7525 fired transitions, 870 secs || 7338 markings, 40750 edges, 5 markings/sec, 870 secs
lola: 1 tries, 7556 fired transitions, 875 secs || 7369 markings, 40859 edges, 6 markings/sec, 875 secs
lola: 1 tries, 7606 fired transitions, 880 secs || 7419 markings, 41009 edges, 10 markings/sec, 880 secs
lola: 1 tries, 7656 fired transitions, 885 secs || 7470 markings, 41162 edges, 10 markings/sec, 885 secs
lola: 1 tries, 7708 fired transitions, 890 secs || 7522 markings, 41352 edges, 10 markings/sec, 890 secs
lola: 1 tries, 7759 fired transitions, 895 secs || 7570 markings, 41508 edges, 10 markings/sec, 895 secs
lola: 1 tries, 7810 fired transitions, 900 secs || 7620 markings, 41687 edges, 10 markings/sec, 900 secs
lola: 1 tries, 7861 fired transitions, 905 secs || 7671 markings, 41891 edges, 10 markings/sec, 905 secs
lola: 1 tries, 7912 fired transitions, 910 secs || 7722 markings, 42058 edges, 10 markings/sec, 910 secs
lola: 1 tries, 7963 fired transitions, 915 secs || 7773 markings, 42218 edges, 10 markings/sec, 915 secs
lola: 1 tries, 8014 fired transitions, 920 secs || 7824 markings, 42353 edges, 10 markings/sec, 920 secs
lola: 1 tries, 8066 fired transitions, 925 secs || 7876 markings, 42547 edges, 10 markings/sec, 925 secs
lola: 1 tries, 8117 fired transitions, 930 secs || 7927 markings, 42759 edges, 10 markings/sec, 930 secs
lola: 1 tries, 8168 fired transitions, 935 secs || 7977 markings, 42959 edges, 10 markings/sec, 935 secs
lola: 1 tries, 8217 fired transitions, 940 secs || 8023 markings, 43146 edges, 9 markings/sec, 940 secs
lola: 1 tries, 8266 fired transitions, 945 secs || 8070 markings, 43337 edges, 9 markings/sec, 945 secs
lola: 1 tries, 8316 fired transitions, 950 secs || 8117 markings, 43525 edges, 9 markings/sec, 950 secs
lola: 1 tries, 8366 fired transitions, 955 secs || 8165 markings, 43723 edges, 10 markings/sec, 955 secs
lola: 1 tries, 8416 fired transitions, 960 secs || 8213 markings, 43915 edges, 10 markings/sec, 960 secs
lola: 1 tries, 8466 fired transitions, 965 secs || 8260 markings, 44112 edges, 9 markings/sec, 965 secs
lola: 1 tries, 8516 fired transitions, 970 secs || 8308 markings, 44307 edges, 10 markings/sec, 970 secs
lola: 1 tries, 8566 fired transitions, 975 secs || 8355 markings, 44495 edges, 9 markings/sec, 975 secs
lola: 1 tries, 8616 fired transitions, 980 secs || 8402 markings, 44712 edges, 9 markings/sec, 980 secs
lola: 1 tries, 8666 fired transitions, 985 secs || 8449 markings, 45002 edges, 9 markings/sec, 985 secs
lola: 1 tries, 8716 fired transitions, 990 secs || 8496 markings, 45245 edges, 9 markings/sec, 990 secs
lola: 1 tries, 8764 fired transitions, 995 secs || 8542 markings, 45526 edges, 9 markings/sec, 995 secs
lola: 1 tries, 8814 fired transitions, 1000 secs || 8592 markings, 45844 edges, 10 markings/sec, 1000 secs
lola: 1 tries, 8864 fired transitions, 1005 secs || 8642 markings, 46123 edges, 10 markings/sec, 1005 secs
lola: 1 tries, 8914 fired transitions, 1010 secs || 8692 markings, 46356 edges, 10 markings/sec, 1010 secs
lola: 1 tries, 8963 fired transitions, 1015 secs || 8741 markings, 46589 edges, 10 markings/sec, 1015 secs
lola: 1 tries, 8989 fired transitions, 1020 secs || 8767 markings, 46662 edges, 5 markings/sec, 1020 secs
lola: 1 tries, 9012 fired transitions, 1025 secs || 8790 markings, 46720 edges, 5 markings/sec, 1025 secs
lola: 1 tries, 9037 fired transitions, 1030 secs || 8815 markings, 46820 edges, 5 markings/sec, 1030 secs
lola: 1 tries, 9073 fired transitions, 1035 secs || 8851 markings, 46968 edges, 7 markings/sec, 1035 secs
lola: 1 tries, 9122 fired transitions, 1040 secs || 8902 markings, 47127 edges, 10 markings/sec, 1040 secs
lola: 1 tries, 9174 fired transitions, 1045 secs || 8954 markings, 47179 edges, 10 markings/sec, 1045 secs
lola: 1 tries, 9222 fired transitions, 1050 secs || 9003 markings, 47228 edges, 10 markings/sec, 1050 secs
lola: 1 tries, 9272 fired transitions, 1055 secs || 9055 markings, 47280 edges, 10 markings/sec, 1055 secs
lola: 1 tries, 9321 fired transitions, 1060 secs || 9106 markings, 47331 edges, 10 markings/sec, 1060 secs
lola: 1 tries, 9372 fired transitions, 1065 secs || 9158 markings, 47383 edges, 10 markings/sec, 1065 secs
lola: 1 tries, 9424 fired transitions, 1070 secs || 9210 markings, 47435 edges, 10 markings/sec, 1070 secs
lola: 1 tries, 9473 fired transitions, 1075 secs || 9261 markings, 47486 edges, 10 markings/sec, 1075 secs
lola: 1 tries, 9524 fired transitions, 1080 secs || 9313 markings, 47538 edges, 10 markings/sec, 1080 secs
lola: 1 tries, 9574 fired transitions, 1085 secs || 9365 markings, 47590 edges, 10 markings/sec, 1085 secs
lola: 1 tries, 9623 fired transitions, 1090 secs || 9416 markings, 47641 edges, 10 markings/sec, 1090 secs
lola: 1 tries, 9674 fired transitions, 1095 secs || 9468 markings, 47693 edges, 10 markings/sec, 1095 secs
lola: 1 tries, 9725 fired transitions, 1100 secs || 9521 markings, 47746 edges, 11 markings/sec, 1100 secs
lola: 1 tries, 9776 fired transitions, 1105 secs || 9573 markings, 47798 edges, 10 markings/sec, 1105 secs
lola: 1 tries, 9826 fired transitions, 1110 secs || 9625 markings, 47850 edges, 10 markings/sec, 1110 secs
lola: 1 tries, 9877 fired transitions, 1115 secs || 9677 markings, 47902 edges, 10 markings/sec, 1115 secs
lola: 1 tries, 9925 fired transitions, 1120 secs || 9728 markings, 47953 edges, 10 markings/sec, 1120 secs
lola: 1 tries, 9976 fired transitions, 1125 secs || 9779 markings, 48004 edges, 10 markings/sec, 1125 secs
lola: 1 tries, 10027 fired transitions, 1130 secs || 9831 markings, 48056 edges, 10 markings/sec, 1130 secs
lola: 1 tries, 10077 fired transitions, 1135 secs || 9883 markings, 48108 edges, 10 markings/sec, 1135 secs
lola: 1 tries, 10128 fired transitions, 1140 secs || 9934 markings, 48159 edges, 10 markings/sec, 1140 secs
lola: 1 tries, 10181 fired transitions, 1145 secs || 9987 markings, 48212 edges, 11 markings/sec, 1145 secs
lola: 1 tries, 10234 fired transitions, 1150 secs || 10040 markings, 48265 edges, 11 markings/sec, 1150 secs
lola: 1 tries, 10286 fired transitions, 1155 secs || 10092 markings, 48317 edges, 10 markings/sec, 1155 secs
lola: 1 tries, 10339 fired transitions, 1160 secs || 10145 markings, 48370 edges, 11 markings/sec, 1160 secs
lola: 1 tries, 10390 fired transitions, 1165 secs || 10197 markings, 48422 edges, 10 markings/sec, 1165 secs
lola: 1 tries, 10442 fired transitions, 1170 secs || 10250 markings, 48475 edges, 11 markings/sec, 1170 secs
lola: 1 tries, 10493 fired transitions, 1175 secs || 10300 markings, 48525 edges, 10 markings/sec, 1175 secs
lola: 1 tries, 10543 fired transitions, 1180 secs || 10349 markings, 48574 edges, 10 markings/sec, 1180 secs
lola: 1 tries, 10592 fired transitions, 1185 secs || 10398 markings, 48623 edges, 10 markings/sec, 1185 secs
lola: 1 tries, 10643 fired transitions, 1190 secs || 10450 markings, 48675 edges, 10 markings/sec, 1190 secs
lola: 1 tries, 10695 fired transitions, 1195 secs || 10502 markings, 48727 edges, 10 markings/sec, 1195 secs
lola: 1 tries, 10746 fired transitions, 1200 secs || 10553 markings, 48778 edges, 10 markings/sec, 1200 secs
lola: 1 tries, 10799 fired transitions, 1205 secs || 10606 markings, 48862 edges, 11 markings/sec, 1205 secs
lola: 1 tries, 10852 fired transitions, 1210 secs || 10659 markings, 48988 edges, 11 markings/sec, 1210 secs
lola: 1 tries, 10904 fired transitions, 1215 secs || 10711 markings, 49096 edges, 10 markings/sec, 1215 secs
lola: 1 tries, 10956 fired transitions, 1220 secs || 10763 markings, 49148 edges, 10 markings/sec, 1220 secs
lola: 1 tries, 11009 fired transitions, 1225 secs || 10816 markings, 49201 edges, 11 markings/sec, 1225 secs
lola: 1 tries, 11060 fired transitions, 1230 secs || 10868 markings, 49253 edges, 10 markings/sec, 1230 secs
lola: 1 tries, 11112 fired transitions, 1235 secs || 10920 markings, 49305 edges, 10 markings/sec, 1235 secs
lola: 1 tries, 11164 fired transitions, 1240 secs || 10972 markings, 49357 edges, 10 markings/sec, 1240 secs
lola: 1 tries, 11214 fired transitions, 1245 secs || 11022 markings, 49407 edges, 10 markings/sec, 1245 secs
lola: 1 tries, 11266 fired transitions, 1250 secs || 11074 markings, 49459 edges, 10 markings/sec, 1250 secs
lola: 1 tries, 11318 fired transitions, 1255 secs || 11126 markings, 49511 edges, 10 markings/sec, 1255 secs
lola: 1 tries, 11371 fired transitions, 1260 secs || 11179 markings, 49564 edges, 11 markings/sec, 1260 secs
lola: 1 tries, 11423 fired transitions, 1265 secs || 11231 markings, 49616 edges, 10 markings/sec, 1265 secs
lola: 1 tries, 11476 fired transitions, 1270 secs || 11284 markings, 49669 edges, 11 markings/sec, 1270 secs
lola: 1 tries, 11528 fired transitions, 1275 secs || 11336 markings, 49721 edges, 10 markings/sec, 1275 secs
lola: 1 tries, 11577 fired transitions, 1280 secs || 11385 markings, 49770 edges, 10 markings/sec, 1280 secs
lola: 1 tries, 11629 fired transitions, 1285 secs || 11437 markings, 49822 edges, 10 markings/sec, 1285 secs
lola: 1 tries, 11662 fired transitions, 1290 secs || 11470 markings, 49855 edges, 7 markings/sec, 1290 secs
lola: 1 tries, 11699 fired transitions, 1295 secs || 11506 markings, 49891 edges, 7 markings/sec, 1295 secs
lola: 1 tries, 11737 fired transitions, 1300 secs || 11544 markings, 49929 edges, 8 markings/sec, 1300 secs
lola: 1 tries, 11777 fired transitions, 1305 secs || 11583 markings, 49968 edges, 8 markings/sec, 1305 secs
lola: 1 tries, 11828 fired transitions, 1310 secs || 11635 markings, 50020 edges, 10 markings/sec, 1310 secs
lola: 1 tries, 11880 fired transitions, 1315 secs || 11687 markings, 50072 edges, 10 markings/sec, 1315 secs
lola: 1 tries, 11933 fired transitions, 1320 secs || 11740 markings, 50125 edges, 11 markings/sec, 1320 secs
lola: 1 tries, 11986 fired transitions, 1325 secs || 11793 markings, 50178 edges, 11 markings/sec, 1325 secs
lola: 1 tries, 12039 fired transitions, 1330 secs || 11846 markings, 50231 edges, 11 markings/sec, 1330 secs
lola: 1 tries, 12091 fired transitions, 1335 secs || 11898 markings, 50283 edges, 10 markings/sec, 1335 secs
lola: 1 tries, 12143 fired transitions, 1340 secs || 11950 markings, 50335 edges, 10 markings/sec, 1340 secs
lola: 1 tries, 12188 fired transitions, 1345 secs || 11999 markings, 50384 edges, 10 markings/sec, 1345 secs
lola: 1 tries, 12238 fired transitions, 1350 secs || 12051 markings, 50436 edges, 10 markings/sec, 1350 secs
lola: 1 tries, 12288 fired transitions, 1355 secs || 12100 markings, 50485 edges, 10 markings/sec, 1355 secs
lola: 1 tries, 12338 fired transitions, 1360 secs || 12149 markings, 50534 edges, 10 markings/sec, 1360 secs
lola: 1 tries, 12389 fired transitions, 1365 secs || 12199 markings, 50584 edges, 10 markings/sec, 1365 secs
lola: 1 tries, 12439 fired transitions, 1370 secs || 12247 markings, 50632 edges, 10 markings/sec, 1370 secs
lola: 1 tries, 12483 fired transitions, 1375 secs || 12291 markings, 50676 edges, 9 markings/sec, 1375 secs
lola: 1 tries, 12508 fired transitions, 1380 secs || 12316 markings, 50701 edges, 5 markings/sec, 1380 secs
lola: 1 tries, 12533 fired transitions, 1385 secs || 12341 markings, 50726 edges, 5 markings/sec, 1385 secs
lola: 1 tries, 12558 fired transitions, 1390 secs || 12366 markings, 50751 edges, 5 markings/sec, 1390 secs
lola: 1 tries, 12583 fired transitions, 1395 secs || 12391 markings, 50776 edges, 5 markings/sec, 1395 secs
lola: 1 tries, 12608 fired transitions, 1400 secs || 12416 markings, 50801 edges, 5 markings/sec, 1400 secs
lola: 1 tries, 12633 fired transitions, 1405 secs || 12441 markings, 50826 edges, 5 markings/sec, 1405 secs
lola: 1 tries, 12661 fired transitions, 1410 secs || 12469 markings, 50854 edges, 6 markings/sec, 1410 secs
lola: 1 tries, 12711 fired transitions, 1415 secs || 12520 markings, 50905 edges, 10 markings/sec, 1415 secs
lola: 1 tries, 12762 fired transitions, 1420 secs || 12571 markings, 50956 edges, 10 markings/sec, 1420 secs
lola: 1 tries, 12813 fired transitions, 1425 secs || 12621 markings, 51006 edges, 10 markings/sec, 1425 secs
lola: 1 tries, 12864 fired transitions, 1430 secs || 12672 markings, 51092 edges, 10 markings/sec, 1430 secs
lola: 1 tries, 12914 fired transitions, 1435 secs || 12722 markings, 51252 edges, 10 markings/sec, 1435 secs
lola: 1 tries, 12964 fired transitions, 1440 secs || 12773 markings, 51374 edges, 10 markings/sec, 1440 secs
lola: 1 tries, 13016 fired transitions, 1445 secs || 12825 markings, 51518 edges, 10 markings/sec, 1445 secs
lola: 1 tries, 13067 fired transitions, 1450 secs || 12876 markings, 51592 edges, 10 markings/sec, 1450 secs
lola: 1 tries, 13119 fired transitions, 1455 secs || 12927 markings, 51663 edges, 10 markings/sec, 1455 secs
lola: 1 tries, 13170 fired transitions, 1460 secs || 12979 markings, 51881 edges, 10 markings/sec, 1460 secs
lola: 1 tries, 13222 fired transitions, 1465 secs || 13031 markings, 52061 edges, 10 markings/sec, 1465 secs
lola: 1 tries, 13272 fired transitions, 1470 secs || 13083 markings, 52159 edges, 10 markings/sec, 1470 secs
lola: 1 tries, 13324 fired transitions, 1475 secs || 13135 markings, 52303 edges, 10 markings/sec, 1475 secs
lola: 1 tries, 13376 fired transitions, 1480 secs || 13187 markings, 52495 edges, 10 markings/sec, 1480 secs
lola: 1 tries, 13428 fired transitions, 1485 secs || 13239 markings, 52671 edges, 10 markings/sec, 1485 secs
lola: 1 tries, 13480 fired transitions, 1490 secs || 13291 markings, 52835 edges, 10 markings/sec, 1490 secs
lola: 1 tries, 13532 fired transitions, 1495 secs || 13343 markings, 53109 edges, 10 markings/sec, 1495 secs
lola: 1 tries, 13581 fired transitions, 1500 secs || 13394 markings, 53456 edges, 10 markings/sec, 1500 secs
lola: 1 tries, 13631 fired transitions, 1505 secs || 13444 markings, 53964 edges, 10 markings/sec, 1505 secs
lola: 1 tries, 13683 fired transitions, 1510 secs || 13496 markings, 54426 edges, 10 markings/sec, 1510 secs
lola: 1 tries, 13734 fired transitions, 1515 secs || 13547 markings, 54783 edges, 10 markings/sec, 1515 secs
lola: 1 tries, 13781 fired transitions, 1520 secs || 13594 markings, 55056 edges, 9 markings/sec, 1520 secs
lola: 1 tries, 13806 fired transitions, 1525 secs || 13619 markings, 55213 edges, 5 markings/sec, 1525 secs
lola: 1 tries, 13831 fired transitions, 1530 secs || 13644 markings, 55419 edges, 5 markings/sec, 1530 secs
lola: 1 tries, 13856 fired transitions, 1535 secs || 13669 markings, 55609 edges, 5 markings/sec, 1535 secs
lola: 1 tries, 13881 fired transitions, 1540 secs || 13694 markings, 55816 edges, 5 markings/sec, 1540 secs
lola: 1 tries, 13906 fired transitions, 1545 secs || 13719 markings, 56039 edges, 5 markings/sec, 1545 secs
lola: 1 tries, 13931 fired transitions, 1550 secs || 13744 markings, 56296 edges, 5 markings/sec, 1550 secs
lola: 1 tries, 13957 fired transitions, 1555 secs || 13770 markings, 56582 edges, 5 markings/sec, 1555 secs
lola: 1 tries, 13981 fired transitions, 1560 secs || 13795 markings, 56857 edges, 5 markings/sec, 1560 secs
lola: 1 tries, 14006 fired transitions, 1565 secs || 13819 markings, 57121 edges, 5 markings/sec, 1565 secs
lola: 1 tries, 14032 fired transitions, 1570 secs || 13845 markings, 57375 edges, 5 markings/sec, 1570 secs
lola: 1 tries, 14057 fired transitions, 1575 secs || 13870 markings, 57551 edges, 5 markings/sec, 1575 secs
lola: 1 tries, 14082 fired transitions, 1580 secs || 13895 markings, 57774 edges, 5 markings/sec, 1580 secs
lola: 1 tries, 14109 fired transitions, 1585 secs || 13922 markings, 58053 edges, 5 markings/sec, 1585 secs
lola: 1 tries, 14159 fired transitions, 1590 secs || 13970 markings, 58404 edges, 10 markings/sec, 1590 secs
lola: 1 tries, 14209 fired transitions, 1595 secs || 14019 markings, 58588 edges, 10 markings/sec, 1595 secs
lola: 1 tries, 14245 fired transitions, 1600 secs || 14054 markings, 58776 edges, 7 markings/sec, 1600 secs
lola: 1 tries, 14270 fired transitions, 1605 secs || 14079 markings, 58903 edges, 5 markings/sec, 1605 secs
lola: 1 tries, 14294 fired transitions, 1610 secs || 14103 markings, 59071 edges, 5 markings/sec, 1610 secs
lola: 1 tries, 14319 fired transitions, 1615 secs || 14128 markings, 59288 edges, 5 markings/sec, 1615 secs
lola: 1 tries, 14359 fired transitions, 1620 secs || 14167 markings, 59678 edges, 8 markings/sec, 1620 secs
lola: 1 tries, 14409 fired transitions, 1625 secs || 14216 markings, 60041 edges, 10 markings/sec, 1625 secs
lola: 1 tries, 14459 fired transitions, 1630 secs || 14266 markings, 60412 edges, 10 markings/sec, 1630 secs
lola: 1 tries, 14509 fired transitions, 1635 secs || 14316 markings, 60903 edges, 10 markings/sec, 1635 secs
lola: 1 tries, 14552 fired transitions, 1640 secs || 14364 markings, 61205 edges, 10 markings/sec, 1640 secs
lola: 1 tries, 14595 fired transitions, 1645 secs || 14414 markings, 61472 edges, 10 markings/sec, 1645 secs
lola: 1 tries, 14646 fired transitions, 1650 secs || 14466 markings, 61855 edges, 10 markings/sec, 1650 secs
lola: 1 tries, 14697 fired transitions, 1655 secs || 14518 markings, 62167 edges, 10 markings/sec, 1655 secs
lola: 1 tries, 14745 fired transitions, 1660 secs || 14568 markings, 62617 edges, 10 markings/sec, 1660 secs
lola: 1 tries, 14792 fired transitions, 1665 secs || 14619 markings, 62939 edges, 10 markings/sec, 1665 secs
lola: 1 tries, 14839 fired transitions, 1670 secs || 14667 markings, 63224 edges, 10 markings/sec, 1670 secs
lola: 1 tries, 14890 fired transitions, 1675 secs || 14718 markings, 63600 edges, 10 markings/sec, 1675 secs
lola: 1 tries, 14940 fired transitions, 1680 secs || 14769 markings, 63955 edges, 10 markings/sec, 1680 secs
lola: 1 tries, 14991 fired transitions, 1685 secs || 14820 markings, 64271 edges, 10 markings/sec, 1685 secs
lola: 1 tries, 15042 fired transitions, 1690 secs || 14871 markings, 64483 edges, 10 markings/sec, 1690 secs
lola: 1 tries, 15094 fired transitions, 1695 secs || 14924 markings, 64760 edges, 11 markings/sec, 1695 secs
lola: 1 tries, 15145 fired transitions, 1700 secs || 14975 markings, 64956 edges, 10 markings/sec, 1700 secs
lola: 1 tries, 15193 fired transitions, 1705 secs || 15025 markings, 65183 edges, 10 markings/sec, 1705 secs
lola: 1 tries, 15244 fired transitions, 1710 secs || 15076 markings, 65514 edges, 10 markings/sec, 1710 secs
lola: 1 tries, 15294 fired transitions, 1715 secs || 15127 markings, 65763 edges, 10 markings/sec, 1715 secs
lola: 1 tries, 15346 fired transitions, 1720 secs || 15179 markings, 65931 edges, 10 markings/sec, 1720 secs
lola: 1 tries, 15398 fired transitions, 1725 secs || 15231 markings, 66148 edges, 10 markings/sec, 1725 secs
lola: 1 tries, 15450 fired transitions, 1730 secs || 15283 markings, 66451 edges, 10 markings/sec, 1730 secs
lola: 1 tries, 15502 fired transitions, 1735 secs || 15335 markings, 66809 edges, 10 markings/sec, 1735 secs
lola: 1 tries, 15554 fired transitions, 1740 secs || 15387 markings, 67008 edges, 10 markings/sec, 1740 secs
lola: 1 tries, 15605 fired transitions, 1745 secs || 15438 markings, 67162 edges, 10 markings/sec, 1745 secs
lola: 1 tries, 15657 fired transitions, 1750 secs || 15490 markings, 67295 edges, 10 markings/sec, 1750 secs
lola: 1 tries, 15708 fired transitions, 1755 secs || 15541 markings, 67346 edges, 10 markings/sec, 1755 secs
lola: 1 tries, 15758 fired transitions, 1760 secs || 15592 markings, 67397 edges, 10 markings/sec, 1760 secs
lola: 1 tries, 15810 fired transitions, 1765 secs || 15644 markings, 67449 edges, 10 markings/sec, 1765 secs
lola: 1 tries, 15860 fired transitions, 1770 secs || 15695 markings, 67500 edges, 10 markings/sec, 1770 secs
lola: 1 tries, 15912 fired transitions, 1775 secs || 15747 markings, 67552 edges, 10 markings/sec, 1775 secs
lola: 1 tries, 15962 fired transitions, 1780 secs || 15798 markings, 67603 edges, 10 markings/sec, 1780 secs
lola: 1 tries, 16014 fired transitions, 1785 secs || 15850 markings, 67655 edges, 10 markings/sec, 1785 secs
lola: 1 tries, 16065 fired transitions, 1790 secs || 15901 markings, 67706 edges, 10 markings/sec, 1790 secs
lola: 1 tries, 16116 fired transitions, 1795 secs || 15952 markings, 67757 edges, 10 markings/sec, 1795 secs
lola: 1 tries, 16166 fired transitions, 1800 secs || 16004 markings, 67809 edges, 10 markings/sec, 1800 secs
lola: 1 tries, 16217 fired transitions, 1805 secs || 16056 markings, 67861 edges, 10 markings/sec, 1805 secs
lola: 1 tries, 16269 fired transitions, 1810 secs || 16108 markings, 67913 edges, 10 markings/sec, 1810 secs
lola: 1 tries, 16320 fired transitions, 1815 secs || 16160 markings, 67965 edges, 10 markings/sec, 1815 secs
lola: 1 tries, 16369 fired transitions, 1820 secs || 16210 markings, 68015 edges, 10 markings/sec, 1820 secs
lola: 1 tries, 16421 fired transitions, 1825 secs || 16262 markings, 68067 edges, 10 markings/sec, 1825 secs
lola: 1 tries, 16472 fired transitions, 1830 secs || 16314 markings, 68119 edges, 10 markings/sec, 1830 secs
lola: 1 tries, 16523 fired transitions, 1835 secs || 16366 markings, 68171 edges, 10 markings/sec, 1835 secs
lola: 1 tries, 16574 fired transitions, 1840 secs || 16417 markings, 68222 edges, 10 markings/sec, 1840 secs
lola: 1 tries, 16626 fired transitions, 1845 secs || 16469 markings, 68274 edges, 10 markings/sec, 1845 secs
lola: 1 tries, 16677 fired transitions, 1850 secs || 16520 markings, 68325 edges, 10 markings/sec, 1850 secs
lola: 1 tries, 16728 fired transitions, 1855 secs || 16571 markings, 68376 edges, 10 markings/sec, 1855 secs
lola: 1 tries, 16779 fired transitions, 1860 secs || 16623 markings, 68428 edges, 10 markings/sec, 1860 secs
lola: 1 tries, 16827 fired transitions, 1865 secs || 16671 markings, 68476 edges, 10 markings/sec, 1865 secs
lola: 1 tries, 16878 fired transitions, 1870 secs || 16722 markings, 68527 edges, 10 markings/sec, 1870 secs
lola: 1 tries, 16929 fired transitions, 1875 secs || 16774 markings, 68579 edges, 10 markings/sec, 1875 secs
lola: 1 tries, 16973 fired transitions, 1880 secs || 16818 markings, 68623 edges, 9 markings/sec, 1880 secs
lola: 1 tries, 16999 fired transitions, 1885 secs || 16844 markings, 68649 edges, 5 markings/sec, 1885 secs
lola: 1 tries, 17024 fired transitions, 1890 secs || 16869 markings, 68674 edges, 5 markings/sec, 1890 secs
lola: 1 tries, 17049 fired transitions, 1895 secs || 16894 markings, 68699 edges, 5 markings/sec, 1895 secs
lola: 1 tries, 17075 fired transitions, 1900 secs || 16920 markings, 68725 edges, 5 markings/sec, 1900 secs
lola: 1 tries, 17100 fired transitions, 1905 secs || 16945 markings, 68750 edges, 5 markings/sec, 1905 secs
lola: 1 tries, 17125 fired transitions, 1910 secs || 16970 markings, 68775 edges, 5 markings/sec, 1910 secs
lola: 1 tries, 17150 fired transitions, 1915 secs || 16995 markings, 68800 edges, 5 markings/sec, 1915 secs
lola: 1 tries, 17176 fired transitions, 1920 secs || 17021 markings, 68826 edges, 5 markings/sec, 1920 secs
lola: 1 tries, 17201 fired transitions, 1925 secs || 17046 markings, 68851 edges, 5 markings/sec, 1925 secs
lola: 1 tries, 17226 fired transitions, 1930 secs || 17072 markings, 68877 edges, 5 markings/sec, 1930 secs
lola: 1 tries, 17252 fired transitions, 1935 secs || 17097 markings, 68902 edges, 5 markings/sec, 1935 secs
lola: 1 tries, 17276 fired transitions, 1940 secs || 17121 markings, 68926 edges, 5 markings/sec, 1940 secs
lola: 1 tries, 17301 fired transitions, 1945 secs || 17146 markings, 68951 edges, 5 markings/sec, 1945 secs
lola: 1 tries, 17327 fired transitions, 1950 secs || 17172 markings, 68977 edges, 5 markings/sec, 1950 secs
lola: 1 tries, 17352 fired transitions, 1955 secs || 17197 markings, 69002 edges, 5 markings/sec, 1955 secs
lola: 1 tries, 17376 fired transitions, 1960 secs || 17221 markings, 69026 edges, 5 markings/sec, 1960 secs
lola: 1 tries, 17399 fired transitions, 1965 secs || 17244 markings, 69049 edges, 5 markings/sec, 1965 secs
lola: 1 tries, 17422 fired transitions, 1970 secs || 17268 markings, 69073 edges, 5 markings/sec, 1970 secs
lola: 1 tries, 17446 fired transitions, 1975 secs || 17293 markings, 69098 edges, 5 markings/sec, 1975 secs
lola: 1 tries, 17471 fired transitions, 1980 secs || 17318 markings, 69123 edges, 5 markings/sec, 1980 secs
lola: 1 tries, 17496 fired transitions, 1985 secs || 17343 markings, 69148 edges, 5 markings/sec, 1985 secs
lola: 1 tries, 17520 fired transitions, 1990 secs || 17368 markings, 69173 edges, 5 markings/sec, 1990 secs
lola: 1 tries, 17546 fired transitions, 1995 secs || 17393 markings, 69198 edges, 5 markings/sec, 1995 secs
lola: 1 tries, 17570 fired transitions, 2000 secs || 17418 markings, 69223 edges, 5 markings/sec, 2000 secs
lola: 1 tries, 17594 fired transitions, 2005 secs || 17442 markings, 69247 edges, 5 markings/sec, 2005 secs
lola: 1 tries, 17618 fired transitions, 2010 secs || 17466 markings, 69271 edges, 5 markings/sec, 2010 secs
lola: 1 tries, 17642 fired transitions, 2015 secs || 17490 markings, 69295 edges, 5 markings/sec, 2015 secs
lola: 1 tries, 17666 fired transitions, 2020 secs || 17514 markings, 69319 edges, 5 markings/sec, 2020 secs
lola: 1 tries, 17690 fired transitions, 2025 secs || 17538 markings, 69343 edges, 5 markings/sec, 2025 secs
lola: 1 tries, 17713 fired transitions, 2030 secs || 17561 markings, 69366 edges, 5 markings/sec, 2030 secs
lola: 1 tries, 17737 fired transitions, 2035 secs || 17585 markings, 69390 edges, 5 markings/sec, 2035 secs
lola: 1 tries, 17759 fired transitions, 2040 secs || 17608 markings, 69413 edges, 5 markings/sec, 2040 secs
lola: 1 tries, 17783 fired transitions, 2045 secs || 17632 markings, 69450 edges, 5 markings/sec, 2045 secs
lola: 1 tries, 17807 fired transitions, 2050 secs || 17656 markings, 69485 edges, 5 markings/sec, 2050 secs
lola: 1 tries, 17831 fired transitions, 2055 secs || 17680 markings, 69520 edges, 5 markings/sec, 2055 secs
lola: 1 tries, 17854 fired transitions, 2060 secs || 17703 markings, 69543 edges, 5 markings/sec, 2060 secs
lola: 1 tries, 17878 fired transitions, 2065 secs || 17727 markings, 69610 edges, 5 markings/sec, 2065 secs
lola: 1 tries, 17901 fired transitions, 2070 secs || 17750 markings, 69651 edges, 5 markings/sec, 2070 secs
lola: 1 tries, 17925 fired transitions, 2075 secs || 17774 markings, 69711 edges, 5 markings/sec, 2075 secs
lola: 1 tries, 17949 fired transitions, 2080 secs || 17798 markings, 69822 edges, 5 markings/sec, 2080 secs
lola: 1 tries, 17972 fired transitions, 2085 secs || 17821 markings, 69877 edges, 5 markings/sec, 2085 secs
lola: 1 tries, 17996 fired transitions, 2090 secs || 17845 markings, 69950 edges, 5 markings/sec, 2090 secs
lola: 1 tries, 18019 fired transitions, 2095 secs || 17868 markings, 70055 edges, 5 markings/sec, 2095 secs
lola: 1 tries, 18043 fired transitions, 2100 secs || 17892 markings, 70136 edges, 5 markings/sec, 2100 secs
lola: 1 tries, 18066 fired transitions, 2105 secs || 17915 markings, 70228 edges, 5 markings/sec, 2105 secs
lola: 1 tries, 18090 fired transitions, 2110 secs || 17939 markings, 70379 edges, 5 markings/sec, 2110 secs
lola: 1 tries, 18114 fired transitions, 2115 secs || 17963 markings, 70530 edges, 5 markings/sec, 2115 secs
lola: 1 tries, 18137 fired transitions, 2120 secs || 17986 markings, 70682 edges, 5 markings/sec, 2120 secs
lola: 1 tries, 18161 fired transitions, 2125 secs || 18010 markings, 70883 edges, 5 markings/sec, 2125 secs
lola: 1 tries, 18185 fired transitions, 2130 secs || 18034 markings, 71093 edges, 5 markings/sec, 2130 secs
lola: 1 tries, 18208 fired transitions, 2135 secs || 18057 markings, 71280 edges, 5 markings/sec, 2135 secs
lola: 1 tries, 18232 fired transitions, 2140 secs || 18081 markings, 71429 edges, 5 markings/sec, 2140 secs
lola: 1 tries, 18255 fired transitions, 2145 secs || 18104 markings, 71638 edges, 5 markings/sec, 2145 secs
lola: 1 tries, 18279 fired transitions, 2150 secs || 18128 markings, 71845 edges, 5 markings/sec, 2150 secs
lola: 1 tries, 18303 fired transitions, 2155 secs || 18152 markings, 72064 edges, 5 markings/sec, 2155 secs
lola: 1 tries, 18327 fired transitions, 2160 secs || 18176 markings, 72232 edges, 5 markings/sec, 2160 secs
lola: 1 tries, 18351 fired transitions, 2165 secs || 18200 markings, 72400 edges, 5 markings/sec, 2165 secs
lola: 1 tries, 18375 fired transitions, 2170 secs || 18224 markings, 72589 edges, 5 markings/sec, 2170 secs
lola: 1 tries, 18399 fired transitions, 2175 secs || 18247 markings, 72750 edges, 5 markings/sec, 2175 secs
lola: 1 tries, 18422 fired transitions, 2180 secs || 18271 markings, 72918 edges, 5 markings/sec, 2180 secs
lola: 1 tries, 18446 fired transitions, 2185 secs || 18295 markings, 73095 edges, 5 markings/sec, 2185 secs
lola: 1 tries, 18470 fired transitions, 2190 secs || 18319 markings, 73319 edges, 5 markings/sec, 2190 secs
lola: 1 tries, 18494 fired transitions, 2195 secs || 18342 markings, 73618 edges, 5 markings/sec, 2195 secs
lola: 1 tries, 18517 fired transitions, 2200 secs || 18366 markings, 73930 edges, 5 markings/sec, 2200 secs
lola: 1 tries, 18541 fired transitions, 2205 secs || 18390 markings, 74242 edges, 5 markings/sec, 2205 secs
lola: 1 tries, 18564 fired transitions, 2210 secs || 18414 markings, 74542 edges, 5 markings/sec, 2210 secs
lola: 1 tries, 18588 fired transitions, 2215 secs || 18437 markings, 74761 edges, 5 markings/sec, 2215 secs
lola: 1 tries, 18612 fired transitions, 2220 secs || 18461 markings, 75061 edges, 5 markings/sec, 2220 secs
lola: 1 tries, 18636 fired transitions, 2225 secs || 18485 markings, 75373 edges, 5 markings/sec, 2225 secs
lola: 1 tries, 18660 fired transitions, 2230 secs || 18509 markings, 75685 edges, 5 markings/sec, 2230 secs
lola: 1 tries, 18683 fired transitions, 2235 secs || 18532 markings, 75860 edges, 5 markings/sec, 2235 secs
lola: 1 tries, 18707 fired transitions, 2240 secs || 18556 markings, 76067 edges, 5 markings/sec, 2240 secs
lola: 1 tries, 18730 fired transitions, 2245 secs || 18579 markings, 76228 edges, 5 markings/sec, 2245 secs
lola: 1 tries, 18754 fired transitions, 2250 secs || 18603 markings, 76438 edges, 5 markings/sec, 2250 secs
lola: 1 tries, 18777 fired transitions, 2255 secs || 18626 markings, 76595 edges, 5 markings/sec, 2255 secs
lola: 1 tries, 18801 fired transitions, 2260 secs || 18650 markings, 76761 edges, 5 markings/sec, 2260 secs
lola: 1 tries, 18825 fired transitions, 2265 secs || 18674 markings, 76902 edges, 5 markings/sec, 2265 secs
lola: 1 tries, 18849 fired transitions, 2270 secs || 18698 markings, 77064 edges, 5 markings/sec, 2270 secs
lola: 1 tries, 18873 fired transitions, 2275 secs || 18722 markings, 77244 edges, 5 markings/sec, 2275 secs
lola: 1 tries, 18896 fired transitions, 2280 secs || 18745 markings, 77381 edges, 5 markings/sec, 2280 secs
lola: 1 tries, 18920 fired transitions, 2285 secs || 18769 markings, 77596 edges, 5 markings/sec, 2285 secs
lola: 1 tries, 18944 fired transitions, 2290 secs || 18793 markings, 77814 edges, 5 markings/sec, 2290 secs
lola: 1 tries, 18968 fired transitions, 2295 secs || 18817 markings, 78035 edges, 5 markings/sec, 2295 secs
lola: 1 tries, 18992 fired transitions, 2300 secs || 18841 markings, 78275 edges, 5 markings/sec, 2300 secs
lola: 1 tries, 19025 fired transitions, 2305 secs || 18875 markings, 78594 edges, 7 markings/sec, 2305 secs
lola: 1 tries, 19072 fired transitions, 2310 secs || 18923 markings, 79064 edges, 10 markings/sec, 2310 secs
lola: 1 tries, 19120 fired transitions, 2315 secs || 18973 markings, 79457 edges, 10 markings/sec, 2315 secs
lola: 1 tries, 19167 fired transitions, 2320 secs || 19021 markings, 79847 edges, 10 markings/sec, 2320 secs
lola: 1 tries, 19215 fired transitions, 2325 secs || 19070 markings, 80218 edges, 10 markings/sec, 2325 secs
lola: 1 tries, 19263 fired transitions, 2330 secs || 19119 markings, 80513 edges, 10 markings/sec, 2330 secs
lola: 1 tries, 19310 fired transitions, 2335 secs || 19168 markings, 81111 edges, 10 markings/sec, 2335 secs
lola: 1 tries, 19358 fired transitions, 2340 secs || 19217 markings, 81490 edges, 10 markings/sec, 2340 secs
lola: 1 tries, 19406 fired transitions, 2345 secs || 19266 markings, 81712 edges, 10 markings/sec, 2345 secs
lola: 1 tries, 19453 fired transitions, 2350 secs || 19315 markings, 81921 edges, 10 markings/sec, 2350 secs
lola: 1 tries, 19500 fired transitions, 2355 secs || 19364 markings, 82214 edges, 10 markings/sec, 2355 secs
lola: 1 tries, 19548 fired transitions, 2360 secs || 19412 markings, 82465 edges, 10 markings/sec, 2360 secs
lola: 1 tries, 19594 fired transitions, 2365 secs || 19459 markings, 82654 edges, 9 markings/sec, 2365 secs
lola: 1 tries, 19641 fired transitions, 2370 secs || 19508 markings, 83030 edges, 10 markings/sec, 2370 secs
lola: 1 tries, 19690 fired transitions, 2375 secs || 19558 markings, 83343 edges, 10 markings/sec, 2375 secs
lola: 1 tries, 19736 fired transitions, 2380 secs || 19606 markings, 83555 edges, 10 markings/sec, 2380 secs
lola: 1 tries, 19783 fired transitions, 2385 secs || 19655 markings, 83782 edges, 10 markings/sec, 2385 secs
lola: 1 tries, 19830 fired transitions, 2390 secs || 19703 markings, 83992 edges, 10 markings/sec, 2390 secs
lola: 1 tries, 19876 fired transitions, 2395 secs || 19752 markings, 84241 edges, 10 markings/sec, 2395 secs
lola: 1 tries, 19923 fired transitions, 2400 secs || 19801 markings, 84490 edges, 10 markings/sec, 2400 secs
lola: 1 tries, 19970 fired transitions, 2405 secs || 19849 markings, 84732 edges, 10 markings/sec, 2405 secs
lola: 1 tries, 20017 fired transitions, 2410 secs || 19898 markings, 84991 edges, 10 markings/sec, 2410 secs
lola: 1 tries, 20064 fired transitions, 2415 secs || 19946 markings, 85245 edges, 10 markings/sec, 2415 secs
lola: 1 tries, 20113 fired transitions, 2420 secs || 19997 markings, 85501 edges, 10 markings/sec, 2420 secs
lola: 1 tries, 20161 fired transitions, 2425 secs || 20047 markings, 85786 edges, 10 markings/sec, 2425 secs
lola: 1 tries, 20201 fired transitions, 2430 secs || 20087 markings, 86074 edges, 8 markings/sec, 2430 secs
lola: 1 tries, 20226 fired transitions, 2435 secs || 20112 markings, 86233 edges, 5 markings/sec, 2435 secs
lola: 1 tries, 20251 fired transitions, 2440 secs || 20137 markings, 86424 edges, 5 markings/sec, 2440 secs
lola: 1 tries, 20276 fired transitions, 2445 secs || 20162 markings, 86625 edges, 5 markings/sec, 2445 secs
lola: 1 tries, 20301 fired transitions, 2450 secs || 20187 markings, 86831 edges, 5 markings/sec, 2450 secs
lola: 1 tries, 20326 fired transitions, 2455 secs || 20212 markings, 87014 edges, 5 markings/sec, 2455 secs
lola: 1 tries, 20352 fired transitions, 2460 secs || 20238 markings, 87188 edges, 5 markings/sec, 2460 secs
lola: 1 tries, 20377 fired transitions, 2465 secs || 20263 markings, 87279 edges, 5 markings/sec, 2465 secs
lola: 1 tries, 20402 fired transitions, 2470 secs || 20288 markings, 87360 edges, 5 markings/sec, 2470 secs
lola: 1 tries, 20436 fired transitions, 2475 secs || 20323 markings, 87445 edges, 7 markings/sec, 2475 secs
lola: 1 tries, 20488 fired transitions, 2480 secs || 20375 markings, 87658 edges, 10 markings/sec, 2480 secs
lola: 1 tries, 20540 fired transitions, 2485 secs || 20427 markings, 87825 edges, 10 markings/sec, 2485 secs
lola: 1 tries, 20591 fired transitions, 2490 secs || 20479 markings, 87969 edges, 10 markings/sec, 2490 secs
lola: 1 tries, 20642 fired transitions, 2495 secs || 20531 markings, 88021 edges, 10 markings/sec, 2495 secs
lola: 1 tries, 20693 fired transitions, 2500 secs || 20583 markings, 88073 edges, 10 markings/sec, 2500 secs
lola: 1 tries, 20745 fired transitions, 2505 secs || 20635 markings, 88125 edges, 10 markings/sec, 2505 secs
lola: 1 tries, 20797 fired transitions, 2510 secs || 20686 markings, 88176 edges, 10 markings/sec, 2510 secs
lola: 1 tries, 20847 fired transitions, 2515 secs || 20737 markings, 88227 edges, 10 markings/sec, 2515 secs
lola: 1 tries, 20896 fired transitions, 2520 secs || 20786 markings, 88276 edges, 10 markings/sec, 2520 secs
lola: 1 tries, 20945 fired transitions, 2525 secs || 20835 markings, 88325 edges, 10 markings/sec, 2525 secs
lola: 1 tries, 20995 fired transitions, 2530 secs || 20886 markings, 88376 edges, 10 markings/sec, 2530 secs
lola: 1 tries, 21046 fired transitions, 2535 secs || 20938 markings, 88428 edges, 10 markings/sec, 2535 secs
lola: 1 tries, 21098 fired transitions, 2540 secs || 20989 markings, 88479 edges, 10 markings/sec, 2540 secs
lola: 1 tries, 21147 fired transitions, 2545 secs || 21040 markings, 88530 edges, 10 markings/sec, 2545 secs
lola: 1 tries, 21198 fired transitions, 2550 secs || 21092 markings, 88582 edges, 10 markings/sec, 2550 secs
lola: 1 tries, 21249 fired transitions, 2555 secs || 21144 markings, 88634 edges, 10 markings/sec, 2555 secs
lola: 1 tries, 21299 fired transitions, 2560 secs || 21195 markings, 88685 edges, 10 markings/sec, 2560 secs
lola: 1 tries, 21351 fired transitions, 2565 secs || 21247 markings, 88737 edges, 10 markings/sec, 2565 secs
lola: 1 tries, 21401 fired transitions, 2570 secs || 21298 markings, 88788 edges, 10 markings/sec, 2570 secs
lola: 1 tries, 21452 fired transitions, 2575 secs || 21349 markings, 88839 edges, 10 markings/sec, 2575 secs
lola: 1 tries, 21503 fired transitions, 2580 secs || 21399 markings, 88889 edges, 10 markings/sec, 2580 secs
lola: 1 tries, 21553 fired transitions, 2585 secs || 21451 markings, 88943 edges, 10 markings/sec, 2585 secs
lola: 1 tries, 21606 fired transitions, 2590 secs || 21503 markings, 88995 edges, 10 markings/sec, 2590 secs
lola: 1 tries, 21655 fired transitions, 2595 secs || 21551 markings, 89043 edges, 10 markings/sec, 2595 secs
lola: 1 tries, 21705 fired transitions, 2600 secs || 21601 markings, 89093 edges, 10 markings/sec, 2600 secs
lola: 1 tries, 21755 fired transitions, 2605 secs || 21652 markings, 89144 edges, 10 markings/sec, 2605 secs
lola: 1 tries, 21806 fired transitions, 2610 secs || 21704 markings, 89196 edges, 10 markings/sec, 2610 secs
lola: 1 tries, 21858 fired transitions, 2615 secs || 21757 markings, 89249 edges, 11 markings/sec, 2615 secs
lola: 1 tries, 21907 fired transitions, 2620 secs || 21808 markings, 89300 edges, 10 markings/sec, 2620 secs
lola: 1 tries, 21958 fired transitions, 2625 secs || 21858 markings, 89350 edges, 10 markings/sec, 2625 secs
lola: 1 tries, 22008 fired transitions, 2630 secs || 21909 markings, 89401 edges, 10 markings/sec, 2630 secs
lola: 1 tries, 22057 fired transitions, 2635 secs || 21958 markings, 89450 edges, 10 markings/sec, 2635 secs
lola: 1 tries, 22106 fired transitions, 2640 secs || 22007 markings, 89499 edges, 10 markings/sec, 2640 secs
lola: 1 tries, 22155 fired transitions, 2645 secs || 22058 markings, 89550 edges, 10 markings/sec, 2645 secs
lola: 1 tries, 22206 fired transitions, 2650 secs || 22110 markings, 89602 edges, 10 markings/sec, 2650 secs
lola: 1 tries, 22256 fired transitions, 2655 secs || 22160 markings, 89652 edges, 10 markings/sec, 2655 secs
lola: 1 tries, 22306 fired transitions, 2660 secs || 22209 markings, 89701 edges, 10 markings/sec, 2660 secs
lola: 1 tries, 22356 fired transitions, 2665 secs || 22260 markings, 89752 edges, 10 markings/sec, 2665 secs
lola: 1 tries, 22406 fired transitions, 2670 secs || 22311 markings, 89803 edges, 10 markings/sec, 2670 secs
lola: 1 tries, 22457 fired transitions, 2675 secs || 22363 markings, 89855 edges, 10 markings/sec, 2675 secs
lola: 1 tries, 22507 fired transitions, 2680 secs || 22415 markings, 89907 edges, 10 markings/sec, 2680 secs
lola: 1 tries, 22558 fired transitions, 2685 secs || 22467 markings, 89959 edges, 10 markings/sec, 2685 secs
lola: 1 tries, 22608 fired transitions, 2690 secs || 22519 markings, 90011 edges, 10 markings/sec, 2690 secs
lola: 1 tries, 22659 fired transitions, 2695 secs || 22569 markings, 90061 edges, 10 markings/sec, 2695 secs
lola: 1 tries, 22710 fired transitions, 2700 secs || 22621 markings, 90113 edges, 10 markings/sec, 2700 secs
lola: 1 tries, 22760 fired transitions, 2705 secs || 22671 markings, 90163 edges, 10 markings/sec, 2705 secs
lola: 1 tries, 22810 fired transitions, 2710 secs || 22721 markings, 90213 edges, 10 markings/sec, 2710 secs
lola: 1 tries, 22860 fired transitions, 2715 secs || 22771 markings, 90263 edges, 10 markings/sec, 2715 secs
lola: 1 tries, 22911 fired transitions, 2720 secs || 22823 markings, 90315 edges, 10 markings/sec, 2720 secs
lola: 1 tries, 22961 fired transitions, 2725 secs || 22873 markings, 90365 edges, 10 markings/sec, 2725 secs
lola: 1 tries, 23014 fired transitions, 2730 secs || 22926 markings, 90418 edges, 11 markings/sec, 2730 secs
lola: 1 tries, 23064 fired transitions, 2735 secs || 22978 markings, 90470 edges, 10 markings/sec, 2735 secs
lola: 1 tries, 23114 fired transitions, 2740 secs || 23028 markings, 90520 edges, 10 markings/sec, 2740 secs
lola: 1 tries, 23164 fired transitions, 2745 secs || 23078 markings, 90570 edges, 10 markings/sec, 2745 secs
lola: 1 tries, 23214 fired transitions, 2750 secs || 23128 markings, 90620 edges, 10 markings/sec, 2750 secs
lola: 1 tries, 23266 fired transitions, 2755 secs || 23180 markings, 90672 edges, 10 markings/sec, 2755 secs
lola: 1 tries, 23311 fired transitions, 2760 secs || 23226 markings, 90718 edges, 9 markings/sec, 2760 secs
lola: 1 tries, 23335 fired transitions, 2765 secs || 23250 markings, 90742 edges, 5 markings/sec, 2765 secs
lola: 1 tries, 23358 fired transitions, 2770 secs || 23274 markings, 90766 edges, 5 markings/sec, 2770 secs
lola: 1 tries, 23398 fired transitions, 2775 secs || 23314 markings, 90806 edges, 8 markings/sec, 2775 secs
lola: 1 tries, 23451 fired transitions, 2780 secs || 23367 markings, 90859 edges, 11 markings/sec, 2780 secs
lola: 1 tries, 23503 fired transitions, 2785 secs || 23419 markings, 90911 edges, 10 markings/sec, 2785 secs
lola: 1 tries, 23556 fired transitions, 2790 secs || 23472 markings, 90964 edges, 11 markings/sec, 2790 secs
lola: 1 tries, 23609 fired transitions, 2795 secs || 23525 markings, 91017 edges, 11 markings/sec, 2795 secs
lola: 1 tries, 23661 fired transitions, 2800 secs || 23577 markings, 91069 edges, 10 markings/sec, 2800 secs
lola: 1 tries, 23714 fired transitions, 2805 secs || 23630 markings, 91122 edges, 11 markings/sec, 2805 secs
lola: 1 tries, 23767 fired transitions, 2810 secs || 23683 markings, 91175 edges, 11 markings/sec, 2810 secs
lola: 1 tries, 23820 fired transitions, 2815 secs || 23735 markings, 91227 edges, 10 markings/sec, 2815 secs
lola: 1 tries, 23872 fired transitions, 2820 secs || 23788 markings, 91280 edges, 11 markings/sec, 2820 secs
lola: 1 tries, 23925 fired transitions, 2825 secs || 23841 markings, 91336 edges, 11 markings/sec, 2825 secs
lola: 1 tries, 23978 fired transitions, 2830 secs || 23894 markings, 91405 edges, 11 markings/sec, 2830 secs
lola: 1 tries, 24030 fired transitions, 2835 secs || 23946 markings, 91457 edges, 10 markings/sec, 2835 secs
lola: 1 tries, 24083 fired transitions, 2840 secs || 23999 markings, 91510 edges, 11 markings/sec, 2840 secs
lola: 1 tries, 24135 fired transitions, 2845 secs || 24051 markings, 91562 edges, 10 markings/sec, 2845 secs
lola: 1 tries, 24188 fired transitions, 2850 secs || 24104 markings, 91615 edges, 11 markings/sec, 2850 secs
lola: 1 tries, 24241 fired transitions, 2855 secs || 24157 markings, 91668 edges, 11 markings/sec, 2855 secs
lola: 1 tries, 24294 fired transitions, 2860 secs || 24210 markings, 91721 edges, 11 markings/sec, 2860 secs
lola: 1 tries, 24347 fired transitions, 2865 secs || 24263 markings, 91774 edges, 11 markings/sec, 2865 secs
lola: 1 tries, 24399 fired transitions, 2870 secs || 24315 markings, 91826 edges, 10 markings/sec, 2870 secs
lola: 1 tries, 24452 fired transitions, 2875 secs || 24368 markings, 91879 edges, 11 markings/sec, 2875 secs
lola: 1 tries, 24504 fired transitions, 2880 secs || 24420 markings, 91931 edges, 10 markings/sec, 2880 secs
lola: 1 tries, 24557 fired transitions, 2885 secs || 24473 markings, 91988 edges, 11 markings/sec, 2885 secs
lola: 1 tries, 24609 fired transitions, 2890 secs || 24525 markings, 92087 edges, 10 markings/sec, 2890 secs
lola: 1 tries, 24661 fired transitions, 2895 secs || 24577 markings, 92274 edges, 10 markings/sec, 2895 secs
lola: 1 tries, 24713 fired transitions, 2900 secs || 24629 markings, 92391 edges, 10 markings/sec, 2900 secs
lola: 1 tries, 24765 fired transitions, 2905 secs || 24681 markings, 92443 edges, 10 markings/sec, 2905 secs
lola: 1 tries, 24817 fired transitions, 2910 secs || 24733 markings, 92603 edges, 10 markings/sec, 2910 secs
lola: 1 tries, 24866 fired transitions, 2915 secs || 24777 markings, 92779 edges, 9 markings/sec, 2915 secs
lola: 1 tries, 24909 fired transitions, 2920 secs || 24827 markings, 92979 edges, 10 markings/sec, 2920 secs
lola: 1 tries, 24952 fired transitions, 2925 secs || 24877 markings, 93062 edges, 10 markings/sec, 2925 secs
lola: 1 tries, 24996 fired transitions, 2930 secs || 24925 markings, 93110 edges, 10 markings/sec, 2930 secs
lola: 1 tries, 25039 fired transitions, 2935 secs || 24975 markings, 93160 edges, 10 markings/sec, 2935 secs
lola: 1 tries, 25085 fired transitions, 2940 secs || 25024 markings, 93209 edges, 10 markings/sec, 2940 secs
lola: 1 tries, 25130 fired transitions, 2945 secs || 25073 markings, 93258 edges, 10 markings/sec, 2945 secs
lola: 1 tries, 25179 fired transitions, 2950 secs || 25124 markings, 93413 edges, 10 markings/sec, 2950 secs
lola: 1 tries, 25223 fired transitions, 2955 secs || 25175 markings, 93584 edges, 10 markings/sec, 2955 secs
lola: 1 tries, 25267 fired transitions, 2960 secs || 25226 markings, 93823 edges, 10 markings/sec, 2960 secs
lola: 1 tries, 25311 fired transitions, 2965 secs || 25278 markings, 94055 edges, 10 markings/sec, 2965 secs
lola: 1 tries, 25354 fired transitions, 2970 secs || 25329 markings, 94391 edges, 10 markings/sec, 2970 secs
lola: 1 tries, 25397 fired transitions, 2975 secs || 25380 markings, 94776 edges, 10 markings/sec, 2975 secs
lola: 1 tries, 25442 fired transitions, 2980 secs || 25431 markings, 95159 edges, 10 markings/sec, 2980 secs
lola: 1 tries, 25486 fired transitions, 2985 secs || 25481 markings, 95507 edges, 10 markings/sec, 2985 secs
lola: 1 tries, 25530 fired transitions, 2990 secs || 25532 markings, 95902 edges, 10 markings/sec, 2990 secs
lola: 1 tries, 25575 fired transitions, 2995 secs || 25583 markings, 96279 edges, 10 markings/sec, 2995 secs
lola: 1 tries, 25620 fired transitions, 3000 secs || 25633 markings, 96575 edges, 10 markings/sec, 3000 secs
lola: 1 tries, 25665 fired transitions, 3005 secs || 25685 markings, 96794 edges, 10 markings/sec, 3005 secs
lola: 1 tries, 25711 fired transitions, 3010 secs || 25736 markings, 97049 edges, 10 markings/sec, 3010 secs
lola: 1 tries, 25755 fired transitions, 3015 secs || 25786 markings, 97215 edges, 10 markings/sec, 3015 secs
lola: 1 tries, 25792 fired transitions, 3020 secs || 25823 markings, 97252 edges, 7 markings/sec, 3020 secs
lola: 1 tries, 25842 fired transitions, 3025 secs || 25871 markings, 97300 edges, 10 markings/sec, 3025 secs
lola: 1 tries, 25892 fired transitions, 3030 secs || 25920 markings, 97349 edges, 10 markings/sec, 3030 secs
lola: 1 tries, 25942 fired transitions, 3035 secs || 25968 markings, 97397 edges, 10 markings/sec, 3035 secs
lola: 1 tries, 25991 fired transitions, 3040 secs || 26017 markings, 97446 edges, 10 markings/sec, 3040 secs
lola: 1 tries, 26043 fired transitions, 3045 secs || 26068 markings, 97497 edges, 10 markings/sec, 3045 secs
lola: 1 tries, 26095 fired transitions, 3050 secs || 26120 markings, 97549 edges, 10 markings/sec, 3050 secs
lola: 1 tries, 26146 fired transitions, 3055 secs || 26171 markings, 97600 edges, 10 markings/sec, 3055 secs
lola: 1 tries, 26197 fired transitions, 3060 secs || 26222 markings, 97655 edges, 10 markings/sec, 3060 secs
lola: 1 tries, 26249 fired transitions, 3065 secs || 26274 markings, 97707 edges, 10 markings/sec, 3065 secs
lola: 1 tries, 26301 fired transitions, 3070 secs || 26326 markings, 97759 edges, 10 markings/sec, 3070 secs
lola: 1 tries, 26353 fired transitions, 3075 secs || 26378 markings, 97811 edges, 10 markings/sec, 3075 secs
lola: 1 tries, 26405 fired transitions, 3080 secs || 26430 markings, 97863 edges, 10 markings/sec, 3080 secs
lola: 1 tries, 26458 fired transitions, 3085 secs || 26483 markings, 97916 edges, 11 markings/sec, 3085 secs
lola: 1 tries, 26510 fired transitions, 3090 secs || 26535 markings, 97968 edges, 10 markings/sec, 3090 secs
lola: 1 tries, 26562 fired transitions, 3095 secs || 26587 markings, 98020 edges, 10 markings/sec, 3095 secs
lola: 1 tries, 26614 fired transitions, 3100 secs || 26639 markings, 98072 edges, 10 markings/sec, 3100 secs
lola: 1 tries, 26666 fired transitions, 3105 secs || 26691 markings, 98124 edges, 10 markings/sec, 3105 secs
lola: 1 tries, 26718 fired transitions, 3110 secs || 26743 markings, 98176 edges, 10 markings/sec, 3110 secs
lola: 1 tries, 26770 fired transitions, 3115 secs || 26795 markings, 98228 edges, 10 markings/sec, 3115 secs
lola: 1 tries, 26823 fired transitions, 3120 secs || 26848 markings, 98281 edges, 11 markings/sec, 3120 secs
lola: 1 tries, 26875 fired transitions, 3125 secs || 26900 markings, 98333 edges, 10 markings/sec, 3125 secs
lola: 1 tries, 26927 fired transitions, 3130 secs || 26952 markings, 98385 edges, 10 markings/sec, 3130 secs
lola: 1 tries, 26979 fired transitions, 3135 secs || 27004 markings, 98437 edges, 10 markings/sec, 3135 secs
lola: 1 tries, 27031 fired transitions, 3140 secs || 27056 markings, 98489 edges, 10 markings/sec, 3140 secs
lola: 1 tries, 27083 fired transitions, 3145 secs || 27108 markings, 98541 edges, 10 markings/sec, 3145 secs
lola: 1 tries, 27135 fired transitions, 3150 secs || 27160 markings, 98593 edges, 10 markings/sec, 3150 secs
lola: 1 tries, 27187 fired transitions, 3155 secs || 27212 markings, 98645 edges, 10 markings/sec, 3155 secs
lola: 1 tries, 27239 fired transitions, 3160 secs || 27264 markings, 98697 edges, 10 markings/sec, 3160 secs
lola: 1 tries, 27291 fired transitions, 3165 secs || 27316 markings, 98749 edges, 10 markings/sec, 3165 secs
lola: 1 tries, 27343 fired transitions, 3170 secs || 27368 markings, 98801 edges, 10 markings/sec, 3170 secs
lola: 1 tries, 27395 fired transitions, 3175 secs || 27420 markings, 98862 edges, 10 markings/sec, 3175 secs
lola: 1 tries, 27447 fired transitions, 3180 secs || 27472 markings, 98914 edges, 10 markings/sec, 3180 secs
lola: 1 tries, 27500 fired transitions, 3185 secs || 27525 markings, 98967 edges, 11 markings/sec, 3185 secs
lola: 1 tries, 27551 fired transitions, 3190 secs || 27576 markings, 99018 edges, 10 markings/sec, 3190 secs
lola: 1 tries, 27604 fired transitions, 3195 secs || 27629 markings, 99071 edges, 11 markings/sec, 3195 secs
lola: 1 tries, 27656 fired transitions, 3200 secs || 27681 markings, 99123 edges, 10 markings/sec, 3200 secs
lola: 1 tries, 27708 fired transitions, 3205 secs || 27733 markings, 99175 edges, 10 markings/sec, 3205 secs
lola: 1 tries, 27760 fired transitions, 3210 secs || 27785 markings, 99255 edges, 10 markings/sec, 3210 secs
lola: 1 tries, 27812 fired transitions, 3215 secs || 27837 markings, 99307 edges, 10 markings/sec, 3215 secs
lola: time limit reached - aborting
Segmentation fault
rslt: finished
BK_STOP 1553923314468
--------------------
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-7"
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-7, 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-155274853600453"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-7.tgz
mv RERS17pb114-PT-7 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 ;