About the Execution of LoLA for RERS17pb113-PT-2
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5141.810 | 3594203.00 | 7327382.00 | 260.10 | [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-155274853400327.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 RERS17pb113-PT-2, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-oct2-155274853400327
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.6K Feb 13 08:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 13 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 13 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 13 08:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.1K Feb 13 08:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 8.4K 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 9.8K 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 3.5K Feb 13 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 13 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 13 08:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 13 08:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Feb 13 08:05 equiv_col
-rw-r--r-- 1 mcc users 2 Feb 13 08:05 instance
-rw-r--r-- 1 mcc users 6 Feb 13 08:05 iscolored
-rw-r--r-- 1 mcc users 15M 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 RERS17pb113-PT-2-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553903838785
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ RERS17pb113-PT-2 @ 3570 seconds
vrfy: finished
info: timeLeft: -24
rslt: Output for GlobalProperties @ RERS17pb113-PT-2
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Mar 29 23:57:18 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 1026524,
"runtime": 3573.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "GlobalProperties.json",
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 125418,
"conflict_clusters": 2,
"places": 639,
"places_significant": 614,
"singleton_clusters": 0,
"transitions": 31353
},
"task":
{
"findpath":
{
"depthlimit": 1000000,
"retrylimit": null,
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 2
},
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"symmetry":
{
"card": 6227020800.000000,
"composed": 66,
"dead_branches": 0,
"generators": 78,
"interrupted": false,
"real_computed": 12,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
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: 31992/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 639
lola: finding significant places
lola: 639 places, 31353 transitions, 614 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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 78 generators (12 in search tree, 66 by composition)
lola: representing 6.22702E+09 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 606 fired transitions, 0 secs || 514 markings, 513 edges, 103 markings/sec, 0 secs
lola: 1 tries, 1229 fired transitions, 5 secs || 1155 markings, 1154 edges, 128 markings/sec, 5 secs
lola: 1 tries, 1847 fired transitions, 10 secs || 1796 markings, 1795 edges, 128 markings/sec, 10 secs
lola: 1 tries, 2465 fired transitions, 15 secs || 2433 markings, 2432 edges, 127 markings/sec, 15 secs
lola: 1 tries, 3073 fired transitions, 20 secs || 3060 markings, 3059 edges, 125 markings/sec, 20 secs
lola: 1 tries, 3685 fired transitions, 25 secs || 3695 markings, 3694 edges, 127 markings/sec, 25 secs
lola: 1 tries, 4305 fired transitions, 30 secs || 4335 markings, 4334 edges, 128 markings/sec, 30 secs
lola: 1 tries, 4925 fired transitions, 35 secs || 4978 markings, 4977 edges, 129 markings/sec, 35 secs
lola: 1 tries, 5546 fired transitions, 40 secs || 5622 markings, 5621 edges, 129 markings/sec, 40 secs
lola: 1 tries, 6165 fired transitions, 45 secs || 6265 markings, 6264 edges, 129 markings/sec, 45 secs
lola: 1 tries, 6785 fired transitions, 50 secs || 6907 markings, 6906 edges, 128 markings/sec, 50 secs
lola: 1 tries, 7405 fired transitions, 55 secs || 7548 markings, 7547 edges, 128 markings/sec, 55 secs
lola: 1 tries, 8042 fired transitions, 60 secs || 8186 markings, 8185 edges, 128 markings/sec, 60 secs
lola: 1 tries, 8687 fired transitions, 65 secs || 8803 markings, 8802 edges, 123 markings/sec, 65 secs
lola: 1 tries, 9328 fired transitions, 70 secs || 9425 markings, 9424 edges, 124 markings/sec, 70 secs
lola: 1 tries, 9975 fired transitions, 75 secs || 10057 markings, 10056 edges, 126 markings/sec, 75 secs
lola: 1 tries, 10613 fired transitions, 80 secs || 10682 markings, 10681 edges, 125 markings/sec, 80 secs
lola: 1 tries, 11247 fired transitions, 85 secs || 11314 markings, 11313 edges, 126 markings/sec, 85 secs
lola: 1 tries, 11896 fired transitions, 90 secs || 11956 markings, 11955 edges, 128 markings/sec, 90 secs
lola: 1 tries, 12549 fired transitions, 95 secs || 12604 markings, 12603 edges, 130 markings/sec, 95 secs
lola: 1 tries, 13194 fired transitions, 100 secs || 13242 markings, 13241 edges, 128 markings/sec, 100 secs
lola: 1 tries, 13841 fired transitions, 105 secs || 13891 markings, 13890 edges, 130 markings/sec, 105 secs
lola: 1 tries, 14481 fired transitions, 110 secs || 14531 markings, 14530 edges, 128 markings/sec, 110 secs
lola: 1 tries, 15130 fired transitions, 115 secs || 15180 markings, 15179 edges, 130 markings/sec, 115 secs
lola: 1 tries, 15784 fired transitions, 120 secs || 15829 markings, 15828 edges, 130 markings/sec, 120 secs
lola: 1 tries, 16435 fired transitions, 125 secs || 16477 markings, 16476 edges, 130 markings/sec, 125 secs
lola: 1 tries, 17074 fired transitions, 130 secs || 17126 markings, 17125 edges, 130 markings/sec, 130 secs
lola: 1 tries, 17699 fired transitions, 135 secs || 17775 markings, 17774 edges, 130 markings/sec, 135 secs
lola: 1 tries, 18325 fired transitions, 140 secs || 18388 markings, 18387 edges, 123 markings/sec, 140 secs
lola: 1 tries, 18955 fired transitions, 145 secs || 18999 markings, 18998 edges, 122 markings/sec, 145 secs
lola: 1 tries, 19581 fired transitions, 150 secs || 19614 markings, 19613 edges, 123 markings/sec, 150 secs
lola: 1 tries, 20223 fired transitions, 155 secs || 20244 markings, 20243 edges, 126 markings/sec, 155 secs
lola: 1 tries, 20864 fired transitions, 160 secs || 20868 markings, 20867 edges, 125 markings/sec, 160 secs
lola: 1 tries, 21505 fired transitions, 165 secs || 21505 markings, 21504 edges, 127 markings/sec, 165 secs
lola: 1 tries, 22155 fired transitions, 170 secs || 22151 markings, 22150 edges, 129 markings/sec, 170 secs
lola: 1 tries, 22810 fired transitions, 175 secs || 22797 markings, 22796 edges, 129 markings/sec, 175 secs
lola: 1 tries, 23446 fired transitions, 180 secs || 23433 markings, 23432 edges, 127 markings/sec, 180 secs
lola: 1 tries, 24097 fired transitions, 185 secs || 24079 markings, 24078 edges, 129 markings/sec, 185 secs
lola: 1 tries, 24748 fired transitions, 190 secs || 24728 markings, 24727 edges, 130 markings/sec, 190 secs
lola: 1 tries, 25397 fired transitions, 195 secs || 25377 markings, 25376 edges, 130 markings/sec, 195 secs
lola: 1 tries, 26045 fired transitions, 200 secs || 26025 markings, 26024 edges, 130 markings/sec, 200 secs
lola: 1 tries, 26692 fired transitions, 205 secs || 26669 markings, 26668 edges, 129 markings/sec, 205 secs
lola: 1 tries, 27341 fired transitions, 210 secs || 27313 markings, 27312 edges, 129 markings/sec, 210 secs
lola: 1 tries, 27992 fired transitions, 215 secs || 27958 markings, 27957 edges, 129 markings/sec, 215 secs
lola: 1 tries, 28646 fired transitions, 220 secs || 28603 markings, 28602 edges, 129 markings/sec, 220 secs
lola: 1 tries, 29299 fired transitions, 225 secs || 29252 markings, 29251 edges, 130 markings/sec, 225 secs
lola: 1 tries, 29941 fired transitions, 230 secs || 29891 markings, 29890 edges, 128 markings/sec, 230 secs
lola: 1 tries, 30585 fired transitions, 235 secs || 30527 markings, 30526 edges, 127 markings/sec, 235 secs
lola: 1 tries, 31237 fired transitions, 240 secs || 31169 markings, 31168 edges, 128 markings/sec, 240 secs
lola: 1 tries, 31889 fired transitions, 245 secs || 31817 markings, 31816 edges, 130 markings/sec, 245 secs
lola: 1 tries, 32542 fired transitions, 250 secs || 32463 markings, 32462 edges, 129 markings/sec, 250 secs
lola: 1 tries, 33188 fired transitions, 255 secs || 33103 markings, 33102 edges, 128 markings/sec, 255 secs
lola: 1 tries, 33844 fired transitions, 260 secs || 33747 markings, 33746 edges, 129 markings/sec, 260 secs
lola: 1 tries, 34492 fired transitions, 265 secs || 34390 markings, 34389 edges, 129 markings/sec, 265 secs
lola: 1 tries, 35143 fired transitions, 270 secs || 35036 markings, 35035 edges, 129 markings/sec, 270 secs
lola: 1 tries, 35795 fired transitions, 275 secs || 35688 markings, 35687 edges, 130 markings/sec, 275 secs
lola: 1 tries, 36447 fired transitions, 280 secs || 36335 markings, 36334 edges, 129 markings/sec, 280 secs
lola: 1 tries, 37100 fired transitions, 285 secs || 36982 markings, 36981 edges, 129 markings/sec, 285 secs
lola: 1 tries, 37736 fired transitions, 290 secs || 37626 markings, 37625 edges, 129 markings/sec, 290 secs
lola: 1 tries, 38358 fired transitions, 295 secs || 38273 markings, 38272 edges, 129 markings/sec, 295 secs
lola: 1 tries, 38984 fired transitions, 300 secs || 38916 markings, 38915 edges, 129 markings/sec, 300 secs
lola: 1 tries, 39605 fired transitions, 305 secs || 39555 markings, 39554 edges, 128 markings/sec, 305 secs
lola: 1 tries, 40229 fired transitions, 310 secs || 40203 markings, 40202 edges, 130 markings/sec, 310 secs
lola: 1 tries, 40855 fired transitions, 315 secs || 40848 markings, 40847 edges, 129 markings/sec, 315 secs
lola: 1 tries, 41481 fired transitions, 320 secs || 41492 markings, 41491 edges, 129 markings/sec, 320 secs
lola: 1 tries, 42103 fired transitions, 325 secs || 42133 markings, 42132 edges, 128 markings/sec, 325 secs
lola: 1 tries, 42729 fired transitions, 330 secs || 42773 markings, 42772 edges, 128 markings/sec, 330 secs
lola: 1 tries, 43355 fired transitions, 335 secs || 43417 markings, 43416 edges, 129 markings/sec, 335 secs
lola: 1 tries, 43986 fired transitions, 340 secs || 44066 markings, 44065 edges, 130 markings/sec, 340 secs
lola: 1 tries, 44615 fired transitions, 345 secs || 44710 markings, 44709 edges, 129 markings/sec, 345 secs
lola: 1 tries, 45246 fired transitions, 350 secs || 45354 markings, 45353 edges, 129 markings/sec, 350 secs
lola: 1 tries, 45856 fired transitions, 355 secs || 45960 markings, 45959 edges, 121 markings/sec, 355 secs
lola: 1 tries, 46480 fired transitions, 360 secs || 46564 markings, 46563 edges, 121 markings/sec, 360 secs
lola: 1 tries, 47101 fired transitions, 365 secs || 47170 markings, 47169 edges, 121 markings/sec, 365 secs
lola: 1 tries, 47702 fired transitions, 370 secs || 47771 markings, 47770 edges, 120 markings/sec, 370 secs
lola: 1 tries, 48326 fired transitions, 375 secs || 48380 markings, 48379 edges, 122 markings/sec, 375 secs
lola: 1 tries, 48959 fired transitions, 380 secs || 48992 markings, 48991 edges, 122 markings/sec, 380 secs
lola: 1 tries, 49574 fired transitions, 385 secs || 49606 markings, 49605 edges, 123 markings/sec, 385 secs
lola: 1 tries, 50177 fired transitions, 390 secs || 50209 markings, 50208 edges, 121 markings/sec, 390 secs
lola: 1 tries, 50796 fired transitions, 395 secs || 50828 markings, 50827 edges, 124 markings/sec, 395 secs
lola: 1 tries, 51427 fired transitions, 400 secs || 51455 markings, 51454 edges, 125 markings/sec, 400 secs
lola: 1 tries, 52069 fired transitions, 405 secs || 52085 markings, 52084 edges, 126 markings/sec, 405 secs
lola: 1 tries, 52700 fired transitions, 410 secs || 52715 markings, 52714 edges, 126 markings/sec, 410 secs
lola: 1 tries, 53322 fired transitions, 415 secs || 53337 markings, 53336 edges, 124 markings/sec, 415 secs
lola: 1 tries, 53934 fired transitions, 420 secs || 53949 markings, 53948 edges, 122 markings/sec, 420 secs
lola: 1 tries, 54560 fired transitions, 425 secs || 54571 markings, 54570 edges, 124 markings/sec, 425 secs
lola: 1 tries, 55196 fired transitions, 430 secs || 55199 markings, 55198 edges, 126 markings/sec, 430 secs
lola: 1 tries, 55826 fired transitions, 435 secs || 55827 markings, 55826 edges, 126 markings/sec, 435 secs
lola: 1 tries, 56457 fired transitions, 440 secs || 56450 markings, 56449 edges, 125 markings/sec, 440 secs
lola: 1 tries, 57091 fired transitions, 445 secs || 57077 markings, 57076 edges, 125 markings/sec, 445 secs
lola: 1 tries, 57730 fired transitions, 450 secs || 57708 markings, 57707 edges, 126 markings/sec, 450 secs
lola: 1 tries, 58362 fired transitions, 455 secs || 58335 markings, 58334 edges, 125 markings/sec, 455 secs
lola: 1 tries, 58995 fired transitions, 460 secs || 58951 markings, 58950 edges, 123 markings/sec, 460 secs
lola: 1 tries, 59630 fired transitions, 465 secs || 59566 markings, 59565 edges, 123 markings/sec, 465 secs
lola: 1 tries, 60262 fired transitions, 470 secs || 60178 markings, 60177 edges, 122 markings/sec, 470 secs
lola: 1 tries, 60897 fired transitions, 475 secs || 60790 markings, 60789 edges, 122 markings/sec, 475 secs
lola: 1 tries, 61530 fired transitions, 480 secs || 61402 markings, 61401 edges, 122 markings/sec, 480 secs
lola: 1 tries, 62164 fired transitions, 485 secs || 62014 markings, 62013 edges, 122 markings/sec, 485 secs
lola: 1 tries, 62793 fired transitions, 490 secs || 62626 markings, 62625 edges, 122 markings/sec, 490 secs
lola: 1 tries, 63418 fired transitions, 495 secs || 63239 markings, 63238 edges, 123 markings/sec, 495 secs
lola: 1 tries, 64041 fired transitions, 500 secs || 63850 markings, 63849 edges, 122 markings/sec, 500 secs
lola: 1 tries, 64668 fired transitions, 505 secs || 64458 markings, 64457 edges, 122 markings/sec, 505 secs
lola: 1 tries, 65296 fired transitions, 510 secs || 65066 markings, 65065 edges, 122 markings/sec, 510 secs
lola: 1 tries, 65925 fired transitions, 515 secs || 65676 markings, 65675 edges, 122 markings/sec, 515 secs
lola: 1 tries, 66557 fired transitions, 520 secs || 66287 markings, 66286 edges, 122 markings/sec, 520 secs
lola: 1 tries, 67192 fired transitions, 525 secs || 66897 markings, 66896 edges, 122 markings/sec, 525 secs
lola: 1 tries, 67827 fired transitions, 530 secs || 67507 markings, 67506 edges, 122 markings/sec, 530 secs
lola: 1 tries, 68457 fired transitions, 535 secs || 68116 markings, 68115 edges, 122 markings/sec, 535 secs
lola: 1 tries, 69092 fired transitions, 540 secs || 68730 markings, 68729 edges, 123 markings/sec, 540 secs
lola: 1 tries, 69722 fired transitions, 545 secs || 69341 markings, 69340 edges, 122 markings/sec, 545 secs
lola: 1 tries, 70355 fired transitions, 550 secs || 69951 markings, 69950 edges, 122 markings/sec, 550 secs
lola: 1 tries, 70988 fired transitions, 555 secs || 70563 markings, 70562 edges, 122 markings/sec, 555 secs
lola: 1 tries, 71624 fired transitions, 560 secs || 71175 markings, 71174 edges, 122 markings/sec, 560 secs
lola: 1 tries, 72257 fired transitions, 565 secs || 71785 markings, 71784 edges, 122 markings/sec, 565 secs
lola: 1 tries, 72892 fired transitions, 570 secs || 72397 markings, 72396 edges, 122 markings/sec, 570 secs
lola: 1 tries, 73528 fired transitions, 575 secs || 73008 markings, 73007 edges, 122 markings/sec, 575 secs
lola: 1 tries, 74166 fired transitions, 580 secs || 73622 markings, 73621 edges, 123 markings/sec, 580 secs
lola: 1 tries, 74817 fired transitions, 585 secs || 74246 markings, 74245 edges, 125 markings/sec, 585 secs
lola: 1 tries, 75474 fired transitions, 590 secs || 74872 markings, 74871 edges, 125 markings/sec, 590 secs
lola: 1 tries, 76127 fired transitions, 595 secs || 75493 markings, 75492 edges, 124 markings/sec, 595 secs
lola: 1 tries, 76780 fired transitions, 600 secs || 76116 markings, 76115 edges, 125 markings/sec, 600 secs
lola: 1 tries, 77431 fired transitions, 605 secs || 76741 markings, 76740 edges, 125 markings/sec, 605 secs
lola: 1 tries, 78082 fired transitions, 610 secs || 77365 markings, 77364 edges, 125 markings/sec, 610 secs
lola: 1 tries, 78729 fired transitions, 615 secs || 77986 markings, 77985 edges, 124 markings/sec, 615 secs
lola: 1 tries, 79384 fired transitions, 620 secs || 78611 markings, 78610 edges, 125 markings/sec, 620 secs
lola: 1 tries, 80039 fired transitions, 625 secs || 79234 markings, 79233 edges, 125 markings/sec, 625 secs
lola: 1 tries, 80686 fired transitions, 630 secs || 79853 markings, 79852 edges, 124 markings/sec, 630 secs
lola: 1 tries, 81337 fired transitions, 635 secs || 80475 markings, 80474 edges, 124 markings/sec, 635 secs
lola: 1 tries, 81986 fired transitions, 640 secs || 81097 markings, 81096 edges, 124 markings/sec, 640 secs
lola: 1 tries, 82637 fired transitions, 645 secs || 81720 markings, 81719 edges, 125 markings/sec, 645 secs
lola: 1 tries, 83281 fired transitions, 650 secs || 82340 markings, 82339 edges, 124 markings/sec, 650 secs
lola: 1 tries, 83923 fired transitions, 655 secs || 82957 markings, 82956 edges, 123 markings/sec, 655 secs
lola: 1 tries, 84575 fired transitions, 660 secs || 83578 markings, 83577 edges, 124 markings/sec, 660 secs
lola: 1 tries, 85223 fired transitions, 665 secs || 84200 markings, 84199 edges, 124 markings/sec, 665 secs
lola: 1 tries, 85873 fired transitions, 670 secs || 84821 markings, 84820 edges, 124 markings/sec, 670 secs
lola: 1 tries, 86523 fired transitions, 675 secs || 85445 markings, 85444 edges, 125 markings/sec, 675 secs
lola: 1 tries, 87171 fired transitions, 680 secs || 86065 markings, 86064 edges, 124 markings/sec, 680 secs
lola: 1 tries, 87820 fired transitions, 685 secs || 86687 markings, 86686 edges, 124 markings/sec, 685 secs
lola: 1 tries, 88454 fired transitions, 690 secs || 87302 markings, 87301 edges, 123 markings/sec, 690 secs
lola: 1 tries, 89101 fired transitions, 695 secs || 87924 markings, 87923 edges, 124 markings/sec, 695 secs
lola: 1 tries, 89748 fired transitions, 700 secs || 88545 markings, 88544 edges, 124 markings/sec, 700 secs
lola: 1 tries, 90398 fired transitions, 705 secs || 89167 markings, 89166 edges, 124 markings/sec, 705 secs
lola: 1 tries, 91050 fired transitions, 710 secs || 89792 markings, 89791 edges, 125 markings/sec, 710 secs
lola: 1 tries, 91703 fired transitions, 715 secs || 90419 markings, 90418 edges, 125 markings/sec, 715 secs
lola: 1 tries, 92355 fired transitions, 720 secs || 91045 markings, 91044 edges, 125 markings/sec, 720 secs
lola: 1 tries, 93008 fired transitions, 725 secs || 91667 markings, 91666 edges, 124 markings/sec, 725 secs
lola: 1 tries, 93659 fired transitions, 730 secs || 92289 markings, 92288 edges, 124 markings/sec, 730 secs
lola: 1 tries, 94309 fired transitions, 735 secs || 92911 markings, 92910 edges, 124 markings/sec, 735 secs
lola: 1 tries, 94960 fired transitions, 740 secs || 93534 markings, 93533 edges, 125 markings/sec, 740 secs
lola: 1 tries, 95613 fired transitions, 745 secs || 94157 markings, 94156 edges, 125 markings/sec, 745 secs
lola: 1 tries, 96264 fired transitions, 750 secs || 94781 markings, 94780 edges, 125 markings/sec, 750 secs
lola: 1 tries, 96914 fired transitions, 755 secs || 95403 markings, 95402 edges, 124 markings/sec, 755 secs
lola: 1 tries, 97565 fired transitions, 760 secs || 96029 markings, 96028 edges, 125 markings/sec, 760 secs
lola: 1 tries, 98215 fired transitions, 765 secs || 96653 markings, 96652 edges, 125 markings/sec, 765 secs
lola: 1 tries, 98863 fired transitions, 770 secs || 97277 markings, 97276 edges, 125 markings/sec, 770 secs
lola: 1 tries, 99514 fired transitions, 775 secs || 97899 markings, 97898 edges, 124 markings/sec, 775 secs
lola: 1 tries, 100165 fired transitions, 780 secs || 98522 markings, 98521 edges, 125 markings/sec, 780 secs
lola: 1 tries, 100820 fired transitions, 785 secs || 99146 markings, 99145 edges, 125 markings/sec, 785 secs
lola: 1 tries, 101468 fired transitions, 790 secs || 99770 markings, 99769 edges, 125 markings/sec, 790 secs
lola: 1 tries, 102105 fired transitions, 795 secs || 100384 markings, 100383 edges, 123 markings/sec, 795 secs
lola: 1 tries, 102727 fired transitions, 800 secs || 100992 markings, 100991 edges, 122 markings/sec, 800 secs
lola: 1 tries, 103334 fired transitions, 805 secs || 101595 markings, 101594 edges, 121 markings/sec, 805 secs
lola: 1 tries, 103943 fired transitions, 810 secs || 102198 markings, 102197 edges, 121 markings/sec, 810 secs
lola: 1 tries, 104569 fired transitions, 815 secs || 102814 markings, 102813 edges, 123 markings/sec, 815 secs
lola: 1 tries, 105166 fired transitions, 820 secs || 103411 markings, 103410 edges, 119 markings/sec, 820 secs
lola: 1 tries, 105742 fired transitions, 825 secs || 103987 markings, 103986 edges, 115 markings/sec, 825 secs
lola: 1 tries, 106326 fired transitions, 830 secs || 104571 markings, 104570 edges, 117 markings/sec, 830 secs
lola: 1 tries, 106927 fired transitions, 835 secs || 105171 markings, 105170 edges, 120 markings/sec, 835 secs
lola: 1 tries, 107554 fired transitions, 840 secs || 105786 markings, 105785 edges, 123 markings/sec, 840 secs
lola: 1 tries, 108167 fired transitions, 845 secs || 106391 markings, 106390 edges, 121 markings/sec, 845 secs
lola: 1 tries, 108760 fired transitions, 850 secs || 106984 markings, 106983 edges, 119 markings/sec, 850 secs
lola: 1 tries, 109345 fired transitions, 855 secs || 107569 markings, 107568 edges, 117 markings/sec, 855 secs
lola: 1 tries, 109944 fired transitions, 860 secs || 108168 markings, 108167 edges, 120 markings/sec, 860 secs
lola: 1 tries, 110559 fired transitions, 865 secs || 108776 markings, 108775 edges, 122 markings/sec, 865 secs
lola: 1 tries, 111161 fired transitions, 870 secs || 109374 markings, 109373 edges, 120 markings/sec, 870 secs
lola: 1 tries, 111746 fired transitions, 875 secs || 109959 markings, 109958 edges, 117 markings/sec, 875 secs
lola: 1 tries, 112336 fired transitions, 880 secs || 110549 markings, 110548 edges, 118 markings/sec, 880 secs
lola: 1 tries, 112933 fired transitions, 885 secs || 111146 markings, 111145 edges, 119 markings/sec, 885 secs
lola: 1 tries, 113527 fired transitions, 890 secs || 111740 markings, 111739 edges, 119 markings/sec, 890 secs
lola: 1 tries, 114119 fired transitions, 895 secs || 112332 markings, 112331 edges, 118 markings/sec, 895 secs
lola: 1 tries, 114715 fired transitions, 900 secs || 112928 markings, 112927 edges, 119 markings/sec, 900 secs
lola: 1 tries, 115309 fired transitions, 905 secs || 113522 markings, 113521 edges, 119 markings/sec, 905 secs
lola: 1 tries, 115903 fired transitions, 910 secs || 114116 markings, 114115 edges, 119 markings/sec, 910 secs
lola: 1 tries, 116497 fired transitions, 915 secs || 114710 markings, 114709 edges, 119 markings/sec, 915 secs
lola: 1 tries, 117094 fired transitions, 920 secs || 115307 markings, 115306 edges, 119 markings/sec, 920 secs
lola: 1 tries, 117689 fired transitions, 925 secs || 115902 markings, 115901 edges, 119 markings/sec, 925 secs
lola: 1 tries, 118288 fired transitions, 930 secs || 116501 markings, 116500 edges, 120 markings/sec, 930 secs
lola: 1 tries, 118891 fired transitions, 935 secs || 117103 markings, 117102 edges, 120 markings/sec, 935 secs
lola: 1 tries, 119506 fired transitions, 940 secs || 117713 markings, 117712 edges, 122 markings/sec, 940 secs
lola: 1 tries, 120120 fired transitions, 945 secs || 118324 markings, 118323 edges, 122 markings/sec, 945 secs
lola: 1 tries, 120733 fired transitions, 950 secs || 118937 markings, 118936 edges, 123 markings/sec, 950 secs
lola: 1 tries, 121344 fired transitions, 955 secs || 119542 markings, 119541 edges, 121 markings/sec, 955 secs
lola: 1 tries, 121958 fired transitions, 960 secs || 120151 markings, 120150 edges, 122 markings/sec, 960 secs
lola: 1 tries, 122564 fired transitions, 965 secs || 120755 markings, 120754 edges, 121 markings/sec, 965 secs
lola: 1 tries, 123187 fired transitions, 970 secs || 121378 markings, 121377 edges, 125 markings/sec, 970 secs
lola: 1 tries, 123810 fired transitions, 975 secs || 122001 markings, 122000 edges, 125 markings/sec, 975 secs
lola: 1 tries, 124436 fired transitions, 980 secs || 122627 markings, 122626 edges, 125 markings/sec, 980 secs
lola: 1 tries, 125023 fired transitions, 985 secs || 123218 markings, 123217 edges, 118 markings/sec, 985 secs
lola: 1 tries, 125633 fired transitions, 990 secs || 123828 markings, 123827 edges, 122 markings/sec, 990 secs
lola: 1 tries, 126245 fired transitions, 995 secs || 124443 markings, 124442 edges, 123 markings/sec, 995 secs
lola: 1 tries, 126857 fired transitions, 1000 secs || 125057 markings, 125056 edges, 123 markings/sec, 1000 secs
lola: 1 tries, 127465 fired transitions, 1005 secs || 125670 markings, 125669 edges, 123 markings/sec, 1005 secs
lola: 1 tries, 128079 fired transitions, 1010 secs || 126286 markings, 126285 edges, 123 markings/sec, 1010 secs
lola: 1 tries, 128687 fired transitions, 1015 secs || 126898 markings, 126897 edges, 122 markings/sec, 1015 secs
lola: 1 tries, 129296 fired transitions, 1020 secs || 127509 markings, 127509 edges, 122 markings/sec, 1020 secs
lola: 1 tries, 129908 fired transitions, 1025 secs || 128121 markings, 128120 edges, 122 markings/sec, 1025 secs
lola: 1 tries, 130520 fired transitions, 1030 secs || 128734 markings, 128733 edges, 123 markings/sec, 1030 secs
lola: 1 tries, 131120 fired transitions, 1035 secs || 129334 markings, 129333 edges, 120 markings/sec, 1035 secs
lola: 1 tries, 131730 fired transitions, 1040 secs || 129946 markings, 129945 edges, 122 markings/sec, 1040 secs
lola: 1 tries, 132340 fired transitions, 1045 secs || 130557 markings, 130556 edges, 122 markings/sec, 1045 secs
lola: 1 tries, 132955 fired transitions, 1050 secs || 131172 markings, 131171 edges, 123 markings/sec, 1050 secs
lola: 1 tries, 133552 fired transitions, 1055 secs || 131786 markings, 131785 edges, 123 markings/sec, 1055 secs
lola: 1 tries, 134152 fired transitions, 1060 secs || 132393 markings, 132392 edges, 121 markings/sec, 1060 secs
lola: 1 tries, 134743 fired transitions, 1065 secs || 132990 markings, 132989 edges, 119 markings/sec, 1065 secs
lola: 1 tries, 135325 fired transitions, 1070 secs || 133577 markings, 133576 edges, 117 markings/sec, 1070 secs
lola: 1 tries, 135927 fired transitions, 1075 secs || 134179 markings, 134178 edges, 120 markings/sec, 1075 secs
lola: 1 tries, 136508 fired transitions, 1080 secs || 134760 markings, 134759 edges, 116 markings/sec, 1080 secs
lola: 1 tries, 137096 fired transitions, 1085 secs || 135348 markings, 135347 edges, 118 markings/sec, 1085 secs
lola: 1 tries, 137718 fired transitions, 1090 secs || 135970 markings, 135969 edges, 124 markings/sec, 1090 secs
lola: 1 tries, 138352 fired transitions, 1095 secs || 136604 markings, 136603 edges, 127 markings/sec, 1095 secs
lola: 1 tries, 138970 fired transitions, 1100 secs || 137222 markings, 137221 edges, 124 markings/sec, 1100 secs
lola: 1 tries, 139584 fired transitions, 1105 secs || 137841 markings, 137840 edges, 124 markings/sec, 1105 secs
lola: 1 tries, 140205 fired transitions, 1110 secs || 138466 markings, 138465 edges, 125 markings/sec, 1110 secs
lola: 1 tries, 140831 fired transitions, 1115 secs || 139099 markings, 139098 edges, 127 markings/sec, 1115 secs
lola: 1 tries, 141452 fired transitions, 1120 secs || 139731 markings, 139730 edges, 126 markings/sec, 1120 secs
lola: 1 tries, 142085 fired transitions, 1125 secs || 140374 markings, 140373 edges, 129 markings/sec, 1125 secs
lola: 1 tries, 142723 fired transitions, 1130 secs || 141024 markings, 141023 edges, 130 markings/sec, 1130 secs
lola: 1 tries, 143358 fired transitions, 1135 secs || 141671 markings, 141670 edges, 129 markings/sec, 1135 secs
lola: 1 tries, 143983 fired transitions, 1140 secs || 142304 markings, 142303 edges, 127 markings/sec, 1140 secs
lola: 1 tries, 144611 fired transitions, 1145 secs || 142940 markings, 142939 edges, 127 markings/sec, 1145 secs
lola: 1 tries, 145239 fired transitions, 1150 secs || 143582 markings, 143581 edges, 128 markings/sec, 1150 secs
lola: 1 tries, 145858 fired transitions, 1155 secs || 144216 markings, 144215 edges, 127 markings/sec, 1155 secs
lola: 1 tries, 146482 fired transitions, 1160 secs || 144858 markings, 144857 edges, 128 markings/sec, 1160 secs
lola: 1 tries, 147105 fired transitions, 1165 secs || 145494 markings, 145493 edges, 127 markings/sec, 1165 secs
lola: 1 tries, 147733 fired transitions, 1170 secs || 146137 markings, 146136 edges, 129 markings/sec, 1170 secs
lola: 1 tries, 148358 fired transitions, 1175 secs || 146779 markings, 146778 edges, 128 markings/sec, 1175 secs
lola: 1 tries, 148982 fired transitions, 1180 secs || 147423 markings, 147422 edges, 129 markings/sec, 1180 secs
lola: 1 tries, 149602 fired transitions, 1185 secs || 148057 markings, 148056 edges, 127 markings/sec, 1185 secs
lola: 1 tries, 150225 fired transitions, 1190 secs || 148700 markings, 148699 edges, 129 markings/sec, 1190 secs
lola: 1 tries, 150851 fired transitions, 1195 secs || 149341 markings, 149340 edges, 128 markings/sec, 1195 secs
lola: 1 tries, 151475 fired transitions, 1200 secs || 149973 markings, 149972 edges, 126 markings/sec, 1200 secs
lola: 1 tries, 152099 fired transitions, 1205 secs || 150615 markings, 150614 edges, 128 markings/sec, 1205 secs
lola: 1 tries, 152724 fired transitions, 1210 secs || 151246 markings, 151245 edges, 126 markings/sec, 1210 secs
lola: 1 tries, 153348 fired transitions, 1215 secs || 151875 markings, 151874 edges, 126 markings/sec, 1215 secs
lola: 1 tries, 153971 fired transitions, 1220 secs || 152516 markings, 152515 edges, 128 markings/sec, 1220 secs
lola: 1 tries, 154593 fired transitions, 1225 secs || 153152 markings, 153151 edges, 127 markings/sec, 1225 secs
lola: 1 tries, 155206 fired transitions, 1230 secs || 153776 markings, 153775 edges, 125 markings/sec, 1230 secs
lola: 1 tries, 155828 fired transitions, 1235 secs || 154413 markings, 154412 edges, 127 markings/sec, 1235 secs
lola: 1 tries, 156446 fired transitions, 1240 secs || 155049 markings, 155048 edges, 127 markings/sec, 1240 secs
lola: 1 tries, 157071 fired transitions, 1245 secs || 155692 markings, 155691 edges, 129 markings/sec, 1245 secs
lola: 1 tries, 157695 fired transitions, 1250 secs || 156332 markings, 156331 edges, 128 markings/sec, 1250 secs
lola: 1 tries, 158306 fired transitions, 1255 secs || 156952 markings, 156951 edges, 124 markings/sec, 1255 secs
lola: 1 tries, 158913 fired transitions, 1260 secs || 157560 markings, 157559 edges, 122 markings/sec, 1260 secs
lola: 1 tries, 159506 fired transitions, 1265 secs || 158153 markings, 158152 edges, 119 markings/sec, 1265 secs
lola: 1 tries, 160088 fired transitions, 1270 secs || 158735 markings, 158734 edges, 116 markings/sec, 1270 secs
lola: 1 tries, 160684 fired transitions, 1275 secs || 159334 markings, 159333 edges, 120 markings/sec, 1275 secs
lola: 1 tries, 161300 fired transitions, 1280 secs || 159969 markings, 159968 edges, 127 markings/sec, 1280 secs
lola: 1 tries, 161921 fired transitions, 1285 secs || 160593 markings, 160592 edges, 125 markings/sec, 1285 secs
lola: 1 tries, 162512 fired transitions, 1290 secs || 161184 markings, 161183 edges, 118 markings/sec, 1290 secs
lola: 1 tries, 163106 fired transitions, 1295 secs || 161778 markings, 161777 edges, 119 markings/sec, 1295 secs
lola: 1 tries, 163720 fired transitions, 1300 secs || 162393 markings, 162392 edges, 123 markings/sec, 1300 secs
lola: 1 tries, 164340 fired transitions, 1305 secs || 163018 markings, 163017 edges, 125 markings/sec, 1305 secs
lola: 1 tries, 164962 fired transitions, 1310 secs || 163653 markings, 163652 edges, 127 markings/sec, 1310 secs
lola: 1 tries, 165574 fired transitions, 1315 secs || 164275 markings, 164274 edges, 124 markings/sec, 1315 secs
lola: 1 tries, 166177 fired transitions, 1320 secs || 164878 markings, 164877 edges, 121 markings/sec, 1320 secs
lola: 1 tries, 166787 fired transitions, 1325 secs || 165491 markings, 165490 edges, 123 markings/sec, 1325 secs
lola: 1 tries, 167401 fired transitions, 1330 secs || 166110 markings, 166109 edges, 124 markings/sec, 1330 secs
lola: 1 tries, 168013 fired transitions, 1335 secs || 166731 markings, 166730 edges, 124 markings/sec, 1335 secs
lola: 1 tries, 168623 fired transitions, 1340 secs || 167345 markings, 167344 edges, 123 markings/sec, 1340 secs
lola: 1 tries, 169226 fired transitions, 1345 secs || 167948 markings, 167947 edges, 121 markings/sec, 1345 secs
lola: 1 tries, 169833 fired transitions, 1350 secs || 168555 markings, 168554 edges, 121 markings/sec, 1350 secs
lola: 1 tries, 170436 fired transitions, 1355 secs || 169158 markings, 169157 edges, 121 markings/sec, 1355 secs
lola: 1 tries, 171041 fired transitions, 1360 secs || 169763 markings, 169762 edges, 121 markings/sec, 1360 secs
lola: 1 tries, 171655 fired transitions, 1365 secs || 170379 markings, 170378 edges, 123 markings/sec, 1365 secs
lola: 1 tries, 172270 fired transitions, 1370 secs || 171003 markings, 171002 edges, 125 markings/sec, 1370 secs
lola: 1 tries, 172883 fired transitions, 1375 secs || 171633 markings, 171632 edges, 126 markings/sec, 1375 secs
lola: 1 tries, 173491 fired transitions, 1380 secs || 172245 markings, 172244 edges, 122 markings/sec, 1380 secs
lola: 1 tries, 174102 fired transitions, 1385 secs || 172862 markings, 172861 edges, 123 markings/sec, 1385 secs
lola: 1 tries, 174718 fired transitions, 1390 secs || 173491 markings, 173490 edges, 126 markings/sec, 1390 secs
lola: 1 tries, 175333 fired transitions, 1395 secs || 174112 markings, 174111 edges, 124 markings/sec, 1395 secs
lola: 1 tries, 175948 fired transitions, 1400 secs || 174730 markings, 174729 edges, 124 markings/sec, 1400 secs
lola: 1 tries, 176566 fired transitions, 1405 secs || 175348 markings, 175347 edges, 124 markings/sec, 1405 secs
lola: 1 tries, 177186 fired transitions, 1410 secs || 175968 markings, 175967 edges, 124 markings/sec, 1410 secs
lola: 1 tries, 177807 fired transitions, 1415 secs || 176589 markings, 176588 edges, 124 markings/sec, 1415 secs
lola: 1 tries, 178414 fired transitions, 1420 secs || 177196 markings, 177195 edges, 121 markings/sec, 1420 secs
lola: 1 tries, 179024 fired transitions, 1425 secs || 177806 markings, 177805 edges, 122 markings/sec, 1425 secs
lola: 1 tries, 179649 fired transitions, 1430 secs || 178431 markings, 178430 edges, 125 markings/sec, 1430 secs
lola: 1 tries, 180282 fired transitions, 1435 secs || 179064 markings, 179063 edges, 127 markings/sec, 1435 secs
lola: 1 tries, 180908 fired transitions, 1440 secs || 179690 markings, 179689 edges, 125 markings/sec, 1440 secs
lola: 1 tries, 181509 fired transitions, 1445 secs || 180291 markings, 180290 edges, 120 markings/sec, 1445 secs
lola: 1 tries, 182116 fired transitions, 1450 secs || 180898 markings, 180897 edges, 121 markings/sec, 1450 secs
lola: 1 tries, 182733 fired transitions, 1455 secs || 181515 markings, 181514 edges, 123 markings/sec, 1455 secs
lola: 1 tries, 183361 fired transitions, 1460 secs || 182155 markings, 182154 edges, 128 markings/sec, 1460 secs
lola: 1 tries, 183998 fired transitions, 1465 secs || 182793 markings, 182792 edges, 128 markings/sec, 1465 secs
lola: 1 tries, 184640 fired transitions, 1470 secs || 183436 markings, 183435 edges, 129 markings/sec, 1470 secs
lola: 1 tries, 185261 fired transitions, 1475 secs || 184057 markings, 184056 edges, 124 markings/sec, 1475 secs
lola: 1 tries, 185896 fired transitions, 1480 secs || 184694 markings, 184693 edges, 127 markings/sec, 1480 secs
lola: 1 tries, 186529 fired transitions, 1485 secs || 185328 markings, 185327 edges, 127 markings/sec, 1485 secs
lola: 1 tries, 187164 fired transitions, 1490 secs || 185967 markings, 185966 edges, 128 markings/sec, 1490 secs
lola: 1 tries, 187782 fired transitions, 1495 secs || 186600 markings, 186599 edges, 127 markings/sec, 1495 secs
lola: 1 tries, 188398 fired transitions, 1500 secs || 187221 markings, 187220 edges, 124 markings/sec, 1500 secs
lola: 1 tries, 189018 fired transitions, 1505 secs || 187849 markings, 187848 edges, 126 markings/sec, 1505 secs
lola: 1 tries, 189639 fired transitions, 1510 secs || 188471 markings, 188470 edges, 124 markings/sec, 1510 secs
lola: 1 tries, 190238 fired transitions, 1515 secs || 189070 markings, 189069 edges, 120 markings/sec, 1515 secs
lola: 1 tries, 190843 fired transitions, 1520 secs || 189675 markings, 189674 edges, 121 markings/sec, 1520 secs
lola: 1 tries, 191458 fired transitions, 1525 secs || 190290 markings, 190289 edges, 123 markings/sec, 1525 secs
lola: 1 tries, 192082 fired transitions, 1530 secs || 190914 markings, 190913 edges, 125 markings/sec, 1530 secs
lola: 1 tries, 192713 fired transitions, 1535 secs || 191545 markings, 191544 edges, 126 markings/sec, 1535 secs
lola: 1 tries, 193335 fired transitions, 1540 secs || 192167 markings, 192166 edges, 124 markings/sec, 1540 secs
lola: 1 tries, 193947 fired transitions, 1545 secs || 192779 markings, 192778 edges, 122 markings/sec, 1545 secs
lola: 1 tries, 194556 fired transitions, 1550 secs || 193390 markings, 193389 edges, 122 markings/sec, 1550 secs
lola: 1 tries, 195167 fired transitions, 1555 secs || 194001 markings, 194000 edges, 122 markings/sec, 1555 secs
lola: 1 tries, 195769 fired transitions, 1560 secs || 194603 markings, 194602 edges, 120 markings/sec, 1560 secs
lola: 1 tries, 196388 fired transitions, 1565 secs || 195230 markings, 195229 edges, 125 markings/sec, 1565 secs
lola: 1 tries, 197021 fired transitions, 1570 secs || 195864 markings, 195863 edges, 127 markings/sec, 1570 secs
lola: 1 tries, 197651 fired transitions, 1575 secs || 196493 markings, 196492 edges, 126 markings/sec, 1575 secs
lola: 1 tries, 198267 fired transitions, 1580 secs || 197109 markings, 197108 edges, 123 markings/sec, 1580 secs
lola: 1 tries, 198889 fired transitions, 1585 secs || 197731 markings, 197730 edges, 124 markings/sec, 1585 secs
lola: 1 tries, 199506 fired transitions, 1590 secs || 198348 markings, 198347 edges, 123 markings/sec, 1590 secs
lola: 1 tries, 200129 fired transitions, 1595 secs || 198971 markings, 198970 edges, 125 markings/sec, 1595 secs
lola: 1 tries, 200758 fired transitions, 1600 secs || 199601 markings, 199600 edges, 126 markings/sec, 1600 secs
lola: 1 tries, 201388 fired transitions, 1605 secs || 200230 markings, 200229 edges, 126 markings/sec, 1605 secs
lola: 1 tries, 202016 fired transitions, 1610 secs || 200858 markings, 200857 edges, 126 markings/sec, 1610 secs
lola: 1 tries, 202626 fired transitions, 1615 secs || 201468 markings, 201467 edges, 122 markings/sec, 1615 secs
lola: 1 tries, 203242 fired transitions, 1620 secs || 202084 markings, 202083 edges, 123 markings/sec, 1620 secs
lola: 1 tries, 203852 fired transitions, 1625 secs || 202694 markings, 202693 edges, 122 markings/sec, 1625 secs
lola: 1 tries, 204464 fired transitions, 1630 secs || 203306 markings, 203305 edges, 122 markings/sec, 1630 secs
lola: 1 tries, 205069 fired transitions, 1635 secs || 203911 markings, 203910 edges, 121 markings/sec, 1635 secs
lola: 1 tries, 205674 fired transitions, 1640 secs || 204516 markings, 204515 edges, 121 markings/sec, 1640 secs
lola: 1 tries, 206283 fired transitions, 1645 secs || 205125 markings, 205124 edges, 122 markings/sec, 1645 secs
lola: 1 tries, 206888 fired transitions, 1650 secs || 205730 markings, 205729 edges, 121 markings/sec, 1650 secs
lola: 1 tries, 207493 fired transitions, 1655 secs || 206335 markings, 206334 edges, 121 markings/sec, 1655 secs
lola: 1 tries, 208112 fired transitions, 1660 secs || 206954 markings, 206953 edges, 124 markings/sec, 1660 secs
lola: 1 tries, 208731 fired transitions, 1665 secs || 207573 markings, 207572 edges, 124 markings/sec, 1665 secs
lola: 1 tries, 209353 fired transitions, 1670 secs || 208195 markings, 208194 edges, 124 markings/sec, 1670 secs
lola: 1 tries, 209977 fired transitions, 1675 secs || 208819 markings, 208818 edges, 125 markings/sec, 1675 secs
lola: 1 tries, 210602 fired transitions, 1680 secs || 209444 markings, 209443 edges, 125 markings/sec, 1680 secs
lola: 1 tries, 211226 fired transitions, 1685 secs || 210068 markings, 210067 edges, 125 markings/sec, 1685 secs
lola: 1 tries, 211835 fired transitions, 1690 secs || 210677 markings, 210676 edges, 122 markings/sec, 1690 secs
lola: 1 tries, 212437 fired transitions, 1695 secs || 211279 markings, 211278 edges, 120 markings/sec, 1695 secs
lola: 1 tries, 213043 fired transitions, 1700 secs || 211885 markings, 211884 edges, 121 markings/sec, 1700 secs
lola: 1 tries, 213655 fired transitions, 1705 secs || 212497 markings, 212496 edges, 122 markings/sec, 1705 secs
lola: 1 tries, 214267 fired transitions, 1710 secs || 213109 markings, 213108 edges, 122 markings/sec, 1710 secs
lola: 1 tries, 214878 fired transitions, 1715 secs || 213720 markings, 213719 edges, 122 markings/sec, 1715 secs
lola: 1 tries, 215491 fired transitions, 1720 secs || 214333 markings, 214332 edges, 123 markings/sec, 1720 secs
lola: 1 tries, 216098 fired transitions, 1725 secs || 214940 markings, 214939 edges, 121 markings/sec, 1725 secs
lola: 1 tries, 216715 fired transitions, 1730 secs || 215557 markings, 215556 edges, 123 markings/sec, 1730 secs
lola: 1 tries, 217351 fired transitions, 1735 secs || 216193 markings, 216192 edges, 127 markings/sec, 1735 secs
lola: 1 tries, 217986 fired transitions, 1740 secs || 216828 markings, 216827 edges, 127 markings/sec, 1740 secs
lola: 1 tries, 218621 fired transitions, 1745 secs || 217464 markings, 217463 edges, 127 markings/sec, 1745 secs
lola: 1 tries, 219255 fired transitions, 1750 secs || 218102 markings, 218101 edges, 128 markings/sec, 1750 secs
lola: 1 tries, 219885 fired transitions, 1755 secs || 218736 markings, 218735 edges, 127 markings/sec, 1755 secs
lola: 1 tries, 220513 fired transitions, 1760 secs || 219367 markings, 219366 edges, 126 markings/sec, 1760 secs
lola: 1 tries, 221162 fired transitions, 1765 secs || 220016 markings, 220015 edges, 130 markings/sec, 1765 secs
lola: 1 tries, 221811 fired transitions, 1770 secs || 220665 markings, 220664 edges, 130 markings/sec, 1770 secs
lola: 1 tries, 222463 fired transitions, 1775 secs || 221317 markings, 221316 edges, 130 markings/sec, 1775 secs
lola: 1 tries, 223107 fired transitions, 1780 secs || 221960 markings, 221959 edges, 129 markings/sec, 1780 secs
lola: 1 tries, 223741 fired transitions, 1785 secs || 222595 markings, 222594 edges, 127 markings/sec, 1785 secs
lola: 1 tries, 224380 fired transitions, 1790 secs || 223235 markings, 223234 edges, 128 markings/sec, 1790 secs
lola: 1 tries, 225003 fired transitions, 1795 secs || 223867 markings, 223866 edges, 126 markings/sec, 1795 secs
lola: 1 tries, 225631 fired transitions, 1800 secs || 224497 markings, 224496 edges, 126 markings/sec, 1800 secs
lola: 1 tries, 226264 fired transitions, 1805 secs || 225130 markings, 225129 edges, 127 markings/sec, 1805 secs
lola: 1 tries, 226899 fired transitions, 1810 secs || 225767 markings, 225766 edges, 127 markings/sec, 1810 secs
lola: 1 tries, 227549 fired transitions, 1815 secs || 226417 markings, 226416 edges, 130 markings/sec, 1815 secs
lola: 1 tries, 228197 fired transitions, 1820 secs || 227066 markings, 227065 edges, 130 markings/sec, 1820 secs
lola: 1 tries, 228844 fired transitions, 1825 secs || 227713 markings, 227712 edges, 129 markings/sec, 1825 secs
lola: 1 tries, 229494 fired transitions, 1830 secs || 228364 markings, 228363 edges, 130 markings/sec, 1830 secs
lola: 1 tries, 230143 fired transitions, 1835 secs || 229013 markings, 229012 edges, 130 markings/sec, 1835 secs
lola: 1 tries, 230793 fired transitions, 1840 secs || 229663 markings, 229662 edges, 130 markings/sec, 1840 secs
lola: 1 tries, 231442 fired transitions, 1845 secs || 230312 markings, 230311 edges, 130 markings/sec, 1845 secs
lola: 1 tries, 232089 fired transitions, 1850 secs || 230959 markings, 230958 edges, 129 markings/sec, 1850 secs
lola: 1 tries, 232739 fired transitions, 1855 secs || 231609 markings, 231608 edges, 130 markings/sec, 1855 secs
lola: 1 tries, 233382 fired transitions, 1860 secs || 232252 markings, 232251 edges, 129 markings/sec, 1860 secs
lola: 1 tries, 234023 fired transitions, 1865 secs || 232893 markings, 232892 edges, 128 markings/sec, 1865 secs
lola: 1 tries, 234667 fired transitions, 1870 secs || 233537 markings, 233536 edges, 129 markings/sec, 1870 secs
lola: 1 tries, 235325 fired transitions, 1875 secs || 234195 markings, 234194 edges, 132 markings/sec, 1875 secs
lola: 1 tries, 236010 fired transitions, 1880 secs || 234877 markings, 234876 edges, 136 markings/sec, 1880 secs
lola: 1 tries, 236697 fired transitions, 1885 secs || 235557 markings, 235556 edges, 136 markings/sec, 1885 secs
lola: 1 tries, 237374 fired transitions, 1890 secs || 236224 markings, 236223 edges, 133 markings/sec, 1890 secs
lola: 1 tries, 238048 fired transitions, 1895 secs || 236895 markings, 236894 edges, 134 markings/sec, 1895 secs
lola: 1 tries, 238712 fired transitions, 1900 secs || 237559 markings, 237558 edges, 133 markings/sec, 1900 secs
lola: 1 tries, 239358 fired transitions, 1905 secs || 238204 markings, 238203 edges, 129 markings/sec, 1905 secs
lola: 1 tries, 240001 fired transitions, 1910 secs || 238847 markings, 238846 edges, 129 markings/sec, 1910 secs
lola: 1 tries, 240636 fired transitions, 1915 secs || 239482 markings, 239481 edges, 127 markings/sec, 1915 secs
lola: 1 tries, 241293 fired transitions, 1920 secs || 240137 markings, 240136 edges, 131 markings/sec, 1920 secs
lola: 1 tries, 241939 fired transitions, 1925 secs || 240783 markings, 240782 edges, 129 markings/sec, 1925 secs
lola: 1 tries, 242566 fired transitions, 1930 secs || 241410 markings, 241409 edges, 125 markings/sec, 1930 secs
lola: 1 tries, 243197 fired transitions, 1935 secs || 242041 markings, 242040 edges, 126 markings/sec, 1935 secs
lola: 1 tries, 243839 fired transitions, 1940 secs || 242683 markings, 242682 edges, 128 markings/sec, 1940 secs
lola: 1 tries, 244498 fired transitions, 1945 secs || 243341 markings, 243340 edges, 132 markings/sec, 1945 secs
lola: 1 tries, 245162 fired transitions, 1950 secs || 244005 markings, 244004 edges, 133 markings/sec, 1950 secs
lola: 1 tries, 245791 fired transitions, 1955 secs || 244634 markings, 244633 edges, 126 markings/sec, 1955 secs
lola: 1 tries, 246411 fired transitions, 1960 secs || 245256 markings, 245255 edges, 124 markings/sec, 1960 secs
lola: 1 tries, 247062 fired transitions, 1965 secs || 245907 markings, 245906 edges, 130 markings/sec, 1965 secs
lola: 1 tries, 247716 fired transitions, 1970 secs || 246561 markings, 246560 edges, 131 markings/sec, 1970 secs
lola: 1 tries, 248373 fired transitions, 1975 secs || 247219 markings, 247218 edges, 132 markings/sec, 1975 secs
lola: 1 tries, 249022 fired transitions, 1980 secs || 247868 markings, 247867 edges, 130 markings/sec, 1980 secs
lola: 1 tries, 249669 fired transitions, 1985 secs || 248515 markings, 248514 edges, 129 markings/sec, 1985 secs
lola: 1 tries, 250322 fired transitions, 1990 secs || 249168 markings, 249167 edges, 131 markings/sec, 1990 secs
lola: 1 tries, 250970 fired transitions, 1995 secs || 249816 markings, 249815 edges, 130 markings/sec, 1995 secs
lola: 1 tries, 251619 fired transitions, 2000 secs || 250465 markings, 250464 edges, 130 markings/sec, 2000 secs
lola: 1 tries, 252263 fired transitions, 2005 secs || 251109 markings, 251108 edges, 129 markings/sec, 2005 secs
lola: 1 tries, 252891 fired transitions, 2010 secs || 251746 markings, 251745 edges, 127 markings/sec, 2010 secs
lola: 1 tries, 253522 fired transitions, 2015 secs || 252381 markings, 252380 edges, 127 markings/sec, 2015 secs
lola: 1 tries, 254156 fired transitions, 2020 secs || 253022 markings, 253021 edges, 128 markings/sec, 2020 secs
lola: 1 tries, 254789 fired transitions, 2025 secs || 253659 markings, 253658 edges, 127 markings/sec, 2025 secs
lola: 1 tries, 255440 fired transitions, 2030 secs || 254307 markings, 254306 edges, 130 markings/sec, 2030 secs
lola: 1 tries, 256093 fired transitions, 2035 secs || 254960 markings, 254959 edges, 131 markings/sec, 2035 secs
lola: 1 tries, 256748 fired transitions, 2040 secs || 255615 markings, 255614 edges, 131 markings/sec, 2040 secs
lola: 1 tries, 257402 fired transitions, 2045 secs || 256269 markings, 256268 edges, 131 markings/sec, 2045 secs
lola: 1 tries, 258054 fired transitions, 2050 secs || 256921 markings, 256920 edges, 130 markings/sec, 2050 secs
lola: 1 tries, 258708 fired transitions, 2055 secs || 257575 markings, 257574 edges, 131 markings/sec, 2055 secs
lola: 1 tries, 259363 fired transitions, 2060 secs || 258230 markings, 258229 edges, 131 markings/sec, 2060 secs
lola: 1 tries, 260018 fired transitions, 2065 secs || 258885 markings, 258884 edges, 131 markings/sec, 2065 secs
lola: 1 tries, 260670 fired transitions, 2070 secs || 259537 markings, 259536 edges, 130 markings/sec, 2070 secs
lola: 1 tries, 261325 fired transitions, 2075 secs || 260192 markings, 260191 edges, 131 markings/sec, 2075 secs
lola: 1 tries, 261976 fired transitions, 2080 secs || 260843 markings, 260842 edges, 130 markings/sec, 2080 secs
lola: 1 tries, 262615 fired transitions, 2085 secs || 261482 markings, 261481 edges, 128 markings/sec, 2085 secs
lola: 1 tries, 263253 fired transitions, 2090 secs || 262120 markings, 262119 edges, 128 markings/sec, 2090 secs
lola: 1 tries, 263901 fired transitions, 2095 secs || 262768 markings, 262767 edges, 130 markings/sec, 2095 secs
lola: 1 tries, 264548 fired transitions, 2100 secs || 263415 markings, 263414 edges, 129 markings/sec, 2100 secs
lola: 1 tries, 265200 fired transitions, 2105 secs || 264067 markings, 264066 edges, 130 markings/sec, 2105 secs
lola: 1 tries, 265854 fired transitions, 2110 secs || 264721 markings, 264720 edges, 131 markings/sec, 2110 secs
lola: 1 tries, 266505 fired transitions, 2115 secs || 265372 markings, 265371 edges, 130 markings/sec, 2115 secs
lola: 1 tries, 267157 fired transitions, 2120 secs || 266024 markings, 266023 edges, 130 markings/sec, 2120 secs
lola: 1 tries, 267802 fired transitions, 2125 secs || 266669 markings, 266668 edges, 129 markings/sec, 2125 secs
lola: 1 tries, 268450 fired transitions, 2130 secs || 267317 markings, 267316 edges, 130 markings/sec, 2130 secs
lola: 1 tries, 269074 fired transitions, 2135 secs || 267943 markings, 267942 edges, 125 markings/sec, 2135 secs
lola: 1 tries, 269703 fired transitions, 2140 secs || 268575 markings, 268574 edges, 126 markings/sec, 2140 secs
lola: 1 tries, 270308 fired transitions, 2145 secs || 269184 markings, 269183 edges, 122 markings/sec, 2145 secs
lola: 1 tries, 270915 fired transitions, 2150 secs || 269794 markings, 269793 edges, 122 markings/sec, 2150 secs
lola: 1 tries, 271525 fired transitions, 2155 secs || 270405 markings, 270404 edges, 122 markings/sec, 2155 secs
lola: 1 tries, 272138 fired transitions, 2160 secs || 271018 markings, 271017 edges, 123 markings/sec, 2160 secs
lola: 1 tries, 272731 fired transitions, 2165 secs || 271611 markings, 271610 edges, 119 markings/sec, 2165 secs
lola: 1 tries, 273349 fired transitions, 2170 secs || 272236 markings, 272235 edges, 125 markings/sec, 2170 secs
lola: 1 tries, 273979 fired transitions, 2175 secs || 272866 markings, 272865 edges, 126 markings/sec, 2175 secs
lola: 1 tries, 274607 fired transitions, 2180 secs || 273495 markings, 273494 edges, 126 markings/sec, 2180 secs
lola: 1 tries, 275234 fired transitions, 2185 secs || 274137 markings, 274136 edges, 128 markings/sec, 2185 secs
lola: 1 tries, 275846 fired transitions, 2190 secs || 274749 markings, 274748 edges, 122 markings/sec, 2190 secs
lola: 1 tries, 276482 fired transitions, 2195 secs || 275388 markings, 275387 edges, 128 markings/sec, 2195 secs
lola: 1 tries, 277124 fired transitions, 2200 secs || 276027 markings, 276026 edges, 128 markings/sec, 2200 secs
lola: 1 tries, 277736 fired transitions, 2205 secs || 276638 markings, 276637 edges, 122 markings/sec, 2205 secs
lola: 1 tries, 278337 fired transitions, 2210 secs || 277241 markings, 277240 edges, 121 markings/sec, 2210 secs
lola: 1 tries, 278940 fired transitions, 2215 secs || 277844 markings, 277843 edges, 121 markings/sec, 2215 secs
lola: 1 tries, 279542 fired transitions, 2220 secs || 278446 markings, 278445 edges, 120 markings/sec, 2220 secs
lola: 1 tries, 280139 fired transitions, 2225 secs || 279043 markings, 279042 edges, 119 markings/sec, 2225 secs
lola: 1 tries, 280721 fired transitions, 2230 secs || 279625 markings, 279624 edges, 116 markings/sec, 2230 secs
lola: 1 tries, 281312 fired transitions, 2235 secs || 280216 markings, 280215 edges, 118 markings/sec, 2235 secs
lola: 1 tries, 281928 fired transitions, 2240 secs || 280832 markings, 280831 edges, 123 markings/sec, 2240 secs
lola: 1 tries, 282523 fired transitions, 2245 secs || 281427 markings, 281426 edges, 119 markings/sec, 2245 secs
lola: 1 tries, 283107 fired transitions, 2250 secs || 282011 markings, 282010 edges, 117 markings/sec, 2250 secs
lola: 1 tries, 283708 fired transitions, 2255 secs || 282612 markings, 282611 edges, 120 markings/sec, 2255 secs
lola: 1 tries, 284312 fired transitions, 2260 secs || 283216 markings, 283215 edges, 121 markings/sec, 2260 secs
lola: 1 tries, 284913 fired transitions, 2265 secs || 283814 markings, 283813 edges, 120 markings/sec, 2265 secs
lola: 1 tries, 285511 fired transitions, 2270 secs || 284411 markings, 284410 edges, 119 markings/sec, 2270 secs
lola: 1 tries, 286114 fired transitions, 2275 secs || 285014 markings, 285013 edges, 121 markings/sec, 2275 secs
lola: 1 tries, 286721 fired transitions, 2280 secs || 285621 markings, 285620 edges, 121 markings/sec, 2280 secs
lola: 1 tries, 287321 fired transitions, 2285 secs || 286221 markings, 286220 edges, 120 markings/sec, 2285 secs
lola: 1 tries, 287926 fired transitions, 2290 secs || 286826 markings, 286825 edges, 121 markings/sec, 2290 secs
lola: 1 tries, 288532 fired transitions, 2295 secs || 287432 markings, 287431 edges, 121 markings/sec, 2295 secs
lola: 1 tries, 289142 fired transitions, 2300 secs || 288042 markings, 288041 edges, 122 markings/sec, 2300 secs
lola: 1 tries, 289748 fired transitions, 2305 secs || 288647 markings, 288646 edges, 121 markings/sec, 2305 secs
lola: 1 tries, 290351 fired transitions, 2310 secs || 289248 markings, 289247 edges, 120 markings/sec, 2310 secs
lola: 1 tries, 290975 fired transitions, 2315 secs || 289867 markings, 289866 edges, 124 markings/sec, 2315 secs
lola: 1 tries, 291603 fired transitions, 2320 secs || 290494 markings, 290493 edges, 125 markings/sec, 2320 secs
lola: 1 tries, 292232 fired transitions, 2325 secs || 291120 markings, 291119 edges, 125 markings/sec, 2325 secs
lola: 1 tries, 292871 fired transitions, 2330 secs || 291759 markings, 291758 edges, 128 markings/sec, 2330 secs
lola: 1 tries, 293506 fired transitions, 2335 secs || 292392 markings, 292391 edges, 127 markings/sec, 2335 secs
lola: 1 tries, 294136 fired transitions, 2340 secs || 293021 markings, 293020 edges, 126 markings/sec, 2340 secs
lola: 1 tries, 294752 fired transitions, 2345 secs || 293639 markings, 293638 edges, 124 markings/sec, 2345 secs
lola: 1 tries, 295368 fired transitions, 2350 secs || 294258 markings, 294257 edges, 124 markings/sec, 2350 secs
lola: 1 tries, 295983 fired transitions, 2355 secs || 294874 markings, 294873 edges, 123 markings/sec, 2355 secs
lola: 1 tries, 296598 fired transitions, 2360 secs || 295493 markings, 295492 edges, 124 markings/sec, 2360 secs
lola: 1 tries, 297213 fired transitions, 2365 secs || 296119 markings, 296118 edges, 125 markings/sec, 2365 secs
lola: 1 tries, 297830 fired transitions, 2370 secs || 296737 markings, 296736 edges, 124 markings/sec, 2370 secs
lola: 1 tries, 298434 fired transitions, 2375 secs || 297341 markings, 297341 edges, 121 markings/sec, 2375 secs
lola: 1 tries, 299033 fired transitions, 2380 secs || 297940 markings, 297940 edges, 120 markings/sec, 2380 secs
lola: 1 tries, 299633 fired transitions, 2385 secs || 298540 markings, 298540 edges, 120 markings/sec, 2385 secs
lola: 1 tries, 300233 fired transitions, 2390 secs || 299140 markings, 299140 edges, 120 markings/sec, 2390 secs
lola: 1 tries, 300836 fired transitions, 2395 secs || 299744 markings, 299744 edges, 121 markings/sec, 2395 secs
lola: 1 tries, 301438 fired transitions, 2400 secs || 300345 markings, 300345 edges, 120 markings/sec, 2400 secs
lola: 1 tries, 302042 fired transitions, 2405 secs || 300949 markings, 300949 edges, 121 markings/sec, 2405 secs
lola: 1 tries, 302634 fired transitions, 2410 secs || 301541 markings, 301541 edges, 118 markings/sec, 2410 secs
lola: 1 tries, 303214 fired transitions, 2415 secs || 302121 markings, 302121 edges, 116 markings/sec, 2415 secs
lola: 1 tries, 303803 fired transitions, 2420 secs || 302710 markings, 302710 edges, 118 markings/sec, 2420 secs
lola: 1 tries, 304393 fired transitions, 2425 secs || 303300 markings, 303300 edges, 118 markings/sec, 2425 secs
lola: 1 tries, 304981 fired transitions, 2430 secs || 303888 markings, 303888 edges, 118 markings/sec, 2430 secs
lola: 1 tries, 305568 fired transitions, 2435 secs || 304475 markings, 304475 edges, 117 markings/sec, 2435 secs
lola: 1 tries, 306164 fired transitions, 2440 secs || 305071 markings, 305071 edges, 119 markings/sec, 2440 secs
lola: 1 tries, 306779 fired transitions, 2445 secs || 305685 markings, 305685 edges, 123 markings/sec, 2445 secs
lola: 1 tries, 307397 fired transitions, 2450 secs || 306307 markings, 306307 edges, 124 markings/sec, 2450 secs
lola: 1 tries, 308009 fired transitions, 2455 secs || 306923 markings, 306923 edges, 123 markings/sec, 2455 secs
lola: 1 tries, 308616 fired transitions, 2460 secs || 307528 markings, 307528 edges, 121 markings/sec, 2460 secs
lola: 1 tries, 309237 fired transitions, 2465 secs || 308149 markings, 308149 edges, 124 markings/sec, 2465 secs
lola: 1 tries, 309861 fired transitions, 2470 secs || 308773 markings, 308773 edges, 125 markings/sec, 2470 secs
lola: 1 tries, 310491 fired transitions, 2475 secs || 309403 markings, 309403 edges, 126 markings/sec, 2475 secs
lola: 1 tries, 311120 fired transitions, 2480 secs || 310032 markings, 310032 edges, 126 markings/sec, 2480 secs
lola: 1 tries, 311746 fired transitions, 2485 secs || 310657 markings, 310657 edges, 125 markings/sec, 2485 secs
lola: 1 tries, 312376 fired transitions, 2490 secs || 311286 markings, 311286 edges, 126 markings/sec, 2490 secs
lola: 1 tries, 313002 fired transitions, 2495 secs || 311912 markings, 311912 edges, 125 markings/sec, 2495 secs
lola: 1 tries, 313628 fired transitions, 2500 secs || 312538 markings, 312538 edges, 125 markings/sec, 2500 secs
lola: 1 tries, 314250 fired transitions, 2505 secs || 313160 markings, 313160 edges, 124 markings/sec, 2505 secs
lola: 1 tries, 314890 fired transitions, 2510 secs || 313800 markings, 313800 edges, 128 markings/sec, 2510 secs
lola: 1 tries, 315547 fired transitions, 2515 secs || 314463 markings, 314463 edges, 133 markings/sec, 2515 secs
lola: 1 tries, 316203 fired transitions, 2520 secs || 315122 markings, 315122 edges, 132 markings/sec, 2520 secs
lola: 1 tries, 316862 fired transitions, 2525 secs || 315781 markings, 315781 edges, 132 markings/sec, 2525 secs
lola: 1 tries, 317527 fired transitions, 2530 secs || 316446 markings, 316446 edges, 133 markings/sec, 2530 secs
lola: 1 tries, 318182 fired transitions, 2535 secs || 317102 markings, 317102 edges, 131 markings/sec, 2535 secs
lola: 1 tries, 318827 fired transitions, 2540 secs || 317747 markings, 317747 edges, 129 markings/sec, 2540 secs
lola: 1 tries, 319474 fired transitions, 2545 secs || 318394 markings, 318394 edges, 129 markings/sec, 2545 secs
lola: 1 tries, 320120 fired transitions, 2550 secs || 319040 markings, 319040 edges, 129 markings/sec, 2550 secs
lola: 1 tries, 320760 fired transitions, 2555 secs || 319680 markings, 319680 edges, 128 markings/sec, 2555 secs
lola: 1 tries, 321409 fired transitions, 2560 secs || 320317 markings, 320317 edges, 127 markings/sec, 2560 secs
lola: 1 tries, 322045 fired transitions, 2565 secs || 320932 markings, 320932 edges, 123 markings/sec, 2565 secs
lola: 1 tries, 322676 fired transitions, 2570 secs || 321547 markings, 321547 edges, 123 markings/sec, 2570 secs
lola: 1 tries, 323316 fired transitions, 2575 secs || 322165 markings, 322165 edges, 124 markings/sec, 2575 secs
lola: 1 tries, 323954 fired transitions, 2580 secs || 322783 markings, 322783 edges, 124 markings/sec, 2580 secs
lola: 1 tries, 324597 fired transitions, 2585 secs || 323401 markings, 323401 edges, 124 markings/sec, 2585 secs
lola: 1 tries, 325236 fired transitions, 2590 secs || 324020 markings, 324020 edges, 124 markings/sec, 2590 secs
lola: 1 tries, 325877 fired transitions, 2595 secs || 324639 markings, 324639 edges, 124 markings/sec, 2595 secs
lola: 1 tries, 326520 fired transitions, 2600 secs || 325258 markings, 325258 edges, 124 markings/sec, 2600 secs
lola: 1 tries, 327165 fired transitions, 2605 secs || 325876 markings, 325876 edges, 124 markings/sec, 2605 secs
lola: 1 tries, 327806 fired transitions, 2610 secs || 326494 markings, 326494 edges, 124 markings/sec, 2610 secs
lola: 1 tries, 328451 fired transitions, 2615 secs || 327113 markings, 327113 edges, 124 markings/sec, 2615 secs
lola: 1 tries, 329096 fired transitions, 2620 secs || 327730 markings, 327730 edges, 123 markings/sec, 2620 secs
lola: 1 tries, 329736 fired transitions, 2625 secs || 328348 markings, 328348 edges, 124 markings/sec, 2625 secs
lola: 1 tries, 330381 fired transitions, 2630 secs || 328971 markings, 328971 edges, 125 markings/sec, 2630 secs
lola: 1 tries, 331023 fired transitions, 2635 secs || 329593 markings, 329593 edges, 124 markings/sec, 2635 secs
lola: 1 tries, 331662 fired transitions, 2640 secs || 330210 markings, 330210 edges, 123 markings/sec, 2640 secs
lola: 1 tries, 332303 fired transitions, 2645 secs || 330829 markings, 330829 edges, 124 markings/sec, 2645 secs
lola: 1 tries, 332951 fired transitions, 2650 secs || 331450 markings, 331450 edges, 124 markings/sec, 2650 secs
lola: 1 tries, 333589 fired transitions, 2655 secs || 332069 markings, 332069 edges, 124 markings/sec, 2655 secs
lola: 1 tries, 334227 fired transitions, 2660 secs || 332685 markings, 332685 edges, 123 markings/sec, 2660 secs
lola: 1 tries, 334869 fired transitions, 2665 secs || 333305 markings, 333305 edges, 124 markings/sec, 2665 secs
lola: 1 tries, 335507 fired transitions, 2670 secs || 333926 markings, 333927 edges, 124 markings/sec, 2670 secs
lola: 1 tries, 336156 fired transitions, 2675 secs || 334566 markings, 334566 edges, 128 markings/sec, 2675 secs
lola: 1 tries, 336797 fired transitions, 2680 secs || 335184 markings, 335184 edges, 124 markings/sec, 2680 secs
lola: 1 tries, 337410 fired transitions, 2685 secs || 335788 markings, 335788 edges, 121 markings/sec, 2685 secs
lola: 1 tries, 338026 fired transitions, 2690 secs || 336392 markings, 336392 edges, 121 markings/sec, 2690 secs
lola: 1 tries, 338663 fired transitions, 2695 secs || 337024 markings, 337024 edges, 126 markings/sec, 2695 secs
lola: 1 tries, 339247 fired transitions, 2700 secs || 337582 markings, 337582 edges, 112 markings/sec, 2700 secs
lola: 1 tries, 339870 fired transitions, 2705 secs || 338185 markings, 338185 edges, 121 markings/sec, 2705 secs
lola: 1 tries, 340447 fired transitions, 2710 secs || 338750 markings, 338750 edges, 113 markings/sec, 2710 secs
lola: 1 tries, 341052 fired transitions, 2715 secs || 339332 markings, 339332 edges, 116 markings/sec, 2715 secs
lola: 1 tries, 341689 fired transitions, 2720 secs || 339952 markings, 339952 edges, 124 markings/sec, 2720 secs
lola: 1 tries, 342318 fired transitions, 2725 secs || 340567 markings, 340567 edges, 123 markings/sec, 2725 secs
lola: 1 tries, 342934 fired transitions, 2730 secs || 341165 markings, 341165 edges, 120 markings/sec, 2730 secs
lola: 1 tries, 343537 fired transitions, 2735 secs || 341741 markings, 341741 edges, 115 markings/sec, 2735 secs
lola: 1 tries, 344118 fired transitions, 2740 secs || 342271 markings, 342271 edges, 106 markings/sec, 2740 secs
lola: 1 tries, 344719 fired transitions, 2745 secs || 342853 markings, 342853 edges, 116 markings/sec, 2745 secs
lola: 1 tries, 345329 fired transitions, 2750 secs || 343453 markings, 343453 edges, 120 markings/sec, 2750 secs
lola: 1 tries, 345919 fired transitions, 2755 secs || 344040 markings, 344040 edges, 117 markings/sec, 2755 secs
lola: 1 tries, 346526 fired transitions, 2760 secs || 344644 markings, 344644 edges, 121 markings/sec, 2760 secs
lola: 1 tries, 347149 fired transitions, 2765 secs || 345258 markings, 345258 edges, 123 markings/sec, 2765 secs
lola: 1 tries, 347784 fired transitions, 2770 secs || 345875 markings, 345875 edges, 123 markings/sec, 2770 secs
lola: 1 tries, 348418 fired transitions, 2775 secs || 346494 markings, 346494 edges, 124 markings/sec, 2775 secs
lola: 1 tries, 349054 fired transitions, 2780 secs || 347110 markings, 347110 edges, 123 markings/sec, 2780 secs
lola: 1 tries, 349690 fired transitions, 2785 secs || 347723 markings, 347723 edges, 123 markings/sec, 2785 secs
lola: 1 tries, 350319 fired transitions, 2790 secs || 348336 markings, 348336 edges, 123 markings/sec, 2790 secs
lola: 1 tries, 350939 fired transitions, 2795 secs || 348943 markings, 348943 edges, 121 markings/sec, 2795 secs
lola: 1 tries, 351567 fired transitions, 2800 secs || 349571 markings, 349571 edges, 126 markings/sec, 2800 secs
lola: 1 tries, 352188 fired transitions, 2805 secs || 350191 markings, 350191 edges, 124 markings/sec, 2805 secs
lola: 1 tries, 352815 fired transitions, 2810 secs || 350818 markings, 350818 edges, 125 markings/sec, 2810 secs
lola: 1 tries, 353454 fired transitions, 2815 secs || 351457 markings, 351457 edges, 128 markings/sec, 2815 secs
lola: 1 tries, 354081 fired transitions, 2820 secs || 352084 markings, 352084 edges, 125 markings/sec, 2820 secs
lola: 1 tries, 354712 fired transitions, 2825 secs || 352714 markings, 352714 edges, 126 markings/sec, 2825 secs
lola: 1 tries, 355335 fired transitions, 2830 secs || 353337 markings, 353337 edges, 125 markings/sec, 2830 secs
lola: 1 tries, 355962 fired transitions, 2835 secs || 353959 markings, 353959 edges, 124 markings/sec, 2835 secs
lola: 1 tries, 356585 fired transitions, 2840 secs || 354578 markings, 354578 edges, 124 markings/sec, 2840 secs
lola: 1 tries, 357205 fired transitions, 2845 secs || 355198 markings, 355198 edges, 124 markings/sec, 2845 secs
lola: 1 tries, 357828 fired transitions, 2850 secs || 355821 markings, 355821 edges, 125 markings/sec, 2850 secs
lola: 1 tries, 358455 fired transitions, 2855 secs || 356448 markings, 356448 edges, 125 markings/sec, 2855 secs
lola: 1 tries, 359080 fired transitions, 2860 secs || 357073 markings, 357073 edges, 125 markings/sec, 2860 secs
lola: 1 tries, 359707 fired transitions, 2865 secs || 357700 markings, 357700 edges, 125 markings/sec, 2865 secs
lola: 1 tries, 360349 fired transitions, 2870 secs || 358342 markings, 358342 edges, 128 markings/sec, 2870 secs
lola: 1 tries, 360980 fired transitions, 2875 secs || 358973 markings, 358973 edges, 126 markings/sec, 2875 secs
lola: 1 tries, 361610 fired transitions, 2880 secs || 359603 markings, 359603 edges, 126 markings/sec, 2880 secs
lola: 1 tries, 362238 fired transitions, 2885 secs || 360231 markings, 360231 edges, 126 markings/sec, 2885 secs
lola: 1 tries, 362873 fired transitions, 2890 secs || 360866 markings, 360866 edges, 127 markings/sec, 2890 secs
lola: 1 tries, 363507 fired transitions, 2895 secs || 361500 markings, 361500 edges, 127 markings/sec, 2895 secs
lola: 1 tries, 364130 fired transitions, 2900 secs || 362123 markings, 362123 edges, 125 markings/sec, 2900 secs
lola: 1 tries, 364757 fired transitions, 2905 secs || 362750 markings, 362750 edges, 125 markings/sec, 2905 secs
lola: 1 tries, 365394 fired transitions, 2910 secs || 363387 markings, 363387 edges, 127 markings/sec, 2910 secs
lola: 1 tries, 366033 fired transitions, 2915 secs || 364024 markings, 364024 edges, 127 markings/sec, 2915 secs
lola: 1 tries, 366669 fired transitions, 2920 secs || 364661 markings, 364661 edges, 127 markings/sec, 2920 secs
lola: 1 tries, 367329 fired transitions, 2925 secs || 365321 markings, 365321 edges, 132 markings/sec, 2925 secs
lola: 1 tries, 367992 fired transitions, 2930 secs || 365984 markings, 365984 edges, 133 markings/sec, 2930 secs
lola: 1 tries, 368647 fired transitions, 2935 secs || 366639 markings, 366639 edges, 131 markings/sec, 2935 secs
lola: 1 tries, 369294 fired transitions, 2940 secs || 367285 markings, 367285 edges, 129 markings/sec, 2940 secs
lola: 1 tries, 369936 fired transitions, 2945 secs || 367927 markings, 367927 edges, 128 markings/sec, 2945 secs
lola: 1 tries, 370565 fired transitions, 2950 secs || 368556 markings, 368556 edges, 126 markings/sec, 2950 secs
lola: 1 tries, 371193 fired transitions, 2955 secs || 369184 markings, 369184 edges, 126 markings/sec, 2955 secs
lola: 1 tries, 371821 fired transitions, 2960 secs || 369812 markings, 369812 edges, 126 markings/sec, 2960 secs
lola: 1 tries, 372454 fired transitions, 2965 secs || 370445 markings, 370445 edges, 127 markings/sec, 2965 secs
lola: 1 tries, 373090 fired transitions, 2970 secs || 371081 markings, 371081 edges, 127 markings/sec, 2970 secs
lola: 1 tries, 373734 fired transitions, 2975 secs || 371725 markings, 371725 edges, 129 markings/sec, 2975 secs
lola: 1 tries, 374358 fired transitions, 2980 secs || 372349 markings, 372349 edges, 125 markings/sec, 2980 secs
lola: 1 tries, 374975 fired transitions, 2985 secs || 372966 markings, 372967 edges, 123 markings/sec, 2985 secs
lola: 1 tries, 375589 fired transitions, 2990 secs || 373580 markings, 373581 edges, 123 markings/sec, 2990 secs
lola: 1 tries, 376179 fired transitions, 2995 secs || 374168 markings, 374169 edges, 118 markings/sec, 2995 secs
lola: 1 tries, 376793 fired transitions, 3000 secs || 374782 markings, 374783 edges, 123 markings/sec, 3000 secs
lola: 1 tries, 377422 fired transitions, 3005 secs || 375411 markings, 375412 edges, 126 markings/sec, 3005 secs
lola: 1 tries, 378045 fired transitions, 3010 secs || 376034 markings, 376035 edges, 125 markings/sec, 3010 secs
lola: 1 tries, 378669 fired transitions, 3015 secs || 376658 markings, 376659 edges, 125 markings/sec, 3015 secs
lola: 1 tries, 379305 fired transitions, 3020 secs || 377294 markings, 377295 edges, 127 markings/sec, 3020 secs
lola: 1 tries, 379936 fired transitions, 3025 secs || 377925 markings, 377926 edges, 126 markings/sec, 3025 secs
lola: 1 tries, 380561 fired transitions, 3030 secs || 378550 markings, 378551 edges, 125 markings/sec, 3030 secs
lola: 1 tries, 381187 fired transitions, 3035 secs || 379176 markings, 379177 edges, 125 markings/sec, 3035 secs
lola: 1 tries, 381818 fired transitions, 3040 secs || 379807 markings, 379808 edges, 126 markings/sec, 3040 secs
lola: 1 tries, 382451 fired transitions, 3045 secs || 380440 markings, 380441 edges, 127 markings/sec, 3045 secs
lola: 1 tries, 383083 fired transitions, 3050 secs || 381056 markings, 381057 edges, 123 markings/sec, 3050 secs
lola: 1 tries, 383704 fired transitions, 3055 secs || 381669 markings, 381670 edges, 123 markings/sec, 3055 secs
lola: 1 tries, 384340 fired transitions, 3060 secs || 382291 markings, 382292 edges, 124 markings/sec, 3060 secs
lola: 1 tries, 384967 fired transitions, 3065 secs || 382924 markings, 382925 edges, 127 markings/sec, 3065 secs
lola: 1 tries, 385595 fired transitions, 3070 secs || 383558 markings, 383559 edges, 127 markings/sec, 3070 secs
lola: 1 tries, 386230 fired transitions, 3075 secs || 384196 markings, 384197 edges, 128 markings/sec, 3075 secs
lola: 1 tries, 386851 fired transitions, 3080 secs || 384827 markings, 384828 edges, 126 markings/sec, 3080 secs
lola: 1 tries, 387465 fired transitions, 3085 secs || 385453 markings, 385454 edges, 125 markings/sec, 3085 secs
lola: 1 tries, 388076 fired transitions, 3090 secs || 386066 markings, 386067 edges, 123 markings/sec, 3090 secs
lola: 1 tries, 388686 fired transitions, 3095 secs || 386684 markings, 386685 edges, 124 markings/sec, 3095 secs
lola: 1 tries, 389300 fired transitions, 3100 secs || 387312 markings, 387313 edges, 126 markings/sec, 3100 secs
lola: 1 tries, 389911 fired transitions, 3105 secs || 387927 markings, 387928 edges, 123 markings/sec, 3105 secs
lola: 1 tries, 390514 fired transitions, 3110 secs || 388531 markings, 388532 edges, 121 markings/sec, 3110 secs
lola: 1 tries, 391126 fired transitions, 3115 secs || 389145 markings, 389146 edges, 123 markings/sec, 3115 secs
lola: 1 tries, 391736 fired transitions, 3120 secs || 389754 markings, 389755 edges, 122 markings/sec, 3120 secs
lola: 1 tries, 392344 fired transitions, 3125 secs || 390363 markings, 390364 edges, 122 markings/sec, 3125 secs
lola: 1 tries, 392957 fired transitions, 3130 secs || 390983 markings, 390984 edges, 124 markings/sec, 3130 secs
lola: 1 tries, 393586 fired transitions, 3135 secs || 391623 markings, 391624 edges, 128 markings/sec, 3135 secs
lola: 1 tries, 394218 fired transitions, 3140 secs || 392269 markings, 392270 edges, 129 markings/sec, 3140 secs
lola: 1 tries, 394849 fired transitions, 3145 secs || 392920 markings, 392921 edges, 130 markings/sec, 3145 secs
lola: 1 tries, 395478 fired transitions, 3150 secs || 393570 markings, 393571 edges, 130 markings/sec, 3150 secs
lola: 1 tries, 396108 fired transitions, 3155 secs || 394221 markings, 394222 edges, 130 markings/sec, 3155 secs
lola: 1 tries, 396711 fired transitions, 3160 secs || 394824 markings, 394825 edges, 121 markings/sec, 3160 secs
lola: 1 tries, 397296 fired transitions, 3165 secs || 395409 markings, 395410 edges, 117 markings/sec, 3165 secs
lola: 1 tries, 397879 fired transitions, 3170 secs || 395992 markings, 395993 edges, 117 markings/sec, 3170 secs
lola: 1 tries, 398484 fired transitions, 3175 secs || 396605 markings, 396606 edges, 123 markings/sec, 3175 secs
lola: 1 tries, 399093 fired transitions, 3180 secs || 397228 markings, 397229 edges, 125 markings/sec, 3180 secs
lola: 1 tries, 399702 fired transitions, 3185 secs || 397838 markings, 397839 edges, 122 markings/sec, 3185 secs
lola: 1 tries, 400282 fired transitions, 3190 secs || 398429 markings, 398430 edges, 118 markings/sec, 3190 secs
lola: 1 tries, 400881 fired transitions, 3195 secs || 399028 markings, 399029 edges, 120 markings/sec, 3195 secs
lola: 1 tries, 401495 fired transitions, 3200 secs || 399646 markings, 399647 edges, 124 markings/sec, 3200 secs
lola: 1 tries, 402115 fired transitions, 3205 secs || 400283 markings, 400284 edges, 127 markings/sec, 3205 secs
lola: 1 tries, 402726 fired transitions, 3210 secs || 400902 markings, 400903 edges, 124 markings/sec, 3210 secs
lola: 1 tries, 403332 fired transitions, 3215 secs || 401511 markings, 401512 edges, 122 markings/sec, 3215 secs
lola: 1 tries, 403937 fired transitions, 3220 secs || 402118 markings, 402119 edges, 121 markings/sec, 3220 secs
lola: 1 tries, 404547 fired transitions, 3225 secs || 402733 markings, 402734 edges, 123 markings/sec, 3225 secs
lola: 1 tries, 405168 fired transitions, 3230 secs || 403369 markings, 403370 edges, 127 markings/sec, 3230 secs
lola: 1 tries, 405785 fired transitions, 3235 secs || 403986 markings, 403987 edges, 123 markings/sec, 3235 secs
lola: 1 tries, 406399 fired transitions, 3240 secs || 404601 markings, 404602 edges, 123 markings/sec, 3240 secs
lola: 1 tries, 407022 fired transitions, 3245 secs || 405224 markings, 405225 edges, 125 markings/sec, 3245 secs
lola: 1 tries, 407631 fired transitions, 3250 secs || 405842 markings, 405843 edges, 124 markings/sec, 3250 secs
lola: 1 tries, 408242 fired transitions, 3255 secs || 406463 markings, 406464 edges, 124 markings/sec, 3255 secs
lola: 1 tries, 408864 fired transitions, 3260 secs || 407087 markings, 407088 edges, 125 markings/sec, 3260 secs
lola: 1 tries, 409492 fired transitions, 3265 secs || 407716 markings, 407717 edges, 126 markings/sec, 3265 secs
lola: 1 tries, 410110 fired transitions, 3270 secs || 408346 markings, 408347 edges, 126 markings/sec, 3270 secs
lola: 1 tries, 410744 fired transitions, 3275 secs || 408980 markings, 408981 edges, 127 markings/sec, 3275 secs
lola: 1 tries, 411375 fired transitions, 3280 secs || 409611 markings, 409612 edges, 126 markings/sec, 3280 secs
lola: 1 tries, 411994 fired transitions, 3285 secs || 410241 markings, 410242 edges, 126 markings/sec, 3285 secs
lola: 1 tries, 412623 fired transitions, 3290 secs || 410870 markings, 410871 edges, 126 markings/sec, 3290 secs
lola: 1 tries, 413252 fired transitions, 3295 secs || 411501 markings, 411502 edges, 126 markings/sec, 3295 secs
lola: 1 tries, 413879 fired transitions, 3300 secs || 412131 markings, 412132 edges, 126 markings/sec, 3300 secs
lola: 1 tries, 414506 fired transitions, 3305 secs || 412759 markings, 412760 edges, 126 markings/sec, 3305 secs
lola: 1 tries, 415131 fired transitions, 3310 secs || 413384 markings, 413385 edges, 125 markings/sec, 3310 secs
lola: 1 tries, 415760 fired transitions, 3315 secs || 414013 markings, 414014 edges, 126 markings/sec, 3315 secs
lola: 1 tries, 416374 fired transitions, 3320 secs || 414626 markings, 414627 edges, 123 markings/sec, 3320 secs
lola: 1 tries, 416983 fired transitions, 3325 secs || 415235 markings, 415236 edges, 122 markings/sec, 3325 secs
lola: 1 tries, 417594 fired transitions, 3330 secs || 415846 markings, 415847 edges, 122 markings/sec, 3330 secs
lola: 1 tries, 418198 fired transitions, 3335 secs || 416450 markings, 416451 edges, 121 markings/sec, 3335 secs
lola: 1 tries, 418800 fired transitions, 3340 secs || 417051 markings, 417052 edges, 120 markings/sec, 3340 secs
lola: 1 tries, 419373 fired transitions, 3345 secs || 417637 markings, 417638 edges, 117 markings/sec, 3345 secs
lola: 1 tries, 419983 fired transitions, 3350 secs || 418247 markings, 418248 edges, 122 markings/sec, 3350 secs
lola: 1 tries, 420593 fired transitions, 3355 secs || 418858 markings, 418859 edges, 122 markings/sec, 3355 secs
lola: 1 tries, 421186 fired transitions, 3360 secs || 419451 markings, 419452 edges, 119 markings/sec, 3360 secs
lola: 1 tries, 421778 fired transitions, 3365 secs || 420043 markings, 420044 edges, 118 markings/sec, 3365 secs
lola: 1 tries, 422390 fired transitions, 3370 secs || 420655 markings, 420656 edges, 122 markings/sec, 3370 secs
lola: 1 tries, 423009 fired transitions, 3375 secs || 421274 markings, 421275 edges, 124 markings/sec, 3375 secs
lola: 1 tries, 423624 fired transitions, 3380 secs || 421894 markings, 421895 edges, 124 markings/sec, 3380 secs
lola: 1 tries, 424246 fired transitions, 3385 secs || 422516 markings, 422517 edges, 124 markings/sec, 3385 secs
lola: 1 tries, 424865 fired transitions, 3390 secs || 423135 markings, 423136 edges, 124 markings/sec, 3390 secs
lola: 1 tries, 425456 fired transitions, 3395 secs || 423742 markings, 423743 edges, 121 markings/sec, 3395 secs
lola: 1 tries, 426072 fired transitions, 3400 secs || 424358 markings, 424359 edges, 123 markings/sec, 3400 secs
lola: 1 tries, 426691 fired transitions, 3405 secs || 424977 markings, 424978 edges, 124 markings/sec, 3405 secs
lola: 1 tries, 427313 fired transitions, 3410 secs || 425599 markings, 425600 edges, 124 markings/sec, 3410 secs
lola: 1 tries, 427927 fired transitions, 3415 secs || 426213 markings, 426214 edges, 123 markings/sec, 3415 secs
lola: 1 tries, 428546 fired transitions, 3420 secs || 426832 markings, 426833 edges, 124 markings/sec, 3420 secs
lola: 1 tries, 429137 fired transitions, 3425 secs || 427432 markings, 427433 edges, 120 markings/sec, 3425 secs
lola: 1 tries, 429732 fired transitions, 3430 secs || 428027 markings, 428028 edges, 119 markings/sec, 3430 secs
lola: 1 tries, 430350 fired transitions, 3435 secs || 428645 markings, 428646 edges, 124 markings/sec, 3435 secs
lola: 1 tries, 430970 fired transitions, 3440 secs || 429265 markings, 429266 edges, 124 markings/sec, 3440 secs
lola: 1 tries, 431580 fired transitions, 3445 secs || 429876 markings, 429877 edges, 122 markings/sec, 3445 secs
lola: 1 tries, 432185 fired transitions, 3450 secs || 430482 markings, 430483 edges, 121 markings/sec, 3450 secs
lola: 1 tries, 432805 fired transitions, 3455 secs || 431101 markings, 431102 edges, 124 markings/sec, 3455 secs
lola: 1 tries, 433417 fired transitions, 3460 secs || 431722 markings, 431723 edges, 124 markings/sec, 3460 secs
lola: 1 tries, 434018 fired transitions, 3465 secs || 432323 markings, 432324 edges, 120 markings/sec, 3465 secs
lola: 1 tries, 434639 fired transitions, 3470 secs || 432944 markings, 432945 edges, 124 markings/sec, 3470 secs
lola: 1 tries, 435251 fired transitions, 3475 secs || 433556 markings, 433557 edges, 122 markings/sec, 3475 secs
lola: 1 tries, 435857 fired transitions, 3480 secs || 434168 markings, 434169 edges, 122 markings/sec, 3480 secs
lola: 1 tries, 436478 fired transitions, 3485 secs || 434789 markings, 434790 edges, 124 markings/sec, 3485 secs
lola: 1 tries, 437077 fired transitions, 3490 secs || 435388 markings, 435389 edges, 120 markings/sec, 3490 secs
lola: 1 tries, 437652 fired transitions, 3495 secs || 435963 markings, 435964 edges, 115 markings/sec, 3495 secs
lola: 1 tries, 438233 fired transitions, 3500 secs || 436545 markings, 436546 edges, 116 markings/sec, 3500 secs
lola: 1 tries, 438821 fired transitions, 3505 secs || 437132 markings, 437133 edges, 117 markings/sec, 3505 secs
lola: 1 tries, 439411 fired transitions, 3510 secs || 437722 markings, 437723 edges, 118 markings/sec, 3510 secs
lola: 1 tries, 440002 fired transitions, 3515 secs || 438313 markings, 438314 edges, 118 markings/sec, 3515 secs
lola: 1 tries, 440594 fired transitions, 3520 secs || 438906 markings, 438907 edges, 119 markings/sec, 3520 secs
lola: 1 tries, 441178 fired transitions, 3525 secs || 439500 markings, 439501 edges, 119 markings/sec, 3525 secs
lola: 1 tries, 441785 fired transitions, 3530 secs || 440107 markings, 440108 edges, 121 markings/sec, 3530 secs
lola: 1 tries, 442397 fired transitions, 3535 secs || 440719 markings, 440720 edges, 122 markings/sec, 3535 secs
lola: 1 tries, 443017 fired transitions, 3540 secs || 441339 markings, 441340 edges, 124 markings/sec, 3540 secs
lola: 1 tries, 443630 fired transitions, 3545 secs || 441952 markings, 441953 edges, 123 markings/sec, 3545 secs
lola: time limit reached - aborting
lola: memory consumption: 1025928 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 1026524 KB
lola: time consumption: 3573 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished
BK_STOP 1553907432988
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
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="RERS17pb113-PT-2"
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 RERS17pb113-PT-2, 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-155274853400327"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb113-PT-2.tgz
mv RERS17pb113-PT-2 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 ;