About the Execution of LoLA for TokenRing-PT-040
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8149.380 | 3570204.00 | 7218358.00 | 420.90 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r170-oct2-155297750600354.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is TokenRing-PT-040, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-oct2-155297750600354
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 240M
-rw-r--r-- 1 mcc users 790K Feb 12 20:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 2.5M Feb 12 20:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 29M Feb 9 04:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 78M Feb 9 04:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:06 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:06 GlobalProperties.xml
-rw-r--r-- 1 mcc users 193K Feb 5 01:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 574K Feb 5 01:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 7.7M Feb 4 22:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 21M Feb 4 22:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 838K Feb 4 21:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 2.6M Feb 4 21:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14M Feb 1 22:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 38M Feb 1 22:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 193K Feb 4 22:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 457K Feb 4 22:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 47M 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 TokenRing-PT-040-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553121291748
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ TokenRing-PT-040 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ TokenRing-PT-040
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 67322/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 53792
lola: finding significant places
lola: 1681 places, 65641 transitions, 1640 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, 338 fired transitions, 0 secs || 290 markings, 289 edges, 58 markings/sec, 0 secs
lola: 1 tries, 638 fired transitions, 5 secs || 623 markings, 622 edges, 67 markings/sec, 5 secs
lola: 1 tries, 933 fired transitions, 10 secs || 1014 markings, 1013 edges, 78 markings/sec, 10 secs
lola: 1 tries, 1240 fired transitions, 15 secs || 1451 markings, 1450 edges, 87 markings/sec, 15 secs
lola: 1 tries, 1571 fired transitions, 20 secs || 1899 markings, 1898 edges, 90 markings/sec, 20 secs
lola: 1 tries, 1877 fired transitions, 25 secs || 2298 markings, 2533 edges, 80 markings/sec, 25 secs
lola: 1 tries, 2170 fired transitions, 30 secs || 2657 markings, 3308 edges, 72 markings/sec, 30 secs
lola: 1 tries, 2555 fired transitions, 35 secs || 3028 markings, 4310 edges, 74 markings/sec, 35 secs
lola: 1 tries, 3003 fired transitions, 40 secs || 3453 markings, 5368 edges, 85 markings/sec, 40 secs
lola: 1 tries, 3409 fired transitions, 45 secs || 3846 markings, 6408 edges, 79 markings/sec, 45 secs
lola: 1 tries, 3811 fired transitions, 50 secs || 4245 markings, 7469 edges, 80 markings/sec, 50 secs
lola: 1 tries, 4200 fired transitions, 55 secs || 4647 markings, 8546 edges, 80 markings/sec, 55 secs
lola: 1 tries, 4592 fired transitions, 60 secs || 5045 markings, 9566 edges, 80 markings/sec, 60 secs
lola: 1 tries, 5002 fired transitions, 65 secs || 5451 markings, 10638 edges, 81 markings/sec, 65 secs
lola: 1 tries, 5409 fired transitions, 70 secs || 5853 markings, 11680 edges, 80 markings/sec, 70 secs
lola: 1 tries, 5783 fired transitions, 75 secs || 6228 markings, 12703 edges, 75 markings/sec, 75 secs
lola: 1 tries, 6198 fired transitions, 80 secs || 6644 markings, 13785 edges, 83 markings/sec, 80 secs
lola: 1 tries, 6597 fired transitions, 85 secs || 7042 markings, 14824 edges, 80 markings/sec, 85 secs
lola: 1 tries, 6995 fired transitions, 90 secs || 7438 markings, 15834 edges, 79 markings/sec, 90 secs
lola: 1 tries, 7376 fired transitions, 95 secs || 7819 markings, 16893 edges, 76 markings/sec, 95 secs
lola: 1 tries, 7758 fired transitions, 100 secs || 8208 markings, 17870 edges, 78 markings/sec, 100 secs
lola: 1 tries, 8122 fired transitions, 105 secs || 8566 markings, 18786 edges, 72 markings/sec, 105 secs
lola: 1 tries, 8482 fired transitions, 110 secs || 8921 markings, 19685 edges, 71 markings/sec, 110 secs
lola: 1 tries, 8863 fired transitions, 115 secs || 9295 markings, 20707 edges, 75 markings/sec, 115 secs
lola: 1 tries, 9275 fired transitions, 120 secs || 9706 markings, 21517 edges, 82 markings/sec, 120 secs
lola: 1 tries, 9698 fired transitions, 125 secs || 10125 markings, 22368 edges, 84 markings/sec, 125 secs
lola: 1 tries, 10087 fired transitions, 130 secs || 10513 markings, 23335 edges, 78 markings/sec, 130 secs
lola: 1 tries, 10504 fired transitions, 135 secs || 10929 markings, 24388 edges, 83 markings/sec, 135 secs
lola: 1 tries, 10901 fired transitions, 140 secs || 11326 markings, 25477 edges, 79 markings/sec, 140 secs
lola: 1 tries, 11317 fired transitions, 145 secs || 11735 markings, 26513 edges, 82 markings/sec, 145 secs
lola: 1 tries, 11716 fired transitions, 150 secs || 12129 markings, 27517 edges, 79 markings/sec, 150 secs
lola: 1 tries, 12109 fired transitions, 155 secs || 12512 markings, 28527 edges, 77 markings/sec, 155 secs
lola: 1 tries, 12522 fired transitions, 160 secs || 12923 markings, 29638 edges, 82 markings/sec, 160 secs
lola: 1 tries, 12941 fired transitions, 165 secs || 13343 markings, 30761 edges, 84 markings/sec, 165 secs
lola: 1 tries, 13405 fired transitions, 170 secs || 13803 markings, 31997 edges, 92 markings/sec, 170 secs
lola: 1 tries, 13859 fired transitions, 175 secs || 14253 markings, 33184 edges, 90 markings/sec, 175 secs
lola: 1 tries, 14297 fired transitions, 180 secs || 14692 markings, 34368 edges, 88 markings/sec, 180 secs
lola: 1 tries, 14738 fired transitions, 185 secs || 15133 markings, 35561 edges, 88 markings/sec, 185 secs
lola: 1 tries, 15207 fired transitions, 190 secs || 15597 markings, 36807 edges, 93 markings/sec, 190 secs
lola: 1 tries, 15660 fired transitions, 195 secs || 16045 markings, 38027 edges, 90 markings/sec, 195 secs
lola: 1 tries, 16067 fired transitions, 200 secs || 16454 markings, 39142 edges, 82 markings/sec, 200 secs
lola: 1 tries, 16448 fired transitions, 205 secs || 16833 markings, 40173 edges, 76 markings/sec, 205 secs
lola: 1 tries, 16825 fired transitions, 210 secs || 17209 markings, 41009 edges, 75 markings/sec, 210 secs
lola: 1 tries, 17259 fired transitions, 215 secs || 17640 markings, 42163 edges, 86 markings/sec, 215 secs
lola: 1 tries, 17690 fired transitions, 220 secs || 18070 markings, 43324 edges, 86 markings/sec, 220 secs
lola: 1 tries, 18134 fired transitions, 225 secs || 18519 markings, 44510 edges, 90 markings/sec, 225 secs
lola: 1 tries, 18592 fired transitions, 230 secs || 18974 markings, 45659 edges, 91 markings/sec, 230 secs
lola: 1 tries, 19015 fired transitions, 235 secs || 19392 markings, 47151 edges, 84 markings/sec, 235 secs
lola: 1 tries, 19448 fired transitions, 240 secs || 19823 markings, 48728 edges, 86 markings/sec, 240 secs
lola: 1 tries, 19919 fired transitions, 245 secs || 20290 markings, 50232 edges, 93 markings/sec, 245 secs
lola: 1 tries, 20397 fired transitions, 250 secs || 20766 markings, 51807 edges, 95 markings/sec, 250 secs
lola: 1 tries, 20869 fired transitions, 255 secs || 21238 markings, 53449 edges, 94 markings/sec, 255 secs
lola: 1 tries, 21358 fired transitions, 260 secs || 21726 markings, 55196 edges, 98 markings/sec, 260 secs
lola: 1 tries, 21839 fired transitions, 265 secs || 22205 markings, 56799 edges, 96 markings/sec, 265 secs
lola: 1 tries, 22319 fired transitions, 270 secs || 22674 markings, 58382 edges, 94 markings/sec, 270 secs
lola: 1 tries, 22787 fired transitions, 275 secs || 23142 markings, 60027 edges, 94 markings/sec, 275 secs
lola: 1 tries, 23266 fired transitions, 280 secs || 23618 markings, 61540 edges, 95 markings/sec, 280 secs
lola: 1 tries, 23735 fired transitions, 285 secs || 24085 markings, 62998 edges, 93 markings/sec, 285 secs
lola: 1 tries, 24186 fired transitions, 290 secs || 24533 markings, 64720 edges, 90 markings/sec, 290 secs
lola: 1 tries, 24632 fired transitions, 295 secs || 24980 markings, 66262 edges, 89 markings/sec, 295 secs
lola: 1 tries, 25071 fired transitions, 300 secs || 25417 markings, 67649 edges, 87 markings/sec, 300 secs
lola: 1 tries, 25509 fired transitions, 305 secs || 25851 markings, 69075 edges, 87 markings/sec, 305 secs
lola: 1 tries, 25927 fired transitions, 310 secs || 26268 markings, 70607 edges, 83 markings/sec, 310 secs
lola: 1 tries, 26350 fired transitions, 315 secs || 26690 markings, 71967 edges, 84 markings/sec, 315 secs
lola: 1 tries, 26802 fired transitions, 320 secs || 27141 markings, 73449 edges, 90 markings/sec, 320 secs
lola: 1 tries, 27276 fired transitions, 325 secs || 27615 markings, 75087 edges, 95 markings/sec, 325 secs
lola: 1 tries, 27732 fired transitions, 330 secs || 28064 markings, 76724 edges, 90 markings/sec, 330 secs
lola: 1 tries, 28174 fired transitions, 335 secs || 28505 markings, 78230 edges, 88 markings/sec, 335 secs
lola: 1 tries, 28603 fired transitions, 340 secs || 28929 markings, 79540 edges, 85 markings/sec, 340 secs
lola: 1 tries, 29032 fired transitions, 345 secs || 29357 markings, 81080 edges, 86 markings/sec, 345 secs
lola: 1 tries, 29455 fired transitions, 350 secs || 29781 markings, 82431 edges, 85 markings/sec, 350 secs
lola: 1 tries, 29887 fired transitions, 355 secs || 30211 markings, 83981 edges, 86 markings/sec, 355 secs
lola: 1 tries, 30330 fired transitions, 360 secs || 30651 markings, 85402 edges, 88 markings/sec, 360 secs
lola: 1 tries, 30759 fired transitions, 365 secs || 31078 markings, 86989 edges, 85 markings/sec, 365 secs
lola: 1 tries, 31186 fired transitions, 370 secs || 31504 markings, 88541 edges, 85 markings/sec, 370 secs
lola: 1 tries, 31627 fired transitions, 375 secs || 31941 markings, 90024 edges, 87 markings/sec, 375 secs
lola: 1 tries, 32065 fired transitions, 380 secs || 32376 markings, 91537 edges, 87 markings/sec, 380 secs
lola: 1 tries, 32498 fired transitions, 385 secs || 32806 markings, 93032 edges, 86 markings/sec, 385 secs
lola: 1 tries, 32930 fired transitions, 390 secs || 33235 markings, 94500 edges, 86 markings/sec, 390 secs
lola: 1 tries, 33373 fired transitions, 395 secs || 33674 markings, 96035 edges, 88 markings/sec, 395 secs
lola: 1 tries, 33816 fired transitions, 400 secs || 34113 markings, 97578 edges, 88 markings/sec, 400 secs
lola: 1 tries, 34226 fired transitions, 405 secs || 34525 markings, 99113 edges, 82 markings/sec, 405 secs
lola: 1 tries, 34655 fired transitions, 410 secs || 34955 markings, 100570 edges, 86 markings/sec, 410 secs
lola: 1 tries, 35110 fired transitions, 415 secs || 35405 markings, 102141 edges, 90 markings/sec, 415 secs
lola: 1 tries, 35547 fired transitions, 420 secs || 35836 markings, 103594 edges, 86 markings/sec, 420 secs
lola: 1 tries, 35987 fired transitions, 425 secs || 36272 markings, 105182 edges, 87 markings/sec, 425 secs
lola: 1 tries, 36448 fired transitions, 430 secs || 36733 markings, 106800 edges, 92 markings/sec, 430 secs
lola: 1 tries, 36901 fired transitions, 435 secs || 37186 markings, 108341 edges, 91 markings/sec, 435 secs
lola: 1 tries, 37353 fired transitions, 440 secs || 37629 markings, 109954 edges, 89 markings/sec, 440 secs
lola: 1 tries, 37793 fired transitions, 445 secs || 38068 markings, 111596 edges, 88 markings/sec, 445 secs
lola: 1 tries, 38253 fired transitions, 450 secs || 38524 markings, 113179 edges, 91 markings/sec, 450 secs
lola: 1 tries, 38730 fired transitions, 455 secs || 38997 markings, 114842 edges, 95 markings/sec, 455 secs
lola: 1 tries, 39208 fired transitions, 460 secs || 39472 markings, 116353 edges, 95 markings/sec, 460 secs
lola: 1 tries, 39674 fired transitions, 465 secs || 39937 markings, 117937 edges, 93 markings/sec, 465 secs
lola: 1 tries, 40166 fired transitions, 470 secs || 40419 markings, 119562 edges, 96 markings/sec, 470 secs
lola: 1 tries, 40648 fired transitions, 475 secs || 40896 markings, 121212 edges, 95 markings/sec, 475 secs
lola: 1 tries, 41073 fired transitions, 480 secs || 41317 markings, 122704 edges, 84 markings/sec, 480 secs
lola: 1 tries, 41552 fired transitions, 485 secs || 41793 markings, 124325 edges, 95 markings/sec, 485 secs
lola: 1 tries, 42020 fired transitions, 490 secs || 42254 markings, 125906 edges, 92 markings/sec, 490 secs
lola: 1 tries, 42482 fired transitions, 495 secs || 42712 markings, 127474 edges, 92 markings/sec, 495 secs
lola: 1 tries, 42925 fired transitions, 500 secs || 43155 markings, 128918 edges, 89 markings/sec, 500 secs
lola: 1 tries, 43374 fired transitions, 505 secs || 43600 markings, 130555 edges, 89 markings/sec, 505 secs
lola: 1 tries, 43814 fired transitions, 510 secs || 44037 markings, 132085 edges, 87 markings/sec, 510 secs
lola: 1 tries, 44292 fired transitions, 515 secs || 44511 markings, 133844 edges, 95 markings/sec, 515 secs
lola: 1 tries, 44760 fired transitions, 520 secs || 44974 markings, 135492 edges, 93 markings/sec, 520 secs
lola: 1 tries, 45213 fired transitions, 525 secs || 45423 markings, 137059 edges, 90 markings/sec, 525 secs
lola: 1 tries, 45659 fired transitions, 530 secs || 45861 markings, 138552 edges, 88 markings/sec, 530 secs
lola: 1 tries, 46083 fired transitions, 535 secs || 46284 markings, 140157 edges, 85 markings/sec, 535 secs
lola: 1 tries, 46540 fired transitions, 540 secs || 46734 markings, 141447 edges, 90 markings/sec, 540 secs
lola: 1 tries, 47016 fired transitions, 545 secs || 47204 markings, 143078 edges, 94 markings/sec, 545 secs
lola: 1 tries, 47496 fired transitions, 550 secs || 47679 markings, 144738 edges, 95 markings/sec, 550 secs
lola: 1 tries, 47967 fired transitions, 555 secs || 48149 markings, 146438 edges, 94 markings/sec, 555 secs
lola: 1 tries, 48444 fired transitions, 560 secs || 48620 markings, 148039 edges, 94 markings/sec, 560 secs
lola: 1 tries, 48931 fired transitions, 565 secs || 49100 markings, 149661 edges, 96 markings/sec, 565 secs
lola: 1 tries, 49402 fired transitions, 570 secs || 49569 markings, 151348 edges, 94 markings/sec, 570 secs
lola: 1 tries, 49866 fired transitions, 575 secs || 50028 markings, 152977 edges, 92 markings/sec, 575 secs
lola: 1 tries, 50330 fired transitions, 580 secs || 50485 markings, 154242 edges, 91 markings/sec, 580 secs
lola: 1 tries, 50785 fired transitions, 585 secs || 50936 markings, 155857 edges, 90 markings/sec, 585 secs
lola: 1 tries, 51232 fired transitions, 590 secs || 51383 markings, 157510 edges, 89 markings/sec, 590 secs
lola: 1 tries, 51698 fired transitions, 595 secs || 51847 markings, 159125 edges, 93 markings/sec, 595 secs
lola: 1 tries, 52151 fired transitions, 600 secs || 52294 markings, 160731 edges, 89 markings/sec, 600 secs
lola: 1 tries, 52611 fired transitions, 605 secs || 52751 markings, 162405 edges, 91 markings/sec, 605 secs
lola: 1 tries, 53062 fired transitions, 610 secs || 53200 markings, 164061 edges, 90 markings/sec, 610 secs
lola: 1 tries, 53535 fired transitions, 615 secs || 53670 markings, 165728 edges, 94 markings/sec, 615 secs
lola: 1 tries, 54004 fired transitions, 620 secs || 54135 markings, 167415 edges, 93 markings/sec, 620 secs
lola: 1 tries, 54474 fired transitions, 625 secs || 54604 markings, 169181 edges, 94 markings/sec, 625 secs
lola: 1 tries, 54961 fired transitions, 630 secs || 55093 markings, 170535 edges, 98 markings/sec, 630 secs
lola: 1 tries, 55429 fired transitions, 635 secs || 55555 markings, 172228 edges, 92 markings/sec, 635 secs
lola: 1 tries, 55912 fired transitions, 640 secs || 56032 markings, 174021 edges, 95 markings/sec, 640 secs
lola: 1 tries, 56373 fired transitions, 645 secs || 56491 markings, 175817 edges, 92 markings/sec, 645 secs
lola: 1 tries, 56849 fired transitions, 650 secs || 56960 markings, 177537 edges, 94 markings/sec, 650 secs
lola: 1 tries, 57327 fired transitions, 655 secs || 57432 markings, 179348 edges, 94 markings/sec, 655 secs
lola: 1 tries, 57812 fired transitions, 660 secs || 57912 markings, 181220 edges, 96 markings/sec, 660 secs
lola: 1 tries, 58293 fired transitions, 665 secs || 58391 markings, 183048 edges, 96 markings/sec, 665 secs
lola: 1 tries, 58806 fired transitions, 670 secs || 58896 markings, 184961 edges, 101 markings/sec, 670 secs
lola: 1 tries, 59305 fired transitions, 675 secs || 59386 markings, 186844 edges, 98 markings/sec, 675 secs
lola: 1 tries, 59774 fired transitions, 680 secs || 59854 markings, 188326 edges, 94 markings/sec, 680 secs
lola: 1 tries, 60258 fired transitions, 685 secs || 60332 markings, 190071 edges, 96 markings/sec, 685 secs
lola: 1 tries, 60727 fired transitions, 690 secs || 60794 markings, 191731 edges, 92 markings/sec, 690 secs
lola: 1 tries, 61163 fired transitions, 695 secs || 61230 markings, 193380 edges, 87 markings/sec, 695 secs
lola: 1 tries, 61606 fired transitions, 700 secs || 61669 markings, 194967 edges, 88 markings/sec, 700 secs
lola: 1 tries, 62017 fired transitions, 705 secs || 62074 markings, 196466 edges, 81 markings/sec, 705 secs
lola: 1 tries, 62251 fired transitions, 710 secs || 62287 markings, 197279 edges, 43 markings/sec, 710 secs
lola: 1 tries, 62476 fired transitions, 715 secs || 62488 markings, 198010 edges, 40 markings/sec, 715 secs
lola: 1 tries, 62693 fired transitions, 720 secs || 62690 markings, 198832 edges, 40 markings/sec, 720 secs
lola: 1 tries, 62932 fired transitions, 725 secs || 62927 markings, 199735 edges, 47 markings/sec, 725 secs
lola: 1 tries, 63178 fired transitions, 730 secs || 63162 markings, 200622 edges, 47 markings/sec, 730 secs
lola: 1 tries, 63428 fired transitions, 735 secs || 63399 markings, 201508 edges, 47 markings/sec, 735 secs
lola: 1 tries, 63681 fired transitions, 740 secs || 63635 markings, 202489 edges, 47 markings/sec, 740 secs
lola: 1 tries, 64000 fired transitions, 745 secs || 63930 markings, 203590 edges, 59 markings/sec, 745 secs
lola: 1 tries, 64466 fired transitions, 750 secs || 64392 markings, 205030 edges, 92 markings/sec, 750 secs
lola: 1 tries, 64915 fired transitions, 755 secs || 64840 markings, 206633 edges, 90 markings/sec, 755 secs
lola: 1 tries, 65366 fired transitions, 760 secs || 65286 markings, 208110 edges, 89 markings/sec, 760 secs
lola: 1 tries, 65824 fired transitions, 765 secs || 65737 markings, 209679 edges, 90 markings/sec, 765 secs
lola: 1 tries, 66274 fired transitions, 770 secs || 66187 markings, 211270 edges, 90 markings/sec, 770 secs
lola: 1 tries, 66740 fired transitions, 775 secs || 66649 markings, 212861 edges, 92 markings/sec, 775 secs
lola: 1 tries, 67191 fired transitions, 780 secs || 67096 markings, 214398 edges, 89 markings/sec, 780 secs
lola: 1 tries, 67581 fired transitions, 785 secs || 67480 markings, 215787 edges, 77 markings/sec, 785 secs
lola: 1 tries, 68005 fired transitions, 790 secs || 67904 markings, 217312 edges, 85 markings/sec, 790 secs
lola: 1 tries, 68400 fired transitions, 795 secs || 68292 markings, 218656 edges, 78 markings/sec, 795 secs
lola: 1 tries, 68853 fired transitions, 800 secs || 68740 markings, 220187 edges, 90 markings/sec, 800 secs
lola: 1 tries, 69329 fired transitions, 805 secs || 69211 markings, 221967 edges, 94 markings/sec, 805 secs
lola: 1 tries, 69786 fired transitions, 810 secs || 69666 markings, 223647 edges, 91 markings/sec, 810 secs
lola: 1 tries, 70226 fired transitions, 815 secs || 70102 markings, 224891 edges, 87 markings/sec, 815 secs
lola: 1 tries, 70653 fired transitions, 820 secs || 70527 markings, 226389 edges, 85 markings/sec, 820 secs
lola: 1 tries, 71074 fired transitions, 825 secs || 70950 markings, 227931 edges, 85 markings/sec, 825 secs
lola: 1 tries, 71500 fired transitions, 830 secs || 71374 markings, 229462 edges, 85 markings/sec, 830 secs
lola: 1 tries, 71945 fired transitions, 835 secs || 71814 markings, 230966 edges, 88 markings/sec, 835 secs
lola: 1 tries, 72386 fired transitions, 840 secs || 72251 markings, 232523 edges, 87 markings/sec, 840 secs
lola: 1 tries, 72821 fired transitions, 845 secs || 72687 markings, 234097 edges, 87 markings/sec, 845 secs
lola: 1 tries, 73256 fired transitions, 850 secs || 73123 markings, 235663 edges, 87 markings/sec, 850 secs
lola: 1 tries, 73715 fired transitions, 855 secs || 73580 markings, 237289 edges, 91 markings/sec, 855 secs
lola: 1 tries, 74123 fired transitions, 860 secs || 73986 markings, 238711 edges, 81 markings/sec, 860 secs
lola: 1 tries, 74511 fired transitions, 865 secs || 74373 markings, 240179 edges, 77 markings/sec, 865 secs
lola: 1 tries, 74986 fired transitions, 870 secs || 74845 markings, 241859 edges, 94 markings/sec, 870 secs
lola: 1 tries, 75470 fired transitions, 875 secs || 75323 markings, 243598 edges, 96 markings/sec, 875 secs
lola: 1 tries, 75947 fired transitions, 880 secs || 75795 markings, 245128 edges, 94 markings/sec, 880 secs
lola: 1 tries, 76391 fired transitions, 885 secs || 76238 markings, 246642 edges, 89 markings/sec, 885 secs
lola: 1 tries, 76858 fired transitions, 890 secs || 76700 markings, 248205 edges, 92 markings/sec, 890 secs
lola: 1 tries, 77338 fired transitions, 895 secs || 77175 markings, 249818 edges, 95 markings/sec, 895 secs
lola: 1 tries, 77821 fired transitions, 900 secs || 77653 markings, 251490 edges, 96 markings/sec, 900 secs
lola: 1 tries, 78287 fired transitions, 905 secs || 78124 markings, 253099 edges, 94 markings/sec, 905 secs
lola: 1 tries, 78762 fired transitions, 910 secs || 78597 markings, 254715 edges, 95 markings/sec, 910 secs
lola: 1 tries, 79250 fired transitions, 915 secs || 79080 markings, 256375 edges, 97 markings/sec, 915 secs
lola: 1 tries, 79726 fired transitions, 920 secs || 79555 markings, 258074 edges, 95 markings/sec, 920 secs
lola: 1 tries, 80201 fired transitions, 925 secs || 80024 markings, 259673 edges, 94 markings/sec, 925 secs
lola: 1 tries, 80659 fired transitions, 930 secs || 80477 markings, 261225 edges, 91 markings/sec, 930 secs
lola: 1 tries, 81050 fired transitions, 935 secs || 80858 markings, 262559 edges, 76 markings/sec, 935 secs
lola: 1 tries, 81445 fired transitions, 940 secs || 81252 markings, 263872 edges, 79 markings/sec, 940 secs
lola: 1 tries, 81887 fired transitions, 945 secs || 81690 markings, 265220 edges, 88 markings/sec, 945 secs
lola: 1 tries, 82351 fired transitions, 950 secs || 82154 markings, 266904 edges, 93 markings/sec, 950 secs
lola: 1 tries, 82817 fired transitions, 955 secs || 82615 markings, 268609 edges, 92 markings/sec, 955 secs
lola: 1 tries, 83191 fired transitions, 960 secs || 82989 markings, 269972 edges, 75 markings/sec, 960 secs
lola: 1 tries, 83564 fired transitions, 965 secs || 83361 markings, 271382 edges, 74 markings/sec, 965 secs
lola: 1 tries, 83944 fired transitions, 970 secs || 83739 markings, 272742 edges, 76 markings/sec, 970 secs
lola: 1 tries, 84320 fired transitions, 975 secs || 84116 markings, 274133 edges, 75 markings/sec, 975 secs
lola: 1 tries, 84680 fired transitions, 980 secs || 84477 markings, 275458 edges, 72 markings/sec, 980 secs
lola: 1 tries, 85067 fired transitions, 985 secs || 84862 markings, 276850 edges, 77 markings/sec, 985 secs
lola: 1 tries, 85451 fired transitions, 990 secs || 85245 markings, 278226 edges, 77 markings/sec, 990 secs
lola: 1 tries, 85851 fired transitions, 995 secs || 85641 markings, 279687 edges, 79 markings/sec, 995 secs
lola: 1 tries, 86299 fired transitions, 1000 secs || 86083 markings, 281373 edges, 88 markings/sec, 1000 secs
lola: 1 tries, 86777 fired transitions, 1005 secs || 86556 markings, 283171 edges, 95 markings/sec, 1005 secs
lola: 1 tries, 87263 fired transitions, 1010 secs || 87038 markings, 284904 edges, 96 markings/sec, 1010 secs
lola: 1 tries, 87755 fired transitions, 1015 secs || 87523 markings, 286654 edges, 97 markings/sec, 1015 secs
lola: 1 tries, 88226 fired transitions, 1020 secs || 87995 markings, 288394 edges, 94 markings/sec, 1020 secs
lola: 1 tries, 88684 fired transitions, 1025 secs || 88456 markings, 289726 edges, 92 markings/sec, 1025 secs
lola: 1 tries, 89075 fired transitions, 1030 secs || 88841 markings, 291115 edges, 77 markings/sec, 1030 secs
lola: 1 tries, 89548 fired transitions, 1035 secs || 89314 markings, 292840 edges, 95 markings/sec, 1035 secs
lola: 1 tries, 90014 fired transitions, 1040 secs || 89776 markings, 294542 edges, 92 markings/sec, 1040 secs
lola: 1 tries, 90481 fired transitions, 1045 secs || 90239 markings, 296229 edges, 93 markings/sec, 1045 secs
lola: 1 tries, 90955 fired transitions, 1050 secs || 90708 markings, 297928 edges, 94 markings/sec, 1050 secs
lola: 1 tries, 91415 fired transitions, 1055 secs || 91170 markings, 299636 edges, 92 markings/sec, 1055 secs
lola: 1 tries, 91859 fired transitions, 1060 secs || 91613 markings, 301203 edges, 89 markings/sec, 1060 secs
lola: 1 tries, 92337 fired transitions, 1065 secs || 92087 markings, 302915 edges, 95 markings/sec, 1065 secs
lola: 1 tries, 92812 fired transitions, 1070 secs || 92557 markings, 304633 edges, 94 markings/sec, 1070 secs
lola: 1 tries, 93277 fired transitions, 1075 secs || 93022 markings, 306346 edges, 93 markings/sec, 1075 secs
lola: 1 tries, 93720 fired transitions, 1080 secs || 93464 markings, 307944 edges, 88 markings/sec, 1080 secs
lola: 1 tries, 94167 fired transitions, 1085 secs || 93909 markings, 309561 edges, 89 markings/sec, 1085 secs
lola: 1 tries, 94618 fired transitions, 1090 secs || 94356 markings, 311165 edges, 89 markings/sec, 1090 secs
lola: 1 tries, 95050 fired transitions, 1095 secs || 94791 markings, 312805 edges, 87 markings/sec, 1095 secs
lola: 1 tries, 95487 fired transitions, 1100 secs || 95221 markings, 314361 edges, 86 markings/sec, 1100 secs
lola: 1 tries, 95943 fired transitions, 1105 secs || 95673 markings, 315985 edges, 90 markings/sec, 1105 secs
lola: 1 tries, 96387 fired transitions, 1110 secs || 96105 markings, 317020 edges, 86 markings/sec, 1110 secs
lola: 1 tries, 96841 fired transitions, 1115 secs || 96549 markings, 318273 edges, 89 markings/sec, 1115 secs
lola: 1 tries, 97302 fired transitions, 1120 secs || 97000 markings, 319537 edges, 90 markings/sec, 1120 secs
lola: 1 tries, 97778 fired transitions, 1125 secs || 97463 markings, 320858 edges, 93 markings/sec, 1125 secs
lola: 1 tries, 98234 fired transitions, 1130 secs || 97915 markings, 322180 edges, 90 markings/sec, 1130 secs
lola: 1 tries, 98693 fired transitions, 1135 secs || 98369 markings, 323474 edges, 91 markings/sec, 1135 secs
lola: 1 tries, 99159 fired transitions, 1140 secs || 98817 markings, 324636 edges, 90 markings/sec, 1140 secs
lola: 1 tries, 99616 fired transitions, 1145 secs || 99261 markings, 325915 edges, 89 markings/sec, 1145 secs
lola: 1 tries, 100068 fired transitions, 1150 secs || 99707 markings, 327205 edges, 89 markings/sec, 1150 secs
lola: 1 tries, 100517 fired transitions, 1155 secs || 100142 markings, 328629 edges, 87 markings/sec, 1155 secs
lola: 1 tries, 100945 fired transitions, 1160 secs || 100558 markings, 330172 edges, 83 markings/sec, 1160 secs
lola: 1 tries, 101386 fired transitions, 1165 secs || 100989 markings, 331772 edges, 86 markings/sec, 1165 secs
lola: 1 tries, 101835 fired transitions, 1170 secs || 101427 markings, 333382 edges, 88 markings/sec, 1170 secs
lola: 1 tries, 102271 fired transitions, 1175 secs || 101852 markings, 334983 edges, 85 markings/sec, 1175 secs
lola: 1 tries, 102735 fired transitions, 1180 secs || 102299 markings, 336682 edges, 89 markings/sec, 1180 secs
lola: 1 tries, 103054 fired transitions, 1185 secs || 102582 markings, 337806 edges, 57 markings/sec, 1185 secs
lola: 1 tries, 103277 fired transitions, 1190 secs || 102799 markings, 338578 edges, 43 markings/sec, 1190 secs
lola: 1 tries, 103681 fired transitions, 1195 secs || 103193 markings, 340113 edges, 79 markings/sec, 1195 secs
lola: 1 tries, 104130 fired transitions, 1200 secs || 103630 markings, 341724 edges, 87 markings/sec, 1200 secs
lola: 1 tries, 104559 fired transitions, 1205 secs || 104056 markings, 343347 edges, 85 markings/sec, 1205 secs
lola: 1 tries, 104934 fired transitions, 1210 secs || 104431 markings, 344718 edges, 75 markings/sec, 1210 secs
lola: 1 tries, 105334 fired transitions, 1215 secs || 104831 markings, 346218 edges, 80 markings/sec, 1215 secs
lola: 1 tries, 105758 fired transitions, 1220 secs || 105255 markings, 347772 edges, 85 markings/sec, 1220 secs
lola: 1 tries, 106205 fired transitions, 1225 secs || 105700 markings, 349362 edges, 89 markings/sec, 1225 secs
lola: 1 tries, 106631 fired transitions, 1230 secs || 106126 markings, 350974 edges, 85 markings/sec, 1230 secs
lola: 1 tries, 107062 fired transitions, 1235 secs || 106559 markings, 352618 edges, 87 markings/sec, 1235 secs
lola: 1 tries, 107493 fired transitions, 1240 secs || 106987 markings, 354064 edges, 86 markings/sec, 1240 secs
lola: 1 tries, 107927 fired transitions, 1245 secs || 107419 markings, 355750 edges, 86 markings/sec, 1245 secs
lola: 1 tries, 108322 fired transitions, 1250 secs || 107829 markings, 357350 edges, 82 markings/sec, 1250 secs
lola: 1 tries, 108754 fired transitions, 1255 secs || 108260 markings, 358806 edges, 86 markings/sec, 1255 secs
lola: 1 tries, 109189 fired transitions, 1260 secs || 108695 markings, 360382 edges, 87 markings/sec, 1260 secs
lola: 1 tries, 109628 fired transitions, 1265 secs || 109127 markings, 361986 edges, 86 markings/sec, 1265 secs
lola: 1 tries, 110053 fired transitions, 1270 secs || 109552 markings, 363425 edges, 85 markings/sec, 1270 secs
lola: 1 tries, 110481 fired transitions, 1275 secs || 109977 markings, 365025 edges, 85 markings/sec, 1275 secs
lola: 1 tries, 110923 fired transitions, 1280 secs || 110413 markings, 366665 edges, 87 markings/sec, 1280 secs
lola: 1 tries, 111340 fired transitions, 1285 secs || 110824 markings, 368056 edges, 82 markings/sec, 1285 secs
lola: 1 tries, 111736 fired transitions, 1290 secs || 111221 markings, 369587 edges, 79 markings/sec, 1290 secs
lola: 1 tries, 112142 fired transitions, 1295 secs || 111626 markings, 371129 edges, 81 markings/sec, 1295 secs
lola: 1 tries, 112573 fired transitions, 1300 secs || 112056 markings, 372732 edges, 86 markings/sec, 1300 secs
lola: 1 tries, 113005 fired transitions, 1305 secs || 112483 markings, 374401 edges, 85 markings/sec, 1305 secs
lola: 1 tries, 113438 fired transitions, 1310 secs || 112917 markings, 376014 edges, 87 markings/sec, 1310 secs
lola: 1 tries, 113885 fired transitions, 1315 secs || 113359 markings, 377506 edges, 88 markings/sec, 1315 secs
lola: 1 tries, 114343 fired transitions, 1320 secs || 113815 markings, 379206 edges, 91 markings/sec, 1320 secs
lola: 1 tries, 114817 fired transitions, 1325 secs || 114284 markings, 380987 edges, 94 markings/sec, 1325 secs
lola: 1 tries, 115203 fired transitions, 1330 secs || 114671 markings, 382451 edges, 77 markings/sec, 1330 secs
lola: 1 tries, 115634 fired transitions, 1335 secs || 115100 markings, 383968 edges, 86 markings/sec, 1335 secs
lola: 1 tries, 116104 fired transitions, 1340 secs || 115569 markings, 385685 edges, 94 markings/sec, 1340 secs
lola: 1 tries, 116569 fired transitions, 1345 secs || 116030 markings, 387494 edges, 92 markings/sec, 1345 secs
lola: 1 tries, 117035 fired transitions, 1350 secs || 116492 markings, 389272 edges, 92 markings/sec, 1350 secs
lola: 1 tries, 117507 fired transitions, 1355 secs || 116960 markings, 391059 edges, 94 markings/sec, 1355 secs
lola: 1 tries, 117966 fired transitions, 1360 secs || 117414 markings, 392577 edges, 91 markings/sec, 1360 secs
lola: 1 tries, 118398 fired transitions, 1365 secs || 117846 markings, 394211 edges, 86 markings/sec, 1365 secs
lola: 1 tries, 118826 fired transitions, 1370 secs || 118271 markings, 395786 edges, 85 markings/sec, 1370 secs
lola: 1 tries, 119278 fired transitions, 1375 secs || 118721 markings, 397515 edges, 90 markings/sec, 1375 secs
lola: 1 tries, 119739 fired transitions, 1380 secs || 119178 markings, 399055 edges, 91 markings/sec, 1380 secs
lola: 1 tries, 120188 fired transitions, 1385 secs || 119630 markings, 400813 edges, 90 markings/sec, 1385 secs
lola: 1 tries, 120665 fired transitions, 1390 secs || 120106 markings, 402656 edges, 95 markings/sec, 1390 secs
lola: 1 tries, 121134 fired transitions, 1395 secs || 120571 markings, 404426 edges, 93 markings/sec, 1395 secs
lola: 1 tries, 121601 fired transitions, 1400 secs || 121031 markings, 406146 edges, 92 markings/sec, 1400 secs
lola: 1 tries, 122060 fired transitions, 1405 secs || 121488 markings, 407728 edges, 91 markings/sec, 1405 secs
lola: 1 tries, 122519 fired transitions, 1410 secs || 121942 markings, 409479 edges, 91 markings/sec, 1410 secs
lola: 1 tries, 122985 fired transitions, 1415 secs || 122403 markings, 411238 edges, 92 markings/sec, 1415 secs
lola: 1 tries, 123445 fired transitions, 1420 secs || 122860 markings, 413010 edges, 91 markings/sec, 1420 secs
lola: 1 tries, 123899 fired transitions, 1425 secs || 123311 markings, 414507 edges, 90 markings/sec, 1425 secs
lola: 1 tries, 124356 fired transitions, 1430 secs || 123766 markings, 416247 edges, 91 markings/sec, 1430 secs
lola: 1 tries, 124813 fired transitions, 1435 secs || 124219 markings, 417987 edges, 91 markings/sec, 1435 secs
lola: 1 tries, 125256 fired transitions, 1440 secs || 124661 markings, 419662 edges, 88 markings/sec, 1440 secs
lola: 1 tries, 125711 fired transitions, 1445 secs || 125115 markings, 421365 edges, 91 markings/sec, 1445 secs
lola: 1 tries, 126162 fired transitions, 1450 secs || 125560 markings, 423000 edges, 89 markings/sec, 1450 secs
lola: 1 tries, 126589 fired transitions, 1455 secs || 125977 markings, 424489 edges, 83 markings/sec, 1455 secs
lola: 1 tries, 127040 fired transitions, 1460 secs || 126427 markings, 426210 edges, 90 markings/sec, 1460 secs
lola: 1 tries, 127493 fired transitions, 1465 secs || 126878 markings, 427914 edges, 90 markings/sec, 1465 secs
lola: 1 tries, 127950 fired transitions, 1470 secs || 127326 markings, 429642 edges, 90 markings/sec, 1470 secs
lola: 1 tries, 128398 fired transitions, 1475 secs || 127769 markings, 431326 edges, 89 markings/sec, 1475 secs
lola: 1 tries, 128820 fired transitions, 1480 secs || 128187 markings, 432908 edges, 84 markings/sec, 1480 secs
lola: 1 tries, 129241 fired transitions, 1485 secs || 128604 markings, 434489 edges, 83 markings/sec, 1485 secs
lola: 1 tries, 129655 fired transitions, 1490 secs || 129011 markings, 435819 edges, 81 markings/sec, 1490 secs
lola: 1 tries, 130076 fired transitions, 1495 secs || 129431 markings, 437423 edges, 84 markings/sec, 1495 secs
lola: 1 tries, 130493 fired transitions, 1500 secs || 129842 markings, 438942 edges, 82 markings/sec, 1500 secs
lola: 1 tries, 130908 fired transitions, 1505 secs || 130253 markings, 440543 edges, 82 markings/sec, 1505 secs
lola: 1 tries, 131328 fired transitions, 1510 secs || 130666 markings, 442089 edges, 83 markings/sec, 1510 secs
lola: 1 tries, 131580 fired transitions, 1515 secs || 130891 markings, 442992 edges, 45 markings/sec, 1515 secs
lola: 1 tries, 131799 fired transitions, 1520 secs || 131103 markings, 443802 edges, 42 markings/sec, 1520 secs
lola: 1 tries, 132229 fired transitions, 1525 secs || 131534 markings, 445366 edges, 86 markings/sec, 1525 secs
lola: 1 tries, 132615 fired transitions, 1530 secs || 131917 markings, 446686 edges, 77 markings/sec, 1530 secs
lola: 1 tries, 133016 fired transitions, 1535 secs || 132314 markings, 448165 edges, 79 markings/sec, 1535 secs
lola: 1 tries, 133436 fired transitions, 1540 secs || 132736 markings, 449746 edges, 84 markings/sec, 1540 secs
lola: 1 tries, 133882 fired transitions, 1545 secs || 133180 markings, 451401 edges, 89 markings/sec, 1545 secs
lola: 1 tries, 134325 fired transitions, 1550 secs || 133620 markings, 452996 edges, 88 markings/sec, 1550 secs
lola: 1 tries, 134752 fired transitions, 1555 secs || 134041 markings, 454539 edges, 84 markings/sec, 1555 secs
lola: 1 tries, 135165 fired transitions, 1560 secs || 134442 markings, 455860 edges, 80 markings/sec, 1560 secs
lola: 1 tries, 135600 fired transitions, 1565 secs || 134871 markings, 457503 edges, 86 markings/sec, 1565 secs
lola: 1 tries, 136033 fired transitions, 1570 secs || 135303 markings, 459185 edges, 86 markings/sec, 1570 secs
lola: 1 tries, 136460 fired transitions, 1575 secs || 135727 markings, 460791 edges, 85 markings/sec, 1575 secs
lola: 1 tries, 136886 fired transitions, 1580 secs || 136152 markings, 462439 edges, 85 markings/sec, 1580 secs
lola: 1 tries, 137302 fired transitions, 1585 secs || 136565 markings, 464025 edges, 83 markings/sec, 1585 secs
lola: 1 tries, 137719 fired transitions, 1590 secs || 136979 markings, 465621 edges, 83 markings/sec, 1590 secs
lola: 1 tries, 138129 fired transitions, 1595 secs || 137385 markings, 466943 edges, 81 markings/sec, 1595 secs
lola: 1 tries, 138553 fired transitions, 1600 secs || 137809 markings, 468562 edges, 85 markings/sec, 1600 secs
lola: 1 tries, 138925 fired transitions, 1605 secs || 138190 markings, 470015 edges, 76 markings/sec, 1605 secs
lola: 1 tries, 139326 fired transitions, 1610 secs || 138611 markings, 471623 edges, 84 markings/sec, 1610 secs
lola: 1 tries, 139743 fired transitions, 1615 secs || 138995 markings, 473090 edges, 77 markings/sec, 1615 secs
lola: 1 tries, 140091 fired transitions, 1620 secs || 139309 markings, 474303 edges, 63 markings/sec, 1620 secs
lola: 1 tries, 140538 fired transitions, 1625 secs || 139750 markings, 476011 edges, 88 markings/sec, 1625 secs
lola: 1 tries, 140989 fired transitions, 1630 secs || 140196 markings, 477403 edges, 89 markings/sec, 1630 secs
lola: 1 tries, 141423 fired transitions, 1635 secs || 140624 markings, 478625 edges, 86 markings/sec, 1635 secs
lola: 1 tries, 141744 fired transitions, 1640 secs || 140914 markings, 479456 edges, 58 markings/sec, 1640 secs
lola: 1 tries, 142186 fired transitions, 1645 secs || 141355 markings, 480701 edges, 88 markings/sec, 1645 secs
lola: 1 tries, 142632 fired transitions, 1650 secs || 141799 markings, 481966 edges, 89 markings/sec, 1650 secs
lola: 1 tries, 143093 fired transitions, 1655 secs || 142253 markings, 483269 edges, 91 markings/sec, 1655 secs
lola: 1 tries, 143543 fired transitions, 1660 secs || 142705 markings, 484549 edges, 90 markings/sec, 1660 secs
lola: 1 tries, 143979 fired transitions, 1665 secs || 143129 markings, 485756 edges, 85 markings/sec, 1665 secs
lola: 1 tries, 144423 fired transitions, 1670 secs || 143572 markings, 487331 edges, 89 markings/sec, 1670 secs
lola: 1 tries, 144851 fired transitions, 1675 secs || 143999 markings, 488939 edges, 85 markings/sec, 1675 secs
lola: 1 tries, 145272 fired transitions, 1680 secs || 144419 markings, 490488 edges, 84 markings/sec, 1680 secs
lola: 1 tries, 145709 fired transitions, 1685 secs || 144852 markings, 492112 edges, 87 markings/sec, 1685 secs
lola: 1 tries, 146106 fired transitions, 1690 secs || 145246 markings, 493520 edges, 79 markings/sec, 1690 secs
lola: 1 tries, 146568 fired transitions, 1695 secs || 145703 markings, 495181 edges, 91 markings/sec, 1695 secs
lola: 1 tries, 147028 fired transitions, 1700 secs || 146163 markings, 496894 edges, 92 markings/sec, 1700 secs
lola: 1 tries, 147482 fired transitions, 1705 secs || 146613 markings, 498620 edges, 90 markings/sec, 1705 secs
lola: 1 tries, 147939 fired transitions, 1710 secs || 147068 markings, 500320 edges, 91 markings/sec, 1710 secs
lola: 1 tries, 148390 fired transitions, 1715 secs || 147520 markings, 502005 edges, 90 markings/sec, 1715 secs
lola: 1 tries, 148817 fired transitions, 1720 secs || 147949 markings, 503686 edges, 86 markings/sec, 1720 secs
lola: 1 tries, 149254 fired transitions, 1725 secs || 148384 markings, 505282 edges, 87 markings/sec, 1725 secs
lola: 1 tries, 149712 fired transitions, 1730 secs || 148841 markings, 506993 edges, 91 markings/sec, 1730 secs
lola: 1 tries, 150168 fired transitions, 1735 secs || 149297 markings, 508759 edges, 91 markings/sec, 1735 secs
lola: 1 tries, 150625 fired transitions, 1740 secs || 149752 markings, 510449 edges, 91 markings/sec, 1740 secs
lola: 1 tries, 151085 fired transitions, 1745 secs || 150210 markings, 512114 edges, 92 markings/sec, 1745 secs
lola: 1 tries, 151532 fired transitions, 1750 secs || 150653 markings, 513763 edges, 89 markings/sec, 1750 secs
lola: 1 tries, 151964 fired transitions, 1755 secs || 151079 markings, 515403 edges, 85 markings/sec, 1755 secs
lola: 1 tries, 152395 fired transitions, 1760 secs || 151508 markings, 517055 edges, 86 markings/sec, 1760 secs
lola: 1 tries, 152825 fired transitions, 1765 secs || 151933 markings, 518615 edges, 85 markings/sec, 1765 secs
lola: 1 tries, 153257 fired transitions, 1770 secs || 152355 markings, 520170 edges, 84 markings/sec, 1770 secs
lola: 1 tries, 153710 fired transitions, 1775 secs || 152804 markings, 521918 edges, 90 markings/sec, 1775 secs
lola: 1 tries, 154165 fired transitions, 1780 secs || 153256 markings, 523607 edges, 90 markings/sec, 1780 secs
lola: 1 tries, 154611 fired transitions, 1785 secs || 153697 markings, 525223 edges, 88 markings/sec, 1785 secs
lola: 1 tries, 155048 fired transitions, 1790 secs || 154131 markings, 526922 edges, 87 markings/sec, 1790 secs
lola: 1 tries, 155506 fired transitions, 1795 secs || 154582 markings, 528640 edges, 90 markings/sec, 1795 secs
lola: 1 tries, 155959 fired transitions, 1800 secs || 155035 markings, 530327 edges, 91 markings/sec, 1800 secs
lola: 1 tries, 156396 fired transitions, 1805 secs || 155470 markings, 531995 edges, 87 markings/sec, 1805 secs
lola: 1 tries, 156828 fired transitions, 1810 secs || 155897 markings, 533603 edges, 85 markings/sec, 1810 secs
lola: 1 tries, 157272 fired transitions, 1815 secs || 156337 markings, 535216 edges, 88 markings/sec, 1815 secs
lola: 1 tries, 157718 fired transitions, 1820 secs || 156781 markings, 536921 edges, 89 markings/sec, 1820 secs
lola: 1 tries, 158141 fired transitions, 1825 secs || 157202 markings, 538477 edges, 84 markings/sec, 1825 secs
lola: 1 tries, 158577 fired transitions, 1830 secs || 157631 markings, 540101 edges, 86 markings/sec, 1830 secs
lola: 1 tries, 158995 fired transitions, 1835 secs || 158049 markings, 541677 edges, 84 markings/sec, 1835 secs
lola: 1 tries, 159418 fired transitions, 1840 secs || 158471 markings, 543258 edges, 84 markings/sec, 1840 secs
lola: 1 tries, 159876 fired transitions, 1845 secs || 158918 markings, 545034 edges, 89 markings/sec, 1845 secs
lola: 1 tries, 160292 fired transitions, 1850 secs || 159337 markings, 546635 edges, 84 markings/sec, 1850 secs
lola: 1 tries, 160710 fired transitions, 1855 secs || 159753 markings, 548253 edges, 83 markings/sec, 1855 secs
lola: 1 tries, 161132 fired transitions, 1860 secs || 160170 markings, 549848 edges, 83 markings/sec, 1860 secs
lola: 1 tries, 161580 fired transitions, 1865 secs || 160612 markings, 551519 edges, 88 markings/sec, 1865 secs
lola: 1 tries, 162020 fired transitions, 1870 secs || 161050 markings, 553234 edges, 88 markings/sec, 1870 secs
lola: 1 tries, 162476 fired transitions, 1875 secs || 161504 markings, 554965 edges, 91 markings/sec, 1875 secs
lola: 1 tries, 162933 fired transitions, 1880 secs || 161959 markings, 556726 edges, 91 markings/sec, 1880 secs
lola: 1 tries, 163385 fired transitions, 1885 secs || 162404 markings, 558408 edges, 89 markings/sec, 1885 secs
lola: 1 tries, 163809 fired transitions, 1890 secs || 162827 markings, 560049 edges, 85 markings/sec, 1890 secs
lola: 1 tries, 164248 fired transitions, 1895 secs || 163262 markings, 561699 edges, 87 markings/sec, 1895 secs
lola: 1 tries, 164692 fired transitions, 1900 secs || 163690 markings, 563381 edges, 86 markings/sec, 1900 secs
lola: 1 tries, 165133 fired transitions, 1905 secs || 164129 markings, 565074 edges, 88 markings/sec, 1905 secs
lola: 1 tries, 165571 fired transitions, 1910 secs || 164566 markings, 566685 edges, 87 markings/sec, 1910 secs
lola: 1 tries, 166019 fired transitions, 1915 secs || 165011 markings, 568392 edges, 89 markings/sec, 1915 secs
lola: 1 tries, 166449 fired transitions, 1920 secs || 165436 markings, 569996 edges, 85 markings/sec, 1920 secs
lola: 1 tries, 166842 fired transitions, 1925 secs || 165831 markings, 571527 edges, 79 markings/sec, 1925 secs
lola: 1 tries, 167225 fired transitions, 1930 secs || 166214 markings, 572990 edges, 77 markings/sec, 1930 secs
lola: 1 tries, 167645 fired transitions, 1935 secs || 166631 markings, 574579 edges, 83 markings/sec, 1935 secs
lola: 1 tries, 168053 fired transitions, 1940 secs || 167036 markings, 576147 edges, 81 markings/sec, 1940 secs
lola: 1 tries, 168475 fired transitions, 1945 secs || 167453 markings, 577731 edges, 83 markings/sec, 1945 secs
lola: 1 tries, 168850 fired transitions, 1950 secs || 167840 markings, 579245 edges, 77 markings/sec, 1950 secs
lola: 1 tries, 169256 fired transitions, 1955 secs || 168247 markings, 580788 edges, 81 markings/sec, 1955 secs
lola: 1 tries, 169666 fired transitions, 1960 secs || 168655 markings, 582303 edges, 82 markings/sec, 1960 secs
lola: 1 tries, 170094 fired transitions, 1965 secs || 169075 markings, 583946 edges, 84 markings/sec, 1965 secs
lola: 1 tries, 170490 fired transitions, 1970 secs || 169469 markings, 585434 edges, 79 markings/sec, 1970 secs
lola: 1 tries, 170906 fired transitions, 1975 secs || 169880 markings, 586977 edges, 82 markings/sec, 1975 secs
lola: 1 tries, 171304 fired transitions, 1980 secs || 170278 markings, 588512 edges, 80 markings/sec, 1980 secs
lola: 1 tries, 171710 fired transitions, 1985 secs || 170680 markings, 589996 edges, 80 markings/sec, 1985 secs
lola: 1 tries, 172096 fired transitions, 1990 secs || 171064 markings, 591448 edges, 77 markings/sec, 1990 secs
lola: 1 tries, 172491 fired transitions, 1995 secs || 171455 markings, 592967 edges, 78 markings/sec, 1995 secs
lola: 1 tries, 172866 fired transitions, 2000 secs || 171830 markings, 594379 edges, 75 markings/sec, 2000 secs
lola: 1 tries, 173235 fired transitions, 2005 secs || 172196 markings, 595775 edges, 73 markings/sec, 2005 secs
lola: 1 tries, 173603 fired transitions, 2010 secs || 172561 markings, 597170 edges, 73 markings/sec, 2010 secs
lola: 1 tries, 173963 fired transitions, 2015 secs || 172920 markings, 598543 edges, 72 markings/sec, 2015 secs
lola: 1 tries, 174356 fired transitions, 2020 secs || 173284 markings, 599942 edges, 73 markings/sec, 2020 secs
lola: 1 tries, 174731 fired transitions, 2025 secs || 173655 markings, 601361 edges, 74 markings/sec, 2025 secs
lola: 1 tries, 175122 fired transitions, 2030 secs || 174034 markings, 602794 edges, 76 markings/sec, 2030 secs
lola: 1 tries, 175503 fired transitions, 2035 secs || 174411 markings, 604228 edges, 75 markings/sec, 2035 secs
lola: 1 tries, 175881 fired transitions, 2040 secs || 174789 markings, 605310 edges, 76 markings/sec, 2040 secs
lola: 1 tries, 176251 fired transitions, 2045 secs || 175157 markings, 606646 edges, 74 markings/sec, 2045 secs
lola: 1 tries, 176617 fired transitions, 2050 secs || 175520 markings, 608100 edges, 73 markings/sec, 2050 secs
lola: 1 tries, 176982 fired transitions, 2055 secs || 175881 markings, 609462 edges, 72 markings/sec, 2055 secs
lola: 1 tries, 177338 fired transitions, 2060 secs || 176236 markings, 610776 edges, 71 markings/sec, 2060 secs
lola: 1 tries, 177714 fired transitions, 2065 secs || 176610 markings, 612186 edges, 75 markings/sec, 2065 secs
lola: 1 tries, 178087 fired transitions, 2070 secs || 176982 markings, 613569 edges, 74 markings/sec, 2070 secs
lola: 1 tries, 178452 fired transitions, 2075 secs || 177344 markings, 614900 edges, 72 markings/sec, 2075 secs
lola: 1 tries, 178826 fired transitions, 2080 secs || 177716 markings, 616253 edges, 74 markings/sec, 2080 secs
lola: 1 tries, 179201 fired transitions, 2085 secs || 178088 markings, 617691 edges, 74 markings/sec, 2085 secs
lola: 1 tries, 179568 fired transitions, 2090 secs || 178454 markings, 619025 edges, 73 markings/sec, 2090 secs
lola: 1 tries, 179928 fired transitions, 2095 secs || 178814 markings, 620349 edges, 72 markings/sec, 2095 secs
lola: 1 tries, 180288 fired transitions, 2100 secs || 179172 markings, 621646 edges, 72 markings/sec, 2100 secs
lola: 1 tries, 180635 fired transitions, 2105 secs || 179519 markings, 622983 edges, 69 markings/sec, 2105 secs
lola: 1 tries, 180990 fired transitions, 2110 secs || 179871 markings, 624295 edges, 70 markings/sec, 2110 secs
lola: 1 tries, 181346 fired transitions, 2115 secs || 180227 markings, 625663 edges, 71 markings/sec, 2115 secs
lola: 1 tries, 181707 fired transitions, 2120 secs || 180586 markings, 626983 edges, 72 markings/sec, 2120 secs
lola: 1 tries, 182060 fired transitions, 2125 secs || 180939 markings, 628367 edges, 71 markings/sec, 2125 secs
lola: 1 tries, 182408 fired transitions, 2130 secs || 181284 markings, 629616 edges, 69 markings/sec, 2130 secs
lola: 1 tries, 182773 fired transitions, 2135 secs || 181643 markings, 630932 edges, 72 markings/sec, 2135 secs
lola: 1 tries, 183130 fired transitions, 2140 secs || 181997 markings, 632216 edges, 71 markings/sec, 2140 secs
lola: 1 tries, 183492 fired transitions, 2145 secs || 182356 markings, 633493 edges, 72 markings/sec, 2145 secs
lola: 1 tries, 183851 fired transitions, 2150 secs || 182714 markings, 634879 edges, 72 markings/sec, 2150 secs
lola: 1 tries, 184209 fired transitions, 2155 secs || 183072 markings, 636173 edges, 72 markings/sec, 2155 secs
lola: 1 tries, 184572 fired transitions, 2160 secs || 183431 markings, 637550 edges, 72 markings/sec, 2160 secs
lola: 1 tries, 184938 fired transitions, 2165 secs || 183797 markings, 638864 edges, 73 markings/sec, 2165 secs
lola: 1 tries, 185305 fired transitions, 2170 secs || 184161 markings, 640255 edges, 73 markings/sec, 2170 secs
lola: 1 tries, 185664 fired transitions, 2175 secs || 184520 markings, 641589 edges, 72 markings/sec, 2175 secs
lola: 1 tries, 186017 fired transitions, 2180 secs || 184870 markings, 642896 edges, 70 markings/sec, 2180 secs
lola: 1 tries, 186365 fired transitions, 2185 secs || 185213 markings, 644140 edges, 69 markings/sec, 2185 secs
lola: 1 tries, 186717 fired transitions, 2190 secs || 185552 markings, 645463 edges, 68 markings/sec, 2190 secs
lola: 1 tries, 187064 fired transitions, 2195 secs || 185892 markings, 646680 edges, 68 markings/sec, 2195 secs
lola: 1 tries, 187400 fired transitions, 2200 secs || 186227 markings, 647946 edges, 67 markings/sec, 2200 secs
lola: 1 tries, 187750 fired transitions, 2205 secs || 186571 markings, 649190 edges, 69 markings/sec, 2205 secs
lola: 1 tries, 188098 fired transitions, 2210 secs || 186917 markings, 650513 edges, 69 markings/sec, 2210 secs
lola: 1 tries, 188456 fired transitions, 2215 secs || 187267 markings, 651787 edges, 70 markings/sec, 2215 secs
lola: 1 tries, 188825 fired transitions, 2220 secs || 187630 markings, 653169 edges, 73 markings/sec, 2220 secs
lola: 1 tries, 189205 fired transitions, 2225 secs || 188010 markings, 654563 edges, 76 markings/sec, 2225 secs
lola: 1 tries, 189662 fired transitions, 2230 secs || 188460 markings, 656273 edges, 90 markings/sec, 2230 secs
lola: 1 tries, 190114 fired transitions, 2235 secs || 188904 markings, 657928 edges, 89 markings/sec, 2235 secs
lola: 1 tries, 190550 fired transitions, 2240 secs || 189337 markings, 659554 edges, 87 markings/sec, 2240 secs
lola: 1 tries, 190965 fired transitions, 2245 secs || 189750 markings, 661162 edges, 83 markings/sec, 2245 secs
lola: 1 tries, 191339 fired transitions, 2250 secs || 190121 markings, 662408 edges, 74 markings/sec, 2250 secs
lola: 1 tries, 191702 fired transitions, 2255 secs || 190484 markings, 664154 edges, 73 markings/sec, 2255 secs
lola: 1 tries, 192065 fired transitions, 2260 secs || 190846 markings, 665742 edges, 72 markings/sec, 2260 secs
lola: 1 tries, 192417 fired transitions, 2265 secs || 191198 markings, 667300 edges, 70 markings/sec, 2265 secs
lola: 1 tries, 192776 fired transitions, 2270 secs || 191556 markings, 668933 edges, 72 markings/sec, 2270 secs
lola: 1 tries, 193135 fired transitions, 2275 secs || 191913 markings, 670467 edges, 71 markings/sec, 2275 secs
lola: 1 tries, 193502 fired transitions, 2280 secs || 192278 markings, 672024 edges, 73 markings/sec, 2280 secs
lola: 1 tries, 193858 fired transitions, 2285 secs || 192633 markings, 673580 edges, 71 markings/sec, 2285 secs
lola: 1 tries, 194211 fired transitions, 2290 secs || 192985 markings, 675190 edges, 70 markings/sec, 2290 secs
lola: 1 tries, 194564 fired transitions, 2295 secs || 193337 markings, 676798 edges, 70 markings/sec, 2295 secs
lola: 1 tries, 194920 fired transitions, 2300 secs || 193692 markings, 678347 edges, 71 markings/sec, 2300 secs
lola: 1 tries, 195281 fired transitions, 2305 secs || 194047 markings, 679941 edges, 71 markings/sec, 2305 secs
lola: 1 tries, 195629 fired transitions, 2310 secs || 194395 markings, 681575 edges, 70 markings/sec, 2310 secs
lola: 1 tries, 195997 fired transitions, 2315 secs || 194763 markings, 683268 edges, 74 markings/sec, 2315 secs
lola: 1 tries, 196390 fired transitions, 2320 secs || 195154 markings, 685151 edges, 78 markings/sec, 2320 secs
lola: 1 tries, 196792 fired transitions, 2325 secs || 195553 markings, 687031 edges, 80 markings/sec, 2325 secs
lola: 1 tries, 197198 fired transitions, 2330 secs || 195959 markings, 688876 edges, 81 markings/sec, 2330 secs
lola: 1 tries, 197597 fired transitions, 2335 secs || 196358 markings, 690785 edges, 80 markings/sec, 2335 secs
lola: 1 tries, 197990 fired transitions, 2340 secs || 196747 markings, 692519 edges, 78 markings/sec, 2340 secs
lola: 1 tries, 198377 fired transitions, 2345 secs || 197134 markings, 694333 edges, 77 markings/sec, 2345 secs
lola: 1 tries, 198772 fired transitions, 2350 secs || 197525 markings, 696204 edges, 78 markings/sec, 2350 secs
lola: 1 tries, 199164 fired transitions, 2355 secs || 197918 markings, 698033 edges, 79 markings/sec, 2355 secs
lola: 1 tries, 199588 fired transitions, 2360 secs || 198340 markings, 700044 edges, 84 markings/sec, 2360 secs
lola: 1 tries, 200005 fired transitions, 2365 secs || 198756 markings, 701953 edges, 83 markings/sec, 2365 secs
lola: 1 tries, 200414 fired transitions, 2370 secs || 199164 markings, 703917 edges, 82 markings/sec, 2370 secs
lola: 1 tries, 200807 fired transitions, 2375 secs || 199557 markings, 705784 edges, 79 markings/sec, 2375 secs
lola: 1 tries, 201215 fired transitions, 2380 secs || 199964 markings, 707682 edges, 81 markings/sec, 2380 secs
lola: 1 tries, 201634 fired transitions, 2385 secs || 200382 markings, 709700 edges, 84 markings/sec, 2385 secs
lola: 1 tries, 202044 fired transitions, 2390 secs || 200792 markings, 711633 edges, 82 markings/sec, 2390 secs
lola: 1 tries, 202442 fired transitions, 2395 secs || 201190 markings, 713553 edges, 80 markings/sec, 2395 secs
lola: 1 tries, 202844 fired transitions, 2400 secs || 201592 markings, 715291 edges, 80 markings/sec, 2400 secs
lola: 1 tries, 203275 fired transitions, 2405 secs || 202020 markings, 717281 edges, 86 markings/sec, 2405 secs
lola: 1 tries, 203675 fired transitions, 2410 secs || 202416 markings, 719114 edges, 79 markings/sec, 2410 secs
lola: 1 tries, 204110 fired transitions, 2415 secs || 202849 markings, 721199 edges, 87 markings/sec, 2415 secs
lola: 1 tries, 204556 fired transitions, 2420 secs || 203292 markings, 723295 edges, 89 markings/sec, 2420 secs
lola: 1 tries, 205002 fired transitions, 2425 secs || 203735 markings, 725419 edges, 89 markings/sec, 2425 secs
lola: 1 tries, 205435 fired transitions, 2430 secs || 204166 markings, 727479 edges, 86 markings/sec, 2430 secs
lola: 1 tries, 205863 fired transitions, 2435 secs || 204594 markings, 729404 edges, 86 markings/sec, 2435 secs
lola: 1 tries, 206288 fired transitions, 2440 secs || 205019 markings, 731351 edges, 85 markings/sec, 2440 secs
lola: 1 tries, 206700 fired transitions, 2445 secs || 205430 markings, 733208 edges, 82 markings/sec, 2445 secs
lola: 1 tries, 207113 fired transitions, 2450 secs || 205841 markings, 735162 edges, 82 markings/sec, 2450 secs
lola: 1 tries, 207509 fired transitions, 2455 secs || 206237 markings, 737102 edges, 79 markings/sec, 2455 secs
lola: 1 tries, 207904 fired transitions, 2460 secs || 206630 markings, 739007 edges, 79 markings/sec, 2460 secs
lola: 1 tries, 208316 fired transitions, 2465 secs || 207039 markings, 740918 edges, 82 markings/sec, 2465 secs
lola: 1 tries, 208727 fired transitions, 2470 secs || 207448 markings, 742934 edges, 82 markings/sec, 2470 secs
lola: 1 tries, 209118 fired transitions, 2475 secs || 207838 markings, 744646 edges, 78 markings/sec, 2475 secs
lola: 1 tries, 209503 fired transitions, 2480 secs || 208222 markings, 746432 edges, 77 markings/sec, 2480 secs
lola: 1 tries, 209891 fired transitions, 2485 secs || 208608 markings, 748246 edges, 77 markings/sec, 2485 secs
lola: 1 tries, 210280 fired transitions, 2490 secs || 208996 markings, 750073 edges, 78 markings/sec, 2490 secs
lola: 1 tries, 210679 fired transitions, 2495 secs || 209393 markings, 752056 edges, 79 markings/sec, 2495 secs
lola: 1 tries, 211070 fired transitions, 2500 secs || 209782 markings, 753863 edges, 78 markings/sec, 2500 secs
lola: 1 tries, 211469 fired transitions, 2505 secs || 210179 markings, 755734 edges, 79 markings/sec, 2505 secs
lola: 1 tries, 211895 fired transitions, 2510 secs || 210604 markings, 757821 edges, 85 markings/sec, 2510 secs
lola: 1 tries, 212334 fired transitions, 2515 secs || 211041 markings, 759742 edges, 87 markings/sec, 2515 secs
lola: 1 tries, 212767 fired transitions, 2520 secs || 211472 markings, 761750 edges, 86 markings/sec, 2520 secs
lola: 1 tries, 213203 fired transitions, 2525 secs || 211907 markings, 763815 edges, 87 markings/sec, 2525 secs
lola: 1 tries, 213632 fired transitions, 2530 secs || 212334 markings, 765883 edges, 85 markings/sec, 2530 secs
lola: 1 tries, 214064 fired transitions, 2535 secs || 212766 markings, 767981 edges, 86 markings/sec, 2535 secs
lola: 1 tries, 214489 fired transitions, 2540 secs || 213190 markings, 769991 edges, 85 markings/sec, 2540 secs
lola: 1 tries, 214920 fired transitions, 2545 secs || 213622 markings, 772084 edges, 86 markings/sec, 2545 secs
lola: 1 tries, 215325 fired transitions, 2550 secs || 214024 markings, 773795 edges, 80 markings/sec, 2550 secs
lola: 1 tries, 215729 fired transitions, 2555 secs || 214426 markings, 775681 edges, 80 markings/sec, 2555 secs
lola: 1 tries, 216138 fired transitions, 2560 secs || 214833 markings, 777574 edges, 81 markings/sec, 2560 secs
lola: 1 tries, 216552 fired transitions, 2565 secs || 215245 markings, 779509 edges, 82 markings/sec, 2565 secs
lola: 1 tries, 216967 fired transitions, 2570 secs || 215660 markings, 781459 edges, 83 markings/sec, 2570 secs
lola: 1 tries, 217376 fired transitions, 2575 secs || 216066 markings, 783379 edges, 81 markings/sec, 2575 secs
lola: 1 tries, 217788 fired transitions, 2580 secs || 216477 markings, 785307 edges, 82 markings/sec, 2580 secs
lola: 1 tries, 218190 fired transitions, 2585 secs || 216877 markings, 787058 edges, 80 markings/sec, 2585 secs
lola: 1 tries, 218577 fired transitions, 2590 secs || 217260 markings, 788802 edges, 77 markings/sec, 2590 secs
lola: 1 tries, 218965 fired transitions, 2595 secs || 217647 markings, 790603 edges, 77 markings/sec, 2595 secs
lola: 1 tries, 219397 fired transitions, 2600 secs || 218079 markings, 792621 edges, 86 markings/sec, 2600 secs
lola: 1 tries, 219849 fired transitions, 2605 secs || 218530 markings, 794765 edges, 90 markings/sec, 2605 secs
lola: 1 tries, 220297 fired transitions, 2610 secs || 218975 markings, 796846 edges, 89 markings/sec, 2610 secs
lola: 1 tries, 220740 fired transitions, 2615 secs || 219415 markings, 798963 edges, 88 markings/sec, 2615 secs
lola: 1 tries, 221173 fired transitions, 2620 secs || 219846 markings, 800941 edges, 86 markings/sec, 2620 secs
lola: 1 tries, 221594 fired transitions, 2625 secs || 220267 markings, 802867 edges, 84 markings/sec, 2625 secs
lola: 1 tries, 222021 fired transitions, 2630 secs || 220691 markings, 804900 edges, 85 markings/sec, 2630 secs
lola: 1 tries, 222436 fired transitions, 2635 secs || 221106 markings, 806834 edges, 83 markings/sec, 2635 secs
lola: 1 tries, 222830 fired transitions, 2640 secs || 221500 markings, 808690 edges, 79 markings/sec, 2640 secs
lola: 1 tries, 223240 fired transitions, 2645 secs || 221907 markings, 810565 edges, 81 markings/sec, 2645 secs
lola: 1 tries, 223666 fired transitions, 2650 secs || 222330 markings, 812610 edges, 85 markings/sec, 2650 secs
lola: 1 tries, 224088 fired transitions, 2655 secs || 222748 markings, 814643 edges, 84 markings/sec, 2655 secs
lola: 1 tries, 224496 fired transitions, 2660 secs || 223154 markings, 816408 edges, 81 markings/sec, 2660 secs
lola: 1 tries, 224890 fired transitions, 2665 secs || 223546 markings, 818189 edges, 78 markings/sec, 2665 secs
lola: 1 tries, 225279 fired transitions, 2670 secs || 223931 markings, 819971 edges, 77 markings/sec, 2670 secs
lola: 1 tries, 225679 fired transitions, 2675 secs || 224327 markings, 821860 edges, 79 markings/sec, 2675 secs
lola: 1 tries, 226083 fired transitions, 2680 secs || 224729 markings, 823734 edges, 80 markings/sec, 2680 secs
lola: 1 tries, 226521 fired transitions, 2685 secs || 225166 markings, 825786 edges, 87 markings/sec, 2685 secs
lola: 1 tries, 226960 fired transitions, 2690 secs || 225603 markings, 827881 edges, 87 markings/sec, 2690 secs
lola: 1 tries, 227395 fired transitions, 2695 secs || 226033 markings, 829782 edges, 86 markings/sec, 2695 secs
lola: 1 tries, 227810 fired transitions, 2700 secs || 226445 markings, 831720 edges, 82 markings/sec, 2700 secs
lola: 1 tries, 228230 fired transitions, 2705 secs || 226860 markings, 833659 edges, 83 markings/sec, 2705 secs
lola: 1 tries, 228654 fired transitions, 2710 secs || 227279 markings, 835633 edges, 84 markings/sec, 2710 secs
lola: 1 tries, 229083 fired transitions, 2715 secs || 227706 markings, 837675 edges, 85 markings/sec, 2715 secs
lola: 1 tries, 229526 fired transitions, 2720 secs || 228149 markings, 839823 edges, 89 markings/sec, 2720 secs
lola: 1 tries, 229988 fired transitions, 2725 secs || 228608 markings, 842072 edges, 92 markings/sec, 2725 secs
lola: 1 tries, 230436 fired transitions, 2730 secs || 229054 markings, 844073 edges, 89 markings/sec, 2730 secs
lola: 1 tries, 230887 fired transitions, 2735 secs || 229497 markings, 846107 edges, 89 markings/sec, 2735 secs
lola: 1 tries, 231331 fired transitions, 2740 secs || 229938 markings, 848138 edges, 88 markings/sec, 2740 secs
lola: 1 tries, 231775 fired transitions, 2745 secs || 230379 markings, 850193 edges, 88 markings/sec, 2745 secs
lola: 1 tries, 232231 fired transitions, 2750 secs || 230828 markings, 852345 edges, 90 markings/sec, 2750 secs
lola: 1 tries, 232681 fired transitions, 2755 secs || 231277 markings, 854504 edges, 90 markings/sec, 2755 secs
lola: 1 tries, 233121 fired transitions, 2760 secs || 231714 markings, 856557 edges, 87 markings/sec, 2760 secs
lola: 1 tries, 233519 fired transitions, 2765 secs || 232110 markings, 858333 edges, 79 markings/sec, 2765 secs
lola: 1 tries, 233920 fired transitions, 2770 secs || 232506 markings, 860132 edges, 79 markings/sec, 2770 secs
lola: 1 tries, 234316 fired transitions, 2775 secs || 232902 markings, 862001 edges, 79 markings/sec, 2775 secs
lola: 1 tries, 234722 fired transitions, 2780 secs || 233305 markings, 863889 edges, 81 markings/sec, 2780 secs
lola: 1 tries, 235134 fired transitions, 2785 secs || 233714 markings, 865825 edges, 82 markings/sec, 2785 secs
lola: 1 tries, 235590 fired transitions, 2790 secs || 234170 markings, 868073 edges, 91 markings/sec, 2790 secs
lola: 1 tries, 236046 fired transitions, 2795 secs || 234626 markings, 870228 edges, 91 markings/sec, 2795 secs
lola: 1 tries, 236505 fired transitions, 2800 secs || 235083 markings, 872483 edges, 91 markings/sec, 2800 secs
lola: 1 tries, 236910 fired transitions, 2805 secs || 235482 markings, 874146 edges, 80 markings/sec, 2805 secs
lola: 1 tries, 237318 fired transitions, 2810 secs || 235880 markings, 875932 edges, 80 markings/sec, 2810 secs
lola: 1 tries, 237715 fired transitions, 2815 secs || 236273 markings, 877796 edges, 79 markings/sec, 2815 secs
lola: 1 tries, 238120 fired transitions, 2820 secs || 236673 markings, 879674 edges, 80 markings/sec, 2820 secs
lola: 1 tries, 238529 fired transitions, 2825 secs || 237082 markings, 881645 edges, 82 markings/sec, 2825 secs
lola: 1 tries, 238939 fired transitions, 2830 secs || 237490 markings, 883610 edges, 82 markings/sec, 2830 secs
lola: 1 tries, 239344 fired transitions, 2835 secs || 237892 markings, 885526 edges, 80 markings/sec, 2835 secs
lola: 1 tries, 239749 fired transitions, 2840 secs || 238292 markings, 887278 edges, 80 markings/sec, 2840 secs
lola: 1 tries, 240134 fired transitions, 2845 secs || 238674 markings, 889095 edges, 76 markings/sec, 2845 secs
lola: 1 tries, 240514 fired transitions, 2850 secs || 239052 markings, 890798 edges, 76 markings/sec, 2850 secs
lola: 1 tries, 240879 fired transitions, 2855 secs || 239416 markings, 892542 edges, 73 markings/sec, 2855 secs
lola: 1 tries, 241254 fired transitions, 2860 secs || 239790 markings, 894324 edges, 75 markings/sec, 2860 secs
lola: 1 tries, 241661 fired transitions, 2865 secs || 240197 markings, 896279 edges, 81 markings/sec, 2865 secs
lola: 1 tries, 242080 fired transitions, 2870 secs || 240614 markings, 898233 edges, 83 markings/sec, 2870 secs
lola: 1 tries, 242477 fired transitions, 2875 secs || 241009 markings, 900144 edges, 79 markings/sec, 2875 secs
lola: 1 tries, 242872 fired transitions, 2880 secs || 241404 markings, 901930 edges, 79 markings/sec, 2880 secs
lola: 1 tries, 243262 fired transitions, 2885 secs || 241791 markings, 903780 edges, 77 markings/sec, 2885 secs
lola: 1 tries, 243666 fired transitions, 2890 secs || 242193 markings, 905639 edges, 80 markings/sec, 2890 secs
lola: 1 tries, 244057 fired transitions, 2895 secs || 242578 markings, 907474 edges, 77 markings/sec, 2895 secs
lola: 1 tries, 244455 fired transitions, 2900 secs || 242973 markings, 909378 edges, 79 markings/sec, 2900 secs
lola: 1 tries, 244847 fired transitions, 2905 secs || 243361 markings, 911211 edges, 78 markings/sec, 2905 secs
lola: 1 tries, 245271 fired transitions, 2910 secs || 243781 markings, 913215 edges, 84 markings/sec, 2910 secs
lola: 1 tries, 245668 fired transitions, 2915 secs || 244175 markings, 915113 edges, 79 markings/sec, 2915 secs
lola: 1 tries, 246057 fired transitions, 2920 secs || 244561 markings, 916848 edges, 77 markings/sec, 2920 secs
lola: 1 tries, 246434 fired transitions, 2925 secs || 244938 markings, 918594 edges, 75 markings/sec, 2925 secs
lola: 1 tries, 246813 fired transitions, 2930 secs || 245316 markings, 920356 edges, 76 markings/sec, 2930 secs
lola: 1 tries, 247194 fired transitions, 2935 secs || 245693 markings, 922064 edges, 75 markings/sec, 2935 secs
lola: 1 tries, 247563 fired transitions, 2940 secs || 246058 markings, 923804 edges, 73 markings/sec, 2940 secs
lola: 1 tries, 247929 fired transitions, 2945 secs || 246423 markings, 925561 edges, 73 markings/sec, 2945 secs
lola: 1 tries, 248320 fired transitions, 2950 secs || 246809 markings, 927435 edges, 77 markings/sec, 2950 secs
lola: 1 tries, 248724 fired transitions, 2955 secs || 247208 markings, 929398 edges, 80 markings/sec, 2955 secs
lola: 1 tries, 249186 fired transitions, 2960 secs || 247647 markings, 931271 edges, 88 markings/sec, 2960 secs
lola: 1 tries, 249643 fired transitions, 2965 secs || 248094 markings, 933348 edges, 89 markings/sec, 2965 secs
lola: 1 tries, 250104 fired transitions, 2970 secs || 248547 markings, 935510 edges, 91 markings/sec, 2970 secs
lola: 1 tries, 250565 fired transitions, 2975 secs || 249001 markings, 937661 edges, 91 markings/sec, 2975 secs
lola: 1 tries, 251021 fired transitions, 2980 secs || 249453 markings, 939819 edges, 90 markings/sec, 2980 secs
lola: 1 tries, 251474 fired transitions, 2985 secs || 249906 markings, 941962 edges, 91 markings/sec, 2985 secs
lola: 1 tries, 251921 fired transitions, 2990 secs || 250350 markings, 944105 edges, 89 markings/sec, 2990 secs
lola: 1 tries, 252383 fired transitions, 2995 secs || 250800 markings, 946055 edges, 90 markings/sec, 2995 secs
lola: 1 tries, 252826 fired transitions, 3000 secs || 251237 markings, 948106 edges, 87 markings/sec, 3000 secs
lola: 1 tries, 253273 fired transitions, 3005 secs || 251681 markings, 950203 edges, 89 markings/sec, 3005 secs
lola: 1 tries, 253700 fired transitions, 3010 secs || 252105 markings, 952197 edges, 85 markings/sec, 3010 secs
lola: 1 tries, 254136 fired transitions, 3015 secs || 252538 markings, 954297 edges, 87 markings/sec, 3015 secs
lola: 1 tries, 254548 fired transitions, 3020 secs || 252950 markings, 956311 edges, 82 markings/sec, 3020 secs
lola: 1 tries, 254972 fired transitions, 3025 secs || 253373 markings, 958350 edges, 85 markings/sec, 3025 secs
lola: 1 tries, 255407 fired transitions, 3030 secs || 253806 markings, 960276 edges, 87 markings/sec, 3030 secs
lola: 1 tries, 255837 fired transitions, 3035 secs || 254234 markings, 962343 edges, 86 markings/sec, 3035 secs
lola: 1 tries, 256236 fired transitions, 3040 secs || 254632 markings, 964234 edges, 80 markings/sec, 3040 secs
lola: 1 tries, 256659 fired transitions, 3045 secs || 255052 markings, 966195 edges, 84 markings/sec, 3045 secs
lola: 1 tries, 257113 fired transitions, 3050 secs || 255499 markings, 968412 edges, 89 markings/sec, 3050 secs
lola: 1 tries, 257566 fired transitions, 3055 secs || 255943 markings, 970477 edges, 89 markings/sec, 3055 secs
lola: 1 tries, 258017 fired transitions, 3060 secs || 256392 markings, 972621 edges, 90 markings/sec, 3060 secs
lola: 1 tries, 258463 fired transitions, 3065 secs || 256829 markings, 974700 edges, 87 markings/sec, 3065 secs
lola: 1 tries, 258924 fired transitions, 3070 secs || 257285 markings, 976830 edges, 91 markings/sec, 3070 secs
lola: 1 tries, 259355 fired transitions, 3075 secs || 257716 markings, 978843 edges, 86 markings/sec, 3075 secs
lola: 1 tries, 259788 fired transitions, 3080 secs || 258147 markings, 980925 edges, 86 markings/sec, 3080 secs
lola: 1 tries, 260221 fired transitions, 3085 secs || 258580 markings, 982946 edges, 87 markings/sec, 3085 secs
lola: 1 tries, 260658 fired transitions, 3090 secs || 259014 markings, 984956 edges, 87 markings/sec, 3090 secs
lola: 1 tries, 261119 fired transitions, 3095 secs || 259470 markings, 987165 edges, 91 markings/sec, 3095 secs
lola: 1 tries, 261527 fired transitions, 3100 secs || 259878 markings, 989055 edges, 82 markings/sec, 3100 secs
lola: 1 tries, 261941 fired transitions, 3105 secs || 260289 markings, 990917 edges, 82 markings/sec, 3105 secs
lola: 1 tries, 262343 fired transitions, 3110 secs || 260690 markings, 992850 edges, 80 markings/sec, 3110 secs
lola: 1 tries, 262759 fired transitions, 3115 secs || 261102 markings, 994756 edges, 82 markings/sec, 3115 secs
lola: 1 tries, 263179 fired transitions, 3120 secs || 261519 markings, 996758 edges, 83 markings/sec, 3120 secs
lola: 1 tries, 263595 fired transitions, 3125 secs || 261930 markings, 998685 edges, 82 markings/sec, 3125 secs
lola: 1 tries, 264020 fired transitions, 3130 secs || 262352 markings, 1000615 edges, 84 markings/sec, 3130 secs
lola: 1 tries, 264486 fired transitions, 3135 secs || 262815 markings, 1002923 edges, 93 markings/sec, 3135 secs
lola: 1 tries, 264941 fired transitions, 3140 secs || 263268 markings, 1005056 edges, 91 markings/sec, 3140 secs
lola: 1 tries, 265392 fired transitions, 3145 secs || 263718 markings, 1007132 edges, 90 markings/sec, 3145 secs
lola: 1 tries, 265832 fired transitions, 3150 secs || 264156 markings, 1009252 edges, 88 markings/sec, 3150 secs
lola: 1 tries, 266255 fired transitions, 3155 secs || 264577 markings, 1011222 edges, 84 markings/sec, 3155 secs
lola: 1 tries, 266676 fired transitions, 3160 secs || 264993 markings, 1013245 edges, 83 markings/sec, 3160 secs
lola: 1 tries, 267115 fired transitions, 3165 secs || 265429 markings, 1015246 edges, 87 markings/sec, 3165 secs
lola: 1 tries, 267569 fired transitions, 3170 secs || 265878 markings, 1017348 edges, 90 markings/sec, 3170 secs
lola: 1 tries, 267999 fired transitions, 3175 secs || 266305 markings, 1019442 edges, 85 markings/sec, 3175 secs
lola: 1 tries, 268427 fired transitions, 3180 secs || 266730 markings, 1021439 edges, 85 markings/sec, 3180 secs
lola: 1 tries, 268862 fired transitions, 3185 secs || 267165 markings, 1023470 edges, 87 markings/sec, 3185 secs
lola: 1 tries, 269295 fired transitions, 3190 secs || 267596 markings, 1025510 edges, 86 markings/sec, 3190 secs
lola: 1 tries, 269717 fired transitions, 3195 secs || 268018 markings, 1027496 edges, 84 markings/sec, 3195 secs
lola: 1 tries, 270145 fired transitions, 3200 secs || 268444 markings, 1029425 edges, 85 markings/sec, 3200 secs
lola: 1 tries, 270571 fired transitions, 3205 secs || 268869 markings, 1031480 edges, 85 markings/sec, 3205 secs
lola: 1 tries, 270999 fired transitions, 3210 secs || 269294 markings, 1033462 edges, 85 markings/sec, 3210 secs
lola: 1 tries, 271421 fired transitions, 3215 secs || 269716 markings, 1035466 edges, 84 markings/sec, 3215 secs
lola: 1 tries, 271865 fired transitions, 3220 secs || 270158 markings, 1037547 edges, 88 markings/sec, 3220 secs
lola: 1 tries, 272323 fired transitions, 3225 secs || 270616 markings, 1039719 edges, 92 markings/sec, 3225 secs
lola: 1 tries, 272781 fired transitions, 3230 secs || 271073 markings, 1041828 edges, 91 markings/sec, 3230 secs
lola: 1 tries, 273219 fired transitions, 3235 secs || 271511 markings, 1044008 edges, 88 markings/sec, 3235 secs
lola: 1 tries, 273667 fired transitions, 3240 secs || 271959 markings, 1046079 edges, 90 markings/sec, 3240 secs
lola: 1 tries, 274131 fired transitions, 3245 secs || 272422 markings, 1048328 edges, 93 markings/sec, 3245 secs
lola: 1 tries, 274593 fired transitions, 3250 secs || 272879 markings, 1050477 edges, 91 markings/sec, 3250 secs
lola: 1 tries, 275055 fired transitions, 3255 secs || 273337 markings, 1052624 edges, 92 markings/sec, 3255 secs
lola: 1 tries, 275534 fired transitions, 3260 secs || 273812 markings, 1054958 edges, 95 markings/sec, 3260 secs
lola: 1 tries, 276001 fired transitions, 3265 secs || 274275 markings, 1057119 edges, 93 markings/sec, 3265 secs
lola: 1 tries, 276440 fired transitions, 3270 secs || 274713 markings, 1059178 edges, 88 markings/sec, 3270 secs
lola: 1 tries, 276882 fired transitions, 3275 secs || 275155 markings, 1061250 edges, 88 markings/sec, 3275 secs
lola: 1 tries, 277332 fired transitions, 3280 secs || 275593 markings, 1063277 edges, 88 markings/sec, 3280 secs
lola: 1 tries, 277791 fired transitions, 3285 secs || 276047 markings, 1065406 edges, 91 markings/sec, 3285 secs
lola: 1 tries, 278242 fired transitions, 3290 secs || 276496 markings, 1067601 edges, 90 markings/sec, 3290 secs
lola: 1 tries, 278700 fired transitions, 3295 secs || 276950 markings, 1069808 edges, 91 markings/sec, 3295 secs
lola: 1 tries, 279156 fired transitions, 3300 secs || 277403 markings, 1071920 edges, 91 markings/sec, 3300 secs
lola: 1 tries, 279600 fired transitions, 3305 secs || 277842 markings, 1074005 edges, 88 markings/sec, 3305 secs
lola: 1 tries, 280070 fired transitions, 3310 secs || 278308 markings, 1076234 edges, 93 markings/sec, 3310 secs
lola: 1 tries, 280545 fired transitions, 3315 secs || 278775 markings, 1078384 edges, 93 markings/sec, 3315 secs
lola: 1 tries, 281010 fired transitions, 3320 secs || 279236 markings, 1080642 edges, 92 markings/sec, 3320 secs
lola: 1 tries, 281451 fired transitions, 3325 secs || 279676 markings, 1082680 edges, 88 markings/sec, 3325 secs
lola: 1 tries, 281920 fired transitions, 3330 secs || 280142 markings, 1084900 edges, 93 markings/sec, 3330 secs
lola: 1 tries, 282392 fired transitions, 3335 secs || 280612 markings, 1087200 edges, 94 markings/sec, 3335 secs
lola: 1 tries, 282859 fired transitions, 3340 secs || 281075 markings, 1089364 edges, 93 markings/sec, 3340 secs
lola: 1 tries, 283329 fired transitions, 3345 secs || 281542 markings, 1091546 edges, 93 markings/sec, 3345 secs
lola: 1 tries, 283797 fired transitions, 3350 secs || 282007 markings, 1093832 edges, 93 markings/sec, 3350 secs
lola: 1 tries, 284263 fired transitions, 3355 secs || 282470 markings, 1095958 edges, 93 markings/sec, 3355 secs
lola: 1 tries, 284728 fired transitions, 3360 secs || 282932 markings, 1098164 edges, 92 markings/sec, 3360 secs
lola: 1 tries, 285194 fired transitions, 3365 secs || 283396 markings, 1100344 edges, 93 markings/sec, 3365 secs
lola: 1 tries, 285670 fired transitions, 3370 secs || 283865 markings, 1102630 edges, 94 markings/sec, 3370 secs
lola: 1 tries, 286144 fired transitions, 3375 secs || 284333 markings, 1104867 edges, 94 markings/sec, 3375 secs
lola: 1 tries, 286605 fired transitions, 3380 secs || 284792 markings, 1107009 edges, 92 markings/sec, 3380 secs
lola: 1 tries, 287064 fired transitions, 3385 secs || 285248 markings, 1109213 edges, 91 markings/sec, 3385 secs
lola: 1 tries, 287518 fired transitions, 3390 secs || 285702 markings, 1111340 edges, 91 markings/sec, 3390 secs
lola: 1 tries, 287979 fired transitions, 3395 secs || 286160 markings, 1113451 edges, 92 markings/sec, 3395 secs
lola: 1 tries, 288444 fired transitions, 3400 secs || 286621 markings, 1115751 edges, 92 markings/sec, 3400 secs
lola: 1 tries, 288914 fired transitions, 3405 secs || 287080 markings, 1117927 edges, 92 markings/sec, 3405 secs
lola: 1 tries, 289346 fired transitions, 3410 secs || 287510 markings, 1119887 edges, 86 markings/sec, 3410 secs
lola: 1 tries, 289802 fired transitions, 3415 secs || 287960 markings, 1122105 edges, 90 markings/sec, 3415 secs
lola: 1 tries, 290268 fired transitions, 3420 secs || 288422 markings, 1124297 edges, 92 markings/sec, 3420 secs
lola: 1 tries, 290738 fired transitions, 3425 secs || 288888 markings, 1126458 edges, 93 markings/sec, 3425 secs
lola: 1 tries, 291206 fired transitions, 3430 secs || 289352 markings, 1128766 edges, 93 markings/sec, 3430 secs
lola: 1 tries, 291669 fired transitions, 3435 secs || 289810 markings, 1130908 edges, 92 markings/sec, 3435 secs
lola: 1 tries, 292139 fired transitions, 3440 secs || 290277 markings, 1133131 edges, 93 markings/sec, 3440 secs
lola: 1 tries, 292603 fired transitions, 3445 secs || 290741 markings, 1135360 edges, 93 markings/sec, 3445 secs
lola: 1 tries, 293052 fired transitions, 3450 secs || 291188 markings, 1137516 edges, 89 markings/sec, 3450 secs
lola: 1 tries, 293504 fired transitions, 3455 secs || 291637 markings, 1139636 edges, 90 markings/sec, 3455 secs
lola: 1 tries, 293972 fired transitions, 3460 secs || 292103 markings, 1141935 edges, 93 markings/sec, 3460 secs
lola: 1 tries, 294430 fired transitions, 3465 secs || 292559 markings, 1144095 edges, 91 markings/sec, 3465 secs
lola: 1 tries, 294879 fired transitions, 3470 secs || 293008 markings, 1146216 edges, 90 markings/sec, 3470 secs
lola: 1 tries, 295343 fired transitions, 3475 secs || 293470 markings, 1148434 edges, 92 markings/sec, 3475 secs
lola: 1 tries, 295803 fired transitions, 3480 secs || 293926 markings, 1150637 edges, 91 markings/sec, 3480 secs
lola: 1 tries, 296276 fired transitions, 3485 secs || 294394 markings, 1152827 edges, 94 markings/sec, 3485 secs
lola: 1 tries, 296736 fired transitions, 3490 secs || 294853 markings, 1155073 edges, 92 markings/sec, 3490 secs
lola: 1 tries, 297203 fired transitions, 3495 secs || 295315 markings, 1157260 edges, 92 markings/sec, 3495 secs
lola: 1 tries, 297668 fired transitions, 3500 secs || 295775 markings, 1159426 edges, 92 markings/sec, 3500 secs
lola: 1 tries, 298135 fired transitions, 3505 secs || 296237 markings, 1161640 edges, 92 markings/sec, 3505 secs
lola: time limit reached - aborting
Segmentation fault
rslt: finished
BK_STOP 1553124861952
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 139 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="TokenRing-PT-040"
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 TokenRing-PT-040, 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 r170-oct2-155297750600354"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-040.tgz
mv TokenRing-PT-040 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 ;