About the Execution of LoLA for GlobalResAllocation-COL-06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8348.340 | 3570807.00 | 7238996.00 | 435.20 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2019-input.r082-csrt-155246549500480.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 GlobalResAllocation-COL-06, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r082-csrt-155246549500480
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 4.6K Feb 11 01:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 11 01:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 7 01:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 7 01:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 113 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 351 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.8K Feb 4 23:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 4 23:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.9K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 3 08:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 3 08:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Jan 31 03:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 31 03:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 28K 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 GlobalResAllocation-COL-06-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1552667079760
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ GlobalResAllocation-COL-06 @ 3570 seconds
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ GlobalResAllocation-COL-06
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Mar 15 16:24:39 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 7682384,
"runtime": 3571.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": 1226388,
"conflict_clusters": 13,
"places": 102,
"places_significant": 78,
"singleton_clusters": 0,
"transitions": 136662
},
"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": 1.000000,
"composed": 0,
"dead_branches": 0,
"generators": 0,
"interrupted": false,
"real_computed": 0,
"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: 102, Transitions: 136662
lola: @ trans enter3
lola: @ trans enter2
lola: @ trans release1
lola: @ trans enter1
lola: @ trans exit
lola: @ trans enter4
lola: @ trans release2
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 136764/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3264
lola: finding significant places
lola: 102 places, 136662 transitions, 78 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 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 0 fired transitions, 0 secs || 29301 markings, 29300 edges, 5860 markings/sec, 0 secs
lola: 1 tries, 0 fired transitions, 5 secs || 81220 markings, 81219 edges, 10384 markings/sec, 5 secs
lola: 1 tries, 0 fired transitions, 10 secs || 133043 markings, 133042 edges, 10365 markings/sec, 10 secs
lola: 1 tries, 0 fired transitions, 15 secs || 184959 markings, 184958 edges, 10383 markings/sec, 15 secs
lola: 1 tries, 4 fired transitions, 20 secs || 236150 markings, 236149 edges, 10238 markings/sec, 20 secs
lola: 1 tries, 4 fired transitions, 25 secs || 287436 markings, 287435 edges, 10257 markings/sec, 25 secs
lola: 1 tries, 4 fired transitions, 30 secs || 339766 markings, 339765 edges, 10466 markings/sec, 30 secs
lola: 1 tries, 4 fired transitions, 35 secs || 391417 markings, 391416 edges, 10330 markings/sec, 35 secs
lola: 1 tries, 4 fired transitions, 40 secs || 444663 markings, 444662 edges, 10649 markings/sec, 40 secs
lola: 1 tries, 8 fired transitions, 45 secs || 497937 markings, 497936 edges, 10655 markings/sec, 45 secs
lola: 1 tries, 8 fired transitions, 50 secs || 551230 markings, 551230 edges, 10659 markings/sec, 50 secs
lola: 1 tries, 8 fired transitions, 55 secs || 602749 markings, 602748 edges, 10304 markings/sec, 55 secs
lola: 1 tries, 8 fired transitions, 60 secs || 653538 markings, 653537 edges, 10158 markings/sec, 60 secs
lola: 1 tries, 8 fired transitions, 65 secs || 704982 markings, 704981 edges, 10289 markings/sec, 65 secs
lola: 1 tries, 12 fired transitions, 70 secs || 757273 markings, 757272 edges, 10458 markings/sec, 70 secs
lola: 1 tries, 12 fired transitions, 75 secs || 809425 markings, 809424 edges, 10430 markings/sec, 75 secs
lola: 1 tries, 12 fired transitions, 80 secs || 861542 markings, 861542 edges, 10423 markings/sec, 80 secs
lola: 1 tries, 12 fired transitions, 85 secs || 913710 markings, 913709 edges, 10434 markings/sec, 85 secs
lola: 1 tries, 12 fired transitions, 90 secs || 965577 markings, 965576 edges, 10373 markings/sec, 90 secs
lola: 1 tries, 16 fired transitions, 95 secs || 1017772 markings, 1017771 edges, 10439 markings/sec, 95 secs
lola: 1 tries, 16 fired transitions, 100 secs || 1069975 markings, 1069974 edges, 10441 markings/sec, 100 secs
lola: 1 tries, 16 fired transitions, 105 secs || 1118538 markings, 1118537 edges, 9713 markings/sec, 105 secs
lola: 1 tries, 16 fired transitions, 110 secs || 1169403 markings, 1169402 edges, 10173 markings/sec, 110 secs
lola: 1 tries, 16 fired transitions, 115 secs || 1220277 markings, 1220276 edges, 10175 markings/sec, 115 secs
lola: 1 tries, 20 fired transitions, 120 secs || 1271297 markings, 1271296 edges, 10204 markings/sec, 120 secs
lola: 1 tries, 20 fired transitions, 125 secs || 1321122 markings, 1321121 edges, 9965 markings/sec, 125 secs
lola: 1 tries, 20 fired transitions, 130 secs || 1372418 markings, 1372417 edges, 10259 markings/sec, 130 secs
lola: 1 tries, 20 fired transitions, 135 secs || 1423636 markings, 1423635 edges, 10244 markings/sec, 135 secs
lola: 1 tries, 20 fired transitions, 140 secs || 1475089 markings, 1475088 edges, 10291 markings/sec, 140 secs
lola: 1 tries, 24 fired transitions, 145 secs || 1526417 markings, 1526416 edges, 10266 markings/sec, 145 secs
lola: 1 tries, 24 fired transitions, 150 secs || 1578497 markings, 1578496 edges, 10416 markings/sec, 150 secs
lola: 1 tries, 24 fired transitions, 155 secs || 1631463 markings, 1631462 edges, 10593 markings/sec, 155 secs
lola: 1 tries, 24 fired transitions, 160 secs || 1685084 markings, 1685083 edges, 10724 markings/sec, 160 secs
lola: 1 tries, 28 fired transitions, 165 secs || 1739105 markings, 1739104 edges, 10804 markings/sec, 165 secs
lola: 1 tries, 28 fired transitions, 170 secs || 1791323 markings, 1791322 edges, 10444 markings/sec, 170 secs
lola: 1 tries, 28 fired transitions, 175 secs || 1843871 markings, 1843870 edges, 10510 markings/sec, 175 secs
lola: 1 tries, 28 fired transitions, 180 secs || 1897099 markings, 1897098 edges, 10646 markings/sec, 180 secs
lola: 1 tries, 28 fired transitions, 185 secs || 1948199 markings, 1948198 edges, 10220 markings/sec, 185 secs
lola: 1 tries, 32 fired transitions, 190 secs || 1997583 markings, 1997582 edges, 9877 markings/sec, 190 secs
lola: 1 tries, 32 fired transitions, 195 secs || 2050504 markings, 2050503 edges, 10584 markings/sec, 195 secs
lola: 1 tries, 32 fired transitions, 200 secs || 2104484 markings, 2104483 edges, 10796 markings/sec, 200 secs
lola: 1 tries, 32 fired transitions, 205 secs || 2157840 markings, 2157839 edges, 10671 markings/sec, 205 secs
lola: 1 tries, 32 fired transitions, 210 secs || 2210524 markings, 2210523 edges, 10537 markings/sec, 210 secs
lola: 1 tries, 36 fired transitions, 215 secs || 2261377 markings, 2261376 edges, 10171 markings/sec, 215 secs
lola: 1 tries, 36 fired transitions, 220 secs || 2313846 markings, 2313845 edges, 10494 markings/sec, 220 secs
lola: 1 tries, 36 fired transitions, 225 secs || 2366480 markings, 2366479 edges, 10527 markings/sec, 225 secs
lola: 1 tries, 36 fired transitions, 230 secs || 2419023 markings, 2419022 edges, 10509 markings/sec, 230 secs
lola: 1 tries, 36 fired transitions, 235 secs || 2471149 markings, 2471148 edges, 10425 markings/sec, 235 secs
lola: 1 tries, 40 fired transitions, 240 secs || 2524220 markings, 2524219 edges, 10614 markings/sec, 240 secs
lola: 1 tries, 40 fired transitions, 245 secs || 2576010 markings, 2576009 edges, 10358 markings/sec, 245 secs
lola: 1 tries, 40 fired transitions, 250 secs || 2626153 markings, 2626152 edges, 10029 markings/sec, 250 secs
lola: 1 tries, 40 fired transitions, 255 secs || 2674410 markings, 2674409 edges, 9651 markings/sec, 255 secs
lola: 1 tries, 40 fired transitions, 260 secs || 2723825 markings, 2723824 edges, 9883 markings/sec, 260 secs
lola: 1 tries, 45 fired transitions, 265 secs || 2770999 markings, 2770998 edges, 9435 markings/sec, 265 secs
lola: 1 tries, 45 fired transitions, 270 secs || 2819321 markings, 2819320 edges, 9664 markings/sec, 270 secs
lola: 1 tries, 45 fired transitions, 275 secs || 2867514 markings, 2867513 edges, 9639 markings/sec, 275 secs
lola: 1 tries, 45 fired transitions, 280 secs || 2917072 markings, 2917071 edges, 9912 markings/sec, 280 secs
lola: 1 tries, 45 fired transitions, 285 secs || 2967862 markings, 2967861 edges, 10158 markings/sec, 285 secs
lola: 1 tries, 49 fired transitions, 290 secs || 3018184 markings, 3018183 edges, 10064 markings/sec, 290 secs
lola: 1 tries, 49 fired transitions, 295 secs || 3069773 markings, 3069772 edges, 10318 markings/sec, 295 secs
lola: 1 tries, 49 fired transitions, 300 secs || 3119658 markings, 3119657 edges, 9977 markings/sec, 300 secs
lola: 1 tries, 49 fired transitions, 305 secs || 3169798 markings, 3169797 edges, 10028 markings/sec, 305 secs
lola: 1 tries, 49 fired transitions, 310 secs || 3220727 markings, 3220726 edges, 10186 markings/sec, 310 secs
lola: 1 tries, 53 fired transitions, 315 secs || 3272174 markings, 3272173 edges, 10289 markings/sec, 315 secs
lola: 1 tries, 53 fired transitions, 320 secs || 3323815 markings, 3323814 edges, 10328 markings/sec, 320 secs
lola: 1 tries, 53 fired transitions, 325 secs || 3375178 markings, 3375177 edges, 10273 markings/sec, 325 secs
lola: 1 tries, 53 fired transitions, 330 secs || 3427608 markings, 3427607 edges, 10486 markings/sec, 330 secs
lola: 1 tries, 53 fired transitions, 335 secs || 3478759 markings, 3478758 edges, 10230 markings/sec, 335 secs
lola: 1 tries, 57 fired transitions, 340 secs || 3530149 markings, 3530148 edges, 10278 markings/sec, 340 secs
lola: 1 tries, 57 fired transitions, 345 secs || 3581298 markings, 3581297 edges, 10230 markings/sec, 345 secs
lola: 1 tries, 57 fired transitions, 350 secs || 3632500 markings, 3632499 edges, 10240 markings/sec, 350 secs
lola: 1 tries, 57 fired transitions, 355 secs || 3683725 markings, 3683724 edges, 10245 markings/sec, 355 secs
lola: 1 tries, 57 fired transitions, 360 secs || 3734771 markings, 3734770 edges, 10209 markings/sec, 360 secs
lola: 1 tries, 61 fired transitions, 365 secs || 3786810 markings, 3786809 edges, 10408 markings/sec, 365 secs
lola: 1 tries, 61 fired transitions, 370 secs || 3838694 markings, 3838693 edges, 10377 markings/sec, 370 secs
lola: 1 tries, 61 fired transitions, 375 secs || 3889492 markings, 3889491 edges, 10160 markings/sec, 375 secs
lola: 1 tries, 61 fired transitions, 380 secs || 3940298 markings, 3940297 edges, 10161 markings/sec, 380 secs
lola: 1 tries, 65 fired transitions, 385 secs || 3988732 markings, 3988731 edges, 9687 markings/sec, 385 secs
lola: 1 tries, 65 fired transitions, 390 secs || 4036600 markings, 4036599 edges, 9574 markings/sec, 390 secs
lola: 1 tries, 65 fired transitions, 395 secs || 4085141 markings, 4085141 edges, 9708 markings/sec, 395 secs
lola: 1 tries, 65 fired transitions, 400 secs || 4134675 markings, 4134674 edges, 9907 markings/sec, 400 secs
lola: 1 tries, 65 fired transitions, 405 secs || 4185426 markings, 4185425 edges, 10150 markings/sec, 405 secs
lola: 1 tries, 70 fired transitions, 410 secs || 4235789 markings, 4235788 edges, 10073 markings/sec, 410 secs
lola: 1 tries, 70 fired transitions, 415 secs || 4285018 markings, 4285017 edges, 9846 markings/sec, 415 secs
lola: 1 tries, 70 fired transitions, 420 secs || 4334068 markings, 4334067 edges, 9810 markings/sec, 420 secs
lola: 1 tries, 70 fired transitions, 425 secs || 4384779 markings, 4384778 edges, 10142 markings/sec, 425 secs
lola: 1 tries, 70 fired transitions, 430 secs || 4435044 markings, 4435043 edges, 10053 markings/sec, 430 secs
lola: 1 tries, 75 fired transitions, 435 secs || 4485792 markings, 4485791 edges, 10150 markings/sec, 435 secs
lola: 1 tries, 75 fired transitions, 440 secs || 4536100 markings, 4536099 edges, 10062 markings/sec, 440 secs
lola: 1 tries, 75 fired transitions, 445 secs || 4586064 markings, 4586063 edges, 9993 markings/sec, 445 secs
lola: 1 tries, 75 fired transitions, 450 secs || 4636065 markings, 4636064 edges, 10000 markings/sec, 450 secs
lola: 1 tries, 75 fired transitions, 455 secs || 4685850 markings, 4685849 edges, 9957 markings/sec, 455 secs
lola: 1 tries, 79 fired transitions, 460 secs || 4735879 markings, 4735878 edges, 10006 markings/sec, 460 secs
lola: 1 tries, 79 fired transitions, 465 secs || 4786054 markings, 4786053 edges, 10035 markings/sec, 465 secs
lola: 1 tries, 79 fired transitions, 470 secs || 4835527 markings, 4835526 edges, 9895 markings/sec, 470 secs
lola: 1 tries, 79 fired transitions, 475 secs || 4885761 markings, 4885760 edges, 10047 markings/sec, 475 secs
lola: 1 tries, 79 fired transitions, 480 secs || 4935590 markings, 4935589 edges, 9966 markings/sec, 480 secs
lola: 1 tries, 84 fired transitions, 485 secs || 4985490 markings, 4985489 edges, 9980 markings/sec, 485 secs
lola: 1 tries, 84 fired transitions, 490 secs || 5035103 markings, 5035102 edges, 9923 markings/sec, 490 secs
lola: 1 tries, 84 fired transitions, 495 secs || 5085534 markings, 5085533 edges, 10086 markings/sec, 495 secs
lola: 1 tries, 84 fired transitions, 500 secs || 5136227 markings, 5136226 edges, 10139 markings/sec, 500 secs
lola: 1 tries, 84 fired transitions, 505 secs || 5186740 markings, 5186739 edges, 10103 markings/sec, 505 secs
lola: 1 tries, 88 fired transitions, 510 secs || 5237448 markings, 5237447 edges, 10142 markings/sec, 510 secs
lola: 1 tries, 88 fired transitions, 515 secs || 5288686 markings, 5288685 edges, 10248 markings/sec, 515 secs
lola: 1 tries, 88 fired transitions, 520 secs || 5340003 markings, 5340002 edges, 10263 markings/sec, 520 secs
lola: 1 tries, 88 fired transitions, 525 secs || 5391376 markings, 5391375 edges, 10275 markings/sec, 525 secs
lola: 1 tries, 88 fired transitions, 530 secs || 5442694 markings, 5442693 edges, 10264 markings/sec, 530 secs
lola: 1 tries, 93 fired transitions, 535 secs || 5493655 markings, 5493655 edges, 10192 markings/sec, 535 secs
lola: 1 tries, 93 fired transitions, 540 secs || 5545815 markings, 5545814 edges, 10432 markings/sec, 540 secs
lola: 1 tries, 93 fired transitions, 545 secs || 5597988 markings, 5597987 edges, 10435 markings/sec, 545 secs
lola: 1 tries, 93 fired transitions, 550 secs || 5650256 markings, 5650255 edges, 10454 markings/sec, 550 secs
lola: 1 tries, 93 fired transitions, 555 secs || 5702610 markings, 5702609 edges, 10471 markings/sec, 555 secs
lola: 1 tries, 97 fired transitions, 560 secs || 5754981 markings, 5754980 edges, 10474 markings/sec, 560 secs
lola: 1 tries, 97 fired transitions, 565 secs || 5805532 markings, 5805531 edges, 10110 markings/sec, 565 secs
lola: 1 tries, 97 fired transitions, 570 secs || 5857561 markings, 5857560 edges, 10406 markings/sec, 570 secs
lola: 1 tries, 97 fired transitions, 575 secs || 5909645 markings, 5909644 edges, 10417 markings/sec, 575 secs
lola: 1 tries, 97 fired transitions, 580 secs || 5961267 markings, 5961266 edges, 10324 markings/sec, 580 secs
lola: 1 tries, 101 fired transitions, 585 secs || 6013401 markings, 6013400 edges, 10427 markings/sec, 585 secs
lola: 1 tries, 101 fired transitions, 590 secs || 6064816 markings, 6064815 edges, 10283 markings/sec, 590 secs
lola: 1 tries, 101 fired transitions, 595 secs || 6116221 markings, 6116220 edges, 10281 markings/sec, 595 secs
lola: 1 tries, 101 fired transitions, 600 secs || 6165686 markings, 6165685 edges, 9893 markings/sec, 600 secs
lola: 1 tries, 101 fired transitions, 605 secs || 6214704 markings, 6214703 edges, 9804 markings/sec, 605 secs
lola: 1 tries, 105 fired transitions, 610 secs || 6267181 markings, 6267180 edges, 10495 markings/sec, 610 secs
lola: 1 tries, 105 fired transitions, 615 secs || 6315679 markings, 6315678 edges, 9700 markings/sec, 615 secs
lola: 1 tries, 105 fired transitions, 620 secs || 6364243 markings, 6364242 edges, 9713 markings/sec, 620 secs
lola: 1 tries, 105 fired transitions, 625 secs || 6413118 markings, 6413117 edges, 9775 markings/sec, 625 secs
lola: 1 tries, 105 fired transitions, 630 secs || 6461715 markings, 6461714 edges, 9719 markings/sec, 630 secs
lola: 1 tries, 109 fired transitions, 635 secs || 6510199 markings, 6510198 edges, 9697 markings/sec, 635 secs
lola: 1 tries, 109 fired transitions, 640 secs || 6559249 markings, 6559248 edges, 9810 markings/sec, 640 secs
lola: 1 tries, 109 fired transitions, 645 secs || 6612917 markings, 6612916 edges, 10734 markings/sec, 645 secs
lola: 1 tries, 109 fired transitions, 650 secs || 6664494 markings, 6664493 edges, 10315 markings/sec, 650 secs
lola: 1 tries, 109 fired transitions, 655 secs || 6714232 markings, 6714231 edges, 9948 markings/sec, 655 secs
lola: 1 tries, 113 fired transitions, 660 secs || 6765957 markings, 6765956 edges, 10345 markings/sec, 660 secs
lola: 1 tries, 113 fired transitions, 665 secs || 6821525 markings, 6821525 edges, 11114 markings/sec, 665 secs
lola: 1 tries, 113 fired transitions, 670 secs || 6876489 markings, 6876488 edges, 10993 markings/sec, 670 secs
lola: 1 tries, 113 fired transitions, 675 secs || 6927567 markings, 6927566 edges, 10216 markings/sec, 675 secs
lola: 1 tries, 117 fired transitions, 680 secs || 6978143 markings, 6978142 edges, 10115 markings/sec, 680 secs
lola: 1 tries, 117 fired transitions, 685 secs || 7027471 markings, 7027470 edges, 9866 markings/sec, 685 secs
lola: 1 tries, 117 fired transitions, 690 secs || 7076651 markings, 7076650 edges, 9836 markings/sec, 690 secs
lola: 1 tries, 117 fired transitions, 695 secs || 7129915 markings, 7129914 edges, 10653 markings/sec, 695 secs
lola: 1 tries, 117 fired transitions, 700 secs || 7182455 markings, 7182454 edges, 10508 markings/sec, 700 secs
lola: 1 tries, 122 fired transitions, 705 secs || 7235249 markings, 7235248 edges, 10559 markings/sec, 705 secs
lola: 1 tries, 122 fired transitions, 710 secs || 7287453 markings, 7287452 edges, 10441 markings/sec, 710 secs
lola: 1 tries, 122 fired transitions, 715 secs || 7339681 markings, 7339680 edges, 10446 markings/sec, 715 secs
lola: 1 tries, 122 fired transitions, 720 secs || 7392245 markings, 7392244 edges, 10513 markings/sec, 720 secs
lola: 1 tries, 122 fired transitions, 725 secs || 7442779 markings, 7442778 edges, 10107 markings/sec, 725 secs
lola: 1 tries, 127 fired transitions, 730 secs || 7490507 markings, 7490506 edges, 9546 markings/sec, 730 secs
lola: 1 tries, 127 fired transitions, 735 secs || 7542777 markings, 7542776 edges, 10454 markings/sec, 735 secs
lola: 1 tries, 127 fired transitions, 740 secs || 7595819 markings, 7595818 edges, 10608 markings/sec, 740 secs
lola: 1 tries, 127 fired transitions, 745 secs || 7648162 markings, 7648161 edges, 10469 markings/sec, 745 secs
lola: 1 tries, 127 fired transitions, 750 secs || 7697853 markings, 7697852 edges, 9938 markings/sec, 750 secs
lola: 1 tries, 132 fired transitions, 755 secs || 7749288 markings, 7749287 edges, 10287 markings/sec, 755 secs
lola: 1 tries, 132 fired transitions, 760 secs || 7801719 markings, 7801718 edges, 10486 markings/sec, 760 secs
lola: 1 tries, 132 fired transitions, 765 secs || 7854235 markings, 7854234 edges, 10503 markings/sec, 765 secs
lola: 1 tries, 132 fired transitions, 770 secs || 7906687 markings, 7906686 edges, 10490 markings/sec, 770 secs
lola: 1 tries, 132 fired transitions, 775 secs || 7959606 markings, 7959605 edges, 10584 markings/sec, 775 secs
lola: 1 tries, 137 fired transitions, 780 secs || 8013459 markings, 8013458 edges, 10771 markings/sec, 780 secs
lola: 1 tries, 137 fired transitions, 785 secs || 8067160 markings, 8067159 edges, 10740 markings/sec, 785 secs
lola: 1 tries, 137 fired transitions, 790 secs || 8120526 markings, 8120525 edges, 10673 markings/sec, 790 secs
lola: 1 tries, 137 fired transitions, 795 secs || 8173994 markings, 8173993 edges, 10694 markings/sec, 795 secs
lola: 1 tries, 142 fired transitions, 800 secs || 8227465 markings, 8227464 edges, 10694 markings/sec, 800 secs
lola: 1 tries, 142 fired transitions, 805 secs || 8280911 markings, 8280910 edges, 10689 markings/sec, 805 secs
lola: 1 tries, 142 fired transitions, 810 secs || 8334025 markings, 8334024 edges, 10623 markings/sec, 810 secs
lola: 1 tries, 142 fired transitions, 815 secs || 8386524 markings, 8386523 edges, 10500 markings/sec, 815 secs
lola: 1 tries, 142 fired transitions, 820 secs || 8439412 markings, 8439411 edges, 10578 markings/sec, 820 secs
lola: 1 tries, 146 fired transitions, 825 secs || 8492317 markings, 8492316 edges, 10581 markings/sec, 825 secs
lola: 1 tries, 146 fired transitions, 830 secs || 8545726 markings, 8545725 edges, 10682 markings/sec, 830 secs
lola: 1 tries, 146 fired transitions, 835 secs || 8599589 markings, 8599588 edges, 10773 markings/sec, 835 secs
lola: 1 tries, 146 fired transitions, 840 secs || 8653398 markings, 8653397 edges, 10762 markings/sec, 840 secs
lola: 1 tries, 146 fired transitions, 845 secs || 8707148 markings, 8707147 edges, 10750 markings/sec, 845 secs
lola: 1 tries, 151 fired transitions, 850 secs || 8761014 markings, 8761013 edges, 10773 markings/sec, 850 secs
lola: 1 tries, 151 fired transitions, 855 secs || 8814938 markings, 8814937 edges, 10785 markings/sec, 855 secs
lola: 1 tries, 151 fired transitions, 860 secs || 8868950 markings, 8868949 edges, 10802 markings/sec, 860 secs
lola: 1 tries, 151 fired transitions, 865 secs || 8922940 markings, 8922939 edges, 10798 markings/sec, 865 secs
lola: 1 tries, 151 fired transitions, 870 secs || 8976925 markings, 8976924 edges, 10797 markings/sec, 870 secs
lola: 1 tries, 155 fired transitions, 875 secs || 9031143 markings, 9031142 edges, 10844 markings/sec, 875 secs
lola: 1 tries, 155 fired transitions, 880 secs || 9085164 markings, 9085163 edges, 10804 markings/sec, 880 secs
lola: 1 tries, 155 fired transitions, 885 secs || 9139080 markings, 9139079 edges, 10783 markings/sec, 885 secs
lola: 1 tries, 155 fired transitions, 890 secs || 9192861 markings, 9192860 edges, 10756 markings/sec, 890 secs
lola: 1 tries, 159 fired transitions, 895 secs || 9244536 markings, 9244535 edges, 10335 markings/sec, 895 secs
lola: 1 tries, 159 fired transitions, 900 secs || 9295512 markings, 9295511 edges, 10195 markings/sec, 900 secs
lola: 1 tries, 159 fired transitions, 905 secs || 9345103 markings, 9345102 edges, 9918 markings/sec, 905 secs
lola: 1 tries, 159 fired transitions, 910 secs || 9397314 markings, 9397313 edges, 10442 markings/sec, 910 secs
lola: 1 tries, 159 fired transitions, 915 secs || 9446582 markings, 9446581 edges, 9854 markings/sec, 915 secs
lola: 1 tries, 164 fired transitions, 920 secs || 9494577 markings, 9494576 edges, 9599 markings/sec, 920 secs
lola: 1 tries, 164 fired transitions, 925 secs || 9542714 markings, 9542713 edges, 9627 markings/sec, 925 secs
lola: 1 tries, 164 fired transitions, 930 secs || 9591785 markings, 9591784 edges, 9814 markings/sec, 930 secs
lola: 1 tries, 164 fired transitions, 935 secs || 9641024 markings, 9641023 edges, 9848 markings/sec, 935 secs
lola: 1 tries, 164 fired transitions, 940 secs || 9689028 markings, 9689027 edges, 9601 markings/sec, 940 secs
lola: 1 tries, 169 fired transitions, 945 secs || 9739414 markings, 9739413 edges, 10077 markings/sec, 945 secs
lola: 1 tries, 169 fired transitions, 950 secs || 9788025 markings, 9788024 edges, 9722 markings/sec, 950 secs
lola: 1 tries, 169 fired transitions, 955 secs || 9838109 markings, 9838108 edges, 10017 markings/sec, 955 secs
lola: 1 tries, 169 fired transitions, 960 secs || 9888792 markings, 9888791 edges, 10137 markings/sec, 960 secs
lola: 1 tries, 169 fired transitions, 965 secs || 9937423 markings, 9937422 edges, 9726 markings/sec, 965 secs
lola: 1 tries, 173 fired transitions, 970 secs || 9987125 markings, 9987125 edges, 9940 markings/sec, 970 secs
lola: 1 tries, 173 fired transitions, 975 secs || 10036814 markings, 10036813 edges, 9938 markings/sec, 975 secs
lola: 1 tries, 173 fired transitions, 980 secs || 10087669 markings, 10087669 edges, 10171 markings/sec, 980 secs
lola: 1 tries, 173 fired transitions, 985 secs || 10140579 markings, 10140578 edges, 10582 markings/sec, 985 secs
lola: 1 tries, 173 fired transitions, 990 secs || 10193550 markings, 10193549 edges, 10594 markings/sec, 990 secs
lola: 1 tries, 178 fired transitions, 995 secs || 10246357 markings, 10246356 edges, 10561 markings/sec, 995 secs
lola: 1 tries, 178 fired transitions, 1000 secs || 10296182 markings, 10296181 edges, 9965 markings/sec, 1000 secs
lola: 1 tries, 178 fired transitions, 1005 secs || 10345706 markings, 10345705 edges, 9905 markings/sec, 1005 secs
lola: 1 tries, 178 fired transitions, 1010 secs || 10395197 markings, 10395196 edges, 9898 markings/sec, 1010 secs
lola: 1 tries, 178 fired transitions, 1015 secs || 10445395 markings, 10445394 edges, 10040 markings/sec, 1015 secs
lola: 1 tries, 182 fired transitions, 1020 secs || 10497882 markings, 10497881 edges, 10497 markings/sec, 1020 secs
lola: 1 tries, 182 fired transitions, 1025 secs || 10547421 markings, 10547420 edges, 9908 markings/sec, 1025 secs
lola: 1 tries, 182 fired transitions, 1030 secs || 10597198 markings, 10597197 edges, 9955 markings/sec, 1030 secs
lola: 1 tries, 182 fired transitions, 1035 secs || 10646773 markings, 10646772 edges, 9915 markings/sec, 1035 secs
lola: 1 tries, 182 fired transitions, 1040 secs || 10697657 markings, 10697656 edges, 10177 markings/sec, 1040 secs
lola: 1 tries, 187 fired transitions, 1045 secs || 10750361 markings, 10750360 edges, 10541 markings/sec, 1045 secs
lola: 1 tries, 187 fired transitions, 1050 secs || 10803357 markings, 10803356 edges, 10599 markings/sec, 1050 secs
lola: 1 tries, 187 fired transitions, 1055 secs || 10856327 markings, 10856326 edges, 10594 markings/sec, 1055 secs
lola: 1 tries, 187 fired transitions, 1060 secs || 10908086 markings, 10908085 edges, 10352 markings/sec, 1060 secs
lola: 1 tries, 187 fired transitions, 1065 secs || 10957226 markings, 10957225 edges, 9828 markings/sec, 1065 secs
lola: 1 tries, 191 fired transitions, 1070 secs || 11007426 markings, 11007425 edges, 10040 markings/sec, 1070 secs
lola: 1 tries, 191 fired transitions, 1075 secs || 11057548 markings, 11057547 edges, 10024 markings/sec, 1075 secs
lola: 1 tries, 191 fired transitions, 1080 secs || 11109255 markings, 11109254 edges, 10341 markings/sec, 1080 secs
lola: 1 tries, 191 fired transitions, 1085 secs || 11159401 markings, 11159400 edges, 10029 markings/sec, 1085 secs
lola: 1 tries, 191 fired transitions, 1090 secs || 11205513 markings, 11205512 edges, 9222 markings/sec, 1090 secs
lola: 1 tries, 195 fired transitions, 1095 secs || 11255446 markings, 11255445 edges, 9987 markings/sec, 1095 secs
lola: 1 tries, 195 fired transitions, 1100 secs || 11306933 markings, 11306933 edges, 10297 markings/sec, 1100 secs
lola: 1 tries, 195 fired transitions, 1105 secs || 11357393 markings, 11357393 edges, 10092 markings/sec, 1105 secs
lola: 1 tries, 195 fired transitions, 1110 secs || 11407638 markings, 11407637 edges, 10049 markings/sec, 1110 secs
lola: 1 tries, 195 fired transitions, 1115 secs || 11457039 markings, 11457038 edges, 9880 markings/sec, 1115 secs
lola: 1 tries, 200 fired transitions, 1120 secs || 11507638 markings, 11507637 edges, 10120 markings/sec, 1120 secs
lola: 1 tries, 200 fired transitions, 1125 secs || 11556936 markings, 11556935 edges, 9860 markings/sec, 1125 secs
lola: 1 tries, 200 fired transitions, 1130 secs || 11606558 markings, 11606557 edges, 9924 markings/sec, 1130 secs
lola: 1 tries, 200 fired transitions, 1135 secs || 11655966 markings, 11655965 edges, 9882 markings/sec, 1135 secs
lola: 1 tries, 205 fired transitions, 1140 secs || 11706752 markings, 11706751 edges, 10157 markings/sec, 1140 secs
lola: 1 tries, 205 fired transitions, 1145 secs || 11756303 markings, 11756302 edges, 9910 markings/sec, 1145 secs
lola: 1 tries, 205 fired transitions, 1150 secs || 11807001 markings, 11807000 edges, 10140 markings/sec, 1150 secs
lola: 1 tries, 205 fired transitions, 1155 secs || 11857578 markings, 11857577 edges, 10115 markings/sec, 1155 secs
lola: 1 tries, 205 fired transitions, 1160 secs || 11905939 markings, 11905938 edges, 9672 markings/sec, 1160 secs
lola: 1 tries, 210 fired transitions, 1165 secs || 11954331 markings, 11954330 edges, 9678 markings/sec, 1165 secs
lola: 1 tries, 210 fired transitions, 1170 secs || 12001958 markings, 12001957 edges, 9525 markings/sec, 1170 secs
lola: 1 tries, 210 fired transitions, 1175 secs || 12052527 markings, 12052526 edges, 10114 markings/sec, 1175 secs
lola: 1 tries, 210 fired transitions, 1180 secs || 12104212 markings, 12104211 edges, 10337 markings/sec, 1180 secs
lola: 1 tries, 210 fired transitions, 1185 secs || 12155933 markings, 12155932 edges, 10344 markings/sec, 1185 secs
lola: 1 tries, 214 fired transitions, 1190 secs || 12207232 markings, 12207231 edges, 10260 markings/sec, 1190 secs
lola: 1 tries, 214 fired transitions, 1195 secs || 12257889 markings, 12257888 edges, 10131 markings/sec, 1195 secs
lola: 1 tries, 214 fired transitions, 1200 secs || 12310094 markings, 12310093 edges, 10441 markings/sec, 1200 secs
lola: 1 tries, 214 fired transitions, 1205 secs || 12363546 markings, 12363545 edges, 10690 markings/sec, 1205 secs
lola: 1 tries, 214 fired transitions, 1210 secs || 12416657 markings, 12416656 edges, 10622 markings/sec, 1210 secs
lola: 1 tries, 218 fired transitions, 1215 secs || 12470017 markings, 12470016 edges, 10672 markings/sec, 1215 secs
lola: 1 tries, 218 fired transitions, 1220 secs || 12523683 markings, 12523682 edges, 10733 markings/sec, 1220 secs
lola: 1 tries, 218 fired transitions, 1225 secs || 12577318 markings, 12577317 edges, 10727 markings/sec, 1225 secs
lola: 1 tries, 218 fired transitions, 1230 secs || 12631094 markings, 12631093 edges, 10755 markings/sec, 1230 secs
lola: 1 tries, 218 fired transitions, 1235 secs || 12685067 markings, 12685066 edges, 10795 markings/sec, 1235 secs
lola: 1 tries, 222 fired transitions, 1240 secs || 12739860 markings, 12739860 edges, 10959 markings/sec, 1240 secs
lola: 1 tries, 222 fired transitions, 1245 secs || 12793122 markings, 12793121 edges, 10652 markings/sec, 1245 secs
lola: 1 tries, 222 fired transitions, 1250 secs || 12845559 markings, 12845558 edges, 10487 markings/sec, 1250 secs
lola: 1 tries, 222 fired transitions, 1255 secs || 12896748 markings, 12896747 edges, 10238 markings/sec, 1255 secs
lola: 1 tries, 222 fired transitions, 1260 secs || 12947733 markings, 12947732 edges, 10197 markings/sec, 1260 secs
lola: 1 tries, 227 fired transitions, 1265 secs || 12998592 markings, 12998591 edges, 10172 markings/sec, 1265 secs
lola: 1 tries, 227 fired transitions, 1270 secs || 13050073 markings, 13050072 edges, 10296 markings/sec, 1270 secs
lola: 1 tries, 227 fired transitions, 1275 secs || 13101448 markings, 13101447 edges, 10275 markings/sec, 1275 secs
lola: 1 tries, 227 fired transitions, 1280 secs || 13152970 markings, 13152969 edges, 10304 markings/sec, 1280 secs
lola: 1 tries, 227 fired transitions, 1285 secs || 13204456 markings, 13204455 edges, 10297 markings/sec, 1285 secs
lola: 1 tries, 232 fired transitions, 1290 secs || 13255702 markings, 13255701 edges, 10249 markings/sec, 1290 secs
lola: 1 tries, 232 fired transitions, 1295 secs || 13307346 markings, 13307345 edges, 10329 markings/sec, 1295 secs
lola: 1 tries, 232 fired transitions, 1300 secs || 13360443 markings, 13360442 edges, 10619 markings/sec, 1300 secs
lola: 1 tries, 232 fired transitions, 1305 secs || 13412119 markings, 13412118 edges, 10335 markings/sec, 1305 secs
lola: 1 tries, 232 fired transitions, 1310 secs || 13464879 markings, 13464878 edges, 10552 markings/sec, 1310 secs
lola: 1 tries, 237 fired transitions, 1315 secs || 13517142 markings, 13517141 edges, 10453 markings/sec, 1315 secs
lola: 1 tries, 237 fired transitions, 1320 secs || 13569717 markings, 13569716 edges, 10515 markings/sec, 1320 secs
lola: 1 tries, 237 fired transitions, 1325 secs || 13622642 markings, 13622641 edges, 10585 markings/sec, 1325 secs
lola: 1 tries, 237 fired transitions, 1330 secs || 13675578 markings, 13675577 edges, 10587 markings/sec, 1330 secs
lola: 1 tries, 237 fired transitions, 1335 secs || 13728643 markings, 13728642 edges, 10613 markings/sec, 1335 secs
lola: 1 tries, 241 fired transitions, 1340 secs || 13781004 markings, 13781003 edges, 10472 markings/sec, 1340 secs
lola: 1 tries, 241 fired transitions, 1345 secs || 13832884 markings, 13832883 edges, 10376 markings/sec, 1345 secs
lola: 1 tries, 241 fired transitions, 1350 secs || 13886188 markings, 13886187 edges, 10661 markings/sec, 1350 secs
lola: 1 tries, 241 fired transitions, 1355 secs || 13937632 markings, 13937631 edges, 10289 markings/sec, 1355 secs
lola: 1 tries, 241 fired transitions, 1360 secs || 13988269 markings, 13988268 edges, 10127 markings/sec, 1360 secs
lola: 1 tries, 245 fired transitions, 1365 secs || 14040529 markings, 14040529 edges, 10452 markings/sec, 1365 secs
lola: 1 tries, 245 fired transitions, 1370 secs || 14091555 markings, 14091554 edges, 10205 markings/sec, 1370 secs
lola: 1 tries, 245 fired transitions, 1375 secs || 14143136 markings, 14143135 edges, 10316 markings/sec, 1375 secs
lola: 1 tries, 245 fired transitions, 1380 secs || 14195780 markings, 14195779 edges, 10529 markings/sec, 1380 secs
lola: 1 tries, 245 fired transitions, 1385 secs || 14249009 markings, 14249008 edges, 10646 markings/sec, 1385 secs
lola: 1 tries, 250 fired transitions, 1390 secs || 14300411 markings, 14300410 edges, 10280 markings/sec, 1390 secs
lola: 1 tries, 250 fired transitions, 1395 secs || 14352102 markings, 14352101 edges, 10338 markings/sec, 1395 secs
lola: 1 tries, 250 fired transitions, 1400 secs || 14405755 markings, 14405754 edges, 10731 markings/sec, 1400 secs
lola: 1 tries, 250 fired transitions, 1405 secs || 14459349 markings, 14459348 edges, 10719 markings/sec, 1405 secs
lola: 1 tries, 250 fired transitions, 1410 secs || 14513103 markings, 14513102 edges, 10751 markings/sec, 1410 secs
lola: 1 tries, 255 fired transitions, 1415 secs || 14567338 markings, 14567337 edges, 10847 markings/sec, 1415 secs
lola: 1 tries, 255 fired transitions, 1420 secs || 14621717 markings, 14621716 edges, 10876 markings/sec, 1420 secs
lola: 1 tries, 255 fired transitions, 1425 secs || 14676844 markings, 14676843 edges, 11025 markings/sec, 1425 secs
lola: 1 tries, 255 fired transitions, 1430 secs || 14731807 markings, 14731806 edges, 10993 markings/sec, 1430 secs
lola: 1 tries, 260 fired transitions, 1435 secs || 14783438 markings, 14783437 edges, 10326 markings/sec, 1435 secs
lola: 1 tries, 260 fired transitions, 1440 secs || 14834730 markings, 14834729 edges, 10258 markings/sec, 1440 secs
lola: 1 tries, 260 fired transitions, 1445 secs || 14886073 markings, 14886072 edges, 10269 markings/sec, 1445 secs
lola: 1 tries, 260 fired transitions, 1450 secs || 14937610 markings, 14937609 edges, 10307 markings/sec, 1450 secs
lola: 1 tries, 260 fired transitions, 1455 secs || 14988790 markings, 14988789 edges, 10236 markings/sec, 1455 secs
lola: 1 tries, 264 fired transitions, 1460 secs || 15039738 markings, 15039737 edges, 10190 markings/sec, 1460 secs
lola: 1 tries, 264 fired transitions, 1465 secs || 15092011 markings, 15092010 edges, 10455 markings/sec, 1465 secs
lola: 1 tries, 264 fired transitions, 1470 secs || 15145377 markings, 15145376 edges, 10673 markings/sec, 1470 secs
lola: 1 tries, 264 fired transitions, 1475 secs || 15200650 markings, 15200649 edges, 11055 markings/sec, 1475 secs
lola: 1 tries, 264 fired transitions, 1480 secs || 15253841 markings, 15253840 edges, 10638 markings/sec, 1480 secs
lola: 1 tries, 268 fired transitions, 1485 secs || 15307396 markings, 15307395 edges, 10711 markings/sec, 1485 secs
lola: 1 tries, 268 fired transitions, 1490 secs || 15359906 markings, 15359905 edges, 10502 markings/sec, 1490 secs
lola: 1 tries, 268 fired transitions, 1495 secs || 15413020 markings, 15413019 edges, 10623 markings/sec, 1495 secs
lola: 1 tries, 268 fired transitions, 1500 secs || 15465881 markings, 15465880 edges, 10572 markings/sec, 1500 secs
lola: 1 tries, 268 fired transitions, 1505 secs || 15517148 markings, 15517147 edges, 10253 markings/sec, 1505 secs
lola: 1 tries, 272 fired transitions, 1510 secs || 15568772 markings, 15568771 edges, 10325 markings/sec, 1510 secs
lola: 1 tries, 272 fired transitions, 1515 secs || 15623405 markings, 15623404 edges, 10927 markings/sec, 1515 secs
lola: 1 tries, 272 fired transitions, 1520 secs || 15678096 markings, 15678095 edges, 10938 markings/sec, 1520 secs
lola: 1 tries, 272 fired transitions, 1525 secs || 15732220 markings, 15732219 edges, 10825 markings/sec, 1525 secs
lola: 1 tries, 272 fired transitions, 1530 secs || 15785551 markings, 15785550 edges, 10666 markings/sec, 1530 secs
lola: 1 tries, 276 fired transitions, 1535 secs || 15837174 markings, 15837173 edges, 10325 markings/sec, 1535 secs
lola: 1 tries, 276 fired transitions, 1540 secs || 15888660 markings, 15888659 edges, 10297 markings/sec, 1540 secs
lola: 1 tries, 276 fired transitions, 1545 secs || 15940992 markings, 15940991 edges, 10466 markings/sec, 1545 secs
lola: 1 tries, 276 fired transitions, 1550 secs || 15993124 markings, 15993123 edges, 10426 markings/sec, 1550 secs
lola: 1 tries, 276 fired transitions, 1555 secs || 16044451 markings, 16044450 edges, 10265 markings/sec, 1555 secs
lola: 1 tries, 280 fired transitions, 1560 secs || 16095478 markings, 16095477 edges, 10205 markings/sec, 1560 secs
lola: 1 tries, 280 fired transitions, 1565 secs || 16146699 markings, 16146698 edges, 10244 markings/sec, 1565 secs
lola: 1 tries, 280 fired transitions, 1570 secs || 16198112 markings, 16198111 edges, 10283 markings/sec, 1570 secs
lola: 1 tries, 280 fired transitions, 1575 secs || 16249878 markings, 16249877 edges, 10353 markings/sec, 1575 secs
lola: 1 tries, 280 fired transitions, 1580 secs || 16303572 markings, 16303571 edges, 10739 markings/sec, 1580 secs
lola: 1 tries, 284 fired transitions, 1585 secs || 16355313 markings, 16355312 edges, 10348 markings/sec, 1585 secs
lola: 1 tries, 284 fired transitions, 1590 secs || 16406577 markings, 16406576 edges, 10253 markings/sec, 1590 secs
lola: 1 tries, 284 fired transitions, 1595 secs || 16457490 markings, 16457489 edges, 10183 markings/sec, 1595 secs
lola: 1 tries, 284 fired transitions, 1600 secs || 16508268 markings, 16508267 edges, 10156 markings/sec, 1600 secs
lola: 1 tries, 284 fired transitions, 1605 secs || 16559030 markings, 16559029 edges, 10152 markings/sec, 1605 secs
lola: 1 tries, 288 fired transitions, 1610 secs || 16609914 markings, 16609913 edges, 10177 markings/sec, 1610 secs
lola: 1 tries, 288 fired transitions, 1615 secs || 16660893 markings, 16660892 edges, 10196 markings/sec, 1615 secs
lola: 1 tries, 288 fired transitions, 1620 secs || 16711943 markings, 16711942 edges, 10210 markings/sec, 1620 secs
lola: 1 tries, 288 fired transitions, 1625 secs || 16763034 markings, 16763033 edges, 10218 markings/sec, 1625 secs
lola: 1 tries, 292 fired transitions, 1630 secs || 16813445 markings, 16813444 edges, 10082 markings/sec, 1630 secs
lola: 1 tries, 292 fired transitions, 1635 secs || 16866180 markings, 16866179 edges, 10547 markings/sec, 1635 secs
lola: 1 tries, 292 fired transitions, 1640 secs || 16919060 markings, 16919059 edges, 10576 markings/sec, 1640 secs
lola: 1 tries, 292 fired transitions, 1645 secs || 16970996 markings, 16970995 edges, 10387 markings/sec, 1645 secs
lola: 1 tries, 292 fired transitions, 1650 secs || 17023262 markings, 17023261 edges, 10453 markings/sec, 1650 secs
lola: 1 tries, 296 fired transitions, 1655 secs || 17075628 markings, 17075627 edges, 10473 markings/sec, 1655 secs
lola: 1 tries, 296 fired transitions, 1660 secs || 17127577 markings, 17127576 edges, 10390 markings/sec, 1660 secs
lola: 1 tries, 296 fired transitions, 1665 secs || 17180767 markings, 17180766 edges, 10638 markings/sec, 1665 secs
lola: 1 tries, 296 fired transitions, 1670 secs || 17233568 markings, 17233567 edges, 10560 markings/sec, 1670 secs
lola: 1 tries, 296 fired transitions, 1675 secs || 17285619 markings, 17285618 edges, 10410 markings/sec, 1675 secs
lola: 1 tries, 300 fired transitions, 1680 secs || 17338065 markings, 17338064 edges, 10489 markings/sec, 1680 secs
lola: 1 tries, 300 fired transitions, 1685 secs || 17391810 markings, 17391809 edges, 10749 markings/sec, 1685 secs
lola: 1 tries, 300 fired transitions, 1690 secs || 17444080 markings, 17444079 edges, 10454 markings/sec, 1690 secs
lola: 1 tries, 300 fired transitions, 1695 secs || 17495374 markings, 17495373 edges, 10259 markings/sec, 1695 secs
lola: 1 tries, 300 fired transitions, 1700 secs || 17546746 markings, 17546745 edges, 10274 markings/sec, 1700 secs
lola: 1 tries, 305 fired transitions, 1705 secs || 17597575 markings, 17597574 edges, 10166 markings/sec, 1705 secs
lola: 1 tries, 305 fired transitions, 1710 secs || 17648698 markings, 17648697 edges, 10225 markings/sec, 1710 secs
lola: 1 tries, 305 fired transitions, 1715 secs || 17699853 markings, 17699852 edges, 10231 markings/sec, 1715 secs
lola: 1 tries, 305 fired transitions, 1720 secs || 17750488 markings, 17750487 edges, 10127 markings/sec, 1720 secs
lola: 1 tries, 305 fired transitions, 1725 secs || 17801442 markings, 17801441 edges, 10191 markings/sec, 1725 secs
lola: 1 tries, 309 fired transitions, 1730 secs || 17856192 markings, 17856191 edges, 10950 markings/sec, 1730 secs
lola: 1 tries, 309 fired transitions, 1735 secs || 17912351 markings, 17912350 edges, 11232 markings/sec, 1735 secs
lola: 1 tries, 309 fired transitions, 1740 secs || 17968329 markings, 17968328 edges, 11196 markings/sec, 1740 secs
lola: 1 tries, 309 fired transitions, 1745 secs || 18024324 markings, 18024323 edges, 11199 markings/sec, 1745 secs
lola: 1 tries, 309 fired transitions, 1750 secs || 18079791 markings, 18079790 edges, 11093 markings/sec, 1750 secs
lola: 1 tries, 313 fired transitions, 1755 secs || 18136331 markings, 18136330 edges, 11308 markings/sec, 1755 secs
lola: 1 tries, 313 fired transitions, 1760 secs || 18192774 markings, 18192773 edges, 11289 markings/sec, 1760 secs
lola: 1 tries, 313 fired transitions, 1765 secs || 18249171 markings, 18249171 edges, 11279 markings/sec, 1765 secs
lola: 1 tries, 313 fired transitions, 1770 secs || 18305584 markings, 18305583 edges, 11283 markings/sec, 1770 secs
lola: 1 tries, 318 fired transitions, 1775 secs || 18361747 markings, 18361746 edges, 11233 markings/sec, 1775 secs
lola: 1 tries, 318 fired transitions, 1780 secs || 18417509 markings, 18417508 edges, 11152 markings/sec, 1780 secs
lola: 1 tries, 318 fired transitions, 1785 secs || 18472824 markings, 18472823 edges, 11063 markings/sec, 1785 secs
lola: 1 tries, 318 fired transitions, 1790 secs || 18526794 markings, 18526793 edges, 10794 markings/sec, 1790 secs
lola: 1 tries, 318 fired transitions, 1795 secs || 18582409 markings, 18582408 edges, 11123 markings/sec, 1795 secs
lola: 1 tries, 322 fired transitions, 1800 secs || 18637645 markings, 18637644 edges, 11047 markings/sec, 1800 secs
lola: 1 tries, 322 fired transitions, 1805 secs || 18693648 markings, 18693647 edges, 11201 markings/sec, 1805 secs
lola: 1 tries, 322 fired transitions, 1810 secs || 18746610 markings, 18746609 edges, 10592 markings/sec, 1810 secs
lola: 1 tries, 322 fired transitions, 1815 secs || 18798290 markings, 18798289 edges, 10336 markings/sec, 1815 secs
lola: 1 tries, 326 fired transitions, 1820 secs || 18849098 markings, 18849097 edges, 10162 markings/sec, 1820 secs
lola: 1 tries, 326 fired transitions, 1825 secs || 18899786 markings, 18899785 edges, 10138 markings/sec, 1825 secs
lola: 1 tries, 326 fired transitions, 1830 secs || 18952571 markings, 18952570 edges, 10557 markings/sec, 1830 secs
lola: 1 tries, 326 fired transitions, 1835 secs || 19006266 markings, 19006265 edges, 10739 markings/sec, 1835 secs
lola: 1 tries, 326 fired transitions, 1840 secs || 19060350 markings, 19060349 edges, 10817 markings/sec, 1840 secs
lola: 1 tries, 330 fired transitions, 1845 secs || 19113806 markings, 19113805 edges, 10691 markings/sec, 1845 secs
lola: 1 tries, 330 fired transitions, 1850 secs || 19164687 markings, 19164686 edges, 10176 markings/sec, 1850 secs
lola: 1 tries, 330 fired transitions, 1855 secs || 19216476 markings, 19216475 edges, 10358 markings/sec, 1855 secs
lola: 1 tries, 330 fired transitions, 1860 secs || 19268340 markings, 19268339 edges, 10373 markings/sec, 1860 secs
lola: 1 tries, 330 fired transitions, 1865 secs || 19319075 markings, 19319074 edges, 10147 markings/sec, 1865 secs
lola: 1 tries, 334 fired transitions, 1870 secs || 19369995 markings, 19369994 edges, 10184 markings/sec, 1870 secs
lola: 1 tries, 334 fired transitions, 1875 secs || 19419984 markings, 19419983 edges, 9998 markings/sec, 1875 secs
lola: 1 tries, 334 fired transitions, 1880 secs || 19469859 markings, 19469858 edges, 9975 markings/sec, 1880 secs
lola: 1 tries, 334 fired transitions, 1885 secs || 19519949 markings, 19519948 edges, 10018 markings/sec, 1885 secs
lola: 1 tries, 334 fired transitions, 1890 secs || 19571153 markings, 19571152 edges, 10241 markings/sec, 1890 secs
lola: 1 tries, 338 fired transitions, 1895 secs || 19622908 markings, 19622907 edges, 10351 markings/sec, 1895 secs
lola: 1 tries, 338 fired transitions, 1900 secs || 19674250 markings, 19674249 edges, 10268 markings/sec, 1900 secs
lola: 1 tries, 338 fired transitions, 1905 secs || 19725626 markings, 19725625 edges, 10275 markings/sec, 1905 secs
lola: 1 tries, 338 fired transitions, 1910 secs || 19776944 markings, 19776943 edges, 10264 markings/sec, 1910 secs
lola: 1 tries, 338 fired transitions, 1915 secs || 19828141 markings, 19828140 edges, 10239 markings/sec, 1915 secs
lola: 1 tries, 342 fired transitions, 1920 secs || 19880769 markings, 19880768 edges, 10526 markings/sec, 1920 secs
lola: 1 tries, 342 fired transitions, 1925 secs || 19931189 markings, 19931188 edges, 10084 markings/sec, 1925 secs
lola: 1 tries, 342 fired transitions, 1930 secs || 19981998 markings, 19981997 edges, 10162 markings/sec, 1930 secs
lola: 1 tries, 342 fired transitions, 1935 secs || 20032913 markings, 20032912 edges, 10183 markings/sec, 1935 secs
lola: 1 tries, 342 fired transitions, 1940 secs || 20082950 markings, 20082949 edges, 10007 markings/sec, 1940 secs
lola: 1 tries, 346 fired transitions, 1945 secs || 20133720 markings, 20133719 edges, 10154 markings/sec, 1945 secs
lola: 1 tries, 346 fired transitions, 1950 secs || 20184319 markings, 20184318 edges, 10120 markings/sec, 1950 secs
lola: 1 tries, 346 fired transitions, 1955 secs || 20236002 markings, 20236001 edges, 10337 markings/sec, 1955 secs
lola: 1 tries, 346 fired transitions, 1960 secs || 20288786 markings, 20288785 edges, 10557 markings/sec, 1960 secs
lola: 1 tries, 346 fired transitions, 1965 secs || 20339967 markings, 20339966 edges, 10236 markings/sec, 1965 secs
lola: 1 tries, 350 fired transitions, 1970 secs || 20391054 markings, 20391053 edges, 10217 markings/sec, 1970 secs
lola: 1 tries, 350 fired transitions, 1975 secs || 20443625 markings, 20443624 edges, 10514 markings/sec, 1975 secs
lola: 1 tries, 350 fired transitions, 1980 secs || 20494286 markings, 20494285 edges, 10132 markings/sec, 1980 secs
lola: 1 tries, 350 fired transitions, 1985 secs || 20545602 markings, 20545601 edges, 10263 markings/sec, 1985 secs
lola: 1 tries, 350 fired transitions, 1990 secs || 20596444 markings, 20596443 edges, 10168 markings/sec, 1990 secs
lola: 1 tries, 354 fired transitions, 1995 secs || 20647435 markings, 20647434 edges, 10198 markings/sec, 1995 secs
lola: 1 tries, 354 fired transitions, 2000 secs || 20700486 markings, 20700485 edges, 10610 markings/sec, 2000 secs
lola: 1 tries, 354 fired transitions, 2005 secs || 20753655 markings, 20753654 edges, 10634 markings/sec, 2005 secs
lola: 1 tries, 354 fired transitions, 2010 secs || 20806390 markings, 20806389 edges, 10547 markings/sec, 2010 secs
lola: 1 tries, 354 fired transitions, 2015 secs || 20857729 markings, 20857728 edges, 10268 markings/sec, 2015 secs
lola: 1 tries, 358 fired transitions, 2020 secs || 20908441 markings, 20908440 edges, 10142 markings/sec, 2020 secs
lola: 1 tries, 358 fired transitions, 2025 secs || 20959642 markings, 20959641 edges, 10240 markings/sec, 2025 secs
lola: 1 tries, 358 fired transitions, 2030 secs || 21011226 markings, 21011225 edges, 10317 markings/sec, 2030 secs
lola: 1 tries, 358 fired transitions, 2035 secs || 21064286 markings, 21064285 edges, 10612 markings/sec, 2035 secs
lola: 1 tries, 358 fired transitions, 2040 secs || 21117651 markings, 21117650 edges, 10673 markings/sec, 2040 secs
lola: 1 tries, 363 fired transitions, 2045 secs || 21170491 markings, 21170490 edges, 10568 markings/sec, 2045 secs
lola: 1 tries, 363 fired transitions, 2050 secs || 21222638 markings, 21222637 edges, 10429 markings/sec, 2050 secs
lola: 1 tries, 363 fired transitions, 2055 secs || 21274400 markings, 21274399 edges, 10352 markings/sec, 2055 secs
lola: 1 tries, 363 fired transitions, 2060 secs || 21326091 markings, 21326090 edges, 10338 markings/sec, 2060 secs
lola: 1 tries, 363 fired transitions, 2065 secs || 21377533 markings, 21377532 edges, 10288 markings/sec, 2065 secs
lola: 1 tries, 368 fired transitions, 2070 secs || 21429145 markings, 21429144 edges, 10322 markings/sec, 2070 secs
lola: 1 tries, 368 fired transitions, 2075 secs || 21481345 markings, 21481344 edges, 10440 markings/sec, 2075 secs
lola: 1 tries, 368 fired transitions, 2080 secs || 21533519 markings, 21533518 edges, 10435 markings/sec, 2080 secs
lola: 1 tries, 368 fired transitions, 2085 secs || 21586944 markings, 21586943 edges, 10685 markings/sec, 2085 secs
lola: 1 tries, 368 fired transitions, 2090 secs || 21637820 markings, 21637819 edges, 10175 markings/sec, 2090 secs
lola: 1 tries, 372 fired transitions, 2095 secs || 21687581 markings, 21687580 edges, 9952 markings/sec, 2095 secs
lola: 1 tries, 372 fired transitions, 2100 secs || 21736906 markings, 21736905 edges, 9865 markings/sec, 2100 secs
lola: 1 tries, 372 fired transitions, 2105 secs || 21788967 markings, 21788966 edges, 10412 markings/sec, 2105 secs
lola: 1 tries, 372 fired transitions, 2110 secs || 21842906 markings, 21842905 edges, 10788 markings/sec, 2110 secs
lola: 1 tries, 372 fired transitions, 2115 secs || 21895001 markings, 21895000 edges, 10419 markings/sec, 2115 secs
lola: 1 tries, 376 fired transitions, 2120 secs || 21947182 markings, 21947181 edges, 10436 markings/sec, 2120 secs
lola: 1 tries, 376 fired transitions, 2125 secs || 22000590 markings, 22000589 edges, 10682 markings/sec, 2125 secs
lola: 1 tries, 376 fired transitions, 2130 secs || 22053190 markings, 22053189 edges, 10520 markings/sec, 2130 secs
lola: 1 tries, 376 fired transitions, 2135 secs || 22103467 markings, 22103466 edges, 10055 markings/sec, 2135 secs
lola: 1 tries, 376 fired transitions, 2140 secs || 22153721 markings, 22153720 edges, 10051 markings/sec, 2140 secs
lola: 1 tries, 380 fired transitions, 2145 secs || 22203597 markings, 22203596 edges, 9975 markings/sec, 2145 secs
lola: 1 tries, 380 fired transitions, 2150 secs || 22252771 markings, 22252770 edges, 9835 markings/sec, 2150 secs
lola: 1 tries, 380 fired transitions, 2155 secs || 22302469 markings, 22302468 edges, 9940 markings/sec, 2155 secs
lola: 1 tries, 380 fired transitions, 2160 secs || 22354532 markings, 22354531 edges, 10413 markings/sec, 2160 secs
lola: 1 tries, 380 fired transitions, 2165 secs || 22407387 markings, 22407386 edges, 10571 markings/sec, 2165 secs
lola: 1 tries, 384 fired transitions, 2170 secs || 22459468 markings, 22459467 edges, 10416 markings/sec, 2170 secs
lola: 1 tries, 384 fired transitions, 2175 secs || 22511801 markings, 22511800 edges, 10467 markings/sec, 2175 secs
lola: 1 tries, 384 fired transitions, 2180 secs || 22564510 markings, 22564509 edges, 10542 markings/sec, 2180 secs
lola: 1 tries, 384 fired transitions, 2185 secs || 22616777 markings, 22616776 edges, 10453 markings/sec, 2185 secs
lola: 1 tries, 388 fired transitions, 2190 secs || 22669045 markings, 22669044 edges, 10454 markings/sec, 2190 secs
lola: 1 tries, 388 fired transitions, 2195 secs || 22722670 markings, 22722669 edges, 10725 markings/sec, 2195 secs
lola: 1 tries, 388 fired transitions, 2200 secs || 22776362 markings, 22776361 edges, 10738 markings/sec, 2200 secs
lola: 1 tries, 388 fired transitions, 2205 secs || 22828402 markings, 22828401 edges, 10408 markings/sec, 2205 secs
lola: 1 tries, 388 fired transitions, 2210 secs || 22880214 markings, 22880213 edges, 10362 markings/sec, 2210 secs
lola: 1 tries, 392 fired transitions, 2215 secs || 22933028 markings, 22933027 edges, 10563 markings/sec, 2215 secs
lola: 1 tries, 392 fired transitions, 2220 secs || 22985382 markings, 22985381 edges, 10471 markings/sec, 2220 secs
lola: 1 tries, 392 fired transitions, 2225 secs || 23038614 markings, 23038613 edges, 10646 markings/sec, 2225 secs
lola: 1 tries, 392 fired transitions, 2230 secs || 23093090 markings, 23093089 edges, 10895 markings/sec, 2230 secs
lola: 1 tries, 392 fired transitions, 2235 secs || 23145406 markings, 23145405 edges, 10463 markings/sec, 2235 secs
lola: 1 tries, 396 fired transitions, 2240 secs || 23196506 markings, 23196505 edges, 10220 markings/sec, 2240 secs
lola: 1 tries, 396 fired transitions, 2245 secs || 23247818 markings, 23247817 edges, 10262 markings/sec, 2245 secs
lola: 1 tries, 396 fired transitions, 2250 secs || 23297919 markings, 23297918 edges, 10020 markings/sec, 2250 secs
lola: 1 tries, 396 fired transitions, 2255 secs || 23348068 markings, 23348067 edges, 10030 markings/sec, 2255 secs
lola: 1 tries, 396 fired transitions, 2260 secs || 23396300 markings, 23396299 edges, 9646 markings/sec, 2260 secs
lola: 1 tries, 400 fired transitions, 2265 secs || 23446068 markings, 23446067 edges, 9954 markings/sec, 2265 secs
lola: 1 tries, 400 fired transitions, 2270 secs || 23496414 markings, 23496413 edges, 10069 markings/sec, 2270 secs
lola: 1 tries, 400 fired transitions, 2275 secs || 23546629 markings, 23546628 edges, 10043 markings/sec, 2275 secs
lola: 1 tries, 400 fired transitions, 2280 secs || 23597245 markings, 23597244 edges, 10123 markings/sec, 2280 secs
lola: 1 tries, 400 fired transitions, 2285 secs || 23648208 markings, 23648207 edges, 10193 markings/sec, 2285 secs
lola: 1 tries, 405 fired transitions, 2290 secs || 23699202 markings, 23699201 edges, 10199 markings/sec, 2290 secs
lola: 1 tries, 405 fired transitions, 2295 secs || 23749922 markings, 23749921 edges, 10144 markings/sec, 2295 secs
lola: 1 tries, 405 fired transitions, 2300 secs || 23801639 markings, 23801638 edges, 10343 markings/sec, 2300 secs
lola: 1 tries, 405 fired transitions, 2305 secs || 23852275 markings, 23852274 edges, 10127 markings/sec, 2305 secs
lola: 1 tries, 405 fired transitions, 2310 secs || 23903375 markings, 23903374 edges, 10220 markings/sec, 2310 secs
lola: 1 tries, 409 fired transitions, 2315 secs || 23954314 markings, 23954313 edges, 10188 markings/sec, 2315 secs
lola: 1 tries, 409 fired transitions, 2320 secs || 24005207 markings, 24005206 edges, 10179 markings/sec, 2320 secs
lola: 1 tries, 409 fired transitions, 2325 secs || 24055320 markings, 24055319 edges, 10023 markings/sec, 2325 secs
lola: 1 tries, 409 fired transitions, 2330 secs || 24106024 markings, 24106023 edges, 10141 markings/sec, 2330 secs
lola: 1 tries, 414 fired transitions, 2335 secs || 24157629 markings, 24157628 edges, 10321 markings/sec, 2335 secs
lola: 1 tries, 414 fired transitions, 2340 secs || 24208985 markings, 24208984 edges, 10271 markings/sec, 2340 secs
lola: 1 tries, 414 fired transitions, 2345 secs || 24260489 markings, 24260488 edges, 10301 markings/sec, 2345 secs
lola: 1 tries, 414 fired transitions, 2350 secs || 24311803 markings, 24311803 edges, 10263 markings/sec, 2350 secs
lola: 1 tries, 414 fired transitions, 2355 secs || 24362683 markings, 24362682 edges, 10176 markings/sec, 2355 secs
lola: 1 tries, 419 fired transitions, 2360 secs || 24413113 markings, 24413112 edges, 10086 markings/sec, 2360 secs
lola: 1 tries, 419 fired transitions, 2365 secs || 24464531 markings, 24464530 edges, 10284 markings/sec, 2365 secs
lola: 1 tries, 419 fired transitions, 2370 secs || 24516009 markings, 24516008 edges, 10296 markings/sec, 2370 secs
lola: 1 tries, 419 fired transitions, 2375 secs || 24567397 markings, 24567396 edges, 10278 markings/sec, 2375 secs
lola: 1 tries, 419 fired transitions, 2380 secs || 24618417 markings, 24618416 edges, 10204 markings/sec, 2380 secs
lola: 1 tries, 423 fired transitions, 2385 secs || 24669375 markings, 24669374 edges, 10192 markings/sec, 2385 secs
lola: 1 tries, 423 fired transitions, 2390 secs || 24720180 markings, 24720179 edges, 10161 markings/sec, 2390 secs
lola: 1 tries, 423 fired transitions, 2395 secs || 24770345 markings, 24770344 edges, 10033 markings/sec, 2395 secs
lola: 1 tries, 423 fired transitions, 2400 secs || 24821309 markings, 24821308 edges, 10193 markings/sec, 2400 secs
lola: 1 tries, 423 fired transitions, 2405 secs || 24873281 markings, 24873280 edges, 10394 markings/sec, 2405 secs
lola: 1 tries, 427 fired transitions, 2410 secs || 24923380 markings, 24923379 edges, 10020 markings/sec, 2410 secs
lola: 1 tries, 427 fired transitions, 2415 secs || 24974756 markings, 24974755 edges, 10275 markings/sec, 2415 secs
lola: 1 tries, 427 fired transitions, 2420 secs || 25026354 markings, 25026353 edges, 10320 markings/sec, 2420 secs
lola: 1 tries, 427 fired transitions, 2425 secs || 25078006 markings, 25078005 edges, 10330 markings/sec, 2425 secs
lola: 1 tries, 427 fired transitions, 2430 secs || 25128991 markings, 25128990 edges, 10197 markings/sec, 2430 secs
lola: 1 tries, 432 fired transitions, 2435 secs || 25179901 markings, 25179900 edges, 10182 markings/sec, 2435 secs
lola: 1 tries, 432 fired transitions, 2440 secs || 25230914 markings, 25230913 edges, 10203 markings/sec, 2440 secs
lola: 1 tries, 432 fired transitions, 2445 secs || 25282558 markings, 25282557 edges, 10329 markings/sec, 2445 secs
lola: 1 tries, 432 fired transitions, 2450 secs || 25333452 markings, 25333451 edges, 10179 markings/sec, 2450 secs
lola: 1 tries, 432 fired transitions, 2455 secs || 25384455 markings, 25384454 edges, 10201 markings/sec, 2455 secs
lola: 1 tries, 436 fired transitions, 2460 secs || 25435548 markings, 25435547 edges, 10219 markings/sec, 2460 secs
lola: 1 tries, 436 fired transitions, 2465 secs || 25486647 markings, 25486646 edges, 10220 markings/sec, 2465 secs
lola: 1 tries, 436 fired transitions, 2470 secs || 25536922 markings, 25536921 edges, 10055 markings/sec, 2470 secs
lola: 1 tries, 436 fired transitions, 2475 secs || 25586328 markings, 25586327 edges, 9881 markings/sec, 2475 secs
lola: 1 tries, 440 fired transitions, 2480 secs || 25638039 markings, 25638038 edges, 10342 markings/sec, 2480 secs
lola: 1 tries, 440 fired transitions, 2485 secs || 25689360 markings, 25689359 edges, 10264 markings/sec, 2485 secs
lola: 1 tries, 440 fired transitions, 2490 secs || 25740988 markings, 25740988 edges, 10326 markings/sec, 2490 secs
lola: 1 tries, 440 fired transitions, 2495 secs || 25791155 markings, 25791154 edges, 10033 markings/sec, 2495 secs
lola: 1 tries, 440 fired transitions, 2500 secs || 25840563 markings, 25840562 edges, 9882 markings/sec, 2500 secs
lola: 1 tries, 445 fired transitions, 2505 secs || 25890445 markings, 25890444 edges, 9976 markings/sec, 2505 secs
lola: 1 tries, 445 fired transitions, 2510 secs || 25940306 markings, 25940305 edges, 9972 markings/sec, 2510 secs
lola: 1 tries, 445 fired transitions, 2515 secs || 25990074 markings, 25990073 edges, 9954 markings/sec, 2515 secs
lola: 1 tries, 445 fired transitions, 2520 secs || 26040086 markings, 26040085 edges, 10002 markings/sec, 2520 secs
lola: 1 tries, 445 fired transitions, 2525 secs || 26089281 markings, 26089280 edges, 9839 markings/sec, 2525 secs
lola: 1 tries, 445 fired transitions, 2530 secs || 26140217 markings, 26140216 edges, 10187 markings/sec, 2530 secs
lola: 1 tries, 449 fired transitions, 2535 secs || 26191438 markings, 26191437 edges, 10244 markings/sec, 2535 secs
lola: 1 tries, 449 fired transitions, 2540 secs || 26242559 markings, 26242558 edges, 10224 markings/sec, 2540 secs
lola: 1 tries, 449 fired transitions, 2545 secs || 26293734 markings, 26293733 edges, 10235 markings/sec, 2545 secs
lola: 1 tries, 449 fired transitions, 2550 secs || 26344789 markings, 26344788 edges, 10211 markings/sec, 2550 secs
lola: 1 tries, 449 fired transitions, 2555 secs || 26396413 markings, 26396412 edges, 10325 markings/sec, 2555 secs
lola: 1 tries, 453 fired transitions, 2560 secs || 26445868 markings, 26445867 edges, 9891 markings/sec, 2560 secs
lola: 1 tries, 453 fired transitions, 2565 secs || 26494778 markings, 26494777 edges, 9782 markings/sec, 2565 secs
lola: 1 tries, 453 fired transitions, 2570 secs || 26544745 markings, 26544744 edges, 9993 markings/sec, 2570 secs
lola: 1 tries, 453 fired transitions, 2575 secs || 26595392 markings, 26595391 edges, 10129 markings/sec, 2575 secs
lola: 1 tries, 453 fired transitions, 2580 secs || 26645421 markings, 26645420 edges, 10006 markings/sec, 2580 secs
lola: 1 tries, 457 fired transitions, 2585 secs || 26694162 markings, 26694161 edges, 9748 markings/sec, 2585 secs
lola: 1 tries, 457 fired transitions, 2590 secs || 26742556 markings, 26742555 edges, 9679 markings/sec, 2590 secs
lola: 1 tries, 457 fired transitions, 2595 secs || 26790966 markings, 26790965 edges, 9682 markings/sec, 2595 secs
lola: 1 tries, 457 fired transitions, 2600 secs || 26840522 markings, 26840521 edges, 9911 markings/sec, 2600 secs
lola: 1 tries, 457 fired transitions, 2605 secs || 26890327 markings, 26890326 edges, 9961 markings/sec, 2605 secs
lola: 1 tries, 461 fired transitions, 2610 secs || 26939802 markings, 26939801 edges, 9895 markings/sec, 2610 secs
lola: 1 tries, 461 fired transitions, 2615 secs || 26989816 markings, 26989815 edges, 10003 markings/sec, 2615 secs
lola: 1 tries, 461 fired transitions, 2620 secs || 27040171 markings, 27040170 edges, 10071 markings/sec, 2620 secs
lola: 1 tries, 461 fired transitions, 2625 secs || 27090740 markings, 27090740 edges, 10114 markings/sec, 2625 secs
lola: 1 tries, 461 fired transitions, 2630 secs || 27143112 markings, 27143111 edges, 10474 markings/sec, 2630 secs
lola: 1 tries, 465 fired transitions, 2635 secs || 27194495 markings, 27194494 edges, 10277 markings/sec, 2635 secs
lola: 1 tries, 465 fired transitions, 2640 secs || 27247223 markings, 27247222 edges, 10546 markings/sec, 2640 secs
lola: 1 tries, 465 fired transitions, 2645 secs || 27299141 markings, 27299140 edges, 10384 markings/sec, 2645 secs
lola: 1 tries, 465 fired transitions, 2650 secs || 27351320 markings, 27351319 edges, 10436 markings/sec, 2650 secs
lola: 1 tries, 469 fired transitions, 2655 secs || 27401475 markings, 27401474 edges, 10031 markings/sec, 2655 secs
lola: 1 tries, 469 fired transitions, 2660 secs || 27451714 markings, 27451713 edges, 10048 markings/sec, 2660 secs
lola: 1 tries, 469 fired transitions, 2665 secs || 27503430 markings, 27503429 edges, 10343 markings/sec, 2665 secs
lola: 1 tries, 469 fired transitions, 2670 secs || 27553795 markings, 27553794 edges, 10073 markings/sec, 2670 secs
lola: 1 tries, 469 fired transitions, 2675 secs || 27603854 markings, 27603853 edges, 10012 markings/sec, 2675 secs
lola: 1 tries, 473 fired transitions, 2680 secs || 27655275 markings, 27655274 edges, 10284 markings/sec, 2680 secs
lola: 1 tries, 473 fired transitions, 2685 secs || 27705919 markings, 27705918 edges, 10129 markings/sec, 2685 secs
lola: 1 tries, 473 fired transitions, 2690 secs || 27756153 markings, 27756152 edges, 10047 markings/sec, 2690 secs
lola: 1 tries, 473 fired transitions, 2695 secs || 27806215 markings, 27806214 edges, 10012 markings/sec, 2695 secs
lola: 1 tries, 473 fired transitions, 2700 secs || 27856673 markings, 27856672 edges, 10092 markings/sec, 2700 secs
lola: 1 tries, 477 fired transitions, 2705 secs || 27907503 markings, 27907502 edges, 10166 markings/sec, 2705 secs
lola: 1 tries, 477 fired transitions, 2710 secs || 27956367 markings, 27956366 edges, 9773 markings/sec, 2710 secs
lola: 1 tries, 477 fired transitions, 2715 secs || 28005729 markings, 28005728 edges, 9872 markings/sec, 2715 secs
lola: 1 tries, 477 fired transitions, 2720 secs || 28055454 markings, 28055453 edges, 9945 markings/sec, 2720 secs
lola: 1 tries, 477 fired transitions, 2725 secs || 28104991 markings, 28104990 edges, 9907 markings/sec, 2725 secs
lola: 1 tries, 482 fired transitions, 2730 secs || 28154273 markings, 28154272 edges, 9856 markings/sec, 2730 secs
lola: 1 tries, 482 fired transitions, 2735 secs || 28203933 markings, 28203932 edges, 9932 markings/sec, 2735 secs
lola: 1 tries, 482 fired transitions, 2740 secs || 28253337 markings, 28253336 edges, 9881 markings/sec, 2740 secs
lola: 1 tries, 482 fired transitions, 2745 secs || 28302954 markings, 28302953 edges, 9923 markings/sec, 2745 secs
lola: 1 tries, 482 fired transitions, 2750 secs || 28354337 markings, 28354336 edges, 10277 markings/sec, 2750 secs
lola: 1 tries, 486 fired transitions, 2755 secs || 28406837 markings, 28406836 edges, 10500 markings/sec, 2755 secs
lola: 1 tries, 486 fired transitions, 2760 secs || 28458886 markings, 28458885 edges, 10410 markings/sec, 2760 secs
lola: 1 tries, 486 fired transitions, 2765 secs || 28510370 markings, 28510369 edges, 10297 markings/sec, 2765 secs
lola: 1 tries, 486 fired transitions, 2770 secs || 28562442 markings, 28562441 edges, 10414 markings/sec, 2770 secs
lola: 1 tries, 486 fired transitions, 2775 secs || 28614824 markings, 28614823 edges, 10476 markings/sec, 2775 secs
lola: 1 tries, 490 fired transitions, 2780 secs || 28667846 markings, 28667845 edges, 10604 markings/sec, 2780 secs
lola: 1 tries, 490 fired transitions, 2785 secs || 28719904 markings, 28719903 edges, 10412 markings/sec, 2785 secs
lola: 1 tries, 490 fired transitions, 2790 secs || 28773906 markings, 28773905 edges, 10800 markings/sec, 2790 secs
lola: 1 tries, 490 fired transitions, 2795 secs || 28827264 markings, 28827263 edges, 10672 markings/sec, 2795 secs
lola: 1 tries, 490 fired transitions, 2800 secs || 28881251 markings, 28881250 edges, 10797 markings/sec, 2800 secs
lola: 1 tries, 494 fired transitions, 2805 secs || 28934899 markings, 28934898 edges, 10730 markings/sec, 2805 secs
lola: 1 tries, 494 fired transitions, 2810 secs || 28987932 markings, 28987931 edges, 10607 markings/sec, 2810 secs
lola: 1 tries, 494 fired transitions, 2815 secs || 29040761 markings, 29040760 edges, 10566 markings/sec, 2815 secs
lola: 1 tries, 494 fired transitions, 2820 secs || 29094208 markings, 29094207 edges, 10689 markings/sec, 2820 secs
lola: 1 tries, 498 fired transitions, 2825 secs || 29147187 markings, 29147186 edges, 10596 markings/sec, 2825 secs
lola: 1 tries, 498 fired transitions, 2830 secs || 29200036 markings, 29200035 edges, 10570 markings/sec, 2830 secs
lola: 1 tries, 498 fired transitions, 2835 secs || 29252901 markings, 29252900 edges, 10573 markings/sec, 2835 secs
lola: 1 tries, 498 fired transitions, 2840 secs || 29305909 markings, 29305908 edges, 10602 markings/sec, 2840 secs
lola: 1 tries, 498 fired transitions, 2845 secs || 29358791 markings, 29358790 edges, 10576 markings/sec, 2845 secs
lola: 1 tries, 502 fired transitions, 2850 secs || 29411668 markings, 29411667 edges, 10575 markings/sec, 2850 secs
lola: 1 tries, 502 fired transitions, 2855 secs || 29464698 markings, 29464697 edges, 10606 markings/sec, 2855 secs
lola: 1 tries, 502 fired transitions, 2860 secs || 29516223 markings, 29516222 edges, 10305 markings/sec, 2860 secs
lola: 1 tries, 502 fired transitions, 2865 secs || 29566995 markings, 29566994 edges, 10154 markings/sec, 2865 secs
lola: 1 tries, 502 fired transitions, 2870 secs || 29618397 markings, 29618396 edges, 10280 markings/sec, 2870 secs
lola: 1 tries, 507 fired transitions, 2875 secs || 29669767 markings, 29669766 edges, 10274 markings/sec, 2875 secs
lola: 1 tries, 507 fired transitions, 2880 secs || 29720738 markings, 29720737 edges, 10194 markings/sec, 2880 secs
lola: 1 tries, 507 fired transitions, 2885 secs || 29772028 markings, 29772027 edges, 10258 markings/sec, 2885 secs
lola: 1 tries, 507 fired transitions, 2890 secs || 29822043 markings, 29822042 edges, 10003 markings/sec, 2890 secs
lola: 1 tries, 507 fired transitions, 2895 secs || 29871776 markings, 29871775 edges, 9947 markings/sec, 2895 secs
lola: 1 tries, 511 fired transitions, 2900 secs || 29920942 markings, 29920941 edges, 9833 markings/sec, 2900 secs
lola: 1 tries, 511 fired transitions, 2905 secs || 29971747 markings, 29971746 edges, 10161 markings/sec, 2905 secs
lola: 1 tries, 511 fired transitions, 2910 secs || 30020886 markings, 30020885 edges, 9828 markings/sec, 2910 secs
lola: 1 tries, 511 fired transitions, 2915 secs || 30070723 markings, 30070722 edges, 9967 markings/sec, 2915 secs
lola: 1 tries, 511 fired transitions, 2920 secs || 30121027 markings, 30121026 edges, 10061 markings/sec, 2920 secs
lola: 1 tries, 516 fired transitions, 2925 secs || 30171900 markings, 30171899 edges, 10175 markings/sec, 2925 secs
lola: 1 tries, 516 fired transitions, 2930 secs || 30222026 markings, 30222025 edges, 10025 markings/sec, 2930 secs
lola: 1 tries, 516 fired transitions, 2935 secs || 30272143 markings, 30272142 edges, 10023 markings/sec, 2935 secs
lola: 1 tries, 516 fired transitions, 2940 secs || 30321479 markings, 30321478 edges, 9867 markings/sec, 2940 secs
lola: 1 tries, 516 fired transitions, 2945 secs || 30371309 markings, 30371308 edges, 9966 markings/sec, 2945 secs
lola: 1 tries, 521 fired transitions, 2950 secs || 30421113 markings, 30421112 edges, 9961 markings/sec, 2950 secs
lola: 1 tries, 521 fired transitions, 2955 secs || 30470150 markings, 30470149 edges, 9807 markings/sec, 2955 secs
lola: 1 tries, 521 fired transitions, 2960 secs || 30519908 markings, 30519907 edges, 9952 markings/sec, 2960 secs
lola: 1 tries, 521 fired transitions, 2965 secs || 30569655 markings, 30569654 edges, 9949 markings/sec, 2965 secs
lola: 1 tries, 521 fired transitions, 2970 secs || 30619376 markings, 30619375 edges, 9944 markings/sec, 2970 secs
lola: 1 tries, 525 fired transitions, 2975 secs || 30669239 markings, 30669238 edges, 9973 markings/sec, 2975 secs
lola: 1 tries, 525 fired transitions, 2980 secs || 30718474 markings, 30718473 edges, 9847 markings/sec, 2980 secs
lola: 1 tries, 525 fired transitions, 2985 secs || 30767665 markings, 30767664 edges, 9838 markings/sec, 2985 secs
lola: 1 tries, 525 fired transitions, 2990 secs || 30816807 markings, 30816806 edges, 9828 markings/sec, 2990 secs
lola: 1 tries, 525 fired transitions, 2995 secs || 30867686 markings, 30867685 edges, 10176 markings/sec, 2995 secs
lola: 1 tries, 529 fired transitions, 3000 secs || 30918700 markings, 30918699 edges, 10203 markings/sec, 3000 secs
lola: 1 tries, 529 fired transitions, 3005 secs || 30967920 markings, 30967919 edges, 9844 markings/sec, 3005 secs
lola: 1 tries, 529 fired transitions, 3010 secs || 31017639 markings, 31017638 edges, 9944 markings/sec, 3010 secs
lola: 1 tries, 529 fired transitions, 3015 secs || 31070492 markings, 31070491 edges, 10571 markings/sec, 3015 secs
lola: 1 tries, 529 fired transitions, 3020 secs || 31123319 markings, 31123318 edges, 10565 markings/sec, 3020 secs
lola: 1 tries, 533 fired transitions, 3025 secs || 31175706 markings, 31175705 edges, 10477 markings/sec, 3025 secs
lola: 1 tries, 533 fired transitions, 3030 secs || 31226766 markings, 31226765 edges, 10212 markings/sec, 3030 secs
lola: 1 tries, 533 fired transitions, 3035 secs || 31278051 markings, 31278050 edges, 10257 markings/sec, 3035 secs
lola: 1 tries, 533 fired transitions, 3040 secs || 31329553 markings, 31329552 edges, 10300 markings/sec, 3040 secs
lola: 1 tries, 537 fired transitions, 3045 secs || 31381211 markings, 31381210 edges, 10332 markings/sec, 3045 secs
lola: 1 tries, 537 fired transitions, 3050 secs || 31431735 markings, 31431734 edges, 10105 markings/sec, 3050 secs
lola: 1 tries, 537 fired transitions, 3055 secs || 31484143 markings, 31484142 edges, 10482 markings/sec, 3055 secs
lola: 1 tries, 537 fired transitions, 3060 secs || 31535920 markings, 31535919 edges, 10355 markings/sec, 3060 secs
lola: 1 tries, 537 fired transitions, 3065 secs || 31588587 markings, 31588586 edges, 10533 markings/sec, 3065 secs
lola: 1 tries, 541 fired transitions, 3070 secs || 31640875 markings, 31640874 edges, 10458 markings/sec, 3070 secs
lola: 1 tries, 541 fired transitions, 3075 secs || 31693237 markings, 31693236 edges, 10472 markings/sec, 3075 secs
lola: 1 tries, 541 fired transitions, 3080 secs || 31746198 markings, 31746197 edges, 10592 markings/sec, 3080 secs
lola: 1 tries, 541 fired transitions, 3085 secs || 31797498 markings, 31797498 edges, 10260 markings/sec, 3085 secs
lola: 1 tries, 541 fired transitions, 3090 secs || 31849166 markings, 31849165 edges, 10334 markings/sec, 3090 secs
lola: 1 tries, 546 fired transitions, 3095 secs || 31901243 markings, 31901243 edges, 10415 markings/sec, 3095 secs
lola: 1 tries, 546 fired transitions, 3100 secs || 31954196 markings, 31954195 edges, 10591 markings/sec, 3100 secs
lola: 1 tries, 546 fired transitions, 3105 secs || 32005628 markings, 32005627 edges, 10286 markings/sec, 3105 secs
lola: 1 tries, 546 fired transitions, 3110 secs || 32058928 markings, 32058927 edges, 10660 markings/sec, 3110 secs
lola: 1 tries, 550 fired transitions, 3115 secs || 32110888 markings, 32110887 edges, 10392 markings/sec, 3115 secs
lola: 1 tries, 550 fired transitions, 3120 secs || 32163813 markings, 32163812 edges, 10585 markings/sec, 3120 secs
lola: 1 tries, 550 fired transitions, 3125 secs || 32216694 markings, 32216693 edges, 10576 markings/sec, 3125 secs
lola: 1 tries, 550 fired transitions, 3130 secs || 32269498 markings, 32269497 edges, 10561 markings/sec, 3130 secs
lola: 1 tries, 550 fired transitions, 3135 secs || 32321833 markings, 32321832 edges, 10467 markings/sec, 3135 secs
lola: 1 tries, 554 fired transitions, 3140 secs || 32374085 markings, 32374084 edges, 10450 markings/sec, 3140 secs
lola: 1 tries, 554 fired transitions, 3145 secs || 32426837 markings, 32426836 edges, 10550 markings/sec, 3145 secs
lola: 1 tries, 554 fired transitions, 3150 secs || 32479719 markings, 32479718 edges, 10576 markings/sec, 3150 secs
lola: 1 tries, 554 fired transitions, 3155 secs || 32532516 markings, 32532515 edges, 10559 markings/sec, 3155 secs
lola: 1 tries, 554 fired transitions, 3160 secs || 32584686 markings, 32584685 edges, 10434 markings/sec, 3160 secs
lola: 1 tries, 558 fired transitions, 3165 secs || 32637905 markings, 32637904 edges, 10644 markings/sec, 3165 secs
lola: 1 tries, 558 fired transitions, 3170 secs || 32690878 markings, 32690877 edges, 10595 markings/sec, 3170 secs
lola: 1 tries, 558 fired transitions, 3175 secs || 32743705 markings, 32743704 edges, 10565 markings/sec, 3175 secs
lola: 1 tries, 558 fired transitions, 3180 secs || 32793862 markings, 32793861 edges, 10031 markings/sec, 3180 secs
lola: 1 tries, 562 fired transitions, 3185 secs || 32846678 markings, 32846677 edges, 10563 markings/sec, 3185 secs
lola: 1 tries, 562 fired transitions, 3190 secs || 32899431 markings, 32899430 edges, 10551 markings/sec, 3190 secs
lola: 1 tries, 562 fired transitions, 3195 secs || 32951431 markings, 32951430 edges, 10400 markings/sec, 3195 secs
lola: 1 tries, 562 fired transitions, 3200 secs || 33003898 markings, 33003897 edges, 10493 markings/sec, 3200 secs
lola: 1 tries, 562 fired transitions, 3205 secs || 33056526 markings, 33056525 edges, 10526 markings/sec, 3205 secs
lola: 1 tries, 567 fired transitions, 3210 secs || 33108574 markings, 33108573 edges, 10410 markings/sec, 3210 secs
lola: 1 tries, 567 fired transitions, 3215 secs || 33158564 markings, 33158563 edges, 9998 markings/sec, 3215 secs
lola: 1 tries, 567 fired transitions, 3220 secs || 33208039 markings, 33208038 edges, 9895 markings/sec, 3220 secs
lola: 1 tries, 567 fired transitions, 3225 secs || 33258090 markings, 33258089 edges, 10010 markings/sec, 3225 secs
lola: 1 tries, 567 fired transitions, 3230 secs || 33310995 markings, 33310994 edges, 10581 markings/sec, 3230 secs
lola: 1 tries, 571 fired transitions, 3235 secs || 33361552 markings, 33361551 edges, 10111 markings/sec, 3235 secs
lola: 1 tries, 571 fired transitions, 3240 secs || 33410995 markings, 33410994 edges, 9889 markings/sec, 3240 secs
lola: 1 tries, 571 fired transitions, 3245 secs || 33460854 markings, 33460853 edges, 9972 markings/sec, 3245 secs
lola: 1 tries, 571 fired transitions, 3250 secs || 33511904 markings, 33511903 edges, 10210 markings/sec, 3250 secs
lola: 1 tries, 571 fired transitions, 3255 secs || 33565086 markings, 33565085 edges, 10636 markings/sec, 3255 secs
lola: 1 tries, 575 fired transitions, 3260 secs || 33617960 markings, 33617959 edges, 10575 markings/sec, 3260 secs
lola: 1 tries, 575 fired transitions, 3265 secs || 33671365 markings, 33671364 edges, 10681 markings/sec, 3265 secs
lola: 1 tries, 575 fired transitions, 3270 secs || 33724142 markings, 33724141 edges, 10555 markings/sec, 3270 secs
lola: 1 tries, 575 fired transitions, 3275 secs || 33776239 markings, 33776238 edges, 10419 markings/sec, 3275 secs
lola: 1 tries, 575 fired transitions, 3280 secs || 33824893 markings, 33824892 edges, 9731 markings/sec, 3280 secs
lola: 1 tries, 579 fired transitions, 3285 secs || 33874022 markings, 33874021 edges, 9826 markings/sec, 3285 secs
lola: 1 tries, 579 fired transitions, 3290 secs || 33922532 markings, 33922531 edges, 9702 markings/sec, 3290 secs
lola: 1 tries, 579 fired transitions, 3295 secs || 33974144 markings, 33974143 edges, 10322 markings/sec, 3295 secs
lola: 1 tries, 579 fired transitions, 3300 secs || 34026095 markings, 34026094 edges, 10390 markings/sec, 3300 secs
lola: 1 tries, 579 fired transitions, 3305 secs || 34075782 markings, 34075781 edges, 9937 markings/sec, 3305 secs
lola: 1 tries, 583 fired transitions, 3310 secs || 34125451 markings, 34125450 edges, 9934 markings/sec, 3310 secs
lola: 1 tries, 583 fired transitions, 3315 secs || 34175412 markings, 34175411 edges, 9992 markings/sec, 3315 secs
lola: 1 tries, 583 fired transitions, 3320 secs || 34226072 markings, 34226071 edges, 10132 markings/sec, 3320 secs
lola: 1 tries, 583 fired transitions, 3325 secs || 34278088 markings, 34278087 edges, 10403 markings/sec, 3325 secs
lola: 1 tries, 583 fired transitions, 3330 secs || 34327366 markings, 34327366 edges, 9856 markings/sec, 3330 secs
lola: 1 tries, 587 fired transitions, 3335 secs || 34376546 markings, 34376545 edges, 9836 markings/sec, 3335 secs
lola: 1 tries, 587 fired transitions, 3340 secs || 34426326 markings, 34426325 edges, 9956 markings/sec, 3340 secs
lola: 1 tries, 587 fired transitions, 3345 secs || 34478674 markings, 34478673 edges, 10470 markings/sec, 3345 secs
lola: 1 tries, 587 fired transitions, 3350 secs || 34528970 markings, 34528969 edges, 10059 markings/sec, 3350 secs
lola: 1 tries, 587 fired transitions, 3355 secs || 34578058 markings, 34578057 edges, 9818 markings/sec, 3355 secs
lola: 1 tries, 591 fired transitions, 3360 secs || 34627349 markings, 34627348 edges, 9858 markings/sec, 3360 secs
lola: 1 tries, 591 fired transitions, 3365 secs || 34678295 markings, 34678294 edges, 10189 markings/sec, 3365 secs
lola: 1 tries, 591 fired transitions, 3370 secs || 34728196 markings, 34728195 edges, 9980 markings/sec, 3370 secs
lola: 1 tries, 591 fired transitions, 3375 secs || 34777569 markings, 34777568 edges, 9875 markings/sec, 3375 secs
lola: 1 tries, 591 fired transitions, 3380 secs || 34827179 markings, 34827178 edges, 9922 markings/sec, 3380 secs
lola: 1 tries, 596 fired transitions, 3385 secs || 34876888 markings, 34876887 edges, 9942 markings/sec, 3385 secs
lola: 1 tries, 596 fired transitions, 3390 secs || 34926537 markings, 34926536 edges, 9930 markings/sec, 3390 secs
lola: 1 tries, 596 fired transitions, 3395 secs || 34975772 markings, 34975771 edges, 9847 markings/sec, 3395 secs
lola: 1 tries, 596 fired transitions, 3400 secs || 35025304 markings, 35025303 edges, 9906 markings/sec, 3400 secs
lola: 1 tries, 596 fired transitions, 3405 secs || 35075039 markings, 35075038 edges, 9947 markings/sec, 3405 secs
lola: 1 tries, 600 fired transitions, 3410 secs || 35124209 markings, 35124208 edges, 9834 markings/sec, 3410 secs
lola: 1 tries, 600 fired transitions, 3415 secs || 35173719 markings, 35173718 edges, 9902 markings/sec, 3415 secs
lola: 1 tries, 600 fired transitions, 3420 secs || 35223854 markings, 35223853 edges, 10027 markings/sec, 3420 secs
lola: 1 tries, 600 fired transitions, 3425 secs || 35275156 markings, 35275155 edges, 10260 markings/sec, 3425 secs
lola: 1 tries, 600 fired transitions, 3430 secs || 35326562 markings, 35326561 edges, 10281 markings/sec, 3430 secs
lola: 1 tries, 604 fired transitions, 3435 secs || 35378548 markings, 35378547 edges, 10397 markings/sec, 3435 secs
lola: 1 tries, 604 fired transitions, 3440 secs || 35430044 markings, 35430043 edges, 10299 markings/sec, 3440 secs
lola: 1 tries, 604 fired transitions, 3445 secs || 35482566 markings, 35482565 edges, 10504 markings/sec, 3445 secs
lola: 1 tries, 604 fired transitions, 3450 secs || 35534715 markings, 35534714 edges, 10430 markings/sec, 3450 secs
lola: 1 tries, 608 fired transitions, 3455 secs || 35585623 markings, 35585622 edges, 10182 markings/sec, 3455 secs
lola: 1 tries, 608 fired transitions, 3460 secs || 35635602 markings, 35635601 edges, 9996 markings/sec, 3460 secs
lola: 1 tries, 608 fired transitions, 3465 secs || 35685440 markings, 35685439 edges, 9968 markings/sec, 3465 secs
lola: 1 tries, 608 fired transitions, 3470 secs || 35735878 markings, 35735877 edges, 10088 markings/sec, 3470 secs
lola: 1 tries, 608 fired transitions, 3475 secs || 35785873 markings, 35785872 edges, 9999 markings/sec, 3475 secs
lola: 1 tries, 613 fired transitions, 3480 secs || 35835493 markings, 35835492 edges, 9924 markings/sec, 3480 secs
lola: 1 tries, 613 fired transitions, 3485 secs || 35884472 markings, 35884471 edges, 9796 markings/sec, 3485 secs
lola: 1 tries, 613 fired transitions, 3490 secs || 35934701 markings, 35934700 edges, 10046 markings/sec, 3490 secs
lola: 1 tries, 613 fired transitions, 3495 secs || 35986244 markings, 35986243 edges, 10309 markings/sec, 3495 secs
lola: 1 tries, 613 fired transitions, 3500 secs || 36037905 markings, 36037904 edges, 10332 markings/sec, 3500 secs
lola: 1 tries, 617 fired transitions, 3505 secs || 36088644 markings, 36088643 edges, 10148 markings/sec, 3505 secs
lola: 1 tries, 617 fired transitions, 3510 secs || 36140303 markings, 36140302 edges, 10332 markings/sec, 3510 secs
lola: 1 tries, 617 fired transitions, 3515 secs || 36191137 markings, 36191136 edges, 10167 markings/sec, 3515 secs
lola: 1 tries, 617 fired transitions, 3520 secs || 36243001 markings, 36243000 edges, 10373 markings/sec, 3520 secs
lola: 1 tries, 617 fired transitions, 3525 secs || 36294605 markings, 36294605 edges, 10321 markings/sec, 3525 secs
lola: 1 tries, 621 fired transitions, 3530 secs || 36344763 markings, 36344762 edges, 10032 markings/sec, 3530 secs
lola: 1 tries, 621 fired transitions, 3535 secs || 36394417 markings, 36394416 edges, 9931 markings/sec, 3535 secs
lola: 1 tries, 621 fired transitions, 3540 secs || 36444390 markings, 36444389 edges, 9995 markings/sec, 3540 secs
lola: time limit reached - aborting
lola: memory consumption: 7682384 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished
BK_STOP 1552670650567
--------------------
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="GlobalResAllocation-COL-06"
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 GlobalResAllocation-COL-06, 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 r082-csrt-155246549500480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/GlobalResAllocation-COL-06.tgz
mv GlobalResAllocation-COL-06 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 ;