Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r159-csrt-155286430800273.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is SharedMemory-PT-000100, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r159-csrt-155286430800273
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 46M
-rw-r--r-- 1 mcc users 834K Feb 12 16:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 2.1M Feb 12 16:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6M Feb 8 21:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 7.2M Feb 8 21:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 14K Feb 5 01:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 42K Feb 5 01:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 645K Feb 4 22:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.9M Feb 4 22:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 839K Feb 4 18:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 2.1M Feb 4 18:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0M Feb 1 16:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 8.5M Feb 1 16:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 211K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 416K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 7 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 16M 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 SharedMemory-PT-000100-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552945350637

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ SharedMemory-PT-000100 @ 3570 seconds
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ SharedMemory-PT-000100

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Mon Mar 18 21:42:30 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 7216944,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 80000,
"conflict_clusters": 10001,
"places": 10301,
"places_significant": 10100,
"singleton_clusters": 0,
"transitions": 20100
},
"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": 93326215443944150965646704795953882578400970373184098831012889540582227238570431295066113089288327277825849664006524270554535976289719382852181865895959724032.000000,
"composed": 29515,
"dead_branches": 0,
"generators": 29618,
"interrupted": false,
"real_computed": 103,
"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: 30401/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 329632
lola: finding significant places
lola: 10301 places, 20100 transitions, 10100 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: 1 tries, 2504 fired transitions, 0 secs
lola: 10647 generators;52862541 candidates remain ( 0%), 0 secs
lola: 1 tries, 5092 fired transitions, 5 secs
lola: 26048 generators;52823948 candidates remain ( 0%), 5 secs
lola: 27538 generators;52618538 candidates remain ( 0%), 10 secs
lola: 1 tries, 7752 fired transitions, 10 secs
lola: computed 29618 generators (103 in search tree, 29515 by composition)
lola: representing 9.33262E+157 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 10600 fired transitions, 15 secs || 2004 markings, 3890 edges, 401 markings/sec, 15 secs
lola: 1 tries, 13512 fired transitions, 20 secs || 8600 markings, 17090 edges, 1319 markings/sec, 20 secs
lola: 1 tries, 16418 fired transitions, 25 secs || 15114 markings, 30126 edges, 1303 markings/sec, 25 secs
lola: 1 tries, 19290 fired transitions, 30 secs || 22045 markings, 44022 edges, 1386 markings/sec, 30 secs
lola: 1 tries, 22284 fired transitions, 35 secs || 28796 markings, 57519 edges, 1350 markings/sec, 35 secs
lola: 1 tries, 25296 fired transitions, 40 secs || 35621 markings, 71206 edges, 1365 markings/sec, 40 secs
lola: 1 tries, 28312 fired transitions, 45 secs || 42387 markings, 84761 edges, 1353 markings/sec, 45 secs
lola: 1 tries, 31318 fired transitions, 50 secs || 49098 markings, 98184 edges, 1342 markings/sec, 50 secs
lola: 1 tries, 34172 fired transitions, 55 secs || 55581 markings, 111170 edges, 1297 markings/sec, 55 secs
lola: 1 tries, 37068 fired transitions, 60 secs || 62041 markings, 124120 edges, 1292 markings/sec, 60 secs
lola: 1 tries, 39950 fired transitions, 65 secs || 68415 markings, 136892 edges, 1275 markings/sec, 65 secs
lola: 1 tries, 42564 fired transitions, 70 secs || 74971 markings, 150025 edges, 1311 markings/sec, 70 secs
lola: 1 tries, 45090 fired transitions, 75 secs || 81731 markings, 163578 edges, 1352 markings/sec, 75 secs
lola: 1 tries, 47614 fired transitions, 80 secs || 88482 markings, 177115 edges, 1350 markings/sec, 80 secs
lola: 1 tries, 50610 fired transitions, 85 secs || 94888 markings, 189937 edges, 1281 markings/sec, 85 secs
lola: 1 tries, 53500 fired transitions, 90 secs || 101632 markings, 203450 edges, 1349 markings/sec, 90 secs
lola: 1 tries, 56468 fired transitions, 95 secs || 108442 markings, 217100 edges, 1362 markings/sec, 95 secs
lola: 1 tries, 59404 fired transitions, 100 secs || 115239 markings, 230728 edges, 1359 markings/sec, 100 secs
lola: 1 tries, 62360 fired transitions, 105 secs || 122002 markings, 244290 edges, 1353 markings/sec, 105 secs
lola: 1 tries, 65352 fired transitions, 110 secs || 128802 markings, 257930 edges, 1360 markings/sec, 110 secs
lola: 1 tries, 68330 fired transitions, 115 secs || 135562 markings, 271486 edges, 1352 markings/sec, 115 secs
lola: 1 tries, 71276 fired transitions, 120 secs || 142283 markings, 284964 edges, 1344 markings/sec, 120 secs
lola: 1 tries, 74294 fired transitions, 125 secs || 148960 markings, 298350 edges, 1335 markings/sec, 125 secs
lola: 1 tries, 77304 fired transitions, 130 secs || 155472 markings, 311407 edges, 1302 markings/sec, 130 secs
lola: 1 tries, 80312 fired transitions, 135 secs || 162224 markings, 324951 edges, 1350 markings/sec, 135 secs
lola: 1 tries, 83220 fired transitions, 140 secs || 168775 markings, 338092 edges, 1310 markings/sec, 140 secs
lola: 1 tries, 86070 fired transitions, 145 secs || 175407 markings, 351397 edges, 1326 markings/sec, 145 secs
lola: 1 tries, 89046 fired transitions, 150 secs || 182233 markings, 365099 edges, 1365 markings/sec, 150 secs
lola: 1 tries, 91980 fired transitions, 155 secs || 189030 markings, 378738 edges, 1359 markings/sec, 155 secs
lola: 1 tries, 94916 fired transitions, 160 secs || 195678 markings, 392053 edges, 1330 markings/sec, 160 secs
lola: 1 tries, 97920 fired transitions, 165 secs || 202430 markings, 405587 edges, 1350 markings/sec, 165 secs
lola: 1 tries, 100918 fired transitions, 170 secs || 209214 markings, 419202 edges, 1357 markings/sec, 170 secs
lola: 1 tries, 103896 fired transitions, 175 secs || 215913 markings, 432652 edges, 1340 markings/sec, 175 secs
lola: 1 tries, 106914 fired transitions, 180 secs || 222485 markings, 445804 edges, 1314 markings/sec, 180 secs
lola: 1 tries, 109786 fired transitions, 185 secs || 229263 markings, 459384 edges, 1356 markings/sec, 185 secs
lola: 1 tries, 112800 fired transitions, 190 secs || 236051 markings, 472982 edges, 1358 markings/sec, 190 secs
lola: 1 tries, 115804 fired transitions, 195 secs || 242812 markings, 486537 edges, 1352 markings/sec, 195 secs
lola: 1 tries, 118788 fired transitions, 200 secs || 249264 markings, 499473 edges, 1290 markings/sec, 200 secs
lola: 1 tries, 121698 fired transitions, 205 secs || 255745 markings, 512459 edges, 1296 markings/sec, 205 secs
lola: 1 tries, 124572 fired transitions, 210 secs || 262200 markings, 525407 edges, 1291 markings/sec, 210 secs
lola: 1 tries, 127438 fired transitions, 215 secs || 268676 markings, 538404 edges, 1295 markings/sec, 215 secs
lola: 1 tries, 130326 fired transitions, 220 secs || 275008 markings, 551081 edges, 1266 markings/sec, 220 secs
lola: 1 tries, 133318 fired transitions, 225 secs || 281665 markings, 564424 edges, 1331 markings/sec, 225 secs
lola: 1 tries, 136322 fired transitions, 230 secs || 288295 markings, 577713 edges, 1326 markings/sec, 230 secs
lola: 1 tries, 139316 fired transitions, 235 secs || 295000 markings, 591162 edges, 1341 markings/sec, 235 secs
lola: 1 tries, 142254 fired transitions, 240 secs || 301390 markings, 603975 edges, 1278 markings/sec, 240 secs
lola: 1 tries, 145248 fired transitions, 245 secs || 307970 markings, 617169 edges, 1316 markings/sec, 245 secs
lola: 1 tries, 148232 fired transitions, 250 secs || 314696 markings, 630663 edges, 1345 markings/sec, 250 secs
lola: 1 tries, 151030 fired transitions, 255 secs || 321198 markings, 643708 edges, 1300 markings/sec, 255 secs
lola: 1 tries, 154032 fired transitions, 260 secs || 327878 markings, 657105 edges, 1336 markings/sec, 260 secs
lola: 1 tries, 157032 fired transitions, 265 secs || 334364 markings, 670111 edges, 1297 markings/sec, 265 secs
lola: 1 tries, 160036 fired transitions, 270 secs || 341038 markings, 683505 edges, 1335 markings/sec, 270 secs
lola: 1 tries, 162848 fired transitions, 275 secs || 347422 markings, 696312 edges, 1277 markings/sec, 275 secs
lola: 1 tries, 165906 fired transitions, 280 secs || 354139 markings, 709788 edges, 1343 markings/sec, 280 secs
lola: 1 tries, 168932 fired transitions, 285 secs || 360880 markings, 723318 edges, 1348 markings/sec, 285 secs
lola: 1 tries, 171856 fired transitions, 290 secs || 367506 markings, 736603 edges, 1325 markings/sec, 290 secs
lola: 1 tries, 174792 fired transitions, 295 secs || 374231 markings, 750083 edges, 1345 markings/sec, 295 secs
lola: 1 tries, 177800 fired transitions, 300 secs || 381055 markings, 763767 edges, 1365 markings/sec, 300 secs
lola: 1 tries, 180790 fired transitions, 305 secs || 387827 markings, 777345 edges, 1354 markings/sec, 305 secs
lola: 1 tries, 183750 fired transitions, 310 secs || 394626 markings, 790985 edges, 1360 markings/sec, 310 secs
lola: 1 tries, 186762 fired transitions, 315 secs || 401352 markings, 804476 edges, 1345 markings/sec, 315 secs
lola: 1 tries, 189744 fired transitions, 320 secs || 408105 markings, 818021 edges, 1351 markings/sec, 320 secs
lola: 1 tries, 192744 fired transitions, 325 secs || 414695 markings, 831208 edges, 1318 markings/sec, 325 secs
lola: 1 tries, 195754 fired transitions, 330 secs || 421415 markings, 844671 edges, 1344 markings/sec, 330 secs
lola: 1 tries, 198700 fired transitions, 335 secs || 428037 markings, 857927 edges, 1324 markings/sec, 335 secs
lola: 1 tries, 201716 fired transitions, 340 secs || 434722 markings, 871322 edges, 1337 markings/sec, 340 secs
lola: 1 tries, 204718 fired transitions, 345 secs || 441415 markings, 884738 edges, 1339 markings/sec, 345 secs
lola: 1 tries, 207654 fired transitions, 350 secs || 447944 markings, 897827 edges, 1306 markings/sec, 350 secs
lola: 1 tries, 210602 fired transitions, 355 secs || 454425 markings, 910821 edges, 1296 markings/sec, 355 secs
lola: 1 tries, 213558 fired transitions, 360 secs || 460946 markings, 923903 edges, 1304 markings/sec, 360 secs
lola: 1 tries, 216518 fired transitions, 365 secs || 467413 markings, 936865 edges, 1293 markings/sec, 365 secs
lola: 1 tries, 219526 fired transitions, 370 secs || 474030 markings, 950140 edges, 1323 markings/sec, 370 secs
lola: 1 tries, 222538 fired transitions, 375 secs || 480478 markings, 963047 edges, 1290 markings/sec, 375 secs
lola: 1 tries, 225558 fired transitions, 380 secs || 487054 markings, 976233 edges, 1315 markings/sec, 380 secs
lola: 1 tries, 228570 fired transitions, 385 secs || 493559 markings, 989266 edges, 1301 markings/sec, 385 secs
lola: 1 tries, 231576 fired transitions, 390 secs || 500153 markings, 1002490 edges, 1319 markings/sec, 390 secs
lola: 1 tries, 234584 fired transitions, 395 secs || 506704 markings, 1015635 edges, 1310 markings/sec, 395 secs
lola: 1 tries, 237590 fired transitions, 400 secs || 513236 markings, 1028734 edges, 1306 markings/sec, 400 secs
lola: 1 tries, 240600 fired transitions, 405 secs || 519760 markings, 1041810 edges, 1305 markings/sec, 405 secs
lola: 1 tries, 243580 fired transitions, 410 secs || 526335 markings, 1055002 edges, 1315 markings/sec, 410 secs
lola: 1 tries, 246530 fired transitions, 415 secs || 533094 markings, 1068562 edges, 1352 markings/sec, 415 secs
lola: 1 tries, 249522 fired transitions, 420 secs || 539826 markings, 1082068 edges, 1346 markings/sec, 420 secs
lola: 1 tries, 252456 fired transitions, 425 secs || 546480 markings, 1095406 edges, 1331 markings/sec, 425 secs
lola: 1 tries, 255406 fired transitions, 430 secs || 553195 markings, 1108876 edges, 1343 markings/sec, 430 secs
lola: 1 tries, 258344 fired transitions, 435 secs || 559909 markings, 1122338 edges, 1343 markings/sec, 435 secs
lola: 1 tries, 261304 fired transitions, 440 secs || 566642 markings, 1135847 edges, 1347 markings/sec, 440 secs
lola: 1 tries, 264262 fired transitions, 445 secs || 573556 markings, 1149720 edges, 1383 markings/sec, 445 secs
lola: 1 tries, 267260 fired transitions, 450 secs || 580473 markings, 1163594 edges, 1383 markings/sec, 450 secs
lola: 1 tries, 270228 fired transitions, 455 secs || 587238 markings, 1177162 edges, 1353 markings/sec, 455 secs
lola: 1 tries, 273236 fired transitions, 460 secs || 593934 markings, 1190590 edges, 1339 markings/sec, 460 secs
lola: 1 tries, 276242 fired transitions, 465 secs || 600657 markings, 1204075 edges, 1345 markings/sec, 465 secs
lola: 1 tries, 279268 fired transitions, 470 secs || 607386 markings, 1217578 edges, 1346 markings/sec, 470 secs
lola: 1 tries, 282314 fired transitions, 475 secs || 614118 markings, 1231082 edges, 1346 markings/sec, 475 secs
lola: 1 tries, 285320 fired transitions, 480 secs || 620827 markings, 1244546 edges, 1342 markings/sec, 480 secs
lola: 1 tries, 288304 fired transitions, 485 secs || 627543 markings, 1258020 edges, 1343 markings/sec, 485 secs
lola: 1 tries, 291316 fired transitions, 490 secs || 634313 markings, 1271613 edges, 1354 markings/sec, 490 secs
lola: 1 tries, 294316 fired transitions, 495 secs || 640951 markings, 1284934 edges, 1328 markings/sec, 495 secs
lola: 1 tries, 297290 fired transitions, 500 secs || 647622 markings, 1298318 edges, 1334 markings/sec, 500 secs
lola: 1 tries, 300136 fired transitions, 505 secs || 654304 markings, 1311724 edges, 1336 markings/sec, 505 secs
lola: 1 tries, 303112 fired transitions, 510 secs || 661003 markings, 1325170 edges, 1340 markings/sec, 510 secs
lola: 1 tries, 306112 fired transitions, 515 secs || 667743 markings, 1338696 edges, 1348 markings/sec, 515 secs
lola: 1 tries, 309096 fired transitions, 520 secs || 674462 markings, 1352184 edges, 1344 markings/sec, 520 secs
lola: 1 tries, 312096 fired transitions, 525 secs || 681036 markings, 1365382 edges, 1315 markings/sec, 525 secs
lola: 1 tries, 315096 fired transitions, 530 secs || 687596 markings, 1378551 edges, 1312 markings/sec, 530 secs
lola: 1 tries, 318090 fired transitions, 535 secs || 694271 markings, 1391944 edges, 1335 markings/sec, 535 secs
lola: 1 tries, 320964 fired transitions, 540 secs || 700932 markings, 1405308 edges, 1332 markings/sec, 540 secs
lola: 1 tries, 324000 fired transitions, 545 secs || 707614 markings, 1418719 edges, 1336 markings/sec, 545 secs
lola: 1 tries, 326966 fired transitions, 550 secs || 714337 markings, 1432217 edges, 1345 markings/sec, 550 secs
lola: 1 tries, 329960 fired transitions, 555 secs || 721002 markings, 1445590 edges, 1333 markings/sec, 555 secs
lola: 1 tries, 332830 fired transitions, 560 secs || 727361 markings, 1458348 edges, 1272 markings/sec, 560 secs
lola: 1 tries, 335696 fired transitions, 565 secs || 733750 markings, 1471170 edges, 1278 markings/sec, 565 secs
lola: 1 tries, 338566 fired transitions, 570 secs || 740131 markings, 1483976 edges, 1276 markings/sec, 570 secs
lola: 1 tries, 341540 fired transitions, 575 secs || 746578 markings, 1496918 edges, 1289 markings/sec, 575 secs
lola: 1 tries, 344558 fired transitions, 580 secs || 753027 markings, 1509859 edges, 1290 markings/sec, 580 secs
lola: 1 tries, 347580 fired transitions, 585 secs || 759512 markings, 1522878 edges, 1297 markings/sec, 585 secs
lola: 1 tries, 350572 fired transitions, 590 secs || 765936 markings, 1535765 edges, 1285 markings/sec, 590 secs
lola: 1 tries, 353516 fired transitions, 595 secs || 772279 markings, 1548466 edges, 1269 markings/sec, 595 secs
lola: 1 tries, 356490 fired transitions, 600 secs || 778761 markings, 1561464 edges, 1296 markings/sec, 600 secs
lola: 1 tries, 359478 fired transitions, 605 secs || 785378 markings, 1574729 edges, 1323 markings/sec, 605 secs
lola: 1 tries, 362492 fired transitions, 610 secs || 792057 markings, 1588122 edges, 1336 markings/sec, 610 secs
lola: 1 tries, 365508 fired transitions, 615 secs || 798670 markings, 1601386 edges, 1323 markings/sec, 615 secs
lola: 1 tries, 368514 fired transitions, 620 secs || 805270 markings, 1614625 edges, 1320 markings/sec, 620 secs
lola: 1 tries, 371528 fired transitions, 625 secs || 811907 markings, 1627939 edges, 1327 markings/sec, 625 secs
lola: 1 tries, 374402 fired transitions, 630 secs || 818331 markings, 1640832 edges, 1285 markings/sec, 630 secs
lola: 1 tries, 377256 fired transitions, 635 secs || 824742 markings, 1653705 edges, 1282 markings/sec, 635 secs
lola: 1 tries, 380134 fired transitions, 640 secs || 831038 markings, 1666342 edges, 1259 markings/sec, 640 secs
lola: 1 tries, 383046 fired transitions, 645 secs || 837581 markings, 1679481 edges, 1309 markings/sec, 645 secs
lola: 1 tries, 385904 fired transitions, 650 secs || 844162 markings, 1692676 edges, 1316 markings/sec, 650 secs
lola: 1 tries, 388848 fired transitions, 655 secs || 850414 markings, 1705201 edges, 1250 markings/sec, 655 secs
lola: 1 tries, 391634 fired transitions, 660 secs || 856930 markings, 1718262 edges, 1303 markings/sec, 660 secs
lola: 1 tries, 394742 fired transitions, 665 secs || 863504 markings, 1731442 edges, 1315 markings/sec, 665 secs
lola: 1 tries, 397834 fired transitions, 670 secs || 869982 markings, 1744435 edges, 1296 markings/sec, 670 secs
lola: 1 tries, 400902 fired transitions, 675 secs || 876476 markings, 1757455 edges, 1299 markings/sec, 675 secs
lola: 1 tries, 404050 fired transitions, 680 secs || 883033 markings, 1770625 edges, 1311 markings/sec, 680 secs
lola: 1 tries, 406984 fired transitions, 685 secs || 889247 markings, 1783070 edges, 1243 markings/sec, 685 secs
lola: 1 tries, 409808 fired transitions, 690 secs || 895571 markings, 1795747 edges, 1265 markings/sec, 690 secs
lola: 1 tries, 412682 fired transitions, 695 secs || 901896 markings, 1808433 edges, 1265 markings/sec, 695 secs
lola: 1 tries, 415558 fired transitions, 700 secs || 908129 markings, 1820932 edges, 1247 markings/sec, 700 secs
lola: 1 tries, 418364 fired transitions, 705 secs || 914509 markings, 1833735 edges, 1276 markings/sec, 705 secs
lola: 1 tries, 421256 fired transitions, 710 secs || 920800 markings, 1846360 edges, 1258 markings/sec, 710 secs
lola: 1 tries, 424220 fired transitions, 715 secs || 926771 markings, 1858341 edges, 1194 markings/sec, 715 secs
lola: 1 tries, 427136 fired transitions, 720 secs || 933346 markings, 1871534 edges, 1315 markings/sec, 720 secs
lola: 1 tries, 430280 fired transitions, 725 secs || 939892 markings, 1884671 edges, 1309 markings/sec, 725 secs
lola: 1 tries, 433312 fired transitions, 730 secs || 946343 markings, 1897604 edges, 1290 markings/sec, 730 secs
lola: 1 tries, 436174 fired transitions, 735 secs || 952678 markings, 1910308 edges, 1267 markings/sec, 735 secs
lola: 1 tries, 439074 fired transitions, 740 secs || 958984 markings, 1922959 edges, 1261 markings/sec, 740 secs
lola: 1 tries, 442104 fired transitions, 745 secs || 965437 markings, 1935902 edges, 1291 markings/sec, 745 secs
lola: 1 tries, 444918 fired transitions, 750 secs || 971657 markings, 1948384 edges, 1244 markings/sec, 750 secs
lola: 1 tries, 447736 fired transitions, 755 secs || 978228 markings, 1961572 edges, 1314 markings/sec, 755 secs
lola: 1 tries, 450750 fired transitions, 760 secs || 984834 markings, 1974837 edges, 1321 markings/sec, 760 secs
lola: 1 tries, 453764 fired transitions, 765 secs || 991410 markings, 1988035 edges, 1315 markings/sec, 765 secs
lola: 1 tries, 456758 fired transitions, 770 secs || 997945 markings, 2001146 edges, 1307 markings/sec, 770 secs
lola: 1 tries, 459758 fired transitions, 775 secs || 1004420 markings, 2014135 edges, 1295 markings/sec, 775 secs
lola: 1 tries, 462754 fired transitions, 780 secs || 1010918 markings, 2027174 edges, 1300 markings/sec, 780 secs
lola: 1 tries, 465752 fired transitions, 785 secs || 1017438 markings, 2040256 edges, 1304 markings/sec, 785 secs
lola: 1 tries, 468758 fired transitions, 790 secs || 1023957 markings, 2053339 edges, 1304 markings/sec, 790 secs
lola: 1 tries, 471646 fired transitions, 795 secs || 1030484 markings, 2066443 edges, 1305 markings/sec, 795 secs
lola: 1 tries, 474628 fired transitions, 800 secs || 1037058 markings, 2079644 edges, 1315 markings/sec, 800 secs
lola: 1 tries, 477616 fired transitions, 805 secs || 1043435 markings, 2092419 edges, 1275 markings/sec, 805 secs
lola: 1 tries, 480618 fired transitions, 810 secs || 1049930 markings, 2105445 edges, 1299 markings/sec, 810 secs
lola: 1 tries, 483590 fired transitions, 815 secs || 1056371 markings, 2118366 edges, 1288 markings/sec, 815 secs
lola: 1 tries, 486598 fired transitions, 820 secs || 1062873 markings, 2131406 edges, 1300 markings/sec, 820 secs
lola: 1 tries, 489614 fired transitions, 825 secs || 1069409 markings, 2144523 edges, 1307 markings/sec, 825 secs
lola: 1 tries, 492628 fired transitions, 830 secs || 1075941 markings, 2157630 edges, 1306 markings/sec, 830 secs
lola: 1 tries, 495630 fired transitions, 835 secs || 1082395 markings, 2170571 edges, 1291 markings/sec, 835 secs
lola: 1 tries, 498646 fired transitions, 840 secs || 1088934 markings, 2183693 edges, 1308 markings/sec, 840 secs
lola: 1 tries, 501656 fired transitions, 845 secs || 1095404 markings, 2196670 edges, 1294 markings/sec, 845 secs
lola: 1 tries, 504664 fired transitions, 850 secs || 1101921 markings, 2209745 edges, 1303 markings/sec, 850 secs
lola: 1 tries, 507676 fired transitions, 855 secs || 1108420 markings, 2222789 edges, 1300 markings/sec, 855 secs
lola: 1 tries, 510680 fired transitions, 860 secs || 1114876 markings, 2235731 edges, 1291 markings/sec, 860 secs
lola: 1 tries, 513606 fired transitions, 865 secs || 1121258 markings, 2248533 edges, 1276 markings/sec, 865 secs
lola: 1 tries, 516588 fired transitions, 870 secs || 1127722 markings, 2261497 edges, 1293 markings/sec, 870 secs
lola: 1 tries, 519594 fired transitions, 875 secs || 1134295 markings, 2274691 edges, 1315 markings/sec, 875 secs
lola: 1 tries, 522600 fired transitions, 880 secs || 1140817 markings, 2287773 edges, 1304 markings/sec, 880 secs
lola: 1 tries, 525602 fired transitions, 885 secs || 1147332 markings, 2300842 edges, 1303 markings/sec, 885 secs
lola: 1 tries, 528606 fired transitions, 890 secs || 1153917 markings, 2314061 edges, 1317 markings/sec, 890 secs
lola: 1 tries, 531608 fired transitions, 895 secs || 1160353 markings, 2326966 edges, 1287 markings/sec, 895 secs
lola: 1 tries, 534620 fired transitions, 900 secs || 1166870 markings, 2340042 edges, 1303 markings/sec, 900 secs
lola: 1 tries, 537624 fired transitions, 905 secs || 1173428 markings, 2353208 edges, 1312 markings/sec, 905 secs
lola: 1 tries, 540612 fired transitions, 910 secs || 1179906 markings, 2366208 edges, 1296 markings/sec, 910 secs
lola: 1 tries, 543544 fired transitions, 915 secs || 1186297 markings, 2379029 edges, 1278 markings/sec, 915 secs
lola: 1 tries, 546470 fired transitions, 920 secs || 1192712 markings, 2391906 edges, 1283 markings/sec, 920 secs
lola: 1 tries, 549400 fired transitions, 925 secs || 1199000 markings, 2404493 edges, 1258 markings/sec, 925 secs
lola: 1 tries, 552338 fired transitions, 930 secs || 1205403 markings, 2417313 edges, 1281 markings/sec, 930 secs
lola: 1 tries, 555264 fired transitions, 935 secs || 1211753 markings, 2430027 edges, 1270 markings/sec, 935 secs
lola: 1 tries, 558190 fired transitions, 940 secs || 1218142 markings, 2442842 edges, 1278 markings/sec, 940 secs
lola: 1 tries, 561114 fired transitions, 945 secs || 1224449 markings, 2455468 edges, 1261 markings/sec, 945 secs
lola: 1 tries, 564038 fired transitions, 950 secs || 1230845 markings, 2468293 edges, 1279 markings/sec, 950 secs
lola: 1 tries, 566964 fired transitions, 955 secs || 1237182 markings, 2480994 edges, 1267 markings/sec, 955 secs
lola: 1 tries, 569886 fired transitions, 960 secs || 1243568 markings, 2493802 edges, 1277 markings/sec, 960 secs
lola: 1 tries, 572812 fired transitions, 965 secs || 1249898 markings, 2506499 edges, 1266 markings/sec, 965 secs
lola: 1 tries, 575736 fired transitions, 970 secs || 1256264 markings, 2519265 edges, 1273 markings/sec, 970 secs
lola: 1 tries, 578660 fired transitions, 975 secs || 1262493 markings, 2531736 edges, 1246 markings/sec, 975 secs
lola: 1 tries, 581578 fired transitions, 980 secs || 1268778 markings, 2544327 edges, 1257 markings/sec, 980 secs
lola: 1 tries, 584498 fired transitions, 985 secs || 1275063 markings, 2556921 edges, 1257 markings/sec, 985 secs
lola: 1 tries, 587422 fired transitions, 990 secs || 1281396 markings, 2569615 edges, 1267 markings/sec, 990 secs
lola: 1 tries, 590350 fired transitions, 995 secs || 1287751 markings, 2582364 edges, 1271 markings/sec, 995 secs
lola: 1 tries, 593272 fired transitions, 1000 secs || 1294063 markings, 2595021 edges, 1262 markings/sec, 1000 secs
lola: 1 tries, 596200 fired transitions, 1005 secs || 1300379 markings, 2607675 edges, 1263 markings/sec, 1005 secs
lola: 1 tries, 599126 fired transitions, 1010 secs || 1306709 markings, 2620371 edges, 1266 markings/sec, 1010 secs
lola: 1 tries, 602052 fired transitions, 1015 secs || 1313052 markings, 2633097 edges, 1269 markings/sec, 1015 secs
lola: 1 tries, 604976 fired transitions, 1020 secs || 1319381 markings, 2645788 edges, 1266 markings/sec, 1020 secs
lola: 1 tries, 607902 fired transitions, 1025 secs || 1325734 markings, 2658535 edges, 1271 markings/sec, 1025 secs
lola: 1 tries, 610828 fired transitions, 1030 secs || 1332036 markings, 2671151 edges, 1260 markings/sec, 1030 secs
lola: 1 tries, 613752 fired transitions, 1035 secs || 1338413 markings, 2683933 edges, 1275 markings/sec, 1035 secs
lola: 1 tries, 616678 fired transitions, 1040 secs || 1344743 markings, 2696616 edges, 1266 markings/sec, 1040 secs
lola: 1 tries, 619604 fired transitions, 1045 secs || 1351098 markings, 2709359 edges, 1271 markings/sec, 1045 secs
lola: 1 tries, 622532 fired transitions, 1050 secs || 1357495 markings, 2722190 edges, 1279 markings/sec, 1050 secs
lola: 1 tries, 625456 fired transitions, 1055 secs || 1363817 markings, 2734866 edges, 1264 markings/sec, 1055 secs
lola: 1 tries, 628380 fired transitions, 1060 secs || 1370208 markings, 2747686 edges, 1278 markings/sec, 1060 secs
lola: 1 tries, 631306 fired transitions, 1065 secs || 1376590 markings, 2760487 edges, 1276 markings/sec, 1065 secs
lola: 1 tries, 634232 fired transitions, 1070 secs || 1382968 markings, 2773284 edges, 1276 markings/sec, 1070 secs
lola: 1 tries, 637156 fired transitions, 1075 secs || 1389262 markings, 2785905 edges, 1259 markings/sec, 1075 secs
lola: 1 tries, 640076 fired transitions, 1080 secs || 1395688 markings, 2798802 edges, 1285 markings/sec, 1080 secs
lola: 1 tries, 642912 fired transitions, 1085 secs || 1402135 markings, 2811742 edges, 1289 markings/sec, 1085 secs
lola: 1 tries, 645718 fired transitions, 1090 secs || 1408411 markings, 2824319 edges, 1255 markings/sec, 1090 secs
lola: 1 tries, 648606 fired transitions, 1095 secs || 1414748 markings, 2837026 edges, 1267 markings/sec, 1095 secs
lola: 1 tries, 651530 fired transitions, 1100 secs || 1420995 markings, 2849541 edges, 1249 markings/sec, 1100 secs
lola: 1 tries, 654458 fired transitions, 1105 secs || 1427317 markings, 2862218 edges, 1264 markings/sec, 1105 secs
lola: 1 tries, 657320 fired transitions, 1110 secs || 1433659 markings, 2874938 edges, 1268 markings/sec, 1110 secs
lola: 1 tries, 660250 fired transitions, 1115 secs || 1440095 markings, 2887854 edges, 1287 markings/sec, 1115 secs
lola: 1 tries, 663174 fired transitions, 1120 secs || 1446437 markings, 2900577 edges, 1268 markings/sec, 1120 secs
lola: 1 tries, 666096 fired transitions, 1125 secs || 1452712 markings, 2913163 edges, 1255 markings/sec, 1125 secs
lola: 1 tries, 669016 fired transitions, 1130 secs || 1459032 markings, 2925836 edges, 1264 markings/sec, 1130 secs
lola: 1 tries, 671936 fired transitions, 1135 secs || 1465361 markings, 2938534 edges, 1266 markings/sec, 1135 secs
lola: 1 tries, 674848 fired transitions, 1140 secs || 1471741 markings, 2951338 edges, 1276 markings/sec, 1140 secs
lola: 1 tries, 677724 fired transitions, 1145 secs || 1478104 markings, 2964101 edges, 1273 markings/sec, 1145 secs
lola: 1 tries, 680648 fired transitions, 1150 secs || 1484440 markings, 2976818 edges, 1267 markings/sec, 1150 secs
lola: 1 tries, 683604 fired transitions, 1155 secs || 1490825 markings, 2989631 edges, 1277 markings/sec, 1155 secs
lola: 1 tries, 686554 fired transitions, 1160 secs || 1497120 markings, 3002242 edges, 1259 markings/sec, 1160 secs
lola: 1 tries, 689478 fired transitions, 1165 secs || 1503473 markings, 3014973 edges, 1271 markings/sec, 1165 secs
lola: 1 tries, 692400 fired transitions, 1170 secs || 1509861 markings, 3027781 edges, 1278 markings/sec, 1170 secs
lola: 1 tries, 695324 fired transitions, 1175 secs || 1516230 markings, 3040551 edges, 1274 markings/sec, 1175 secs
lola: 1 tries, 698244 fired transitions, 1180 secs || 1522553 markings, 3053230 edges, 1265 markings/sec, 1180 secs
lola: 1 tries, 701164 fired transitions, 1185 secs || 1528904 markings, 3065966 edges, 1270 markings/sec, 1185 secs
lola: 1 tries, 704090 fired transitions, 1190 secs || 1535288 markings, 3078774 edges, 1277 markings/sec, 1190 secs
lola: 1 tries, 707014 fired transitions, 1195 secs || 1541677 markings, 3091596 edges, 1278 markings/sec, 1195 secs
lola: 1 tries, 709940 fired transitions, 1200 secs || 1548059 markings, 3104398 edges, 1276 markings/sec, 1200 secs
lola: 1 tries, 712864 fired transitions, 1205 secs || 1554456 markings, 3117235 edges, 1279 markings/sec, 1205 secs
lola: 1 tries, 715788 fired transitions, 1210 secs || 1560818 markings, 3129999 edges, 1272 markings/sec, 1210 secs
lola: 1 tries, 718710 fired transitions, 1215 secs || 1567210 markings, 3142829 edges, 1278 markings/sec, 1215 secs
lola: 1 tries, 721632 fired transitions, 1220 secs || 1573579 markings, 3155610 edges, 1274 markings/sec, 1220 secs
lola: 1 tries, 724558 fired transitions, 1225 secs || 1579841 markings, 3168153 edges, 1252 markings/sec, 1225 secs
lola: 1 tries, 727474 fired transitions, 1230 secs || 1586187 markings, 3180880 edges, 1269 markings/sec, 1230 secs
lola: 1 tries, 730400 fired transitions, 1235 secs || 1592533 markings, 3193606 edges, 1269 markings/sec, 1235 secs
lola: 1 tries, 733326 fired transitions, 1240 secs || 1598878 markings, 3206335 edges, 1269 markings/sec, 1240 secs
lola: 1 tries, 736254 fired transitions, 1245 secs || 1605194 markings, 3219001 edges, 1263 markings/sec, 1245 secs
lola: 1 tries, 739182 fired transitions, 1250 secs || 1611616 markings, 3231896 edges, 1284 markings/sec, 1250 secs
lola: 1 tries, 742142 fired transitions, 1255 secs || 1617991 markings, 3244684 edges, 1275 markings/sec, 1255 secs
lola: 1 tries, 745148 fired transitions, 1260 secs || 1624422 markings, 3257583 edges, 1286 markings/sec, 1260 secs
lola: 1 tries, 748166 fired transitions, 1265 secs || 1630892 markings, 3270570 edges, 1294 markings/sec, 1265 secs
lola: 1 tries, 751170 fired transitions, 1270 secs || 1637351 markings, 3283524 edges, 1292 markings/sec, 1270 secs
lola: 1 tries, 754150 fired transitions, 1275 secs || 1643785 markings, 3296435 edges, 1287 markings/sec, 1275 secs
lola: 1 tries, 757076 fired transitions, 1280 secs || 1650103 markings, 3309113 edges, 1264 markings/sec, 1280 secs
lola: 1 tries, 759994 fired transitions, 1285 secs || 1656482 markings, 3321920 edges, 1276 markings/sec, 1285 secs
lola: 1 tries, 762918 fired transitions, 1290 secs || 1662815 markings, 3334632 edges, 1267 markings/sec, 1290 secs
lola: 1 tries, 765804 fired transitions, 1295 secs || 1669039 markings, 3347118 edges, 1245 markings/sec, 1295 secs
lola: 1 tries, 768698 fired transitions, 1300 secs || 1675392 markings, 3359868 edges, 1271 markings/sec, 1300 secs
lola: 1 tries, 771656 fired transitions, 1305 secs || 1681846 markings, 3372823 edges, 1291 markings/sec, 1305 secs
lola: 1 tries, 774572 fired transitions, 1310 secs || 1688139 markings, 3385436 edges, 1259 markings/sec, 1310 secs
lola: 1 tries, 777494 fired transitions, 1315 secs || 1694549 markings, 3398295 edges, 1282 markings/sec, 1315 secs
lola: 1 tries, 780450 fired transitions, 1320 secs || 1700953 markings, 3411138 edges, 1281 markings/sec, 1320 secs
lola: 1 tries, 783556 fired transitions, 1325 secs || 1707711 markings, 3424704 edges, 1352 markings/sec, 1325 secs
lola: 1 tries, 786514 fired transitions, 1330 secs || 1714427 markings, 3438176 edges, 1343 markings/sec, 1330 secs
lola: 1 tries, 789546 fired transitions, 1335 secs || 1721116 markings, 3451596 edges, 1338 markings/sec, 1335 secs
lola: 1 tries, 792584 fired transitions, 1340 secs || 1727815 markings, 3465043 edges, 1340 markings/sec, 1340 secs
lola: 1 tries, 795710 fired transitions, 1345 secs || 1734521 markings, 3478494 edges, 1341 markings/sec, 1345 secs
lola: 1 tries, 798832 fired transitions, 1350 secs || 1741266 markings, 3492032 edges, 1349 markings/sec, 1350 secs
lola: 1 tries, 801922 fired transitions, 1355 secs || 1747977 markings, 3505503 edges, 1342 markings/sec, 1355 secs
lola: 1 tries, 804802 fired transitions, 1360 secs || 1754587 markings, 3518764 edges, 1322 markings/sec, 1360 secs
lola: 1 tries, 807700 fired transitions, 1365 secs || 1760963 markings, 3531558 edges, 1275 markings/sec, 1365 secs
lola: 1 tries, 810508 fired transitions, 1370 secs || 1767384 markings, 3544448 edges, 1284 markings/sec, 1370 secs
lola: 1 tries, 813534 fired transitions, 1375 secs || 1773989 markings, 3557711 edges, 1321 markings/sec, 1375 secs
lola: 1 tries, 816594 fired transitions, 1380 secs || 1780618 markings, 3571017 edges, 1326 markings/sec, 1380 secs
lola: 1 tries, 819708 fired transitions, 1385 secs || 1787212 markings, 3584236 edges, 1319 markings/sec, 1385 secs
lola: 1 tries, 822830 fired transitions, 1390 secs || 1793906 markings, 3597663 edges, 1339 markings/sec, 1390 secs
lola: 1 tries, 825950 fired transitions, 1395 secs || 1800638 markings, 3611174 edges, 1346 markings/sec, 1395 secs
lola: 1 tries, 829078 fired transitions, 1400 secs || 1807339 markings, 3624613 edges, 1340 markings/sec, 1400 secs
lola: 1 tries, 832174 fired transitions, 1405 secs || 1813944 markings, 3637864 edges, 1321 markings/sec, 1405 secs
lola: 1 tries, 835230 fired transitions, 1410 secs || 1820562 markings, 3651148 edges, 1324 markings/sec, 1410 secs
lola: 1 tries, 838358 fired transitions, 1415 secs || 1827121 markings, 3664316 edges, 1312 markings/sec, 1415 secs
lola: 1 tries, 841474 fired transitions, 1420 secs || 1833841 markings, 3677804 edges, 1344 markings/sec, 1420 secs
lola: 1 tries, 844568 fired transitions, 1425 secs || 1840297 markings, 3690770 edges, 1291 markings/sec, 1425 secs
lola: 1 tries, 847142 fired transitions, 1430 secs || 1846775 markings, 3703764 edges, 1296 markings/sec, 1430 secs
lola: 1 tries, 850200 fired transitions, 1435 secs || 1853246 markings, 3716751 edges, 1294 markings/sec, 1435 secs
lola: 1 tries, 853282 fired transitions, 1440 secs || 1859871 markings, 3730054 edges, 1325 markings/sec, 1440 secs
lola: 1 tries, 856370 fired transitions, 1445 secs || 1866330 markings, 3743018 edges, 1292 markings/sec, 1445 secs
lola: 1 tries, 859478 fired transitions, 1450 secs || 1872964 markings, 3756332 edges, 1327 markings/sec, 1450 secs
lola: 1 tries, 862522 fired transitions, 1455 secs || 1879538 markings, 3769531 edges, 1315 markings/sec, 1455 secs
lola: 1 tries, 865592 fired transitions, 1460 secs || 1886032 markings, 3782570 edges, 1299 markings/sec, 1460 secs
lola: 1 tries, 868546 fired transitions, 1465 secs || 1892656 markings, 3795865 edges, 1325 markings/sec, 1465 secs
lola: 1 tries, 871494 fired transitions, 1470 secs || 1899526 markings, 3809657 edges, 1374 markings/sec, 1470 secs
lola: 1 tries, 874260 fired transitions, 1475 secs || 1906163 markings, 3822981 edges, 1327 markings/sec, 1475 secs
lola: 1 tries, 877132 fired transitions, 1480 secs || 1912488 markings, 3835677 edges, 1265 markings/sec, 1480 secs
lola: 1 tries, 879990 fired transitions, 1485 secs || 1918955 markings, 3848662 edges, 1293 markings/sec, 1485 secs
lola: 1 tries, 882862 fired transitions, 1490 secs || 1925343 markings, 3861481 edges, 1278 markings/sec, 1490 secs
lola: 1 tries, 885732 fired transitions, 1495 secs || 1931535 markings, 3873841 edges, 1238 markings/sec, 1495 secs
lola: 1 tries, 888794 fired transitions, 1500 secs || 1938036 markings, 3886863 edges, 1300 markings/sec, 1500 secs
lola: 1 tries, 891628 fired transitions, 1505 secs || 1944553 markings, 3899920 edges, 1303 markings/sec, 1505 secs
lola: 1 tries, 894594 fired transitions, 1510 secs || 1951215 markings, 3913267 edges, 1332 markings/sec, 1510 secs
lola: 1 tries, 897528 fired transitions, 1515 secs || 1957879 markings, 3926628 edges, 1333 markings/sec, 1515 secs
lola: 1 tries, 900470 fired transitions, 1520 secs || 1964447 markings, 3939782 edges, 1314 markings/sec, 1520 secs
lola: 1 tries, 903410 fired transitions, 1525 secs || 1971137 markings, 3953195 edges, 1338 markings/sec, 1525 secs
lola: 1 tries, 906442 fired transitions, 1530 secs || 1977805 markings, 3966563 edges, 1334 markings/sec, 1530 secs
lola: 1 tries, 909326 fired transitions, 1535 secs || 1984439 markings, 3979863 edges, 1327 markings/sec, 1535 secs
lola: 1 tries, 912294 fired transitions, 1540 secs || 1991142 markings, 3993308 edges, 1341 markings/sec, 1540 secs
lola: 1 tries, 915268 fired transitions, 1545 secs || 1997818 markings, 4006702 edges, 1335 markings/sec, 1545 secs
lola: 1 tries, 918272 fired transitions, 1550 secs || 2004464 markings, 4020024 edges, 1329 markings/sec, 1550 secs
lola: 1 tries, 921226 fired transitions, 1555 secs || 2011125 markings, 4033383 edges, 1332 markings/sec, 1555 secs
lola: 1 tries, 924326 fired transitions, 1560 secs || 2017582 markings, 4046332 edges, 1291 markings/sec, 1560 secs
lola: 1 tries, 927320 fired transitions, 1565 secs || 2024244 markings, 4059700 edges, 1332 markings/sec, 1565 secs
lola: 1 tries, 930372 fired transitions, 1570 secs || 2030922 markings, 4073095 edges, 1336 markings/sec, 1570 secs
lola: 1 tries, 933430 fired transitions, 1575 secs || 2037567 markings, 4086433 edges, 1329 markings/sec, 1575 secs
lola: 1 tries, 936492 fired transitions, 1580 secs || 2044220 markings, 4099773 edges, 1331 markings/sec, 1580 secs
lola: 1 tries, 939554 fired transitions, 1585 secs || 2050959 markings, 4113294 edges, 1348 markings/sec, 1585 secs
lola: 1 tries, 942556 fired transitions, 1590 secs || 2057528 markings, 4126458 edges, 1314 markings/sec, 1590 secs
lola: 1 tries, 945550 fired transitions, 1595 secs || 2063954 markings, 4139323 edges, 1285 markings/sec, 1595 secs
lola: 1 tries, 948560 fired transitions, 1600 secs || 2070363 markings, 4152160 edges, 1282 markings/sec, 1600 secs
lola: 1 tries, 951556 fired transitions, 1605 secs || 2076950 markings, 4165365 edges, 1317 markings/sec, 1605 secs
lola: 1 tries, 954600 fired transitions, 1610 secs || 2083654 markings, 4178815 edges, 1341 markings/sec, 1610 secs
lola: 1 tries, 957656 fired transitions, 1615 secs || 2090172 markings, 4191866 edges, 1304 markings/sec, 1615 secs
lola: 1 tries, 960658 fired transitions, 1620 secs || 2096819 markings, 4205195 edges, 1329 markings/sec, 1620 secs
lola: 1 tries, 963574 fired transitions, 1625 secs || 2103223 markings, 4218047 edges, 1281 markings/sec, 1625 secs
lola: 1 tries, 966404 fired transitions, 1630 secs || 2109831 markings, 4231300 edges, 1322 markings/sec, 1630 secs
lola: 1 tries, 969380 fired transitions, 1635 secs || 2116471 markings, 4244615 edges, 1328 markings/sec, 1635 secs
lola: 1 tries, 972336 fired transitions, 1640 secs || 2123108 markings, 4257938 edges, 1327 markings/sec, 1640 secs
lola: 1 tries, 975312 fired transitions, 1645 secs || 2129610 markings, 4270984 edges, 1300 markings/sec, 1645 secs
lola: 1 tries, 978264 fired transitions, 1650 secs || 2136220 markings, 4284237 edges, 1322 markings/sec, 1650 secs
lola: 1 tries, 981186 fired transitions, 1655 secs || 2142910 markings, 4297661 edges, 1338 markings/sec, 1655 secs
lola: 1 tries, 984184 fired transitions, 1660 secs || 2149659 markings, 4311193 edges, 1350 markings/sec, 1660 secs
lola: 1 tries, 987140 fired transitions, 1665 secs || 2156346 markings, 4324604 edges, 1337 markings/sec, 1665 secs
lola: 1 tries, 990070 fired transitions, 1670 secs || 2163077 markings, 4338108 edges, 1346 markings/sec, 1670 secs
lola: 1 tries, 993030 fired transitions, 1675 secs || 2169857 markings, 4351709 edges, 1356 markings/sec, 1675 secs
lola: 1 tries, 996070 fired transitions, 1680 secs || 2176620 markings, 4365274 edges, 1353 markings/sec, 1680 secs
lola: 1 tries, 999130 fired transitions, 1685 secs || 2183435 markings, 4378955 edges, 1363 markings/sec, 1685 secs
lola: 2 tries, 1002196 fired transitions, 1690 secs || 2190050 markings, 4392232 edges, 1323 markings/sec, 1690 secs
lola: 2 tries, 1005242 fired transitions, 1695 secs || 2196554 markings, 4405278 edges, 1301 markings/sec, 1695 secs
lola: 2 tries, 1008324 fired transitions, 1700 secs || 2203183 markings, 4418580 edges, 1326 markings/sec, 1700 secs
lola: 2 tries, 1011426 fired transitions, 1705 secs || 2209792 markings, 4431839 edges, 1322 markings/sec, 1705 secs
lola: 2 tries, 1014522 fired transitions, 1710 secs || 2216455 markings, 4445215 edges, 1333 markings/sec, 1710 secs
lola: 2 tries, 1017642 fired transitions, 1715 secs || 2222988 markings, 4458296 edges, 1307 markings/sec, 1715 secs
lola: 2 tries, 1020762 fired transitions, 1720 secs || 2229645 markings, 4471637 edges, 1331 markings/sec, 1720 secs
lola: 2 tries, 1023878 fired transitions, 1725 secs || 2236355 markings, 4485088 edges, 1342 markings/sec, 1725 secs
lola: 2 tries, 1026990 fired transitions, 1730 secs || 2243063 markings, 4498540 edges, 1342 markings/sec, 1730 secs
lola: 2 tries, 1030110 fired transitions, 1735 secs || 2249693 markings, 4511830 edges, 1326 markings/sec, 1735 secs
lola: 2 tries, 1033230 fired transitions, 1740 secs || 2256348 markings, 4525175 edges, 1331 markings/sec, 1740 secs
lola: 2 tries, 1036354 fired transitions, 1745 secs || 2263087 markings, 4538695 edges, 1348 markings/sec, 1745 secs
lola: 2 tries, 1039466 fired transitions, 1750 secs || 2269757 markings, 4552076 edges, 1334 markings/sec, 1750 secs
lola: 2 tries, 1042580 fired transitions, 1755 secs || 2276450 markings, 4565499 edges, 1339 markings/sec, 1755 secs
lola: 2 tries, 1045700 fired transitions, 1760 secs || 2283156 markings, 4578955 edges, 1341 markings/sec, 1760 secs
lola: 2 tries, 1048810 fired transitions, 1765 secs || 2289869 markings, 4592428 edges, 1343 markings/sec, 1765 secs
lola: 2 tries, 1051922 fired transitions, 1770 secs || 2296535 markings, 4605808 edges, 1333 markings/sec, 1770 secs
lola: 2 tries, 1055036 fired transitions, 1775 secs || 2303113 markings, 4618984 edges, 1316 markings/sec, 1775 secs
lola: 2 tries, 1058154 fired transitions, 1780 secs || 2309843 markings, 4632483 edges, 1346 markings/sec, 1780 secs
lola: 2 tries, 1061258 fired transitions, 1785 secs || 2316531 markings, 4645903 edges, 1338 markings/sec, 1785 secs
lola: 2 tries, 1064364 fired transitions, 1790 secs || 2323211 markings, 4659303 edges, 1336 markings/sec, 1790 secs
lola: 2 tries, 1067482 fired transitions, 1795 secs || 2329883 markings, 4672690 edges, 1334 markings/sec, 1795 secs
lola: 2 tries, 1070598 fired transitions, 1800 secs || 2336578 markings, 4686122 edges, 1339 markings/sec, 1800 secs
lola: 2 tries, 1073776 fired transitions, 1805 secs || 2342611 markings, 4698224 edges, 1207 markings/sec, 1805 secs
lola: 2 tries, 1076918 fired transitions, 1810 secs || 2348872 markings, 4710796 edges, 1252 markings/sec, 1810 secs
lola: 2 tries, 1079832 fired transitions, 1815 secs || 2354956 markings, 4723000 edges, 1217 markings/sec, 1815 secs
lola: 2 tries, 1082680 fired transitions, 1820 secs || 2361254 markings, 4735640 edges, 1260 markings/sec, 1820 secs
lola: 2 tries, 1085528 fired transitions, 1825 secs || 2367539 markings, 4748256 edges, 1257 markings/sec, 1825 secs
lola: 2 tries, 1088574 fired transitions, 1830 secs || 2373989 markings, 4761201 edges, 1290 markings/sec, 1830 secs
lola: 2 tries, 1091678 fired transitions, 1835 secs || 2380385 markings, 4774042 edges, 1279 markings/sec, 1835 secs
lola: 2 tries, 1094838 fired transitions, 1840 secs || 2386901 markings, 4787123 edges, 1303 markings/sec, 1840 secs
lola: 2 tries, 1097970 fired transitions, 1845 secs || 2392998 markings, 4799341 edges, 1219 markings/sec, 1845 secs
lola: 2 tries, 1101046 fired transitions, 1850 secs || 2399477 markings, 4812330 edges, 1296 markings/sec, 1850 secs
lola: 2 tries, 1104110 fired transitions, 1855 secs || 2406037 markings, 4825487 edges, 1312 markings/sec, 1855 secs
lola: 2 tries, 1107226 fired transitions, 1860 secs || 2412294 markings, 4838035 edges, 1251 markings/sec, 1860 secs
lola: 2 tries, 1110336 fired transitions, 1865 secs || 2418649 markings, 4850784 edges, 1271 markings/sec, 1865 secs
lola: 2 tries, 1113378 fired transitions, 1870 secs || 2425197 markings, 4863919 edges, 1310 markings/sec, 1870 secs
lola: 2 tries, 1116380 fired transitions, 1875 secs || 2431528 markings, 4876608 edges, 1266 markings/sec, 1875 secs
lola: 2 tries, 1119402 fired transitions, 1880 secs || 2437970 markings, 4889529 edges, 1288 markings/sec, 1880 secs
lola: 2 tries, 1122518 fired transitions, 1885 secs || 2444277 markings, 4902182 edges, 1261 markings/sec, 1885 secs
lola: 2 tries, 1125630 fired transitions, 1890 secs || 2450833 markings, 4915330 edges, 1311 markings/sec, 1890 secs
lola: 2 tries, 1128768 fired transitions, 1895 secs || 2457307 markings, 4928316 edges, 1295 markings/sec, 1895 secs
lola: 2 tries, 1131884 fired transitions, 1900 secs || 2463636 markings, 4941021 edges, 1266 markings/sec, 1900 secs
lola: 2 tries, 1134918 fired transitions, 1905 secs || 2469868 markings, 4953524 edges, 1246 markings/sec, 1905 secs
lola: 2 tries, 1137924 fired transitions, 1910 secs || 2476468 markings, 4966767 edges, 1320 markings/sec, 1910 secs
lola: 2 tries, 1140900 fired transitions, 1915 secs || 2483088 markings, 4980052 edges, 1324 markings/sec, 1915 secs
lola: 2 tries, 1143816 fired transitions, 1920 secs || 2489542 markings, 4992997 edges, 1291 markings/sec, 1920 secs
lola: 2 tries, 1146860 fired transitions, 1925 secs || 2496104 markings, 5006166 edges, 1312 markings/sec, 1925 secs
lola: 2 tries, 1149884 fired transitions, 1930 secs || 2502748 markings, 5019505 edges, 1329 markings/sec, 1930 secs
lola: 2 tries, 1152848 fired transitions, 1935 secs || 2509290 markings, 5032633 edges, 1308 markings/sec, 1935 secs
lola: 2 tries, 1155696 fired transitions, 1940 secs || 2515932 markings, 5045961 edges, 1328 markings/sec, 1940 secs
lola: 2 tries, 1158688 fired transitions, 1945 secs || 2522481 markings, 5059112 edges, 1310 markings/sec, 1945 secs
lola: 2 tries, 1161604 fired transitions, 1950 secs || 2528923 markings, 5072038 edges, 1288 markings/sec, 1950 secs
lola: 2 tries, 1164366 fired transitions, 1955 secs || 2535196 markings, 5084633 edges, 1255 markings/sec, 1955 secs
lola: 2 tries, 1167248 fired transitions, 1960 secs || 2541503 markings, 5097286 edges, 1261 markings/sec, 1960 secs
lola: 2 tries, 1170108 fired transitions, 1965 secs || 2547875 markings, 5110078 edges, 1274 markings/sec, 1965 secs
lola: 2 tries, 1172962 fired transitions, 1970 secs || 2554149 markings, 5122668 edges, 1255 markings/sec, 1970 secs
lola: 2 tries, 1175780 fired transitions, 1975 secs || 2560446 markings, 5135305 edges, 1259 markings/sec, 1975 secs
lola: 2 tries, 1178276 fired transitions, 1980 secs || 2566938 markings, 5148333 edges, 1298 markings/sec, 1980 secs
lola: 2 tries, 1180746 fired transitions, 1985 secs || 2573619 markings, 5161740 edges, 1336 markings/sec, 1985 secs
lola: 2 tries, 1182830 fired transitions, 1990 secs || 2580468 markings, 5175493 edges, 1370 markings/sec, 1990 secs
lola: 2 tries, 1185356 fired transitions, 1995 secs || 2587231 markings, 5189068 edges, 1353 markings/sec, 1995 secs
lola: 2 tries, 1187818 fired transitions, 2000 secs || 2594062 markings, 5202783 edges, 1366 markings/sec, 2000 secs
lola: 2 tries, 1190166 fired transitions, 2005 secs || 2600782 markings, 5216275 edges, 1344 markings/sec, 2005 secs
lola: 2 tries, 1192670 fired transitions, 2010 secs || 2607105 markings, 5228945 edges, 1265 markings/sec, 2010 secs
lola: 2 tries, 1195288 fired transitions, 2015 secs || 2613462 markings, 5241677 edges, 1271 markings/sec, 2015 secs
lola: 2 tries, 1198062 fired transitions, 2020 secs || 2619587 markings, 5253957 edges, 1225 markings/sec, 2020 secs
lola: 2 tries, 1200648 fired transitions, 2025 secs || 2626000 markings, 5266817 edges, 1283 markings/sec, 2025 secs
lola: 2 tries, 1203198 fired transitions, 2030 secs || 2632493 markings, 5279838 edges, 1299 markings/sec, 2030 secs
lola: 2 tries, 1205766 fired transitions, 2035 secs || 2638963 markings, 5292807 edges, 1294 markings/sec, 2035 secs
lola: 2 tries, 1208344 fired transitions, 2040 secs || 2645497 markings, 5305913 edges, 1307 markings/sec, 2040 secs
lola: 2 tries, 1210894 fired transitions, 2045 secs || 2651870 markings, 5318692 edges, 1275 markings/sec, 2045 secs
lola: 2 tries, 1213276 fired transitions, 2050 secs || 2658351 markings, 5331694 edges, 1296 markings/sec, 2050 secs
lola: 2 tries, 1215798 fired transitions, 2055 secs || 2664643 markings, 5344313 edges, 1258 markings/sec, 2055 secs
lola: 2 tries, 1218506 fired transitions, 2060 secs || 2671131 markings, 5357316 edges, 1298 markings/sec, 2060 secs
lola: 2 tries, 1221396 fired transitions, 2065 secs || 2677827 markings, 5370733 edges, 1339 markings/sec, 2065 secs
lola: 2 tries, 1224376 fired transitions, 2070 secs || 2684490 markings, 5384085 edges, 1333 markings/sec, 2070 secs
lola: 2 tries, 1227424 fired transitions, 2075 secs || 2691006 markings, 5397157 edges, 1303 markings/sec, 2075 secs
lola: 2 tries, 1230462 fired transitions, 2080 secs || 2697539 markings, 5410265 edges, 1307 markings/sec, 2080 secs
lola: 2 tries, 1233578 fired transitions, 2085 secs || 2704206 markings, 5423645 edges, 1333 markings/sec, 2085 secs
lola: 2 tries, 1236424 fired transitions, 2090 secs || 2710435 markings, 5436138 edges, 1246 markings/sec, 2090 secs
lola: 2 tries, 1239266 fired transitions, 2095 secs || 2716612 markings, 5448521 edges, 1235 markings/sec, 2095 secs
lola: 2 tries, 1242018 fired transitions, 2100 secs || 2722915 markings, 5461171 edges, 1261 markings/sec, 2100 secs
lola: 2 tries, 1244690 fired transitions, 2105 secs || 2729344 markings, 5474066 edges, 1286 markings/sec, 2105 secs
lola: 2 tries, 1247434 fired transitions, 2110 secs || 2735996 markings, 5487407 edges, 1330 markings/sec, 2110 secs
lola: 2 tries, 1250198 fired transitions, 2115 secs || 2742658 markings, 5500773 edges, 1332 markings/sec, 2115 secs
lola: 2 tries, 1252916 fired transitions, 2120 secs || 2749305 markings, 5514117 edges, 1329 markings/sec, 2120 secs
lola: 2 tries, 1255834 fired transitions, 2125 secs || 2755591 markings, 5526730 edges, 1257 markings/sec, 2125 secs
lola: 2 tries, 1258684 fired transitions, 2130 secs || 2761731 markings, 5539020 edges, 1228 markings/sec, 2130 secs
lola: 2 tries, 1261102 fired transitions, 2135 secs || 2768034 markings, 5551662 edges, 1261 markings/sec, 2135 secs
lola: 2 tries, 1263794 fired transitions, 2140 secs || 2774756 markings, 5565144 edges, 1344 markings/sec, 2140 secs
lola: 2 tries, 1266536 fired transitions, 2145 secs || 2781501 markings, 5578673 edges, 1349 markings/sec, 2145 secs
lola: 2 tries, 1269310 fired transitions, 2150 secs || 2788193 markings, 5592095 edges, 1338 markings/sec, 2150 secs
lola: 2 tries, 1272326 fired transitions, 2155 secs || 2794734 markings, 5605212 edges, 1308 markings/sec, 2155 secs
lola: 2 tries, 1275426 fired transitions, 2160 secs || 2801348 markings, 5618480 edges, 1323 markings/sec, 2160 secs
lola: 2 tries, 1278526 fired transitions, 2165 secs || 2808003 markings, 5631835 edges, 1331 markings/sec, 2165 secs
lola: 2 tries, 1281620 fired transitions, 2170 secs || 2814561 markings, 5644991 edges, 1312 markings/sec, 2170 secs
lola: 2 tries, 1284706 fired transitions, 2175 secs || 2821136 markings, 5658188 edges, 1315 markings/sec, 2175 secs
lola: 2 tries, 1287796 fired transitions, 2180 secs || 2827701 markings, 5671356 edges, 1313 markings/sec, 2180 secs
lola: 2 tries, 1290988 fired transitions, 2185 secs || 2834391 markings, 5684772 edges, 1338 markings/sec, 2185 secs
lola: 2 tries, 1293636 fired transitions, 2190 secs || 2841311 markings, 5698649 edges, 1384 markings/sec, 2190 secs
lola: 2 tries, 1296318 fired transitions, 2195 secs || 2848221 markings, 5712506 edges, 1382 markings/sec, 2195 secs
lola: 2 tries, 1299000 fired transitions, 2200 secs || 2855106 markings, 5726316 edges, 1377 markings/sec, 2200 secs
lola: 2 tries, 1301678 fired transitions, 2205 secs || 2861937 markings, 5740017 edges, 1366 markings/sec, 2205 secs
lola: 2 tries, 1304740 fired transitions, 2210 secs || 2868710 markings, 5753610 edges, 1355 markings/sec, 2210 secs
lola: 2 tries, 1307830 fired transitions, 2215 secs || 2875473 markings, 5767185 edges, 1353 markings/sec, 2215 secs
lola: 2 tries, 1310960 fired transitions, 2220 secs || 2882167 markings, 5780623 edges, 1339 markings/sec, 2220 secs
lola: 2 tries, 1314024 fired transitions, 2225 secs || 2888823 markings, 5793986 edges, 1331 markings/sec, 2225 secs
lola: 2 tries, 1317028 fired transitions, 2230 secs || 2895059 markings, 5806495 edges, 1247 markings/sec, 2230 secs
lola: 2 tries, 1320064 fired transitions, 2235 secs || 2901462 markings, 5819347 edges, 1281 markings/sec, 2235 secs
lola: 2 tries, 1323118 fired transitions, 2240 secs || 2908050 markings, 5832559 edges, 1318 markings/sec, 2240 secs
lola: 2 tries, 1326282 fired transitions, 2245 secs || 2914807 markings, 5846119 edges, 1351 markings/sec, 2245 secs
lola: 2 tries, 1329410 fired transitions, 2250 secs || 2921547 markings, 5859647 edges, 1348 markings/sec, 2250 secs
lola: 2 tries, 1332552 fired transitions, 2255 secs || 2928230 markings, 5873062 edges, 1337 markings/sec, 2255 secs
lola: 2 tries, 1335638 fired transitions, 2260 secs || 2934861 markings, 5886356 edges, 1326 markings/sec, 2260 secs
lola: 2 tries, 1338520 fired transitions, 2265 secs || 2941010 markings, 5898690 edges, 1230 markings/sec, 2265 secs
lola: 2 tries, 1341446 fired transitions, 2270 secs || 2947305 markings, 5911325 edges, 1259 markings/sec, 2270 secs
lola: 2 tries, 1344616 fired transitions, 2275 secs || 2954010 markings, 5924778 edges, 1341 markings/sec, 2275 secs
lola: 2 tries, 1347546 fired transitions, 2280 secs || 2960362 markings, 5937522 edges, 1270 markings/sec, 2280 secs
lola: 2 tries, 1350552 fired transitions, 2285 secs || 2966736 markings, 5950313 edges, 1275 markings/sec, 2285 secs
lola: 2 tries, 1353582 fired transitions, 2290 secs || 2973250 markings, 5963390 edges, 1303 markings/sec, 2290 secs
lola: 2 tries, 1356624 fired transitions, 2295 secs || 2979844 markings, 5976628 edges, 1319 markings/sec, 2295 secs
lola: 2 tries, 1359522 fired transitions, 2300 secs || 2986024 markings, 5989025 edges, 1236 markings/sec, 2300 secs
lola: 2 tries, 1361848 fired transitions, 2305 secs || 2992350 markings, 6001720 edges, 1265 markings/sec, 2305 secs
lola: 2 tries, 1364884 fired transitions, 2310 secs || 2998926 markings, 6014926 edges, 1315 markings/sec, 2310 secs
lola: 2 tries, 1367848 fired transitions, 2315 secs || 3005344 markings, 6027803 edges, 1284 markings/sec, 2315 secs
lola: 2 tries, 1370658 fired transitions, 2320 secs || 3011571 markings, 6040302 edges, 1245 markings/sec, 2320 secs
lola: 2 tries, 1373652 fired transitions, 2325 secs || 3018004 markings, 6053214 edges, 1287 markings/sec, 2325 secs
lola: 2 tries, 1376756 fired transitions, 2330 secs || 3024633 markings, 6066518 edges, 1326 markings/sec, 2330 secs
lola: 2 tries, 1378914 fired transitions, 2335 secs || 3030867 markings, 6079031 edges, 1247 markings/sec, 2335 secs
lola: 2 tries, 1381524 fired transitions, 2340 secs || 3037129 markings, 6091598 edges, 1252 markings/sec, 2340 secs
lola: 2 tries, 1384546 fired transitions, 2345 secs || 3043571 markings, 6104509 edges, 1288 markings/sec, 2345 secs
lola: 2 tries, 1387592 fired transitions, 2350 secs || 3050031 markings, 6117459 edges, 1292 markings/sec, 2350 secs
lola: 2 tries, 1390524 fired transitions, 2355 secs || 3056384 markings, 6130205 edges, 1271 markings/sec, 2355 secs
lola: 2 tries, 1393284 fired transitions, 2360 secs || 3062912 markings, 6143298 edges, 1306 markings/sec, 2360 secs
lola: 2 tries, 1395718 fired transitions, 2365 secs || 3069460 markings, 6156436 edges, 1310 markings/sec, 2365 secs
lola: 2 tries, 1398498 fired transitions, 2370 secs || 3076226 markings, 6170015 edges, 1353 markings/sec, 2370 secs
lola: 2 tries, 1401352 fired transitions, 2375 secs || 3082535 markings, 6182676 edges, 1262 markings/sec, 2375 secs
lola: 2 tries, 1404186 fired transitions, 2380 secs || 3088820 markings, 6195284 edges, 1257 markings/sec, 2380 secs
lola: 2 tries, 1407162 fired transitions, 2385 secs || 3095364 markings, 6208409 edges, 1309 markings/sec, 2385 secs
lola: 2 tries, 1410164 fired transitions, 2390 secs || 3101900 markings, 6221527 edges, 1307 markings/sec, 2390 secs
lola: 2 tries, 1412950 fired transitions, 2395 secs || 3108215 markings, 6234201 edges, 1263 markings/sec, 2395 secs
lola: 2 tries, 1416024 fired transitions, 2400 secs || 3114908 markings, 6247631 edges, 1339 markings/sec, 2400 secs
lola: 2 tries, 1418972 fired transitions, 2405 secs || 3121409 markings, 6260682 edges, 1300 markings/sec, 2405 secs
lola: 2 tries, 1421828 fired transitions, 2410 secs || 3127770 markings, 6273455 edges, 1272 markings/sec, 2410 secs
lola: 2 tries, 1424716 fired transitions, 2415 secs || 3133989 markings, 6285923 edges, 1244 markings/sec, 2415 secs
lola: 2 tries, 1427730 fired transitions, 2420 secs || 3140533 markings, 6299051 edges, 1309 markings/sec, 2420 secs
lola: 2 tries, 1430730 fired transitions, 2425 secs || 3146959 markings, 6311948 edges, 1285 markings/sec, 2425 secs
lola: 2 tries, 1433530 fired transitions, 2430 secs || 3153171 markings, 6324411 edges, 1242 markings/sec, 2430 secs
lola: 2 tries, 1436402 fired transitions, 2435 secs || 3159435 markings, 6336977 edges, 1253 markings/sec, 2435 secs
lola: 2 tries, 1439308 fired transitions, 2440 secs || 3165701 markings, 6349552 edges, 1253 markings/sec, 2440 secs
lola: 2 tries, 1442186 fired transitions, 2445 secs || 3171985 markings, 6362161 edges, 1257 markings/sec, 2445 secs
lola: 2 tries, 1445252 fired transitions, 2450 secs || 3178674 markings, 6375587 edges, 1338 markings/sec, 2450 secs
lola: 2 tries, 1448392 fired transitions, 2455 secs || 3185415 markings, 6389116 edges, 1348 markings/sec, 2455 secs
lola: 2 tries, 1451562 fired transitions, 2460 secs || 3192138 markings, 6402608 edges, 1345 markings/sec, 2460 secs
lola: 2 tries, 1454736 fired transitions, 2465 secs || 3198911 markings, 6416201 edges, 1355 markings/sec, 2465 secs
lola: 2 tries, 1457908 fired transitions, 2470 secs || 3205670 markings, 6429768 edges, 1352 markings/sec, 2470 secs
lola: 2 tries, 1460968 fired transitions, 2475 secs || 3212257 markings, 6442991 edges, 1317 markings/sec, 2475 secs
lola: 2 tries, 1464058 fired transitions, 2480 secs || 3218835 markings, 6456196 edges, 1316 markings/sec, 2480 secs
lola: 2 tries, 1467084 fired transitions, 2485 secs || 3225294 markings, 6469165 edges, 1292 markings/sec, 2485 secs
lola: 2 tries, 1469962 fired transitions, 2490 secs || 3231567 markings, 6481755 edges, 1255 markings/sec, 2490 secs
lola: 2 tries, 1473026 fired transitions, 2495 secs || 3238060 markings, 6494789 edges, 1299 markings/sec, 2495 secs
lola: 2 tries, 1476210 fired transitions, 2500 secs || 3244908 markings, 6508542 edges, 1370 markings/sec, 2500 secs
lola: 2 tries, 1479368 fired transitions, 2505 secs || 3251677 markings, 6522132 edges, 1354 markings/sec, 2505 secs
lola: 2 tries, 1482546 fired transitions, 2510 secs || 3258470 markings, 6535770 edges, 1359 markings/sec, 2510 secs
lola: 2 tries, 1485692 fired transitions, 2515 secs || 3265178 markings, 6549232 edges, 1342 markings/sec, 2515 secs
lola: 2 tries, 1488900 fired transitions, 2520 secs || 3271969 markings, 6562864 edges, 1358 markings/sec, 2520 secs
lola: 2 tries, 1492088 fired transitions, 2525 secs || 3278706 markings, 6576387 edges, 1347 markings/sec, 2525 secs
lola: 2 tries, 1495258 fired transitions, 2530 secs || 3285535 markings, 6590099 edges, 1366 markings/sec, 2530 secs
lola: 2 tries, 1498176 fired transitions, 2535 secs || 3291724 markings, 6602503 edges, 1238 markings/sec, 2535 secs
lola: 2 tries, 1501056 fired transitions, 2540 secs || 3298021 markings, 6615140 edges, 1259 markings/sec, 2540 secs
lola: 2 tries, 1503960 fired transitions, 2545 secs || 3304251 markings, 6627639 edges, 1246 markings/sec, 2545 secs
lola: 2 tries, 1507052 fired transitions, 2550 secs || 3310864 markings, 6640906 edges, 1323 markings/sec, 2550 secs
lola: 2 tries, 1510236 fired transitions, 2555 secs || 3317716 markings, 6654660 edges, 1370 markings/sec, 2555 secs
lola: 2 tries, 1513408 fired transitions, 2560 secs || 3324549 markings, 6668371 edges, 1367 markings/sec, 2560 secs
lola: 2 tries, 1516592 fired transitions, 2565 secs || 3331290 markings, 6681906 edges, 1348 markings/sec, 2565 secs
lola: 2 tries, 1519568 fired transitions, 2570 secs || 3337651 markings, 6694669 edges, 1272 markings/sec, 2570 secs
lola: 2 tries, 1522688 fired transitions, 2575 secs || 3344209 markings, 6707830 edges, 1312 markings/sec, 2575 secs
lola: 2 tries, 1525906 fired transitions, 2580 secs || 3350999 markings, 6721457 edges, 1358 markings/sec, 2580 secs
lola: 2 tries, 1529112 fired transitions, 2585 secs || 3357802 markings, 6735111 edges, 1361 markings/sec, 2585 secs
lola: 2 tries, 1532272 fired transitions, 2590 secs || 3364627 markings, 6748813 edges, 1365 markings/sec, 2590 secs
lola: 2 tries, 1535418 fired transitions, 2595 secs || 3371469 markings, 6762548 edges, 1368 markings/sec, 2595 secs
lola: 2 tries, 1538586 fired transitions, 2600 secs || 3378337 markings, 6776342 edges, 1374 markings/sec, 2600 secs
lola: 2 tries, 1541818 fired transitions, 2605 secs || 3385177 markings, 6790067 edges, 1368 markings/sec, 2605 secs
lola: 2 tries, 1544808 fired transitions, 2610 secs || 3391966 markings, 6803690 edges, 1358 markings/sec, 2610 secs
lola: 2 tries, 1547504 fired transitions, 2615 secs || 3398899 markings, 6817597 edges, 1387 markings/sec, 2615 secs
lola: 2 tries, 1550262 fired transitions, 2620 secs || 3405870 markings, 6831588 edges, 1394 markings/sec, 2620 secs
lola: 2 tries, 1553296 fired transitions, 2625 secs || 3412733 markings, 6845363 edges, 1373 markings/sec, 2625 secs
lola: 2 tries, 1556454 fired transitions, 2630 secs || 3419511 markings, 6858960 edges, 1356 markings/sec, 2630 secs
lola: 2 tries, 1559670 fired transitions, 2635 secs || 3426437 markings, 6872865 edges, 1385 markings/sec, 2635 secs
lola: 2 tries, 1562920 fired transitions, 2640 secs || 3433460 markings, 6886970 edges, 1405 markings/sec, 2640 secs
lola: 2 tries, 1566176 fired transitions, 2645 secs || 3440366 markings, 6900825 edges, 1381 markings/sec, 2645 secs
lola: 2 tries, 1569464 fired transitions, 2650 secs || 3447281 markings, 6914706 edges, 1383 markings/sec, 2650 secs
lola: 2 tries, 1572762 fired transitions, 2655 secs || 3454170 markings, 6928529 edges, 1378 markings/sec, 2655 secs
lola: 2 tries, 1576062 fired transitions, 2660 secs || 3461120 markings, 6942478 edges, 1390 markings/sec, 2660 secs
lola: 2 tries, 1579360 fired transitions, 2665 secs || 3468065 markings, 6956421 edges, 1389 markings/sec, 2665 secs
lola: 2 tries, 1582656 fired transitions, 2670 secs || 3475015 markings, 6970374 edges, 1390 markings/sec, 2670 secs
lola: 2 tries, 1585954 fired transitions, 2675 secs || 3481932 markings, 6984261 edges, 1383 markings/sec, 2675 secs
lola: 2 tries, 1589202 fired transitions, 2680 secs || 3488712 markings, 6997852 edges, 1356 markings/sec, 2680 secs
lola: 2 tries, 1592440 fired transitions, 2685 secs || 3495521 markings, 7011498 edges, 1362 markings/sec, 2685 secs
lola: 2 tries, 1595712 fired transitions, 2690 secs || 3502514 markings, 7025521 edges, 1399 markings/sec, 2690 secs
lola: 2 tries, 1599000 fired transitions, 2695 secs || 3509462 markings, 7039447 edges, 1390 markings/sec, 2695 secs
lola: 2 tries, 1602282 fired transitions, 2700 secs || 3516408 markings, 7053380 edges, 1389 markings/sec, 2700 secs
lola: 2 tries, 1605502 fired transitions, 2705 secs || 3523319 markings, 7067244 edges, 1382 markings/sec, 2705 secs
lola: 2 tries, 1608758 fired transitions, 2710 secs || 3530397 markings, 7081446 edges, 1416 markings/sec, 2710 secs
lola: 2 tries, 1612046 fired transitions, 2715 secs || 3537344 markings, 7095381 edges, 1389 markings/sec, 2715 secs
lola: 2 tries, 1615328 fired transitions, 2720 secs || 3544350 markings, 7109441 edges, 1401 markings/sec, 2720 secs
lola: 2 tries, 1618548 fired transitions, 2725 secs || 3551312 markings, 7123402 edges, 1392 markings/sec, 2725 secs
lola: 2 tries, 1621676 fired transitions, 2730 secs || 3558051 markings, 7136930 edges, 1348 markings/sec, 2730 secs
lola: 2 tries, 1624842 fired transitions, 2735 secs || 3564691 markings, 7150253 edges, 1328 markings/sec, 2735 secs
lola: 2 tries, 1628032 fired transitions, 2740 secs || 3571526 markings, 7163978 edges, 1367 markings/sec, 2740 secs
lola: 2 tries, 1631196 fired transitions, 2745 secs || 3578270 markings, 7177499 edges, 1349 markings/sec, 2745 secs
lola: 2 tries, 1634378 fired transitions, 2750 secs || 3584941 markings, 7190883 edges, 1334 markings/sec, 2750 secs
lola: 2 tries, 1637534 fired transitions, 2755 secs || 3591659 markings, 7204363 edges, 1344 markings/sec, 2755 secs
lola: 2 tries, 1640682 fired transitions, 2760 secs || 3598424 markings, 7217937 edges, 1353 markings/sec, 2760 secs
lola: 2 tries, 1643854 fired transitions, 2765 secs || 3605143 markings, 7231426 edges, 1344 markings/sec, 2765 secs
lola: 2 tries, 1647052 fired transitions, 2770 secs || 3611883 markings, 7244951 edges, 1348 markings/sec, 2770 secs
lola: 2 tries, 1650228 fired transitions, 2775 secs || 3618558 markings, 7258352 edges, 1335 markings/sec, 2775 secs
lola: 2 tries, 1653388 fired transitions, 2780 secs || 3625343 markings, 7271962 edges, 1357 markings/sec, 2780 secs
lola: 2 tries, 1656578 fired transitions, 2785 secs || 3632101 markings, 7285526 edges, 1352 markings/sec, 2785 secs
lola: 2 tries, 1659720 fired transitions, 2790 secs || 3638872 markings, 7299112 edges, 1354 markings/sec, 2790 secs
lola: 2 tries, 1662798 fired transitions, 2795 secs || 3645731 markings, 7312879 edges, 1372 markings/sec, 2795 secs
lola: 2 tries, 1665948 fired transitions, 2800 secs || 3652495 markings, 7326459 edges, 1353 markings/sec, 2800 secs
lola: 2 tries, 1669062 fired transitions, 2805 secs || 3659313 markings, 7340150 edges, 1364 markings/sec, 2805 secs
lola: 2 tries, 1672144 fired transitions, 2810 secs || 3665967 markings, 7353513 edges, 1331 markings/sec, 2810 secs
lola: 2 tries, 1674964 fired transitions, 2815 secs || 3672315 markings, 7366253 edges, 1270 markings/sec, 2815 secs
lola: 2 tries, 1677890 fired transitions, 2820 secs || 3678861 markings, 7379399 edges, 1309 markings/sec, 2820 secs
lola: 2 tries, 1680810 fired transitions, 2825 secs || 3685071 markings, 7391848 edges, 1242 markings/sec, 2825 secs
lola: 2 tries, 1683622 fired transitions, 2830 secs || 3690984 markings, 7403703 edges, 1183 markings/sec, 2830 secs
lola: 2 tries, 1686348 fired transitions, 2835 secs || 3696949 markings, 7415667 edges, 1193 markings/sec, 2835 secs
lola: 2 tries, 1689086 fired transitions, 2840 secs || 3702974 markings, 7427753 edges, 1205 markings/sec, 2840 secs
lola: 2 tries, 1691994 fired transitions, 2845 secs || 3709291 markings, 7440419 edges, 1263 markings/sec, 2845 secs
lola: 2 tries, 1694856 fired transitions, 2850 secs || 3715564 markings, 7453008 edges, 1255 markings/sec, 2850 secs
lola: 2 tries, 1697696 fired transitions, 2855 secs || 3721810 markings, 7465535 edges, 1249 markings/sec, 2855 secs
lola: 2 tries, 1700502 fired transitions, 2860 secs || 3728072 markings, 7478094 edges, 1252 markings/sec, 2860 secs
lola: 2 tries, 1703438 fired transitions, 2865 secs || 3734510 markings, 7491011 edges, 1288 markings/sec, 2865 secs
lola: 2 tries, 1706508 fired transitions, 2870 secs || 3741147 markings, 7504332 edges, 1327 markings/sec, 2870 secs
lola: 2 tries, 1709576 fired transitions, 2875 secs || 3747790 markings, 7517661 edges, 1329 markings/sec, 2875 secs
lola: 2 tries, 1712616 fired transitions, 2880 secs || 3754450 markings, 7531031 edges, 1332 markings/sec, 2880 secs
lola: 2 tries, 1715634 fired transitions, 2885 secs || 3761032 markings, 7544239 edges, 1316 markings/sec, 2885 secs
lola: 2 tries, 1717970 fired transitions, 2890 secs || 3767684 markings, 7557593 edges, 1330 markings/sec, 2890 secs
lola: 2 tries, 1720806 fired transitions, 2895 secs || 3774130 markings, 7570543 edges, 1289 markings/sec, 2895 secs
lola: 2 tries, 1723592 fired transitions, 2900 secs || 3780157 markings, 7582629 edges, 1205 markings/sec, 2900 secs
lola: 2 tries, 1726440 fired transitions, 2905 secs || 3786322 markings, 7594994 edges, 1233 markings/sec, 2905 secs
lola: 2 tries, 1729346 fired transitions, 2910 secs || 3792606 markings, 7607601 edges, 1257 markings/sec, 2910 secs
lola: 2 tries, 1732184 fired transitions, 2915 secs || 3798844 markings, 7620124 edges, 1248 markings/sec, 2915 secs
lola: 2 tries, 1735064 fired transitions, 2920 secs || 3805141 markings, 7632758 edges, 1259 markings/sec, 2920 secs
lola: 2 tries, 1737858 fired transitions, 2925 secs || 3811417 markings, 7645358 edges, 1255 markings/sec, 2925 secs
lola: 2 tries, 1740722 fired transitions, 2930 secs || 3817587 markings, 7657743 edges, 1234 markings/sec, 2930 secs
lola: 2 tries, 1743556 fired transitions, 2935 secs || 3823840 markings, 7670293 edges, 1251 markings/sec, 2935 secs
lola: 2 tries, 1746344 fired transitions, 2940 secs || 3830040 markings, 7682737 edges, 1240 markings/sec, 2940 secs
lola: 2 tries, 1748972 fired transitions, 2945 secs || 3836304 markings, 7695306 edges, 1253 markings/sec, 2945 secs
lola: 2 tries, 1751812 fired transitions, 2950 secs || 3842571 markings, 7707889 edges, 1253 markings/sec, 2950 secs
lola: 2 tries, 1754218 fired transitions, 2955 secs || 3849002 markings, 7720797 edges, 1286 markings/sec, 2955 secs
lola: 2 tries, 1757018 fired transitions, 2960 secs || 3855263 markings, 7733368 edges, 1252 markings/sec, 2960 secs
lola: 2 tries, 1759860 fired transitions, 2965 secs || 3861457 markings, 7745808 edges, 1239 markings/sec, 2965 secs
lola: 2 tries, 1762760 fired transitions, 2970 secs || 3867558 markings, 7758052 edges, 1220 markings/sec, 2970 secs
lola: 2 tries, 1765648 fired transitions, 2975 secs || 3873741 markings, 7770467 edges, 1237 markings/sec, 2975 secs
lola: 2 tries, 1768528 fired transitions, 2980 secs || 3879796 markings, 7782574 edges, 1211 markings/sec, 2980 secs
lola: 2 tries, 1771366 fired transitions, 2985 secs || 3885815 markings, 7794622 edges, 1204 markings/sec, 2985 secs
lola: 2 tries, 1774232 fired transitions, 2990 secs || 3891993 markings, 7806998 edges, 1236 markings/sec, 2990 secs
lola: 2 tries, 1777078 fired transitions, 2995 secs || 3898243 markings, 7819522 edges, 1250 markings/sec, 2995 secs
lola: 2 tries, 1779984 fired transitions, 3000 secs || 3904453 markings, 7831961 edges, 1242 markings/sec, 3000 secs
lola: 2 tries, 1782928 fired transitions, 3005 secs || 3910824 markings, 7844730 edges, 1274 markings/sec, 3005 secs
lola: 2 tries, 1785864 fired transitions, 3010 secs || 3917207 markings, 7857531 edges, 1277 markings/sec, 3010 secs
lola: 2 tries, 1788792 fired transitions, 3015 secs || 3923561 markings, 7870272 edges, 1271 markings/sec, 3015 secs
lola: 2 tries, 1791794 fired transitions, 3020 secs || 3930124 markings, 7883438 edges, 1313 markings/sec, 3020 secs
lola: 2 tries, 1794864 fired transitions, 3025 secs || 3936746 markings, 7896724 edges, 1324 markings/sec, 3025 secs
lola: 2 tries, 1797914 fired transitions, 3030 secs || 3943285 markings, 7909827 edges, 1308 markings/sec, 3030 secs
lola: 2 tries, 1800972 fired transitions, 3035 secs || 3949841 markings, 7922961 edges, 1311 markings/sec, 3035 secs
lola: 2 tries, 1804060 fired transitions, 3040 secs || 3956368 markings, 7936051 edges, 1305 markings/sec, 3040 secs
lola: 2 tries, 1807114 fired transitions, 3045 secs || 3962937 markings, 7949223 edges, 1314 markings/sec, 3045 secs
lola: 2 tries, 1810174 fired transitions, 3050 secs || 3969418 markings, 7962223 edges, 1296 markings/sec, 3050 secs
lola: 2 tries, 1813208 fired transitions, 3055 secs || 3975952 markings, 7975328 edges, 1307 markings/sec, 3055 secs
lola: 2 tries, 1816124 fired transitions, 3060 secs || 3982454 markings, 7988372 edges, 1300 markings/sec, 3060 secs
lola: 2 tries, 1818962 fired transitions, 3065 secs || 3988960 markings, 8001428 edges, 1301 markings/sec, 3065 secs
lola: 2 tries, 1822064 fired transitions, 3070 secs || 3995612 markings, 8014769 edges, 1330 markings/sec, 3070 secs
lola: 2 tries, 1825166 fired transitions, 3075 secs || 4002126 markings, 8027819 edges, 1303 markings/sec, 3075 secs
lola: 2 tries, 1828260 fired transitions, 3080 secs || 4008628 markings, 8040840 edges, 1300 markings/sec, 3080 secs
lola: 2 tries, 1831304 fired transitions, 3085 secs || 4015156 markings, 8053922 edges, 1306 markings/sec, 3085 secs
lola: 2 tries, 1834220 fired transitions, 3090 secs || 4021576 markings, 8066793 edges, 1284 markings/sec, 3090 secs
lola: 2 tries, 1837244 fired transitions, 3095 secs || 4028089 markings, 8079836 edges, 1303 markings/sec, 3095 secs
lola: 2 tries, 1840262 fired transitions, 3100 secs || 4034632 markings, 8092963 edges, 1309 markings/sec, 3100 secs
lola: 2 tries, 1843244 fired transitions, 3105 secs || 4041068 markings, 8105868 edges, 1287 markings/sec, 3105 secs
lola: 2 tries, 1846170 fired transitions, 3110 secs || 4047536 markings, 8118846 edges, 1294 markings/sec, 3110 secs
lola: 2 tries, 1849126 fired transitions, 3115 secs || 4053968 markings, 8131738 edges, 1286 markings/sec, 3115 secs
lola: 2 tries, 1852156 fired transitions, 3120 secs || 4060615 markings, 8145079 edges, 1329 markings/sec, 3120 secs
lola: 2 tries, 1855196 fired transitions, 3125 secs || 4067239 markings, 8158368 edges, 1325 markings/sec, 3125 secs
lola: 2 tries, 1858234 fired transitions, 3130 secs || 4073855 markings, 8171644 edges, 1323 markings/sec, 3130 secs
lola: 2 tries, 1861310 fired transitions, 3135 secs || 4080356 markings, 8184692 edges, 1300 markings/sec, 3135 secs
lola: 2 tries, 1864414 fired transitions, 3140 secs || 4086752 markings, 8197508 edges, 1279 markings/sec, 3140 secs
lola: 2 tries, 1867494 fired transitions, 3145 secs || 4093179 markings, 8210392 edges, 1285 markings/sec, 3145 secs
lola: 2 tries, 1870532 fired transitions, 3150 secs || 4099690 markings, 8223459 edges, 1302 markings/sec, 3150 secs
lola: 2 tries, 1873590 fired transitions, 3155 secs || 4106232 markings, 8236593 edges, 1308 markings/sec, 3155 secs
lola: 2 tries, 1876534 fired transitions, 3160 secs || 4112558 markings, 8249287 edges, 1265 markings/sec, 3160 secs
lola: 2 tries, 1879482 fired transitions, 3165 secs || 4118904 markings, 8262021 edges, 1269 markings/sec, 3165 secs
lola: 2 tries, 1882448 fired transitions, 3170 secs || 4125233 markings, 8274713 edges, 1266 markings/sec, 3170 secs
lola: 2 tries, 1885420 fired transitions, 3175 secs || 4131564 markings, 8287416 edges, 1266 markings/sec, 3175 secs
lola: 2 tries, 1888366 fired transitions, 3180 secs || 4137945 markings, 8300217 edges, 1276 markings/sec, 3180 secs
lola: 2 tries, 1891392 fired transitions, 3185 secs || 4144410 markings, 8313181 edges, 1293 markings/sec, 3185 secs
lola: 2 tries, 1894436 fired transitions, 3190 secs || 4150972 markings, 8326350 edges, 1312 markings/sec, 3190 secs
lola: 2 tries, 1897498 fired transitions, 3195 secs || 4157383 markings, 8339211 edges, 1282 markings/sec, 3195 secs
lola: 2 tries, 1900524 fired transitions, 3200 secs || 4163946 markings, 8352386 edges, 1313 markings/sec, 3200 secs
lola: 2 tries, 1903628 fired transitions, 3205 secs || 4170560 markings, 8365662 edges, 1323 markings/sec, 3205 secs
lola: 2 tries, 1906742 fired transitions, 3210 secs || 4177139 markings, 8378864 edges, 1316 markings/sec, 3210 secs
lola: 2 tries, 1909842 fired transitions, 3215 secs || 4183727 markings, 8392085 edges, 1318 markings/sec, 3215 secs
lola: 2 tries, 1912884 fired transitions, 3220 secs || 4190139 markings, 8404929 edges, 1282 markings/sec, 3220 secs
lola: 2 tries, 1915884 fired transitions, 3225 secs || 4196503 markings, 8417675 edges, 1273 markings/sec, 3225 secs
lola: 2 tries, 1918952 fired transitions, 3230 secs || 4203011 markings, 8430720 edges, 1302 markings/sec, 3230 secs
lola: 2 tries, 1922048 fired transitions, 3235 secs || 4209627 markings, 8443988 edges, 1323 markings/sec, 3235 secs
lola: 2 tries, 1925128 fired transitions, 3240 secs || 4216189 markings, 8457147 edges, 1312 markings/sec, 3240 secs
lola: 2 tries, 1927714 fired transitions, 3245 secs || 4222579 markings, 8469954 edges, 1278 markings/sec, 3245 secs
lola: 2 tries, 1930504 fired transitions, 3250 secs || 4228959 markings, 8482748 edges, 1276 markings/sec, 3250 secs
lola: 2 tries, 1933430 fired transitions, 3255 secs || 4235018 markings, 8494898 edges, 1212 markings/sec, 3255 secs
lola: 2 tries, 1936388 fired transitions, 3260 secs || 4241308 markings, 8507511 edges, 1258 markings/sec, 3260 secs
lola: 2 tries, 1939360 fired transitions, 3265 secs || 4247594 markings, 8520119 edges, 1257 markings/sec, 3265 secs
lola: 2 tries, 1942286 fired transitions, 3270 secs || 4253980 markings, 8532934 edges, 1277 markings/sec, 3270 secs
lola: 2 tries, 1945274 fired transitions, 3275 secs || 4260406 markings, 8545821 edges, 1285 markings/sec, 3275 secs
lola: 2 tries, 1948374 fired transitions, 3280 secs || 4266906 markings, 8558863 edges, 1300 markings/sec, 3280 secs
lola: 2 tries, 1951440 fired transitions, 3285 secs || 4273423 markings, 8571941 edges, 1303 markings/sec, 3285 secs
lola: 2 tries, 1954416 fired transitions, 3290 secs || 4279947 markings, 8585032 edges, 1305 markings/sec, 3290 secs
lola: 2 tries, 1957388 fired transitions, 3295 secs || 4286402 markings, 8597992 edges, 1291 markings/sec, 3295 secs
lola: 2 tries, 1960390 fired transitions, 3300 secs || 4292853 markings, 8610926 edges, 1290 markings/sec, 3300 secs
lola: 2 tries, 1963414 fired transitions, 3305 secs || 4299345 markings, 8623949 edges, 1298 markings/sec, 3305 secs
lola: 2 tries, 1966450 fired transitions, 3310 secs || 4305906 markings, 8637112 edges, 1312 markings/sec, 3310 secs
lola: 2 tries, 1969494 fired transitions, 3315 secs || 4312442 markings, 8650227 edges, 1307 markings/sec, 3315 secs
lola: 2 tries, 1972526 fired transitions, 3320 secs || 4319027 markings, 8663446 edges, 1317 markings/sec, 3320 secs
lola: 2 tries, 1975592 fired transitions, 3325 secs || 4325544 markings, 8676529 edges, 1303 markings/sec, 3325 secs
lola: 2 tries, 1978588 fired transitions, 3330 secs || 4332138 markings, 8689758 edges, 1319 markings/sec, 3330 secs
lola: 2 tries, 1981612 fired transitions, 3335 secs || 4338757 markings, 8703044 edges, 1324 markings/sec, 3335 secs
lola: 2 tries, 1984628 fired transitions, 3340 secs || 4345235 markings, 8716052 edges, 1296 markings/sec, 3340 secs
lola: 2 tries, 1987604 fired transitions, 3345 secs || 4351751 markings, 8729128 edges, 1303 markings/sec, 3345 secs
lola: 2 tries, 1990584 fired transitions, 3350 secs || 4358306 markings, 8742288 edges, 1311 markings/sec, 3350 secs
lola: 2 tries, 1993632 fired transitions, 3355 secs || 4364924 markings, 8755572 edges, 1324 markings/sec, 3355 secs
lola: 2 tries, 1996632 fired transitions, 3360 secs || 4371357 markings, 8768470 edges, 1287 markings/sec, 3360 secs
lola: 2 tries, 1999650 fired transitions, 3365 secs || 4377852 markings, 8781491 edges, 1299 markings/sec, 3365 secs
lola: 3 tries, 2001544 fired transitions, 3370 secs || 4384368 markings, 8794552 edges, 1303 markings/sec, 3370 secs
lola: 3 tries, 2003194 fired transitions, 3375 secs || 4390838 markings, 8807524 edges, 1294 markings/sec, 3375 secs
lola: 3 tries, 2004552 fired transitions, 3380 secs || 4397543 markings, 8820973 edges, 1341 markings/sec, 3380 secs
lola: 3 tries, 2006044 fired transitions, 3385 secs || 4404142 markings, 8834216 edges, 1320 markings/sec, 3385 secs
lola: 3 tries, 2007710 fired transitions, 3390 secs || 4410677 markings, 8847319 edges, 1307 markings/sec, 3390 secs
lola: 3 tries, 2009352 fired transitions, 3395 secs || 4417169 markings, 8860339 edges, 1298 markings/sec, 3395 secs
lola: 3 tries, 2010958 fired transitions, 3400 secs || 4423629 markings, 8873296 edges, 1292 markings/sec, 3400 secs
lola: 3 tries, 2012582 fired transitions, 3405 secs || 4430161 markings, 8886395 edges, 1306 markings/sec, 3405 secs
lola: 3 tries, 2014084 fired transitions, 3410 secs || 4436372 markings, 8898858 edges, 1242 markings/sec, 3410 secs
lola: 3 tries, 2015540 fired transitions, 3415 secs || 4442253 markings, 8910664 edges, 1176 markings/sec, 3415 secs
lola: 3 tries, 2016980 fired transitions, 3420 secs || 4448220 markings, 8922632 edges, 1193 markings/sec, 3420 secs
lola: 3 tries, 2018436 fired transitions, 3425 secs || 4454156 markings, 8934550 edges, 1187 markings/sec, 3425 secs
lola: 3 tries, 2019942 fired transitions, 3430 secs || 4460226 markings, 8946725 edges, 1214 markings/sec, 3430 secs
lola: 3 tries, 2021336 fired transitions, 3435 secs || 4466191 markings, 8958696 edges, 1193 markings/sec, 3435 secs
lola: 3 tries, 2022718 fired transitions, 3440 secs || 4472508 markings, 8971375 edges, 1263 markings/sec, 3440 secs
lola: 3 tries, 2024294 fired transitions, 3445 secs || 4478947 markings, 8984301 edges, 1288 markings/sec, 3445 secs
lola: 3 tries, 2025814 fired transitions, 3450 secs || 4485115 markings, 8996674 edges, 1234 markings/sec, 3450 secs
lola: 3 tries, 2027318 fired transitions, 3455 secs || 4491337 markings, 9009161 edges, 1244 markings/sec, 3455 secs
lola: 3 tries, 2028848 fired transitions, 3460 secs || 4497675 markings, 9021880 edges, 1268 markings/sec, 3460 secs
lola: 3 tries, 2030452 fired transitions, 3465 secs || 4504113 markings, 9034801 edges, 1288 markings/sec, 3465 secs
lola: 3 tries, 2032090 fired transitions, 3470 secs || 4510694 markings, 9048017 edges, 1316 markings/sec, 3470 secs
lola: time limit reached - aborting
lola: memory consumption: 7216944 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552948921319

--------------------
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="SharedMemory-PT-000100"
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 SharedMemory-PT-000100, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r159-csrt-155286430800273"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SharedMemory-PT-000100.tgz
mv SharedMemory-PT-000100 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 '' GlobalProperties.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;