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-155286430400021.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-COL-10, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r159-csrt-155286430400021
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 3.4K Feb 12 15:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 12 15:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 8 17:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K 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 101 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 339 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.2K Feb 5 01:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.1K Feb 5 01:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K Feb 4 22:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Feb 4 17:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 4 17:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 1 14:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 1 14:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 equiv_pt
-rw-r--r-- 1 mcc users 3 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 42K 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-COL-10-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552933262809

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ SafeBus-COL-10 @ 3570 seconds
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ SafeBus-COL-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 18:21:02 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 1153120,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 11474,
"conflict_clusters": 2,
"places": 326,
"places_significant": 271,
"singleton_clusters": 0,
"transitions": 1651
},
"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": 28,
"dead_branches": 0,
"generators": 45,
"interrupted": false,
"real_computed": 17,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains High-Level net
lola: Places: 326, Transitions: 1651
lola: @ trans C_free
lola: @ trans C_refuse
lola: @ trans I_refused
lola: @ trans C_provide
lola: @ trans Gto
lola: @ trans I_ask1
lola: @ trans loss_m
lola: @ trans I_rec1
lola: @ trans I_rec2
lola: @ trans I_emit
lola: @ trans I_ask2
lola: @ trans I_reemit
lola: @ trans I_free
lola: @ trans loss_a
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 1977/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 10432
lola: finding significant places
lola: 326 places, 1651 transitions, 271 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 (17 in search tree, 28 by composition)
lola: representing 3.6288E+06 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 19045 fired transitions, 0 secs || 18879 markings, 28078 edges, 3776 markings/sec, 0 secs
lola: 1 tries, 37407 fired transitions, 5 secs || 36674 markings, 57826 edges, 3559 markings/sec, 5 secs
lola: 1 tries, 55726 fired transitions, 10 secs || 54835 markings, 90311 edges, 3632 markings/sec, 10 secs
lola: 1 tries, 74122 fired transitions, 15 secs || 72969 markings, 122701 edges, 3627 markings/sec, 15 secs
lola: 1 tries, 92359 fired transitions, 20 secs || 91086 markings, 155913 edges, 3623 markings/sec, 20 secs
lola: 1 tries, 110878 fired transitions, 25 secs || 109240 markings, 189104 edges, 3631 markings/sec, 25 secs
lola: 1 tries, 129417 fired transitions, 30 secs || 127412 markings, 223093 edges, 3634 markings/sec, 30 secs
lola: 1 tries, 148269 fired transitions, 35 secs || 145786 markings, 258272 edges, 3675 markings/sec, 35 secs
lola: 1 tries, 166839 fired transitions, 40 secs || 163874 markings, 293867 edges, 3618 markings/sec, 40 secs
lola: 1 tries, 185388 fired transitions, 45 secs || 181926 markings, 329126 edges, 3610 markings/sec, 45 secs
lola: 1 tries, 203887 fired transitions, 50 secs || 199949 markings, 363732 edges, 3605 markings/sec, 50 secs
lola: 1 tries, 222389 fired transitions, 55 secs || 217953 markings, 398941 edges, 3601 markings/sec, 55 secs
lola: 1 tries, 240913 fired transitions, 60 secs || 235944 markings, 434227 edges, 3598 markings/sec, 60 secs
lola: 1 tries, 259468 fired transitions, 65 secs || 253954 markings, 470441 edges, 3602 markings/sec, 65 secs
lola: 1 tries, 277975 fired transitions, 70 secs || 271939 markings, 505889 edges, 3597 markings/sec, 70 secs
lola: 1 tries, 296487 fired transitions, 75 secs || 289843 markings, 541945 edges, 3581 markings/sec, 75 secs
lola: 1 tries, 314995 fired transitions, 80 secs || 307778 markings, 578911 edges, 3587 markings/sec, 80 secs
lola: 1 tries, 333466 fired transitions, 85 secs || 325779 markings, 614442 edges, 3600 markings/sec, 85 secs
lola: 1 tries, 351963 fired transitions, 90 secs || 343674 markings, 650913 edges, 3579 markings/sec, 90 secs
lola: 1 tries, 370432 fired transitions, 95 secs || 361634 markings, 687374 edges, 3592 markings/sec, 95 secs
lola: 1 tries, 388967 fired transitions, 100 secs || 379673 markings, 724546 edges, 3608 markings/sec, 100 secs
lola: 1 tries, 407475 fired transitions, 105 secs || 397593 markings, 763401 edges, 3584 markings/sec, 105 secs
lola: 1 tries, 426002 fired transitions, 110 secs || 415547 markings, 800448 edges, 3591 markings/sec, 110 secs
lola: 1 tries, 444536 fired transitions, 115 secs || 433425 markings, 837037 edges, 3576 markings/sec, 115 secs
lola: 1 tries, 463062 fired transitions, 120 secs || 451249 markings, 875179 edges, 3565 markings/sec, 120 secs
lola: 1 tries, 481550 fired transitions, 125 secs || 469108 markings, 912271 edges, 3572 markings/sec, 125 secs
lola: 1 tries, 500069 fired transitions, 130 secs || 486982 markings, 949067 edges, 3575 markings/sec, 130 secs
lola: 1 tries, 518592 fired transitions, 135 secs || 504831 markings, 986345 edges, 3570 markings/sec, 135 secs
lola: 1 tries, 537104 fired transitions, 140 secs || 522712 markings, 1024779 edges, 3576 markings/sec, 140 secs
lola: 1 tries, 555600 fired transitions, 145 secs || 540539 markings, 1061984 edges, 3565 markings/sec, 145 secs
lola: 1 tries, 574130 fired transitions, 150 secs || 558249 markings, 1100316 edges, 3542 markings/sec, 150 secs
lola: 1 tries, 592611 fired transitions, 155 secs || 576012 markings, 1139583 edges, 3553 markings/sec, 155 secs
lola: 1 tries, 611122 fired transitions, 160 secs || 593844 markings, 1178404 edges, 3566 markings/sec, 160 secs
lola: 1 tries, 629636 fired transitions, 165 secs || 611648 markings, 1216523 edges, 3561 markings/sec, 165 secs
lola: 1 tries, 648142 fired transitions, 170 secs || 629366 markings, 1254960 edges, 3544 markings/sec, 170 secs
lola: 1 tries, 666644 fired transitions, 175 secs || 647080 markings, 1292513 edges, 3543 markings/sec, 175 secs
lola: 1 tries, 685164 fired transitions, 180 secs || 664949 markings, 1330976 edges, 3574 markings/sec, 180 secs
lola: 1 tries, 703954 fired transitions, 185 secs || 683041 markings, 1370846 edges, 3618 markings/sec, 185 secs
lola: 1 tries, 722998 fired transitions, 190 secs || 701248 markings, 1410499 edges, 3641 markings/sec, 190 secs
lola: 1 tries, 741500 fired transitions, 195 secs || 719024 markings, 1449227 edges, 3555 markings/sec, 195 secs
lola: 1 tries, 760039 fired transitions, 200 secs || 736845 markings, 1487089 edges, 3564 markings/sec, 200 secs
lola: 1 tries, 778545 fired transitions, 205 secs || 754501 markings, 1525205 edges, 3531 markings/sec, 205 secs
lola: 1 tries, 797324 fired transitions, 210 secs || 772407 markings, 1564186 edges, 3581 markings/sec, 210 secs
lola: 1 tries, 816111 fired transitions, 215 secs || 790399 markings, 1603872 edges, 3598 markings/sec, 215 secs
lola: 1 tries, 834987 fired transitions, 220 secs || 807959 markings, 1642232 edges, 3512 markings/sec, 220 secs
lola: 1 tries, 854020 fired transitions, 225 secs || 826198 markings, 1682916 edges, 3648 markings/sec, 225 secs
lola: 1 tries, 873133 fired transitions, 230 secs || 844482 markings, 1723039 edges, 3657 markings/sec, 230 secs
lola: 1 tries, 891568 fired transitions, 235 secs || 862477 markings, 1763471 edges, 3599 markings/sec, 235 secs
lola: 1 tries, 911010 fired transitions, 240 secs || 881105 markings, 1806064 edges, 3726 markings/sec, 240 secs
lola: 1 tries, 929733 fired transitions, 245 secs || 899065 markings, 1845333 edges, 3592 markings/sec, 245 secs
lola: 1 tries, 948585 fired transitions, 250 secs || 917057 markings, 1885496 edges, 3598 markings/sec, 250 secs
lola: 1 tries, 967231 fired transitions, 255 secs || 934538 markings, 1924892 edges, 3496 markings/sec, 255 secs
lola: 1 tries, 986325 fired transitions, 260 secs || 952736 markings, 1966679 edges, 3640 markings/sec, 260 secs
lola: 2 tries, 1005461 fired transitions, 265 secs || 971019 markings, 2008440 edges, 3657 markings/sec, 265 secs
lola: 2 tries, 1024404 fired transitions, 270 secs || 989101 markings, 2049529 edges, 3616 markings/sec, 270 secs
lola: 2 tries, 1043437 fired transitions, 275 secs || 1007317 markings, 2090919 edges, 3643 markings/sec, 275 secs
lola: 2 tries, 1062339 fired transitions, 280 secs || 1025333 markings, 2131349 edges, 3603 markings/sec, 280 secs
lola: 2 tries, 1080892 fired transitions, 285 secs || 1042538 markings, 2170942 edges, 3441 markings/sec, 285 secs
lola: 2 tries, 1099365 fired transitions, 290 secs || 1059685 markings, 2210596 edges, 3429 markings/sec, 290 secs
lola: 2 tries, 1117803 fired transitions, 295 secs || 1077262 markings, 2250458 edges, 3515 markings/sec, 295 secs
lola: 2 tries, 1136330 fired transitions, 300 secs || 1094698 markings, 2290658 edges, 3487 markings/sec, 300 secs
lola: 2 tries, 1154958 fired transitions, 305 secs || 1112504 markings, 2331335 edges, 3561 markings/sec, 305 secs
lola: 2 tries, 1173438 fired transitions, 310 secs || 1130049 markings, 2371151 edges, 3509 markings/sec, 310 secs
lola: 2 tries, 1191920 fired transitions, 315 secs || 1147552 markings, 2410445 edges, 3501 markings/sec, 315 secs
lola: 2 tries, 1210373 fired transitions, 320 secs || 1165102 markings, 2452237 edges, 3510 markings/sec, 320 secs
lola: 2 tries, 1228673 fired transitions, 325 secs || 1182161 markings, 2490663 edges, 3412 markings/sec, 325 secs
lola: 2 tries, 1246529 fired transitions, 330 secs || 1199414 markings, 2530132 edges, 3451 markings/sec, 330 secs
lola: 2 tries, 1264384 fired transitions, 335 secs || 1216443 markings, 2570081 edges, 3406 markings/sec, 335 secs
lola: 2 tries, 1282763 fired transitions, 340 secs || 1234015 markings, 2609508 edges, 3514 markings/sec, 340 secs
lola: 2 tries, 1300761 fired transitions, 345 secs || 1251600 markings, 2650435 edges, 3517 markings/sec, 345 secs
lola: 2 tries, 1319258 fired transitions, 350 secs || 1269228 markings, 2689927 edges, 3526 markings/sec, 350 secs
lola: 2 tries, 1338032 fired transitions, 355 secs || 1287201 markings, 2732244 edges, 3595 markings/sec, 355 secs
lola: 2 tries, 1357200 fired transitions, 360 secs || 1305478 markings, 2774475 edges, 3655 markings/sec, 360 secs
lola: 2 tries, 1375669 fired transitions, 365 secs || 1323029 markings, 2814952 edges, 3510 markings/sec, 365 secs
lola: 2 tries, 1394118 fired transitions, 370 secs || 1340513 markings, 2856105 edges, 3497 markings/sec, 370 secs
lola: 2 tries, 1412426 fired transitions, 375 secs || 1358047 markings, 2896497 edges, 3507 markings/sec, 375 secs
lola: 2 tries, 1430679 fired transitions, 380 secs || 1375605 markings, 2937220 edges, 3512 markings/sec, 380 secs
lola: 2 tries, 1448755 fired transitions, 385 secs || 1393192 markings, 2977620 edges, 3517 markings/sec, 385 secs
lola: 2 tries, 1467214 fired transitions, 390 secs || 1410725 markings, 3018703 edges, 3507 markings/sec, 390 secs
lola: 2 tries, 1485690 fired transitions, 395 secs || 1428441 markings, 3059111 edges, 3543 markings/sec, 395 secs
lola: 2 tries, 1504142 fired transitions, 400 secs || 1445997 markings, 3099377 edges, 3511 markings/sec, 400 secs
lola: 2 tries, 1522625 fired transitions, 405 secs || 1463602 markings, 3139954 edges, 3521 markings/sec, 405 secs
lola: 2 tries, 1541094 fired transitions, 410 secs || 1481257 markings, 3181167 edges, 3531 markings/sec, 410 secs
lola: 2 tries, 1559551 fired transitions, 415 secs || 1498942 markings, 3222571 edges, 3537 markings/sec, 415 secs
lola: 2 tries, 1578027 fired transitions, 420 secs || 1516520 markings, 3263912 edges, 3516 markings/sec, 420 secs
lola: 2 tries, 1596483 fired transitions, 425 secs || 1534127 markings, 3304238 edges, 3521 markings/sec, 425 secs
lola: 2 tries, 1614943 fired transitions, 430 secs || 1551775 markings, 3344808 edges, 3530 markings/sec, 430 secs
lola: 2 tries, 1633406 fired transitions, 435 secs || 1569261 markings, 3386303 edges, 3497 markings/sec, 435 secs
lola: 2 tries, 1651661 fired transitions, 440 secs || 1586785 markings, 3428777 edges, 3505 markings/sec, 440 secs
lola: 2 tries, 1669875 fired transitions, 445 secs || 1604348 markings, 3470175 edges, 3513 markings/sec, 445 secs
lola: 2 tries, 1687907 fired transitions, 450 secs || 1621800 markings, 3511263 edges, 3490 markings/sec, 450 secs
lola: 2 tries, 1706347 fired transitions, 455 secs || 1639439 markings, 3553108 edges, 3528 markings/sec, 455 secs
lola: 2 tries, 1724854 fired transitions, 460 secs || 1657155 markings, 3594225 edges, 3543 markings/sec, 460 secs
lola: 2 tries, 1743694 fired transitions, 465 secs || 1675201 markings, 3636139 edges, 3609 markings/sec, 465 secs
lola: 2 tries, 1762537 fired transitions, 470 secs || 1693187 markings, 3677281 edges, 3597 markings/sec, 470 secs
lola: 2 tries, 1780957 fired transitions, 475 secs || 1710740 markings, 3718670 edges, 3511 markings/sec, 475 secs
lola: 2 tries, 1799525 fired transitions, 480 secs || 1728449 markings, 3759646 edges, 3542 markings/sec, 480 secs
lola: 2 tries, 1818493 fired transitions, 485 secs || 1746466 markings, 3802433 edges, 3603 markings/sec, 485 secs
lola: 2 tries, 1837365 fired transitions, 490 secs || 1764419 markings, 3845054 edges, 3591 markings/sec, 490 secs
lola: 2 tries, 1856127 fired transitions, 495 secs || 1782272 markings, 3886534 edges, 3571 markings/sec, 495 secs
lola: 2 tries, 1874612 fired transitions, 500 secs || 1799755 markings, 3927078 edges, 3497 markings/sec, 500 secs
lola: 2 tries, 1893052 fired transitions, 505 secs || 1817350 markings, 3967958 edges, 3519 markings/sec, 505 secs
lola: 2 tries, 1911545 fired transitions, 510 secs || 1834897 markings, 4009039 edges, 3509 markings/sec, 510 secs
lola: 2 tries, 1930149 fired transitions, 515 secs || 1852563 markings, 4051401 edges, 3533 markings/sec, 515 secs
lola: 2 tries, 1948621 fired transitions, 520 secs || 1870137 markings, 4093474 edges, 3515 markings/sec, 520 secs
lola: 2 tries, 1967118 fired transitions, 525 secs || 1887691 markings, 4133943 edges, 3511 markings/sec, 525 secs
lola: 2 tries, 1985588 fired transitions, 530 secs || 1905193 markings, 4174593 edges, 3500 markings/sec, 530 secs
lola: 3 tries, 2004068 fired transitions, 535 secs || 1922648 markings, 4214982 edges, 3491 markings/sec, 535 secs
lola: 3 tries, 2022588 fired transitions, 540 secs || 1940181 markings, 4256745 edges, 3507 markings/sec, 540 secs
lola: 3 tries, 2041047 fired transitions, 545 secs || 1957671 markings, 4297277 edges, 3498 markings/sec, 545 secs
lola: 3 tries, 2059521 fired transitions, 550 secs || 1975151 markings, 4337780 edges, 3496 markings/sec, 550 secs
lola: 3 tries, 2078001 fired transitions, 555 secs || 1992672 markings, 4379538 edges, 3504 markings/sec, 555 secs
lola: 3 tries, 2096467 fired transitions, 560 secs || 2010106 markings, 4420773 edges, 3487 markings/sec, 560 secs
lola: 3 tries, 2114944 fired transitions, 565 secs || 2027675 markings, 4462141 edges, 3514 markings/sec, 565 secs
lola: 3 tries, 2133405 fired transitions, 570 secs || 2045146 markings, 4503534 edges, 3494 markings/sec, 570 secs
lola: 3 tries, 2151856 fired transitions, 575 secs || 2062738 markings, 4546106 edges, 3518 markings/sec, 575 secs
lola: 3 tries, 2170327 fired transitions, 580 secs || 2080320 markings, 4588640 edges, 3516 markings/sec, 580 secs
lola: 3 tries, 2188798 fired transitions, 585 secs || 2097752 markings, 4629904 edges, 3486 markings/sec, 585 secs
lola: 3 tries, 2207243 fired transitions, 590 secs || 2115273 markings, 4671566 edges, 3504 markings/sec, 590 secs
lola: 3 tries, 2225684 fired transitions, 595 secs || 2132741 markings, 4713255 edges, 3494 markings/sec, 595 secs
lola: 3 tries, 2244132 fired transitions, 600 secs || 2150220 markings, 4754688 edges, 3496 markings/sec, 600 secs
lola: 3 tries, 2262599 fired transitions, 605 secs || 2167779 markings, 4796017 edges, 3512 markings/sec, 605 secs
lola: 3 tries, 2281060 fired transitions, 610 secs || 2185303 markings, 4837265 edges, 3505 markings/sec, 610 secs
lola: 3 tries, 2299509 fired transitions, 615 secs || 2202745 markings, 4879036 edges, 3488 markings/sec, 615 secs
lola: 3 tries, 2317971 fired transitions, 620 secs || 2220215 markings, 4921318 edges, 3494 markings/sec, 620 secs
lola: 3 tries, 2336450 fired transitions, 625 secs || 2237651 markings, 4962702 edges, 3487 markings/sec, 625 secs
lola: 3 tries, 2354916 fired transitions, 630 secs || 2255100 markings, 5004731 edges, 3490 markings/sec, 630 secs
lola: 3 tries, 2373387 fired transitions, 635 secs || 2272598 markings, 5046980 edges, 3500 markings/sec, 635 secs
lola: 3 tries, 2391853 fired transitions, 640 secs || 2290077 markings, 5090864 edges, 3496 markings/sec, 640 secs
lola: 3 tries, 2410325 fired transitions, 645 secs || 2307546 markings, 5133277 edges, 3494 markings/sec, 645 secs
lola: 3 tries, 2428813 fired transitions, 650 secs || 2325047 markings, 5176161 edges, 3500 markings/sec, 650 secs
lola: 3 tries, 2447318 fired transitions, 655 secs || 2342530 markings, 5218650 edges, 3497 markings/sec, 655 secs
lola: 3 tries, 2465778 fired transitions, 660 secs || 2360001 markings, 5261689 edges, 3494 markings/sec, 660 secs
lola: 3 tries, 2484268 fired transitions, 665 secs || 2377522 markings, 5303869 edges, 3504 markings/sec, 665 secs
lola: 3 tries, 2502943 fired transitions, 670 secs || 2395298 markings, 5346294 edges, 3555 markings/sec, 670 secs
lola: 3 tries, 2521878 fired transitions, 675 secs || 2413154 markings, 5390809 edges, 3571 markings/sec, 675 secs
lola: 3 tries, 2540819 fired transitions, 680 secs || 2431066 markings, 5434271 edges, 3582 markings/sec, 680 secs
lola: 3 tries, 2559720 fired transitions, 685 secs || 2448947 markings, 5477233 edges, 3576 markings/sec, 685 secs
lola: 3 tries, 2578713 fired transitions, 690 secs || 2466986 markings, 5520969 edges, 3608 markings/sec, 690 secs
lola: 3 tries, 2597584 fired transitions, 695 secs || 2484829 markings, 5563133 edges, 3569 markings/sec, 695 secs
lola: 3 tries, 2616475 fired transitions, 700 secs || 2502719 markings, 5605369 edges, 3578 markings/sec, 700 secs
lola: 3 tries, 2635386 fired transitions, 705 secs || 2520622 markings, 5648125 edges, 3581 markings/sec, 705 secs
lola: 3 tries, 2654375 fired transitions, 710 secs || 2538512 markings, 5691690 edges, 3578 markings/sec, 710 secs
lola: 3 tries, 2673318 fired transitions, 715 secs || 2556421 markings, 5733957 edges, 3582 markings/sec, 715 secs
lola: 3 tries, 2692303 fired transitions, 720 secs || 2574396 markings, 5777068 edges, 3595 markings/sec, 720 secs
lola: 3 tries, 2711258 fired transitions, 725 secs || 2592282 markings, 5820141 edges, 3577 markings/sec, 725 secs
lola: 3 tries, 2730602 fired transitions, 730 secs || 2610543 markings, 5866851 edges, 3652 markings/sec, 730 secs
lola: 3 tries, 2749673 fired transitions, 735 secs || 2628581 markings, 5910355 edges, 3608 markings/sec, 735 secs
lola: 3 tries, 2768629 fired transitions, 740 secs || 2646457 markings, 5954682 edges, 3575 markings/sec, 740 secs
lola: 3 tries, 2787642 fired transitions, 745 secs || 2664337 markings, 5998255 edges, 3576 markings/sec, 745 secs
lola: 3 tries, 2806178 fired transitions, 750 secs || 2681768 markings, 6041667 edges, 3486 markings/sec, 750 secs
lola: 3 tries, 2825049 fired transitions, 755 secs || 2699571 markings, 6085011 edges, 3561 markings/sec, 755 secs
lola: 3 tries, 2844030 fired transitions, 760 secs || 2717537 markings, 6127476 edges, 3593 markings/sec, 760 secs
lola: 3 tries, 2863008 fired transitions, 765 secs || 2735386 markings, 6169973 edges, 3570 markings/sec, 765 secs
lola: 3 tries, 2882049 fired transitions, 770 secs || 2753280 markings, 6213796 edges, 3579 markings/sec, 770 secs
lola: 3 tries, 2901055 fired transitions, 775 secs || 2771134 markings, 6258084 edges, 3571 markings/sec, 775 secs
lola: 3 tries, 2920079 fired transitions, 780 secs || 2789110 markings, 6303897 edges, 3595 markings/sec, 780 secs
lola: 3 tries, 2939187 fired transitions, 785 secs || 2807048 markings, 6347441 edges, 3588 markings/sec, 785 secs
lola: 3 tries, 2958154 fired transitions, 790 secs || 2824871 markings, 6390353 edges, 3565 markings/sec, 790 secs
lola: 3 tries, 2977075 fired transitions, 795 secs || 2842742 markings, 6433112 edges, 3574 markings/sec, 795 secs
lola: 3 tries, 2996037 fired transitions, 800 secs || 2860570 markings, 6476615 edges, 3566 markings/sec, 800 secs
lola: 4 tries, 3015004 fired transitions, 805 secs || 2878549 markings, 6518900 edges, 3596 markings/sec, 805 secs
lola: 4 tries, 3033943 fired transitions, 810 secs || 2896395 markings, 6562851 edges, 3569 markings/sec, 810 secs
lola: 4 tries, 3052949 fired transitions, 815 secs || 2914286 markings, 6606121 edges, 3578 markings/sec, 815 secs
lola: 4 tries, 3071950 fired transitions, 820 secs || 2932118 markings, 6650798 edges, 3566 markings/sec, 820 secs
lola: 4 tries, 3090923 fired transitions, 825 secs || 2949939 markings, 6695592 edges, 3564 markings/sec, 825 secs
lola: 4 tries, 3109890 fired transitions, 830 secs || 2967805 markings, 6740095 edges, 3573 markings/sec, 830 secs
lola: 4 tries, 3128827 fired transitions, 835 secs || 2985655 markings, 6782921 edges, 3570 markings/sec, 835 secs
lola: 4 tries, 3147766 fired transitions, 840 secs || 3003542 markings, 6825816 edges, 3577 markings/sec, 840 secs
lola: 4 tries, 3166767 fired transitions, 845 secs || 3021295 markings, 6869477 edges, 3551 markings/sec, 845 secs
lola: 4 tries, 3185763 fired transitions, 850 secs || 3039252 markings, 6912256 edges, 3591 markings/sec, 850 secs
lola: 4 tries, 3204694 fired transitions, 855 secs || 3057158 markings, 6954898 edges, 3581 markings/sec, 855 secs
lola: 4 tries, 3223193 fired transitions, 860 secs || 3074561 markings, 6998662 edges, 3481 markings/sec, 860 secs
lola: 4 tries, 3241654 fired transitions, 865 secs || 3091958 markings, 7039967 edges, 3479 markings/sec, 865 secs
lola: 4 tries, 3260118 fired transitions, 870 secs || 3109409 markings, 7082388 edges, 3490 markings/sec, 870 secs
lola: 4 tries, 3278938 fired transitions, 875 secs || 3127076 markings, 7125992 edges, 3533 markings/sec, 875 secs
lola: 4 tries, 3297421 fired transitions, 880 secs || 3144501 markings, 7168453 edges, 3485 markings/sec, 880 secs
lola: 4 tries, 3315866 fired transitions, 885 secs || 3161918 markings, 7211609 edges, 3483 markings/sec, 885 secs
lola: 4 tries, 3334290 fired transitions, 890 secs || 3179237 markings, 7255073 edges, 3464 markings/sec, 890 secs
lola: 4 tries, 3352737 fired transitions, 895 secs || 3196564 markings, 7295690 edges, 3465 markings/sec, 895 secs
lola: 4 tries, 3371222 fired transitions, 900 secs || 3213924 markings, 7338293 edges, 3472 markings/sec, 900 secs
lola: 4 tries, 3389669 fired transitions, 905 secs || 3231295 markings, 7381053 edges, 3474 markings/sec, 905 secs
lola: 4 tries, 3408146 fired transitions, 910 secs || 3248677 markings, 7424199 edges, 3476 markings/sec, 910 secs
lola: 4 tries, 3426599 fired transitions, 915 secs || 3266043 markings, 7466323 edges, 3473 markings/sec, 915 secs
lola: 4 tries, 3445070 fired transitions, 920 secs || 3283431 markings, 7509297 edges, 3478 markings/sec, 920 secs
lola: 4 tries, 3463553 fired transitions, 925 secs || 3300919 markings, 7551292 edges, 3498 markings/sec, 925 secs
lola: 4 tries, 3482012 fired transitions, 930 secs || 3318230 markings, 7594630 edges, 3462 markings/sec, 930 secs
lola: 4 tries, 3500449 fired transitions, 935 secs || 3335561 markings, 7635642 edges, 3466 markings/sec, 935 secs
lola: 4 tries, 3518890 fired transitions, 940 secs || 3352859 markings, 7678229 edges, 3460 markings/sec, 940 secs
lola: 4 tries, 3537361 fired transitions, 945 secs || 3370177 markings, 7721667 edges, 3464 markings/sec, 945 secs
lola: 4 tries, 3555808 fired transitions, 950 secs || 3387490 markings, 7765919 edges, 3463 markings/sec, 950 secs
lola: 4 tries, 3574244 fired transitions, 955 secs || 3404836 markings, 7808102 edges, 3469 markings/sec, 955 secs
lola: 4 tries, 3592679 fired transitions, 960 secs || 3422180 markings, 7852199 edges, 3469 markings/sec, 960 secs
lola: 4 tries, 3611127 fired transitions, 965 secs || 3439520 markings, 7895677 edges, 3468 markings/sec, 965 secs
lola: 4 tries, 3629809 fired transitions, 970 secs || 3457103 markings, 7939390 edges, 3517 markings/sec, 970 secs
lola: 4 tries, 3648238 fired transitions, 975 secs || 3474398 markings, 7981911 edges, 3459 markings/sec, 975 secs
lola: 4 tries, 3666714 fired transitions, 980 secs || 3491755 markings, 8025679 edges, 3471 markings/sec, 980 secs
lola: 4 tries, 3685192 fired transitions, 985 secs || 3509153 markings, 8068890 edges, 3480 markings/sec, 985 secs
lola: 4 tries, 3703667 fired transitions, 990 secs || 3526482 markings, 8110733 edges, 3466 markings/sec, 990 secs
lola: 4 tries, 3722105 fired transitions, 995 secs || 3543810 markings, 8154860 edges, 3466 markings/sec, 995 secs
lola: 4 tries, 3740570 fired transitions, 1000 secs || 3561171 markings, 8198417 edges, 3472 markings/sec, 1000 secs
lola: 4 tries, 3759074 fired transitions, 1005 secs || 3578654 markings, 8242304 edges, 3497 markings/sec, 1005 secs
lola: 4 tries, 3777505 fired transitions, 1010 secs || 3596003 markings, 8284315 edges, 3470 markings/sec, 1010 secs
lola: 4 tries, 3795927 fired transitions, 1015 secs || 3613351 markings, 8327134 edges, 3470 markings/sec, 1015 secs
lola: 4 tries, 3814397 fired transitions, 1020 secs || 3630772 markings, 8369779 edges, 3484 markings/sec, 1020 secs
lola: 4 tries, 3832860 fired transitions, 1025 secs || 3648086 markings, 8412547 edges, 3463 markings/sec, 1025 secs
lola: 4 tries, 3851301 fired transitions, 1030 secs || 3665418 markings, 8456842 edges, 3466 markings/sec, 1030 secs
lola: 4 tries, 3869774 fired transitions, 1035 secs || 3682817 markings, 8499628 edges, 3480 markings/sec, 1035 secs
lola: 4 tries, 3888497 fired transitions, 1040 secs || 3700337 markings, 8544022 edges, 3504 markings/sec, 1040 secs
lola: 4 tries, 3907526 fired transitions, 1045 secs || 3718175 markings, 8588315 edges, 3568 markings/sec, 1045 secs
lola: 4 tries, 3926448 fired transitions, 1050 secs || 3735991 markings, 8633075 edges, 3563 markings/sec, 1050 secs
lola: 4 tries, 3945461 fired transitions, 1055 secs || 3753831 markings, 8676624 edges, 3568 markings/sec, 1055 secs
lola: 4 tries, 3964497 fired transitions, 1060 secs || 3771809 markings, 8721543 edges, 3596 markings/sec, 1060 secs
lola: 4 tries, 3983520 fired transitions, 1065 secs || 3789709 markings, 8765470 edges, 3580 markings/sec, 1065 secs
lola: 5 tries, 4002506 fired transitions, 1070 secs || 3807631 markings, 8810129 edges, 3584 markings/sec, 1070 secs
lola: 5 tries, 4021524 fired transitions, 1075 secs || 3825434 markings, 8854925 edges, 3561 markings/sec, 1075 secs
lola: 5 tries, 4040506 fired transitions, 1080 secs || 3843198 markings, 8897824 edges, 3553 markings/sec, 1080 secs
lola: 5 tries, 4059478 fired transitions, 1085 secs || 3860982 markings, 8942659 edges, 3557 markings/sec, 1085 secs
lola: 5 tries, 4077954 fired transitions, 1090 secs || 3878327 markings, 8986294 edges, 3469 markings/sec, 1090 secs
lola: 5 tries, 4096732 fired transitions, 1095 secs || 3895964 markings, 9029488 edges, 3527 markings/sec, 1095 secs
lola: 5 tries, 4115740 fired transitions, 1100 secs || 3913926 markings, 9074691 edges, 3592 markings/sec, 1100 secs
lola: 5 tries, 4134747 fired transitions, 1105 secs || 3931667 markings, 9119885 edges, 3548 markings/sec, 1105 secs
lola: 5 tries, 4153737 fired transitions, 1110 secs || 3949335 markings, 9164404 edges, 3534 markings/sec, 1110 secs
lola: 5 tries, 4172729 fired transitions, 1115 secs || 3967165 markings, 9209551 edges, 3566 markings/sec, 1115 secs
lola: 5 tries, 4191740 fired transitions, 1120 secs || 3984981 markings, 9255708 edges, 3563 markings/sec, 1120 secs
lola: 5 tries, 4210733 fired transitions, 1125 secs || 4002802 markings, 9300151 edges, 3564 markings/sec, 1125 secs
lola: 5 tries, 4229740 fired transitions, 1130 secs || 4020596 markings, 9344698 edges, 3559 markings/sec, 1130 secs
lola: 5 tries, 4248744 fired transitions, 1135 secs || 4038469 markings, 9389975 edges, 3575 markings/sec, 1135 secs
lola: 5 tries, 4267714 fired transitions, 1140 secs || 4056233 markings, 9433176 edges, 3553 markings/sec, 1140 secs
lola: 5 tries, 4286711 fired transitions, 1145 secs || 4074107 markings, 9478159 edges, 3575 markings/sec, 1145 secs
lola: 5 tries, 4305726 fired transitions, 1150 secs || 4091969 markings, 9524221 edges, 3572 markings/sec, 1150 secs
lola: 5 tries, 4324705 fired transitions, 1155 secs || 4109780 markings, 9568868 edges, 3562 markings/sec, 1155 secs
lola: 5 tries, 4343709 fired transitions, 1160 secs || 4127501 markings, 9613002 edges, 3544 markings/sec, 1160 secs
lola: 5 tries, 4362722 fired transitions, 1165 secs || 4145260 markings, 9657298 edges, 3552 markings/sec, 1165 secs
lola: 5 tries, 4381660 fired transitions, 1170 secs || 4163014 markings, 9703165 edges, 3551 markings/sec, 1170 secs
lola: 5 tries, 4400623 fired transitions, 1175 secs || 4180782 markings, 9747142 edges, 3554 markings/sec, 1175 secs
lola: 5 tries, 4419612 fired transitions, 1180 secs || 4198606 markings, 9792983 edges, 3565 markings/sec, 1180 secs
lola: 5 tries, 4438640 fired transitions, 1185 secs || 4216401 markings, 9836720 edges, 3559 markings/sec, 1185 secs
lola: 5 tries, 4457676 fired transitions, 1190 secs || 4234160 markings, 9883938 edges, 3552 markings/sec, 1190 secs
lola: 5 tries, 4476718 fired transitions, 1195 secs || 4252066 markings, 9929564 edges, 3581 markings/sec, 1195 secs
lola: 5 tries, 4495602 fired transitions, 1200 secs || 4269751 markings, 9974328 edges, 3537 markings/sec, 1200 secs
lola: 5 tries, 4514576 fired transitions, 1205 secs || 4287538 markings, 10017741 edges, 3557 markings/sec, 1205 secs
lola: 5 tries, 4533542 fired transitions, 1210 secs || 4305350 markings, 10063021 edges, 3562 markings/sec, 1210 secs
lola: 5 tries, 4552918 fired transitions, 1215 secs || 4323487 markings, 10109978 edges, 3627 markings/sec, 1215 secs
lola: 5 tries, 4571913 fired transitions, 1220 secs || 4341278 markings, 10153814 edges, 3558 markings/sec, 1220 secs
lola: 5 tries, 4591035 fired transitions, 1225 secs || 4359215 markings, 10199912 edges, 3587 markings/sec, 1225 secs
lola: 5 tries, 4609635 fired transitions, 1230 secs || 4376646 markings, 10245566 edges, 3486 markings/sec, 1230 secs
lola: 5 tries, 4628065 fired transitions, 1235 secs || 4393812 markings, 10290696 edges, 3433 markings/sec, 1235 secs
lola: 5 tries, 4646510 fired transitions, 1240 secs || 4411054 markings, 10334566 edges, 3448 markings/sec, 1240 secs
lola: 5 tries, 4664937 fired transitions, 1245 secs || 4428174 markings, 10379282 edges, 3424 markings/sec, 1245 secs
lola: 5 tries, 4683776 fired transitions, 1250 secs || 4445766 markings, 10423832 edges, 3518 markings/sec, 1250 secs
lola: 5 tries, 4702663 fired transitions, 1255 secs || 4463462 markings, 10468576 edges, 3539 markings/sec, 1255 secs
lola: 5 tries, 4721208 fired transitions, 1260 secs || 4480788 markings, 10512878 edges, 3465 markings/sec, 1260 secs
lola: 5 tries, 4739974 fired transitions, 1265 secs || 4498302 markings, 10557744 edges, 3503 markings/sec, 1265 secs
lola: 5 tries, 4758959 fired transitions, 1270 secs || 4516050 markings, 10603218 edges, 3550 markings/sec, 1270 secs
lola: 5 tries, 4777888 fired transitions, 1275 secs || 4533731 markings, 10648385 edges, 3536 markings/sec, 1275 secs
lola: 5 tries, 4796375 fired transitions, 1280 secs || 4551115 markings, 10693237 edges, 3477 markings/sec, 1280 secs
lola: 5 tries, 4814840 fired transitions, 1285 secs || 4568450 markings, 10737606 edges, 3467 markings/sec, 1285 secs
lola: 5 tries, 4833251 fired transitions, 1290 secs || 4585766 markings, 10780948 edges, 3463 markings/sec, 1290 secs
lola: 5 tries, 4851715 fired transitions, 1295 secs || 4603135 markings, 10825502 edges, 3474 markings/sec, 1295 secs
lola: 5 tries, 4870140 fired transitions, 1300 secs || 4620393 markings, 10867925 edges, 3452 markings/sec, 1300 secs
lola: 5 tries, 4888616 fired transitions, 1305 secs || 4637704 markings, 10912148 edges, 3462 markings/sec, 1305 secs
lola: 5 tries, 4907072 fired transitions, 1310 secs || 4655063 markings, 10956336 edges, 3472 markings/sec, 1310 secs
lola: 5 tries, 4925553 fired transitions, 1315 secs || 4672345 markings, 11000187 edges, 3456 markings/sec, 1315 secs
lola: 5 tries, 4944360 fired transitions, 1320 secs || 4689860 markings, 11044910 edges, 3503 markings/sec, 1320 secs
lola: 5 tries, 4963243 fired transitions, 1325 secs || 4707429 markings, 11089463 edges, 3514 markings/sec, 1325 secs
lola: 5 tries, 4982196 fired transitions, 1330 secs || 4725106 markings, 11134656 edges, 3535 markings/sec, 1330 secs
lola: 6 tries, 5001194 fired transitions, 1335 secs || 4742890 markings, 11179576 edges, 3557 markings/sec, 1335 secs
lola: 6 tries, 5020163 fired transitions, 1340 secs || 4760675 markings, 11226312 edges, 3557 markings/sec, 1340 secs
lola: 6 tries, 5039164 fired transitions, 1345 secs || 4778380 markings, 11271854 edges, 3541 markings/sec, 1345 secs
lola: 6 tries, 5058147 fired transitions, 1350 secs || 4796193 markings, 11316980 edges, 3563 markings/sec, 1350 secs
lola: 6 tries, 5077123 fired transitions, 1355 secs || 4814008 markings, 11362822 edges, 3563 markings/sec, 1355 secs
lola: 6 tries, 5096070 fired transitions, 1360 secs || 4831729 markings, 11408398 edges, 3544 markings/sec, 1360 secs
lola: 6 tries, 5115066 fired transitions, 1365 secs || 4849565 markings, 11453947 edges, 3567 markings/sec, 1365 secs
lola: 6 tries, 5134076 fired transitions, 1370 secs || 4867387 markings, 11499619 edges, 3564 markings/sec, 1370 secs
lola: 6 tries, 5153118 fired transitions, 1375 secs || 4885209 markings, 11544836 edges, 3564 markings/sec, 1375 secs
lola: 6 tries, 5172072 fired transitions, 1380 secs || 4902920 markings, 11591219 edges, 3542 markings/sec, 1380 secs
lola: 6 tries, 5191093 fired transitions, 1385 secs || 4920739 markings, 11636570 edges, 3564 markings/sec, 1385 secs
lola: 6 tries, 5210071 fired transitions, 1390 secs || 4938473 markings, 11682770 edges, 3547 markings/sec, 1390 secs
lola: 6 tries, 5229017 fired transitions, 1395 secs || 4956191 markings, 11729049 edges, 3544 markings/sec, 1395 secs
lola: 6 tries, 5247963 fired transitions, 1400 secs || 4973864 markings, 11773594 edges, 3535 markings/sec, 1400 secs
lola: 6 tries, 5266997 fired transitions, 1405 secs || 4991816 markings, 11818627 edges, 3590 markings/sec, 1405 secs
lola: 6 tries, 5285988 fired transitions, 1410 secs || 5009679 markings, 11864249 edges, 3573 markings/sec, 1410 secs
lola: 6 tries, 5304949 fired transitions, 1415 secs || 5027424 markings, 11908131 edges, 3549 markings/sec, 1415 secs
lola: 6 tries, 5323954 fired transitions, 1420 secs || 5045249 markings, 11952870 edges, 3565 markings/sec, 1420 secs
lola: 6 tries, 5342950 fired transitions, 1425 secs || 5063007 markings, 11996838 edges, 3552 markings/sec, 1425 secs
lola: 6 tries, 5361831 fired transitions, 1430 secs || 5080683 markings, 12041326 edges, 3535 markings/sec, 1430 secs
lola: 6 tries, 5380784 fired transitions, 1435 secs || 5098438 markings, 12086155 edges, 3551 markings/sec, 1435 secs
lola: 6 tries, 5399827 fired transitions, 1440 secs || 5116263 markings, 12131325 edges, 3565 markings/sec, 1440 secs
lola: 6 tries, 5418776 fired transitions, 1445 secs || 5133974 markings, 12177195 edges, 3542 markings/sec, 1445 secs
lola: 6 tries, 5437728 fired transitions, 1450 secs || 5151761 markings, 12221028 edges, 3557 markings/sec, 1450 secs
lola: 6 tries, 5456810 fired transitions, 1455 secs || 5169517 markings, 12266315 edges, 3551 markings/sec, 1455 secs
lola: 6 tries, 5476417 fired transitions, 1460 secs || 5187898 markings, 12313342 edges, 3676 markings/sec, 1460 secs
lola: 6 tries, 5496006 fired transitions, 1465 secs || 5206255 markings, 12358816 edges, 3671 markings/sec, 1465 secs
lola: 6 tries, 5515149 fired transitions, 1470 secs || 5224208 markings, 12403389 edges, 3591 markings/sec, 1470 secs
lola: 6 tries, 5534686 fired transitions, 1475 secs || 5242499 markings, 12450769 edges, 3658 markings/sec, 1475 secs
lola: 6 tries, 5554225 fired transitions, 1480 secs || 5260900 markings, 12497633 edges, 3680 markings/sec, 1480 secs
lola: 6 tries, 5573815 fired transitions, 1485 secs || 5279121 markings, 12545960 edges, 3644 markings/sec, 1485 secs
lola: 6 tries, 5593426 fired transitions, 1490 secs || 5297455 markings, 12592154 edges, 3667 markings/sec, 1490 secs
lola: 6 tries, 5612695 fired transitions, 1495 secs || 5315581 markings, 12637959 edges, 3625 markings/sec, 1495 secs
lola: 6 tries, 5631192 fired transitions, 1500 secs || 5332860 markings, 12682757 edges, 3456 markings/sec, 1500 secs
lola: 6 tries, 5649601 fired transitions, 1505 secs || 5350044 markings, 12728738 edges, 3437 markings/sec, 1505 secs
lola: 6 tries, 5668038 fired transitions, 1510 secs || 5367335 markings, 12772504 edges, 3458 markings/sec, 1510 secs
lola: 6 tries, 5686514 fired transitions, 1515 secs || 5384586 markings, 12817635 edges, 3450 markings/sec, 1515 secs
lola: 6 tries, 5704958 fired transitions, 1520 secs || 5401744 markings, 12862856 edges, 3432 markings/sec, 1520 secs
lola: 6 tries, 5723391 fired transitions, 1525 secs || 5418925 markings, 12907202 edges, 3436 markings/sec, 1525 secs
lola: 6 tries, 5741794 fired transitions, 1530 secs || 5436181 markings, 12950695 edges, 3451 markings/sec, 1530 secs
lola: 6 tries, 5760223 fired transitions, 1535 secs || 5453359 markings, 12995469 edges, 3436 markings/sec, 1535 secs
lola: 6 tries, 5778632 fired transitions, 1540 secs || 5470509 markings, 13040399 edges, 3430 markings/sec, 1540 secs
lola: 6 tries, 5797069 fired transitions, 1545 secs || 5487664 markings, 13084252 edges, 3431 markings/sec, 1545 secs
lola: 6 tries, 5815506 fired transitions, 1550 secs || 5504929 markings, 13127846 edges, 3453 markings/sec, 1550 secs
lola: 6 tries, 5833926 fired transitions, 1555 secs || 5522161 markings, 13172417 edges, 3446 markings/sec, 1555 secs
lola: 6 tries, 5852362 fired transitions, 1560 secs || 5539430 markings, 13215941 edges, 3454 markings/sec, 1560 secs
lola: 6 tries, 5870833 fired transitions, 1565 secs || 5556625 markings, 13261621 edges, 3439 markings/sec, 1565 secs
lola: 6 tries, 5889351 fired transitions, 1570 secs || 5573964 markings, 13306401 edges, 3468 markings/sec, 1570 secs
lola: 6 tries, 5907795 fired transitions, 1575 secs || 5591176 markings, 13351385 edges, 3442 markings/sec, 1575 secs
lola: 6 tries, 5926207 fired transitions, 1580 secs || 5608441 markings, 13394444 edges, 3453 markings/sec, 1580 secs
lola: 6 tries, 5944681 fired transitions, 1585 secs || 5625707 markings, 13440145 edges, 3453 markings/sec, 1585 secs
lola: 6 tries, 5963137 fired transitions, 1590 secs || 5642930 markings, 13484898 edges, 3445 markings/sec, 1590 secs
lola: 6 tries, 5981611 fired transitions, 1595 secs || 5660119 markings, 13530398 edges, 3438 markings/sec, 1595 secs
lola: 7 tries, 6000065 fired transitions, 1600 secs || 5677379 markings, 13576125 edges, 3452 markings/sec, 1600 secs
lola: 7 tries, 6018500 fired transitions, 1605 secs || 5694588 markings, 13620229 edges, 3442 markings/sec, 1605 secs
lola: 7 tries, 6036907 fired transitions, 1610 secs || 5711811 markings, 13662614 edges, 3445 markings/sec, 1610 secs
lola: 7 tries, 6055314 fired transitions, 1615 secs || 5728992 markings, 13707066 edges, 3436 markings/sec, 1615 secs
lola: 7 tries, 6073757 fired transitions, 1620 secs || 5746277 markings, 13750814 edges, 3457 markings/sec, 1620 secs
lola: 7 tries, 6092201 fired transitions, 1625 secs || 5763515 markings, 13795149 edges, 3448 markings/sec, 1625 secs
lola: 7 tries, 6110622 fired transitions, 1630 secs || 5780763 markings, 13838713 edges, 3450 markings/sec, 1630 secs
lola: 7 tries, 6129055 fired transitions, 1635 secs || 5797951 markings, 13882391 edges, 3438 markings/sec, 1635 secs
lola: 7 tries, 6147507 fired transitions, 1640 secs || 5815095 markings, 13927483 edges, 3429 markings/sec, 1640 secs
lola: 7 tries, 6165946 fired transitions, 1645 secs || 5832298 markings, 13972301 edges, 3441 markings/sec, 1645 secs
lola: 7 tries, 6184409 fired transitions, 1650 secs || 5849561 markings, 14015202 edges, 3453 markings/sec, 1650 secs
lola: 7 tries, 6202810 fired transitions, 1655 secs || 5866753 markings, 14060052 edges, 3438 markings/sec, 1655 secs
lola: 7 tries, 6221265 fired transitions, 1660 secs || 5883960 markings, 14103185 edges, 3441 markings/sec, 1660 secs
lola: 7 tries, 6239702 fired transitions, 1665 secs || 5901203 markings, 14147687 edges, 3449 markings/sec, 1665 secs
lola: 7 tries, 6258187 fired transitions, 1670 secs || 5918565 markings, 14192887 edges, 3472 markings/sec, 1670 secs
lola: 7 tries, 6276629 fired transitions, 1675 secs || 5935720 markings, 14238850 edges, 3431 markings/sec, 1675 secs
lola: 7 tries, 6295062 fired transitions, 1680 secs || 5952935 markings, 14283172 edges, 3443 markings/sec, 1680 secs
lola: 7 tries, 6313465 fired transitions, 1685 secs || 5970160 markings, 14327704 edges, 3445 markings/sec, 1685 secs
lola: 7 tries, 6331974 fired transitions, 1690 secs || 5987432 markings, 14371989 edges, 3454 markings/sec, 1690 secs
lola: 7 tries, 6350421 fired transitions, 1695 secs || 6004642 markings, 14416659 edges, 3442 markings/sec, 1695 secs
lola: 7 tries, 6368832 fired transitions, 1700 secs || 6021836 markings, 14461672 edges, 3439 markings/sec, 1700 secs
lola: 7 tries, 6387269 fired transitions, 1705 secs || 6039003 markings, 14504961 edges, 3433 markings/sec, 1705 secs
lola: 7 tries, 6405706 fired transitions, 1710 secs || 6056202 markings, 14549058 edges, 3440 markings/sec, 1710 secs
lola: 7 tries, 6424135 fired transitions, 1715 secs || 6073303 markings, 14594532 edges, 3420 markings/sec, 1715 secs
lola: 7 tries, 6442596 fired transitions, 1720 secs || 6090508 markings, 14638817 edges, 3441 markings/sec, 1720 secs
lola: 7 tries, 6461079 fired transitions, 1725 secs || 6107772 markings, 14684436 edges, 3453 markings/sec, 1725 secs
lola: 7 tries, 6479545 fired transitions, 1730 secs || 6125036 markings, 14729224 edges, 3453 markings/sec, 1730 secs
lola: 7 tries, 6498001 fired transitions, 1735 secs || 6142288 markings, 14773497 edges, 3450 markings/sec, 1735 secs
lola: 7 tries, 6516462 fired transitions, 1740 secs || 6159441 markings, 14818088 edges, 3431 markings/sec, 1740 secs
lola: 7 tries, 6534888 fired transitions, 1745 secs || 6176615 markings, 14861991 edges, 3435 markings/sec, 1745 secs
lola: 7 tries, 6553380 fired transitions, 1750 secs || 6193840 markings, 14907466 edges, 3445 markings/sec, 1750 secs
lola: 7 tries, 6571865 fired transitions, 1755 secs || 6211186 markings, 14952731 edges, 3469 markings/sec, 1755 secs
lola: 7 tries, 6590322 fired transitions, 1760 secs || 6228447 markings, 14997424 edges, 3452 markings/sec, 1760 secs
lola: 7 tries, 6608785 fired transitions, 1765 secs || 6245684 markings, 15042883 edges, 3447 markings/sec, 1765 secs
lola: 7 tries, 6627244 fired transitions, 1770 secs || 6262891 markings, 15090573 edges, 3441 markings/sec, 1770 secs
lola: 7 tries, 6645666 fired transitions, 1775 secs || 6280126 markings, 15136059 edges, 3447 markings/sec, 1775 secs
lola: 7 tries, 6664129 fired transitions, 1780 secs || 6297337 markings, 15181605 edges, 3442 markings/sec, 1780 secs
lola: 7 tries, 6682600 fired transitions, 1785 secs || 6314526 markings, 15227207 edges, 3438 markings/sec, 1785 secs
lola: 7 tries, 6701074 fired transitions, 1790 secs || 6331841 markings, 15273242 edges, 3463 markings/sec, 1790 secs
lola: 7 tries, 6719523 fired transitions, 1795 secs || 6349094 markings, 15316563 edges, 3451 markings/sec, 1795 secs
lola: 7 tries, 6737970 fired transitions, 1800 secs || 6366353 markings, 15362101 edges, 3452 markings/sec, 1800 secs
lola: 7 tries, 6756401 fired transitions, 1805 secs || 6383573 markings, 15405751 edges, 3444 markings/sec, 1805 secs
lola: 7 tries, 6774858 fired transitions, 1810 secs || 6400685 markings, 15451327 edges, 3422 markings/sec, 1810 secs
lola: 7 tries, 6793304 fired transitions, 1815 secs || 6417864 markings, 15496313 edges, 3436 markings/sec, 1815 secs
lola: 7 tries, 6811744 fired transitions, 1820 secs || 6435125 markings, 15541345 edges, 3452 markings/sec, 1820 secs
lola: 7 tries, 6830228 fired transitions, 1825 secs || 6452370 markings, 15586824 edges, 3449 markings/sec, 1825 secs
lola: 7 tries, 6849122 fired transitions, 1830 secs || 6470019 markings, 15632374 edges, 3530 markings/sec, 1830 secs
lola: 7 tries, 6867774 fired transitions, 1835 secs || 6487471 markings, 15677546 edges, 3490 markings/sec, 1835 secs
lola: 7 tries, 6886234 fired transitions, 1840 secs || 6504684 markings, 15722316 edges, 3443 markings/sec, 1840 secs
lola: 7 tries, 6904685 fired transitions, 1845 secs || 6521900 markings, 15765482 edges, 3443 markings/sec, 1845 secs
lola: 7 tries, 6923114 fired transitions, 1850 secs || 6539084 markings, 15809106 edges, 3437 markings/sec, 1850 secs
lola: 7 tries, 6941555 fired transitions, 1855 secs || 6556204 markings, 15855068 edges, 3424 markings/sec, 1855 secs
lola: 7 tries, 6960027 fired transitions, 1860 secs || 6573352 markings, 15900633 edges, 3430 markings/sec, 1860 secs
lola: 7 tries, 6978461 fired transitions, 1865 secs || 6590512 markings, 15942959 edges, 3432 markings/sec, 1865 secs
lola: 7 tries, 6996919 fired transitions, 1870 secs || 6607609 markings, 15987635 edges, 3419 markings/sec, 1870 secs
lola: 8 tries, 7015373 fired transitions, 1875 secs || 6624847 markings, 16034335 edges, 3448 markings/sec, 1875 secs
lola: 8 tries, 7034332 fired transitions, 1880 secs || 6642500 markings, 16079307 edges, 3531 markings/sec, 1880 secs
lola: 8 tries, 7053430 fired transitions, 1885 secs || 6660267 markings, 16124439 edges, 3553 markings/sec, 1885 secs
lola: 8 tries, 7072265 fired transitions, 1890 secs || 6677997 markings, 16171825 edges, 3546 markings/sec, 1890 secs
lola: 8 tries, 7091052 fired transitions, 1895 secs || 6695745 markings, 16217589 edges, 3550 markings/sec, 1895 secs
lola: 8 tries, 7110052 fired transitions, 1900 secs || 6713358 markings, 16262919 edges, 3523 markings/sec, 1900 secs
lola: 8 tries, 7128986 fired transitions, 1905 secs || 6730925 markings, 16309652 edges, 3513 markings/sec, 1905 secs
lola: 8 tries, 7147567 fired transitions, 1910 secs || 6748178 markings, 16354103 edges, 3451 markings/sec, 1910 secs
lola: 8 tries, 7166036 fired transitions, 1915 secs || 6765379 markings, 16398420 edges, 3440 markings/sec, 1915 secs
lola: 8 tries, 7184488 fired transitions, 1920 secs || 6782502 markings, 16443157 edges, 3425 markings/sec, 1920 secs
lola: 8 tries, 7202906 fired transitions, 1925 secs || 6799620 markings, 16487241 edges, 3424 markings/sec, 1925 secs
lola: 8 tries, 7221342 fired transitions, 1930 secs || 6816801 markings, 16530910 edges, 3436 markings/sec, 1930 secs
lola: 8 tries, 7239791 fired transitions, 1935 secs || 6834029 markings, 16575955 edges, 3446 markings/sec, 1935 secs
lola: 8 tries, 7258243 fired transitions, 1940 secs || 6851239 markings, 16621058 edges, 3442 markings/sec, 1940 secs
lola: 8 tries, 7276711 fired transitions, 1945 secs || 6868405 markings, 16664737 edges, 3433 markings/sec, 1945 secs
lola: 8 tries, 7295163 fired transitions, 1950 secs || 6885646 markings, 16708106 edges, 3448 markings/sec, 1950 secs
lola: 8 tries, 7314026 fired transitions, 1955 secs || 6903255 markings, 16754680 edges, 3522 markings/sec, 1955 secs
lola: 8 tries, 7333046 fired transitions, 1960 secs || 6920954 markings, 16799956 edges, 3540 markings/sec, 1960 secs
lola: 8 tries, 7352035 fired transitions, 1965 secs || 6938575 markings, 16845942 edges, 3524 markings/sec, 1965 secs
lola: 8 tries, 7371033 fired transitions, 1970 secs || 6956271 markings, 16892504 edges, 3539 markings/sec, 1970 secs
lola: 8 tries, 7390049 fired transitions, 1975 secs || 6973956 markings, 16939961 edges, 3537 markings/sec, 1975 secs
lola: 8 tries, 7409101 fired transitions, 1980 secs || 6991702 markings, 16985422 edges, 3549 markings/sec, 1980 secs
lola: 8 tries, 7428131 fired transitions, 1985 secs || 7009409 markings, 17031397 edges, 3541 markings/sec, 1985 secs
lola: 8 tries, 7447095 fired transitions, 1990 secs || 7027052 markings, 17077577 edges, 3529 markings/sec, 1990 secs
lola: 8 tries, 7466177 fired transitions, 1995 secs || 7044722 markings, 17124644 edges, 3534 markings/sec, 1995 secs
lola: 8 tries, 7485608 fired transitions, 2000 secs || 7062826 markings, 17171832 edges, 3621 markings/sec, 2000 secs
lola: 8 tries, 7504659 fired transitions, 2005 secs || 7080526 markings, 17216698 edges, 3540 markings/sec, 2005 secs
lola: 8 tries, 7523686 fired transitions, 2010 secs || 7098150 markings, 17263699 edges, 3525 markings/sec, 2010 secs
lola: 8 tries, 7542729 fired transitions, 2015 secs || 7115915 markings, 17310845 edges, 3553 markings/sec, 2015 secs
lola: 8 tries, 7561159 fired transitions, 2020 secs || 7133108 markings, 17354527 edges, 3439 markings/sec, 2020 secs
lola: 8 tries, 7579638 fired transitions, 2025 secs || 7150283 markings, 17398632 edges, 3435 markings/sec, 2025 secs
lola: 8 tries, 7598078 fired transitions, 2030 secs || 7167395 markings, 17442964 edges, 3422 markings/sec, 2030 secs
lola: 8 tries, 7616528 fired transitions, 2035 secs || 7184544 markings, 17487158 edges, 3430 markings/sec, 2035 secs
lola: 8 tries, 7634978 fired transitions, 2040 secs || 7201710 markings, 17531487 edges, 3433 markings/sec, 2040 secs
lola: 8 tries, 7653453 fired transitions, 2045 secs || 7218856 markings, 17577007 edges, 3429 markings/sec, 2045 secs
lola: 8 tries, 7671935 fired transitions, 2050 secs || 7236007 markings, 17622121 edges, 3430 markings/sec, 2050 secs
lola: 8 tries, 7690392 fired transitions, 2055 secs || 7253248 markings, 17665854 edges, 3448 markings/sec, 2055 secs
lola: 8 tries, 7709336 fired transitions, 2060 secs || 7270985 markings, 17711791 edges, 3547 markings/sec, 2060 secs
lola: 8 tries, 7728389 fired transitions, 2065 secs || 7288637 markings, 17755705 edges, 3530 markings/sec, 2065 secs
lola: 8 tries, 7747385 fired transitions, 2070 secs || 7306312 markings, 17801610 edges, 3535 markings/sec, 2070 secs
lola: 8 tries, 7766337 fired transitions, 2075 secs || 7323908 markings, 17846721 edges, 3519 markings/sec, 2075 secs
lola: 8 tries, 7785329 fired transitions, 2080 secs || 7341492 markings, 17892376 edges, 3517 markings/sec, 2080 secs
lola: 8 tries, 7804342 fired transitions, 2085 secs || 7359285 markings, 17938762 edges, 3559 markings/sec, 2085 secs
lola: 8 tries, 7823349 fired transitions, 2090 secs || 7377008 markings, 17984253 edges, 3545 markings/sec, 2090 secs
lola: 8 tries, 7842049 fired transitions, 2095 secs || 7394455 markings, 18030597 edges, 3489 markings/sec, 2095 secs
lola: 8 tries, 7860510 fired transitions, 2100 secs || 7411622 markings, 18077146 edges, 3433 markings/sec, 2100 secs
lola: 8 tries, 7878928 fired transitions, 2105 secs || 7428811 markings, 18123335 edges, 3438 markings/sec, 2105 secs
lola: 8 tries, 7897363 fired transitions, 2110 secs || 7445901 markings, 18168800 edges, 3418 markings/sec, 2110 secs
lola: 8 tries, 7915818 fired transitions, 2115 secs || 7463092 markings, 18212374 edges, 3438 markings/sec, 2115 secs
lola: 8 tries, 7934280 fired transitions, 2120 secs || 7480224 markings, 18257448 edges, 3426 markings/sec, 2120 secs
lola: 8 tries, 7953288 fired transitions, 2125 secs || 7497844 markings, 18304677 edges, 3524 markings/sec, 2125 secs
lola: 8 tries, 7972393 fired transitions, 2130 secs || 7515593 markings, 18351824 edges, 3550 markings/sec, 2130 secs
lola: 8 tries, 7991457 fired transitions, 2135 secs || 7533311 markings, 18397815 edges, 3544 markings/sec, 2135 secs
lola: 9 tries, 8010523 fired transitions, 2140 secs || 7551093 markings, 18442786 edges, 3556 markings/sec, 2140 secs
lola: 9 tries, 8029566 fired transitions, 2145 secs || 7568847 markings, 18488362 edges, 3551 markings/sec, 2145 secs
lola: 9 tries, 8048366 fired transitions, 2150 secs || 7586351 markings, 18532884 edges, 3501 markings/sec, 2150 secs
lola: 9 tries, 8066789 fired transitions, 2155 secs || 7603476 markings, 18577574 edges, 3425 markings/sec, 2155 secs
lola: 9 tries, 8085346 fired transitions, 2160 secs || 7620723 markings, 18623067 edges, 3449 markings/sec, 2160 secs
lola: 9 tries, 8103810 fired transitions, 2165 secs || 7637973 markings, 18667759 edges, 3450 markings/sec, 2165 secs
lola: 9 tries, 8122262 fired transitions, 2170 secs || 7655073 markings, 18712019 edges, 3420 markings/sec, 2170 secs
lola: 9 tries, 8140723 fired transitions, 2175 secs || 7672192 markings, 18758199 edges, 3424 markings/sec, 2175 secs
lola: 9 tries, 8159195 fired transitions, 2180 secs || 7689445 markings, 18802313 edges, 3451 markings/sec, 2180 secs
lola: 9 tries, 8177672 fired transitions, 2185 secs || 7706693 markings, 18846696 edges, 3450 markings/sec, 2185 secs
lola: 9 tries, 8196109 fired transitions, 2190 secs || 7723776 markings, 18892399 edges, 3417 markings/sec, 2190 secs
lola: 9 tries, 8214574 fired transitions, 2195 secs || 7740784 markings, 18938712 edges, 3402 markings/sec, 2195 secs
lola: 9 tries, 8233063 fired transitions, 2200 secs || 7757999 markings, 18985366 edges, 3443 markings/sec, 2200 secs
lola: 9 tries, 8251527 fired transitions, 2205 secs || 7775175 markings, 19029495 edges, 3435 markings/sec, 2205 secs
lola: 9 tries, 8269951 fired transitions, 2210 secs || 7792265 markings, 19076781 edges, 3418 markings/sec, 2210 secs
lola: 9 tries, 8288405 fired transitions, 2215 secs || 7809389 markings, 19123328 edges, 3425 markings/sec, 2215 secs
lola: 9 tries, 8306884 fired transitions, 2220 secs || 7826552 markings, 19172142 edges, 3433 markings/sec, 2220 secs
lola: 9 tries, 8325348 fired transitions, 2225 secs || 7843755 markings, 19218237 edges, 3441 markings/sec, 2225 secs
lola: 9 tries, 8343810 fired transitions, 2230 secs || 7860893 markings, 19264048 edges, 3428 markings/sec, 2230 secs
lola: 9 tries, 8362253 fired transitions, 2235 secs || 7877944 markings, 19308043 edges, 3410 markings/sec, 2235 secs
lola: 9 tries, 8380722 fired transitions, 2240 secs || 7895054 markings, 19353711 edges, 3422 markings/sec, 2240 secs
lola: 9 tries, 8399192 fired transitions, 2245 secs || 7912142 markings, 19399178 edges, 3418 markings/sec, 2245 secs
lola: 9 tries, 8417781 fired transitions, 2250 secs || 7929363 markings, 19445763 edges, 3444 markings/sec, 2250 secs
lola: 9 tries, 8436647 fired transitions, 2255 secs || 7946850 markings, 19490738 edges, 3497 markings/sec, 2255 secs
lola: 9 tries, 8455653 fired transitions, 2260 secs || 7964483 markings, 19537331 edges, 3527 markings/sec, 2260 secs
lola: 9 tries, 8474629 fired transitions, 2265 secs || 7982191 markings, 19583601 edges, 3542 markings/sec, 2265 secs
lola: 9 tries, 8493469 fired transitions, 2270 secs || 7999702 markings, 19628571 edges, 3502 markings/sec, 2270 secs
lola: 9 tries, 8511950 fired transitions, 2275 secs || 8016896 markings, 19675428 edges, 3439 markings/sec, 2275 secs
lola: 9 tries, 8530417 fired transitions, 2280 secs || 8034115 markings, 19722111 edges, 3444 markings/sec, 2280 secs
lola: 9 tries, 8548886 fired transitions, 2285 secs || 8051297 markings, 19768045 edges, 3436 markings/sec, 2285 secs
lola: 9 tries, 8567331 fired transitions, 2290 secs || 8068455 markings, 19811866 edges, 3432 markings/sec, 2290 secs
lola: 9 tries, 8585791 fired transitions, 2295 secs || 8085609 markings, 19858554 edges, 3431 markings/sec, 2295 secs
lola: 9 tries, 8604256 fired transitions, 2300 secs || 8102788 markings, 19904477 edges, 3436 markings/sec, 2300 secs
lola: 9 tries, 8622695 fired transitions, 2305 secs || 8119881 markings, 19950128 edges, 3419 markings/sec, 2305 secs
lola: 9 tries, 8641174 fired transitions, 2310 secs || 8137038 markings, 19996260 edges, 3431 markings/sec, 2310 secs
lola: 9 tries, 8659645 fired transitions, 2315 secs || 8154220 markings, 20041637 edges, 3436 markings/sec, 2315 secs
lola: 9 tries, 8678124 fired transitions, 2320 secs || 8171338 markings, 20088855 edges, 3424 markings/sec, 2320 secs
lola: 9 tries, 8696583 fired transitions, 2325 secs || 8188414 markings, 20133586 edges, 3415 markings/sec, 2325 secs
lola: 9 tries, 8715030 fired transitions, 2330 secs || 8205564 markings, 20179631 edges, 3430 markings/sec, 2330 secs
lola: 9 tries, 8733487 fired transitions, 2335 secs || 8222597 markings, 20223934 edges, 3407 markings/sec, 2335 secs
lola: 9 tries, 8751937 fired transitions, 2340 secs || 8239530 markings, 20268564 edges, 3387 markings/sec, 2340 secs
lola: 9 tries, 8770414 fired transitions, 2345 secs || 8256615 markings, 20314935 edges, 3417 markings/sec, 2345 secs
lola: 9 tries, 8788870 fired transitions, 2350 secs || 8273734 markings, 20360430 edges, 3424 markings/sec, 2350 secs
lola: 9 tries, 8807328 fired transitions, 2355 secs || 8290822 markings, 20405581 edges, 3418 markings/sec, 2355 secs
lola: 9 tries, 8825791 fired transitions, 2360 secs || 8307923 markings, 20450246 edges, 3420 markings/sec, 2360 secs
lola: 9 tries, 8844259 fired transitions, 2365 secs || 8325087 markings, 20495761 edges, 3433 markings/sec, 2365 secs
lola: 9 tries, 8862693 fired transitions, 2370 secs || 8342225 markings, 20541537 edges, 3428 markings/sec, 2370 secs
lola: 9 tries, 8881153 fired transitions, 2375 secs || 8359399 markings, 20588374 edges, 3435 markings/sec, 2375 secs
lola: 9 tries, 8899617 fired transitions, 2380 secs || 8376530 markings, 20633728 edges, 3426 markings/sec, 2380 secs
lola: 9 tries, 8918056 fired transitions, 2385 secs || 8393591 markings, 20678545 edges, 3412 markings/sec, 2385 secs
lola: 9 tries, 8936518 fired transitions, 2390 secs || 8410705 markings, 20723226 edges, 3423 markings/sec, 2390 secs
lola: 9 tries, 8954988 fired transitions, 2395 secs || 8427981 markings, 20768546 edges, 3455 markings/sec, 2395 secs
lola: 9 tries, 8973417 fired transitions, 2400 secs || 8445147 markings, 20814661 edges, 3433 markings/sec, 2400 secs
lola: 9 tries, 8991898 fired transitions, 2405 secs || 8462397 markings, 20860130 edges, 3450 markings/sec, 2405 secs
lola: 10 tries, 9010324 fired transitions, 2410 secs || 8479530 markings, 20904600 edges, 3427 markings/sec, 2410 secs
lola: 10 tries, 9028773 fired transitions, 2415 secs || 8496621 markings, 20949084 edges, 3418 markings/sec, 2415 secs
lola: 10 tries, 9047208 fired transitions, 2420 secs || 8513802 markings, 20993751 edges, 3436 markings/sec, 2420 secs
lola: 10 tries, 9065648 fired transitions, 2425 secs || 8530947 markings, 21039842 edges, 3429 markings/sec, 2425 secs
lola: 10 tries, 9084146 fired transitions, 2430 secs || 8548199 markings, 21084996 edges, 3450 markings/sec, 2430 secs
lola: 10 tries, 9102607 fired transitions, 2435 secs || 8565329 markings, 21130232 edges, 3426 markings/sec, 2435 secs
lola: 10 tries, 9121060 fired transitions, 2440 secs || 8582514 markings, 21176616 edges, 3437 markings/sec, 2440 secs
lola: 10 tries, 9139514 fired transitions, 2445 secs || 8599616 markings, 21221882 edges, 3420 markings/sec, 2445 secs
lola: 10 tries, 9157961 fired transitions, 2450 secs || 8616696 markings, 21267078 edges, 3416 markings/sec, 2450 secs
lola: 10 tries, 9176426 fired transitions, 2455 secs || 8633735 markings, 21310389 edges, 3408 markings/sec, 2455 secs
lola: 10 tries, 9194881 fired transitions, 2460 secs || 8650924 markings, 21355268 edges, 3438 markings/sec, 2460 secs
lola: 10 tries, 9213330 fired transitions, 2465 secs || 8668063 markings, 21401818 edges, 3428 markings/sec, 2465 secs
lola: 10 tries, 9231752 fired transitions, 2470 secs || 8685176 markings, 21446764 edges, 3423 markings/sec, 2470 secs
lola: 10 tries, 9250222 fired transitions, 2475 secs || 8702313 markings, 21491227 edges, 3427 markings/sec, 2475 secs
lola: 10 tries, 9268670 fired transitions, 2480 secs || 8719398 markings, 21536903 edges, 3417 markings/sec, 2480 secs
lola: 10 tries, 9287153 fired transitions, 2485 secs || 8736545 markings, 21582928 edges, 3429 markings/sec, 2485 secs
lola: 10 tries, 9305602 fired transitions, 2490 secs || 8753681 markings, 21630173 edges, 3427 markings/sec, 2490 secs
lola: 10 tries, 9324064 fired transitions, 2495 secs || 8770846 markings, 21676463 edges, 3433 markings/sec, 2495 secs
lola: 10 tries, 9342515 fired transitions, 2500 secs || 8788020 markings, 21722379 edges, 3435 markings/sec, 2500 secs
lola: 10 tries, 9360959 fired transitions, 2505 secs || 8805138 markings, 21766039 edges, 3424 markings/sec, 2505 secs
lola: 10 tries, 9379408 fired transitions, 2510 secs || 8822247 markings, 21811771 edges, 3422 markings/sec, 2510 secs
lola: 10 tries, 9397870 fired transitions, 2515 secs || 8839317 markings, 21859054 edges, 3414 markings/sec, 2515 secs
lola: 10 tries, 9416292 fired transitions, 2520 secs || 8856383 markings, 21905258 edges, 3413 markings/sec, 2520 secs
lola: 10 tries, 9434752 fired transitions, 2525 secs || 8873428 markings, 21950591 edges, 3409 markings/sec, 2525 secs
lola: 10 tries, 9453182 fired transitions, 2530 secs || 8890418 markings, 21995082 edges, 3398 markings/sec, 2530 secs
lola: 10 tries, 9471622 fired transitions, 2535 secs || 8907512 markings, 22041629 edges, 3419 markings/sec, 2535 secs
lola: 10 tries, 9490084 fired transitions, 2540 secs || 8924636 markings, 22087104 edges, 3425 markings/sec, 2540 secs
lola: 10 tries, 9508509 fired transitions, 2545 secs || 8941633 markings, 22132457 edges, 3399 markings/sec, 2545 secs
lola: 10 tries, 9526980 fired transitions, 2550 secs || 8958791 markings, 22179559 edges, 3432 markings/sec, 2550 secs
lola: 10 tries, 9545391 fired transitions, 2555 secs || 8975874 markings, 22223841 edges, 3417 markings/sec, 2555 secs
lola: 10 tries, 9563844 fired transitions, 2560 secs || 8992998 markings, 22267635 edges, 3425 markings/sec, 2560 secs
lola: 10 tries, 9582304 fired transitions, 2565 secs || 9010139 markings, 22312808 edges, 3428 markings/sec, 2565 secs
lola: 10 tries, 9600730 fired transitions, 2570 secs || 9027198 markings, 22358979 edges, 3412 markings/sec, 2570 secs
lola: 10 tries, 9619115 fired transitions, 2575 secs || 9044236 markings, 22403793 edges, 3408 markings/sec, 2575 secs
lola: 10 tries, 9637584 fired transitions, 2580 secs || 9061229 markings, 22450608 edges, 3399 markings/sec, 2580 secs
lola: 10 tries, 9656012 fired transitions, 2585 secs || 9078215 markings, 22495670 edges, 3397 markings/sec, 2585 secs
lola: 10 tries, 9674440 fired transitions, 2590 secs || 9095146 markings, 22538765 edges, 3386 markings/sec, 2590 secs
lola: 10 tries, 9692887 fired transitions, 2595 secs || 9112120 markings, 22582936 edges, 3395 markings/sec, 2595 secs
lola: 10 tries, 9711301 fired transitions, 2600 secs || 9129044 markings, 22627152 edges, 3385 markings/sec, 2600 secs
lola: 10 tries, 9729766 fired transitions, 2605 secs || 9146179 markings, 22672709 edges, 3427 markings/sec, 2605 secs
lola: 10 tries, 9748194 fired transitions, 2610 secs || 9163244 markings, 22719749 edges, 3413 markings/sec, 2610 secs
lola: 10 tries, 9766747 fired transitions, 2615 secs || 9180430 markings, 22765725 edges, 3437 markings/sec, 2615 secs
lola: 10 tries, 9785197 fired transitions, 2620 secs || 9197560 markings, 22810900 edges, 3426 markings/sec, 2620 secs
lola: 10 tries, 9803636 fired transitions, 2625 secs || 9214679 markings, 22856550 edges, 3424 markings/sec, 2625 secs
lola: 10 tries, 9822078 fired transitions, 2630 secs || 9231808 markings, 22900818 edges, 3426 markings/sec, 2630 secs
lola: 10 tries, 9840534 fired transitions, 2635 secs || 9248953 markings, 22945025 edges, 3429 markings/sec, 2635 secs
lola: 10 tries, 9858964 fired transitions, 2640 secs || 9266083 markings, 22990435 edges, 3426 markings/sec, 2640 secs
lola: 10 tries, 9877418 fired transitions, 2645 secs || 9283144 markings, 23035377 edges, 3412 markings/sec, 2645 secs
lola: 10 tries, 9895845 fired transitions, 2650 secs || 9300285 markings, 23079252 edges, 3428 markings/sec, 2650 secs
lola: 10 tries, 9914331 fired transitions, 2655 secs || 9317273 markings, 23125770 edges, 3398 markings/sec, 2655 secs
lola: 10 tries, 9932825 fired transitions, 2660 secs || 9334464 markings, 23171038 edges, 3438 markings/sec, 2660 secs
lola: 10 tries, 9951270 fired transitions, 2665 secs || 9351536 markings, 23216395 edges, 3414 markings/sec, 2665 secs
lola: 10 tries, 9969730 fired transitions, 2670 secs || 9368603 markings, 23261926 edges, 3413 markings/sec, 2670 secs
lola: 10 tries, 9988192 fired transitions, 2675 secs || 9385625 markings, 23308798 edges, 3404 markings/sec, 2675 secs
lola: 11 tries, 10006615 fired transitions, 2680 secs || 9402770 markings, 23354140 edges, 3429 markings/sec, 2680 secs
lola: 11 tries, 10025077 fired transitions, 2685 secs || 9419954 markings, 23397584 edges, 3437 markings/sec, 2685 secs
lola: 11 tries, 10043494 fired transitions, 2690 secs || 9437036 markings, 23442701 edges, 3416 markings/sec, 2690 secs
lola: 11 tries, 10061946 fired transitions, 2695 secs || 9453996 markings, 23488610 edges, 3392 markings/sec, 2695 secs
lola: 11 tries, 10080376 fired transitions, 2700 secs || 9471002 markings, 23534208 edges, 3401 markings/sec, 2700 secs
lola: 11 tries, 10098828 fired transitions, 2705 secs || 9488090 markings, 23579051 edges, 3418 markings/sec, 2705 secs
lola: 11 tries, 10117260 fired transitions, 2710 secs || 9505250 markings, 23623831 edges, 3432 markings/sec, 2710 secs
lola: 11 tries, 10135660 fired transitions, 2715 secs || 9522354 markings, 23668393 edges, 3421 markings/sec, 2715 secs
lola: 11 tries, 10154124 fired transitions, 2720 secs || 9539465 markings, 23714852 edges, 3422 markings/sec, 2720 secs
lola: 11 tries, 10172557 fired transitions, 2725 secs || 9556458 markings, 23759226 edges, 3399 markings/sec, 2725 secs
lola: 11 tries, 10190990 fired transitions, 2730 secs || 9573499 markings, 23805945 edges, 3408 markings/sec, 2730 secs
lola: 11 tries, 10209417 fired transitions, 2735 secs || 9590501 markings, 23850935 edges, 3400 markings/sec, 2735 secs
lola: 11 tries, 10227835 fired transitions, 2740 secs || 9607537 markings, 23896552 edges, 3407 markings/sec, 2740 secs
lola: 11 tries, 10246293 fired transitions, 2745 secs || 9624563 markings, 23941468 edges, 3405 markings/sec, 2745 secs
lola: 11 tries, 10264745 fired transitions, 2750 secs || 9641719 markings, 23986409 edges, 3431 markings/sec, 2750 secs
lola: 11 tries, 10283182 fired transitions, 2755 secs || 9658643 markings, 24033060 edges, 3385 markings/sec, 2755 secs
lola: 11 tries, 10301634 fired transitions, 2760 secs || 9675728 markings, 24078158 edges, 3417 markings/sec, 2760 secs
lola: 11 tries, 10320074 fired transitions, 2765 secs || 9692826 markings, 24123655 edges, 3420 markings/sec, 2765 secs
lola: 11 tries, 10338494 fired transitions, 2770 secs || 9709921 markings, 24169111 edges, 3419 markings/sec, 2770 secs
lola: 11 tries, 10356935 fired transitions, 2775 secs || 9726933 markings, 24213405 edges, 3402 markings/sec, 2775 secs
lola: 11 tries, 10375411 fired transitions, 2780 secs || 9743959 markings, 24259612 edges, 3405 markings/sec, 2780 secs
lola: 11 tries, 10393820 fired transitions, 2785 secs || 9760968 markings, 24306476 edges, 3402 markings/sec, 2785 secs
lola: 11 tries, 10412321 fired transitions, 2790 secs || 9778114 markings, 24353075 edges, 3429 markings/sec, 2790 secs
lola: 11 tries, 10430738 fired transitions, 2795 secs || 9795185 markings, 24396692 edges, 3414 markings/sec, 2795 secs
lola: 11 tries, 10449182 fired transitions, 2800 secs || 9812287 markings, 24441777 edges, 3420 markings/sec, 2800 secs
lola: 11 tries, 10467679 fired transitions, 2805 secs || 9829371 markings, 24488185 edges, 3417 markings/sec, 2805 secs
lola: 11 tries, 10486121 fired transitions, 2810 secs || 9846408 markings, 24532634 edges, 3407 markings/sec, 2810 secs
lola: 11 tries, 10504571 fired transitions, 2815 secs || 9863527 markings, 24577447 edges, 3424 markings/sec, 2815 secs
lola: 11 tries, 10523215 fired transitions, 2820 secs || 9880794 markings, 24623393 edges, 3453 markings/sec, 2820 secs
lola: 11 tries, 10542036 fired transitions, 2825 secs || 9898208 markings, 24669535 edges, 3483 markings/sec, 2825 secs
lola: 11 tries, 10560448 fired transitions, 2830 secs || 9915258 markings, 24715745 edges, 3410 markings/sec, 2830 secs
lola: 11 tries, 10578862 fired transitions, 2835 secs || 9932288 markings, 24762112 edges, 3406 markings/sec, 2835 secs
lola: 11 tries, 10597325 fired transitions, 2840 secs || 9949382 markings, 24809410 edges, 3419 markings/sec, 2840 secs
lola: 11 tries, 10615783 fired transitions, 2845 secs || 9966556 markings, 24854584 edges, 3435 markings/sec, 2845 secs
lola: 11 tries, 10634614 fired transitions, 2850 secs || 9984048 markings, 24901585 edges, 3498 markings/sec, 2850 secs
lola: 11 tries, 10653613 fired transitions, 2855 secs || 10001656 markings, 24948046 edges, 3522 markings/sec, 2855 secs
lola: 11 tries, 10672128 fired transitions, 2860 secs || 10018662 markings, 24992390 edges, 3401 markings/sec, 2860 secs
lola: 11 tries, 10690608 fired transitions, 2865 secs || 10035802 markings, 25037594 edges, 3428 markings/sec, 2865 secs
lola: 11 tries, 10709042 fired transitions, 2870 secs || 10052833 markings, 25082976 edges, 3406 markings/sec, 2870 secs
lola: 11 tries, 10727521 fired transitions, 2875 secs || 10069914 markings, 25128702 edges, 3416 markings/sec, 2875 secs
lola: 11 tries, 10745991 fired transitions, 2880 secs || 10086993 markings, 25174104 edges, 3416 markings/sec, 2880 secs
lola: 11 tries, 10764408 fired transitions, 2885 secs || 10104107 markings, 25218338 edges, 3423 markings/sec, 2885 secs
lola: 11 tries, 10782867 fired transitions, 2890 secs || 10121183 markings, 25264820 edges, 3415 markings/sec, 2890 secs
lola: 11 tries, 10801304 fired transitions, 2895 secs || 10138366 markings, 25309463 edges, 3437 markings/sec, 2895 secs
lola: 11 tries, 10819749 fired transitions, 2900 secs || 10155422 markings, 25354912 edges, 3411 markings/sec, 2900 secs
lola: 11 tries, 10838206 fired transitions, 2905 secs || 10172484 markings, 25402127 edges, 3412 markings/sec, 2905 secs
lola: 11 tries, 10856637 fired transitions, 2910 secs || 10189518 markings, 25447200 edges, 3407 markings/sec, 2910 secs
lola: 11 tries, 10875088 fired transitions, 2915 secs || 10206583 markings, 25494281 edges, 3413 markings/sec, 2915 secs
lola: 11 tries, 10893492 fired transitions, 2920 secs || 10223594 markings, 25540496 edges, 3402 markings/sec, 2920 secs
lola: 11 tries, 10911927 fired transitions, 2925 secs || 10240517 markings, 25586911 edges, 3385 markings/sec, 2925 secs
lola: 11 tries, 10930359 fired transitions, 2930 secs || 10257627 markings, 25631806 edges, 3422 markings/sec, 2930 secs
lola: 11 tries, 10948854 fired transitions, 2935 secs || 10274702 markings, 25676396 edges, 3415 markings/sec, 2935 secs
lola: 11 tries, 10967282 fired transitions, 2940 secs || 10291738 markings, 25722067 edges, 3407 markings/sec, 2940 secs
lola: 11 tries, 10985737 fired transitions, 2945 secs || 10308730 markings, 25768805 edges, 3398 markings/sec, 2945 secs
lola: 12 tries, 11004223 fired transitions, 2950 secs || 10325847 markings, 25813683 edges, 3423 markings/sec, 2950 secs
lola: 12 tries, 11022669 fired transitions, 2955 secs || 10342871 markings, 25861593 edges, 3405 markings/sec, 2955 secs
lola: 12 tries, 11041108 fired transitions, 2960 secs || 10359859 markings, 25907213 edges, 3398 markings/sec, 2960 secs
lola: 12 tries, 11059519 fired transitions, 2965 secs || 10376785 markings, 25953424 edges, 3385 markings/sec, 2965 secs
lola: 12 tries, 11077964 fired transitions, 2970 secs || 10393866 markings, 25998977 edges, 3416 markings/sec, 2970 secs
lola: 12 tries, 11096397 fired transitions, 2975 secs || 10410869 markings, 26044840 edges, 3401 markings/sec, 2975 secs
lola: 12 tries, 11114824 fired transitions, 2980 secs || 10427941 markings, 26090601 edges, 3414 markings/sec, 2980 secs
lola: 12 tries, 11133265 fired transitions, 2985 secs || 10445031 markings, 26136077 edges, 3418 markings/sec, 2985 secs
lola: 12 tries, 11151747 fired transitions, 2990 secs || 10462126 markings, 26180899 edges, 3419 markings/sec, 2990 secs
lola: 12 tries, 11170207 fired transitions, 2995 secs || 10479134 markings, 26226433 edges, 3402 markings/sec, 2995 secs
lola: 12 tries, 11188670 fired transitions, 3000 secs || 10496178 markings, 26273523 edges, 3409 markings/sec, 3000 secs
lola: 12 tries, 11207092 fired transitions, 3005 secs || 10513220 markings, 26320285 edges, 3408 markings/sec, 3005 secs
lola: 12 tries, 11225563 fired transitions, 3010 secs || 10530283 markings, 26367884 edges, 3413 markings/sec, 3010 secs
lola: 12 tries, 11244036 fired transitions, 3015 secs || 10547345 markings, 26414119 edges, 3412 markings/sec, 3015 secs
lola: 12 tries, 11262536 fired transitions, 3020 secs || 10564416 markings, 26459826 edges, 3414 markings/sec, 3020 secs
lola: 12 tries, 11281140 fired transitions, 3025 secs || 10581469 markings, 26505514 edges, 3411 markings/sec, 3025 secs
lola: 12 tries, 11300165 fired transitions, 3030 secs || 10599133 markings, 26553579 edges, 3533 markings/sec, 3030 secs
lola: 12 tries, 11318860 fired transitions, 3035 secs || 10616513 markings, 26600601 edges, 3476 markings/sec, 3035 secs
lola: 12 tries, 11337320 fired transitions, 3040 secs || 10633598 markings, 26645916 edges, 3417 markings/sec, 3040 secs
lola: 12 tries, 11355903 fired transitions, 3045 secs || 10650674 markings, 26692698 edges, 3415 markings/sec, 3045 secs
lola: 12 tries, 11374337 fired transitions, 3050 secs || 10667525 markings, 26737789 edges, 3370 markings/sec, 3050 secs
lola: 12 tries, 11393196 fired transitions, 3055 secs || 10684817 markings, 26786126 edges, 3458 markings/sec, 3055 secs
lola: 12 tries, 11411614 fired transitions, 3060 secs || 10701706 markings, 26830172 edges, 3378 markings/sec, 3060 secs
lola: 12 tries, 11430005 fired transitions, 3065 secs || 10718547 markings, 26874691 edges, 3368 markings/sec, 3065 secs
lola: 12 tries, 11448471 fired transitions, 3070 secs || 10735486 markings, 26921425 edges, 3388 markings/sec, 3070 secs
lola: 12 tries, 11466934 fired transitions, 3075 secs || 10752503 markings, 26968046 edges, 3403 markings/sec, 3075 secs
lola: 12 tries, 11485349 fired transitions, 3080 secs || 10769475 markings, 27013167 edges, 3394 markings/sec, 3080 secs
lola: 12 tries, 11503788 fired transitions, 3085 secs || 10786450 markings, 27060322 edges, 3395 markings/sec, 3085 secs
lola: 12 tries, 11522300 fired transitions, 3090 secs || 10803504 markings, 27106624 edges, 3411 markings/sec, 3090 secs
lola: 12 tries, 11540746 fired transitions, 3095 secs || 10820418 markings, 27152493 edges, 3383 markings/sec, 3095 secs
lola: 12 tries, 11559205 fired transitions, 3100 secs || 10837512 markings, 27196373 edges, 3419 markings/sec, 3100 secs
lola: 12 tries, 11577651 fired transitions, 3105 secs || 10854470 markings, 27242928 edges, 3392 markings/sec, 3105 secs
lola: 12 tries, 11596088 fired transitions, 3110 secs || 10871487 markings, 27289145 edges, 3403 markings/sec, 3110 secs
lola: 12 tries, 11614584 fired transitions, 3115 secs || 10888622 markings, 27334290 edges, 3427 markings/sec, 3115 secs
lola: 12 tries, 11633023 fired transitions, 3120 secs || 10905579 markings, 27380071 edges, 3391 markings/sec, 3120 secs
lola: 12 tries, 11651460 fired transitions, 3125 secs || 10922617 markings, 27425998 edges, 3408 markings/sec, 3125 secs
lola: 12 tries, 11669905 fired transitions, 3130 secs || 10939678 markings, 27472798 edges, 3412 markings/sec, 3130 secs
lola: 12 tries, 11688373 fired transitions, 3135 secs || 10956812 markings, 27519020 edges, 3427 markings/sec, 3135 secs
lola: 12 tries, 11706827 fired transitions, 3140 secs || 10973806 markings, 27565416 edges, 3399 markings/sec, 3140 secs
lola: 12 tries, 11725293 fired transitions, 3145 secs || 10990904 markings, 27610141 edges, 3420 markings/sec, 3145 secs
lola: 12 tries, 11743746 fired transitions, 3150 secs || 11007720 markings, 27655592 edges, 3363 markings/sec, 3150 secs
lola: 12 tries, 11762168 fired transitions, 3155 secs || 11024645 markings, 27702687 edges, 3385 markings/sec, 3155 secs
lola: 12 tries, 11780586 fired transitions, 3160 secs || 11041432 markings, 27749250 edges, 3357 markings/sec, 3160 secs
lola: 12 tries, 11799009 fired transitions, 3165 secs || 11058166 markings, 27797073 edges, 3347 markings/sec, 3165 secs
lola: 12 tries, 11817315 fired transitions, 3170 secs || 11075522 markings, 27843604 edges, 3471 markings/sec, 3170 secs
lola: 12 tries, 11835577 fired transitions, 3175 secs || 11092740 markings, 27891687 edges, 3444 markings/sec, 3175 secs
lola: 12 tries, 11853816 fired transitions, 3180 secs || 11110047 markings, 27938677 edges, 3461 markings/sec, 3180 secs
lola: 12 tries, 11872176 fired transitions, 3185 secs || 11126825 markings, 27983397 edges, 3356 markings/sec, 3185 secs
lola: 12 tries, 11890448 fired transitions, 3190 secs || 11144171 markings, 28030304 edges, 3469 markings/sec, 3190 secs
lola: 12 tries, 11908733 fired transitions, 3195 secs || 11161480 markings, 28078893 edges, 3462 markings/sec, 3195 secs
lola: 12 tries, 11927069 fired transitions, 3200 secs || 11178963 markings, 28126179 edges, 3497 markings/sec, 3200 secs
lola: 12 tries, 11945427 fired transitions, 3205 secs || 11196100 markings, 28173795 edges, 3427 markings/sec, 3205 secs
lola: 12 tries, 11963840 fired transitions, 3210 secs || 11212956 markings, 28221071 edges, 3371 markings/sec, 3210 secs
lola: 12 tries, 11982263 fired transitions, 3215 secs || 11229942 markings, 28268085 edges, 3397 markings/sec, 3215 secs
lola: 13 tries, 12000699 fired transitions, 3220 secs || 11246979 markings, 28313227 edges, 3407 markings/sec, 3220 secs
lola: 13 tries, 12019090 fired transitions, 3225 secs || 11263913 markings, 28359253 edges, 3387 markings/sec, 3225 secs
lola: 13 tries, 12037546 fired transitions, 3230 secs || 11281001 markings, 28404834 edges, 3418 markings/sec, 3230 secs
lola: 13 tries, 12055990 fired transitions, 3235 secs || 11297710 markings, 28448441 edges, 3342 markings/sec, 3235 secs
lola: 13 tries, 12074409 fired transitions, 3240 secs || 11314603 markings, 28493727 edges, 3379 markings/sec, 3240 secs
lola: 13 tries, 12092868 fired transitions, 3245 secs || 11331579 markings, 28538830 edges, 3395 markings/sec, 3245 secs
lola: 13 tries, 12111415 fired transitions, 3250 secs || 11348749 markings, 28583938 edges, 3434 markings/sec, 3250 secs
lola: 13 tries, 12130358 fired transitions, 3255 secs || 11366242 markings, 28630786 edges, 3499 markings/sec, 3255 secs
lola: 13 tries, 12148774 fired transitions, 3260 secs || 11382760 markings, 28675765 edges, 3304 markings/sec, 3260 secs
lola: 13 tries, 12167213 fired transitions, 3265 secs || 11399744 markings, 28723039 edges, 3397 markings/sec, 3265 secs
lola: 13 tries, 12185621 fired transitions, 3270 secs || 11416700 markings, 28768283 edges, 3391 markings/sec, 3270 secs
lola: 13 tries, 12204019 fired transitions, 3275 secs || 11433667 markings, 28814162 edges, 3393 markings/sec, 3275 secs
lola: 13 tries, 12222460 fired transitions, 3280 secs || 11450674 markings, 28860269 edges, 3401 markings/sec, 3280 secs
lola: 13 tries, 12240883 fired transitions, 3285 secs || 11467542 markings, 28904911 edges, 3374 markings/sec, 3285 secs
lola: 13 tries, 12259305 fired transitions, 3290 secs || 11484167 markings, 28949893 edges, 3325 markings/sec, 3290 secs
lola: 13 tries, 12277715 fired transitions, 3295 secs || 11501095 markings, 28994933 edges, 3386 markings/sec, 3295 secs
lola: 13 tries, 12296182 fired transitions, 3300 secs || 11518136 markings, 29040192 edges, 3408 markings/sec, 3300 secs
lola: 13 tries, 12314568 fired transitions, 3305 secs || 11535072 markings, 29085935 edges, 3387 markings/sec, 3305 secs
lola: 13 tries, 12332832 fired transitions, 3310 secs || 11552349 markings, 29133907 edges, 3455 markings/sec, 3310 secs
lola: 13 tries, 12351036 fired transitions, 3315 secs || 11569790 markings, 29181041 edges, 3488 markings/sec, 3315 secs
lola: 13 tries, 12368918 fired transitions, 3320 secs || 11587158 markings, 29229666 edges, 3474 markings/sec, 3320 secs
lola: 13 tries, 12387103 fired transitions, 3325 secs || 11604475 markings, 29277963 edges, 3463 markings/sec, 3325 secs
lola: 13 tries, 12405174 fired transitions, 3330 secs || 11621875 markings, 29325684 edges, 3480 markings/sec, 3330 secs
lola: 13 tries, 12423442 fired transitions, 3335 secs || 11639272 markings, 29373701 edges, 3479 markings/sec, 3335 secs
lola: 13 tries, 12441727 fired transitions, 3340 secs || 11656750 markings, 29419768 edges, 3496 markings/sec, 3340 secs
lola: 13 tries, 12460584 fired transitions, 3345 secs || 11673816 markings, 29465884 edges, 3413 markings/sec, 3345 secs
lola: 13 tries, 12480152 fired transitions, 3350 secs || 11690271 markings, 29509694 edges, 3291 markings/sec, 3350 secs
lola: 13 tries, 12499685 fired transitions, 3355 secs || 11707074 markings, 29555138 edges, 3361 markings/sec, 3355 secs
lola: 13 tries, 12519166 fired transitions, 3360 secs || 11723859 markings, 29598910 edges, 3357 markings/sec, 3360 secs
lola: 13 tries, 12538724 fired transitions, 3365 secs || 11740587 markings, 29644626 edges, 3346 markings/sec, 3365 secs
lola: 13 tries, 12557662 fired transitions, 3370 secs || 11757571 markings, 29689267 edges, 3397 markings/sec, 3370 secs
lola: 13 tries, 12576068 fired transitions, 3375 secs || 11774555 markings, 29734539 edges, 3397 markings/sec, 3375 secs
lola: 13 tries, 12594309 fired transitions, 3380 secs || 11791533 markings, 29780902 edges, 3396 markings/sec, 3380 secs
lola: 13 tries, 12612681 fired transitions, 3385 secs || 11808395 markings, 29825983 edges, 3372 markings/sec, 3385 secs
lola: 13 tries, 12630999 fired transitions, 3390 secs || 11825272 markings, 29874365 edges, 3375 markings/sec, 3390 secs
lola: 13 tries, 12649391 fired transitions, 3395 secs || 11842209 markings, 29919615 edges, 3387 markings/sec, 3395 secs
lola: 13 tries, 12667807 fired transitions, 3400 secs || 11859135 markings, 29964379 edges, 3385 markings/sec, 3400 secs
lola: 13 tries, 12686078 fired transitions, 3405 secs || 11876162 markings, 30009881 edges, 3405 markings/sec, 3405 secs
lola: 13 tries, 12704553 fired transitions, 3410 secs || 11893103 markings, 30056829 edges, 3388 markings/sec, 3410 secs
lola: 13 tries, 12723039 fired transitions, 3415 secs || 11910047 markings, 30103808 edges, 3389 markings/sec, 3415 secs
lola: 13 tries, 12741527 fired transitions, 3420 secs || 11927018 markings, 30149031 edges, 3394 markings/sec, 3420 secs
lola: 13 tries, 12760026 fired transitions, 3425 secs || 11943883 markings, 30195922 edges, 3373 markings/sec, 3425 secs
lola: 13 tries, 12778486 fired transitions, 3430 secs || 11960815 markings, 30241470 edges, 3386 markings/sec, 3430 secs
lola: 13 tries, 12796948 fired transitions, 3435 secs || 11977744 markings, 30287510 edges, 3386 markings/sec, 3435 secs
lola: 13 tries, 12815406 fired transitions, 3440 secs || 11994582 markings, 30336050 edges, 3368 markings/sec, 3440 secs
lola: 13 tries, 12833868 fired transitions, 3445 secs || 12011568 markings, 30381494 edges, 3397 markings/sec, 3445 secs
lola: 13 tries, 12852346 fired transitions, 3450 secs || 12028576 markings, 30426389 edges, 3402 markings/sec, 3450 secs
lola: 13 tries, 12870812 fired transitions, 3455 secs || 12045467 markings, 30472572 edges, 3378 markings/sec, 3455 secs
lola: 13 tries, 12889242 fired transitions, 3460 secs || 12062364 markings, 30518960 edges, 3379 markings/sec, 3460 secs
lola: 13 tries, 12907710 fired transitions, 3465 secs || 12079333 markings, 30565388 edges, 3394 markings/sec, 3465 secs
lola: 13 tries, 12926181 fired transitions, 3470 secs || 12096310 markings, 30613014 edges, 3395 markings/sec, 3470 secs
lola: 13 tries, 12944650 fired transitions, 3475 secs || 12113246 markings, 30659760 edges, 3387 markings/sec, 3475 secs
lola: 13 tries, 12963108 fired transitions, 3480 secs || 12130182 markings, 30704150 edges, 3387 markings/sec, 3480 secs
lola: 13 tries, 12981564 fired transitions, 3485 secs || 12147052 markings, 30750507 edges, 3374 markings/sec, 3485 secs
lola: 14 tries, 13000366 fired transitions, 3490 secs || 12164317 markings, 30796940 edges, 3453 markings/sec, 3490 secs
lola: 14 tries, 13019469 fired transitions, 3495 secs || 12181854 markings, 30845695 edges, 3507 markings/sec, 3495 secs
lola: 14 tries, 13038512 fired transitions, 3500 secs || 12199381 markings, 30891949 edges, 3505 markings/sec, 3500 secs
lola: 14 tries, 13057539 fired transitions, 3505 secs || 12216841 markings, 30938504 edges, 3492 markings/sec, 3505 secs
lola: 14 tries, 13076612 fired transitions, 3510 secs || 12234350 markings, 30986285 edges, 3502 markings/sec, 3510 secs
lola: 14 tries, 13095660 fired transitions, 3515 secs || 12251896 markings, 31031176 edges, 3509 markings/sec, 3515 secs
lola: 14 tries, 13114714 fired transitions, 3520 secs || 12269340 markings, 31077547 edges, 3489 markings/sec, 3520 secs
lola: 14 tries, 13133747 fired transitions, 3525 secs || 12286859 markings, 31124442 edges, 3504 markings/sec, 3525 secs
lola: 14 tries, 13152660 fired transitions, 3530 secs || 12304278 markings, 31172396 edges, 3484 markings/sec, 3530 secs
lola: 14 tries, 13171124 fired transitions, 3535 secs || 12321235 markings, 31217222 edges, 3391 markings/sec, 3535 secs
lola: 14 tries, 13189584 fired transitions, 3540 secs || 12338188 markings, 31264575 edges, 3391 markings/sec, 3540 secs
lola: 14 tries, 13208051 fired transitions, 3545 secs || 12355080 markings, 31309663 edges, 3378 markings/sec, 3545 secs
lola: 14 tries, 13226513 fired transitions, 3550 secs || 12372063 markings, 31355012 edges, 3397 markings/sec, 3550 secs
lola: 14 tries, 13244986 fired transitions, 3555 secs || 12389032 markings, 31402406 edges, 3394 markings/sec, 3555 secs
lola: 14 tries, 13263472 fired transitions, 3560 secs || 12406007 markings, 31449321 edges, 3395 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 1153120 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552936833103

--------------------
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-COL-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-COL-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-155286430400021"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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