About the Execution of LoLA for RERS17pb113-PT-6
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5142.680 | 3594417.00 | 7305566.00 | 464.20 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r126-oct2-155274853500363.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-6, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-oct2-155274853500363
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.6K Feb 13 08:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 13 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 13 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K 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.4K 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.1K Feb 13 08:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.7K Feb 13 08:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 13 08:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 13 08:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 13 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K 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-6-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553910307432
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ RERS17pb113-PT-6 @ 3570 seconds
vrfy: finished
info: timeLeft: -24
rslt: Output for GlobalProperties @ RERS17pb113-PT-6
{
"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 01:45:07 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 1005104,
"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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
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: 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, 506 fired transitions, 0 secs || 402 markings, 401 edges, 80 markings/sec, 0 secs
lola: 1 tries, 1061 fired transitions, 5 secs || 979 markings, 978 edges, 115 markings/sec, 5 secs
lola: 1 tries, 1624 fired transitions, 10 secs || 1558 markings, 1557 edges, 116 markings/sec, 10 secs
lola: 1 tries, 2175 fired transitions, 15 secs || 2128 markings, 2127 edges, 114 markings/sec, 15 secs
lola: 1 tries, 2727 fired transitions, 20 secs || 2694 markings, 2693 edges, 113 markings/sec, 20 secs
lola: 1 tries, 3283 fired transitions, 25 secs || 3268 markings, 3267 edges, 115 markings/sec, 25 secs
lola: 1 tries, 3853 fired transitions, 30 secs || 3853 markings, 3852 edges, 117 markings/sec, 30 secs
lola: 1 tries, 4428 fired transitions, 35 secs || 4441 markings, 4440 edges, 118 markings/sec, 35 secs
lola: 1 tries, 4991 fired transitions, 40 secs || 5023 markings, 5022 edges, 116 markings/sec, 40 secs
lola: 1 tries, 5534 fired transitions, 45 secs || 5596 markings, 5595 edges, 115 markings/sec, 45 secs
lola: 1 tries, 6095 fired transitions, 50 secs || 6187 markings, 6186 edges, 118 markings/sec, 50 secs
lola: 1 tries, 6661 fired transitions, 55 secs || 6782 markings, 6781 edges, 119 markings/sec, 55 secs
lola: 1 tries, 7152 fired transitions, 60 secs || 7296 markings, 7295 edges, 103 markings/sec, 60 secs
lola: 1 tries, 7443 fired transitions, 65 secs || 7589 markings, 7588 edges, 59 markings/sec, 65 secs
lola: 1 tries, 7731 fired transitions, 70 secs || 7879 markings, 7878 edges, 58 markings/sec, 70 secs
lola: 1 tries, 8097 fired transitions, 75 secs || 8232 markings, 8231 edges, 71 markings/sec, 75 secs
lola: 1 tries, 8433 fired transitions, 80 secs || 8564 markings, 8563 edges, 66 markings/sec, 80 secs
lola: 1 tries, 8723 fired transitions, 85 secs || 8855 markings, 8854 edges, 58 markings/sec, 85 secs
lola: 1 tries, 9009 fired transitions, 90 secs || 9147 markings, 9146 edges, 58 markings/sec, 90 secs
lola: 1 tries, 9288 fired transitions, 95 secs || 9424 markings, 9423 edges, 55 markings/sec, 95 secs
lola: 1 tries, 9566 fired transitions, 100 secs || 9708 markings, 9707 edges, 57 markings/sec, 100 secs
lola: 1 tries, 9854 fired transitions, 105 secs || 10000 markings, 9999 edges, 58 markings/sec, 105 secs
lola: 1 tries, 10144 fired transitions, 110 secs || 10298 markings, 10297 edges, 60 markings/sec, 110 secs
lola: 1 tries, 10426 fired transitions, 115 secs || 10586 markings, 10585 edges, 58 markings/sec, 115 secs
lola: 1 tries, 10713 fired transitions, 120 secs || 10875 markings, 10874 edges, 58 markings/sec, 120 secs
lola: 1 tries, 11001 fired transitions, 125 secs || 11163 markings, 11162 edges, 58 markings/sec, 125 secs
lola: 1 tries, 11303 fired transitions, 130 secs || 11464 markings, 11463 edges, 60 markings/sec, 130 secs
lola: 1 tries, 11608 fired transitions, 135 secs || 11768 markings, 11767 edges, 61 markings/sec, 135 secs
lola: 1 tries, 11909 fired transitions, 140 secs || 12071 markings, 12070 edges, 61 markings/sec, 140 secs
lola: 1 tries, 12233 fired transitions, 145 secs || 12394 markings, 12393 edges, 65 markings/sec, 145 secs
lola: 1 tries, 12515 fired transitions, 150 secs || 12676 markings, 12675 edges, 56 markings/sec, 150 secs
lola: 1 tries, 12763 fired transitions, 155 secs || 12931 markings, 12930 edges, 51 markings/sec, 155 secs
lola: 1 tries, 13012 fired transitions, 160 secs || 13180 markings, 13179 edges, 50 markings/sec, 160 secs
lola: 1 tries, 13254 fired transitions, 165 secs || 13426 markings, 13425 edges, 49 markings/sec, 165 secs
lola: 1 tries, 13509 fired transitions, 170 secs || 13683 markings, 13682 edges, 51 markings/sec, 170 secs
lola: 1 tries, 13768 fired transitions, 175 secs || 13943 markings, 13942 edges, 52 markings/sec, 175 secs
lola: 1 tries, 14020 fired transitions, 180 secs || 14196 markings, 14195 edges, 51 markings/sec, 180 secs
lola: 1 tries, 14273 fired transitions, 185 secs || 14450 markings, 14449 edges, 51 markings/sec, 185 secs
lola: 1 tries, 14530 fired transitions, 190 secs || 14704 markings, 14703 edges, 51 markings/sec, 190 secs
lola: 1 tries, 14785 fired transitions, 195 secs || 14959 markings, 14958 edges, 51 markings/sec, 195 secs
lola: 1 tries, 15036 fired transitions, 200 secs || 15211 markings, 15210 edges, 50 markings/sec, 200 secs
lola: 1 tries, 15288 fired transitions, 205 secs || 15466 markings, 15465 edges, 51 markings/sec, 205 secs
lola: 1 tries, 15554 fired transitions, 210 secs || 15737 markings, 15736 edges, 54 markings/sec, 210 secs
lola: 1 tries, 15837 fired transitions, 215 secs || 16025 markings, 16024 edges, 58 markings/sec, 215 secs
lola: 1 tries, 16132 fired transitions, 220 secs || 16323 markings, 16322 edges, 60 markings/sec, 220 secs
lola: 1 tries, 16430 fired transitions, 225 secs || 16620 markings, 16619 edges, 59 markings/sec, 225 secs
lola: 1 tries, 16717 fired transitions, 230 secs || 16907 markings, 16906 edges, 57 markings/sec, 230 secs
lola: 1 tries, 16980 fired transitions, 235 secs || 17170 markings, 17169 edges, 53 markings/sec, 235 secs
lola: 1 tries, 17226 fired transitions, 240 secs || 17415 markings, 17414 edges, 49 markings/sec, 240 secs
lola: 1 tries, 17479 fired transitions, 245 secs || 17668 markings, 17667 edges, 51 markings/sec, 245 secs
lola: 1 tries, 17734 fired transitions, 250 secs || 17923 markings, 17922 edges, 51 markings/sec, 250 secs
lola: 1 tries, 17987 fired transitions, 255 secs || 18176 markings, 18175 edges, 51 markings/sec, 255 secs
lola: 1 tries, 18244 fired transitions, 260 secs || 18435 markings, 18434 edges, 52 markings/sec, 260 secs
lola: 1 tries, 18500 fired transitions, 265 secs || 18696 markings, 18695 edges, 52 markings/sec, 265 secs
lola: 1 tries, 18758 fired transitions, 270 secs || 18957 markings, 18957 edges, 52 markings/sec, 270 secs
lola: 1 tries, 19021 fired transitions, 275 secs || 19221 markings, 19220 edges, 53 markings/sec, 275 secs
lola: 1 tries, 19305 fired transitions, 280 secs || 19507 markings, 19506 edges, 57 markings/sec, 280 secs
lola: 1 tries, 19579 fired transitions, 285 secs || 19784 markings, 19783 edges, 55 markings/sec, 285 secs
lola: 1 tries, 19854 fired transitions, 290 secs || 20061 markings, 20060 edges, 55 markings/sec, 290 secs
lola: 1 tries, 20131 fired transitions, 295 secs || 20340 markings, 20339 edges, 56 markings/sec, 295 secs
lola: 1 tries, 20408 fired transitions, 300 secs || 20615 markings, 20614 edges, 55 markings/sec, 300 secs
lola: 1 tries, 20684 fired transitions, 305 secs || 20892 markings, 20891 edges, 55 markings/sec, 305 secs
lola: 1 tries, 20960 fired transitions, 310 secs || 21171 markings, 21170 edges, 56 markings/sec, 310 secs
lola: 1 tries, 21235 fired transitions, 315 secs || 21445 markings, 21444 edges, 55 markings/sec, 315 secs
lola: 1 tries, 21499 fired transitions, 320 secs || 21710 markings, 21709 edges, 53 markings/sec, 320 secs
lola: 1 tries, 21763 fired transitions, 325 secs || 21976 markings, 21975 edges, 53 markings/sec, 325 secs
lola: 1 tries, 22033 fired transitions, 330 secs || 22247 markings, 22246 edges, 54 markings/sec, 330 secs
lola: 1 tries, 22313 fired transitions, 335 secs || 22529 markings, 22528 edges, 56 markings/sec, 335 secs
lola: 1 tries, 22593 fired transitions, 340 secs || 22810 markings, 22809 edges, 56 markings/sec, 340 secs
lola: 1 tries, 22862 fired transitions, 345 secs || 23080 markings, 23079 edges, 54 markings/sec, 345 secs
lola: 1 tries, 23126 fired transitions, 350 secs || 23346 markings, 23345 edges, 53 markings/sec, 350 secs
lola: 1 tries, 23400 fired transitions, 355 secs || 23623 markings, 23622 edges, 55 markings/sec, 355 secs
lola: 1 tries, 23676 fired transitions, 360 secs || 23904 markings, 23903 edges, 56 markings/sec, 360 secs
lola: 1 tries, 23960 fired transitions, 365 secs || 24187 markings, 24186 edges, 57 markings/sec, 365 secs
lola: 1 tries, 24233 fired transitions, 370 secs || 24464 markings, 24463 edges, 55 markings/sec, 370 secs
lola: 1 tries, 24502 fired transitions, 375 secs || 24736 markings, 24735 edges, 54 markings/sec, 375 secs
lola: 1 tries, 24768 fired transitions, 380 secs || 25005 markings, 25004 edges, 54 markings/sec, 380 secs
lola: 1 tries, 25027 fired transitions, 385 secs || 25265 markings, 25264 edges, 52 markings/sec, 385 secs
lola: 1 tries, 25296 fired transitions, 390 secs || 25532 markings, 25531 edges, 53 markings/sec, 390 secs
lola: 1 tries, 25569 fired transitions, 395 secs || 25810 markings, 25809 edges, 56 markings/sec, 395 secs
lola: 1 tries, 25840 fired transitions, 400 secs || 26085 markings, 26084 edges, 55 markings/sec, 400 secs
lola: 1 tries, 26097 fired transitions, 405 secs || 26347 markings, 26346 edges, 52 markings/sec, 405 secs
lola: 1 tries, 26354 fired transitions, 410 secs || 26609 markings, 26608 edges, 52 markings/sec, 410 secs
lola: 1 tries, 26620 fired transitions, 415 secs || 26874 markings, 26873 edges, 53 markings/sec, 415 secs
lola: 1 tries, 26876 fired transitions, 420 secs || 27136 markings, 27135 edges, 52 markings/sec, 420 secs
lola: 1 tries, 27136 fired transitions, 425 secs || 27393 markings, 27392 edges, 51 markings/sec, 425 secs
lola: 1 tries, 27394 fired transitions, 430 secs || 27653 markings, 27652 edges, 52 markings/sec, 430 secs
lola: 1 tries, 27655 fired transitions, 435 secs || 27916 markings, 27915 edges, 53 markings/sec, 435 secs
lola: 1 tries, 27950 fired transitions, 440 secs || 28211 markings, 28210 edges, 59 markings/sec, 440 secs
lola: 1 tries, 28247 fired transitions, 445 secs || 28508 markings, 28507 edges, 59 markings/sec, 445 secs
lola: 1 tries, 28537 fired transitions, 450 secs || 28803 markings, 28802 edges, 59 markings/sec, 450 secs
lola: 1 tries, 28836 fired transitions, 455 secs || 29101 markings, 29100 edges, 60 markings/sec, 455 secs
lola: 1 tries, 29143 fired transitions, 460 secs || 29409 markings, 29408 edges, 62 markings/sec, 460 secs
lola: 1 tries, 29446 fired transitions, 465 secs || 29711 markings, 29710 edges, 60 markings/sec, 465 secs
lola: 1 tries, 29747 fired transitions, 470 secs || 30014 markings, 30013 edges, 61 markings/sec, 470 secs
lola: 1 tries, 30044 fired transitions, 475 secs || 30314 markings, 30313 edges, 60 markings/sec, 475 secs
lola: 1 tries, 30323 fired transitions, 480 secs || 30600 markings, 30599 edges, 57 markings/sec, 480 secs
lola: 1 tries, 30590 fired transitions, 485 secs || 30870 markings, 30869 edges, 54 markings/sec, 485 secs
lola: 1 tries, 30858 fired transitions, 490 secs || 31140 markings, 31139 edges, 54 markings/sec, 490 secs
lola: 1 tries, 31138 fired transitions, 495 secs || 31420 markings, 31419 edges, 56 markings/sec, 495 secs
lola: 1 tries, 31413 fired transitions, 500 secs || 31695 markings, 31694 edges, 55 markings/sec, 500 secs
lola: 1 tries, 31693 fired transitions, 505 secs || 31980 markings, 31979 edges, 57 markings/sec, 505 secs
lola: 1 tries, 31971 fired transitions, 510 secs || 32261 markings, 32260 edges, 56 markings/sec, 510 secs
lola: 1 tries, 32237 fired transitions, 515 secs || 32528 markings, 32527 edges, 53 markings/sec, 515 secs
lola: 1 tries, 32502 fired transitions, 520 secs || 32795 markings, 32794 edges, 53 markings/sec, 520 secs
lola: 1 tries, 32769 fired transitions, 525 secs || 33065 markings, 33064 edges, 54 markings/sec, 525 secs
lola: 1 tries, 33032 fired transitions, 530 secs || 33329 markings, 33328 edges, 53 markings/sec, 530 secs
lola: 1 tries, 33299 fired transitions, 535 secs || 33599 markings, 33598 edges, 54 markings/sec, 535 secs
lola: 1 tries, 33567 fired transitions, 540 secs || 33867 markings, 33866 edges, 54 markings/sec, 540 secs
lola: 1 tries, 33852 fired transitions, 545 secs || 34149 markings, 34148 edges, 56 markings/sec, 545 secs
lola: 1 tries, 34137 fired transitions, 550 secs || 34434 markings, 34433 edges, 57 markings/sec, 550 secs
lola: 1 tries, 34418 fired transitions, 555 secs || 34714 markings, 34713 edges, 56 markings/sec, 555 secs
lola: 1 tries, 34700 fired transitions, 560 secs || 34994 markings, 34993 edges, 56 markings/sec, 560 secs
lola: 1 tries, 34983 fired transitions, 565 secs || 35278 markings, 35277 edges, 57 markings/sec, 565 secs
lola: 1 tries, 35268 fired transitions, 570 secs || 35563 markings, 35562 edges, 57 markings/sec, 570 secs
lola: 1 tries, 35549 fired transitions, 575 secs || 35845 markings, 35844 edges, 56 markings/sec, 575 secs
lola: 1 tries, 35831 fired transitions, 580 secs || 36131 markings, 36130 edges, 57 markings/sec, 580 secs
lola: 1 tries, 36115 fired transitions, 585 secs || 36418 markings, 36417 edges, 57 markings/sec, 585 secs
lola: 1 tries, 36407 fired transitions, 590 secs || 36714 markings, 36713 edges, 59 markings/sec, 590 secs
lola: 1 tries, 36702 fired transitions, 595 secs || 37010 markings, 37009 edges, 59 markings/sec, 595 secs
lola: 1 tries, 36996 fired transitions, 600 secs || 37304 markings, 37303 edges, 59 markings/sec, 600 secs
lola: 1 tries, 37290 fired transitions, 605 secs || 37598 markings, 37597 edges, 59 markings/sec, 605 secs
lola: 1 tries, 37580 fired transitions, 610 secs || 37892 markings, 37891 edges, 59 markings/sec, 610 secs
lola: 1 tries, 37873 fired transitions, 615 secs || 38182 markings, 38181 edges, 58 markings/sec, 615 secs
lola: 1 tries, 38167 fired transitions, 620 secs || 38476 markings, 38475 edges, 59 markings/sec, 620 secs
lola: 1 tries, 38464 fired transitions, 625 secs || 38774 markings, 38773 edges, 60 markings/sec, 625 secs
lola: 1 tries, 38763 fired transitions, 630 secs || 39075 markings, 39074 edges, 60 markings/sec, 630 secs
lola: 1 tries, 39061 fired transitions, 635 secs || 39373 markings, 39372 edges, 60 markings/sec, 635 secs
lola: 1 tries, 39355 fired transitions, 640 secs || 39670 markings, 39669 edges, 59 markings/sec, 640 secs
lola: 1 tries, 39652 fired transitions, 645 secs || 39966 markings, 39965 edges, 59 markings/sec, 645 secs
lola: 1 tries, 39940 fired transitions, 650 secs || 40255 markings, 40254 edges, 58 markings/sec, 650 secs
lola: 1 tries, 40233 fired transitions, 655 secs || 40547 markings, 40546 edges, 58 markings/sec, 655 secs
lola: 1 tries, 40537 fired transitions, 660 secs || 40851 markings, 40850 edges, 61 markings/sec, 660 secs
lola: 1 tries, 40847 fired transitions, 665 secs || 41164 markings, 41163 edges, 63 markings/sec, 665 secs
lola: 1 tries, 41151 fired transitions, 670 secs || 41471 markings, 41470 edges, 61 markings/sec, 670 secs
lola: 1 tries, 41460 fired transitions, 675 secs || 41780 markings, 41779 edges, 62 markings/sec, 675 secs
lola: 1 tries, 41766 fired transitions, 680 secs || 42088 markings, 42087 edges, 62 markings/sec, 680 secs
lola: 1 tries, 42062 fired transitions, 685 secs || 42385 markings, 42384 edges, 59 markings/sec, 685 secs
lola: 1 tries, 42369 fired transitions, 690 secs || 42690 markings, 42689 edges, 61 markings/sec, 690 secs
lola: 1 tries, 42678 fired transitions, 695 secs || 43000 markings, 42999 edges, 62 markings/sec, 695 secs
lola: 1 tries, 42987 fired transitions, 700 secs || 43309 markings, 43308 edges, 62 markings/sec, 700 secs
lola: 1 tries, 43293 fired transitions, 705 secs || 43615 markings, 43614 edges, 61 markings/sec, 705 secs
lola: 1 tries, 43597 fired transitions, 710 secs || 43921 markings, 43920 edges, 61 markings/sec, 710 secs
lola: 1 tries, 43902 fired transitions, 715 secs || 44229 markings, 44228 edges, 62 markings/sec, 715 secs
lola: 1 tries, 44205 fired transitions, 720 secs || 44532 markings, 44531 edges, 61 markings/sec, 720 secs
lola: 1 tries, 44494 fired transitions, 725 secs || 44821 markings, 44820 edges, 58 markings/sec, 725 secs
lola: 1 tries, 44782 fired transitions, 730 secs || 45110 markings, 45109 edges, 58 markings/sec, 730 secs
lola: 1 tries, 45072 fired transitions, 735 secs || 45400 markings, 45399 edges, 58 markings/sec, 735 secs
lola: 1 tries, 45365 fired transitions, 740 secs || 45693 markings, 45692 edges, 59 markings/sec, 740 secs
lola: 1 tries, 45874 fired transitions, 745 secs || 46219 markings, 46218 edges, 105 markings/sec, 745 secs
lola: 1 tries, 46480 fired transitions, 750 secs || 46815 markings, 46814 edges, 119 markings/sec, 750 secs
lola: 1 tries, 47077 fired transitions, 755 secs || 47446 markings, 47445 edges, 126 markings/sec, 755 secs
lola: 1 tries, 47680 fired transitions, 760 secs || 48067 markings, 48066 edges, 124 markings/sec, 760 secs
lola: 1 tries, 48279 fired transitions, 765 secs || 48701 markings, 48700 edges, 127 markings/sec, 765 secs
lola: 1 tries, 48884 fired transitions, 770 secs || 49287 markings, 49286 edges, 117 markings/sec, 770 secs
lola: 1 tries, 49496 fired transitions, 775 secs || 49881 markings, 49880 edges, 119 markings/sec, 775 secs
lola: 1 tries, 50101 fired transitions, 780 secs || 50471 markings, 50470 edges, 118 markings/sec, 780 secs
lola: 1 tries, 50691 fired transitions, 785 secs || 51039 markings, 51038 edges, 114 markings/sec, 785 secs
lola: 1 tries, 51293 fired transitions, 790 secs || 51594 markings, 51593 edges, 111 markings/sec, 790 secs
lola: 1 tries, 51872 fired transitions, 795 secs || 52164 markings, 52163 edges, 114 markings/sec, 795 secs
lola: 1 tries, 52428 fired transitions, 800 secs || 52752 markings, 52751 edges, 118 markings/sec, 800 secs
lola: 1 tries, 52732 fired transitions, 805 secs || 53057 markings, 53056 edges, 61 markings/sec, 805 secs
lola: 1 tries, 53034 fired transitions, 810 secs || 53360 markings, 53359 edges, 61 markings/sec, 810 secs
lola: 1 tries, 53340 fired transitions, 815 secs || 53666 markings, 53665 edges, 61 markings/sec, 815 secs
lola: 1 tries, 53641 fired transitions, 820 secs || 53965 markings, 53964 edges, 60 markings/sec, 820 secs
lola: 1 tries, 53953 fired transitions, 825 secs || 54274 markings, 54273 edges, 62 markings/sec, 825 secs
lola: 1 tries, 54262 fired transitions, 830 secs || 54584 markings, 54583 edges, 62 markings/sec, 830 secs
lola: 1 tries, 54571 fired transitions, 835 secs || 54892 markings, 54891 edges, 62 markings/sec, 835 secs
lola: 1 tries, 54879 fired transitions, 840 secs || 55202 markings, 55201 edges, 62 markings/sec, 840 secs
lola: 1 tries, 55190 fired transitions, 845 secs || 55511 markings, 55510 edges, 62 markings/sec, 845 secs
lola: 1 tries, 55714 fired transitions, 850 secs || 56038 markings, 56037 edges, 105 markings/sec, 850 secs
lola: 1 tries, 56345 fired transitions, 855 secs || 56626 markings, 56625 edges, 118 markings/sec, 855 secs
lola: 1 tries, 56965 fired transitions, 860 secs || 57217 markings, 57216 edges, 118 markings/sec, 860 secs
lola: 1 tries, 57591 fired transitions, 865 secs || 57815 markings, 57814 edges, 120 markings/sec, 865 secs
lola: 1 tries, 58241 fired transitions, 870 secs || 58438 markings, 58437 edges, 125 markings/sec, 870 secs
lola: 1 tries, 58720 fired transitions, 875 secs || 58908 markings, 58907 edges, 94 markings/sec, 875 secs
lola: 1 tries, 59039 fired transitions, 880 secs || 59225 markings, 59224 edges, 63 markings/sec, 880 secs
lola: 1 tries, 59338 fired transitions, 885 secs || 59526 markings, 59525 edges, 60 markings/sec, 885 secs
lola: 1 tries, 59635 fired transitions, 890 secs || 59821 markings, 59820 edges, 59 markings/sec, 890 secs
lola: 1 tries, 59929 fired transitions, 895 secs || 60115 markings, 60114 edges, 59 markings/sec, 895 secs
lola: 1 tries, 60224 fired transitions, 900 secs || 60410 markings, 60409 edges, 59 markings/sec, 900 secs
lola: 1 tries, 60677 fired transitions, 905 secs || 60847 markings, 60846 edges, 87 markings/sec, 905 secs
lola: 1 tries, 61291 fired transitions, 910 secs || 61426 markings, 61425 edges, 116 markings/sec, 910 secs
lola: 1 tries, 61878 fired transitions, 915 secs || 62037 markings, 62036 edges, 122 markings/sec, 915 secs
lola: 1 tries, 62450 fired transitions, 920 secs || 62655 markings, 62654 edges, 124 markings/sec, 920 secs
lola: 1 tries, 63034 fired transitions, 925 secs || 63252 markings, 63251 edges, 119 markings/sec, 925 secs
lola: 1 tries, 63614 fired transitions, 930 secs || 63867 markings, 63866 edges, 123 markings/sec, 930 secs
lola: 1 tries, 64204 fired transitions, 935 secs || 64463 markings, 64462 edges, 119 markings/sec, 935 secs
lola: 1 tries, 64807 fired transitions, 940 secs || 65036 markings, 65035 edges, 115 markings/sec, 940 secs
lola: 1 tries, 65430 fired transitions, 945 secs || 65644 markings, 65643 edges, 122 markings/sec, 945 secs
lola: 1 tries, 66066 fired transitions, 950 secs || 66260 markings, 66259 edges, 123 markings/sec, 950 secs
lola: 1 tries, 66703 fired transitions, 955 secs || 66868 markings, 66867 edges, 122 markings/sec, 955 secs
lola: 1 tries, 67317 fired transitions, 960 secs || 67485 markings, 67484 edges, 123 markings/sec, 960 secs
lola: 1 tries, 67901 fired transitions, 965 secs || 68086 markings, 68085 edges, 120 markings/sec, 965 secs
lola: 1 tries, 68432 fired transitions, 970 secs || 68670 markings, 68669 edges, 117 markings/sec, 970 secs
lola: 1 tries, 68990 fired transitions, 975 secs || 69277 markings, 69276 edges, 121 markings/sec, 975 secs
lola: 1 tries, 69541 fired transitions, 980 secs || 69874 markings, 69873 edges, 119 markings/sec, 980 secs
lola: 1 tries, 70100 fired transitions, 985 secs || 70460 markings, 70459 edges, 117 markings/sec, 985 secs
lola: 1 tries, 70425 fired transitions, 990 secs || 70790 markings, 70789 edges, 66 markings/sec, 990 secs
lola: 1 tries, 70734 fired transitions, 995 secs || 71099 markings, 71098 edges, 62 markings/sec, 995 secs
lola: 1 tries, 71259 fired transitions, 1000 secs || 71635 markings, 71634 edges, 107 markings/sec, 1000 secs
lola: 1 tries, 71653 fired transitions, 1005 secs || 72014 markings, 72013 edges, 76 markings/sec, 1005 secs
lola: 1 tries, 72078 fired transitions, 1010 secs || 72433 markings, 72432 edges, 84 markings/sec, 1010 secs
lola: 1 tries, 72495 fired transitions, 1015 secs || 72848 markings, 72847 edges, 83 markings/sec, 1015 secs
lola: 1 tries, 72794 fired transitions, 1020 secs || 73145 markings, 73144 edges, 59 markings/sec, 1020 secs
lola: 1 tries, 73436 fired transitions, 1025 secs || 73769 markings, 73768 edges, 125 markings/sec, 1025 secs
lola: 1 tries, 74050 fired transitions, 1030 secs || 74408 markings, 74407 edges, 128 markings/sec, 1030 secs
lola: 1 tries, 74663 fired transitions, 1035 secs || 75048 markings, 75047 edges, 128 markings/sec, 1035 secs
lola: 1 tries, 75294 fired transitions, 1040 secs || 75680 markings, 75679 edges, 126 markings/sec, 1040 secs
lola: 1 tries, 75640 fired transitions, 1045 secs || 76030 markings, 76029 edges, 70 markings/sec, 1045 secs
lola: 1 tries, 75936 fired transitions, 1050 secs || 76325 markings, 76324 edges, 59 markings/sec, 1050 secs
lola: 1 tries, 76289 fired transitions, 1055 secs || 76681 markings, 76680 edges, 71 markings/sec, 1055 secs
lola: 1 tries, 76894 fired transitions, 1060 secs || 77306 markings, 77305 edges, 125 markings/sec, 1060 secs
lola: 1 tries, 77204 fired transitions, 1065 secs || 77623 markings, 77622 edges, 63 markings/sec, 1065 secs
lola: 1 tries, 77503 fired transitions, 1070 secs || 77919 markings, 77918 edges, 59 markings/sec, 1070 secs
lola: 1 tries, 77806 fired transitions, 1075 secs || 78225 markings, 78224 edges, 61 markings/sec, 1075 secs
lola: 1 tries, 78115 fired transitions, 1080 secs || 78531 markings, 78530 edges, 61 markings/sec, 1080 secs
lola: 1 tries, 78424 fired transitions, 1085 secs || 78838 markings, 78837 edges, 61 markings/sec, 1085 secs
lola: 1 tries, 78736 fired transitions, 1090 secs || 79149 markings, 79148 edges, 62 markings/sec, 1090 secs
lola: 1 tries, 79041 fired transitions, 1095 secs || 79453 markings, 79452 edges, 61 markings/sec, 1095 secs
lola: 1 tries, 79338 fired transitions, 1100 secs || 79755 markings, 79754 edges, 60 markings/sec, 1100 secs
lola: 1 tries, 79636 fired transitions, 1105 secs || 80051 markings, 80050 edges, 59 markings/sec, 1105 secs
lola: 1 tries, 79933 fired transitions, 1110 secs || 80349 markings, 80348 edges, 60 markings/sec, 1110 secs
lola: 1 tries, 80227 fired transitions, 1115 secs || 80640 markings, 80639 edges, 58 markings/sec, 1115 secs
lola: 1 tries, 80523 fired transitions, 1120 secs || 80934 markings, 80933 edges, 59 markings/sec, 1120 secs
lola: 1 tries, 80821 fired transitions, 1125 secs || 81233 markings, 81232 edges, 60 markings/sec, 1125 secs
lola: 1 tries, 81127 fired transitions, 1130 secs || 81540 markings, 81539 edges, 61 markings/sec, 1130 secs
lola: 1 tries, 81435 fired transitions, 1135 secs || 81847 markings, 81846 edges, 61 markings/sec, 1135 secs
lola: 1 tries, 81939 fired transitions, 1140 secs || 82309 markings, 82308 edges, 92 markings/sec, 1140 secs
lola: 1 tries, 82580 fired transitions, 1145 secs || 82875 markings, 82874 edges, 113 markings/sec, 1145 secs
lola: 1 tries, 83209 fired transitions, 1150 secs || 83448 markings, 83447 edges, 115 markings/sec, 1150 secs
lola: 1 tries, 83673 fired transitions, 1155 secs || 83909 markings, 83908 edges, 92 markings/sec, 1155 secs
lola: 1 tries, 83989 fired transitions, 1160 secs || 84226 markings, 84225 edges, 63 markings/sec, 1160 secs
lola: 1 tries, 84306 fired transitions, 1165 secs || 84544 markings, 84543 edges, 64 markings/sec, 1165 secs
lola: 1 tries, 84608 fired transitions, 1170 secs || 84849 markings, 84848 edges, 61 markings/sec, 1170 secs
lola: 1 tries, 84921 fired transitions, 1175 secs || 85160 markings, 85159 edges, 62 markings/sec, 1175 secs
lola: 1 tries, 85240 fired transitions, 1180 secs || 85482 markings, 85481 edges, 64 markings/sec, 1180 secs
lola: 1 tries, 85563 fired transitions, 1185 secs || 85806 markings, 85805 edges, 65 markings/sec, 1185 secs
lola: 1 tries, 85889 fired transitions, 1190 secs || 86133 markings, 86132 edges, 65 markings/sec, 1190 secs
lola: 1 tries, 86232 fired transitions, 1195 secs || 86484 markings, 86483 edges, 70 markings/sec, 1195 secs
lola: 1 tries, 86555 fired transitions, 1200 secs || 86808 markings, 86807 edges, 65 markings/sec, 1200 secs
lola: 1 tries, 86857 fired transitions, 1205 secs || 87113 markings, 87112 edges, 61 markings/sec, 1205 secs
lola: 1 tries, 87227 fired transitions, 1210 secs || 87491 markings, 87490 edges, 76 markings/sec, 1210 secs
lola: 1 tries, 87531 fired transitions, 1215 secs || 87798 markings, 87797 edges, 61 markings/sec, 1215 secs
lola: 1 tries, 87833 fired transitions, 1220 secs || 88104 markings, 88103 edges, 61 markings/sec, 1220 secs
lola: 1 tries, 88149 fired transitions, 1225 secs || 88425 markings, 88424 edges, 64 markings/sec, 1225 secs
lola: 1 tries, 88472 fired transitions, 1230 secs || 88747 markings, 88746 edges, 64 markings/sec, 1230 secs
lola: 1 tries, 88794 fired transitions, 1235 secs || 89070 markings, 89069 edges, 65 markings/sec, 1235 secs
lola: 1 tries, 89119 fired transitions, 1240 secs || 89395 markings, 89394 edges, 65 markings/sec, 1240 secs
lola: 1 tries, 89443 fired transitions, 1245 secs || 89722 markings, 89721 edges, 65 markings/sec, 1245 secs
lola: 1 tries, 89767 fired transitions, 1250 secs || 90048 markings, 90047 edges, 65 markings/sec, 1250 secs
lola: 1 tries, 90088 fired transitions, 1255 secs || 90370 markings, 90369 edges, 64 markings/sec, 1255 secs
lola: 1 tries, 90403 fired transitions, 1260 secs || 90684 markings, 90683 edges, 63 markings/sec, 1260 secs
lola: 1 tries, 90709 fired transitions, 1265 secs || 90991 markings, 90990 edges, 61 markings/sec, 1265 secs
lola: 1 tries, 91013 fired transitions, 1270 secs || 91298 markings, 91297 edges, 61 markings/sec, 1270 secs
lola: 1 tries, 91318 fired transitions, 1275 secs || 91601 markings, 91600 edges, 61 markings/sec, 1275 secs
lola: 1 tries, 91621 fired transitions, 1280 secs || 91905 markings, 91904 edges, 61 markings/sec, 1280 secs
lola: 1 tries, 91918 fired transitions, 1285 secs || 92203 markings, 92202 edges, 60 markings/sec, 1285 secs
lola: 1 tries, 92232 fired transitions, 1290 secs || 92519 markings, 92518 edges, 63 markings/sec, 1290 secs
lola: 1 tries, 92544 fired transitions, 1295 secs || 92831 markings, 92830 edges, 62 markings/sec, 1295 secs
lola: 1 tries, 92842 fired transitions, 1300 secs || 93128 markings, 93127 edges, 59 markings/sec, 1300 secs
lola: 1 tries, 93130 fired transitions, 1305 secs || 93417 markings, 93416 edges, 58 markings/sec, 1305 secs
lola: 1 tries, 93533 fired transitions, 1310 secs || 93822 markings, 93821 edges, 81 markings/sec, 1310 secs
lola: 1 tries, 94088 fired transitions, 1315 secs || 94370 markings, 94369 edges, 110 markings/sec, 1315 secs
lola: 1 tries, 94469 fired transitions, 1320 secs || 94751 markings, 94750 edges, 76 markings/sec, 1320 secs
lola: 1 tries, 94747 fired transitions, 1325 secs || 95029 markings, 95028 edges, 56 markings/sec, 1325 secs
lola: 1 tries, 95024 fired transitions, 1330 secs || 95309 markings, 95308 edges, 56 markings/sec, 1330 secs
lola: 1 tries, 95310 fired transitions, 1335 secs || 95591 markings, 95590 edges, 56 markings/sec, 1335 secs
lola: 1 tries, 95607 fired transitions, 1340 secs || 95886 markings, 95885 edges, 59 markings/sec, 1340 secs
lola: 1 tries, 96136 fired transitions, 1345 secs || 96403 markings, 96402 edges, 103 markings/sec, 1345 secs
lola: 1 tries, 96686 fired transitions, 1350 secs || 96956 markings, 96955 edges, 111 markings/sec, 1350 secs
lola: 1 tries, 97050 fired transitions, 1355 secs || 97325 markings, 97324 edges, 74 markings/sec, 1355 secs
lola: 1 tries, 97361 fired transitions, 1360 secs || 97639 markings, 97638 edges, 63 markings/sec, 1360 secs
lola: 1 tries, 97666 fired transitions, 1365 secs || 97943 markings, 97942 edges, 61 markings/sec, 1365 secs
lola: 1 tries, 97967 fired transitions, 1370 secs || 98246 markings, 98245 edges, 61 markings/sec, 1370 secs
lola: 1 tries, 98277 fired transitions, 1375 secs || 98554 markings, 98553 edges, 62 markings/sec, 1375 secs
lola: 1 tries, 98585 fired transitions, 1380 secs || 98865 markings, 98864 edges, 62 markings/sec, 1380 secs
lola: 1 tries, 98892 fired transitions, 1385 secs || 99173 markings, 99172 edges, 62 markings/sec, 1385 secs
lola: 1 tries, 99195 fired transitions, 1390 secs || 99475 markings, 99474 edges, 60 markings/sec, 1390 secs
lola: 1 tries, 99505 fired transitions, 1395 secs || 99786 markings, 99785 edges, 62 markings/sec, 1395 secs
lola: 1 tries, 99806 fired transitions, 1400 secs || 100087 markings, 100086 edges, 60 markings/sec, 1400 secs
lola: 1 tries, 100107 fired transitions, 1405 secs || 100389 markings, 100388 edges, 60 markings/sec, 1405 secs
lola: 1 tries, 100405 fired transitions, 1410 secs || 100686 markings, 100685 edges, 59 markings/sec, 1410 secs
lola: 1 tries, 100707 fired transitions, 1415 secs || 100989 markings, 100988 edges, 61 markings/sec, 1415 secs
lola: 1 tries, 101020 fired transitions, 1420 secs || 101299 markings, 101298 edges, 62 markings/sec, 1420 secs
lola: 1 tries, 101330 fired transitions, 1425 secs || 101606 markings, 101605 edges, 61 markings/sec, 1425 secs
lola: 1 tries, 101642 fired transitions, 1430 secs || 101915 markings, 101914 edges, 62 markings/sec, 1430 secs
lola: 1 tries, 101946 fired transitions, 1435 secs || 102220 markings, 102219 edges, 61 markings/sec, 1435 secs
lola: 1 tries, 102227 fired transitions, 1440 secs || 102501 markings, 102500 edges, 56 markings/sec, 1440 secs
lola: 1 tries, 102518 fired transitions, 1445 secs || 102796 markings, 102795 edges, 59 markings/sec, 1445 secs
lola: 1 tries, 102856 fired transitions, 1450 secs || 103148 markings, 103147 edges, 70 markings/sec, 1450 secs
lola: 1 tries, 103437 fired transitions, 1455 secs || 103719 markings, 103718 edges, 114 markings/sec, 1455 secs
lola: 1 tries, 103786 fired transitions, 1460 secs || 104054 markings, 104053 edges, 67 markings/sec, 1460 secs
lola: 1 tries, 104075 fired transitions, 1465 secs || 104344 markings, 104343 edges, 58 markings/sec, 1465 secs
lola: 1 tries, 104374 fired transitions, 1470 secs || 104641 markings, 104640 edges, 59 markings/sec, 1470 secs
lola: 1 tries, 104670 fired transitions, 1475 secs || 104940 markings, 104939 edges, 60 markings/sec, 1475 secs
lola: 1 tries, 104955 fired transitions, 1480 secs || 105225 markings, 105224 edges, 57 markings/sec, 1480 secs
lola: 1 tries, 105486 fired transitions, 1485 secs || 105740 markings, 105739 edges, 103 markings/sec, 1485 secs
lola: 1 tries, 106077 fired transitions, 1490 secs || 106329 markings, 106328 edges, 118 markings/sec, 1490 secs
lola: 1 tries, 106655 fired transitions, 1495 secs || 106918 markings, 106917 edges, 118 markings/sec, 1495 secs
lola: 1 tries, 107257 fired transitions, 1500 secs || 107514 markings, 107513 edges, 119 markings/sec, 1500 secs
lola: 1 tries, 107837 fired transitions, 1505 secs || 108129 markings, 108128 edges, 123 markings/sec, 1505 secs
lola: 1 tries, 108415 fired transitions, 1510 secs || 108731 markings, 108730 edges, 120 markings/sec, 1510 secs
lola: 1 tries, 108999 fired transitions, 1515 secs || 109347 markings, 109346 edges, 123 markings/sec, 1515 secs
lola: 1 tries, 109561 fired transitions, 1520 secs || 109969 markings, 109968 edges, 124 markings/sec, 1520 secs
lola: 1 tries, 110150 fired transitions, 1525 secs || 110561 markings, 110560 edges, 118 markings/sec, 1525 secs
lola: 1 tries, 110761 fired transitions, 1530 secs || 111151 markings, 111150 edges, 118 markings/sec, 1530 secs
lola: 1 tries, 111132 fired transitions, 1535 secs || 111524 markings, 111523 edges, 75 markings/sec, 1535 secs
lola: 1 tries, 111472 fired transitions, 1540 secs || 111872 markings, 111871 edges, 70 markings/sec, 1540 secs
lola: 1 tries, 112026 fired transitions, 1545 secs || 112421 markings, 112420 edges, 110 markings/sec, 1545 secs
lola: 1 tries, 112304 fired transitions, 1550 secs || 112700 markings, 112699 edges, 56 markings/sec, 1550 secs
lola: 1 tries, 112596 fired transitions, 1555 secs || 112992 markings, 112991 edges, 58 markings/sec, 1555 secs
lola: 1 tries, 113008 fired transitions, 1560 secs || 113407 markings, 113406 edges, 83 markings/sec, 1560 secs
lola: 1 tries, 113472 fired transitions, 1565 secs || 113863 markings, 113862 edges, 91 markings/sec, 1565 secs
lola: 1 tries, 113759 fired transitions, 1570 secs || 114150 markings, 114149 edges, 57 markings/sec, 1570 secs
lola: 1 tries, 114037 fired transitions, 1575 secs || 114429 markings, 114428 edges, 56 markings/sec, 1575 secs
lola: 1 tries, 114317 fired transitions, 1580 secs || 114709 markings, 114708 edges, 56 markings/sec, 1580 secs
lola: 1 tries, 114600 fired transitions, 1585 secs || 114993 markings, 114992 edges, 57 markings/sec, 1585 secs
lola: 1 tries, 114888 fired transitions, 1590 secs || 115282 markings, 115281 edges, 58 markings/sec, 1590 secs
lola: 1 tries, 115172 fired transitions, 1595 secs || 115564 markings, 115563 edges, 56 markings/sec, 1595 secs
lola: 1 tries, 115741 fired transitions, 1600 secs || 116092 markings, 116091 edges, 106 markings/sec, 1600 secs
lola: 1 tries, 116351 fired transitions, 1605 secs || 116655 markings, 116654 edges, 113 markings/sec, 1605 secs
lola: 1 tries, 116980 fired transitions, 1610 secs || 117229 markings, 117228 edges, 115 markings/sec, 1610 secs
lola: 1 tries, 117353 fired transitions, 1615 secs || 117589 markings, 117588 edges, 72 markings/sec, 1615 secs
lola: 1 tries, 117936 fired transitions, 1620 secs || 118134 markings, 118133 edges, 109 markings/sec, 1620 secs
lola: 1 tries, 118568 fired transitions, 1625 secs || 118684 markings, 118683 edges, 110 markings/sec, 1625 secs
lola: 1 tries, 119206 fired transitions, 1630 secs || 119252 markings, 119251 edges, 114 markings/sec, 1630 secs
lola: 1 tries, 119816 fired transitions, 1635 secs || 119829 markings, 119828 edges, 115 markings/sec, 1635 secs
lola: 1 tries, 120416 fired transitions, 1640 secs || 120402 markings, 120401 edges, 115 markings/sec, 1640 secs
lola: 1 tries, 121009 fired transitions, 1645 secs || 120964 markings, 120963 edges, 112 markings/sec, 1645 secs
lola: 1 tries, 121613 fired transitions, 1650 secs || 121587 markings, 121586 edges, 125 markings/sec, 1650 secs
lola: 1 tries, 122214 fired transitions, 1655 secs || 122209 markings, 122208 edges, 124 markings/sec, 1655 secs
lola: 1 tries, 122818 fired transitions, 1660 secs || 122835 markings, 122834 edges, 125 markings/sec, 1660 secs
lola: 1 tries, 123408 fired transitions, 1665 secs || 123463 markings, 123462 edges, 126 markings/sec, 1665 secs
lola: 1 tries, 123903 fired transitions, 1670 secs || 123958 markings, 123957 edges, 99 markings/sec, 1670 secs
lola: 1 tries, 124502 fired transitions, 1675 secs || 124525 markings, 124524 edges, 113 markings/sec, 1675 secs
lola: 1 tries, 125112 fired transitions, 1680 secs || 125086 markings, 125085 edges, 112 markings/sec, 1680 secs
lola: 1 tries, 125731 fired transitions, 1685 secs || 125716 markings, 125715 edges, 126 markings/sec, 1685 secs
lola: 1 tries, 126350 fired transitions, 1690 secs || 126346 markings, 126345 edges, 126 markings/sec, 1690 secs
lola: 1 tries, 126972 fired transitions, 1695 secs || 126971 markings, 126970 edges, 125 markings/sec, 1695 secs
lola: 1 tries, 127589 fired transitions, 1700 secs || 127597 markings, 127596 edges, 125 markings/sec, 1700 secs
lola: 1 tries, 128199 fired transitions, 1705 secs || 128227 markings, 128226 edges, 126 markings/sec, 1705 secs
lola: 1 tries, 128738 fired transitions, 1710 secs || 128784 markings, 128783 edges, 111 markings/sec, 1710 secs
lola: 1 tries, 129229 fired transitions, 1715 secs || 129308 markings, 129307 edges, 105 markings/sec, 1715 secs
lola: 1 tries, 129546 fired transitions, 1720 secs || 129629 markings, 129628 edges, 64 markings/sec, 1720 secs
lola: 1 tries, 129863 fired transitions, 1725 secs || 129947 markings, 129946 edges, 64 markings/sec, 1725 secs
lola: 1 tries, 130411 fired transitions, 1730 secs || 130529 markings, 130528 edges, 116 markings/sec, 1730 secs
lola: 1 tries, 130944 fired transitions, 1735 secs || 131097 markings, 131096 edges, 114 markings/sec, 1735 secs
lola: 1 tries, 131247 fired transitions, 1740 secs || 131400 markings, 131399 edges, 61 markings/sec, 1740 secs
lola: 1 tries, 131553 fired transitions, 1745 secs || 131708 markings, 131707 edges, 62 markings/sec, 1745 secs
lola: 1 tries, 131904 fired transitions, 1750 secs || 132061 markings, 132060 edges, 71 markings/sec, 1750 secs
lola: 1 tries, 132519 fired transitions, 1755 secs || 132694 markings, 132693 edges, 127 markings/sec, 1755 secs
lola: 1 tries, 132861 fired transitions, 1760 secs || 133038 markings, 133037 edges, 69 markings/sec, 1760 secs
lola: 1 tries, 133179 fired transitions, 1765 secs || 133355 markings, 133354 edges, 63 markings/sec, 1765 secs
lola: 1 tries, 133495 fired transitions, 1770 secs || 133673 markings, 133672 edges, 64 markings/sec, 1770 secs
lola: 1 tries, 133809 fired transitions, 1775 secs || 133989 markings, 133988 edges, 63 markings/sec, 1775 secs
lola: 1 tries, 134247 fired transitions, 1780 secs || 134410 markings, 134409 edges, 84 markings/sec, 1780 secs
lola: 1 tries, 134878 fired transitions, 1785 secs || 134980 markings, 134979 edges, 114 markings/sec, 1785 secs
lola: 1 tries, 135480 fired transitions, 1790 secs || 135536 markings, 135535 edges, 111 markings/sec, 1790 secs
lola: 1 tries, 136088 fired transitions, 1795 secs || 136075 markings, 136074 edges, 108 markings/sec, 1795 secs
lola: 1 tries, 136689 fired transitions, 1800 secs || 136604 markings, 136603 edges, 106 markings/sec, 1800 secs
lola: 1 tries, 137307 fired transitions, 1805 secs || 137173 markings, 137172 edges, 114 markings/sec, 1805 secs
lola: 1 tries, 137923 fired transitions, 1810 secs || 137745 markings, 137744 edges, 114 markings/sec, 1810 secs
lola: 1 tries, 138501 fired transitions, 1815 secs || 138324 markings, 138323 edges, 116 markings/sec, 1815 secs
lola: 1 tries, 139054 fired transitions, 1820 secs || 138877 markings, 138876 edges, 111 markings/sec, 1820 secs
lola: 1 tries, 139606 fired transitions, 1825 secs || 139422 markings, 139421 edges, 109 markings/sec, 1825 secs
lola: 1 tries, 140165 fired transitions, 1830 secs || 139988 markings, 139987 edges, 113 markings/sec, 1830 secs
lola: 1 tries, 140741 fired transitions, 1835 secs || 140559 markings, 140558 edges, 114 markings/sec, 1835 secs
lola: 1 tries, 141318 fired transitions, 1840 secs || 141130 markings, 141129 edges, 114 markings/sec, 1840 secs
lola: 1 tries, 141909 fired transitions, 1845 secs || 141677 markings, 141676 edges, 109 markings/sec, 1845 secs
lola: 1 tries, 142527 fired transitions, 1850 secs || 142224 markings, 142223 edges, 109 markings/sec, 1850 secs
lola: 1 tries, 143134 fired transitions, 1855 secs || 142753 markings, 142752 edges, 106 markings/sec, 1855 secs
lola: 1 tries, 143558 fired transitions, 1860 secs || 143134 markings, 143133 edges, 76 markings/sec, 1860 secs
lola: 1 tries, 143899 fired transitions, 1865 secs || 143474 markings, 143473 edges, 68 markings/sec, 1865 secs
lola: 1 tries, 144487 fired transitions, 1870 secs || 144031 markings, 144030 edges, 111 markings/sec, 1870 secs
lola: 1 tries, 145104 fired transitions, 1875 secs || 144559 markings, 144558 edges, 106 markings/sec, 1875 secs
lola: 1 tries, 145732 fired transitions, 1880 secs || 145076 markings, 145075 edges, 103 markings/sec, 1880 secs
lola: 1 tries, 146361 fired transitions, 1885 secs || 145589 markings, 145588 edges, 103 markings/sec, 1885 secs
lola: 1 tries, 146879 fired transitions, 1890 secs || 146066 markings, 146065 edges, 95 markings/sec, 1890 secs
lola: 1 tries, 147497 fired transitions, 1895 secs || 146627 markings, 146626 edges, 112 markings/sec, 1895 secs
lola: 1 tries, 148111 fired transitions, 1900 secs || 147204 markings, 147203 edges, 115 markings/sec, 1900 secs
lola: 1 tries, 148703 fired transitions, 1905 secs || 147764 markings, 147763 edges, 112 markings/sec, 1905 secs
lola: 1 tries, 149297 fired transitions, 1910 secs || 148330 markings, 148329 edges, 113 markings/sec, 1910 secs
lola: 1 tries, 149884 fired transitions, 1915 secs || 148861 markings, 148860 edges, 106 markings/sec, 1915 secs
lola: 1 tries, 150494 fired transitions, 1920 secs || 149399 markings, 149398 edges, 108 markings/sec, 1920 secs
lola: 1 tries, 151126 fired transitions, 1925 secs || 149928 markings, 149927 edges, 106 markings/sec, 1925 secs
lola: 1 tries, 151724 fired transitions, 1930 secs || 150473 markings, 150472 edges, 109 markings/sec, 1930 secs
lola: 1 tries, 152309 fired transitions, 1935 secs || 151032 markings, 151031 edges, 112 markings/sec, 1935 secs
lola: 1 tries, 152907 fired transitions, 1940 secs || 151572 markings, 151571 edges, 108 markings/sec, 1940 secs
lola: 1 tries, 153514 fired transitions, 1945 secs || 152116 markings, 152115 edges, 109 markings/sec, 1945 secs
lola: 1 tries, 154128 fired transitions, 1950 secs || 152656 markings, 152655 edges, 108 markings/sec, 1950 secs
lola: 1 tries, 154740 fired transitions, 1955 secs || 153223 markings, 153222 edges, 113 markings/sec, 1955 secs
lola: 1 tries, 155346 fired transitions, 1960 secs || 153813 markings, 153812 edges, 118 markings/sec, 1960 secs
lola: 1 tries, 155947 fired transitions, 1965 secs || 154359 markings, 154358 edges, 109 markings/sec, 1965 secs
lola: 1 tries, 156568 fired transitions, 1970 secs || 154922 markings, 154921 edges, 113 markings/sec, 1970 secs
lola: 1 tries, 157188 fired transitions, 1975 secs || 155480 markings, 155479 edges, 112 markings/sec, 1975 secs
lola: 1 tries, 157793 fired transitions, 1980 secs || 156039 markings, 156038 edges, 112 markings/sec, 1980 secs
lola: 1 tries, 158414 fired transitions, 1985 secs || 156595 markings, 156594 edges, 111 markings/sec, 1985 secs
lola: 1 tries, 159033 fired transitions, 1990 secs || 157148 markings, 157147 edges, 111 markings/sec, 1990 secs
lola: 1 tries, 159659 fired transitions, 1995 secs || 157694 markings, 157693 edges, 109 markings/sec, 1995 secs
lola: 1 tries, 160266 fired transitions, 2000 secs || 158225 markings, 158224 edges, 106 markings/sec, 2000 secs
lola: 1 tries, 160865 fired transitions, 2005 secs || 158772 markings, 158771 edges, 109 markings/sec, 2005 secs
lola: 1 tries, 161501 fired transitions, 2010 secs || 159324 markings, 159323 edges, 110 markings/sec, 2010 secs
lola: 1 tries, 162112 fired transitions, 2015 secs || 159869 markings, 159868 edges, 109 markings/sec, 2015 secs
lola: 1 tries, 162707 fired transitions, 2020 secs || 160407 markings, 160406 edges, 108 markings/sec, 2020 secs
lola: 1 tries, 163307 fired transitions, 2025 secs || 160942 markings, 160941 edges, 107 markings/sec, 2025 secs
lola: 1 tries, 163918 fired transitions, 2030 secs || 161470 markings, 161469 edges, 106 markings/sec, 2030 secs
lola: 1 tries, 164538 fired transitions, 2035 secs || 161998 markings, 161997 edges, 106 markings/sec, 2035 secs
lola: 1 tries, 165160 fired transitions, 2040 secs || 162526 markings, 162525 edges, 106 markings/sec, 2040 secs
lola: 1 tries, 165767 fired transitions, 2045 secs || 163046 markings, 163045 edges, 104 markings/sec, 2045 secs
lola: 1 tries, 166378 fired transitions, 2050 secs || 163570 markings, 163569 edges, 105 markings/sec, 2050 secs
lola: 1 tries, 166970 fired transitions, 2055 secs || 164093 markings, 164092 edges, 105 markings/sec, 2055 secs
lola: 1 tries, 167554 fired transitions, 2060 secs || 164634 markings, 164633 edges, 108 markings/sec, 2060 secs
lola: 1 tries, 168147 fired transitions, 2065 secs || 165167 markings, 165166 edges, 107 markings/sec, 2065 secs
lola: 1 tries, 168723 fired transitions, 2070 secs || 165713 markings, 165712 edges, 109 markings/sec, 2070 secs
lola: 1 tries, 169323 fired transitions, 2075 secs || 166259 markings, 166258 edges, 109 markings/sec, 2075 secs
lola: 1 tries, 169922 fired transitions, 2080 secs || 166831 markings, 166830 edges, 114 markings/sec, 2080 secs
lola: 1 tries, 170521 fired transitions, 2085 secs || 167397 markings, 167396 edges, 113 markings/sec, 2085 secs
lola: 1 tries, 171100 fired transitions, 2090 secs || 167958 markings, 167957 edges, 112 markings/sec, 2090 secs
lola: 1 tries, 171699 fired transitions, 2095 secs || 168506 markings, 168505 edges, 110 markings/sec, 2095 secs
lola: 1 tries, 172292 fired transitions, 2100 secs || 169073 markings, 169072 edges, 113 markings/sec, 2100 secs
lola: 1 tries, 172870 fired transitions, 2105 secs || 169639 markings, 169638 edges, 113 markings/sec, 2105 secs
lola: 1 tries, 173276 fired transitions, 2110 secs || 170057 markings, 170056 edges, 84 markings/sec, 2110 secs
lola: 1 tries, 173580 fired transitions, 2115 secs || 170361 markings, 170360 edges, 61 markings/sec, 2115 secs
lola: 1 tries, 173907 fired transitions, 2120 secs || 170681 markings, 170680 edges, 64 markings/sec, 2120 secs
lola: 1 tries, 174509 fired transitions, 2125 secs || 171264 markings, 171263 edges, 117 markings/sec, 2125 secs
lola: 1 tries, 174910 fired transitions, 2130 secs || 171650 markings, 171649 edges, 77 markings/sec, 2130 secs
lola: 1 tries, 175200 fired transitions, 2135 secs || 171942 markings, 171941 edges, 58 markings/sec, 2135 secs
lola: 1 tries, 175506 fired transitions, 2140 secs || 172254 markings, 172253 edges, 62 markings/sec, 2140 secs
lola: 1 tries, 175812 fired transitions, 2145 secs || 172556 markings, 172555 edges, 60 markings/sec, 2145 secs
lola: 1 tries, 176118 fired transitions, 2150 secs || 172860 markings, 172859 edges, 61 markings/sec, 2150 secs
lola: 1 tries, 176422 fired transitions, 2155 secs || 173162 markings, 173161 edges, 60 markings/sec, 2155 secs
lola: 1 tries, 176731 fired transitions, 2160 secs || 173470 markings, 173469 edges, 62 markings/sec, 2160 secs
lola: 1 tries, 177039 fired transitions, 2165 secs || 173775 markings, 173774 edges, 61 markings/sec, 2165 secs
lola: 1 tries, 177331 fired transitions, 2170 secs || 174067 markings, 174066 edges, 58 markings/sec, 2170 secs
lola: 1 tries, 177609 fired transitions, 2175 secs || 174344 markings, 174343 edges, 55 markings/sec, 2175 secs
lola: 1 tries, 177902 fired transitions, 2180 secs || 174637 markings, 174636 edges, 59 markings/sec, 2180 secs
lola: 1 tries, 178175 fired transitions, 2185 secs || 174910 markings, 174909 edges, 55 markings/sec, 2185 secs
lola: 1 tries, 178441 fired transitions, 2190 secs || 175175 markings, 175174 edges, 53 markings/sec, 2190 secs
lola: 1 tries, 178715 fired transitions, 2195 secs || 175450 markings, 175449 edges, 55 markings/sec, 2195 secs
lola: 1 tries, 179001 fired transitions, 2200 secs || 175736 markings, 175735 edges, 57 markings/sec, 2200 secs
lola: 1 tries, 179286 fired transitions, 2205 secs || 176020 markings, 176019 edges, 57 markings/sec, 2205 secs
lola: 1 tries, 179561 fired transitions, 2210 secs || 176295 markings, 176294 edges, 55 markings/sec, 2210 secs
lola: 1 tries, 179833 fired transitions, 2215 secs || 176569 markings, 176568 edges, 55 markings/sec, 2215 secs
lola: 1 tries, 180103 fired transitions, 2220 secs || 176839 markings, 176838 edges, 54 markings/sec, 2220 secs
lola: 1 tries, 180378 fired transitions, 2225 secs || 177114 markings, 177113 edges, 55 markings/sec, 2225 secs
lola: 1 tries, 180661 fired transitions, 2230 secs || 177397 markings, 177396 edges, 57 markings/sec, 2230 secs
lola: 1 tries, 180942 fired transitions, 2235 secs || 177677 markings, 177676 edges, 56 markings/sec, 2235 secs
lola: 1 tries, 181224 fired transitions, 2240 secs || 177960 markings, 177959 edges, 57 markings/sec, 2240 secs
lola: 1 tries, 181502 fired transitions, 2245 secs || 178237 markings, 178236 edges, 55 markings/sec, 2245 secs
lola: 1 tries, 181781 fired transitions, 2250 secs || 178514 markings, 178513 edges, 55 markings/sec, 2250 secs
lola: 1 tries, 182058 fired transitions, 2255 secs || 178793 markings, 178792 edges, 56 markings/sec, 2255 secs
lola: 1 tries, 182336 fired transitions, 2260 secs || 179070 markings, 179069 edges, 55 markings/sec, 2260 secs
lola: 1 tries, 182614 fired transitions, 2265 secs || 179349 markings, 179348 edges, 56 markings/sec, 2265 secs
lola: 1 tries, 182895 fired transitions, 2270 secs || 179631 markings, 179630 edges, 56 markings/sec, 2270 secs
lola: 1 tries, 183184 fired transitions, 2275 secs || 179919 markings, 179918 edges, 58 markings/sec, 2275 secs
lola: 1 tries, 183474 fired transitions, 2280 secs || 180206 markings, 180205 edges, 57 markings/sec, 2280 secs
lola: 1 tries, 183762 fired transitions, 2285 secs || 180495 markings, 180494 edges, 58 markings/sec, 2285 secs
lola: 1 tries, 184126 fired transitions, 2290 secs || 180863 markings, 180862 edges, 74 markings/sec, 2290 secs
lola: 1 tries, 184692 fired transitions, 2295 secs || 181433 markings, 181432 edges, 114 markings/sec, 2295 secs
lola: 1 tries, 185073 fired transitions, 2300 secs || 181816 markings, 181815 edges, 77 markings/sec, 2300 secs
lola: 1 tries, 185362 fired transitions, 2305 secs || 182105 markings, 182104 edges, 58 markings/sec, 2305 secs
lola: 1 tries, 185672 fired transitions, 2310 secs || 182415 markings, 182414 edges, 62 markings/sec, 2310 secs
lola: 1 tries, 186251 fired transitions, 2315 secs || 182981 markings, 182980 edges, 113 markings/sec, 2315 secs
lola: 1 tries, 186813 fired transitions, 2320 secs || 183520 markings, 183519 edges, 108 markings/sec, 2320 secs
lola: 1 tries, 187387 fired transitions, 2325 secs || 184062 markings, 184061 edges, 108 markings/sec, 2325 secs
lola: 1 tries, 187958 fired transitions, 2330 secs || 184621 markings, 184620 edges, 112 markings/sec, 2330 secs
lola: 1 tries, 188548 fired transitions, 2335 secs || 185219 markings, 185218 edges, 120 markings/sec, 2335 secs
lola: 1 tries, 189169 fired transitions, 2340 secs || 185801 markings, 185800 edges, 116 markings/sec, 2340 secs
lola: 1 tries, 189783 fired transitions, 2345 secs || 186376 markings, 186375 edges, 115 markings/sec, 2345 secs
lola: 1 tries, 190384 fired transitions, 2350 secs || 186964 markings, 186963 edges, 118 markings/sec, 2350 secs
lola: 1 tries, 190982 fired transitions, 2355 secs || 187566 markings, 187565 edges, 120 markings/sec, 2355 secs
lola: 1 tries, 191582 fired transitions, 2360 secs || 188130 markings, 188129 edges, 113 markings/sec, 2360 secs
lola: 1 tries, 192150 fired transitions, 2365 secs || 188691 markings, 188690 edges, 112 markings/sec, 2365 secs
lola: 1 tries, 192697 fired transitions, 2370 secs || 189251 markings, 189250 edges, 112 markings/sec, 2370 secs
lola: 1 tries, 193243 fired transitions, 2375 secs || 189801 markings, 189800 edges, 110 markings/sec, 2375 secs
lola: 1 tries, 193532 fired transitions, 2380 secs || 190086 markings, 190085 edges, 57 markings/sec, 2380 secs
lola: 1 tries, 193817 fired transitions, 2385 secs || 190367 markings, 190366 edges, 56 markings/sec, 2385 secs
lola: 1 tries, 194393 fired transitions, 2390 secs || 190914 markings, 190913 edges, 109 markings/sec, 2390 secs
lola: 1 tries, 195003 fired transitions, 2395 secs || 191474 markings, 191473 edges, 112 markings/sec, 2395 secs
lola: 1 tries, 195600 fired transitions, 2400 secs || 192025 markings, 192024 edges, 110 markings/sec, 2400 secs
lola: 1 tries, 196183 fired transitions, 2405 secs || 192600 markings, 192599 edges, 115 markings/sec, 2405 secs
lola: 1 tries, 196763 fired transitions, 2410 secs || 193174 markings, 193173 edges, 115 markings/sec, 2410 secs
lola: 1 tries, 197358 fired transitions, 2415 secs || 193747 markings, 193746 edges, 115 markings/sec, 2415 secs
lola: 1 tries, 197931 fired transitions, 2420 secs || 194317 markings, 194316 edges, 114 markings/sec, 2420 secs
lola: 1 tries, 198494 fired transitions, 2425 secs || 194883 markings, 194882 edges, 113 markings/sec, 2425 secs
lola: 1 tries, 199044 fired transitions, 2430 secs || 195449 markings, 195448 edges, 113 markings/sec, 2430 secs
lola: 1 tries, 199602 fired transitions, 2435 secs || 196009 markings, 196008 edges, 112 markings/sec, 2435 secs
lola: 1 tries, 200169 fired transitions, 2440 secs || 196568 markings, 196567 edges, 112 markings/sec, 2440 secs
lola: 1 tries, 200743 fired transitions, 2445 secs || 197142 markings, 197141 edges, 115 markings/sec, 2445 secs
lola: 1 tries, 201332 fired transitions, 2450 secs || 197723 markings, 197722 edges, 116 markings/sec, 2450 secs
lola: 1 tries, 201923 fired transitions, 2455 secs || 198304 markings, 198303 edges, 116 markings/sec, 2455 secs
lola: 1 tries, 202374 fired transitions, 2460 secs || 198759 markings, 198758 edges, 91 markings/sec, 2460 secs
lola: 1 tries, 202662 fired transitions, 2465 secs || 199047 markings, 199046 edges, 58 markings/sec, 2465 secs
lola: 1 tries, 202951 fired transitions, 2470 secs || 199335 markings, 199334 edges, 58 markings/sec, 2470 secs
lola: 1 tries, 203240 fired transitions, 2475 secs || 199625 markings, 199624 edges, 58 markings/sec, 2475 secs
lola: 1 tries, 203544 fired transitions, 2480 secs || 199935 markings, 199934 edges, 62 markings/sec, 2480 secs
lola: 1 tries, 204146 fired transitions, 2485 secs || 200535 markings, 200534 edges, 120 markings/sec, 2485 secs
lola: 1 tries, 204637 fired transitions, 2490 secs || 201003 markings, 201002 edges, 94 markings/sec, 2490 secs
lola: 1 tries, 205230 fired transitions, 2495 secs || 201620 markings, 201619 edges, 123 markings/sec, 2495 secs
lola: 1 tries, 205812 fired transitions, 2500 secs || 202208 markings, 202207 edges, 118 markings/sec, 2500 secs
lola: 1 tries, 206390 fired transitions, 2505 secs || 202769 markings, 202768 edges, 112 markings/sec, 2505 secs
lola: 1 tries, 206949 fired transitions, 2510 secs || 203308 markings, 203307 edges, 108 markings/sec, 2510 secs
lola: 1 tries, 207500 fired transitions, 2515 secs || 203830 markings, 203829 edges, 104 markings/sec, 2515 secs
lola: 1 tries, 208055 fired transitions, 2520 secs || 204330 markings, 204329 edges, 100 markings/sec, 2520 secs
lola: 1 tries, 208610 fired transitions, 2525 secs || 204830 markings, 204829 edges, 100 markings/sec, 2525 secs
lola: 1 tries, 209205 fired transitions, 2530 secs || 205363 markings, 205362 edges, 107 markings/sec, 2530 secs
lola: 1 tries, 209798 fired transitions, 2535 secs || 205897 markings, 205896 edges, 107 markings/sec, 2535 secs
lola: 1 tries, 210391 fired transitions, 2540 secs || 206434 markings, 206433 edges, 107 markings/sec, 2540 secs
lola: 1 tries, 210976 fired transitions, 2545 secs || 206951 markings, 206950 edges, 103 markings/sec, 2545 secs
lola: 1 tries, 211548 fired transitions, 2550 secs || 207468 markings, 207467 edges, 103 markings/sec, 2550 secs
lola: 1 tries, 212096 fired transitions, 2555 secs || 207987 markings, 207986 edges, 104 markings/sec, 2555 secs
lola: 1 tries, 212616 fired transitions, 2560 secs || 208561 markings, 208560 edges, 115 markings/sec, 2560 secs
lola: 1 tries, 213167 fired transitions, 2565 secs || 209139 markings, 209138 edges, 116 markings/sec, 2565 secs
lola: 1 tries, 213773 fired transitions, 2570 secs || 209732 markings, 209731 edges, 119 markings/sec, 2570 secs
lola: 1 tries, 214372 fired transitions, 2575 secs || 210310 markings, 210309 edges, 116 markings/sec, 2575 secs
lola: 1 tries, 214983 fired transitions, 2580 secs || 210883 markings, 210882 edges, 115 markings/sec, 2580 secs
lola: 1 tries, 215586 fired transitions, 2585 secs || 211489 markings, 211488 edges, 121 markings/sec, 2585 secs
lola: 1 tries, 216181 fired transitions, 2590 secs || 212107 markings, 212106 edges, 124 markings/sec, 2590 secs
lola: 1 tries, 216738 fired transitions, 2595 secs || 212684 markings, 212683 edges, 115 markings/sec, 2595 secs
lola: 1 tries, 217298 fired transitions, 2600 secs || 213251 markings, 213250 edges, 113 markings/sec, 2600 secs
lola: 1 tries, 217855 fired transitions, 2605 secs || 213811 markings, 213810 edges, 112 markings/sec, 2605 secs
lola: 1 tries, 218414 fired transitions, 2610 secs || 214385 markings, 214384 edges, 115 markings/sec, 2610 secs
lola: 1 tries, 218978 fired transitions, 2615 secs || 214958 markings, 214957 edges, 115 markings/sec, 2615 secs
lola: 1 tries, 219542 fired transitions, 2620 secs || 215504 markings, 215503 edges, 109 markings/sec, 2620 secs
lola: 1 tries, 220096 fired transitions, 2625 secs || 216032 markings, 216031 edges, 106 markings/sec, 2625 secs
lola: 1 tries, 220636 fired transitions, 2630 secs || 216546 markings, 216545 edges, 103 markings/sec, 2630 secs
lola: 1 tries, 221211 fired transitions, 2635 secs || 217098 markings, 217097 edges, 110 markings/sec, 2635 secs
lola: 1 tries, 221767 fired transitions, 2640 secs || 217652 markings, 217651 edges, 111 markings/sec, 2640 secs
lola: 1 tries, 222348 fired transitions, 2645 secs || 218221 markings, 218220 edges, 114 markings/sec, 2645 secs
lola: 1 tries, 222923 fired transitions, 2650 secs || 218796 markings, 218795 edges, 115 markings/sec, 2650 secs
lola: 1 tries, 223504 fired transitions, 2655 secs || 219369 markings, 219368 edges, 115 markings/sec, 2655 secs
lola: 1 tries, 224088 fired transitions, 2660 secs || 219935 markings, 219934 edges, 113 markings/sec, 2660 secs
lola: 1 tries, 224663 fired transitions, 2665 secs || 220497 markings, 220496 edges, 112 markings/sec, 2665 secs
lola: 1 tries, 225213 fired transitions, 2670 secs || 221046 markings, 221045 edges, 110 markings/sec, 2670 secs
lola: 1 tries, 225760 fired transitions, 2675 secs || 221601 markings, 221600 edges, 111 markings/sec, 2675 secs
lola: 1 tries, 226319 fired transitions, 2680 secs || 222163 markings, 222162 edges, 112 markings/sec, 2680 secs
lola: 1 tries, 226885 fired transitions, 2685 secs || 222698 markings, 222697 edges, 107 markings/sec, 2685 secs
lola: 1 tries, 227440 fired transitions, 2690 secs || 223225 markings, 223224 edges, 105 markings/sec, 2690 secs
lola: 1 tries, 227988 fired transitions, 2695 secs || 223774 markings, 223773 edges, 110 markings/sec, 2695 secs
lola: 1 tries, 228533 fired transitions, 2700 secs || 224315 markings, 224314 edges, 108 markings/sec, 2700 secs
lola: 1 tries, 229075 fired transitions, 2705 secs || 224871 markings, 224870 edges, 111 markings/sec, 2705 secs
lola: 1 tries, 229623 fired transitions, 2710 secs || 225434 markings, 225433 edges, 113 markings/sec, 2710 secs
lola: 1 tries, 230181 fired transitions, 2715 secs || 226002 markings, 226001 edges, 114 markings/sec, 2715 secs
lola: 1 tries, 230726 fired transitions, 2720 secs || 226576 markings, 226575 edges, 115 markings/sec, 2720 secs
lola: 1 tries, 231263 fired transitions, 2725 secs || 227146 markings, 227145 edges, 114 markings/sec, 2725 secs
lola: 1 tries, 231796 fired transitions, 2730 secs || 227713 markings, 227712 edges, 113 markings/sec, 2730 secs
lola: 1 tries, 232334 fired transitions, 2735 secs || 228287 markings, 228286 edges, 115 markings/sec, 2735 secs
lola: 1 tries, 232878 fired transitions, 2740 secs || 228854 markings, 228853 edges, 113 markings/sec, 2740 secs
lola: 1 tries, 233424 fired transitions, 2745 secs || 229414 markings, 229413 edges, 112 markings/sec, 2745 secs
lola: 1 tries, 233983 fired transitions, 2750 secs || 229984 markings, 229983 edges, 114 markings/sec, 2750 secs
lola: 1 tries, 234541 fired transitions, 2755 secs || 230550 markings, 230549 edges, 113 markings/sec, 2755 secs
lola: 1 tries, 235100 fired transitions, 2760 secs || 231116 markings, 231115 edges, 113 markings/sec, 2760 secs
lola: 1 tries, 235659 fired transitions, 2765 secs || 231679 markings, 231678 edges, 113 markings/sec, 2765 secs
lola: 1 tries, 236217 fired transitions, 2770 secs || 232256 markings, 232255 edges, 115 markings/sec, 2770 secs
lola: 1 tries, 236776 fired transitions, 2775 secs || 232837 markings, 232836 edges, 116 markings/sec, 2775 secs
lola: 1 tries, 237332 fired transitions, 2780 secs || 233398 markings, 233397 edges, 112 markings/sec, 2780 secs
lola: 1 tries, 237895 fired transitions, 2785 secs || 233945 markings, 233944 edges, 109 markings/sec, 2785 secs
lola: 1 tries, 238450 fired transitions, 2790 secs || 234504 markings, 234503 edges, 112 markings/sec, 2790 secs
lola: 1 tries, 239012 fired transitions, 2795 secs || 235063 markings, 235062 edges, 112 markings/sec, 2795 secs
lola: 1 tries, 239589 fired transitions, 2800 secs || 235624 markings, 235623 edges, 112 markings/sec, 2800 secs
lola: 1 tries, 240190 fired transitions, 2805 secs || 236185 markings, 236184 edges, 112 markings/sec, 2805 secs
lola: 1 tries, 240794 fired transitions, 2810 secs || 236745 markings, 236744 edges, 112 markings/sec, 2810 secs
lola: 1 tries, 241396 fired transitions, 2815 secs || 237306 markings, 237305 edges, 112 markings/sec, 2815 secs
lola: 1 tries, 241999 fired transitions, 2820 secs || 237874 markings, 237873 edges, 114 markings/sec, 2820 secs
lola: 1 tries, 242602 fired transitions, 2825 secs || 238449 markings, 238448 edges, 115 markings/sec, 2825 secs
lola: 1 tries, 243209 fired transitions, 2830 secs || 239044 markings, 239043 edges, 119 markings/sec, 2830 secs
lola: 1 tries, 243797 fired transitions, 2835 secs || 239565 markings, 239564 edges, 104 markings/sec, 2835 secs
lola: 1 tries, 244376 fired transitions, 2840 secs || 240074 markings, 240073 edges, 102 markings/sec, 2840 secs
lola: 1 tries, 244978 fired transitions, 2845 secs || 240652 markings, 240651 edges, 116 markings/sec, 2845 secs
lola: 1 tries, 245597 fired transitions, 2850 secs || 241233 markings, 241232 edges, 116 markings/sec, 2850 secs
lola: 1 tries, 246175 fired transitions, 2855 secs || 241841 markings, 241840 edges, 122 markings/sec, 2855 secs
lola: 1 tries, 246719 fired transitions, 2860 secs || 242455 markings, 242454 edges, 123 markings/sec, 2860 secs
lola: 1 tries, 247267 fired transitions, 2865 secs || 243051 markings, 243050 edges, 119 markings/sec, 2865 secs
lola: 1 tries, 247841 fired transitions, 2870 secs || 243625 markings, 243624 edges, 115 markings/sec, 2870 secs
lola: 1 tries, 248422 fired transitions, 2875 secs || 244177 markings, 244176 edges, 110 markings/sec, 2875 secs
lola: 1 tries, 248976 fired transitions, 2880 secs || 244700 markings, 244699 edges, 105 markings/sec, 2880 secs
lola: 1 tries, 249513 fired transitions, 2885 secs || 245239 markings, 245238 edges, 108 markings/sec, 2885 secs
lola: 1 tries, 250035 fired transitions, 2890 secs || 245795 markings, 245794 edges, 111 markings/sec, 2890 secs
lola: 1 tries, 250593 fired transitions, 2895 secs || 246365 markings, 246364 edges, 114 markings/sec, 2895 secs
lola: 1 tries, 251167 fired transitions, 2900 secs || 246954 markings, 246953 edges, 118 markings/sec, 2900 secs
lola: 1 tries, 251728 fired transitions, 2905 secs || 247535 markings, 247534 edges, 116 markings/sec, 2905 secs
lola: 1 tries, 252295 fired transitions, 2910 secs || 248105 markings, 248104 edges, 114 markings/sec, 2910 secs
lola: 1 tries, 252860 fired transitions, 2915 secs || 248672 markings, 248671 edges, 113 markings/sec, 2915 secs
lola: 1 tries, 253416 fired transitions, 2920 secs || 249228 markings, 249227 edges, 111 markings/sec, 2920 secs
lola: 1 tries, 253964 fired transitions, 2925 secs || 249763 markings, 249762 edges, 107 markings/sec, 2925 secs
lola: 1 tries, 254513 fired transitions, 2930 secs || 250300 markings, 250299 edges, 107 markings/sec, 2930 secs
lola: 1 tries, 255070 fired transitions, 2935 secs || 250849 markings, 250848 edges, 110 markings/sec, 2935 secs
lola: 1 tries, 255641 fired transitions, 2940 secs || 251420 markings, 251419 edges, 114 markings/sec, 2940 secs
lola: 1 tries, 256207 fired transitions, 2945 secs || 251987 markings, 251986 edges, 113 markings/sec, 2945 secs
lola: 1 tries, 256784 fired transitions, 2950 secs || 252537 markings, 252536 edges, 110 markings/sec, 2950 secs
lola: 1 tries, 257388 fired transitions, 2955 secs || 253081 markings, 253080 edges, 109 markings/sec, 2955 secs
lola: 1 tries, 257972 fired transitions, 2960 secs || 253649 markings, 253648 edges, 114 markings/sec, 2960 secs
lola: 1 tries, 258549 fired transitions, 2965 secs || 254256 markings, 254255 edges, 121 markings/sec, 2965 secs
lola: 1 tries, 259124 fired transitions, 2970 secs || 254850 markings, 254849 edges, 119 markings/sec, 2970 secs
lola: 1 tries, 259696 fired transitions, 2975 secs || 255423 markings, 255422 edges, 115 markings/sec, 2975 secs
lola: 1 tries, 260265 fired transitions, 2980 secs || 255983 markings, 255982 edges, 112 markings/sec, 2980 secs
lola: 1 tries, 260827 fired transitions, 2985 secs || 256581 markings, 256580 edges, 120 markings/sec, 2985 secs
lola: 1 tries, 261398 fired transitions, 2990 secs || 257152 markings, 257151 edges, 114 markings/sec, 2990 secs
lola: 1 tries, 261971 fired transitions, 2995 secs || 257726 markings, 257725 edges, 115 markings/sec, 2995 secs
lola: 1 tries, 262528 fired transitions, 3000 secs || 258294 markings, 258293 edges, 114 markings/sec, 3000 secs
lola: 1 tries, 263087 fired transitions, 3005 secs || 258858 markings, 258857 edges, 113 markings/sec, 3005 secs
lola: 1 tries, 263654 fired transitions, 3010 secs || 259428 markings, 259427 edges, 114 markings/sec, 3010 secs
lola: 1 tries, 264212 fired transitions, 3015 secs || 259950 markings, 259949 edges, 104 markings/sec, 3015 secs
lola: 1 tries, 264771 fired transitions, 3020 secs || 260502 markings, 260501 edges, 110 markings/sec, 3020 secs
lola: 1 tries, 265326 fired transitions, 3025 secs || 261053 markings, 261052 edges, 110 markings/sec, 3025 secs
lola: 1 tries, 265885 fired transitions, 3030 secs || 261617 markings, 261616 edges, 113 markings/sec, 3030 secs
lola: 1 tries, 266471 fired transitions, 3035 secs || 262213 markings, 262212 edges, 119 markings/sec, 3035 secs
lola: 1 tries, 267105 fired transitions, 3040 secs || 262813 markings, 262812 edges, 120 markings/sec, 3040 secs
lola: 1 tries, 267744 fired transitions, 3045 secs || 263395 markings, 263394 edges, 116 markings/sec, 3045 secs
lola: 1 tries, 268353 fired transitions, 3050 secs || 263963 markings, 263962 edges, 114 markings/sec, 3050 secs
lola: 1 tries, 268962 fired transitions, 3055 secs || 264539 markings, 264538 edges, 115 markings/sec, 3055 secs
lola: 1 tries, 269520 fired transitions, 3060 secs || 265114 markings, 265113 edges, 115 markings/sec, 3060 secs
lola: 1 tries, 270057 fired transitions, 3065 secs || 265689 markings, 265688 edges, 115 markings/sec, 3065 secs
lola: 1 tries, 270643 fired transitions, 3070 secs || 266265 markings, 266264 edges, 115 markings/sec, 3070 secs
lola: 1 tries, 271225 fired transitions, 3075 secs || 266840 markings, 266839 edges, 115 markings/sec, 3075 secs
lola: 1 tries, 271817 fired transitions, 3080 secs || 267414 markings, 267413 edges, 115 markings/sec, 3080 secs
lola: 1 tries, 272421 fired transitions, 3085 secs || 267999 markings, 267998 edges, 117 markings/sec, 3085 secs
lola: 1 tries, 273022 fired transitions, 3090 secs || 268575 markings, 268574 edges, 115 markings/sec, 3090 secs
lola: 1 tries, 273633 fired transitions, 3095 secs || 269146 markings, 269145 edges, 114 markings/sec, 3095 secs
lola: 1 tries, 274245 fired transitions, 3100 secs || 269761 markings, 269760 edges, 123 markings/sec, 3100 secs
lola: 1 tries, 274824 fired transitions, 3105 secs || 270399 markings, 270398 edges, 128 markings/sec, 3105 secs
lola: 1 tries, 275389 fired transitions, 3110 secs || 271004 markings, 271003 edges, 121 markings/sec, 3110 secs
lola: 1 tries, 275933 fired transitions, 3115 secs || 271604 markings, 271603 edges, 120 markings/sec, 3115 secs
lola: 1 tries, 276466 fired transitions, 3120 secs || 272170 markings, 272169 edges, 113 markings/sec, 3120 secs
lola: 1 tries, 276996 fired transitions, 3125 secs || 272701 markings, 272700 edges, 106 markings/sec, 3125 secs
lola: 1 tries, 277522 fired transitions, 3130 secs || 273242 markings, 273241 edges, 108 markings/sec, 3130 secs
lola: 1 tries, 278010 fired transitions, 3135 secs || 273799 markings, 273798 edges, 111 markings/sec, 3135 secs
lola: 1 tries, 278536 fired transitions, 3140 secs || 274366 markings, 274365 edges, 113 markings/sec, 3140 secs
lola: 1 tries, 279073 fired transitions, 3145 secs || 274923 markings, 274922 edges, 111 markings/sec, 3145 secs
lola: 1 tries, 279624 fired transitions, 3150 secs || 275486 markings, 275485 edges, 113 markings/sec, 3150 secs
lola: 1 tries, 280231 fired transitions, 3155 secs || 276060 markings, 276059 edges, 115 markings/sec, 3155 secs
lola: 1 tries, 280868 fired transitions, 3160 secs || 276638 markings, 276637 edges, 116 markings/sec, 3160 secs
lola: 1 tries, 281511 fired transitions, 3165 secs || 277210 markings, 277209 edges, 114 markings/sec, 3165 secs
lola: 1 tries, 282144 fired transitions, 3170 secs || 277789 markings, 277788 edges, 116 markings/sec, 3170 secs
lola: 1 tries, 282783 fired transitions, 3175 secs || 278362 markings, 278361 edges, 115 markings/sec, 3175 secs
lola: 1 tries, 283402 fired transitions, 3180 secs || 278938 markings, 278937 edges, 115 markings/sec, 3180 secs
lola: 1 tries, 283996 fired transitions, 3185 secs || 279512 markings, 279511 edges, 115 markings/sec, 3185 secs
lola: 1 tries, 284599 fired transitions, 3190 secs || 280086 markings, 280085 edges, 115 markings/sec, 3190 secs
lola: 1 tries, 285201 fired transitions, 3195 secs || 280658 markings, 280657 edges, 114 markings/sec, 3195 secs
lola: 1 tries, 285808 fired transitions, 3200 secs || 281233 markings, 281232 edges, 115 markings/sec, 3200 secs
lola: 1 tries, 286420 fired transitions, 3205 secs || 281806 markings, 281805 edges, 115 markings/sec, 3205 secs
lola: 1 tries, 287038 fired transitions, 3210 secs || 282378 markings, 282377 edges, 114 markings/sec, 3210 secs
lola: 1 tries, 287656 fired transitions, 3215 secs || 282956 markings, 282955 edges, 116 markings/sec, 3215 secs
lola: 1 tries, 288264 fired transitions, 3220 secs || 283539 markings, 283538 edges, 117 markings/sec, 3220 secs
lola: 1 tries, 288864 fired transitions, 3225 secs || 284122 markings, 284121 edges, 117 markings/sec, 3225 secs
lola: 1 tries, 289400 fired transitions, 3230 secs || 284688 markings, 284687 edges, 113 markings/sec, 3230 secs
lola: 1 tries, 289947 fired transitions, 3235 secs || 285257 markings, 285256 edges, 114 markings/sec, 3235 secs
lola: 1 tries, 290543 fired transitions, 3240 secs || 285825 markings, 285824 edges, 114 markings/sec, 3240 secs
lola: 1 tries, 291097 fired transitions, 3245 secs || 286393 markings, 286392 edges, 114 markings/sec, 3245 secs
lola: 1 tries, 291664 fired transitions, 3250 secs || 286962 markings, 286961 edges, 114 markings/sec, 3250 secs
lola: 1 tries, 292229 fired transitions, 3255 secs || 287531 markings, 287530 edges, 114 markings/sec, 3255 secs
lola: 1 tries, 292804 fired transitions, 3260 secs || 288105 markings, 288104 edges, 115 markings/sec, 3260 secs
lola: 1 tries, 293424 fired transitions, 3265 secs || 288684 markings, 288683 edges, 116 markings/sec, 3265 secs
lola: 1 tries, 294044 fired transitions, 3270 secs || 289259 markings, 289258 edges, 115 markings/sec, 3270 secs
lola: 1 tries, 294685 fired transitions, 3275 secs || 289832 markings, 289831 edges, 115 markings/sec, 3275 secs
lola: 1 tries, 295318 fired transitions, 3280 secs || 290405 markings, 290404 edges, 115 markings/sec, 3280 secs
lola: 1 tries, 295931 fired transitions, 3285 secs || 290979 markings, 290978 edges, 115 markings/sec, 3285 secs
lola: 1 tries, 296495 fired transitions, 3290 secs || 291556 markings, 291555 edges, 115 markings/sec, 3290 secs
lola: 1 tries, 297041 fired transitions, 3295 secs || 292123 markings, 292122 edges, 113 markings/sec, 3295 secs
lola: 1 tries, 297583 fired transitions, 3300 secs || 292693 markings, 292692 edges, 114 markings/sec, 3300 secs
lola: 1 tries, 298126 fired transitions, 3305 secs || 293266 markings, 293265 edges, 115 markings/sec, 3305 secs
lola: 1 tries, 298675 fired transitions, 3310 secs || 293838 markings, 293837 edges, 114 markings/sec, 3310 secs
lola: 1 tries, 299216 fired transitions, 3315 secs || 294410 markings, 294409 edges, 114 markings/sec, 3315 secs
lola: 1 tries, 299760 fired transitions, 3320 secs || 295000 markings, 294999 edges, 118 markings/sec, 3320 secs
lola: 1 tries, 300335 fired transitions, 3325 secs || 295635 markings, 295634 edges, 127 markings/sec, 3325 secs
lola: 1 tries, 300903 fired transitions, 3330 secs || 296273 markings, 296272 edges, 128 markings/sec, 3330 secs
lola: 1 tries, 301458 fired transitions, 3335 secs || 296919 markings, 296918 edges, 129 markings/sec, 3335 secs
lola: 1 tries, 302014 fired transitions, 3340 secs || 297566 markings, 297565 edges, 129 markings/sec, 3340 secs
lola: 1 tries, 302581 fired transitions, 3345 secs || 298208 markings, 298207 edges, 128 markings/sec, 3345 secs
lola: 1 tries, 303160 fired transitions, 3350 secs || 298811 markings, 298810 edges, 121 markings/sec, 3350 secs
lola: 1 tries, 303723 fired transitions, 3355 secs || 299369 markings, 299368 edges, 112 markings/sec, 3355 secs
lola: 1 tries, 304272 fired transitions, 3360 secs || 299920 markings, 299919 edges, 110 markings/sec, 3360 secs
lola: 1 tries, 304805 fired transitions, 3365 secs || 300470 markings, 300469 edges, 110 markings/sec, 3365 secs
lola: 1 tries, 305354 fired transitions, 3370 secs || 301051 markings, 301050 edges, 116 markings/sec, 3370 secs
lola: 1 tries, 305915 fired transitions, 3375 secs || 301604 markings, 301603 edges, 111 markings/sec, 3375 secs
lola: 1 tries, 306496 fired transitions, 3380 secs || 302192 markings, 302191 edges, 118 markings/sec, 3380 secs
lola: 1 tries, 307082 fired transitions, 3385 secs || 302808 markings, 302807 edges, 123 markings/sec, 3385 secs
lola: 1 tries, 307641 fired transitions, 3390 secs || 303419 markings, 303418 edges, 122 markings/sec, 3390 secs
lola: 1 tries, 308194 fired transitions, 3395 secs || 304016 markings, 304015 edges, 119 markings/sec, 3395 secs
lola: 1 tries, 308773 fired transitions, 3400 secs || 304612 markings, 304611 edges, 119 markings/sec, 3400 secs
lola: 1 tries, 309339 fired transitions, 3405 secs || 305201 markings, 305200 edges, 118 markings/sec, 3405 secs
lola: 1 tries, 309936 fired transitions, 3410 secs || 305749 markings, 305748 edges, 110 markings/sec, 3410 secs
lola: 1 tries, 310540 fired transitions, 3415 secs || 306279 markings, 306278 edges, 106 markings/sec, 3415 secs
lola: 1 tries, 311133 fired transitions, 3420 secs || 306807 markings, 306806 edges, 106 markings/sec, 3420 secs
lola: 1 tries, 311735 fired transitions, 3425 secs || 307385 markings, 307384 edges, 116 markings/sec, 3425 secs
lola: 1 tries, 312349 fired transitions, 3430 secs || 307951 markings, 307950 edges, 113 markings/sec, 3430 secs
lola: 1 tries, 312919 fired transitions, 3435 secs || 308489 markings, 308488 edges, 108 markings/sec, 3435 secs
lola: 1 tries, 313467 fired transitions, 3440 secs || 309016 markings, 309015 edges, 105 markings/sec, 3440 secs
lola: 1 tries, 314015 fired transitions, 3445 secs || 309558 markings, 309557 edges, 108 markings/sec, 3445 secs
lola: 1 tries, 314568 fired transitions, 3450 secs || 310126 markings, 310125 edges, 114 markings/sec, 3450 secs
lola: 1 tries, 315144 fired transitions, 3455 secs || 310719 markings, 310718 edges, 119 markings/sec, 3455 secs
lola: 1 tries, 315718 fired transitions, 3460 secs || 311273 markings, 311272 edges, 111 markings/sec, 3460 secs
lola: 1 tries, 316272 fired transitions, 3465 secs || 311828 markings, 311827 edges, 111 markings/sec, 3465 secs
lola: 1 tries, 316831 fired transitions, 3470 secs || 312390 markings, 312389 edges, 112 markings/sec, 3470 secs
lola: 1 tries, 317443 fired transitions, 3475 secs || 312953 markings, 312952 edges, 113 markings/sec, 3475 secs
lola: 1 tries, 318004 fired transitions, 3480 secs || 313522 markings, 313521 edges, 114 markings/sec, 3480 secs
lola: 1 tries, 318552 fired transitions, 3485 secs || 314078 markings, 314077 edges, 111 markings/sec, 3485 secs
lola: 1 tries, 319125 fired transitions, 3490 secs || 314636 markings, 314635 edges, 112 markings/sec, 3490 secs
lola: 1 tries, 319718 fired transitions, 3495 secs || 315192 markings, 315191 edges, 111 markings/sec, 3495 secs
lola: 1 tries, 320314 fired transitions, 3500 secs || 315749 markings, 315748 edges, 111 markings/sec, 3500 secs
lola: 1 tries, 320909 fired transitions, 3505 secs || 316305 markings, 316304 edges, 111 markings/sec, 3505 secs
lola: 1 tries, 321505 fired transitions, 3510 secs || 316862 markings, 316861 edges, 111 markings/sec, 3510 secs
lola: 1 tries, 322096 fired transitions, 3515 secs || 317420 markings, 317419 edges, 112 markings/sec, 3515 secs
lola: 1 tries, 322691 fired transitions, 3520 secs || 317974 markings, 317973 edges, 111 markings/sec, 3520 secs
lola: 1 tries, 323286 fired transitions, 3525 secs || 318532 markings, 318531 edges, 112 markings/sec, 3525 secs
lola: 1 tries, 323881 fired transitions, 3530 secs || 319089 markings, 319088 edges, 111 markings/sec, 3530 secs
lola: 1 tries, 324472 fired transitions, 3535 secs || 319644 markings, 319643 edges, 111 markings/sec, 3535 secs
lola: 1 tries, 325074 fired transitions, 3540 secs || 320189 markings, 320188 edges, 109 markings/sec, 3540 secs
lola: 1 tries, 325678 fired transitions, 3545 secs || 320765 markings, 320764 edges, 115 markings/sec, 3545 secs
lola: time limit reached - aborting
lola: memory consumption: 1004496 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: 1005104 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 1553913901849
--------------------
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-6"
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-6, 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-155274853500363"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb113-PT-6.tgz
mv RERS17pb113-PT-6 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 ;