About the Execution of LoLA for RERS17pb113-PT-8
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5144.290 | 3594598.00 | 7310274.00 | 366.60 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r126-oct2-155274853500381.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is RERS17pb113-PT-8, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-oct2-155274853500381
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.4K Feb 13 08:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 13 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 13 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 13 08:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 13 08:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 13 08:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 13 08:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.5K Feb 13 08:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 13 08:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 13 08:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Feb 13 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 13 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 13 08:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 13 08:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Feb 13 08:05 equiv_col
-rw-r--r-- 1 mcc users 2 Feb 13 08:05 instance
-rw-r--r-- 1 mcc users 6 Feb 13 08:05 iscolored
-rw-r--r-- 1 mcc users 15M Mar 10 17:31 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME RERS17pb113-PT-8-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553913410718
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ RERS17pb113-PT-8 @ 3570 seconds
vrfy: finished
info: timeLeft: -25
rslt: Output for GlobalProperties @ RERS17pb113-PT-8
{
"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": "Sat Mar 30 02:36:50 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 1001204,
"runtime": 3573.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "GlobalProperties.json",
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 125418,
"conflict_clusters": 2,
"places": 639,
"places_significant": 614,
"singleton_clusters": 0,
"transitions": 31353
},
"task":
{
"findpath":
{
"depthlimit": 1000000,
"retrylimit": null,
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 2
},
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"symmetry":
{
"card": 6227020800.000000,
"composed": 66,
"dead_branches": 0,
"generators": 78,
"interrupted": false,
"real_computed": 12,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 31992/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 639
lola: finding significant places
lola: 639 places, 31353 transitions, 614 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: 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 78 generators (12 in search tree, 66 by composition)
lola: representing 6.22702E+09 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 487 fired transitions, 0 secs || 363 markings, 362 edges, 73 markings/sec, 0 secs
lola: 1 tries, 1078 fired transitions, 5 secs || 1011 markings, 1010 edges, 130 markings/sec, 5 secs
lola: 1 tries, 1648 fired transitions, 10 secs || 1620 markings, 1619 edges, 122 markings/sec, 10 secs
lola: 1 tries, 2221 fired transitions, 15 secs || 2277 markings, 2276 edges, 131 markings/sec, 15 secs
lola: 1 tries, 2762 fired transitions, 20 secs || 2928 markings, 2927 edges, 130 markings/sec, 20 secs
lola: 1 tries, 3263 fired transitions, 25 secs || 3462 markings, 3461 edges, 107 markings/sec, 25 secs
lola: 1 tries, 3768 fired transitions, 30 secs || 3981 markings, 3980 edges, 104 markings/sec, 30 secs
lola: 1 tries, 4274 fired transitions, 35 secs || 4524 markings, 4523 edges, 109 markings/sec, 35 secs
lola: 1 tries, 4592 fired transitions, 40 secs || 4852 markings, 4851 edges, 66 markings/sec, 40 secs
lola: 1 tries, 4905 fired transitions, 45 secs || 5172 markings, 5171 edges, 64 markings/sec, 45 secs
lola: 1 tries, 5235 fired transitions, 50 secs || 5502 markings, 5501 edges, 66 markings/sec, 50 secs
lola: 1 tries, 5533 fired transitions, 55 secs || 5801 markings, 5800 edges, 60 markings/sec, 55 secs
lola: 1 tries, 5839 fired transitions, 60 secs || 6106 markings, 6106 edges, 61 markings/sec, 60 secs
lola: 1 tries, 6149 fired transitions, 65 secs || 6414 markings, 6413 edges, 62 markings/sec, 65 secs
lola: 1 tries, 6453 fired transitions, 70 secs || 6723 markings, 6722 edges, 62 markings/sec, 70 secs
lola: 1 tries, 6755 fired transitions, 75 secs || 7033 markings, 7032 edges, 62 markings/sec, 75 secs
lola: 1 tries, 7062 fired transitions, 80 secs || 7344 markings, 7343 edges, 62 markings/sec, 80 secs
lola: 1 tries, 7371 fired transitions, 85 secs || 7653 markings, 7652 edges, 62 markings/sec, 85 secs
lola: 1 tries, 7676 fired transitions, 90 secs || 7959 markings, 7958 edges, 61 markings/sec, 90 secs
lola: 1 tries, 7984 fired transitions, 95 secs || 8265 markings, 8264 edges, 61 markings/sec, 95 secs
lola: 1 tries, 8280 fired transitions, 100 secs || 8567 markings, 8566 edges, 60 markings/sec, 100 secs
lola: 1 tries, 8580 fired transitions, 105 secs || 8865 markings, 8864 edges, 60 markings/sec, 105 secs
lola: 1 tries, 8878 fired transitions, 110 secs || 9165 markings, 9164 edges, 60 markings/sec, 110 secs
lola: 1 tries, 9179 fired transitions, 115 secs || 9465 markings, 9464 edges, 60 markings/sec, 115 secs
lola: 1 tries, 9484 fired transitions, 120 secs || 9767 markings, 9766 edges, 60 markings/sec, 120 secs
lola: 1 tries, 9792 fired transitions, 125 secs || 10076 markings, 10075 edges, 62 markings/sec, 125 secs
lola: 1 tries, 10101 fired transitions, 130 secs || 10387 markings, 10386 edges, 62 markings/sec, 130 secs
lola: 1 tries, 10417 fired transitions, 135 secs || 10699 markings, 10698 edges, 62 markings/sec, 135 secs
lola: 1 tries, 10728 fired transitions, 140 secs || 11011 markings, 11010 edges, 62 markings/sec, 140 secs
lola: 1 tries, 11037 fired transitions, 145 secs || 11323 markings, 11322 edges, 62 markings/sec, 145 secs
lola: 1 tries, 11351 fired transitions, 150 secs || 11643 markings, 11642 edges, 64 markings/sec, 150 secs
lola: 1 tries, 11668 fired transitions, 155 secs || 11959 markings, 11958 edges, 63 markings/sec, 155 secs
lola: 1 tries, 11977 fired transitions, 160 secs || 12274 markings, 12273 edges, 63 markings/sec, 160 secs
lola: 1 tries, 12288 fired transitions, 165 secs || 12585 markings, 12584 edges, 62 markings/sec, 165 secs
lola: 1 tries, 12602 fired transitions, 170 secs || 12901 markings, 12900 edges, 63 markings/sec, 170 secs
lola: 1 tries, 12915 fired transitions, 175 secs || 13213 markings, 13212 edges, 62 markings/sec, 175 secs
lola: 1 tries, 13224 fired transitions, 180 secs || 13524 markings, 13523 edges, 62 markings/sec, 180 secs
lola: 1 tries, 13537 fired transitions, 185 secs || 13836 markings, 13835 edges, 62 markings/sec, 185 secs
lola: 1 tries, 13852 fired transitions, 190 secs || 14155 markings, 14154 edges, 64 markings/sec, 190 secs
lola: 1 tries, 14169 fired transitions, 195 secs || 14473 markings, 14472 edges, 64 markings/sec, 195 secs
lola: 1 tries, 14488 fired transitions, 200 secs || 14789 markings, 14788 edges, 63 markings/sec, 200 secs
lola: 1 tries, 14802 fired transitions, 205 secs || 15105 markings, 15104 edges, 63 markings/sec, 205 secs
lola: 1 tries, 15115 fired transitions, 210 secs || 15417 markings, 15416 edges, 62 markings/sec, 210 secs
lola: 1 tries, 15430 fired transitions, 215 secs || 15735 markings, 15734 edges, 64 markings/sec, 215 secs
lola: 1 tries, 15737 fired transitions, 220 secs || 16047 markings, 16046 edges, 62 markings/sec, 220 secs
lola: 1 tries, 16050 fired transitions, 225 secs || 16359 markings, 16358 edges, 62 markings/sec, 225 secs
lola: 1 tries, 16352 fired transitions, 230 secs || 16662 markings, 16661 edges, 61 markings/sec, 230 secs
lola: 1 tries, 16661 fired transitions, 235 secs || 16972 markings, 16971 edges, 62 markings/sec, 235 secs
lola: 1 tries, 16975 fired transitions, 240 secs || 17288 markings, 17287 edges, 63 markings/sec, 240 secs
lola: 1 tries, 17295 fired transitions, 245 secs || 17609 markings, 17608 edges, 64 markings/sec, 245 secs
lola: 1 tries, 17606 fired transitions, 250 secs || 17922 markings, 17921 edges, 63 markings/sec, 250 secs
lola: 1 tries, 17920 fired transitions, 255 secs || 18233 markings, 18232 edges, 62 markings/sec, 255 secs
lola: 1 tries, 18226 fired transitions, 260 secs || 18537 markings, 18536 edges, 61 markings/sec, 260 secs
lola: 1 tries, 18527 fired transitions, 265 secs || 18842 markings, 18841 edges, 61 markings/sec, 265 secs
lola: 1 tries, 18837 fired transitions, 270 secs || 19147 markings, 19146 edges, 61 markings/sec, 270 secs
lola: 1 tries, 19141 fired transitions, 275 secs || 19450 markings, 19449 edges, 61 markings/sec, 275 secs
lola: 1 tries, 19446 fired transitions, 280 secs || 19755 markings, 19754 edges, 61 markings/sec, 280 secs
lola: 1 tries, 19753 fired transitions, 285 secs || 20061 markings, 20060 edges, 61 markings/sec, 285 secs
lola: 1 tries, 20067 fired transitions, 290 secs || 20373 markings, 20372 edges, 62 markings/sec, 290 secs
lola: 1 tries, 20375 fired transitions, 295 secs || 20683 markings, 20682 edges, 62 markings/sec, 295 secs
lola: 1 tries, 20691 fired transitions, 300 secs || 20997 markings, 20996 edges, 63 markings/sec, 300 secs
lola: 1 tries, 21008 fired transitions, 305 secs || 21316 markings, 21315 edges, 64 markings/sec, 305 secs
lola: 1 tries, 21324 fired transitions, 310 secs || 21634 markings, 21633 edges, 64 markings/sec, 310 secs
lola: 1 tries, 21640 fired transitions, 315 secs || 21949 markings, 21948 edges, 63 markings/sec, 315 secs
lola: 1 tries, 21957 fired transitions, 320 secs || 22264 markings, 22263 edges, 63 markings/sec, 320 secs
lola: 1 tries, 22270 fired transitions, 325 secs || 22579 markings, 22578 edges, 63 markings/sec, 325 secs
lola: 1 tries, 22584 fired transitions, 330 secs || 22889 markings, 22888 edges, 62 markings/sec, 330 secs
lola: 1 tries, 22891 fired transitions, 335 secs || 23196 markings, 23195 edges, 61 markings/sec, 335 secs
lola: 1 tries, 23200 fired transitions, 340 secs || 23504 markings, 23503 edges, 62 markings/sec, 340 secs
lola: 1 tries, 23511 fired transitions, 345 secs || 23812 markings, 23811 edges, 62 markings/sec, 345 secs
lola: 1 tries, 23821 fired transitions, 350 secs || 24121 markings, 24120 edges, 62 markings/sec, 350 secs
lola: 1 tries, 24133 fired transitions, 355 secs || 24432 markings, 24431 edges, 62 markings/sec, 355 secs
lola: 1 tries, 24441 fired transitions, 360 secs || 24740 markings, 24739 edges, 62 markings/sec, 360 secs
lola: 1 tries, 24759 fired transitions, 365 secs || 25057 markings, 25056 edges, 63 markings/sec, 365 secs
lola: 1 tries, 25077 fired transitions, 370 secs || 25372 markings, 25371 edges, 63 markings/sec, 370 secs
lola: 1 tries, 25389 fired transitions, 375 secs || 25680 markings, 25679 edges, 62 markings/sec, 375 secs
lola: 1 tries, 25708 fired transitions, 380 secs || 26000 markings, 25999 edges, 64 markings/sec, 380 secs
lola: 1 tries, 26027 fired transitions, 385 secs || 26318 markings, 26317 edges, 64 markings/sec, 385 secs
lola: 1 tries, 26342 fired transitions, 390 secs || 26634 markings, 26633 edges, 63 markings/sec, 390 secs
lola: 1 tries, 26662 fired transitions, 395 secs || 26954 markings, 26953 edges, 64 markings/sec, 395 secs
lola: 1 tries, 26982 fired transitions, 400 secs || 27272 markings, 27271 edges, 64 markings/sec, 400 secs
lola: 1 tries, 27300 fired transitions, 405 secs || 27590 markings, 27589 edges, 64 markings/sec, 405 secs
lola: 1 tries, 27617 fired transitions, 410 secs || 27904 markings, 27903 edges, 63 markings/sec, 410 secs
lola: 1 tries, 27934 fired transitions, 415 secs || 28222 markings, 28221 edges, 64 markings/sec, 415 secs
lola: 1 tries, 28249 fired transitions, 420 secs || 28537 markings, 28536 edges, 63 markings/sec, 420 secs
lola: 1 tries, 28564 fired transitions, 425 secs || 28851 markings, 28850 edges, 63 markings/sec, 425 secs
lola: 1 tries, 28881 fired transitions, 430 secs || 29163 markings, 29162 edges, 62 markings/sec, 430 secs
lola: 1 tries, 29194 fired transitions, 435 secs || 29474 markings, 29473 edges, 62 markings/sec, 435 secs
lola: 1 tries, 29510 fired transitions, 440 secs || 29789 markings, 29788 edges, 63 markings/sec, 440 secs
lola: 1 tries, 29826 fired transitions, 445 secs || 30106 markings, 30105 edges, 63 markings/sec, 445 secs
lola: 1 tries, 30139 fired transitions, 450 secs || 30419 markings, 30418 edges, 63 markings/sec, 450 secs
lola: 1 tries, 30453 fired transitions, 455 secs || 30733 markings, 30732 edges, 63 markings/sec, 455 secs
lola: 1 tries, 30773 fired transitions, 460 secs || 31054 markings, 31053 edges, 64 markings/sec, 460 secs
lola: 1 tries, 31095 fired transitions, 465 secs || 31373 markings, 31372 edges, 64 markings/sec, 465 secs
lola: 1 tries, 31403 fired transitions, 470 secs || 31681 markings, 31680 edges, 62 markings/sec, 470 secs
lola: 1 tries, 31711 fired transitions, 475 secs || 31990 markings, 31989 edges, 62 markings/sec, 475 secs
lola: 1 tries, 32021 fired transitions, 480 secs || 32300 markings, 32299 edges, 62 markings/sec, 480 secs
lola: 1 tries, 32332 fired transitions, 485 secs || 32612 markings, 32611 edges, 62 markings/sec, 485 secs
lola: 1 tries, 32645 fired transitions, 490 secs || 32924 markings, 32923 edges, 62 markings/sec, 490 secs
lola: 1 tries, 32953 fired transitions, 495 secs || 33232 markings, 33231 edges, 62 markings/sec, 495 secs
lola: 1 tries, 33262 fired transitions, 500 secs || 33540 markings, 33539 edges, 62 markings/sec, 500 secs
lola: 1 tries, 33746 fired transitions, 505 secs || 33995 markings, 33994 edges, 91 markings/sec, 505 secs
lola: 1 tries, 34258 fired transitions, 510 secs || 34509 markings, 34508 edges, 103 markings/sec, 510 secs
lola: 1 tries, 34614 fired transitions, 515 secs || 34860 markings, 34859 edges, 70 markings/sec, 515 secs
lola: 1 tries, 34942 fired transitions, 520 secs || 35184 markings, 35183 edges, 65 markings/sec, 520 secs
lola: 1 tries, 35269 fired transitions, 525 secs || 35507 markings, 35506 edges, 65 markings/sec, 525 secs
lola: 1 tries, 35591 fired transitions, 530 secs || 35830 markings, 35829 edges, 65 markings/sec, 530 secs
lola: 1 tries, 35916 fired transitions, 535 secs || 36154 markings, 36153 edges, 65 markings/sec, 535 secs
lola: 1 tries, 36239 fired transitions, 540 secs || 36474 markings, 36473 edges, 64 markings/sec, 540 secs
lola: 1 tries, 36579 fired transitions, 545 secs || 36814 markings, 36813 edges, 68 markings/sec, 545 secs
lola: 1 tries, 36892 fired transitions, 550 secs || 37127 markings, 37126 edges, 63 markings/sec, 550 secs
lola: 1 tries, 37212 fired transitions, 555 secs || 37440 markings, 37439 edges, 63 markings/sec, 555 secs
lola: 1 tries, 37527 fired transitions, 560 secs || 37752 markings, 37751 edges, 62 markings/sec, 560 secs
lola: 1 tries, 37845 fired transitions, 565 secs || 38068 markings, 38067 edges, 63 markings/sec, 565 secs
lola: 1 tries, 38157 fired transitions, 570 secs || 38379 markings, 38378 edges, 62 markings/sec, 570 secs
lola: 1 tries, 38478 fired transitions, 575 secs || 38697 markings, 38696 edges, 64 markings/sec, 575 secs
lola: 1 tries, 38802 fired transitions, 580 secs || 39018 markings, 39017 edges, 64 markings/sec, 580 secs
lola: 1 tries, 39125 fired transitions, 585 secs || 39342 markings, 39341 edges, 65 markings/sec, 585 secs
lola: 1 tries, 39449 fired transitions, 590 secs || 39665 markings, 39664 edges, 65 markings/sec, 590 secs
lola: 1 tries, 39774 fired transitions, 595 secs || 39987 markings, 39986 edges, 64 markings/sec, 595 secs
lola: 1 tries, 40095 fired transitions, 600 secs || 40310 markings, 40309 edges, 65 markings/sec, 600 secs
lola: 1 tries, 40570 fired transitions, 605 secs || 40821 markings, 40820 edges, 102 markings/sec, 605 secs
lola: 1 tries, 41088 fired transitions, 610 secs || 41330 markings, 41329 edges, 102 markings/sec, 610 secs
lola: 1 tries, 41409 fired transitions, 615 secs || 41651 markings, 41650 edges, 64 markings/sec, 615 secs
lola: 1 tries, 41866 fired transitions, 620 secs || 42109 markings, 42108 edges, 92 markings/sec, 620 secs
lola: 1 tries, 42513 fired transitions, 625 secs || 42710 markings, 42709 edges, 120 markings/sec, 625 secs
lola: 1 tries, 42949 fired transitions, 630 secs || 43129 markings, 43128 edges, 84 markings/sec, 630 secs
lola: 1 tries, 43271 fired transitions, 635 secs || 43452 markings, 43451 edges, 65 markings/sec, 635 secs
lola: 1 tries, 43594 fired transitions, 640 secs || 43774 markings, 43773 edges, 64 markings/sec, 640 secs
lola: 1 tries, 43921 fired transitions, 645 secs || 44100 markings, 44099 edges, 65 markings/sec, 645 secs
lola: 1 tries, 44251 fired transitions, 650 secs || 44425 markings, 44424 edges, 65 markings/sec, 650 secs
lola: 1 tries, 44577 fired transitions, 655 secs || 44750 markings, 44749 edges, 65 markings/sec, 655 secs
lola: 1 tries, 44897 fired transitions, 660 secs || 45066 markings, 45065 edges, 63 markings/sec, 660 secs
lola: 1 tries, 45215 fired transitions, 665 secs || 45382 markings, 45381 edges, 63 markings/sec, 665 secs
lola: 1 tries, 45540 fired transitions, 670 secs || 45705 markings, 45704 edges, 65 markings/sec, 670 secs
lola: 1 tries, 45864 fired transitions, 675 secs || 46029 markings, 46028 edges, 65 markings/sec, 675 secs
lola: 1 tries, 46186 fired transitions, 680 secs || 46351 markings, 46350 edges, 64 markings/sec, 680 secs
lola: 1 tries, 46511 fired transitions, 685 secs || 46675 markings, 46674 edges, 65 markings/sec, 685 secs
lola: 1 tries, 46833 fired transitions, 690 secs || 46996 markings, 46995 edges, 64 markings/sec, 690 secs
lola: 1 tries, 47131 fired transitions, 695 secs || 47293 markings, 47292 edges, 59 markings/sec, 695 secs
lola: 1 tries, 47426 fired transitions, 700 secs || 47589 markings, 47588 edges, 59 markings/sec, 700 secs
lola: 1 tries, 47724 fired transitions, 705 secs || 47885 markings, 47884 edges, 59 markings/sec, 705 secs
lola: 1 tries, 48019 fired transitions, 710 secs || 48179 markings, 48178 edges, 59 markings/sec, 710 secs
lola: 1 tries, 48316 fired transitions, 715 secs || 48476 markings, 48475 edges, 59 markings/sec, 715 secs
lola: 1 tries, 48613 fired transitions, 720 secs || 48775 markings, 48774 edges, 60 markings/sec, 720 secs
lola: 1 tries, 48912 fired transitions, 725 secs || 49076 markings, 49075 edges, 60 markings/sec, 725 secs
lola: 1 tries, 49212 fired transitions, 730 secs || 49378 markings, 49377 edges, 60 markings/sec, 730 secs
lola: 1 tries, 49511 fired transitions, 735 secs || 49677 markings, 49676 edges, 60 markings/sec, 735 secs
lola: 1 tries, 49818 fired transitions, 740 secs || 49983 markings, 49982 edges, 61 markings/sec, 740 secs
lola: 1 tries, 50122 fired transitions, 745 secs || 50286 markings, 50285 edges, 61 markings/sec, 745 secs
lola: 1 tries, 50433 fired transitions, 750 secs || 50596 markings, 50595 edges, 62 markings/sec, 750 secs
lola: 1 tries, 50735 fired transitions, 755 secs || 50899 markings, 50898 edges, 61 markings/sec, 755 secs
lola: 1 tries, 51041 fired transitions, 760 secs || 51204 markings, 51203 edges, 61 markings/sec, 760 secs
lola: 1 tries, 51348 fired transitions, 765 secs || 51508 markings, 51507 edges, 61 markings/sec, 765 secs
lola: 1 tries, 51653 fired transitions, 770 secs || 51812 markings, 51811 edges, 61 markings/sec, 770 secs
lola: 1 tries, 51965 fired transitions, 775 secs || 52123 markings, 52122 edges, 62 markings/sec, 775 secs
lola: 1 tries, 52452 fired transitions, 780 secs || 52583 markings, 52582 edges, 92 markings/sec, 780 secs
lola: 1 tries, 52780 fired transitions, 785 secs || 52912 markings, 52911 edges, 66 markings/sec, 785 secs
lola: 1 tries, 53105 fired transitions, 790 secs || 53239 markings, 53238 edges, 65 markings/sec, 790 secs
lola: 1 tries, 53435 fired transitions, 795 secs || 53564 markings, 53563 edges, 65 markings/sec, 795 secs
lola: 1 tries, 53822 fired transitions, 800 secs || 53931 markings, 53930 edges, 73 markings/sec, 800 secs
lola: 1 tries, 54146 fired transitions, 805 secs || 54258 markings, 54257 edges, 65 markings/sec, 805 secs
lola: 1 tries, 54468 fired transitions, 810 secs || 54582 markings, 54581 edges, 65 markings/sec, 810 secs
lola: 1 tries, 54792 fired transitions, 815 secs || 54903 markings, 54902 edges, 64 markings/sec, 815 secs
lola: 1 tries, 55114 fired transitions, 820 secs || 55222 markings, 55221 edges, 64 markings/sec, 820 secs
lola: 1 tries, 55438 fired transitions, 825 secs || 55547 markings, 55546 edges, 65 markings/sec, 825 secs
lola: 1 tries, 55759 fired transitions, 830 secs || 55868 markings, 55867 edges, 64 markings/sec, 830 secs
lola: 1 tries, 56358 fired transitions, 835 secs || 56388 markings, 56387 edges, 104 markings/sec, 835 secs
lola: 1 tries, 56813 fired transitions, 840 secs || 56806 markings, 56805 edges, 84 markings/sec, 840 secs
lola: 1 tries, 57123 fired transitions, 845 secs || 57115 markings, 57114 edges, 62 markings/sec, 845 secs
lola: 1 tries, 57432 fired transitions, 850 secs || 57421 markings, 57420 edges, 61 markings/sec, 850 secs
lola: 1 tries, 57738 fired transitions, 855 secs || 57728 markings, 57727 edges, 61 markings/sec, 855 secs
lola: 1 tries, 58045 fired transitions, 860 secs || 58030 markings, 58029 edges, 60 markings/sec, 860 secs
lola: 1 tries, 58347 fired transitions, 865 secs || 58331 markings, 58330 edges, 60 markings/sec, 865 secs
lola: 1 tries, 58652 fired transitions, 870 secs || 58635 markings, 58634 edges, 61 markings/sec, 870 secs
lola: 1 tries, 58948 fired transitions, 875 secs || 58933 markings, 58932 edges, 60 markings/sec, 875 secs
lola: 1 tries, 59255 fired transitions, 880 secs || 59240 markings, 59239 edges, 61 markings/sec, 880 secs
lola: 1 tries, 59557 fired transitions, 885 secs || 59541 markings, 59540 edges, 60 markings/sec, 885 secs
lola: 1 tries, 59865 fired transitions, 890 secs || 59849 markings, 59848 edges, 62 markings/sec, 890 secs
lola: 1 tries, 60172 fired transitions, 895 secs || 60154 markings, 60153 edges, 61 markings/sec, 895 secs
lola: 1 tries, 60482 fired transitions, 900 secs || 60464 markings, 60463 edges, 62 markings/sec, 900 secs
lola: 1 tries, 60790 fired transitions, 905 secs || 60774 markings, 60773 edges, 62 markings/sec, 905 secs
lola: 1 tries, 61094 fired transitions, 910 secs || 61078 markings, 61077 edges, 61 markings/sec, 910 secs
lola: 1 tries, 61586 fired transitions, 915 secs || 61540 markings, 61539 edges, 92 markings/sec, 915 secs
lola: 1 tries, 61978 fired transitions, 920 secs || 61911 markings, 61910 edges, 74 markings/sec, 920 secs
lola: 1 tries, 62284 fired transitions, 925 secs || 62218 markings, 62217 edges, 61 markings/sec, 925 secs
lola: 1 tries, 62752 fired transitions, 930 secs || 62665 markings, 62664 edges, 89 markings/sec, 930 secs
lola: 1 tries, 63263 fired transitions, 935 secs || 63153 markings, 63152 edges, 98 markings/sec, 935 secs
lola: 1 tries, 63588 fired transitions, 940 secs || 63475 markings, 63474 edges, 64 markings/sec, 940 secs
lola: 1 tries, 63890 fired transitions, 945 secs || 63775 markings, 63774 edges, 60 markings/sec, 945 secs
lola: 1 tries, 64198 fired transitions, 950 secs || 64082 markings, 64081 edges, 61 markings/sec, 950 secs
lola: 1 tries, 64520 fired transitions, 955 secs || 64403 markings, 64402 edges, 64 markings/sec, 955 secs
lola: 1 tries, 64843 fired transitions, 960 secs || 64725 markings, 64724 edges, 64 markings/sec, 960 secs
lola: 1 tries, 65159 fired transitions, 965 secs || 65042 markings, 65041 edges, 63 markings/sec, 965 secs
lola: 1 tries, 65467 fired transitions, 970 secs || 65348 markings, 65347 edges, 61 markings/sec, 970 secs
lola: 1 tries, 65767 fired transitions, 975 secs || 65649 markings, 65648 edges, 60 markings/sec, 975 secs
lola: 1 tries, 66077 fired transitions, 980 secs || 65959 markings, 65958 edges, 62 markings/sec, 980 secs
lola: 1 tries, 66485 fired transitions, 985 secs || 66380 markings, 66379 edges, 84 markings/sec, 985 secs
lola: 1 tries, 66792 fired transitions, 990 secs || 66688 markings, 66687 edges, 62 markings/sec, 990 secs
lola: 1 tries, 67112 fired transitions, 995 secs || 67010 markings, 67009 edges, 64 markings/sec, 995 secs
lola: 1 tries, 67433 fired transitions, 1000 secs || 67333 markings, 67332 edges, 65 markings/sec, 1000 secs
lola: 1 tries, 67753 fired transitions, 1005 secs || 67654 markings, 67653 edges, 64 markings/sec, 1005 secs
lola: 1 tries, 68075 fired transitions, 1010 secs || 67973 markings, 67972 edges, 64 markings/sec, 1010 secs
lola: 1 tries, 68396 fired transitions, 1015 secs || 68296 markings, 68295 edges, 65 markings/sec, 1015 secs
lola: 1 tries, 68718 fired transitions, 1020 secs || 68619 markings, 68618 edges, 65 markings/sec, 1020 secs
lola: 1 tries, 69039 fired transitions, 1025 secs || 68938 markings, 68937 edges, 64 markings/sec, 1025 secs
lola: 1 tries, 69361 fired transitions, 1030 secs || 69259 markings, 69258 edges, 64 markings/sec, 1030 secs
lola: 1 tries, 69684 fired transitions, 1035 secs || 69583 markings, 69582 edges, 65 markings/sec, 1035 secs
lola: 1 tries, 70008 fired transitions, 1040 secs || 69903 markings, 69902 edges, 64 markings/sec, 1040 secs
lola: 1 tries, 70333 fired transitions, 1045 secs || 70224 markings, 70223 edges, 64 markings/sec, 1045 secs
lola: 1 tries, 70693 fired transitions, 1050 secs || 70581 markings, 70580 edges, 71 markings/sec, 1050 secs
lola: 1 tries, 70997 fired transitions, 1055 secs || 70881 markings, 70880 edges, 60 markings/sec, 1055 secs
lola: 1 tries, 71314 fired transitions, 1060 secs || 71198 markings, 71197 edges, 63 markings/sec, 1060 secs
lola: 1 tries, 71644 fired transitions, 1065 secs || 71527 markings, 71526 edges, 66 markings/sec, 1065 secs
lola: 1 tries, 72214 fired transitions, 1070 secs || 72122 markings, 72121 edges, 119 markings/sec, 1070 secs
lola: 1 tries, 72824 fired transitions, 1075 secs || 72755 markings, 72754 edges, 127 markings/sec, 1075 secs
lola: 1 tries, 73340 fired transitions, 1080 secs || 73284 markings, 73283 edges, 106 markings/sec, 1080 secs
lola: 1 tries, 73655 fired transitions, 1085 secs || 73601 markings, 73600 edges, 63 markings/sec, 1085 secs
lola: 1 tries, 73992 fired transitions, 1090 secs || 73932 markings, 73931 edges, 66 markings/sec, 1090 secs
lola: 1 tries, 74339 fired transitions, 1095 secs || 74282 markings, 74281 edges, 70 markings/sec, 1095 secs
lola: 1 tries, 74655 fired transitions, 1100 secs || 74599 markings, 74598 edges, 63 markings/sec, 1100 secs
lola: 1 tries, 75123 fired transitions, 1105 secs || 75088 markings, 75087 edges, 98 markings/sec, 1105 secs
lola: 1 tries, 75719 fired transitions, 1110 secs || 75685 markings, 75684 edges, 119 markings/sec, 1110 secs
lola: 1 tries, 76265 fired transitions, 1115 secs || 76207 markings, 76206 edges, 104 markings/sec, 1115 secs
lola: 1 tries, 76876 fired transitions, 1120 secs || 76833 markings, 76832 edges, 125 markings/sec, 1120 secs
lola: 1 tries, 77440 fired transitions, 1125 secs || 77471 markings, 77470 edges, 128 markings/sec, 1125 secs
lola: 1 tries, 77762 fired transitions, 1130 secs || 77794 markings, 77793 edges, 65 markings/sec, 1130 secs
lola: 1 tries, 78084 fired transitions, 1135 secs || 78118 markings, 78117 edges, 65 markings/sec, 1135 secs
lola: 1 tries, 78407 fired transitions, 1140 secs || 78443 markings, 78442 edges, 65 markings/sec, 1140 secs
lola: 1 tries, 78728 fired transitions, 1145 secs || 78762 markings, 78761 edges, 64 markings/sec, 1145 secs
lola: 1 tries, 79316 fired transitions, 1150 secs || 79301 markings, 79300 edges, 108 markings/sec, 1150 secs
lola: 1 tries, 79920 fired transitions, 1155 secs || 79937 markings, 79936 edges, 127 markings/sec, 1155 secs
lola: 1 tries, 80524 fired transitions, 1160 secs || 80569 markings, 80568 edges, 126 markings/sec, 1160 secs
lola: 1 tries, 81122 fired transitions, 1165 secs || 81156 markings, 81155 edges, 117 markings/sec, 1165 secs
lola: 1 tries, 81712 fired transitions, 1170 secs || 81781 markings, 81780 edges, 125 markings/sec, 1170 secs
lola: 1 tries, 82163 fired transitions, 1175 secs || 82272 markings, 82271 edges, 98 markings/sec, 1175 secs
lola: 1 tries, 82475 fired transitions, 1180 secs || 82582 markings, 82581 edges, 62 markings/sec, 1180 secs
lola: 1 tries, 82790 fired transitions, 1185 secs || 82897 markings, 82896 edges, 63 markings/sec, 1185 secs
lola: 1 tries, 83107 fired transitions, 1190 secs || 83215 markings, 83214 edges, 64 markings/sec, 1190 secs
lola: 1 tries, 83423 fired transitions, 1195 secs || 83529 markings, 83528 edges, 63 markings/sec, 1195 secs
lola: 1 tries, 83759 fired transitions, 1200 secs || 83872 markings, 83871 edges, 69 markings/sec, 1200 secs
lola: 1 tries, 84209 fired transitions, 1205 secs || 84362 markings, 84361 edges, 98 markings/sec, 1205 secs
lola: 1 tries, 84533 fired transitions, 1210 secs || 84686 markings, 84685 edges, 65 markings/sec, 1210 secs
lola: 1 tries, 85004 fired transitions, 1215 secs || 85197 markings, 85196 edges, 102 markings/sec, 1215 secs
lola: 1 tries, 85406 fired transitions, 1220 secs || 85613 markings, 85612 edges, 83 markings/sec, 1220 secs
lola: 1 tries, 85737 fired transitions, 1225 secs || 85941 markings, 85940 edges, 66 markings/sec, 1225 secs
lola: 1 tries, 86059 fired transitions, 1230 secs || 86264 markings, 86263 edges, 65 markings/sec, 1230 secs
lola: 1 tries, 86367 fired transitions, 1235 secs || 86573 markings, 86572 edges, 62 markings/sec, 1235 secs
lola: 1 tries, 86694 fired transitions, 1240 secs || 86896 markings, 86895 edges, 65 markings/sec, 1240 secs
lola: 1 tries, 87014 fired transitions, 1245 secs || 87219 markings, 87218 edges, 65 markings/sec, 1245 secs
lola: 1 tries, 87334 fired transitions, 1250 secs || 87535 markings, 87534 edges, 63 markings/sec, 1250 secs
lola: 1 tries, 87660 fired transitions, 1255 secs || 87860 markings, 87859 edges, 65 markings/sec, 1255 secs
lola: 1 tries, 87984 fired transitions, 1260 secs || 88181 markings, 88180 edges, 64 markings/sec, 1260 secs
lola: 1 tries, 88288 fired transitions, 1265 secs || 88487 markings, 88486 edges, 61 markings/sec, 1265 secs
lola: 1 tries, 88595 fired transitions, 1270 secs || 88791 markings, 88790 edges, 61 markings/sec, 1270 secs
lola: 1 tries, 88910 fired transitions, 1275 secs || 89104 markings, 89103 edges, 63 markings/sec, 1275 secs
lola: 1 tries, 89207 fired transitions, 1280 secs || 89402 markings, 89401 edges, 60 markings/sec, 1280 secs
lola: 1 tries, 89493 fired transitions, 1285 secs || 89686 markings, 89685 edges, 57 markings/sec, 1285 secs
lola: 1 tries, 89769 fired transitions, 1290 secs || 89964 markings, 89963 edges, 56 markings/sec, 1290 secs
lola: 1 tries, 90056 fired transitions, 1295 secs || 90251 markings, 90250 edges, 57 markings/sec, 1295 secs
lola: 1 tries, 90339 fired transitions, 1300 secs || 90533 markings, 90532 edges, 56 markings/sec, 1300 secs
lola: 1 tries, 90775 fired transitions, 1305 secs || 91016 markings, 91015 edges, 97 markings/sec, 1305 secs
lola: 1 tries, 91311 fired transitions, 1310 secs || 91562 markings, 91561 edges, 109 markings/sec, 1310 secs
lola: 1 tries, 91892 fired transitions, 1315 secs || 92129 markings, 92128 edges, 113 markings/sec, 1315 secs
lola: 1 tries, 92488 fired transitions, 1320 secs || 92693 markings, 92692 edges, 113 markings/sec, 1320 secs
lola: 1 tries, 93056 fired transitions, 1325 secs || 93293 markings, 93292 edges, 120 markings/sec, 1325 secs
lola: 1 tries, 93613 fired transitions, 1330 secs || 93890 markings, 93889 edges, 119 markings/sec, 1330 secs
lola: 1 tries, 94175 fired transitions, 1335 secs || 94472 markings, 94471 edges, 116 markings/sec, 1335 secs
lola: 1 tries, 94744 fired transitions, 1340 secs || 95046 markings, 95045 edges, 115 markings/sec, 1340 secs
lola: 1 tries, 95276 fired transitions, 1345 secs || 95626 markings, 95625 edges, 116 markings/sec, 1345 secs
lola: 1 tries, 95814 fired transitions, 1350 secs || 96206 markings, 96205 edges, 116 markings/sec, 1350 secs
lola: 1 tries, 96147 fired transitions, 1355 secs || 96545 markings, 96544 edges, 68 markings/sec, 1355 secs
lola: 1 tries, 96611 fired transitions, 1360 secs || 97037 markings, 97036 edges, 98 markings/sec, 1360 secs
lola: 1 tries, 97123 fired transitions, 1365 secs || 97565 markings, 97564 edges, 106 markings/sec, 1365 secs
lola: 1 tries, 97408 fired transitions, 1370 secs || 97848 markings, 97847 edges, 57 markings/sec, 1370 secs
lola: 1 tries, 97715 fired transitions, 1375 secs || 98142 markings, 98141 edges, 59 markings/sec, 1375 secs
lola: 1 tries, 98273 fired transitions, 1380 secs || 98774 markings, 98773 edges, 126 markings/sec, 1380 secs
lola: 1 tries, 98851 fired transitions, 1385 secs || 99378 markings, 99377 edges, 121 markings/sec, 1385 secs
lola: 1 tries, 99451 fired transitions, 1390 secs || 99980 markings, 99979 edges, 120 markings/sec, 1390 secs
lola: 1 tries, 100068 fired transitions, 1395 secs || 100542 markings, 100541 edges, 112 markings/sec, 1395 secs
lola: 1 tries, 100688 fired transitions, 1400 secs || 101109 markings, 101108 edges, 113 markings/sec, 1400 secs
lola: 1 tries, 101302 fired transitions, 1405 secs || 101714 markings, 101713 edges, 121 markings/sec, 1405 secs
lola: 1 tries, 101919 fired transitions, 1410 secs || 102327 markings, 102326 edges, 123 markings/sec, 1410 secs
lola: 1 tries, 102523 fired transitions, 1415 secs || 102927 markings, 102926 edges, 120 markings/sec, 1415 secs
lola: 1 tries, 103138 fired transitions, 1420 secs || 103524 markings, 103523 edges, 119 markings/sec, 1420 secs
lola: 1 tries, 103751 fired transitions, 1425 secs || 104086 markings, 104085 edges, 112 markings/sec, 1425 secs
lola: 1 tries, 104366 fired transitions, 1430 secs || 104634 markings, 104633 edges, 110 markings/sec, 1430 secs
lola: 1 tries, 104981 fired transitions, 1435 secs || 105232 markings, 105231 edges, 120 markings/sec, 1435 secs
lola: 1 tries, 105605 fired transitions, 1440 secs || 105853 markings, 105852 edges, 124 markings/sec, 1440 secs
lola: 1 tries, 106246 fired transitions, 1445 secs || 106451 markings, 106450 edges, 120 markings/sec, 1445 secs
lola: 1 tries, 106882 fired transitions, 1450 secs || 107068 markings, 107067 edges, 123 markings/sec, 1450 secs
lola: 1 tries, 107508 fired transitions, 1455 secs || 107691 markings, 107690 edges, 125 markings/sec, 1455 secs
lola: 1 tries, 108133 fired transitions, 1460 secs || 108317 markings, 108316 edges, 125 markings/sec, 1460 secs
lola: 1 tries, 108759 fired transitions, 1465 secs || 108940 markings, 108939 edges, 125 markings/sec, 1465 secs
lola: 1 tries, 109297 fired transitions, 1470 secs || 109580 markings, 109579 edges, 128 markings/sec, 1470 secs
lola: 1 tries, 109827 fired transitions, 1475 secs || 110219 markings, 110218 edges, 128 markings/sec, 1475 secs
lola: 1 tries, 110359 fired transitions, 1480 secs || 110870 markings, 110869 edges, 130 markings/sec, 1480 secs
lola: 1 tries, 110892 fired transitions, 1485 secs || 111523 markings, 111522 edges, 131 markings/sec, 1485 secs
lola: 1 tries, 111435 fired transitions, 1490 secs || 112168 markings, 112167 edges, 129 markings/sec, 1490 secs
lola: 1 tries, 111988 fired transitions, 1495 secs || 112814 markings, 112813 edges, 129 markings/sec, 1495 secs
lola: 1 tries, 112536 fired transitions, 1500 secs || 113456 markings, 113455 edges, 128 markings/sec, 1500 secs
lola: 1 tries, 112916 fired transitions, 1505 secs || 113863 markings, 113862 edges, 81 markings/sec, 1505 secs
lola: 1 tries, 113246 fired transitions, 1510 secs || 114186 markings, 114185 edges, 65 markings/sec, 1510 secs
lola: 1 tries, 113573 fired transitions, 1515 secs || 114510 markings, 114509 edges, 65 markings/sec, 1515 secs
lola: 1 tries, 113895 fired transitions, 1520 secs || 114831 markings, 114830 edges, 64 markings/sec, 1520 secs
lola: 1 tries, 114217 fired transitions, 1525 secs || 115155 markings, 115154 edges, 65 markings/sec, 1525 secs
lola: 1 tries, 114539 fired transitions, 1530 secs || 115475 markings, 115474 edges, 64 markings/sec, 1530 secs
lola: 1 tries, 114864 fired transitions, 1535 secs || 115797 markings, 115796 edges, 64 markings/sec, 1535 secs
lola: 1 tries, 115177 fired transitions, 1540 secs || 116110 markings, 116109 edges, 63 markings/sec, 1540 secs
lola: 1 tries, 115478 fired transitions, 1545 secs || 116409 markings, 116408 edges, 60 markings/sec, 1545 secs
lola: 1 tries, 115772 fired transitions, 1550 secs || 116704 markings, 116703 edges, 59 markings/sec, 1550 secs
lola: 1 tries, 116061 fired transitions, 1555 secs || 116993 markings, 116992 edges, 58 markings/sec, 1555 secs
lola: 1 tries, 116373 fired transitions, 1560 secs || 117307 markings, 117306 edges, 63 markings/sec, 1560 secs
lola: 1 tries, 116675 fired transitions, 1565 secs || 117610 markings, 117609 edges, 61 markings/sec, 1565 secs
lola: 1 tries, 116968 fired transitions, 1570 secs || 117902 markings, 117901 edges, 58 markings/sec, 1570 secs
lola: 1 tries, 117261 fired transitions, 1575 secs || 118194 markings, 118193 edges, 58 markings/sec, 1575 secs
lola: 1 tries, 117558 fired transitions, 1580 secs || 118490 markings, 118489 edges, 59 markings/sec, 1580 secs
lola: 1 tries, 117868 fired transitions, 1585 secs || 118798 markings, 118797 edges, 62 markings/sec, 1585 secs
lola: 1 tries, 118181 fired transitions, 1590 secs || 119115 markings, 119114 edges, 63 markings/sec, 1590 secs
lola: 1 tries, 118486 fired transitions, 1595 secs || 119421 markings, 119420 edges, 61 markings/sec, 1595 secs
lola: 1 tries, 118780 fired transitions, 1600 secs || 119715 markings, 119714 edges, 59 markings/sec, 1600 secs
lola: 1 tries, 119078 fired transitions, 1605 secs || 120014 markings, 120013 edges, 60 markings/sec, 1605 secs
lola: 1 tries, 119385 fired transitions, 1610 secs || 120319 markings, 120318 edges, 61 markings/sec, 1610 secs
lola: 1 tries, 119696 fired transitions, 1615 secs || 120628 markings, 120627 edges, 62 markings/sec, 1615 secs
lola: 1 tries, 120191 fired transitions, 1620 secs || 121103 markings, 121102 edges, 95 markings/sec, 1620 secs
lola: 1 tries, 120523 fired transitions, 1625 secs || 121436 markings, 121435 edges, 67 markings/sec, 1625 secs
lola: 1 tries, 120866 fired transitions, 1630 secs || 121773 markings, 121772 edges, 67 markings/sec, 1630 secs
lola: 1 tries, 121446 fired transitions, 1635 secs || 122368 markings, 122367 edges, 119 markings/sec, 1635 secs
lola: 1 tries, 122048 fired transitions, 1640 secs || 122970 markings, 122969 edges, 120 markings/sec, 1640 secs
lola: 1 tries, 122637 fired transitions, 1645 secs || 123554 markings, 123553 edges, 117 markings/sec, 1645 secs
lola: 1 tries, 123254 fired transitions, 1650 secs || 124140 markings, 124139 edges, 117 markings/sec, 1650 secs
lola: 1 tries, 123864 fired transitions, 1655 secs || 124714 markings, 124713 edges, 115 markings/sec, 1655 secs
lola: 1 tries, 124443 fired transitions, 1660 secs || 125281 markings, 125280 edges, 113 markings/sec, 1660 secs
lola: 1 tries, 124737 fired transitions, 1665 secs || 125577 markings, 125576 edges, 59 markings/sec, 1665 secs
lola: 1 tries, 125086 fired transitions, 1670 secs || 125923 markings, 125922 edges, 69 markings/sec, 1670 secs
lola: 1 tries, 125677 fired transitions, 1675 secs || 126503 markings, 126502 edges, 116 markings/sec, 1675 secs
lola: 1 tries, 126256 fired transitions, 1680 secs || 127107 markings, 127106 edges, 121 markings/sec, 1680 secs
lola: 1 tries, 126832 fired transitions, 1685 secs || 127720 markings, 127719 edges, 123 markings/sec, 1685 secs
lola: 1 tries, 127350 fired transitions, 1690 secs || 128265 markings, 128264 edges, 109 markings/sec, 1690 secs
lola: 1 tries, 127843 fired transitions, 1695 secs || 128765 markings, 128764 edges, 100 markings/sec, 1695 secs
lola: 1 tries, 128468 fired transitions, 1700 secs || 129380 markings, 129379 edges, 123 markings/sec, 1700 secs
lola: 1 tries, 129062 fired transitions, 1705 secs || 129993 markings, 129992 edges, 123 markings/sec, 1705 secs
lola: 1 tries, 129646 fired transitions, 1710 secs || 130635 markings, 130634 edges, 128 markings/sec, 1710 secs
lola: 1 tries, 130209 fired transitions, 1715 secs || 131283 markings, 131282 edges, 130 markings/sec, 1715 secs
lola: 1 tries, 130785 fired transitions, 1720 secs || 131922 markings, 131921 edges, 128 markings/sec, 1720 secs
lola: 1 tries, 131387 fired transitions, 1725 secs || 132566 markings, 132565 edges, 129 markings/sec, 1725 secs
lola: 1 tries, 132001 fired transitions, 1730 secs || 133203 markings, 133202 edges, 127 markings/sec, 1730 secs
lola: 1 tries, 132575 fired transitions, 1735 secs || 133850 markings, 133849 edges, 129 markings/sec, 1735 secs
lola: 1 tries, 133169 fired transitions, 1740 secs || 134493 markings, 134492 edges, 129 markings/sec, 1740 secs
lola: 1 tries, 133785 fired transitions, 1745 secs || 135135 markings, 135134 edges, 128 markings/sec, 1745 secs
lola: 1 tries, 134384 fired transitions, 1750 secs || 135781 markings, 135780 edges, 129 markings/sec, 1750 secs
lola: 1 tries, 134952 fired transitions, 1755 secs || 136425 markings, 136424 edges, 129 markings/sec, 1755 secs
lola: 1 tries, 135511 fired transitions, 1760 secs || 137053 markings, 137052 edges, 126 markings/sec, 1760 secs
lola: 1 tries, 136080 fired transitions, 1765 secs || 137645 markings, 137644 edges, 118 markings/sec, 1765 secs
lola: 1 tries, 136644 fired transitions, 1770 secs || 138233 markings, 138232 edges, 118 markings/sec, 1770 secs
lola: 1 tries, 137048 fired transitions, 1775 secs || 138666 markings, 138665 edges, 87 markings/sec, 1775 secs
lola: 1 tries, 137652 fired transitions, 1780 secs || 139311 markings, 139310 edges, 129 markings/sec, 1780 secs
lola: 1 tries, 138261 fired transitions, 1785 secs || 139957 markings, 139956 edges, 129 markings/sec, 1785 secs
lola: 1 tries, 138868 fired transitions, 1790 secs || 140600 markings, 140599 edges, 129 markings/sec, 1790 secs
lola: 1 tries, 139478 fired transitions, 1795 secs || 141244 markings, 141243 edges, 129 markings/sec, 1795 secs
lola: 1 tries, 139975 fired transitions, 1800 secs || 141702 markings, 141701 edges, 92 markings/sec, 1800 secs
lola: 1 tries, 140564 fired transitions, 1805 secs || 142300 markings, 142299 edges, 120 markings/sec, 1805 secs
lola: 1 tries, 141133 fired transitions, 1810 secs || 142911 markings, 142910 edges, 122 markings/sec, 1810 secs
lola: 1 tries, 141704 fired transitions, 1815 secs || 143527 markings, 143526 edges, 123 markings/sec, 1815 secs
lola: 1 tries, 142280 fired transitions, 1820 secs || 144150 markings, 144149 edges, 125 markings/sec, 1820 secs
lola: 1 tries, 142873 fired transitions, 1825 secs || 144756 markings, 144755 edges, 121 markings/sec, 1825 secs
lola: 1 tries, 143468 fired transitions, 1830 secs || 145323 markings, 145322 edges, 113 markings/sec, 1830 secs
lola: 1 tries, 144063 fired transitions, 1835 secs || 145881 markings, 145880 edges, 112 markings/sec, 1835 secs
lola: 1 tries, 144541 fired transitions, 1840 secs || 146372 markings, 146371 edges, 98 markings/sec, 1840 secs
lola: 1 tries, 145155 fired transitions, 1845 secs || 146985 markings, 146984 edges, 123 markings/sec, 1845 secs
lola: 1 tries, 145784 fired transitions, 1850 secs || 147603 markings, 147602 edges, 124 markings/sec, 1850 secs
lola: 1 tries, 146374 fired transitions, 1855 secs || 148198 markings, 148197 edges, 119 markings/sec, 1855 secs
lola: 1 tries, 146985 fired transitions, 1860 secs || 148759 markings, 148758 edges, 112 markings/sec, 1860 secs
lola: 1 tries, 147581 fired transitions, 1865 secs || 149329 markings, 149328 edges, 114 markings/sec, 1865 secs
lola: 1 tries, 148148 fired transitions, 1870 secs || 149946 markings, 149945 edges, 123 markings/sec, 1870 secs
lola: 1 tries, 148736 fired transitions, 1875 secs || 150563 markings, 150562 edges, 123 markings/sec, 1875 secs
lola: 1 tries, 149322 fired transitions, 1880 secs || 151164 markings, 151163 edges, 120 markings/sec, 1880 secs
lola: 1 tries, 149906 fired transitions, 1885 secs || 151766 markings, 151765 edges, 120 markings/sec, 1885 secs
lola: 1 tries, 150517 fired transitions, 1890 secs || 152370 markings, 152369 edges, 121 markings/sec, 1890 secs
lola: 1 tries, 151129 fired transitions, 1895 secs || 152971 markings, 152970 edges, 120 markings/sec, 1895 secs
lola: 1 tries, 151740 fired transitions, 1900 secs || 153558 markings, 153557 edges, 117 markings/sec, 1900 secs
lola: 1 tries, 152359 fired transitions, 1905 secs || 154147 markings, 154146 edges, 118 markings/sec, 1905 secs
lola: 1 tries, 152968 fired transitions, 1910 secs || 154730 markings, 154729 edges, 117 markings/sec, 1910 secs
lola: 1 tries, 153585 fired transitions, 1915 secs || 155314 markings, 155313 edges, 117 markings/sec, 1915 secs
lola: 1 tries, 154202 fired transitions, 1920 secs || 155901 markings, 155900 edges, 117 markings/sec, 1920 secs
lola: 1 tries, 154807 fired transitions, 1925 secs || 156483 markings, 156482 edges, 116 markings/sec, 1925 secs
lola: 1 tries, 155420 fired transitions, 1930 secs || 157065 markings, 157064 edges, 116 markings/sec, 1930 secs
lola: 1 tries, 156022 fired transitions, 1935 secs || 157644 markings, 157643 edges, 116 markings/sec, 1935 secs
lola: 1 tries, 156632 fired transitions, 1940 secs || 158221 markings, 158220 edges, 115 markings/sec, 1940 secs
lola: 1 tries, 157268 fired transitions, 1945 secs || 158804 markings, 158803 edges, 117 markings/sec, 1945 secs
lola: 1 tries, 157914 fired transitions, 1950 secs || 159387 markings, 159386 edges, 117 markings/sec, 1950 secs
lola: 1 tries, 158558 fired transitions, 1955 secs || 159954 markings, 159953 edges, 113 markings/sec, 1955 secs
lola: 1 tries, 159187 fired transitions, 1960 secs || 160538 markings, 160537 edges, 117 markings/sec, 1960 secs
lola: 1 tries, 159804 fired transitions, 1965 secs || 161120 markings, 161119 edges, 116 markings/sec, 1965 secs
lola: 1 tries, 160393 fired transitions, 1970 secs || 161724 markings, 161723 edges, 121 markings/sec, 1970 secs
lola: 1 tries, 160989 fired transitions, 1975 secs || 162326 markings, 162325 edges, 120 markings/sec, 1975 secs
lola: 1 tries, 161580 fired transitions, 1980 secs || 162928 markings, 162927 edges, 120 markings/sec, 1980 secs
lola: 1 tries, 162171 fired transitions, 1985 secs || 163547 markings, 163546 edges, 124 markings/sec, 1985 secs
lola: 1 tries, 162769 fired transitions, 1990 secs || 164165 markings, 164164 edges, 124 markings/sec, 1990 secs
lola: 1 tries, 163363 fired transitions, 1995 secs || 164786 markings, 164785 edges, 124 markings/sec, 1995 secs
lola: 1 tries, 163983 fired transitions, 2000 secs || 165406 markings, 165405 edges, 124 markings/sec, 2000 secs
lola: 1 tries, 164580 fired transitions, 2005 secs || 166029 markings, 166028 edges, 125 markings/sec, 2005 secs
lola: 1 tries, 165172 fired transitions, 2010 secs || 166650 markings, 166649 edges, 124 markings/sec, 2010 secs
lola: 1 tries, 165770 fired transitions, 2015 secs || 167267 markings, 167266 edges, 123 markings/sec, 2015 secs
lola: 1 tries, 166369 fired transitions, 2020 secs || 167888 markings, 167887 edges, 124 markings/sec, 2020 secs
lola: 1 tries, 166974 fired transitions, 2025 secs || 168521 markings, 168520 edges, 127 markings/sec, 2025 secs
lola: 1 tries, 167599 fired transitions, 2030 secs || 169162 markings, 169161 edges, 128 markings/sec, 2030 secs
lola: 1 tries, 168219 fired transitions, 2035 secs || 169812 markings, 169811 edges, 130 markings/sec, 2035 secs
lola: 1 tries, 168836 fired transitions, 2040 secs || 170461 markings, 170460 edges, 130 markings/sec, 2040 secs
lola: 1 tries, 169458 fired transitions, 2045 secs || 171111 markings, 171110 edges, 130 markings/sec, 2045 secs
lola: 1 tries, 170083 fired transitions, 2050 secs || 171747 markings, 171746 edges, 127 markings/sec, 2050 secs
lola: 1 tries, 170685 fired transitions, 2055 secs || 172373 markings, 172372 edges, 125 markings/sec, 2055 secs
lola: 1 tries, 171269 fired transitions, 2060 secs || 172964 markings, 172963 edges, 118 markings/sec, 2060 secs
lola: 1 tries, 171768 fired transitions, 2065 secs || 173525 markings, 173524 edges, 112 markings/sec, 2065 secs
lola: 1 tries, 172302 fired transitions, 2070 secs || 174056 markings, 174055 edges, 106 markings/sec, 2070 secs
lola: 1 tries, 172841 fired transitions, 2075 secs || 174610 markings, 174609 edges, 111 markings/sec, 2075 secs
lola: 1 tries, 173383 fired transitions, 2080 secs || 175213 markings, 175212 edges, 121 markings/sec, 2080 secs
lola: 1 tries, 173964 fired transitions, 2085 secs || 175795 markings, 175794 edges, 116 markings/sec, 2085 secs
lola: 1 tries, 174545 fired transitions, 2090 secs || 176349 markings, 176348 edges, 111 markings/sec, 2090 secs
lola: 1 tries, 175087 fired transitions, 2095 secs || 176904 markings, 176903 edges, 111 markings/sec, 2095 secs
lola: 1 tries, 175653 fired transitions, 2100 secs || 177466 markings, 177465 edges, 112 markings/sec, 2100 secs
lola: 1 tries, 176221 fired transitions, 2105 secs || 178061 markings, 178060 edges, 119 markings/sec, 2105 secs
lola: 1 tries, 176786 fired transitions, 2110 secs || 178637 markings, 178636 edges, 115 markings/sec, 2110 secs
lola: 1 tries, 177344 fired transitions, 2115 secs || 179194 markings, 179193 edges, 111 markings/sec, 2115 secs
lola: 1 tries, 177888 fired transitions, 2120 secs || 179794 markings, 179793 edges, 120 markings/sec, 2120 secs
lola: 1 tries, 178450 fired transitions, 2125 secs || 180410 markings, 180409 edges, 123 markings/sec, 2125 secs
lola: 1 tries, 179025 fired transitions, 2130 secs || 180991 markings, 180990 edges, 116 markings/sec, 2130 secs
lola: 1 tries, 179600 fired transitions, 2135 secs || 181624 markings, 181623 edges, 127 markings/sec, 2135 secs
lola: 1 tries, 180177 fired transitions, 2140 secs || 182236 markings, 182235 edges, 122 markings/sec, 2140 secs
lola: 1 tries, 180789 fired transitions, 2145 secs || 182841 markings, 182840 edges, 121 markings/sec, 2145 secs
lola: 1 tries, 181394 fired transitions, 2150 secs || 183432 markings, 183431 edges, 118 markings/sec, 2150 secs
lola: 1 tries, 182018 fired transitions, 2155 secs || 184024 markings, 184023 edges, 118 markings/sec, 2155 secs
lola: 1 tries, 182640 fired transitions, 2160 secs || 184646 markings, 184645 edges, 124 markings/sec, 2160 secs
lola: 1 tries, 183255 fired transitions, 2165 secs || 185284 markings, 185283 edges, 128 markings/sec, 2165 secs
lola: 1 tries, 183865 fired transitions, 2170 secs || 185911 markings, 185910 edges, 125 markings/sec, 2170 secs
lola: 1 tries, 184471 fired transitions, 2175 secs || 186540 markings, 186539 edges, 126 markings/sec, 2175 secs
lola: 1 tries, 185060 fired transitions, 2180 secs || 187170 markings, 187169 edges, 126 markings/sec, 2180 secs
lola: 1 tries, 185660 fired transitions, 2185 secs || 187792 markings, 187791 edges, 124 markings/sec, 2185 secs
lola: 1 tries, 186256 fired transitions, 2190 secs || 188421 markings, 188420 edges, 126 markings/sec, 2190 secs
lola: 1 tries, 186855 fired transitions, 2195 secs || 189050 markings, 189049 edges, 126 markings/sec, 2195 secs
lola: 1 tries, 187453 fired transitions, 2200 secs || 189674 markings, 189673 edges, 125 markings/sec, 2200 secs
lola: 1 tries, 188056 fired transitions, 2205 secs || 190301 markings, 190300 edges, 125 markings/sec, 2205 secs
lola: 1 tries, 188675 fired transitions, 2210 secs || 190923 markings, 190922 edges, 124 markings/sec, 2210 secs
lola: 1 tries, 189294 fired transitions, 2215 secs || 191551 markings, 191550 edges, 126 markings/sec, 2215 secs
lola: 1 tries, 189923 fired transitions, 2220 secs || 192169 markings, 192168 edges, 124 markings/sec, 2220 secs
lola: 1 tries, 190548 fired transitions, 2225 secs || 192791 markings, 192790 edges, 124 markings/sec, 2225 secs
lola: 1 tries, 191175 fired transitions, 2230 secs || 193413 markings, 193412 edges, 124 markings/sec, 2230 secs
lola: 1 tries, 191790 fired transitions, 2235 secs || 194042 markings, 194041 edges, 126 markings/sec, 2235 secs
lola: 1 tries, 192399 fired transitions, 2240 secs || 194672 markings, 194671 edges, 126 markings/sec, 2240 secs
lola: 1 tries, 193018 fired transitions, 2245 secs || 195296 markings, 195295 edges, 125 markings/sec, 2245 secs
lola: 1 tries, 193636 fired transitions, 2250 secs || 195923 markings, 195922 edges, 125 markings/sec, 2250 secs
lola: 1 tries, 194239 fired transitions, 2255 secs || 196543 markings, 196542 edges, 124 markings/sec, 2255 secs
lola: 1 tries, 194858 fired transitions, 2260 secs || 197168 markings, 197167 edges, 125 markings/sec, 2260 secs
lola: 1 tries, 195474 fired transitions, 2265 secs || 197803 markings, 197802 edges, 127 markings/sec, 2265 secs
lola: 1 tries, 196095 fired transitions, 2270 secs || 198432 markings, 198431 edges, 126 markings/sec, 2270 secs
lola: 1 tries, 196722 fired transitions, 2275 secs || 199061 markings, 199060 edges, 126 markings/sec, 2275 secs
lola: 1 tries, 197346 fired transitions, 2280 secs || 199696 markings, 199695 edges, 127 markings/sec, 2280 secs
lola: 1 tries, 197965 fired transitions, 2285 secs || 200346 markings, 200345 edges, 130 markings/sec, 2285 secs
lola: 1 tries, 198587 fired transitions, 2290 secs || 200988 markings, 200987 edges, 128 markings/sec, 2290 secs
lola: 1 tries, 199180 fired transitions, 2295 secs || 201643 markings, 201642 edges, 131 markings/sec, 2295 secs
lola: 1 tries, 199792 fired transitions, 2300 secs || 202292 markings, 202291 edges, 130 markings/sec, 2300 secs
lola: 1 tries, 200413 fired transitions, 2305 secs || 202930 markings, 202929 edges, 128 markings/sec, 2305 secs
lola: 1 tries, 201041 fired transitions, 2310 secs || 203572 markings, 203571 edges, 128 markings/sec, 2310 secs
lola: 1 tries, 201658 fired transitions, 2315 secs || 204214 markings, 204213 edges, 128 markings/sec, 2315 secs
lola: 1 tries, 202270 fired transitions, 2320 secs || 204864 markings, 204863 edges, 130 markings/sec, 2320 secs
lola: 1 tries, 202915 fired transitions, 2325 secs || 205510 markings, 205509 edges, 129 markings/sec, 2325 secs
lola: 1 tries, 203562 fired transitions, 2330 secs || 206148 markings, 206147 edges, 128 markings/sec, 2330 secs
lola: 1 tries, 204208 fired transitions, 2335 secs || 206788 markings, 206787 edges, 128 markings/sec, 2335 secs
lola: 1 tries, 204847 fired transitions, 2340 secs || 207427 markings, 207426 edges, 128 markings/sec, 2340 secs
lola: 1 tries, 205467 fired transitions, 2345 secs || 208082 markings, 208081 edges, 131 markings/sec, 2345 secs
lola: 1 tries, 206091 fired transitions, 2350 secs || 208731 markings, 208730 edges, 130 markings/sec, 2350 secs
lola: 1 tries, 206548 fired transitions, 2355 secs || 209196 markings, 209195 edges, 93 markings/sec, 2355 secs
lola: 1 tries, 206879 fired transitions, 2360 secs || 209526 markings, 209526 edges, 66 markings/sec, 2360 secs
lola: 1 tries, 207211 fired transitions, 2365 secs || 209855 markings, 209854 edges, 66 markings/sec, 2365 secs
lola: 1 tries, 207536 fired transitions, 2370 secs || 210180 markings, 210179 edges, 65 markings/sec, 2370 secs
lola: 1 tries, 207860 fired transitions, 2375 secs || 210503 markings, 210502 edges, 65 markings/sec, 2375 secs
lola: 1 tries, 208189 fired transitions, 2380 secs || 210830 markings, 210829 edges, 65 markings/sec, 2380 secs
lola: 1 tries, 208517 fired transitions, 2385 secs || 211159 markings, 211158 edges, 66 markings/sec, 2385 secs
lola: 1 tries, 208844 fired transitions, 2390 secs || 211485 markings, 211484 edges, 65 markings/sec, 2390 secs
lola: 1 tries, 209169 fired transitions, 2395 secs || 211811 markings, 211810 edges, 65 markings/sec, 2395 secs
lola: 1 tries, 209496 fired transitions, 2400 secs || 212138 markings, 212137 edges, 65 markings/sec, 2400 secs
lola: 1 tries, 209825 fired transitions, 2405 secs || 212468 markings, 212467 edges, 66 markings/sec, 2405 secs
lola: 1 tries, 210154 fired transitions, 2410 secs || 212797 markings, 212796 edges, 66 markings/sec, 2410 secs
lola: 1 tries, 210484 fired transitions, 2415 secs || 213126 markings, 213125 edges, 66 markings/sec, 2415 secs
lola: 1 tries, 210813 fired transitions, 2420 secs || 213455 markings, 213454 edges, 66 markings/sec, 2420 secs
lola: 1 tries, 211140 fired transitions, 2425 secs || 213782 markings, 213781 edges, 65 markings/sec, 2425 secs
lola: 1 tries, 211468 fired transitions, 2430 secs || 214105 markings, 214104 edges, 65 markings/sec, 2430 secs
lola: 1 tries, 211795 fired transitions, 2435 secs || 214430 markings, 214429 edges, 65 markings/sec, 2435 secs
lola: 1 tries, 212125 fired transitions, 2440 secs || 214755 markings, 214754 edges, 65 markings/sec, 2440 secs
lola: 1 tries, 212452 fired transitions, 2445 secs || 215082 markings, 215081 edges, 65 markings/sec, 2445 secs
lola: 1 tries, 212780 fired transitions, 2450 secs || 215407 markings, 215406 edges, 65 markings/sec, 2450 secs
lola: 1 tries, 213109 fired transitions, 2455 secs || 215736 markings, 215735 edges, 66 markings/sec, 2455 secs
lola: 1 tries, 213436 fired transitions, 2460 secs || 216064 markings, 216063 edges, 66 markings/sec, 2460 secs
lola: 1 tries, 213764 fired transitions, 2465 secs || 216390 markings, 216389 edges, 65 markings/sec, 2465 secs
lola: 1 tries, 214089 fired transitions, 2470 secs || 216717 markings, 216716 edges, 65 markings/sec, 2470 secs
lola: 1 tries, 214414 fired transitions, 2475 secs || 217044 markings, 217043 edges, 65 markings/sec, 2475 secs
lola: 1 tries, 214741 fired transitions, 2480 secs || 217370 markings, 217369 edges, 65 markings/sec, 2480 secs
lola: 1 tries, 215069 fired transitions, 2485 secs || 217697 markings, 217696 edges, 65 markings/sec, 2485 secs
lola: 1 tries, 215400 fired transitions, 2490 secs || 218024 markings, 218023 edges, 65 markings/sec, 2490 secs
lola: 1 tries, 215731 fired transitions, 2495 secs || 218349 markings, 218348 edges, 65 markings/sec, 2495 secs
lola: 1 tries, 216056 fired transitions, 2500 secs || 218675 markings, 218674 edges, 65 markings/sec, 2500 secs
lola: 1 tries, 216379 fired transitions, 2505 secs || 219000 markings, 218999 edges, 65 markings/sec, 2505 secs
lola: 1 tries, 216706 fired transitions, 2510 secs || 219326 markings, 219325 edges, 65 markings/sec, 2510 secs
lola: 1 tries, 217031 fired transitions, 2515 secs || 219652 markings, 219651 edges, 65 markings/sec, 2515 secs
lola: 1 tries, 217358 fired transitions, 2520 secs || 219978 markings, 219977 edges, 65 markings/sec, 2520 secs
lola: 1 tries, 217686 fired transitions, 2525 secs || 220304 markings, 220303 edges, 65 markings/sec, 2525 secs
lola: 1 tries, 218009 fired transitions, 2530 secs || 220629 markings, 220628 edges, 65 markings/sec, 2530 secs
lola: 1 tries, 218331 fired transitions, 2535 secs || 220951 markings, 220950 edges, 64 markings/sec, 2535 secs
lola: 1 tries, 218660 fired transitions, 2540 secs || 221276 markings, 221275 edges, 65 markings/sec, 2540 secs
lola: 1 tries, 218986 fired transitions, 2545 secs || 221600 markings, 221599 edges, 65 markings/sec, 2545 secs
lola: 1 tries, 219310 fired transitions, 2550 secs || 221926 markings, 221925 edges, 65 markings/sec, 2550 secs
lola: 1 tries, 219637 fired transitions, 2555 secs || 222252 markings, 222251 edges, 65 markings/sec, 2555 secs
lola: 1 tries, 219963 fired transitions, 2560 secs || 222578 markings, 222577 edges, 65 markings/sec, 2560 secs
lola: 1 tries, 220291 fired transitions, 2565 secs || 222901 markings, 222900 edges, 65 markings/sec, 2565 secs
lola: 1 tries, 220618 fired transitions, 2570 secs || 223228 markings, 223227 edges, 65 markings/sec, 2570 secs
lola: 1 tries, 220943 fired transitions, 2575 secs || 223555 markings, 223554 edges, 65 markings/sec, 2575 secs
lola: 1 tries, 221269 fired transitions, 2580 secs || 223881 markings, 223880 edges, 65 markings/sec, 2580 secs
lola: 1 tries, 221595 fired transitions, 2585 secs || 224207 markings, 224206 edges, 65 markings/sec, 2585 secs
lola: 1 tries, 221922 fired transitions, 2590 secs || 224533 markings, 224532 edges, 65 markings/sec, 2590 secs
lola: 1 tries, 222249 fired transitions, 2595 secs || 224859 markings, 224858 edges, 65 markings/sec, 2595 secs
lola: 1 tries, 222574 fired transitions, 2600 secs || 225188 markings, 225187 edges, 66 markings/sec, 2600 secs
lola: 1 tries, 223169 fired transitions, 2605 secs || 225794 markings, 225793 edges, 121 markings/sec, 2605 secs
lola: 1 tries, 223793 fired transitions, 2610 secs || 226423 markings, 226422 edges, 126 markings/sec, 2610 secs
lola: 1 tries, 224403 fired transitions, 2615 secs || 226966 markings, 226965 edges, 109 markings/sec, 2615 secs
lola: 1 tries, 225018 fired transitions, 2620 secs || 227530 markings, 227529 edges, 113 markings/sec, 2620 secs
lola: 1 tries, 225616 fired transitions, 2625 secs || 228175 markings, 228174 edges, 129 markings/sec, 2625 secs
lola: 1 tries, 226214 fired transitions, 2630 secs || 228821 markings, 228820 edges, 129 markings/sec, 2630 secs
lola: 1 tries, 226802 fired transitions, 2635 secs || 229468 markings, 229467 edges, 129 markings/sec, 2635 secs
lola: 1 tries, 227402 fired transitions, 2640 secs || 230117 markings, 230116 edges, 130 markings/sec, 2640 secs
lola: 1 tries, 228026 fired transitions, 2645 secs || 230755 markings, 230754 edges, 128 markings/sec, 2645 secs
lola: 1 tries, 228650 fired transitions, 2650 secs || 231400 markings, 231399 edges, 129 markings/sec, 2650 secs
lola: 1 tries, 229245 fired transitions, 2655 secs || 232025 markings, 232024 edges, 125 markings/sec, 2655 secs
lola: 1 tries, 229572 fired transitions, 2660 secs || 232352 markings, 232351 edges, 65 markings/sec, 2660 secs
lola: 1 tries, 229900 fired transitions, 2665 secs || 232678 markings, 232677 edges, 65 markings/sec, 2665 secs
lola: 1 tries, 230228 fired transitions, 2670 secs || 233004 markings, 233003 edges, 65 markings/sec, 2670 secs
lola: 1 tries, 230552 fired transitions, 2675 secs || 233331 markings, 233330 edges, 65 markings/sec, 2675 secs
lola: 1 tries, 230877 fired transitions, 2680 secs || 233661 markings, 233660 edges, 66 markings/sec, 2680 secs
lola: 1 tries, 231204 fired transitions, 2685 secs || 233988 markings, 233987 edges, 65 markings/sec, 2685 secs
lola: 1 tries, 231553 fired transitions, 2690 secs || 234344 markings, 234343 edges, 71 markings/sec, 2690 secs
lola: 1 tries, 232124 fired transitions, 2695 secs || 234994 markings, 234993 edges, 130 markings/sec, 2695 secs
lola: 1 tries, 232606 fired transitions, 2700 secs || 235514 markings, 235513 edges, 104 markings/sec, 2700 secs
lola: 1 tries, 232935 fired transitions, 2705 secs || 235839 markings, 235838 edges, 65 markings/sec, 2705 secs
lola: 1 tries, 233412 fired transitions, 2710 secs || 236279 markings, 236278 edges, 88 markings/sec, 2710 secs
lola: 1 tries, 233944 fired transitions, 2715 secs || 236824 markings, 236823 edges, 109 markings/sec, 2715 secs
lola: 1 tries, 234272 fired transitions, 2720 secs || 237151 markings, 237150 edges, 65 markings/sec, 2720 secs
lola: 1 tries, 234599 fired transitions, 2725 secs || 237478 markings, 237477 edges, 65 markings/sec, 2725 secs
lola: 1 tries, 234927 fired transitions, 2730 secs || 237806 markings, 237805 edges, 66 markings/sec, 2730 secs
lola: 1 tries, 235255 fired transitions, 2735 secs || 238131 markings, 238130 edges, 65 markings/sec, 2735 secs
lola: 1 tries, 235892 fired transitions, 2740 secs || 238685 markings, 238684 edges, 111 markings/sec, 2740 secs
lola: 1 tries, 236305 fired transitions, 2745 secs || 239085 markings, 239084 edges, 80 markings/sec, 2745 secs
lola: 1 tries, 236907 fired transitions, 2750 secs || 239705 markings, 239704 edges, 124 markings/sec, 2750 secs
lola: 1 tries, 237527 fired transitions, 2755 secs || 240341 markings, 240340 edges, 127 markings/sec, 2755 secs
lola: 1 tries, 238143 fired transitions, 2760 secs || 240976 markings, 240975 edges, 127 markings/sec, 2760 secs
lola: 1 tries, 238758 fired transitions, 2765 secs || 241615 markings, 241614 edges, 128 markings/sec, 2765 secs
lola: 1 tries, 239375 fired transitions, 2770 secs || 242257 markings, 242256 edges, 128 markings/sec, 2770 secs
lola: 1 tries, 239993 fired transitions, 2775 secs || 242900 markings, 242899 edges, 129 markings/sec, 2775 secs
lola: 1 tries, 240608 fired transitions, 2780 secs || 243547 markings, 243546 edges, 129 markings/sec, 2780 secs
lola: 1 tries, 241224 fired transitions, 2785 secs || 244194 markings, 244193 edges, 129 markings/sec, 2785 secs
lola: 1 tries, 241845 fired transitions, 2790 secs || 244843 markings, 244842 edges, 130 markings/sec, 2790 secs
lola: 1 tries, 242466 fired transitions, 2795 secs || 245485 markings, 245484 edges, 128 markings/sec, 2795 secs
lola: 1 tries, 243094 fired transitions, 2800 secs || 246119 markings, 246118 edges, 127 markings/sec, 2800 secs
lola: 1 tries, 243716 fired transitions, 2805 secs || 246724 markings, 246723 edges, 121 markings/sec, 2805 secs
lola: 1 tries, 244322 fired transitions, 2810 secs || 247336 markings, 247335 edges, 122 markings/sec, 2810 secs
lola: 1 tries, 244929 fired transitions, 2815 secs || 247938 markings, 247937 edges, 120 markings/sec, 2815 secs
lola: 1 tries, 245545 fired transitions, 2820 secs || 248529 markings, 248528 edges, 118 markings/sec, 2820 secs
lola: 1 tries, 246165 fired transitions, 2825 secs || 249121 markings, 249120 edges, 118 markings/sec, 2825 secs
lola: 1 tries, 246767 fired transitions, 2830 secs || 249732 markings, 249731 edges, 122 markings/sec, 2830 secs
lola: 1 tries, 247360 fired transitions, 2835 secs || 250336 markings, 250335 edges, 121 markings/sec, 2835 secs
lola: 1 tries, 247971 fired transitions, 2840 secs || 250917 markings, 250916 edges, 116 markings/sec, 2840 secs
lola: 1 tries, 248562 fired transitions, 2845 secs || 251509 markings, 251508 edges, 118 markings/sec, 2845 secs
lola: 1 tries, 249050 fired transitions, 2850 secs || 252008 markings, 252007 edges, 100 markings/sec, 2850 secs
lola: 1 tries, 249370 fired transitions, 2855 secs || 252325 markings, 252324 edges, 63 markings/sec, 2855 secs
lola: 1 tries, 249681 fired transitions, 2860 secs || 252639 markings, 252638 edges, 63 markings/sec, 2860 secs
lola: 1 tries, 249983 fired transitions, 2865 secs || 252938 markings, 252937 edges, 60 markings/sec, 2865 secs
lola: 1 tries, 250278 fired transitions, 2870 secs || 253233 markings, 253232 edges, 59 markings/sec, 2870 secs
lola: 1 tries, 250588 fired transitions, 2875 secs || 253540 markings, 253539 edges, 61 markings/sec, 2875 secs
lola: 1 tries, 250903 fired transitions, 2880 secs || 253855 markings, 253854 edges, 63 markings/sec, 2880 secs
lola: 1 tries, 251205 fired transitions, 2885 secs || 254158 markings, 254157 edges, 61 markings/sec, 2885 secs
lola: 1 tries, 251515 fired transitions, 2890 secs || 254471 markings, 254470 edges, 63 markings/sec, 2890 secs
lola: 1 tries, 251824 fired transitions, 2895 secs || 254783 markings, 254782 edges, 62 markings/sec, 2895 secs
lola: 1 tries, 252131 fired transitions, 2900 secs || 255091 markings, 255090 edges, 62 markings/sec, 2900 secs
lola: 1 tries, 252436 fired transitions, 2905 secs || 255396 markings, 255395 edges, 61 markings/sec, 2905 secs
lola: 1 tries, 252745 fired transitions, 2910 secs || 255705 markings, 255704 edges, 62 markings/sec, 2910 secs
lola: 1 tries, 253054 fired transitions, 2915 secs || 256015 markings, 256014 edges, 62 markings/sec, 2915 secs
lola: 1 tries, 253361 fired transitions, 2920 secs || 256322 markings, 256321 edges, 61 markings/sec, 2920 secs
lola: 1 tries, 253672 fired transitions, 2925 secs || 256633 markings, 256632 edges, 62 markings/sec, 2925 secs
lola: 1 tries, 253983 fired transitions, 2930 secs || 256945 markings, 256944 edges, 62 markings/sec, 2930 secs
lola: 1 tries, 254292 fired transitions, 2935 secs || 257257 markings, 257256 edges, 62 markings/sec, 2935 secs
lola: 1 tries, 254604 fired transitions, 2940 secs || 257568 markings, 257567 edges, 62 markings/sec, 2940 secs
lola: 1 tries, 254915 fired transitions, 2945 secs || 257879 markings, 257878 edges, 62 markings/sec, 2945 secs
lola: 1 tries, 255227 fired transitions, 2950 secs || 258188 markings, 258187 edges, 62 markings/sec, 2950 secs
lola: 1 tries, 255536 fired transitions, 2955 secs || 258495 markings, 258494 edges, 61 markings/sec, 2955 secs
lola: 1 tries, 255838 fired transitions, 2960 secs || 258803 markings, 258802 edges, 62 markings/sec, 2960 secs
lola: 1 tries, 256143 fired transitions, 2965 secs || 259106 markings, 259105 edges, 61 markings/sec, 2965 secs
lola: 1 tries, 256451 fired transitions, 2970 secs || 259414 markings, 259413 edges, 62 markings/sec, 2970 secs
lola: 1 tries, 256767 fired transitions, 2975 secs || 259732 markings, 259731 edges, 64 markings/sec, 2975 secs
lola: 1 tries, 257083 fired transitions, 2980 secs || 260049 markings, 260048 edges, 63 markings/sec, 2980 secs
lola: 1 tries, 257401 fired transitions, 2985 secs || 260366 markings, 260365 edges, 63 markings/sec, 2985 secs
lola: 1 tries, 257722 fired transitions, 2990 secs || 260688 markings, 260687 edges, 64 markings/sec, 2990 secs
lola: 1 tries, 258045 fired transitions, 2995 secs || 261011 markings, 261010 edges, 65 markings/sec, 2995 secs
lola: 1 tries, 258367 fired transitions, 3000 secs || 261331 markings, 261330 edges, 64 markings/sec, 3000 secs
lola: 1 tries, 258687 fired transitions, 3005 secs || 261651 markings, 261650 edges, 64 markings/sec, 3005 secs
lola: 1 tries, 259009 fired transitions, 3010 secs || 261969 markings, 261968 edges, 64 markings/sec, 3010 secs
lola: 1 tries, 259327 fired transitions, 3015 secs || 262286 markings, 262285 edges, 63 markings/sec, 3015 secs
lola: 1 tries, 259648 fired transitions, 3020 secs || 262609 markings, 262608 edges, 65 markings/sec, 3020 secs
lola: 1 tries, 259967 fired transitions, 3025 secs || 262927 markings, 262926 edges, 64 markings/sec, 3025 secs
lola: 1 tries, 260283 fired transitions, 3030 secs || 263240 markings, 263239 edges, 63 markings/sec, 3030 secs
lola: 1 tries, 260605 fired transitions, 3035 secs || 263558 markings, 263557 edges, 64 markings/sec, 3035 secs
lola: 1 tries, 260924 fired transitions, 3040 secs || 263880 markings, 263879 edges, 64 markings/sec, 3040 secs
lola: 1 tries, 261243 fired transitions, 3045 secs || 264199 markings, 264198 edges, 64 markings/sec, 3045 secs
lola: 1 tries, 261564 fired transitions, 3050 secs || 264520 markings, 264519 edges, 64 markings/sec, 3050 secs
lola: 1 tries, 261887 fired transitions, 3055 secs || 264841 markings, 264840 edges, 64 markings/sec, 3055 secs
lola: 1 tries, 262210 fired transitions, 3060 secs || 265160 markings, 265159 edges, 64 markings/sec, 3060 secs
lola: 1 tries, 262534 fired transitions, 3065 secs || 265480 markings, 265479 edges, 64 markings/sec, 3065 secs
lola: 1 tries, 262864 fired transitions, 3070 secs || 265806 markings, 265805 edges, 65 markings/sec, 3070 secs
lola: 1 tries, 263196 fired transitions, 3075 secs || 266133 markings, 266132 edges, 65 markings/sec, 3075 secs
lola: 1 tries, 263525 fired transitions, 3080 secs || 266460 markings, 266459 edges, 65 markings/sec, 3080 secs
lola: 1 tries, 263855 fired transitions, 3085 secs || 266787 markings, 266786 edges, 65 markings/sec, 3085 secs
lola: 1 tries, 264187 fired transitions, 3090 secs || 267116 markings, 267115 edges, 66 markings/sec, 3090 secs
lola: 1 tries, 264510 fired transitions, 3095 secs || 267438 markings, 267437 edges, 64 markings/sec, 3095 secs
lola: 1 tries, 264824 fired transitions, 3100 secs || 267751 markings, 267750 edges, 63 markings/sec, 3100 secs
lola: 1 tries, 265129 fired transitions, 3105 secs || 268054 markings, 268053 edges, 61 markings/sec, 3105 secs
lola: 1 tries, 265439 fired transitions, 3110 secs || 268364 markings, 268363 edges, 62 markings/sec, 3110 secs
lola: 1 tries, 265756 fired transitions, 3115 secs || 268679 markings, 268678 edges, 63 markings/sec, 3115 secs
lola: 1 tries, 266065 fired transitions, 3120 secs || 268990 markings, 268989 edges, 62 markings/sec, 3120 secs
lola: 1 tries, 266366 fired transitions, 3125 secs || 269289 markings, 269288 edges, 60 markings/sec, 3125 secs
lola: 1 tries, 266673 fired transitions, 3130 secs || 269597 markings, 269596 edges, 62 markings/sec, 3130 secs
lola: 1 tries, 266988 fired transitions, 3135 secs || 269910 markings, 269909 edges, 63 markings/sec, 3135 secs
lola: 1 tries, 267311 fired transitions, 3140 secs || 270232 markings, 270231 edges, 64 markings/sec, 3140 secs
lola: 1 tries, 267631 fired transitions, 3145 secs || 270550 markings, 270549 edges, 64 markings/sec, 3145 secs
lola: 1 tries, 267942 fired transitions, 3150 secs || 270860 markings, 270859 edges, 62 markings/sec, 3150 secs
lola: 1 tries, 268248 fired transitions, 3155 secs || 271164 markings, 271163 edges, 61 markings/sec, 3155 secs
lola: 1 tries, 268563 fired transitions, 3160 secs || 271478 markings, 271477 edges, 63 markings/sec, 3160 secs
lola: 1 tries, 268882 fired transitions, 3165 secs || 271799 markings, 271798 edges, 64 markings/sec, 3165 secs
lola: 1 tries, 269197 fired transitions, 3170 secs || 272113 markings, 272112 edges, 63 markings/sec, 3170 secs
lola: 1 tries, 269514 fired transitions, 3175 secs || 272427 markings, 272426 edges, 63 markings/sec, 3175 secs
lola: 1 tries, 269830 fired transitions, 3180 secs || 272740 markings, 272739 edges, 63 markings/sec, 3180 secs
lola: 1 tries, 270144 fired transitions, 3185 secs || 273055 markings, 273054 edges, 63 markings/sec, 3185 secs
lola: 1 tries, 270460 fired transitions, 3190 secs || 273371 markings, 273370 edges, 63 markings/sec, 3190 secs
lola: 1 tries, 270782 fired transitions, 3195 secs || 273688 markings, 273687 edges, 63 markings/sec, 3195 secs
lola: 1 tries, 271106 fired transitions, 3200 secs || 274007 markings, 274006 edges, 64 markings/sec, 3200 secs
lola: 1 tries, 271426 fired transitions, 3205 secs || 274325 markings, 274324 edges, 64 markings/sec, 3205 secs
lola: 1 tries, 271744 fired transitions, 3210 secs || 274644 markings, 274643 edges, 64 markings/sec, 3210 secs
lola: 1 tries, 272065 fired transitions, 3215 secs || 274961 markings, 274960 edges, 63 markings/sec, 3215 secs
lola: 1 tries, 272383 fired transitions, 3220 secs || 275278 markings, 275277 edges, 63 markings/sec, 3220 secs
lola: 1 tries, 272701 fired transitions, 3225 secs || 275592 markings, 275591 edges, 63 markings/sec, 3225 secs
lola: 1 tries, 273017 fired transitions, 3230 secs || 275909 markings, 275908 edges, 63 markings/sec, 3230 secs
lola: 1 tries, 273335 fired transitions, 3235 secs || 276225 markings, 276224 edges, 63 markings/sec, 3235 secs
lola: 1 tries, 273651 fired transitions, 3240 secs || 276542 markings, 276541 edges, 63 markings/sec, 3240 secs
lola: 1 tries, 273968 fired transitions, 3245 secs || 276859 markings, 276858 edges, 63 markings/sec, 3245 secs
lola: 1 tries, 274284 fired transitions, 3250 secs || 277174 markings, 277173 edges, 63 markings/sec, 3250 secs
lola: 1 tries, 274601 fired transitions, 3255 secs || 277490 markings, 277489 edges, 63 markings/sec, 3255 secs
lola: 1 tries, 274918 fired transitions, 3260 secs || 277809 markings, 277808 edges, 64 markings/sec, 3260 secs
lola: 1 tries, 275233 fired transitions, 3265 secs || 278126 markings, 278125 edges, 63 markings/sec, 3265 secs
lola: 1 tries, 275550 fired transitions, 3270 secs || 278444 markings, 278443 edges, 64 markings/sec, 3270 secs
lola: 1 tries, 275869 fired transitions, 3275 secs || 278759 markings, 278758 edges, 63 markings/sec, 3275 secs
lola: 1 tries, 276187 fired transitions, 3280 secs || 279076 markings, 279075 edges, 63 markings/sec, 3280 secs
lola: 1 tries, 276503 fired transitions, 3285 secs || 279394 markings, 279393 edges, 64 markings/sec, 3285 secs
lola: 1 tries, 276822 fired transitions, 3290 secs || 279714 markings, 279713 edges, 64 markings/sec, 3290 secs
lola: 1 tries, 277140 fired transitions, 3295 secs || 280031 markings, 280030 edges, 63 markings/sec, 3295 secs
lola: 1 tries, 277461 fired transitions, 3300 secs || 280347 markings, 280346 edges, 63 markings/sec, 3300 secs
lola: 1 tries, 277775 fired transitions, 3305 secs || 280662 markings, 280661 edges, 63 markings/sec, 3305 secs
lola: 1 tries, 278092 fired transitions, 3310 secs || 280978 markings, 280977 edges, 63 markings/sec, 3310 secs
lola: 1 tries, 278401 fired transitions, 3315 secs || 281287 markings, 281286 edges, 62 markings/sec, 3315 secs
lola: 1 tries, 278712 fired transitions, 3320 secs || 281598 markings, 281597 edges, 62 markings/sec, 3320 secs
lola: 1 tries, 279026 fired transitions, 3325 secs || 281911 markings, 281910 edges, 63 markings/sec, 3325 secs
lola: 1 tries, 279339 fired transitions, 3330 secs || 282226 markings, 282225 edges, 63 markings/sec, 3330 secs
lola: 1 tries, 279650 fired transitions, 3335 secs || 282536 markings, 282535 edges, 62 markings/sec, 3335 secs
lola: 1 tries, 279960 fired transitions, 3340 secs || 282847 markings, 282846 edges, 62 markings/sec, 3340 secs
lola: 1 tries, 280278 fired transitions, 3345 secs || 283164 markings, 283163 edges, 63 markings/sec, 3345 secs
lola: 1 tries, 280605 fired transitions, 3350 secs || 283489 markings, 283488 edges, 65 markings/sec, 3350 secs
lola: 1 tries, 280933 fired transitions, 3355 secs || 283816 markings, 283815 edges, 65 markings/sec, 3355 secs
lola: 1 tries, 281263 fired transitions, 3360 secs || 284147 markings, 284146 edges, 66 markings/sec, 3360 secs
lola: 1 tries, 281587 fired transitions, 3365 secs || 284476 markings, 284475 edges, 66 markings/sec, 3365 secs
lola: 1 tries, 281911 fired transitions, 3370 secs || 284804 markings, 284803 edges, 66 markings/sec, 3370 secs
lola: 1 tries, 282230 fired transitions, 3375 secs || 285124 markings, 285123 edges, 64 markings/sec, 3375 secs
lola: 1 tries, 282541 fired transitions, 3380 secs || 285436 markings, 285435 edges, 62 markings/sec, 3380 secs
lola: 1 tries, 282861 fired transitions, 3385 secs || 285756 markings, 285755 edges, 64 markings/sec, 3385 secs
lola: 1 tries, 283188 fired transitions, 3390 secs || 286087 markings, 286086 edges, 66 markings/sec, 3390 secs
lola: 1 tries, 283515 fired transitions, 3395 secs || 286410 markings, 286409 edges, 65 markings/sec, 3395 secs
lola: 1 tries, 283839 fired transitions, 3400 secs || 286731 markings, 286730 edges, 64 markings/sec, 3400 secs
lola: 1 tries, 284164 fired transitions, 3405 secs || 287057 markings, 287056 edges, 65 markings/sec, 3405 secs
lola: 1 tries, 284488 fired transitions, 3410 secs || 287384 markings, 287383 edges, 65 markings/sec, 3410 secs
lola: 1 tries, 284813 fired transitions, 3415 secs || 287706 markings, 287705 edges, 64 markings/sec, 3415 secs
lola: 1 tries, 285139 fired transitions, 3420 secs || 288030 markings, 288029 edges, 65 markings/sec, 3420 secs
lola: 1 tries, 285463 fired transitions, 3425 secs || 288351 markings, 288350 edges, 64 markings/sec, 3425 secs
lola: 1 tries, 285785 fired transitions, 3430 secs || 288671 markings, 288670 edges, 64 markings/sec, 3430 secs
lola: 1 tries, 286112 fired transitions, 3435 secs || 288994 markings, 288993 edges, 65 markings/sec, 3435 secs
lola: 1 tries, 286436 fired transitions, 3440 secs || 289318 markings, 289317 edges, 65 markings/sec, 3440 secs
lola: 1 tries, 286760 fired transitions, 3445 secs || 289643 markings, 289642 edges, 65 markings/sec, 3445 secs
lola: 1 tries, 287087 fired transitions, 3450 secs || 289968 markings, 289967 edges, 65 markings/sec, 3450 secs
lola: 1 tries, 287538 fired transitions, 3455 secs || 290446 markings, 290445 edges, 96 markings/sec, 3455 secs
lola: 1 tries, 288110 fired transitions, 3460 secs || 291099 markings, 291098 edges, 131 markings/sec, 3460 secs
lola: 1 tries, 288686 fired transitions, 3465 secs || 291741 markings, 291740 edges, 128 markings/sec, 3465 secs
lola: 1 tries, 289191 fired transitions, 3470 secs || 292288 markings, 292287 edges, 109 markings/sec, 3470 secs
lola: 1 tries, 289516 fired transitions, 3475 secs || 292613 markings, 292612 edges, 65 markings/sec, 3475 secs
lola: 1 tries, 289844 fired transitions, 3480 secs || 292941 markings, 292940 edges, 66 markings/sec, 3480 secs
lola: 1 tries, 290172 fired transitions, 3485 secs || 293268 markings, 293267 edges, 65 markings/sec, 3485 secs
lola: 1 tries, 290498 fired transitions, 3490 secs || 293596 markings, 293595 edges, 66 markings/sec, 3490 secs
lola: 1 tries, 290825 fired transitions, 3495 secs || 293924 markings, 293923 edges, 66 markings/sec, 3495 secs
lola: 1 tries, 291153 fired transitions, 3500 secs || 294250 markings, 294249 edges, 65 markings/sec, 3500 secs
lola: 1 tries, 291479 fired transitions, 3505 secs || 294576 markings, 294575 edges, 65 markings/sec, 3505 secs
lola: 1 tries, 291807 fired transitions, 3510 secs || 294905 markings, 294904 edges, 66 markings/sec, 3510 secs
lola: 1 tries, 292133 fired transitions, 3515 secs || 295232 markings, 295231 edges, 65 markings/sec, 3515 secs
lola: 1 tries, 292462 fired transitions, 3520 secs || 295564 markings, 295563 edges, 66 markings/sec, 3520 secs
lola: 1 tries, 293047 fired transitions, 3525 secs || 296215 markings, 296214 edges, 130 markings/sec, 3525 secs
lola: 1 tries, 293594 fired transitions, 3530 secs || 296867 markings, 296866 edges, 130 markings/sec, 3530 secs
lola: 1 tries, 294069 fired transitions, 3535 secs || 297383 markings, 297382 edges, 103 markings/sec, 3535 secs
lola: 1 tries, 294397 fired transitions, 3540 secs || 297711 markings, 297710 edges, 66 markings/sec, 3540 secs
lola: 1 tries, 294726 fired transitions, 3545 secs || 298037 markings, 298036 edges, 65 markings/sec, 3545 secs
lola: time limit reached - aborting
lola: memory consumption: 1000616 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 1001204 KB
lola: time consumption: 3573 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished
BK_STOP 1553917005316
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb113-PT-8"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is RERS17pb113-PT-8, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r126-oct2-155274853500381"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb113-PT-8.tgz
mv RERS17pb113-PT-8 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 ;