About the Execution of LoLA for PolyORBLF-COL-S04J06T08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4341.820 | 3570136.00 | 7218976.00 | 5589.30 | [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/fkordon/mcc2019-input.r115-smll-155272315600174.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is PolyORBLF-COL-S04J06T08, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r115-smll-155272315600174
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 316K
-rw-r--r-- 1 mcc users 3.7K Feb 12 09:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 12 09:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 8 09:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 8 09:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 110 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 348 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Feb 5 00:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 00:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.7K Feb 4 22:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 4 12:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 4 12:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 1 08:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Feb 1 08:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 154K 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 PolyORBLF-COL-S04J06T08-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1552946383743
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ PolyORBLF-COL-S04J06T08 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ PolyORBLF-COL-S04J06T08
{
"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": "Mon Mar 18 21:59:43 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 99128,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"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": 28832,
"conflict_clusters": 293,
"places": 792,
"places_significant": 734,
"singleton_clusters": 0,
"transitions": 4268
},
"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": 80640.000000,
"composed": 14,
"dead_branches": 0,
"generators": 25,
"interrupted": false,
"real_computed": 11,
"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 High-Level net
lola: Places: 792, Transitions: 4268
lola: @ trans T_2280
lola: @ trans T_2285
lola: @ trans T_2577
lola: @ trans T_1115
lola: @ trans T_2541
lola: @ trans T_1713
lola: @ trans T_1730
lola: @ trans DummyOR1
lola: @ trans T_1098
lola: @ trans T_1124
lola: @ trans GoIdle
lola: @ trans EnterCSPW
lola: @ trans NOPDP
lola: @ trans LeaveCSIS
lola: @ trans NotifyEventJobCompleted
lola: @ trans T_1618
lola: @ trans LeaveCSTCS
lola: @ trans T_1126
lola: @ trans T_1100
lola: @ trans WaitCompleted
lola: @ trans T_1729
lola: @ trans T_2311
lola: @ trans LeaveCSPW
lola: @ trans DummyIS
lola: @ trans T_1444
lola: @ trans NoCheck
lola: @ trans T_1711
lola: @ trans GoCheckSource
lola: @ trans T_1721
lola: @ trans NoMonitoring
lola: @ trans T_1147
lola: @ trans T_1171
lola: @ trans NopAbort
lola: @ trans SetSigAbort
lola: @ trans T_2283
lola: @ trans NeedMonitoring
lola: @ trans T_1170
lola: @ trans T_1123
lola: @ trans IsAbort
lola: @ trans DummyOR2
lola: @ trans LeaveIdle
lola: @ trans T_0383
lola: @ trans WillPerformWork
lola: @ trans T_1114
lola: @ trans T_1146
lola: @ trans NOPEP
lola: @ trans T_2296
lola: @ trans EnterCSIS
lola: @ trans T_1145
lola: @ trans EnterCSTCS
lola: @ trans T_2317
lola: @ trans WaitforBlockedTasks
lola: @ trans GoPerformWork
lola: @ trans T_2294
lola: @ trans NotifyEventSourceAdded
lola: @ trans T_1722
lola: @ trans Run
lola: @ trans T_1094
lola: @ trans IsEvt
lola: @ trans T_1148
lola: @ trans T_1096
lola: @ trans T_1125
lola: @ trans T_2578
lola: @ trans T_0376
lola: @ trans T_2315
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 5060/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 25344
lola: finding significant places
lola: 792 places, 4268 transitions, 734 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 25 generators (11 in search tree, 14 by composition)
lola: representing 80640 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 14127 fired transitions, 0 secs || 1 markings, 1 edges, 0 markings/sec, 0 secs
lola: 1 tries, 29794 fired transitions, 5 secs || 1 markings, 1 edges, 0 markings/sec, 5 secs
lola: 1 tries, 45510 fired transitions, 10 secs || 1 markings, 1 edges, 0 markings/sec, 10 secs
lola: 1 tries, 61229 fired transitions, 15 secs || 1 markings, 1 edges, 0 markings/sec, 15 secs
lola: 1 tries, 76949 fired transitions, 20 secs || 1 markings, 1 edges, 0 markings/sec, 20 secs
lola: 1 tries, 92645 fired transitions, 25 secs || 1 markings, 1 edges, 0 markings/sec, 25 secs
lola: 1 tries, 108366 fired transitions, 30 secs || 1 markings, 1 edges, 0 markings/sec, 30 secs
lola: 1 tries, 124092 fired transitions, 35 secs || 1 markings, 1 edges, 0 markings/sec, 35 secs
lola: 1 tries, 139803 fired transitions, 40 secs || 1 markings, 1 edges, 0 markings/sec, 40 secs
lola: 1 tries, 155521 fired transitions, 45 secs || 1 markings, 1 edges, 0 markings/sec, 45 secs
lola: 1 tries, 171211 fired transitions, 50 secs || 1 markings, 1 edges, 0 markings/sec, 50 secs
lola: 1 tries, 186926 fired transitions, 55 secs || 1 markings, 1 edges, 0 markings/sec, 55 secs
lola: 1 tries, 202640 fired transitions, 60 secs || 1 markings, 1 edges, 0 markings/sec, 60 secs
lola: 1 tries, 218365 fired transitions, 65 secs || 1 markings, 1 edges, 0 markings/sec, 65 secs
lola: 1 tries, 234078 fired transitions, 70 secs || 1 markings, 1 edges, 0 markings/sec, 70 secs
lola: 1 tries, 249797 fired transitions, 75 secs || 1 markings, 1 edges, 0 markings/sec, 75 secs
lola: 1 tries, 265511 fired transitions, 80 secs || 1 markings, 1 edges, 0 markings/sec, 80 secs
lola: 1 tries, 281230 fired transitions, 85 secs || 1 markings, 1 edges, 0 markings/sec, 85 secs
lola: 1 tries, 296941 fired transitions, 90 secs || 1 markings, 1 edges, 0 markings/sec, 90 secs
lola: 1 tries, 312662 fired transitions, 95 secs || 1 markings, 1 edges, 0 markings/sec, 95 secs
lola: 1 tries, 328383 fired transitions, 100 secs || 1 markings, 1 edges, 0 markings/sec, 100 secs
lola: 1 tries, 344107 fired transitions, 105 secs || 1 markings, 1 edges, 0 markings/sec, 105 secs
lola: 1 tries, 359790 fired transitions, 110 secs || 1 markings, 1 edges, 0 markings/sec, 110 secs
lola: 1 tries, 375515 fired transitions, 115 secs || 1 markings, 1 edges, 0 markings/sec, 115 secs
lola: 1 tries, 391225 fired transitions, 120 secs || 1 markings, 1 edges, 0 markings/sec, 120 secs
lola: 1 tries, 406950 fired transitions, 125 secs || 1 markings, 1 edges, 0 markings/sec, 125 secs
lola: 1 tries, 422666 fired transitions, 130 secs || 1 markings, 1 edges, 0 markings/sec, 130 secs
lola: 1 tries, 438339 fired transitions, 135 secs || 1 markings, 1 edges, 0 markings/sec, 135 secs
lola: 1 tries, 453842 fired transitions, 140 secs || 1 markings, 1 edges, 0 markings/sec, 140 secs
lola: 1 tries, 469347 fired transitions, 145 secs || 1 markings, 1 edges, 0 markings/sec, 145 secs
lola: 1 tries, 485047 fired transitions, 150 secs || 1 markings, 1 edges, 0 markings/sec, 150 secs
lola: 1 tries, 500778 fired transitions, 155 secs || 1 markings, 1 edges, 0 markings/sec, 155 secs
lola: 1 tries, 516502 fired transitions, 160 secs || 1 markings, 1 edges, 0 markings/sec, 160 secs
lola: 1 tries, 532230 fired transitions, 165 secs || 1 markings, 1 edges, 0 markings/sec, 165 secs
lola: 1 tries, 545665 fired transitions, 170 secs || 1 markings, 1 edges, 0 markings/sec, 170 secs
lola: 1 tries, 561269 fired transitions, 175 secs || 1 markings, 1 edges, 0 markings/sec, 175 secs
lola: 1 tries, 576959 fired transitions, 180 secs || 1 markings, 1 edges, 0 markings/sec, 180 secs
lola: 1 tries, 592680 fired transitions, 185 secs || 1 markings, 1 edges, 0 markings/sec, 185 secs
lola: 1 tries, 608394 fired transitions, 190 secs || 1 markings, 1 edges, 0 markings/sec, 190 secs
lola: 1 tries, 624114 fired transitions, 195 secs || 1 markings, 1 edges, 0 markings/sec, 195 secs
lola: 1 tries, 639833 fired transitions, 200 secs || 1 markings, 1 edges, 0 markings/sec, 200 secs
lola: 1 tries, 655557 fired transitions, 205 secs || 1 markings, 1 edges, 0 markings/sec, 205 secs
lola: 1 tries, 671273 fired transitions, 210 secs || 1 markings, 1 edges, 0 markings/sec, 210 secs
lola: 1 tries, 686991 fired transitions, 215 secs || 1 markings, 1 edges, 0 markings/sec, 215 secs
lola: 1 tries, 702713 fired transitions, 220 secs || 1 markings, 1 edges, 0 markings/sec, 220 secs
lola: 1 tries, 718430 fired transitions, 225 secs || 1 markings, 1 edges, 0 markings/sec, 225 secs
lola: 1 tries, 734133 fired transitions, 230 secs || 1 markings, 1 edges, 0 markings/sec, 230 secs
lola: 1 tries, 749836 fired transitions, 235 secs || 1 markings, 1 edges, 0 markings/sec, 235 secs
lola: 1 tries, 765521 fired transitions, 240 secs || 1 markings, 1 edges, 0 markings/sec, 240 secs
lola: 1 tries, 781241 fired transitions, 245 secs || 1 markings, 1 edges, 0 markings/sec, 245 secs
lola: 1 tries, 796957 fired transitions, 250 secs || 1 markings, 1 edges, 0 markings/sec, 250 secs
lola: 1 tries, 812674 fired transitions, 255 secs || 1 markings, 1 edges, 0 markings/sec, 255 secs
lola: 1 tries, 828399 fired transitions, 260 secs || 1 markings, 1 edges, 0 markings/sec, 260 secs
lola: 1 tries, 844119 fired transitions, 265 secs || 1 markings, 1 edges, 0 markings/sec, 265 secs
lola: 1 tries, 859844 fired transitions, 270 secs || 1 markings, 1 edges, 0 markings/sec, 270 secs
lola: 1 tries, 875556 fired transitions, 275 secs || 1 markings, 1 edges, 0 markings/sec, 275 secs
lola: 1 tries, 891263 fired transitions, 280 secs || 1 markings, 1 edges, 0 markings/sec, 280 secs
lola: 1 tries, 906983 fired transitions, 285 secs || 1 markings, 1 edges, 0 markings/sec, 285 secs
lola: 1 tries, 922682 fired transitions, 290 secs || 1 markings, 1 edges, 0 markings/sec, 290 secs
lola: 1 tries, 938396 fired transitions, 295 secs || 1 markings, 1 edges, 0 markings/sec, 295 secs
lola: 1 tries, 954121 fired transitions, 300 secs || 1 markings, 1 edges, 0 markings/sec, 300 secs
lola: 1 tries, 969834 fired transitions, 305 secs || 1 markings, 1 edges, 0 markings/sec, 305 secs
lola: 1 tries, 985553 fired transitions, 310 secs || 1 markings, 1 edges, 0 markings/sec, 310 secs
lola: 2 tries, 1001273 fired transitions, 315 secs || 1 markings, 1 edges, 0 markings/sec, 315 secs
lola: 2 tries, 1016989 fired transitions, 320 secs || 1 markings, 1 edges, 0 markings/sec, 320 secs
lola: 2 tries, 1032706 fired transitions, 325 secs || 1 markings, 1 edges, 0 markings/sec, 325 secs
lola: 2 tries, 1048420 fired transitions, 330 secs || 1 markings, 1 edges, 0 markings/sec, 330 secs
lola: 2 tries, 1064136 fired transitions, 335 secs || 1 markings, 1 edges, 0 markings/sec, 335 secs
lola: 2 tries, 1079854 fired transitions, 340 secs || 1 markings, 1 edges, 0 markings/sec, 340 secs
lola: 2 tries, 1095570 fired transitions, 345 secs || 1 markings, 1 edges, 0 markings/sec, 345 secs
lola: 2 tries, 1111296 fired transitions, 350 secs || 1 markings, 1 edges, 0 markings/sec, 350 secs
lola: 2 tries, 1126986 fired transitions, 355 secs || 1 markings, 1 edges, 0 markings/sec, 355 secs
lola: 2 tries, 1142706 fired transitions, 360 secs || 1 markings, 1 edges, 0 markings/sec, 360 secs
lola: 2 tries, 1158432 fired transitions, 365 secs || 1 markings, 1 edges, 0 markings/sec, 365 secs
lola: 2 tries, 1174145 fired transitions, 370 secs || 1 markings, 1 edges, 0 markings/sec, 370 secs
lola: 2 tries, 1189864 fired transitions, 375 secs || 1 markings, 1 edges, 0 markings/sec, 375 secs
lola: 2 tries, 1205578 fired transitions, 380 secs || 1 markings, 1 edges, 0 markings/sec, 380 secs
lola: 2 tries, 1221305 fired transitions, 385 secs || 1 markings, 1 edges, 0 markings/sec, 385 secs
lola: 2 tries, 1237017 fired transitions, 390 secs || 1 markings, 1 edges, 0 markings/sec, 390 secs
lola: 2 tries, 1252737 fired transitions, 395 secs || 1 markings, 1 edges, 0 markings/sec, 395 secs
lola: 2 tries, 1268460 fired transitions, 400 secs || 1 markings, 1 edges, 0 markings/sec, 400 secs
lola: 2 tries, 1284176 fired transitions, 405 secs || 1 markings, 1 edges, 0 markings/sec, 405 secs
lola: 2 tries, 1299864 fired transitions, 410 secs || 1 markings, 1 edges, 0 markings/sec, 410 secs
lola: 2 tries, 1315392 fired transitions, 415 secs || 1 markings, 1 edges, 0 markings/sec, 415 secs
lola: 2 tries, 1330920 fired transitions, 420 secs || 1 markings, 1 edges, 0 markings/sec, 420 secs
lola: 2 tries, 1346464 fired transitions, 425 secs || 1 markings, 1 edges, 0 markings/sec, 425 secs
lola: 2 tries, 1361686 fired transitions, 430 secs || 1 markings, 1 edges, 0 markings/sec, 430 secs
lola: 2 tries, 1377090 fired transitions, 435 secs || 1 markings, 1 edges, 0 markings/sec, 435 secs
lola: 2 tries, 1392476 fired transitions, 440 secs || 1 markings, 1 edges, 0 markings/sec, 440 secs
lola: 2 tries, 1407700 fired transitions, 445 secs || 1 markings, 1 edges, 0 markings/sec, 445 secs
lola: 2 tries, 1422604 fired transitions, 450 secs || 1 markings, 1 edges, 0 markings/sec, 450 secs
lola: 2 tries, 1437507 fired transitions, 455 secs || 1 markings, 1 edges, 0 markings/sec, 455 secs
lola: 2 tries, 1451703 fired transitions, 460 secs || 1 markings, 1 edges, 0 markings/sec, 460 secs
lola: 2 tries, 1467432 fired transitions, 465 secs || 1 markings, 1 edges, 0 markings/sec, 465 secs
lola: 2 tries, 1480870 fired transitions, 470 secs || 1 markings, 1 edges, 0 markings/sec, 470 secs
lola: 2 tries, 1496271 fired transitions, 475 secs || 1 markings, 1 edges, 0 markings/sec, 475 secs
lola: 2 tries, 1511836 fired transitions, 480 secs || 1 markings, 1 edges, 0 markings/sec, 480 secs
lola: 2 tries, 1527411 fired transitions, 485 secs || 1 markings, 1 edges, 0 markings/sec, 485 secs
lola: 2 tries, 1542991 fired transitions, 490 secs || 1 markings, 1 edges, 0 markings/sec, 490 secs
lola: 2 tries, 1558568 fired transitions, 495 secs || 1 markings, 1 edges, 0 markings/sec, 495 secs
lola: 2 tries, 1574134 fired transitions, 500 secs || 1 markings, 1 edges, 0 markings/sec, 500 secs
lola: 2 tries, 1589700 fired transitions, 505 secs || 1 markings, 1 edges, 0 markings/sec, 505 secs
lola: 2 tries, 1605276 fired transitions, 510 secs || 1 markings, 1 edges, 0 markings/sec, 510 secs
lola: 2 tries, 1620848 fired transitions, 515 secs || 1 markings, 1 edges, 0 markings/sec, 515 secs
lola: 2 tries, 1636400 fired transitions, 520 secs || 1 markings, 1 edges, 0 markings/sec, 520 secs
lola: 2 tries, 1651983 fired transitions, 525 secs || 1 markings, 1 edges, 0 markings/sec, 525 secs
lola: 2 tries, 1667560 fired transitions, 530 secs || 1 markings, 1 edges, 0 markings/sec, 530 secs
lola: 2 tries, 1683137 fired transitions, 535 secs || 1 markings, 1 edges, 0 markings/sec, 535 secs
lola: 2 tries, 1698724 fired transitions, 540 secs || 1 markings, 1 edges, 0 markings/sec, 540 secs
lola: 2 tries, 1714277 fired transitions, 545 secs || 1 markings, 1 edges, 0 markings/sec, 545 secs
lola: 2 tries, 1729860 fired transitions, 550 secs || 1 markings, 1 edges, 0 markings/sec, 550 secs
lola: 2 tries, 1745436 fired transitions, 555 secs || 1 markings, 1 edges, 0 markings/sec, 555 secs
lola: 2 tries, 1761016 fired transitions, 560 secs || 1 markings, 1 edges, 0 markings/sec, 560 secs
lola: 2 tries, 1776600 fired transitions, 565 secs || 1 markings, 1 edges, 0 markings/sec, 565 secs
lola: 2 tries, 1792174 fired transitions, 570 secs || 1 markings, 1 edges, 0 markings/sec, 570 secs
lola: 2 tries, 1807756 fired transitions, 575 secs || 1 markings, 1 edges, 0 markings/sec, 575 secs
lola: 2 tries, 1823101 fired transitions, 580 secs || 1 markings, 1 edges, 0 markings/sec, 580 secs
lola: 2 tries, 1838823 fired transitions, 585 secs || 1 markings, 1 edges, 0 markings/sec, 585 secs
lola: 2 tries, 1854548 fired transitions, 590 secs || 1 markings, 1 edges, 0 markings/sec, 590 secs
lola: 2 tries, 1869582 fired transitions, 595 secs || 1 markings, 1 edges, 0 markings/sec, 595 secs
lola: 2 tries, 1885189 fired transitions, 600 secs || 1 markings, 1 edges, 0 markings/sec, 600 secs
lola: 2 tries, 1900804 fired transitions, 605 secs || 1 markings, 1 edges, 0 markings/sec, 605 secs
lola: 2 tries, 1916421 fired transitions, 610 secs || 1 markings, 1 edges, 0 markings/sec, 610 secs
lola: 2 tries, 1932039 fired transitions, 615 secs || 1 markings, 1 edges, 0 markings/sec, 615 secs
lola: 2 tries, 1947643 fired transitions, 620 secs || 1 markings, 1 edges, 0 markings/sec, 620 secs
lola: 2 tries, 1963234 fired transitions, 625 secs || 1 markings, 1 edges, 0 markings/sec, 625 secs
lola: 2 tries, 1978845 fired transitions, 630 secs || 1 markings, 1 edges, 0 markings/sec, 630 secs
lola: 2 tries, 1994455 fired transitions, 635 secs || 1 markings, 1 edges, 0 markings/sec, 635 secs
lola: 3 tries, 2010053 fired transitions, 640 secs || 1 markings, 1 edges, 0 markings/sec, 640 secs
lola: 3 tries, 2025665 fired transitions, 645 secs || 1 markings, 1 edges, 0 markings/sec, 645 secs
lola: 3 tries, 2041277 fired transitions, 650 secs || 1 markings, 1 edges, 0 markings/sec, 650 secs
lola: 3 tries, 2056891 fired transitions, 655 secs || 1 markings, 1 edges, 0 markings/sec, 655 secs
lola: 3 tries, 2072504 fired transitions, 660 secs || 1 markings, 1 edges, 0 markings/sec, 660 secs
lola: 3 tries, 2088113 fired transitions, 665 secs || 1 markings, 1 edges, 0 markings/sec, 665 secs
lola: 3 tries, 2103720 fired transitions, 670 secs || 1 markings, 1 edges, 0 markings/sec, 670 secs
lola: 3 tries, 2119331 fired transitions, 675 secs || 1 markings, 1 edges, 0 markings/sec, 675 secs
lola: 3 tries, 2134943 fired transitions, 680 secs || 1 markings, 1 edges, 0 markings/sec, 680 secs
lola: 3 tries, 2150558 fired transitions, 685 secs || 1 markings, 1 edges, 0 markings/sec, 685 secs
lola: 3 tries, 2166173 fired transitions, 690 secs || 1 markings, 1 edges, 0 markings/sec, 690 secs
lola: 3 tries, 2181782 fired transitions, 695 secs || 1 markings, 1 edges, 0 markings/sec, 695 secs
lola: 3 tries, 2197384 fired transitions, 700 secs || 1 markings, 1 edges, 0 markings/sec, 700 secs
lola: 3 tries, 2212993 fired transitions, 705 secs || 1 markings, 1 edges, 0 markings/sec, 705 secs
lola: 3 tries, 2228594 fired transitions, 710 secs || 1 markings, 1 edges, 0 markings/sec, 710 secs
lola: 3 tries, 2244209 fired transitions, 715 secs || 1 markings, 1 edges, 0 markings/sec, 715 secs
lola: 3 tries, 2259821 fired transitions, 720 secs || 1 markings, 1 edges, 0 markings/sec, 720 secs
lola: 3 tries, 2275434 fired transitions, 725 secs || 1 markings, 1 edges, 0 markings/sec, 725 secs
lola: 3 tries, 2291048 fired transitions, 730 secs || 1 markings, 1 edges, 0 markings/sec, 730 secs
lola: 3 tries, 2306665 fired transitions, 735 secs || 1 markings, 1 edges, 0 markings/sec, 735 secs
lola: 3 tries, 2322278 fired transitions, 740 secs || 1 markings, 1 edges, 0 markings/sec, 740 secs
lola: 3 tries, 2337891 fired transitions, 745 secs || 1 markings, 1 edges, 0 markings/sec, 745 secs
lola: 3 tries, 2353499 fired transitions, 750 secs || 1 markings, 1 edges, 0 markings/sec, 750 secs
lola: 3 tries, 2369106 fired transitions, 755 secs || 1 markings, 1 edges, 0 markings/sec, 755 secs
lola: 3 tries, 2384721 fired transitions, 760 secs || 1 markings, 1 edges, 0 markings/sec, 760 secs
lola: 3 tries, 2400311 fired transitions, 765 secs || 1 markings, 1 edges, 0 markings/sec, 765 secs
lola: 3 tries, 2415893 fired transitions, 770 secs || 1 markings, 1 edges, 0 markings/sec, 770 secs
lola: 3 tries, 2431505 fired transitions, 775 secs || 1 markings, 1 edges, 0 markings/sec, 775 secs
lola: 3 tries, 2447114 fired transitions, 780 secs || 1 markings, 1 edges, 0 markings/sec, 780 secs
lola: 3 tries, 2462706 fired transitions, 785 secs || 1 markings, 1 edges, 0 markings/sec, 785 secs
lola: 3 tries, 2478316 fired transitions, 790 secs || 1 markings, 1 edges, 0 markings/sec, 790 secs
lola: 3 tries, 2493929 fired transitions, 795 secs || 1 markings, 1 edges, 0 markings/sec, 795 secs
lola: 3 tries, 2509522 fired transitions, 800 secs || 1 markings, 1 edges, 0 markings/sec, 800 secs
lola: 3 tries, 2525115 fired transitions, 805 secs || 1 markings, 1 edges, 0 markings/sec, 805 secs
lola: 3 tries, 2540730 fired transitions, 810 secs || 1 markings, 1 edges, 0 markings/sec, 810 secs
lola: 3 tries, 2556329 fired transitions, 815 secs || 1 markings, 1 edges, 0 markings/sec, 815 secs
lola: 3 tries, 2571944 fired transitions, 820 secs || 1 markings, 1 edges, 0 markings/sec, 820 secs
lola: 3 tries, 2587559 fired transitions, 825 secs || 1 markings, 1 edges, 0 markings/sec, 825 secs
lola: 3 tries, 2603175 fired transitions, 830 secs || 1 markings, 1 edges, 0 markings/sec, 830 secs
lola: 3 tries, 2618792 fired transitions, 835 secs || 1 markings, 1 edges, 0 markings/sec, 835 secs
lola: 3 tries, 2634388 fired transitions, 840 secs || 1 markings, 1 edges, 0 markings/sec, 840 secs
lola: 3 tries, 2649977 fired transitions, 845 secs || 1 markings, 1 edges, 0 markings/sec, 845 secs
lola: 3 tries, 2665594 fired transitions, 850 secs || 1 markings, 1 edges, 0 markings/sec, 850 secs
lola: 3 tries, 2681211 fired transitions, 855 secs || 1 markings, 1 edges, 0 markings/sec, 855 secs
lola: 3 tries, 2696820 fired transitions, 860 secs || 1 markings, 1 edges, 0 markings/sec, 860 secs
lola: 3 tries, 2712434 fired transitions, 865 secs || 1 markings, 1 edges, 0 markings/sec, 865 secs
lola: 3 tries, 2728044 fired transitions, 870 secs || 1 markings, 1 edges, 0 markings/sec, 870 secs
lola: 3 tries, 2743653 fired transitions, 875 secs || 1 markings, 1 edges, 0 markings/sec, 875 secs
lola: 3 tries, 2759270 fired transitions, 880 secs || 1 markings, 1 edges, 0 markings/sec, 880 secs
lola: 3 tries, 2774882 fired transitions, 885 secs || 1 markings, 1 edges, 0 markings/sec, 885 secs
lola: 3 tries, 2790498 fired transitions, 890 secs || 1 markings, 1 edges, 0 markings/sec, 890 secs
lola: 3 tries, 2806115 fired transitions, 895 secs || 1 markings, 1 edges, 0 markings/sec, 895 secs
lola: 3 tries, 2821769 fired transitions, 900 secs || 1 markings, 1 edges, 0 markings/sec, 900 secs
lola: 3 tries, 2837378 fired transitions, 905 secs || 1 markings, 1 edges, 0 markings/sec, 905 secs
lola: 3 tries, 2852988 fired transitions, 910 secs || 1 markings, 1 edges, 0 markings/sec, 910 secs
lola: 3 tries, 2868601 fired transitions, 915 secs || 1 markings, 1 edges, 0 markings/sec, 915 secs
lola: 3 tries, 2884190 fired transitions, 920 secs || 1 markings, 1 edges, 0 markings/sec, 920 secs
lola: 3 tries, 2899805 fired transitions, 925 secs || 1 markings, 1 edges, 0 markings/sec, 925 secs
lola: 3 tries, 2915421 fired transitions, 930 secs || 1 markings, 1 edges, 0 markings/sec, 930 secs
lola: 3 tries, 2931031 fired transitions, 935 secs || 1 markings, 1 edges, 0 markings/sec, 935 secs
lola: 3 tries, 2946636 fired transitions, 940 secs || 1 markings, 1 edges, 0 markings/sec, 940 secs
lola: 3 tries, 2962248 fired transitions, 945 secs || 1 markings, 1 edges, 0 markings/sec, 945 secs
lola: 3 tries, 2977859 fired transitions, 950 secs || 1 markings, 1 edges, 0 markings/sec, 950 secs
lola: 3 tries, 2993474 fired transitions, 955 secs || 1 markings, 1 edges, 0 markings/sec, 955 secs
lola: 4 tries, 3009081 fired transitions, 960 secs || 1 markings, 1 edges, 0 markings/sec, 960 secs
lola: 4 tries, 3024684 fired transitions, 965 secs || 1 markings, 1 edges, 0 markings/sec, 965 secs
lola: 4 tries, 3040081 fired transitions, 970 secs || 1 markings, 1 edges, 0 markings/sec, 970 secs
lola: 4 tries, 3055523 fired transitions, 975 secs || 1 markings, 1 edges, 0 markings/sec, 975 secs
lola: 4 tries, 3070891 fired transitions, 980 secs || 1 markings, 1 edges, 0 markings/sec, 980 secs
lola: 4 tries, 3085728 fired transitions, 985 secs || 1 markings, 1 edges, 0 markings/sec, 985 secs
lola: 4 tries, 3100498 fired transitions, 990 secs || 1 markings, 1 edges, 0 markings/sec, 990 secs
lola: 4 tries, 3115880 fired transitions, 995 secs || 1 markings, 1 edges, 0 markings/sec, 995 secs
lola: 4 tries, 3131248 fired transitions, 1000 secs || 1 markings, 1 edges, 0 markings/sec, 1000 secs
lola: 4 tries, 3146719 fired transitions, 1005 secs || 1 markings, 1 edges, 0 markings/sec, 1005 secs
lola: 4 tries, 3162309 fired transitions, 1010 secs || 1 markings, 1 edges, 0 markings/sec, 1010 secs
lola: 4 tries, 3177193 fired transitions, 1015 secs || 1 markings, 1 edges, 0 markings/sec, 1015 secs
lola: 4 tries, 3192854 fired transitions, 1020 secs || 1 markings, 1 edges, 0 markings/sec, 1020 secs
lola: 4 tries, 3208535 fired transitions, 1025 secs || 1 markings, 1 edges, 0 markings/sec, 1025 secs
lola: 4 tries, 3224222 fired transitions, 1030 secs || 1 markings, 1 edges, 0 markings/sec, 1030 secs
lola: 4 tries, 3239916 fired transitions, 1035 secs || 1 markings, 1 edges, 0 markings/sec, 1035 secs
lola: 4 tries, 3255600 fired transitions, 1040 secs || 1 markings, 1 edges, 0 markings/sec, 1040 secs
lola: 4 tries, 3271292 fired transitions, 1045 secs || 1 markings, 1 edges, 0 markings/sec, 1045 secs
lola: 4 tries, 3286972 fired transitions, 1050 secs || 1 markings, 1 edges, 0 markings/sec, 1050 secs
lola: 4 tries, 3301992 fired transitions, 1055 secs || 1 markings, 1 edges, 0 markings/sec, 1055 secs
lola: 4 tries, 3317608 fired transitions, 1060 secs || 1 markings, 1 edges, 0 markings/sec, 1060 secs
lola: 4 tries, 3333222 fired transitions, 1065 secs || 1 markings, 1 edges, 0 markings/sec, 1065 secs
lola: 4 tries, 3348833 fired transitions, 1070 secs || 1 markings, 1 edges, 0 markings/sec, 1070 secs
lola: 4 tries, 3364442 fired transitions, 1075 secs || 1 markings, 1 edges, 0 markings/sec, 1075 secs
lola: 4 tries, 3380053 fired transitions, 1080 secs || 1 markings, 1 edges, 0 markings/sec, 1080 secs
lola: 4 tries, 3395665 fired transitions, 1085 secs || 1 markings, 1 edges, 0 markings/sec, 1085 secs
lola: 4 tries, 3411278 fired transitions, 1090 secs || 1 markings, 1 edges, 0 markings/sec, 1090 secs
lola: 4 tries, 3426939 fired transitions, 1095 secs || 1 markings, 1 edges, 0 markings/sec, 1095 secs
lola: 4 tries, 3442667 fired transitions, 1100 secs || 1 markings, 1 edges, 0 markings/sec, 1100 secs
lola: 4 tries, 3458363 fired transitions, 1105 secs || 1 markings, 1 edges, 0 markings/sec, 1105 secs
lola: 4 tries, 3474090 fired transitions, 1110 secs || 1 markings, 1 edges, 0 markings/sec, 1110 secs
lola: 4 tries, 3489813 fired transitions, 1115 secs || 1 markings, 1 edges, 0 markings/sec, 1115 secs
lola: 4 tries, 3505542 fired transitions, 1120 secs || 1 markings, 1 edges, 0 markings/sec, 1120 secs
lola: 4 tries, 3521271 fired transitions, 1125 secs || 1 markings, 1 edges, 0 markings/sec, 1125 secs
lola: 4 tries, 3536998 fired transitions, 1130 secs || 1 markings, 1 edges, 0 markings/sec, 1130 secs
lola: 4 tries, 3552720 fired transitions, 1135 secs || 1 markings, 1 edges, 0 markings/sec, 1135 secs
lola: 4 tries, 3568413 fired transitions, 1140 secs || 1 markings, 1 edges, 0 markings/sec, 1140 secs
lola: 4 tries, 3584139 fired transitions, 1145 secs || 1 markings, 1 edges, 0 markings/sec, 1145 secs
lola: 4 tries, 3599867 fired transitions, 1150 secs || 1 markings, 1 edges, 0 markings/sec, 1150 secs
lola: 4 tries, 3615595 fired transitions, 1155 secs || 1 markings, 1 edges, 0 markings/sec, 1155 secs
lola: 4 tries, 3631324 fired transitions, 1160 secs || 1 markings, 1 edges, 0 markings/sec, 1160 secs
lola: 4 tries, 3647030 fired transitions, 1165 secs || 1 markings, 1 edges, 0 markings/sec, 1165 secs
lola: 4 tries, 3662751 fired transitions, 1170 secs || 1 markings, 1 edges, 0 markings/sec, 1170 secs
lola: 4 tries, 3678480 fired transitions, 1175 secs || 1 markings, 1 edges, 0 markings/sec, 1175 secs
lola: 4 tries, 3694208 fired transitions, 1180 secs || 1 markings, 1 edges, 0 markings/sec, 1180 secs
lola: 4 tries, 3709935 fired transitions, 1185 secs || 1 markings, 1 edges, 0 markings/sec, 1185 secs
lola: 4 tries, 3725658 fired transitions, 1190 secs || 1 markings, 1 edges, 0 markings/sec, 1190 secs
lola: 4 tries, 3741381 fired transitions, 1195 secs || 1 markings, 1 edges, 0 markings/sec, 1195 secs
lola: 4 tries, 3757102 fired transitions, 1200 secs || 1 markings, 1 edges, 0 markings/sec, 1200 secs
lola: 4 tries, 3772827 fired transitions, 1205 secs || 1 markings, 1 edges, 0 markings/sec, 1205 secs
lola: 4 tries, 3788550 fired transitions, 1210 secs || 1 markings, 1 edges, 0 markings/sec, 1210 secs
lola: 4 tries, 3804277 fired transitions, 1215 secs || 1 markings, 1 edges, 0 markings/sec, 1215 secs
lola: 4 tries, 3820006 fired transitions, 1220 secs || 1 markings, 1 edges, 0 markings/sec, 1220 secs
lola: 4 tries, 3835727 fired transitions, 1225 secs || 1 markings, 1 edges, 0 markings/sec, 1225 secs
lola: 4 tries, 3851449 fired transitions, 1230 secs || 1 markings, 1 edges, 0 markings/sec, 1230 secs
lola: 4 tries, 3867171 fired transitions, 1235 secs || 1 markings, 1 edges, 0 markings/sec, 1235 secs
lola: 4 tries, 3882897 fired transitions, 1240 secs || 1 markings, 1 edges, 0 markings/sec, 1240 secs
lola: 4 tries, 3898624 fired transitions, 1245 secs || 1 markings, 1 edges, 0 markings/sec, 1245 secs
lola: 4 tries, 3914347 fired transitions, 1250 secs || 1 markings, 1 edges, 0 markings/sec, 1250 secs
lola: 4 tries, 3930076 fired transitions, 1255 secs || 1 markings, 1 edges, 0 markings/sec, 1255 secs
lola: 4 tries, 3945804 fired transitions, 1260 secs || 1 markings, 1 edges, 0 markings/sec, 1260 secs
lola: 4 tries, 3960702 fired transitions, 1265 secs || 1 markings, 1 edges, 0 markings/sec, 1265 secs
lola: 4 tries, 3976317 fired transitions, 1270 secs || 1 markings, 1 edges, 0 markings/sec, 1270 secs
lola: 4 tries, 3991926 fired transitions, 1275 secs || 1 markings, 1 edges, 0 markings/sec, 1275 secs
lola: 5 tries, 4007533 fired transitions, 1280 secs || 1 markings, 1 edges, 0 markings/sec, 1280 secs
lola: 5 tries, 4023148 fired transitions, 1285 secs || 1 markings, 1 edges, 0 markings/sec, 1285 secs
lola: 5 tries, 4038134 fired transitions, 1290 secs || 1 markings, 1 edges, 0 markings/sec, 1290 secs
lola: 5 tries, 4053752 fired transitions, 1295 secs || 1 markings, 1 edges, 0 markings/sec, 1295 secs
lola: 5 tries, 4069368 fired transitions, 1300 secs || 1 markings, 1 edges, 0 markings/sec, 1300 secs
lola: 5 tries, 4084980 fired transitions, 1305 secs || 1 markings, 1 edges, 0 markings/sec, 1305 secs
lola: 5 tries, 4100598 fired transitions, 1310 secs || 1 markings, 1 edges, 0 markings/sec, 1310 secs
lola: 5 tries, 4116196 fired transitions, 1315 secs || 1 markings, 1 edges, 0 markings/sec, 1315 secs
lola: 5 tries, 4131306 fired transitions, 1320 secs || 1 markings, 1 edges, 0 markings/sec, 1320 secs
lola: 5 tries, 4146702 fired transitions, 1325 secs || 1 markings, 1 edges, 0 markings/sec, 1325 secs
lola: 5 tries, 4162288 fired transitions, 1330 secs || 1 markings, 1 edges, 0 markings/sec, 1330 secs
lola: 5 tries, 4177869 fired transitions, 1335 secs || 1 markings, 1 edges, 0 markings/sec, 1335 secs
lola: 5 tries, 4193458 fired transitions, 1340 secs || 1 markings, 1 edges, 0 markings/sec, 1340 secs
lola: 5 tries, 4209037 fired transitions, 1345 secs || 1 markings, 1 edges, 0 markings/sec, 1345 secs
lola: 5 tries, 4224615 fired transitions, 1350 secs || 1 markings, 1 edges, 0 markings/sec, 1350 secs
lola: 5 tries, 4240207 fired transitions, 1355 secs || 1 markings, 1 edges, 0 markings/sec, 1355 secs
lola: 5 tries, 4255807 fired transitions, 1360 secs || 1 markings, 1 edges, 0 markings/sec, 1360 secs
lola: 5 tries, 4271395 fired transitions, 1365 secs || 1 markings, 1 edges, 0 markings/sec, 1365 secs
lola: 5 tries, 4286994 fired transitions, 1370 secs || 1 markings, 1 edges, 0 markings/sec, 1370 secs
lola: 5 tries, 4302577 fired transitions, 1375 secs || 1 markings, 1 edges, 0 markings/sec, 1375 secs
lola: 5 tries, 4318174 fired transitions, 1380 secs || 1 markings, 1 edges, 0 markings/sec, 1380 secs
lola: 5 tries, 4333745 fired transitions, 1385 secs || 1 markings, 1 edges, 0 markings/sec, 1385 secs
lola: 5 tries, 4349344 fired transitions, 1390 secs || 1 markings, 1 edges, 0 markings/sec, 1390 secs
lola: 5 tries, 4364923 fired transitions, 1395 secs || 1 markings, 1 edges, 0 markings/sec, 1395 secs
lola: 5 tries, 4380509 fired transitions, 1400 secs || 1 markings, 1 edges, 0 markings/sec, 1400 secs
lola: 5 tries, 4396102 fired transitions, 1405 secs || 1 markings, 1 edges, 0 markings/sec, 1405 secs
lola: 5 tries, 4411680 fired transitions, 1410 secs || 1 markings, 1 edges, 0 markings/sec, 1410 secs
lola: 5 tries, 4427277 fired transitions, 1415 secs || 1 markings, 1 edges, 0 markings/sec, 1415 secs
lola: 5 tries, 4442864 fired transitions, 1420 secs || 1 markings, 1 edges, 0 markings/sec, 1420 secs
lola: 5 tries, 4458466 fired transitions, 1425 secs || 1 markings, 1 edges, 0 markings/sec, 1425 secs
lola: 5 tries, 4473995 fired transitions, 1430 secs || 1 markings, 1 edges, 0 markings/sec, 1430 secs
lola: 5 tries, 4489566 fired transitions, 1435 secs || 1 markings, 1 edges, 0 markings/sec, 1435 secs
lola: 5 tries, 4504476 fired transitions, 1440 secs || 1 markings, 1 edges, 0 markings/sec, 1440 secs
lola: 5 tries, 4519393 fired transitions, 1445 secs || 1 markings, 1 edges, 0 markings/sec, 1445 secs
lola: 5 tries, 4534311 fired transitions, 1450 secs || 1 markings, 1 edges, 0 markings/sec, 1450 secs
lola: 5 tries, 4549221 fired transitions, 1455 secs || 1 markings, 1 edges, 0 markings/sec, 1455 secs
lola: 5 tries, 4564138 fired transitions, 1460 secs || 1 markings, 1 edges, 0 markings/sec, 1460 secs
lola: 5 tries, 4579058 fired transitions, 1465 secs || 1 markings, 1 edges, 0 markings/sec, 1465 secs
lola: 5 tries, 4593968 fired transitions, 1470 secs || 1 markings, 1 edges, 0 markings/sec, 1470 secs
lola: 5 tries, 4608955 fired transitions, 1475 secs || 1 markings, 1 edges, 0 markings/sec, 1475 secs
lola: 5 tries, 4623872 fired transitions, 1480 secs || 1 markings, 1 edges, 0 markings/sec, 1480 secs
lola: 5 tries, 4639483 fired transitions, 1485 secs || 1 markings, 1 edges, 0 markings/sec, 1485 secs
lola: 5 tries, 4655094 fired transitions, 1490 secs || 1 markings, 1 edges, 0 markings/sec, 1490 secs
lola: 5 tries, 4670704 fired transitions, 1495 secs || 1 markings, 1 edges, 0 markings/sec, 1495 secs
lola: 5 tries, 4686315 fired transitions, 1500 secs || 1 markings, 1 edges, 0 markings/sec, 1500 secs
lola: 5 tries, 4701921 fired transitions, 1505 secs || 1 markings, 1 edges, 0 markings/sec, 1505 secs
lola: 5 tries, 4717520 fired transitions, 1510 secs || 1 markings, 1 edges, 0 markings/sec, 1510 secs
lola: 5 tries, 4733111 fired transitions, 1515 secs || 1 markings, 1 edges, 0 markings/sec, 1515 secs
lola: 5 tries, 4748714 fired transitions, 1520 secs || 1 markings, 1 edges, 0 markings/sec, 1520 secs
lola: 5 tries, 4764319 fired transitions, 1525 secs || 1 markings, 1 edges, 0 markings/sec, 1525 secs
lola: 5 tries, 4779859 fired transitions, 1530 secs || 1 markings, 1 edges, 0 markings/sec, 1530 secs
lola: 5 tries, 4795236 fired transitions, 1535 secs || 1 markings, 1 edges, 0 markings/sec, 1535 secs
lola: 5 tries, 4810837 fired transitions, 1540 secs || 1 markings, 1 edges, 0 markings/sec, 1540 secs
lola: 5 tries, 4826448 fired transitions, 1545 secs || 1 markings, 1 edges, 0 markings/sec, 1545 secs
lola: 5 tries, 4842054 fired transitions, 1550 secs || 1 markings, 1 edges, 0 markings/sec, 1550 secs
lola: 5 tries, 4857641 fired transitions, 1555 secs || 1 markings, 1 edges, 0 markings/sec, 1555 secs
lola: 5 tries, 4873249 fired transitions, 1560 secs || 1 markings, 1 edges, 0 markings/sec, 1560 secs
lola: 5 tries, 4888862 fired transitions, 1565 secs || 1 markings, 1 edges, 0 markings/sec, 1565 secs
lola: 5 tries, 4904449 fired transitions, 1570 secs || 1 markings, 1 edges, 0 markings/sec, 1570 secs
lola: 5 tries, 4920044 fired transitions, 1575 secs || 1 markings, 1 edges, 0 markings/sec, 1575 secs
lola: 5 tries, 4935613 fired transitions, 1580 secs || 1 markings, 1 edges, 0 markings/sec, 1580 secs
lola: 5 tries, 4951209 fired transitions, 1585 secs || 1 markings, 1 edges, 0 markings/sec, 1585 secs
lola: 5 tries, 4966789 fired transitions, 1590 secs || 1 markings, 1 edges, 0 markings/sec, 1590 secs
lola: 5 tries, 4982398 fired transitions, 1595 secs || 1 markings, 1 edges, 0 markings/sec, 1595 secs
lola: 5 tries, 4997904 fired transitions, 1600 secs || 1 markings, 1 edges, 0 markings/sec, 1600 secs
lola: 6 tries, 5012860 fired transitions, 1605 secs || 1 markings, 1 edges, 0 markings/sec, 1605 secs
lola: 6 tries, 5028409 fired transitions, 1610 secs || 1 markings, 1 edges, 0 markings/sec, 1610 secs
lola: 6 tries, 5043956 fired transitions, 1615 secs || 1 markings, 1 edges, 0 markings/sec, 1615 secs
lola: 6 tries, 5059492 fired transitions, 1620 secs || 1 markings, 1 edges, 0 markings/sec, 1620 secs
lola: 6 tries, 5075035 fired transitions, 1625 secs || 1 markings, 1 edges, 0 markings/sec, 1625 secs
lola: 6 tries, 5090180 fired transitions, 1630 secs || 1 markings, 1 edges, 0 markings/sec, 1630 secs
lola: 6 tries, 5105331 fired transitions, 1635 secs || 1 markings, 1 edges, 0 markings/sec, 1635 secs
lola: 6 tries, 5120875 fired transitions, 1640 secs || 1 markings, 1 edges, 0 markings/sec, 1640 secs
lola: 6 tries, 5136411 fired transitions, 1645 secs || 1 markings, 1 edges, 0 markings/sec, 1645 secs
lola: 6 tries, 5151725 fired transitions, 1650 secs || 1 markings, 1 edges, 0 markings/sec, 1650 secs
lola: 6 tries, 5167421 fired transitions, 1655 secs || 1 markings, 1 edges, 0 markings/sec, 1655 secs
lola: 6 tries, 5182342 fired transitions, 1660 secs || 1 markings, 1 edges, 0 markings/sec, 1660 secs
lola: 6 tries, 5197241 fired transitions, 1665 secs || 1 markings, 1 edges, 0 markings/sec, 1665 secs
lola: 6 tries, 5212147 fired transitions, 1670 secs || 1 markings, 1 edges, 0 markings/sec, 1670 secs
lola: 6 tries, 5227043 fired transitions, 1675 secs || 1 markings, 1 edges, 0 markings/sec, 1675 secs
lola: 6 tries, 5241945 fired transitions, 1680 secs || 1 markings, 1 edges, 0 markings/sec, 1680 secs
lola: 6 tries, 5256845 fired transitions, 1685 secs || 1 markings, 1 edges, 0 markings/sec, 1685 secs
lola: 6 tries, 5271742 fired transitions, 1690 secs || 1 markings, 1 edges, 0 markings/sec, 1690 secs
lola: 6 tries, 5286654 fired transitions, 1695 secs || 1 markings, 1 edges, 0 markings/sec, 1695 secs
lola: 6 tries, 5301552 fired transitions, 1700 secs || 1 markings, 1 edges, 0 markings/sec, 1700 secs
lola: 6 tries, 5316463 fired transitions, 1705 secs || 1 markings, 1 edges, 0 markings/sec, 1705 secs
lola: 6 tries, 5331364 fired transitions, 1710 secs || 1 markings, 1 edges, 0 markings/sec, 1710 secs
lola: 6 tries, 5346108 fired transitions, 1715 secs || 1 markings, 1 edges, 0 markings/sec, 1715 secs
lola: 6 tries, 5360820 fired transitions, 1720 secs || 1 markings, 1 edges, 0 markings/sec, 1720 secs
lola: 6 tries, 5376153 fired transitions, 1725 secs || 1 markings, 1 edges, 0 markings/sec, 1725 secs
lola: 6 tries, 5391582 fired transitions, 1730 secs || 1 markings, 1 edges, 0 markings/sec, 1730 secs
lola: 6 tries, 5406990 fired transitions, 1735 secs || 1 markings, 1 edges, 0 markings/sec, 1735 secs
lola: 6 tries, 5422399 fired transitions, 1740 secs || 1 markings, 1 edges, 0 markings/sec, 1740 secs
lola: 6 tries, 5437823 fired transitions, 1745 secs || 1 markings, 1 edges, 0 markings/sec, 1745 secs
lola: 6 tries, 5453241 fired transitions, 1750 secs || 1 markings, 1 edges, 0 markings/sec, 1750 secs
lola: 6 tries, 5468649 fired transitions, 1755 secs || 1 markings, 1 edges, 0 markings/sec, 1755 secs
lola: 6 tries, 5484059 fired transitions, 1760 secs || 1 markings, 1 edges, 0 markings/sec, 1760 secs
lola: 6 tries, 5499457 fired transitions, 1765 secs || 1 markings, 1 edges, 0 markings/sec, 1765 secs
lola: 6 tries, 5514866 fired transitions, 1770 secs || 1 markings, 1 edges, 0 markings/sec, 1770 secs
lola: 6 tries, 5530277 fired transitions, 1775 secs || 1 markings, 1 edges, 0 markings/sec, 1775 secs
lola: 6 tries, 5545671 fired transitions, 1780 secs || 1 markings, 1 edges, 0 markings/sec, 1780 secs
lola: 6 tries, 5561074 fired transitions, 1785 secs || 1 markings, 1 edges, 0 markings/sec, 1785 secs
lola: 6 tries, 5576489 fired transitions, 1790 secs || 1 markings, 1 edges, 0 markings/sec, 1790 secs
lola: 6 tries, 5591891 fired transitions, 1795 secs || 1 markings, 1 edges, 0 markings/sec, 1795 secs
lola: 6 tries, 5607288 fired transitions, 1800 secs || 1 markings, 1 edges, 0 markings/sec, 1800 secs
lola: 6 tries, 5622708 fired transitions, 1805 secs || 1 markings, 1 edges, 0 markings/sec, 1805 secs
lola: 6 tries, 5638118 fired transitions, 1810 secs || 1 markings, 1 edges, 0 markings/sec, 1810 secs
lola: 6 tries, 5653511 fired transitions, 1815 secs || 1 markings, 1 edges, 0 markings/sec, 1815 secs
lola: 6 tries, 5668924 fired transitions, 1820 secs || 1 markings, 1 edges, 0 markings/sec, 1820 secs
lola: 6 tries, 5684342 fired transitions, 1825 secs || 1 markings, 1 edges, 0 markings/sec, 1825 secs
lola: 6 tries, 5699511 fired transitions, 1830 secs || 1 markings, 1 edges, 0 markings/sec, 1830 secs
lola: 6 tries, 5714618 fired transitions, 1835 secs || 1 markings, 1 edges, 0 markings/sec, 1835 secs
lola: 6 tries, 5730173 fired transitions, 1840 secs || 1 markings, 1 edges, 0 markings/sec, 1840 secs
lola: 6 tries, 5745789 fired transitions, 1845 secs || 1 markings, 1 edges, 0 markings/sec, 1845 secs
lola: 6 tries, 5761406 fired transitions, 1850 secs || 1 markings, 1 edges, 0 markings/sec, 1850 secs
lola: 6 tries, 5777023 fired transitions, 1855 secs || 1 markings, 1 edges, 0 markings/sec, 1855 secs
lola: 6 tries, 5792637 fired transitions, 1860 secs || 1 markings, 1 edges, 0 markings/sec, 1860 secs
lola: 6 tries, 5808210 fired transitions, 1865 secs || 1 markings, 1 edges, 0 markings/sec, 1865 secs
lola: 6 tries, 5823774 fired transitions, 1870 secs || 1 markings, 1 edges, 0 markings/sec, 1870 secs
lola: 6 tries, 5839360 fired transitions, 1875 secs || 1 markings, 1 edges, 0 markings/sec, 1875 secs
lola: 6 tries, 5854663 fired transitions, 1880 secs || 1 markings, 1 edges, 0 markings/sec, 1880 secs
lola: 6 tries, 5869898 fired transitions, 1885 secs || 1 markings, 1 edges, 0 markings/sec, 1885 secs
lola: 6 tries, 5885573 fired transitions, 1890 secs || 1 markings, 1 edges, 0 markings/sec, 1890 secs
lola: 6 tries, 5901250 fired transitions, 1895 secs || 1 markings, 1 edges, 0 markings/sec, 1895 secs
lola: 6 tries, 5916926 fired transitions, 1900 secs || 1 markings, 1 edges, 0 markings/sec, 1900 secs
lola: 6 tries, 5932598 fired transitions, 1905 secs || 1 markings, 1 edges, 0 markings/sec, 1905 secs
lola: 6 tries, 5948270 fired transitions, 1910 secs || 1 markings, 1 edges, 0 markings/sec, 1910 secs
lola: 6 tries, 5963948 fired transitions, 1915 secs || 1 markings, 1 edges, 0 markings/sec, 1915 secs
lola: 6 tries, 5979612 fired transitions, 1920 secs || 1 markings, 1 edges, 0 markings/sec, 1920 secs
lola: 6 tries, 5995282 fired transitions, 1925 secs || 1 markings, 1 edges, 0 markings/sec, 1925 secs
lola: 7 tries, 6010906 fired transitions, 1930 secs || 1 markings, 1 edges, 0 markings/sec, 1930 secs
lola: 7 tries, 6026586 fired transitions, 1935 secs || 1 markings, 1 edges, 0 markings/sec, 1935 secs
lola: 7 tries, 6042258 fired transitions, 1940 secs || 1 markings, 1 edges, 0 markings/sec, 1940 secs
lola: 7 tries, 6057919 fired transitions, 1945 secs || 1 markings, 1 edges, 0 markings/sec, 1945 secs
lola: 7 tries, 6073594 fired transitions, 1950 secs || 1 markings, 1 edges, 0 markings/sec, 1950 secs
lola: 7 tries, 6089261 fired transitions, 1955 secs || 1 markings, 1 edges, 0 markings/sec, 1955 secs
lola: 7 tries, 6104920 fired transitions, 1960 secs || 1 markings, 1 edges, 0 markings/sec, 1960 secs
lola: 7 tries, 6120573 fired transitions, 1965 secs || 1 markings, 1 edges, 0 markings/sec, 1965 secs
lola: 7 tries, 6133965 fired transitions, 1970 secs || 1 markings, 1 edges, 0 markings/sec, 1970 secs
lola: 7 tries, 6149643 fired transitions, 1975 secs || 1 markings, 1 edges, 0 markings/sec, 1975 secs
lola: 7 tries, 6165318 fired transitions, 1980 secs || 1 markings, 1 edges, 0 markings/sec, 1980 secs
lola: 7 tries, 6180981 fired transitions, 1985 secs || 1 markings, 1 edges, 0 markings/sec, 1985 secs
lola: 7 tries, 6196651 fired transitions, 1990 secs || 1 markings, 1 edges, 0 markings/sec, 1990 secs
lola: 7 tries, 6212320 fired transitions, 1995 secs || 1 markings, 1 edges, 0 markings/sec, 1995 secs
lola: 7 tries, 6227993 fired transitions, 2000 secs || 1 markings, 1 edges, 0 markings/sec, 2000 secs
lola: 7 tries, 6243668 fired transitions, 2005 secs || 1 markings, 1 edges, 0 markings/sec, 2005 secs
lola: 7 tries, 6259299 fired transitions, 2010 secs || 1 markings, 1 edges, 0 markings/sec, 2010 secs
lola: 7 tries, 6274812 fired transitions, 2015 secs || 1 markings, 1 edges, 0 markings/sec, 2015 secs
lola: 7 tries, 6289757 fired transitions, 2020 secs || 1 markings, 1 edges, 0 markings/sec, 2020 secs
lola: 7 tries, 6304670 fired transitions, 2025 secs || 1 markings, 1 edges, 0 markings/sec, 2025 secs
lola: 7 tries, 6319657 fired transitions, 2030 secs || 1 markings, 1 edges, 0 markings/sec, 2030 secs
lola: 7 tries, 6335222 fired transitions, 2035 secs || 1 markings, 1 edges, 0 markings/sec, 2035 secs
lola: 7 tries, 6350820 fired transitions, 2040 secs || 1 markings, 1 edges, 0 markings/sec, 2040 secs
lola: 7 tries, 6365892 fired transitions, 2045 secs || 1 markings, 1 edges, 0 markings/sec, 2045 secs
lola: 7 tries, 6381510 fired transitions, 2050 secs || 1 markings, 1 edges, 0 markings/sec, 2050 secs
lola: 7 tries, 6397158 fired transitions, 2055 secs || 1 markings, 1 edges, 0 markings/sec, 2055 secs
lola: 7 tries, 6412815 fired transitions, 2060 secs || 1 markings, 1 edges, 0 markings/sec, 2060 secs
lola: 7 tries, 6428538 fired transitions, 2065 secs || 1 markings, 1 edges, 0 markings/sec, 2065 secs
lola: 7 tries, 6444268 fired transitions, 2070 secs || 1 markings, 1 edges, 0 markings/sec, 2070 secs
lola: 7 tries, 6459997 fired transitions, 2075 secs || 1 markings, 1 edges, 0 markings/sec, 2075 secs
lola: 7 tries, 6475726 fired transitions, 2080 secs || 1 markings, 1 edges, 0 markings/sec, 2080 secs
lola: 7 tries, 6491453 fired transitions, 2085 secs || 1 markings, 1 edges, 0 markings/sec, 2085 secs
lola: 7 tries, 6507186 fired transitions, 2090 secs || 1 markings, 1 edges, 0 markings/sec, 2090 secs
lola: 7 tries, 6522911 fired transitions, 2095 secs || 1 markings, 1 edges, 0 markings/sec, 2095 secs
lola: 7 tries, 6538634 fired transitions, 2100 secs || 1 markings, 1 edges, 0 markings/sec, 2100 secs
lola: 7 tries, 6554359 fired transitions, 2105 secs || 1 markings, 1 edges, 0 markings/sec, 2105 secs
lola: 7 tries, 6570079 fired transitions, 2110 secs || 1 markings, 1 edges, 0 markings/sec, 2110 secs
lola: 7 tries, 6585804 fired transitions, 2115 secs || 1 markings, 1 edges, 0 markings/sec, 2115 secs
lola: 7 tries, 6601530 fired transitions, 2120 secs || 1 markings, 1 edges, 0 markings/sec, 2120 secs
lola: 7 tries, 6617222 fired transitions, 2125 secs || 1 markings, 1 edges, 0 markings/sec, 2125 secs
lola: 7 tries, 6632951 fired transitions, 2130 secs || 1 markings, 1 edges, 0 markings/sec, 2130 secs
lola: 7 tries, 6648675 fired transitions, 2135 secs || 1 markings, 1 edges, 0 markings/sec, 2135 secs
lola: 7 tries, 6664402 fired transitions, 2140 secs || 1 markings, 1 edges, 0 markings/sec, 2140 secs
lola: 7 tries, 6680131 fired transitions, 2145 secs || 1 markings, 1 edges, 0 markings/sec, 2145 secs
lola: 7 tries, 6695859 fired transitions, 2150 secs || 1 markings, 1 edges, 0 markings/sec, 2150 secs
lola: 7 tries, 6711581 fired transitions, 2155 secs || 1 markings, 1 edges, 0 markings/sec, 2155 secs
lola: 7 tries, 6727275 fired transitions, 2160 secs || 1 markings, 1 edges, 0 markings/sec, 2160 secs
lola: 7 tries, 6743004 fired transitions, 2165 secs || 1 markings, 1 edges, 0 markings/sec, 2165 secs
lola: 7 tries, 6758732 fired transitions, 2170 secs || 1 markings, 1 edges, 0 markings/sec, 2170 secs
lola: 7 tries, 6774373 fired transitions, 2175 secs || 1 markings, 1 edges, 0 markings/sec, 2175 secs
lola: 7 tries, 6789915 fired transitions, 2180 secs || 1 markings, 1 edges, 0 markings/sec, 2180 secs
lola: 7 tries, 6805434 fired transitions, 2185 secs || 1 markings, 1 edges, 0 markings/sec, 2185 secs
lola: 7 tries, 6820981 fired transitions, 2190 secs || 1 markings, 1 edges, 0 markings/sec, 2190 secs
lola: 7 tries, 6836551 fired transitions, 2195 secs || 1 markings, 1 edges, 0 markings/sec, 2195 secs
lola: 7 tries, 6852100 fired transitions, 2200 secs || 1 markings, 1 edges, 0 markings/sec, 2200 secs
lola: 7 tries, 6867666 fired transitions, 2205 secs || 1 markings, 1 edges, 0 markings/sec, 2205 secs
lola: 7 tries, 6883395 fired transitions, 2210 secs || 1 markings, 1 edges, 0 markings/sec, 2210 secs
lola: 7 tries, 6899124 fired transitions, 2215 secs || 1 markings, 1 edges, 0 markings/sec, 2215 secs
lola: 7 tries, 6914851 fired transitions, 2220 secs || 1 markings, 1 edges, 0 markings/sec, 2220 secs
lola: 7 tries, 6930575 fired transitions, 2225 secs || 1 markings, 1 edges, 0 markings/sec, 2225 secs
lola: 7 tries, 6946298 fired transitions, 2230 secs || 1 markings, 1 edges, 0 markings/sec, 2230 secs
lola: 7 tries, 6961963 fired transitions, 2235 secs || 1 markings, 1 edges, 0 markings/sec, 2235 secs
lola: 7 tries, 6977629 fired transitions, 2240 secs || 1 markings, 1 edges, 0 markings/sec, 2240 secs
lola: 7 tries, 6993291 fired transitions, 2245 secs || 1 markings, 1 edges, 0 markings/sec, 2245 secs
lola: 8 tries, 7008952 fired transitions, 2250 secs || 1 markings, 1 edges, 0 markings/sec, 2250 secs
lola: 8 tries, 7024606 fired transitions, 2255 secs || 1 markings, 1 edges, 0 markings/sec, 2255 secs
lola: 8 tries, 7040311 fired transitions, 2260 secs || 1 markings, 1 edges, 0 markings/sec, 2260 secs
lola: 8 tries, 7056040 fired transitions, 2265 secs || 1 markings, 1 edges, 0 markings/sec, 2265 secs
lola: 8 tries, 7069484 fired transitions, 2270 secs || 1 markings, 1 edges, 0 markings/sec, 2270 secs
lola: 8 tries, 7085214 fired transitions, 2275 secs || 1 markings, 1 edges, 0 markings/sec, 2275 secs
lola: 8 tries, 7100925 fired transitions, 2280 secs || 1 markings, 1 edges, 0 markings/sec, 2280 secs
lola: 8 tries, 7116650 fired transitions, 2285 secs || 1 markings, 1 edges, 0 markings/sec, 2285 secs
lola: 8 tries, 7132364 fired transitions, 2290 secs || 1 markings, 1 edges, 0 markings/sec, 2290 secs
lola: 8 tries, 7148092 fired transitions, 2295 secs || 1 markings, 1 edges, 0 markings/sec, 2295 secs
lola: 8 tries, 7163821 fired transitions, 2300 secs || 1 markings, 1 edges, 0 markings/sec, 2300 secs
lola: 8 tries, 7179542 fired transitions, 2305 secs || 1 markings, 1 edges, 0 markings/sec, 2305 secs
lola: 8 tries, 7195248 fired transitions, 2310 secs || 1 markings, 1 edges, 0 markings/sec, 2310 secs
lola: 8 tries, 7210972 fired transitions, 2315 secs || 1 markings, 1 edges, 0 markings/sec, 2315 secs
lola: 8 tries, 7226698 fired transitions, 2320 secs || 1 markings, 1 edges, 0 markings/sec, 2320 secs
lola: 8 tries, 7242427 fired transitions, 2325 secs || 1 markings, 1 edges, 0 markings/sec, 2325 secs
lola: 8 tries, 7258156 fired transitions, 2330 secs || 1 markings, 1 edges, 0 markings/sec, 2330 secs
lola: 8 tries, 7273852 fired transitions, 2335 secs || 1 markings, 1 edges, 0 markings/sec, 2335 secs
lola: 8 tries, 7289581 fired transitions, 2340 secs || 1 markings, 1 edges, 0 markings/sec, 2340 secs
lola: 8 tries, 7305297 fired transitions, 2345 secs || 1 markings, 1 edges, 0 markings/sec, 2345 secs
lola: 8 tries, 7321009 fired transitions, 2350 secs || 1 markings, 1 edges, 0 markings/sec, 2350 secs
lola: 8 tries, 7336725 fired transitions, 2355 secs || 1 markings, 1 edges, 0 markings/sec, 2355 secs
lola: 8 tries, 7352452 fired transitions, 2360 secs || 1 markings, 1 edges, 0 markings/sec, 2360 secs
lola: 8 tries, 7368175 fired transitions, 2365 secs || 1 markings, 1 edges, 0 markings/sec, 2365 secs
lola: 8 tries, 7383904 fired transitions, 2370 secs || 1 markings, 1 edges, 0 markings/sec, 2370 secs
lola: 8 tries, 7399632 fired transitions, 2375 secs || 1 markings, 1 edges, 0 markings/sec, 2375 secs
lola: 8 tries, 7415359 fired transitions, 2380 secs || 1 markings, 1 edges, 0 markings/sec, 2380 secs
lola: 8 tries, 7431082 fired transitions, 2385 secs || 1 markings, 1 edges, 0 markings/sec, 2385 secs
lola: 8 tries, 7446801 fired transitions, 2390 secs || 1 markings, 1 edges, 0 markings/sec, 2390 secs
lola: 8 tries, 7462527 fired transitions, 2395 secs || 1 markings, 1 edges, 0 markings/sec, 2395 secs
lola: 8 tries, 7478254 fired transitions, 2400 secs || 1 markings, 1 edges, 0 markings/sec, 2400 secs
lola: 8 tries, 7493981 fired transitions, 2405 secs || 1 markings, 1 edges, 0 markings/sec, 2405 secs
lola: 8 tries, 7509704 fired transitions, 2410 secs || 1 markings, 1 edges, 0 markings/sec, 2410 secs
lola: 8 tries, 7525432 fired transitions, 2415 secs || 1 markings, 1 edges, 0 markings/sec, 2415 secs
lola: 8 tries, 7541159 fired transitions, 2420 secs || 1 markings, 1 edges, 0 markings/sec, 2420 secs
lola: 8 tries, 7556883 fired transitions, 2425 secs || 1 markings, 1 edges, 0 markings/sec, 2425 secs
lola: 8 tries, 7572606 fired transitions, 2430 secs || 1 markings, 1 edges, 0 markings/sec, 2430 secs
lola: 8 tries, 7588320 fired transitions, 2435 secs || 1 markings, 1 edges, 0 markings/sec, 2435 secs
lola: 8 tries, 7604036 fired transitions, 2440 secs || 1 markings, 1 edges, 0 markings/sec, 2440 secs
lola: 8 tries, 7619765 fired transitions, 2445 secs || 1 markings, 1 edges, 0 markings/sec, 2445 secs
lola: 8 tries, 7635492 fired transitions, 2450 secs || 1 markings, 1 edges, 0 markings/sec, 2450 secs
lola: 8 tries, 7651216 fired transitions, 2455 secs || 1 markings, 1 edges, 0 markings/sec, 2455 secs
lola: 8 tries, 7666910 fired transitions, 2460 secs || 1 markings, 1 edges, 0 markings/sec, 2460 secs
lola: 8 tries, 7682651 fired transitions, 2465 secs || 1 markings, 1 edges, 0 markings/sec, 2465 secs
lola: 8 tries, 7698374 fired transitions, 2470 secs || 1 markings, 1 edges, 0 markings/sec, 2470 secs
lola: 8 tries, 7714091 fired transitions, 2475 secs || 1 markings, 1 edges, 0 markings/sec, 2475 secs
lola: 8 tries, 7729811 fired transitions, 2480 secs || 1 markings, 1 edges, 0 markings/sec, 2480 secs
lola: 8 tries, 7745522 fired transitions, 2485 secs || 1 markings, 1 edges, 0 markings/sec, 2485 secs
lola: 8 tries, 7761235 fired transitions, 2490 secs || 1 markings, 1 edges, 0 markings/sec, 2490 secs
lola: 8 tries, 7776952 fired transitions, 2495 secs || 1 markings, 1 edges, 0 markings/sec, 2495 secs
lola: 8 tries, 7792619 fired transitions, 2500 secs || 1 markings, 1 edges, 0 markings/sec, 2500 secs
lola: 8 tries, 7808172 fired transitions, 2505 secs || 1 markings, 1 edges, 0 markings/sec, 2505 secs
lola: 8 tries, 7823714 fired transitions, 2510 secs || 1 markings, 1 edges, 0 markings/sec, 2510 secs
lola: 8 tries, 7839445 fired transitions, 2515 secs || 1 markings, 1 edges, 0 markings/sec, 2515 secs
lola: 8 tries, 7855175 fired transitions, 2520 secs || 1 markings, 1 edges, 0 markings/sec, 2520 secs
lola: 8 tries, 7870903 fired transitions, 2525 secs || 1 markings, 1 edges, 0 markings/sec, 2525 secs
lola: 8 tries, 7886625 fired transitions, 2530 secs || 1 markings, 1 edges, 0 markings/sec, 2530 secs
lola: 8 tries, 7902347 fired transitions, 2535 secs || 1 markings, 1 edges, 0 markings/sec, 2535 secs
lola: 8 tries, 7918072 fired transitions, 2540 secs || 1 markings, 1 edges, 0 markings/sec, 2540 secs
lola: 8 tries, 7933798 fired transitions, 2545 secs || 1 markings, 1 edges, 0 markings/sec, 2545 secs
lola: 8 tries, 7949525 fired transitions, 2550 secs || 1 markings, 1 edges, 0 markings/sec, 2550 secs
lola: 8 tries, 7965250 fired transitions, 2555 secs || 1 markings, 1 edges, 0 markings/sec, 2555 secs
lola: 8 tries, 7980976 fired transitions, 2560 secs || 1 markings, 1 edges, 0 markings/sec, 2560 secs
lola: 8 tries, 7996706 fired transitions, 2565 secs || 1 markings, 1 edges, 0 markings/sec, 2565 secs
lola: 9 tries, 8010131 fired transitions, 2570 secs || 1 markings, 1 edges, 0 markings/sec, 2570 secs
lola: 9 tries, 8025828 fired transitions, 2575 secs || 1 markings, 1 edges, 0 markings/sec, 2575 secs
lola: 9 tries, 8041558 fired transitions, 2580 secs || 1 markings, 1 edges, 0 markings/sec, 2580 secs
lola: 9 tries, 8057285 fired transitions, 2585 secs || 1 markings, 1 edges, 0 markings/sec, 2585 secs
lola: 9 tries, 8073002 fired transitions, 2590 secs || 1 markings, 1 edges, 0 markings/sec, 2590 secs
lola: 9 tries, 8088715 fired transitions, 2595 secs || 1 markings, 1 edges, 0 markings/sec, 2595 secs
lola: 9 tries, 8104439 fired transitions, 2600 secs || 1 markings, 1 edges, 0 markings/sec, 2600 secs
lola: 9 tries, 8120159 fired transitions, 2605 secs || 1 markings, 1 edges, 0 markings/sec, 2605 secs
lola: 9 tries, 8135887 fired transitions, 2610 secs || 1 markings, 1 edges, 0 markings/sec, 2610 secs
lola: 9 tries, 8151612 fired transitions, 2615 secs || 1 markings, 1 edges, 0 markings/sec, 2615 secs
lola: 9 tries, 8167332 fired transitions, 2620 secs || 1 markings, 1 edges, 0 markings/sec, 2620 secs
lola: 9 tries, 8183056 fired transitions, 2625 secs || 1 markings, 1 edges, 0 markings/sec, 2625 secs
lola: 9 tries, 8198777 fired transitions, 2630 secs || 1 markings, 1 edges, 0 markings/sec, 2630 secs
lola: 9 tries, 8214501 fired transitions, 2635 secs || 1 markings, 1 edges, 0 markings/sec, 2635 secs
lola: 9 tries, 8230229 fired transitions, 2640 secs || 1 markings, 1 edges, 0 markings/sec, 2640 secs
lola: 9 tries, 8245907 fired transitions, 2645 secs || 1 markings, 1 edges, 0 markings/sec, 2645 secs
lola: 9 tries, 8261576 fired transitions, 2650 secs || 1 markings, 1 edges, 0 markings/sec, 2650 secs
lola: 9 tries, 8277298 fired transitions, 2655 secs || 1 markings, 1 edges, 0 markings/sec, 2655 secs
lola: 9 tries, 8293021 fired transitions, 2660 secs || 1 markings, 1 edges, 0 markings/sec, 2660 secs
lola: 9 tries, 8308746 fired transitions, 2665 secs || 1 markings, 1 edges, 0 markings/sec, 2665 secs
lola: 9 tries, 8324467 fired transitions, 2670 secs || 1 markings, 1 edges, 0 markings/sec, 2670 secs
lola: 9 tries, 8340000 fired transitions, 2675 secs || 1 markings, 1 edges, 0 markings/sec, 2675 secs
lola: 9 tries, 8355353 fired transitions, 2680 secs || 1 markings, 1 edges, 0 markings/sec, 2680 secs
lola: 9 tries, 8370723 fired transitions, 2685 secs || 1 markings, 1 edges, 0 markings/sec, 2685 secs
lola: 9 tries, 8386090 fired transitions, 2690 secs || 1 markings, 1 edges, 0 markings/sec, 2690 secs
lola: 9 tries, 8401469 fired transitions, 2695 secs || 1 markings, 1 edges, 0 markings/sec, 2695 secs
lola: 9 tries, 8416962 fired transitions, 2700 secs || 1 markings, 1 edges, 0 markings/sec, 2700 secs
lola: 9 tries, 8432522 fired transitions, 2705 secs || 1 markings, 1 edges, 0 markings/sec, 2705 secs
lola: 9 tries, 8448081 fired transitions, 2710 secs || 1 markings, 1 edges, 0 markings/sec, 2710 secs
lola: 9 tries, 8463479 fired transitions, 2715 secs || 1 markings, 1 edges, 0 markings/sec, 2715 secs
lola: 9 tries, 8478876 fired transitions, 2720 secs || 1 markings, 1 edges, 0 markings/sec, 2720 secs
lola: 9 tries, 8494296 fired transitions, 2725 secs || 1 markings, 1 edges, 0 markings/sec, 2725 secs
lola: 9 tries, 8509712 fired transitions, 2730 secs || 1 markings, 1 edges, 0 markings/sec, 2730 secs
lola: 9 tries, 8525125 fired transitions, 2735 secs || 1 markings, 1 edges, 0 markings/sec, 2735 secs
lola: 9 tries, 8540536 fired transitions, 2740 secs || 1 markings, 1 edges, 0 markings/sec, 2740 secs
lola: 9 tries, 8555943 fired transitions, 2745 secs || 1 markings, 1 edges, 0 markings/sec, 2745 secs
lola: 9 tries, 8571368 fired transitions, 2750 secs || 1 markings, 1 edges, 0 markings/sec, 2750 secs
lola: 9 tries, 8586770 fired transitions, 2755 secs || 1 markings, 1 edges, 0 markings/sec, 2755 secs
lola: 9 tries, 8602205 fired transitions, 2760 secs || 1 markings, 1 edges, 0 markings/sec, 2760 secs
lola: 9 tries, 8617613 fired transitions, 2765 secs || 1 markings, 1 edges, 0 markings/sec, 2765 secs
lola: 9 tries, 8633026 fired transitions, 2770 secs || 1 markings, 1 edges, 0 markings/sec, 2770 secs
lola: 9 tries, 8648438 fired transitions, 2775 secs || 1 markings, 1 edges, 0 markings/sec, 2775 secs
lola: 9 tries, 8663845 fired transitions, 2780 secs || 1 markings, 1 edges, 0 markings/sec, 2780 secs
lola: 9 tries, 8679268 fired transitions, 2785 secs || 1 markings, 1 edges, 0 markings/sec, 2785 secs
lola: 9 tries, 8694666 fired transitions, 2790 secs || 1 markings, 1 edges, 0 markings/sec, 2790 secs
lola: 9 tries, 8710071 fired transitions, 2795 secs || 1 markings, 1 edges, 0 markings/sec, 2795 secs
lola: 9 tries, 8725481 fired transitions, 2800 secs || 1 markings, 1 edges, 0 markings/sec, 2800 secs
lola: 9 tries, 8740892 fired transitions, 2805 secs || 1 markings, 1 edges, 0 markings/sec, 2805 secs
lola: 9 tries, 8756299 fired transitions, 2810 secs || 1 markings, 1 edges, 0 markings/sec, 2810 secs
lola: 9 tries, 8771722 fired transitions, 2815 secs || 1 markings, 1 edges, 0 markings/sec, 2815 secs
lola: 9 tries, 8787137 fired transitions, 2820 secs || 1 markings, 1 edges, 0 markings/sec, 2820 secs
lola: 9 tries, 8802565 fired transitions, 2825 secs || 1 markings, 1 edges, 0 markings/sec, 2825 secs
lola: 9 tries, 8817987 fired transitions, 2830 secs || 1 markings, 1 edges, 0 markings/sec, 2830 secs
lola: 9 tries, 8833403 fired transitions, 2835 secs || 1 markings, 1 edges, 0 markings/sec, 2835 secs
lola: 9 tries, 8848829 fired transitions, 2840 secs || 1 markings, 1 edges, 0 markings/sec, 2840 secs
lola: 9 tries, 8864244 fired transitions, 2845 secs || 1 markings, 1 edges, 0 markings/sec, 2845 secs
lola: 9 tries, 8879659 fired transitions, 2850 secs || 1 markings, 1 edges, 0 markings/sec, 2850 secs
lola: 9 tries, 8895077 fired transitions, 2855 secs || 1 markings, 1 edges, 0 markings/sec, 2855 secs
lola: 9 tries, 8910482 fired transitions, 2860 secs || 1 markings, 1 edges, 0 markings/sec, 2860 secs
lola: 9 tries, 8925880 fired transitions, 2865 secs || 1 markings, 1 edges, 0 markings/sec, 2865 secs
lola: 9 tries, 8941303 fired transitions, 2870 secs || 1 markings, 1 edges, 0 markings/sec, 2870 secs
lola: 9 tries, 8956710 fired transitions, 2875 secs || 1 markings, 1 edges, 0 markings/sec, 2875 secs
lola: 9 tries, 8972139 fired transitions, 2880 secs || 1 markings, 1 edges, 0 markings/sec, 2880 secs
lola: 9 tries, 8987546 fired transitions, 2885 secs || 1 markings, 1 edges, 0 markings/sec, 2885 secs
lola: 10 tries, 9002971 fired transitions, 2890 secs || 1 markings, 1 edges, 0 markings/sec, 2890 secs
lola: 10 tries, 9018391 fired transitions, 2895 secs || 1 markings, 1 edges, 0 markings/sec, 2895 secs
lola: 10 tries, 9033808 fired transitions, 2900 secs || 1 markings, 1 edges, 0 markings/sec, 2900 secs
lola: 10 tries, 9049215 fired transitions, 2905 secs || 1 markings, 1 edges, 0 markings/sec, 2905 secs
lola: 10 tries, 9064637 fired transitions, 2910 secs || 1 markings, 1 edges, 0 markings/sec, 2910 secs
lola: 10 tries, 9080052 fired transitions, 2915 secs || 1 markings, 1 edges, 0 markings/sec, 2915 secs
lola: 10 tries, 9095469 fired transitions, 2920 secs || 1 markings, 1 edges, 0 markings/sec, 2920 secs
lola: 10 tries, 9110884 fired transitions, 2925 secs || 1 markings, 1 edges, 0 markings/sec, 2925 secs
lola: 10 tries, 9126303 fired transitions, 2930 secs || 1 markings, 1 edges, 0 markings/sec, 2930 secs
lola: 10 tries, 9141720 fired transitions, 2935 secs || 1 markings, 1 edges, 0 markings/sec, 2935 secs
lola: 10 tries, 9157140 fired transitions, 2940 secs || 1 markings, 1 edges, 0 markings/sec, 2940 secs
lola: 10 tries, 9172551 fired transitions, 2945 secs || 1 markings, 1 edges, 0 markings/sec, 2945 secs
lola: 10 tries, 9187964 fired transitions, 2950 secs || 1 markings, 1 edges, 0 markings/sec, 2950 secs
lola: 10 tries, 9203382 fired transitions, 2955 secs || 1 markings, 1 edges, 0 markings/sec, 2955 secs
lola: 10 tries, 9218792 fired transitions, 2960 secs || 1 markings, 1 edges, 0 markings/sec, 2960 secs
lola: 10 tries, 9234214 fired transitions, 2965 secs || 1 markings, 1 edges, 0 markings/sec, 2965 secs
lola: 10 tries, 9249626 fired transitions, 2970 secs || 1 markings, 1 edges, 0 markings/sec, 2970 secs
lola: 10 tries, 9265045 fired transitions, 2975 secs || 1 markings, 1 edges, 0 markings/sec, 2975 secs
lola: 10 tries, 9280447 fired transitions, 2980 secs || 1 markings, 1 edges, 0 markings/sec, 2980 secs
lola: 10 tries, 9295870 fired transitions, 2985 secs || 1 markings, 1 edges, 0 markings/sec, 2985 secs
lola: 10 tries, 9311284 fired transitions, 2990 secs || 1 markings, 1 edges, 0 markings/sec, 2990 secs
lola: 10 tries, 9326696 fired transitions, 2995 secs || 1 markings, 1 edges, 0 markings/sec, 2995 secs
lola: 10 tries, 9342114 fired transitions, 3000 secs || 1 markings, 1 edges, 0 markings/sec, 3000 secs
lola: 10 tries, 9357516 fired transitions, 3005 secs || 1 markings, 1 edges, 0 markings/sec, 3005 secs
lola: 10 tries, 9372924 fired transitions, 3010 secs || 1 markings, 1 edges, 0 markings/sec, 3010 secs
lola: 10 tries, 9388347 fired transitions, 3015 secs || 1 markings, 1 edges, 0 markings/sec, 3015 secs
lola: 10 tries, 9403760 fired transitions, 3020 secs || 1 markings, 1 edges, 0 markings/sec, 3020 secs
lola: 10 tries, 9419087 fired transitions, 3025 secs || 1 markings, 1 edges, 0 markings/sec, 3025 secs
lola: 10 tries, 9434673 fired transitions, 3030 secs || 1 markings, 1 edges, 0 markings/sec, 3030 secs
lola: 10 tries, 9450264 fired transitions, 3035 secs || 1 markings, 1 edges, 0 markings/sec, 3035 secs
lola: 10 tries, 9465864 fired transitions, 3040 secs || 1 markings, 1 edges, 0 markings/sec, 3040 secs
lola: 10 tries, 9481474 fired transitions, 3045 secs || 1 markings, 1 edges, 0 markings/sec, 3045 secs
lola: 10 tries, 9497088 fired transitions, 3050 secs || 1 markings, 1 edges, 0 markings/sec, 3050 secs
lola: 10 tries, 9512657 fired transitions, 3055 secs || 1 markings, 1 edges, 0 markings/sec, 3055 secs
lola: 10 tries, 9528223 fired transitions, 3060 secs || 1 markings, 1 edges, 0 markings/sec, 3060 secs
lola: 10 tries, 9543804 fired transitions, 3065 secs || 1 markings, 1 edges, 0 markings/sec, 3065 secs
lola: 10 tries, 9559410 fired transitions, 3070 secs || 1 markings, 1 edges, 0 markings/sec, 3070 secs
lola: 10 tries, 9575021 fired transitions, 3075 secs || 1 markings, 1 edges, 0 markings/sec, 3075 secs
lola: 10 tries, 9590625 fired transitions, 3080 secs || 1 markings, 1 edges, 0 markings/sec, 3080 secs
lola: 10 tries, 9606223 fired transitions, 3085 secs || 1 markings, 1 edges, 0 markings/sec, 3085 secs
lola: 10 tries, 9621822 fired transitions, 3090 secs || 1 markings, 1 edges, 0 markings/sec, 3090 secs
lola: 10 tries, 9637402 fired transitions, 3095 secs || 1 markings, 1 edges, 0 markings/sec, 3095 secs
lola: 10 tries, 9653004 fired transitions, 3100 secs || 1 markings, 1 edges, 0 markings/sec, 3100 secs
lola: 10 tries, 9668590 fired transitions, 3105 secs || 1 markings, 1 edges, 0 markings/sec, 3105 secs
lola: 10 tries, 9684194 fired transitions, 3110 secs || 1 markings, 1 edges, 0 markings/sec, 3110 secs
lola: 10 tries, 9699798 fired transitions, 3115 secs || 1 markings, 1 edges, 0 markings/sec, 3115 secs
lola: 10 tries, 9715398 fired transitions, 3120 secs || 1 markings, 1 edges, 0 markings/sec, 3120 secs
lola: 10 tries, 9730951 fired transitions, 3125 secs || 1 markings, 1 edges, 0 markings/sec, 3125 secs
lola: 10 tries, 9746535 fired transitions, 3130 secs || 1 markings, 1 edges, 0 markings/sec, 3130 secs
lola: 10 tries, 9762118 fired transitions, 3135 secs || 1 markings, 1 edges, 0 markings/sec, 3135 secs
lola: 10 tries, 9777720 fired transitions, 3140 secs || 1 markings, 1 edges, 0 markings/sec, 3140 secs
lola: 10 tries, 9793333 fired transitions, 3145 secs || 1 markings, 1 edges, 0 markings/sec, 3145 secs
lola: 10 tries, 9808943 fired transitions, 3150 secs || 1 markings, 1 edges, 0 markings/sec, 3150 secs
lola: 10 tries, 9824520 fired transitions, 3155 secs || 1 markings, 1 edges, 0 markings/sec, 3155 secs
lola: 10 tries, 9840096 fired transitions, 3160 secs || 1 markings, 1 edges, 0 markings/sec, 3160 secs
lola: 10 tries, 9855463 fired transitions, 3165 secs || 1 markings, 1 edges, 0 markings/sec, 3165 secs
lola: 10 tries, 9871021 fired transitions, 3170 secs || 1 markings, 1 edges, 0 markings/sec, 3170 secs
lola: 10 tries, 9886615 fired transitions, 3175 secs || 1 markings, 1 edges, 0 markings/sec, 3175 secs
lola: 10 tries, 9901745 fired transitions, 3180 secs || 1 markings, 1 edges, 0 markings/sec, 3180 secs
lola: 10 tries, 9916736 fired transitions, 3185 secs || 1 markings, 1 edges, 0 markings/sec, 3185 secs
lola: 10 tries, 9932313 fired transitions, 3190 secs || 1 markings, 1 edges, 0 markings/sec, 3190 secs
lola: 10 tries, 9947890 fired transitions, 3195 secs || 1 markings, 1 edges, 0 markings/sec, 3195 secs
lola: 10 tries, 9963477 fired transitions, 3200 secs || 1 markings, 1 edges, 0 markings/sec, 3200 secs
lola: 10 tries, 9979072 fired transitions, 3205 secs || 1 markings, 1 edges, 0 markings/sec, 3205 secs
lola: 10 tries, 9994668 fired transitions, 3210 secs || 1 markings, 1 edges, 0 markings/sec, 3210 secs
lola: 11 tries, 10009645 fired transitions, 3215 secs || 1 markings, 1 edges, 0 markings/sec, 3215 secs
lola: 11 tries, 10024567 fired transitions, 3220 secs || 1 markings, 1 edges, 0 markings/sec, 3220 secs
lola: 11 tries, 10040023 fired transitions, 3225 secs || 1 markings, 1 edges, 0 markings/sec, 3225 secs
lola: 11 tries, 10055533 fired transitions, 3230 secs || 1 markings, 1 edges, 0 markings/sec, 3230 secs
lola: 11 tries, 10070874 fired transitions, 3235 secs || 1 markings, 1 edges, 0 markings/sec, 3235 secs
lola: 11 tries, 10086504 fired transitions, 3240 secs || 1 markings, 1 edges, 0 markings/sec, 3240 secs
lola: 11 tries, 10102096 fired transitions, 3245 secs || 1 markings, 1 edges, 0 markings/sec, 3245 secs
lola: 11 tries, 10117735 fired transitions, 3250 secs || 1 markings, 1 edges, 0 markings/sec, 3250 secs
lola: 11 tries, 10133363 fired transitions, 3255 secs || 1 markings, 1 edges, 0 markings/sec, 3255 secs
lola: 11 tries, 10148965 fired transitions, 3260 secs || 1 markings, 1 edges, 0 markings/sec, 3260 secs
lola: 11 tries, 10164615 fired transitions, 3265 secs || 1 markings, 1 edges, 0 markings/sec, 3265 secs
lola: 11 tries, 10180241 fired transitions, 3270 secs || 1 markings, 1 edges, 0 markings/sec, 3270 secs
lola: 11 tries, 10195305 fired transitions, 3275 secs || 1 markings, 1 edges, 0 markings/sec, 3275 secs
lola: 11 tries, 10210221 fired transitions, 3280 secs || 1 markings, 1 edges, 0 markings/sec, 3280 secs
lola: 11 tries, 10225124 fired transitions, 3285 secs || 1 markings, 1 edges, 0 markings/sec, 3285 secs
lola: 11 tries, 10240631 fired transitions, 3290 secs || 1 markings, 1 edges, 0 markings/sec, 3290 secs
lola: 11 tries, 10256193 fired transitions, 3295 secs || 1 markings, 1 edges, 0 markings/sec, 3295 secs
lola: 11 tries, 10271753 fired transitions, 3300 secs || 1 markings, 1 edges, 0 markings/sec, 3300 secs
lola: 11 tries, 10287317 fired transitions, 3305 secs || 1 markings, 1 edges, 0 markings/sec, 3305 secs
lola: 11 tries, 10302933 fired transitions, 3310 secs || 1 markings, 1 edges, 0 markings/sec, 3310 secs
lola: 11 tries, 10318579 fired transitions, 3315 secs || 1 markings, 1 edges, 0 markings/sec, 3315 secs
lola: 11 tries, 10334098 fired transitions, 3320 secs || 1 markings, 1 edges, 0 markings/sec, 3320 secs
lola: 11 tries, 10349610 fired transitions, 3325 secs || 1 markings, 1 edges, 0 markings/sec, 3325 secs
lola: 11 tries, 10365176 fired transitions, 3330 secs || 1 markings, 1 edges, 0 markings/sec, 3330 secs
lola: 11 tries, 10380698 fired transitions, 3335 secs || 1 markings, 1 edges, 0 markings/sec, 3335 secs
lola: 11 tries, 10396214 fired transitions, 3340 secs || 1 markings, 1 edges, 0 markings/sec, 3340 secs
lola: 11 tries, 10411774 fired transitions, 3345 secs || 1 markings, 1 edges, 0 markings/sec, 3345 secs
lola: 11 tries, 10427426 fired transitions, 3350 secs || 1 markings, 1 edges, 0 markings/sec, 3350 secs
lola: 11 tries, 10443068 fired transitions, 3355 secs || 1 markings, 1 edges, 0 markings/sec, 3355 secs
lola: 11 tries, 10458697 fired transitions, 3360 secs || 1 markings, 1 edges, 0 markings/sec, 3360 secs
lola: 11 tries, 10474316 fired transitions, 3365 secs || 1 markings, 1 edges, 0 markings/sec, 3365 secs
lola: 11 tries, 10489946 fired transitions, 3370 secs || 1 markings, 1 edges, 0 markings/sec, 3370 secs
lola: 11 tries, 10505593 fired transitions, 3375 secs || 1 markings, 1 edges, 0 markings/sec, 3375 secs
lola: 11 tries, 10520871 fired transitions, 3380 secs || 1 markings, 1 edges, 0 markings/sec, 3380 secs
lola: 11 tries, 10536323 fired transitions, 3385 secs || 1 markings, 1 edges, 0 markings/sec, 3385 secs
lola: 11 tries, 10551769 fired transitions, 3390 secs || 1 markings, 1 edges, 0 markings/sec, 3390 secs
lola: 11 tries, 10567185 fired transitions, 3395 secs || 1 markings, 1 edges, 0 markings/sec, 3395 secs
lola: 11 tries, 10582606 fired transitions, 3400 secs || 1 markings, 1 edges, 0 markings/sec, 3400 secs
lola: 11 tries, 10598045 fired transitions, 3405 secs || 1 markings, 1 edges, 0 markings/sec, 3405 secs
lola: 11 tries, 10613395 fired transitions, 3410 secs || 1 markings, 1 edges, 0 markings/sec, 3410 secs
lola: 11 tries, 10628836 fired transitions, 3415 secs || 1 markings, 1 edges, 0 markings/sec, 3415 secs
lola: 11 tries, 10643894 fired transitions, 3420 secs || 1 markings, 1 edges, 0 markings/sec, 3420 secs
lola: 11 tries, 10658585 fired transitions, 3425 secs || 1 markings, 1 edges, 0 markings/sec, 3425 secs
lola: 11 tries, 10673284 fired transitions, 3430 secs || 1 markings, 1 edges, 0 markings/sec, 3430 secs
lola: 11 tries, 10687974 fired transitions, 3435 secs || 1 markings, 1 edges, 0 markings/sec, 3435 secs
lola: 11 tries, 10703159 fired transitions, 3440 secs || 1 markings, 1 edges, 0 markings/sec, 3440 secs
lola: 11 tries, 10718548 fired transitions, 3445 secs || 1 markings, 1 edges, 0 markings/sec, 3445 secs
lola: 11 tries, 10734077 fired transitions, 3450 secs || 1 markings, 1 edges, 0 markings/sec, 3450 secs
lola: 11 tries, 10749616 fired transitions, 3455 secs || 1 markings, 1 edges, 0 markings/sec, 3455 secs
lola: 11 tries, 10765135 fired transitions, 3460 secs || 1 markings, 1 edges, 0 markings/sec, 3460 secs
lola: 11 tries, 10780673 fired transitions, 3465 secs || 1 markings, 1 edges, 0 markings/sec, 3465 secs
lola: 11 tries, 10795458 fired transitions, 3470 secs || 1 markings, 1 edges, 0 markings/sec, 3470 secs
lola: 11 tries, 10810596 fired transitions, 3475 secs || 1 markings, 1 edges, 0 markings/sec, 3475 secs
lola: 11 tries, 10826022 fired transitions, 3480 secs || 1 markings, 1 edges, 0 markings/sec, 3480 secs
lola: 11 tries, 10841455 fired transitions, 3485 secs || 1 markings, 1 edges, 0 markings/sec, 3485 secs
lola: 11 tries, 10856893 fired transitions, 3490 secs || 1 markings, 1 edges, 0 markings/sec, 3490 secs
lola: 11 tries, 10872334 fired transitions, 3495 secs || 1 markings, 1 edges, 0 markings/sec, 3495 secs
lola: 11 tries, 10887794 fired transitions, 3500 secs || 1 markings, 1 edges, 0 markings/sec, 3500 secs
lola: 11 tries, 10903243 fired transitions, 3505 secs || 1 markings, 1 edges, 0 markings/sec, 3505 secs
lola: 11 tries, 10918699 fired transitions, 3510 secs || 1 markings, 1 edges, 0 markings/sec, 3510 secs
lola: 11 tries, 10934165 fired transitions, 3515 secs || 1 markings, 1 edges, 0 markings/sec, 3515 secs
lola: 11 tries, 10949612 fired transitions, 3520 secs || 1 markings, 1 edges, 0 markings/sec, 3520 secs
lola: 11 tries, 10965068 fired transitions, 3525 secs || 1 markings, 1 edges, 0 markings/sec, 3525 secs
lola: 11 tries, 10980507 fired transitions, 3530 secs || 1 markings, 1 edges, 0 markings/sec, 3530 secs
lola: 11 tries, 10995946 fired transitions, 3535 secs || 1 markings, 1 edges, 0 markings/sec, 3535 secs
lola: 12 tries, 11011397 fired transitions, 3540 secs || 1 markings, 1 edges, 0 markings/sec, 3540 secs
lola: 12 tries, 11026846 fired transitions, 3545 secs || 1 markings, 1 edges, 0 markings/sec, 3545 secs
lola: 12 tries, 11042289 fired transitions, 3550 secs || 1 markings, 1 edges, 0 markings/sec, 3550 secs
lola: 12 tries, 11057733 fired transitions, 3555 secs || 1 markings, 1 edges, 0 markings/sec, 3555 secs
lola: 12 tries, 11073181 fired transitions, 3560 secs || 1 markings, 1 edges, 0 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 99128 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished
BK_STOP 1552949953879
--------------------
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="PolyORBLF-COL-S04J06T08"
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-3957"
echo " Executing tool lola"
echo " Input is PolyORBLF-COL-S04J06T08, 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 r115-smll-155272315600174"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S04J06T08.tgz
mv PolyORBLF-COL-S04J06T08 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 ;