About the Execution of LoLA for RERS17pb114-PT-5
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11990.340 | 3570479.00 | 6923804.00 | 905.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-155274853600435.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-5, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-oct2-155274853600435
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.2K Feb 13 08:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 13 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Feb 13 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.0K Feb 13 08:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.5K 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 18K Feb 13 08:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 13 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K 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-5-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553919077515
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ RERS17pb114-PT-5 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ RERS17pb114-PT-5
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 152531/268435456 symbol table entries, 7 collisions
lola: preprocessing...
lola: Size of bit vector: 1446
lola: finding significant places
lola: 1446 places, 151085 transitions, 1446 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: 1 tries, 45 fired transitions, 0 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 0 secs
lola: 1 tries, 88 fired transitions, 5 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 5 secs
lola: 1 tries, 129 fired transitions, 10 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 10 secs
lola: 1 tries, 170 fired transitions, 15 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 15 secs
lola: 1 tries, 211 fired transitions, 20 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 20 secs
lola: 1 tries, 252 fired transitions, 25 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 25 secs
lola: 1 tries, 293 fired transitions, 30 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 30 secs
lola: 1 tries, 334 fired transitions, 35 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 35 secs
lola: 1 tries, 375 fired transitions, 40 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 40 secs
lola: 1 tries, 416 fired transitions, 45 secs
lola: 98 generators; 436655 candidates remain ( 0%), 45 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, 457 fired transitions, 50 secs || 13 markings, 16 edges, 3 markings/sec, 50 secs
lola: 1 tries, 503 fired transitions, 55 secs || 59 markings, 91 edges, 9 markings/sec, 55 secs
lola: 1 tries, 549 fired transitions, 60 secs || 105 markings, 179 edges, 9 markings/sec, 60 secs
lola: 1 tries, 595 fired transitions, 65 secs || 152 markings, 275 edges, 9 markings/sec, 65 secs
lola: 1 tries, 640 fired transitions, 70 secs || 197 markings, 345 edges, 9 markings/sec, 70 secs
lola: 1 tries, 687 fired transitions, 75 secs || 244 markings, 406 edges, 9 markings/sec, 75 secs
lola: 1 tries, 733 fired transitions, 80 secs || 290 markings, 486 edges, 9 markings/sec, 80 secs
lola: 1 tries, 779 fired transitions, 85 secs || 336 markings, 554 edges, 9 markings/sec, 85 secs
lola: 1 tries, 826 fired transitions, 90 secs || 383 markings, 629 edges, 9 markings/sec, 90 secs
lola: 1 tries, 872 fired transitions, 95 secs || 429 markings, 691 edges, 9 markings/sec, 95 secs
lola: 1 tries, 919 fired transitions, 100 secs || 476 markings, 770 edges, 9 markings/sec, 100 secs
lola: 1 tries, 965 fired transitions, 105 secs || 522 markings, 838 edges, 9 markings/sec, 105 secs
lola: 1 tries, 1012 fired transitions, 110 secs || 569 markings, 955 edges, 9 markings/sec, 110 secs
lola: 1 tries, 1057 fired transitions, 115 secs || 615 markings, 1053 edges, 9 markings/sec, 115 secs
lola: 1 tries, 1103 fired transitions, 120 secs || 661 markings, 1172 edges, 9 markings/sec, 120 secs
lola: 1 tries, 1149 fired transitions, 125 secs || 707 markings, 1395 edges, 9 markings/sec, 125 secs
lola: 1 tries, 1196 fired transitions, 130 secs || 754 markings, 1614 edges, 9 markings/sec, 130 secs
lola: 1 tries, 1242 fired transitions, 135 secs || 800 markings, 1782 edges, 9 markings/sec, 135 secs
lola: 1 tries, 1288 fired transitions, 140 secs || 846 markings, 2048 edges, 9 markings/sec, 140 secs
lola: 1 tries, 1333 fired transitions, 145 secs || 893 markings, 2230 edges, 9 markings/sec, 145 secs
lola: 1 tries, 1377 fired transitions, 150 secs || 937 markings, 2343 edges, 9 markings/sec, 150 secs
lola: 1 tries, 1400 fired transitions, 155 secs || 960 markings, 2512 edges, 5 markings/sec, 155 secs
lola: 1 tries, 1423 fired transitions, 160 secs || 983 markings, 2696 edges, 5 markings/sec, 160 secs
lola: 1 tries, 1446 fired transitions, 165 secs || 1006 markings, 2901 edges, 5 markings/sec, 165 secs
lola: 1 tries, 1468 fired transitions, 170 secs || 1028 markings, 3114 edges, 4 markings/sec, 170 secs
lola: 1 tries, 1491 fired transitions, 175 secs || 1051 markings, 3321 edges, 5 markings/sec, 175 secs
lola: 1 tries, 1513 fired transitions, 180 secs || 1073 markings, 3455 edges, 4 markings/sec, 180 secs
lola: 1 tries, 1535 fired transitions, 185 secs || 1095 markings, 3592 edges, 4 markings/sec, 185 secs
lola: 1 tries, 1557 fired transitions, 190 secs || 1117 markings, 3723 edges, 4 markings/sec, 190 secs
lola: 1 tries, 1579 fired transitions, 195 secs || 1139 markings, 3859 edges, 4 markings/sec, 195 secs
lola: 1 tries, 1600 fired transitions, 200 secs || 1160 markings, 3980 edges, 4 markings/sec, 200 secs
lola: 1 tries, 1622 fired transitions, 205 secs || 1182 markings, 4115 edges, 4 markings/sec, 205 secs
lola: 1 tries, 1644 fired transitions, 210 secs || 1204 markings, 4253 edges, 4 markings/sec, 210 secs
lola: 1 tries, 1665 fired transitions, 215 secs || 1225 markings, 4388 edges, 4 markings/sec, 215 secs
lola: 1 tries, 1687 fired transitions, 220 secs || 1247 markings, 4531 edges, 4 markings/sec, 220 secs
lola: 1 tries, 1709 fired transitions, 225 secs || 1269 markings, 4681 edges, 4 markings/sec, 225 secs
lola: 1 tries, 1731 fired transitions, 230 secs || 1291 markings, 4868 edges, 4 markings/sec, 230 secs
lola: 1 tries, 1753 fired transitions, 235 secs || 1313 markings, 5045 edges, 4 markings/sec, 235 secs
lola: 1 tries, 1776 fired transitions, 240 secs || 1336 markings, 5219 edges, 5 markings/sec, 240 secs
lola: 1 tries, 1798 fired transitions, 245 secs || 1358 markings, 5417 edges, 4 markings/sec, 245 secs
lola: 1 tries, 1820 fired transitions, 250 secs || 1380 markings, 5615 edges, 4 markings/sec, 250 secs
lola: 1 tries, 1843 fired transitions, 255 secs || 1403 markings, 5792 edges, 5 markings/sec, 255 secs
lola: 1 tries, 1865 fired transitions, 260 secs || 1425 markings, 5946 edges, 4 markings/sec, 260 secs
lola: 1 tries, 1888 fired transitions, 265 secs || 1448 markings, 6107 edges, 5 markings/sec, 265 secs
lola: 1 tries, 1910 fired transitions, 270 secs || 1470 markings, 6257 edges, 4 markings/sec, 270 secs
lola: 1 tries, 1933 fired transitions, 275 secs || 1493 markings, 6429 edges, 5 markings/sec, 275 secs
lola: 1 tries, 1956 fired transitions, 280 secs || 1516 markings, 6595 edges, 5 markings/sec, 280 secs
lola: 1 tries, 1979 fired transitions, 285 secs || 1539 markings, 6750 edges, 5 markings/sec, 285 secs
lola: 1 tries, 2002 fired transitions, 290 secs || 1562 markings, 6925 edges, 5 markings/sec, 290 secs
lola: 1 tries, 2025 fired transitions, 295 secs || 1585 markings, 7103 edges, 5 markings/sec, 295 secs
lola: 1 tries, 2048 fired transitions, 300 secs || 1608 markings, 7277 edges, 5 markings/sec, 300 secs
lola: 1 tries, 2071 fired transitions, 305 secs || 1631 markings, 7403 edges, 5 markings/sec, 305 secs
lola: 1 tries, 2094 fired transitions, 310 secs || 1654 markings, 7544 edges, 5 markings/sec, 310 secs
lola: 1 tries, 2116 fired transitions, 315 secs || 1676 markings, 7682 edges, 4 markings/sec, 315 secs
lola: 1 tries, 2138 fired transitions, 320 secs || 1698 markings, 7811 edges, 4 markings/sec, 320 secs
lola: 1 tries, 2161 fired transitions, 325 secs || 1721 markings, 7963 edges, 5 markings/sec, 325 secs
lola: 1 tries, 2184 fired transitions, 330 secs || 1744 markings, 8111 edges, 5 markings/sec, 330 secs
lola: 1 tries, 2207 fired transitions, 335 secs || 1767 markings, 8266 edges, 5 markings/sec, 335 secs
lola: 1 tries, 2230 fired transitions, 340 secs || 1790 markings, 8413 edges, 5 markings/sec, 340 secs
lola: 1 tries, 2253 fired transitions, 345 secs || 1813 markings, 8563 edges, 5 markings/sec, 345 secs
lola: 1 tries, 2276 fired transitions, 350 secs || 1836 markings, 8719 edges, 5 markings/sec, 350 secs
lola: 1 tries, 2299 fired transitions, 355 secs || 1859 markings, 8869 edges, 5 markings/sec, 355 secs
lola: 1 tries, 2322 fired transitions, 360 secs || 1882 markings, 9021 edges, 5 markings/sec, 360 secs
lola: 1 tries, 2345 fired transitions, 365 secs || 1905 markings, 9162 edges, 5 markings/sec, 365 secs
lola: 1 tries, 2368 fired transitions, 370 secs || 1928 markings, 9310 edges, 5 markings/sec, 370 secs
lola: 1 tries, 2407 fired transitions, 375 secs || 1967 markings, 9549 edges, 8 markings/sec, 375 secs
lola: 1 tries, 2454 fired transitions, 380 secs || 2014 markings, 9847 edges, 9 markings/sec, 380 secs
lola: 1 tries, 2502 fired transitions, 385 secs || 2060 markings, 10157 edges, 9 markings/sec, 385 secs
lola: 1 tries, 2549 fired transitions, 390 secs || 2105 markings, 10445 edges, 9 markings/sec, 390 secs
lola: 1 tries, 2598 fired transitions, 395 secs || 2152 markings, 10744 edges, 9 markings/sec, 395 secs
lola: 1 tries, 2647 fired transitions, 400 secs || 2201 markings, 11064 edges, 10 markings/sec, 400 secs
lola: 1 tries, 2696 fired transitions, 405 secs || 2250 markings, 11411 edges, 10 markings/sec, 405 secs
lola: 1 tries, 2744 fired transitions, 410 secs || 2298 markings, 11702 edges, 10 markings/sec, 410 secs
lola: 1 tries, 2793 fired transitions, 415 secs || 2347 markings, 12004 edges, 10 markings/sec, 415 secs
lola: 1 tries, 2842 fired transitions, 420 secs || 2396 markings, 12331 edges, 10 markings/sec, 420 secs
lola: 1 tries, 2890 fired transitions, 425 secs || 2444 markings, 12631 edges, 10 markings/sec, 425 secs
lola: 1 tries, 2939 fired transitions, 430 secs || 2493 markings, 12938 edges, 10 markings/sec, 430 secs
lola: 1 tries, 2987 fired transitions, 435 secs || 2541 markings, 13262 edges, 10 markings/sec, 435 secs
lola: 1 tries, 3036 fired transitions, 440 secs || 2590 markings, 13597 edges, 10 markings/sec, 440 secs
lola: 1 tries, 3084 fired transitions, 445 secs || 2638 markings, 13896 edges, 10 markings/sec, 445 secs
lola: 1 tries, 3133 fired transitions, 450 secs || 2686 markings, 14191 edges, 10 markings/sec, 450 secs
lola: 1 tries, 3181 fired transitions, 455 secs || 2734 markings, 14477 edges, 10 markings/sec, 455 secs
lola: 1 tries, 3230 fired transitions, 460 secs || 2783 markings, 14802 edges, 10 markings/sec, 460 secs
lola: 1 tries, 3278 fired transitions, 465 secs || 2830 markings, 15094 edges, 9 markings/sec, 465 secs
lola: 1 tries, 3326 fired transitions, 470 secs || 2877 markings, 15501 edges, 9 markings/sec, 470 secs
lola: 1 tries, 3374 fired transitions, 475 secs || 2924 markings, 15848 edges, 9 markings/sec, 475 secs
lola: 1 tries, 3422 fired transitions, 480 secs || 2970 markings, 16185 edges, 9 markings/sec, 480 secs
lola: 1 tries, 3470 fired transitions, 485 secs || 3017 markings, 16499 edges, 9 markings/sec, 485 secs
lola: 1 tries, 3518 fired transitions, 490 secs || 3062 markings, 16769 edges, 9 markings/sec, 490 secs
lola: 1 tries, 3567 fired transitions, 495 secs || 3109 markings, 17066 edges, 9 markings/sec, 495 secs
lola: 1 tries, 3615 fired transitions, 500 secs || 3155 markings, 17319 edges, 9 markings/sec, 500 secs
lola: 1 tries, 3663 fired transitions, 505 secs || 3201 markings, 17591 edges, 9 markings/sec, 505 secs
lola: 1 tries, 3712 fired transitions, 510 secs || 3248 markings, 17886 edges, 9 markings/sec, 510 secs
lola: 1 tries, 3760 fired transitions, 515 secs || 3295 markings, 18289 edges, 9 markings/sec, 515 secs
lola: 1 tries, 3809 fired transitions, 520 secs || 3343 markings, 18620 edges, 10 markings/sec, 520 secs
lola: 1 tries, 3857 fired transitions, 525 secs || 3390 markings, 18849 edges, 9 markings/sec, 525 secs
lola: 1 tries, 3906 fired transitions, 530 secs || 3438 markings, 19078 edges, 10 markings/sec, 530 secs
lola: 1 tries, 3955 fired transitions, 535 secs || 3487 markings, 19247 edges, 10 markings/sec, 535 secs
lola: 1 tries, 4004 fired transitions, 540 secs || 3536 markings, 19410 edges, 10 markings/sec, 540 secs
lola: 1 tries, 4053 fired transitions, 545 secs || 3585 markings, 19624 edges, 10 markings/sec, 545 secs
lola: 1 tries, 4101 fired transitions, 550 secs || 3633 markings, 19853 edges, 10 markings/sec, 550 secs
lola: 1 tries, 4150 fired transitions, 555 secs || 3681 markings, 20089 edges, 10 markings/sec, 555 secs
lola: 1 tries, 4198 fired transitions, 560 secs || 3727 markings, 20262 edges, 9 markings/sec, 560 secs
lola: 1 tries, 4246 fired transitions, 565 secs || 3774 markings, 20485 edges, 9 markings/sec, 565 secs
lola: 1 tries, 4294 fired transitions, 570 secs || 3819 markings, 20688 edges, 9 markings/sec, 570 secs
lola: 1 tries, 4343 fired transitions, 575 secs || 3866 markings, 20903 edges, 9 markings/sec, 575 secs
lola: 1 tries, 4390 fired transitions, 580 secs || 3912 markings, 21092 edges, 9 markings/sec, 580 secs
lola: 1 tries, 4438 fired transitions, 585 secs || 3957 markings, 21379 edges, 9 markings/sec, 585 secs
lola: 1 tries, 4486 fired transitions, 590 secs || 4001 markings, 21740 edges, 9 markings/sec, 590 secs
lola: 1 tries, 4533 fired transitions, 595 secs || 4046 markings, 22079 edges, 9 markings/sec, 595 secs
lola: 1 tries, 4581 fired transitions, 600 secs || 4093 markings, 22382 edges, 9 markings/sec, 600 secs
lola: 1 tries, 4628 fired transitions, 605 secs || 4139 markings, 22654 edges, 9 markings/sec, 605 secs
lola: 1 tries, 4675 fired transitions, 610 secs || 4185 markings, 22947 edges, 9 markings/sec, 610 secs
lola: 1 tries, 4722 fired transitions, 615 secs || 4232 markings, 23254 edges, 9 markings/sec, 615 secs
lola: 1 tries, 4769 fired transitions, 620 secs || 4277 markings, 23524 edges, 9 markings/sec, 620 secs
lola: 1 tries, 4816 fired transitions, 625 secs || 4324 markings, 23921 edges, 9 markings/sec, 625 secs
lola: 1 tries, 4863 fired transitions, 630 secs || 4369 markings, 24141 edges, 9 markings/sec, 630 secs
lola: 1 tries, 4911 fired transitions, 635 secs || 4414 markings, 24319 edges, 9 markings/sec, 635 secs
lola: 1 tries, 4958 fired transitions, 640 secs || 4457 markings, 24468 edges, 9 markings/sec, 640 secs
lola: 1 tries, 5006 fired transitions, 645 secs || 4501 markings, 24609 edges, 9 markings/sec, 645 secs
lola: 1 tries, 5054 fired transitions, 650 secs || 4544 markings, 24739 edges, 9 markings/sec, 650 secs
lola: 1 tries, 5102 fired transitions, 655 secs || 4588 markings, 24905 edges, 9 markings/sec, 655 secs
lola: 1 tries, 5150 fired transitions, 660 secs || 4633 markings, 25130 edges, 9 markings/sec, 660 secs
lola: 1 tries, 5198 fired transitions, 665 secs || 4677 markings, 25344 edges, 9 markings/sec, 665 secs
lola: 1 tries, 5245 fired transitions, 670 secs || 4722 markings, 25523 edges, 9 markings/sec, 670 secs
lola: 1 tries, 5292 fired transitions, 675 secs || 4767 markings, 25729 edges, 9 markings/sec, 675 secs
lola: 1 tries, 5339 fired transitions, 680 secs || 4812 markings, 25950 edges, 9 markings/sec, 680 secs
lola: 1 tries, 5387 fired transitions, 685 secs || 4858 markings, 26119 edges, 9 markings/sec, 685 secs
lola: 1 tries, 5435 fired transitions, 690 secs || 4903 markings, 26222 edges, 9 markings/sec, 690 secs
lola: 1 tries, 5482 fired transitions, 695 secs || 4949 markings, 26414 edges, 9 markings/sec, 695 secs
lola: 1 tries, 5530 fired transitions, 700 secs || 4996 markings, 26649 edges, 9 markings/sec, 700 secs
lola: 1 tries, 5578 fired transitions, 705 secs || 5043 markings, 26850 edges, 9 markings/sec, 705 secs
lola: 1 tries, 5626 fired transitions, 710 secs || 5090 markings, 27111 edges, 9 markings/sec, 710 secs
lola: 1 tries, 5674 fired transitions, 715 secs || 5137 markings, 27351 edges, 9 markings/sec, 715 secs
lola: 1 tries, 5723 fired transitions, 720 secs || 5184 markings, 27551 edges, 9 markings/sec, 720 secs
lola: 1 tries, 5770 fired transitions, 725 secs || 5230 markings, 27677 edges, 9 markings/sec, 725 secs
lola: 1 tries, 5816 fired transitions, 730 secs || 5276 markings, 27813 edges, 9 markings/sec, 730 secs
lola: 1 tries, 5851 fired transitions, 735 secs || 5311 markings, 27918 edges, 7 markings/sec, 735 secs
lola: 1 tries, 5897 fired transitions, 740 secs || 5356 markings, 28051 edges, 9 markings/sec, 740 secs
lola: 1 tries, 5945 fired transitions, 745 secs || 5403 markings, 28190 edges, 9 markings/sec, 745 secs
lola: 1 tries, 5991 fired transitions, 750 secs || 5450 markings, 28357 edges, 9 markings/sec, 750 secs
lola: 1 tries, 6027 fired transitions, 755 secs || 5486 markings, 28480 edges, 7 markings/sec, 755 secs
lola: 1 tries, 6048 fired transitions, 760 secs || 5507 markings, 28569 edges, 4 markings/sec, 760 secs
lola: 1 tries, 6069 fired transitions, 765 secs || 5528 markings, 28670 edges, 4 markings/sec, 765 secs
lola: 1 tries, 6090 fired transitions, 770 secs || 5549 markings, 28770 edges, 4 markings/sec, 770 secs
lola: 1 tries, 6111 fired transitions, 775 secs || 5571 markings, 28879 edges, 4 markings/sec, 775 secs
lola: 1 tries, 6132 fired transitions, 780 secs || 5591 markings, 28972 edges, 4 markings/sec, 780 secs
lola: 1 tries, 6153 fired transitions, 785 secs || 5613 markings, 29100 edges, 4 markings/sec, 785 secs
lola: 1 tries, 6174 fired transitions, 790 secs || 5633 markings, 29245 edges, 4 markings/sec, 790 secs
lola: 1 tries, 6196 fired transitions, 795 secs || 5655 markings, 29395 edges, 4 markings/sec, 795 secs
lola: 1 tries, 6217 fired transitions, 800 secs || 5677 markings, 29528 edges, 4 markings/sec, 800 secs
lola: 1 tries, 6238 fired transitions, 805 secs || 5699 markings, 29661 edges, 4 markings/sec, 805 secs
lola: 1 tries, 6259 fired transitions, 810 secs || 5721 markings, 29798 edges, 4 markings/sec, 810 secs
lola: 1 tries, 6280 fired transitions, 815 secs || 5743 markings, 29906 edges, 4 markings/sec, 815 secs
lola: 1 tries, 6302 fired transitions, 820 secs || 5765 markings, 30141 edges, 4 markings/sec, 820 secs
lola: 1 tries, 6322 fired transitions, 825 secs || 5786 markings, 30318 edges, 4 markings/sec, 825 secs
lola: 1 tries, 6343 fired transitions, 830 secs || 5808 markings, 30516 edges, 4 markings/sec, 830 secs
lola: 1 tries, 6364 fired transitions, 835 secs || 5829 markings, 30705 edges, 4 markings/sec, 835 secs
lola: 1 tries, 6385 fired transitions, 840 secs || 5851 markings, 30814 edges, 4 markings/sec, 840 secs
lola: 1 tries, 6406 fired transitions, 845 secs || 5873 markings, 30899 edges, 4 markings/sec, 845 secs
lola: 1 tries, 6427 fired transitions, 850 secs || 5894 markings, 30983 edges, 4 markings/sec, 850 secs
lola: 1 tries, 6447 fired transitions, 855 secs || 5915 markings, 31067 edges, 4 markings/sec, 855 secs
lola: 1 tries, 6468 fired transitions, 860 secs || 5937 markings, 31155 edges, 4 markings/sec, 860 secs
lola: 1 tries, 6488 fired transitions, 865 secs || 5957 markings, 31235 edges, 4 markings/sec, 865 secs
lola: 1 tries, 6509 fired transitions, 870 secs || 5978 markings, 31330 edges, 4 markings/sec, 870 secs
lola: 1 tries, 6529 fired transitions, 875 secs || 5999 markings, 31431 edges, 4 markings/sec, 875 secs
lola: 1 tries, 6548 fired transitions, 880 secs || 6018 markings, 31526 edges, 4 markings/sec, 880 secs
lola: 1 tries, 6567 fired transitions, 885 secs || 6038 markings, 31617 edges, 4 markings/sec, 885 secs
lola: 1 tries, 6587 fired transitions, 890 secs || 6059 markings, 31684 edges, 4 markings/sec, 890 secs
lola: 1 tries, 6608 fired transitions, 895 secs || 6080 markings, 31749 edges, 4 markings/sec, 895 secs
lola: 1 tries, 6631 fired transitions, 900 secs || 6103 markings, 31824 edges, 5 markings/sec, 900 secs
lola: 1 tries, 6653 fired transitions, 905 secs || 6125 markings, 31904 edges, 4 markings/sec, 905 secs
lola: 1 tries, 6676 fired transitions, 910 secs || 6148 markings, 31996 edges, 5 markings/sec, 910 secs
lola: 1 tries, 6698 fired transitions, 915 secs || 6171 markings, 32084 edges, 5 markings/sec, 915 secs
lola: 1 tries, 6721 fired transitions, 920 secs || 6194 markings, 32173 edges, 5 markings/sec, 920 secs
lola: 1 tries, 6744 fired transitions, 925 secs || 6217 markings, 32287 edges, 5 markings/sec, 925 secs
lola: 1 tries, 6767 fired transitions, 930 secs || 6241 markings, 32405 edges, 5 markings/sec, 930 secs
lola: 1 tries, 6790 fired transitions, 935 secs || 6264 markings, 32516 edges, 5 markings/sec, 935 secs
lola: 1 tries, 6813 fired transitions, 940 secs || 6287 markings, 32719 edges, 5 markings/sec, 940 secs
lola: 1 tries, 6837 fired transitions, 945 secs || 6311 markings, 32931 edges, 5 markings/sec, 945 secs
lola: 1 tries, 6860 fired transitions, 950 secs || 6334 markings, 33134 edges, 5 markings/sec, 950 secs
lola: 1 tries, 6882 fired transitions, 955 secs || 6357 markings, 33319 edges, 5 markings/sec, 955 secs
lola: 1 tries, 6905 fired transitions, 960 secs || 6380 markings, 33480 edges, 5 markings/sec, 960 secs
lola: 1 tries, 6928 fired transitions, 965 secs || 6403 markings, 33641 edges, 5 markings/sec, 965 secs
lola: 1 tries, 6951 fired transitions, 970 secs || 6426 markings, 33802 edges, 5 markings/sec, 970 secs
lola: 1 tries, 6973 fired transitions, 975 secs || 6449 markings, 33949 edges, 5 markings/sec, 975 secs
lola: 1 tries, 7014 fired transitions, 980 secs || 6488 markings, 34164 edges, 8 markings/sec, 980 secs
lola: 1 tries, 7060 fired transitions, 985 secs || 6533 markings, 34422 edges, 9 markings/sec, 985 secs
lola: 1 tries, 7104 fired transitions, 990 secs || 6579 markings, 34783 edges, 9 markings/sec, 990 secs
lola: 1 tries, 7145 fired transitions, 995 secs || 6623 markings, 35229 edges, 9 markings/sec, 995 secs
lola: 1 tries, 7171 fired transitions, 1000 secs || 6649 markings, 35386 edges, 5 markings/sec, 1000 secs
lola: 1 tries, 7197 fired transitions, 1005 secs || 6675 markings, 35562 edges, 5 markings/sec, 1005 secs
lola: 1 tries, 7219 fired transitions, 1010 secs || 6698 markings, 35714 edges, 5 markings/sec, 1010 secs
lola: 1 tries, 7243 fired transitions, 1015 secs || 6722 markings, 35938 edges, 5 markings/sec, 1015 secs
lola: 1 tries, 7266 fired transitions, 1020 secs || 6745 markings, 36170 edges, 5 markings/sec, 1020 secs
lola: 1 tries, 7288 fired transitions, 1025 secs || 6768 markings, 36374 edges, 5 markings/sec, 1025 secs
lola: 1 tries, 7311 fired transitions, 1030 secs || 6791 markings, 36595 edges, 5 markings/sec, 1030 secs
lola: 1 tries, 7334 fired transitions, 1035 secs || 6814 markings, 36866 edges, 5 markings/sec, 1035 secs
lola: 1 tries, 7357 fired transitions, 1040 secs || 6837 markings, 37119 edges, 5 markings/sec, 1040 secs
lola: 1 tries, 7381 fired transitions, 1045 secs || 6861 markings, 37379 edges, 5 markings/sec, 1045 secs
lola: 1 tries, 7404 fired transitions, 1050 secs || 6884 markings, 37639 edges, 5 markings/sec, 1050 secs
lola: 1 tries, 7427 fired transitions, 1055 secs || 6907 markings, 37878 edges, 5 markings/sec, 1055 secs
lola: 1 tries, 7451 fired transitions, 1060 secs || 6931 markings, 38166 edges, 5 markings/sec, 1060 secs
lola: 1 tries, 7490 fired transitions, 1065 secs || 6969 markings, 38443 edges, 8 markings/sec, 1065 secs
lola: 1 tries, 7535 fired transitions, 1070 secs || 7014 markings, 38739 edges, 9 markings/sec, 1070 secs
lola: 1 tries, 7578 fired transitions, 1075 secs || 7060 markings, 38988 edges, 9 markings/sec, 1075 secs
lola: 1 tries, 7622 fired transitions, 1080 secs || 7106 markings, 39107 edges, 9 markings/sec, 1080 secs
lola: 1 tries, 7666 fired transitions, 1085 secs || 7152 markings, 39291 edges, 9 markings/sec, 1085 secs
lola: 1 tries, 7710 fired transitions, 1090 secs || 7197 markings, 39458 edges, 9 markings/sec, 1090 secs
lola: 1 tries, 7754 fired transitions, 1095 secs || 7243 markings, 39592 edges, 9 markings/sec, 1095 secs
lola: 1 tries, 7795 fired transitions, 1100 secs || 7287 markings, 39636 edges, 9 markings/sec, 1100 secs
lola: 1 tries, 7835 fired transitions, 1105 secs || 7331 markings, 39680 edges, 9 markings/sec, 1105 secs
lola: 1 tries, 7872 fired transitions, 1110 secs || 7370 markings, 39719 edges, 8 markings/sec, 1110 secs
lola: 1 tries, 7916 fired transitions, 1115 secs || 7417 markings, 39766 edges, 9 markings/sec, 1115 secs
lola: 1 tries, 7959 fired transitions, 1120 secs || 7465 markings, 39814 edges, 10 markings/sec, 1120 secs
lola: 1 tries, 8002 fired transitions, 1125 secs || 7512 markings, 39861 edges, 9 markings/sec, 1125 secs
lola: 1 tries, 8045 fired transitions, 1130 secs || 7560 markings, 39909 edges, 10 markings/sec, 1130 secs
lola: 1 tries, 8088 fired transitions, 1135 secs || 7607 markings, 39956 edges, 9 markings/sec, 1135 secs
lola: 1 tries, 8132 fired transitions, 1140 secs || 7655 markings, 40004 edges, 10 markings/sec, 1140 secs
lola: 1 tries, 8176 fired transitions, 1145 secs || 7704 markings, 40053 edges, 10 markings/sec, 1145 secs
lola: 1 tries, 8221 fired transitions, 1150 secs || 7752 markings, 40101 edges, 10 markings/sec, 1150 secs
lola: 1 tries, 8265 fired transitions, 1155 secs || 7800 markings, 40149 edges, 10 markings/sec, 1155 secs
lola: 1 tries, 8308 fired transitions, 1160 secs || 7847 markings, 40196 edges, 9 markings/sec, 1160 secs
lola: 1 tries, 8351 fired transitions, 1165 secs || 7895 markings, 40244 edges, 10 markings/sec, 1165 secs
lola: 1 tries, 8394 fired transitions, 1170 secs || 7943 markings, 40292 edges, 10 markings/sec, 1170 secs
lola: 1 tries, 8436 fired transitions, 1175 secs || 7991 markings, 40340 edges, 10 markings/sec, 1175 secs
lola: 1 tries, 8480 fired transitions, 1180 secs || 8039 markings, 40388 edges, 10 markings/sec, 1180 secs
lola: 1 tries, 8522 fired transitions, 1185 secs || 8087 markings, 40436 edges, 10 markings/sec, 1185 secs
lola: 1 tries, 8546 fired transitions, 1190 secs || 8112 markings, 40461 edges, 5 markings/sec, 1190 secs
lola: 1 tries, 8569 fired transitions, 1195 secs || 8135 markings, 40535 edges, 5 markings/sec, 1195 secs
lola: 1 tries, 8592 fired transitions, 1200 secs || 8158 markings, 40627 edges, 5 markings/sec, 1200 secs
lola: 1 tries, 8614 fired transitions, 1205 secs || 8181 markings, 40719 edges, 5 markings/sec, 1205 secs
lola: 1 tries, 8641 fired transitions, 1210 secs || 8208 markings, 40849 edges, 5 markings/sec, 1210 secs
lola: 1 tries, 8684 fired transitions, 1215 secs || 8253 markings, 41029 edges, 9 markings/sec, 1215 secs
lola: 1 tries, 8727 fired transitions, 1220 secs || 8301 markings, 41129 edges, 10 markings/sec, 1220 secs
lola: 1 tries, 8753 fired transitions, 1225 secs || 8329 markings, 41187 edges, 6 markings/sec, 1225 secs
lola: 1 tries, 8780 fired transitions, 1230 secs || 8357 markings, 41257 edges, 6 markings/sec, 1230 secs
lola: 1 tries, 8804 fired transitions, 1235 secs || 8381 markings, 41347 edges, 5 markings/sec, 1235 secs
lola: 1 tries, 8829 fired transitions, 1240 secs || 8406 markings, 41432 edges, 5 markings/sec, 1240 secs
lola: 1 tries, 8852 fired transitions, 1245 secs || 8429 markings, 41491 edges, 5 markings/sec, 1245 secs
lola: 1 tries, 8875 fired transitions, 1250 secs || 8453 markings, 41563 edges, 5 markings/sec, 1250 secs
lola: 1 tries, 8898 fired transitions, 1255 secs || 8475 markings, 41621 edges, 4 markings/sec, 1255 secs
lola: 1 tries, 8922 fired transitions, 1260 secs || 8499 markings, 41648 edges, 5 markings/sec, 1260 secs
lola: 1 tries, 8945 fired transitions, 1265 secs || 8522 markings, 41797 edges, 5 markings/sec, 1265 secs
lola: 1 tries, 8967 fired transitions, 1270 secs || 8545 markings, 41916 edges, 5 markings/sec, 1270 secs
lola: 1 tries, 8990 fired transitions, 1275 secs || 8568 markings, 42063 edges, 5 markings/sec, 1275 secs
lola: 1 tries, 9012 fired transitions, 1280 secs || 8591 markings, 42178 edges, 5 markings/sec, 1280 secs
lola: 1 tries, 9036 fired transitions, 1285 secs || 8615 markings, 42276 edges, 5 markings/sec, 1285 secs
lola: 1 tries, 9061 fired transitions, 1290 secs || 8640 markings, 42331 edges, 5 markings/sec, 1290 secs
lola: 1 tries, 9085 fired transitions, 1295 secs || 8664 markings, 42397 edges, 5 markings/sec, 1295 secs
lola: 1 tries, 9110 fired transitions, 1300 secs || 8689 markings, 42458 edges, 5 markings/sec, 1300 secs
lola: 1 tries, 9133 fired transitions, 1305 secs || 8712 markings, 42543 edges, 5 markings/sec, 1305 secs
lola: 1 tries, 9158 fired transitions, 1310 secs || 8737 markings, 42634 edges, 5 markings/sec, 1310 secs
lola: 1 tries, 9186 fired transitions, 1315 secs || 8765 markings, 42720 edges, 6 markings/sec, 1315 secs
lola: 1 tries, 9228 fired transitions, 1320 secs || 8812 markings, 42839 edges, 9 markings/sec, 1320 secs
lola: 1 tries, 9253 fired transitions, 1325 secs || 8837 markings, 42877 edges, 5 markings/sec, 1325 secs
lola: 1 tries, 9276 fired transitions, 1330 secs || 8860 markings, 42905 edges, 5 markings/sec, 1330 secs
lola: 1 tries, 9299 fired transitions, 1335 secs || 8883 markings, 42931 edges, 5 markings/sec, 1335 secs
lola: 1 tries, 9323 fired transitions, 1340 secs || 8907 markings, 42976 edges, 5 markings/sec, 1340 secs
lola: 1 tries, 9346 fired transitions, 1345 secs || 8930 markings, 43004 edges, 5 markings/sec, 1345 secs
lola: 1 tries, 9369 fired transitions, 1350 secs || 8953 markings, 43029 edges, 5 markings/sec, 1350 secs
lola: 1 tries, 9392 fired transitions, 1355 secs || 8977 markings, 43053 edges, 5 markings/sec, 1355 secs
lola: 1 tries, 9415 fired transitions, 1360 secs || 9000 markings, 43076 edges, 5 markings/sec, 1360 secs
lola: 1 tries, 9438 fired transitions, 1365 secs || 9023 markings, 43110 edges, 5 markings/sec, 1365 secs
lola: 1 tries, 9461 fired transitions, 1370 secs || 9046 markings, 43160 edges, 5 markings/sec, 1370 secs
lola: 1 tries, 9485 fired transitions, 1375 secs || 9070 markings, 43203 edges, 5 markings/sec, 1375 secs
lola: 1 tries, 9509 fired transitions, 1380 secs || 9094 markings, 43231 edges, 5 markings/sec, 1380 secs
lola: 1 tries, 9532 fired transitions, 1385 secs || 9117 markings, 43262 edges, 5 markings/sec, 1385 secs
lola: 1 tries, 9555 fired transitions, 1390 secs || 9140 markings, 43298 edges, 5 markings/sec, 1390 secs
lola: 1 tries, 9578 fired transitions, 1395 secs || 9164 markings, 43340 edges, 5 markings/sec, 1395 secs
lola: 1 tries, 9600 fired transitions, 1400 secs || 9187 markings, 43373 edges, 5 markings/sec, 1400 secs
lola: 1 tries, 9624 fired transitions, 1405 secs || 9211 markings, 43419 edges, 5 markings/sec, 1405 secs
lola: 1 tries, 9648 fired transitions, 1410 secs || 9235 markings, 43459 edges, 5 markings/sec, 1410 secs
lola: 1 tries, 9671 fired transitions, 1415 secs || 9258 markings, 43498 edges, 5 markings/sec, 1415 secs
lola: 1 tries, 9694 fired transitions, 1420 secs || 9281 markings, 43539 edges, 5 markings/sec, 1420 secs
lola: 1 tries, 9716 fired transitions, 1425 secs || 9304 markings, 43573 edges, 5 markings/sec, 1425 secs
lola: 1 tries, 9740 fired transitions, 1430 secs || 9328 markings, 43606 edges, 5 markings/sec, 1430 secs
lola: 1 tries, 9762 fired transitions, 1435 secs || 9351 markings, 43651 edges, 5 markings/sec, 1435 secs
lola: 1 tries, 9786 fired transitions, 1440 secs || 9375 markings, 43691 edges, 5 markings/sec, 1440 secs
lola: 1 tries, 9809 fired transitions, 1445 secs || 9398 markings, 43715 edges, 5 markings/sec, 1445 secs
lola: 1 tries, 9833 fired transitions, 1450 secs || 9421 markings, 43760 edges, 5 markings/sec, 1450 secs
lola: 1 tries, 9855 fired transitions, 1455 secs || 9445 markings, 43796 edges, 5 markings/sec, 1455 secs
lola: 1 tries, 9893 fired transitions, 1460 secs || 9485 markings, 43862 edges, 8 markings/sec, 1460 secs
lola: 1 tries, 9936 fired transitions, 1465 secs || 9533 markings, 44013 edges, 10 markings/sec, 1465 secs
lola: 1 tries, 9960 fired transitions, 1470 secs || 9558 markings, 44115 edges, 5 markings/sec, 1470 secs
lola: 1 tries, 9983 fired transitions, 1475 secs || 9582 markings, 44211 edges, 5 markings/sec, 1475 secs
lola: 1 tries, 10006 fired transitions, 1480 secs || 9606 markings, 44307 edges, 5 markings/sec, 1480 secs
lola: 1 tries, 10029 fired transitions, 1485 secs || 9629 markings, 44399 edges, 5 markings/sec, 1485 secs
lola: 1 tries, 10053 fired transitions, 1490 secs || 9653 markings, 44449 edges, 5 markings/sec, 1490 secs
lola: 1 tries, 10076 fired transitions, 1495 secs || 9677 markings, 44473 edges, 5 markings/sec, 1495 secs
lola: 1 tries, 10099 fired transitions, 1500 secs || 9701 markings, 44497 edges, 5 markings/sec, 1500 secs
lola: 1 tries, 10122 fired transitions, 1505 secs || 9724 markings, 44520 edges, 5 markings/sec, 1505 secs
lola: 1 tries, 10146 fired transitions, 1510 secs || 9748 markings, 44544 edges, 5 markings/sec, 1510 secs
lola: 1 tries, 10170 fired transitions, 1515 secs || 9772 markings, 44568 edges, 5 markings/sec, 1515 secs
lola: 1 tries, 10194 fired transitions, 1520 secs || 9796 markings, 44592 edges, 5 markings/sec, 1520 secs
lola: 1 tries, 10217 fired transitions, 1525 secs || 9819 markings, 44615 edges, 5 markings/sec, 1525 secs
lola: 1 tries, 10240 fired transitions, 1530 secs || 9843 markings, 44639 edges, 5 markings/sec, 1530 secs
lola: 1 tries, 10262 fired transitions, 1535 secs || 9866 markings, 44662 edges, 5 markings/sec, 1535 secs
lola: 1 tries, 10285 fired transitions, 1540 secs || 9890 markings, 44686 edges, 5 markings/sec, 1540 secs
lola: 1 tries, 10307 fired transitions, 1545 secs || 9912 markings, 44708 edges, 4 markings/sec, 1545 secs
lola: 1 tries, 10330 fired transitions, 1550 secs || 9936 markings, 44732 edges, 5 markings/sec, 1550 secs
lola: 1 tries, 10354 fired transitions, 1555 secs || 9960 markings, 44756 edges, 5 markings/sec, 1555 secs
lola: 1 tries, 10377 fired transitions, 1560 secs || 9984 markings, 44780 edges, 5 markings/sec, 1560 secs
lola: 1 tries, 10401 fired transitions, 1565 secs || 10008 markings, 44804 edges, 5 markings/sec, 1565 secs
lola: 1 tries, 10424 fired transitions, 1570 secs || 10033 markings, 44829 edges, 5 markings/sec, 1570 secs
lola: 1 tries, 10456 fired transitions, 1575 secs || 10067 markings, 44863 edges, 7 markings/sec, 1575 secs
lola: 1 tries, 10480 fired transitions, 1580 secs || 10091 markings, 44887 edges, 5 markings/sec, 1580 secs
lola: 1 tries, 10504 fired transitions, 1585 secs || 10115 markings, 44911 edges, 5 markings/sec, 1585 secs
lola: 1 tries, 10527 fired transitions, 1590 secs || 10138 markings, 44934 edges, 5 markings/sec, 1590 secs
lola: 1 tries, 10550 fired transitions, 1595 secs || 10162 markings, 44958 edges, 5 markings/sec, 1595 secs
lola: 1 tries, 10574 fired transitions, 1600 secs || 10187 markings, 44983 edges, 5 markings/sec, 1600 secs
lola: 1 tries, 10598 fired transitions, 1605 secs || 10210 markings, 45006 edges, 5 markings/sec, 1605 secs
lola: 1 tries, 10623 fired transitions, 1610 secs || 10235 markings, 45031 edges, 5 markings/sec, 1610 secs
lola: 1 tries, 10648 fired transitions, 1615 secs || 10260 markings, 45056 edges, 5 markings/sec, 1615 secs
lola: 1 tries, 10673 fired transitions, 1620 secs || 10285 markings, 45081 edges, 5 markings/sec, 1620 secs
lola: 1 tries, 10697 fired transitions, 1625 secs || 10309 markings, 45105 edges, 5 markings/sec, 1625 secs
lola: 1 tries, 10721 fired transitions, 1630 secs || 10333 markings, 45129 edges, 5 markings/sec, 1630 secs
lola: 1 tries, 10745 fired transitions, 1635 secs || 10357 markings, 45153 edges, 5 markings/sec, 1635 secs
lola: 1 tries, 10769 fired transitions, 1640 secs || 10381 markings, 45180 edges, 5 markings/sec, 1640 secs
lola: 1 tries, 10793 fired transitions, 1645 secs || 10405 markings, 45204 edges, 5 markings/sec, 1645 secs
lola: 1 tries, 10817 fired transitions, 1650 secs || 10429 markings, 45228 edges, 5 markings/sec, 1650 secs
lola: 1 tries, 10841 fired transitions, 1655 secs || 10453 markings, 45252 edges, 5 markings/sec, 1655 secs
lola: 1 tries, 10865 fired transitions, 1660 secs || 10477 markings, 45276 edges, 5 markings/sec, 1660 secs
lola: 1 tries, 10889 fired transitions, 1665 secs || 10501 markings, 45300 edges, 5 markings/sec, 1665 secs
lola: 1 tries, 10913 fired transitions, 1670 secs || 10525 markings, 45324 edges, 5 markings/sec, 1670 secs
lola: 1 tries, 10938 fired transitions, 1675 secs || 10550 markings, 45349 edges, 5 markings/sec, 1675 secs
lola: 1 tries, 10962 fired transitions, 1680 secs || 10574 markings, 45373 edges, 5 markings/sec, 1680 secs
lola: 1 tries, 10985 fired transitions, 1685 secs || 10597 markings, 45396 edges, 5 markings/sec, 1685 secs
lola: 1 tries, 11008 fired transitions, 1690 secs || 10621 markings, 45420 edges, 5 markings/sec, 1690 secs
lola: 1 tries, 11033 fired transitions, 1695 secs || 10645 markings, 45444 edges, 5 markings/sec, 1695 secs
lola: 1 tries, 11057 fired transitions, 1700 secs || 10669 markings, 45468 edges, 5 markings/sec, 1700 secs
lola: 1 tries, 11081 fired transitions, 1705 secs || 10693 markings, 45492 edges, 5 markings/sec, 1705 secs
lola: 1 tries, 11105 fired transitions, 1710 secs || 10717 markings, 45516 edges, 5 markings/sec, 1710 secs
lola: 1 tries, 11128 fired transitions, 1715 secs || 10741 markings, 45540 edges, 5 markings/sec, 1715 secs
lola: 1 tries, 11152 fired transitions, 1720 secs || 10765 markings, 45582 edges, 5 markings/sec, 1720 secs
lola: 1 tries, 11175 fired transitions, 1725 secs || 10789 markings, 45606 edges, 5 markings/sec, 1725 secs
lola: 1 tries, 11198 fired transitions, 1730 secs || 10813 markings, 45630 edges, 5 markings/sec, 1730 secs
lola: 1 tries, 11222 fired transitions, 1735 secs || 10836 markings, 45653 edges, 5 markings/sec, 1735 secs
lola: 1 tries, 11245 fired transitions, 1740 secs || 10860 markings, 45677 edges, 5 markings/sec, 1740 secs
lola: 1 tries, 11269 fired transitions, 1745 secs || 10884 markings, 45701 edges, 5 markings/sec, 1745 secs
lola: 1 tries, 11291 fired transitions, 1750 secs || 10907 markings, 45724 edges, 5 markings/sec, 1750 secs
lola: 1 tries, 11315 fired transitions, 1755 secs || 10931 markings, 45748 edges, 5 markings/sec, 1755 secs
lola: 1 tries, 11338 fired transitions, 1760 secs || 10955 markings, 45772 edges, 5 markings/sec, 1760 secs
lola: 1 tries, 11361 fired transitions, 1765 secs || 10978 markings, 45795 edges, 5 markings/sec, 1765 secs
lola: 1 tries, 11384 fired transitions, 1770 secs || 11002 markings, 45819 edges, 5 markings/sec, 1770 secs
lola: 1 tries, 11410 fired transitions, 1775 secs || 11028 markings, 45845 edges, 5 markings/sec, 1775 secs
lola: 1 tries, 11432 fired transitions, 1780 secs || 11051 markings, 45868 edges, 5 markings/sec, 1780 secs
lola: 1 tries, 11455 fired transitions, 1785 secs || 11075 markings, 45892 edges, 5 markings/sec, 1785 secs
lola: 1 tries, 11478 fired transitions, 1790 secs || 11099 markings, 45916 edges, 5 markings/sec, 1790 secs
lola: 1 tries, 11500 fired transitions, 1795 secs || 11122 markings, 45939 edges, 5 markings/sec, 1795 secs
lola: 1 tries, 11524 fired transitions, 1800 secs || 11146 markings, 45963 edges, 5 markings/sec, 1800 secs
lola: 1 tries, 11546 fired transitions, 1805 secs || 11169 markings, 45986 edges, 5 markings/sec, 1805 secs
lola: 1 tries, 11569 fired transitions, 1810 secs || 11192 markings, 46009 edges, 5 markings/sec, 1810 secs
lola: 1 tries, 11592 fired transitions, 1815 secs || 11216 markings, 46033 edges, 5 markings/sec, 1815 secs
lola: 1 tries, 11614 fired transitions, 1820 secs || 11239 markings, 46056 edges, 5 markings/sec, 1820 secs
lola: 1 tries, 11636 fired transitions, 1825 secs || 11262 markings, 46079 edges, 5 markings/sec, 1825 secs
lola: 1 tries, 11659 fired transitions, 1830 secs || 11286 markings, 46103 edges, 5 markings/sec, 1830 secs
lola: 1 tries, 11681 fired transitions, 1835 secs || 11309 markings, 46126 edges, 5 markings/sec, 1835 secs
lola: 1 tries, 11704 fired transitions, 1840 secs || 11332 markings, 46149 edges, 5 markings/sec, 1840 secs
lola: 1 tries, 11728 fired transitions, 1845 secs || 11356 markings, 46173 edges, 5 markings/sec, 1845 secs
lola: 1 tries, 11750 fired transitions, 1850 secs || 11379 markings, 46196 edges, 5 markings/sec, 1850 secs
lola: 1 tries, 11773 fired transitions, 1855 secs || 11402 markings, 46219 edges, 5 markings/sec, 1855 secs
lola: 1 tries, 11797 fired transitions, 1860 secs || 11426 markings, 46243 edges, 5 markings/sec, 1860 secs
lola: 1 tries, 11821 fired transitions, 1865 secs || 11450 markings, 46267 edges, 5 markings/sec, 1865 secs
lola: 1 tries, 11844 fired transitions, 1870 secs || 11474 markings, 46295 edges, 5 markings/sec, 1870 secs
lola: 1 tries, 11869 fired transitions, 1875 secs || 11499 markings, 46320 edges, 5 markings/sec, 1875 secs
lola: 1 tries, 11905 fired transitions, 1880 secs || 11537 markings, 46358 edges, 8 markings/sec, 1880 secs
lola: 1 tries, 11947 fired transitions, 1885 secs || 11585 markings, 46406 edges, 10 markings/sec, 1885 secs
lola: 1 tries, 11989 fired transitions, 1890 secs || 11633 markings, 46454 edges, 10 markings/sec, 1890 secs
lola: 1 tries, 12031 fired transitions, 1895 secs || 11680 markings, 46501 edges, 9 markings/sec, 1895 secs
lola: 1 tries, 12073 fired transitions, 1900 secs || 11728 markings, 46549 edges, 10 markings/sec, 1900 secs
lola: 1 tries, 12114 fired transitions, 1905 secs || 11775 markings, 46596 edges, 9 markings/sec, 1905 secs
lola: 1 tries, 12156 fired transitions, 1910 secs || 11822 markings, 46649 edges, 9 markings/sec, 1910 secs
lola: 1 tries, 12198 fired transitions, 1915 secs || 11869 markings, 46696 edges, 9 markings/sec, 1915 secs
lola: 1 tries, 12241 fired transitions, 1920 secs || 11918 markings, 46745 edges, 10 markings/sec, 1920 secs
lola: 1 tries, 12283 fired transitions, 1925 secs || 11966 markings, 46793 edges, 10 markings/sec, 1925 secs
lola: 1 tries, 12325 fired transitions, 1930 secs || 12013 markings, 46840 edges, 9 markings/sec, 1930 secs
lola: 1 tries, 12367 fired transitions, 1935 secs || 12062 markings, 46889 edges, 10 markings/sec, 1935 secs
lola: 1 tries, 12409 fired transitions, 1940 secs || 12110 markings, 46937 edges, 10 markings/sec, 1940 secs
lola: 1 tries, 12451 fired transitions, 1945 secs || 12157 markings, 46984 edges, 9 markings/sec, 1945 secs
lola: 1 tries, 12497 fired transitions, 1950 secs || 12202 markings, 47029 edges, 9 markings/sec, 1950 secs
lola: 1 tries, 12522 fired transitions, 1955 secs || 12227 markings, 47054 edges, 5 markings/sec, 1955 secs
lola: 1 tries, 12569 fired transitions, 1960 secs || 12268 markings, 47095 edges, 8 markings/sec, 1960 secs
lola: 1 tries, 12601 fired transitions, 1965 secs || 12298 markings, 47125 edges, 6 markings/sec, 1965 secs
lola: 1 tries, 12643 fired transitions, 1970 secs || 12346 markings, 47173 edges, 10 markings/sec, 1970 secs
lola: 1 tries, 12684 fired transitions, 1975 secs || 12394 markings, 47279 edges, 10 markings/sec, 1975 secs
lola: 1 tries, 12722 fired transitions, 1980 secs || 12429 markings, 47358 edges, 7 markings/sec, 1980 secs
lola: 1 tries, 12745 fired transitions, 1985 secs || 12452 markings, 47400 edges, 5 markings/sec, 1985 secs
lola: 1 tries, 12778 fired transitions, 1990 secs || 12487 markings, 47479 edges, 7 markings/sec, 1990 secs
lola: 1 tries, 12821 fired transitions, 1995 secs || 12534 markings, 47526 edges, 9 markings/sec, 1995 secs
lola: 1 tries, 12862 fired transitions, 2000 secs || 12579 markings, 47571 edges, 9 markings/sec, 2000 secs
lola: 1 tries, 12903 fired transitions, 2005 secs || 12626 markings, 47618 edges, 9 markings/sec, 2005 secs
lola: 1 tries, 12944 fired transitions, 2010 secs || 12673 markings, 47665 edges, 9 markings/sec, 2010 secs
lola: 1 tries, 12986 fired transitions, 2015 secs || 12720 markings, 47712 edges, 9 markings/sec, 2015 secs
lola: 1 tries, 13028 fired transitions, 2020 secs || 12768 markings, 47787 edges, 10 markings/sec, 2020 secs
lola: 1 tries, 13068 fired transitions, 2025 secs || 12812 markings, 47831 edges, 9 markings/sec, 2025 secs
lola: 1 tries, 13110 fired transitions, 2030 secs || 12861 markings, 47880 edges, 10 markings/sec, 2030 secs
lola: 1 tries, 13150 fired transitions, 2035 secs || 12911 markings, 47930 edges, 10 markings/sec, 2035 secs
lola: 1 tries, 13191 fired transitions, 2040 secs || 12960 markings, 47979 edges, 10 markings/sec, 2040 secs
lola: 1 tries, 13233 fired transitions, 2045 secs || 13009 markings, 48028 edges, 10 markings/sec, 2045 secs
lola: 1 tries, 13277 fired transitions, 2050 secs || 13059 markings, 48078 edges, 10 markings/sec, 2050 secs
lola: 1 tries, 13321 fired transitions, 2055 secs || 13108 markings, 48127 edges, 10 markings/sec, 2055 secs
lola: 1 tries, 13365 fired transitions, 2060 secs || 13157 markings, 48176 edges, 10 markings/sec, 2060 secs
lola: 1 tries, 13410 fired transitions, 2065 secs || 13206 markings, 48225 edges, 10 markings/sec, 2065 secs
lola: 1 tries, 13454 fired transitions, 2070 secs || 13255 markings, 48311 edges, 10 markings/sec, 2070 secs
lola: 1 tries, 13497 fired transitions, 2075 secs || 13305 markings, 48361 edges, 10 markings/sec, 2075 secs
lola: 1 tries, 13541 fired transitions, 2080 secs || 13355 markings, 48411 edges, 10 markings/sec, 2080 secs
lola: 1 tries, 13585 fired transitions, 2085 secs || 13405 markings, 48461 edges, 10 markings/sec, 2085 secs
lola: 1 tries, 13628 fired transitions, 2090 secs || 13455 markings, 48511 edges, 10 markings/sec, 2090 secs
lola: 1 tries, 13654 fired transitions, 2095 secs || 13482 markings, 48538 edges, 5 markings/sec, 2095 secs
lola: 1 tries, 13679 fired transitions, 2100 secs || 13507 markings, 48563 edges, 5 markings/sec, 2100 secs
lola: 1 tries, 13704 fired transitions, 2105 secs || 13532 markings, 48588 edges, 5 markings/sec, 2105 secs
lola: 1 tries, 13728 fired transitions, 2110 secs || 13557 markings, 48613 edges, 5 markings/sec, 2110 secs
lola: 1 tries, 13753 fired transitions, 2115 secs || 13582 markings, 48638 edges, 5 markings/sec, 2115 secs
lola: 1 tries, 13778 fired transitions, 2120 secs || 13608 markings, 48664 edges, 5 markings/sec, 2120 secs
lola: 1 tries, 13803 fired transitions, 2125 secs || 13633 markings, 48689 edges, 5 markings/sec, 2125 secs
lola: 1 tries, 13828 fired transitions, 2130 secs || 13658 markings, 48714 edges, 5 markings/sec, 2130 secs
lola: 1 tries, 13852 fired transitions, 2135 secs || 13683 markings, 48739 edges, 5 markings/sec, 2135 secs
lola: 1 tries, 13877 fired transitions, 2140 secs || 13709 markings, 48765 edges, 5 markings/sec, 2140 secs
lola: 1 tries, 13903 fired transitions, 2145 secs || 13734 markings, 48790 edges, 5 markings/sec, 2145 secs
lola: 1 tries, 13928 fired transitions, 2150 secs || 13759 markings, 48815 edges, 5 markings/sec, 2150 secs
lola: 1 tries, 13952 fired transitions, 2155 secs || 13783 markings, 48845 edges, 5 markings/sec, 2155 secs
lola: 1 tries, 13976 fired transitions, 2160 secs || 13808 markings, 48870 edges, 5 markings/sec, 2160 secs
lola: 1 tries, 14001 fired transitions, 2165 secs || 13833 markings, 48895 edges, 5 markings/sec, 2165 secs
lola: 1 tries, 14026 fired transitions, 2170 secs || 13859 markings, 48921 edges, 5 markings/sec, 2170 secs
lola: 1 tries, 14052 fired transitions, 2175 secs || 13884 markings, 48946 edges, 5 markings/sec, 2175 secs
lola: 1 tries, 14076 fired transitions, 2180 secs || 13909 markings, 48971 edges, 5 markings/sec, 2180 secs
lola: 1 tries, 14100 fired transitions, 2185 secs || 13934 markings, 48996 edges, 5 markings/sec, 2185 secs
lola: 1 tries, 14125 fired transitions, 2190 secs || 13959 markings, 49021 edges, 5 markings/sec, 2190 secs
lola: 1 tries, 14150 fired transitions, 2195 secs || 13984 markings, 49046 edges, 5 markings/sec, 2195 secs
lola: 1 tries, 14175 fired transitions, 2200 secs || 14009 markings, 49071 edges, 5 markings/sec, 2200 secs
lola: 1 tries, 14201 fired transitions, 2205 secs || 14035 markings, 49097 edges, 5 markings/sec, 2205 secs
lola: 1 tries, 14226 fired transitions, 2210 secs || 14060 markings, 49131 edges, 5 markings/sec, 2210 secs
lola: 1 tries, 14251 fired transitions, 2215 secs || 14085 markings, 49156 edges, 5 markings/sec, 2215 secs
lola: 1 tries, 14276 fired transitions, 2220 secs || 14111 markings, 49182 edges, 5 markings/sec, 2220 secs
lola: 1 tries, 14300 fired transitions, 2225 secs || 14135 markings, 49206 edges, 5 markings/sec, 2225 secs
lola: 1 tries, 14325 fired transitions, 2230 secs || 14160 markings, 49231 edges, 5 markings/sec, 2230 secs
lola: 1 tries, 14349 fired transitions, 2235 secs || 14185 markings, 49365 edges, 5 markings/sec, 2235 secs
lola: 1 tries, 14374 fired transitions, 2240 secs || 14210 markings, 49422 edges, 5 markings/sec, 2240 secs
lola: 1 tries, 14399 fired transitions, 2245 secs || 14235 markings, 49450 edges, 5 markings/sec, 2245 secs
lola: 1 tries, 14424 fired transitions, 2250 secs || 14260 markings, 49475 edges, 5 markings/sec, 2250 secs
lola: 1 tries, 14449 fired transitions, 2255 secs || 14285 markings, 49500 edges, 5 markings/sec, 2255 secs
lola: 1 tries, 14474 fired transitions, 2260 secs || 14310 markings, 49525 edges, 5 markings/sec, 2260 secs
lola: 1 tries, 14498 fired transitions, 2265 secs || 14335 markings, 49550 edges, 5 markings/sec, 2265 secs
lola: 1 tries, 14523 fired transitions, 2270 secs || 14360 markings, 49575 edges, 5 markings/sec, 2270 secs
lola: 1 tries, 14549 fired transitions, 2275 secs || 14386 markings, 49601 edges, 5 markings/sec, 2275 secs
lola: 1 tries, 14574 fired transitions, 2280 secs || 14411 markings, 49626 edges, 5 markings/sec, 2280 secs
lola: 1 tries, 14599 fired transitions, 2285 secs || 14436 markings, 49651 edges, 5 markings/sec, 2285 secs
lola: 1 tries, 14623 fired transitions, 2290 secs || 14460 markings, 49675 edges, 5 markings/sec, 2290 secs
lola: 1 tries, 14648 fired transitions, 2295 secs || 14486 markings, 49701 edges, 5 markings/sec, 2295 secs
lola: 1 tries, 14673 fired transitions, 2300 secs || 14511 markings, 49726 edges, 5 markings/sec, 2300 secs
lola: 1 tries, 14698 fired transitions, 2305 secs || 14536 markings, 49751 edges, 5 markings/sec, 2305 secs
lola: 1 tries, 14724 fired transitions, 2310 secs || 14562 markings, 49777 edges, 5 markings/sec, 2310 secs
lola: 1 tries, 14747 fired transitions, 2315 secs || 14586 markings, 49801 edges, 5 markings/sec, 2315 secs
lola: 1 tries, 14772 fired transitions, 2320 secs || 14611 markings, 49826 edges, 5 markings/sec, 2320 secs
lola: 1 tries, 14797 fired transitions, 2325 secs || 14637 markings, 49856 edges, 5 markings/sec, 2325 secs
lola: 1 tries, 14822 fired transitions, 2330 secs || 14661 markings, 49880 edges, 5 markings/sec, 2330 secs
lola: 1 tries, 14846 fired transitions, 2335 secs || 14686 markings, 49905 edges, 5 markings/sec, 2335 secs
lola: 1 tries, 14871 fired transitions, 2340 secs || 14711 markings, 49939 edges, 5 markings/sec, 2340 secs
lola: 1 tries, 14896 fired transitions, 2345 secs || 14736 markings, 49970 edges, 5 markings/sec, 2345 secs
lola: 1 tries, 14921 fired transitions, 2350 secs || 14761 markings, 49995 edges, 5 markings/sec, 2350 secs
lola: 1 tries, 14945 fired transitions, 2355 secs || 14786 markings, 50020 edges, 5 markings/sec, 2355 secs
lola: 1 tries, 14969 fired transitions, 2360 secs || 14810 markings, 50044 edges, 5 markings/sec, 2360 secs
lola: 1 tries, 14994 fired transitions, 2365 secs || 14835 markings, 50069 edges, 5 markings/sec, 2365 secs
lola: 1 tries, 15019 fired transitions, 2370 secs || 14860 markings, 50137 edges, 5 markings/sec, 2370 secs
lola: 1 tries, 15044 fired transitions, 2375 secs || 14885 markings, 50162 edges, 5 markings/sec, 2375 secs
lola: 1 tries, 15069 fired transitions, 2380 secs || 14910 markings, 50187 edges, 5 markings/sec, 2380 secs
lola: 1 tries, 15094 fired transitions, 2385 secs || 14935 markings, 50212 edges, 5 markings/sec, 2385 secs
lola: 1 tries, 15119 fired transitions, 2390 secs || 14960 markings, 50237 edges, 5 markings/sec, 2390 secs
lola: 1 tries, 15144 fired transitions, 2395 secs || 14985 markings, 50262 edges, 5 markings/sec, 2395 secs
lola: 1 tries, 15168 fired transitions, 2400 secs || 15010 markings, 50287 edges, 5 markings/sec, 2400 secs
lola: 1 tries, 15192 fired transitions, 2405 secs || 15035 markings, 50312 edges, 5 markings/sec, 2405 secs
lola: 1 tries, 15216 fired transitions, 2410 secs || 15060 markings, 50337 edges, 5 markings/sec, 2410 secs
lola: 1 tries, 15240 fired transitions, 2415 secs || 15084 markings, 50361 edges, 5 markings/sec, 2415 secs
lola: 1 tries, 15265 fired transitions, 2420 secs || 15109 markings, 50389 edges, 5 markings/sec, 2420 secs
lola: 1 tries, 15290 fired transitions, 2425 secs || 15134 markings, 50414 edges, 5 markings/sec, 2425 secs
lola: 1 tries, 15314 fired transitions, 2430 secs || 15159 markings, 50439 edges, 5 markings/sec, 2430 secs
lola: 1 tries, 15338 fired transitions, 2435 secs || 15183 markings, 50463 edges, 5 markings/sec, 2435 secs
lola: 1 tries, 15362 fired transitions, 2440 secs || 15208 markings, 50488 edges, 5 markings/sec, 2440 secs
lola: 1 tries, 15388 fired transitions, 2445 secs || 15234 markings, 50514 edges, 5 markings/sec, 2445 secs
lola: 1 tries, 15413 fired transitions, 2450 secs || 15259 markings, 50539 edges, 5 markings/sec, 2450 secs
lola: 1 tries, 15437 fired transitions, 2455 secs || 15283 markings, 50563 edges, 5 markings/sec, 2455 secs
lola: 1 tries, 15462 fired transitions, 2460 secs || 15308 markings, 50588 edges, 5 markings/sec, 2460 secs
lola: 1 tries, 15486 fired transitions, 2465 secs || 15332 markings, 50612 edges, 5 markings/sec, 2465 secs
lola: 1 tries, 15510 fired transitions, 2470 secs || 15357 markings, 50637 edges, 5 markings/sec, 2470 secs
lola: 1 tries, 15535 fired transitions, 2475 secs || 15382 markings, 50662 edges, 5 markings/sec, 2475 secs
lola: 1 tries, 15559 fired transitions, 2480 secs || 15407 markings, 50749 edges, 5 markings/sec, 2480 secs
lola: 1 tries, 15584 fired transitions, 2485 secs || 15432 markings, 50849 edges, 5 markings/sec, 2485 secs
lola: 1 tries, 15609 fired transitions, 2490 secs || 15457 markings, 50943 edges, 5 markings/sec, 2490 secs
lola: 1 tries, 15632 fired transitions, 2495 secs || 15480 markings, 51035 edges, 5 markings/sec, 2495 secs
lola: 1 tries, 15656 fired transitions, 2500 secs || 15505 markings, 51147 edges, 5 markings/sec, 2500 secs
lola: 1 tries, 15681 fired transitions, 2505 secs || 15530 markings, 51272 edges, 5 markings/sec, 2505 secs
lola: 1 tries, 15706 fired transitions, 2510 secs || 15555 markings, 51377 edges, 5 markings/sec, 2510 secs
lola: 1 tries, 15731 fired transitions, 2515 secs || 15580 markings, 51468 edges, 5 markings/sec, 2515 secs
lola: 1 tries, 15756 fired transitions, 2520 secs || 15605 markings, 51563 edges, 5 markings/sec, 2520 secs
lola: 1 tries, 15781 fired transitions, 2525 secs || 15631 markings, 51602 edges, 5 markings/sec, 2525 secs
lola: 1 tries, 15807 fired transitions, 2530 secs || 15656 markings, 51670 edges, 5 markings/sec, 2530 secs
lola: 1 tries, 15832 fired transitions, 2535 secs || 15681 markings, 51770 edges, 5 markings/sec, 2535 secs
lola: 1 tries, 15857 fired transitions, 2540 secs || 15706 markings, 51870 edges, 5 markings/sec, 2540 secs
lola: 1 tries, 15882 fired transitions, 2545 secs || 15731 markings, 51967 edges, 5 markings/sec, 2545 secs
lola: 1 tries, 15907 fired transitions, 2550 secs || 15756 markings, 52065 edges, 5 markings/sec, 2550 secs
lola: 1 tries, 15932 fired transitions, 2555 secs || 15782 markings, 52102 edges, 5 markings/sec, 2555 secs
lola: 1 tries, 15957 fired transitions, 2560 secs || 15807 markings, 52130 edges, 5 markings/sec, 2560 secs
lola: 1 tries, 15983 fired transitions, 2565 secs || 15832 markings, 52155 edges, 5 markings/sec, 2565 secs
lola: 1 tries, 16007 fired transitions, 2570 secs || 15856 markings, 52179 edges, 5 markings/sec, 2570 secs
lola: 1 tries, 16031 fired transitions, 2575 secs || 15881 markings, 52204 edges, 5 markings/sec, 2575 secs
lola: 1 tries, 16056 fired transitions, 2580 secs || 15906 markings, 52229 edges, 5 markings/sec, 2580 secs
lola: 1 tries, 16081 fired transitions, 2585 secs || 15931 markings, 52254 edges, 5 markings/sec, 2585 secs
lola: 1 tries, 16104 fired transitions, 2590 secs || 15954 markings, 52277 edges, 5 markings/sec, 2590 secs
lola: 1 tries, 16126 fired transitions, 2595 secs || 15977 markings, 52300 edges, 5 markings/sec, 2595 secs
lola: 1 tries, 16148 fired transitions, 2600 secs || 16000 markings, 52323 edges, 5 markings/sec, 2600 secs
lola: 1 tries, 16172 fired transitions, 2605 secs || 16024 markings, 52347 edges, 5 markings/sec, 2605 secs
lola: 1 tries, 16197 fired transitions, 2610 secs || 16050 markings, 52373 edges, 5 markings/sec, 2610 secs
lola: 1 tries, 16222 fired transitions, 2615 secs || 16074 markings, 52397 edges, 5 markings/sec, 2615 secs
lola: 1 tries, 16247 fired transitions, 2620 secs || 16099 markings, 52422 edges, 5 markings/sec, 2620 secs
lola: 1 tries, 16271 fired transitions, 2625 secs || 16124 markings, 52451 edges, 5 markings/sec, 2625 secs
lola: 1 tries, 16296 fired transitions, 2630 secs || 16149 markings, 52482 edges, 5 markings/sec, 2630 secs
lola: 1 tries, 16320 fired transitions, 2635 secs || 16174 markings, 52507 edges, 5 markings/sec, 2635 secs
lola: 1 tries, 16344 fired transitions, 2640 secs || 16199 markings, 52538 edges, 5 markings/sec, 2640 secs
lola: 1 tries, 16368 fired transitions, 2645 secs || 16223 markings, 52562 edges, 5 markings/sec, 2645 secs
lola: 1 tries, 16391 fired transitions, 2650 secs || 16248 markings, 52587 edges, 5 markings/sec, 2650 secs
lola: 1 tries, 16415 fired transitions, 2655 secs || 16272 markings, 52611 edges, 5 markings/sec, 2655 secs
lola: 1 tries, 16439 fired transitions, 2660 secs || 16297 markings, 52636 edges, 5 markings/sec, 2660 secs
lola: 1 tries, 16463 fired transitions, 2665 secs || 16322 markings, 52713 edges, 5 markings/sec, 2665 secs
lola: 1 tries, 16487 fired transitions, 2670 secs || 16346 markings, 52742 edges, 5 markings/sec, 2670 secs
lola: 1 tries, 16511 fired transitions, 2675 secs || 16371 markings, 52767 edges, 5 markings/sec, 2675 secs
lola: 1 tries, 16535 fired transitions, 2680 secs || 16396 markings, 52818 edges, 5 markings/sec, 2680 secs
lola: 1 tries, 16559 fired transitions, 2685 secs || 16420 markings, 52842 edges, 5 markings/sec, 2685 secs
lola: 1 tries, 16583 fired transitions, 2690 secs || 16445 markings, 52895 edges, 5 markings/sec, 2690 secs
lola: 1 tries, 16607 fired transitions, 2695 secs || 16470 markings, 52924 edges, 5 markings/sec, 2695 secs
lola: 1 tries, 16631 fired transitions, 2700 secs || 16494 markings, 52948 edges, 5 markings/sec, 2700 secs
lola: 1 tries, 16656 fired transitions, 2705 secs || 16519 markings, 52973 edges, 5 markings/sec, 2705 secs
lola: 1 tries, 16680 fired transitions, 2710 secs || 16544 markings, 52998 edges, 5 markings/sec, 2710 secs
lola: 1 tries, 16704 fired transitions, 2715 secs || 16568 markings, 53022 edges, 5 markings/sec, 2715 secs
lola: 1 tries, 16728 fired transitions, 2720 secs || 16593 markings, 53052 edges, 5 markings/sec, 2720 secs
lola: 1 tries, 16751 fired transitions, 2725 secs || 16617 markings, 53087 edges, 5 markings/sec, 2725 secs
lola: 1 tries, 16776 fired transitions, 2730 secs || 16642 markings, 53112 edges, 5 markings/sec, 2730 secs
lola: 1 tries, 16799 fired transitions, 2735 secs || 16666 markings, 53136 edges, 5 markings/sec, 2735 secs
lola: 1 tries, 16824 fired transitions, 2740 secs || 16691 markings, 53161 edges, 5 markings/sec, 2740 secs
lola: 1 tries, 16848 fired transitions, 2745 secs || 16715 markings, 53185 edges, 5 markings/sec, 2745 secs
lola: 1 tries, 16872 fired transitions, 2750 secs || 16740 markings, 53210 edges, 5 markings/sec, 2750 secs
lola: 1 tries, 16896 fired transitions, 2755 secs || 16765 markings, 53235 edges, 5 markings/sec, 2755 secs
lola: 1 tries, 16921 fired transitions, 2760 secs || 16790 markings, 53260 edges, 5 markings/sec, 2760 secs
lola: 1 tries, 16945 fired transitions, 2765 secs || 16814 markings, 53284 edges, 5 markings/sec, 2765 secs
lola: 1 tries, 16970 fired transitions, 2770 secs || 16839 markings, 53309 edges, 5 markings/sec, 2770 secs
lola: 1 tries, 16994 fired transitions, 2775 secs || 16864 markings, 53334 edges, 5 markings/sec, 2775 secs
lola: 1 tries, 17018 fired transitions, 2780 secs || 16888 markings, 53358 edges, 5 markings/sec, 2780 secs
lola: 1 tries, 17042 fired transitions, 2785 secs || 16913 markings, 53383 edges, 5 markings/sec, 2785 secs
lola: 1 tries, 17067 fired transitions, 2790 secs || 16938 markings, 53408 edges, 5 markings/sec, 2790 secs
lola: 1 tries, 17091 fired transitions, 2795 secs || 16962 markings, 53432 edges, 5 markings/sec, 2795 secs
lola: 1 tries, 17115 fired transitions, 2800 secs || 16987 markings, 53457 edges, 5 markings/sec, 2800 secs
lola: 1 tries, 17139 fired transitions, 2805 secs || 17012 markings, 53491 edges, 5 markings/sec, 2805 secs
lola: 1 tries, 17163 fired transitions, 2810 secs || 17036 markings, 53581 edges, 5 markings/sec, 2810 secs
lola: 1 tries, 17188 fired transitions, 2815 secs || 17061 markings, 53697 edges, 5 markings/sec, 2815 secs
lola: 1 tries, 17211 fired transitions, 2820 secs || 17085 markings, 53859 edges, 5 markings/sec, 2820 secs
lola: 1 tries, 17235 fired transitions, 2825 secs || 17110 markings, 53974 edges, 5 markings/sec, 2825 secs
lola: 1 tries, 17259 fired transitions, 2830 secs || 17135 markings, 54149 edges, 5 markings/sec, 2830 secs
lola: 1 tries, 17283 fired transitions, 2835 secs || 17159 markings, 54301 edges, 5 markings/sec, 2835 secs
lola: 1 tries, 17307 fired transitions, 2840 secs || 17184 markings, 54504 edges, 5 markings/sec, 2840 secs
lola: 1 tries, 17331 fired transitions, 2845 secs || 17208 markings, 54720 edges, 5 markings/sec, 2845 secs
lola: 1 tries, 17356 fired transitions, 2850 secs || 17233 markings, 54927 edges, 5 markings/sec, 2850 secs
lola: 1 tries, 17381 fired transitions, 2855 secs || 17258 markings, 55104 edges, 5 markings/sec, 2855 secs
lola: 1 tries, 17406 fired transitions, 2860 secs || 17283 markings, 55223 edges, 5 markings/sec, 2860 secs
lola: 1 tries, 17430 fired transitions, 2865 secs || 17308 markings, 55333 edges, 5 markings/sec, 2865 secs
lola: 1 tries, 17455 fired transitions, 2870 secs || 17332 markings, 55369 edges, 5 markings/sec, 2870 secs
lola: 1 tries, 17480 fired transitions, 2875 secs || 17357 markings, 55394 edges, 5 markings/sec, 2875 secs
lola: 1 tries, 17504 fired transitions, 2880 secs || 17382 markings, 55419 edges, 5 markings/sec, 2880 secs
lola: 1 tries, 17529 fired transitions, 2885 secs || 17406 markings, 55443 edges, 5 markings/sec, 2885 secs
lola: 1 tries, 17554 fired transitions, 2890 secs || 17431 markings, 55468 edges, 5 markings/sec, 2890 secs
lola: 1 tries, 17578 fired transitions, 2895 secs || 17456 markings, 55493 edges, 5 markings/sec, 2895 secs
lola: 1 tries, 17602 fired transitions, 2900 secs || 17480 markings, 55517 edges, 5 markings/sec, 2900 secs
lola: 1 tries, 17627 fired transitions, 2905 secs || 17505 markings, 55542 edges, 5 markings/sec, 2905 secs
lola: 1 tries, 17650 fired transitions, 2910 secs || 17529 markings, 55566 edges, 5 markings/sec, 2910 secs
lola: 1 tries, 17675 fired transitions, 2915 secs || 17554 markings, 55591 edges, 5 markings/sec, 2915 secs
lola: 1 tries, 17700 fired transitions, 2920 secs || 17579 markings, 55616 edges, 5 markings/sec, 2920 secs
lola: 1 tries, 17723 fired transitions, 2925 secs || 17603 markings, 55640 edges, 5 markings/sec, 2925 secs
lola: 1 tries, 17747 fired transitions, 2930 secs || 17628 markings, 55719 edges, 5 markings/sec, 2930 secs
lola: 1 tries, 17771 fired transitions, 2935 secs || 17652 markings, 55750 edges, 5 markings/sec, 2935 secs
lola: 1 tries, 17795 fired transitions, 2940 secs || 17677 markings, 55775 edges, 5 markings/sec, 2940 secs
lola: 1 tries, 17819 fired transitions, 2945 secs || 17701 markings, 55799 edges, 5 markings/sec, 2945 secs
lola: 1 tries, 17843 fired transitions, 2950 secs || 17726 markings, 55824 edges, 5 markings/sec, 2950 secs
lola: 1 tries, 17867 fired transitions, 2955 secs || 17750 markings, 55848 edges, 5 markings/sec, 2955 secs
lola: 1 tries, 17891 fired transitions, 2960 secs || 17775 markings, 55873 edges, 5 markings/sec, 2960 secs
lola: 1 tries, 17915 fired transitions, 2965 secs || 17799 markings, 55897 edges, 5 markings/sec, 2965 secs
lola: 1 tries, 17939 fired transitions, 2970 secs || 17824 markings, 55922 edges, 5 markings/sec, 2970 secs
lola: 1 tries, 17962 fired transitions, 2975 secs || 17848 markings, 55946 edges, 5 markings/sec, 2975 secs
lola: 1 tries, 17986 fired transitions, 2980 secs || 17873 markings, 55971 edges, 5 markings/sec, 2980 secs
lola: 1 tries, 18010 fired transitions, 2985 secs || 17897 markings, 55995 edges, 5 markings/sec, 2985 secs
lola: 1 tries, 18034 fired transitions, 2990 secs || 17921 markings, 56019 edges, 5 markings/sec, 2990 secs
lola: 1 tries, 18058 fired transitions, 2995 secs || 17945 markings, 56043 edges, 5 markings/sec, 2995 secs
lola: 1 tries, 18082 fired transitions, 3000 secs || 17969 markings, 56067 edges, 5 markings/sec, 3000 secs
lola: 1 tries, 18106 fired transitions, 3005 secs || 17994 markings, 56098 edges, 5 markings/sec, 3005 secs
lola: 1 tries, 18129 fired transitions, 3010 secs || 18018 markings, 56125 edges, 5 markings/sec, 3010 secs
lola: 1 tries, 18153 fired transitions, 3015 secs || 18043 markings, 56150 edges, 5 markings/sec, 3015 secs
lola: 1 tries, 18177 fired transitions, 3020 secs || 18067 markings, 56177 edges, 5 markings/sec, 3020 secs
lola: 1 tries, 18201 fired transitions, 3025 secs || 18091 markings, 56201 edges, 5 markings/sec, 3025 secs
lola: 1 tries, 18224 fired transitions, 3030 secs || 18115 markings, 56225 edges, 5 markings/sec, 3030 secs
lola: 1 tries, 18246 fired transitions, 3035 secs || 18138 markings, 56248 edges, 5 markings/sec, 3035 secs
lola: 1 tries, 18269 fired transitions, 3040 secs || 18162 markings, 56272 edges, 5 markings/sec, 3040 secs
lola: 1 tries, 18292 fired transitions, 3045 secs || 18185 markings, 56321 edges, 5 markings/sec, 3045 secs
lola: 1 tries, 18315 fired transitions, 3050 secs || 18210 markings, 56351 edges, 5 markings/sec, 3050 secs
lola: 1 tries, 18339 fired transitions, 3055 secs || 18234 markings, 56375 edges, 5 markings/sec, 3055 secs
lola: 1 tries, 18363 fired transitions, 3060 secs || 18258 markings, 56399 edges, 5 markings/sec, 3060 secs
lola: 1 tries, 18387 fired transitions, 3065 secs || 18283 markings, 56424 edges, 5 markings/sec, 3065 secs
lola: 1 tries, 18411 fired transitions, 3070 secs || 18307 markings, 56488 edges, 5 markings/sec, 3070 secs
lola: 1 tries, 18435 fired transitions, 3075 secs || 18332 markings, 56586 edges, 5 markings/sec, 3075 secs
lola: 1 tries, 18458 fired transitions, 3080 secs || 18356 markings, 56660 edges, 5 markings/sec, 3080 secs
lola: 1 tries, 18483 fired transitions, 3085 secs || 18381 markings, 56685 edges, 5 markings/sec, 3085 secs
lola: 1 tries, 18507 fired transitions, 3090 secs || 18406 markings, 56710 edges, 5 markings/sec, 3090 secs
lola: 1 tries, 18531 fired transitions, 3095 secs || 18430 markings, 56734 edges, 5 markings/sec, 3095 secs
lola: 1 tries, 18556 fired transitions, 3100 secs || 18455 markings, 56759 edges, 5 markings/sec, 3100 secs
lola: 1 tries, 18580 fired transitions, 3105 secs || 18479 markings, 56783 edges, 5 markings/sec, 3105 secs
lola: 1 tries, 18604 fired transitions, 3110 secs || 18503 markings, 56807 edges, 5 markings/sec, 3110 secs
lola: 1 tries, 18627 fired transitions, 3115 secs || 18527 markings, 56831 edges, 5 markings/sec, 3115 secs
lola: 1 tries, 18651 fired transitions, 3120 secs || 18551 markings, 56855 edges, 5 markings/sec, 3120 secs
lola: 1 tries, 18674 fired transitions, 3125 secs || 18576 markings, 56880 edges, 5 markings/sec, 3125 secs
lola: 1 tries, 18699 fired transitions, 3130 secs || 18600 markings, 56904 edges, 5 markings/sec, 3130 secs
lola: 1 tries, 18722 fired transitions, 3135 secs || 18624 markings, 56928 edges, 5 markings/sec, 3135 secs
lola: 1 tries, 18746 fired transitions, 3140 secs || 18648 markings, 56952 edges, 5 markings/sec, 3140 secs
lola: 1 tries, 18769 fired transitions, 3145 secs || 18673 markings, 56977 edges, 5 markings/sec, 3145 secs
lola: 1 tries, 18793 fired transitions, 3150 secs || 18697 markings, 57001 edges, 5 markings/sec, 3150 secs
lola: 1 tries, 18817 fired transitions, 3155 secs || 18721 markings, 57025 edges, 5 markings/sec, 3155 secs
lola: 1 tries, 18841 fired transitions, 3160 secs || 18745 markings, 57049 edges, 5 markings/sec, 3160 secs
lola: 1 tries, 18865 fired transitions, 3165 secs || 18770 markings, 57074 edges, 5 markings/sec, 3165 secs
lola: 1 tries, 18889 fired transitions, 3170 secs || 18794 markings, 57098 edges, 5 markings/sec, 3170 secs
lola: 1 tries, 18913 fired transitions, 3175 secs || 18819 markings, 57123 edges, 5 markings/sec, 3175 secs
lola: time limit reached - aborting
Segmentation fault
rslt: finished
BK_STOP 1553922647994
--------------------
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-5"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is RERS17pb114-PT-5, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r126-oct2-155274853600435"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-5.tgz
mv RERS17pb114-PT-5 execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;