About the Execution of LoLA for DatabaseWithMutex-COL-40
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.150 | 2980693.00 | 6023351.00 | 3822.80 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r049-oct2-155234405600795.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is DatabaseWithMutex-COL-40, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405600795
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 228K
-rw-r--r-- 1 mcc users 4.4K Feb 10 20:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 10 20:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 6 16:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 6 16:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 111 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 349 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 23:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 3 06:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 3 06:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Jan 30 23:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Jan 30 23:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 59K 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 DatabaseWithMutex-COL-40-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1552486613975
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DatabaseWithMutex-COL-40 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 589
rslt: Output for GlobalProperties @ DatabaseWithMutex-COL-40
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: 12920, Transitions: 12800
lola: @ trans Start
lola: @ trans SendReply
lola: @ trans Acquire
lola: @ trans Change
lola: @ trans Update
lola: @ trans end_update
lola: @ trans Release
lola: @ trans SendMsg
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 25720/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 413440
lola: finding significant places
lola: 12920 places, 12800 transitions, 11200 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: 1 tries, 32485 fired transitions, 0 secs
lola: 3533 generators;81772955 candidates remain ( 0%), 0 secs
lola: computed 4183 generators (107 in search tree, 4076 by composition)
lola: representing 6.65718E+95 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 66828 fired transitions, 5 secs || 11499 markings, 11551 edges, 2300 markings/sec, 5 secs
lola: 1 tries, 100458 fired transitions, 10 secs || 30167 markings, 32887 edges, 3734 markings/sec, 10 secs
lola: 1 tries, 135450 fired transitions, 15 secs || 49300 markings, 54577 edges, 3827 markings/sec, 15 secs
lola: 1 tries, 170737 fired transitions, 20 secs || 68216 markings, 75973 edges, 3783 markings/sec, 20 secs
lola: 1 tries, 206097 fired transitions, 25 secs || 87158 markings, 97465 edges, 3788 markings/sec, 25 secs
lola: 1 tries, 241409 fired transitions, 30 secs || 106076 markings, 118858 edges, 3784 markings/sec, 30 secs
lola: 1 tries, 276633 fired transitions, 35 secs || 125379 markings, 140968 edges, 3861 markings/sec, 35 secs
lola: 1 tries, 311830 fired transitions, 40 secs || 143274 markings, 161522 edges, 3579 markings/sec, 40 secs
lola: 1 tries, 347178 fired transitions, 45 secs || 161504 markings, 182428 edges, 3646 markings/sec, 45 secs
lola: 1 tries, 382517 fired transitions, 50 secs || 179485 markings, 203036 edges, 3596 markings/sec, 50 secs
lola: 1 tries, 417774 fired transitions, 55 secs || 197335 markings, 223408 edges, 3570 markings/sec, 55 secs
lola: 1 tries, 453098 fired transitions, 60 secs || 215212 markings, 243826 edges, 3575 markings/sec, 60 secs
lola: 1 tries, 488440 fired transitions, 65 secs || 233094 markings, 264277 edges, 3576 markings/sec, 65 secs
lola: 1 tries, 523700 fired transitions, 70 secs || 251678 markings, 285614 edges, 3717 markings/sec, 70 secs
lola: 1 tries, 559051 fired transitions, 75 secs || 270906 markings, 307622 edges, 3846 markings/sec, 75 secs
lola: 1 tries, 594429 fired transitions, 80 secs || 290806 markings, 330811 edges, 3980 markings/sec, 80 secs
lola: 1 tries, 629847 fired transitions, 85 secs || 310716 markings, 353986 edges, 3982 markings/sec, 85 secs
lola: 1 tries, 665234 fired transitions, 90 secs || 330414 markings, 376934 edges, 3940 markings/sec, 90 secs
lola: 1 tries, 700591 fired transitions, 95 secs || 350037 markings, 399796 edges, 3925 markings/sec, 95 secs
lola: 1 tries, 735960 fired transitions, 100 secs || 369637 markings, 422561 edges, 3920 markings/sec, 100 secs
lola: 1 tries, 771329 fired transitions, 105 secs || 389415 markings, 445501 edges, 3956 markings/sec, 105 secs
lola: 1 tries, 806704 fired transitions, 110 secs || 408803 markings, 467833 edges, 3878 markings/sec, 110 secs
lola: 1 tries, 842082 fired transitions, 115 secs || 428098 markings, 490123 edges, 3859 markings/sec, 115 secs
lola: 1 tries, 877448 fired transitions, 120 secs || 447848 markings, 513010 edges, 3950 markings/sec, 120 secs
lola: 1 tries, 912772 fired transitions, 125 secs || 467137 markings, 535190 edges, 3858 markings/sec, 125 secs
lola: 1 tries, 948150 fired transitions, 130 secs || 486418 markings, 557451 edges, 3856 markings/sec, 130 secs
lola: 1 tries, 983504 fired transitions, 135 secs || 505623 markings, 579613 edges, 3841 markings/sec, 135 secs
lola: 2 tries, 1018639 fired transitions, 140 secs || 525320 markings, 601944 edges, 3939 markings/sec, 140 secs
lola: 2 tries, 1053428 fired transitions, 145 secs || 545195 markings, 622427 edges, 3975 markings/sec, 145 secs
lola: 2 tries, 1088115 fired transitions, 150 secs || 565035 markings, 642717 edges, 3968 markings/sec, 150 secs
lola: 2 tries, 1122910 fired transitions, 155 secs || 585105 markings, 664691 edges, 4014 markings/sec, 155 secs
lola: 2 tries, 1157733 fired transitions, 160 secs || 605059 markings, 685333 edges, 3991 markings/sec, 160 secs
lola: 2 tries, 1192507 fired transitions, 165 secs || 625027 markings, 706002 edges, 3994 markings/sec, 165 secs
lola: 2 tries, 1227318 fired transitions, 170 secs || 644774 markings, 727615 edges, 3949 markings/sec, 170 secs
lola: 2 tries, 1262083 fired transitions, 175 secs || 664804 markings, 748521 edges, 4006 markings/sec, 175 secs
lola: 2 tries, 1296915 fired transitions, 180 secs || 684478 markings, 769016 edges, 3935 markings/sec, 180 secs
lola: 2 tries, 1331710 fired transitions, 185 secs || 704369 markings, 789567 edges, 3978 markings/sec, 185 secs
lola: 2 tries, 1366409 fired transitions, 190 secs || 724187 markings, 810448 edges, 3964 markings/sec, 190 secs
lola: 2 tries, 1401265 fired transitions, 195 secs || 744045 markings, 830842 edges, 3972 markings/sec, 195 secs
lola: 2 tries, 1436124 fired transitions, 200 secs || 763588 markings, 851300 edges, 3909 markings/sec, 200 secs
lola: 2 tries, 1468251 fired transitions, 205 secs || 783426 markings, 871667 edges, 3968 markings/sec, 205 secs
lola: 2 tries, 1499342 fired transitions, 210 secs || 803394 markings, 892313 edges, 3994 markings/sec, 210 secs
lola: 2 tries, 1530361 fired transitions, 215 secs || 823185 markings, 912573 edges, 3958 markings/sec, 215 secs
lola: 2 tries, 1561999 fired transitions, 220 secs || 843003 markings, 932723 edges, 3964 markings/sec, 220 secs
lola: 2 tries, 1593105 fired transitions, 225 secs || 862926 markings, 953404 edges, 3985 markings/sec, 225 secs
lola: 2 tries, 1624263 fired transitions, 230 secs || 882874 markings, 974149 edges, 3990 markings/sec, 230 secs
lola: 2 tries, 1655375 fired transitions, 235 secs || 902877 markings, 995207 edges, 4001 markings/sec, 235 secs
lola: 2 tries, 1686533 fired transitions, 240 secs || 922729 markings, 1015660 edges, 3970 markings/sec, 240 secs
lola: 2 tries, 1717691 fired transitions, 245 secs || 942741 markings, 1036813 edges, 4002 markings/sec, 245 secs
lola: 2 tries, 1748876 fired transitions, 250 secs || 962892 markings, 1058275 edges, 4030 markings/sec, 250 secs
lola: 2 tries, 1780184 fired transitions, 255 secs || 982972 markings, 1079065 edges, 4016 markings/sec, 255 secs
lola: 2 tries, 1811508 fired transitions, 260 secs || 1003176 markings, 1100593 edges, 4041 markings/sec, 260 secs
lola: 2 tries, 1842847 fired transitions, 265 secs || 1023260 markings, 1121651 edges, 4017 markings/sec, 265 secs
lola: 2 tries, 1874186 fired transitions, 270 secs || 1043476 markings, 1143005 edges, 4043 markings/sec, 270 secs
lola: 2 tries, 1905404 fired transitions, 275 secs || 1063533 markings, 1164004 edges, 4011 markings/sec, 275 secs
lola: 2 tries, 1936408 fired transitions, 280 secs || 1083449 markings, 1184924 edges, 3983 markings/sec, 280 secs
lola: 2 tries, 1967505 fired transitions, 285 secs || 1103367 markings, 1205536 edges, 3984 markings/sec, 285 secs
lola: 2 tries, 1998669 fired transitions, 290 secs || 1123253 markings, 1226015 edges, 3977 markings/sec, 290 secs
lola: 3 tries, 2030345 fired transitions, 295 secs || 1143006 markings, 1248906 edges, 3951 markings/sec, 295 secs
lola: 3 tries, 2062007 fired transitions, 300 secs || 1162800 markings, 1271940 edges, 3959 markings/sec, 300 secs
lola: 3 tries, 2093708 fired transitions, 305 secs || 1182659 markings, 1295076 edges, 3972 markings/sec, 305 secs
lola: 3 tries, 2125409 fired transitions, 310 secs || 1202642 markings, 1318464 edges, 3997 markings/sec, 310 secs
lola: 3 tries, 2157062 fired transitions, 315 secs || 1222496 markings, 1341600 edges, 3971 markings/sec, 315 secs
lola: 3 tries, 2188754 fired transitions, 320 secs || 1242460 markings, 1364937 edges, 3993 markings/sec, 320 secs
lola: 3 tries, 2220422 fired transitions, 325 secs || 1262322 markings, 1388100 edges, 3972 markings/sec, 325 secs
lola: 3 tries, 2251505 fired transitions, 330 secs || 1282001 markings, 1408138 edges, 3936 markings/sec, 330 secs
lola: 3 tries, 2282675 fired transitions, 335 secs || 1302019 markings, 1431087 edges, 4004 markings/sec, 335 secs
lola: 3 tries, 2313757 fired transitions, 340 secs || 1321873 markings, 1452464 edges, 3971 markings/sec, 340 secs
lola: 3 tries, 2344882 fired transitions, 345 secs || 1341625 markings, 1474723 edges, 3950 markings/sec, 345 secs
lola: 3 tries, 2376018 fired transitions, 350 secs || 1361397 markings, 1497038 edges, 3954 markings/sec, 350 secs
lola: 3 tries, 2407194 fired transitions, 355 secs || 1381273 markings, 1520183 edges, 3975 markings/sec, 355 secs
lola: 3 tries, 2438319 fired transitions, 360 secs || 1401106 markings, 1543280 edges, 3967 markings/sec, 360 secs
lola: 3 tries, 2469461 fired transitions, 365 secs || 1421006 markings, 1566482 edges, 3980 markings/sec, 365 secs
lola: 3 tries, 2500640 fired transitions, 370 secs || 1440967 markings, 1589810 edges, 3992 markings/sec, 370 secs
lola: 3 tries, 2531819 fired transitions, 375 secs || 1460870 markings, 1613023 edges, 3981 markings/sec, 375 secs
lola: 3 tries, 2563164 fired transitions, 380 secs || 1480807 markings, 1636174 edges, 3987 markings/sec, 380 secs
lola: 3 tries, 2594542 fired transitions, 385 secs || 1500957 markings, 1659731 edges, 4030 markings/sec, 385 secs
lola: 3 tries, 2626209 fired transitions, 390 secs || 1521160 markings, 1683407 edges, 4041 markings/sec, 390 secs
lola: 3 tries, 2658076 fired transitions, 395 secs || 1541352 markings, 1707071 edges, 4038 markings/sec, 395 secs
lola: 3 tries, 2689768 fired transitions, 400 secs || 1561471 markings, 1730687 edges, 4024 markings/sec, 400 secs
lola: 3 tries, 2721370 fired transitions, 405 secs || 1581159 markings, 1753354 edges, 3938 markings/sec, 405 secs
lola: 3 tries, 2752835 fired transitions, 410 secs || 1601007 markings, 1776554 edges, 3970 markings/sec, 410 secs
lola: 3 tries, 2784443 fired transitions, 415 secs || 1620838 markings, 1799693 edges, 3966 markings/sec, 415 secs
lola: 3 tries, 2816111 fired transitions, 420 secs || 1640784 markings, 1823027 edges, 3989 markings/sec, 420 secs
lola: 3 tries, 2847788 fired transitions, 425 secs || 1660923 markings, 1846746 edges, 4028 markings/sec, 425 secs
lola: 3 tries, 2879486 fired transitions, 430 secs || 1681080 markings, 1870479 edges, 4031 markings/sec, 430 secs
lola: 3 tries, 2911196 fired transitions, 435 secs || 1701183 markings, 1894092 edges, 4021 markings/sec, 435 secs
lola: 3 tries, 2942870 fired transitions, 440 secs || 1721068 markings, 1917348 edges, 3977 markings/sec, 440 secs
lola: 3 tries, 2974580 fired transitions, 445 secs || 1741037 markings, 1940719 edges, 3994 markings/sec, 445 secs
lola: 4 tries, 3006351 fired transitions, 450 secs || 1761085 markings, 1964226 edges, 4010 markings/sec, 450 secs
lola: 4 tries, 3037775 fired transitions, 455 secs || 1780973 markings, 1986300 edges, 3978 markings/sec, 455 secs
lola: 4 tries, 3068921 fired transitions, 460 secs || 1800658 markings, 2006210 edges, 3937 markings/sec, 460 secs
lola: 4 tries, 3099934 fired transitions, 465 secs || 1820682 markings, 2028746 edges, 4005 markings/sec, 465 secs
lola: 4 tries, 3130995 fired transitions, 470 secs || 1840550 markings, 2050669 edges, 3974 markings/sec, 470 secs
lola: 4 tries, 3162162 fired transitions, 475 secs || 1860326 markings, 2071313 edges, 3955 markings/sec, 475 secs
lola: 4 tries, 3193099 fired transitions, 480 secs || 1880168 markings, 2093927 edges, 3968 markings/sec, 480 secs
lola: 4 tries, 3224284 fired transitions, 485 secs || 1900472 markings, 2117961 edges, 4061 markings/sec, 485 secs
lola: 4 tries, 3255395 fired transitions, 490 secs || 1920288 markings, 2138458 edges, 3963 markings/sec, 490 secs
lola: 4 tries, 3286560 fired transitions, 495 secs || 1940237 markings, 2160687 edges, 3990 markings/sec, 495 secs
lola: 4 tries, 3317721 fired transitions, 500 secs || 1960118 markings, 2181718 edges, 3976 markings/sec, 500 secs
lola: 4 tries, 3348767 fired transitions, 505 secs || 1979775 markings, 2202150 edges, 3931 markings/sec, 505 secs
lola: 4 tries, 3379928 fired transitions, 510 secs || 1999685 markings, 2225384 edges, 3982 markings/sec, 510 secs
lola: 4 tries, 3411040 fired transitions, 515 secs || 2019713 markings, 2248856 edges, 4006 markings/sec, 515 secs
lola: 4 tries, 3442222 fired transitions, 520 secs || 2039839 markings, 2272500 edges, 4025 markings/sec, 520 secs
lola: 4 tries, 3473389 fired transitions, 525 secs || 2059976 markings, 2296187 edges, 4027 markings/sec, 525 secs
lola: 4 tries, 3504574 fired transitions, 530 secs || 2080097 markings, 2319828 edges, 4024 markings/sec, 530 secs
lola: 4 tries, 3535756 fired transitions, 535 secs || 2100273 markings, 2343588 edges, 4035 markings/sec, 535 secs
lola: 4 tries, 3566901 fired transitions, 540 secs || 2120388 markings, 2367215 edges, 4023 markings/sec, 540 secs
lola: 4 tries, 3598050 fired transitions, 545 secs || 2140353 markings, 2390063 edges, 3993 markings/sec, 545 secs
lola: 4 tries, 3629315 fired transitions, 550 secs || 2160343 markings, 2413412 edges, 3998 markings/sec, 550 secs
lola: 4 tries, 3660917 fired transitions, 555 secs || 2180112 markings, 2436413 edges, 3954 markings/sec, 555 secs
lola: 4 tries, 3692567 fired transitions, 560 secs || 2199998 markings, 2459607 edges, 3977 markings/sec, 560 secs
lola: 4 tries, 3724186 fired transitions, 565 secs || 2219887 markings, 2482797 edges, 3978 markings/sec, 565 secs
lola: 4 tries, 3755851 fired transitions, 570 secs || 2239991 markings, 2506400 edges, 4021 markings/sec, 570 secs
lola: 4 tries, 3787555 fired transitions, 575 secs || 2260217 markings, 2530238 edges, 4045 markings/sec, 575 secs
lola: 4 tries, 3819205 fired transitions, 580 secs || 2280288 markings, 2553794 edges, 4014 markings/sec, 580 secs
lola: 4 tries, 3850894 fired transitions, 585 secs || 2300361 markings, 2576838 edges, 4015 markings/sec, 585 secs
lola: 4 tries, 3882038 fired transitions, 590 secs || 2320392 markings, 2599961 edges, 4006 markings/sec, 590 secs
lola: 4 tries, 3913226 fired transitions, 595 secs || 2340597 markings, 2623766 edges, 4041 markings/sec, 595 secs
lola: 4 tries, 3944344 fired transitions, 600 secs || 2360897 markings, 2647781 edges, 4060 markings/sec, 600 secs
lola: 4 tries, 3975469 fired transitions, 605 secs || 2381055 markings, 2670688 edges, 4032 markings/sec, 605 secs
lola: 5 tries, 4006711 fired transitions, 610 secs || 2401053 markings, 2693240 edges, 4000 markings/sec, 610 secs
lola: 5 tries, 4038216 fired transitions, 615 secs || 2421128 markings, 2714652 edges, 4015 markings/sec, 615 secs
lola: 5 tries, 4069703 fired transitions, 620 secs || 2441169 markings, 2735991 edges, 4008 markings/sec, 620 secs
lola: 5 tries, 4101144 fired transitions, 625 secs || 2461218 markings, 2757261 edges, 4010 markings/sec, 625 secs
lola: 5 tries, 4132480 fired transitions, 630 secs || 2481174 markings, 2778094 edges, 3991 markings/sec, 630 secs
lola: 5 tries, 4163976 fired transitions, 635 secs || 2501219 markings, 2799463 edges, 4009 markings/sec, 635 secs
lola: 5 tries, 4194747 fired transitions, 640 secs || 2521049 markings, 2820679 edges, 3966 markings/sec, 640 secs
lola: 5 tries, 4220936 fired transitions, 645 secs || 2538371 markings, 2838861 edges, 3464 markings/sec, 645 secs
lola: 5 tries, 4247070 fired transitions, 650 secs || 2555841 markings, 2857747 edges, 3494 markings/sec, 650 secs
lola: 5 tries, 4273540 fired transitions, 655 secs || 2573248 markings, 2876418 edges, 3481 markings/sec, 655 secs
lola: 5 tries, 4299798 fired transitions, 660 secs || 2590395 markings, 2894406 edges, 3429 markings/sec, 660 secs
lola: 5 tries, 4326159 fired transitions, 665 secs || 2607580 markings, 2912241 edges, 3437 markings/sec, 665 secs
lola: 5 tries, 4352486 fired transitions, 670 secs || 2624764 markings, 2929940 edges, 3437 markings/sec, 670 secs
lola: 5 tries, 4378829 fired transitions, 675 secs || 2641879 markings, 2947436 edges, 3423 markings/sec, 675 secs
lola: 5 tries, 4405155 fired transitions, 680 secs || 2659046 markings, 2965164 edges, 3433 markings/sec, 680 secs
lola: 5 tries, 4431475 fired transitions, 685 secs || 2676172 markings, 2982826 edges, 3425 markings/sec, 685 secs
lola: 5 tries, 4457691 fired transitions, 690 secs || 2693279 markings, 3000318 edges, 3421 markings/sec, 690 secs
lola: 5 tries, 4483967 fired transitions, 695 secs || 2710534 markings, 3018250 edges, 3451 markings/sec, 695 secs
lola: 5 tries, 4510195 fired transitions, 700 secs || 2727713 markings, 3035987 edges, 3436 markings/sec, 700 secs
lola: 5 tries, 4536293 fired transitions, 705 secs || 2744919 markings, 3053927 edges, 3441 markings/sec, 705 secs
lola: 5 tries, 4562424 fired transitions, 710 secs || 2762135 markings, 3071776 edges, 3443 markings/sec, 710 secs
lola: 5 tries, 4588492 fired transitions, 715 secs || 2779431 markings, 3089797 edges, 3459 markings/sec, 715 secs
lola: 5 tries, 4614494 fired transitions, 720 secs || 2796725 markings, 3107454 edges, 3459 markings/sec, 720 secs
lola: 5 tries, 4640492 fired transitions, 725 secs || 2814110 markings, 3125245 edges, 3477 markings/sec, 725 secs
lola: 5 tries, 4666551 fired transitions, 730 secs || 2831491 markings, 3143179 edges, 3476 markings/sec, 730 secs
lola: 5 tries, 4692646 fired transitions, 735 secs || 2848878 markings, 3161266 edges, 3477 markings/sec, 735 secs
lola: 5 tries, 4718750 fired transitions, 740 secs || 2866020 markings, 3178910 edges, 3428 markings/sec, 740 secs
lola: 5 tries, 4744960 fired transitions, 745 secs || 2883162 markings, 3196751 edges, 3428 markings/sec, 745 secs
lola: 5 tries, 4771155 fired transitions, 750 secs || 2900422 markings, 3214990 edges, 3452 markings/sec, 750 secs
lola: 5 tries, 4797045 fired transitions, 755 secs || 2917488 markings, 3232523 edges, 3413 markings/sec, 755 secs
lola: 5 tries, 4822811 fired transitions, 760 secs || 2934556 markings, 3250060 edges, 3414 markings/sec, 760 secs
lola: 5 tries, 4848746 fired transitions, 765 secs || 2951865 markings, 3268416 edges, 3462 markings/sec, 765 secs
lola: 5 tries, 4874595 fired transitions, 770 secs || 2968982 markings, 3286068 edges, 3423 markings/sec, 770 secs
lola: 5 tries, 4900559 fired transitions, 775 secs || 2986030 markings, 3303564 edges, 3410 markings/sec, 775 secs
lola: 5 tries, 4926500 fired transitions, 780 secs || 3003126 markings, 3320995 edges, 3419 markings/sec, 780 secs
lola: 5 tries, 4952646 fired transitions, 785 secs || 3020273 markings, 3338736 edges, 3429 markings/sec, 785 secs
lola: 5 tries, 4978868 fired transitions, 790 secs || 3037575 markings, 3357203 edges, 3460 markings/sec, 790 secs
lola: 6 tries, 5004960 fired transitions, 795 secs || 3054675 markings, 3374694 edges, 3420 markings/sec, 795 secs
lola: 6 tries, 5031040 fired transitions, 800 secs || 3072127 markings, 3394409 edges, 3490 markings/sec, 800 secs
lola: 6 tries, 5057259 fired transitions, 805 secs || 3089926 markings, 3415517 edges, 3560 markings/sec, 805 secs
lola: 6 tries, 5083230 fired transitions, 810 secs || 3107152 markings, 3433861 edges, 3445 markings/sec, 810 secs
lola: 6 tries, 5109440 fired transitions, 815 secs || 3124687 markings, 3454390 edges, 3507 markings/sec, 815 secs
lola: 6 tries, 5135505 fired transitions, 820 secs || 3142534 markings, 3475408 edges, 3569 markings/sec, 820 secs
lola: 6 tries, 5163508 fired transitions, 825 secs || 3161144 markings, 3497080 edges, 3722 markings/sec, 825 secs
lola: 6 tries, 5194666 fired transitions, 830 secs || 3180957 markings, 3518512 edges, 3963 markings/sec, 830 secs
lola: 6 tries, 5225848 fired transitions, 835 secs || 3200641 markings, 3541323 edges, 3937 markings/sec, 835 secs
lola: 6 tries, 5256981 fired transitions, 840 secs || 3220432 markings, 3564318 edges, 3958 markings/sec, 840 secs
lola: 6 tries, 5288142 fired transitions, 845 secs || 3240184 markings, 3585978 edges, 3950 markings/sec, 845 secs
lola: 6 tries, 5319305 fired transitions, 850 secs || 3260023 markings, 3607327 edges, 3968 markings/sec, 850 secs
lola: 6 tries, 5350494 fired transitions, 855 secs || 3280077 markings, 3630867 edges, 4011 markings/sec, 855 secs
lola: 6 tries, 5381627 fired transitions, 860 secs || 3300145 markings, 3654449 edges, 4014 markings/sec, 860 secs
lola: 6 tries, 5412785 fired transitions, 865 secs || 3320255 markings, 3678125 edges, 4022 markings/sec, 865 secs
lola: 6 tries, 5444144 fired transitions, 870 secs || 3340196 markings, 3701467 edges, 3988 markings/sec, 870 secs
lola: 6 tries, 5474533 fired transitions, 875 secs || 3359518 markings, 3722879 edges, 3864 markings/sec, 875 secs
lola: 6 tries, 5500486 fired transitions, 880 secs || 3376825 markings, 3742847 edges, 3461 markings/sec, 880 secs
lola: 6 tries, 5526732 fired transitions, 885 secs || 3394557 markings, 3763547 edges, 3546 markings/sec, 885 secs
lola: 6 tries, 5553153 fired transitions, 890 secs || 3412065 markings, 3784019 edges, 3502 markings/sec, 890 secs
lola: 6 tries, 5579638 fired transitions, 895 secs || 3429365 markings, 3804298 edges, 3460 markings/sec, 895 secs
lola: 6 tries, 5605790 fired transitions, 900 secs || 3447272 markings, 3825451 edges, 3581 markings/sec, 900 secs
lola: 6 tries, 5631976 fired transitions, 905 secs || 3465319 markings, 3846784 edges, 3609 markings/sec, 905 secs
lola: 6 tries, 5658029 fired transitions, 910 secs || 3483258 markings, 3867997 edges, 3588 markings/sec, 910 secs
lola: 6 tries, 5684187 fired transitions, 915 secs || 3501188 markings, 3889164 edges, 3586 markings/sec, 915 secs
lola: 6 tries, 5710410 fired transitions, 920 secs || 3519185 markings, 3910468 edges, 3599 markings/sec, 920 secs
lola: 6 tries, 5736646 fired transitions, 925 secs || 3537067 markings, 3931510 edges, 3576 markings/sec, 925 secs
lola: 6 tries, 5762915 fired transitions, 930 secs || 3555038 markings, 3952708 edges, 3594 markings/sec, 930 secs
lola: 6 tries, 5789226 fired transitions, 935 secs || 3572837 markings, 3973573 edges, 3560 markings/sec, 935 secs
lola: 6 tries, 5815617 fired transitions, 940 secs || 3590817 markings, 3994795 edges, 3596 markings/sec, 940 secs
lola: 6 tries, 5841911 fired transitions, 945 secs || 3608704 markings, 4015888 edges, 3577 markings/sec, 945 secs
lola: 6 tries, 5868082 fired transitions, 950 secs || 3626507 markings, 4036840 edges, 3561 markings/sec, 950 secs
lola: 6 tries, 5894373 fired transitions, 955 secs || 3643877 markings, 4055670 edges, 3474 markings/sec, 955 secs
lola: 6 tries, 5920284 fired transitions, 960 secs || 3661281 markings, 4073999 edges, 3481 markings/sec, 960 secs
lola: 6 tries, 5946669 fired transitions, 965 secs || 3679228 markings, 4095236 edges, 3589 markings/sec, 965 secs
lola: 6 tries, 5973144 fired transitions, 970 secs || 3697059 markings, 4116263 edges, 3566 markings/sec, 970 secs
lola: 6 tries, 5999707 fired transitions, 975 secs || 3715004 markings, 4137524 edges, 3589 markings/sec, 975 secs
lola: 7 tries, 6027018 fired transitions, 980 secs || 3733177 markings, 4159166 edges, 3635 markings/sec, 980 secs
lola: 7 tries, 6054055 fired transitions, 985 secs || 3751207 markings, 4180529 edges, 3606 markings/sec, 985 secs
lola: 7 tries, 6081306 fired transitions, 990 secs || 3769252 markings, 4201946 edges, 3609 markings/sec, 990 secs
lola: 7 tries, 6108533 fired transitions, 995 secs || 3787311 markings, 4223402 edges, 3612 markings/sec, 995 secs
lola: 7 tries, 6135640 fired transitions, 1000 secs || 3805424 markings, 4244923 edges, 3623 markings/sec, 1000 secs
lola: 7 tries, 6162716 fired transitions, 1005 secs || 3823410 markings, 4266201 edges, 3597 markings/sec, 1005 secs
lola: 7 tries, 6190034 fired transitions, 1010 secs || 3841405 markings, 4287503 edges, 3599 markings/sec, 1010 secs
lola: 7 tries, 6217427 fired transitions, 1015 secs || 3859564 markings, 4309092 edges, 3632 markings/sec, 1015 secs
lola: 7 tries, 6244579 fired transitions, 1020 secs || 3877645 markings, 4330556 edges, 3616 markings/sec, 1020 secs
lola: 7 tries, 6271655 fired transitions, 1025 secs || 3895891 markings, 4352297 edges, 3649 markings/sec, 1025 secs
lola: 7 tries, 6298562 fired transitions, 1030 secs || 3914020 markings, 4373822 edges, 3626 markings/sec, 1030 secs
lola: 7 tries, 6325711 fired transitions, 1035 secs || 3932019 markings, 4395095 edges, 3600 markings/sec, 1035 secs
lola: 7 tries, 6352971 fired transitions, 1040 secs || 3950133 markings, 4416643 edges, 3623 markings/sec, 1040 secs
lola: 7 tries, 6380271 fired transitions, 1045 secs || 3968312 markings, 4438310 edges, 3636 markings/sec, 1045 secs
lola: 7 tries, 6407296 fired transitions, 1050 secs || 3986636 markings, 4460108 edges, 3665 markings/sec, 1050 secs
lola: 7 tries, 6434212 fired transitions, 1055 secs || 4004963 markings, 4481917 edges, 3665 markings/sec, 1055 secs
lola: 7 tries, 6461155 fired transitions, 1060 secs || 4023072 markings, 4503416 edges, 3622 markings/sec, 1060 secs
lola: 7 tries, 6488467 fired transitions, 1065 secs || 4041259 markings, 4525114 edges, 3637 markings/sec, 1065 secs
lola: 7 tries, 6514741 fired transitions, 1070 secs || 4058728 markings, 4543805 edges, 3494 markings/sec, 1070 secs
lola: 7 tries, 6541304 fired transitions, 1075 secs || 4076355 markings, 4564555 edges, 3525 markings/sec, 1075 secs
lola: 7 tries, 6567949 fired transitions, 1080 secs || 4094172 markings, 4585658 edges, 3563 markings/sec, 1080 secs
lola: 7 tries, 6594352 fired transitions, 1085 secs || 4111782 markings, 4606152 edges, 3522 markings/sec, 1085 secs
lola: 7 tries, 6620675 fired transitions, 1090 secs || 4129489 markings, 4627021 edges, 3541 markings/sec, 1090 secs
lola: 7 tries, 6646910 fired transitions, 1095 secs || 4147262 markings, 4648017 edges, 3555 markings/sec, 1095 secs
lola: 7 tries, 6673410 fired transitions, 1100 secs || 4164974 markings, 4668927 edges, 3542 markings/sec, 1100 secs
lola: 7 tries, 6699937 fired transitions, 1105 secs || 4182922 markings, 4690203 edges, 3590 markings/sec, 1105 secs
lola: 7 tries, 6726038 fired transitions, 1110 secs || 4200579 markings, 4709865 edges, 3531 markings/sec, 1110 secs
lola: 7 tries, 6752027 fired transitions, 1115 secs || 4217816 markings, 4728235 edges, 3447 markings/sec, 1115 secs
lola: 7 tries, 6778400 fired transitions, 1120 secs || 4235588 markings, 4748963 edges, 3554 markings/sec, 1120 secs
lola: 7 tries, 6804637 fired transitions, 1125 secs || 4253311 markings, 4769815 edges, 3545 markings/sec, 1125 secs
lola: 7 tries, 6831010 fired transitions, 1130 secs || 4271047 markings, 4790789 edges, 3547 markings/sec, 1130 secs
lola: 7 tries, 6857054 fired transitions, 1135 secs || 4288327 markings, 4809162 edges, 3456 markings/sec, 1135 secs
lola: 7 tries, 6883137 fired transitions, 1140 secs || 4305732 markings, 4828982 edges, 3481 markings/sec, 1140 secs
lola: 7 tries, 6908924 fired transitions, 1145 secs || 4322796 markings, 4846244 edges, 3413 markings/sec, 1145 secs
lola: 7 tries, 6934965 fired transitions, 1150 secs || 4340101 markings, 4864870 edges, 3461 markings/sec, 1150 secs
lola: 7 tries, 6961229 fired transitions, 1155 secs || 4357585 markings, 4885315 edges, 3497 markings/sec, 1155 secs
lola: 7 tries, 6987478 fired transitions, 1160 secs || 4375113 markings, 4905802 edges, 3506 markings/sec, 1160 secs
lola: 8 tries, 7014194 fired transitions, 1165 secs || 4392985 markings, 4926850 edges, 3574 markings/sec, 1165 secs
lola: 8 tries, 7041152 fired transitions, 1170 secs || 4410724 markings, 4947687 edges, 3548 markings/sec, 1170 secs
lola: 8 tries, 7068162 fired transitions, 1175 secs || 4428517 markings, 4968577 edges, 3559 markings/sec, 1175 secs
lola: 8 tries, 7095308 fired transitions, 1180 secs || 4446301 markings, 4989458 edges, 3557 markings/sec, 1180 secs
lola: 8 tries, 7122360 fired transitions, 1185 secs || 4464195 markings, 5010532 edges, 3579 markings/sec, 1185 secs
lola: 8 tries, 7149367 fired transitions, 1190 secs || 4482125 markings, 5031673 edges, 3586 markings/sec, 1190 secs
lola: 8 tries, 7176331 fired transitions, 1195 secs || 4500079 markings, 5052868 edges, 3591 markings/sec, 1195 secs
lola: 8 tries, 7203338 fired transitions, 1200 secs || 4517851 markings, 5073820 edges, 3554 markings/sec, 1200 secs
lola: 8 tries, 7230046 fired transitions, 1205 secs || 4535681 markings, 5094817 edges, 3566 markings/sec, 1205 secs
lola: 8 tries, 7255916 fired transitions, 1210 secs || 4553035 markings, 5113116 edges, 3471 markings/sec, 1210 secs
lola: 8 tries, 7281762 fired transitions, 1215 secs || 4570089 markings, 5130387 edges, 3411 markings/sec, 1215 secs
lola: 8 tries, 7308021 fired transitions, 1220 secs || 4586940 markings, 5148726 edges, 3370 markings/sec, 1220 secs
lola: 8 tries, 7334503 fired transitions, 1225 secs || 4604234 markings, 5168839 edges, 3459 markings/sec, 1225 secs
lola: 8 tries, 7360749 fired transitions, 1230 secs || 4621753 markings, 5189432 edges, 3504 markings/sec, 1230 secs
lola: 8 tries, 7386868 fired transitions, 1235 secs || 4639382 markings, 5210167 edges, 3526 markings/sec, 1235 secs
lola: 8 tries, 7412966 fired transitions, 1240 secs || 4657028 markings, 5230918 edges, 3529 markings/sec, 1240 secs
lola: 8 tries, 7438732 fired transitions, 1245 secs || 4674536 markings, 5250282 edges, 3502 markings/sec, 1245 secs
lola: 8 tries, 7464417 fired transitions, 1250 secs || 4691791 markings, 5268063 edges, 3451 markings/sec, 1250 secs
lola: 8 tries, 7489872 fired transitions, 1255 secs || 4709080 markings, 5285830 edges, 3458 markings/sec, 1255 secs
lola: 8 tries, 7515792 fired transitions, 1260 secs || 4726816 markings, 5306036 edges, 3547 markings/sec, 1260 secs
lola: 8 tries, 7542267 fired transitions, 1265 secs || 4744610 markings, 5327084 edges, 3559 markings/sec, 1265 secs
lola: 8 tries, 7568891 fired transitions, 1270 secs || 4762478 markings, 5348275 edges, 3574 markings/sec, 1270 secs
lola: 8 tries, 7594826 fired transitions, 1275 secs || 4780001 markings, 5367512 edges, 3505 markings/sec, 1275 secs
lola: 8 tries, 7620921 fired transitions, 1280 secs || 4797319 markings, 5385839 edges, 3464 markings/sec, 1280 secs
lola: 8 tries, 7647179 fired transitions, 1285 secs || 4814802 markings, 5405288 edges, 3497 markings/sec, 1285 secs
lola: 8 tries, 7673685 fired transitions, 1290 secs || 4832843 markings, 5426709 edges, 3608 markings/sec, 1290 secs
lola: 8 tries, 7700088 fired transitions, 1295 secs || 4850656 markings, 5447056 edges, 3563 markings/sec, 1295 secs
lola: 8 tries, 7726536 fired transitions, 1300 secs || 4868389 markings, 5467878 edges, 3547 markings/sec, 1300 secs
lola: 8 tries, 7753039 fired transitions, 1305 secs || 4886244 markings, 5488958 edges, 3571 markings/sec, 1305 secs
lola: 8 tries, 7779372 fired transitions, 1310 secs || 4904177 markings, 5510233 edges, 3587 markings/sec, 1310 secs
lola: 8 tries, 7805380 fired transitions, 1315 secs || 4921462 markings, 5528565 edges, 3457 markings/sec, 1315 secs
lola: 8 tries, 7831529 fired transitions, 1320 secs || 4938905 markings, 5548243 edges, 3489 markings/sec, 1320 secs
lola: 8 tries, 7857953 fired transitions, 1325 secs || 4956730 markings, 5569297 edges, 3565 markings/sec, 1325 secs
lola: 8 tries, 7884355 fired transitions, 1330 secs || 4974442 markings, 5590141 edges, 3542 markings/sec, 1330 secs
lola: 8 tries, 7910817 fired transitions, 1335 secs || 4992318 markings, 5611275 edges, 3575 markings/sec, 1335 secs
lola: 8 tries, 7937250 fired transitions, 1340 secs || 5009922 markings, 5631958 edges, 3521 markings/sec, 1340 secs
lola: 8 tries, 7963656 fired transitions, 1345 secs || 5027551 markings, 5652772 edges, 3526 markings/sec, 1345 secs
lola: 8 tries, 7990044 fired transitions, 1350 secs || 5045326 markings, 5673860 edges, 3555 markings/sec, 1350 secs
lola: 9 tries, 8016775 fired transitions, 1355 secs || 5063055 markings, 5694856 edges, 3546 markings/sec, 1355 secs
lola: 9 tries, 8043773 fired transitions, 1360 secs || 5080893 markings, 5716033 edges, 3568 markings/sec, 1360 secs
lola: 9 tries, 8071066 fired transitions, 1365 secs || 5098704 markings, 5737150 edges, 3562 markings/sec, 1365 secs
lola: 9 tries, 8098366 fired transitions, 1370 secs || 5116455 markings, 5758180 edges, 3550 markings/sec, 1370 secs
lola: 9 tries, 8125844 fired transitions, 1375 secs || 5134429 markings, 5779591 edges, 3595 markings/sec, 1375 secs
lola: 9 tries, 8153249 fired transitions, 1380 secs || 5152345 markings, 5800891 edges, 3583 markings/sec, 1380 secs
lola: 9 tries, 8180609 fired transitions, 1385 secs || 5170228 markings, 5822071 edges, 3577 markings/sec, 1385 secs
lola: 9 tries, 8207996 fired transitions, 1390 secs || 5188295 markings, 5843566 edges, 3613 markings/sec, 1390 secs
lola: 9 tries, 8235226 fired transitions, 1395 secs || 5206399 markings, 5865145 edges, 3621 markings/sec, 1395 secs
lola: 9 tries, 8262832 fired transitions, 1400 secs || 5224521 markings, 5886650 edges, 3624 markings/sec, 1400 secs
lola: 9 tries, 8293700 fired transitions, 1405 secs || 5244788 markings, 5910698 edges, 4053 markings/sec, 1405 secs
lola: 9 tries, 8324664 fired transitions, 1410 secs || 5265141 markings, 5934910 edges, 4071 markings/sec, 1410 secs
lola: 9 tries, 8355710 fired transitions, 1415 secs || 5285529 markings, 5959170 edges, 4078 markings/sec, 1415 secs
lola: 9 tries, 8386817 fired transitions, 1420 secs || 5305823 markings, 5983228 edges, 4059 markings/sec, 1420 secs
lola: 9 tries, 8418014 fired transitions, 1425 secs || 5326241 markings, 6007516 edges, 4084 markings/sec, 1425 secs
lola: 9 tries, 8449217 fired transitions, 1430 secs || 5346537 markings, 6031549 edges, 4059 markings/sec, 1430 secs
lola: 9 tries, 8480414 fired transitions, 1435 secs || 5366721 markings, 6054852 edges, 4037 markings/sec, 1435 secs
lola: 9 tries, 8511608 fired transitions, 1440 secs || 5386852 markings, 6078527 edges, 4026 markings/sec, 1440 secs
lola: 9 tries, 8542808 fired transitions, 1445 secs || 5407130 markings, 6102497 edges, 4056 markings/sec, 1445 secs
lola: 9 tries, 8574432 fired transitions, 1450 secs || 5427422 markings, 6126482 edges, 4058 markings/sec, 1450 secs
lola: 9 tries, 8606209 fired transitions, 1455 secs || 5447784 markings, 6150628 edges, 4072 markings/sec, 1455 secs
lola: 9 tries, 8637910 fired transitions, 1460 secs || 5468122 markings, 6174724 edges, 4068 markings/sec, 1460 secs
lola: 9 tries, 8669693 fired transitions, 1465 secs || 5488504 markings, 6198913 edges, 4076 markings/sec, 1465 secs
lola: 9 tries, 8701430 fired transitions, 1470 secs || 5508950 markings, 6223217 edges, 4089 markings/sec, 1470 secs
lola: 9 tries, 8733160 fired transitions, 1475 secs || 5529313 markings, 6247366 edges, 4073 markings/sec, 1475 secs
lola: 9 tries, 8764932 fired transitions, 1480 secs || 5549702 markings, 6271562 edges, 4078 markings/sec, 1480 secs
lola: 9 tries, 8796663 fired transitions, 1485 secs || 5570148 markings, 6295865 edges, 4089 markings/sec, 1485 secs
lola: 9 tries, 8828434 fired transitions, 1490 secs || 5590638 markings, 6320271 edges, 4098 markings/sec, 1490 secs
lola: 9 tries, 8860150 fired transitions, 1495 secs || 5611155 markings, 6344741 edges, 4103 markings/sec, 1495 secs
lola: 9 tries, 8891833 fired transitions, 1500 secs || 5631606 markings, 6369002 edges, 4090 markings/sec, 1500 secs
lola: 9 tries, 8922886 fired transitions, 1505 secs || 5651427 markings, 6390303 edges, 3964 markings/sec, 1505 secs
lola: 9 tries, 8954077 fired transitions, 1510 secs || 5671232 markings, 6412413 edges, 3961 markings/sec, 1510 secs
lola: 9 tries, 8985238 fired transitions, 1515 secs || 5691272 markings, 6435981 edges, 4008 markings/sec, 1515 secs
lola: 10 tries, 9016666 fired transitions, 1520 secs || 5711466 markings, 6459834 edges, 4039 markings/sec, 1520 secs
lola: 10 tries, 9048340 fired transitions, 1525 secs || 5731537 markings, 6483468 edges, 4014 markings/sec, 1525 secs
lola: 10 tries, 9080032 fired transitions, 1530 secs || 5751580 markings, 6507021 edges, 4009 markings/sec, 1530 secs
lola: 10 tries, 9111806 fired transitions, 1535 secs || 5771699 markings, 6530673 edges, 4024 markings/sec, 1535 secs
lola: 10 tries, 9143513 fired transitions, 1540 secs || 5791895 markings, 6554514 edges, 4039 markings/sec, 1540 secs
lola: 10 tries, 9175208 fired transitions, 1545 secs || 5812042 markings, 6578268 edges, 4029 markings/sec, 1545 secs
lola: 10 tries, 9206882 fired transitions, 1550 secs || 5832265 markings, 6602206 edges, 4045 markings/sec, 1550 secs
lola: 10 tries, 9238659 fired transitions, 1555 secs || 5852501 markings, 6626114 edges, 4047 markings/sec, 1555 secs
lola: 10 tries, 9270345 fired transitions, 1560 secs || 5872774 markings, 6650139 edges, 4055 markings/sec, 1560 secs
lola: 10 tries, 9302064 fired transitions, 1565 secs || 5892971 markings, 6673988 edges, 4039 markings/sec, 1565 secs
lola: 10 tries, 9333789 fired transitions, 1570 secs || 5913078 markings, 6697704 edges, 4021 markings/sec, 1570 secs
lola: 10 tries, 9365566 fired transitions, 1575 secs || 5933594 markings, 6722217 edges, 4103 markings/sec, 1575 secs
lola: 10 tries, 9397300 fired transitions, 1580 secs || 5953910 markings, 6746296 edges, 4063 markings/sec, 1580 secs
lola: 10 tries, 9428790 fired transitions, 1585 secs || 5973877 markings, 6769980 edges, 3993 markings/sec, 1585 secs
lola: 10 tries, 9460497 fired transitions, 1590 secs || 5994151 markings, 6794013 edges, 4055 markings/sec, 1590 secs
lola: 10 tries, 9492241 fired transitions, 1595 secs || 6014412 markings, 6818022 edges, 4052 markings/sec, 1595 secs
lola: 10 tries, 9523936 fired transitions, 1600 secs || 6033965 markings, 6841206 edges, 3911 markings/sec, 1600 secs
lola: 10 tries, 9555335 fired transitions, 1605 secs || 6053390 markings, 6864233 edges, 3885 markings/sec, 1605 secs
lola: 10 tries, 9585865 fired transitions, 1610 secs || 6069459 markings, 6883277 edges, 3214 markings/sec, 1610 secs
lola: 10 tries, 9616349 fired transitions, 1615 secs || 6085434 markings, 6902145 edges, 3195 markings/sec, 1615 secs
lola: 10 tries, 9646964 fired transitions, 1620 secs || 6101811 markings, 6921582 edges, 3275 markings/sec, 1620 secs
lola: 10 tries, 9674034 fired transitions, 1625 secs || 6118429 markings, 6941244 edges, 3324 markings/sec, 1625 secs
lola: 10 tries, 9706903 fired transitions, 1630 secs || 6136527 markings, 6962693 edges, 3620 markings/sec, 1630 secs
lola: 10 tries, 9742348 fired transitions, 1635 secs || 6155192 markings, 6984741 edges, 3733 markings/sec, 1635 secs
lola: 10 tries, 9777762 fired transitions, 1640 secs || 6173802 markings, 7006668 edges, 3722 markings/sec, 1640 secs
lola: 10 tries, 9813083 fired transitions, 1645 secs || 6192597 markings, 7028847 edges, 3759 markings/sec, 1645 secs
lola: 10 tries, 9848564 fired transitions, 1650 secs || 6212291 markings, 7052209 edges, 3939 markings/sec, 1650 secs
lola: 10 tries, 9883990 fired transitions, 1655 secs || 6231931 markings, 7075448 edges, 3928 markings/sec, 1655 secs
lola: 10 tries, 9919456 fired transitions, 1660 secs || 6251398 markings, 7098445 edges, 3893 markings/sec, 1660 secs
lola: 10 tries, 9954885 fired transitions, 1665 secs || 6270943 markings, 7121508 edges, 3909 markings/sec, 1665 secs
lola: 10 tries, 9990363 fired transitions, 1670 secs || 6290729 markings, 7144875 edges, 3957 markings/sec, 1670 secs
lola: 11 tries, 10025144 fired transitions, 1675 secs || 6310897 markings, 7167041 edges, 4034 markings/sec, 1675 secs
lola: 11 tries, 10060163 fired transitions, 1680 secs || 6330807 markings, 7188343 edges, 3982 markings/sec, 1680 secs
lola: 11 tries, 10094744 fired transitions, 1685 secs || 6350857 markings, 7209187 edges, 4010 markings/sec, 1685 secs
lola: 11 tries, 10129914 fired transitions, 1690 secs || 6370930 markings, 7230599 edges, 4015 markings/sec, 1690 secs
lola: 11 tries, 10164782 fired transitions, 1695 secs || 6390621 markings, 7250926 edges, 3938 markings/sec, 1695 secs
lola: 11 tries, 10199333 fired transitions, 1700 secs || 6410562 markings, 7271257 edges, 3988 markings/sec, 1700 secs
lola: 11 tries, 10234231 fired transitions, 1705 secs || 6430421 markings, 7291559 edges, 3972 markings/sec, 1705 secs
lola: 11 tries, 10268960 fired transitions, 1710 secs || 6450227 markings, 7311605 edges, 3961 markings/sec, 1710 secs
lola: 11 tries, 10303535 fired transitions, 1715 secs || 6470116 markings, 7332003 edges, 3978 markings/sec, 1715 secs
lola: 11 tries, 10337836 fired transitions, 1720 secs || 6490072 markings, 7352456 edges, 3991 markings/sec, 1720 secs
lola: 11 tries, 10372655 fired transitions, 1725 secs || 6509769 markings, 7372624 edges, 3939 markings/sec, 1725 secs
lola: 11 tries, 10407502 fired transitions, 1730 secs || 6529402 markings, 7392780 edges, 3927 markings/sec, 1730 secs
lola: 11 tries, 10442418 fired transitions, 1735 secs || 6549175 markings, 7413145 edges, 3955 markings/sec, 1735 secs
lola: 11 tries, 10477214 fired transitions, 1740 secs || 6568942 markings, 7433729 edges, 3953 markings/sec, 1740 secs
lola: 11 tries, 10512127 fired transitions, 1745 secs || 6588682 markings, 7454481 edges, 3948 markings/sec, 1745 secs
lola: 11 tries, 10547167 fired transitions, 1750 secs || 6608279 markings, 7475179 edges, 3919 markings/sec, 1750 secs
lola: 11 tries, 10581890 fired transitions, 1755 secs || 6628141 markings, 7496154 edges, 3972 markings/sec, 1755 secs
lola: 11 tries, 10616815 fired transitions, 1760 secs || 6647584 markings, 7516385 edges, 3889 markings/sec, 1760 secs
lola: 11 tries, 10651777 fired transitions, 1765 secs || 6667582 markings, 7537492 edges, 4000 markings/sec, 1765 secs
lola: 11 tries, 10686747 fired transitions, 1770 secs || 6687076 markings, 7557931 edges, 3899 markings/sec, 1770 secs
lola: 11 tries, 10721902 fired transitions, 1775 secs || 6705471 markings, 7577295 edges, 3679 markings/sec, 1775 secs
lola: 11 tries, 10757078 fired transitions, 1780 secs || 6723888 markings, 7596909 edges, 3683 markings/sec, 1780 secs
lola: 11 tries, 10792260 fired transitions, 1785 secs || 6742334 markings, 7616300 edges, 3689 markings/sec, 1785 secs
lola: 11 tries, 10827436 fired transitions, 1790 secs || 6760998 markings, 7636545 edges, 3733 markings/sec, 1790 secs
lola: 11 tries, 10862563 fired transitions, 1795 secs || 6779484 markings, 7656312 edges, 3697 markings/sec, 1795 secs
lola: 11 tries, 10897745 fired transitions, 1800 secs || 6797904 markings, 7675698 edges, 3684 markings/sec, 1800 secs
lola: 11 tries, 10932924 fired transitions, 1805 secs || 6816283 markings, 7694986 edges, 3676 markings/sec, 1805 secs
lola: 11 tries, 10968100 fired transitions, 1810 secs || 6834849 markings, 7715000 edges, 3713 markings/sec, 1810 secs
lola: 12 tries, 11003285 fired transitions, 1815 secs || 6853351 markings, 7734829 edges, 3700 markings/sec, 1815 secs
lola: 12 tries, 11038512 fired transitions, 1820 secs || 6871726 markings, 7753921 edges, 3675 markings/sec, 1820 secs
lola: 12 tries, 11073612 fired transitions, 1825 secs || 6889826 markings, 7772557 edges, 3620 markings/sec, 1825 secs
lola: 12 tries, 11108788 fired transitions, 1830 secs || 6908255 markings, 7791912 edges, 3686 markings/sec, 1830 secs
lola: 12 tries, 11143952 fired transitions, 1835 secs || 6926768 markings, 7811605 edges, 3703 markings/sec, 1835 secs
lola: 12 tries, 11179119 fired transitions, 1840 secs || 6945228 markings, 7831041 edges, 3692 markings/sec, 1840 secs
lola: 12 tries, 11214255 fired transitions, 1845 secs || 6963755 markings, 7850970 edges, 3705 markings/sec, 1845 secs
lola: 12 tries, 11249431 fired transitions, 1850 secs || 6982262 markings, 7870806 edges, 3701 markings/sec, 1850 secs
lola: 12 tries, 11284604 fired transitions, 1855 secs || 7000658 markings, 7890172 edges, 3679 markings/sec, 1855 secs
lola: 12 tries, 11319783 fired transitions, 1860 secs || 7019280 markings, 7910503 edges, 3724 markings/sec, 1860 secs
lola: 12 tries, 11354959 fired transitions, 1865 secs || 7037667 markings, 7929757 edges, 3677 markings/sec, 1865 secs
lola: 12 tries, 11390071 fired transitions, 1870 secs || 7056235 markings, 7949695 edges, 3714 markings/sec, 1870 secs
lola: 12 tries, 11425244 fired transitions, 1875 secs || 7074727 markings, 7969500 edges, 3698 markings/sec, 1875 secs
lola: 12 tries, 11460429 fired transitions, 1880 secs || 7093264 markings, 7989319 edges, 3707 markings/sec, 1880 secs
lola: 12 tries, 11495605 fired transitions, 1885 secs || 7111682 markings, 8008806 edges, 3684 markings/sec, 1885 secs
lola: 12 tries, 11530699 fired transitions, 1890 secs || 7130028 markings, 8027958 edges, 3669 markings/sec, 1890 secs
lola: 12 tries, 11565893 fired transitions, 1895 secs || 7148599 markings, 8047964 edges, 3714 markings/sec, 1895 secs
lola: 12 tries, 11601039 fired transitions, 1900 secs || 7167100 markings, 8067754 edges, 3700 markings/sec, 1900 secs
lola: 12 tries, 11636181 fired transitions, 1905 secs || 7185568 markings, 8087423 edges, 3694 markings/sec, 1905 secs
lola: 12 tries, 11671357 fired transitions, 1910 secs || 7204073 markings, 8107029 edges, 3701 markings/sec, 1910 secs
lola: 12 tries, 11706500 fired transitions, 1915 secs || 7222551 markings, 8126650 edges, 3696 markings/sec, 1915 secs
lola: 12 tries, 11741682 fired transitions, 1920 secs || 7241035 markings, 8146219 edges, 3697 markings/sec, 1920 secs
lola: 12 tries, 11776818 fired transitions, 1925 secs || 7259556 markings, 8165775 edges, 3704 markings/sec, 1925 secs
lola: 12 tries, 11811985 fired transitions, 1930 secs || 7278019 markings, 8185208 edges, 3693 markings/sec, 1930 secs
lola: 12 tries, 11847167 fired transitions, 1935 secs || 7296428 markings, 8204683 edges, 3682 markings/sec, 1935 secs
lola: 12 tries, 11882340 fired transitions, 1940 secs || 7314821 markings, 8224011 edges, 3679 markings/sec, 1940 secs
lola: 12 tries, 11917522 fired transitions, 1945 secs || 7333260 markings, 8243801 edges, 3688 markings/sec, 1945 secs
lola: 12 tries, 11952655 fired transitions, 1950 secs || 7351771 markings, 8263541 edges, 3702 markings/sec, 1950 secs
lola: 12 tries, 11987825 fired transitions, 1955 secs || 7370201 markings, 8283115 edges, 3686 markings/sec, 1955 secs
lola: 13 tries, 12022868 fired transitions, 1960 secs || 7388499 markings, 8302275 edges, 3660 markings/sec, 1960 secs
lola: 13 tries, 12057615 fired transitions, 1965 secs || 7406669 markings, 8321072 edges, 3634 markings/sec, 1965 secs
lola: 13 tries, 12092422 fired transitions, 1970 secs || 7425230 markings, 8342807 edges, 3712 markings/sec, 1970 secs
lola: 13 tries, 12127194 fired transitions, 1975 secs || 7443945 markings, 8364909 edges, 3743 markings/sec, 1975 secs
lola: 13 tries, 12162014 fired transitions, 1980 secs || 7462653 markings, 8387004 edges, 3742 markings/sec, 1980 secs
lola: 13 tries, 12196773 fired transitions, 1985 secs || 7481361 markings, 8409114 edges, 3742 markings/sec, 1985 secs
lola: 13 tries, 12231520 fired transitions, 1990 secs || 7499959 markings, 8430928 edges, 3720 markings/sec, 1990 secs
lola: 13 tries, 12266246 fired transitions, 1995 secs || 7518645 markings, 8453011 edges, 3737 markings/sec, 1995 secs
lola: 13 tries, 12301066 fired transitions, 2000 secs || 7537378 markings, 8475163 edges, 3747 markings/sec, 2000 secs
lola: 13 tries, 12335822 fired transitions, 2005 secs || 7555980 markings, 8497054 edges, 3720 markings/sec, 2005 secs
lola: 13 tries, 12370581 fired transitions, 2010 secs || 7574559 markings, 8518900 edges, 3716 markings/sec, 2010 secs
lola: 13 tries, 12405398 fired transitions, 2015 secs || 7593314 markings, 8541076 edges, 3751 markings/sec, 2015 secs
lola: 13 tries, 12440289 fired transitions, 2020 secs || 7612096 markings, 8563308 edges, 3756 markings/sec, 2020 secs
lola: 13 tries, 12475688 fired transitions, 2025 secs || 7630786 markings, 8585356 edges, 3738 markings/sec, 2025 secs
lola: 13 tries, 12511130 fired transitions, 2030 secs || 7649640 markings, 8607722 edges, 3771 markings/sec, 2030 secs
lola: 13 tries, 12546538 fired transitions, 2035 secs || 7668307 markings, 8629721 edges, 3733 markings/sec, 2035 secs
lola: 13 tries, 12581735 fired transitions, 2040 secs || 7686849 markings, 8651566 edges, 3708 markings/sec, 2040 secs
lola: 13 tries, 12617134 fired transitions, 2045 secs || 7705571 markings, 8673675 edges, 3744 markings/sec, 2045 secs
lola: 13 tries, 12652576 fired transitions, 2050 secs || 7724399 markings, 8695984 edges, 3766 markings/sec, 2050 secs
lola: 13 tries, 12687984 fired transitions, 2055 secs || 7743267 markings, 8718382 edges, 3774 markings/sec, 2055 secs
lola: 13 tries, 12723080 fired transitions, 2060 secs || 7762782 markings, 8741533 edges, 3903 markings/sec, 2060 secs
lola: 13 tries, 12756745 fired transitions, 2065 secs || 7783124 markings, 8765746 edges, 4068 markings/sec, 2065 secs
lola: 13 tries, 12790550 fired transitions, 2070 secs || 7803369 markings, 8789852 edges, 4049 markings/sec, 2070 secs
lola: 13 tries, 12826004 fired transitions, 2075 secs || 7823562 markings, 8813951 edges, 4039 markings/sec, 2075 secs
lola: 13 tries, 12861421 fired transitions, 2080 secs || 7843629 markings, 8837800 edges, 4013 markings/sec, 2080 secs
lola: 13 tries, 12896829 fired transitions, 2085 secs || 7862409 markings, 8859989 edges, 3756 markings/sec, 2085 secs
lola: 13 tries, 12932274 fired transitions, 2090 secs || 7881283 markings, 8882368 edges, 3775 markings/sec, 2090 secs
lola: 13 tries, 12967969 fired transitions, 2095 secs || 7900384 markings, 8905060 edges, 3820 markings/sec, 2095 secs
lola: 14 tries, 13003534 fired transitions, 2100 secs || 7919404 markings, 8927635 edges, 3804 markings/sec, 2100 secs
lola: 14 tries, 13038915 fired transitions, 2105 secs || 7938299 markings, 8950051 edges, 3779 markings/sec, 2105 secs
lola: 14 tries, 13074327 fired transitions, 2110 secs || 7957200 markings, 8972485 edges, 3780 markings/sec, 2110 secs
lola: 14 tries, 13109753 fired transitions, 2115 secs || 7976120 markings, 8994949 edges, 3784 markings/sec, 2115 secs
lola: 14 tries, 13145203 fired transitions, 2120 secs || 7995102 markings, 9017548 edges, 3796 markings/sec, 2120 secs
lola: 14 tries, 13180615 fired transitions, 2125 secs || 8013809 markings, 9039605 edges, 3741 markings/sec, 2125 secs
lola: 14 tries, 13216014 fired transitions, 2130 secs || 8032534 markings, 9061696 edges, 3745 markings/sec, 2130 secs
lola: 14 tries, 13251356 fired transitions, 2135 secs || 8051328 markings, 9083952 edges, 3759 markings/sec, 2135 secs
lola: 14 tries, 13286755 fired transitions, 2140 secs || 8070033 markings, 9106006 edges, 3741 markings/sec, 2140 secs
lola: 14 tries, 13322170 fired transitions, 2145 secs || 8088901 markings, 9128398 edges, 3774 markings/sec, 2145 secs
lola: 14 tries, 13357575 fired transitions, 2150 secs || 8107840 markings, 9150924 edges, 3788 markings/sec, 2150 secs
lola: 14 tries, 13385590 fired transitions, 2155 secs || 8124929 markings, 9171232 edges, 3418 markings/sec, 2155 secs
lola: 14 tries, 13412497 fired transitions, 2160 secs || 8141751 markings, 9191252 edges, 3364 markings/sec, 2160 secs
lola: 14 tries, 13439507 fired transitions, 2165 secs || 8158569 markings, 9211243 edges, 3364 markings/sec, 2165 secs
lola: 14 tries, 13473065 fired transitions, 2170 secs || 8177117 markings, 9233327 edges, 3710 markings/sec, 2170 secs
lola: 14 tries, 13508470 fired transitions, 2175 secs || 8196195 markings, 9256087 edges, 3816 markings/sec, 2175 secs
lola: 14 tries, 13543930 fired transitions, 2180 secs || 8215179 markings, 9278674 edges, 3797 markings/sec, 2180 secs
lola: 14 tries, 13576663 fired transitions, 2185 secs || 8232599 markings, 9299387 edges, 3484 markings/sec, 2185 secs
lola: 14 tries, 13611293 fired transitions, 2190 secs || 8250971 markings, 9321232 edges, 3674 markings/sec, 2190 secs
lola: 14 tries, 13646701 fired transitions, 2195 secs || 8269991 markings, 9343912 edges, 3804 markings/sec, 2195 secs
lola: 14 tries, 13682082 fired transitions, 2200 secs || 8289087 markings, 9366745 edges, 3819 markings/sec, 2200 secs
lola: 14 tries, 13716275 fired transitions, 2205 secs || 8307890 markings, 9389203 edges, 3761 markings/sec, 2205 secs
lola: 14 tries, 13743181 fired transitions, 2210 secs || 8324854 markings, 9409484 edges, 3393 markings/sec, 2210 secs
lola: 14 tries, 13772084 fired transitions, 2215 secs || 8342328 markings, 9430371 edges, 3495 markings/sec, 2215 secs
lola: 14 tries, 13799012 fired transitions, 2220 secs || 8359262 markings, 9450592 edges, 3387 markings/sec, 2220 secs
lola: 14 tries, 13825937 fired transitions, 2225 secs || 8376160 markings, 9470783 edges, 3380 markings/sec, 2225 secs
lola: 14 tries, 13852627 fired transitions, 2230 secs || 8392865 markings, 9490736 edges, 3341 markings/sec, 2230 secs
lola: 14 tries, 13879347 fired transitions, 2235 secs || 8409599 markings, 9510706 edges, 3347 markings/sec, 2235 secs
lola: 14 tries, 13906242 fired transitions, 2240 secs || 8426416 markings, 9530754 edges, 3363 markings/sec, 2240 secs
lola: 14 tries, 13936183 fired transitions, 2245 secs || 8442924 markings, 9550360 edges, 3302 markings/sec, 2245 secs
lola: 14 tries, 13966695 fired transitions, 2250 secs || 8459293 markings, 9569915 edges, 3274 markings/sec, 2250 secs
lola: 14 tries, 13995522 fired transitions, 2255 secs || 8475745 markings, 9589588 edges, 3290 markings/sec, 2255 secs
lola: 15 tries, 14022644 fired transitions, 2260 secs || 8492592 markings, 9609668 edges, 3369 markings/sec, 2260 secs
lola: 15 tries, 14049705 fired transitions, 2265 secs || 8509544 markings, 9629930 edges, 3390 markings/sec, 2265 secs
lola: 15 tries, 14076742 fired transitions, 2270 secs || 8526388 markings, 9649978 edges, 3369 markings/sec, 2270 secs
lola: 15 tries, 14103827 fired transitions, 2275 secs || 8543414 markings, 9670372 edges, 3405 markings/sec, 2275 secs
lola: 15 tries, 14132802 fired transitions, 2280 secs || 8560948 markings, 9691406 edges, 3507 markings/sec, 2280 secs
lola: 15 tries, 14159827 fired transitions, 2285 secs || 8577785 markings, 9711469 edges, 3367 markings/sec, 2285 secs
lola: 15 tries, 14186870 fired transitions, 2290 secs || 8594704 markings, 9731669 edges, 3384 markings/sec, 2290 secs
lola: 15 tries, 14213960 fired transitions, 2295 secs || 8612394 markings, 9752794 edges, 3538 markings/sec, 2295 secs
lola: 15 tries, 14241128 fired transitions, 2300 secs || 8630350 markings, 9774238 edges, 3591 markings/sec, 2300 secs
lola: 15 tries, 14268126 fired transitions, 2305 secs || 8648427 markings, 9795886 edges, 3615 markings/sec, 2305 secs
lola: 15 tries, 14295163 fired transitions, 2310 secs || 8666592 markings, 9817564 edges, 3633 markings/sec, 2310 secs
lola: 15 tries, 14321141 fired transitions, 2315 secs || 8683784 markings, 9835534 edges, 3438 markings/sec, 2315 secs
lola: 15 tries, 14347064 fired transitions, 2320 secs || 8701090 markings, 9854242 edges, 3461 markings/sec, 2320 secs
lola: 15 tries, 14373232 fired transitions, 2325 secs || 8718547 markings, 9873889 edges, 3491 markings/sec, 2325 secs
lola: 15 tries, 14400244 fired transitions, 2330 secs || 8736430 markings, 9895115 edges, 3577 markings/sec, 2330 secs
lola: 15 tries, 14427341 fired transitions, 2335 secs || 8754452 markings, 9916594 edges, 3604 markings/sec, 2335 secs
lola: 15 tries, 14454390 fired transitions, 2340 secs || 8772365 markings, 9937888 edges, 3583 markings/sec, 2340 secs
lola: 15 tries, 14481261 fired transitions, 2345 secs || 8790435 markings, 9959434 edges, 3614 markings/sec, 2345 secs
lola: 15 tries, 14508289 fired transitions, 2350 secs || 8808325 markings, 9980714 edges, 3578 markings/sec, 2350 secs
lola: 15 tries, 14534989 fired transitions, 2355 secs || 8826020 markings, 10000609 edges, 3539 markings/sec, 2355 secs
lola: 15 tries, 14560954 fired transitions, 2360 secs || 8843286 markings, 10019250 edges, 3453 markings/sec, 2360 secs
lola: 15 tries, 14587309 fired transitions, 2365 secs || 8861150 markings, 10040478 edges, 3573 markings/sec, 2365 secs
lola: 15 tries, 14613247 fired transitions, 2370 secs || 8878249 markings, 10058823 edges, 3420 markings/sec, 2370 secs
lola: 15 tries, 14639544 fired transitions, 2375 secs || 8895590 markings, 10079065 edges, 3468 markings/sec, 2375 secs
lola: 15 tries, 14665848 fired transitions, 2380 secs || 8913090 markings, 10099588 edges, 3500 markings/sec, 2380 secs
lola: 15 tries, 14692139 fired transitions, 2385 secs || 8930549 markings, 10120059 edges, 3492 markings/sec, 2385 secs
lola: 15 tries, 14718427 fired transitions, 2390 secs || 8947984 markings, 10140476 edges, 3487 markings/sec, 2390 secs
lola: 15 tries, 14744761 fired transitions, 2395 secs || 8965462 markings, 10160964 edges, 3496 markings/sec, 2395 secs
lola: 15 tries, 14770823 fired transitions, 2400 secs || 8982717 markings, 10179857 edges, 3451 markings/sec, 2400 secs
lola: 15 tries, 14796812 fired transitions, 2405 secs || 8999905 markings, 10197997 edges, 3438 markings/sec, 2405 secs
lola: 15 tries, 14824631 fired transitions, 2410 secs || 9016552 markings, 10216530 edges, 3329 markings/sec, 2410 secs
lola: 15 tries, 14854107 fired transitions, 2415 secs || 9031372 markings, 10233296 edges, 2964 markings/sec, 2415 secs
lola: 15 tries, 14883635 fired transitions, 2420 secs || 9046251 markings, 10250157 edges, 2976 markings/sec, 2420 secs
lola: 15 tries, 14913208 fired transitions, 2425 secs || 9061547 markings, 10267777 edges, 3059 markings/sec, 2425 secs
lola: 15 tries, 14942720 fired transitions, 2430 secs || 9076724 markings, 10285181 edges, 3035 markings/sec, 2430 secs
lola: 15 tries, 14972136 fired transitions, 2435 secs || 9091933 markings, 10302631 edges, 3042 markings/sec, 2435 secs
lola: 16 tries, 15001687 fired transitions, 2440 secs || 9107198 markings, 10320202 edges, 3053 markings/sec, 2440 secs
lola: 16 tries, 15032035 fired transitions, 2445 secs || 9122400 markings, 10337596 edges, 3040 markings/sec, 2445 secs
lola: 16 tries, 15062405 fired transitions, 2450 secs || 9138120 markings, 10355944 edges, 3144 markings/sec, 2450 secs
lola: 16 tries, 15092796 fired transitions, 2455 secs || 9153876 markings, 10374346 edges, 3151 markings/sec, 2455 secs
lola: 16 tries, 15123163 fired transitions, 2460 secs || 9169416 markings, 10392355 edges, 3108 markings/sec, 2460 secs
lola: 16 tries, 15153530 fired transitions, 2465 secs || 9184907 markings, 10410284 edges, 3098 markings/sec, 2465 secs
lola: 16 tries, 15183700 fired transitions, 2470 secs || 9200499 markings, 10428205 edges, 3118 markings/sec, 2470 secs
lola: 16 tries, 15215673 fired transitions, 2475 secs || 9216586 markings, 10446763 edges, 3217 markings/sec, 2475 secs
lola: 16 tries, 15245877 fired transitions, 2480 secs || 9232030 markings, 10464665 edges, 3089 markings/sec, 2480 secs
lola: 16 tries, 15276316 fired transitions, 2485 secs || 9247452 markings, 10482544 edges, 3084 markings/sec, 2485 secs
lola: 16 tries, 15308660 fired transitions, 2490 secs || 9264095 markings, 10501786 edges, 3329 markings/sec, 2490 secs
lola: 16 tries, 15344138 fired transitions, 2495 secs || 9283430 markings, 10524013 edges, 3867 markings/sec, 2495 secs
lola: 16 tries, 15379601 fired transitions, 2500 secs || 9303184 markings, 10546969 edges, 3951 markings/sec, 2500 secs
lola: 16 tries, 15415003 fired transitions, 2505 secs || 9322712 markings, 10569725 edges, 3906 markings/sec, 2505 secs
lola: 16 tries, 15448864 fired transitions, 2510 secs || 9340580 markings, 10590772 edges, 3574 markings/sec, 2510 secs
lola: 16 tries, 15479332 fired transitions, 2515 secs || 9356471 markings, 10609437 edges, 3178 markings/sec, 2515 secs
lola: 16 tries, 15509774 fired transitions, 2520 secs || 9372389 markings, 10628146 edges, 3184 markings/sec, 2520 secs
lola: 16 tries, 15540189 fired transitions, 2525 secs || 9387971 markings, 10646245 edges, 3116 markings/sec, 2525 secs
lola: 16 tries, 15570653 fired transitions, 2530 secs || 9403991 markings, 10665158 edges, 3204 markings/sec, 2530 secs
lola: 16 tries, 15601062 fired transitions, 2535 secs || 9419835 markings, 10683749 edges, 3169 markings/sec, 2535 secs
lola: 16 tries, 15631459 fired transitions, 2540 secs || 9435655 markings, 10702306 edges, 3164 markings/sec, 2540 secs
lola: 16 tries, 15661860 fired transitions, 2545 secs || 9451374 markings, 10720673 edges, 3144 markings/sec, 2545 secs
lola: 16 tries, 15692304 fired transitions, 2550 secs || 9467477 markings, 10739728 edges, 3221 markings/sec, 2550 secs
lola: 16 tries, 15722722 fired transitions, 2555 secs || 9483401 markings, 10758466 edges, 3185 markings/sec, 2555 secs
lola: 16 tries, 15753116 fired transitions, 2560 secs || 9499134 markings, 10776853 edges, 3147 markings/sec, 2560 secs
lola: 16 tries, 15783516 fired transitions, 2565 secs || 9515124 markings, 10795708 edges, 3198 markings/sec, 2565 secs
lola: 16 tries, 15810834 fired transitions, 2570 secs || 9532578 markings, 10816201 edges, 3491 markings/sec, 2570 secs
lola: 16 tries, 15837847 fired transitions, 2575 secs || 9550177 markings, 10836841 edges, 3520 markings/sec, 2575 secs
lola: 16 tries, 15867228 fired transitions, 2580 secs || 9568749 markings, 10858559 edges, 3714 markings/sec, 2580 secs
lola: 16 tries, 15895694 fired transitions, 2585 secs || 9585219 markings, 10877746 edges, 3294 markings/sec, 2585 secs
lola: 16 tries, 15923872 fired transitions, 2590 secs || 9601712 markings, 10897129 edges, 3299 markings/sec, 2590 secs
lola: 16 tries, 15951706 fired transitions, 2595 secs || 9618065 markings, 10916355 edges, 3271 markings/sec, 2595 secs
lola: 16 tries, 15979302 fired transitions, 2600 secs || 9633826 markings, 10934761 edges, 3152 markings/sec, 2600 secs
lola: 17 tries, 16006858 fired transitions, 2605 secs || 9649498 markings, 10952986 edges, 3134 markings/sec, 2605 secs
lola: 17 tries, 16035715 fired transitions, 2610 secs || 9665553 markings, 10971658 edges, 3211 markings/sec, 2610 secs
lola: 17 tries, 16063652 fired transitions, 2615 secs || 9682343 markings, 10991311 edges, 3358 markings/sec, 2615 secs
lola: 17 tries, 16090707 fired transitions, 2620 secs || 9699915 markings, 11011963 edges, 3514 markings/sec, 2620 secs
lola: 17 tries, 16117720 fired transitions, 2625 secs || 9717452 markings, 11032513 edges, 3507 markings/sec, 2625 secs
lola: 17 tries, 16144669 fired transitions, 2630 secs || 9734754 markings, 11052600 edges, 3460 markings/sec, 2630 secs
lola: 17 tries, 16171685 fired transitions, 2635 secs || 9752229 markings, 11073001 edges, 3495 markings/sec, 2635 secs
lola: 17 tries, 16198716 fired transitions, 2640 secs || 9769686 markings, 11093446 edges, 3491 markings/sec, 2640 secs
lola: 17 tries, 16225711 fired transitions, 2645 secs || 9787139 markings, 11113847 edges, 3491 markings/sec, 2645 secs
lola: 17 tries, 16252742 fired transitions, 2650 secs || 9804835 markings, 11134675 edges, 3539 markings/sec, 2650 secs
lola: 17 tries, 16279782 fired transitions, 2655 secs || 9822463 markings, 11155381 edges, 3526 markings/sec, 2655 secs
lola: 17 tries, 16306822 fired transitions, 2660 secs || 9839309 markings, 11175262 edges, 3369 markings/sec, 2660 secs
lola: 17 tries, 16333789 fired transitions, 2665 secs || 9856035 markings, 11195050 edges, 3345 markings/sec, 2665 secs
lola: 17 tries, 16360829 fired transitions, 2670 secs || 9872824 markings, 11214958 edges, 3358 markings/sec, 2670 secs
lola: 17 tries, 16388630 fired transitions, 2675 secs || 9889774 markings, 11234986 edges, 3390 markings/sec, 2675 secs
lola: 17 tries, 16421747 fired transitions, 2680 secs || 9908151 markings, 11256797 edges, 3675 markings/sec, 2680 secs
lola: 17 tries, 16448820 fired transitions, 2685 secs || 9926093 markings, 11278093 edges, 3588 markings/sec, 2685 secs
lola: 17 tries, 16475860 fired transitions, 2690 secs || 9943769 markings, 11298897 edges, 3535 markings/sec, 2690 secs
lola: 17 tries, 16503972 fired transitions, 2695 secs || 9960756 markings, 11318890 edges, 3397 markings/sec, 2695 secs
lola: 17 tries, 16533880 fired transitions, 2700 secs || 9978935 markings, 11340353 edges, 3636 markings/sec, 2700 secs
lola: 17 tries, 16561934 fired transitions, 2705 secs || 9995201 markings, 11359498 edges, 3253 markings/sec, 2705 secs
lola: 17 tries, 16589524 fired transitions, 2710 secs || 10011224 markings, 11378407 edges, 3205 markings/sec, 2710 secs
lola: 17 tries, 16619229 fired transitions, 2715 secs || 10027222 markings, 11397298 edges, 3200 markings/sec, 2715 secs
lola: 17 tries, 16649687 fired transitions, 2720 secs || 10042844 markings, 11415496 edges, 3124 markings/sec, 2720 secs
lola: 17 tries, 16680114 fired transitions, 2725 secs || 10058643 markings, 11433991 edges, 3160 markings/sec, 2725 secs
lola: 17 tries, 16710698 fired transitions, 2730 secs || 10074611 markings, 11452789 edges, 3194 markings/sec, 2730 secs
lola: 17 tries, 16741146 fired transitions, 2735 secs || 10090653 markings, 11471767 edges, 3208 markings/sec, 2735 secs
lola: 17 tries, 16771640 fired transitions, 2740 secs || 10106767 markings, 11490871 edges, 3223 markings/sec, 2740 secs
lola: 17 tries, 16802109 fired transitions, 2745 secs || 10123046 markings, 11510275 edges, 3256 markings/sec, 2745 secs
lola: 17 tries, 16832615 fired transitions, 2750 secs || 10139153 markings, 11529346 edges, 3221 markings/sec, 2750 secs
lola: 17 tries, 16863075 fired transitions, 2755 secs || 10155473 markings, 11548807 edges, 3264 markings/sec, 2755 secs
lola: 17 tries, 16893578 fired transitions, 2760 secs || 10171848 markings, 11568367 edges, 3275 markings/sec, 2760 secs
lola: 17 tries, 16924032 fired transitions, 2765 secs || 10188211 markings, 11587921 edges, 3273 markings/sec, 2765 secs
lola: 17 tries, 16954534 fired transitions, 2770 secs || 10204435 markings, 11607208 edges, 3245 markings/sec, 2770 secs
lola: 17 tries, 16984989 fired transitions, 2775 secs || 10220619 markings, 11626405 edges, 3237 markings/sec, 2775 secs
lola: 18 tries, 17015471 fired transitions, 2780 secs || 10236833 markings, 11645695 edges, 3243 markings/sec, 2780 secs
lola: 18 tries, 17045910 fired transitions, 2785 secs || 10253186 markings, 11665252 edges, 3271 markings/sec, 2785 secs
lola: 18 tries, 17076331 fired transitions, 2790 secs || 10269310 markings, 11684395 edges, 3225 markings/sec, 2790 secs
lola: 18 tries, 17106728 fired transitions, 2795 secs || 10285174 markings, 11703064 edges, 3173 markings/sec, 2795 secs
lola: 18 tries, 17137207 fired transitions, 2800 secs || 10301069 markings, 11721745 edges, 3179 markings/sec, 2800 secs
lola: 18 tries, 17167646 fired transitions, 2805 secs || 10317078 markings, 11740657 edges, 3202 markings/sec, 2805 secs
lola: 18 tries, 17197778 fired transitions, 2810 secs || 10333168 markings, 11759731 edges, 3218 markings/sec, 2810 secs
lola: 18 tries, 17227463 fired transitions, 2815 secs || 10349257 markings, 11778814 edges, 3218 markings/sec, 2815 secs
lola: 18 tries, 17257099 fired transitions, 2820 secs || 10365184 markings, 11797618 edges, 3185 markings/sec, 2820 secs
lola: 18 tries, 17289268 fired transitions, 2825 secs || 10381948 markings, 11817178 edges, 3353 markings/sec, 2825 secs
lola: 18 tries, 17324035 fired transitions, 2830 secs || 10400712 markings, 11839354 edges, 3753 markings/sec, 2830 secs
lola: 18 tries, 17358850 fired transitions, 2835 secs || 10419464 markings, 11861506 edges, 3750 markings/sec, 2835 secs
lola: 18 tries, 17393621 fired transitions, 2840 secs || 10438366 markings, 11883935 edges, 3780 markings/sec, 2840 secs
lola: 18 tries, 17428435 fired transitions, 2845 secs || 10457289 markings, 11906407 edges, 3785 markings/sec, 2845 secs
lola: 18 tries, 17463203 fired transitions, 2850 secs || 10476074 markings, 11928619 edges, 3757 markings/sec, 2850 secs
lola: 18 tries, 17498020 fired transitions, 2855 secs || 10494976 markings, 11951056 edges, 3780 markings/sec, 2855 secs
lola: 18 tries, 17532782 fired transitions, 2860 secs || 10513852 markings, 11973445 edges, 3775 markings/sec, 2860 secs
lola: 18 tries, 17567544 fired transitions, 2865 secs || 10532652 markings, 11995745 edges, 3760 markings/sec, 2865 secs
lola: 18 tries, 17602349 fired transitions, 2870 secs || 10551376 markings, 12017848 edges, 3745 markings/sec, 2870 secs
lola: 18 tries, 17637114 fired transitions, 2875 secs || 10569911 markings, 12039641 edges, 3707 markings/sec, 2875 secs
lola: 18 tries, 17671822 fired transitions, 2880 secs || 10588607 markings, 12061756 edges, 3739 markings/sec, 2880 secs
lola: 18 tries, 17706189 fired transitions, 2885 secs || 10607260 markings, 12083983 edges, 3731 markings/sec, 2885 secs
lola: 18 tries, 17739180 fired transitions, 2890 secs || 10625805 markings, 12106087 edges, 3709 markings/sec, 2890 secs
lola: 18 tries, 17773416 fired transitions, 2895 secs || 10644601 markings, 12128314 edges, 3759 markings/sec, 2895 secs
lola: 18 tries, 17808175 fired transitions, 2900 secs || 10663198 markings, 12150172 edges, 3719 markings/sec, 2900 secs
lola: 18 tries, 17842995 fired transitions, 2905 secs || 10682043 markings, 12172483 edges, 3769 markings/sec, 2905 secs
lola: 18 tries, 17877754 fired transitions, 2910 secs || 10700724 markings, 12194522 edges, 3736 markings/sec, 2910 secs
lola: 18 tries, 17912601 fired transitions, 2915 secs || 10719085 markings, 12216283 edges, 3672 markings/sec, 2915 secs
lola: 18 tries, 17947448 fired transitions, 2920 secs || 10737203 markings, 12237794 edges, 3624 markings/sec, 2920 secs
lola: 18 tries, 17982249 fired transitions, 2925 secs || 10755300 markings, 12259309 edges, 3619 markings/sec, 2925 secs
lola: 19 tries, 18007925 fired transitions, 2930 secs || 10768033 markings, 12274032 edges, 2547 markings/sec, 2930 secs
lola: 19 tries, 18010089 fired transitions, 2935 secs || 10768698 markings, 12274704 edges, 133 markings/sec, 2935 secs
lola: 19 tries, 18011995 fired transitions, 2940 secs || 10769827 markings, 12275846 edges, 226 markings/sec, 2940 secs
lola: 19 tries, 18013181 fired transitions, 2945 secs || 10770159 markings, 12276181 edges, 66 markings/sec, 2945 secs
lola: 19 tries, 18017802 fired transitions, 2950 secs || 10770700 markings, 12276736 edges, 108 markings/sec, 2950 secs
lola: 19 tries, 18030017 fired transitions, 2955 secs || 10778028 markings, 12284440 edges, 1466 markings/sec, 2955 secs
Killed
rslt: finished
BK_STOP 1552489594668
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 137 (ignored)
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="DatabaseWithMutex-COL-40"
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 DatabaseWithMutex-COL-40, 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 r049-oct2-155234405600795"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-COL-40.tgz
mv DatabaseWithMutex-COL-40 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 '
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 ;