About the Execution of LoLA for SafeBus-COL-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4367.480 | 3570120.00 | 7230215.00 | 382.60 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2019-input.r159-csrt-155286430400039.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off 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 SafeBus-COL-20, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r159-csrt-155286430400039
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 3.8K Feb 12 15:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 12 15:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 8 18:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 8 18:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 101 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 339 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.2K Feb 5 01:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.7K Feb 5 01:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.6K Feb 4 22:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Feb 4 17:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 4 17:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 1 14:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Feb 1 14:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 equiv_pt
-rw-r--r-- 1 mcc users 3 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 42K 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 SafeBus-COL-20-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1552933291959
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ SafeBus-COL-20 @ 3570 seconds
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ SafeBus-COL-20
{
"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 18:21:32 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 347100,
"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": 77544,
"conflict_clusters": 2,
"places": 1046,
"places_significant": 941,
"singleton_clusters": 0,
"transitions": 10501
},
"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": 2432902008176640000.000000,
"composed": 156,
"dead_branches": 0,
"generators": 190,
"interrupted": false,
"real_computed": 34,
"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: 1046, Transitions: 10501
lola: @ trans C_free
lola: @ trans C_refuse
lola: @ trans I_refused
lola: @ trans C_provide
lola: @ trans Gto
lola: @ trans I_ask1
lola: @ trans loss_m
lola: @ trans I_rec1
lola: @ trans I_rec2
lola: @ trans I_emit
lola: @ trans I_ask2
lola: @ trans I_reemit
lola: @ trans I_free
lola: @ trans loss_a
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 11547/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 33472
lola: finding significant places
lola: 1046 places, 10501 transitions, 941 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 190 generators (34 in search tree, 156 by composition)
lola: representing 2.4329E+18 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 686 fired transitions, 0 secs || 599 markings, 654 edges, 120 markings/sec, 0 secs
lola: 1 tries, 1396 fired transitions, 5 secs || 1318 markings, 1500 edges, 144 markings/sec, 5 secs
lola: 1 tries, 2103 fired transitions, 10 secs || 2011 markings, 2351 edges, 139 markings/sec, 10 secs
lola: 1 tries, 2807 fired transitions, 15 secs || 2704 markings, 3139 edges, 139 markings/sec, 15 secs
lola: 1 tries, 3496 fired transitions, 20 secs || 3391 markings, 3958 edges, 137 markings/sec, 20 secs
lola: 1 tries, 4190 fired transitions, 25 secs || 4071 markings, 4824 edges, 136 markings/sec, 25 secs
lola: 1 tries, 4890 fired transitions, 30 secs || 4770 markings, 5719 edges, 140 markings/sec, 30 secs
lola: 1 tries, 5590 fired transitions, 35 secs || 5463 markings, 6614 edges, 139 markings/sec, 35 secs
lola: 1 tries, 6272 fired transitions, 40 secs || 6153 markings, 7506 edges, 138 markings/sec, 40 secs
lola: 1 tries, 6973 fired transitions, 45 secs || 6857 markings, 8474 edges, 141 markings/sec, 45 secs
lola: 1 tries, 7672 fired transitions, 50 secs || 7555 markings, 9421 edges, 140 markings/sec, 50 secs
lola: 1 tries, 8379 fired transitions, 55 secs || 8241 markings, 10353 edges, 137 markings/sec, 55 secs
lola: 1 tries, 9079 fired transitions, 60 secs || 8945 markings, 11368 edges, 141 markings/sec, 60 secs
lola: 1 tries, 9780 fired transitions, 65 secs || 9648 markings, 12356 edges, 141 markings/sec, 65 secs
lola: 1 tries, 10449 fired transitions, 70 secs || 10353 markings, 13391 edges, 141 markings/sec, 70 secs
lola: 1 tries, 11147 fired transitions, 75 secs || 11039 markings, 14419 edges, 137 markings/sec, 75 secs
lola: 1 tries, 11851 fired transitions, 80 secs || 11740 markings, 15539 edges, 140 markings/sec, 80 secs
lola: 1 tries, 12520 fired transitions, 85 secs || 12463 markings, 16585 edges, 145 markings/sec, 85 secs
lola: 1 tries, 13210 fired transitions, 90 secs || 13161 markings, 17660 edges, 140 markings/sec, 90 secs
lola: 1 tries, 13915 fired transitions, 95 secs || 13890 markings, 18721 edges, 146 markings/sec, 95 secs
lola: 1 tries, 14603 fired transitions, 100 secs || 14577 markings, 19804 edges, 137 markings/sec, 100 secs
lola: 1 tries, 15300 fired transitions, 105 secs || 15276 markings, 20851 edges, 140 markings/sec, 105 secs
lola: 1 tries, 16007 fired transitions, 110 secs || 15960 markings, 21904 edges, 137 markings/sec, 110 secs
lola: 1 tries, 16705 fired transitions, 115 secs || 16663 markings, 22901 edges, 141 markings/sec, 115 secs
lola: 1 tries, 17408 fired transitions, 120 secs || 17359 markings, 23983 edges, 139 markings/sec, 120 secs
lola: 1 tries, 18117 fired transitions, 125 secs || 18052 markings, 25023 edges, 139 markings/sec, 125 secs
lola: 1 tries, 18818 fired transitions, 130 secs || 18737 markings, 26072 edges, 137 markings/sec, 130 secs
lola: 1 tries, 19503 fired transitions, 135 secs || 19422 markings, 27125 edges, 137 markings/sec, 135 secs
lola: 1 tries, 20206 fired transitions, 140 secs || 20097 markings, 28134 edges, 135 markings/sec, 140 secs
lola: 1 tries, 20890 fired transitions, 145 secs || 20776 markings, 29151 edges, 136 markings/sec, 145 secs
lola: 1 tries, 21586 fired transitions, 150 secs || 21442 markings, 30199 edges, 133 markings/sec, 150 secs
lola: 1 tries, 22287 fired transitions, 155 secs || 22124 markings, 31288 edges, 136 markings/sec, 155 secs
lola: 1 tries, 22990 fired transitions, 160 secs || 22802 markings, 32333 edges, 136 markings/sec, 160 secs
lola: 1 tries, 23692 fired transitions, 165 secs || 23475 markings, 33383 edges, 135 markings/sec, 165 secs
lola: 1 tries, 24391 fired transitions, 170 secs || 24148 markings, 34446 edges, 135 markings/sec, 170 secs
lola: 1 tries, 25085 fired transitions, 175 secs || 24828 markings, 35540 edges, 136 markings/sec, 175 secs
lola: 1 tries, 25784 fired transitions, 180 secs || 25493 markings, 36679 edges, 133 markings/sec, 180 secs
lola: 1 tries, 26477 fired transitions, 185 secs || 26174 markings, 37771 edges, 136 markings/sec, 185 secs
lola: 1 tries, 27183 fired transitions, 190 secs || 26873 markings, 38868 edges, 140 markings/sec, 190 secs
lola: 1 tries, 27878 fired transitions, 195 secs || 27573 markings, 39976 edges, 140 markings/sec, 195 secs
lola: 1 tries, 28574 fired transitions, 200 secs || 28292 markings, 40961 edges, 144 markings/sec, 200 secs
lola: 1 tries, 29269 fired transitions, 205 secs || 28982 markings, 42069 edges, 138 markings/sec, 205 secs
lola: 1 tries, 29960 fired transitions, 210 secs || 29667 markings, 43208 edges, 137 markings/sec, 210 secs
lola: 1 tries, 30655 fired transitions, 215 secs || 30357 markings, 44317 edges, 138 markings/sec, 215 secs
lola: 1 tries, 31339 fired transitions, 220 secs || 31049 markings, 45474 edges, 138 markings/sec, 220 secs
lola: 1 tries, 32037 fired transitions, 225 secs || 31751 markings, 46679 edges, 140 markings/sec, 225 secs
lola: 1 tries, 32734 fired transitions, 230 secs || 32453 markings, 47638 edges, 140 markings/sec, 230 secs
lola: 1 tries, 33435 fired transitions, 235 secs || 33132 markings, 48739 edges, 136 markings/sec, 235 secs
lola: 1 tries, 34127 fired transitions, 240 secs || 33823 markings, 49743 edges, 138 markings/sec, 240 secs
lola: 1 tries, 34824 fired transitions, 245 secs || 34538 markings, 50741 edges, 143 markings/sec, 245 secs
lola: 1 tries, 35521 fired transitions, 250 secs || 35210 markings, 51890 edges, 134 markings/sec, 250 secs
lola: 1 tries, 36210 fired transitions, 255 secs || 35885 markings, 53001 edges, 135 markings/sec, 255 secs
lola: 1 tries, 36900 fired transitions, 260 secs || 36571 markings, 54029 edges, 137 markings/sec, 260 secs
lola: 1 tries, 37580 fired transitions, 265 secs || 37250 markings, 55130 edges, 136 markings/sec, 265 secs
lola: 1 tries, 38276 fired transitions, 270 secs || 37925 markings, 56181 edges, 135 markings/sec, 270 secs
lola: 1 tries, 38975 fired transitions, 275 secs || 38615 markings, 57227 edges, 138 markings/sec, 275 secs
lola: 1 tries, 39682 fired transitions, 280 secs || 39300 markings, 58369 edges, 137 markings/sec, 280 secs
lola: 1 tries, 40383 fired transitions, 285 secs || 40008 markings, 59593 edges, 142 markings/sec, 285 secs
lola: 1 tries, 41102 fired transitions, 290 secs || 40720 markings, 60751 edges, 142 markings/sec, 290 secs
lola: 1 tries, 41811 fired transitions, 295 secs || 41423 markings, 61798 edges, 141 markings/sec, 295 secs
lola: 1 tries, 42530 fired transitions, 300 secs || 42124 markings, 62980 edges, 140 markings/sec, 300 secs
lola: 1 tries, 43230 fired transitions, 305 secs || 42821 markings, 64144 edges, 139 markings/sec, 305 secs
lola: 1 tries, 43932 fired transitions, 310 secs || 43518 markings, 65253 edges, 139 markings/sec, 310 secs
lola: 1 tries, 44627 fired transitions, 315 secs || 44220 markings, 66314 edges, 140 markings/sec, 315 secs
lola: 1 tries, 45339 fired transitions, 320 secs || 44922 markings, 67314 edges, 140 markings/sec, 320 secs
lola: 1 tries, 46040 fired transitions, 325 secs || 45633 markings, 68350 edges, 142 markings/sec, 325 secs
lola: 1 tries, 46748 fired transitions, 330 secs || 46331 markings, 69278 edges, 140 markings/sec, 330 secs
lola: 1 tries, 47445 fired transitions, 335 secs || 47027 markings, 70510 edges, 139 markings/sec, 335 secs
lola: 1 tries, 48140 fired transitions, 340 secs || 47706 markings, 71676 edges, 136 markings/sec, 340 secs
lola: 1 tries, 48842 fired transitions, 345 secs || 48406 markings, 72736 edges, 140 markings/sec, 345 secs
lola: 1 tries, 49561 fired transitions, 350 secs || 49115 markings, 73776 edges, 142 markings/sec, 350 secs
lola: 1 tries, 50271 fired transitions, 355 secs || 49815 markings, 74733 edges, 140 markings/sec, 355 secs
lola: 1 tries, 50969 fired transitions, 360 secs || 50484 markings, 75871 edges, 134 markings/sec, 360 secs
lola: 1 tries, 51667 fired transitions, 365 secs || 51154 markings, 77010 edges, 134 markings/sec, 365 secs
lola: 1 tries, 52356 fired transitions, 370 secs || 51815 markings, 78121 edges, 132 markings/sec, 370 secs
lola: 1 tries, 53034 fired transitions, 375 secs || 52488 markings, 79264 edges, 135 markings/sec, 375 secs
lola: 1 tries, 53719 fired transitions, 380 secs || 53163 markings, 80387 edges, 135 markings/sec, 380 secs
lola: 1 tries, 54442 fired transitions, 385 secs || 53850 markings, 81670 edges, 137 markings/sec, 385 secs
lola: 1 tries, 55163 fired transitions, 390 secs || 54564 markings, 82589 edges, 143 markings/sec, 390 secs
lola: 1 tries, 55884 fired transitions, 395 secs || 55279 markings, 83600 edges, 143 markings/sec, 395 secs
lola: 1 tries, 56600 fired transitions, 400 secs || 55972 markings, 84713 edges, 139 markings/sec, 400 secs
lola: 1 tries, 57332 fired transitions, 405 secs || 56695 markings, 85766 edges, 145 markings/sec, 405 secs
lola: 1 tries, 58055 fired transitions, 410 secs || 57398 markings, 86831 edges, 141 markings/sec, 410 secs
lola: 1 tries, 58778 fired transitions, 415 secs || 58112 markings, 88004 edges, 143 markings/sec, 415 secs
lola: 1 tries, 59502 fired transitions, 420 secs || 58830 markings, 89125 edges, 144 markings/sec, 420 secs
lola: 1 tries, 60232 fired transitions, 425 secs || 59539 markings, 90350 edges, 142 markings/sec, 425 secs
lola: 1 tries, 60962 fired transitions, 430 secs || 60273 markings, 91434 edges, 147 markings/sec, 430 secs
lola: 1 tries, 61683 fired transitions, 435 secs || 60992 markings, 92579 edges, 144 markings/sec, 435 secs
lola: 1 tries, 62419 fired transitions, 440 secs || 61703 markings, 93671 edges, 142 markings/sec, 440 secs
lola: 1 tries, 63138 fired transitions, 445 secs || 62417 markings, 94748 edges, 143 markings/sec, 445 secs
lola: 1 tries, 63858 fired transitions, 450 secs || 63133 markings, 95989 edges, 143 markings/sec, 450 secs
lola: 1 tries, 64585 fired transitions, 455 secs || 63852 markings, 97165 edges, 144 markings/sec, 455 secs
lola: 1 tries, 65294 fired transitions, 460 secs || 64564 markings, 98254 edges, 142 markings/sec, 460 secs
lola: 1 tries, 66014 fired transitions, 465 secs || 65267 markings, 99464 edges, 141 markings/sec, 465 secs
lola: 1 tries, 66709 fired transitions, 470 secs || 65946 markings, 100635 edges, 136 markings/sec, 470 secs
lola: 1 tries, 67413 fired transitions, 475 secs || 66633 markings, 101687 edges, 137 markings/sec, 475 secs
lola: 1 tries, 68148 fired transitions, 480 secs || 67347 markings, 102747 edges, 143 markings/sec, 480 secs
lola: 1 tries, 68875 fired transitions, 485 secs || 68056 markings, 103721 edges, 142 markings/sec, 485 secs
lola: 1 tries, 69598 fired transitions, 490 secs || 68766 markings, 104812 edges, 142 markings/sec, 490 secs
lola: 1 tries, 70320 fired transitions, 495 secs || 69481 markings, 106033 edges, 143 markings/sec, 495 secs
lola: 1 tries, 71028 fired transitions, 500 secs || 70207 markings, 107295 edges, 145 markings/sec, 500 secs
lola: 1 tries, 71732 fired transitions, 505 secs || 70911 markings, 108492 edges, 141 markings/sec, 505 secs
lola: 1 tries, 72451 fired transitions, 510 secs || 71614 markings, 109595 edges, 141 markings/sec, 510 secs
lola: 1 tries, 73179 fired transitions, 515 secs || 72336 markings, 110675 edges, 144 markings/sec, 515 secs
lola: 1 tries, 73906 fired transitions, 520 secs || 73055 markings, 111827 edges, 144 markings/sec, 520 secs
lola: 1 tries, 74616 fired transitions, 525 secs || 73774 markings, 113085 edges, 144 markings/sec, 525 secs
lola: 1 tries, 75340 fired transitions, 530 secs || 74479 markings, 114237 edges, 141 markings/sec, 530 secs
lola: 1 tries, 76055 fired transitions, 535 secs || 75173 markings, 115342 edges, 139 markings/sec, 535 secs
lola: 1 tries, 76756 fired transitions, 540 secs || 75860 markings, 116493 edges, 137 markings/sec, 540 secs
lola: 1 tries, 77461 fired transitions, 545 secs || 76529 markings, 117600 edges, 134 markings/sec, 545 secs
lola: 1 tries, 78181 fired transitions, 550 secs || 77249 markings, 118622 edges, 144 markings/sec, 550 secs
lola: 1 tries, 78907 fired transitions, 555 secs || 77969 markings, 119629 edges, 144 markings/sec, 555 secs
lola: 1 tries, 79626 fired transitions, 560 secs || 78680 markings, 120781 edges, 142 markings/sec, 560 secs
lola: 1 tries, 80330 fired transitions, 565 secs || 79375 markings, 121853 edges, 139 markings/sec, 565 secs
lola: 1 tries, 81042 fired transitions, 570 secs || 80082 markings, 122989 edges, 141 markings/sec, 570 secs
lola: 1 tries, 81761 fired transitions, 575 secs || 80801 markings, 124227 edges, 144 markings/sec, 575 secs
lola: 1 tries, 82477 fired transitions, 580 secs || 81506 markings, 125409 edges, 141 markings/sec, 580 secs
lola: 1 tries, 83214 fired transitions, 585 secs || 82245 markings, 126630 edges, 148 markings/sec, 585 secs
lola: 1 tries, 83939 fired transitions, 590 secs || 82952 markings, 127780 edges, 141 markings/sec, 590 secs
lola: 1 tries, 84660 fired transitions, 595 secs || 83681 markings, 128922 edges, 146 markings/sec, 595 secs
lola: 1 tries, 85387 fired transitions, 600 secs || 84413 markings, 130059 edges, 146 markings/sec, 600 secs
lola: 1 tries, 86114 fired transitions, 605 secs || 85127 markings, 131225 edges, 143 markings/sec, 605 secs
lola: 1 tries, 86821 fired transitions, 610 secs || 85818 markings, 132424 edges, 138 markings/sec, 610 secs
lola: 1 tries, 87531 fired transitions, 615 secs || 86516 markings, 133610 edges, 140 markings/sec, 615 secs
lola: 1 tries, 88246 fired transitions, 620 secs || 87218 markings, 134769 edges, 140 markings/sec, 620 secs
lola: 1 tries, 88954 fired transitions, 625 secs || 87917 markings, 135789 edges, 140 markings/sec, 625 secs
lola: 1 tries, 89666 fired transitions, 630 secs || 88620 markings, 137047 edges, 141 markings/sec, 630 secs
lola: 1 tries, 90349 fired transitions, 635 secs || 89318 markings, 138206 edges, 140 markings/sec, 635 secs
lola: 1 tries, 91080 fired transitions, 640 secs || 90031 markings, 139435 edges, 143 markings/sec, 640 secs
lola: 1 tries, 91780 fired transitions, 645 secs || 90767 markings, 140736 edges, 147 markings/sec, 645 secs
lola: 1 tries, 92488 fired transitions, 650 secs || 91475 markings, 141931 edges, 142 markings/sec, 650 secs
lola: 1 tries, 93219 fired transitions, 655 secs || 92156 markings, 143123 edges, 136 markings/sec, 655 secs
lola: 1 tries, 93939 fired transitions, 660 secs || 92828 markings, 144327 edges, 134 markings/sec, 660 secs
lola: 1 tries, 94649 fired transitions, 665 secs || 93526 markings, 145565 edges, 140 markings/sec, 665 secs
lola: 1 tries, 95359 fired transitions, 670 secs || 94217 markings, 146761 edges, 138 markings/sec, 670 secs
lola: 1 tries, 96091 fired transitions, 675 secs || 94934 markings, 147996 edges, 143 markings/sec, 675 secs
lola: 1 tries, 96825 fired transitions, 680 secs || 95647 markings, 149123 edges, 143 markings/sec, 680 secs
lola: 1 tries, 97521 fired transitions, 685 secs || 96317 markings, 150336 edges, 134 markings/sec, 685 secs
lola: 1 tries, 98253 fired transitions, 690 secs || 97009 markings, 151609 edges, 138 markings/sec, 690 secs
lola: 1 tries, 98949 fired transitions, 695 secs || 97711 markings, 152802 edges, 140 markings/sec, 695 secs
lola: 1 tries, 99664 fired transitions, 700 secs || 98414 markings, 154200 edges, 141 markings/sec, 700 secs
lola: 1 tries, 100374 fired transitions, 705 secs || 99104 markings, 155390 edges, 138 markings/sec, 705 secs
lola: 1 tries, 101060 fired transitions, 710 secs || 99788 markings, 156490 edges, 137 markings/sec, 710 secs
lola: 1 tries, 101750 fired transitions, 715 secs || 100472 markings, 157716 edges, 137 markings/sec, 715 secs
lola: 1 tries, 102452 fired transitions, 720 secs || 101168 markings, 158921 edges, 139 markings/sec, 720 secs
lola: 1 tries, 103147 fired transitions, 725 secs || 101860 markings, 160077 edges, 138 markings/sec, 725 secs
lola: 1 tries, 103842 fired transitions, 730 secs || 102545 markings, 161248 edges, 137 markings/sec, 730 secs
lola: 1 tries, 104563 fired transitions, 735 secs || 103238 markings, 162396 edges, 139 markings/sec, 735 secs
lola: 1 tries, 105270 fired transitions, 740 secs || 103909 markings, 163403 edges, 134 markings/sec, 740 secs
lola: 1 tries, 105966 fired transitions, 745 secs || 104611 markings, 164585 edges, 140 markings/sec, 745 secs
lola: 1 tries, 106654 fired transitions, 750 secs || 105310 markings, 165779 edges, 140 markings/sec, 750 secs
lola: 1 tries, 107349 fired transitions, 755 secs || 106006 markings, 167019 edges, 139 markings/sec, 755 secs
lola: 1 tries, 108072 fired transitions, 760 secs || 106710 markings, 168326 edges, 141 markings/sec, 760 secs
lola: 1 tries, 108766 fired transitions, 765 secs || 107405 markings, 169534 edges, 139 markings/sec, 765 secs
lola: 1 tries, 109480 fired transitions, 770 secs || 108093 markings, 170817 edges, 138 markings/sec, 770 secs
lola: 1 tries, 110194 fired transitions, 775 secs || 108798 markings, 172158 edges, 141 markings/sec, 775 secs
lola: 1 tries, 110919 fired transitions, 780 secs || 109487 markings, 173358 edges, 138 markings/sec, 780 secs
lola: 1 tries, 111623 fired transitions, 785 secs || 110165 markings, 174602 edges, 136 markings/sec, 785 secs
lola: 1 tries, 112323 fired transitions, 790 secs || 110829 markings, 175673 edges, 133 markings/sec, 790 secs
lola: 1 tries, 113023 fired transitions, 795 secs || 111539 markings, 176886 edges, 142 markings/sec, 795 secs
lola: 1 tries, 113717 fired transitions, 800 secs || 112239 markings, 178086 edges, 140 markings/sec, 800 secs
lola: 1 tries, 114416 fired transitions, 805 secs || 112942 markings, 179326 edges, 141 markings/sec, 805 secs
lola: 1 tries, 115126 fired transitions, 810 secs || 113655 markings, 180448 edges, 143 markings/sec, 810 secs
lola: 1 tries, 115827 fired transitions, 815 secs || 114386 markings, 181715 edges, 146 markings/sec, 815 secs
lola: 1 tries, 116539 fired transitions, 820 secs || 115059 markings, 183102 edges, 135 markings/sec, 820 secs
lola: 1 tries, 117264 fired transitions, 825 secs || 115753 markings, 184319 edges, 139 markings/sec, 825 secs
lola: 1 tries, 117965 fired transitions, 830 secs || 116439 markings, 185423 edges, 137 markings/sec, 830 secs
lola: 1 tries, 118664 fired transitions, 835 secs || 117114 markings, 186640 edges, 135 markings/sec, 835 secs
lola: 1 tries, 119356 fired transitions, 840 secs || 117800 markings, 187693 edges, 137 markings/sec, 840 secs
lola: 1 tries, 120053 fired transitions, 845 secs || 118492 markings, 188776 edges, 138 markings/sec, 845 secs
lola: 1 tries, 120770 fired transitions, 850 secs || 119198 markings, 189917 edges, 141 markings/sec, 850 secs
lola: 1 tries, 121478 fired transitions, 855 secs || 119895 markings, 191144 edges, 139 markings/sec, 855 secs
lola: 1 tries, 122180 fired transitions, 860 secs || 120580 markings, 192448 edges, 137 markings/sec, 860 secs
lola: 1 tries, 122891 fired transitions, 865 secs || 121269 markings, 193734 edges, 138 markings/sec, 865 secs
lola: 1 tries, 123610 fired transitions, 870 secs || 121961 markings, 195035 edges, 138 markings/sec, 870 secs
lola: 1 tries, 124318 fired transitions, 875 secs || 122666 markings, 196233 edges, 141 markings/sec, 875 secs
lola: 1 tries, 125018 fired transitions, 880 secs || 123369 markings, 197579 edges, 141 markings/sec, 880 secs
lola: 1 tries, 125732 fired transitions, 885 secs || 124089 markings, 198805 edges, 144 markings/sec, 885 secs
lola: 1 tries, 126441 fired transitions, 890 secs || 124806 markings, 200005 edges, 143 markings/sec, 890 secs
lola: 1 tries, 127147 fired transitions, 895 secs || 125529 markings, 201237 edges, 145 markings/sec, 895 secs
lola: 1 tries, 127852 fired transitions, 900 secs || 126241 markings, 202527 edges, 142 markings/sec, 900 secs
lola: 1 tries, 128560 fired transitions, 905 secs || 126947 markings, 203806 edges, 141 markings/sec, 905 secs
lola: 1 tries, 129268 fired transitions, 910 secs || 127639 markings, 205090 edges, 138 markings/sec, 910 secs
lola: 1 tries, 129966 fired transitions, 915 secs || 128344 markings, 206259 edges, 141 markings/sec, 915 secs
lola: 1 tries, 130653 fired transitions, 920 secs || 129059 markings, 207543 edges, 143 markings/sec, 920 secs
lola: 1 tries, 131367 fired transitions, 925 secs || 129747 markings, 208808 edges, 138 markings/sec, 925 secs
lola: 1 tries, 132082 fired transitions, 930 secs || 130440 markings, 210158 edges, 139 markings/sec, 930 secs
lola: 1 tries, 132784 fired transitions, 935 secs || 131132 markings, 211303 edges, 138 markings/sec, 935 secs
lola: 1 tries, 133503 fired transitions, 940 secs || 131837 markings, 212417 edges, 141 markings/sec, 940 secs
lola: 1 tries, 134238 fired transitions, 945 secs || 132563 markings, 213658 edges, 145 markings/sec, 945 secs
lola: 1 tries, 134975 fired transitions, 950 secs || 133246 markings, 214892 edges, 137 markings/sec, 950 secs
lola: 1 tries, 135708 fired transitions, 955 secs || 133940 markings, 216116 edges, 139 markings/sec, 955 secs
lola: 1 tries, 136439 fired transitions, 960 secs || 134635 markings, 217390 edges, 139 markings/sec, 960 secs
lola: 1 tries, 137165 fired transitions, 965 secs || 135343 markings, 218583 edges, 142 markings/sec, 965 secs
lola: 1 tries, 137888 fired transitions, 970 secs || 136040 markings, 219814 edges, 139 markings/sec, 970 secs
lola: 1 tries, 138612 fired transitions, 975 secs || 136749 markings, 221186 edges, 142 markings/sec, 975 secs
lola: 1 tries, 139316 fired transitions, 980 secs || 137459 markings, 222365 edges, 142 markings/sec, 980 secs
lola: 1 tries, 140026 fired transitions, 985 secs || 138166 markings, 223506 edges, 141 markings/sec, 985 secs
lola: 1 tries, 140749 fired transitions, 990 secs || 138905 markings, 224730 edges, 148 markings/sec, 990 secs
lola: 1 tries, 141480 fired transitions, 995 secs || 139629 markings, 225933 edges, 145 markings/sec, 995 secs
lola: 1 tries, 142206 fired transitions, 1000 secs || 140332 markings, 227240 edges, 141 markings/sec, 1000 secs
lola: 1 tries, 142927 fired transitions, 1005 secs || 141051 markings, 228563 edges, 144 markings/sec, 1005 secs
lola: 1 tries, 143642 fired transitions, 1010 secs || 141757 markings, 229847 edges, 141 markings/sec, 1010 secs
lola: 1 tries, 144372 fired transitions, 1015 secs || 142474 markings, 231204 edges, 143 markings/sec, 1015 secs
lola: 1 tries, 145090 fired transitions, 1020 secs || 143190 markings, 232488 edges, 143 markings/sec, 1020 secs
lola: 1 tries, 145819 fired transitions, 1025 secs || 143894 markings, 233785 edges, 141 markings/sec, 1025 secs
lola: 1 tries, 146547 fired transitions, 1030 secs || 144617 markings, 235188 edges, 145 markings/sec, 1030 secs
lola: 1 tries, 147279 fired transitions, 1035 secs || 145355 markings, 236445 edges, 148 markings/sec, 1035 secs
lola: 1 tries, 147994 fired transitions, 1040 secs || 146074 markings, 237725 edges, 144 markings/sec, 1040 secs
lola: 1 tries, 148715 fired transitions, 1045 secs || 146796 markings, 239010 edges, 144 markings/sec, 1045 secs
lola: 1 tries, 149432 fired transitions, 1050 secs || 147518 markings, 240266 edges, 144 markings/sec, 1050 secs
lola: 1 tries, 150145 fired transitions, 1055 secs || 148235 markings, 241549 edges, 143 markings/sec, 1055 secs
lola: 1 tries, 150847 fired transitions, 1060 secs || 148970 markings, 242819 edges, 147 markings/sec, 1060 secs
lola: 1 tries, 151559 fired transitions, 1065 secs || 149708 markings, 244078 edges, 148 markings/sec, 1065 secs
lola: 1 tries, 152258 fired transitions, 1070 secs || 150430 markings, 245426 edges, 144 markings/sec, 1070 secs
lola: 1 tries, 152964 fired transitions, 1075 secs || 151147 markings, 246805 edges, 143 markings/sec, 1075 secs
lola: 1 tries, 153671 fired transitions, 1080 secs || 151876 markings, 248075 edges, 146 markings/sec, 1080 secs
lola: 1 tries, 154391 fired transitions, 1085 secs || 152606 markings, 249256 edges, 146 markings/sec, 1085 secs
lola: 1 tries, 155097 fired transitions, 1090 secs || 153357 markings, 250446 edges, 150 markings/sec, 1090 secs
lola: 1 tries, 155802 fired transitions, 1095 secs || 154087 markings, 251690 edges, 146 markings/sec, 1095 secs
lola: 1 tries, 156523 fired transitions, 1100 secs || 154825 markings, 252885 edges, 148 markings/sec, 1100 secs
lola: 1 tries, 157247 fired transitions, 1105 secs || 155567 markings, 254245 edges, 148 markings/sec, 1105 secs
lola: 1 tries, 157969 fired transitions, 1110 secs || 156287 markings, 255703 edges, 144 markings/sec, 1110 secs
lola: 1 tries, 158697 fired transitions, 1115 secs || 157008 markings, 256899 edges, 144 markings/sec, 1115 secs
lola: 1 tries, 159405 fired transitions, 1120 secs || 157713 markings, 258101 edges, 141 markings/sec, 1120 secs
lola: 1 tries, 160142 fired transitions, 1125 secs || 158435 markings, 259337 edges, 144 markings/sec, 1125 secs
lola: 1 tries, 160861 fired transitions, 1130 secs || 159142 markings, 260436 edges, 141 markings/sec, 1130 secs
lola: 1 tries, 161577 fired transitions, 1135 secs || 159837 markings, 261699 edges, 139 markings/sec, 1135 secs
lola: 1 tries, 162311 fired transitions, 1140 secs || 160547 markings, 262972 edges, 142 markings/sec, 1140 secs
lola: 1 tries, 163033 fired transitions, 1145 secs || 161269 markings, 264312 edges, 144 markings/sec, 1145 secs
lola: 1 tries, 163762 fired transitions, 1150 secs || 161985 markings, 265556 edges, 143 markings/sec, 1150 secs
lola: 1 tries, 164502 fired transitions, 1155 secs || 162698 markings, 266824 edges, 143 markings/sec, 1155 secs
lola: 1 tries, 165228 fired transitions, 1160 secs || 163421 markings, 268148 edges, 145 markings/sec, 1160 secs
lola: 1 tries, 165949 fired transitions, 1165 secs || 164143 markings, 269618 edges, 144 markings/sec, 1165 secs
lola: 1 tries, 166657 fired transitions, 1170 secs || 164864 markings, 270867 edges, 144 markings/sec, 1170 secs
lola: 1 tries, 167381 fired transitions, 1175 secs || 165584 markings, 272150 edges, 144 markings/sec, 1175 secs
lola: 1 tries, 168121 fired transitions, 1180 secs || 166312 markings, 273420 edges, 146 markings/sec, 1180 secs
lola: 1 tries, 168862 fired transitions, 1185 secs || 167045 markings, 274569 edges, 147 markings/sec, 1185 secs
lola: 1 tries, 169597 fired transitions, 1190 secs || 167768 markings, 275799 edges, 145 markings/sec, 1190 secs
lola: 1 tries, 170298 fired transitions, 1195 secs || 168482 markings, 277219 edges, 143 markings/sec, 1195 secs
lola: 1 tries, 171017 fired transitions, 1200 secs || 169169 markings, 278533 edges, 137 markings/sec, 1200 secs
lola: 1 tries, 171735 fired transitions, 1205 secs || 169859 markings, 279896 edges, 138 markings/sec, 1205 secs
lola: 1 tries, 172449 fired transitions, 1210 secs || 170563 markings, 281078 edges, 141 markings/sec, 1210 secs
lola: 1 tries, 173154 fired transitions, 1215 secs || 171256 markings, 282363 edges, 139 markings/sec, 1215 secs
lola: 1 tries, 173858 fired transitions, 1220 secs || 171948 markings, 283588 edges, 138 markings/sec, 1220 secs
lola: 1 tries, 174550 fired transitions, 1225 secs || 172647 markings, 284882 edges, 140 markings/sec, 1225 secs
lola: 1 tries, 175223 fired transitions, 1230 secs || 173317 markings, 286199 edges, 134 markings/sec, 1230 secs
lola: 1 tries, 175906 fired transitions, 1235 secs || 173995 markings, 287514 edges, 136 markings/sec, 1235 secs
lola: 1 tries, 176608 fired transitions, 1240 secs || 174675 markings, 288808 edges, 136 markings/sec, 1240 secs
lola: 1 tries, 177311 fired transitions, 1245 secs || 175384 markings, 290066 edges, 142 markings/sec, 1245 secs
lola: 1 tries, 178011 fired transitions, 1250 secs || 176079 markings, 291394 edges, 139 markings/sec, 1250 secs
lola: 1 tries, 178710 fired transitions, 1255 secs || 176763 markings, 292612 edges, 137 markings/sec, 1255 secs
lola: 1 tries, 179415 fired transitions, 1260 secs || 177451 markings, 294043 edges, 138 markings/sec, 1260 secs
lola: 1 tries, 180126 fired transitions, 1265 secs || 178150 markings, 295197 edges, 140 markings/sec, 1265 secs
lola: 1 tries, 180837 fired transitions, 1270 secs || 178835 markings, 296513 edges, 137 markings/sec, 1270 secs
lola: 1 tries, 181547 fired transitions, 1275 secs || 179516 markings, 297734 edges, 136 markings/sec, 1275 secs
lola: 1 tries, 182268 fired transitions, 1280 secs || 180199 markings, 299000 edges, 137 markings/sec, 1280 secs
lola: 1 tries, 182971 fired transitions, 1285 secs || 180877 markings, 300202 edges, 136 markings/sec, 1285 secs
lola: 1 tries, 183683 fired transitions, 1290 secs || 181575 markings, 301509 edges, 140 markings/sec, 1290 secs
lola: 1 tries, 184396 fired transitions, 1295 secs || 182269 markings, 302734 edges, 139 markings/sec, 1295 secs
lola: 1 tries, 185106 fired transitions, 1300 secs || 182965 markings, 303996 edges, 139 markings/sec, 1300 secs
lola: 1 tries, 185825 fired transitions, 1305 secs || 183679 markings, 305284 edges, 143 markings/sec, 1305 secs
lola: 1 tries, 186558 fired transitions, 1310 secs || 184391 markings, 306606 edges, 142 markings/sec, 1310 secs
lola: 1 tries, 187281 fired transitions, 1315 secs || 185105 markings, 307897 edges, 143 markings/sec, 1315 secs
lola: 1 tries, 187993 fired transitions, 1320 secs || 185782 markings, 309222 edges, 135 markings/sec, 1320 secs
lola: 1 tries, 188722 fired transitions, 1325 secs || 186496 markings, 310534 edges, 143 markings/sec, 1325 secs
lola: 1 tries, 189459 fired transitions, 1330 secs || 187199 markings, 311791 edges, 141 markings/sec, 1330 secs
lola: 1 tries, 190197 fired transitions, 1335 secs || 187903 markings, 313092 edges, 141 markings/sec, 1335 secs
lola: 1 tries, 190935 fired transitions, 1340 secs || 188571 markings, 314310 edges, 134 markings/sec, 1340 secs
lola: 1 tries, 191689 fired transitions, 1345 secs || 189288 markings, 315558 edges, 143 markings/sec, 1345 secs
lola: 1 tries, 192431 fired transitions, 1350 secs || 189996 markings, 316879 edges, 142 markings/sec, 1350 secs
lola: 1 tries, 193147 fired transitions, 1355 secs || 190692 markings, 318173 edges, 139 markings/sec, 1355 secs
lola: 1 tries, 193867 fired transitions, 1360 secs || 191401 markings, 319490 edges, 142 markings/sec, 1360 secs
lola: 1 tries, 194596 fired transitions, 1365 secs || 192115 markings, 320802 edges, 143 markings/sec, 1365 secs
lola: 1 tries, 195310 fired transitions, 1370 secs || 192821 markings, 322194 edges, 141 markings/sec, 1370 secs
lola: 1 tries, 196009 fired transitions, 1375 secs || 193548 markings, 323599 edges, 145 markings/sec, 1375 secs
lola: 1 tries, 196733 fired transitions, 1380 secs || 194251 markings, 324904 edges, 141 markings/sec, 1380 secs
lola: 1 tries, 197454 fired transitions, 1385 secs || 194966 markings, 326244 edges, 143 markings/sec, 1385 secs
lola: 1 tries, 198178 fired transitions, 1390 secs || 195690 markings, 327437 edges, 145 markings/sec, 1390 secs
lola: 1 tries, 198904 fired transitions, 1395 secs || 196414 markings, 328681 edges, 145 markings/sec, 1395 secs
lola: 1 tries, 199630 fired transitions, 1400 secs || 197134 markings, 330111 edges, 144 markings/sec, 1400 secs
lola: 1 tries, 200357 fired transitions, 1405 secs || 197845 markings, 331441 edges, 142 markings/sec, 1405 secs
lola: 1 tries, 201075 fired transitions, 1410 secs || 198534 markings, 332679 edges, 138 markings/sec, 1410 secs
lola: 1 tries, 201799 fired transitions, 1415 secs || 199237 markings, 334002 edges, 141 markings/sec, 1415 secs
lola: 1 tries, 202531 fired transitions, 1420 secs || 199950 markings, 335421 edges, 143 markings/sec, 1420 secs
lola: 1 tries, 203278 fired transitions, 1425 secs || 200678 markings, 336759 edges, 146 markings/sec, 1425 secs
lola: 1 tries, 204006 fired transitions, 1430 secs || 201408 markings, 337963 edges, 146 markings/sec, 1430 secs
lola: 1 tries, 204754 fired transitions, 1435 secs || 202134 markings, 339216 edges, 145 markings/sec, 1435 secs
lola: 1 tries, 205505 fired transitions, 1440 secs || 202865 markings, 340498 edges, 146 markings/sec, 1440 secs
lola: 1 tries, 206272 fired transitions, 1445 secs || 203624 markings, 341624 edges, 152 markings/sec, 1445 secs
lola: 1 tries, 207023 fired transitions, 1450 secs || 204380 markings, 342949 edges, 151 markings/sec, 1450 secs
lola: 1 tries, 207770 fired transitions, 1455 secs || 205123 markings, 344133 edges, 149 markings/sec, 1455 secs
lola: 1 tries, 208511 fired transitions, 1460 secs || 205863 markings, 345380 edges, 148 markings/sec, 1460 secs
lola: 1 tries, 209243 fired transitions, 1465 secs || 206577 markings, 346606 edges, 143 markings/sec, 1465 secs
lola: 1 tries, 209958 fired transitions, 1470 secs || 207284 markings, 347952 edges, 141 markings/sec, 1470 secs
lola: 1 tries, 210683 fired transitions, 1475 secs || 208013 markings, 349289 edges, 146 markings/sec, 1475 secs
lola: 1 tries, 211388 fired transitions, 1480 secs || 208718 markings, 350729 edges, 141 markings/sec, 1480 secs
lola: 1 tries, 212074 fired transitions, 1485 secs || 209396 markings, 351974 edges, 136 markings/sec, 1485 secs
lola: 1 tries, 212764 fired transitions, 1490 secs || 210060 markings, 353327 edges, 133 markings/sec, 1490 secs
lola: 1 tries, 213478 fired transitions, 1495 secs || 210743 markings, 354676 edges, 137 markings/sec, 1495 secs
lola: 1 tries, 214216 fired transitions, 1500 secs || 211456 markings, 356036 edges, 143 markings/sec, 1500 secs
lola: 1 tries, 214960 fired transitions, 1505 secs || 212184 markings, 357404 edges, 146 markings/sec, 1505 secs
lola: 1 tries, 215708 fired transitions, 1510 secs || 212919 markings, 358823 edges, 147 markings/sec, 1510 secs
lola: 1 tries, 216453 fired transitions, 1515 secs || 213653 markings, 360295 edges, 147 markings/sec, 1515 secs
lola: 1 tries, 217216 fired transitions, 1520 secs || 214368 markings, 361651 edges, 143 markings/sec, 1520 secs
lola: 1 tries, 217970 fired transitions, 1525 secs || 215097 markings, 363100 edges, 146 markings/sec, 1525 secs
lola: 1 tries, 218721 fired transitions, 1530 secs || 215833 markings, 364315 edges, 147 markings/sec, 1530 secs
lola: 1 tries, 219476 fired transitions, 1535 secs || 216515 markings, 365552 edges, 136 markings/sec, 1535 secs
lola: 1 tries, 220215 fired transitions, 1540 secs || 217246 markings, 366884 edges, 146 markings/sec, 1540 secs
lola: 1 tries, 220967 fired transitions, 1545 secs || 217977 markings, 368274 edges, 146 markings/sec, 1545 secs
lola: 1 tries, 221711 fired transitions, 1550 secs || 218709 markings, 369694 edges, 146 markings/sec, 1550 secs
lola: 1 tries, 222458 fired transitions, 1555 secs || 219420 markings, 370990 edges, 142 markings/sec, 1555 secs
lola: 1 tries, 223191 fired transitions, 1560 secs || 220140 markings, 372471 edges, 144 markings/sec, 1560 secs
lola: 1 tries, 223942 fired transitions, 1565 secs || 220856 markings, 373869 edges, 143 markings/sec, 1565 secs
lola: 1 tries, 224678 fired transitions, 1570 secs || 221562 markings, 375304 edges, 141 markings/sec, 1570 secs
lola: 1 tries, 225432 fired transitions, 1575 secs || 222285 markings, 376628 edges, 145 markings/sec, 1575 secs
lola: 1 tries, 226176 fired transitions, 1580 secs || 223009 markings, 377937 edges, 145 markings/sec, 1580 secs
lola: 1 tries, 226927 fired transitions, 1585 secs || 223741 markings, 379315 edges, 146 markings/sec, 1585 secs
lola: 1 tries, 227676 fired transitions, 1590 secs || 224475 markings, 380829 edges, 147 markings/sec, 1590 secs
lola: 1 tries, 228423 fired transitions, 1595 secs || 225194 markings, 382218 edges, 144 markings/sec, 1595 secs
lola: 1 tries, 229181 fired transitions, 1600 secs || 225933 markings, 383707 edges, 148 markings/sec, 1600 secs
lola: 1 tries, 229938 fired transitions, 1605 secs || 226666 markings, 385108 edges, 147 markings/sec, 1605 secs
lola: 1 tries, 230678 fired transitions, 1610 secs || 227371 markings, 386511 edges, 141 markings/sec, 1610 secs
lola: 1 tries, 231370 fired transitions, 1615 secs || 228109 markings, 387876 edges, 148 markings/sec, 1615 secs
lola: 1 tries, 232098 fired transitions, 1620 secs || 228777 markings, 389128 edges, 134 markings/sec, 1620 secs
lola: 1 tries, 232810 fired transitions, 1625 secs || 229504 markings, 390481 edges, 145 markings/sec, 1625 secs
lola: 1 tries, 233518 fired transitions, 1630 secs || 230209 markings, 391875 edges, 141 markings/sec, 1630 secs
lola: 1 tries, 234235 fired transitions, 1635 secs || 230900 markings, 393237 edges, 138 markings/sec, 1635 secs
lola: 1 tries, 234968 fired transitions, 1640 secs || 231600 markings, 394624 edges, 140 markings/sec, 1640 secs
lola: 1 tries, 235690 fired transitions, 1645 secs || 232300 markings, 395947 edges, 140 markings/sec, 1645 secs
lola: 1 tries, 236430 fired transitions, 1650 secs || 233018 markings, 397120 edges, 144 markings/sec, 1650 secs
lola: 1 tries, 237161 fired transitions, 1655 secs || 233720 markings, 398435 edges, 140 markings/sec, 1655 secs
lola: 1 tries, 237887 fired transitions, 1660 secs || 234422 markings, 399672 edges, 140 markings/sec, 1660 secs
lola: 1 tries, 238619 fired transitions, 1665 secs || 235132 markings, 401075 edges, 142 markings/sec, 1665 secs
lola: 1 tries, 239343 fired transitions, 1670 secs || 235835 markings, 402288 edges, 141 markings/sec, 1670 secs
lola: 1 tries, 240066 fired transitions, 1675 secs || 236568 markings, 403345 edges, 147 markings/sec, 1675 secs
lola: 1 tries, 240800 fired transitions, 1680 secs || 237369 markings, 404443 edges, 160 markings/sec, 1680 secs
lola: 1 tries, 241518 fired transitions, 1685 secs || 238056 markings, 405882 edges, 137 markings/sec, 1685 secs
lola: 1 tries, 242242 fired transitions, 1690 secs || 238799 markings, 407398 edges, 149 markings/sec, 1690 secs
lola: 1 tries, 242960 fired transitions, 1695 secs || 239493 markings, 408774 edges, 139 markings/sec, 1695 secs
lola: 1 tries, 243690 fired transitions, 1700 secs || 240212 markings, 410081 edges, 144 markings/sec, 1700 secs
lola: 1 tries, 244383 fired transitions, 1705 secs || 240930 markings, 411331 edges, 144 markings/sec, 1705 secs
lola: 1 tries, 245124 fired transitions, 1710 secs || 241669 markings, 412444 edges, 148 markings/sec, 1710 secs
lola: 1 tries, 245852 fired transitions, 1715 secs || 242375 markings, 413884 edges, 141 markings/sec, 1715 secs
lola: 1 tries, 246575 fired transitions, 1720 secs || 243066 markings, 415247 edges, 138 markings/sec, 1720 secs
lola: 1 tries, 247331 fired transitions, 1725 secs || 243798 markings, 416569 edges, 146 markings/sec, 1725 secs
lola: 1 tries, 248072 fired transitions, 1730 secs || 244527 markings, 417961 edges, 146 markings/sec, 1730 secs
lola: 1 tries, 248811 fired transitions, 1735 secs || 245255 markings, 419392 edges, 146 markings/sec, 1735 secs
lola: 1 tries, 249552 fired transitions, 1740 secs || 245984 markings, 420765 edges, 146 markings/sec, 1740 secs
lola: 1 tries, 250308 fired transitions, 1745 secs || 246714 markings, 422262 edges, 146 markings/sec, 1745 secs
lola: 1 tries, 251058 fired transitions, 1750 secs || 247451 markings, 423511 edges, 147 markings/sec, 1750 secs
lola: 1 tries, 251818 fired transitions, 1755 secs || 248194 markings, 424643 edges, 149 markings/sec, 1755 secs
lola: 1 tries, 252543 fired transitions, 1760 secs || 248911 markings, 425868 edges, 143 markings/sec, 1760 secs
lola: 1 tries, 253268 fired transitions, 1765 secs || 249635 markings, 427117 edges, 145 markings/sec, 1765 secs
lola: 1 tries, 253977 fired transitions, 1770 secs || 250323 markings, 428420 edges, 138 markings/sec, 1770 secs
lola: 1 tries, 254685 fired transitions, 1775 secs || 251022 markings, 429818 edges, 140 markings/sec, 1775 secs
lola: 1 tries, 255428 fired transitions, 1780 secs || 251748 markings, 431075 edges, 145 markings/sec, 1780 secs
lola: 1 tries, 256173 fired transitions, 1785 secs || 252472 markings, 432429 edges, 145 markings/sec, 1785 secs
lola: 1 tries, 256921 fired transitions, 1790 secs || 253201 markings, 433954 edges, 146 markings/sec, 1790 secs
lola: 1 tries, 257665 fired transitions, 1795 secs || 253935 markings, 435399 edges, 147 markings/sec, 1795 secs
lola: 1 tries, 258393 fired transitions, 1800 secs || 254643 markings, 436697 edges, 142 markings/sec, 1800 secs
lola: 1 tries, 259134 fired transitions, 1805 secs || 255373 markings, 438169 edges, 146 markings/sec, 1805 secs
lola: 1 tries, 259847 fired transitions, 1810 secs || 256118 markings, 439544 edges, 149 markings/sec, 1810 secs
lola: 1 tries, 260586 fired transitions, 1815 secs || 256837 markings, 440879 edges, 144 markings/sec, 1815 secs
lola: 1 tries, 261336 fired transitions, 1820 secs || 257552 markings, 442436 edges, 143 markings/sec, 1820 secs
lola: 1 tries, 262090 fired transitions, 1825 secs || 258288 markings, 443814 edges, 147 markings/sec, 1825 secs
lola: 1 tries, 262843 fired transitions, 1830 secs || 258997 markings, 445270 edges, 142 markings/sec, 1830 secs
lola: 1 tries, 263585 fired transitions, 1835 secs || 259740 markings, 446562 edges, 149 markings/sec, 1835 secs
lola: 1 tries, 264338 fired transitions, 1840 secs || 260458 markings, 447901 edges, 144 markings/sec, 1840 secs
lola: 1 tries, 265081 fired transitions, 1845 secs || 261172 markings, 449294 edges, 143 markings/sec, 1845 secs
lola: 1 tries, 265830 fired transitions, 1850 secs || 261897 markings, 450653 edges, 145 markings/sec, 1850 secs
lola: 1 tries, 266586 fired transitions, 1855 secs || 262632 markings, 452161 edges, 147 markings/sec, 1855 secs
lola: 1 tries, 267336 fired transitions, 1860 secs || 263353 markings, 453512 edges, 144 markings/sec, 1860 secs
lola: 1 tries, 268083 fired transitions, 1865 secs || 264065 markings, 454789 edges, 142 markings/sec, 1865 secs
lola: 1 tries, 268816 fired transitions, 1870 secs || 264783 markings, 456235 edges, 144 markings/sec, 1870 secs
lola: 1 tries, 269538 fired transitions, 1875 secs || 265501 markings, 457631 edges, 144 markings/sec, 1875 secs
lola: 1 tries, 270262 fired transitions, 1880 secs || 266214 markings, 459040 edges, 143 markings/sec, 1880 secs
lola: 1 tries, 270995 fired transitions, 1885 secs || 266935 markings, 460397 edges, 144 markings/sec, 1885 secs
lola: 1 tries, 271720 fired transitions, 1890 secs || 267652 markings, 461772 edges, 143 markings/sec, 1890 secs
lola: 1 tries, 272474 fired transitions, 1895 secs || 268367 markings, 463194 edges, 143 markings/sec, 1895 secs
lola: 1 tries, 273211 fired transitions, 1900 secs || 269084 markings, 464487 edges, 143 markings/sec, 1900 secs
lola: 1 tries, 273903 fired transitions, 1905 secs || 269775 markings, 465774 edges, 138 markings/sec, 1905 secs
lola: 1 tries, 274591 fired transitions, 1910 secs || 270455 markings, 467138 edges, 136 markings/sec, 1910 secs
lola: 1 tries, 275285 fired transitions, 1915 secs || 271137 markings, 468422 edges, 136 markings/sec, 1915 secs
lola: 1 tries, 275992 fired transitions, 1920 secs || 271836 markings, 469824 edges, 140 markings/sec, 1920 secs
lola: 1 tries, 276743 fired transitions, 1925 secs || 272575 markings, 471195 edges, 148 markings/sec, 1925 secs
lola: 1 tries, 277458 fired transitions, 1930 secs || 273273 markings, 472497 edges, 140 markings/sec, 1930 secs
lola: 1 tries, 278197 fired transitions, 1935 secs || 273964 markings, 473744 edges, 138 markings/sec, 1935 secs
lola: 1 tries, 278923 fired transitions, 1940 secs || 274673 markings, 474965 edges, 142 markings/sec, 1940 secs
lola: 1 tries, 279671 fired transitions, 1945 secs || 275390 markings, 476295 edges, 143 markings/sec, 1945 secs
lola: 1 tries, 280421 fired transitions, 1950 secs || 276126 markings, 477650 edges, 147 markings/sec, 1950 secs
lola: 1 tries, 281176 fired transitions, 1955 secs || 276849 markings, 478903 edges, 145 markings/sec, 1955 secs
lola: 1 tries, 281929 fired transitions, 1960 secs || 277602 markings, 480113 edges, 151 markings/sec, 1960 secs
lola: 1 tries, 282683 fired transitions, 1965 secs || 278340 markings, 481628 edges, 148 markings/sec, 1965 secs
lola: 1 tries, 283439 fired transitions, 1970 secs || 279059 markings, 483012 edges, 144 markings/sec, 1970 secs
lola: 1 tries, 284186 fired transitions, 1975 secs || 279772 markings, 484525 edges, 143 markings/sec, 1975 secs
lola: 1 tries, 284940 fired transitions, 1980 secs || 280483 markings, 485992 edges, 142 markings/sec, 1980 secs
lola: 1 tries, 285697 fired transitions, 1985 secs || 281223 markings, 487294 edges, 148 markings/sec, 1985 secs
lola: 1 tries, 286444 fired transitions, 1990 secs || 281964 markings, 488589 edges, 148 markings/sec, 1990 secs
lola: 1 tries, 287196 fired transitions, 1995 secs || 282773 markings, 489674 edges, 162 markings/sec, 1995 secs
lola: 1 tries, 287951 fired transitions, 2000 secs || 283542 markings, 490894 edges, 154 markings/sec, 2000 secs
lola: 1 tries, 288695 fired transitions, 2005 secs || 284280 markings, 492259 edges, 148 markings/sec, 2005 secs
lola: 1 tries, 289450 fired transitions, 2010 secs || 285003 markings, 493628 edges, 145 markings/sec, 2010 secs
lola: 1 tries, 290199 fired transitions, 2015 secs || 285727 markings, 494964 edges, 145 markings/sec, 2015 secs
lola: 1 tries, 290957 fired transitions, 2020 secs || 286455 markings, 496368 edges, 146 markings/sec, 2020 secs
lola: 1 tries, 291699 fired transitions, 2025 secs || 287172 markings, 497736 edges, 143 markings/sec, 2025 secs
lola: 1 tries, 292455 fired transitions, 2030 secs || 287914 markings, 499177 edges, 148 markings/sec, 2030 secs
lola: 1 tries, 293195 fired transitions, 2035 secs || 288637 markings, 500569 edges, 145 markings/sec, 2035 secs
lola: 1 tries, 293910 fired transitions, 2040 secs || 289319 markings, 501922 edges, 136 markings/sec, 2040 secs
lola: 1 tries, 294631 fired transitions, 2045 secs || 290034 markings, 503206 edges, 143 markings/sec, 2045 secs
lola: 1 tries, 295360 fired transitions, 2050 secs || 290717 markings, 504434 edges, 137 markings/sec, 2050 secs
lola: 1 tries, 296081 fired transitions, 2055 secs || 291416 markings, 505789 edges, 140 markings/sec, 2055 secs
lola: 1 tries, 296813 fired transitions, 2060 secs || 292133 markings, 507081 edges, 143 markings/sec, 2060 secs
lola: 1 tries, 297555 fired transitions, 2065 secs || 292855 markings, 508471 edges, 144 markings/sec, 2065 secs
lola: 1 tries, 298301 fired transitions, 2070 secs || 293570 markings, 509908 edges, 143 markings/sec, 2070 secs
lola: 1 tries, 299057 fired transitions, 2075 secs || 294295 markings, 511288 edges, 145 markings/sec, 2075 secs
lola: 1 tries, 299812 fired transitions, 2080 secs || 294991 markings, 512693 edges, 139 markings/sec, 2080 secs
lola: 1 tries, 300562 fired transitions, 2085 secs || 295696 markings, 514249 edges, 141 markings/sec, 2085 secs
lola: 1 tries, 301297 fired transitions, 2090 secs || 296418 markings, 515620 edges, 144 markings/sec, 2090 secs
lola: 1 tries, 302032 fired transitions, 2095 secs || 297142 markings, 516958 edges, 145 markings/sec, 2095 secs
lola: 1 tries, 302773 fired transitions, 2100 secs || 297878 markings, 518236 edges, 147 markings/sec, 2100 secs
lola: 1 tries, 303520 fired transitions, 2105 secs || 298592 markings, 519764 edges, 143 markings/sec, 2105 secs
lola: 1 tries, 304253 fired transitions, 2110 secs || 299305 markings, 521060 edges, 143 markings/sec, 2110 secs
lola: 1 tries, 305000 fired transitions, 2115 secs || 300026 markings, 522471 edges, 144 markings/sec, 2115 secs
lola: 1 tries, 305751 fired transitions, 2120 secs || 300732 markings, 523806 edges, 141 markings/sec, 2120 secs
lola: 1 tries, 306486 fired transitions, 2125 secs || 301430 markings, 525183 edges, 140 markings/sec, 2125 secs
lola: 1 tries, 307205 fired transitions, 2130 secs || 302107 markings, 526487 edges, 135 markings/sec, 2130 secs
lola: 1 tries, 307943 fired transitions, 2135 secs || 302820 markings, 527828 edges, 143 markings/sec, 2135 secs
lola: 1 tries, 308665 fired transitions, 2140 secs || 303513 markings, 529089 edges, 139 markings/sec, 2140 secs
lola: 1 tries, 309401 fired transitions, 2145 secs || 304226 markings, 530217 edges, 143 markings/sec, 2145 secs
lola: 1 tries, 310138 fired transitions, 2150 secs || 304965 markings, 531566 edges, 148 markings/sec, 2150 secs
lola: 1 tries, 310898 fired transitions, 2155 secs || 305685 markings, 533003 edges, 144 markings/sec, 2155 secs
lola: 1 tries, 311642 fired transitions, 2160 secs || 306414 markings, 534302 edges, 146 markings/sec, 2160 secs
lola: 1 tries, 312394 fired transitions, 2165 secs || 307143 markings, 535803 edges, 146 markings/sec, 2165 secs
lola: 1 tries, 313147 fired transitions, 2170 secs || 307852 markings, 537228 edges, 142 markings/sec, 2170 secs
lola: 1 tries, 313909 fired transitions, 2175 secs || 308580 markings, 538551 edges, 146 markings/sec, 2175 secs
lola: 1 tries, 314667 fired transitions, 2180 secs || 309322 markings, 540104 edges, 148 markings/sec, 2180 secs
lola: 1 tries, 315423 fired transitions, 2185 secs || 310054 markings, 541578 edges, 146 markings/sec, 2185 secs
lola: 1 tries, 316163 fired transitions, 2190 secs || 310780 markings, 542996 edges, 145 markings/sec, 2190 secs
lola: 1 tries, 316899 fired transitions, 2195 secs || 311485 markings, 544417 edges, 141 markings/sec, 2195 secs
lola: 1 tries, 317653 fired transitions, 2200 secs || 312209 markings, 545895 edges, 145 markings/sec, 2200 secs
lola: 1 tries, 318402 fired transitions, 2205 secs || 312959 markings, 547139 edges, 150 markings/sec, 2205 secs
lola: 1 tries, 319154 fired transitions, 2210 secs || 313699 markings, 548668 edges, 148 markings/sec, 2210 secs
lola: 1 tries, 319891 fired transitions, 2215 secs || 314402 markings, 550082 edges, 141 markings/sec, 2215 secs
lola: 1 tries, 320602 fired transitions, 2220 secs || 315075 markings, 551478 edges, 135 markings/sec, 2220 secs
lola: 1 tries, 321321 fired transitions, 2225 secs || 315750 markings, 552824 edges, 135 markings/sec, 2225 secs
lola: 1 tries, 322039 fired transitions, 2230 secs || 316440 markings, 554116 edges, 138 markings/sec, 2230 secs
lola: 1 tries, 322775 fired transitions, 2235 secs || 317135 markings, 555390 edges, 139 markings/sec, 2235 secs
lola: 1 tries, 323515 fired transitions, 2240 secs || 317835 markings, 556800 edges, 140 markings/sec, 2240 secs
lola: 1 tries, 324266 fired transitions, 2245 secs || 318550 markings, 558203 edges, 143 markings/sec, 2245 secs
lola: 1 tries, 325013 fired transitions, 2250 secs || 319283 markings, 559507 edges, 147 markings/sec, 2250 secs
lola: 1 tries, 325751 fired transitions, 2255 secs || 320003 markings, 560696 edges, 144 markings/sec, 2255 secs
lola: 1 tries, 326491 fired transitions, 2260 secs || 320730 markings, 562111 edges, 145 markings/sec, 2260 secs
lola: 1 tries, 327243 fired transitions, 2265 secs || 321438 markings, 563538 edges, 142 markings/sec, 2265 secs
lola: 1 tries, 327998 fired transitions, 2270 secs || 322146 markings, 564887 edges, 142 markings/sec, 2270 secs
lola: 1 tries, 328745 fired transitions, 2275 secs || 322864 markings, 566414 edges, 144 markings/sec, 2275 secs
lola: 1 tries, 329498 fired transitions, 2280 secs || 323562 markings, 567810 edges, 140 markings/sec, 2280 secs
lola: 1 tries, 330244 fired transitions, 2285 secs || 324285 markings, 569080 edges, 145 markings/sec, 2285 secs
lola: 1 tries, 330995 fired transitions, 2290 secs || 325050 markings, 570606 edges, 153 markings/sec, 2290 secs
lola: 1 tries, 331745 fired transitions, 2295 secs || 325787 markings, 571933 edges, 147 markings/sec, 2295 secs
lola: 1 tries, 332503 fired transitions, 2300 secs || 326495 markings, 573364 edges, 142 markings/sec, 2300 secs
lola: 1 tries, 333256 fired transitions, 2305 secs || 327227 markings, 574835 edges, 146 markings/sec, 2305 secs
lola: 1 tries, 334012 fired transitions, 2310 secs || 327953 markings, 576272 edges, 145 markings/sec, 2310 secs
lola: 1 tries, 334753 fired transitions, 2315 secs || 328676 markings, 577740 edges, 145 markings/sec, 2315 secs
lola: 1 tries, 335492 fired transitions, 2320 secs || 329392 markings, 579204 edges, 143 markings/sec, 2320 secs
lola: 1 tries, 336234 fired transitions, 2325 secs || 330116 markings, 580610 edges, 145 markings/sec, 2325 secs
lola: 1 tries, 336971 fired transitions, 2330 secs || 330851 markings, 581907 edges, 147 markings/sec, 2330 secs
lola: 1 tries, 337712 fired transitions, 2335 secs || 331576 markings, 583266 edges, 145 markings/sec, 2335 secs
lola: 1 tries, 338464 fired transitions, 2340 secs || 332297 markings, 584682 edges, 144 markings/sec, 2340 secs
lola: 1 tries, 339209 fired transitions, 2345 secs || 333022 markings, 586053 edges, 145 markings/sec, 2345 secs
lola: 1 tries, 339965 fired transitions, 2350 secs || 333746 markings, 587383 edges, 145 markings/sec, 2350 secs
lola: 1 tries, 340711 fired transitions, 2355 secs || 334481 markings, 588695 edges, 147 markings/sec, 2355 secs
lola: 1 tries, 341468 fired transitions, 2360 secs || 335221 markings, 589903 edges, 148 markings/sec, 2360 secs
lola: 1 tries, 342213 fired transitions, 2365 secs || 335978 markings, 591297 edges, 151 markings/sec, 2365 secs
lola: 1 tries, 342972 fired transitions, 2370 secs || 336694 markings, 592745 edges, 143 markings/sec, 2370 secs
lola: 1 tries, 343726 fired transitions, 2375 secs || 337419 markings, 594117 edges, 145 markings/sec, 2375 secs
lola: 1 tries, 344481 fired transitions, 2380 secs || 338136 markings, 595609 edges, 143 markings/sec, 2380 secs
lola: 1 tries, 345237 fired transitions, 2385 secs || 338858 markings, 597010 edges, 144 markings/sec, 2385 secs
lola: 1 tries, 345995 fired transitions, 2390 secs || 339599 markings, 598412 edges, 148 markings/sec, 2390 secs
lola: 1 tries, 346748 fired transitions, 2395 secs || 340327 markings, 599818 edges, 146 markings/sec, 2395 secs
lola: 1 tries, 347502 fired transitions, 2400 secs || 341065 markings, 601114 edges, 148 markings/sec, 2400 secs
lola: 1 tries, 348259 fired transitions, 2405 secs || 341793 markings, 602568 edges, 146 markings/sec, 2405 secs
lola: 1 tries, 349003 fired transitions, 2410 secs || 342512 markings, 604000 edges, 144 markings/sec, 2410 secs
lola: 1 tries, 349732 fired transitions, 2415 secs || 343259 markings, 605506 edges, 149 markings/sec, 2415 secs
lola: 1 tries, 350463 fired transitions, 2420 secs || 344002 markings, 606803 edges, 149 markings/sec, 2420 secs
lola: 1 tries, 351194 fired transitions, 2425 secs || 344733 markings, 608179 edges, 146 markings/sec, 2425 secs
lola: 1 tries, 351930 fired transitions, 2430 secs || 345452 markings, 609660 edges, 144 markings/sec, 2430 secs
lola: 1 tries, 352672 fired transitions, 2435 secs || 346149 markings, 611116 edges, 139 markings/sec, 2435 secs
lola: 1 tries, 353420 fired transitions, 2440 secs || 346859 markings, 612508 edges, 142 markings/sec, 2440 secs
lola: 1 tries, 354170 fired transitions, 2445 secs || 347578 markings, 613899 edges, 144 markings/sec, 2445 secs
lola: 1 tries, 354923 fired transitions, 2450 secs || 348291 markings, 615334 edges, 143 markings/sec, 2450 secs
lola: 1 tries, 355677 fired transitions, 2455 secs || 349023 markings, 616776 edges, 146 markings/sec, 2455 secs
lola: 1 tries, 356426 fired transitions, 2460 secs || 349741 markings, 618202 edges, 144 markings/sec, 2460 secs
lola: 1 tries, 357184 fired transitions, 2465 secs || 350472 markings, 619531 edges, 146 markings/sec, 2465 secs
lola: 1 tries, 357933 fired transitions, 2470 secs || 351203 markings, 620812 edges, 146 markings/sec, 2470 secs
lola: 1 tries, 358613 fired transitions, 2475 secs || 351846 markings, 622082 edges, 129 markings/sec, 2475 secs
lola: 1 tries, 359300 fired transitions, 2480 secs || 352488 markings, 623326 edges, 128 markings/sec, 2480 secs
lola: 1 tries, 359999 fired transitions, 2485 secs || 353166 markings, 624574 edges, 136 markings/sec, 2485 secs
lola: 1 tries, 360697 fired transitions, 2490 secs || 353859 markings, 625798 edges, 139 markings/sec, 2490 secs
lola: 1 tries, 361397 fired transitions, 2495 secs || 354624 markings, 626815 edges, 153 markings/sec, 2495 secs
lola: 1 tries, 362129 fired transitions, 2500 secs || 355352 markings, 628055 edges, 146 markings/sec, 2500 secs
lola: 1 tries, 362877 fired transitions, 2505 secs || 356060 markings, 629413 edges, 142 markings/sec, 2505 secs
lola: 1 tries, 363626 fired transitions, 2510 secs || 356779 markings, 630780 edges, 144 markings/sec, 2510 secs
lola: 1 tries, 364370 fired transitions, 2515 secs || 357484 markings, 632185 edges, 141 markings/sec, 2515 secs
lola: 1 tries, 365104 fired transitions, 2520 secs || 358192 markings, 633465 edges, 142 markings/sec, 2520 secs
lola: 1 tries, 365862 fired transitions, 2525 secs || 358917 markings, 634729 edges, 145 markings/sec, 2525 secs
lola: 1 tries, 366616 fired transitions, 2530 secs || 359643 markings, 636078 edges, 145 markings/sec, 2530 secs
lola: 1 tries, 367367 fired transitions, 2535 secs || 360398 markings, 637471 edges, 151 markings/sec, 2535 secs
lola: 1 tries, 368128 fired transitions, 2540 secs || 361155 markings, 638682 edges, 151 markings/sec, 2540 secs
lola: 1 tries, 368870 fired transitions, 2545 secs || 361907 markings, 640075 edges, 150 markings/sec, 2545 secs
lola: 1 tries, 369621 fired transitions, 2550 secs || 362646 markings, 641552 edges, 148 markings/sec, 2550 secs
lola: 1 tries, 370361 fired transitions, 2555 secs || 363395 markings, 642918 edges, 150 markings/sec, 2555 secs
lola: 1 tries, 371112 fired transitions, 2560 secs || 364126 markings, 644260 edges, 146 markings/sec, 2560 secs
lola: 1 tries, 371852 fired transitions, 2565 secs || 364854 markings, 645558 edges, 146 markings/sec, 2565 secs
lola: 1 tries, 372592 fired transitions, 2570 secs || 365569 markings, 647005 edges, 143 markings/sec, 2570 secs
lola: 1 tries, 373334 fired transitions, 2575 secs || 366279 markings, 648508 edges, 142 markings/sec, 2575 secs
lola: 1 tries, 374084 fired transitions, 2580 secs || 367055 markings, 649787 edges, 155 markings/sec, 2580 secs
lola: 1 tries, 374824 fired transitions, 2585 secs || 367857 markings, 651080 edges, 160 markings/sec, 2585 secs
lola: 1 tries, 375538 fired transitions, 2590 secs || 368539 markings, 652319 edges, 136 markings/sec, 2590 secs
lola: 1 tries, 376268 fired transitions, 2595 secs || 369246 markings, 653668 edges, 141 markings/sec, 2595 secs
lola: 1 tries, 377002 fired transitions, 2600 secs || 369929 markings, 655132 edges, 137 markings/sec, 2600 secs
lola: 1 tries, 377719 fired transitions, 2605 secs || 370596 markings, 656534 edges, 133 markings/sec, 2605 secs
lola: 1 tries, 378440 fired transitions, 2610 secs || 371269 markings, 657912 edges, 135 markings/sec, 2610 secs
lola: 1 tries, 379175 fired transitions, 2615 secs || 371976 markings, 659251 edges, 141 markings/sec, 2615 secs
lola: 1 tries, 379908 fired transitions, 2620 secs || 372676 markings, 660727 edges, 140 markings/sec, 2620 secs
lola: 1 tries, 380647 fired transitions, 2625 secs || 373381 markings, 662219 edges, 141 markings/sec, 2625 secs
lola: 1 tries, 381372 fired transitions, 2630 secs || 374062 markings, 663683 edges, 136 markings/sec, 2630 secs
lola: 1 tries, 382092 fired transitions, 2635 secs || 374764 markings, 665021 edges, 140 markings/sec, 2635 secs
lola: 1 tries, 382814 fired transitions, 2640 secs || 375449 markings, 666406 edges, 137 markings/sec, 2640 secs
lola: 1 tries, 383544 fired transitions, 2645 secs || 376118 markings, 667827 edges, 134 markings/sec, 2645 secs
lola: 1 tries, 384276 fired transitions, 2650 secs || 376825 markings, 669242 edges, 141 markings/sec, 2650 secs
lola: 1 tries, 384998 fired transitions, 2655 secs || 377535 markings, 670623 edges, 142 markings/sec, 2655 secs
lola: 1 tries, 385743 fired transitions, 2660 secs || 378253 markings, 671945 edges, 144 markings/sec, 2660 secs
lola: 1 tries, 386486 fired transitions, 2665 secs || 379015 markings, 673169 edges, 152 markings/sec, 2665 secs
lola: 1 tries, 387242 fired transitions, 2670 secs || 379799 markings, 674425 edges, 157 markings/sec, 2670 secs
lola: 1 tries, 387973 fired transitions, 2675 secs || 380573 markings, 675774 edges, 155 markings/sec, 2675 secs
lola: 1 tries, 388718 fired transitions, 2680 secs || 381295 markings, 677074 edges, 144 markings/sec, 2680 secs
lola: 1 tries, 389455 fired transitions, 2685 secs || 382002 markings, 678485 edges, 141 markings/sec, 2685 secs
lola: 1 tries, 390203 fired transitions, 2690 secs || 382716 markings, 679823 edges, 143 markings/sec, 2690 secs
lola: 1 tries, 390953 fired transitions, 2695 secs || 383429 markings, 681376 edges, 143 markings/sec, 2695 secs
lola: 1 tries, 391709 fired transitions, 2700 secs || 384168 markings, 682385 edges, 148 markings/sec, 2700 secs
lola: 1 tries, 392455 fired transitions, 2705 secs || 384902 markings, 683848 edges, 147 markings/sec, 2705 secs
lola: 1 tries, 393207 fired transitions, 2710 secs || 385618 markings, 685237 edges, 143 markings/sec, 2710 secs
lola: 1 tries, 393951 fired transitions, 2715 secs || 386327 markings, 686654 edges, 142 markings/sec, 2715 secs
lola: 1 tries, 394698 fired transitions, 2720 secs || 387031 markings, 688141 edges, 141 markings/sec, 2720 secs
lola: 1 tries, 395455 fired transitions, 2725 secs || 387768 markings, 689430 edges, 147 markings/sec, 2725 secs
lola: 1 tries, 396198 fired transitions, 2730 secs || 388491 markings, 690799 edges, 145 markings/sec, 2730 secs
lola: 1 tries, 396953 fired transitions, 2735 secs || 389249 markings, 692022 edges, 152 markings/sec, 2735 secs
lola: 1 tries, 397705 fired transitions, 2740 secs || 389971 markings, 693350 edges, 144 markings/sec, 2740 secs
lola: 1 tries, 398458 fired transitions, 2745 secs || 390691 markings, 694773 edges, 144 markings/sec, 2745 secs
lola: 1 tries, 399209 fired transitions, 2750 secs || 391428 markings, 696155 edges, 147 markings/sec, 2750 secs
lola: 1 tries, 399950 fired transitions, 2755 secs || 392169 markings, 697421 edges, 148 markings/sec, 2755 secs
lola: 1 tries, 400697 fired transitions, 2760 secs || 392903 markings, 698879 edges, 147 markings/sec, 2760 secs
lola: 1 tries, 401439 fired transitions, 2765 secs || 393641 markings, 700398 edges, 148 markings/sec, 2765 secs
lola: 1 tries, 402187 fired transitions, 2770 secs || 394364 markings, 701846 edges, 145 markings/sec, 2770 secs
lola: 1 tries, 402937 fired transitions, 2775 secs || 395082 markings, 703234 edges, 144 markings/sec, 2775 secs
lola: 1 tries, 403673 fired transitions, 2780 secs || 395795 markings, 704549 edges, 143 markings/sec, 2780 secs
lola: 1 tries, 404427 fired transitions, 2785 secs || 396524 markings, 705669 edges, 146 markings/sec, 2785 secs
lola: 1 tries, 405172 fired transitions, 2790 secs || 397279 markings, 707056 edges, 151 markings/sec, 2790 secs
lola: 1 tries, 405916 fired transitions, 2795 secs || 398018 markings, 708364 edges, 148 markings/sec, 2795 secs
lola: 1 tries, 406665 fired transitions, 2800 secs || 398760 markings, 709843 edges, 148 markings/sec, 2800 secs
lola: 1 tries, 407404 fired transitions, 2805 secs || 399501 markings, 711250 edges, 148 markings/sec, 2805 secs
lola: 1 tries, 408145 fired transitions, 2810 secs || 400225 markings, 712644 edges, 145 markings/sec, 2810 secs
lola: 1 tries, 408891 fired transitions, 2815 secs || 400950 markings, 714136 edges, 145 markings/sec, 2815 secs
lola: 1 tries, 409625 fired transitions, 2820 secs || 401652 markings, 715558 edges, 140 markings/sec, 2820 secs
lola: 1 tries, 410368 fired transitions, 2825 secs || 402376 markings, 717053 edges, 145 markings/sec, 2825 secs
lola: 1 tries, 411118 fired transitions, 2830 secs || 403097 markings, 718627 edges, 144 markings/sec, 2830 secs
lola: 1 tries, 411862 fired transitions, 2835 secs || 403806 markings, 720168 edges, 142 markings/sec, 2835 secs
lola: 1 tries, 412613 fired transitions, 2840 secs || 404536 markings, 721497 edges, 146 markings/sec, 2840 secs
lola: 1 tries, 413370 fired transitions, 2845 secs || 405287 markings, 722923 edges, 150 markings/sec, 2845 secs
lola: 1 tries, 414109 fired transitions, 2850 secs || 405989 markings, 724361 edges, 140 markings/sec, 2850 secs
lola: 1 tries, 414864 fired transitions, 2855 secs || 406704 markings, 725799 edges, 143 markings/sec, 2855 secs
lola: 1 tries, 415579 fired transitions, 2860 secs || 407375 markings, 727170 edges, 134 markings/sec, 2860 secs
lola: 1 tries, 416298 fired transitions, 2865 secs || 408055 markings, 728588 edges, 136 markings/sec, 2865 secs
lola: 1 tries, 417016 fired transitions, 2870 secs || 408747 markings, 730011 edges, 138 markings/sec, 2870 secs
lola: 1 tries, 417731 fired transitions, 2875 secs || 409453 markings, 731221 edges, 141 markings/sec, 2875 secs
lola: 1 tries, 418443 fired transitions, 2880 secs || 410141 markings, 732569 edges, 138 markings/sec, 2880 secs
lola: 1 tries, 419185 fired transitions, 2885 secs || 410859 markings, 733942 edges, 144 markings/sec, 2885 secs
lola: 1 tries, 419947 fired transitions, 2890 secs || 411598 markings, 735426 edges, 148 markings/sec, 2890 secs
lola: 1 tries, 420700 fired transitions, 2895 secs || 412323 markings, 736715 edges, 145 markings/sec, 2895 secs
lola: 1 tries, 421451 fired transitions, 2900 secs || 413051 markings, 738098 edges, 146 markings/sec, 2900 secs
lola: 1 tries, 422196 fired transitions, 2905 secs || 413792 markings, 739551 edges, 148 markings/sec, 2905 secs
lola: 1 tries, 422913 fired transitions, 2910 secs || 414501 markings, 741099 edges, 142 markings/sec, 2910 secs
lola: 1 tries, 423647 fired transitions, 2915 secs || 415191 markings, 742598 edges, 138 markings/sec, 2915 secs
lola: 1 tries, 424335 fired transitions, 2920 secs || 415864 markings, 744055 edges, 135 markings/sec, 2920 secs
lola: 1 tries, 425024 fired transitions, 2925 secs || 416530 markings, 745399 edges, 133 markings/sec, 2925 secs
lola: 1 tries, 425736 fired transitions, 2930 secs || 417229 markings, 746649 edges, 140 markings/sec, 2930 secs
lola: 1 tries, 426481 fired transitions, 2935 secs || 417963 markings, 747810 edges, 147 markings/sec, 2935 secs
lola: 1 tries, 427239 fired transitions, 2940 secs || 418701 markings, 749086 edges, 148 markings/sec, 2940 secs
lola: 1 tries, 427963 fired transitions, 2945 secs || 419421 markings, 750423 edges, 144 markings/sec, 2945 secs
lola: 1 tries, 428689 fired transitions, 2950 secs || 420160 markings, 751765 edges, 148 markings/sec, 2950 secs
lola: 1 tries, 429421 fired transitions, 2955 secs || 420875 markings, 753046 edges, 143 markings/sec, 2955 secs
lola: 1 tries, 430164 fired transitions, 2960 secs || 421583 markings, 754253 edges, 142 markings/sec, 2960 secs
lola: 1 tries, 430890 fired transitions, 2965 secs || 422292 markings, 755577 edges, 142 markings/sec, 2965 secs
lola: 1 tries, 431610 fired transitions, 2970 secs || 422976 markings, 757052 edges, 137 markings/sec, 2970 secs
lola: 1 tries, 432331 fired transitions, 2975 secs || 423668 markings, 758496 edges, 138 markings/sec, 2975 secs
lola: 1 tries, 433057 fired transitions, 2980 secs || 424351 markings, 759823 edges, 137 markings/sec, 2980 secs
lola: 1 tries, 433778 fired transitions, 2985 secs || 425041 markings, 761277 edges, 138 markings/sec, 2985 secs
lola: 1 tries, 434508 fired transitions, 2990 secs || 425740 markings, 762653 edges, 140 markings/sec, 2990 secs
lola: 1 tries, 435230 fired transitions, 2995 secs || 426431 markings, 764082 edges, 138 markings/sec, 2995 secs
lola: 1 tries, 435958 fired transitions, 3000 secs || 427127 markings, 765494 edges, 139 markings/sec, 3000 secs
lola: 1 tries, 436684 fired transitions, 3005 secs || 427828 markings, 766847 edges, 140 markings/sec, 3005 secs
lola: 1 tries, 437410 fired transitions, 3010 secs || 428514 markings, 768290 edges, 137 markings/sec, 3010 secs
lola: 1 tries, 438136 fired transitions, 3015 secs || 429201 markings, 769665 edges, 137 markings/sec, 3015 secs
lola: 1 tries, 438862 fired transitions, 3020 secs || 429900 markings, 770846 edges, 140 markings/sec, 3020 secs
lola: 1 tries, 439586 fired transitions, 3025 secs || 430622 markings, 772132 edges, 144 markings/sec, 3025 secs
lola: 1 tries, 440305 fired transitions, 3030 secs || 431338 markings, 773446 edges, 143 markings/sec, 3030 secs
lola: 1 tries, 441034 fired transitions, 3035 secs || 432046 markings, 774773 edges, 142 markings/sec, 3035 secs
lola: 1 tries, 441758 fired transitions, 3040 secs || 432756 markings, 776350 edges, 142 markings/sec, 3040 secs
lola: 1 tries, 442477 fired transitions, 3045 secs || 433463 markings, 777759 edges, 141 markings/sec, 3045 secs
lola: 1 tries, 443202 fired transitions, 3050 secs || 434171 markings, 779006 edges, 142 markings/sec, 3050 secs
lola: 1 tries, 443920 fired transitions, 3055 secs || 434867 markings, 780265 edges, 139 markings/sec, 3055 secs
lola: 1 tries, 444649 fired transitions, 3060 secs || 435590 markings, 781481 edges, 145 markings/sec, 3060 secs
lola: 1 tries, 445370 fired transitions, 3065 secs || 436301 markings, 782855 edges, 142 markings/sec, 3065 secs
lola: 1 tries, 446103 fired transitions, 3070 secs || 437001 markings, 784216 edges, 140 markings/sec, 3070 secs
lola: 1 tries, 446838 fired transitions, 3075 secs || 437711 markings, 785497 edges, 142 markings/sec, 3075 secs
lola: 1 tries, 447564 fired transitions, 3080 secs || 438423 markings, 786848 edges, 142 markings/sec, 3080 secs
lola: 1 tries, 448296 fired transitions, 3085 secs || 439117 markings, 788206 edges, 139 markings/sec, 3085 secs
lola: 1 tries, 449023 fired transitions, 3090 secs || 439822 markings, 789647 edges, 141 markings/sec, 3090 secs
lola: 1 tries, 449758 fired transitions, 3095 secs || 440501 markings, 791078 edges, 136 markings/sec, 3095 secs
lola: 1 tries, 450493 fired transitions, 3100 secs || 441186 markings, 792434 edges, 137 markings/sec, 3100 secs
lola: 1 tries, 451221 fired transitions, 3105 secs || 441879 markings, 793723 edges, 139 markings/sec, 3105 secs
lola: 1 tries, 451958 fired transitions, 3110 secs || 442594 markings, 794863 edges, 143 markings/sec, 3110 secs
lola: 1 tries, 452690 fired transitions, 3115 secs || 443327 markings, 796190 edges, 147 markings/sec, 3115 secs
lola: 1 tries, 453421 fired transitions, 3120 secs || 444046 markings, 797431 edges, 144 markings/sec, 3120 secs
lola: 1 tries, 454143 fired transitions, 3125 secs || 444760 markings, 798719 edges, 143 markings/sec, 3125 secs
lola: 1 tries, 454871 fired transitions, 3130 secs || 445461 markings, 800012 edges, 140 markings/sec, 3130 secs
lola: 1 tries, 455593 fired transitions, 3135 secs || 446151 markings, 801401 edges, 138 markings/sec, 3135 secs
lola: 1 tries, 456324 fired transitions, 3140 secs || 446843 markings, 802852 edges, 138 markings/sec, 3140 secs
lola: 1 tries, 457061 fired transitions, 3145 secs || 447559 markings, 804236 edges, 143 markings/sec, 3145 secs
lola: 1 tries, 457794 fired transitions, 3150 secs || 448230 markings, 805636 edges, 134 markings/sec, 3150 secs
lola: 1 tries, 458522 fired transitions, 3155 secs || 448940 markings, 807111 edges, 142 markings/sec, 3155 secs
lola: 1 tries, 459257 fired transitions, 3160 secs || 449649 markings, 808733 edges, 142 markings/sec, 3160 secs
lola: 1 tries, 459996 fired transitions, 3165 secs || 450348 markings, 810133 edges, 140 markings/sec, 3165 secs
lola: 1 tries, 460719 fired transitions, 3170 secs || 451050 markings, 811375 edges, 140 markings/sec, 3170 secs
lola: 1 tries, 461431 fired transitions, 3175 secs || 451739 markings, 812661 edges, 138 markings/sec, 3175 secs
lola: 1 tries, 462158 fired transitions, 3180 secs || 452451 markings, 814053 edges, 142 markings/sec, 3180 secs
lola: 1 tries, 462883 fired transitions, 3185 secs || 453143 markings, 815337 edges, 138 markings/sec, 3185 secs
lola: 1 tries, 463586 fired transitions, 3190 secs || 453822 markings, 816724 edges, 136 markings/sec, 3190 secs
lola: 1 tries, 464285 fired transitions, 3195 secs || 454500 markings, 818041 edges, 136 markings/sec, 3195 secs
lola: 1 tries, 465001 fired transitions, 3200 secs || 455204 markings, 819489 edges, 141 markings/sec, 3200 secs
lola: 1 tries, 465723 fired transitions, 3205 secs || 455912 markings, 820890 edges, 142 markings/sec, 3205 secs
lola: 1 tries, 466453 fired transitions, 3210 secs || 456642 markings, 822497 edges, 146 markings/sec, 3210 secs
lola: 1 tries, 467175 fired transitions, 3215 secs || 457334 markings, 823864 edges, 138 markings/sec, 3215 secs
lola: 1 tries, 467898 fired transitions, 3220 secs || 458033 markings, 825288 edges, 140 markings/sec, 3220 secs
lola: 1 tries, 468614 fired transitions, 3225 secs || 458741 markings, 826721 edges, 142 markings/sec, 3225 secs
lola: 1 tries, 469339 fired transitions, 3230 secs || 459446 markings, 828240 edges, 141 markings/sec, 3230 secs
lola: 1 tries, 470063 fired transitions, 3235 secs || 460136 markings, 829833 edges, 138 markings/sec, 3235 secs
lola: 1 tries, 470788 fired transitions, 3240 secs || 460845 markings, 831229 edges, 142 markings/sec, 3240 secs
lola: 1 tries, 471511 fired transitions, 3245 secs || 461532 markings, 832598 edges, 137 markings/sec, 3245 secs
lola: 1 tries, 472235 fired transitions, 3250 secs || 462237 markings, 834059 edges, 141 markings/sec, 3250 secs
lola: 1 tries, 472960 fired transitions, 3255 secs || 462931 markings, 835502 edges, 139 markings/sec, 3255 secs
lola: 1 tries, 473680 fired transitions, 3260 secs || 463631 markings, 836896 edges, 140 markings/sec, 3260 secs
lola: 1 tries, 474402 fired transitions, 3265 secs || 464318 markings, 838259 edges, 137 markings/sec, 3265 secs
lola: 1 tries, 475126 fired transitions, 3270 secs || 465012 markings, 839653 edges, 139 markings/sec, 3270 secs
lola: 1 tries, 475840 fired transitions, 3275 secs || 465702 markings, 841008 edges, 138 markings/sec, 3275 secs
lola: 1 tries, 476567 fired transitions, 3280 secs || 466409 markings, 842378 edges, 141 markings/sec, 3280 secs
lola: 1 tries, 477303 fired transitions, 3285 secs || 467103 markings, 843593 edges, 139 markings/sec, 3285 secs
lola: 1 tries, 478038 fired transitions, 3290 secs || 467799 markings, 844960 edges, 139 markings/sec, 3290 secs
lola: 1 tries, 478770 fired transitions, 3295 secs || 468502 markings, 846545 edges, 141 markings/sec, 3295 secs
lola: 1 tries, 479502 fired transitions, 3300 secs || 469204 markings, 848034 edges, 140 markings/sec, 3300 secs
lola: 1 tries, 480231 fired transitions, 3305 secs || 469891 markings, 849455 edges, 137 markings/sec, 3305 secs
lola: 1 tries, 480959 fired transitions, 3310 secs || 470585 markings, 850716 edges, 139 markings/sec, 3310 secs
lola: 1 tries, 481705 fired transitions, 3315 secs || 471248 markings, 851999 edges, 133 markings/sec, 3315 secs
lola: 1 tries, 482453 fired transitions, 3320 secs || 471926 markings, 853386 edges, 136 markings/sec, 3320 secs
lola: 1 tries, 483206 fired transitions, 3325 secs || 472599 markings, 854678 edges, 135 markings/sec, 3325 secs
lola: 1 tries, 483953 fired transitions, 3330 secs || 473308 markings, 856143 edges, 142 markings/sec, 3330 secs
lola: 1 tries, 484706 fired transitions, 3335 secs || 473993 markings, 857456 edges, 137 markings/sec, 3335 secs
lola: 1 tries, 485449 fired transitions, 3340 secs || 474665 markings, 858841 edges, 134 markings/sec, 3340 secs
lola: 1 tries, 486172 fired transitions, 3345 secs || 475394 markings, 860309 edges, 146 markings/sec, 3345 secs
lola: 1 tries, 486890 fired transitions, 3350 secs || 476087 markings, 861843 edges, 139 markings/sec, 3350 secs
lola: 1 tries, 487621 fired transitions, 3355 secs || 476794 markings, 863099 edges, 141 markings/sec, 3355 secs
lola: 1 tries, 488345 fired transitions, 3360 secs || 477508 markings, 864509 edges, 143 markings/sec, 3360 secs
lola: 1 tries, 489060 fired transitions, 3365 secs || 478191 markings, 865934 edges, 137 markings/sec, 3365 secs
lola: 1 tries, 489768 fired transitions, 3370 secs || 478883 markings, 867246 edges, 138 markings/sec, 3370 secs
lola: 1 tries, 490499 fired transitions, 3375 secs || 479594 markings, 868681 edges, 142 markings/sec, 3375 secs
lola: 1 tries, 491227 fired transitions, 3380 secs || 480293 markings, 870065 edges, 140 markings/sec, 3380 secs
lola: 1 tries, 491957 fired transitions, 3385 secs || 481008 markings, 871487 edges, 143 markings/sec, 3385 secs
lola: 1 tries, 492685 fired transitions, 3390 secs || 481704 markings, 873054 edges, 139 markings/sec, 3390 secs
lola: 1 tries, 493419 fired transitions, 3395 secs || 482451 markings, 874271 edges, 149 markings/sec, 3395 secs
lola: 1 tries, 494153 fired transitions, 3400 secs || 483182 markings, 875677 edges, 146 markings/sec, 3400 secs
lola: 1 tries, 494886 fired transitions, 3405 secs || 483892 markings, 877038 edges, 142 markings/sec, 3405 secs
lola: 1 tries, 495614 fired transitions, 3410 secs || 484587 markings, 878453 edges, 139 markings/sec, 3410 secs
lola: 1 tries, 496348 fired transitions, 3415 secs || 485304 markings, 879750 edges, 143 markings/sec, 3415 secs
lola: 1 tries, 497075 fired transitions, 3420 secs || 486013 markings, 881052 edges, 142 markings/sec, 3420 secs
lola: 1 tries, 497790 fired transitions, 3425 secs || 486688 markings, 882475 edges, 135 markings/sec, 3425 secs
lola: 1 tries, 498499 fired transitions, 3430 secs || 487383 markings, 883721 edges, 139 markings/sec, 3430 secs
lola: 1 tries, 499224 fired transitions, 3435 secs || 488088 markings, 885197 edges, 141 markings/sec, 3435 secs
lola: 1 tries, 499942 fired transitions, 3440 secs || 488794 markings, 886625 edges, 141 markings/sec, 3440 secs
lola: 1 tries, 500670 fired transitions, 3445 secs || 489497 markings, 888004 edges, 141 markings/sec, 3445 secs
lola: 1 tries, 501401 fired transitions, 3450 secs || 490217 markings, 889334 edges, 144 markings/sec, 3450 secs
lola: 1 tries, 502128 fired transitions, 3455 secs || 490920 markings, 890635 edges, 141 markings/sec, 3455 secs
lola: 1 tries, 502849 fired transitions, 3460 secs || 491642 markings, 892015 edges, 144 markings/sec, 3460 secs
lola: 1 tries, 503580 fired transitions, 3465 secs || 492362 markings, 893397 edges, 144 markings/sec, 3465 secs
lola: 1 tries, 504300 fired transitions, 3470 secs || 493031 markings, 894732 edges, 134 markings/sec, 3470 secs
lola: 1 tries, 505018 fired transitions, 3475 secs || 493722 markings, 896107 edges, 138 markings/sec, 3475 secs
lola: 1 tries, 505752 fired transitions, 3480 secs || 494433 markings, 897568 edges, 142 markings/sec, 3480 secs
lola: 1 tries, 506473 fired transitions, 3485 secs || 495129 markings, 898882 edges, 139 markings/sec, 3485 secs
lola: 1 tries, 507191 fired transitions, 3490 secs || 495822 markings, 900250 edges, 139 markings/sec, 3490 secs
lola: 1 tries, 507919 fired transitions, 3495 secs || 496531 markings, 901831 edges, 142 markings/sec, 3495 secs
lola: 1 tries, 508642 fired transitions, 3500 secs || 497224 markings, 903342 edges, 139 markings/sec, 3500 secs
lola: 1 tries, 509376 fired transitions, 3505 secs || 497912 markings, 904633 edges, 138 markings/sec, 3505 secs
lola: 1 tries, 510102 fired transitions, 3510 secs || 498627 markings, 905939 edges, 143 markings/sec, 3510 secs
lola: 1 tries, 510837 fired transitions, 3515 secs || 499337 markings, 907249 edges, 142 markings/sec, 3515 secs
lola: 1 tries, 511560 fired transitions, 3520 secs || 500038 markings, 908651 edges, 140 markings/sec, 3520 secs
lola: 1 tries, 512287 fired transitions, 3525 secs || 500725 markings, 909930 edges, 137 markings/sec, 3525 secs
lola: 1 tries, 513013 fired transitions, 3530 secs || 501431 markings, 911105 edges, 141 markings/sec, 3530 secs
lola: 1 tries, 513693 fired transitions, 3535 secs || 502095 markings, 912381 edges, 133 markings/sec, 3535 secs
lola: 1 tries, 514390 fired transitions, 3540 secs || 502795 markings, 913573 edges, 140 markings/sec, 3540 secs
lola: 1 tries, 515087 fired transitions, 3545 secs || 503476 markings, 915010 edges, 136 markings/sec, 3545 secs
lola: 1 tries, 515836 fired transitions, 3550 secs || 504234 markings, 916566 edges, 152 markings/sec, 3550 secs
lola: 1 tries, 516611 fired transitions, 3555 secs || 504972 markings, 918176 edges, 148 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 347100 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 1552936862079
--------------------
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="SafeBus-COL-20"
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 SafeBus-COL-20, 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 r159-csrt-155286430400039"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SafeBus-COL-20.tgz
mv SafeBus-COL-20 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 ;