Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.8M
-rw-r--r-- 1 mcc users 15K Feb 12 15:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 54K Feb 12 15:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 95K Feb 8 17:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 310K Feb 8 17:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 6.0K Feb 5 01:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 5 01:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 29K Feb 4 22:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 95K Feb 4 22:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K Feb 4 17:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 4 17:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114K Feb 1 14:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 366K Feb 1 14:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.7K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 1.7M 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 SafeBus-PT-10-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552936964920

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

{
"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 19:22:44 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 1301840,
"runtime": 3571.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": 11384,
"conflict_clusters": 2,
"places": 316,
"places_significant": 261,
"singleton_clusters": 0,
"transitions": 1631
},
"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": 3628800.000000,
"composed": 33,
"dead_branches": 0,
"generators": 45,
"interrupted": false,
"real_computed": 12,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 1947/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 10112
lola: finding significant places
lola: 316 places, 1631 transitions, 261 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 45 generators (12 in search tree, 33 by composition)
lola: representing 3.6288E+06 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 25557 fired transitions, 0 secs || 23485 markings, 32177 edges, 4697 markings/sec, 0 secs
lola: 1 tries, 52488 fired transitions, 5 secs || 47537 markings, 68926 edges, 4810 markings/sec, 5 secs
lola: 1 tries, 74757 fired transitions, 10 secs || 68553 markings, 103643 edges, 4203 markings/sec, 10 secs
lola: 1 tries, 94762 fired transitions, 15 secs || 88428 markings, 137319 edges, 3975 markings/sec, 15 secs
lola: 1 tries, 116167 fired transitions, 20 secs || 108481 markings, 172007 edges, 4011 markings/sec, 20 secs
lola: 1 tries, 137701 fired transitions, 25 secs || 128486 markings, 207509 edges, 4001 markings/sec, 25 secs
lola: 1 tries, 158273 fired transitions, 30 secs || 147518 markings, 240883 edges, 3806 markings/sec, 30 secs
lola: 1 tries, 180434 fired transitions, 35 secs || 167574 markings, 276869 edges, 4011 markings/sec, 35 secs
lola: 1 tries, 201806 fired transitions, 40 secs || 188071 markings, 314644 edges, 4099 markings/sec, 40 secs
lola: 1 tries, 223881 fired transitions, 45 secs || 209646 markings, 353525 edges, 4315 markings/sec, 45 secs
lola: 1 tries, 246229 fired transitions, 50 secs || 230291 markings, 390884 edges, 4129 markings/sec, 50 secs
lola: 1 tries, 268395 fired transitions, 55 secs || 250765 markings, 428851 edges, 4095 markings/sec, 55 secs
lola: 1 tries, 291187 fired transitions, 60 secs || 270796 markings, 465871 edges, 4006 markings/sec, 60 secs
lola: 1 tries, 313925 fired transitions, 65 secs || 290840 markings, 504692 edges, 4009 markings/sec, 65 secs
lola: 1 tries, 337109 fired transitions, 70 secs || 311453 markings, 543896 edges, 4123 markings/sec, 70 secs
lola: 1 tries, 359157 fired transitions, 75 secs || 330528 markings, 580847 edges, 3815 markings/sec, 75 secs
lola: 1 tries, 380723 fired transitions, 80 secs || 349472 markings, 617576 edges, 3789 markings/sec, 80 secs
lola: 1 tries, 401334 fired transitions, 85 secs || 367768 markings, 652413 edges, 3659 markings/sec, 85 secs
lola: 1 tries, 422178 fired transitions, 90 secs || 385939 markings, 687268 edges, 3634 markings/sec, 90 secs
lola: 1 tries, 442888 fired transitions, 95 secs || 404738 markings, 724357 edges, 3760 markings/sec, 95 secs
lola: 1 tries, 463265 fired transitions, 100 secs || 423871 markings, 761570 edges, 3827 markings/sec, 100 secs
lola: 1 tries, 483821 fired transitions, 105 secs || 442372 markings, 797231 edges, 3700 markings/sec, 105 secs
lola: 1 tries, 505465 fired transitions, 110 secs || 461616 markings, 834916 edges, 3849 markings/sec, 110 secs
lola: 1 tries, 526858 fired transitions, 115 secs || 480438 markings, 872057 edges, 3764 markings/sec, 115 secs
lola: 1 tries, 548178 fired transitions, 120 secs || 499197 markings, 909011 edges, 3752 markings/sec, 120 secs
lola: 1 tries, 570220 fired transitions, 125 secs || 518643 markings, 947527 edges, 3889 markings/sec, 125 secs
lola: 1 tries, 591899 fired transitions, 130 secs || 537770 markings, 986063 edges, 3825 markings/sec, 130 secs
lola: 1 tries, 613071 fired transitions, 135 secs || 556648 markings, 1022854 edges, 3776 markings/sec, 135 secs
lola: 1 tries, 634124 fired transitions, 140 secs || 575881 markings, 1061336 edges, 3847 markings/sec, 140 secs
lola: 1 tries, 656504 fired transitions, 145 secs || 595513 markings, 1100719 edges, 3926 markings/sec, 145 secs
lola: 1 tries, 679143 fired transitions, 150 secs || 614877 markings, 1140062 edges, 3873 markings/sec, 150 secs
lola: 1 tries, 702209 fired transitions, 155 secs || 635548 markings, 1181207 edges, 4134 markings/sec, 155 secs
lola: 1 tries, 725639 fired transitions, 160 secs || 655497 markings, 1221772 edges, 3990 markings/sec, 160 secs
lola: 1 tries, 749264 fired transitions, 165 secs || 676260 markings, 1263822 edges, 4153 markings/sec, 165 secs
lola: 1 tries, 772725 fired transitions, 170 secs || 696509 markings, 1305514 edges, 4050 markings/sec, 170 secs
lola: 1 tries, 794980 fired transitions, 175 secs || 716204 markings, 1344712 edges, 3939 markings/sec, 175 secs
lola: 1 tries, 817467 fired transitions, 180 secs || 736014 markings, 1384950 edges, 3962 markings/sec, 180 secs
lola: 1 tries, 839997 fired transitions, 185 secs || 755686 markings, 1425627 edges, 3934 markings/sec, 185 secs
lola: 1 tries, 862365 fired transitions, 190 secs || 775655 markings, 1466307 edges, 3994 markings/sec, 190 secs
lola: 1 tries, 884822 fired transitions, 195 secs || 795834 markings, 1507262 edges, 4036 markings/sec, 195 secs
lola: 1 tries, 905998 fired transitions, 200 secs || 814302 markings, 1544774 edges, 3694 markings/sec, 200 secs
lola: 1 tries, 927402 fired transitions, 205 secs || 832773 markings, 1583378 edges, 3694 markings/sec, 205 secs
lola: 1 tries, 948403 fired transitions, 210 secs || 851317 markings, 1622186 edges, 3709 markings/sec, 210 secs
lola: 1 tries, 969917 fired transitions, 215 secs || 869995 markings, 1659769 edges, 3736 markings/sec, 215 secs
lola: 1 tries, 992445 fired transitions, 220 secs || 889767 markings, 1699304 edges, 3954 markings/sec, 220 secs
lola: 2 tries, 1015838 fired transitions, 225 secs || 910227 markings, 1741203 edges, 4092 markings/sec, 225 secs
lola: 2 tries, 1038061 fired transitions, 230 secs || 930235 markings, 1782458 edges, 4002 markings/sec, 230 secs
lola: 2 tries, 1060568 fired transitions, 235 secs || 949844 markings, 1823266 edges, 3922 markings/sec, 235 secs
lola: 2 tries, 1083225 fired transitions, 240 secs || 969816 markings, 1864462 edges, 3994 markings/sec, 240 secs
lola: 2 tries, 1105094 fired transitions, 245 secs || 988951 markings, 1903959 edges, 3827 markings/sec, 245 secs
lola: 2 tries, 1126507 fired transitions, 250 secs || 1007678 markings, 1943146 edges, 3745 markings/sec, 250 secs
lola: 2 tries, 1147442 fired transitions, 255 secs || 1025703 markings, 1979761 edges, 3605 markings/sec, 255 secs
lola: 2 tries, 1168165 fired transitions, 260 secs || 1043891 markings, 2018089 edges, 3638 markings/sec, 260 secs
lola: 2 tries, 1190492 fired transitions, 265 secs || 1063722 markings, 2059495 edges, 3966 markings/sec, 265 secs
lola: 2 tries, 1212003 fired transitions, 270 secs || 1082696 markings, 2099863 edges, 3795 markings/sec, 270 secs
lola: 2 tries, 1232377 fired transitions, 275 secs || 1101443 markings, 2139281 edges, 3749 markings/sec, 275 secs
lola: 2 tries, 1253536 fired transitions, 280 secs || 1120266 markings, 2178002 edges, 3765 markings/sec, 280 secs
lola: 2 tries, 1275193 fired transitions, 285 secs || 1139124 markings, 2217437 edges, 3772 markings/sec, 285 secs
lola: 2 tries, 1296871 fired transitions, 290 secs || 1157608 markings, 2255679 edges, 3697 markings/sec, 290 secs
lola: 2 tries, 1318564 fired transitions, 295 secs || 1177318 markings, 2291459 edges, 3942 markings/sec, 295 secs
lola: 2 tries, 1339623 fired transitions, 300 secs || 1194857 markings, 2327792 edges, 3508 markings/sec, 300 secs
lola: 2 tries, 1359764 fired transitions, 305 secs || 1212653 markings, 2366069 edges, 3559 markings/sec, 305 secs
lola: 2 tries, 1380037 fired transitions, 310 secs || 1230611 markings, 2403165 edges, 3592 markings/sec, 310 secs
lola: 2 tries, 1401416 fired transitions, 315 secs || 1249760 markings, 2443591 edges, 3830 markings/sec, 315 secs
lola: 2 tries, 1423214 fired transitions, 320 secs || 1269023 markings, 2484091 edges, 3853 markings/sec, 320 secs
lola: 2 tries, 1445089 fired transitions, 325 secs || 1288710 markings, 2525727 edges, 3937 markings/sec, 325 secs
lola: 2 tries, 1467451 fired transitions, 330 secs || 1308196 markings, 2566576 edges, 3897 markings/sec, 330 secs
lola: 2 tries, 1488896 fired transitions, 335 secs || 1327417 markings, 2607249 edges, 3844 markings/sec, 335 secs
lola: 2 tries, 1510713 fired transitions, 340 secs || 1346803 markings, 2647405 edges, 3877 markings/sec, 340 secs
lola: 2 tries, 1532693 fired transitions, 345 secs || 1366241 markings, 2688617 edges, 3888 markings/sec, 345 secs
lola: 2 tries, 1554434 fired transitions, 350 secs || 1385401 markings, 2729045 edges, 3832 markings/sec, 350 secs
lola: 2 tries, 1575877 fired transitions, 355 secs || 1404443 markings, 2768722 edges, 3808 markings/sec, 355 secs
lola: 2 tries, 1597809 fired transitions, 360 secs || 1423632 markings, 2809883 edges, 3838 markings/sec, 360 secs
lola: 2 tries, 1618531 fired transitions, 365 secs || 1442030 markings, 2848472 edges, 3680 markings/sec, 365 secs
lola: 2 tries, 1638531 fired transitions, 370 secs || 1460296 markings, 2887443 edges, 3653 markings/sec, 370 secs
lola: 2 tries, 1658361 fired transitions, 375 secs || 1478193 markings, 2925943 edges, 3579 markings/sec, 375 secs
lola: 2 tries, 1678581 fired transitions, 380 secs || 1496857 markings, 2965531 edges, 3733 markings/sec, 380 secs
lola: 2 tries, 1700625 fired transitions, 385 secs || 1514722 markings, 3002510 edges, 3573 markings/sec, 385 secs
lola: 2 tries, 1722891 fired transitions, 390 secs || 1533356 markings, 3039190 edges, 3727 markings/sec, 390 secs
lola: 2 tries, 1744983 fired transitions, 395 secs || 1551504 markings, 3077445 edges, 3630 markings/sec, 395 secs
lola: 2 tries, 1767420 fired transitions, 400 secs || 1569323 markings, 3115435 edges, 3564 markings/sec, 400 secs
lola: 2 tries, 1789996 fired transitions, 405 secs || 1587113 markings, 3152845 edges, 3558 markings/sec, 405 secs
lola: 2 tries, 1811370 fired transitions, 410 secs || 1605143 markings, 3190849 edges, 3606 markings/sec, 410 secs
lola: 2 tries, 1833339 fired transitions, 415 secs || 1623325 markings, 3228316 edges, 3636 markings/sec, 415 secs
lola: 2 tries, 1855922 fired transitions, 420 secs || 1642702 markings, 3265898 edges, 3875 markings/sec, 420 secs
lola: 2 tries, 1877580 fired transitions, 425 secs || 1660840 markings, 3303797 edges, 3628 markings/sec, 425 secs
lola: 2 tries, 1898913 fired transitions, 430 secs || 1679363 markings, 3342993 edges, 3705 markings/sec, 430 secs
lola: 2 tries, 1920248 fired transitions, 435 secs || 1698313 markings, 3383902 edges, 3790 markings/sec, 435 secs
lola: 2 tries, 1941258 fired transitions, 440 secs || 1717054 markings, 3423616 edges, 3748 markings/sec, 440 secs
lola: 2 tries, 1962303 fired transitions, 445 secs || 1735719 markings, 3463216 edges, 3733 markings/sec, 445 secs
lola: 2 tries, 1983598 fired transitions, 450 secs || 1754617 markings, 3502738 edges, 3780 markings/sec, 450 secs
lola: 3 tries, 2005725 fired transitions, 455 secs || 1773620 markings, 3543508 edges, 3801 markings/sec, 455 secs
lola: 3 tries, 2029144 fired transitions, 460 secs || 1792545 markings, 3583234 edges, 3785 markings/sec, 460 secs
lola: 3 tries, 2051830 fired transitions, 465 secs || 1812248 markings, 3621941 edges, 3941 markings/sec, 465 secs
lola: 3 tries, 2072869 fired transitions, 470 secs || 1830477 markings, 3661406 edges, 3646 markings/sec, 470 secs
lola: 3 tries, 2094388 fired transitions, 475 secs || 1848714 markings, 3700195 edges, 3647 markings/sec, 475 secs
lola: 3 tries, 2115893 fired transitions, 480 secs || 1867306 markings, 3741429 edges, 3718 markings/sec, 480 secs
lola: 3 tries, 2137848 fired transitions, 485 secs || 1885778 markings, 3781083 edges, 3694 markings/sec, 485 secs
lola: 3 tries, 2158494 fired transitions, 490 secs || 1904243 markings, 3820919 edges, 3693 markings/sec, 490 secs
lola: 3 tries, 2178355 fired transitions, 495 secs || 1921707 markings, 3857501 edges, 3493 markings/sec, 495 secs
lola: 3 tries, 2199398 fired transitions, 500 secs || 1939747 markings, 3896058 edges, 3608 markings/sec, 500 secs
lola: 3 tries, 2219825 fired transitions, 505 secs || 1958017 markings, 3934537 edges, 3654 markings/sec, 505 secs
lola: 3 tries, 2239691 fired transitions, 510 secs || 1976084 markings, 3972701 edges, 3613 markings/sec, 510 secs
lola: 3 tries, 2259643 fired transitions, 515 secs || 1994001 markings, 4011263 edges, 3583 markings/sec, 515 secs
lola: 3 tries, 2279718 fired transitions, 520 secs || 2011550 markings, 4048787 edges, 3510 markings/sec, 520 secs
lola: 3 tries, 2301594 fired transitions, 525 secs || 2030233 markings, 4087076 edges, 3737 markings/sec, 525 secs
lola: 3 tries, 2323840 fired transitions, 530 secs || 2048790 markings, 4125029 edges, 3711 markings/sec, 530 secs
lola: 3 tries, 2345727 fired transitions, 535 secs || 2066759 markings, 4163976 edges, 3594 markings/sec, 535 secs
lola: 3 tries, 2366979 fired transitions, 540 secs || 2084796 markings, 4204061 edges, 3607 markings/sec, 540 secs
lola: 3 tries, 2387710 fired transitions, 545 secs || 2102878 markings, 4243312 edges, 3616 markings/sec, 545 secs
lola: 3 tries, 2408995 fired transitions, 550 secs || 2120747 markings, 4281899 edges, 3574 markings/sec, 550 secs
lola: 3 tries, 2429875 fired transitions, 555 secs || 2138882 markings, 4321493 edges, 3627 markings/sec, 555 secs
lola: 3 tries, 2451130 fired transitions, 560 secs || 2156985 markings, 4361791 edges, 3621 markings/sec, 560 secs
lola: 3 tries, 2472222 fired transitions, 565 secs || 2174989 markings, 4400789 edges, 3601 markings/sec, 565 secs
lola: 3 tries, 2493979 fired transitions, 570 secs || 2193445 markings, 4441124 edges, 3691 markings/sec, 570 secs
lola: 3 tries, 2515765 fired transitions, 575 secs || 2212125 markings, 4480013 edges, 3736 markings/sec, 575 secs
lola: 3 tries, 2536666 fired transitions, 580 secs || 2231540 markings, 4521956 edges, 3883 markings/sec, 580 secs
lola: 3 tries, 2558383 fired transitions, 585 secs || 2250962 markings, 4562972 edges, 3884 markings/sec, 585 secs
lola: 3 tries, 2580101 fired transitions, 590 secs || 2268917 markings, 4602704 edges, 3591 markings/sec, 590 secs
lola: 3 tries, 2601230 fired transitions, 595 secs || 2287907 markings, 4645149 edges, 3798 markings/sec, 595 secs
lola: 3 tries, 2622419 fired transitions, 600 secs || 2307173 markings, 4687088 edges, 3853 markings/sec, 600 secs
lola: 3 tries, 2642861 fired transitions, 605 secs || 2327157 markings, 4727830 edges, 3997 markings/sec, 605 secs
lola: 3 tries, 2663554 fired transitions, 610 secs || 2346310 markings, 4770511 edges, 3831 markings/sec, 610 secs
lola: 3 tries, 2685520 fired transitions, 615 secs || 2366212 markings, 4813761 edges, 3980 markings/sec, 615 secs
lola: 3 tries, 2706927 fired transitions, 620 secs || 2385017 markings, 4855712 edges, 3761 markings/sec, 620 secs
lola: 3 tries, 2728396 fired transitions, 625 secs || 2405194 markings, 4897260 edges, 4035 markings/sec, 625 secs
lola: 3 tries, 2750265 fired transitions, 630 secs || 2425181 markings, 4940393 edges, 3997 markings/sec, 630 secs
lola: 3 tries, 2771709 fired transitions, 635 secs || 2444773 markings, 4981907 edges, 3918 markings/sec, 635 secs
lola: 3 tries, 2792910 fired transitions, 640 secs || 2464462 markings, 5023894 edges, 3938 markings/sec, 640 secs
lola: 3 tries, 2814299 fired transitions, 645 secs || 2483167 markings, 5065021 edges, 3741 markings/sec, 645 secs
lola: 3 tries, 2835677 fired transitions, 650 secs || 2502263 markings, 5106704 edges, 3819 markings/sec, 650 secs
lola: 3 tries, 2858042 fired transitions, 655 secs || 2521528 markings, 5148038 edges, 3853 markings/sec, 655 secs
lola: 3 tries, 2879514 fired transitions, 660 secs || 2541449 markings, 5192036 edges, 3984 markings/sec, 660 secs
lola: 3 tries, 2900957 fired transitions, 665 secs || 2560479 markings, 5233719 edges, 3806 markings/sec, 665 secs
lola: 3 tries, 2922244 fired transitions, 670 secs || 2579670 markings, 5274669 edges, 3838 markings/sec, 670 secs
lola: 3 tries, 2943966 fired transitions, 675 secs || 2598631 markings, 5316563 edges, 3792 markings/sec, 675 secs
lola: 3 tries, 2965338 fired transitions, 680 secs || 2617716 markings, 5359142 edges, 3817 markings/sec, 680 secs
lola: 3 tries, 2986829 fired transitions, 685 secs || 2636646 markings, 5401041 edges, 3786 markings/sec, 685 secs
lola: 4 tries, 3010177 fired transitions, 690 secs || 2656539 markings, 5441430 edges, 3979 markings/sec, 690 secs
lola: 4 tries, 3033311 fired transitions, 695 secs || 2676135 markings, 5483457 edges, 3919 markings/sec, 695 secs
lola: 4 tries, 3054691 fired transitions, 700 secs || 2696005 markings, 5526404 edges, 3974 markings/sec, 700 secs
lola: 4 tries, 3074991 fired transitions, 705 secs || 2714935 markings, 5567704 edges, 3786 markings/sec, 705 secs
lola: 4 tries, 3096182 fired transitions, 710 secs || 2734108 markings, 5608443 edges, 3835 markings/sec, 710 secs
lola: 4 tries, 3117802 fired transitions, 715 secs || 2753203 markings, 5651446 edges, 3819 markings/sec, 715 secs
lola: 4 tries, 3139022 fired transitions, 720 secs || 2772122 markings, 5692763 edges, 3784 markings/sec, 720 secs
lola: 4 tries, 3159905 fired transitions, 725 secs || 2790662 markings, 5734437 edges, 3708 markings/sec, 725 secs
lola: 4 tries, 3180887 fired transitions, 730 secs || 2809547 markings, 5776144 edges, 3777 markings/sec, 730 secs
lola: 4 tries, 3201885 fired transitions, 735 secs || 2828114 markings, 5817016 edges, 3713 markings/sec, 735 secs
lola: 4 tries, 3223414 fired transitions, 740 secs || 2847352 markings, 5859981 edges, 3848 markings/sec, 740 secs
lola: 4 tries, 3244617 fired transitions, 745 secs || 2866250 markings, 5902526 edges, 3780 markings/sec, 745 secs
lola: 4 tries, 3265643 fired transitions, 750 secs || 2884882 markings, 5942680 edges, 3726 markings/sec, 750 secs
lola: 4 tries, 3287182 fired transitions, 755 secs || 2904194 markings, 5985051 edges, 3862 markings/sec, 755 secs
lola: 4 tries, 3308184 fired transitions, 760 secs || 2923309 markings, 6027083 edges, 3823 markings/sec, 760 secs
lola: 4 tries, 3329944 fired transitions, 765 secs || 2942683 markings, 6069571 edges, 3875 markings/sec, 765 secs
lola: 4 tries, 3351542 fired transitions, 770 secs || 2961837 markings, 6111853 edges, 3831 markings/sec, 770 secs
lola: 4 tries, 3373283 fired transitions, 775 secs || 2981178 markings, 6155998 edges, 3868 markings/sec, 775 secs
lola: 4 tries, 3394713 fired transitions, 780 secs || 3000240 markings, 6198984 edges, 3812 markings/sec, 780 secs
lola: 4 tries, 3415815 fired transitions, 785 secs || 3019088 markings, 6240623 edges, 3770 markings/sec, 785 secs
lola: 4 tries, 3436907 fired transitions, 790 secs || 3037830 markings, 6281744 edges, 3748 markings/sec, 790 secs
lola: 4 tries, 3459345 fired transitions, 795 secs || 3057785 markings, 6326512 edges, 3991 markings/sec, 795 secs
lola: 4 tries, 3481665 fired transitions, 800 secs || 3077582 markings, 6370017 edges, 3959 markings/sec, 800 secs
lola: 4 tries, 3504063 fired transitions, 805 secs || 3097391 markings, 6414893 edges, 3962 markings/sec, 805 secs
lola: 4 tries, 3526456 fired transitions, 810 secs || 3117362 markings, 6458668 edges, 3994 markings/sec, 810 secs
lola: 4 tries, 3548800 fired transitions, 815 secs || 3137115 markings, 6503365 edges, 3951 markings/sec, 815 secs
lola: 4 tries, 3570411 fired transitions, 820 secs || 3156451 markings, 6545309 edges, 3867 markings/sec, 820 secs
lola: 4 tries, 3591975 fired transitions, 825 secs || 3175680 markings, 6586838 edges, 3846 markings/sec, 825 secs
lola: 4 tries, 3613511 fired transitions, 830 secs || 3194707 markings, 6629980 edges, 3805 markings/sec, 830 secs
lola: 4 tries, 3635267 fired transitions, 835 secs || 3214373 markings, 6673135 edges, 3933 markings/sec, 835 secs
lola: 4 tries, 3656889 fired transitions, 840 secs || 3233670 markings, 6714940 edges, 3859 markings/sec, 840 secs
lola: 4 tries, 3679014 fired transitions, 845 secs || 3253237 markings, 6758502 edges, 3913 markings/sec, 845 secs
lola: 4 tries, 3701348 fired transitions, 850 secs || 3272896 markings, 6803481 edges, 3932 markings/sec, 850 secs
lola: 4 tries, 3723750 fired transitions, 855 secs || 3292853 markings, 6846483 edges, 3991 markings/sec, 855 secs
lola: 4 tries, 3745986 fired transitions, 860 secs || 3312419 markings, 6889828 edges, 3913 markings/sec, 860 secs
lola: 4 tries, 3768266 fired transitions, 865 secs || 3332316 markings, 6934410 edges, 3979 markings/sec, 865 secs
lola: 4 tries, 3789799 fired transitions, 870 secs || 3351376 markings, 6976532 edges, 3812 markings/sec, 870 secs
lola: 4 tries, 3811284 fired transitions, 875 secs || 3370322 markings, 7019848 edges, 3789 markings/sec, 875 secs
lola: 4 tries, 3832721 fired transitions, 880 secs || 3389429 markings, 7061941 edges, 3821 markings/sec, 880 secs
lola: 4 tries, 3854441 fired transitions, 885 secs || 3408788 markings, 7104900 edges, 3872 markings/sec, 885 secs
lola: 4 tries, 3876701 fired transitions, 890 secs || 3428622 markings, 7148198 edges, 3967 markings/sec, 890 secs
lola: 4 tries, 3898864 fired transitions, 895 secs || 3448284 markings, 7191415 edges, 3932 markings/sec, 895 secs
lola: 4 tries, 3920650 fired transitions, 900 secs || 3467852 markings, 7234147 edges, 3914 markings/sec, 900 secs
lola: 4 tries, 3942067 fired transitions, 905 secs || 3486909 markings, 7275377 edges, 3811 markings/sec, 905 secs
lola: 4 tries, 3964336 fired transitions, 910 secs || 3506563 markings, 7319071 edges, 3931 markings/sec, 910 secs
lola: 4 tries, 3986674 fired transitions, 915 secs || 3526388 markings, 7362990 edges, 3965 markings/sec, 915 secs
lola: 5 tries, 4011079 fired transitions, 920 secs || 3547221 markings, 7408923 edges, 4167 markings/sec, 920 secs
lola: 5 tries, 4037966 fired transitions, 925 secs || 3569768 markings, 7454354 edges, 4509 markings/sec, 925 secs
lola: 5 tries, 4064535 fired transitions, 930 secs || 3592278 markings, 7498857 edges, 4502 markings/sec, 930 secs
lola: 5 tries, 4091130 fired transitions, 935 secs || 3614079 markings, 7545014 edges, 4360 markings/sec, 935 secs
lola: 5 tries, 4118382 fired transitions, 940 secs || 3636892 markings, 7590637 edges, 4563 markings/sec, 940 secs
lola: 5 tries, 4142730 fired transitions, 945 secs || 3656851 markings, 7634615 edges, 3992 markings/sec, 945 secs
lola: 5 tries, 4165728 fired transitions, 950 secs || 3677085 markings, 7679384 edges, 4047 markings/sec, 950 secs
lola: 5 tries, 4188246 fired transitions, 955 secs || 3697185 markings, 7723532 edges, 4020 markings/sec, 955 secs
lola: 5 tries, 4209280 fired transitions, 960 secs || 3716233 markings, 7764576 edges, 3810 markings/sec, 960 secs
lola: 5 tries, 4230258 fired transitions, 965 secs || 3734954 markings, 7806098 edges, 3744 markings/sec, 965 secs
lola: 5 tries, 4251504 fired transitions, 970 secs || 3753762 markings, 7846654 edges, 3762 markings/sec, 970 secs
lola: 5 tries, 4274477 fired transitions, 975 secs || 3774214 markings, 7893027 edges, 4090 markings/sec, 975 secs
lola: 5 tries, 4297441 fired transitions, 980 secs || 3794587 markings, 7939465 edges, 4075 markings/sec, 980 secs
lola: 5 tries, 4320321 fired transitions, 985 secs || 3814760 markings, 7984537 edges, 4035 markings/sec, 985 secs
lola: 5 tries, 4343267 fired transitions, 990 secs || 3834999 markings, 8030156 edges, 4048 markings/sec, 990 secs
lola: 5 tries, 4366318 fired transitions, 995 secs || 3855178 markings, 8075885 edges, 4036 markings/sec, 995 secs
lola: 5 tries, 4389280 fired transitions, 1000 secs || 3875464 markings, 8120973 edges, 4057 markings/sec, 1000 secs
lola: 5 tries, 4412385 fired transitions, 1005 secs || 3895907 markings, 8167180 edges, 4089 markings/sec, 1005 secs
lola: 5 tries, 4435306 fired transitions, 1010 secs || 3916368 markings, 8212375 edges, 4092 markings/sec, 1010 secs
lola: 5 tries, 4458222 fired transitions, 1015 secs || 3936632 markings, 8258125 edges, 4053 markings/sec, 1015 secs
lola: 5 tries, 4481161 fired transitions, 1020 secs || 3957020 markings, 8303676 edges, 4078 markings/sec, 1020 secs
lola: 5 tries, 4503156 fired transitions, 1025 secs || 3977395 markings, 8349091 edges, 4075 markings/sec, 1025 secs
lola: 5 tries, 4525013 fired transitions, 1030 secs || 3997156 markings, 8394665 edges, 3952 markings/sec, 1030 secs
lola: 5 tries, 4547139 fired transitions, 1035 secs || 4017328 markings, 8440222 edges, 4034 markings/sec, 1035 secs
lola: 5 tries, 4569939 fired transitions, 1040 secs || 4037227 markings, 8485164 edges, 3980 markings/sec, 1040 secs
lola: 5 tries, 4592277 fired transitions, 1045 secs || 4057087 markings, 8530477 edges, 3972 markings/sec, 1045 secs
lola: 5 tries, 4615363 fired transitions, 1050 secs || 4077077 markings, 8576023 edges, 3998 markings/sec, 1050 secs
lola: 5 tries, 4638023 fired transitions, 1055 secs || 4097056 markings, 8622172 edges, 3996 markings/sec, 1055 secs
lola: 5 tries, 4660866 fired transitions, 1060 secs || 4116927 markings, 8666773 edges, 3974 markings/sec, 1060 secs
lola: 5 tries, 4683120 fired transitions, 1065 secs || 4136850 markings, 8710580 edges, 3985 markings/sec, 1065 secs
lola: 5 tries, 4705210 fired transitions, 1070 secs || 4156685 markings, 8755671 edges, 3967 markings/sec, 1070 secs
lola: 5 tries, 4726684 fired transitions, 1075 secs || 4175486 markings, 8797310 edges, 3760 markings/sec, 1075 secs
lola: 5 tries, 4747684 fired transitions, 1080 secs || 4193760 markings, 8838267 edges, 3655 markings/sec, 1080 secs
lola: 5 tries, 4768218 fired transitions, 1085 secs || 4212424 markings, 8880355 edges, 3733 markings/sec, 1085 secs
lola: 5 tries, 4790398 fired transitions, 1090 secs || 4232648 markings, 8926004 edges, 4045 markings/sec, 1090 secs
lola: 5 tries, 4813242 fired transitions, 1095 secs || 4253267 markings, 8972437 edges, 4124 markings/sec, 1095 secs
lola: 5 tries, 4835962 fired transitions, 1100 secs || 4273541 markings, 9018179 edges, 4055 markings/sec, 1100 secs
lola: 5 tries, 4858277 fired transitions, 1105 secs || 4293456 markings, 9064811 edges, 3983 markings/sec, 1105 secs
lola: 5 tries, 4881044 fired transitions, 1110 secs || 4313281 markings, 9110210 edges, 3965 markings/sec, 1110 secs
lola: 5 tries, 4903718 fired transitions, 1115 secs || 4333533 markings, 9156089 edges, 4050 markings/sec, 1115 secs
lola: 5 tries, 4926247 fired transitions, 1120 secs || 4353535 markings, 9200721 edges, 4000 markings/sec, 1120 secs
lola: 5 tries, 4948485 fired transitions, 1125 secs || 4373613 markings, 9245754 edges, 4016 markings/sec, 1125 secs
lola: 5 tries, 4971159 fired transitions, 1130 secs || 4393841 markings, 9291892 edges, 4046 markings/sec, 1130 secs
lola: 5 tries, 4993991 fired transitions, 1135 secs || 4413790 markings, 9336356 edges, 3990 markings/sec, 1135 secs
lola: 6 tries, 5019331 fired transitions, 1140 secs || 4435562 markings, 9380480 edges, 4354 markings/sec, 1140 secs
lola: 6 tries, 5046329 fired transitions, 1145 secs || 4457856 markings, 9425769 edges, 4459 markings/sec, 1145 secs
lola: 6 tries, 5069819 fired transitions, 1150 secs || 4478070 markings, 9470903 edges, 4043 markings/sec, 1150 secs
lola: 6 tries, 5092871 fired transitions, 1155 secs || 4497478 markings, 9513651 edges, 3882 markings/sec, 1155 secs
lola: 6 tries, 5116059 fired transitions, 1160 secs || 4517379 markings, 9558432 edges, 3980 markings/sec, 1160 secs
lola: 6 tries, 5139276 fired transitions, 1165 secs || 4537149 markings, 9603766 edges, 3954 markings/sec, 1165 secs
lola: 6 tries, 5161974 fired transitions, 1170 secs || 4557396 markings, 9649070 edges, 4049 markings/sec, 1170 secs
lola: 6 tries, 5184625 fired transitions, 1175 secs || 4577282 markings, 9693482 edges, 3977 markings/sec, 1175 secs
lola: 6 tries, 5207268 fired transitions, 1180 secs || 4597383 markings, 9738069 edges, 4020 markings/sec, 1180 secs
lola: 6 tries, 5229969 fired transitions, 1185 secs || 4617277 markings, 9782062 edges, 3979 markings/sec, 1185 secs
lola: 6 tries, 5252837 fired transitions, 1190 secs || 4637187 markings, 9826595 edges, 3982 markings/sec, 1190 secs
lola: 6 tries, 5275633 fired transitions, 1195 secs || 4657269 markings, 9872044 edges, 4016 markings/sec, 1195 secs
lola: 6 tries, 5298300 fired transitions, 1200 secs || 4677521 markings, 9919041 edges, 4050 markings/sec, 1200 secs
lola: 6 tries, 5320897 fired transitions, 1205 secs || 4698151 markings, 9964970 edges, 4126 markings/sec, 1205 secs
lola: 6 tries, 5343126 fired transitions, 1210 secs || 4718288 markings, 10010015 edges, 4027 markings/sec, 1210 secs
lola: 6 tries, 5365902 fired transitions, 1215 secs || 4738909 markings, 10054704 edges, 4124 markings/sec, 1215 secs
lola: 6 tries, 5388690 fired transitions, 1220 secs || 4758777 markings, 10100222 edges, 3974 markings/sec, 1220 secs
lola: 6 tries, 5411727 fired transitions, 1225 secs || 4778744 markings, 10147062 edges, 3993 markings/sec, 1225 secs
lola: 6 tries, 5434432 fired transitions, 1230 secs || 4798642 markings, 10191267 edges, 3980 markings/sec, 1230 secs
lola: 6 tries, 5457219 fired transitions, 1235 secs || 4818738 markings, 10236940 edges, 4019 markings/sec, 1235 secs
lola: 6 tries, 5479571 fired transitions, 1240 secs || 4838385 markings, 10282112 edges, 3929 markings/sec, 1240 secs
lola: 6 tries, 5502325 fired transitions, 1245 secs || 4858373 markings, 10326155 edges, 3998 markings/sec, 1245 secs
lola: 6 tries, 5524355 fired transitions, 1250 secs || 4877631 markings, 10369698 edges, 3852 markings/sec, 1250 secs
lola: 6 tries, 5546076 fired transitions, 1255 secs || 4896968 markings, 10413126 edges, 3867 markings/sec, 1255 secs
lola: 6 tries, 5567344 fired transitions, 1260 secs || 4915461 markings, 10455385 edges, 3699 markings/sec, 1260 secs
lola: 6 tries, 5587680 fired transitions, 1265 secs || 4933717 markings, 10496650 edges, 3651 markings/sec, 1265 secs
lola: 6 tries, 5608673 fired transitions, 1270 secs || 4951939 markings, 10537800 edges, 3644 markings/sec, 1270 secs
lola: 6 tries, 5629661 fired transitions, 1275 secs || 4969876 markings, 10578719 edges, 3587 markings/sec, 1275 secs
lola: 6 tries, 5650621 fired transitions, 1280 secs || 4988051 markings, 10620480 edges, 3635 markings/sec, 1280 secs
lola: 6 tries, 5671159 fired transitions, 1285 secs || 5006211 markings, 10661492 edges, 3632 markings/sec, 1285 secs
lola: 6 tries, 5692823 fired transitions, 1290 secs || 5025431 markings, 10704667 edges, 3844 markings/sec, 1290 secs
lola: 6 tries, 5712956 fired transitions, 1295 secs || 5043845 markings, 10746610 edges, 3683 markings/sec, 1295 secs
lola: 6 tries, 5733718 fired transitions, 1300 secs || 5062127 markings, 10788577 edges, 3656 markings/sec, 1300 secs
lola: 6 tries, 5754439 fired transitions, 1305 secs || 5080367 markings, 10830998 edges, 3648 markings/sec, 1305 secs
lola: 6 tries, 5776553 fired transitions, 1310 secs || 5099940 markings, 10875405 edges, 3915 markings/sec, 1310 secs
lola: 6 tries, 5799396 fired transitions, 1315 secs || 5120495 markings, 10922718 edges, 4111 markings/sec, 1315 secs
lola: 6 tries, 5821572 fired transitions, 1320 secs || 5139880 markings, 10968433 edges, 3877 markings/sec, 1320 secs
lola: 6 tries, 5844198 fired transitions, 1325 secs || 5159409 markings, 11012878 edges, 3906 markings/sec, 1325 secs
lola: 6 tries, 5866378 fired transitions, 1330 secs || 5178677 markings, 11057054 edges, 3854 markings/sec, 1330 secs
lola: 6 tries, 5888460 fired transitions, 1335 secs || 5198385 markings, 11102061 edges, 3942 markings/sec, 1335 secs
lola: 6 tries, 5910121 fired transitions, 1340 secs || 5217007 markings, 11144808 edges, 3724 markings/sec, 1340 secs
lola: 6 tries, 5931586 fired transitions, 1345 secs || 5235469 markings, 11186303 edges, 3692 markings/sec, 1345 secs
lola: 6 tries, 5952979 fired transitions, 1350 secs || 5254148 markings, 11228152 edges, 3736 markings/sec, 1350 secs
lola: 6 tries, 5974230 fired transitions, 1355 secs || 5273233 markings, 11271688 edges, 3817 markings/sec, 1355 secs
lola: 6 tries, 5995033 fired transitions, 1360 secs || 5291681 markings, 11313685 edges, 3690 markings/sec, 1360 secs
lola: 7 tries, 6019117 fired transitions, 1365 secs || 5311877 markings, 11356469 edges, 4039 markings/sec, 1365 secs
lola: 7 tries, 6043940 fired transitions, 1370 secs || 5332120 markings, 11400644 edges, 4049 markings/sec, 1370 secs
lola: 7 tries, 6069437 fired transitions, 1375 secs || 5352782 markings, 11445461 edges, 4132 markings/sec, 1375 secs
lola: 7 tries, 6093047 fired transitions, 1380 secs || 5372519 markings, 11488897 edges, 3947 markings/sec, 1380 secs
lola: 7 tries, 6113624 fired transitions, 1385 secs || 5390799 markings, 11530667 edges, 3656 markings/sec, 1385 secs
lola: 7 tries, 6134807 fired transitions, 1390 secs || 5409843 markings, 11575402 edges, 3809 markings/sec, 1390 secs
lola: 7 tries, 6156958 fired transitions, 1395 secs || 5429314 markings, 11619521 edges, 3894 markings/sec, 1395 secs
lola: 7 tries, 6179145 fired transitions, 1400 secs || 5448927 markings, 11664411 edges, 3923 markings/sec, 1400 secs
lola: 7 tries, 6201190 fired transitions, 1405 secs || 5468345 markings, 11708769 edges, 3884 markings/sec, 1405 secs
lola: 7 tries, 6223397 fired transitions, 1410 secs || 5488030 markings, 11752519 edges, 3937 markings/sec, 1410 secs
lola: 7 tries, 6244809 fired transitions, 1415 secs || 5506841 markings, 11794354 edges, 3762 markings/sec, 1415 secs
lola: 7 tries, 6266641 fired transitions, 1420 secs || 5525804 markings, 11838296 edges, 3793 markings/sec, 1420 secs
lola: 7 tries, 6288424 fired transitions, 1425 secs || 5545074 markings, 11881707 edges, 3854 markings/sec, 1425 secs
lola: 7 tries, 6310036 fired transitions, 1430 secs || 5564297 markings, 11924107 edges, 3845 markings/sec, 1430 secs
lola: 7 tries, 6331926 fired transitions, 1435 secs || 5583830 markings, 11967987 edges, 3907 markings/sec, 1435 secs
lola: 7 tries, 6352470 fired transitions, 1440 secs || 5602966 markings, 12010935 edges, 3827 markings/sec, 1440 secs
lola: 7 tries, 6374044 fired transitions, 1445 secs || 5622184 markings, 12055142 edges, 3844 markings/sec, 1445 secs
lola: 7 tries, 6395593 fired transitions, 1450 secs || 5641563 markings, 12099033 edges, 3876 markings/sec, 1450 secs
lola: 7 tries, 6417418 fired transitions, 1455 secs || 5661552 markings, 12143434 edges, 3998 markings/sec, 1455 secs
lola: 7 tries, 6439037 fired transitions, 1460 secs || 5680528 markings, 12186647 edges, 3795 markings/sec, 1460 secs
lola: 7 tries, 6461027 fired transitions, 1465 secs || 5699887 markings, 12230645 edges, 3872 markings/sec, 1465 secs
lola: 7 tries, 6483259 fired transitions, 1470 secs || 5719631 markings, 12274875 edges, 3949 markings/sec, 1470 secs
lola: 7 tries, 6505313 fired transitions, 1475 secs || 5739252 markings, 12317667 edges, 3924 markings/sec, 1475 secs
lola: 7 tries, 6527323 fired transitions, 1480 secs || 5758578 markings, 12363169 edges, 3865 markings/sec, 1480 secs
lola: 7 tries, 6549346 fired transitions, 1485 secs || 5777765 markings, 12405972 edges, 3837 markings/sec, 1485 secs
lola: 7 tries, 6571194 fired transitions, 1490 secs || 5796710 markings, 12448091 edges, 3789 markings/sec, 1490 secs
lola: 7 tries, 6593121 fired transitions, 1495 secs || 5815438 markings, 12490237 edges, 3746 markings/sec, 1495 secs
lola: 7 tries, 6614561 fired transitions, 1500 secs || 5834271 markings, 12532652 edges, 3767 markings/sec, 1500 secs
lola: 7 tries, 6636681 fired transitions, 1505 secs || 5853821 markings, 12578096 edges, 3910 markings/sec, 1505 secs
lola: 7 tries, 6658763 fired transitions, 1510 secs || 5873148 markings, 12622730 edges, 3865 markings/sec, 1510 secs
lola: 7 tries, 6680674 fired transitions, 1515 secs || 5890478 markings, 12662776 edges, 3466 markings/sec, 1515 secs
lola: 7 tries, 6702580 fired transitions, 1520 secs || 5909429 markings, 12706278 edges, 3790 markings/sec, 1520 secs
lola: 7 tries, 6724809 fired transitions, 1525 secs || 5928196 markings, 12749033 edges, 3753 markings/sec, 1525 secs
lola: 7 tries, 6747091 fired transitions, 1530 secs || 5947148 markings, 12792440 edges, 3790 markings/sec, 1530 secs
lola: 7 tries, 6769324 fired transitions, 1535 secs || 5965834 markings, 12834381 edges, 3737 markings/sec, 1535 secs
lola: 7 tries, 6791268 fired transitions, 1540 secs || 5985074 markings, 12877669 edges, 3848 markings/sec, 1540 secs
lola: 7 tries, 6813404 fired transitions, 1545 secs || 6004248 markings, 12921740 edges, 3835 markings/sec, 1545 secs
lola: 7 tries, 6835180 fired transitions, 1550 secs || 6023783 markings, 12965794 edges, 3907 markings/sec, 1550 secs
lola: 7 tries, 6856851 fired transitions, 1555 secs || 6042961 markings, 13009542 edges, 3836 markings/sec, 1555 secs
lola: 7 tries, 6878901 fired transitions, 1560 secs || 6062013 markings, 13053424 edges, 3810 markings/sec, 1560 secs
lola: 7 tries, 6900761 fired transitions, 1565 secs || 6081248 markings, 13097882 edges, 3847 markings/sec, 1565 secs
lola: 7 tries, 6921984 fired transitions, 1570 secs || 6100162 markings, 13140453 edges, 3783 markings/sec, 1570 secs
lola: 7 tries, 6943714 fired transitions, 1575 secs || 6119256 markings, 13184792 edges, 3819 markings/sec, 1575 secs
lola: 7 tries, 6965996 fired transitions, 1580 secs || 6138764 markings, 13228058 edges, 3902 markings/sec, 1580 secs
lola: 7 tries, 6987999 fired transitions, 1585 secs || 6157734 markings, 13271566 edges, 3794 markings/sec, 1585 secs
lola: 8 tries, 7011532 fired transitions, 1590 secs || 6176983 markings, 13314898 edges, 3850 markings/sec, 1590 secs
lola: 8 tries, 7036888 fired transitions, 1595 secs || 6198146 markings, 13358440 edges, 4233 markings/sec, 1595 secs
lola: 8 tries, 7061228 fired transitions, 1600 secs || 6217676 markings, 13401775 edges, 3906 markings/sec, 1600 secs
lola: 8 tries, 7083159 fired transitions, 1605 secs || 6236875 markings, 13444646 edges, 3840 markings/sec, 1605 secs
lola: 8 tries, 7105394 fired transitions, 1610 secs || 6256192 markings, 13488689 edges, 3863 markings/sec, 1610 secs
lola: 8 tries, 7127030 fired transitions, 1615 secs || 6275484 markings, 13532711 edges, 3858 markings/sec, 1615 secs
lola: 8 tries, 7149075 fired transitions, 1620 secs || 6294792 markings, 13577214 edges, 3862 markings/sec, 1620 secs
lola: 8 tries, 7171051 fired transitions, 1625 secs || 6314005 markings, 13620398 edges, 3843 markings/sec, 1625 secs
lola: 8 tries, 7193277 fired transitions, 1630 secs || 6333001 markings, 13663315 edges, 3799 markings/sec, 1630 secs
lola: 8 tries, 7215108 fired transitions, 1635 secs || 6351998 markings, 13707611 edges, 3799 markings/sec, 1635 secs
lola: 8 tries, 7237323 fired transitions, 1640 secs || 6370924 markings, 13751182 edges, 3785 markings/sec, 1640 secs
lola: 8 tries, 7259438 fired transitions, 1645 secs || 6390066 markings, 13795635 edges, 3828 markings/sec, 1645 secs
lola: 8 tries, 7281023 fired transitions, 1650 secs || 6409201 markings, 13839982 edges, 3827 markings/sec, 1650 secs
lola: 8 tries, 7302571 fired transitions, 1655 secs || 6428644 markings, 13884546 edges, 3889 markings/sec, 1655 secs
lola: 8 tries, 7324304 fired transitions, 1660 secs || 6447375 markings, 13928651 edges, 3746 markings/sec, 1660 secs
lola: 8 tries, 7345669 fired transitions, 1665 secs || 6466421 markings, 13970839 edges, 3809 markings/sec, 1665 secs
lola: 8 tries, 7367820 fired transitions, 1670 secs || 6485367 markings, 14015734 edges, 3789 markings/sec, 1670 secs
lola: 8 tries, 7389806 fired transitions, 1675 secs || 6504269 markings, 14059144 edges, 3780 markings/sec, 1675 secs
lola: 8 tries, 7410743 fired transitions, 1680 secs || 6523442 markings, 14102705 edges, 3835 markings/sec, 1680 secs
lola: 8 tries, 7432734 fired transitions, 1685 secs || 6542457 markings, 14146588 edges, 3803 markings/sec, 1685 secs
lola: 8 tries, 7454350 fired transitions, 1690 secs || 6561551 markings, 14190140 edges, 3819 markings/sec, 1690 secs
lola: 8 tries, 7476104 fired transitions, 1695 secs || 6580500 markings, 14232143 edges, 3790 markings/sec, 1695 secs
lola: 8 tries, 7497593 fired transitions, 1700 secs || 6599149 markings, 14275018 edges, 3730 markings/sec, 1700 secs
lola: 8 tries, 7518673 fired transitions, 1705 secs || 6617554 markings, 14317832 edges, 3681 markings/sec, 1705 secs
lola: 8 tries, 7539691 fired transitions, 1710 secs || 6636111 markings, 14360047 edges, 3711 markings/sec, 1710 secs
lola: 8 tries, 7561039 fired transitions, 1715 secs || 6654639 markings, 14402196 edges, 3706 markings/sec, 1715 secs
lola: 8 tries, 7582679 fired transitions, 1720 secs || 6673826 markings, 14445462 edges, 3837 markings/sec, 1720 secs
lola: 8 tries, 7604666 fired transitions, 1725 secs || 6692857 markings, 14488590 edges, 3806 markings/sec, 1725 secs
lola: 8 tries, 7626666 fired transitions, 1730 secs || 6711670 markings, 14531416 edges, 3763 markings/sec, 1730 secs
lola: 8 tries, 7647920 fired transitions, 1735 secs || 6730128 markings, 14572890 edges, 3692 markings/sec, 1735 secs
lola: 8 tries, 7669587 fired transitions, 1740 secs || 6749216 markings, 14617046 edges, 3818 markings/sec, 1740 secs
lola: 8 tries, 7691281 fired transitions, 1745 secs || 6768170 markings, 14660922 edges, 3791 markings/sec, 1745 secs
lola: 8 tries, 7712380 fired transitions, 1750 secs || 6786539 markings, 14704255 edges, 3674 markings/sec, 1750 secs
lola: 8 tries, 7734290 fired transitions, 1755 secs || 6805477 markings, 14747842 edges, 3788 markings/sec, 1755 secs
lola: 8 tries, 7756052 fired transitions, 1760 secs || 6824496 markings, 14792247 edges, 3804 markings/sec, 1760 secs
lola: 8 tries, 7777220 fired transitions, 1765 secs || 6843296 markings, 14834868 edges, 3760 markings/sec, 1765 secs
lola: 8 tries, 7799123 fired transitions, 1770 secs || 6862209 markings, 14878334 edges, 3783 markings/sec, 1770 secs
lola: 8 tries, 7821187 fired transitions, 1775 secs || 6880902 markings, 14921283 edges, 3739 markings/sec, 1775 secs
lola: 8 tries, 7842926 fired transitions, 1780 secs || 6899759 markings, 14964499 edges, 3771 markings/sec, 1780 secs
lola: 8 tries, 7864881 fired transitions, 1785 secs || 6918782 markings, 15008152 edges, 3805 markings/sec, 1785 secs
lola: 8 tries, 7886936 fired transitions, 1790 secs || 6937337 markings, 15051530 edges, 3711 markings/sec, 1790 secs
lola: 8 tries, 7908501 fired transitions, 1795 secs || 6956485 markings, 15098022 edges, 3830 markings/sec, 1795 secs
lola: 8 tries, 7930112 fired transitions, 1800 secs || 6975718 markings, 15143169 edges, 3847 markings/sec, 1800 secs
lola: 8 tries, 7951807 fired transitions, 1805 secs || 6994764 markings, 15187956 edges, 3809 markings/sec, 1805 secs
lola: 8 tries, 7973029 fired transitions, 1810 secs || 7013727 markings, 15231643 edges, 3793 markings/sec, 1810 secs
lola: 8 tries, 7994492 fired transitions, 1815 secs || 7033081 markings, 15275952 edges, 3871 markings/sec, 1815 secs
lola: 9 tries, 8017306 fired transitions, 1820 secs || 7052663 markings, 15318921 edges, 3916 markings/sec, 1820 secs
lola: 9 tries, 8040177 fired transitions, 1825 secs || 7071981 markings, 15361869 edges, 3864 markings/sec, 1825 secs
lola: 9 tries, 8063785 fired transitions, 1830 secs || 7092191 markings, 15405619 edges, 4042 markings/sec, 1830 secs
lola: 9 tries, 8087224 fired transitions, 1835 secs || 7112021 markings, 15448876 edges, 3966 markings/sec, 1835 secs
lola: 9 tries, 8110222 fired transitions, 1840 secs || 7131384 markings, 15493814 edges, 3873 markings/sec, 1840 secs
lola: 9 tries, 8133664 fired transitions, 1845 secs || 7151138 markings, 15537098 edges, 3951 markings/sec, 1845 secs
lola: 9 tries, 8155911 fired transitions, 1850 secs || 7170332 markings, 15580166 edges, 3839 markings/sec, 1850 secs
lola: 9 tries, 8176300 fired transitions, 1855 secs || 7188253 markings, 15620956 edges, 3584 markings/sec, 1855 secs
lola: 9 tries, 8196902 fired transitions, 1860 secs || 7205780 markings, 15661148 edges, 3505 markings/sec, 1860 secs
lola: 9 tries, 8217034 fired transitions, 1865 secs || 7223358 markings, 15701571 edges, 3516 markings/sec, 1865 secs
lola: 9 tries, 8237090 fired transitions, 1870 secs || 7241043 markings, 15741396 edges, 3537 markings/sec, 1870 secs
lola: 9 tries, 8257053 fired transitions, 1875 secs || 7258181 markings, 15781235 edges, 3428 markings/sec, 1875 secs
lola: 9 tries, 8277367 fired transitions, 1880 secs || 7275758 markings, 15820873 edges, 3515 markings/sec, 1880 secs
lola: 9 tries, 8297618 fired transitions, 1885 secs || 7293167 markings, 15861521 edges, 3482 markings/sec, 1885 secs
lola: 9 tries, 8317927 fired transitions, 1890 secs || 7310593 markings, 15902360 edges, 3485 markings/sec, 1890 secs
lola: 9 tries, 8338161 fired transitions, 1895 secs || 7328361 markings, 15944192 edges, 3554 markings/sec, 1895 secs
lola: 9 tries, 8358947 fired transitions, 1900 secs || 7346417 markings, 15985989 edges, 3611 markings/sec, 1900 secs
lola: 9 tries, 8380211 fired transitions, 1905 secs || 7364683 markings, 16028145 edges, 3653 markings/sec, 1905 secs
lola: 9 tries, 8400886 fired transitions, 1910 secs || 7381925 markings, 16066798 edges, 3448 markings/sec, 1910 secs
lola: 9 tries, 8422080 fired transitions, 1915 secs || 7400737 markings, 16110503 edges, 3762 markings/sec, 1915 secs
lola: 9 tries, 8443546 fired transitions, 1920 secs || 7419307 markings, 16153265 edges, 3714 markings/sec, 1920 secs
lola: 9 tries, 8464659 fired transitions, 1925 secs || 7438055 markings, 16195087 edges, 3750 markings/sec, 1925 secs
lola: 9 tries, 8486047 fired transitions, 1930 secs || 7456813 markings, 16237846 edges, 3752 markings/sec, 1930 secs
lola: 9 tries, 8508002 fired transitions, 1935 secs || 7475770 markings, 16281341 edges, 3791 markings/sec, 1935 secs
lola: 9 tries, 8530148 fired transitions, 1940 secs || 7494529 markings, 16324827 edges, 3752 markings/sec, 1940 secs
lola: 9 tries, 8552540 fired transitions, 1945 secs || 7513156 markings, 16366427 edges, 3725 markings/sec, 1945 secs
lola: 9 tries, 8574941 fired transitions, 1950 secs || 7531919 markings, 16410124 edges, 3753 markings/sec, 1950 secs
lola: 9 tries, 8597252 fired transitions, 1955 secs || 7550749 markings, 16453513 edges, 3766 markings/sec, 1955 secs
lola: 9 tries, 8619088 fired transitions, 1960 secs || 7570053 markings, 16498529 edges, 3861 markings/sec, 1960 secs
lola: 9 tries, 8640892 fired transitions, 1965 secs || 7589419 markings, 16543444 edges, 3873 markings/sec, 1965 secs
lola: 9 tries, 8662661 fired transitions, 1970 secs || 7608826 markings, 16588175 edges, 3881 markings/sec, 1970 secs
lola: 9 tries, 8684038 fired transitions, 1975 secs || 7627963 markings, 16631903 edges, 3827 markings/sec, 1975 secs
lola: 9 tries, 8705330 fired transitions, 1980 secs || 7646239 markings, 16674359 edges, 3655 markings/sec, 1980 secs
lola: 9 tries, 8726744 fired transitions, 1985 secs || 7664630 markings, 16716075 edges, 3678 markings/sec, 1985 secs
lola: 9 tries, 8748451 fired transitions, 1990 secs || 7683342 markings, 16760299 edges, 3742 markings/sec, 1990 secs
lola: 9 tries, 8769909 fired transitions, 1995 secs || 7702038 markings, 16803598 edges, 3739 markings/sec, 1995 secs
lola: 9 tries, 8791271 fired transitions, 2000 secs || 7720450 markings, 16846807 edges, 3682 markings/sec, 2000 secs
lola: 9 tries, 8812271 fired transitions, 2005 secs || 7739300 markings, 16890433 edges, 3770 markings/sec, 2005 secs
lola: 9 tries, 8833610 fired transitions, 2010 secs || 7757874 markings, 16933234 edges, 3715 markings/sec, 2010 secs
lola: 9 tries, 8854612 fired transitions, 2015 secs || 7776417 markings, 16975986 edges, 3709 markings/sec, 2015 secs
lola: 9 tries, 8875899 fired transitions, 2020 secs || 7794645 markings, 17019042 edges, 3646 markings/sec, 2020 secs
lola: 9 tries, 8896895 fired transitions, 2025 secs || 7813033 markings, 17060570 edges, 3678 markings/sec, 2025 secs
lola: 9 tries, 8918235 fired transitions, 2030 secs || 7831153 markings, 17102099 edges, 3624 markings/sec, 2030 secs
lola: 9 tries, 8939372 fired transitions, 2035 secs || 7849501 markings, 17144031 edges, 3670 markings/sec, 2035 secs
lola: 9 tries, 8960884 fired transitions, 2040 secs || 7868136 markings, 17186902 edges, 3727 markings/sec, 2040 secs
lola: 9 tries, 8982190 fired transitions, 2045 secs || 7887090 markings, 17230885 edges, 3791 markings/sec, 2045 secs
lola: 10 tries, 9003622 fired transitions, 2050 secs || 7905373 markings, 17273189 edges, 3657 markings/sec, 2050 secs
lola: 10 tries, 9025119 fired transitions, 2055 secs || 7923957 markings, 17316963 edges, 3717 markings/sec, 2055 secs
lola: 10 tries, 9047138 fired transitions, 2060 secs || 7943132 markings, 17361382 edges, 3835 markings/sec, 2060 secs
lola: 10 tries, 9068965 fired transitions, 2065 secs || 7962307 markings, 17405433 edges, 3835 markings/sec, 2065 secs
lola: 10 tries, 9091118 fired transitions, 2070 secs || 7981221 markings, 17449442 edges, 3783 markings/sec, 2070 secs
lola: 10 tries, 9112612 fired transitions, 2075 secs || 8000352 markings, 17494846 edges, 3826 markings/sec, 2075 secs
lola: 10 tries, 9134810 fired transitions, 2080 secs || 8019385 markings, 17537990 edges, 3807 markings/sec, 2080 secs
lola: 10 tries, 9156233 fired transitions, 2085 secs || 8038164 markings, 17581741 edges, 3756 markings/sec, 2085 secs
lola: 10 tries, 9177885 fired transitions, 2090 secs || 8056644 markings, 17625721 edges, 3696 markings/sec, 2090 secs
lola: 10 tries, 9199281 fired transitions, 2095 secs || 8075767 markings, 17668699 edges, 3825 markings/sec, 2095 secs
lola: 10 tries, 9221363 fired transitions, 2100 secs || 8094667 markings, 17712476 edges, 3780 markings/sec, 2100 secs
lola: 10 tries, 9242934 fired transitions, 2105 secs || 8113682 markings, 17756701 edges, 3803 markings/sec, 2105 secs
lola: 10 tries, 9265043 fired transitions, 2110 secs || 8132810 markings, 17800609 edges, 3826 markings/sec, 2110 secs
lola: 10 tries, 9287150 fired transitions, 2115 secs || 8151733 markings, 17845644 edges, 3785 markings/sec, 2115 secs
lola: 10 tries, 9308434 fired transitions, 2120 secs || 8170012 markings, 17886973 edges, 3656 markings/sec, 2120 secs
lola: 10 tries, 9329714 fired transitions, 2125 secs || 8188387 markings, 17929625 edges, 3675 markings/sec, 2125 secs
lola: 10 tries, 9350899 fired transitions, 2130 secs || 8206893 markings, 17971556 edges, 3701 markings/sec, 2130 secs
lola: 10 tries, 9372354 fired transitions, 2135 secs || 8225328 markings, 18015012 edges, 3687 markings/sec, 2135 secs
lola: 10 tries, 9394069 fired transitions, 2140 secs || 8244167 markings, 18057110 edges, 3768 markings/sec, 2140 secs
lola: 10 tries, 9415947 fired transitions, 2145 secs || 8262844 markings, 18098750 edges, 3735 markings/sec, 2145 secs
lola: 10 tries, 9437675 fired transitions, 2150 secs || 8281755 markings, 18141788 edges, 3782 markings/sec, 2150 secs
lola: 10 tries, 9459814 fired transitions, 2155 secs || 8300666 markings, 18186884 edges, 3782 markings/sec, 2155 secs
lola: 10 tries, 9481366 fired transitions, 2160 secs || 8318492 markings, 18228839 edges, 3565 markings/sec, 2160 secs
lola: 10 tries, 9502714 fired transitions, 2165 secs || 8336541 markings, 18271220 edges, 3610 markings/sec, 2165 secs
lola: 10 tries, 9524214 fired transitions, 2170 secs || 8354109 markings, 18313655 edges, 3514 markings/sec, 2170 secs
lola: 10 tries, 9545703 fired transitions, 2175 secs || 8372173 markings, 18354878 edges, 3613 markings/sec, 2175 secs
lola: 10 tries, 9567349 fired transitions, 2180 secs || 8390113 markings, 18397868 edges, 3588 markings/sec, 2180 secs
lola: 10 tries, 9588556 fired transitions, 2185 secs || 8408082 markings, 18439172 edges, 3594 markings/sec, 2185 secs
lola: 10 tries, 9609520 fired transitions, 2190 secs || 8425887 markings, 18481226 edges, 3561 markings/sec, 2190 secs
lola: 10 tries, 9630772 fired transitions, 2195 secs || 8444636 markings, 18525994 edges, 3750 markings/sec, 2195 secs
lola: 10 tries, 9652203 fired transitions, 2200 secs || 8462090 markings, 18567479 edges, 3491 markings/sec, 2200 secs
lola: 10 tries, 9673573 fired transitions, 2205 secs || 8479540 markings, 18608247 edges, 3490 markings/sec, 2205 secs
lola: 10 tries, 9695135 fired transitions, 2210 secs || 8498030 markings, 18651067 edges, 3698 markings/sec, 2210 secs
lola: 10 tries, 9716806 fired transitions, 2215 secs || 8516380 markings, 18694386 edges, 3670 markings/sec, 2215 secs
lola: 10 tries, 9737787 fired transitions, 2220 secs || 8533677 markings, 18734118 edges, 3459 markings/sec, 2220 secs
lola: 10 tries, 9758697 fired transitions, 2225 secs || 8551449 markings, 18775917 edges, 3554 markings/sec, 2225 secs
lola: 10 tries, 9778876 fired transitions, 2230 secs || 8567947 markings, 18815254 edges, 3300 markings/sec, 2230 secs
lola: 10 tries, 9799168 fired transitions, 2235 secs || 8584902 markings, 18855678 edges, 3391 markings/sec, 2235 secs
lola: 10 tries, 9819863 fired transitions, 2240 secs || 8602421 markings, 18896838 edges, 3504 markings/sec, 2240 secs
lola: 10 tries, 9840599 fired transitions, 2245 secs || 8620594 markings, 18938013 edges, 3635 markings/sec, 2245 secs
lola: 10 tries, 9861681 fired transitions, 2250 secs || 8638817 markings, 18980897 edges, 3645 markings/sec, 2250 secs
lola: 10 tries, 9882375 fired transitions, 2255 secs || 8657033 markings, 19023691 edges, 3643 markings/sec, 2255 secs
lola: 10 tries, 9903791 fired transitions, 2260 secs || 8674871 markings, 19064559 edges, 3568 markings/sec, 2260 secs
lola: 10 tries, 9924643 fired transitions, 2265 secs || 8692633 markings, 19105630 edges, 3552 markings/sec, 2265 secs
lola: 10 tries, 9945683 fired transitions, 2270 secs || 8710482 markings, 19146863 edges, 3570 markings/sec, 2270 secs
lola: 10 tries, 9967099 fired transitions, 2275 secs || 8728662 markings, 19189275 edges, 3636 markings/sec, 2275 secs
lola: 10 tries, 9989507 fired transitions, 2280 secs || 8747100 markings, 19231705 edges, 3688 markings/sec, 2280 secs
lola: 11 tries, 10012147 fired transitions, 2285 secs || 8765272 markings, 19273524 edges, 3634 markings/sec, 2285 secs
lola: 11 tries, 10036625 fired transitions, 2290 secs || 8783968 markings, 19315176 edges, 3739 markings/sec, 2290 secs
lola: 11 tries, 10060851 fired transitions, 2295 secs || 8802354 markings, 19355688 edges, 3677 markings/sec, 2295 secs
lola: 11 tries, 10085700 fired transitions, 2300 secs || 8821497 markings, 19398923 edges, 3829 markings/sec, 2300 secs
lola: 11 tries, 10108191 fired transitions, 2305 secs || 8839777 markings, 19441012 edges, 3656 markings/sec, 2305 secs
lola: 11 tries, 10129359 fired transitions, 2310 secs || 8857253 markings, 19482180 edges, 3495 markings/sec, 2310 secs
lola: 11 tries, 10150897 fired transitions, 2315 secs || 8875659 markings, 19524401 edges, 3681 markings/sec, 2315 secs
lola: 11 tries, 10172164 fired transitions, 2320 secs || 8893790 markings, 19565849 edges, 3626 markings/sec, 2320 secs
lola: 11 tries, 10193284 fired transitions, 2325 secs || 8911106 markings, 19605989 edges, 3463 markings/sec, 2325 secs
lola: 11 tries, 10214355 fired transitions, 2330 secs || 8928406 markings, 19646531 edges, 3460 markings/sec, 2330 secs
lola: 11 tries, 10235611 fired transitions, 2335 secs || 8946126 markings, 19688936 edges, 3544 markings/sec, 2335 secs
lola: 11 tries, 10256617 fired transitions, 2340 secs || 8963594 markings, 19729217 edges, 3494 markings/sec, 2340 secs
lola: 11 tries, 10277784 fired transitions, 2345 secs || 8981354 markings, 19771732 edges, 3552 markings/sec, 2345 secs
lola: 11 tries, 10299120 fired transitions, 2350 secs || 8998974 markings, 19813003 edges, 3524 markings/sec, 2350 secs
lola: 11 tries, 10320758 fired transitions, 2355 secs || 9016718 markings, 19854452 edges, 3549 markings/sec, 2355 secs
lola: 11 tries, 10341785 fired transitions, 2360 secs || 9034167 markings, 19894015 edges, 3490 markings/sec, 2360 secs
lola: 11 tries, 10362943 fired transitions, 2365 secs || 9051726 markings, 19935570 edges, 3512 markings/sec, 2365 secs
lola: 11 tries, 10384049 fired transitions, 2370 secs || 9069327 markings, 19976327 edges, 3520 markings/sec, 2370 secs
lola: 11 tries, 10405210 fired transitions, 2375 secs || 9086751 markings, 20016443 edges, 3485 markings/sec, 2375 secs
lola: 11 tries, 10426340 fired transitions, 2380 secs || 9104528 markings, 20057981 edges, 3555 markings/sec, 2380 secs
lola: 11 tries, 10447601 fired transitions, 2385 secs || 9122297 markings, 20098863 edges, 3554 markings/sec, 2385 secs
lola: 11 tries, 10468591 fired transitions, 2390 secs || 9139836 markings, 20141429 edges, 3508 markings/sec, 2390 secs
lola: 11 tries, 10489678 fired transitions, 2395 secs || 9157398 markings, 20182236 edges, 3512 markings/sec, 2395 secs
lola: 11 tries, 10511155 fired transitions, 2400 secs || 9175380 markings, 20224331 edges, 3596 markings/sec, 2400 secs
lola: 11 tries, 10532132 fired transitions, 2405 secs || 9192779 markings, 20265240 edges, 3480 markings/sec, 2405 secs
lola: 11 tries, 10553035 fired transitions, 2410 secs || 9210338 markings, 20305584 edges, 3512 markings/sec, 2410 secs
lola: 11 tries, 10574349 fired transitions, 2415 secs || 9228081 markings, 20345686 edges, 3549 markings/sec, 2415 secs
lola: 11 tries, 10595660 fired transitions, 2420 secs || 9245718 markings, 20386404 edges, 3527 markings/sec, 2420 secs
lola: 11 tries, 10616909 fired transitions, 2425 secs || 9263428 markings, 20429017 edges, 3542 markings/sec, 2425 secs
lola: 11 tries, 10637977 fired transitions, 2430 secs || 9280983 markings, 20470254 edges, 3511 markings/sec, 2430 secs
lola: 11 tries, 10659388 fired transitions, 2435 secs || 9298888 markings, 20510522 edges, 3581 markings/sec, 2435 secs
lola: 11 tries, 10681821 fired transitions, 2440 secs || 9317211 markings, 20554225 edges, 3665 markings/sec, 2440 secs
lola: 11 tries, 10704458 fired transitions, 2445 secs || 9336224 markings, 20597238 edges, 3803 markings/sec, 2445 secs
lola: 11 tries, 10726863 fired transitions, 2450 secs || 9354931 markings, 20642478 edges, 3741 markings/sec, 2450 secs
lola: 11 tries, 10748725 fired transitions, 2455 secs || 9373399 markings, 20686937 edges, 3694 markings/sec, 2455 secs
lola: 11 tries, 10770423 fired transitions, 2460 secs || 9391931 markings, 20730122 edges, 3706 markings/sec, 2460 secs
lola: 11 tries, 10792273 fired transitions, 2465 secs || 9409995 markings, 20771351 edges, 3613 markings/sec, 2465 secs
lola: 11 tries, 10814847 fired transitions, 2470 secs || 9428983 markings, 20816386 edges, 3798 markings/sec, 2470 secs
lola: 11 tries, 10836967 fired transitions, 2475 secs || 9447242 markings, 20858018 edges, 3652 markings/sec, 2475 secs
lola: 11 tries, 10859003 fired transitions, 2480 secs || 9466037 markings, 20901061 edges, 3759 markings/sec, 2480 secs
lola: 11 tries, 10881173 fired transitions, 2485 secs || 9484385 markings, 20944475 edges, 3670 markings/sec, 2485 secs
lola: 11 tries, 10903328 fired transitions, 2490 secs || 9502788 markings, 20987095 edges, 3681 markings/sec, 2490 secs
lola: 11 tries, 10925726 fired transitions, 2495 secs || 9521422 markings, 21029023 edges, 3727 markings/sec, 2495 secs
lola: 11 tries, 10947490 fired transitions, 2500 secs || 9539525 markings, 21071664 edges, 3621 markings/sec, 2500 secs
lola: 11 tries, 10969316 fired transitions, 2505 secs || 9557431 markings, 21113696 edges, 3581 markings/sec, 2505 secs
lola: 11 tries, 10990916 fired transitions, 2510 secs || 9575613 markings, 21156780 edges, 3636 markings/sec, 2510 secs
lola: 12 tries, 11015096 fired transitions, 2515 secs || 9595045 markings, 21201924 edges, 3886 markings/sec, 2515 secs
lola: 12 tries, 11040651 fired transitions, 2520 secs || 9614676 markings, 21245676 edges, 3926 markings/sec, 2520 secs
lola: 12 tries, 11065798 fired transitions, 2525 secs || 9634520 markings, 21289226 edges, 3969 markings/sec, 2525 secs
lola: 12 tries, 11091716 fired transitions, 2530 secs || 9654486 markings, 21331249 edges, 3993 markings/sec, 2530 secs
lola: 12 tries, 11116541 fired transitions, 2535 secs || 9674139 markings, 21374738 edges, 3931 markings/sec, 2535 secs
lola: 12 tries, 11141904 fired transitions, 2540 secs || 9694311 markings, 21420537 edges, 4034 markings/sec, 2540 secs
lola: 12 tries, 11166942 fired transitions, 2545 secs || 9714015 markings, 21464531 edges, 3941 markings/sec, 2545 secs
lola: 12 tries, 11192467 fired transitions, 2550 secs || 9733109 markings, 21507453 edges, 3819 markings/sec, 2550 secs
lola: 12 tries, 11217879 fired transitions, 2555 secs || 9752424 markings, 21550787 edges, 3863 markings/sec, 2555 secs
lola: 12 tries, 11243822 fired transitions, 2560 secs || 9772172 markings, 21594370 edges, 3950 markings/sec, 2560 secs
lola: 12 tries, 11268562 fired transitions, 2565 secs || 9791541 markings, 21637402 edges, 3874 markings/sec, 2565 secs
lola: 12 tries, 11294190 fired transitions, 2570 secs || 9811078 markings, 21680538 edges, 3907 markings/sec, 2570 secs
lola: 12 tries, 11319547 fired transitions, 2575 secs || 9830234 markings, 21724170 edges, 3831 markings/sec, 2575 secs
lola: 12 tries, 11345380 fired transitions, 2580 secs || 9850285 markings, 21770827 edges, 4010 markings/sec, 2580 secs
lola: 12 tries, 11371045 fired transitions, 2585 secs || 9869507 markings, 21814451 edges, 3844 markings/sec, 2585 secs
lola: 12 tries, 11397024 fired transitions, 2590 secs || 9889337 markings, 21859324 edges, 3966 markings/sec, 2590 secs
lola: 12 tries, 11422513 fired transitions, 2595 secs || 9908752 markings, 21903992 edges, 3883 markings/sec, 2595 secs
lola: 12 tries, 11447034 fired transitions, 2600 secs || 9928079 markings, 21947426 edges, 3865 markings/sec, 2600 secs
lola: 12 tries, 11471731 fired transitions, 2605 secs || 9947155 markings, 21991314 edges, 3815 markings/sec, 2605 secs
lola: 12 tries, 11496764 fired transitions, 2610 secs || 9966027 markings, 22032988 edges, 3774 markings/sec, 2610 secs
lola: 12 tries, 11520857 fired transitions, 2615 secs || 9984533 markings, 22076044 edges, 3701 markings/sec, 2615 secs
lola: 12 tries, 11545306 fired transitions, 2620 secs || 10003366 markings, 22117950 edges, 3767 markings/sec, 2620 secs
lola: 12 tries, 11570481 fired transitions, 2625 secs || 10022115 markings, 22160548 edges, 3750 markings/sec, 2625 secs
lola: 12 tries, 11595532 fired transitions, 2630 secs || 10041067 markings, 22203327 edges, 3790 markings/sec, 2630 secs
lola: 12 tries, 11622095 fired transitions, 2635 secs || 10061471 markings, 22250145 edges, 4081 markings/sec, 2635 secs
lola: 12 tries, 11647233 fired transitions, 2640 secs || 10080710 markings, 22293957 edges, 3848 markings/sec, 2640 secs
lola: 12 tries, 11671651 fired transitions, 2645 secs || 10099624 markings, 22338630 edges, 3783 markings/sec, 2645 secs
lola: 12 tries, 11695810 fired transitions, 2650 secs || 10119072 markings, 22382046 edges, 3890 markings/sec, 2650 secs
lola: 12 tries, 11721405 fired transitions, 2655 secs || 10138853 markings, 22426499 edges, 3956 markings/sec, 2655 secs
lola: 12 tries, 11745838 fired transitions, 2660 secs || 10157699 markings, 22467833 edges, 3769 markings/sec, 2660 secs
lola: 12 tries, 11770615 fired transitions, 2665 secs || 10176282 markings, 22510813 edges, 3717 markings/sec, 2665 secs
lola: 12 tries, 11792696 fired transitions, 2670 secs || 10194451 markings, 22552896 edges, 3634 markings/sec, 2670 secs
lola: 12 tries, 11814038 fired transitions, 2675 secs || 10212175 markings, 22593850 edges, 3545 markings/sec, 2675 secs
lola: 12 tries, 11835609 fired transitions, 2680 secs || 10230405 markings, 22637091 edges, 3646 markings/sec, 2680 secs
lola: 12 tries, 11857017 fired transitions, 2685 secs || 10248064 markings, 22678929 edges, 3532 markings/sec, 2685 secs
lola: 12 tries, 11878016 fired transitions, 2690 secs || 10265618 markings, 22718454 edges, 3511 markings/sec, 2690 secs
lola: 12 tries, 11899028 fired transitions, 2695 secs || 10283251 markings, 22759748 edges, 3527 markings/sec, 2695 secs
lola: 12 tries, 11919676 fired transitions, 2700 secs || 10301262 markings, 22802297 edges, 3602 markings/sec, 2700 secs
lola: 12 tries, 11940740 fired transitions, 2705 secs || 10319496 markings, 22846369 edges, 3647 markings/sec, 2705 secs
lola: 12 tries, 11961334 fired transitions, 2710 secs || 10337334 markings, 22887811 edges, 3568 markings/sec, 2710 secs
lola: 12 tries, 11982486 fired transitions, 2715 secs || 10354634 markings, 22928032 edges, 3460 markings/sec, 2715 secs
lola: 13 tries, 12004118 fired transitions, 2720 secs || 10372183 markings, 22970144 edges, 3510 markings/sec, 2720 secs
lola: 13 tries, 12029014 fired transitions, 2725 secs || 10390975 markings, 23014275 edges, 3758 markings/sec, 2725 secs
lola: 13 tries, 12053985 fired transitions, 2730 secs || 10410468 markings, 23056933 edges, 3899 markings/sec, 2730 secs
lola: 13 tries, 12079046 fired transitions, 2735 secs || 10428911 markings, 23098084 edges, 3689 markings/sec, 2735 secs
lola: 13 tries, 12103489 fired transitions, 2740 secs || 10447104 markings, 23139724 edges, 3639 markings/sec, 2740 secs
lola: 13 tries, 12128732 fired transitions, 2745 secs || 10466640 markings, 23183535 edges, 3907 markings/sec, 2745 secs
lola: 13 tries, 12153676 fired transitions, 2750 secs || 10485450 markings, 23225002 edges, 3762 markings/sec, 2750 secs
lola: 13 tries, 12178936 fired transitions, 2755 secs || 10505083 markings, 23267966 edges, 3927 markings/sec, 2755 secs
lola: 13 tries, 12203519 fired transitions, 2760 secs || 10524262 markings, 23310199 edges, 3836 markings/sec, 2760 secs
lola: 13 tries, 12227970 fired transitions, 2765 secs || 10543216 markings, 23353239 edges, 3791 markings/sec, 2765 secs
lola: 13 tries, 12252151 fired transitions, 2770 secs || 10561929 markings, 23396323 edges, 3743 markings/sec, 2770 secs
lola: 13 tries, 12276603 fired transitions, 2775 secs || 10580672 markings, 23441189 edges, 3749 markings/sec, 2775 secs
lola: 13 tries, 12300878 fired transitions, 2780 secs || 10599494 markings, 23485143 edges, 3764 markings/sec, 2780 secs
lola: 13 tries, 12325283 fired transitions, 2785 secs || 10618824 markings, 23528690 edges, 3866 markings/sec, 2785 secs
lola: 13 tries, 12349755 fired transitions, 2790 secs || 10637863 markings, 23573022 edges, 3808 markings/sec, 2790 secs
lola: 13 tries, 12373829 fired transitions, 2795 secs || 10657101 markings, 23617367 edges, 3848 markings/sec, 2795 secs
lola: 13 tries, 12398191 fired transitions, 2800 secs || 10675454 markings, 23659578 edges, 3671 markings/sec, 2800 secs
lola: 13 tries, 12422280 fired transitions, 2805 secs || 10694235 markings, 23702336 edges, 3756 markings/sec, 2805 secs
lola: 13 tries, 12447319 fired transitions, 2810 secs || 10713765 markings, 23747579 edges, 3906 markings/sec, 2810 secs
lola: 13 tries, 12471364 fired transitions, 2815 secs || 10732989 markings, 23792559 edges, 3845 markings/sec, 2815 secs
lola: 13 tries, 12493940 fired transitions, 2820 secs || 10751048 markings, 23834900 edges, 3612 markings/sec, 2820 secs
lola: 13 tries, 12515100 fired transitions, 2825 secs || 10768947 markings, 23876264 edges, 3580 markings/sec, 2825 secs
lola: 13 tries, 12536808 fired transitions, 2830 secs || 10786229 markings, 23917193 edges, 3456 markings/sec, 2830 secs
lola: 13 tries, 12558978 fired transitions, 2835 secs || 10804465 markings, 23960062 edges, 3647 markings/sec, 2835 secs
lola: 13 tries, 12580814 fired transitions, 2840 secs || 10822339 markings, 24002817 edges, 3575 markings/sec, 2840 secs
lola: 13 tries, 12601811 fired transitions, 2845 secs || 10840586 markings, 24047591 edges, 3649 markings/sec, 2845 secs
lola: 13 tries, 12623957 fired transitions, 2850 secs || 10858930 markings, 24090971 edges, 3669 markings/sec, 2850 secs
lola: 13 tries, 12645821 fired transitions, 2855 secs || 10877618 markings, 24134270 edges, 3738 markings/sec, 2855 secs
lola: 13 tries, 12667606 fired transitions, 2860 secs || 10895748 markings, 24176738 edges, 3626 markings/sec, 2860 secs
lola: 13 tries, 12689206 fired transitions, 2865 secs || 10913920 markings, 24220159 edges, 3634 markings/sec, 2865 secs
lola: 13 tries, 12710717 fired transitions, 2870 secs || 10931920 markings, 24261263 edges, 3600 markings/sec, 2870 secs
lola: 13 tries, 12732411 fired transitions, 2875 secs || 10950323 markings, 24303939 edges, 3681 markings/sec, 2875 secs
lola: 13 tries, 12754659 fired transitions, 2880 secs || 10968805 markings, 24347608 edges, 3696 markings/sec, 2880 secs
lola: 13 tries, 12776046 fired transitions, 2885 secs || 10986944 markings, 24389103 edges, 3628 markings/sec, 2885 secs
lola: 13 tries, 12798174 fired transitions, 2890 secs || 11005626 markings, 24432519 edges, 3736 markings/sec, 2890 secs
lola: 13 tries, 12820578 fired transitions, 2895 secs || 11024390 markings, 24476988 edges, 3753 markings/sec, 2895 secs
lola: 13 tries, 12842846 fired transitions, 2900 secs || 11043071 markings, 24519620 edges, 3736 markings/sec, 2900 secs
lola: 13 tries, 12864889 fired transitions, 2905 secs || 11061491 markings, 24562850 edges, 3684 markings/sec, 2905 secs
lola: 13 tries, 12886711 fired transitions, 2910 secs || 11079983 markings, 24606117 edges, 3698 markings/sec, 2910 secs
lola: 13 tries, 12908849 fired transitions, 2915 secs || 11098205 markings, 24649566 edges, 3644 markings/sec, 2915 secs
lola: 13 tries, 12930467 fired transitions, 2920 secs || 11116114 markings, 24690741 edges, 3582 markings/sec, 2920 secs
lola: 13 tries, 12952278 fired transitions, 2925 secs || 11134052 markings, 24732995 edges, 3588 markings/sec, 2925 secs
lola: 13 tries, 12973776 fired transitions, 2930 secs || 11151912 markings, 24775087 edges, 3572 markings/sec, 2930 secs
lola: 13 tries, 12995684 fired transitions, 2935 secs || 11170109 markings, 24818514 edges, 3639 markings/sec, 2935 secs
lola: 14 tries, 13017751 fired transitions, 2940 secs || 11188502 markings, 24861613 edges, 3679 markings/sec, 2940 secs
lola: 14 tries, 13039311 fired transitions, 2945 secs || 11206514 markings, 24903457 edges, 3602 markings/sec, 2945 secs
lola: 14 tries, 13060915 fired transitions, 2950 secs || 11224632 markings, 24945345 edges, 3624 markings/sec, 2950 secs
lola: 14 tries, 13082638 fired transitions, 2955 secs || 11242705 markings, 24987885 edges, 3615 markings/sec, 2955 secs
lola: 14 tries, 13104351 fired transitions, 2960 secs || 11260804 markings, 25031075 edges, 3620 markings/sec, 2960 secs
lola: 14 tries, 13126463 fired transitions, 2965 secs || 11279000 markings, 25073863 edges, 3639 markings/sec, 2965 secs
lola: 14 tries, 13148247 fired transitions, 2970 secs || 11297107 markings, 25115415 edges, 3621 markings/sec, 2970 secs
lola: 14 tries, 13169922 fired transitions, 2975 secs || 11315092 markings, 25158981 edges, 3597 markings/sec, 2975 secs
lola: 14 tries, 13191364 fired transitions, 2980 secs || 11333114 markings, 25200394 edges, 3604 markings/sec, 2980 secs
lola: 14 tries, 13213583 fired transitions, 2985 secs || 11351479 markings, 25243160 edges, 3673 markings/sec, 2985 secs
lola: 14 tries, 13235871 fired transitions, 2990 secs || 11370028 markings, 25286088 edges, 3710 markings/sec, 2990 secs
lola: 14 tries, 13257482 fired transitions, 2995 secs || 11387902 markings, 25330107 edges, 3575 markings/sec, 2995 secs
lola: 14 tries, 13278854 fired transitions, 3000 secs || 11405855 markings, 25372053 edges, 3591 markings/sec, 3000 secs
lola: 14 tries, 13300442 fired transitions, 3005 secs || 11424334 markings, 25415696 edges, 3696 markings/sec, 3005 secs
lola: 14 tries, 13321999 fired transitions, 3010 secs || 11441791 markings, 25456788 edges, 3491 markings/sec, 3010 secs
lola: 14 tries, 13343590 fired transitions, 3015 secs || 11459949 markings, 25498869 edges, 3632 markings/sec, 3015 secs
lola: 14 tries, 13365161 fired transitions, 3020 secs || 11477632 markings, 25539494 edges, 3537 markings/sec, 3020 secs
lola: 14 tries, 13386681 fired transitions, 3025 secs || 11495855 markings, 25582985 edges, 3645 markings/sec, 3025 secs
lola: 14 tries, 13408118 fired transitions, 3030 secs || 11513559 markings, 25626515 edges, 3541 markings/sec, 3030 secs
lola: 14 tries, 13430425 fired transitions, 3035 secs || 11532278 markings, 25670186 edges, 3744 markings/sec, 3035 secs
lola: 14 tries, 13452547 fired transitions, 3040 secs || 11550576 markings, 25712820 edges, 3660 markings/sec, 3040 secs
lola: 14 tries, 13474114 fired transitions, 3045 secs || 11569246 markings, 25756997 edges, 3734 markings/sec, 3045 secs
lola: 14 tries, 13496480 fired transitions, 3050 secs || 11587842 markings, 25801661 edges, 3719 markings/sec, 3050 secs
lola: 14 tries, 13518745 fired transitions, 3055 secs || 11606428 markings, 25845886 edges, 3717 markings/sec, 3055 secs
lola: 14 tries, 13541011 fired transitions, 3060 secs || 11624981 markings, 25890234 edges, 3711 markings/sec, 3060 secs
lola: 14 tries, 13563362 fired transitions, 3065 secs || 11643534 markings, 25933739 edges, 3711 markings/sec, 3065 secs
lola: 14 tries, 13585397 fired transitions, 3070 secs || 11661441 markings, 25975607 edges, 3581 markings/sec, 3070 secs
lola: 14 tries, 13607107 fired transitions, 3075 secs || 11679237 markings, 26017512 edges, 3559 markings/sec, 3075 secs
lola: 14 tries, 13628841 fired transitions, 3080 secs || 11697416 markings, 26059576 edges, 3636 markings/sec, 3080 secs
lola: 14 tries, 13650638 fired transitions, 3085 secs || 11715358 markings, 26103616 edges, 3588 markings/sec, 3085 secs
lola: 14 tries, 13672943 fired transitions, 3090 secs || 11733837 markings, 26146446 edges, 3696 markings/sec, 3090 secs
lola: 14 tries, 13695169 fired transitions, 3095 secs || 11752149 markings, 26187945 edges, 3662 markings/sec, 3095 secs
lola: 14 tries, 13716750 fired transitions, 3100 secs || 11770303 markings, 26231308 edges, 3631 markings/sec, 3100 secs
lola: 14 tries, 13739126 fired transitions, 3105 secs || 11788656 markings, 26274825 edges, 3671 markings/sec, 3105 secs
lola: 14 tries, 13761266 fired transitions, 3110 secs || 11807094 markings, 26316540 edges, 3688 markings/sec, 3110 secs
lola: 14 tries, 13782973 fired transitions, 3115 secs || 11825192 markings, 26359864 edges, 3620 markings/sec, 3115 secs
lola: 14 tries, 13804525 fired transitions, 3120 secs || 11843284 markings, 26402786 edges, 3618 markings/sec, 3120 secs
lola: 14 tries, 13826187 fired transitions, 3125 secs || 11861052 markings, 26446088 edges, 3554 markings/sec, 3125 secs
lola: 14 tries, 13847370 fired transitions, 3130 secs || 11879430 markings, 26490918 edges, 3676 markings/sec, 3130 secs
lola: 14 tries, 13868999 fired transitions, 3135 secs || 11897420 markings, 26535058 edges, 3598 markings/sec, 3135 secs
lola: 14 tries, 13889623 fired transitions, 3140 secs || 11915987 markings, 26577558 edges, 3713 markings/sec, 3140 secs
lola: 14 tries, 13911037 fired transitions, 3145 secs || 11934443 markings, 26620916 edges, 3691 markings/sec, 3145 secs
lola: 14 tries, 13932417 fired transitions, 3150 secs || 11952582 markings, 26663562 edges, 3628 markings/sec, 3150 secs
lola: 14 tries, 13953572 fired transitions, 3155 secs || 11970660 markings, 26706236 edges, 3616 markings/sec, 3155 secs
lola: 14 tries, 13974584 fired transitions, 3160 secs || 11989165 markings, 26749767 edges, 3701 markings/sec, 3160 secs
lola: 14 tries, 13995795 fired transitions, 3165 secs || 12007246 markings, 26792312 edges, 3616 markings/sec, 3165 secs
lola: 15 tries, 14019654 fired transitions, 3170 secs || 12026616 markings, 26836540 edges, 3874 markings/sec, 3170 secs
lola: 15 tries, 14042337 fired transitions, 3175 secs || 12044851 markings, 26878170 edges, 3647 markings/sec, 3175 secs
lola: 15 tries, 14063752 fired transitions, 3180 secs || 12062817 markings, 26920038 edges, 3593 markings/sec, 3180 secs
lola: 15 tries, 14085186 fired transitions, 3185 secs || 12080892 markings, 26962219 edges, 3615 markings/sec, 3185 secs
lola: 15 tries, 14107157 fired transitions, 3190 secs || 12099264 markings, 27005634 edges, 3674 markings/sec, 3190 secs
lola: 15 tries, 14128826 fired transitions, 3195 secs || 12117494 markings, 27047803 edges, 3646 markings/sec, 3195 secs
lola: 15 tries, 14150296 fired transitions, 3200 secs || 12135602 markings, 27090878 edges, 3622 markings/sec, 3200 secs
lola: 15 tries, 14172107 fired transitions, 3205 secs || 12153729 markings, 27134108 edges, 3625 markings/sec, 3205 secs
lola: 15 tries, 14193767 fired transitions, 3210 secs || 12171764 markings, 27177571 edges, 3607 markings/sec, 3210 secs
lola: 15 tries, 14215493 fired transitions, 3215 secs || 12189932 markings, 27220086 edges, 3634 markings/sec, 3215 secs
lola: 15 tries, 14237250 fired transitions, 3220 secs || 12208038 markings, 27263967 edges, 3621 markings/sec, 3220 secs
lola: 15 tries, 14258825 fired transitions, 3225 secs || 12225424 markings, 27306459 edges, 3477 markings/sec, 3225 secs
lola: 15 tries, 14280012 fired transitions, 3230 secs || 12242485 markings, 27346208 edges, 3412 markings/sec, 3230 secs
lola: 15 tries, 14301463 fired transitions, 3235 secs || 12260402 markings, 27387493 edges, 3583 markings/sec, 3235 secs
lola: 15 tries, 14322573 fired transitions, 3240 secs || 12278726 markings, 27430261 edges, 3665 markings/sec, 3240 secs
lola: 15 tries, 14343771 fired transitions, 3245 secs || 12297169 markings, 27473046 edges, 3689 markings/sec, 3245 secs
lola: 15 tries, 14365188 fired transitions, 3250 secs || 12315045 markings, 27514162 edges, 3575 markings/sec, 3250 secs
lola: 15 tries, 14386162 fired transitions, 3255 secs || 12332291 markings, 27553810 edges, 3449 markings/sec, 3255 secs
lola: 15 tries, 14406385 fired transitions, 3260 secs || 12349868 markings, 27594514 edges, 3515 markings/sec, 3260 secs
lola: 15 tries, 14426603 fired transitions, 3265 secs || 12367430 markings, 27636730 edges, 3512 markings/sec, 3265 secs
lola: 15 tries, 14447424 fired transitions, 3270 secs || 12384596 markings, 27677608 edges, 3433 markings/sec, 3270 secs
lola: 15 tries, 14468312 fired transitions, 3275 secs || 12402263 markings, 27719447 edges, 3533 markings/sec, 3275 secs
lola: 15 tries, 14489407 fired transitions, 3280 secs || 12419590 markings, 27760886 edges, 3465 markings/sec, 3280 secs
lola: 15 tries, 14509889 fired transitions, 3285 secs || 12436764 markings, 27802666 edges, 3435 markings/sec, 3285 secs
lola: 15 tries, 14530764 fired transitions, 3290 secs || 12454282 markings, 27843964 edges, 3504 markings/sec, 3290 secs
lola: 15 tries, 14551815 fired transitions, 3295 secs || 12472591 markings, 27887220 edges, 3662 markings/sec, 3295 secs
lola: 15 tries, 14573352 fired transitions, 3300 secs || 12490518 markings, 27930899 edges, 3585 markings/sec, 3300 secs
lola: 15 tries, 14594360 fired transitions, 3305 secs || 12508761 markings, 27974938 edges, 3649 markings/sec, 3305 secs
lola: 15 tries, 14615495 fired transitions, 3310 secs || 12526735 markings, 28017924 edges, 3595 markings/sec, 3310 secs
lola: 15 tries, 14636774 fired transitions, 3315 secs || 12543936 markings, 28057436 edges, 3440 markings/sec, 3315 secs
lola: 15 tries, 14657986 fired transitions, 3320 secs || 12561713 markings, 28100003 edges, 3555 markings/sec, 3320 secs
lola: 15 tries, 14679635 fired transitions, 3325 secs || 12579741 markings, 28144413 edges, 3606 markings/sec, 3325 secs
lola: 15 tries, 14701030 fired transitions, 3330 secs || 12597686 markings, 28185379 edges, 3589 markings/sec, 3330 secs
lola: 15 tries, 14722261 fired transitions, 3335 secs || 12615391 markings, 28226838 edges, 3541 markings/sec, 3335 secs
lola: 15 tries, 14743468 fired transitions, 3340 secs || 12633111 markings, 28268077 edges, 3544 markings/sec, 3340 secs
lola: 15 tries, 14763977 fired transitions, 3345 secs || 12650742 markings, 28310469 edges, 3526 markings/sec, 3345 secs
lola: 15 tries, 14784624 fired transitions, 3350 secs || 12668260 markings, 28352122 edges, 3504 markings/sec, 3350 secs
lola: 15 tries, 14805130 fired transitions, 3355 secs || 12685881 markings, 28393502 edges, 3524 markings/sec, 3355 secs
lola: 15 tries, 14825726 fired transitions, 3360 secs || 12703573 markings, 28435121 edges, 3538 markings/sec, 3360 secs
lola: 15 tries, 14846669 fired transitions, 3365 secs || 12721082 markings, 28477269 edges, 3502 markings/sec, 3365 secs
lola: 15 tries, 14867477 fired transitions, 3370 secs || 12739134 markings, 28521172 edges, 3610 markings/sec, 3370 secs
lola: 15 tries, 14888264 fired transitions, 3375 secs || 12756958 markings, 28562808 edges, 3565 markings/sec, 3375 secs
lola: 15 tries, 14909214 fired transitions, 3380 secs || 12774150 markings, 28604081 edges, 3438 markings/sec, 3380 secs
lola: 15 tries, 14929918 fired transitions, 3385 secs || 12791378 markings, 28643199 edges, 3446 markings/sec, 3385 secs
lola: 15 tries, 14950862 fired transitions, 3390 secs || 12809612 markings, 28686785 edges, 3647 markings/sec, 3390 secs
lola: 15 tries, 14971919 fired transitions, 3395 secs || 12828053 markings, 28731323 edges, 3688 markings/sec, 3395 secs
lola: 15 tries, 14992847 fired transitions, 3400 secs || 12846128 markings, 28774315 edges, 3615 markings/sec, 3400 secs
lola: 16 tries, 15015471 fired transitions, 3405 secs || 12863893 markings, 28813729 edges, 3553 markings/sec, 3405 secs
lola: 16 tries, 15038573 fired transitions, 3410 secs || 12882855 markings, 28856419 edges, 3792 markings/sec, 3410 secs
lola: 16 tries, 15059727 fired transitions, 3415 secs || 12901584 markings, 28900016 edges, 3746 markings/sec, 3415 secs
lola: 16 tries, 15080567 fired transitions, 3420 secs || 12919717 markings, 28941891 edges, 3627 markings/sec, 3420 secs
lola: 16 tries, 15101494 fired transitions, 3425 secs || 12937900 markings, 28985526 edges, 3637 markings/sec, 3425 secs
lola: 16 tries, 15122356 fired transitions, 3430 secs || 12955919 markings, 29027813 edges, 3604 markings/sec, 3430 secs
lola: 16 tries, 15143229 fired transitions, 3435 secs || 12974046 markings, 29071461 edges, 3625 markings/sec, 3435 secs
lola: 16 tries, 15164031 fired transitions, 3440 secs || 12992183 markings, 29114587 edges, 3627 markings/sec, 3440 secs
lola: 16 tries, 15184744 fired transitions, 3445 secs || 13010048 markings, 29155548 edges, 3573 markings/sec, 3445 secs
lola: 16 tries, 15205624 fired transitions, 3450 secs || 13028385 markings, 29197976 edges, 3667 markings/sec, 3450 secs
lola: 16 tries, 15226521 fired transitions, 3455 secs || 13046556 markings, 29240756 edges, 3634 markings/sec, 3455 secs
lola: 16 tries, 15247313 fired transitions, 3460 secs || 13064613 markings, 29283186 edges, 3611 markings/sec, 3460 secs
lola: 16 tries, 15268198 fired transitions, 3465 secs || 13081889 markings, 29323810 edges, 3455 markings/sec, 3465 secs
lola: 16 tries, 15289616 fired transitions, 3470 secs || 13099512 markings, 29365703 edges, 3525 markings/sec, 3470 secs
lola: 16 tries, 15310929 fired transitions, 3475 secs || 13117245 markings, 29408137 edges, 3547 markings/sec, 3475 secs
lola: 16 tries, 15331845 fired transitions, 3480 secs || 13134832 markings, 29449716 edges, 3517 markings/sec, 3480 secs
lola: 16 tries, 15352703 fired transitions, 3485 secs || 13152318 markings, 29492286 edges, 3497 markings/sec, 3485 secs
lola: 16 tries, 15373520 fired transitions, 3490 secs || 13170271 markings, 29534164 edges, 3591 markings/sec, 3490 secs
lola: 16 tries, 15394317 fired transitions, 3495 secs || 13188211 markings, 29575122 edges, 3588 markings/sec, 3495 secs
lola: 16 tries, 15415193 fired transitions, 3500 secs || 13206378 markings, 29618680 edges, 3633 markings/sec, 3500 secs
lola: 16 tries, 15435980 fired transitions, 3505 secs || 13224342 markings, 29661787 edges, 3593 markings/sec, 3505 secs
lola: 16 tries, 15456925 fired transitions, 3510 secs || 13242386 markings, 29705682 edges, 3609 markings/sec, 3510 secs
lola: 16 tries, 15477773 fired transitions, 3515 secs || 13260241 markings, 29749537 edges, 3571 markings/sec, 3515 secs
lola: 16 tries, 15498993 fired transitions, 3520 secs || 13278576 markings, 29792989 edges, 3667 markings/sec, 3520 secs
lola: 16 tries, 15520414 fired transitions, 3525 secs || 13297318 markings, 29837933 edges, 3748 markings/sec, 3525 secs
lola: 16 tries, 15541918 fired transitions, 3530 secs || 13315960 markings, 29882527 edges, 3728 markings/sec, 3530 secs
lola: 16 tries, 15563299 fired transitions, 3535 secs || 13334467 markings, 29926659 edges, 3701 markings/sec, 3535 secs
lola: 16 tries, 15584601 fired transitions, 3540 secs || 13352889 markings, 29971105 edges, 3684 markings/sec, 3540 secs
lola: 16 tries, 15606057 fired transitions, 3545 secs || 13371301 markings, 30014655 edges, 3682 markings/sec, 3545 secs
lola: 16 tries, 15627016 fired transitions, 3550 secs || 13389375 markings, 30057589 edges, 3615 markings/sec, 3550 secs
lola: 16 tries, 15647855 fired transitions, 3555 secs || 13407336 markings, 30100046 edges, 3592 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 1301840 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552940535205

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is SafeBus-PT-10, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r159-csrt-155286430500084"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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