Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r170-oct2-155297750400246.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is TokenRing-COL-020, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-oct2-155297750400246
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 176K
-rw-r--r-- 1 mcc users 3.1K Feb 12 19:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 12 19:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 9 03:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 9 03:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 104 Feb 24 15:06 GlobalProperties.txt
-rw-r--r-- 1 mcc users 342 Feb 24 15:06 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 5 01:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 01:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.9K Feb 4 22:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 4 21:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 4 21:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 1 21:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 1 21:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 equiv_pt
-rw-r--r-- 1 mcc users 4 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 18K Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME TokenRing-COL-020-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1553112947959

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ TokenRing-COL-020 @ 3570 seconds
vrfy: finished
info: timeLeft: -25
rslt: Output for GlobalProperties @ TokenRing-COL-020

{
"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": "Wed Mar 20 20:15:48 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 504532,
"runtime": 3574.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": 33684,
"conflict_clusters": 1,
"places": 441,
"places_significant": 420,
"singleton_clusters": 0,
"transitions": 8421
},
"task":
{
"findpath":
{
"depthlimit": 1000000,
"retrylimit": null,
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 2
},
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"symmetry":
{
"card": 1.000000,
"composed": 0,
"dead_branches": 0,
"generators": 0,
"interrupted": false,
"real_computed": 0,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains High-Level net
lola: Places: 441, Transitions: 8421
lola: @ trans mainprocess
lola: @ trans otherprocess
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 8862/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 14112
lola: finding significant places
lola: 441 places, 8421 transitions, 420 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 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 7279 fired transitions, 0 secs || 7203 markings, 21883 edges, 1441 markings/sec, 0 secs
lola: 1 tries, 14514 fired transitions, 5 secs || 14430 markings, 47279 edges, 1445 markings/sec, 5 secs
lola: 1 tries, 21491 fired transitions, 10 secs || 21390 markings, 77380 edges, 1392 markings/sec, 10 secs
lola: 1 tries, 28452 fired transitions, 15 secs || 28334 markings, 106903 edges, 1389 markings/sec, 15 secs
lola: 1 tries, 35454 fired transitions, 20 secs || 35317 markings, 137524 edges, 1397 markings/sec, 20 secs
lola: 1 tries, 42511 fired transitions, 25 secs || 42361 markings, 166478 edges, 1409 markings/sec, 25 secs
lola: 1 tries, 49620 fired transitions, 30 secs || 49464 markings, 194820 edges, 1421 markings/sec, 30 secs
lola: 1 tries, 56672 fired transitions, 35 secs || 56511 markings, 219504 edges, 1409 markings/sec, 35 secs
lola: 1 tries, 63702 fired transitions, 40 secs || 63536 markings, 245066 edges, 1405 markings/sec, 40 secs
lola: 1 tries, 70653 fired transitions, 45 secs || 70472 markings, 276534 edges, 1387 markings/sec, 45 secs
lola: 1 tries, 77595 fired transitions, 50 secs || 77373 markings, 308492 edges, 1380 markings/sec, 50 secs
lola: 1 tries, 84618 fired transitions, 55 secs || 84385 markings, 340233 edges, 1402 markings/sec, 55 secs
lola: 1 tries, 91651 fired transitions, 60 secs || 91393 markings, 368641 edges, 1402 markings/sec, 60 secs
lola: 1 tries, 98661 fired transitions, 65 secs || 98393 markings, 395654 edges, 1400 markings/sec, 65 secs
lola: 1 tries, 105651 fired transitions, 70 secs || 105337 markings, 426804 edges, 1389 markings/sec, 70 secs
lola: 1 tries, 112693 fired transitions, 75 secs || 112364 markings, 458006 edges, 1405 markings/sec, 75 secs
lola: 1 tries, 119911 fired transitions, 80 secs || 119547 markings, 488940 edges, 1437 markings/sec, 80 secs
lola: 1 tries, 126933 fired transitions, 85 secs || 126551 markings, 519095 edges, 1401 markings/sec, 85 secs
lola: 1 tries, 133918 fired transitions, 90 secs || 133534 markings, 550518 edges, 1397 markings/sec, 90 secs
lola: 1 tries, 140949 fired transitions, 95 secs || 140563 markings, 582268 edges, 1406 markings/sec, 95 secs
lola: 1 tries, 148003 fired transitions, 100 secs || 147610 markings, 613928 edges, 1409 markings/sec, 100 secs
lola: 1 tries, 155135 fired transitions, 105 secs || 154650 markings, 653145 edges, 1408 markings/sec, 105 secs
lola: 1 tries, 162263 fired transitions, 110 secs || 161676 markings, 692032 edges, 1405 markings/sec, 110 secs
lola: 1 tries, 169377 fired transitions, 115 secs || 168691 markings, 730614 edges, 1403 markings/sec, 115 secs
lola: 1 tries, 176425 fired transitions, 120 secs || 175647 markings, 769064 edges, 1391 markings/sec, 120 secs
lola: 1 tries, 183328 fired transitions, 125 secs || 182483 markings, 806786 edges, 1367 markings/sec, 125 secs
lola: 1 tries, 190238 fired transitions, 130 secs || 189313 markings, 844211 edges, 1366 markings/sec, 130 secs
lola: 1 tries, 197169 fired transitions, 135 secs || 196245 markings, 882509 edges, 1386 markings/sec, 135 secs
lola: 1 tries, 204135 fired transitions, 140 secs || 203213 markings, 920939 edges, 1394 markings/sec, 140 secs
lola: 1 tries, 211132 fired transitions, 145 secs || 210217 markings, 958958 edges, 1401 markings/sec, 145 secs
lola: 1 tries, 218126 fired transitions, 150 secs || 217203 markings, 989863 edges, 1397 markings/sec, 150 secs
lola: 1 tries, 225174 fired transitions, 155 secs || 224238 markings, 1015436 edges, 1407 markings/sec, 155 secs
lola: 1 tries, 232221 fired transitions, 160 secs || 231262 markings, 1041626 edges, 1405 markings/sec, 160 secs
lola: 1 tries, 239149 fired transitions, 165 secs || 238177 markings, 1073832 edges, 1383 markings/sec, 165 secs
lola: 1 tries, 246106 fired transitions, 170 secs || 245123 markings, 1106009 edges, 1389 markings/sec, 170 secs
lola: 1 tries, 253134 fired transitions, 175 secs || 252147 markings, 1137409 edges, 1405 markings/sec, 175 secs
lola: 1 tries, 260127 fired transitions, 180 secs || 259132 markings, 1164605 edges, 1397 markings/sec, 180 secs
lola: 1 tries, 267114 fired transitions, 185 secs || 266113 markings, 1195399 edges, 1396 markings/sec, 185 secs
lola: 1 tries, 274041 fired transitions, 190 secs || 273032 markings, 1227660 edges, 1384 markings/sec, 190 secs
lola: 1 tries, 281056 fired transitions, 195 secs || 280041 markings, 1259675 edges, 1402 markings/sec, 195 secs
lola: 1 tries, 288036 fired transitions, 200 secs || 287014 markings, 1290392 edges, 1395 markings/sec, 200 secs
lola: 1 tries, 294960 fired transitions, 205 secs || 293927 markings, 1322319 edges, 1383 markings/sec, 205 secs
lola: 1 tries, 301901 fired transitions, 210 secs || 300836 markings, 1354013 edges, 1382 markings/sec, 210 secs
lola: 1 tries, 308934 fired transitions, 215 secs || 307862 markings, 1386031 edges, 1405 markings/sec, 215 secs
lola: 1 tries, 315850 fired transitions, 220 secs || 314730 markings, 1423785 edges, 1374 markings/sec, 220 secs
lola: 1 tries, 322702 fired transitions, 225 secs || 321569 markings, 1461814 edges, 1368 markings/sec, 225 secs
lola: 1 tries, 329566 fired transitions, 230 secs || 328420 markings, 1499624 edges, 1370 markings/sec, 230 secs
lola: 1 tries, 336393 fired transitions, 235 secs || 335228 markings, 1537535 edges, 1362 markings/sec, 235 secs
lola: 1 tries, 343233 fired transitions, 240 secs || 342053 markings, 1575353 edges, 1365 markings/sec, 240 secs
lola: 1 tries, 350123 fired transitions, 245 secs || 348930 markings, 1613477 edges, 1375 markings/sec, 245 secs
lola: 1 tries, 357066 fired transitions, 250 secs || 355868 markings, 1651876 edges, 1388 markings/sec, 250 secs
lola: 1 tries, 364051 fired transitions, 255 secs || 362845 markings, 1690382 edges, 1395 markings/sec, 255 secs
lola: 1 tries, 371113 fired transitions, 260 secs || 369902 markings, 1728906 edges, 1411 markings/sec, 260 secs
lola: 1 tries, 378116 fired transitions, 265 secs || 376894 markings, 1762221 edges, 1398 markings/sec, 265 secs
lola: 1 tries, 385069 fired transitions, 270 secs || 383843 markings, 1793428 edges, 1390 markings/sec, 270 secs
lola: 1 tries, 392009 fired transitions, 275 secs || 390782 markings, 1824354 edges, 1388 markings/sec, 275 secs
lola: 1 tries, 399003 fired transitions, 280 secs || 397771 markings, 1854803 edges, 1398 markings/sec, 280 secs
lola: 1 tries, 406037 fired transitions, 285 secs || 404804 markings, 1884813 edges, 1407 markings/sec, 285 secs
lola: 1 tries, 413102 fired transitions, 290 secs || 411628 markings, 1920976 edges, 1365 markings/sec, 290 secs
lola: 1 tries, 420056 fired transitions, 295 secs || 418543 markings, 1958059 edges, 1383 markings/sec, 295 secs
lola: 1 tries, 426985 fired transitions, 300 secs || 425234 markings, 1993018 edges, 1338 markings/sec, 300 secs
lola: 1 tries, 433922 fired transitions, 305 secs || 431934 markings, 2027804 edges, 1340 markings/sec, 305 secs
lola: 1 tries, 440916 fired transitions, 310 secs || 438569 markings, 2062784 edges, 1327 markings/sec, 310 secs
lola: 1 tries, 448048 fired transitions, 315 secs || 445201 markings, 2097658 edges, 1326 markings/sec, 315 secs
lola: 1 tries, 455208 fired transitions, 320 secs || 451874 markings, 2132609 edges, 1335 markings/sec, 320 secs
lola: 1 tries, 462350 fired transitions, 325 secs || 458544 markings, 2167645 edges, 1334 markings/sec, 325 secs
lola: 1 tries, 469494 fired transitions, 330 secs || 465262 markings, 2202398 edges, 1344 markings/sec, 330 secs
lola: 1 tries, 476640 fired transitions, 335 secs || 471996 markings, 2237308 edges, 1347 markings/sec, 335 secs
lola: 1 tries, 483800 fired transitions, 340 secs || 478787 markings, 2272659 edges, 1358 markings/sec, 340 secs
lola: 1 tries, 490977 fired transitions, 345 secs || 485625 markings, 2307737 edges, 1368 markings/sec, 345 secs
lola: 1 tries, 498324 fired transitions, 350 secs || 492611 markings, 2343234 edges, 1397 markings/sec, 350 secs
lola: 1 tries, 505656 fired transitions, 355 secs || 499783 markings, 2376113 edges, 1434 markings/sec, 355 secs
lola: 1 tries, 512814 fired transitions, 360 secs || 506952 markings, 2408331 edges, 1434 markings/sec, 360 secs
lola: 1 tries, 519927 fired transitions, 365 secs || 514208 markings, 2441074 edges, 1451 markings/sec, 365 secs
lola: 1 tries, 527120 fired transitions, 370 secs || 521410 markings, 2475092 edges, 1440 markings/sec, 370 secs
lola: 1 tries, 534136 fired transitions, 375 secs || 528430 markings, 2513792 edges, 1404 markings/sec, 375 secs
lola: 1 tries, 541266 fired transitions, 380 secs || 535419 markings, 2552657 edges, 1398 markings/sec, 380 secs
lola: 1 tries, 548284 fired transitions, 385 secs || 542373 markings, 2591232 edges, 1391 markings/sec, 385 secs
lola: 1 tries, 555233 fired transitions, 390 secs || 549289 markings, 2629403 edges, 1383 markings/sec, 390 secs
lola: 1 tries, 562348 fired transitions, 395 secs || 556169 markings, 2667509 edges, 1376 markings/sec, 395 secs
lola: 1 tries, 569395 fired transitions, 400 secs || 563195 markings, 2706522 edges, 1405 markings/sec, 400 secs
lola: 1 tries, 576439 fired transitions, 405 secs || 570315 markings, 2745976 edges, 1424 markings/sec, 405 secs
lola: 1 tries, 583535 fired transitions, 410 secs || 577443 markings, 2782869 edges, 1426 markings/sec, 410 secs
lola: 1 tries, 590783 fired transitions, 415 secs || 584611 markings, 2819291 edges, 1434 markings/sec, 415 secs
lola: 1 tries, 598077 fired transitions, 420 secs || 591708 markings, 2854234 edges, 1419 markings/sec, 420 secs
lola: 1 tries, 605354 fired transitions, 425 secs || 598622 markings, 2893380 edges, 1383 markings/sec, 425 secs
lola: 1 tries, 612367 fired transitions, 430 secs || 605672 markings, 2932456 edges, 1410 markings/sec, 430 secs
lola: 1 tries, 619519 fired transitions, 435 secs || 612481 markings, 2967932 edges, 1362 markings/sec, 435 secs
lola: 1 tries, 626629 fired transitions, 440 secs || 619425 markings, 3007991 edges, 1389 markings/sec, 440 secs
lola: 1 tries, 633726 fired transitions, 445 secs || 626475 markings, 3047594 edges, 1410 markings/sec, 445 secs
lola: 1 tries, 640859 fired transitions, 450 secs || 633487 markings, 3086063 edges, 1402 markings/sec, 450 secs
lola: 1 tries, 647916 fired transitions, 455 secs || 640548 markings, 3125131 edges, 1412 markings/sec, 455 secs
lola: 1 tries, 655169 fired transitions, 460 secs || 647640 markings, 3164104 edges, 1418 markings/sec, 460 secs
lola: 1 tries, 662414 fired transitions, 465 secs || 654923 markings, 3203778 edges, 1457 markings/sec, 465 secs
lola: 1 tries, 669560 fired transitions, 470 secs || 661850 markings, 3247168 edges, 1385 markings/sec, 470 secs
lola: 1 tries, 676561 fired transitions, 475 secs || 668800 markings, 3293912 edges, 1390 markings/sec, 475 secs
lola: 1 tries, 683602 fired transitions, 480 secs || 675702 markings, 3338901 edges, 1380 markings/sec, 480 secs
lola: 1 tries, 690591 fired transitions, 485 secs || 682581 markings, 3383315 edges, 1376 markings/sec, 485 secs
lola: 1 tries, 697569 fired transitions, 490 secs || 689426 markings, 3427553 edges, 1369 markings/sec, 490 secs
lola: 1 tries, 704629 fired transitions, 495 secs || 696343 markings, 3471900 edges, 1383 markings/sec, 495 secs
lola: 1 tries, 711744 fired transitions, 500 secs || 703150 markings, 3514410 edges, 1361 markings/sec, 500 secs
lola: 1 tries, 718625 fired transitions, 505 secs || 710033 markings, 3560187 edges, 1377 markings/sec, 505 secs
lola: 1 tries, 725607 fired transitions, 510 secs || 716858 markings, 3604851 edges, 1365 markings/sec, 510 secs
lola: 1 tries, 732599 fired transitions, 515 secs || 723629 markings, 3648389 edges, 1354 markings/sec, 515 secs
lola: 1 tries, 739650 fired transitions, 520 secs || 730430 markings, 3691881 edges, 1360 markings/sec, 520 secs
lola: 1 tries, 746648 fired transitions, 525 secs || 737383 markings, 3736952 edges, 1391 markings/sec, 525 secs
lola: 1 tries, 753590 fired transitions, 530 secs || 744320 markings, 3781912 edges, 1387 markings/sec, 530 secs
lola: 1 tries, 760736 fired transitions, 535 secs || 751034 markings, 3824902 edges, 1343 markings/sec, 535 secs
lola: 1 tries, 767858 fired transitions, 540 secs || 757913 markings, 3868438 edges, 1376 markings/sec, 540 secs
lola: 1 tries, 775008 fired transitions, 545 secs || 764667 markings, 3912774 edges, 1351 markings/sec, 545 secs
lola: 1 tries, 782176 fired transitions, 550 secs || 771505 markings, 3956683 edges, 1368 markings/sec, 550 secs
lola: 1 tries, 789146 fired transitions, 555 secs || 778471 markings, 4001512 edges, 1393 markings/sec, 555 secs
lola: 1 tries, 796261 fired transitions, 560 secs || 785512 markings, 4046658 edges, 1408 markings/sec, 560 secs
lola: 1 tries, 803346 fired transitions, 565 secs || 792645 markings, 4091027 edges, 1427 markings/sec, 565 secs
lola: 1 tries, 810565 fired transitions, 570 secs || 799341 markings, 4129252 edges, 1339 markings/sec, 570 secs
lola: 1 tries, 817789 fired transitions, 575 secs || 806153 markings, 4169344 edges, 1362 markings/sec, 575 secs
lola: 1 tries, 824846 fired transitions, 580 secs || 813061 markings, 4200910 edges, 1382 markings/sec, 580 secs
lola: 1 tries, 831875 fired transitions, 585 secs || 819873 markings, 4230159 edges, 1362 markings/sec, 585 secs
lola: 1 tries, 838864 fired transitions, 590 secs || 826892 markings, 4264724 edges, 1404 markings/sec, 590 secs
lola: 1 tries, 845899 fired transitions, 595 secs || 833741 markings, 4301311 edges, 1370 markings/sec, 595 secs
lola: 1 tries, 853034 fired transitions, 600 secs || 840563 markings, 4337830 edges, 1364 markings/sec, 600 secs
lola: 1 tries, 859990 fired transitions, 605 secs || 847517 markings, 4373497 edges, 1391 markings/sec, 605 secs
lola: 1 tries, 867171 fired transitions, 610 secs || 854534 markings, 4410064 edges, 1403 markings/sec, 610 secs
lola: 1 tries, 874247 fired transitions, 615 secs || 861466 markings, 4453504 edges, 1386 markings/sec, 615 secs
lola: 1 tries, 881242 fired transitions, 620 secs || 868432 markings, 4495316 edges, 1393 markings/sec, 620 secs
lola: 1 tries, 888304 fired transitions, 625 secs || 875366 markings, 4537487 edges, 1387 markings/sec, 625 secs
lola: 1 tries, 895320 fired transitions, 630 secs || 882242 markings, 4574968 edges, 1375 markings/sec, 630 secs
lola: 1 tries, 902262 fired transitions, 635 secs || 889051 markings, 4610670 edges, 1362 markings/sec, 635 secs
lola: 1 tries, 909208 fired transitions, 640 secs || 895782 markings, 4651965 edges, 1346 markings/sec, 640 secs
lola: 1 tries, 916137 fired transitions, 645 secs || 902439 markings, 4692541 edges, 1331 markings/sec, 645 secs
lola: 1 tries, 923096 fired transitions, 650 secs || 909261 markings, 4727758 edges, 1364 markings/sec, 650 secs
lola: 1 tries, 930186 fired transitions, 655 secs || 916051 markings, 4767275 edges, 1358 markings/sec, 655 secs
lola: 1 tries, 937152 fired transitions, 660 secs || 922925 markings, 4808417 edges, 1375 markings/sec, 660 secs
lola: 1 tries, 944247 fired transitions, 665 secs || 929922 markings, 4846765 edges, 1399 markings/sec, 665 secs
lola: 1 tries, 951311 fired transitions, 670 secs || 936882 markings, 4887144 edges, 1392 markings/sec, 670 secs
lola: 1 tries, 958430 fired transitions, 675 secs || 943885 markings, 4925740 edges, 1401 markings/sec, 675 secs
lola: 1 tries, 965645 fired transitions, 680 secs || 950600 markings, 4961961 edges, 1343 markings/sec, 680 secs
lola: 1 tries, 972663 fired transitions, 685 secs || 957521 markings, 5000304 edges, 1384 markings/sec, 685 secs
lola: 1 tries, 979803 fired transitions, 690 secs || 964424 markings, 5038611 edges, 1381 markings/sec, 690 secs
lola: 1 tries, 986909 fired transitions, 695 secs || 971457 markings, 5074724 edges, 1407 markings/sec, 695 secs
lola: 1 tries, 993996 fired transitions, 700 secs || 978491 markings, 5111405 edges, 1407 markings/sec, 700 secs
lola: 2 tries, 1001084 fired transitions, 705 secs || 985509 markings, 5149470 edges, 1404 markings/sec, 705 secs
lola: 2 tries, 1008063 fired transitions, 710 secs || 992493 markings, 5191804 edges, 1397 markings/sec, 710 secs
lola: 2 tries, 1015003 fired transitions, 715 secs || 999405 markings, 5237223 edges, 1382 markings/sec, 715 secs
lola: 2 tries, 1022091 fired transitions, 720 secs || 1006377 markings, 5277253 edges, 1394 markings/sec, 720 secs
lola: 2 tries, 1029189 fired transitions, 725 secs || 1013358 markings, 5314002 edges, 1396 markings/sec, 725 secs
lola: 2 tries, 1036269 fired transitions, 730 secs || 1020278 markings, 5353946 edges, 1384 markings/sec, 730 secs
lola: 2 tries, 1043342 fired transitions, 735 secs || 1027168 markings, 5398017 edges, 1378 markings/sec, 735 secs
lola: 2 tries, 1050466 fired transitions, 740 secs || 1034066 markings, 5434717 edges, 1380 markings/sec, 740 secs
lola: 2 tries, 1057429 fired transitions, 745 secs || 1041042 markings, 5475610 edges, 1395 markings/sec, 745 secs
lola: 2 tries, 1064485 fired transitions, 750 secs || 1047999 markings, 5516830 edges, 1391 markings/sec, 750 secs
lola: 2 tries, 1071633 fired transitions, 755 secs || 1055000 markings, 5553961 edges, 1400 markings/sec, 755 secs
lola: 2 tries, 1078674 fired transitions, 760 secs || 1061753 markings, 5595124 edges, 1351 markings/sec, 760 secs
lola: 2 tries, 1085456 fired transitions, 765 secs || 1068394 markings, 5630676 edges, 1328 markings/sec, 765 secs
lola: 2 tries, 1092163 fired transitions, 770 secs || 1075003 markings, 5668178 edges, 1322 markings/sec, 770 secs
lola: 2 tries, 1099093 fired transitions, 775 secs || 1081626 markings, 5705261 edges, 1325 markings/sec, 775 secs
lola: 2 tries, 1106054 fired transitions, 780 secs || 1088424 markings, 5742193 edges, 1360 markings/sec, 780 secs
lola: 2 tries, 1112990 fired transitions, 785 secs || 1095311 markings, 5778968 edges, 1377 markings/sec, 785 secs
lola: 2 tries, 1120104 fired transitions, 790 secs || 1102255 markings, 5820834 edges, 1389 markings/sec, 790 secs
lola: 2 tries, 1127175 fired transitions, 795 secs || 1109152 markings, 5865908 edges, 1379 markings/sec, 795 secs
lola: 2 tries, 1134312 fired transitions, 800 secs || 1115911 markings, 5915860 edges, 1352 markings/sec, 800 secs
lola: 2 tries, 1141403 fired transitions, 805 secs || 1122806 markings, 5963814 edges, 1379 markings/sec, 805 secs
lola: 2 tries, 1148359 fired transitions, 810 secs || 1129715 markings, 6008177 edges, 1382 markings/sec, 810 secs
lola: 2 tries, 1155374 fired transitions, 815 secs || 1136572 markings, 6057474 edges, 1371 markings/sec, 815 secs
lola: 2 tries, 1162325 fired transitions, 820 secs || 1143384 markings, 6103402 edges, 1362 markings/sec, 820 secs
lola: 2 tries, 1169177 fired transitions, 825 secs || 1150093 markings, 6150398 edges, 1342 markings/sec, 825 secs
lola: 2 tries, 1176037 fired transitions, 830 secs || 1156966 markings, 6195246 edges, 1375 markings/sec, 830 secs
lola: 2 tries, 1183174 fired transitions, 835 secs || 1163648 markings, 6241507 edges, 1336 markings/sec, 835 secs
lola: 2 tries, 1190039 fired transitions, 840 secs || 1170607 markings, 6287306 edges, 1392 markings/sec, 840 secs
lola: 2 tries, 1196966 fired transitions, 845 secs || 1177439 markings, 6332211 edges, 1366 markings/sec, 845 secs
lola: 2 tries, 1204113 fired transitions, 850 secs || 1184208 markings, 6375834 edges, 1354 markings/sec, 850 secs
lola: 2 tries, 1211232 fired transitions, 855 secs || 1191027 markings, 6416927 edges, 1364 markings/sec, 855 secs
lola: 2 tries, 1218259 fired transitions, 860 secs || 1197872 markings, 6463192 edges, 1369 markings/sec, 860 secs
lola: 2 tries, 1225420 fired transitions, 865 secs || 1204588 markings, 6509690 edges, 1343 markings/sec, 865 secs
lola: 2 tries, 1232491 fired transitions, 870 secs || 1211357 markings, 6552102 edges, 1354 markings/sec, 870 secs
lola: 2 tries, 1239651 fired transitions, 875 secs || 1218068 markings, 6598484 edges, 1342 markings/sec, 875 secs
lola: 2 tries, 1246839 fired transitions, 880 secs || 1224787 markings, 6640458 edges, 1344 markings/sec, 880 secs
lola: 2 tries, 1253998 fired transitions, 885 secs || 1231367 markings, 6685309 edges, 1316 markings/sec, 885 secs
lola: 2 tries, 1261112 fired transitions, 890 secs || 1238102 markings, 6728380 edges, 1347 markings/sec, 890 secs
lola: 2 tries, 1268212 fired transitions, 895 secs || 1244865 markings, 6772275 edges, 1353 markings/sec, 895 secs
lola: 2 tries, 1275194 fired transitions, 900 secs || 1251748 markings, 6815434 edges, 1377 markings/sec, 900 secs
lola: 2 tries, 1282209 fired transitions, 905 secs || 1258703 markings, 6857084 edges, 1391 markings/sec, 905 secs
lola: 2 tries, 1289164 fired transitions, 910 secs || 1265671 markings, 6899889 edges, 1394 markings/sec, 910 secs
lola: 2 tries, 1296075 fired transitions, 915 secs || 1272563 markings, 6948936 edges, 1378 markings/sec, 915 secs
lola: 2 tries, 1303233 fired transitions, 920 secs || 1279340 markings, 6994625 edges, 1355 markings/sec, 920 secs
lola: 2 tries, 1310398 fired transitions, 925 secs || 1286162 markings, 7037435 edges, 1364 markings/sec, 925 secs
lola: 2 tries, 1317355 fired transitions, 930 secs || 1293069 markings, 7082652 edges, 1381 markings/sec, 930 secs
lola: 2 tries, 1324366 fired transitions, 935 secs || 1299981 markings, 7126945 edges, 1382 markings/sec, 935 secs
lola: 2 tries, 1331352 fired transitions, 940 secs || 1306937 markings, 7168387 edges, 1391 markings/sec, 940 secs
lola: 2 tries, 1338392 fired transitions, 945 secs || 1313688 markings, 7214125 edges, 1350 markings/sec, 945 secs
lola: 2 tries, 1345426 fired transitions, 950 secs || 1320595 markings, 7258295 edges, 1381 markings/sec, 950 secs
lola: 2 tries, 1352343 fired transitions, 955 secs || 1327548 markings, 7304130 edges, 1391 markings/sec, 955 secs
lola: 2 tries, 1359132 fired transitions, 960 secs || 1334500 markings, 7347620 edges, 1390 markings/sec, 960 secs
lola: 2 tries, 1365834 fired transitions, 965 secs || 1341456 markings, 7389547 edges, 1391 markings/sec, 965 secs
lola: 2 tries, 1372631 fired transitions, 970 secs || 1348419 markings, 7434961 edges, 1393 markings/sec, 970 secs
lola: 2 tries, 1379350 fired transitions, 975 secs || 1355367 markings, 7480159 edges, 1390 markings/sec, 975 secs
lola: 2 tries, 1386156 fired transitions, 980 secs || 1362267 markings, 7521999 edges, 1380 markings/sec, 980 secs
lola: 2 tries, 1393233 fired transitions, 985 secs || 1368950 markings, 7564580 edges, 1337 markings/sec, 985 secs
lola: 2 tries, 1400197 fired transitions, 990 secs || 1375838 markings, 7607905 edges, 1378 markings/sec, 990 secs
lola: 2 tries, 1407060 fired transitions, 995 secs || 1382752 markings, 7648084 edges, 1383 markings/sec, 995 secs
lola: 2 tries, 1414145 fired transitions, 1000 secs || 1389689 markings, 7692978 edges, 1387 markings/sec, 1000 secs
lola: 2 tries, 1421297 fired transitions, 1005 secs || 1396697 markings, 7734935 edges, 1402 markings/sec, 1005 secs
lola: 2 tries, 1428494 fired transitions, 1010 secs || 1403682 markings, 7768701 edges, 1397 markings/sec, 1010 secs
lola: 2 tries, 1435537 fired transitions, 1015 secs || 1410561 markings, 7798314 edges, 1376 markings/sec, 1015 secs
lola: 2 tries, 1442635 fired transitions, 1020 secs || 1417561 markings, 7831588 edges, 1400 markings/sec, 1020 secs
lola: 2 tries, 1449633 fired transitions, 1025 secs || 1424261 markings, 7868180 edges, 1340 markings/sec, 1025 secs
lola: 2 tries, 1456615 fired transitions, 1030 secs || 1430928 markings, 7903673 edges, 1333 markings/sec, 1030 secs
lola: 2 tries, 1463510 fired transitions, 1035 secs || 1437594 markings, 7938050 edges, 1333 markings/sec, 1035 secs
lola: 2 tries, 1470453 fired transitions, 1040 secs || 1444367 markings, 7965893 edges, 1355 markings/sec, 1040 secs
lola: 2 tries, 1477330 fired transitions, 1045 secs || 1451042 markings, 7999862 edges, 1335 markings/sec, 1045 secs
lola: 2 tries, 1484335 fired transitions, 1050 secs || 1457659 markings, 8034219 edges, 1323 markings/sec, 1050 secs
lola: 2 tries, 1491353 fired transitions, 1055 secs || 1464455 markings, 8068543 edges, 1359 markings/sec, 1055 secs
lola: 2 tries, 1498233 fired transitions, 1060 secs || 1471245 markings, 8103600 edges, 1358 markings/sec, 1060 secs
lola: 2 tries, 1505094 fired transitions, 1065 secs || 1478080 markings, 8140852 edges, 1367 markings/sec, 1065 secs
lola: 2 tries, 1512125 fired transitions, 1070 secs || 1484848 markings, 8182971 edges, 1354 markings/sec, 1070 secs
lola: 2 tries, 1519136 fired transitions, 1075 secs || 1491609 markings, 8226301 edges, 1352 markings/sec, 1075 secs
lola: 2 tries, 1526109 fired transitions, 1080 secs || 1498429 markings, 8266436 edges, 1364 markings/sec, 1080 secs
lola: 2 tries, 1533112 fired transitions, 1085 secs || 1505284 markings, 8300646 edges, 1371 markings/sec, 1085 secs
lola: 2 tries, 1540182 fired transitions, 1090 secs || 1512211 markings, 8335831 edges, 1385 markings/sec, 1090 secs
lola: 2 tries, 1547196 fired transitions, 1095 secs || 1519033 markings, 8372063 edges, 1364 markings/sec, 1095 secs
lola: 2 tries, 1554252 fired transitions, 1100 secs || 1525832 markings, 8411570 edges, 1360 markings/sec, 1100 secs
lola: 2 tries, 1561273 fired transitions, 1105 secs || 1532762 markings, 8451819 edges, 1386 markings/sec, 1105 secs
lola: 2 tries, 1568352 fired transitions, 1110 secs || 1539687 markings, 8496879 edges, 1385 markings/sec, 1110 secs
lola: 2 tries, 1575434 fired transitions, 1115 secs || 1546562 markings, 8542528 edges, 1375 markings/sec, 1115 secs
lola: 2 tries, 1582521 fired transitions, 1120 secs || 1553458 markings, 8586014 edges, 1379 markings/sec, 1120 secs
lola: 2 tries, 1589609 fired transitions, 1125 secs || 1560344 markings, 8628376 edges, 1377 markings/sec, 1125 secs
lola: 2 tries, 1596616 fired transitions, 1130 secs || 1566776 markings, 8671869 edges, 1286 markings/sec, 1130 secs
lola: 2 tries, 1603615 fired transitions, 1135 secs || 1573350 markings, 8712084 edges, 1315 markings/sec, 1135 secs
lola: 2 tries, 1610569 fired transitions, 1140 secs || 1579868 markings, 8754114 edges, 1304 markings/sec, 1140 secs
lola: 2 tries, 1617533 fired transitions, 1145 secs || 1586407 markings, 8795543 edges, 1308 markings/sec, 1145 secs
lola: 2 tries, 1624470 fired transitions, 1150 secs || 1592942 markings, 8836340 edges, 1307 markings/sec, 1150 secs
lola: 2 tries, 1631410 fired transitions, 1155 secs || 1599475 markings, 8876805 edges, 1307 markings/sec, 1155 secs
lola: 2 tries, 1638336 fired transitions, 1160 secs || 1606011 markings, 8917112 edges, 1307 markings/sec, 1160 secs
lola: 2 tries, 1645248 fired transitions, 1165 secs || 1612653 markings, 8953341 edges, 1328 markings/sec, 1165 secs
lola: 2 tries, 1652065 fired transitions, 1170 secs || 1619460 markings, 8992604 edges, 1361 markings/sec, 1170 secs
lola: 2 tries, 1658850 fired transitions, 1175 secs || 1626223 markings, 9033604 edges, 1353 markings/sec, 1175 secs
lola: 2 tries, 1665651 fired transitions, 1180 secs || 1633017 markings, 9070259 edges, 1359 markings/sec, 1180 secs
lola: 2 tries, 1672452 fired transitions, 1185 secs || 1639790 markings, 9109842 edges, 1355 markings/sec, 1185 secs
lola: 2 tries, 1679195 fired transitions, 1190 secs || 1646507 markings, 9150567 edges, 1343 markings/sec, 1190 secs
lola: 2 tries, 1685946 fired transitions, 1195 secs || 1653219 markings, 9192489 edges, 1342 markings/sec, 1195 secs
lola: 2 tries, 1692666 fired transitions, 1200 secs || 1659846 markings, 9240150 edges, 1325 markings/sec, 1200 secs
lola: 2 tries, 1699375 fired transitions, 1205 secs || 1666482 markings, 9285866 edges, 1327 markings/sec, 1205 secs
lola: 2 tries, 1706204 fired transitions, 1210 secs || 1673306 markings, 9321036 edges, 1365 markings/sec, 1210 secs
lola: 2 tries, 1712966 fired transitions, 1215 secs || 1680052 markings, 9360219 edges, 1349 markings/sec, 1215 secs
lola: 2 tries, 1719721 fired transitions, 1220 secs || 1686773 markings, 9404607 edges, 1344 markings/sec, 1220 secs
lola: 2 tries, 1726453 fired transitions, 1225 secs || 1693464 markings, 9447201 edges, 1338 markings/sec, 1225 secs
lola: 2 tries, 1733254 fired transitions, 1230 secs || 1700247 markings, 9489327 edges, 1357 markings/sec, 1230 secs
lola: 2 tries, 1740062 fired transitions, 1235 secs || 1707048 markings, 9531981 edges, 1360 markings/sec, 1235 secs
lola: 2 tries, 1746944 fired transitions, 1240 secs || 1713930 markings, 9569351 edges, 1376 markings/sec, 1240 secs
lola: 2 tries, 1753788 fired transitions, 1245 secs || 1720773 markings, 9608496 edges, 1369 markings/sec, 1245 secs
lola: 2 tries, 1760575 fired transitions, 1250 secs || 1727548 markings, 9651590 edges, 1355 markings/sec, 1250 secs
lola: 2 tries, 1767329 fired transitions, 1255 secs || 1734257 markings, 9694463 edges, 1342 markings/sec, 1255 secs
lola: 2 tries, 1774066 fired transitions, 1260 secs || 1740974 markings, 9735538 edges, 1343 markings/sec, 1260 secs
lola: 2 tries, 1780878 fired transitions, 1265 secs || 1747781 markings, 9772590 edges, 1361 markings/sec, 1265 secs
lola: 2 tries, 1787663 fired transitions, 1270 secs || 1754562 markings, 9810418 edges, 1356 markings/sec, 1270 secs
lola: 2 tries, 1794423 fired transitions, 1275 secs || 1761293 markings, 9852396 edges, 1346 markings/sec, 1275 secs
lola: 2 tries, 1801172 fired transitions, 1280 secs || 1768008 markings, 9893458 edges, 1343 markings/sec, 1280 secs
lola: 2 tries, 1807939 fired transitions, 1285 secs || 1774758 markings, 9933529 edges, 1350 markings/sec, 1285 secs
lola: 2 tries, 1814664 fired transitions, 1290 secs || 1781472 markings, 9974433 edges, 1343 markings/sec, 1290 secs
lola: 2 tries, 1821456 fired transitions, 1295 secs || 1788262 markings, 10012428 edges, 1358 markings/sec, 1295 secs
lola: 2 tries, 1828246 fired transitions, 1300 secs || 1795042 markings, 10051146 edges, 1356 markings/sec, 1300 secs
lola: 2 tries, 1835038 fired transitions, 1305 secs || 1801835 markings, 10090300 edges, 1359 markings/sec, 1305 secs
lola: 2 tries, 1841856 fired transitions, 1310 secs || 1808651 markings, 10128212 edges, 1363 markings/sec, 1310 secs
lola: 2 tries, 1848748 fired transitions, 1315 secs || 1815542 markings, 10162859 edges, 1378 markings/sec, 1315 secs
lola: 2 tries, 1855597 fired transitions, 1320 secs || 1822384 markings, 10202342 edges, 1368 markings/sec, 1320 secs
lola: 2 tries, 1862420 fired transitions, 1325 secs || 1829202 markings, 10241402 edges, 1364 markings/sec, 1325 secs
lola: 2 tries, 1869284 fired transitions, 1330 secs || 1836066 markings, 10278882 edges, 1373 markings/sec, 1330 secs
lola: 2 tries, 1876170 fired transitions, 1335 secs || 1842950 markings, 10316320 edges, 1377 markings/sec, 1335 secs
lola: 2 tries, 1882978 fired transitions, 1340 secs || 1849751 markings, 10357255 edges, 1360 markings/sec, 1340 secs
lola: 2 tries, 1889823 fired transitions, 1345 secs || 1856590 markings, 10398194 edges, 1368 markings/sec, 1345 secs
lola: 2 tries, 1896624 fired transitions, 1350 secs || 1863364 markings, 10444215 edges, 1355 markings/sec, 1350 secs
lola: 2 tries, 1903413 fired transitions, 1355 secs || 1870131 markings, 10489218 edges, 1353 markings/sec, 1355 secs
lola: 2 tries, 1910207 fired transitions, 1360 secs || 1876904 markings, 10533591 edges, 1355 markings/sec, 1360 secs
lola: 2 tries, 1916997 fired transitions, 1365 secs || 1883666 markings, 10578181 edges, 1352 markings/sec, 1365 secs
lola: 2 tries, 1923790 fired transitions, 1370 secs || 1890423 markings, 10623059 edges, 1351 markings/sec, 1370 secs
lola: 2 tries, 1930577 fired transitions, 1375 secs || 1897190 markings, 10667402 edges, 1353 markings/sec, 1375 secs
lola: 2 tries, 1937361 fired transitions, 1380 secs || 1903956 markings, 10711101 edges, 1353 markings/sec, 1380 secs
lola: 2 tries, 1944150 fired transitions, 1385 secs || 1910734 markings, 10754387 edges, 1356 markings/sec, 1385 secs
lola: 2 tries, 1950997 fired transitions, 1390 secs || 1917579 markings, 10794660 edges, 1369 markings/sec, 1390 secs
lola: 2 tries, 1957831 fired transitions, 1395 secs || 1924397 markings, 10838005 edges, 1364 markings/sec, 1395 secs
lola: 2 tries, 1964657 fired transitions, 1400 secs || 1931202 markings, 10883390 edges, 1361 markings/sec, 1400 secs
lola: 2 tries, 1971481 fired transitions, 1405 secs || 1938011 markings, 10927978 edges, 1362 markings/sec, 1405 secs
lola: 2 tries, 1978330 fired transitions, 1410 secs || 1944842 markings, 10971588 edges, 1366 markings/sec, 1410 secs
lola: 2 tries, 1985157 fired transitions, 1415 secs || 1951640 markings, 11015010 edges, 1360 markings/sec, 1415 secs
lola: 2 tries, 1991935 fired transitions, 1420 secs || 1958393 markings, 11062030 edges, 1351 markings/sec, 1420 secs
lola: 2 tries, 1998754 fired transitions, 1425 secs || 1965177 markings, 11111911 edges, 1357 markings/sec, 1425 secs
lola: 3 tries, 2005528 fired transitions, 1430 secs || 1971909 markings, 11162661 edges, 1346 markings/sec, 1430 secs
lola: 3 tries, 2012318 fired transitions, 1435 secs || 1978648 markings, 11213211 edges, 1348 markings/sec, 1435 secs
lola: 3 tries, 2019087 fired transitions, 1440 secs || 1985352 markings, 11264836 edges, 1341 markings/sec, 1440 secs
lola: 3 tries, 2025874 fired transitions, 1445 secs || 1992092 markings, 11315076 edges, 1348 markings/sec, 1445 secs
lola: 3 tries, 2032643 fired transitions, 1450 secs || 1998821 markings, 11364836 edges, 1346 markings/sec, 1450 secs
lola: 3 tries, 2039399 fired transitions, 1455 secs || 2005540 markings, 11415221 edges, 1344 markings/sec, 1455 secs
lola: 3 tries, 2046169 fired transitions, 1460 secs || 2012292 markings, 11464711 edges, 1350 markings/sec, 1460 secs
lola: 3 tries, 2052964 fired transitions, 1465 secs || 2019082 markings, 11508818 edges, 1358 markings/sec, 1465 secs
lola: 3 tries, 2059765 fired transitions, 1470 secs || 2025866 markings, 11553089 edges, 1357 markings/sec, 1470 secs
lola: 3 tries, 2066571 fired transitions, 1475 secs || 2032662 markings, 11598163 edges, 1359 markings/sec, 1475 secs
lola: 3 tries, 2073357 fired transitions, 1480 secs || 2039423 markings, 11647039 edges, 1352 markings/sec, 1480 secs
lola: 3 tries, 2080101 fired transitions, 1485 secs || 2046194 markings, 11697039 edges, 1354 markings/sec, 1485 secs
lola: 3 tries, 2086854 fired transitions, 1490 secs || 2052937 markings, 11747506 edges, 1349 markings/sec, 1490 secs
lola: 3 tries, 2093835 fired transitions, 1495 secs || 2059720 markings, 11796810 edges, 1357 markings/sec, 1495 secs
lola: 3 tries, 2100734 fired transitions, 1500 secs || 2066512 markings, 11845744 edges, 1358 markings/sec, 1500 secs
lola: 3 tries, 2107651 fired transitions, 1505 secs || 2073279 markings, 11893410 edges, 1353 markings/sec, 1505 secs
lola: 3 tries, 2114547 fired transitions, 1510 secs || 2080017 markings, 11934943 edges, 1348 markings/sec, 1510 secs
lola: 3 tries, 2121534 fired transitions, 1515 secs || 2086554 markings, 11977517 edges, 1307 markings/sec, 1515 secs
lola: 3 tries, 2128549 fired transitions, 1520 secs || 2093083 markings, 12021135 edges, 1306 markings/sec, 1520 secs
lola: 3 tries, 2135544 fired transitions, 1525 secs || 2099596 markings, 12067183 edges, 1303 markings/sec, 1525 secs
lola: 3 tries, 2142534 fired transitions, 1530 secs || 2106081 markings, 12113088 edges, 1297 markings/sec, 1530 secs
lola: 3 tries, 2149463 fired transitions, 1535 secs || 2112693 markings, 12162185 edges, 1322 markings/sec, 1535 secs
lola: 3 tries, 2156583 fired transitions, 1540 secs || 2119389 markings, 12210682 edges, 1339 markings/sec, 1540 secs
lola: 3 tries, 2163616 fired transitions, 1545 secs || 2126219 markings, 12255323 edges, 1366 markings/sec, 1545 secs
lola: 3 tries, 2170632 fired transitions, 1550 secs || 2133025 markings, 12304923 edges, 1361 markings/sec, 1550 secs
lola: 3 tries, 2177702 fired transitions, 1555 secs || 2139790 markings, 12353422 edges, 1353 markings/sec, 1555 secs
lola: 3 tries, 2184688 fired transitions, 1560 secs || 2146438 markings, 12400442 edges, 1330 markings/sec, 1560 secs
lola: 3 tries, 2191659 fired transitions, 1565 secs || 2152969 markings, 12441464 edges, 1306 markings/sec, 1565 secs
lola: 3 tries, 2198654 fired transitions, 1570 secs || 2159479 markings, 12487105 edges, 1302 markings/sec, 1570 secs
lola: 3 tries, 2205628 fired transitions, 1575 secs || 2165964 markings, 12533085 edges, 1297 markings/sec, 1575 secs
lola: 3 tries, 2212601 fired transitions, 1580 secs || 2172493 markings, 12576603 edges, 1306 markings/sec, 1580 secs
lola: 3 tries, 2219586 fired transitions, 1585 secs || 2179026 markings, 12619009 edges, 1307 markings/sec, 1585 secs
lola: 3 tries, 2226544 fired transitions, 1590 secs || 2185507 markings, 12663864 edges, 1296 markings/sec, 1590 secs
lola: 3 tries, 2233529 fired transitions, 1595 secs || 2192054 markings, 12706185 edges, 1309 markings/sec, 1595 secs
lola: 3 tries, 2240487 fired transitions, 1600 secs || 2198560 markings, 12750034 edges, 1301 markings/sec, 1600 secs
lola: 3 tries, 2247467 fired transitions, 1605 secs || 2205101 markings, 12792997 edges, 1308 markings/sec, 1605 secs
lola: 3 tries, 2254478 fired transitions, 1610 secs || 2211720 markings, 12827081 edges, 1324 markings/sec, 1610 secs
lola: 3 tries, 2261477 fired transitions, 1615 secs || 2218252 markings, 12865768 edges, 1306 markings/sec, 1615 secs
lola: 3 tries, 2268497 fired transitions, 1620 secs || 2224815 markings, 12905845 edges, 1313 markings/sec, 1620 secs
lola: 3 tries, 2275490 fired transitions, 1625 secs || 2231334 markings, 12948668 edges, 1304 markings/sec, 1625 secs
lola: 3 tries, 2282498 fired transitions, 1630 secs || 2237974 markings, 12991937 edges, 1328 markings/sec, 1630 secs
lola: 3 tries, 2289533 fired transitions, 1635 secs || 2244700 markings, 13035455 edges, 1345 markings/sec, 1635 secs
lola: 3 tries, 2296554 fired transitions, 1640 secs || 2251388 markings, 13077580 edges, 1338 markings/sec, 1640 secs
lola: 3 tries, 2303512 fired transitions, 1645 secs || 2257891 markings, 13118184 edges, 1301 markings/sec, 1645 secs
lola: 3 tries, 2310364 fired transitions, 1650 secs || 2264532 markings, 13158296 edges, 1328 markings/sec, 1650 secs
lola: 3 tries, 2317200 fired transitions, 1655 secs || 2271436 markings, 13205068 edges, 1381 markings/sec, 1655 secs
lola: 3 tries, 2324261 fired transitions, 1660 secs || 2278335 markings, 13251629 edges, 1380 markings/sec, 1660 secs
lola: 3 tries, 2331358 fired transitions, 1665 secs || 2285244 markings, 13297473 edges, 1382 markings/sec, 1665 secs
lola: 3 tries, 2338433 fired transitions, 1670 secs || 2292106 markings, 13345998 edges, 1372 markings/sec, 1670 secs
lola: 3 tries, 2345528 fired transitions, 1675 secs || 2298914 markings, 13397659 edges, 1362 markings/sec, 1675 secs
lola: 3 tries, 2352621 fired transitions, 1680 secs || 2305670 markings, 13452025 edges, 1351 markings/sec, 1680 secs
lola: 3 tries, 2359715 fired transitions, 1685 secs || 2312541 markings, 13497664 edges, 1374 markings/sec, 1685 secs
lola: 3 tries, 2366536 fired transitions, 1690 secs || 2319285 markings, 13541541 edges, 1349 markings/sec, 1690 secs
lola: 3 tries, 2373300 fired transitions, 1695 secs || 2326006 markings, 13588416 edges, 1344 markings/sec, 1695 secs
lola: 3 tries, 2380023 fired transitions, 1700 secs || 2332624 markings, 13639526 edges, 1324 markings/sec, 1700 secs
lola: 3 tries, 2386771 fired transitions, 1705 secs || 2339312 markings, 13686684 edges, 1338 markings/sec, 1705 secs
lola: 3 tries, 2393550 fired transitions, 1710 secs || 2346061 markings, 13731036 edges, 1350 markings/sec, 1710 secs
lola: 3 tries, 2400307 fired transitions, 1715 secs || 2352769 markings, 13779475 edges, 1342 markings/sec, 1715 secs
lola: 3 tries, 2407055 fired transitions, 1720 secs || 2359463 markings, 13829352 edges, 1339 markings/sec, 1720 secs
lola: 3 tries, 2413871 fired transitions, 1725 secs || 2366193 markings, 13872699 edges, 1346 markings/sec, 1725 secs
lola: 3 tries, 2421008 fired transitions, 1730 secs || 2372890 markings, 13917936 edges, 1339 markings/sec, 1730 secs
lola: 3 tries, 2428118 fired transitions, 1735 secs || 2379526 markings, 13965791 edges, 1327 markings/sec, 1735 secs
lola: 3 tries, 2435235 fired transitions, 1740 secs || 2386181 markings, 14012412 edges, 1331 markings/sec, 1740 secs
lola: 3 tries, 2442353 fired transitions, 1745 secs || 2392842 markings, 14056450 edges, 1332 markings/sec, 1745 secs
lola: 3 tries, 2449111 fired transitions, 1750 secs || 2399340 markings, 14100167 edges, 1300 markings/sec, 1750 secs
lola: 3 tries, 2456268 fired transitions, 1755 secs || 2406090 markings, 14141842 edges, 1350 markings/sec, 1755 secs
lola: 3 tries, 2463311 fired transitions, 1760 secs || 2412950 markings, 14180626 edges, 1372 markings/sec, 1760 secs
lola: 3 tries, 2470455 fired transitions, 1765 secs || 2419754 markings, 14221681 edges, 1361 markings/sec, 1765 secs
lola: 3 tries, 2477591 fired transitions, 1770 secs || 2426535 markings, 14268078 edges, 1356 markings/sec, 1770 secs
lola: 3 tries, 2484596 fired transitions, 1775 secs || 2433209 markings, 14310869 edges, 1335 markings/sec, 1775 secs
lola: 3 tries, 2491700 fired transitions, 1780 secs || 2439888 markings, 14352623 edges, 1336 markings/sec, 1780 secs
lola: 3 tries, 2498794 fired transitions, 1785 secs || 2446638 markings, 14392640 edges, 1350 markings/sec, 1785 secs
lola: 3 tries, 2505907 fired transitions, 1790 secs || 2453364 markings, 14432679 edges, 1345 markings/sec, 1790 secs
lola: 3 tries, 2512938 fired transitions, 1795 secs || 2460164 markings, 14478954 edges, 1360 markings/sec, 1795 secs
lola: 3 tries, 2520008 fired transitions, 1800 secs || 2466938 markings, 14522475 edges, 1355 markings/sec, 1800 secs
lola: 3 tries, 2527038 fired transitions, 1805 secs || 2473715 markings, 14567519 edges, 1355 markings/sec, 1805 secs
lola: 3 tries, 2533975 fired transitions, 1810 secs || 2480521 markings, 14615838 edges, 1361 markings/sec, 1810 secs
lola: 3 tries, 2540945 fired transitions, 1815 secs || 2487288 markings, 14662947 edges, 1353 markings/sec, 1815 secs
lola: 3 tries, 2548037 fired transitions, 1820 secs || 2493950 markings, 14716304 edges, 1332 markings/sec, 1820 secs
lola: 3 tries, 2555125 fired transitions, 1825 secs || 2500638 markings, 14765480 edges, 1338 markings/sec, 1825 secs
lola: 3 tries, 2562070 fired transitions, 1830 secs || 2507435 markings, 14813244 edges, 1359 markings/sec, 1830 secs
lola: 3 tries, 2569010 fired transitions, 1835 secs || 2514212 markings, 14861999 edges, 1355 markings/sec, 1835 secs
lola: 3 tries, 2575924 fired transitions, 1840 secs || 2521109 markings, 14907944 edges, 1379 markings/sec, 1840 secs
lola: 3 tries, 2582845 fired transitions, 1845 secs || 2527970 markings, 14956159 edges, 1372 markings/sec, 1845 secs
lola: 3 tries, 2589754 fired transitions, 1850 secs || 2534866 markings, 15002134 edges, 1379 markings/sec, 1850 secs
lola: 3 tries, 2596685 fired transitions, 1855 secs || 2541717 markings, 15048186 edges, 1370 markings/sec, 1855 secs
lola: 3 tries, 2603626 fired transitions, 1860 secs || 2548666 markings, 15089472 edges, 1390 markings/sec, 1860 secs
lola: 3 tries, 2610748 fired transitions, 1865 secs || 2555655 markings, 15129147 edges, 1398 markings/sec, 1865 secs
lola: 3 tries, 2617818 fired transitions, 1870 secs || 2562488 markings, 15172879 edges, 1367 markings/sec, 1870 secs
lola: 3 tries, 2624913 fired transitions, 1875 secs || 2569273 markings, 15216154 edges, 1357 markings/sec, 1875 secs
lola: 3 tries, 2631988 fired transitions, 1880 secs || 2576193 markings, 15259007 edges, 1384 markings/sec, 1880 secs
lola: 3 tries, 2639077 fired transitions, 1885 secs || 2583159 markings, 15302719 edges, 1393 markings/sec, 1885 secs
lola: 3 tries, 2646155 fired transitions, 1890 secs || 2590087 markings, 15348203 edges, 1386 markings/sec, 1890 secs
lola: 3 tries, 2653237 fired transitions, 1895 secs || 2596942 markings, 15397423 edges, 1371 markings/sec, 1895 secs
lola: 3 tries, 2660352 fired transitions, 1900 secs || 2603610 markings, 15445344 edges, 1334 markings/sec, 1900 secs
lola: 3 tries, 2667442 fired transitions, 1905 secs || 2610474 markings, 15493405 edges, 1373 markings/sec, 1905 secs
lola: 3 tries, 2674379 fired transitions, 1910 secs || 2617265 markings, 15541777 edges, 1358 markings/sec, 1910 secs
lola: 3 tries, 2681184 fired transitions, 1915 secs || 2624018 markings, 15586590 edges, 1351 markings/sec, 1915 secs
lola: 3 tries, 2687976 fired transitions, 1920 secs || 2630750 markings, 15632223 edges, 1346 markings/sec, 1920 secs
lola: 3 tries, 2694773 fired transitions, 1925 secs || 2637491 markings, 15678042 edges, 1348 markings/sec, 1925 secs
lola: 3 tries, 2701591 fired transitions, 1930 secs || 2644273 markings, 15722786 edges, 1356 markings/sec, 1930 secs
lola: 3 tries, 2708520 fired transitions, 1935 secs || 2651199 markings, 15761142 edges, 1385 markings/sec, 1935 secs
lola: 3 tries, 2715442 fired transitions, 1940 secs || 2658119 markings, 15799783 edges, 1384 markings/sec, 1940 secs
lola: 3 tries, 2722308 fired transitions, 1945 secs || 2664975 markings, 15844759 edges, 1371 markings/sec, 1945 secs
lola: 3 tries, 2729163 fired transitions, 1950 secs || 2671812 markings, 15888824 edges, 1367 markings/sec, 1950 secs
lola: 3 tries, 2735965 fired transitions, 1955 secs || 2678557 markings, 15936274 edges, 1349 markings/sec, 1955 secs
lola: 3 tries, 2742747 fired transitions, 1960 secs || 2685300 markings, 15983353 edges, 1349 markings/sec, 1960 secs
lola: 3 tries, 2749555 fired transitions, 1965 secs || 2692052 markings, 16029031 edges, 1350 markings/sec, 1965 secs
lola: 3 tries, 2756364 fired transitions, 1970 secs || 2698810 markings, 16074641 edges, 1352 markings/sec, 1970 secs
lola: 3 tries, 2763152 fired transitions, 1975 secs || 2705544 markings, 16119858 edges, 1347 markings/sec, 1975 secs
lola: 3 tries, 2769959 fired transitions, 1980 secs || 2712322 markings, 16163613 edges, 1356 markings/sec, 1980 secs
lola: 3 tries, 2776813 fired transitions, 1985 secs || 2719161 markings, 16202468 edges, 1368 markings/sec, 1985 secs
lola: 3 tries, 2783630 fired transitions, 1990 secs || 2725961 markings, 16244739 edges, 1360 markings/sec, 1990 secs
lola: 3 tries, 2790456 fired transitions, 1995 secs || 2732769 markings, 16287076 edges, 1362 markings/sec, 1995 secs
lola: 3 tries, 2797250 fired transitions, 2000 secs || 2739513 markings, 16335131 edges, 1349 markings/sec, 2000 secs
lola: 3 tries, 2804051 fired transitions, 2005 secs || 2746274 markings, 16380409 edges, 1352 markings/sec, 2005 secs
lola: 3 tries, 2810858 fired transitions, 2010 secs || 2753050 markings, 16424604 edges, 1355 markings/sec, 2010 secs
lola: 3 tries, 2817679 fired transitions, 2015 secs || 2759860 markings, 16466075 edges, 1362 markings/sec, 2015 secs
lola: 3 tries, 2824553 fired transitions, 2020 secs || 2766723 markings, 16509377 edges, 1373 markings/sec, 2020 secs
lola: 3 tries, 2831388 fired transitions, 2025 secs || 2773524 markings, 16550186 edges, 1360 markings/sec, 2025 secs
lola: 3 tries, 2838238 fired transitions, 2030 secs || 2780341 markings, 16588903 edges, 1363 markings/sec, 2030 secs
lola: 3 tries, 2845052 fired transitions, 2035 secs || 2787120 markings, 16629559 edges, 1356 markings/sec, 2035 secs
lola: 3 tries, 2851875 fired transitions, 2040 secs || 2793894 markings, 16675574 edges, 1355 markings/sec, 2040 secs
lola: 3 tries, 2858673 fired transitions, 2045 secs || 2800666 markings, 16720278 edges, 1354 markings/sec, 2045 secs
lola: 3 tries, 2865643 fired transitions, 2050 secs || 2807494 markings, 16760673 edges, 1366 markings/sec, 2050 secs
lola: 3 tries, 2872692 fired transitions, 2055 secs || 2814455 markings, 16800960 edges, 1392 markings/sec, 2055 secs
lola: 3 tries, 2879609 fired transitions, 2060 secs || 2821395 markings, 16845570 edges, 1388 markings/sec, 2060 secs
lola: 3 tries, 2886547 fired transitions, 2065 secs || 2828358 markings, 16887117 edges, 1393 markings/sec, 2065 secs
lola: 3 tries, 2893461 fired transitions, 2070 secs || 2835307 markings, 16930546 edges, 1390 markings/sec, 2070 secs
lola: 3 tries, 2900350 fired transitions, 2075 secs || 2842288 markings, 16971470 edges, 1396 markings/sec, 2075 secs
lola: 3 tries, 2907263 fired transitions, 2080 secs || 2849349 markings, 17006726 edges, 1412 markings/sec, 2080 secs
lola: 3 tries, 2914273 fired transitions, 2085 secs || 2856398 markings, 17040843 edges, 1410 markings/sec, 2085 secs
lola: 3 tries, 2921229 fired transitions, 2090 secs || 2863413 markings, 17077588 edges, 1403 markings/sec, 2090 secs
lola: 3 tries, 2928217 fired transitions, 2095 secs || 2870361 markings, 17117010 edges, 1390 markings/sec, 2095 secs
lola: 3 tries, 2935173 fired transitions, 2100 secs || 2877220 markings, 17156091 edges, 1372 markings/sec, 2100 secs
lola: 3 tries, 2942127 fired transitions, 2105 secs || 2884093 markings, 17195535 edges, 1375 markings/sec, 2105 secs
lola: 3 tries, 2949065 fired transitions, 2110 secs || 2891026 markings, 17233593 edges, 1387 markings/sec, 2110 secs
lola: 3 tries, 2955996 fired transitions, 2115 secs || 2898010 markings, 17270035 edges, 1397 markings/sec, 2115 secs
lola: 3 tries, 2962932 fired transitions, 2120 secs || 2904969 markings, 17310554 edges, 1392 markings/sec, 2120 secs
lola: 3 tries, 2970070 fired transitions, 2125 secs || 2911537 markings, 17353377 edges, 1314 markings/sec, 2125 secs
lola: 3 tries, 2976936 fired transitions, 2130 secs || 2918387 markings, 17398902 edges, 1370 markings/sec, 2130 secs
lola: 3 tries, 2983823 fired transitions, 2135 secs || 2925205 markings, 17443351 edges, 1364 markings/sec, 2135 secs
lola: 3 tries, 2990674 fired transitions, 2140 secs || 2932025 markings, 17487491 edges, 1364 markings/sec, 2140 secs
lola: 3 tries, 2997621 fired transitions, 2145 secs || 2938979 markings, 17527602 edges, 1391 markings/sec, 2145 secs
lola: 4 tries, 3004507 fired transitions, 2150 secs || 2945883 markings, 17570250 edges, 1381 markings/sec, 2150 secs
lola: 4 tries, 3011418 fired transitions, 2155 secs || 2952745 markings, 17615136 edges, 1372 markings/sec, 2155 secs
lola: 4 tries, 3018397 fired transitions, 2160 secs || 2959615 markings, 17659408 edges, 1374 markings/sec, 2160 secs
lola: 4 tries, 3025420 fired transitions, 2165 secs || 2966382 markings, 17699108 edges, 1353 markings/sec, 2165 secs
lola: 4 tries, 3032609 fired transitions, 2170 secs || 2973153 markings, 17738262 edges, 1354 markings/sec, 2170 secs
lola: 4 tries, 3039828 fired transitions, 2175 secs || 2979702 markings, 17782188 edges, 1310 markings/sec, 2175 secs
lola: 4 tries, 3047026 fired transitions, 2180 secs || 2986462 markings, 17822909 edges, 1352 markings/sec, 2180 secs
lola: 4 tries, 3054054 fired transitions, 2185 secs || 2993452 markings, 17866210 edges, 1398 markings/sec, 2185 secs
lola: 4 tries, 3061060 fired transitions, 2190 secs || 3000434 markings, 17909767 edges, 1396 markings/sec, 2190 secs
lola: 4 tries, 3068076 fired transitions, 2195 secs || 3007503 markings, 17949900 edges, 1414 markings/sec, 2195 secs
lola: 4 tries, 3075094 fired transitions, 2200 secs || 3014458 markings, 17993397 edges, 1391 markings/sec, 2200 secs
lola: 4 tries, 3082135 fired transitions, 2205 secs || 3021470 markings, 18035276 edges, 1402 markings/sec, 2205 secs
lola: 4 tries, 3089136 fired transitions, 2210 secs || 3028500 markings, 18075973 edges, 1406 markings/sec, 2210 secs
lola: 4 tries, 3096211 fired transitions, 2215 secs || 3035591 markings, 18115095 edges, 1418 markings/sec, 2215 secs
lola: 4 tries, 3103269 fired transitions, 2220 secs || 3042670 markings, 18155702 edges, 1416 markings/sec, 2220 secs
lola: 4 tries, 3110427 fired transitions, 2225 secs || 3049614 markings, 18198697 edges, 1389 markings/sec, 2225 secs
lola: 4 tries, 3117468 fired transitions, 2230 secs || 3056541 markings, 18246820 edges, 1385 markings/sec, 2230 secs
lola: 4 tries, 3124660 fired transitions, 2235 secs || 3063267 markings, 18292661 edges, 1345 markings/sec, 2235 secs
lola: 4 tries, 3131904 fired transitions, 2240 secs || 3069924 markings, 18335373 edges, 1331 markings/sec, 2240 secs
lola: 4 tries, 3139134 fired transitions, 2245 secs || 3076591 markings, 18380759 edges, 1333 markings/sec, 2245 secs
lola: 4 tries, 3146366 fired transitions, 2250 secs || 3083394 markings, 18431995 edges, 1361 markings/sec, 2250 secs
lola: 4 tries, 3153427 fired transitions, 2255 secs || 3090272 markings, 18484563 edges, 1376 markings/sec, 2255 secs
lola: 4 tries, 3160599 fired transitions, 2260 secs || 3096986 markings, 18534012 edges, 1343 markings/sec, 2260 secs
lola: 4 tries, 3167771 fired transitions, 2265 secs || 3103936 markings, 18580347 edges, 1390 markings/sec, 2265 secs
lola: 4 tries, 3174943 fired transitions, 2270 secs || 3110703 markings, 18631556 edges, 1353 markings/sec, 2270 secs
lola: 4 tries, 3182103 fired transitions, 2275 secs || 3117596 markings, 18682696 edges, 1379 markings/sec, 2275 secs
lola: 4 tries, 3189281 fired transitions, 2280 secs || 3124550 markings, 18729609 edges, 1391 markings/sec, 2280 secs
lola: 4 tries, 3196323 fired transitions, 2285 secs || 3131393 markings, 18781264 edges, 1369 markings/sec, 2285 secs
lola: 4 tries, 3203220 fired transitions, 2290 secs || 3138236 markings, 18828025 edges, 1369 markings/sec, 2290 secs
lola: 4 tries, 3210351 fired transitions, 2295 secs || 3145123 markings, 18878842 edges, 1377 markings/sec, 2295 secs
lola: 4 tries, 3217504 fired transitions, 2300 secs || 3151740 markings, 18924692 edges, 1323 markings/sec, 2300 secs
lola: 4 tries, 3224707 fired transitions, 2305 secs || 3158233 markings, 18969862 edges, 1299 markings/sec, 2305 secs
lola: 4 tries, 3231650 fired transitions, 2310 secs || 3165221 markings, 19016336 edges, 1398 markings/sec, 2310 secs
lola: 4 tries, 3238722 fired transitions, 2315 secs || 3172279 markings, 19056328 edges, 1412 markings/sec, 2315 secs
lola: 4 tries, 3245948 fired transitions, 2320 secs || 3178878 markings, 19099439 edges, 1320 markings/sec, 2320 secs
lola: 4 tries, 3252953 fired transitions, 2325 secs || 3185827 markings, 19144678 edges, 1390 markings/sec, 2325 secs
lola: 4 tries, 3259885 fired transitions, 2330 secs || 3192690 markings, 19188767 edges, 1373 markings/sec, 2330 secs
lola: 4 tries, 3266865 fired transitions, 2335 secs || 3199330 markings, 19231592 edges, 1328 markings/sec, 2335 secs
lola: 4 tries, 3273750 fired transitions, 2340 secs || 3206127 markings, 19282114 edges, 1359 markings/sec, 2340 secs
lola: 4 tries, 3280671 fired transitions, 2345 secs || 3212912 markings, 19332572 edges, 1357 markings/sec, 2345 secs
lola: 4 tries, 3287677 fired transitions, 2350 secs || 3219571 markings, 19377981 edges, 1332 markings/sec, 2350 secs
lola: 4 tries, 3294591 fired transitions, 2355 secs || 3226354 markings, 19428019 edges, 1357 markings/sec, 2355 secs
lola: 4 tries, 3301487 fired transitions, 2360 secs || 3233157 markings, 19475796 edges, 1361 markings/sec, 2360 secs
lola: 4 tries, 3308416 fired transitions, 2365 secs || 3239944 markings, 19524823 edges, 1357 markings/sec, 2365 secs
lola: 4 tries, 3315447 fired transitions, 2370 secs || 3246733 markings, 19571862 edges, 1358 markings/sec, 2370 secs
lola: 4 tries, 3322548 fired transitions, 2375 secs || 3253234 markings, 19617172 edges, 1300 markings/sec, 2375 secs
lola: 4 tries, 3329519 fired transitions, 2380 secs || 3260068 markings, 19663467 edges, 1367 markings/sec, 2380 secs
lola: 4 tries, 3336541 fired transitions, 2385 secs || 3266852 markings, 19703257 edges, 1357 markings/sec, 2385 secs
lola: 4 tries, 3343652 fired transitions, 2390 secs || 3273427 markings, 19741326 edges, 1315 markings/sec, 2390 secs
lola: 4 tries, 3350718 fired transitions, 2395 secs || 3280123 markings, 19784217 edges, 1339 markings/sec, 2395 secs
lola: 4 tries, 3357811 fired transitions, 2400 secs || 3286607 markings, 19829768 edges, 1297 markings/sec, 2400 secs
lola: 4 tries, 3364826 fired transitions, 2405 secs || 3293433 markings, 19876514 edges, 1365 markings/sec, 2405 secs
lola: 4 tries, 3371733 fired transitions, 2410 secs || 3300223 markings, 19927405 edges, 1358 markings/sec, 2410 secs
lola: 4 tries, 3378664 fired transitions, 2415 secs || 3306928 markings, 19975620 edges, 1341 markings/sec, 2415 secs
lola: 4 tries, 3385650 fired transitions, 2420 secs || 3313514 markings, 20020562 edges, 1317 markings/sec, 2420 secs
lola: 4 tries, 3392680 fired transitions, 2425 secs || 3320151 markings, 20067347 edges, 1327 markings/sec, 2425 secs
lola: 4 tries, 3399616 fired transitions, 2430 secs || 3326884 markings, 20113703 edges, 1347 markings/sec, 2430 secs
lola: 4 tries, 3406744 fired transitions, 2435 secs || 3333491 markings, 20152237 edges, 1321 markings/sec, 2435 secs
lola: 4 tries, 3413873 fired transitions, 2440 secs || 3340371 markings, 20193826 edges, 1376 markings/sec, 2440 secs
lola: 4 tries, 3421010 fired transitions, 2445 secs || 3347095 markings, 20239041 edges, 1345 markings/sec, 2445 secs
lola: 4 tries, 3428029 fired transitions, 2450 secs || 3353793 markings, 20287333 edges, 1340 markings/sec, 2450 secs
lola: 4 tries, 3434935 fired transitions, 2455 secs || 3360676 markings, 20333957 edges, 1377 markings/sec, 2455 secs
lola: 4 tries, 3441840 fired transitions, 2460 secs || 3367473 markings, 20382631 edges, 1359 markings/sec, 2460 secs
lola: 4 tries, 3448765 fired transitions, 2465 secs || 3374333 markings, 20429430 edges, 1372 markings/sec, 2465 secs
lola: 4 tries, 3455752 fired transitions, 2470 secs || 3381236 markings, 20470034 edges, 1381 markings/sec, 2470 secs
lola: 4 tries, 3462735 fired transitions, 2475 secs || 3388138 markings, 20513742 edges, 1380 markings/sec, 2475 secs
lola: 4 tries, 3469707 fired transitions, 2480 secs || 3394928 markings, 20561749 edges, 1358 markings/sec, 2480 secs
lola: 4 tries, 3476835 fired transitions, 2485 secs || 3401451 markings, 20605930 edges, 1305 markings/sec, 2485 secs
lola: 4 tries, 3483819 fired transitions, 2490 secs || 3408188 markings, 20649890 edges, 1347 markings/sec, 2490 secs
lola: 4 tries, 3490837 fired transitions, 2495 secs || 3415013 markings, 20691410 edges, 1365 markings/sec, 2495 secs
lola: 4 tries, 3497835 fired transitions, 2500 secs || 3421916 markings, 20737787 edges, 1381 markings/sec, 2500 secs
lola: 4 tries, 3504931 fired transitions, 2505 secs || 3428717 markings, 20781547 edges, 1360 markings/sec, 2505 secs
lola: 4 tries, 3511823 fired transitions, 2510 secs || 3435638 markings, 20825530 edges, 1384 markings/sec, 2510 secs
lola: 4 tries, 3518719 fired transitions, 2515 secs || 3442570 markings, 20868718 edges, 1386 markings/sec, 2515 secs
lola: 4 tries, 3525639 fired transitions, 2520 secs || 3449516 markings, 20911489 edges, 1389 markings/sec, 2520 secs
lola: 4 tries, 3532627 fired transitions, 2525 secs || 3456530 markings, 20948898 edges, 1403 markings/sec, 2525 secs
lola: 4 tries, 3539596 fired transitions, 2530 secs || 3463554 markings, 20984896 edges, 1405 markings/sec, 2530 secs
lola: 4 tries, 3546529 fired transitions, 2535 secs || 3470450 markings, 21023539 edges, 1379 markings/sec, 2535 secs
lola: 4 tries, 3553513 fired transitions, 2540 secs || 3477311 markings, 21061241 edges, 1372 markings/sec, 2540 secs
lola: 4 tries, 3560614 fired transitions, 2545 secs || 3483984 markings, 21097572 edges, 1335 markings/sec, 2545 secs
lola: 4 tries, 3567704 fired transitions, 2550 secs || 3490570 markings, 21132919 edges, 1317 markings/sec, 2550 secs
lola: 4 tries, 3574801 fired transitions, 2555 secs || 3497205 markings, 21168673 edges, 1327 markings/sec, 2555 secs
lola: 4 tries, 3581797 fired transitions, 2560 secs || 3504039 markings, 21211543 edges, 1367 markings/sec, 2560 secs
lola: 4 tries, 3588684 fired transitions, 2565 secs || 3510807 markings, 21256193 edges, 1354 markings/sec, 2565 secs
lola: 4 tries, 3595742 fired transitions, 2570 secs || 3517294 markings, 21298535 edges, 1297 markings/sec, 2570 secs
lola: 4 tries, 3602786 fired transitions, 2575 secs || 3523993 markings, 21336527 edges, 1340 markings/sec, 2575 secs
lola: 4 tries, 3609646 fired transitions, 2580 secs || 3530764 markings, 21379878 edges, 1354 markings/sec, 2580 secs
lola: 4 tries, 3616646 fired transitions, 2585 secs || 3537367 markings, 21422327 edges, 1321 markings/sec, 2585 secs
lola: 4 tries, 3623639 fired transitions, 2590 secs || 3544038 markings, 21461599 edges, 1334 markings/sec, 2590 secs
lola: 4 tries, 3630686 fired transitions, 2595 secs || 3550566 markings, 21501932 edges, 1306 markings/sec, 2595 secs
lola: 4 tries, 3637720 fired transitions, 2600 secs || 3557121 markings, 21543539 edges, 1311 markings/sec, 2600 secs
lola: 4 tries, 3644778 fired transitions, 2605 secs || 3563949 markings, 21581927 edges, 1366 markings/sec, 2605 secs
lola: 4 tries, 3651827 fired transitions, 2610 secs || 3570754 markings, 21624216 edges, 1361 markings/sec, 2610 secs
lola: 4 tries, 3658881 fired transitions, 2615 secs || 3577587 markings, 21665217 edges, 1367 markings/sec, 2615 secs
lola: 4 tries, 3665843 fired transitions, 2620 secs || 3584434 markings, 21705570 edges, 1369 markings/sec, 2620 secs
lola: 4 tries, 3672749 fired transitions, 2625 secs || 3591338 markings, 21742693 edges, 1381 markings/sec, 2625 secs
lola: 4 tries, 3679584 fired transitions, 2630 secs || 3598098 markings, 21783240 edges, 1352 markings/sec, 2630 secs
lola: 4 tries, 3686398 fired transitions, 2635 secs || 3604795 markings, 21827603 edges, 1339 markings/sec, 2635 secs
lola: 4 tries, 3693173 fired transitions, 2640 secs || 3611444 markings, 21871931 edges, 1330 markings/sec, 2640 secs
lola: 4 tries, 3699971 fired transitions, 2645 secs || 3618158 markings, 21914020 edges, 1343 markings/sec, 2645 secs
lola: 4 tries, 3706778 fired transitions, 2650 secs || 3624856 markings, 21959798 edges, 1340 markings/sec, 2650 secs
lola: 4 tries, 3713566 fired transitions, 2655 secs || 3631467 markings, 22010374 edges, 1322 markings/sec, 2655 secs
lola: 4 tries, 3720353 fired transitions, 2660 secs || 3638111 markings, 22059461 edges, 1329 markings/sec, 2660 secs
lola: 4 tries, 3727172 fired transitions, 2665 secs || 3644903 markings, 22105613 edges, 1358 markings/sec, 2665 secs
lola: 4 tries, 3733961 fired transitions, 2670 secs || 3651655 markings, 22156034 edges, 1350 markings/sec, 2670 secs
lola: 4 tries, 3740759 fired transitions, 2675 secs || 3658410 markings, 22202238 edges, 1351 markings/sec, 2675 secs
lola: 4 tries, 3747555 fired transitions, 2680 secs || 3665146 markings, 22251741 edges, 1347 markings/sec, 2680 secs
lola: 4 tries, 3754369 fired transitions, 2685 secs || 3671931 markings, 22299101 edges, 1357 markings/sec, 2685 secs
lola: 4 tries, 3761183 fired transitions, 2690 secs || 3678734 markings, 22345689 edges, 1361 markings/sec, 2690 secs
lola: 4 tries, 3768009 fired transitions, 2695 secs || 3685559 markings, 22390044 edges, 1365 markings/sec, 2695 secs
lola: 4 tries, 3774876 fired transitions, 2700 secs || 3692418 markings, 22430151 edges, 1372 markings/sec, 2700 secs
lola: 4 tries, 3781707 fired transitions, 2705 secs || 3699227 markings, 22475017 edges, 1362 markings/sec, 2705 secs
lola: 4 tries, 3788536 fired transitions, 2710 secs || 3706044 markings, 22518479 edges, 1363 markings/sec, 2710 secs
lola: 4 tries, 3795362 fired transitions, 2715 secs || 3712831 markings, 22563583 edges, 1357 markings/sec, 2715 secs
lola: 4 tries, 3802152 fired transitions, 2720 secs || 3719561 markings, 22614308 edges, 1346 markings/sec, 2720 secs
lola: 4 tries, 3808973 fired transitions, 2725 secs || 3726353 markings, 22661125 edges, 1358 markings/sec, 2725 secs
lola: 4 tries, 3815780 fired transitions, 2730 secs || 3733119 markings, 22710248 edges, 1353 markings/sec, 2730 secs
lola: 4 tries, 3822578 fired transitions, 2735 secs || 3739893 markings, 22758118 edges, 1355 markings/sec, 2735 secs
lola: 4 tries, 3829375 fired transitions, 2740 secs || 3746675 markings, 22804022 edges, 1356 markings/sec, 2740 secs
lola: 4 tries, 3836204 fired transitions, 2745 secs || 3753494 markings, 22847813 edges, 1364 markings/sec, 2745 secs
lola: 4 tries, 3843052 fired transitions, 2750 secs || 3760337 markings, 22889881 edges, 1369 markings/sec, 2750 secs
lola: 4 tries, 3849871 fired transitions, 2755 secs || 3767144 markings, 22933251 edges, 1361 markings/sec, 2755 secs
lola: 4 tries, 3856712 fired transitions, 2760 secs || 3773972 markings, 22979657 edges, 1366 markings/sec, 2760 secs
lola: 4 tries, 3863538 fired transitions, 2765 secs || 3780782 markings, 23027277 edges, 1362 markings/sec, 2765 secs
lola: 4 tries, 3870342 fired transitions, 2770 secs || 3787561 markings, 23075191 edges, 1356 markings/sec, 2770 secs
lola: 4 tries, 3877345 fired transitions, 2775 secs || 3794341 markings, 23121576 edges, 1356 markings/sec, 2775 secs
lola: 4 tries, 3884354 fired transitions, 2780 secs || 3801217 markings, 23164034 edges, 1375 markings/sec, 2780 secs
lola: 4 tries, 3891379 fired transitions, 2785 secs || 3807986 markings, 23206497 edges, 1354 markings/sec, 2785 secs
lola: 4 tries, 3898286 fired transitions, 2790 secs || 3814859 markings, 23250151 edges, 1375 markings/sec, 2790 secs
lola: 4 tries, 3905243 fired transitions, 2795 secs || 3821535 markings, 23297998 edges, 1335 markings/sec, 2795 secs
lola: 4 tries, 3912403 fired transitions, 2800 secs || 3828116 markings, 23342846 edges, 1316 markings/sec, 2800 secs
lola: 4 tries, 3919548 fired transitions, 2805 secs || 3834874 markings, 23383851 edges, 1352 markings/sec, 2805 secs
lola: 4 tries, 3926578 fired transitions, 2810 secs || 3841629 markings, 23427487 edges, 1351 markings/sec, 2810 secs
lola: 4 tries, 3933587 fired transitions, 2815 secs || 3848489 markings, 23474230 edges, 1372 markings/sec, 2815 secs
lola: 4 tries, 3940445 fired transitions, 2820 secs || 3855386 markings, 23515137 edges, 1379 markings/sec, 2820 secs
lola: 4 tries, 3947436 fired transitions, 2825 secs || 3862221 markings, 23561102 edges, 1367 markings/sec, 2825 secs
lola: 4 tries, 3954416 fired transitions, 2830 secs || 3869133 markings, 23603564 edges, 1382 markings/sec, 2830 secs
lola: 4 tries, 3961558 fired transitions, 2835 secs || 3876089 markings, 23645203 edges, 1391 markings/sec, 2835 secs
lola: 4 tries, 3968807 fired transitions, 2840 secs || 3883059 markings, 23678076 edges, 1394 markings/sec, 2840 secs
lola: 4 tries, 3975920 fired transitions, 2845 secs || 3890141 markings, 23716743 edges, 1416 markings/sec, 2845 secs
lola: 4 tries, 3983117 fired transitions, 2850 secs || 3897180 markings, 23755578 edges, 1408 markings/sec, 2850 secs
lola: 4 tries, 3990320 fired transitions, 2855 secs || 3904213 markings, 23793750 edges, 1407 markings/sec, 2855 secs
lola: 4 tries, 3997594 fired transitions, 2860 secs || 3911260 markings, 23831091 edges, 1409 markings/sec, 2860 secs
lola: 5 tries, 4004675 fired transitions, 2865 secs || 3918222 markings, 23873751 edges, 1392 markings/sec, 2865 secs
lola: 5 tries, 4011698 fired transitions, 2870 secs || 3924941 markings, 23920354 edges, 1344 markings/sec, 2870 secs
lola: 5 tries, 4018663 fired transitions, 2875 secs || 3931841 markings, 23960341 edges, 1380 markings/sec, 2875 secs
lola: 5 tries, 4025818 fired transitions, 2880 secs || 3938555 markings, 24003570 edges, 1343 markings/sec, 2880 secs
lola: 5 tries, 4032950 fired transitions, 2885 secs || 3945304 markings, 24043688 edges, 1350 markings/sec, 2885 secs
lola: 5 tries, 4040016 fired transitions, 2890 secs || 3952109 markings, 24085996 edges, 1361 markings/sec, 2890 secs
lola: 5 tries, 4046968 fired transitions, 2895 secs || 3958981 markings, 24126142 edges, 1374 markings/sec, 2895 secs
lola: 5 tries, 4053887 fired transitions, 2900 secs || 3965798 markings, 24167096 edges, 1363 markings/sec, 2900 secs
lola: 5 tries, 4060996 fired transitions, 2905 secs || 3972508 markings, 24204949 edges, 1342 markings/sec, 2905 secs
lola: 5 tries, 4068091 fired transitions, 2910 secs || 3979165 markings, 24242089 edges, 1331 markings/sec, 2910 secs
lola: 5 tries, 4075085 fired transitions, 2915 secs || 3986036 markings, 24286348 edges, 1374 markings/sec, 2915 secs
lola: 5 tries, 4082039 fired transitions, 2920 secs || 3992904 markings, 24330954 edges, 1374 markings/sec, 2920 secs
lola: 5 tries, 4088917 fired transitions, 2925 secs || 3999780 markings, 24375137 edges, 1375 markings/sec, 2925 secs
lola: 5 tries, 4095760 fired transitions, 2930 secs || 4006599 markings, 24426231 edges, 1364 markings/sec, 2930 secs
lola: 5 tries, 4102617 fired transitions, 2935 secs || 4013452 markings, 24473916 edges, 1371 markings/sec, 2935 secs
lola: 5 tries, 4109547 fired transitions, 2940 secs || 4020274 markings, 24523805 edges, 1364 markings/sec, 2940 secs
lola: 5 tries, 4116622 fired transitions, 2945 secs || 4027133 markings, 24571670 edges, 1372 markings/sec, 2945 secs
lola: 5 tries, 4123708 fired transitions, 2950 secs || 4033989 markings, 24619293 edges, 1371 markings/sec, 2950 secs
lola: 5 tries, 4130795 fired transitions, 2955 secs || 4040880 markings, 24665174 edges, 1378 markings/sec, 2955 secs
lola: 5 tries, 4137956 fired transitions, 2960 secs || 4047880 markings, 24705552 edges, 1400 markings/sec, 2960 secs
lola: 5 tries, 4145033 fired transitions, 2965 secs || 4054725 markings, 24750220 edges, 1369 markings/sec, 2965 secs
lola: 5 tries, 4152193 fired transitions, 2970 secs || 4061664 markings, 24795282 edges, 1388 markings/sec, 2970 secs
lola: 5 tries, 4159346 fired transitions, 2975 secs || 4068566 markings, 24845304 edges, 1380 markings/sec, 2975 secs
lola: 5 tries, 4166476 fired transitions, 2980 secs || 4075423 markings, 24893801 edges, 1371 markings/sec, 2980 secs
lola: 5 tries, 4173576 fired transitions, 2985 secs || 4082285 markings, 24940160 edges, 1372 markings/sec, 2985 secs
lola: 5 tries, 4180709 fired transitions, 2990 secs || 4089204 markings, 24984379 edges, 1384 markings/sec, 2990 secs
lola: 5 tries, 4187888 fired transitions, 2995 secs || 4096298 markings, 25026108 edges, 1419 markings/sec, 2995 secs
lola: 5 tries, 4194944 fired transitions, 3000 secs || 4103261 markings, 25070581 edges, 1393 markings/sec, 3000 secs
lola: 5 tries, 4201712 fired transitions, 3005 secs || 4109987 markings, 25116309 edges, 1345 markings/sec, 3005 secs
lola: 5 tries, 4208504 fired transitions, 3010 secs || 4116600 markings, 25165735 edges, 1323 markings/sec, 3010 secs
lola: 5 tries, 4215402 fired transitions, 3015 secs || 4123485 markings, 25207735 edges, 1377 markings/sec, 3015 secs
lola: 5 tries, 4222320 fired transitions, 3020 secs || 4130350 markings, 25251761 edges, 1373 markings/sec, 3020 secs
lola: 5 tries, 4229076 fired transitions, 3025 secs || 4137087 markings, 25298218 edges, 1347 markings/sec, 3025 secs
lola: 5 tries, 4235896 fired transitions, 3030 secs || 4143896 markings, 25338953 edges, 1362 markings/sec, 3030 secs
lola: 5 tries, 4242702 fired transitions, 3035 secs || 4150726 markings, 25384409 edges, 1366 markings/sec, 3035 secs
lola: 5 tries, 4249663 fired transitions, 3040 secs || 4157598 markings, 25426252 edges, 1374 markings/sec, 3040 secs
lola: 5 tries, 4256558 fired transitions, 3045 secs || 4164488 markings, 25467902 edges, 1378 markings/sec, 3045 secs
lola: 5 tries, 4263491 fired transitions, 3050 secs || 4171559 markings, 25501220 edges, 1414 markings/sec, 3050 secs
lola: 5 tries, 4270397 fired transitions, 3055 secs || 4178572 markings, 25536269 edges, 1403 markings/sec, 3055 secs
lola: 5 tries, 4277235 fired transitions, 3060 secs || 4185310 markings, 25576755 edges, 1348 markings/sec, 3060 secs
lola: 5 tries, 4284193 fired transitions, 3065 secs || 4192237 markings, 25614885 edges, 1385 markings/sec, 3065 secs
lola: 5 tries, 4291151 fired transitions, 3070 secs || 4199008 markings, 25659243 edges, 1354 markings/sec, 3070 secs
lola: 5 tries, 4298039 fired transitions, 3075 secs || 4205912 markings, 25699318 edges, 1381 markings/sec, 3075 secs
lola: 5 tries, 4304921 fired transitions, 3080 secs || 4212758 markings, 25742651 edges, 1369 markings/sec, 3080 secs
lola: 5 tries, 4311820 fired transitions, 3085 secs || 4219663 markings, 25783454 edges, 1381 markings/sec, 3085 secs
lola: 5 tries, 4318783 fired transitions, 3090 secs || 4226556 markings, 25823685 edges, 1379 markings/sec, 3090 secs
lola: 5 tries, 4325579 fired transitions, 3095 secs || 4233458 markings, 25862434 edges, 1380 markings/sec, 3095 secs
lola: 5 tries, 4332524 fired transitions, 3100 secs || 4240375 markings, 25901679 edges, 1383 markings/sec, 3100 secs
lola: 5 tries, 4339478 fired transitions, 3105 secs || 4247251 markings, 25947050 edges, 1375 markings/sec, 3105 secs
lola: 5 tries, 4346329 fired transitions, 3110 secs || 4254178 markings, 25992260 edges, 1385 markings/sec, 3110 secs
lola: 5 tries, 4353227 fired transitions, 3115 secs || 4261026 markings, 26042083 edges, 1370 markings/sec, 3115 secs
lola: 5 tries, 4360259 fired transitions, 3120 secs || 4267920 markings, 26090910 edges, 1379 markings/sec, 3120 secs
lola: 5 tries, 4367225 fired transitions, 3125 secs || 4274858 markings, 26138589 edges, 1388 markings/sec, 3125 secs
lola: 5 tries, 4374215 fired transitions, 3130 secs || 4281822 markings, 26181840 edges, 1393 markings/sec, 3130 secs
lola: 5 tries, 4381173 fired transitions, 3135 secs || 4288748 markings, 26225506 edges, 1385 markings/sec, 3135 secs
lola: 5 tries, 4388401 fired transitions, 3140 secs || 4295717 markings, 26270455 edges, 1394 markings/sec, 3140 secs
lola: 5 tries, 4395421 fired transitions, 3145 secs || 4302629 markings, 26319996 edges, 1382 markings/sec, 3145 secs
lola: 5 tries, 4402516 fired transitions, 3150 secs || 4309638 markings, 26367006 edges, 1402 markings/sec, 3150 secs
lola: 5 tries, 4409784 fired transitions, 3155 secs || 4316858 markings, 26409638 edges, 1444 markings/sec, 3155 secs
lola: 5 tries, 4417040 fired transitions, 3160 secs || 4323654 markings, 26453064 edges, 1359 markings/sec, 3160 secs
lola: 5 tries, 4424224 fired transitions, 3165 secs || 4330320 markings, 26500364 edges, 1333 markings/sec, 3165 secs
lola: 5 tries, 4431505 fired transitions, 3170 secs || 4337195 markings, 26541509 edges, 1375 markings/sec, 3170 secs
lola: 5 tries, 4438624 fired transitions, 3175 secs || 4344249 markings, 26587255 edges, 1411 markings/sec, 3175 secs
lola: 5 tries, 4445854 fired transitions, 3180 secs || 4351236 markings, 26630572 edges, 1397 markings/sec, 3180 secs
lola: 5 tries, 4453044 fired transitions, 3185 secs || 4358278 markings, 26670746 edges, 1408 markings/sec, 3185 secs
lola: 5 tries, 4460317 fired transitions, 3190 secs || 4365218 markings, 26706048 edges, 1388 markings/sec, 3190 secs
lola: 5 tries, 4467523 fired transitions, 3195 secs || 4372136 markings, 26743046 edges, 1384 markings/sec, 3195 secs
lola: 5 tries, 4474747 fired transitions, 3200 secs || 4379064 markings, 26783257 edges, 1386 markings/sec, 3200 secs
lola: 5 tries, 4481952 fired transitions, 3205 secs || 4385858 markings, 26824118 edges, 1359 markings/sec, 3205 secs
lola: 5 tries, 4489212 fired transitions, 3210 secs || 4392630 markings, 26864578 edges, 1354 markings/sec, 3210 secs
lola: 5 tries, 4496464 fired transitions, 3215 secs || 4399379 markings, 26904550 edges, 1350 markings/sec, 3215 secs
lola: 5 tries, 4503733 fired transitions, 3220 secs || 4406256 markings, 26941573 edges, 1375 markings/sec, 3220 secs
lola: 5 tries, 4510917 fired transitions, 3225 secs || 4413353 markings, 26986665 edges, 1419 markings/sec, 3225 secs
lola: 5 tries, 4517976 fired transitions, 3230 secs || 4420427 markings, 27034486 edges, 1415 markings/sec, 3230 secs
lola: 5 tries, 4525186 fired transitions, 3235 secs || 4427466 markings, 27083488 edges, 1408 markings/sec, 3235 secs
lola: 5 tries, 4532437 fired transitions, 3240 secs || 4434556 markings, 27130617 edges, 1418 markings/sec, 3240 secs
lola: 5 tries, 4539772 fired transitions, 3245 secs || 4441681 markings, 27173319 edges, 1425 markings/sec, 3245 secs
lola: 5 tries, 4547007 fired transitions, 3250 secs || 4448771 markings, 27220679 edges, 1418 markings/sec, 3250 secs
lola: 5 tries, 4554116 fired transitions, 3255 secs || 4455917 markings, 27266733 edges, 1429 markings/sec, 3255 secs
lola: 5 tries, 4561265 fired transitions, 3260 secs || 4462958 markings, 27311611 edges, 1408 markings/sec, 3260 secs
lola: 5 tries, 4568321 fired transitions, 3265 secs || 4470049 markings, 27355812 edges, 1418 markings/sec, 3265 secs
lola: 5 tries, 4575458 fired transitions, 3270 secs || 4477129 markings, 27399500 edges, 1416 markings/sec, 3270 secs
lola: 5 tries, 4582549 fired transitions, 3275 secs || 4484269 markings, 27437827 edges, 1428 markings/sec, 3275 secs
lola: 5 tries, 4589748 fired transitions, 3280 secs || 4491421 markings, 27475789 edges, 1430 markings/sec, 3280 secs
lola: 5 tries, 4596787 fired transitions, 3285 secs || 4498526 markings, 27516948 edges, 1421 markings/sec, 3285 secs
lola: 5 tries, 4603933 fired transitions, 3290 secs || 4505629 markings, 27558436 edges, 1421 markings/sec, 3290 secs
lola: 5 tries, 4611056 fired transitions, 3295 secs || 4512733 markings, 27598134 edges, 1421 markings/sec, 3295 secs
lola: 5 tries, 4618272 fired transitions, 3300 secs || 4519834 markings, 27641116 edges, 1420 markings/sec, 3300 secs
lola: 5 tries, 4625313 fired transitions, 3305 secs || 4526925 markings, 27688859 edges, 1418 markings/sec, 3305 secs
lola: 5 tries, 4632396 fired transitions, 3310 secs || 4534022 markings, 27734225 edges, 1419 markings/sec, 3310 secs
lola: 5 tries, 4639564 fired transitions, 3315 secs || 4541078 markings, 27779440 edges, 1411 markings/sec, 3315 secs
lola: 5 tries, 4646822 fired transitions, 3320 secs || 4548050 markings, 27822627 edges, 1394 markings/sec, 3320 secs
lola: 5 tries, 4653981 fired transitions, 3325 secs || 4554824 markings, 27864606 edges, 1355 markings/sec, 3325 secs
lola: 5 tries, 4661082 fired transitions, 3330 secs || 4561634 markings, 27901041 edges, 1362 markings/sec, 3330 secs
lola: 5 tries, 4668248 fired transitions, 3335 secs || 4568418 markings, 27936995 edges, 1357 markings/sec, 3335 secs
lola: 5 tries, 4675380 fired transitions, 3340 secs || 4575137 markings, 27976710 edges, 1344 markings/sec, 3340 secs
lola: 5 tries, 4682664 fired transitions, 3345 secs || 4581880 markings, 28014339 edges, 1349 markings/sec, 3345 secs
lola: 5 tries, 4689912 fired transitions, 3350 secs || 4588641 markings, 28058333 edges, 1352 markings/sec, 3350 secs
lola: 5 tries, 4697110 fired transitions, 3355 secs || 4595620 markings, 28101091 edges, 1396 markings/sec, 3355 secs
lola: 5 tries, 4704164 fired transitions, 3360 secs || 4602692 markings, 28145238 edges, 1414 markings/sec, 3360 secs
lola: 5 tries, 4711191 fired transitions, 3365 secs || 4609851 markings, 28182491 edges, 1432 markings/sec, 3365 secs
lola: 5 tries, 4718165 fired transitions, 3370 secs || 4616993 markings, 28222341 edges, 1428 markings/sec, 3370 secs
lola: 5 tries, 4725036 fired transitions, 3375 secs || 4624181 markings, 28265708 edges, 1438 markings/sec, 3375 secs
lola: 5 tries, 4732061 fired transitions, 3380 secs || 4631296 markings, 28308082 edges, 1423 markings/sec, 3380 secs
lola: 5 tries, 4739057 fired transitions, 3385 secs || 4638516 markings, 28345616 edges, 1444 markings/sec, 3385 secs
lola: 5 tries, 4746057 fired transitions, 3390 secs || 4645659 markings, 28387013 edges, 1429 markings/sec, 3390 secs
lola: 5 tries, 4752987 fired transitions, 3395 secs || 4652857 markings, 28425237 edges, 1440 markings/sec, 3395 secs
lola: 5 tries, 4760012 fired transitions, 3400 secs || 4660095 markings, 28457094 edges, 1448 markings/sec, 3400 secs
lola: 5 tries, 4767170 fired transitions, 3405 secs || 4667214 markings, 28489193 edges, 1424 markings/sec, 3405 secs
lola: 5 tries, 4774491 fired transitions, 3410 secs || 4674248 markings, 28526721 edges, 1407 markings/sec, 3410 secs
lola: 5 tries, 4781766 fired transitions, 3415 secs || 4681294 markings, 28563454 edges, 1409 markings/sec, 3415 secs
lola: 5 tries, 4788927 fired transitions, 3420 secs || 4688155 markings, 28598133 edges, 1372 markings/sec, 3420 secs
lola: 5 tries, 4795948 fired transitions, 3425 secs || 4695001 markings, 28632196 edges, 1369 markings/sec, 3425 secs
lola: 5 tries, 4803208 fired transitions, 3430 secs || 4701946 markings, 28667675 edges, 1389 markings/sec, 3430 secs
lola: 5 tries, 4810443 fired transitions, 3435 secs || 4708872 markings, 28704925 edges, 1385 markings/sec, 3435 secs
lola: 5 tries, 4817449 fired transitions, 3440 secs || 4715750 markings, 28748943 edges, 1376 markings/sec, 3440 secs
lola: 5 tries, 4824232 fired transitions, 3445 secs || 4722705 markings, 28792863 edges, 1391 markings/sec, 3445 secs
lola: 5 tries, 4831037 fired transitions, 3450 secs || 4729690 markings, 28833405 edges, 1397 markings/sec, 3450 secs
lola: 5 tries, 4837876 fired transitions, 3455 secs || 4736727 markings, 28871768 edges, 1407 markings/sec, 3455 secs
lola: 5 tries, 4844814 fired transitions, 3460 secs || 4743706 markings, 28913805 edges, 1396 markings/sec, 3460 secs
lola: 5 tries, 4851969 fired transitions, 3465 secs || 4750545 markings, 28954391 edges, 1368 markings/sec, 3465 secs
lola: 5 tries, 4859135 fired transitions, 3470 secs || 4757350 markings, 28990348 edges, 1361 markings/sec, 3470 secs
lola: 5 tries, 4866378 fired transitions, 3475 secs || 4764236 markings, 29031152 edges, 1377 markings/sec, 3475 secs
lola: 5 tries, 4873523 fired transitions, 3480 secs || 4771088 markings, 29071088 edges, 1370 markings/sec, 3480 secs
lola: 5 tries, 4880732 fired transitions, 3485 secs || 4777981 markings, 29108334 edges, 1379 markings/sec, 3485 secs
lola: 5 tries, 4887849 fired transitions, 3490 secs || 4784727 markings, 29147827 edges, 1349 markings/sec, 3490 secs
lola: 5 tries, 4894892 fired transitions, 3495 secs || 4791561 markings, 29184164 edges, 1367 markings/sec, 3495 secs
lola: 5 tries, 4901996 fired transitions, 3500 secs || 4798410 markings, 29222465 edges, 1370 markings/sec, 3500 secs
lola: 5 tries, 4909177 fired transitions, 3505 secs || 4805297 markings, 29259242 edges, 1377 markings/sec, 3505 secs
lola: 5 tries, 4916271 fired transitions, 3510 secs || 4812031 markings, 29300739 edges, 1347 markings/sec, 3510 secs
lola: 5 tries, 4923119 fired transitions, 3515 secs || 4818524 markings, 29341548 edges, 1299 markings/sec, 3515 secs
lola: 5 tries, 4930080 fired transitions, 3520 secs || 4825142 markings, 29381942 edges, 1324 markings/sec, 3520 secs
lola: 5 tries, 4937153 fired transitions, 3525 secs || 4831912 markings, 29418910 edges, 1354 markings/sec, 3525 secs
lola: 5 tries, 4944206 fired transitions, 3530 secs || 4838664 markings, 29454392 edges, 1350 markings/sec, 3530 secs
lola: 5 tries, 4951314 fired transitions, 3535 secs || 4845418 markings, 29493941 edges, 1351 markings/sec, 3535 secs
lola: 5 tries, 4958328 fired transitions, 3540 secs || 4852054 markings, 29536236 edges, 1327 markings/sec, 3540 secs
lola: 5 tries, 4965508 fired transitions, 3545 secs || 4858926 markings, 29572333 edges, 1374 markings/sec, 3545 secs
lola: 5 tries, 4972699 fired transitions, 3550 secs || 4865786 markings, 29610279 edges, 1372 markings/sec, 3550 secs
lola: 5 tries, 4979816 fired transitions, 3555 secs || 4872536 markings, 29653102 edges, 1350 markings/sec, 3555 secs
lola: 5 tries, 4987023 fired transitions, 3560 secs || 4879377 markings, 29697068 edges, 1368 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 503688 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: 504532 KB
lola: time consumption: 3574 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1553116542241

--------------------
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="TokenRing-COL-020"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is TokenRing-COL-020, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r170-oct2-155297750400246"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-COL-020.tgz
mv TokenRing-COL-020 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 ;