Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r137-smll-155284909400111.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is Railroad-PT-050, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r137-smll-155284909400111
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 4.6K Feb 12 12:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 12 12:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 8 14:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 8 14:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 102 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 340 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 01:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 01:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.7K Feb 4 22:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 4 14:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 4 14:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 1 11:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 1 11:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 1.4M 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 Railroad-PT-050-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552947650508

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Railroad-PT-050 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ Railroad-PT-050

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Mon Mar 18 22:20:50 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 1455068,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 16378,
"conflict_clusters": 207,
"places": 518,
"places_significant": 207,
"singleton_clusters": 0,
"transitions": 2756
},
"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": inf,
"composed": 12462,
"dead_branches": 0,
"generators": 12732,
"interrupted": false,
"real_computed": 270,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 3274/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 16576
lola: finding significant places
lola: 518 places, 2756 transitions, 207 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 12732 generators (270 in search tree, 12462 by composition)
lola: representing 5.21719E+340 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 43391 fired transitions, 0 secs || 5933 markings, 10282 edges, 1187 markings/sec, 0 secs
lola: 1 tries, 90509 fired transitions, 5 secs || 18442 markings, 32179 edges, 2502 markings/sec, 5 secs
lola: 1 tries, 137287 fired transitions, 10 secs || 30563 markings, 55559 edges, 2424 markings/sec, 10 secs
lola: 1 tries, 184053 fired transitions, 15 secs || 43080 markings, 77127 edges, 2503 markings/sec, 15 secs
lola: 1 tries, 230303 fired transitions, 20 secs || 55532 markings, 98254 edges, 2490 markings/sec, 20 secs
lola: 1 tries, 276835 fired transitions, 25 secs || 67963 markings, 119454 edges, 2486 markings/sec, 25 secs
lola: 1 tries, 323979 fired transitions, 30 secs || 80422 markings, 141213 edges, 2492 markings/sec, 30 secs
lola: 1 tries, 370800 fired transitions, 35 secs || 92747 markings, 163578 edges, 2465 markings/sec, 35 secs
lola: 1 tries, 417633 fired transitions, 40 secs || 105032 markings, 185491 edges, 2457 markings/sec, 40 secs
lola: 1 tries, 464207 fired transitions, 45 secs || 117138 markings, 208527 edges, 2421 markings/sec, 45 secs
lola: 1 tries, 510852 fired transitions, 50 secs || 129453 markings, 230291 edges, 2463 markings/sec, 50 secs
lola: 1 tries, 557602 fired transitions, 55 secs || 141692 markings, 252268 edges, 2448 markings/sec, 55 secs
lola: 1 tries, 604288 fired transitions, 60 secs || 153895 markings, 274799 edges, 2441 markings/sec, 60 secs
lola: 1 tries, 651097 fired transitions, 65 secs || 166471 markings, 297164 edges, 2515 markings/sec, 65 secs
lola: 1 tries, 698237 fired transitions, 70 secs || 179013 markings, 318406 edges, 2508 markings/sec, 70 secs
lola: 1 tries, 745123 fired transitions, 75 secs || 191320 markings, 340132 edges, 2461 markings/sec, 75 secs
lola: 1 tries, 792040 fired transitions, 80 secs || 203702 markings, 361459 edges, 2476 markings/sec, 80 secs
lola: 1 tries, 838845 fired transitions, 85 secs || 216047 markings, 382778 edges, 2469 markings/sec, 85 secs
lola: 1 tries, 885617 fired transitions, 90 secs || 228296 markings, 404711 edges, 2450 markings/sec, 90 secs
lola: 1 tries, 932504 fired transitions, 95 secs || 240691 markings, 426323 edges, 2479 markings/sec, 95 secs
lola: 1 tries, 978336 fired transitions, 100 secs || 253231 markings, 447797 edges, 2508 markings/sec, 100 secs
lola: 2 tries, 1019538 fired transitions, 105 secs || 263633 markings, 466153 edges, 2080 markings/sec, 105 secs
lola: 2 tries, 1064094 fired transitions, 110 secs || 276077 markings, 488052 edges, 2489 markings/sec, 110 secs
lola: 2 tries, 1108512 fired transitions, 115 secs || 288197 markings, 510508 edges, 2424 markings/sec, 115 secs
lola: 2 tries, 1152836 fired transitions, 120 secs || 299581 markings, 531089 edges, 2277 markings/sec, 120 secs
lola: 2 tries, 1197584 fired transitions, 125 secs || 312127 markings, 552653 edges, 2509 markings/sec, 125 secs
lola: 2 tries, 1242002 fired transitions, 130 secs || 324479 markings, 574016 edges, 2470 markings/sec, 130 secs
lola: 2 tries, 1286437 fired transitions, 135 secs || 336538 markings, 596579 edges, 2412 markings/sec, 135 secs
lola: 2 tries, 1330904 fired transitions, 140 secs || 349046 markings, 617791 edges, 2502 markings/sec, 140 secs
lola: 2 tries, 1375207 fired transitions, 145 secs || 361491 markings, 638819 edges, 2489 markings/sec, 145 secs
lola: 2 tries, 1419509 fired transitions, 150 secs || 373010 markings, 660722 edges, 2304 markings/sec, 150 secs
lola: 2 tries, 1464279 fired transitions, 155 secs || 385464 markings, 681960 edges, 2491 markings/sec, 155 secs
lola: 2 tries, 1509339 fired transitions, 160 secs || 397891 markings, 703110 edges, 2485 markings/sec, 160 secs
lola: 2 tries, 1554353 fired transitions, 165 secs || 410061 markings, 724983 edges, 2434 markings/sec, 165 secs
lola: 2 tries, 1599442 fired transitions, 170 secs || 422306 markings, 747026 edges, 2449 markings/sec, 170 secs
lola: 2 tries, 1644674 fired transitions, 175 secs || 434629 markings, 768568 edges, 2465 markings/sec, 175 secs
lola: 2 tries, 1690148 fired transitions, 180 secs || 446886 markings, 790601 edges, 2451 markings/sec, 180 secs
lola: 2 tries, 1736018 fired transitions, 185 secs || 459219 markings, 812176 edges, 2467 markings/sec, 185 secs
lola: 2 tries, 1783318 fired transitions, 190 secs || 471599 markings, 834013 edges, 2476 markings/sec, 190 secs
lola: 2 tries, 1830337 fired transitions, 195 secs || 483738 markings, 856406 edges, 2428 markings/sec, 195 secs
lola: 2 tries, 1877274 fired transitions, 200 secs || 495748 markings, 878930 edges, 2402 markings/sec, 200 secs
lola: 2 tries, 1924662 fired transitions, 205 secs || 508267 markings, 900203 edges, 2504 markings/sec, 205 secs
lola: 2 tries, 1971940 fired transitions, 210 secs || 520519 markings, 922143 edges, 2450 markings/sec, 210 secs
lola: 3 tries, 2018726 fired transitions, 215 secs || 532568 markings, 944309 edges, 2410 markings/sec, 215 secs
lola: 3 tries, 2065806 fired transitions, 220 secs || 544893 markings, 965718 edges, 2465 markings/sec, 220 secs
lola: 3 tries, 2112875 fired transitions, 225 secs || 557196 markings, 987111 edges, 2461 markings/sec, 225 secs
lola: 3 tries, 2159862 fired transitions, 230 secs || 569373 markings, 1009145 edges, 2435 markings/sec, 230 secs
lola: 3 tries, 2206920 fired transitions, 235 secs || 581725 markings, 1030554 edges, 2470 markings/sec, 235 secs
lola: 3 tries, 2252935 fired transitions, 240 secs || 593664 markings, 1052097 edges, 2388 markings/sec, 240 secs
lola: 3 tries, 2298269 fired transitions, 245 secs || 605231 markings, 1074196 edges, 2313 markings/sec, 245 secs
lola: 3 tries, 2343968 fired transitions, 250 secs || 617090 markings, 1095476 edges, 2372 markings/sec, 250 secs
lola: 3 tries, 2389602 fired transitions, 255 secs || 628902 markings, 1116609 edges, 2362 markings/sec, 255 secs
lola: 3 tries, 2435318 fired transitions, 260 secs || 640812 markings, 1137943 edges, 2382 markings/sec, 260 secs
lola: 3 tries, 2480748 fired transitions, 265 secs || 652406 markings, 1159586 edges, 2319 markings/sec, 265 secs
lola: 3 tries, 2526191 fired transitions, 270 secs || 663996 markings, 1181382 edges, 2318 markings/sec, 270 secs
lola: 3 tries, 2572010 fired transitions, 275 secs || 675682 markings, 1203387 edges, 2337 markings/sec, 275 secs
lola: 3 tries, 2617445 fired transitions, 280 secs || 687415 markings, 1225318 edges, 2347 markings/sec, 280 secs
lola: 3 tries, 2663260 fired transitions, 285 secs || 699251 markings, 1247191 edges, 2367 markings/sec, 285 secs
lola: 3 tries, 2709081 fired transitions, 290 secs || 711148 markings, 1267944 edges, 2379 markings/sec, 290 secs
lola: 3 tries, 2755814 fired transitions, 295 secs || 723375 markings, 1289485 edges, 2445 markings/sec, 295 secs
lola: 3 tries, 2802685 fired transitions, 300 secs || 735466 markings, 1311515 edges, 2418 markings/sec, 300 secs
lola: 3 tries, 2849639 fired transitions, 305 secs || 747464 markings, 1333348 edges, 2400 markings/sec, 305 secs
lola: 3 tries, 2896675 fired transitions, 310 secs || 759504 markings, 1355612 edges, 2408 markings/sec, 310 secs
lola: 3 tries, 2943892 fired transitions, 315 secs || 771793 markings, 1377565 edges, 2458 markings/sec, 315 secs
lola: 3 tries, 2991253 fired transitions, 320 secs || 784183 markings, 1399230 edges, 2478 markings/sec, 320 secs
lola: 4 tries, 3037146 fired transitions, 325 secs || 795958 markings, 1420562 edges, 2355 markings/sec, 325 secs
lola: 4 tries, 3082675 fired transitions, 330 secs || 807623 markings, 1442791 edges, 2333 markings/sec, 330 secs
lola: 4 tries, 3128358 fired transitions, 335 secs || 819377 markings, 1464172 edges, 2351 markings/sec, 335 secs
lola: 4 tries, 3174945 fired transitions, 340 secs || 831351 markings, 1486449 edges, 2395 markings/sec, 340 secs
lola: 4 tries, 3222171 fired transitions, 345 secs || 843643 markings, 1508740 edges, 2458 markings/sec, 345 secs
lola: 4 tries, 3269092 fired transitions, 350 secs || 855605 markings, 1531485 edges, 2392 markings/sec, 350 secs
lola: 4 tries, 3315050 fired transitions, 355 secs || 867525 markings, 1552939 edges, 2384 markings/sec, 355 secs
lola: 4 tries, 3360551 fired transitions, 360 secs || 879245 markings, 1575131 edges, 2344 markings/sec, 360 secs
lola: 4 tries, 3406240 fired transitions, 365 secs || 891038 markings, 1596869 edges, 2359 markings/sec, 365 secs
lola: 4 tries, 3451274 fired transitions, 370 secs || 902450 markings, 1619047 edges, 2282 markings/sec, 370 secs
lola: 4 tries, 3498618 fired transitions, 375 secs || 914669 markings, 1641454 edges, 2444 markings/sec, 375 secs
lola: 4 tries, 3546429 fired transitions, 380 secs || 926964 markings, 1664447 edges, 2459 markings/sec, 380 secs
lola: 4 tries, 3594243 fired transitions, 385 secs || 939361 markings, 1687090 edges, 2479 markings/sec, 385 secs
lola: 4 tries, 3641215 fired transitions, 390 secs || 951526 markings, 1709418 edges, 2433 markings/sec, 390 secs
lola: 4 tries, 3688097 fired transitions, 395 secs || 963632 markings, 1732029 edges, 2421 markings/sec, 395 secs
lola: 4 tries, 3735008 fired transitions, 400 secs || 975853 markings, 1754498 edges, 2444 markings/sec, 400 secs
lola: 4 tries, 3782066 fired transitions, 405 secs || 988075 markings, 1776918 edges, 2444 markings/sec, 405 secs
lola: 4 tries, 3829080 fired transitions, 410 secs || 1000233 markings, 1799703 edges, 2432 markings/sec, 410 secs
lola: 4 tries, 3876231 fired transitions, 415 secs || 1012662 markings, 1822286 edges, 2486 markings/sec, 415 secs
lola: 4 tries, 3923212 fired transitions, 420 secs || 1024748 markings, 1845302 edges, 2417 markings/sec, 420 secs
lola: 4 tries, 3969891 fired transitions, 425 secs || 1036803 markings, 1867456 edges, 2411 markings/sec, 425 secs
lola: 5 tries, 4013757 fired transitions, 430 secs || 1049294 markings, 1889399 edges, 2498 markings/sec, 430 secs
lola: 5 tries, 4060375 fired transitions, 435 secs || 1061677 markings, 1911567 edges, 2477 markings/sec, 435 secs
lola: 5 tries, 4107120 fired transitions, 440 secs || 1074077 markings, 1933409 edges, 2480 markings/sec, 440 secs
lola: 5 tries, 4153644 fired transitions, 445 secs || 1085950 markings, 1956735 edges, 2375 markings/sec, 445 secs
lola: 5 tries, 4200504 fired transitions, 450 secs || 1098501 markings, 1978095 edges, 2510 markings/sec, 450 secs
lola: 5 tries, 4246741 fired transitions, 455 secs || 1110643 markings, 1999823 edges, 2428 markings/sec, 455 secs
lola: 5 tries, 4293196 fired transitions, 460 secs || 1122915 markings, 2022593 edges, 2454 markings/sec, 460 secs
lola: 5 tries, 4340333 fired transitions, 465 secs || 1135341 markings, 2043946 edges, 2485 markings/sec, 465 secs
lola: 5 tries, 4387273 fired transitions, 470 secs || 1147675 markings, 2065830 edges, 2467 markings/sec, 470 secs
lola: 5 tries, 4433754 fired transitions, 475 secs || 1159649 markings, 2088377 edges, 2395 markings/sec, 475 secs
lola: 5 tries, 4480757 fired transitions, 480 secs || 1171876 markings, 2110567 edges, 2445 markings/sec, 480 secs
lola: 5 tries, 4527936 fired transitions, 485 secs || 1184249 markings, 2132321 edges, 2475 markings/sec, 485 secs
lola: 5 tries, 4574939 fired transitions, 490 secs || 1196526 markings, 2154538 edges, 2455 markings/sec, 490 secs
lola: 5 tries, 4621986 fired transitions, 495 secs || 1208761 markings, 2176311 edges, 2447 markings/sec, 495 secs
lola: 5 tries, 4669176 fired transitions, 500 secs || 1221102 markings, 2197911 edges, 2468 markings/sec, 500 secs
lola: 5 tries, 4716322 fired transitions, 505 secs || 1233472 markings, 2219795 edges, 2474 markings/sec, 505 secs
lola: 5 tries, 4763275 fired transitions, 510 secs || 1245720 markings, 2241257 edges, 2450 markings/sec, 510 secs
lola: 5 tries, 4808144 fired transitions, 515 secs || 1257507 markings, 2262574 edges, 2357 markings/sec, 515 secs
lola: 5 tries, 4855279 fired transitions, 520 secs || 1269326 markings, 2284218 edges, 2364 markings/sec, 520 secs
lola: 5 tries, 4902205 fired transitions, 525 secs || 1281223 markings, 2305008 edges, 2379 markings/sec, 525 secs
lola: 5 tries, 4948895 fired transitions, 530 secs || 1293017 markings, 2326460 edges, 2359 markings/sec, 530 secs
lola: 5 tries, 4995260 fired transitions, 535 secs || 1304695 markings, 2348091 edges, 2336 markings/sec, 535 secs
lola: 6 tries, 5041611 fired transitions, 540 secs || 1316322 markings, 2370412 edges, 2325 markings/sec, 540 secs
lola: 6 tries, 5087050 fired transitions, 545 secs || 1327671 markings, 2393251 edges, 2270 markings/sec, 545 secs
lola: 6 tries, 5133795 fired transitions, 550 secs || 1339946 markings, 2415776 edges, 2455 markings/sec, 550 secs
lola: 6 tries, 5180677 fired transitions, 555 secs || 1352282 markings, 2437692 edges, 2467 markings/sec, 555 secs
lola: 6 tries, 5227663 fired transitions, 560 secs || 1364514 markings, 2459426 edges, 2446 markings/sec, 560 secs
lola: 6 tries, 5273874 fired transitions, 565 secs || 1376454 markings, 2480547 edges, 2388 markings/sec, 565 secs
lola: 6 tries, 5320943 fired transitions, 570 secs || 1388614 markings, 2502436 edges, 2432 markings/sec, 570 secs
lola: 6 tries, 5367715 fired transitions, 575 secs || 1400784 markings, 2524553 edges, 2434 markings/sec, 575 secs
lola: 6 tries, 5413085 fired transitions, 580 secs || 1412754 markings, 2547128 edges, 2394 markings/sec, 580 secs
lola: 6 tries, 5459939 fired transitions, 585 secs || 1424937 markings, 2569072 edges, 2437 markings/sec, 585 secs
lola: 6 tries, 5506794 fired transitions, 590 secs || 1437210 markings, 2591189 edges, 2455 markings/sec, 590 secs
lola: 6 tries, 5553747 fired transitions, 595 secs || 1449479 markings, 2613825 edges, 2454 markings/sec, 595 secs
lola: 6 tries, 5600690 fired transitions, 600 secs || 1461788 markings, 2636290 edges, 2462 markings/sec, 600 secs
lola: 6 tries, 5647528 fired transitions, 605 secs || 1473989 markings, 2658666 edges, 2440 markings/sec, 605 secs
lola: 6 tries, 5694338 fired transitions, 610 secs || 1486216 markings, 2681127 edges, 2445 markings/sec, 610 secs
lola: 6 tries, 5741231 fired transitions, 615 secs || 1498639 markings, 2703134 edges, 2485 markings/sec, 615 secs
lola: 6 tries, 5788069 fired transitions, 620 secs || 1510798 markings, 2725523 edges, 2432 markings/sec, 620 secs
lola: 6 tries, 5835017 fired transitions, 625 secs || 1523090 markings, 2747851 edges, 2458 markings/sec, 625 secs
lola: 6 tries, 5881965 fired transitions, 630 secs || 1535300 markings, 2770772 edges, 2442 markings/sec, 630 secs
lola: 6 tries, 5928710 fired transitions, 635 secs || 1547469 markings, 2793312 edges, 2434 markings/sec, 635 secs
lola: 6 tries, 5975498 fired transitions, 640 secs || 1559512 markings, 2816178 edges, 2409 markings/sec, 640 secs
lola: 7 tries, 6019944 fired transitions, 645 secs || 1571645 markings, 2838664 edges, 2427 markings/sec, 645 secs
lola: 7 tries, 6066831 fired transitions, 650 secs || 1583880 markings, 2861172 edges, 2447 markings/sec, 650 secs
lola: 7 tries, 6113898 fired transitions, 655 secs || 1596151 markings, 2883348 edges, 2454 markings/sec, 655 secs
lola: 7 tries, 6160870 fired transitions, 660 secs || 1608334 markings, 2906007 edges, 2437 markings/sec, 660 secs
lola: 7 tries, 6207730 fired transitions, 665 secs || 1620550 markings, 2928580 edges, 2443 markings/sec, 665 secs
lola: 7 tries, 6254541 fired transitions, 670 secs || 1632761 markings, 2951203 edges, 2442 markings/sec, 670 secs
lola: 7 tries, 6301302 fired transitions, 675 secs || 1645076 markings, 2973906 edges, 2463 markings/sec, 675 secs
lola: 7 tries, 6348024 fired transitions, 680 secs || 1657440 markings, 2995715 edges, 2473 markings/sec, 680 secs
lola: 7 tries, 6394675 fired transitions, 685 secs || 1669648 markings, 3017715 edges, 2442 markings/sec, 685 secs
lola: 7 tries, 6441436 fired transitions, 690 secs || 1681811 markings, 3040337 edges, 2433 markings/sec, 690 secs
lola: 7 tries, 6488142 fired transitions, 695 secs || 1693919 markings, 3062656 edges, 2422 markings/sec, 695 secs
lola: 7 tries, 6535046 fired transitions, 700 secs || 1706134 markings, 3085481 edges, 2443 markings/sec, 700 secs
lola: 7 tries, 6579767 fired transitions, 705 secs || 1716460 markings, 3103992 edges, 2065 markings/sec, 705 secs
lola: 7 tries, 6626555 fired transitions, 710 secs || 1728792 markings, 3126239 edges, 2466 markings/sec, 710 secs
lola: 7 tries, 6673630 fired transitions, 715 secs || 1741154 markings, 3148532 edges, 2472 markings/sec, 715 secs
lola: 7 tries, 6720726 fired transitions, 720 secs || 1753546 markings, 3171081 edges, 2478 markings/sec, 720 secs
lola: 7 tries, 6767575 fired transitions, 725 secs || 1765516 markings, 3193942 edges, 2394 markings/sec, 725 secs
lola: 7 tries, 6814424 fired transitions, 730 secs || 1777707 markings, 3216592 edges, 2438 markings/sec, 730 secs
lola: 7 tries, 6861389 fired transitions, 735 secs || 1789984 markings, 3239079 edges, 2455 markings/sec, 735 secs
lola: 7 tries, 6907143 fired transitions, 740 secs || 1801849 markings, 3261879 edges, 2373 markings/sec, 740 secs
lola: 7 tries, 6952518 fired transitions, 745 secs || 1813879 markings, 3283379 edges, 2406 markings/sec, 745 secs
lola: 7 tries, 6999054 fired transitions, 750 secs || 1826009 markings, 3305403 edges, 2426 markings/sec, 750 secs
lola: 8 tries, 7045272 fired transitions, 755 secs || 1838056 markings, 3327948 edges, 2409 markings/sec, 755 secs
lola: 8 tries, 7092281 fired transitions, 760 secs || 1850319 markings, 3350289 edges, 2453 markings/sec, 760 secs
lola: 8 tries, 7139116 fired transitions, 765 secs || 1862379 markings, 3373217 edges, 2412 markings/sec, 765 secs
lola: 8 tries, 7185946 fired transitions, 770 secs || 1874569 markings, 3395789 edges, 2438 markings/sec, 770 secs
lola: 8 tries, 7232861 fired transitions, 775 secs || 1886882 markings, 3418576 edges, 2463 markings/sec, 775 secs
lola: 8 tries, 7279776 fired transitions, 780 secs || 1899170 markings, 3441498 edges, 2458 markings/sec, 780 secs
lola: 8 tries, 7326388 fired transitions, 785 secs || 1911118 markings, 3464176 edges, 2390 markings/sec, 785 secs
lola: 8 tries, 7373358 fired transitions, 790 secs || 1923452 markings, 3486703 edges, 2467 markings/sec, 790 secs
lola: 8 tries, 7420493 fired transitions, 795 secs || 1935781 markings, 3509446 edges, 2466 markings/sec, 795 secs
lola: 8 tries, 7467386 fired transitions, 800 secs || 1947990 markings, 3532866 edges, 2442 markings/sec, 800 secs
lola: 8 tries, 7514169 fired transitions, 805 secs || 1960219 markings, 3555883 edges, 2446 markings/sec, 805 secs
lola: 8 tries, 7560870 fired transitions, 810 secs || 1972255 markings, 3579271 edges, 2407 markings/sec, 810 secs
lola: 8 tries, 7607829 fired transitions, 815 secs || 1984663 markings, 3602100 edges, 2482 markings/sec, 815 secs
lola: 8 tries, 7654386 fired transitions, 820 secs || 1996719 markings, 3625923 edges, 2411 markings/sec, 820 secs
lola: 8 tries, 7700471 fired transitions, 825 secs || 2008682 markings, 3648832 edges, 2393 markings/sec, 825 secs
lola: 8 tries, 7746517 fired transitions, 830 secs || 2020226 markings, 3672914 edges, 2309 markings/sec, 830 secs
lola: 8 tries, 7792645 fired transitions, 835 secs || 2032286 markings, 3696131 edges, 2412 markings/sec, 835 secs
lola: 8 tries, 7839285 fired transitions, 840 secs || 2044755 markings, 3717699 edges, 2494 markings/sec, 840 secs
lola: 8 tries, 7885887 fired transitions, 845 secs || 2056994 markings, 3739554 edges, 2448 markings/sec, 845 secs
lola: 8 tries, 7932516 fired transitions, 850 secs || 2069084 markings, 3761979 edges, 2418 markings/sec, 850 secs
lola: 8 tries, 7979189 fired transitions, 855 secs || 2081415 markings, 3783952 edges, 2466 markings/sec, 855 secs
lola: 9 tries, 8025932 fired transitions, 860 secs || 2093871 markings, 3805683 edges, 2491 markings/sec, 860 secs
lola: 9 tries, 8072622 fired transitions, 865 secs || 2105984 markings, 3828124 edges, 2423 markings/sec, 865 secs
lola: 9 tries, 8119421 fired transitions, 870 secs || 2118298 markings, 3849968 edges, 2463 markings/sec, 870 secs
lola: 9 tries, 8166168 fired transitions, 875 secs || 2130704 markings, 3871616 edges, 2481 markings/sec, 875 secs
lola: 9 tries, 8213026 fired transitions, 880 secs || 2143063 markings, 3893468 edges, 2472 markings/sec, 880 secs
lola: 9 tries, 8259655 fired transitions, 885 secs || 2155091 markings, 3916001 edges, 2406 markings/sec, 885 secs
lola: 9 tries, 8306317 fired transitions, 890 secs || 2167323 markings, 3937793 edges, 2446 markings/sec, 890 secs
lola: 9 tries, 8353347 fired transitions, 895 secs || 2179759 markings, 3959461 edges, 2487 markings/sec, 895 secs
lola: 9 tries, 8400279 fired transitions, 900 secs || 2192103 markings, 3981384 edges, 2469 markings/sec, 900 secs
lola: 9 tries, 8447172 fired transitions, 905 secs || 2204494 markings, 4003676 edges, 2478 markings/sec, 905 secs
lola: 9 tries, 8493718 fired transitions, 910 secs || 2216509 markings, 4025673 edges, 2403 markings/sec, 910 secs
lola: 9 tries, 8540589 fired transitions, 915 secs || 2228698 markings, 4047824 edges, 2438 markings/sec, 915 secs
lola: 9 tries, 8587724 fired transitions, 920 secs || 2240898 markings, 4070296 edges, 2440 markings/sec, 920 secs
lola: 9 tries, 8634155 fired transitions, 925 secs || 2252994 markings, 4093106 edges, 2419 markings/sec, 925 secs
lola: 9 tries, 8680757 fired transitions, 930 secs || 2265251 markings, 4114672 edges, 2451 markings/sec, 930 secs
lola: 9 tries, 8727815 fired transitions, 935 secs || 2277689 markings, 4136518 edges, 2488 markings/sec, 935 secs
lola: 9 tries, 8774594 fired transitions, 940 secs || 2289894 markings, 4158222 edges, 2441 markings/sec, 940 secs
lola: 9 tries, 8821444 fired transitions, 945 secs || 2302210 markings, 4180266 edges, 2463 markings/sec, 945 secs
lola: 9 tries, 8868301 fired transitions, 950 secs || 2314211 markings, 4202088 edges, 2400 markings/sec, 950 secs
lola: 9 tries, 8914853 fired transitions, 955 secs || 2325891 markings, 4223791 edges, 2336 markings/sec, 955 secs
lola: 9 tries, 8961356 fired transitions, 960 secs || 2337466 markings, 4245939 edges, 2315 markings/sec, 960 secs
lola: 10 tries, 9007897 fired transitions, 965 secs || 2349164 markings, 4267393 edges, 2340 markings/sec, 965 secs
lola: 10 tries, 9054393 fired transitions, 970 secs || 2360818 markings, 4289006 edges, 2331 markings/sec, 970 secs
lola: 10 tries, 9101516 fired transitions, 975 secs || 2372898 markings, 4310800 edges, 2416 markings/sec, 975 secs
lola: 10 tries, 9148365 fired transitions, 980 secs || 2384977 markings, 4333143 edges, 2416 markings/sec, 980 secs
lola: 10 tries, 9195550 fired transitions, 985 secs || 2397263 markings, 4354885 edges, 2457 markings/sec, 985 secs
lola: 10 tries, 9241062 fired transitions, 990 secs || 2408949 markings, 4376121 edges, 2337 markings/sec, 990 secs
lola: 10 tries, 9286685 fired transitions, 995 secs || 2420619 markings, 4397335 edges, 2334 markings/sec, 995 secs
lola: 10 tries, 9332511 fired transitions, 1000 secs || 2432472 markings, 4418660 edges, 2371 markings/sec, 1000 secs
lola: 10 tries, 9378221 fired transitions, 1005 secs || 2444174 markings, 4440339 edges, 2340 markings/sec, 1005 secs
lola: 10 tries, 9424465 fired transitions, 1010 secs || 2456200 markings, 4462173 edges, 2405 markings/sec, 1010 secs
lola: 10 tries, 9471375 fired transitions, 1015 secs || 2468445 markings, 4484914 edges, 2449 markings/sec, 1015 secs
lola: 10 tries, 9518081 fired transitions, 1020 secs || 2480608 markings, 4507753 edges, 2433 markings/sec, 1020 secs
lola: 10 tries, 9564316 fired transitions, 1025 secs || 2492507 markings, 4530777 edges, 2380 markings/sec, 1025 secs
lola: 10 tries, 9609606 fired transitions, 1030 secs || 2504497 markings, 4552730 edges, 2398 markings/sec, 1030 secs
lola: 10 tries, 9655146 fired transitions, 1035 secs || 2516363 markings, 4575492 edges, 2373 markings/sec, 1035 secs
lola: 10 tries, 9700362 fired transitions, 1040 secs || 2528161 markings, 4597141 edges, 2360 markings/sec, 1040 secs
lola: 10 tries, 9745693 fired transitions, 1045 secs || 2539956 markings, 4619400 edges, 2359 markings/sec, 1045 secs
lola: 10 tries, 9790903 fired transitions, 1050 secs || 2551799 markings, 4641591 edges, 2369 markings/sec, 1050 secs
lola: 10 tries, 9836096 fired transitions, 1055 secs || 2563449 markings, 4664489 edges, 2330 markings/sec, 1055 secs
lola: 10 tries, 9881372 fired transitions, 1060 secs || 2575576 markings, 4685690 edges, 2425 markings/sec, 1060 secs
lola: 10 tries, 9926852 fired transitions, 1065 secs || 2587656 markings, 4706964 edges, 2416 markings/sec, 1065 secs
lola: 10 tries, 9972128 fired transitions, 1070 secs || 2599439 markings, 4728492 edges, 2357 markings/sec, 1070 secs
lola: 11 tries, 10009214 fired transitions, 1075 secs || 2611869 markings, 4750742 edges, 2486 markings/sec, 1075 secs
lola: 11 tries, 10032074 fired transitions, 1080 secs || 2624416 markings, 4773959 edges, 2509 markings/sec, 1080 secs
lola: 11 tries, 10064089 fired transitions, 1085 secs || 2636687 markings, 4796937 edges, 2454 markings/sec, 1085 secs
lola: 11 tries, 10111026 fired transitions, 1090 secs || 2649020 markings, 4818721 edges, 2467 markings/sec, 1090 secs
lola: 11 tries, 10157798 fired transitions, 1095 secs || 2661127 markings, 4841198 edges, 2421 markings/sec, 1095 secs
lola: 11 tries, 10204614 fired transitions, 1100 secs || 2673226 markings, 4863843 edges, 2420 markings/sec, 1100 secs
lola: 11 tries, 10251496 fired transitions, 1105 secs || 2685425 markings, 4886361 edges, 2440 markings/sec, 1105 secs
lola: 11 tries, 10298642 fired transitions, 1110 secs || 2697665 markings, 4908955 edges, 2448 markings/sec, 1110 secs
lola: 11 tries, 10345243 fired transitions, 1115 secs || 2709689 markings, 4931839 edges, 2405 markings/sec, 1115 secs
lola: 11 tries, 10391669 fired transitions, 1120 secs || 2721753 markings, 4955003 edges, 2413 markings/sec, 1120 secs
lola: 11 tries, 10438050 fired transitions, 1125 secs || 2733702 markings, 4978037 edges, 2390 markings/sec, 1125 secs
lola: 11 tries, 10484762 fired transitions, 1130 secs || 2745963 markings, 5000686 edges, 2452 markings/sec, 1130 secs
lola: 11 tries, 10531209 fired transitions, 1135 secs || 2758010 markings, 5023382 edges, 2409 markings/sec, 1135 secs
lola: 11 tries, 10577389 fired transitions, 1140 secs || 2769825 markings, 5048184 edges, 2363 markings/sec, 1140 secs
lola: 11 tries, 10624044 fired transitions, 1145 secs || 2781805 markings, 5072412 edges, 2396 markings/sec, 1145 secs
lola: 11 tries, 10670013 fired transitions, 1150 secs || 2793530 markings, 5096476 edges, 2345 markings/sec, 1150 secs
lola: 11 tries, 10716026 fired transitions, 1155 secs || 2805722 markings, 5118651 edges, 2438 markings/sec, 1155 secs
lola: 11 tries, 10761071 fired transitions, 1160 secs || 2817758 markings, 5142269 edges, 2407 markings/sec, 1160 secs
lola: 11 tries, 10806182 fired transitions, 1165 secs || 2830143 markings, 5163775 edges, 2477 markings/sec, 1165 secs
lola: 11 tries, 10851355 fired transitions, 1170 secs || 2842389 markings, 5185710 edges, 2449 markings/sec, 1170 secs
lola: 11 tries, 10896470 fired transitions, 1175 secs || 2854789 markings, 5207467 edges, 2480 markings/sec, 1175 secs
lola: 11 tries, 10941592 fired transitions, 1180 secs || 2867263 markings, 5228948 edges, 2495 markings/sec, 1180 secs
lola: 11 tries, 10986655 fired transitions, 1185 secs || 2879109 markings, 5252979 edges, 2369 markings/sec, 1185 secs
lola: 12 tries, 11029708 fired transitions, 1190 secs || 2891629 markings, 5274757 edges, 2504 markings/sec, 1190 secs
lola: 12 tries, 11074891 fired transitions, 1195 secs || 2904025 markings, 5296206 edges, 2479 markings/sec, 1195 secs
lola: 12 tries, 11120178 fired transitions, 1200 secs || 2916209 markings, 5317689 edges, 2437 markings/sec, 1200 secs
lola: 12 tries, 11165333 fired transitions, 1205 secs || 2928674 markings, 5339475 edges, 2493 markings/sec, 1205 secs
lola: 12 tries, 11210488 fired transitions, 1210 secs || 2941007 markings, 5360787 edges, 2467 markings/sec, 1210 secs
lola: 12 tries, 11255837 fired transitions, 1215 secs || 2953107 markings, 5382761 edges, 2420 markings/sec, 1215 secs
lola: 12 tries, 11301001 fired transitions, 1220 secs || 2965257 markings, 5404858 edges, 2430 markings/sec, 1220 secs
lola: 12 tries, 11346107 fired transitions, 1225 secs || 2977033 markings, 5428403 edges, 2355 markings/sec, 1225 secs
lola: 12 tries, 11391080 fired transitions, 1230 secs || 2989460 markings, 5449595 edges, 2485 markings/sec, 1230 secs
lola: 12 tries, 11436317 fired transitions, 1235 secs || 3001579 markings, 5471309 edges, 2424 markings/sec, 1235 secs
lola: 12 tries, 11483189 fired transitions, 1240 secs || 3013854 markings, 5492751 edges, 2455 markings/sec, 1240 secs
lola: 12 tries, 11530148 fired transitions, 1245 secs || 3026027 markings, 5514668 edges, 2435 markings/sec, 1245 secs
lola: 12 tries, 11577217 fired transitions, 1250 secs || 3038230 markings, 5536807 edges, 2441 markings/sec, 1250 secs
lola: 12 tries, 11624220 fired transitions, 1255 secs || 3050433 markings, 5558599 edges, 2441 markings/sec, 1255 secs
lola: 12 tries, 11671082 fired transitions, 1260 secs || 3062552 markings, 5581160 edges, 2424 markings/sec, 1260 secs
lola: 12 tries, 11717709 fired transitions, 1265 secs || 3074530 markings, 5604034 edges, 2396 markings/sec, 1265 secs
lola: 12 tries, 11764796 fired transitions, 1270 secs || 3086824 markings, 5625602 edges, 2459 markings/sec, 1270 secs
lola: 12 tries, 11811770 fired transitions, 1275 secs || 3099130 markings, 5647550 edges, 2461 markings/sec, 1275 secs
lola: 12 tries, 11859020 fired transitions, 1280 secs || 3111588 markings, 5668643 edges, 2492 markings/sec, 1280 secs
lola: 12 tries, 11906062 fired transitions, 1285 secs || 3123845 markings, 5690063 edges, 2451 markings/sec, 1285 secs
lola: 12 tries, 11953160 fired transitions, 1290 secs || 3136201 markings, 5711154 edges, 2471 markings/sec, 1290 secs
lola: 13 tries, 12000424 fired transitions, 1295 secs || 3148611 markings, 5732620 edges, 2482 markings/sec, 1295 secs
lola: 13 tries, 12047533 fired transitions, 1300 secs || 3160834 markings, 5754306 edges, 2445 markings/sec, 1300 secs
lola: 13 tries, 12093390 fired transitions, 1305 secs || 3171320 markings, 5773243 edges, 2097 markings/sec, 1305 secs
lola: 13 tries, 12140448 fired transitions, 1310 secs || 3183299 markings, 5794355 edges, 2396 markings/sec, 1310 secs
lola: 13 tries, 12187457 fired transitions, 1315 secs || 3195240 markings, 5816825 edges, 2388 markings/sec, 1315 secs
lola: 13 tries, 12234561 fired transitions, 1320 secs || 3207628 markings, 5838101 edges, 2478 markings/sec, 1320 secs
lola: 13 tries, 12281127 fired transitions, 1325 secs || 3219949 markings, 5859655 edges, 2464 markings/sec, 1325 secs
lola: 13 tries, 12327674 fired transitions, 1330 secs || 3231950 markings, 5881633 edges, 2400 markings/sec, 1330 secs
lola: 13 tries, 12373942 fired transitions, 1335 secs || 3243841 markings, 5905124 edges, 2378 markings/sec, 1335 secs
lola: 13 tries, 12420525 fired transitions, 1340 secs || 3255696 markings, 5926349 edges, 2371 markings/sec, 1340 secs
lola: 13 tries, 12467814 fired transitions, 1345 secs || 3267723 markings, 5946999 edges, 2405 markings/sec, 1345 secs
lola: 13 tries, 12515163 fired transitions, 1350 secs || 3279771 markings, 5967824 edges, 2410 markings/sec, 1350 secs
lola: 13 tries, 12562161 fired transitions, 1355 secs || 3291551 markings, 5989167 edges, 2356 markings/sec, 1355 secs
lola: 13 tries, 12608944 fired transitions, 1360 secs || 3303425 markings, 6010610 edges, 2375 markings/sec, 1360 secs
lola: 13 tries, 12655727 fired transitions, 1365 secs || 3315174 markings, 6031892 edges, 2350 markings/sec, 1365 secs
lola: 13 tries, 12702840 fired transitions, 1370 secs || 3327098 markings, 6052613 edges, 2385 markings/sec, 1370 secs
lola: 13 tries, 12749973 fired transitions, 1375 secs || 3339081 markings, 6073707 edges, 2397 markings/sec, 1375 secs
lola: 13 tries, 12796648 fired transitions, 1380 secs || 3350789 markings, 6095035 edges, 2342 markings/sec, 1380 secs
lola: 13 tries, 12843717 fired transitions, 1385 secs || 3362697 markings, 6116148 edges, 2382 markings/sec, 1385 secs
lola: 13 tries, 12890280 fired transitions, 1390 secs || 3374265 markings, 6137403 edges, 2314 markings/sec, 1390 secs
lola: 13 tries, 12936914 fired transitions, 1395 secs || 3385968 markings, 6159298 edges, 2341 markings/sec, 1395 secs
lola: 13 tries, 12983285 fired transitions, 1400 secs || 3397617 markings, 6180997 edges, 2330 markings/sec, 1400 secs
lola: 14 tries, 13029396 fired transitions, 1405 secs || 3409519 markings, 6204213 edges, 2380 markings/sec, 1405 secs
lola: 14 tries, 13076239 fired transitions, 1410 secs || 3421350 markings, 6225061 edges, 2366 markings/sec, 1410 secs
lola: 14 tries, 13123259 fired transitions, 1415 secs || 3433467 markings, 6246040 edges, 2423 markings/sec, 1415 secs
lola: 14 tries, 13170278 fired transitions, 1420 secs || 3445907 markings, 6267582 edges, 2488 markings/sec, 1420 secs
lola: 14 tries, 13217511 fired transitions, 1425 secs || 3458328 markings, 6289042 edges, 2484 markings/sec, 1425 secs
lola: 14 tries, 13264680 fired transitions, 1430 secs || 3470302 markings, 6310097 edges, 2395 markings/sec, 1430 secs
lola: 14 tries, 13311452 fired transitions, 1435 secs || 3482100 markings, 6331253 edges, 2360 markings/sec, 1435 secs
lola: 14 tries, 13358994 fired transitions, 1440 secs || 3494471 markings, 6352753 edges, 2474 markings/sec, 1440 secs
lola: 14 tries, 13404034 fired transitions, 1445 secs || 3506853 markings, 6374457 edges, 2476 markings/sec, 1445 secs
lola: 14 tries, 13448578 fired transitions, 1450 secs || 3519024 markings, 6396330 edges, 2434 markings/sec, 1450 secs
lola: 14 tries, 13493179 fired transitions, 1455 secs || 3531371 markings, 6418087 edges, 2469 markings/sec, 1455 secs
lola: 14 tries, 13538828 fired transitions, 1460 secs || 3543519 markings, 6440332 edges, 2430 markings/sec, 1460 secs
lola: 14 tries, 13585858 fired transitions, 1465 secs || 3555783 markings, 6462930 edges, 2453 markings/sec, 1465 secs
lola: 14 tries, 13632597 fired transitions, 1470 secs || 3568143 markings, 6484889 edges, 2472 markings/sec, 1470 secs
lola: 14 tries, 13679611 fired transitions, 1475 secs || 3580280 markings, 6507086 edges, 2427 markings/sec, 1475 secs
lola: 14 tries, 13726521 fired transitions, 1480 secs || 3592331 markings, 6528807 edges, 2410 markings/sec, 1480 secs
lola: 14 tries, 13773504 fired transitions, 1485 secs || 3604385 markings, 6551160 edges, 2411 markings/sec, 1485 secs
lola: 14 tries, 13820516 fired transitions, 1490 secs || 3616548 markings, 6573188 edges, 2433 markings/sec, 1490 secs
lola: 14 tries, 13867579 fired transitions, 1495 secs || 3628699 markings, 6595049 edges, 2430 markings/sec, 1495 secs
lola: 14 tries, 13914582 fired transitions, 1500 secs || 3640796 markings, 6617083 edges, 2419 markings/sec, 1500 secs
lola: 14 tries, 13961673 fired transitions, 1505 secs || 3652936 markings, 6638958 edges, 2428 markings/sec, 1505 secs
lola: 15 tries, 14008161 fired transitions, 1510 secs || 3664985 markings, 6661022 edges, 2410 markings/sec, 1510 secs
lola: 15 tries, 14055087 fired transitions, 1515 secs || 3676945 markings, 6683288 edges, 2392 markings/sec, 1515 secs
lola: 15 tries, 14102202 fired transitions, 1520 secs || 3689193 markings, 6705764 edges, 2450 markings/sec, 1520 secs
lola: 15 tries, 14149274 fired transitions, 1525 secs || 3701351 markings, 6727987 edges, 2432 markings/sec, 1525 secs
lola: 15 tries, 14196525 fired transitions, 1530 secs || 3713688 markings, 6750257 edges, 2467 markings/sec, 1530 secs
lola: 15 tries, 14243077 fired transitions, 1535 secs || 3725583 markings, 6773525 edges, 2379 markings/sec, 1535 secs
lola: 15 tries, 14290113 fired transitions, 1540 secs || 3737894 markings, 6795216 edges, 2462 markings/sec, 1540 secs
lola: 15 tries, 14336538 fired transitions, 1545 secs || 3749737 markings, 6818960 edges, 2369 markings/sec, 1545 secs
lola: 15 tries, 14383094 fired transitions, 1550 secs || 3761763 markings, 6842451 edges, 2405 markings/sec, 1550 secs
lola: 15 tries, 14430308 fired transitions, 1555 secs || 3774131 markings, 6863402 edges, 2474 markings/sec, 1555 secs
lola: 15 tries, 14477115 fired transitions, 1560 secs || 3786162 markings, 6884888 edges, 2406 markings/sec, 1560 secs
lola: 15 tries, 14524363 fired transitions, 1565 secs || 3798541 markings, 6906082 edges, 2476 markings/sec, 1565 secs
lola: 15 tries, 14571559 fired transitions, 1570 secs || 3810847 markings, 6927291 edges, 2461 markings/sec, 1570 secs
lola: 15 tries, 14618754 fired transitions, 1575 secs || 3823130 markings, 6948775 edges, 2457 markings/sec, 1575 secs
lola: 15 tries, 14666038 fired transitions, 1580 secs || 3835572 markings, 6969987 edges, 2488 markings/sec, 1580 secs
lola: 15 tries, 14711600 fired transitions, 1585 secs || 3847586 markings, 6992676 edges, 2403 markings/sec, 1585 secs
lola: 15 tries, 14756375 fired transitions, 1590 secs || 3859422 markings, 7016524 edges, 2367 markings/sec, 1590 secs
lola: 15 tries, 14801376 fired transitions, 1595 secs || 3871580 markings, 7039580 edges, 2432 markings/sec, 1595 secs
lola: 15 tries, 14846383 fired transitions, 1600 secs || 3883739 markings, 7061835 edges, 2432 markings/sec, 1600 secs
lola: 15 tries, 14891367 fired transitions, 1605 secs || 3895465 markings, 7085737 edges, 2345 markings/sec, 1605 secs
lola: 15 tries, 14936605 fired transitions, 1610 secs || 3907619 markings, 7108727 edges, 2431 markings/sec, 1610 secs
lola: 15 tries, 14981452 fired transitions, 1615 secs || 3919946 markings, 7130610 edges, 2465 markings/sec, 1615 secs
lola: 16 tries, 15013281 fired transitions, 1620 secs || 3932675 markings, 7152267 edges, 2546 markings/sec, 1620 secs
lola: 16 tries, 15046925 fired transitions, 1625 secs || 3945122 markings, 7174217 edges, 2489 markings/sec, 1625 secs
lola: 16 tries, 15092151 fired transitions, 1630 secs || 3957540 markings, 7196103 edges, 2484 markings/sec, 1630 secs
lola: 16 tries, 15137495 fired transitions, 1635 secs || 3970008 markings, 7217811 edges, 2494 markings/sec, 1635 secs
lola: 16 tries, 15182775 fired transitions, 1640 secs || 3982277 markings, 7239444 edges, 2454 markings/sec, 1640 secs
lola: 16 tries, 15227990 fired transitions, 1645 secs || 3994543 markings, 7261019 edges, 2453 markings/sec, 1645 secs
lola: 16 tries, 15273096 fired transitions, 1650 secs || 4006543 markings, 7282944 edges, 2400 markings/sec, 1650 secs
lola: 16 tries, 15318280 fired transitions, 1655 secs || 4018960 markings, 7304156 edges, 2483 markings/sec, 1655 secs
lola: 16 tries, 15363710 fired transitions, 1660 secs || 4031139 markings, 7326178 edges, 2436 markings/sec, 1660 secs
lola: 16 tries, 15409094 fired transitions, 1665 secs || 4043227 markings, 7348348 edges, 2418 markings/sec, 1665 secs
lola: 16 tries, 15454618 fired transitions, 1670 secs || 4055333 markings, 7370466 edges, 2421 markings/sec, 1670 secs
lola: 16 tries, 15501753 fired transitions, 1675 secs || 4067564 markings, 7391803 edges, 2446 markings/sec, 1675 secs
lola: 16 tries, 15548211 fired transitions, 1680 secs || 4079430 markings, 7415615 edges, 2373 markings/sec, 1680 secs
lola: 16 tries, 15594884 fired transitions, 1685 secs || 4091507 markings, 7437726 edges, 2415 markings/sec, 1685 secs
lola: 16 tries, 15642071 fired transitions, 1690 secs || 4103839 markings, 7459470 edges, 2466 markings/sec, 1690 secs
lola: 16 tries, 15689079 fired transitions, 1695 secs || 4115934 markings, 7481612 edges, 2419 markings/sec, 1695 secs
lola: 16 tries, 15735178 fired transitions, 1700 secs || 4128318 markings, 7503449 edges, 2477 markings/sec, 1700 secs
lola: 16 tries, 15780339 fired transitions, 1705 secs || 4140394 markings, 7525491 edges, 2415 markings/sec, 1705 secs
lola: 16 tries, 15825142 fired transitions, 1710 secs || 4152373 markings, 7549557 edges, 2396 markings/sec, 1710 secs
lola: 16 tries, 15870621 fired transitions, 1715 secs || 4164752 markings, 7571009 edges, 2476 markings/sec, 1715 secs
lola: 16 tries, 15916037 fired transitions, 1720 secs || 4176843 markings, 7593078 edges, 2418 markings/sec, 1720 secs
lola: 16 tries, 15961448 fired transitions, 1725 secs || 4189063 markings, 7615153 edges, 2444 markings/sec, 1725 secs
lola: 17 tries, 16003444 fired transitions, 1730 secs || 4201520 markings, 7636879 edges, 2491 markings/sec, 1730 secs
lola: 17 tries, 16043630 fired transitions, 1735 secs || 4213496 markings, 7659945 edges, 2395 markings/sec, 1735 secs
lola: 17 tries, 16089252 fired transitions, 1740 secs || 4225730 markings, 7682424 edges, 2447 markings/sec, 1740 secs
lola: 17 tries, 16134391 fired transitions, 1745 secs || 4237526 markings, 7705515 edges, 2359 markings/sec, 1745 secs
lola: 17 tries, 16179568 fired transitions, 1750 secs || 4250033 markings, 7726684 edges, 2501 markings/sec, 1750 secs
lola: 17 tries, 16224893 fired transitions, 1755 secs || 4262151 markings, 7748495 edges, 2424 markings/sec, 1755 secs
lola: 17 tries, 16269999 fired transitions, 1760 secs || 4274366 markings, 7770154 edges, 2443 markings/sec, 1760 secs
lola: 17 tries, 16315484 fired transitions, 1765 secs || 4286658 markings, 7791495 edges, 2458 markings/sec, 1765 secs
lola: 17 tries, 16360969 fired transitions, 1770 secs || 4299079 markings, 7813256 edges, 2484 markings/sec, 1770 secs
lola: 17 tries, 16406223 fired transitions, 1775 secs || 4311079 markings, 7835746 edges, 2400 markings/sec, 1775 secs
lola: 17 tries, 16451282 fired transitions, 1780 secs || 4323442 markings, 7857320 edges, 2473 markings/sec, 1780 secs
lola: 17 tries, 16496753 fired transitions, 1785 secs || 4335474 markings, 7879585 edges, 2406 markings/sec, 1785 secs
lola: 17 tries, 16542155 fired transitions, 1790 secs || 4347859 markings, 7901047 edges, 2477 markings/sec, 1790 secs
lola: 17 tries, 16587629 fired transitions, 1795 secs || 4360079 markings, 7923175 edges, 2444 markings/sec, 1795 secs
lola: 17 tries, 16632905 fired transitions, 1800 secs || 4372243 markings, 7945509 edges, 2433 markings/sec, 1800 secs
lola: 17 tries, 16678550 fired transitions, 1805 secs || 4384495 markings, 7967834 edges, 2450 markings/sec, 1805 secs
lola: 17 tries, 16725624 fired transitions, 1810 secs || 4396394 markings, 7990950 edges, 2380 markings/sec, 1810 secs
lola: 17 tries, 16771698 fired transitions, 1815 secs || 4408246 markings, 8015130 edges, 2370 markings/sec, 1815 secs
lola: 17 tries, 16818085 fired transitions, 1820 secs || 4420253 markings, 8039074 edges, 2401 markings/sec, 1820 secs
lola: 17 tries, 16862970 fired transitions, 1825 secs || 4432170 markings, 8063956 edges, 2383 markings/sec, 1825 secs
lola: 17 tries, 16907806 fired transitions, 1830 secs || 4444195 markings, 8087507 edges, 2405 markings/sec, 1830 secs
lola: 17 tries, 16953033 fired transitions, 1835 secs || 4456341 markings, 8111536 edges, 2429 markings/sec, 1835 secs
lola: 17 tries, 16997896 fired transitions, 1840 secs || 4467912 markings, 8135444 edges, 2314 markings/sec, 1840 secs
lola: 18 tries, 17043038 fired transitions, 1845 secs || 4479956 markings, 8158054 edges, 2409 markings/sec, 1845 secs
lola: 18 tries, 17088105 fired transitions, 1850 secs || 4492150 markings, 8179472 edges, 2439 markings/sec, 1850 secs
lola: 18 tries, 17133409 fired transitions, 1855 secs || 4504584 markings, 8200738 edges, 2487 markings/sec, 1855 secs
lola: 18 tries, 17178569 fired transitions, 1860 secs || 4516877 markings, 8222171 edges, 2459 markings/sec, 1860 secs
lola: 18 tries, 17224197 fired transitions, 1865 secs || 4529092 markings, 8244212 edges, 2443 markings/sec, 1865 secs
lola: 18 tries, 17269671 fired transitions, 1870 secs || 4541363 markings, 8266197 edges, 2454 markings/sec, 1870 secs
lola: 18 tries, 17314653 fired transitions, 1875 secs || 4553145 markings, 8289744 edges, 2356 markings/sec, 1875 secs
lola: 18 tries, 17359860 fired transitions, 1880 secs || 4565557 markings, 8311402 edges, 2482 markings/sec, 1880 secs
lola: 18 tries, 17404729 fired transitions, 1885 secs || 4577539 markings, 8334123 edges, 2396 markings/sec, 1885 secs
lola: 18 tries, 17449868 fired transitions, 1890 secs || 4589821 markings, 8355470 edges, 2456 markings/sec, 1890 secs
lola: 18 tries, 17495061 fired transitions, 1895 secs || 4602172 markings, 8376926 edges, 2470 markings/sec, 1895 secs
lola: 18 tries, 17540204 fired transitions, 1900 secs || 4614478 markings, 8398267 edges, 2461 markings/sec, 1900 secs
lola: 18 tries, 17585690 fired transitions, 1905 secs || 4626860 markings, 8420007 edges, 2476 markings/sec, 1905 secs
lola: 18 tries, 17631098 fired transitions, 1910 secs || 4639188 markings, 8441926 edges, 2466 markings/sec, 1910 secs
lola: 18 tries, 17676294 fired transitions, 1915 secs || 4651026 markings, 8464958 edges, 2368 markings/sec, 1915 secs
lola: 18 tries, 17721623 fired transitions, 1920 secs || 4663346 markings, 8486421 edges, 2464 markings/sec, 1920 secs
lola: 18 tries, 17767042 fired transitions, 1925 secs || 4675640 markings, 8507919 edges, 2459 markings/sec, 1925 secs
lola: 18 tries, 17812378 fired transitions, 1930 secs || 4687773 markings, 8530179 edges, 2427 markings/sec, 1930 secs
lola: 18 tries, 17858105 fired transitions, 1935 secs || 4700039 markings, 8552523 edges, 2453 markings/sec, 1935 secs
lola: 18 tries, 17905265 fired transitions, 1940 secs || 4712178 markings, 8574697 edges, 2428 markings/sec, 1940 secs
lola: 18 tries, 17951633 fired transitions, 1945 secs || 4724254 markings, 8596722 edges, 2415 markings/sec, 1945 secs
lola: 18 tries, 17998726 fired transitions, 1950 secs || 4736557 markings, 8618138 edges, 2461 markings/sec, 1950 secs
lola: 19 tries, 18045848 fired transitions, 1955 secs || 4748855 markings, 8639490 edges, 2460 markings/sec, 1955 secs
lola: 19 tries, 18092829 fired transitions, 1960 secs || 4760773 markings, 8661916 edges, 2384 markings/sec, 1960 secs
lola: 19 tries, 18140047 fired transitions, 1965 secs || 4773144 markings, 8683495 edges, 2474 markings/sec, 1965 secs
lola: 19 tries, 18187204 fired transitions, 1970 secs || 4785309 markings, 8705700 edges, 2433 markings/sec, 1970 secs
lola: 19 tries, 18234031 fired transitions, 1975 secs || 4797267 markings, 8727828 edges, 2392 markings/sec, 1975 secs
lola: 19 tries, 18281012 fired transitions, 1980 secs || 4809338 markings, 8750244 edges, 2414 markings/sec, 1980 secs
lola: 19 tries, 18328020 fired transitions, 1985 secs || 4821479 markings, 8772443 edges, 2428 markings/sec, 1985 secs
lola: 19 tries, 18375144 fired transitions, 1990 secs || 4833723 markings, 8794760 edges, 2449 markings/sec, 1990 secs
lola: 19 tries, 18422147 fired transitions, 1995 secs || 4845849 markings, 8817173 edges, 2425 markings/sec, 1995 secs
lola: 19 tries, 18468897 fired transitions, 2000 secs || 4857857 markings, 8838935 edges, 2402 markings/sec, 2000 secs
lola: 19 tries, 18516302 fired transitions, 2005 secs || 4870102 markings, 8861234 edges, 2449 markings/sec, 2005 secs
lola: 19 tries, 18563239 fired transitions, 2010 secs || 4882175 markings, 8883942 edges, 2415 markings/sec, 2010 secs
lola: 19 tries, 18609928 fired transitions, 2015 secs || 4894364 markings, 8906939 edges, 2438 markings/sec, 2015 secs
lola: 19 tries, 18654966 fired transitions, 2020 secs || 4905916 markings, 8929872 edges, 2310 markings/sec, 2020 secs
lola: 19 tries, 18700222 fired transitions, 2025 secs || 4917385 markings, 8953076 edges, 2294 markings/sec, 2025 secs
lola: 19 tries, 18745228 fired transitions, 2030 secs || 4928855 markings, 8975807 edges, 2294 markings/sec, 2030 secs
lola: 19 tries, 18790405 fired transitions, 2035 secs || 4940491 markings, 8998330 edges, 2327 markings/sec, 2035 secs
lola: 19 tries, 18836847 fired transitions, 2040 secs || 4952694 markings, 9019265 edges, 2441 markings/sec, 2040 secs
lola: 19 tries, 18883845 fired transitions, 2045 secs || 4964865 markings, 9040725 edges, 2434 markings/sec, 2045 secs
lola: 19 tries, 18930866 fired transitions, 2050 secs || 4976997 markings, 9062614 edges, 2426 markings/sec, 2050 secs
lola: 19 tries, 18978001 fired transitions, 2055 secs || 4989208 markings, 9084513 edges, 2442 markings/sec, 2055 secs
lola: 20 tries, 19025040 fired transitions, 2060 secs || 5001364 markings, 9106166 edges, 2431 markings/sec, 2060 secs
lola: 20 tries, 19071218 fired transitions, 2065 secs || 5013652 markings, 9127759 edges, 2458 markings/sec, 2065 secs
lola: 20 tries, 19116532 fired transitions, 2070 secs || 5025795 markings, 9149716 edges, 2429 markings/sec, 2070 secs
lola: 20 tries, 19162072 fired transitions, 2075 secs || 5038345 markings, 9171259 edges, 2510 markings/sec, 2075 secs
lola: 20 tries, 19207403 fired transitions, 2080 secs || 5050504 markings, 9193128 edges, 2432 markings/sec, 2080 secs
lola: 20 tries, 19252890 fired transitions, 2085 secs || 5062607 markings, 9215205 edges, 2421 markings/sec, 2085 secs
lola: 20 tries, 19298247 fired transitions, 2090 secs || 5074884 markings, 9237556 edges, 2455 markings/sec, 2090 secs
lola: 20 tries, 19343622 fired transitions, 2095 secs || 5086979 markings, 9260964 edges, 2419 markings/sec, 2095 secs
lola: 20 tries, 19388386 fired transitions, 2100 secs || 5098725 markings, 9284906 edges, 2349 markings/sec, 2100 secs
lola: 20 tries, 19433992 fired transitions, 2105 secs || 5110785 markings, 9309292 edges, 2412 markings/sec, 2105 secs
lola: 20 tries, 19479165 fired transitions, 2110 secs || 5122931 markings, 9332741 edges, 2429 markings/sec, 2110 secs
lola: 20 tries, 19523697 fired transitions, 2115 secs || 5135121 markings, 9354377 edges, 2438 markings/sec, 2115 secs
lola: 20 tries, 19568401 fired transitions, 2120 secs || 5147225 markings, 9376874 edges, 2421 markings/sec, 2120 secs
lola: 20 tries, 19612918 fired transitions, 2125 secs || 5159546 markings, 9398519 edges, 2464 markings/sec, 2125 secs
lola: 20 tries, 19657408 fired transitions, 2130 secs || 5171661 markings, 9420685 edges, 2423 markings/sec, 2130 secs
lola: 20 tries, 19702035 fired transitions, 2135 secs || 5184004 markings, 9443240 edges, 2469 markings/sec, 2135 secs
lola: 20 tries, 19746673 fired transitions, 2140 secs || 5196116 markings, 9465769 edges, 2422 markings/sec, 2140 secs
lola: 20 tries, 19790981 fired transitions, 2145 secs || 5208104 markings, 9488363 edges, 2398 markings/sec, 2145 secs
lola: 20 tries, 19835667 fired transitions, 2150 secs || 5220569 markings, 9510171 edges, 2493 markings/sec, 2150 secs
lola: 20 tries, 19880158 fired transitions, 2155 secs || 5232868 markings, 9532399 edges, 2460 markings/sec, 2155 secs
lola: 20 tries, 19924922 fired transitions, 2160 secs || 5245055 markings, 9554960 edges, 2437 markings/sec, 2160 secs
lola: 20 tries, 19970217 fired transitions, 2165 secs || 5257413 markings, 9577170 edges, 2472 markings/sec, 2165 secs
lola: 21 tries, 20007779 fired transitions, 2170 secs || 5269803 markings, 9599703 edges, 2478 markings/sec, 2170 secs
lola: 21 tries, 20040339 fired transitions, 2175 secs || 5281696 markings, 9623624 edges, 2379 markings/sec, 2175 secs
lola: 21 tries, 20085551 fired transitions, 2180 secs || 5293450 markings, 9647459 edges, 2351 markings/sec, 2180 secs
lola: 21 tries, 20132464 fired transitions, 2185 secs || 5305913 markings, 9668567 edges, 2493 markings/sec, 2185 secs
lola: 21 tries, 20178895 fired transitions, 2190 secs || 5317830 markings, 9691552 edges, 2383 markings/sec, 2190 secs
lola: 21 tries, 20223957 fired transitions, 2195 secs || 5329597 markings, 9716533 edges, 2353 markings/sec, 2195 secs
lola: 21 tries, 20269167 fired transitions, 2200 secs || 5341556 markings, 9741091 edges, 2392 markings/sec, 2200 secs
lola: 21 tries, 20315862 fired transitions, 2205 secs || 5353618 markings, 9764779 edges, 2412 markings/sec, 2205 secs
lola: 21 tries, 20363002 fired transitions, 2210 secs || 5365744 markings, 9788901 edges, 2425 markings/sec, 2210 secs
lola: 21 tries, 20409895 fired transitions, 2215 secs || 5377812 markings, 9812900 edges, 2414 markings/sec, 2215 secs
lola: 21 tries, 20454258 fired transitions, 2220 secs || 5389596 markings, 9837298 edges, 2357 markings/sec, 2220 secs
lola: 21 tries, 20498357 fired transitions, 2225 secs || 5401577 markings, 9859628 edges, 2396 markings/sec, 2225 secs
lola: 21 tries, 20542957 fired transitions, 2230 secs || 5413827 markings, 9882606 edges, 2450 markings/sec, 2230 secs
lola: 21 tries, 20587611 fired transitions, 2235 secs || 5426077 markings, 9904307 edges, 2450 markings/sec, 2235 secs
lola: 21 tries, 20632156 fired transitions, 2240 secs || 5438501 markings, 9926163 edges, 2485 markings/sec, 2240 secs
lola: 21 tries, 20676678 fired transitions, 2245 secs || 5450860 markings, 9947919 edges, 2472 markings/sec, 2245 secs
lola: 21 tries, 20722361 fired transitions, 2250 secs || 5463154 markings, 9969624 edges, 2459 markings/sec, 2250 secs
lola: 21 tries, 20769491 fired transitions, 2255 secs || 5475286 markings, 9991913 edges, 2426 markings/sec, 2255 secs
lola: 21 tries, 20816593 fired transitions, 2260 secs || 5487452 markings, 10014024 edges, 2433 markings/sec, 2260 secs
lola: 21 tries, 20863561 fired transitions, 2265 secs || 5499568 markings, 10035980 edges, 2423 markings/sec, 2265 secs
lola: 21 tries, 20910764 fired transitions, 2270 secs || 5511924 markings, 10057801 edges, 2471 markings/sec, 2270 secs
lola: 21 tries, 20956804 fired transitions, 2275 secs || 5524172 markings, 10079961 edges, 2450 markings/sec, 2275 secs
lola: 22 tries, 21001106 fired transitions, 2280 secs || 5536374 markings, 10102977 edges, 2440 markings/sec, 2280 secs
lola: 22 tries, 21023491 fired transitions, 2285 secs || 5548978 markings, 10126040 edges, 2521 markings/sec, 2285 secs
lola: 22 tries, 21045834 fired transitions, 2290 secs || 5561523 markings, 10149254 edges, 2509 markings/sec, 2290 secs
lola: 22 tries, 21068396 fired transitions, 2295 secs || 5574374 markings, 10171736 edges, 2570 markings/sec, 2295 secs
lola: 22 tries, 21090895 fired transitions, 2300 secs || 5587138 markings, 10194514 edges, 2553 markings/sec, 2300 secs
lola: 22 tries, 21112994 fired transitions, 2305 secs || 5599349 markings, 10218492 edges, 2442 markings/sec, 2305 secs
lola: 22 tries, 21151775 fired transitions, 2310 secs || 5611497 markings, 10241308 edges, 2430 markings/sec, 2310 secs
lola: 22 tries, 21197276 fired transitions, 2315 secs || 5623645 markings, 10264394 edges, 2430 markings/sec, 2315 secs
lola: 22 tries, 21242805 fired transitions, 2320 secs || 5635780 markings, 10287355 edges, 2427 markings/sec, 2320 secs
lola: 22 tries, 21288346 fired transitions, 2325 secs || 5648061 markings, 10309711 edges, 2456 markings/sec, 2325 secs
lola: 22 tries, 21333726 fired transitions, 2330 secs || 5660295 markings, 10332570 edges, 2447 markings/sec, 2330 secs
lola: 22 tries, 21379233 fired transitions, 2335 secs || 5672352 markings, 10355700 edges, 2411 markings/sec, 2335 secs
lola: 22 tries, 21424729 fired transitions, 2340 secs || 5684679 markings, 10378401 edges, 2465 markings/sec, 2340 secs
lola: 22 tries, 21469939 fired transitions, 2345 secs || 5696893 markings, 10401124 edges, 2443 markings/sec, 2345 secs
lola: 22 tries, 21515611 fired transitions, 2350 secs || 5709045 markings, 10423782 edges, 2430 markings/sec, 2350 secs
lola: 22 tries, 21561052 fired transitions, 2355 secs || 5721203 markings, 10446509 edges, 2432 markings/sec, 2355 secs
lola: 22 tries, 21606262 fired transitions, 2360 secs || 5733314 markings, 10469669 edges, 2422 markings/sec, 2360 secs
lola: 22 tries, 21651477 fired transitions, 2365 secs || 5745528 markings, 10492275 edges, 2443 markings/sec, 2365 secs
lola: 22 tries, 21696209 fired transitions, 2370 secs || 5757306 markings, 10516685 edges, 2356 markings/sec, 2370 secs
lola: 22 tries, 21741142 fired transitions, 2375 secs || 5769155 markings, 10540169 edges, 2370 markings/sec, 2375 secs
lola: 22 tries, 21785974 fired transitions, 2380 secs || 5781138 markings, 10562321 edges, 2397 markings/sec, 2380 secs
lola: 22 tries, 21830912 fired transitions, 2385 secs || 5793243 markings, 10584794 edges, 2421 markings/sec, 2385 secs
lola: 22 tries, 21876037 fired transitions, 2390 secs || 5805146 markings, 10609449 edges, 2381 markings/sec, 2390 secs
lola: 22 tries, 21920906 fired transitions, 2395 secs || 5816893 markings, 10633769 edges, 2349 markings/sec, 2395 secs
lola: 22 tries, 21965912 fired transitions, 2400 secs || 5829050 markings, 10656100 edges, 2431 markings/sec, 2400 secs
lola: 23 tries, 22005631 fired transitions, 2405 secs || 5841495 markings, 10677899 edges, 2489 markings/sec, 2405 secs
lola: 23 tries, 22028211 fired transitions, 2410 secs || 5854268 markings, 10700275 edges, 2555 markings/sec, 2410 secs
lola: 23 tries, 22066773 fired transitions, 2415 secs || 5866948 markings, 10722016 edges, 2536 markings/sec, 2415 secs
lola: 23 tries, 22111939 fired transitions, 2420 secs || 5879510 markings, 10743311 edges, 2512 markings/sec, 2420 secs
lola: 23 tries, 22156934 fired transitions, 2425 secs || 5891855 markings, 10764723 edges, 2469 markings/sec, 2425 secs
lola: 23 tries, 22202738 fired transitions, 2430 secs || 5904263 markings, 10786266 edges, 2482 markings/sec, 2430 secs
lola: 23 tries, 22249934 fired transitions, 2435 secs || 5916459 markings, 10807992 edges, 2439 markings/sec, 2435 secs
lola: 23 tries, 22297228 fired transitions, 2440 secs || 5928842 markings, 10829546 edges, 2477 markings/sec, 2440 secs
lola: 23 tries, 22344275 fired transitions, 2445 secs || 5941034 markings, 10851438 edges, 2438 markings/sec, 2445 secs
lola: 23 tries, 22391405 fired transitions, 2450 secs || 5953112 markings, 10873787 edges, 2416 markings/sec, 2450 secs
lola: 23 tries, 22438391 fired transitions, 2455 secs || 5965279 markings, 10895429 edges, 2433 markings/sec, 2455 secs
lola: 23 tries, 22485713 fired transitions, 2460 secs || 5977571 markings, 10917321 edges, 2458 markings/sec, 2460 secs
lola: 23 tries, 22532920 fired transitions, 2465 secs || 5989753 markings, 10939240 edges, 2436 markings/sec, 2465 secs
lola: 23 tries, 22579923 fired transitions, 2470 secs || 6001978 markings, 10961426 edges, 2445 markings/sec, 2470 secs
lola: 23 tries, 22626955 fired transitions, 2475 secs || 6014242 markings, 10983595 edges, 2453 markings/sec, 2475 secs
lola: 23 tries, 22673786 fired transitions, 2480 secs || 6026332 markings, 11005614 edges, 2418 markings/sec, 2480 secs
lola: 23 tries, 22720498 fired transitions, 2485 secs || 6038252 markings, 11028240 edges, 2384 markings/sec, 2485 secs
lola: 23 tries, 22767726 fired transitions, 2490 secs || 6050687 markings, 11049721 edges, 2487 markings/sec, 2490 secs
lola: 23 tries, 22814784 fired transitions, 2495 secs || 6062786 markings, 11071298 edges, 2420 markings/sec, 2495 secs
lola: 23 tries, 22861787 fired transitions, 2500 secs || 6075012 markings, 11092908 edges, 2445 markings/sec, 2500 secs
lola: 23 tries, 22908982 fired transitions, 2505 secs || 6087381 markings, 11114177 edges, 2474 markings/sec, 2505 secs
lola: 23 tries, 22955864 fired transitions, 2510 secs || 6099507 markings, 11136019 edges, 2425 markings/sec, 2510 secs
lola: 24 tries, 23002861 fired transitions, 2515 secs || 6111888 markings, 11157016 edges, 2476 markings/sec, 2515 secs
lola: 24 tries, 23050034 fired transitions, 2520 secs || 6124228 markings, 11178075 edges, 2468 markings/sec, 2520 secs
lola: 24 tries, 23097173 fired transitions, 2525 secs || 6136536 markings, 11199737 edges, 2462 markings/sec, 2525 secs
lola: 24 tries, 23144169 fired transitions, 2530 secs || 6148716 markings, 11221150 edges, 2436 markings/sec, 2530 secs
lola: 24 tries, 23190917 fired transitions, 2535 secs || 6160764 markings, 11242848 edges, 2410 markings/sec, 2535 secs
lola: 24 tries, 23238008 fired transitions, 2540 secs || 6173038 markings, 11264297 edges, 2455 markings/sec, 2540 secs
lola: 24 tries, 23285134 fired transitions, 2545 secs || 6185179 markings, 11285969 edges, 2428 markings/sec, 2545 secs
lola: 24 tries, 23331997 fired transitions, 2550 secs || 6197181 markings, 11308374 edges, 2400 markings/sec, 2550 secs
lola: 24 tries, 23378907 fired transitions, 2555 secs || 6209378 markings, 11330077 edges, 2439 markings/sec, 2555 secs
lola: 24 tries, 23426064 fired transitions, 2560 secs || 6221675 markings, 11351613 edges, 2459 markings/sec, 2560 secs
lola: 24 tries, 23473133 fired transitions, 2565 secs || 6233808 markings, 11373451 edges, 2427 markings/sec, 2565 secs
lola: 24 tries, 23520130 fired transitions, 2570 secs || 6245936 markings, 11395433 edges, 2426 markings/sec, 2570 secs
lola: 24 tries, 23566853 fired transitions, 2575 secs || 6257915 markings, 11418094 edges, 2396 markings/sec, 2575 secs
lola: 24 tries, 23613751 fired transitions, 2580 secs || 6270249 markings, 11439640 edges, 2467 markings/sec, 2580 secs
lola: 24 tries, 23660347 fired transitions, 2585 secs || 6282486 markings, 11461974 edges, 2447 markings/sec, 2585 secs
lola: 24 tries, 23707125 fired transitions, 2590 secs || 6294927 markings, 11483417 edges, 2488 markings/sec, 2590 secs
lola: 24 tries, 23753820 fired transitions, 2595 secs || 6307114 markings, 11505391 edges, 2437 markings/sec, 2595 secs
lola: 24 tries, 23799195 fired transitions, 2600 secs || 6318977 markings, 11526938 edges, 2373 markings/sec, 2600 secs
lola: 24 tries, 23845087 fired transitions, 2605 secs || 6331046 markings, 11548412 edges, 2414 markings/sec, 2605 secs
lola: 24 tries, 23891842 fired transitions, 2610 secs || 6343214 markings, 11570713 edges, 2434 markings/sec, 2610 secs
lola: 24 tries, 23938774 fired transitions, 2615 secs || 6355310 markings, 11593476 edges, 2419 markings/sec, 2615 secs
lola: 24 tries, 23985557 fired transitions, 2620 secs || 6367615 markings, 11615224 edges, 2461 markings/sec, 2620 secs
lola: 25 tries, 24015972 fired transitions, 2625 secs || 6380207 markings, 11637535 edges, 2518 markings/sec, 2625 secs
lola: 25 tries, 24038746 fired transitions, 2630 secs || 6392639 markings, 11660701 edges, 2486 markings/sec, 2630 secs
lola: 25 tries, 24061581 fired transitions, 2635 secs || 6405097 markings, 11683477 edges, 2492 markings/sec, 2635 secs
lola: 25 tries, 24084529 fired transitions, 2640 secs || 6417733 markings, 11706156 edges, 2527 markings/sec, 2640 secs
lola: 25 tries, 24107361 fired transitions, 2645 secs || 6430177 markings, 11729221 edges, 2489 markings/sec, 2645 secs
lola: 25 tries, 24151290 fired transitions, 2650 secs || 6442369 markings, 11751809 edges, 2438 markings/sec, 2650 secs
lola: 25 tries, 24198054 fired transitions, 2655 secs || 6454543 markings, 11773408 edges, 2435 markings/sec, 2655 secs
lola: 25 tries, 24245134 fired transitions, 2660 secs || 6466746 markings, 11795264 edges, 2441 markings/sec, 2660 secs
lola: 25 tries, 24292041 fired transitions, 2665 secs || 6479102 markings, 11816919 edges, 2471 markings/sec, 2665 secs
lola: 25 tries, 24339111 fired transitions, 2670 secs || 6491216 markings, 11839074 edges, 2423 markings/sec, 2670 secs
lola: 25 tries, 24385912 fired transitions, 2675 secs || 6503162 markings, 11861086 edges, 2389 markings/sec, 2675 secs
lola: 25 tries, 24433036 fired transitions, 2680 secs || 6515321 markings, 11883277 edges, 2432 markings/sec, 2680 secs
lola: 25 tries, 24479667 fired transitions, 2685 secs || 6527486 markings, 11905124 edges, 2433 markings/sec, 2685 secs
lola: 25 tries, 24526553 fired transitions, 2690 secs || 6539917 markings, 11927458 edges, 2486 markings/sec, 2690 secs
lola: 25 tries, 24573138 fired transitions, 2695 secs || 6552065 markings, 11950068 edges, 2430 markings/sec, 2695 secs
lola: 25 tries, 24620168 fired transitions, 2700 secs || 6564247 markings, 11972223 edges, 2436 markings/sec, 2700 secs
lola: 25 tries, 24667215 fired transitions, 2705 secs || 6576342 markings, 11994870 edges, 2419 markings/sec, 2705 secs
lola: 25 tries, 24714262 fired transitions, 2710 secs || 6588359 markings, 12017603 edges, 2403 markings/sec, 2710 secs
lola: 25 tries, 24760561 fired transitions, 2715 secs || 6600205 markings, 12041117 edges, 2369 markings/sec, 2715 secs
lola: 25 tries, 24807234 fired transitions, 2720 secs || 6612372 markings, 12063681 edges, 2433 markings/sec, 2720 secs
lola: 25 tries, 24854138 fired transitions, 2725 secs || 6624669 markings, 12085696 edges, 2459 markings/sec, 2725 secs
lola: 25 tries, 24901224 fired transitions, 2730 secs || 6637002 markings, 12107778 edges, 2467 markings/sec, 2730 secs
lola: 25 tries, 24948155 fired transitions, 2735 secs || 6649151 markings, 12130374 edges, 2430 markings/sec, 2735 secs
lola: 25 tries, 24995164 fired transitions, 2740 secs || 6661359 markings, 12152565 edges, 2442 markings/sec, 2740 secs
lola: 26 tries, 25022646 fired transitions, 2745 secs || 6673805 markings, 12175856 edges, 2489 markings/sec, 2745 secs
lola: 26 tries, 25069815 fired transitions, 2750 secs || 6685904 markings, 12198508 edges, 2420 markings/sec, 2750 secs
lola: 26 tries, 25116901 fired transitions, 2755 secs || 6698075 markings, 12221179 edges, 2434 markings/sec, 2755 secs
lola: 26 tries, 25163579 fired transitions, 2760 secs || 6709821 markings, 12243533 edges, 2349 markings/sec, 2760 secs
lola: 26 tries, 25210832 fired transitions, 2765 secs || 6722027 markings, 12266580 edges, 2441 markings/sec, 2765 secs
lola: 26 tries, 25257481 fired transitions, 2770 secs || 6734034 markings, 12288759 edges, 2401 markings/sec, 2770 secs
lola: 26 tries, 25304566 fired transitions, 2775 secs || 6746249 markings, 12311119 edges, 2443 markings/sec, 2775 secs
lola: 26 tries, 25351597 fired transitions, 2780 secs || 6758426 markings, 12333615 edges, 2435 markings/sec, 2780 secs
lola: 26 tries, 25398538 fired transitions, 2785 secs || 6770450 markings, 12355893 edges, 2405 markings/sec, 2785 secs
lola: 26 tries, 25445159 fired transitions, 2790 secs || 6782205 markings, 12377353 edges, 2351 markings/sec, 2790 secs
lola: 26 tries, 25491830 fired transitions, 2795 secs || 6793997 markings, 12398701 edges, 2358 markings/sec, 2795 secs
lola: 26 tries, 25538102 fired transitions, 2800 secs || 6805735 markings, 12420133 edges, 2348 markings/sec, 2800 secs
lola: 26 tries, 25581508 fired transitions, 2805 secs || 6817311 markings, 12441661 edges, 2315 markings/sec, 2805 secs
lola: 26 tries, 25627933 fired transitions, 2810 secs || 6828906 markings, 12463109 edges, 2319 markings/sec, 2810 secs
lola: 26 tries, 25675093 fired transitions, 2815 secs || 6841330 markings, 12484716 edges, 2485 markings/sec, 2815 secs
lola: 26 tries, 25721708 fired transitions, 2820 secs || 6853245 markings, 12507595 edges, 2383 markings/sec, 2820 secs
lola: 26 tries, 25768559 fired transitions, 2825 secs || 6865361 markings, 12529538 edges, 2423 markings/sec, 2825 secs
lola: 26 tries, 25815610 fired transitions, 2830 secs || 6877576 markings, 12551705 edges, 2443 markings/sec, 2830 secs
lola: 26 tries, 25862239 fired transitions, 2835 secs || 6889732 markings, 12574020 edges, 2431 markings/sec, 2835 secs
lola: 26 tries, 25909385 fired transitions, 2840 secs || 6901915 markings, 12596435 edges, 2437 markings/sec, 2840 secs
lola: 26 tries, 25956652 fired transitions, 2845 secs || 6914094 markings, 12618928 edges, 2436 markings/sec, 2845 secs
lola: 27 tries, 26001799 fired transitions, 2850 secs || 6926270 markings, 12640996 edges, 2435 markings/sec, 2850 secs
lola: 27 tries, 26047736 fired transitions, 2855 secs || 6938346 markings, 12663113 edges, 2415 markings/sec, 2855 secs
lola: 27 tries, 26094794 fired transitions, 2860 secs || 6950412 markings, 12685382 edges, 2413 markings/sec, 2860 secs
lola: 27 tries, 26141841 fired transitions, 2865 secs || 6962666 markings, 12707609 edges, 2451 markings/sec, 2865 secs
lola: 27 tries, 26188965 fired transitions, 2870 secs || 6974856 markings, 12730057 edges, 2438 markings/sec, 2870 secs
lola: 27 tries, 26236018 fired transitions, 2875 secs || 6987108 markings, 12752647 edges, 2450 markings/sec, 2875 secs
lola: 27 tries, 26282878 fired transitions, 2880 secs || 6999160 markings, 12775176 edges, 2410 markings/sec, 2880 secs
lola: 27 tries, 26330163 fired transitions, 2885 secs || 7011323 markings, 12798165 edges, 2433 markings/sec, 2885 secs
lola: 27 tries, 26377366 fired transitions, 2890 secs || 7023725 markings, 12820484 edges, 2480 markings/sec, 2890 secs
lola: 27 tries, 26424316 fired transitions, 2895 secs || 7035831 markings, 12843187 edges, 2421 markings/sec, 2895 secs
lola: 27 tries, 26471352 fired transitions, 2900 secs || 7047982 markings, 12865538 edges, 2430 markings/sec, 2900 secs
lola: 27 tries, 26517879 fired transitions, 2905 secs || 7059790 markings, 12888332 edges, 2362 markings/sec, 2905 secs
lola: 27 tries, 26563705 fired transitions, 2910 secs || 7071592 markings, 12910099 edges, 2360 markings/sec, 2910 secs
lola: 27 tries, 26609583 fired transitions, 2915 secs || 7083363 markings, 12932040 edges, 2354 markings/sec, 2915 secs
lola: 27 tries, 26655503 fired transitions, 2920 secs || 7095194 markings, 12954274 edges, 2366 markings/sec, 2920 secs
lola: 27 tries, 26701630 fired transitions, 2925 secs || 7107249 markings, 12975277 edges, 2411 markings/sec, 2925 secs
lola: 27 tries, 26748618 fired transitions, 2930 secs || 7119419 markings, 12997147 edges, 2434 markings/sec, 2930 secs
lola: 27 tries, 26795197 fired transitions, 2935 secs || 7131303 markings, 13019419 edges, 2377 markings/sec, 2935 secs
lola: 27 tries, 26841964 fired transitions, 2940 secs || 7143443 markings, 13041300 edges, 2428 markings/sec, 2940 secs
lola: 27 tries, 26888963 fired transitions, 2945 secs || 7155673 markings, 13063525 edges, 2446 markings/sec, 2945 secs
lola: 27 tries, 26936256 fired transitions, 2950 secs || 7168086 markings, 13085494 edges, 2483 markings/sec, 2950 secs
lola: 27 tries, 26983050 fired transitions, 2955 secs || 7179969 markings, 13108325 edges, 2377 markings/sec, 2955 secs
lola: 28 tries, 27030321 fired transitions, 2960 secs || 7192296 markings, 13130495 edges, 2465 markings/sec, 2960 secs
lola: 28 tries, 27077654 fired transitions, 2965 secs || 7204770 markings, 13152894 edges, 2495 markings/sec, 2965 secs
lola: 28 tries, 27124712 fired transitions, 2970 secs || 7216794 markings, 13175574 edges, 2405 markings/sec, 2970 secs
lola: 28 tries, 27171864 fired transitions, 2975 secs || 7228999 markings, 13198066 edges, 2441 markings/sec, 2975 secs
lola: 28 tries, 27218443 fired transitions, 2980 secs || 7241007 markings, 13220350 edges, 2402 markings/sec, 2980 secs
lola: 28 tries, 27265116 fired transitions, 2985 secs || 7252729 markings, 13242547 edges, 2344 markings/sec, 2985 secs
lola: 28 tries, 27311404 fired transitions, 2990 secs || 7264332 markings, 13264441 edges, 2321 markings/sec, 2990 secs
lola: 28 tries, 27357984 fired transitions, 2995 secs || 7275929 markings, 13285937 edges, 2319 markings/sec, 2995 secs
lola: 28 tries, 27404811 fired transitions, 3000 secs || 7287856 markings, 13307979 edges, 2385 markings/sec, 3000 secs
lola: 28 tries, 27452188 fired transitions, 3005 secs || 7300341 markings, 13330422 edges, 2497 markings/sec, 3005 secs
lola: 28 tries, 27499224 fired transitions, 3010 secs || 7312465 markings, 13352838 edges, 2425 markings/sec, 3010 secs
lola: 28 tries, 27545160 fired transitions, 3015 secs || 7324557 markings, 13375861 edges, 2418 markings/sec, 3015 secs
lola: 28 tries, 27590419 fired transitions, 3020 secs || 7336687 markings, 13399155 edges, 2426 markings/sec, 3020 secs
lola: 28 tries, 27635734 fired transitions, 3025 secs || 7348947 markings, 13422290 edges, 2452 markings/sec, 3025 secs
lola: 28 tries, 27681802 fired transitions, 3030 secs || 7361130 markings, 13444865 edges, 2437 markings/sec, 3030 secs
lola: 28 tries, 27728926 fired transitions, 3035 secs || 7373351 markings, 13467089 edges, 2444 markings/sec, 3035 secs
lola: 28 tries, 27776116 fired transitions, 3040 secs || 7385549 markings, 13489376 edges, 2440 markings/sec, 3040 secs
lola: 28 tries, 27823203 fired transitions, 3045 secs || 7397613 markings, 13512147 edges, 2413 markings/sec, 3045 secs
lola: 28 tries, 27870075 fired transitions, 3050 secs || 7409554 markings, 13534824 edges, 2388 markings/sec, 3050 secs
lola: 28 tries, 27916960 fired transitions, 3055 secs || 7421689 markings, 13557596 edges, 2427 markings/sec, 3055 secs
lola: 28 tries, 27962568 fired transitions, 3060 secs || 7433422 markings, 13579781 edges, 2347 markings/sec, 3060 secs
lola: 29 tries, 28006325 fired transitions, 3065 secs || 7445302 markings, 13602220 edges, 2376 markings/sec, 3065 secs
lola: 29 tries, 28051456 fired transitions, 3070 secs || 7456954 markings, 13624404 edges, 2330 markings/sec, 3070 secs
lola: 29 tries, 28096193 fired transitions, 3075 secs || 7468487 markings, 13646465 edges, 2307 markings/sec, 3075 secs
lola: 29 tries, 28142371 fired transitions, 3080 secs || 7480395 markings, 13669780 edges, 2382 markings/sec, 3080 secs
lola: 29 tries, 28188791 fired transitions, 3085 secs || 7492677 markings, 13691837 edges, 2456 markings/sec, 3085 secs
lola: 29 tries, 28235194 fired transitions, 3090 secs || 7504848 markings, 13713666 edges, 2434 markings/sec, 3090 secs
lola: 29 tries, 28281871 fired transitions, 3095 secs || 7517366 markings, 13734994 edges, 2504 markings/sec, 3095 secs
lola: 29 tries, 28328513 fired transitions, 3100 secs || 7529675 markings, 13756496 edges, 2462 markings/sec, 3100 secs
lola: 29 tries, 28375015 fired transitions, 3105 secs || 7541839 markings, 13778410 edges, 2433 markings/sec, 3105 secs
lola: 29 tries, 28420704 fired transitions, 3110 secs || 7553996 markings, 13799478 edges, 2431 markings/sec, 3110 secs
lola: 29 tries, 28466057 fired transitions, 3115 secs || 7565954 markings, 13820878 edges, 2392 markings/sec, 3115 secs
lola: 29 tries, 28511003 fired transitions, 3120 secs || 7577928 markings, 13842297 edges, 2395 markings/sec, 3120 secs
lola: 29 tries, 28556191 fired transitions, 3125 secs || 7589820 markings, 13863253 edges, 2378 markings/sec, 3125 secs
lola: 29 tries, 28601516 fired transitions, 3130 secs || 7601873 markings, 13884558 edges, 2411 markings/sec, 3130 secs
lola: 29 tries, 28646682 fired transitions, 3135 secs || 7613756 markings, 13905911 edges, 2377 markings/sec, 3135 secs
lola: 29 tries, 28693229 fired transitions, 3140 secs || 7625948 markings, 13928096 edges, 2438 markings/sec, 3140 secs
lola: 29 tries, 28739687 fired transitions, 3145 secs || 7638230 markings, 13950431 edges, 2456 markings/sec, 3145 secs
lola: 29 tries, 28786091 fired transitions, 3150 secs || 7650130 markings, 13973568 edges, 2380 markings/sec, 3150 secs
lola: 29 tries, 28832219 fired transitions, 3155 secs || 7662050 markings, 13996640 edges, 2384 markings/sec, 3155 secs
lola: 29 tries, 28878342 fired transitions, 3160 secs || 7673946 markings, 14019474 edges, 2379 markings/sec, 3160 secs
lola: 29 tries, 28925045 fired transitions, 3165 secs || 7686195 markings, 14041914 edges, 2450 markings/sec, 3165 secs
lola: 29 tries, 28971701 fired transitions, 3170 secs || 7698656 markings, 14063911 edges, 2492 markings/sec, 3170 secs
lola: 30 tries, 29018321 fired transitions, 3175 secs || 7710713 markings, 14086283 edges, 2411 markings/sec, 3175 secs
lola: 30 tries, 29064273 fired transitions, 3180 secs || 7722876 markings, 14108456 edges, 2433 markings/sec, 3180 secs
lola: 30 tries, 29109467 fired transitions, 3185 secs || 7734617 markings, 14130098 edges, 2348 markings/sec, 3185 secs
lola: 30 tries, 29154609 fired transitions, 3190 secs || 7746480 markings, 14151815 edges, 2373 markings/sec, 3190 secs
lola: 30 tries, 29199929 fired transitions, 3195 secs || 7758404 markings, 14173288 edges, 2385 markings/sec, 3195 secs
lola: 30 tries, 29244963 fired transitions, 3200 secs || 7770270 markings, 14194792 edges, 2373 markings/sec, 3200 secs
lola: 30 tries, 29290164 fired transitions, 3205 secs || 7781911 markings, 14216482 edges, 2328 markings/sec, 3205 secs
lola: 30 tries, 29335214 fired transitions, 3210 secs || 7793778 markings, 14237823 edges, 2373 markings/sec, 3210 secs
lola: 30 tries, 29380501 fired transitions, 3215 secs || 7805571 markings, 14259375 edges, 2359 markings/sec, 3215 secs
lola: 30 tries, 29425722 fired transitions, 3220 secs || 7817504 markings, 14280840 edges, 2387 markings/sec, 3220 secs
lola: 30 tries, 29470729 fired transitions, 3225 secs || 7829123 markings, 14302552 edges, 2324 markings/sec, 3225 secs
lola: 30 tries, 29515493 fired transitions, 3230 secs || 7840777 markings, 14324218 edges, 2331 markings/sec, 3230 secs
lola: 30 tries, 29561200 fired transitions, 3235 secs || 7852808 markings, 14346026 edges, 2406 markings/sec, 3235 secs
lola: 30 tries, 29607992 fired transitions, 3240 secs || 7865206 markings, 14368107 edges, 2480 markings/sec, 3240 secs
lola: 30 tries, 29654730 fired transitions, 3245 secs || 7877606 markings, 14389965 edges, 2480 markings/sec, 3245 secs
lola: 30 tries, 29701388 fired transitions, 3250 secs || 7889908 markings, 14411822 edges, 2460 markings/sec, 3250 secs
lola: 30 tries, 29748442 fired transitions, 3255 secs || 7902191 markings, 14434101 edges, 2457 markings/sec, 3255 secs
lola: 30 tries, 29794316 fired transitions, 3260 secs || 7914022 markings, 14455968 edges, 2366 markings/sec, 3260 secs
lola: 30 tries, 29839812 fired transitions, 3265 secs || 7925782 markings, 14477435 edges, 2352 markings/sec, 3265 secs
lola: 30 tries, 29885489 fired transitions, 3270 secs || 7937702 markings, 14498645 edges, 2384 markings/sec, 3270 secs
lola: 30 tries, 29931051 fired transitions, 3275 secs || 7949419 markings, 14520215 edges, 2343 markings/sec, 3275 secs
lola: 30 tries, 29976509 fired transitions, 3280 secs || 7961271 markings, 14541456 edges, 2370 markings/sec, 3280 secs
lola: 31 tries, 30010939 fired transitions, 3285 secs || 7973284 markings, 14563801 edges, 2403 markings/sec, 3285 secs
lola: 31 tries, 30033631 fired transitions, 3290 secs || 7985607 markings, 14586725 edges, 2465 markings/sec, 3290 secs
lola: 31 tries, 30060805 fired transitions, 3295 secs || 7997757 markings, 14610250 edges, 2430 markings/sec, 3295 secs
lola: 31 tries, 30107885 fired transitions, 3300 secs || 8010165 markings, 14632487 edges, 2482 markings/sec, 3300 secs
lola: 31 tries, 30154877 fired transitions, 3305 secs || 8022349 markings, 14655454 edges, 2437 markings/sec, 3305 secs
lola: 31 tries, 30201880 fired transitions, 3310 secs || 8034624 markings, 14677699 edges, 2455 markings/sec, 3310 secs
lola: 31 tries, 30249130 fired transitions, 3315 secs || 8046999 markings, 14700062 edges, 2475 markings/sec, 3315 secs
lola: 31 tries, 30296166 fired transitions, 3320 secs || 8059067 markings, 14722895 edges, 2414 markings/sec, 3320 secs
lola: 31 tries, 30343076 fired transitions, 3325 secs || 8071257 markings, 14745509 edges, 2438 markings/sec, 3325 secs
lola: 31 tries, 30389688 fired transitions, 3330 secs || 8083374 markings, 14767764 edges, 2423 markings/sec, 3330 secs
lola: 31 tries, 30436477 fired transitions, 3335 secs || 8095448 markings, 14790114 edges, 2415 markings/sec, 3335 secs
lola: 31 tries, 30483260 fired transitions, 3340 secs || 8107735 markings, 14812338 edges, 2457 markings/sec, 3340 secs
lola: 31 tries, 30529526 fired transitions, 3345 secs || 8119772 markings, 14834599 edges, 2407 markings/sec, 3345 secs
lola: 31 tries, 30575869 fired transitions, 3350 secs || 8131870 markings, 14856704 edges, 2420 markings/sec, 3350 secs
lola: 31 tries, 30622327 fired transitions, 3355 secs || 8143888 markings, 14879450 edges, 2404 markings/sec, 3355 secs
lola: 31 tries, 30667609 fired transitions, 3360 secs || 8155454 markings, 14901402 edges, 2313 markings/sec, 3360 secs
lola: 31 tries, 30712780 fired transitions, 3365 secs || 8166853 markings, 14924130 edges, 2280 markings/sec, 3365 secs
lola: 31 tries, 30757877 fired transitions, 3370 secs || 8178484 markings, 14946644 edges, 2326 markings/sec, 3370 secs
lola: 31 tries, 30803756 fired transitions, 3375 secs || 8190413 markings, 14967613 edges, 2386 markings/sec, 3375 secs
lola: 31 tries, 30849538 fired transitions, 3380 secs || 8202342 markings, 14988464 edges, 2386 markings/sec, 3380 secs
lola: 31 tries, 30895106 fired transitions, 3385 secs || 8214160 markings, 15009605 edges, 2364 markings/sec, 3385 secs
lola: 31 tries, 30940915 fired transitions, 3390 secs || 8226238 markings, 15030834 edges, 2416 markings/sec, 3390 secs
lola: 31 tries, 30986592 fired transitions, 3395 secs || 8238019 markings, 15052617 edges, 2356 markings/sec, 3395 secs
lola: 32 tries, 31032115 fired transitions, 3400 secs || 8249612 markings, 15075266 edges, 2319 markings/sec, 3400 secs
lola: 32 tries, 31077501 fired transitions, 3405 secs || 8261946 markings, 15097549 edges, 2467 markings/sec, 3405 secs
lola: 32 tries, 31122128 fired transitions, 3410 secs || 8273183 markings, 15118149 edges, 2247 markings/sec, 3410 secs
lola: 32 tries, 31167580 fired transitions, 3415 secs || 8285465 markings, 15140748 edges, 2456 markings/sec, 3415 secs
lola: 32 tries, 31212982 fired transitions, 3420 secs || 8297592 markings, 15163867 edges, 2425 markings/sec, 3420 secs
lola: 32 tries, 31258467 fired transitions, 3425 secs || 8309631 markings, 15186695 edges, 2408 markings/sec, 3425 secs
lola: 32 tries, 31303837 fired transitions, 3430 secs || 8322036 markings, 15209028 edges, 2481 markings/sec, 3430 secs
lola: 32 tries, 31349155 fired transitions, 3435 secs || 8334198 markings, 15231686 edges, 2432 markings/sec, 3435 secs
lola: 32 tries, 31395010 fired transitions, 3440 secs || 8346270 markings, 15253947 edges, 2414 markings/sec, 3440 secs
lola: 32 tries, 31440160 fired transitions, 3445 secs || 8358057 markings, 15275666 edges, 2357 markings/sec, 3445 secs
lola: 32 tries, 31485403 fired transitions, 3450 secs || 8369811 markings, 15297729 edges, 2351 markings/sec, 3450 secs
lola: 32 tries, 31532362 fired transitions, 3455 secs || 8382162 markings, 15319843 edges, 2470 markings/sec, 3455 secs
lola: 32 tries, 31579717 fired transitions, 3460 secs || 8394522 markings, 15342847 edges, 2472 markings/sec, 3460 secs
lola: 32 tries, 31624239 fired transitions, 3465 secs || 8406785 markings, 15365819 edges, 2453 markings/sec, 3465 secs
lola: 32 tries, 31668811 fired transitions, 3470 secs || 8418891 markings, 15388818 edges, 2421 markings/sec, 3470 secs
lola: 32 tries, 31713488 fired transitions, 3475 secs || 8431086 markings, 15412085 edges, 2439 markings/sec, 3475 secs
lola: 32 tries, 31759341 fired transitions, 3480 secs || 8443267 markings, 15434783 edges, 2436 markings/sec, 3480 secs
lola: 32 tries, 31805940 fired transitions, 3485 secs || 8455307 markings, 15458092 edges, 2408 markings/sec, 3485 secs
lola: 32 tries, 31852781 fired transitions, 3490 secs || 8467525 markings, 15480570 edges, 2444 markings/sec, 3490 secs
lola: 32 tries, 31898051 fired transitions, 3495 secs || 8479373 markings, 15502705 edges, 2370 markings/sec, 3495 secs
lola: 32 tries, 31943861 fired transitions, 3500 secs || 8491326 markings, 15525152 edges, 2391 markings/sec, 3500 secs
lola: 32 tries, 31990380 fired transitions, 3505 secs || 8503303 markings, 15548325 edges, 2395 markings/sec, 3505 secs
lola: 33 tries, 32021044 fired transitions, 3510 secs || 8515959 markings, 15570815 edges, 2531 markings/sec, 3510 secs
lola: 33 tries, 32067789 fired transitions, 3515 secs || 8528283 markings, 15593191 edges, 2465 markings/sec, 3515 secs
lola: 33 tries, 32114669 fired transitions, 3520 secs || 8540479 markings, 15616035 edges, 2439 markings/sec, 3520 secs
lola: 33 tries, 32161382 fired transitions, 3525 secs || 8552562 markings, 15638779 edges, 2417 markings/sec, 3525 secs
lola: 33 tries, 32207857 fired transitions, 3530 secs || 8564564 markings, 15661576 edges, 2400 markings/sec, 3530 secs
lola: 33 tries, 32254206 fired transitions, 3535 secs || 8576616 markings, 15683522 edges, 2410 markings/sec, 3535 secs
lola: 33 tries, 32299933 fired transitions, 3540 secs || 8588732 markings, 15705901 edges, 2423 markings/sec, 3540 secs
lola: 33 tries, 32347634 fired transitions, 3545 secs || 8601101 markings, 15728454 edges, 2474 markings/sec, 3545 secs
lola: 33 tries, 32390890 fired transitions, 3550 secs || 8613121 markings, 15750952 edges, 2404 markings/sec, 3550 secs
lola: 33 tries, 32437598 fired transitions, 3555 secs || 8625211 markings, 15773188 edges, 2418 markings/sec, 3555 secs
lola: 33 tries, 32481345 fired transitions, 3560 secs || 8637442 markings, 15796283 edges, 2446 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 1455068 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552951220715

--------------------
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="Railroad-PT-050"
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-3957"
echo " Executing tool lola"
echo " Input is Railroad-PT-050, 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 r137-smll-155284909400111"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Railroad-PT-050.tgz
mv Railroad-PT-050 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 ;