About the Execution of LoLA for LamportFastMutEx-COL-5
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3705.150 | 3571206.00 | 7268333.00 | 527.30 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...................
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 2 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 41K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is LamportFastMutEx-COL-5, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r112-csrt-152666469000083
=====================================================================
--------------------
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 LamportFastMutEx-COL-5-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527012296634
info: Time: 3600 - MCC
===========================================================================================
prep: translating LamportFastMutEx-COL-5 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating LamportFastMutEx-COL-5 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking ReachabilityDeadlock @ LamportFastMutEx-COL-5 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 492/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 174
lola: finding significant places
lola: 174 places, 318 transitions, 124 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 452 transition conflict sets
lola: TASK
lola: reading formula from LamportFastMutEx-COL-5-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
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 deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 10 generators (7 in search tree, 3 by composition)
lola: representing 120 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 6050 variables and 24082 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 162752 fired transitions, 0 secs || 139813 markings, 376019 edges, 27963 markings/sec, 0 secs
lola: STP completed || 1 tries, 325784 fired transitions, 5 secs || 276208 markings, 773113 edges, 27279 markings/sec, 5 secs
lola: STP completed || 1 tries, 487954 fired transitions, 10 secs || 404054 markings, 1199544 edges, 25569 markings/sec, 10 secs
lola: STP completed || 1 tries, 661035 fired transitions, 15 secs || 524048 markings, 1586194 edges, 23999 markings/sec, 15 secs
lola: STP completed || 1 tries, 820403 fired transitions, 20 secs || 645476 markings, 1978511 edges, 24286 markings/sec, 20 secs
lola: STP completed || 1 tries, 990230 fired transitions, 25 secs || 761462 markings, 2356238 edges, 23197 markings/sec, 25 secs
lola: STP completed || 2 tries, 1159258 fired transitions, 30 secs || 882897 markings, 2762752 edges, 24287 markings/sec, 30 secs
lola: STP completed || 2 tries, 1308423 fired transitions, 35 secs || 993417 markings, 3133573 edges, 22104 markings/sec, 35 secs
lola: STP completed || 2 tries, 1438969 fired transitions, 40 secs || 1088287 markings, 3458238 edges, 18974 markings/sec, 40 secs
lola: STP completed || 2 tries, 1598708 fired transitions, 45 secs || 1208977 markings, 3872978 edges, 24138 markings/sec, 45 secs
lola: STP completed || 2 tries, 1770299 fired transitions, 50 secs || 1330391 markings, 4299306 edges, 24283 markings/sec, 50 secs
lola: STP completed || 2 tries, 1921098 fired transitions, 55 secs || 1437684 markings, 4674169 edges, 21459 markings/sec, 55 secs
lola: STP completed || 3 tries, 2089278 fired transitions, 60 secs || 1554139 markings, 5092226 edges, 23291 markings/sec, 60 secs
lola: STP completed || 3 tries, 2252195 fired transitions, 65 secs || 1670882 markings, 5509935 edges, 23349 markings/sec, 65 secs
lola: STP completed || 3 tries, 2417533 fired transitions, 70 secs || 1790984 markings, 5938572 edges, 24020 markings/sec, 70 secs
lola: STP completed || 3 tries, 2583810 fired transitions, 75 secs || 1909640 markings, 6372729 edges, 23731 markings/sec, 75 secs
lola: STP completed || 3 tries, 2746564 fired transitions, 80 secs || 2022918 markings, 6789255 edges, 22656 markings/sec, 80 secs
lola: STP completed || 3 tries, 2915550 fired transitions, 85 secs || 2142452 markings, 7220156 edges, 23907 markings/sec, 85 secs
lola: STP completed || 4 tries, 3061120 fired transitions, 90 secs || 2243321 markings, 7592798 edges, 20174 markings/sec, 90 secs
lola: STP completed || 4 tries, 3205868 fired transitions, 95 secs || 2347255 markings, 7969932 edges, 20787 markings/sec, 95 secs
lola: STP completed || 4 tries, 3332002 fired transitions, 100 secs || 2436252 markings, 8299049 edges, 17799 markings/sec, 100 secs
lola: STP completed || 4 tries, 3464795 fired transitions, 105 secs || 2528898 markings, 8643342 edges, 18529 markings/sec, 105 secs
lola: STP completed || 4 tries, 3601032 fired transitions, 110 secs || 2625035 markings, 9004915 edges, 19227 markings/sec, 110 secs
lola: STP completed || 4 tries, 3773593 fired transitions, 115 secs || 2751679 markings, 9487941 edges, 25329 markings/sec, 115 secs
lola: STP completed || 4 tries, 3946159 fired transitions, 120 secs || 2876854 markings, 9966492 edges, 25035 markings/sec, 120 secs
lola: STP completed || 5 tries, 4117151 fired transitions, 125 secs || 2999819 markings, 10434183 edges, 24593 markings/sec, 125 secs
lola: STP completed || 5 tries, 4265658 fired transitions, 130 secs || 3101981 markings, 10823002 edges, 20432 markings/sec, 130 secs
lola: STP completed || 5 tries, 4442088 fired transitions, 135 secs || 3226380 markings, 11301459 edges, 24880 markings/sec, 135 secs
lola: STP completed || 5 tries, 4614294 fired transitions, 140 secs || 3341038 markings, 11736478 edges, 22932 markings/sec, 140 secs
lola: STP completed || 5 tries, 4784656 fired transitions, 145 secs || 3452967 markings, 12183043 edges, 22386 markings/sec, 145 secs
lola: STP completed || 5 tries, 4955535 fired transitions, 150 secs || 3567713 markings, 12630145 edges, 22949 markings/sec, 150 secs
lola: STP completed || 6 tries, 5127225 fired transitions, 155 secs || 3681876 markings, 13079146 edges, 22833 markings/sec, 155 secs
lola: STP completed || 6 tries, 5302163 fired transitions, 160 secs || 3796794 markings, 13535099 edges, 22984 markings/sec, 160 secs
lola: STP completed || 6 tries, 5477397 fired transitions, 165 secs || 3911224 markings, 13980329 edges, 22886 markings/sec, 165 secs
lola: STP completed || 6 tries, 5660028 fired transitions, 170 secs || 4032351 markings, 14457112 edges, 24225 markings/sec, 170 secs
lola: STP completed || 6 tries, 5840938 fired transitions, 175 secs || 4150866 markings, 14930803 edges, 23703 markings/sec, 175 secs
lola: STP completed || 7 tries, 6025075 fired transitions, 180 secs || 4274503 markings, 15426108 edges, 24727 markings/sec, 180 secs
lola: STP completed || 7 tries, 6207559 fired transitions, 185 secs || 4396791 markings, 15914708 edges, 24458 markings/sec, 185 secs
lola: STP completed || 7 tries, 6392244 fired transitions, 190 secs || 4517138 markings, 16397189 edges, 24069 markings/sec, 190 secs
lola: STP completed || 7 tries, 6575383 fired transitions, 195 secs || 4636092 markings, 16878821 edges, 23791 markings/sec, 195 secs
lola: STP completed || 7 tries, 6750564 fired transitions, 200 secs || 4756201 markings, 17364734 edges, 24022 markings/sec, 200 secs
lola: STP completed || 7 tries, 6924827 fired transitions, 205 secs || 4876657 markings, 17846486 edges, 24091 markings/sec, 205 secs
lola: STP completed || 8 tries, 7097897 fired transitions, 210 secs || 4998467 markings, 18347113 edges, 24362 markings/sec, 210 secs
lola: STP completed || 8 tries, 7272822 fired transitions, 215 secs || 5120277 markings, 18837247 edges, 24362 markings/sec, 215 secs
lola: STP completed || 8 tries, 7447376 fired transitions, 220 secs || 5245907 markings, 19345306 edges, 25126 markings/sec, 220 secs
lola: STP completed || 8 tries, 7621565 fired transitions, 225 secs || 5367639 markings, 19842258 edges, 24346 markings/sec, 225 secs
lola: STP completed || 8 tries, 7792228 fired transitions, 230 secs || 5492686 markings, 20350214 edges, 25009 markings/sec, 230 secs
lola: STP completed || 8 tries, 7963569 fired transitions, 235 secs || 5617072 markings, 20876820 edges, 24877 markings/sec, 235 secs
lola: STP completed || 9 tries, 8142334 fired transitions, 240 secs || 5740300 markings, 21397062 edges, 24646 markings/sec, 240 secs
lola: STP completed || 9 tries, 8320312 fired transitions, 245 secs || 5864106 markings, 21916072 edges, 24761 markings/sec, 245 secs
lola: STP completed || 9 tries, 8488179 fired transitions, 250 secs || 5986770 markings, 22432953 edges, 24533 markings/sec, 250 secs
lola: STP completed || 9 tries, 8651851 fired transitions, 255 secs || 6100642 markings, 22911216 edges, 22774 markings/sec, 255 secs
lola: STP completed || 9 tries, 8806661 fired transitions, 260 secs || 6207639 markings, 23365401 edges, 21399 markings/sec, 260 secs
lola: STP completed || 9 tries, 8983882 fired transitions, 265 secs || 6324872 markings, 23861213 edges, 23447 markings/sec, 265 secs
lola: STP completed || 10 tries, 9160560 fired transitions, 270 secs || 6443284 markings, 24365996 edges, 23682 markings/sec, 270 secs
lola: STP completed || 10 tries, 9336533 fired transitions, 275 secs || 6563607 markings, 24873841 edges, 24065 markings/sec, 275 secs
lola: STP completed || 10 tries, 9512109 fired transitions, 280 secs || 6683114 markings, 25376924 edges, 23901 markings/sec, 280 secs
lola: STP completed || 10 tries, 9687606 fired transitions, 285 secs || 6803687 markings, 25891042 edges, 24115 markings/sec, 285 secs
lola: STP completed || 10 tries, 9865175 fired transitions, 290 secs || 6923672 markings, 26407657 edges, 23997 markings/sec, 290 secs
lola: STP completed || 11 tries, 10039409 fired transitions, 295 secs || 7044298 markings, 26921652 edges, 24125 markings/sec, 295 secs
lola: STP completed || 11 tries, 10209874 fired transitions, 300 secs || 7156844 markings, 27400801 edges, 22509 markings/sec, 300 secs
lola: STP completed || 11 tries, 10378059 fired transitions, 305 secs || 7270324 markings, 27898893 edges, 22696 markings/sec, 305 secs
lola: STP completed || 11 tries, 10557537 fired transitions, 310 secs || 7392626 markings, 28422174 edges, 24460 markings/sec, 310 secs
lola: STP completed || 11 tries, 10739546 fired transitions, 315 secs || 7514120 markings, 28946989 edges, 24299 markings/sec, 315 secs
lola: STP completed || 11 tries, 10923647 fired transitions, 320 secs || 7635107 markings, 29474449 edges, 24197 markings/sec, 320 secs
lola: STP completed || 12 tries, 11106423 fired transitions, 325 secs || 7755336 markings, 30000498 edges, 24046 markings/sec, 325 secs
lola: STP completed || 12 tries, 11272992 fired transitions, 330 secs || 7871987 markings, 30513065 edges, 23330 markings/sec, 330 secs
lola: STP completed || 12 tries, 11456049 fired transitions, 335 secs || 7992841 markings, 31040728 edges, 24171 markings/sec, 335 secs
lola: STP completed || 12 tries, 11631127 fired transitions, 340 secs || 8114857 markings, 31574450 edges, 24403 markings/sec, 340 secs
lola: STP completed || 12 tries, 11810041 fired transitions, 345 secs || 8232890 markings, 32095499 edges, 23607 markings/sec, 345 secs
lola: STP completed || 12 tries, 11987425 fired transitions, 350 secs || 8351586 markings, 32616275 edges, 23739 markings/sec, 350 secs
lola: STP completed || 13 tries, 12163210 fired transitions, 355 secs || 8470438 markings, 33145805 edges, 23770 markings/sec, 355 secs
lola: STP completed || 13 tries, 12327630 fired transitions, 360 secs || 8585226 markings, 33658299 edges, 22958 markings/sec, 360 secs
lola: STP completed || 13 tries, 12502328 fired transitions, 365 secs || 8705473 markings, 34202805 edges, 24049 markings/sec, 365 secs
lola: STP completed || 13 tries, 12679968 fired transitions, 370 secs || 8825108 markings, 34723609 edges, 23927 markings/sec, 370 secs
lola: STP completed || 13 tries, 12857930 fired transitions, 375 secs || 8945369 markings, 35266268 edges, 24052 markings/sec, 375 secs
lola: STP completed || 14 tries, 13037750 fired transitions, 380 secs || 9066170 markings, 35825858 edges, 24160 markings/sec, 380 secs
lola: STP completed || 14 tries, 13217325 fired transitions, 385 secs || 9187763 markings, 36375656 edges, 24319 markings/sec, 385 secs
lola: STP completed || 14 tries, 13387616 fired transitions, 390 secs || 9309575 markings, 36930239 edges, 24362 markings/sec, 390 secs
lola: STP completed || 14 tries, 13555668 fired transitions, 395 secs || 9426793 markings, 37458841 edges, 23444 markings/sec, 395 secs
lola: STP completed || 14 tries, 13700791 fired transitions, 400 secs || 9521663 markings, 37894434 edges, 18974 markings/sec, 400 secs
lola: STP completed || 14 tries, 13883286 fired transitions, 405 secs || 9637277 markings, 38422705 edges, 23123 markings/sec, 405 secs
lola: STP completed || 15 tries, 14064410 fired transitions, 410 secs || 9753369 markings, 38950980 edges, 23218 markings/sec, 410 secs
lola: STP completed || 15 tries, 14246538 fired transitions, 415 secs || 9870528 markings, 39487691 edges, 23432 markings/sec, 415 secs
lola: STP completed || 15 tries, 14421743 fired transitions, 420 secs || 9989014 markings, 40029174 edges, 23697 markings/sec, 420 secs
lola: STP completed || 15 tries, 14571090 fired transitions, 425 secs || 10086496 markings, 40479269 edges, 19496 markings/sec, 425 secs
lola: STP completed || 15 tries, 14727378 fired transitions, 430 secs || 10188033 markings, 40931109 edges, 20307 markings/sec, 430 secs
lola: STP completed || 15 tries, 14849387 fired transitions, 435 secs || 10266959 markings, 41296010 edges, 15785 markings/sec, 435 secs
lola: STP completed || 15 tries, 14969452 fired transitions, 440 secs || 10345035 markings, 41663060 edges, 15615 markings/sec, 440 secs
lola: STP completed || 16 tries, 15093884 fired transitions, 445 secs || 10426581 markings, 42034469 edges, 16309 markings/sec, 445 secs
lola: STP completed || 16 tries, 15259332 fired transitions, 450 secs || 10525844 markings, 42492363 edges, 19853 markings/sec, 450 secs
lola: STP completed || 16 tries, 15432988 fired transitions, 455 secs || 10637488 markings, 43009138 edges, 22329 markings/sec, 455 secs
lola: STP completed || 16 tries, 15605723 fired transitions, 460 secs || 10750166 markings, 43527750 edges, 22536 markings/sec, 460 secs
lola: STP completed || 16 tries, 15783527 fired transitions, 465 secs || 10863098 markings, 44062956 edges, 22586 markings/sec, 465 secs
lola: STP completed || 16 tries, 15957116 fired transitions, 470 secs || 10975232 markings, 44575968 edges, 22427 markings/sec, 470 secs
lola: STP completed || 17 tries, 16131067 fired transitions, 475 secs || 11087527 markings, 45095076 edges, 22459 markings/sec, 475 secs
lola: STP completed || 17 tries, 16308072 fired transitions, 480 secs || 11204546 markings, 45637871 edges, 23404 markings/sec, 480 secs
lola: STP completed || 17 tries, 16486072 fired transitions, 485 secs || 11321092 markings, 46176457 edges, 23309 markings/sec, 485 secs
lola: STP completed || 17 tries, 16664830 fired transitions, 490 secs || 11437901 markings, 46721365 edges, 23362 markings/sec, 490 secs
lola: STP completed || 17 tries, 16843579 fired transitions, 495 secs || 11553636 markings, 47259933 edges, 23147 markings/sec, 495 secs
lola: STP completed || 18 tries, 17015650 fired transitions, 500 secs || 11669920 markings, 47801842 edges, 23257 markings/sec, 500 secs
lola: STP completed || 18 tries, 17188288 fired transitions, 505 secs || 11786249 markings, 48341824 edges, 23266 markings/sec, 505 secs
lola: STP completed || 18 tries, 17361252 fired transitions, 510 secs || 11901978 markings, 48888507 edges, 23146 markings/sec, 510 secs
lola: STP completed || 18 tries, 17533196 fired transitions, 515 secs || 12018298 markings, 49434061 edges, 23264 markings/sec, 515 secs
lola: STP completed || 18 tries, 17708896 fired transitions, 520 secs || 12133117 markings, 49976712 edges, 22964 markings/sec, 520 secs
lola: STP completed || 18 tries, 17885062 fired transitions, 525 secs || 12249263 markings, 50513722 edges, 23229 markings/sec, 525 secs
lola: STP completed || 19 tries, 18064989 fired transitions, 530 secs || 12363486 markings, 51059152 edges, 22845 markings/sec, 530 secs
lola: STP completed || 19 tries, 18240497 fired transitions, 535 secs || 12475625 markings, 51597878 edges, 22428 markings/sec, 535 secs
lola: STP completed || 19 tries, 18414512 fired transitions, 540 secs || 12587307 markings, 52125347 edges, 22336 markings/sec, 540 secs
lola: STP completed || 19 tries, 18587647 fired transitions, 545 secs || 12699793 markings, 52655061 edges, 22497 markings/sec, 545 secs
lola: STP completed || 19 tries, 18761548 fired transitions, 550 secs || 12812542 markings, 53195200 edges, 22550 markings/sec, 550 secs
lola: STP completed || 19 tries, 18936929 fired transitions, 555 secs || 12928189 markings, 53749221 edges, 23129 markings/sec, 555 secs
lola: STP completed || 20 tries, 19113292 fired transitions, 560 secs || 13044445 markings, 54296238 edges, 23251 markings/sec, 560 secs
lola: STP completed || 20 tries, 19289301 fired transitions, 565 secs || 13159676 markings, 54843363 edges, 23046 markings/sec, 565 secs
lola: STP completed || 20 tries, 19466348 fired transitions, 570 secs || 13274979 markings, 55398621 edges, 23061 markings/sec, 570 secs
lola: STP completed || 20 tries, 19640508 fired transitions, 575 secs || 13391711 markings, 55950996 edges, 23346 markings/sec, 575 secs
lola: STP completed || 20 tries, 19816342 fired transitions, 580 secs || 13508928 markings, 56516330 edges, 23443 markings/sec, 580 secs
lola: STP completed || 20 tries, 19992031 fired transitions, 585 secs || 13625768 markings, 57076419 edges, 23368 markings/sec, 585 secs
lola: STP completed || 21 tries, 20168069 fired transitions, 590 secs || 13741572 markings, 57636044 edges, 23161 markings/sec, 590 secs
lola: STP completed || 21 tries, 20342952 fired transitions, 595 secs || 13858228 markings, 58205023 edges, 23331 markings/sec, 595 secs
lola: STP completed || 21 tries, 20518173 fired transitions, 600 secs || 13975015 markings, 58786260 edges, 23357 markings/sec, 600 secs
lola: STP completed || 21 tries, 20693562 fired transitions, 605 secs || 14090501 markings, 59351958 edges, 23097 markings/sec, 605 secs
lola: STP completed || 21 tries, 20867856 fired transitions, 610 secs || 14207122 markings, 59914638 edges, 23324 markings/sec, 610 secs
lola: STP completed || 22 tries, 21043691 fired transitions, 615 secs || 14323058 markings, 60485418 edges, 23187 markings/sec, 615 secs
lola: STP completed || 22 tries, 21219150 fired transitions, 620 secs || 14440071 markings, 61058811 edges, 23403 markings/sec, 620 secs
lola: STP completed || 22 tries, 21395504 fired transitions, 625 secs || 14555419 markings, 61624681 edges, 23070 markings/sec, 625 secs
lola: STP completed || 22 tries, 21570829 fired transitions, 630 secs || 14673265 markings, 62194921 edges, 23569 markings/sec, 630 secs
lola: STP completed || 22 tries, 21742998 fired transitions, 635 secs || 14786735 markings, 62755661 edges, 22694 markings/sec, 635 secs
lola: STP completed || 22 tries, 21921943 fired transitions, 640 secs || 14907045 markings, 63349961 edges, 24062 markings/sec, 640 secs
lola: STP completed || 23 tries, 22100486 fired transitions, 645 secs || 15025058 markings, 63933421 edges, 23603 markings/sec, 645 secs
lola: STP completed || 23 tries, 22280196 fired transitions, 650 secs || 15143034 markings, 64503328 edges, 23595 markings/sec, 650 secs
lola: STP completed || 23 tries, 22463674 fired transitions, 655 secs || 15261234 markings, 65089161 edges, 23640 markings/sec, 655 secs
lola: STP completed || 23 tries, 22642007 fired transitions, 660 secs || 15379613 markings, 65675505 edges, 23676 markings/sec, 660 secs
lola: STP completed || 23 tries, 22819932 fired transitions, 665 secs || 15497734 markings, 66247239 edges, 23624 markings/sec, 665 secs
lola: STP completed || 24 tries, 23000603 fired transitions, 670 secs || 15617921 markings, 66843540 edges, 24037 markings/sec, 670 secs
lola: STP completed || 24 tries, 23183239 fired transitions, 675 secs || 15736292 markings, 67421813 edges, 23674 markings/sec, 675 secs
lola: STP completed || 24 tries, 23367285 fired transitions, 680 secs || 15853315 markings, 67998369 edges, 23405 markings/sec, 680 secs
lola: STP completed || 24 tries, 23549559 fired transitions, 685 secs || 15971701 markings, 68580089 edges, 23677 markings/sec, 685 secs
lola: STP completed || 24 tries, 23730929 fired transitions, 690 secs || 16089646 markings, 69162195 edges, 23589 markings/sec, 690 secs
lola: STP completed || 24 tries, 23912767 fired transitions, 695 secs || 16207413 markings, 69762793 edges, 23553 markings/sec, 695 secs
lola: STP completed || 25 tries, 24099941 fired transitions, 700 secs || 16320942 markings, 70333690 edges, 22706 markings/sec, 700 secs
lola: STP completed || 25 tries, 24284620 fired transitions, 705 secs || 16438391 markings, 70918965 edges, 23490 markings/sec, 705 secs
lola: STP completed || 25 tries, 24470855 fired transitions, 710 secs || 16553162 markings, 71491990 edges, 22954 markings/sec, 710 secs
lola: STP completed || 25 tries, 24654027 fired transitions, 715 secs || 16670519 markings, 72080904 edges, 23471 markings/sec, 715 secs
lola: STP completed || 25 tries, 24840228 fired transitions, 720 secs || 16787034 markings, 72660744 edges, 23303 markings/sec, 720 secs
lola: STP completed || 26 tries, 25026753 fired transitions, 725 secs || 16904065 markings, 73246170 edges, 23406 markings/sec, 725 secs
lola: STP completed || 26 tries, 25208297 fired transitions, 730 secs || 17021490 markings, 73844823 edges, 23485 markings/sec, 730 secs
lola: STP completed || 26 tries, 25389519 fired transitions, 735 secs || 17140358 markings, 74442472 edges, 23774 markings/sec, 735 secs
lola: STP completed || 26 tries, 25571728 fired transitions, 740 secs || 17259997 markings, 75044868 edges, 23928 markings/sec, 740 secs
lola: STP completed || 26 tries, 25757183 fired transitions, 745 secs || 17377277 markings, 75629877 edges, 23456 markings/sec, 745 secs
lola: STP completed || 26 tries, 25939092 fired transitions, 750 secs || 17495428 markings, 76224203 edges, 23630 markings/sec, 750 secs
lola: STP completed || 27 tries, 26123876 fired transitions, 755 secs || 17614186 markings, 76820890 edges, 23752 markings/sec, 755 secs
lola: STP completed || 27 tries, 26310862 fired transitions, 760 secs || 17730910 markings, 77420565 edges, 23345 markings/sec, 760 secs
lola: STP completed || 27 tries, 26495878 fired transitions, 765 secs || 17848204 markings, 78026878 edges, 23459 markings/sec, 765 secs
lola: STP completed || 27 tries, 26668343 fired transitions, 770 secs || 17965886 markings, 78635240 edges, 23536 markings/sec, 770 secs
lola: STP completed || 27 tries, 26840830 fired transitions, 775 secs || 18081717 markings, 79228445 edges, 23166 markings/sec, 775 secs
lola: STP completed || 28 tries, 27018027 fired transitions, 780 secs || 18186161 markings, 79766128 edges, 20889 markings/sec, 780 secs
lola: STP completed || 28 tries, 27198166 fired transitions, 785 secs || 18291325 markings, 80311288 edges, 21033 markings/sec, 785 secs
lola: STP completed || 28 tries, 27377929 fired transitions, 790 secs || 18398527 markings, 80863223 edges, 21440 markings/sec, 790 secs
lola: STP completed || 28 tries, 27564210 fired transitions, 795 secs || 18504524 markings, 81405396 edges, 21199 markings/sec, 795 secs
lola: STP completed || 28 tries, 27745790 fired transitions, 800 secs || 18621333 markings, 82002265 edges, 23362 markings/sec, 800 secs
lola: STP completed || 28 tries, 27927370 fired transitions, 805 secs || 18737354 markings, 82598466 edges, 23204 markings/sec, 805 secs
lola: STP completed || 29 tries, 28113290 fired transitions, 810 secs || 18850848 markings, 83182977 edges, 22699 markings/sec, 810 secs
lola: STP completed || 29 tries, 28299215 fired transitions, 815 secs || 18964923 markings, 83773146 edges, 22815 markings/sec, 815 secs
lola: STP completed || 29 tries, 28483667 fired transitions, 820 secs || 19079407 markings, 84380614 edges, 22897 markings/sec, 820 secs
lola: STP completed || 29 tries, 28668579 fired transitions, 825 secs || 19194419 markings, 84963970 edges, 23002 markings/sec, 825 secs
lola: STP completed || 29 tries, 28853276 fired transitions, 830 secs || 19310217 markings, 85571721 edges, 23160 markings/sec, 830 secs
lola: STP completed || 30 tries, 29033495 fired transitions, 835 secs || 19426696 markings, 86178703 edges, 23296 markings/sec, 835 secs
lola: STP completed || 30 tries, 29214555 fired transitions, 840 secs || 19543875 markings, 86783623 edges, 23436 markings/sec, 840 secs
lola: STP completed || 30 tries, 29398426 fired transitions, 845 secs || 19660384 markings, 87395959 edges, 23302 markings/sec, 845 secs
lola: STP completed || 30 tries, 29582350 fired transitions, 850 secs || 19777036 markings, 88009614 edges, 23330 markings/sec, 850 secs
lola: STP completed || 30 tries, 29770799 fired transitions, 855 secs || 19890126 markings, 88598696 edges, 22618 markings/sec, 855 secs
lola: STP completed || 30 tries, 29958143 fired transitions, 860 secs || 20003142 markings, 89207896 edges, 22603 markings/sec, 860 secs
lola: STP completed || 31 tries, 30137099 fired transitions, 865 secs || 20120159 markings, 89818028 edges, 23403 markings/sec, 865 secs
lola: STP completed || 31 tries, 30320927 fired transitions, 870 secs || 20236634 markings, 90432569 edges, 23295 markings/sec, 870 secs
lola: STP completed || 31 tries, 30504827 fired transitions, 875 secs || 20354116 markings, 91043879 edges, 23496 markings/sec, 875 secs
lola: STP completed || 31 tries, 30686118 fired transitions, 880 secs || 20470555 markings, 91651687 edges, 23288 markings/sec, 880 secs
lola: STP completed || 31 tries, 30865641 fired transitions, 885 secs || 20586018 markings, 92269884 edges, 23093 markings/sec, 885 secs
lola: STP completed || 32 tries, 31050292 fired transitions, 890 secs || 20701561 markings, 92875374 edges, 23109 markings/sec, 890 secs
lola: STP completed || 32 tries, 31234285 fired transitions, 895 secs || 20814004 markings, 93472627 edges, 22489 markings/sec, 895 secs
lola: STP completed || 32 tries, 31414503 fired transitions, 900 secs || 20926162 markings, 94055652 edges, 22432 markings/sec, 900 secs
lola: STP completed || 32 tries, 31595840 fired transitions, 905 secs || 21040049 markings, 94659851 edges, 22777 markings/sec, 905 secs
lola: STP completed || 32 tries, 31767132 fired transitions, 910 secs || 21150176 markings, 95244612 edges, 22025 markings/sec, 910 secs
lola: STP completed || 32 tries, 31941768 fired transitions, 915 secs || 21261588 markings, 95838394 edges, 22282 markings/sec, 915 secs
lola: STP completed || 33 tries, 32114555 fired transitions, 920 secs || 21373093 markings, 96432951 edges, 22301 markings/sec, 920 secs
lola: STP completed || 33 tries, 32289250 fired transitions, 925 secs || 21483548 markings, 97020175 edges, 22091 markings/sec, 925 secs
lola: STP completed || 33 tries, 32467343 fired transitions, 930 secs || 21592436 markings, 97602761 edges, 21778 markings/sec, 930 secs
lola: STP completed || 33 tries, 32644125 fired transitions, 935 secs || 21701265 markings, 98180536 edges, 21766 markings/sec, 935 secs
lola: STP completed || 33 tries, 32819928 fired transitions, 940 secs || 21810464 markings, 98750765 edges, 21840 markings/sec, 940 secs
lola: STP completed || 33 tries, 32991463 fired transitions, 945 secs || 21915416 markings, 99311631 edges, 20990 markings/sec, 945 secs
lola: STP completed || 34 tries, 33169762 fired transitions, 950 secs || 22020839 markings, 99879584 edges, 21085 markings/sec, 950 secs
lola: STP completed || 34 tries, 33345478 fired transitions, 955 secs || 22126592 markings, 100449787 edges, 21151 markings/sec, 955 secs
lola: STP completed || 34 tries, 33519661 fired transitions, 960 secs || 22231803 markings, 101007981 edges, 21042 markings/sec, 960 secs
lola: STP completed || 34 tries, 33693633 fired transitions, 965 secs || 22337367 markings, 101580843 edges, 21113 markings/sec, 965 secs
lola: STP completed || 34 tries, 33869469 fired transitions, 970 secs || 22441835 markings, 102133298 edges, 20894 markings/sec, 970 secs
lola: STP completed || 35 tries, 34053945 fired transitions, 975 secs || 22551154 markings, 102717170 edges, 21864 markings/sec, 975 secs
lola: STP completed || 35 tries, 34236059 fired transitions, 980 secs || 22665298 markings, 103330170 edges, 22829 markings/sec, 980 secs
lola: STP completed || 35 tries, 34415712 fired transitions, 985 secs || 22781091 markings, 103979653 edges, 23159 markings/sec, 985 secs
lola: STP completed || 35 tries, 34601657 fired transitions, 990 secs || 22895782 markings, 104598576 edges, 22938 markings/sec, 990 secs
lola: STP completed || 35 tries, 34790405 fired transitions, 995 secs || 23009900 markings, 105222169 edges, 22824 markings/sec, 995 secs
lola: STP completed || 35 tries, 34979735 fired transitions, 1000 secs || 23123267 markings, 105835467 edges, 22673 markings/sec, 1000 secs
lola: STP completed || 36 tries, 35167587 fired transitions, 1005 secs || 23239417 markings, 106456781 edges, 23230 markings/sec, 1005 secs
lola: STP completed || 36 tries, 35353519 fired transitions, 1010 secs || 23356270 markings, 107069251 edges, 23371 markings/sec, 1010 secs
lola: STP completed || 36 tries, 35539184 fired transitions, 1015 secs || 23470936 markings, 107690946 edges, 22933 markings/sec, 1015 secs
lola: STP completed || 36 tries, 35721146 fired transitions, 1020 secs || 23582264 markings, 108296546 edges, 22266 markings/sec, 1020 secs
lola: STP completed || 36 tries, 35896672 fired transitions, 1025 secs || 23689645 markings, 108881804 edges, 21476 markings/sec, 1025 secs
lola: STP completed || 37 tries, 36071322 fired transitions, 1030 secs || 23796985 markings, 109474993 edges, 21468 markings/sec, 1030 secs
lola: STP completed || 37 tries, 36245867 fired transitions, 1035 secs || 23902972 markings, 110065269 edges, 21197 markings/sec, 1035 secs
lola: STP completed || 37 tries, 36420829 fired transitions, 1040 secs || 24009406 markings, 110651587 edges, 21287 markings/sec, 1040 secs
lola: STP completed || 37 tries, 36594857 fired transitions, 1045 secs || 24117605 markings, 111244487 edges, 21640 markings/sec, 1045 secs
lola: STP completed || 37 tries, 36768799 fired transitions, 1050 secs || 24224387 markings, 111840739 edges, 21356 markings/sec, 1050 secs
lola: STP completed || 37 tries, 36944759 fired transitions, 1055 secs || 24331483 markings, 112428478 edges, 21419 markings/sec, 1055 secs
lola: STP completed || 38 tries, 37120907 fired transitions, 1060 secs || 24440263 markings, 113010652 edges, 21756 markings/sec, 1060 secs
lola: STP completed || 38 tries, 37307355 fired transitions, 1065 secs || 24550917 markings, 113605767 edges, 22131 markings/sec, 1065 secs
lola: STP completed || 38 tries, 37491164 fired transitions, 1070 secs || 24665007 markings, 114239084 edges, 22818 markings/sec, 1070 secs
lola: STP completed || 38 tries, 37678579 fired transitions, 1075 secs || 24777388 markings, 114856625 edges, 22476 markings/sec, 1075 secs
lola: STP completed || 38 tries, 37865138 fired transitions, 1080 secs || 24891779 markings, 115470732 edges, 22878 markings/sec, 1080 secs
lola: STP completed || 39 tries, 38052550 fired transitions, 1085 secs || 25004942 markings, 116079508 edges, 22633 markings/sec, 1085 secs
lola: STP completed || 39 tries, 38240997 fired transitions, 1090 secs || 25116965 markings, 116712227 edges, 22405 markings/sec, 1090 secs
lola: STP completed || 39 tries, 38428709 fired transitions, 1095 secs || 25230506 markings, 117328810 edges, 22708 markings/sec, 1095 secs
lola: STP completed || 39 tries, 38616305 fired transitions, 1100 secs || 25344175 markings, 117933354 edges, 22734 markings/sec, 1100 secs
lola: STP completed || 39 tries, 38805157 fired transitions, 1105 secs || 25456160 markings, 118564695 edges, 22397 markings/sec, 1105 secs
lola: STP completed || 39 tries, 38992382 fired transitions, 1110 secs || 25569352 markings, 119170915 edges, 22638 markings/sec, 1110 secs
lola: STP completed || 40 tries, 39179715 fired transitions, 1115 secs || 25681720 markings, 119803678 edges, 22474 markings/sec, 1115 secs
lola: STP completed || 40 tries, 39367300 fired transitions, 1120 secs || 25794122 markings, 120447733 edges, 22480 markings/sec, 1120 secs
lola: STP completed || 40 tries, 39554782 fired transitions, 1125 secs || 25906984 markings, 121081103 edges, 22572 markings/sec, 1125 secs
lola: STP completed || 40 tries, 39739061 fired transitions, 1130 secs || 26020021 markings, 121711949 edges, 22607 markings/sec, 1130 secs
lola: STP completed || 40 tries, 39925621 fired transitions, 1135 secs || 26133126 markings, 122335652 edges, 22621 markings/sec, 1135 secs
lola: STP completed || 41 tries, 40113046 fired transitions, 1140 secs || 26245076 markings, 122951558 edges, 22390 markings/sec, 1140 secs
lola: STP completed || 41 tries, 40301028 fired transitions, 1145 secs || 26356580 markings, 123563288 edges, 22301 markings/sec, 1145 secs
lola: STP completed || 41 tries, 40488808 fired transitions, 1150 secs || 26468453 markings, 124173160 edges, 22375 markings/sec, 1150 secs
lola: STP completed || 41 tries, 40677139 fired transitions, 1155 secs || 26580322 markings, 124792856 edges, 22374 markings/sec, 1155 secs
lola: STP completed || 41 tries, 40857251 fired transitions, 1160 secs || 26690926 markings, 125405688 edges, 22121 markings/sec, 1160 secs
lola: STP completed || 42 tries, 41032092 fired transitions, 1165 secs || 26799224 markings, 126007211 edges, 21660 markings/sec, 1165 secs
lola: STP completed || 42 tries, 41208412 fired transitions, 1170 secs || 26906565 markings, 126619321 edges, 21468 markings/sec, 1170 secs
lola: STP completed || 42 tries, 41382348 fired transitions, 1175 secs || 27013960 markings, 127209566 edges, 21479 markings/sec, 1175 secs
lola: STP completed || 42 tries, 41563913 fired transitions, 1180 secs || 27124726 markings, 127837097 edges, 22153 markings/sec, 1180 secs
lola: STP completed || 42 tries, 41749925 fired transitions, 1185 secs || 27234310 markings, 128444637 edges, 21917 markings/sec, 1185 secs
lola: STP completed || 42 tries, 41939934 fired transitions, 1190 secs || 27344380 markings, 129080928 edges, 22014 markings/sec, 1190 secs
lola: STP completed || 43 tries, 42126532 fired transitions, 1195 secs || 27454329 markings, 129702960 edges, 21990 markings/sec, 1195 secs
lola: STP completed || 43 tries, 42316746 fired transitions, 1200 secs || 27563624 markings, 130327539 edges, 21859 markings/sec, 1200 secs
lola: STP completed || 43 tries, 42507008 fired transitions, 1205 secs || 27673734 markings, 130965259 edges, 22022 markings/sec, 1205 secs
lola: STP completed || 43 tries, 42696660 fired transitions, 1210 secs || 27784699 markings, 131577959 edges, 22193 markings/sec, 1210 secs
lola: STP completed || 43 tries, 42886498 fired transitions, 1215 secs || 27893864 markings, 132212925 edges, 21833 markings/sec, 1215 secs
lola: STP completed || 44 tries, 43076457 fired transitions, 1220 secs || 28004234 markings, 132824333 edges, 22074 markings/sec, 1220 secs
lola: STP completed || 44 tries, 43265118 fired transitions, 1225 secs || 28114590 markings, 133432898 edges, 22071 markings/sec, 1225 secs
lola: STP completed || 44 tries, 43454900 fired transitions, 1230 secs || 28224192 markings, 134086827 edges, 21920 markings/sec, 1230 secs
lola: STP completed || 44 tries, 43633396 fired transitions, 1235 secs || 28333065 markings, 134704945 edges, 21775 markings/sec, 1235 secs
lola: STP completed || 44 tries, 43806338 fired transitions, 1240 secs || 28440668 markings, 135323738 edges, 21521 markings/sec, 1240 secs
lola: STP completed || 44 tries, 43987696 fired transitions, 1245 secs || 28551905 markings, 135947760 edges, 22247 markings/sec, 1245 secs
lola: STP completed || 45 tries, 44170897 fired transitions, 1250 secs || 28662860 markings, 136598109 edges, 22191 markings/sec, 1250 secs
lola: STP completed || 45 tries, 44349621 fired transitions, 1255 secs || 28776575 markings, 137244814 edges, 22743 markings/sec, 1255 secs
lola: STP completed || 45 tries, 44532888 fired transitions, 1260 secs || 28886683 markings, 137869005 edges, 22022 markings/sec, 1260 secs
lola: STP completed || 45 tries, 44716966 fired transitions, 1265 secs || 28995326 markings, 138481752 edges, 21729 markings/sec, 1265 secs
lola: STP completed || 45 tries, 44878854 fired transitions, 1270 secs || 29092845 markings, 139034677 edges, 19504 markings/sec, 1270 secs
lola: STP completed || 46 tries, 45015959 fired transitions, 1275 secs || 29178269 markings, 139532421 edges, 17085 markings/sec, 1275 secs
lola: STP completed || 46 tries, 45199575 fired transitions, 1280 secs || 29291133 markings, 140183669 edges, 22573 markings/sec, 1280 secs
lola: STP completed || 46 tries, 45378164 fired transitions, 1285 secs || 29399415 markings, 140834533 edges, 21656 markings/sec, 1285 secs
lola: STP completed || 46 tries, 45561180 fired transitions, 1290 secs || 29510776 markings, 141476357 edges, 22272 markings/sec, 1290 secs
lola: STP completed || 46 tries, 45737364 fired transitions, 1295 secs || 29625711 markings, 142138505 edges, 22987 markings/sec, 1295 secs
lola: STP completed || 46 tries, 45917240 fired transitions, 1300 secs || 29739895 markings, 142790570 edges, 22837 markings/sec, 1300 secs
lola: STP completed || 47 tries, 46099335 fired transitions, 1305 secs || 29853946 markings, 143463949 edges, 22810 markings/sec, 1305 secs
lola: STP completed || 47 tries, 46280210 fired transitions, 1310 secs || 29968363 markings, 144121340 edges, 22883 markings/sec, 1310 secs
lola: STP completed || 47 tries, 46437411 fired transitions, 1315 secs || 30066640 markings, 144698151 edges, 19655 markings/sec, 1315 secs
lola: STP completed || 47 tries, 46568477 fired transitions, 1320 secs || 30145514 markings, 145168173 edges, 15775 markings/sec, 1320 secs
lola: STP completed || 47 tries, 46693796 fired transitions, 1325 secs || 30220388 markings, 145606629 edges, 14975 markings/sec, 1325 secs
lola: STP completed || 47 tries, 46819266 fired transitions, 1330 secs || 30296396 markings, 146041289 edges, 15202 markings/sec, 1330 secs
lola: STP completed || 47 tries, 46941809 fired transitions, 1335 secs || 30369476 markings, 146473709 edges, 14616 markings/sec, 1335 secs
lola: STP completed || 48 tries, 47082529 fired transitions, 1340 secs || 30456665 markings, 147010557 edges, 17438 markings/sec, 1340 secs
lola: STP completed || 48 tries, 47262608 fired transitions, 1345 secs || 30570437 markings, 147668871 edges, 22754 markings/sec, 1345 secs
lola: STP completed || 48 tries, 47444835 fired transitions, 1350 secs || 30681179 markings, 148314746 edges, 22148 markings/sec, 1350 secs
lola: STP completed || 48 tries, 47624557 fired transitions, 1355 secs || 30790128 markings, 148938589 edges, 21790 markings/sec, 1355 secs
lola: STP completed || 48 tries, 47808162 fired transitions, 1360 secs || 30897729 markings, 149560156 edges, 21520 markings/sec, 1360 secs
lola: STP completed || 48 tries, 47990495 fired transitions, 1365 secs || 31005512 markings, 150194520 edges, 21557 markings/sec, 1365 secs
lola: STP completed || 49 tries, 48172944 fired transitions, 1370 secs || 31115186 markings, 150844625 edges, 21935 markings/sec, 1370 secs
lola: STP completed || 49 tries, 48335897 fired transitions, 1375 secs || 31214087 markings, 151422773 edges, 19780 markings/sec, 1375 secs
lola: STP completed || 49 tries, 48460395 fired transitions, 1380 secs || 31289726 markings, 151876794 edges, 15128 markings/sec, 1380 secs
lola: STP completed || 49 tries, 48585460 fired transitions, 1385 secs || 31365372 markings, 152332467 edges, 15129 markings/sec, 1385 secs
lola: STP completed || 49 tries, 48760314 fired transitions, 1390 secs || 31469673 markings, 152940821 edges, 20860 markings/sec, 1390 secs
lola: STP completed || 49 tries, 48938021 fired transitions, 1395 secs || 31580737 markings, 153589159 edges, 22213 markings/sec, 1395 secs
lola: STP completed || 50 tries, 49116298 fired transitions, 1400 secs || 31691599 markings, 154218163 edges, 22172 markings/sec, 1400 secs
lola: STP completed || 50 tries, 49296351 fired transitions, 1405 secs || 31801826 markings, 154866439 edges, 22045 markings/sec, 1405 secs
lola: STP completed || 50 tries, 49475814 fired transitions, 1410 secs || 31912054 markings, 155507618 edges, 22046 markings/sec, 1410 secs
lola: STP completed || 50 tries, 49653615 fired transitions, 1415 secs || 32021461 markings, 156171756 edges, 21881 markings/sec, 1415 secs
lola: STP completed || 50 tries, 49835470 fired transitions, 1420 secs || 32132127 markings, 156805878 edges, 22133 markings/sec, 1420 secs
lola: STP completed || 51 tries, 50015925 fired transitions, 1425 secs || 32242129 markings, 157468353 edges, 22000 markings/sec, 1425 secs
lola: STP completed || 51 tries, 50194601 fired transitions, 1430 secs || 32350017 markings, 158121751 edges, 21578 markings/sec, 1430 secs
lola: STP completed || 51 tries, 50371119 fired transitions, 1435 secs || 32460322 markings, 158764200 edges, 22061 markings/sec, 1435 secs
lola: STP completed || 51 tries, 50554954 fired transitions, 1440 secs || 32566841 markings, 159415058 edges, 21304 markings/sec, 1440 secs
lola: STP completed || 51 tries, 50721771 fired transitions, 1445 secs || 32667681 markings, 160000581 edges, 20168 markings/sec, 1445 secs
lola: STP completed || 51 tries, 50837377 fired transitions, 1450 secs || 32737031 markings, 160412356 edges, 13870 markings/sec, 1450 secs
lola: STP completed || 51 tries, 50952347 fired transitions, 1455 secs || 32806006 markings, 160818668 edges, 13795 markings/sec, 1455 secs
lola: STP completed || 52 tries, 51095474 fired transitions, 1460 secs || 32889636 markings, 161314026 edges, 16726 markings/sec, 1460 secs
lola: STP completed || 52 tries, 51281122 fired transitions, 1465 secs || 32999172 markings, 161955173 edges, 21907 markings/sec, 1465 secs
lola: STP completed || 52 tries, 51444025 fired transitions, 1470 secs || 33101023 markings, 162550247 edges, 20370 markings/sec, 1470 secs
lola: STP completed || 52 tries, 51613835 fired transitions, 1475 secs || 33207519 markings, 163169889 edges, 21299 markings/sec, 1475 secs
lola: STP completed || 52 tries, 51784735 fired transitions, 1480 secs || 33309700 markings, 163771076 edges, 20436 markings/sec, 1480 secs
lola: STP completed || 52 tries, 51957865 fired transitions, 1485 secs || 33409557 markings, 164376886 edges, 19971 markings/sec, 1485 secs
lola: STP completed || 53 tries, 52133562 fired transitions, 1490 secs || 33515663 markings, 164987639 edges, 21221 markings/sec, 1490 secs
lola: STP completed || 53 tries, 52311179 fired transitions, 1495 secs || 33617530 markings, 165625899 edges, 20373 markings/sec, 1495 secs
lola: STP completed || 53 tries, 52487655 fired transitions, 1500 secs || 33726405 markings, 166256698 edges, 21775 markings/sec, 1500 secs
lola: STP completed || 53 tries, 52665286 fired transitions, 1505 secs || 33833309 markings, 166906257 edges, 21381 markings/sec, 1505 secs
lola: STP completed || 53 tries, 52845024 fired transitions, 1510 secs || 33941607 markings, 167554145 edges, 21660 markings/sec, 1510 secs
lola: STP completed || 54 tries, 53033935 fired transitions, 1515 secs || 34054093 markings, 168224332 edges, 22497 markings/sec, 1515 secs
lola: STP completed || 54 tries, 53222679 fired transitions, 1520 secs || 34167309 markings, 168901371 edges, 22643 markings/sec, 1520 secs
lola: STP completed || 54 tries, 53410361 fired transitions, 1525 secs || 34278600 markings, 169568306 edges, 22258 markings/sec, 1525 secs
lola: STP completed || 54 tries, 53598715 fired transitions, 1530 secs || 34389403 markings, 170214755 edges, 22161 markings/sec, 1530 secs
lola: STP completed || 54 tries, 53788386 fired transitions, 1535 secs || 34500729 markings, 170881397 edges, 22265 markings/sec, 1535 secs
lola: STP completed || 54 tries, 53970510 fired transitions, 1540 secs || 34610763 markings, 171529048 edges, 22007 markings/sec, 1540 secs
lola: STP completed || 55 tries, 54128007 fired transitions, 1545 secs || 34706199 markings, 172109345 edges, 19087 markings/sec, 1545 secs
lola: STP completed || 55 tries, 54253316 fired transitions, 1550 secs || 34782725 markings, 172564469 edges, 15305 markings/sec, 1550 secs
lola: STP completed || 55 tries, 54382934 fired transitions, 1555 secs || 34859829 markings, 173027652 edges, 15421 markings/sec, 1555 secs
lola: STP completed || 55 tries, 54515535 fired transitions, 1560 secs || 34937874 markings, 173505924 edges, 15609 markings/sec, 1560 secs
lola: STP completed || 55 tries, 54647334 fired transitions, 1565 secs || 35015334 markings, 173989526 edges, 15492 markings/sec, 1565 secs
lola: STP completed || 55 tries, 54769652 fired transitions, 1570 secs || 35086511 markings, 174441106 edges, 14235 markings/sec, 1570 secs
lola: STP completed || 55 tries, 54889668 fired transitions, 1575 secs || 35157244 markings, 174884330 edges, 14147 markings/sec, 1575 secs
lola: STP completed || 56 tries, 55070925 fired transitions, 1580 secs || 35261043 markings, 175521098 edges, 20760 markings/sec, 1580 secs
lola: STP completed || 56 tries, 55257976 fired transitions, 1585 secs || 35369234 markings, 176155762 edges, 21638 markings/sec, 1585 secs
lola: STP completed || 56 tries, 55435510 fired transitions, 1590 secs || 35479114 markings, 176819395 edges, 21976 markings/sec, 1590 secs
lola: STP completed || 56 tries, 55622124 fired transitions, 1595 secs || 35588767 markings, 177491006 edges, 21931 markings/sec, 1595 secs
lola: STP completed || 56 tries, 55809569 fired transitions, 1600 secs || 35697144 markings, 178159137 edges, 21675 markings/sec, 1600 secs
lola: STP completed || 56 tries, 55997727 fired transitions, 1605 secs || 35806258 markings, 178825280 edges, 21823 markings/sec, 1605 secs
lola: STP completed || 57 tries, 56186314 fired transitions, 1610 secs || 35915979 markings, 179484397 edges, 21944 markings/sec, 1610 secs
lola: STP completed || 57 tries, 56373795 fired transitions, 1615 secs || 36026180 markings, 180135420 edges, 22040 markings/sec, 1615 secs
lola: STP completed || 57 tries, 56560497 fired transitions, 1620 secs || 36136678 markings, 180784382 edges, 22100 markings/sec, 1620 secs
lola: STP completed || 57 tries, 56745515 fired transitions, 1625 secs || 36248614 markings, 181459141 edges, 22387 markings/sec, 1625 secs
lola: STP completed || 57 tries, 56878429 fired transitions, 1630 secs || 36327159 markings, 181949288 edges, 15709 markings/sec, 1630 secs
lola: STP completed || 58 tries, 57004638 fired transitions, 1635 secs || 36400202 markings, 182422598 edges, 14609 markings/sec, 1635 secs
lola: STP completed || 58 tries, 57132087 fired transitions, 1640 secs || 36476139 markings, 182881114 edges, 15187 markings/sec, 1640 secs
lola: STP completed || 58 tries, 57259056 fired transitions, 1645 secs || 36550908 markings, 183348703 edges, 14954 markings/sec, 1645 secs
lola: STP completed || 58 tries, 57383873 fired transitions, 1650 secs || 36625727 markings, 183811629 edges, 14964 markings/sec, 1650 secs
lola: STP completed || 58 tries, 57510505 fired transitions, 1655 secs || 36700026 markings, 184267617 edges, 14860 markings/sec, 1655 secs
lola: STP completed || 58 tries, 57636139 fired transitions, 1660 secs || 36774316 markings, 184723130 edges, 14858 markings/sec, 1660 secs
lola: STP completed || 58 tries, 57763828 fired transitions, 1665 secs || 36847899 markings, 185195042 edges, 14717 markings/sec, 1665 secs
lola: STP completed || 58 tries, 57891638 fired transitions, 1670 secs || 36922796 markings, 185667915 edges, 14979 markings/sec, 1670 secs
lola: STP completed || 59 tries, 58018174 fired transitions, 1675 secs || 36997537 markings, 186120016 edges, 14948 markings/sec, 1675 secs
lola: STP completed || 59 tries, 58143401 fired transitions, 1680 secs || 37070515 markings, 186583628 edges, 14596 markings/sec, 1680 secs
lola: STP completed || 59 tries, 58271399 fired transitions, 1685 secs || 37144794 markings, 187074682 edges, 14856 markings/sec, 1685 secs
lola: STP completed || 59 tries, 58397533 fired transitions, 1690 secs || 37219425 markings, 187534911 edges, 14926 markings/sec, 1690 secs
lola: STP completed || 59 tries, 58521227 fired transitions, 1695 secs || 37294428 markings, 187986515 edges, 15001 markings/sec, 1695 secs
lola: STP completed || 59 tries, 58646044 fired transitions, 1700 secs || 37366351 markings, 188437273 edges, 14385 markings/sec, 1700 secs
lola: STP completed || 59 tries, 58770933 fired transitions, 1705 secs || 37438703 markings, 188901373 edges, 14470 markings/sec, 1705 secs
lola: STP completed || 59 tries, 58894252 fired transitions, 1710 secs || 37512727 markings, 189350614 edges, 14805 markings/sec, 1710 secs
lola: STP completed || 60 tries, 59019353 fired transitions, 1715 secs || 37585975 markings, 189792097 edges, 14650 markings/sec, 1715 secs
lola: STP completed || 60 tries, 59141871 fired transitions, 1720 secs || 37658941 markings, 190244771 edges, 14593 markings/sec, 1720 secs
lola: STP completed || 60 tries, 59264512 fired transitions, 1725 secs || 37729868 markings, 190706632 edges, 14185 markings/sec, 1725 secs
lola: STP completed || 60 tries, 59387767 fired transitions, 1730 secs || 37800447 markings, 191167330 edges, 14116 markings/sec, 1730 secs
lola: STP completed || 60 tries, 59510511 fired transitions, 1735 secs || 37873321 markings, 191612252 edges, 14575 markings/sec, 1735 secs
lola: STP completed || 60 tries, 59632899 fired transitions, 1740 secs || 37946198 markings, 192083076 edges, 14575 markings/sec, 1740 secs
lola: STP completed || 60 tries, 59818884 fired transitions, 1745 secs || 38052968 markings, 192747395 edges, 21354 markings/sec, 1745 secs
lola: STP completed || 61 tries, 60009148 fired transitions, 1750 secs || 38161500 markings, 193409053 edges, 21706 markings/sec, 1750 secs
lola: STP completed || 61 tries, 60192731 fired transitions, 1755 secs || 38270953 markings, 194062010 edges, 21891 markings/sec, 1755 secs
lola: STP completed || 61 tries, 60379086 fired transitions, 1760 secs || 38379462 markings, 194727309 edges, 21702 markings/sec, 1760 secs
lola: STP completed || 61 tries, 60562510 fired transitions, 1765 secs || 38487257 markings, 195396242 edges, 21559 markings/sec, 1765 secs
lola: STP completed || 61 tries, 60747998 fired transitions, 1770 secs || 38596716 markings, 196065619 edges, 21892 markings/sec, 1770 secs
lola: STP completed || 61 tries, 60932627 fired transitions, 1775 secs || 38705541 markings, 196724493 edges, 21765 markings/sec, 1775 secs
lola: STP completed || 62 tries, 61115990 fired transitions, 1780 secs || 38812973 markings, 197384451 edges, 21486 markings/sec, 1780 secs
lola: STP completed || 62 tries, 61292224 fired transitions, 1785 secs || 38918433 markings, 198056044 edges, 21092 markings/sec, 1785 secs
lola: STP completed || 62 tries, 61467423 fired transitions, 1790 secs || 39024589 markings, 198691934 edges, 21231 markings/sec, 1790 secs
lola: STP completed || 62 tries, 61648358 fired transitions, 1795 secs || 39128190 markings, 199378416 edges, 20720 markings/sec, 1795 secs
lola: STP completed || 62 tries, 61830463 fired transitions, 1800 secs || 39234828 markings, 200035700 edges, 21328 markings/sec, 1800 secs
lola: STP completed || 63 tries, 62019704 fired transitions, 1805 secs || 39341836 markings, 200692190 edges, 21402 markings/sec, 1805 secs
lola: STP completed || 63 tries, 62204556 fired transitions, 1810 secs || 39449108 markings, 201351112 edges, 21454 markings/sec, 1810 secs
lola: STP completed || 63 tries, 62390676 fired transitions, 1815 secs || 39558028 markings, 202033369 edges, 21784 markings/sec, 1815 secs
lola: STP completed || 63 tries, 62576685 fired transitions, 1820 secs || 39666170 markings, 202724875 edges, 21628 markings/sec, 1820 secs
lola: STP completed || 63 tries, 62765326 fired transitions, 1825 secs || 39774221 markings, 203401167 edges, 21610 markings/sec, 1825 secs
lola: STP completed || 63 tries, 62953181 fired transitions, 1830 secs || 39879654 markings, 204069410 edges, 21087 markings/sec, 1830 secs
lola: STP completed || 64 tries, 63141805 fired transitions, 1835 secs || 39986143 markings, 204744191 edges, 21298 markings/sec, 1835 secs
lola: STP completed || 64 tries, 63331375 fired transitions, 1840 secs || 40093229 markings, 205418777 edges, 21417 markings/sec, 1840 secs
lola: STP completed || 64 tries, 63519166 fired transitions, 1845 secs || 40200132 markings, 206078962 edges, 21381 markings/sec, 1845 secs
lola: STP completed || 64 tries, 63703919 fired transitions, 1850 secs || 40307626 markings, 206761190 edges, 21499 markings/sec, 1850 secs
lola: STP completed || 64 tries, 63892013 fired transitions, 1855 secs || 40413685 markings, 207428418 edges, 21212 markings/sec, 1855 secs
lola: STP completed || 65 tries, 64081560 fired transitions, 1860 secs || 40518480 markings, 208074851 edges, 20959 markings/sec, 1860 secs
lola: STP completed || 65 tries, 64269267 fired transitions, 1865 secs || 40626846 markings, 208743238 edges, 21673 markings/sec, 1865 secs
lola: STP completed || 65 tries, 64456256 fired transitions, 1870 secs || 40733806 markings, 209418236 edges, 21392 markings/sec, 1870 secs
lola: STP completed || 65 tries, 64640724 fired transitions, 1875 secs || 40841994 markings, 210082093 edges, 21638 markings/sec, 1875 secs
lola: STP completed || 65 tries, 64827475 fired transitions, 1880 secs || 40948875 markings, 210744278 edges, 21376 markings/sec, 1880 secs
lola: STP completed || 66 tries, 65014013 fired transitions, 1885 secs || 41055788 markings, 211411420 edges, 21383 markings/sec, 1885 secs
lola: STP completed || 66 tries, 65202396 fired transitions, 1890 secs || 41163904 markings, 212085377 edges, 21623 markings/sec, 1890 secs
lola: STP completed || 66 tries, 65388498 fired transitions, 1895 secs || 41272494 markings, 212791846 edges, 21718 markings/sec, 1895 secs
lola: STP completed || 66 tries, 65574735 fired transitions, 1900 secs || 41383671 markings, 213491855 edges, 22235 markings/sec, 1900 secs
lola: STP completed || 66 tries, 65723654 fired transitions, 1905 secs || 41472227 markings, 214051449 edges, 17711 markings/sec, 1905 secs
lola: STP completed || 66 tries, 65853480 fired transitions, 1910 secs || 41548411 markings, 214542062 edges, 15237 markings/sec, 1910 secs
lola: STP completed || 66 tries, 65985054 fired transitions, 1915 secs || 41623392 markings, 215022499 edges, 14996 markings/sec, 1915 secs
lola: STP completed || 67 tries, 66115287 fired transitions, 1920 secs || 41699784 markings, 215498382 edges, 15278 markings/sec, 1920 secs
lola: STP completed || 67 tries, 66246049 fired transitions, 1925 secs || 41773552 markings, 215991848 edges, 14754 markings/sec, 1925 secs
lola: STP completed || 67 tries, 66377393 fired transitions, 1930 secs || 41849736 markings, 216469849 edges, 15237 markings/sec, 1930 secs
lola: STP completed || 67 tries, 66507504 fired transitions, 1935 secs || 41926348 markings, 216951960 edges, 15322 markings/sec, 1935 secs
lola: STP completed || 67 tries, 66638158 fired transitions, 1940 secs || 42000839 markings, 217456981 edges, 14898 markings/sec, 1940 secs
lola: STP completed || 67 tries, 66766942 fired transitions, 1945 secs || 42075234 markings, 217956972 edges, 14879 markings/sec, 1945 secs
lola: STP completed || 67 tries, 66897061 fired transitions, 1950 secs || 42152296 markings, 218463547 edges, 15412 markings/sec, 1950 secs
lola: STP completed || 68 tries, 67029207 fired transitions, 1955 secs || 42230022 markings, 218948595 edges, 15545 markings/sec, 1955 secs
lola: STP completed || 68 tries, 67156165 fired transitions, 1960 secs || 42304197 markings, 219444342 edges, 14835 markings/sec, 1960 secs
lola: STP completed || 68 tries, 67289725 fired transitions, 1965 secs || 42381576 markings, 219937412 edges, 15476 markings/sec, 1965 secs
lola: STP completed || 68 tries, 67409437 fired transitions, 1970 secs || 42451198 markings, 220390981 edges, 13924 markings/sec, 1970 secs
lola: STP completed || 68 tries, 67542823 fired transitions, 1975 secs || 42528526 markings, 220902131 edges, 15466 markings/sec, 1975 secs
lola: STP completed || 68 tries, 67672600 fired transitions, 1980 secs || 42603466 markings, 221391839 edges, 14988 markings/sec, 1980 secs
lola: STP completed || 68 tries, 67807694 fired transitions, 1985 secs || 42680614 markings, 221890384 edges, 15430 markings/sec, 1985 secs
lola: STP completed || 68 tries, 67940741 fired transitions, 1990 secs || 42758018 markings, 222373376 edges, 15481 markings/sec, 1990 secs
lola: STP completed || 69 tries, 68066747 fired transitions, 1995 secs || 42832956 markings, 222837521 edges, 14988 markings/sec, 1995 secs
lola: STP completed || 69 tries, 68190832 fired transitions, 2000 secs || 42904132 markings, 223295076 edges, 14235 markings/sec, 2000 secs
lola: STP completed || 69 tries, 68313916 fired transitions, 2005 secs || 42975398 markings, 223764455 edges, 14253 markings/sec, 2005 secs
lola: STP completed || 69 tries, 68437321 fired transitions, 2010 secs || 43046160 markings, 224226642 edges, 14152 markings/sec, 2010 secs
lola: STP completed || 69 tries, 68562157 fired transitions, 2015 secs || 43118827 markings, 224706108 edges, 14533 markings/sec, 2015 secs
lola: STP completed || 69 tries, 68690109 fired transitions, 2020 secs || 43192543 markings, 225193072 edges, 14743 markings/sec, 2020 secs
lola: STP completed || 69 tries, 68809388 fired transitions, 2025 secs || 43261532 markings, 225646784 edges, 13798 markings/sec, 2025 secs
lola: STP completed || 69 tries, 68929140 fired transitions, 2030 secs || 43330604 markings, 226115799 edges, 13814 markings/sec, 2030 secs
lola: STP completed || 70 tries, 69049242 fired transitions, 2035 secs || 43400838 markings, 226566622 edges, 14047 markings/sec, 2035 secs
lola: STP completed || 70 tries, 69168714 fired transitions, 2040 secs || 43469916 markings, 227030194 edges, 13816 markings/sec, 2040 secs
lola: STP completed || 70 tries, 69292718 fired transitions, 2045 secs || 43541535 markings, 227514101 edges, 14324 markings/sec, 2045 secs
lola: STP completed || 70 tries, 69414559 fired transitions, 2050 secs || 43611853 markings, 227978875 edges, 14064 markings/sec, 2050 secs
lola: STP completed || 70 tries, 69534067 fired transitions, 2055 secs || 43679895 markings, 228433055 edges, 13608 markings/sec, 2055 secs
lola: STP completed || 70 tries, 69653506 fired transitions, 2060 secs || 43749781 markings, 228899058 edges, 13977 markings/sec, 2060 secs
lola: STP completed || 70 tries, 69810793 fired transitions, 2065 secs || 43840804 markings, 229510370 edges, 18205 markings/sec, 2065 secs
lola: STP completed || 70 tries, 69985917 fired transitions, 2070 secs || 43944062 markings, 230184464 edges, 20652 markings/sec, 2070 secs
lola: STP completed || 71 tries, 70162627 fired transitions, 2075 secs || 44048437 markings, 230870895 edges, 20875 markings/sec, 2075 secs
lola: STP completed || 71 tries, 70339571 fired transitions, 2080 secs || 44155238 markings, 231592847 edges, 21360 markings/sec, 2080 secs
lola: STP completed || 71 tries, 70517354 fired transitions, 2085 secs || 44260446 markings, 232264251 edges, 21042 markings/sec, 2085 secs
lola: STP completed || 71 tries, 70695694 fired transitions, 2090 secs || 44364736 markings, 232973979 edges, 20858 markings/sec, 2090 secs
lola: STP completed || 71 tries, 70873322 fired transitions, 2095 secs || 44470594 markings, 233635601 edges, 21172 markings/sec, 2095 secs
lola: STP completed || 72 tries, 71050120 fired transitions, 2100 secs || 44579291 markings, 234324334 edges, 21739 markings/sec, 2100 secs
lola: STP completed || 72 tries, 71228325 fired transitions, 2105 secs || 44683302 markings, 235008661 edges, 20802 markings/sec, 2105 secs
lola: STP completed || 72 tries, 71402161 fired transitions, 2110 secs || 44787137 markings, 235661137 edges, 20767 markings/sec, 2110 secs
lola: STP completed || 72 tries, 71522250 fired transitions, 2115 secs || 44857396 markings, 236129991 edges, 14052 markings/sec, 2115 secs
lola: STP completed || 72 tries, 71645087 fired transitions, 2120 secs || 44930242 markings, 236592879 edges, 14569 markings/sec, 2120 secs
lola: STP completed || 72 tries, 71770311 fired transitions, 2125 secs || 45002042 markings, 237069516 edges, 14360 markings/sec, 2125 secs
lola: STP completed || 72 tries, 71895413 fired transitions, 2130 secs || 45073709 markings, 237555276 edges, 14333 markings/sec, 2130 secs
lola: STP completed || 73 tries, 72021169 fired transitions, 2135 secs || 45146182 markings, 238035791 edges, 14495 markings/sec, 2135 secs
lola: STP completed || 73 tries, 72145679 fired transitions, 2140 secs || 45217798 markings, 238505564 edges, 14323 markings/sec, 2140 secs
lola: STP completed || 73 tries, 72272005 fired transitions, 2145 secs || 45292220 markings, 239001461 edges, 14884 markings/sec, 2145 secs
lola: STP completed || 73 tries, 72396847 fired transitions, 2150 secs || 45363370 markings, 239485196 edges, 14230 markings/sec, 2150 secs
lola: STP completed || 73 tries, 72522625 fired transitions, 2155 secs || 45435797 markings, 239957926 edges, 14485 markings/sec, 2155 secs
lola: STP completed || 73 tries, 72646564 fired transitions, 2160 secs || 45507644 markings, 240425538 edges, 14369 markings/sec, 2160 secs
lola: STP completed || 73 tries, 72772028 fired transitions, 2165 secs || 45579876 markings, 240911619 edges, 14446 markings/sec, 2165 secs
lola: STP completed || 73 tries, 72896782 fired transitions, 2170 secs || 45650346 markings, 241425376 edges, 14094 markings/sec, 2170 secs
lola: STP completed || 74 tries, 73022172 fired transitions, 2175 secs || 45723251 markings, 241914779 edges, 14581 markings/sec, 2175 secs
lola: STP completed || 74 tries, 73192647 fired transitions, 2180 secs || 45826231 markings, 242596198 edges, 20596 markings/sec, 2180 secs
lola: STP completed || 74 tries, 73374054 fired transitions, 2185 secs || 45930917 markings, 243295662 edges, 20937 markings/sec, 2185 secs
lola: STP completed || 74 tries, 73553980 fired transitions, 2190 secs || 46035075 markings, 243994688 edges, 20832 markings/sec, 2190 secs
lola: STP completed || 74 tries, 73729983 fired transitions, 2195 secs || 46140977 markings, 244713648 edges, 21180 markings/sec, 2195 secs
lola: STP completed || 74 tries, 73908137 fired transitions, 2200 secs || 46247347 markings, 245402405 edges, 21274 markings/sec, 2200 secs
lola: STP completed || 75 tries, 74088030 fired transitions, 2205 secs || 46351775 markings, 246090288 edges, 20886 markings/sec, 2205 secs
lola: STP completed || 75 tries, 74270822 fired transitions, 2210 secs || 46454716 markings, 246794057 edges, 20588 markings/sec, 2210 secs
lola: STP completed || 75 tries, 74453048 fired transitions, 2215 secs || 46560200 markings, 247504958 edges, 21097 markings/sec, 2215 secs
lola: STP completed || 75 tries, 74637926 fired transitions, 2220 secs || 46665610 markings, 248194779 edges, 21082 markings/sec, 2220 secs
lola: STP completed || 75 tries, 74822522 fired transitions, 2225 secs || 46771375 markings, 248891646 edges, 21153 markings/sec, 2225 secs
lola: STP completed || 76 tries, 75007489 fired transitions, 2230 secs || 46876238 markings, 249574741 edges, 20973 markings/sec, 2230 secs
lola: STP completed || 76 tries, 75193163 fired transitions, 2235 secs || 46980546 markings, 250264557 edges, 20862 markings/sec, 2235 secs
lola: STP completed || 76 tries, 75378701 fired transitions, 2240 secs || 47085500 markings, 250960040 edges, 20991 markings/sec, 2240 secs
lola: STP completed || 76 tries, 75561358 fired transitions, 2245 secs || 47192682 markings, 251666393 edges, 21436 markings/sec, 2245 secs
lola: STP completed || 76 tries, 75744626 fired transitions, 2250 secs || 47295943 markings, 252333292 edges, 20652 markings/sec, 2250 secs
lola: STP completed || 76 tries, 75928604 fired transitions, 2255 secs || 47396539 markings, 253029895 edges, 20119 markings/sec, 2255 secs
lola: STP completed || 77 tries, 76113357 fired transitions, 2260 secs || 47499453 markings, 253713614 edges, 20583 markings/sec, 2260 secs
lola: STP completed || 77 tries, 76298215 fired transitions, 2265 secs || 47602709 markings, 254408703 edges, 20651 markings/sec, 2265 secs
lola: STP completed || 77 tries, 76483646 fired transitions, 2270 secs || 47708194 markings, 255094190 edges, 21097 markings/sec, 2270 secs
lola: STP completed || 77 tries, 76670699 fired transitions, 2275 secs || 47814696 markings, 255791197 edges, 21300 markings/sec, 2275 secs
lola: STP completed || 77 tries, 76862574 fired transitions, 2280 secs || 47920614 markings, 256491061 edges, 21184 markings/sec, 2280 secs
lola: STP completed || 78 tries, 77052534 fired transitions, 2285 secs || 48026704 markings, 257195973 edges, 21218 markings/sec, 2285 secs
lola: STP completed || 78 tries, 77241189 fired transitions, 2290 secs || 48132983 markings, 257892665 edges, 21256 markings/sec, 2290 secs
lola: STP completed || 78 tries, 77429998 fired transitions, 2295 secs || 48240507 markings, 258576070 edges, 21505 markings/sec, 2295 secs
lola: STP completed || 78 tries, 77620278 fired transitions, 2300 secs || 48341911 markings, 259260091 edges, 20281 markings/sec, 2300 secs
lola: STP completed || 78 tries, 77807887 fired transitions, 2305 secs || 48444514 markings, 259928918 edges, 20521 markings/sec, 2305 secs
lola: STP completed || 78 tries, 77997103 fired transitions, 2310 secs || 48549181 markings, 260611294 edges, 20933 markings/sec, 2310 secs
lola: STP completed || 79 tries, 78185429 fired transitions, 2315 secs || 48653366 markings, 261299539 edges, 20837 markings/sec, 2315 secs
lola: STP completed || 79 tries, 78366402 fired transitions, 2320 secs || 48760421 markings, 261995495 edges, 21411 markings/sec, 2320 secs
lola: STP completed || 79 tries, 78549802 fired transitions, 2325 secs || 48864361 markings, 262698122 edges, 20788 markings/sec, 2325 secs
lola: STP completed || 79 tries, 78731328 fired transitions, 2330 secs || 48971124 markings, 263387985 edges, 21353 markings/sec, 2330 secs
lola: STP completed || 79 tries, 78911064 fired transitions, 2335 secs || 49075391 markings, 264093344 edges, 20853 markings/sec, 2335 secs
lola: STP completed || 80 tries, 79090622 fired transitions, 2340 secs || 49181760 markings, 264826159 edges, 21274 markings/sec, 2340 secs
lola: STP completed || 80 tries, 79268723 fired transitions, 2345 secs || 49291364 markings, 265563583 edges, 21921 markings/sec, 2345 secs
lola: STP completed || 80 tries, 79445726 fired transitions, 2350 secs || 49401746 markings, 266296131 edges, 22076 markings/sec, 2350 secs
lola: STP completed || 80 tries, 79623094 fired transitions, 2355 secs || 49511412 markings, 266993347 edges, 21933 markings/sec, 2355 secs
lola: STP completed || 80 tries, 79803333 fired transitions, 2360 secs || 49618970 markings, 267727434 edges, 21512 markings/sec, 2360 secs
lola: STP completed || 80 tries, 79985970 fired transitions, 2365 secs || 49726965 markings, 268452632 edges, 21599 markings/sec, 2365 secs
lola: STP completed || 81 tries, 80171328 fired transitions, 2370 secs || 49832089 markings, 269128962 edges, 21025 markings/sec, 2370 secs
lola: STP completed || 81 tries, 80322908 fired transitions, 2375 secs || 49918870 markings, 269734453 edges, 17356 markings/sec, 2375 secs
lola: STP completed || 81 tries, 80442440 fired transitions, 2380 secs || 49987253 markings, 270211424 edges, 13677 markings/sec, 2380 secs
lola: STP completed || 81 tries, 80562135 fired transitions, 2385 secs || 50055227 markings, 270673249 edges, 13595 markings/sec, 2385 secs
lola: STP completed || 81 tries, 80680691 fired transitions, 2390 secs || 50121854 markings, 271148820 edges, 13325 markings/sec, 2390 secs
lola: STP completed || 81 tries, 80806228 fired transitions, 2395 secs || 50193237 markings, 271640405 edges, 14277 markings/sec, 2395 secs
lola: STP completed || 81 tries, 80932152 fired transitions, 2400 secs || 50265358 markings, 272135018 edges, 14424 markings/sec, 2400 secs
lola: STP completed || 82 tries, 81055938 fired transitions, 2405 secs || 50334553 markings, 272645576 edges, 13839 markings/sec, 2405 secs
lola: STP completed || 82 tries, 81182950 fired transitions, 2410 secs || 50406990 markings, 273141435 edges, 14487 markings/sec, 2410 secs
lola: STP completed || 82 tries, 81309497 fired transitions, 2415 secs || 50480133 markings, 273637974 edges, 14629 markings/sec, 2415 secs
lola: STP completed || 82 tries, 81436658 fired transitions, 2420 secs || 50552303 markings, 274156319 edges, 14434 markings/sec, 2420 secs
lola: STP completed || 82 tries, 81563948 fired transitions, 2425 secs || 50623584 markings, 274674101 edges, 14256 markings/sec, 2425 secs
lola: STP completed || 82 tries, 81692550 fired transitions, 2430 secs || 50697217 markings, 275187886 edges, 14727 markings/sec, 2430 secs
lola: STP completed || 82 tries, 81822629 fired transitions, 2435 secs || 50771965 markings, 275711123 edges, 14950 markings/sec, 2435 secs
lola: STP completed || 82 tries, 81953079 fired transitions, 2440 secs || 50845868 markings, 276250130 edges, 14781 markings/sec, 2440 secs
lola: STP completed || 83 tries, 82083748 fired transitions, 2445 secs || 50919144 markings, 276797747 edges, 14655 markings/sec, 2445 secs
lola: STP completed || 83 tries, 82213753 fired transitions, 2450 secs || 50992910 markings, 277304415 edges, 14753 markings/sec, 2450 secs
lola: STP completed || 83 tries, 82341694 fired transitions, 2455 secs || 51065179 markings, 277815774 edges, 14454 markings/sec, 2455 secs
lola: STP completed || 83 tries, 82469011 fired transitions, 2460 secs || 51137336 markings, 278333000 edges, 14431 markings/sec, 2460 secs
lola: STP completed || 83 tries, 82585465 fired transitions, 2465 secs || 51203985 markings, 278798306 edges, 13330 markings/sec, 2465 secs
lola: STP completed || 83 tries, 82705134 fired transitions, 2470 secs || 51272044 markings, 279277773 edges, 13612 markings/sec, 2470 secs
lola: STP completed || 83 tries, 82823359 fired transitions, 2475 secs || 51341765 markings, 279759202 edges, 13944 markings/sec, 2475 secs
lola: STP completed || 83 tries, 82942566 fired transitions, 2480 secs || 51408254 markings, 280239356 edges, 13298 markings/sec, 2480 secs
lola: STP completed || 84 tries, 83060364 fired transitions, 2485 secs || 51474580 markings, 280718292 edges, 13265 markings/sec, 2485 secs
lola: STP completed || 84 tries, 83178106 fired transitions, 2490 secs || 51541504 markings, 281185022 edges, 13385 markings/sec, 2490 secs
lola: STP completed || 84 tries, 83297463 fired transitions, 2495 secs || 51609475 markings, 281648416 edges, 13594 markings/sec, 2495 secs
lola: STP completed || 84 tries, 83415531 fired transitions, 2500 secs || 51679125 markings, 282111845 edges, 13930 markings/sec, 2500 secs
lola: STP completed || 84 tries, 83534014 fired transitions, 2505 secs || 51746123 markings, 282595586 edges, 13400 markings/sec, 2505 secs
lola: STP completed || 84 tries, 83652165 fired transitions, 2510 secs || 51812832 markings, 283063252 edges, 13342 markings/sec, 2510 secs
lola: STP completed || 84 tries, 83772002 fired transitions, 2515 secs || 51880775 markings, 283542000 edges, 13589 markings/sec, 2515 secs
lola: STP completed || 84 tries, 83890507 fired transitions, 2520 secs || 51947122 markings, 284030003 edges, 13269 markings/sec, 2520 secs
lola: STP completed || 85 tries, 84008152 fired transitions, 2525 secs || 52013805 markings, 284493694 edges, 13337 markings/sec, 2525 secs
lola: STP completed || 85 tries, 84131288 fired transitions, 2530 secs || 52084547 markings, 285013963 edges, 14148 markings/sec, 2530 secs
lola: STP completed || 85 tries, 84252923 fired transitions, 2535 secs || 52153974 markings, 285481393 edges, 13885 markings/sec, 2535 secs
lola: STP completed || 85 tries, 84376275 fired transitions, 2540 secs || 52224775 markings, 285971213 edges, 14160 markings/sec, 2540 secs
lola: STP completed || 85 tries, 84500762 fired transitions, 2545 secs || 52296476 markings, 286455637 edges, 14340 markings/sec, 2545 secs
lola: STP completed || 85 tries, 84623987 fired transitions, 2550 secs || 52367129 markings, 286944674 edges, 14131 markings/sec, 2550 secs
lola: STP completed || 85 tries, 84747022 fired transitions, 2555 secs || 52437544 markings, 287436722 edges, 14083 markings/sec, 2555 secs
lola: STP completed || 85 tries, 84869794 fired transitions, 2560 secs || 52506871 markings, 287917680 edges, 13865 markings/sec, 2560 secs
lola: STP completed || 85 tries, 84990403 fired transitions, 2565 secs || 52574219 markings, 288429686 edges, 13470 markings/sec, 2565 secs
lola: STP completed || 86 tries, 85110798 fired transitions, 2570 secs || 52642666 markings, 288907847 edges, 13689 markings/sec, 2570 secs
lola: STP completed || 86 tries, 85230808 fired transitions, 2575 secs || 52710274 markings, 289393841 edges, 13522 markings/sec, 2575 secs
lola: STP completed || 86 tries, 85352552 fired transitions, 2580 secs || 52781445 markings, 289873237 edges, 14234 markings/sec, 2580 secs
lola: STP completed || 86 tries, 85484177 fired transitions, 2585 secs || 52857364 markings, 290395197 edges, 15184 markings/sec, 2585 secs
lola: STP completed || 86 tries, 85614978 fired transitions, 2590 secs || 52932724 markings, 290928615 edges, 15072 markings/sec, 2590 secs
lola: STP completed || 86 tries, 85745808 fired transitions, 2595 secs || 53007561 markings, 291443606 edges, 14967 markings/sec, 2595 secs
lola: STP completed || 86 tries, 85880892 fired transitions, 2600 secs || 53086470 markings, 291974842 edges, 15782 markings/sec, 2600 secs
lola: STP completed || 87 tries, 86065878 fired transitions, 2605 secs || 53186445 markings, 292700302 edges, 19995 markings/sec, 2605 secs
lola: STP completed || 87 tries, 86204596 fired transitions, 2610 secs || 53265335 markings, 293252266 edges, 15778 markings/sec, 2610 secs
lola: STP completed || 87 tries, 86337069 fired transitions, 2615 secs || 53341718 markings, 293779382 edges, 15277 markings/sec, 2615 secs
lola: STP completed || 87 tries, 86484022 fired transitions, 2620 secs || 53424758 markings, 294342886 edges, 16608 markings/sec, 2620 secs
lola: STP completed || 87 tries, 86616220 fired transitions, 2625 secs || 53498937 markings, 294869664 edges, 14836 markings/sec, 2625 secs
lola: STP completed || 87 tries, 86745650 fired transitions, 2630 secs || 53573901 markings, 295390278 edges, 14993 markings/sec, 2630 secs
lola: STP completed || 87 tries, 86893476 fired transitions, 2635 secs || 53659555 markings, 295992669 edges, 17131 markings/sec, 2635 secs
lola: STP completed || 88 tries, 87071792 fired transitions, 2640 secs || 53763569 markings, 296689790 edges, 20803 markings/sec, 2640 secs
lola: STP completed || 88 tries, 87250120 fired transitions, 2645 secs || 53867267 markings, 297397764 edges, 20740 markings/sec, 2645 secs
lola: STP completed || 88 tries, 87430990 fired transitions, 2650 secs || 53973144 markings, 298110329 edges, 21175 markings/sec, 2650 secs
lola: STP completed || 88 tries, 87608129 fired transitions, 2655 secs || 54076386 markings, 298822869 edges, 20648 markings/sec, 2655 secs
lola: STP completed || 88 tries, 87792859 fired transitions, 2660 secs || 54183495 markings, 299578428 edges, 21422 markings/sec, 2660 secs
lola: STP completed || 88 tries, 87981370 fired transitions, 2665 secs || 54292496 markings, 300379554 edges, 21800 markings/sec, 2665 secs
lola: STP completed || 89 tries, 88170360 fired transitions, 2670 secs || 54401748 markings, 301139377 edges, 21850 markings/sec, 2670 secs
lola: STP completed || 89 tries, 88357237 fired transitions, 2675 secs || 54512559 markings, 301886257 edges, 22162 markings/sec, 2675 secs
lola: STP completed || 89 tries, 88545765 fired transitions, 2680 secs || 54621513 markings, 302658109 edges, 21791 markings/sec, 2680 secs
lola: STP completed || 89 tries, 88733673 fired transitions, 2685 secs || 54729938 markings, 303416224 edges, 21685 markings/sec, 2685 secs
lola: STP completed || 89 tries, 88924115 fired transitions, 2690 secs || 54835888 markings, 304175826 edges, 21190 markings/sec, 2690 secs
lola: STP completed || 90 tries, 89114961 fired transitions, 2695 secs || 54943267 markings, 304937297 edges, 21476 markings/sec, 2695 secs
lola: STP completed || 90 tries, 89306110 fired transitions, 2700 secs || 55052843 markings, 305690130 edges, 21915 markings/sec, 2700 secs
lola: STP completed || 90 tries, 89496625 fired transitions, 2705 secs || 55161488 markings, 306479900 edges, 21729 markings/sec, 2705 secs
lola: STP completed || 90 tries, 89687151 fired transitions, 2710 secs || 55270411 markings, 307228760 edges, 21785 markings/sec, 2710 secs
lola: STP completed || 90 tries, 89878205 fired transitions, 2715 secs || 55380308 markings, 307989658 edges, 21979 markings/sec, 2715 secs
lola: STP completed || 91 tries, 90048457 fired transitions, 2720 secs || 55476390 markings, 308692770 edges, 19216 markings/sec, 2720 secs
lola: STP completed || 91 tries, 90181559 fired transitions, 2725 secs || 55550114 markings, 309229388 edges, 14745 markings/sec, 2725 secs
lola: STP completed || 91 tries, 90313616 fired transitions, 2730 secs || 55625031 markings, 309748037 edges, 14983 markings/sec, 2730 secs
lola: STP completed || 91 tries, 90440749 fired transitions, 2735 secs || 55696800 markings, 310251851 edges, 14354 markings/sec, 2735 secs
lola: STP completed || 91 tries, 90561268 fired transitions, 2740 secs || 55763891 markings, 310758880 edges, 13418 markings/sec, 2740 secs
lola: STP completed || 91 tries, 90684764 fired transitions, 2745 secs || 55835243 markings, 311249693 edges, 14270 markings/sec, 2745 secs
lola: STP completed || 91 tries, 90808527 fired transitions, 2750 secs || 55905051 markings, 311752608 edges, 13962 markings/sec, 2750 secs
lola: STP completed || 91 tries, 90931640 fired transitions, 2755 secs || 55977786 markings, 312241585 edges, 14547 markings/sec, 2755 secs
lola: STP completed || 92 tries, 91056541 fired transitions, 2760 secs || 56047331 markings, 312742029 edges, 13909 markings/sec, 2760 secs
lola: STP completed || 92 tries, 91184413 fired transitions, 2765 secs || 56119164 markings, 313252782 edges, 14367 markings/sec, 2765 secs
lola: STP completed || 92 tries, 91310343 fired transitions, 2770 secs || 56187462 markings, 313760169 edges, 13660 markings/sec, 2770 secs
lola: STP completed || 92 tries, 91435095 fired transitions, 2775 secs || 56257642 markings, 314263362 edges, 14036 markings/sec, 2775 secs
lola: STP completed || 92 tries, 91560869 fired transitions, 2780 secs || 56328618 markings, 314766775 edges, 14195 markings/sec, 2780 secs
lola: STP completed || 92 tries, 91687686 fired transitions, 2785 secs || 56399732 markings, 315284529 edges, 14223 markings/sec, 2785 secs
lola: STP completed || 92 tries, 91813992 fired transitions, 2790 secs || 56471273 markings, 315790865 edges, 14308 markings/sec, 2790 secs
lola: STP completed || 92 tries, 91942143 fired transitions, 2795 secs || 56543559 markings, 316287442 edges, 14457 markings/sec, 2795 secs
lola: STP completed || 93 tries, 92072786 fired transitions, 2800 secs || 56618355 markings, 316800839 edges, 14959 markings/sec, 2800 secs
lola: STP completed || 93 tries, 92204117 fired transitions, 2805 secs || 56694838 markings, 317338011 edges, 15297 markings/sec, 2805 secs
lola: STP completed || 93 tries, 92335645 fired transitions, 2810 secs || 56768079 markings, 317868023 edges, 14648 markings/sec, 2810 secs
lola: STP completed || 93 tries, 92465993 fired transitions, 2815 secs || 56840247 markings, 318402520 edges, 14434 markings/sec, 2815 secs
lola: STP completed || 93 tries, 92596797 fired transitions, 2820 secs || 56914325 markings, 318921387 edges, 14816 markings/sec, 2820 secs
lola: STP completed || 93 tries, 92730409 fired transitions, 2825 secs || 56987893 markings, 319466171 edges, 14714 markings/sec, 2825 secs
lola: STP completed || 93 tries, 92860881 fired transitions, 2830 secs || 57062007 markings, 319973564 edges, 14823 markings/sec, 2830 secs
lola: STP completed || 94 tries, 93032479 fired transitions, 2835 secs || 57149637 markings, 320614088 edges, 17526 markings/sec, 2835 secs
lola: STP completed || 94 tries, 93178416 fired transitions, 2840 secs || 57231133 markings, 321190640 edges, 16299 markings/sec, 2840 secs
lola: STP completed || 94 tries, 93316829 fired transitions, 2845 secs || 57308521 markings, 321755500 edges, 15478 markings/sec, 2845 secs
lola: STP completed || 94 tries, 93453210 fired transitions, 2850 secs || 57383487 markings, 322305034 edges, 14993 markings/sec, 2850 secs
lola: STP completed || 94 tries, 93587293 fired transitions, 2855 secs || 57459237 markings, 322867386 edges, 15150 markings/sec, 2855 secs
lola: STP completed || 94 tries, 93721472 fired transitions, 2860 secs || 57533856 markings, 323415092 edges, 14924 markings/sec, 2860 secs
lola: STP completed || 94 tries, 93855968 fired transitions, 2865 secs || 57608589 markings, 323960170 edges, 14947 markings/sec, 2865 secs
lola: STP completed || 95 tries, 94010606 fired transitions, 2870 secs || 57699555 markings, 324637675 edges, 18193 markings/sec, 2870 secs
lola: STP completed || 95 tries, 94195444 fired transitions, 2875 secs || 57812516 markings, 325400414 edges, 22592 markings/sec, 2875 secs
lola: STP completed || 95 tries, 94384184 fired transitions, 2880 secs || 57926086 markings, 326157730 edges, 22714 markings/sec, 2880 secs
lola: STP completed || 95 tries, 94573189 fired transitions, 2885 secs || 58037810 markings, 326939153 edges, 22345 markings/sec, 2885 secs
lola: STP completed || 95 tries, 94762967 fired transitions, 2890 secs || 58150398 markings, 327784448 edges, 22518 markings/sec, 2890 secs
lola: STP completed || 95 tries, 94950056 fired transitions, 2895 secs || 58264952 markings, 328586769 edges, 22911 markings/sec, 2895 secs
lola: STP completed || 96 tries, 95140731 fired transitions, 2900 secs || 58374633 markings, 329397591 edges, 21936 markings/sec, 2900 secs
lola: STP completed || 96 tries, 95330293 fired transitions, 2905 secs || 58485900 markings, 330201001 edges, 22253 markings/sec, 2905 secs
lola: STP completed || 96 tries, 95519087 fired transitions, 2910 secs || 58593946 markings, 330965285 edges, 21609 markings/sec, 2910 secs
lola: STP completed || 96 tries, 95709814 fired transitions, 2915 secs || 58700234 markings, 331736920 edges, 21258 markings/sec, 2915 secs
lola: STP completed || 96 tries, 95899549 fired transitions, 2920 secs || 58807287 markings, 332487520 edges, 21411 markings/sec, 2920 secs
lola: STP completed || 97 tries, 96088535 fired transitions, 2925 secs || 58918152 markings, 333283093 edges, 22173 markings/sec, 2925 secs
lola: STP completed || 97 tries, 96278378 fired transitions, 2930 secs || 59029112 markings, 334056739 edges, 22192 markings/sec, 2930 secs
lola: STP completed || 97 tries, 96466219 fired transitions, 2935 secs || 59139458 markings, 334816139 edges, 22069 markings/sec, 2935 secs
lola: STP completed || 97 tries, 96657880 fired transitions, 2940 secs || 59245926 markings, 335598053 edges, 21294 markings/sec, 2940 secs
lola: STP completed || 97 tries, 96847438 fired transitions, 2945 secs || 59357465 markings, 336392527 edges, 22308 markings/sec, 2945 secs
lola: STP completed || 98 tries, 97036450 fired transitions, 2950 secs || 59465335 markings, 337151188 edges, 21574 markings/sec, 2950 secs
lola: STP completed || 98 tries, 97226734 fired transitions, 2955 secs || 59571534 markings, 337890979 edges, 21240 markings/sec, 2955 secs
lola: STP completed || 98 tries, 97414110 fired transitions, 2960 secs || 59682285 markings, 338651580 edges, 22150 markings/sec, 2960 secs
lola: STP completed || 98 tries, 97604396 fired transitions, 2965 secs || 59787870 markings, 339408527 edges, 21117 markings/sec, 2965 secs
lola: STP completed || 98 tries, 97794817 fired transitions, 2970 secs || 59894651 markings, 340163467 edges, 21356 markings/sec, 2970 secs
lola: STP completed || 98 tries, 97982508 fired transitions, 2975 secs || 60000980 markings, 340924984 edges, 21266 markings/sec, 2975 secs
lola: STP completed || 99 tries, 98171405 fired transitions, 2980 secs || 60109635 markings, 341705348 edges, 21731 markings/sec, 2980 secs
lola: STP completed || 99 tries, 98360765 fired transitions, 2985 secs || 60217157 markings, 342486546 edges, 21504 markings/sec, 2985 secs
lola: STP completed || 99 tries, 98547432 fired transitions, 2990 secs || 60322435 markings, 343271530 edges, 21056 markings/sec, 2990 secs
lola: STP completed || 99 tries, 98731770 fired transitions, 2995 secs || 60431715 markings, 344038323 edges, 21856 markings/sec, 2995 secs
lola: STP completed || 99 tries, 98869281 fired transitions, 3000 secs || 60511266 markings, 344596270 edges, 15910 markings/sec, 3000 secs
lola: STP completed || 100 tries, 99012414 fired transitions, 3005 secs || 60589275 markings, 345155797 edges, 15602 markings/sec, 3005 secs
lola: STP completed || 100 tries, 99197093 fired transitions, 3010 secs || 60699112 markings, 345895380 edges, 21967 markings/sec, 3010 secs
lola: STP completed || 100 tries, 99382565 fired transitions, 3015 secs || 60802947 markings, 346666798 edges, 20767 markings/sec, 3015 secs
lola: STP completed || 100 tries, 99567111 fired transitions, 3020 secs || 60911637 markings, 347414838 edges, 21738 markings/sec, 3020 secs
lola: STP completed || 100 tries, 99759330 fired transitions, 3025 secs || 61019856 markings, 348200028 edges, 21644 markings/sec, 3025 secs
lola: STP completed || 100 tries, 99948625 fired transitions, 3030 secs || 61124437 markings, 348996522 edges, 20916 markings/sec, 3030 secs
lola: STP completed || 101 tries, 100138496 fired transitions, 3035 secs || 61232485 markings, 349737433 edges, 21610 markings/sec, 3035 secs
lola: STP completed || 101 tries, 100327245 fired transitions, 3040 secs || 61341009 markings, 350496815 edges, 21705 markings/sec, 3040 secs
lola: STP completed || 101 tries, 100514089 fired transitions, 3045 secs || 61449357 markings, 351256728 edges, 21670 markings/sec, 3045 secs
lola: STP completed || 101 tries, 100699713 fired transitions, 3050 secs || 61552408 markings, 352027115 edges, 20610 markings/sec, 3050 secs
lola: STP completed || 101 tries, 100830700 fired transitions, 3055 secs || 61626336 markings, 352553282 edges, 14786 markings/sec, 3055 secs
lola: STP completed || 101 tries, 100963224 fired transitions, 3060 secs || 61700447 markings, 353112429 edges, 14822 markings/sec, 3060 secs
lola: STP completed || 102 tries, 101097340 fired transitions, 3065 secs || 61776562 markings, 353615695 edges, 15223 markings/sec, 3065 secs
lola: STP completed || 102 tries, 101231675 fired transitions, 3070 secs || 61853990 markings, 354170041 edges, 15486 markings/sec, 3070 secs
lola: STP completed || 102 tries, 101418798 fired transitions, 3075 secs || 61964244 markings, 354955547 edges, 22051 markings/sec, 3075 secs
lola: STP completed || 102 tries, 101611741 fired transitions, 3080 secs || 62065895 markings, 355761672 edges, 20330 markings/sec, 3080 secs
lola: STP completed || 102 tries, 101801043 fired transitions, 3085 secs || 62171790 markings, 356529212 edges, 21179 markings/sec, 3085 secs
lola: STP completed || 102 tries, 101989444 fired transitions, 3090 secs || 62275543 markings, 357260590 edges, 20751 markings/sec, 3090 secs
lola: STP completed || 103 tries, 102182015 fired transitions, 3095 secs || 62380404 markings, 357993108 edges, 20972 markings/sec, 3095 secs
lola: STP completed || 103 tries, 102374061 fired transitions, 3100 secs || 62484835 markings, 358721328 edges, 20886 markings/sec, 3100 secs
lola: STP completed || 103 tries, 102565379 fired transitions, 3105 secs || 62587912 markings, 359508125 edges, 20615 markings/sec, 3105 secs
lola: STP completed || 103 tries, 102756045 fired transitions, 3110 secs || 62694019 markings, 360261233 edges, 21221 markings/sec, 3110 secs
lola: STP completed || 103 tries, 102942956 fired transitions, 3115 secs || 62801550 markings, 360973758 edges, 21506 markings/sec, 3115 secs
lola: STP completed || 104 tries, 103133212 fired transitions, 3120 secs || 62907973 markings, 361691838 edges, 21285 markings/sec, 3120 secs
lola: STP completed || 104 tries, 103325490 fired transitions, 3125 secs || 63010402 markings, 362436445 edges, 20486 markings/sec, 3125 secs
lola: STP completed || 104 tries, 103518760 fired transitions, 3130 secs || 63112722 markings, 363206418 edges, 20464 markings/sec, 3130 secs
lola: STP completed || 104 tries, 103710718 fired transitions, 3135 secs || 63215639 markings, 363961838 edges, 20583 markings/sec, 3135 secs
lola: STP completed || 104 tries, 103905202 fired transitions, 3140 secs || 63315162 markings, 364745579 edges, 19905 markings/sec, 3140 secs
lola: STP completed || 105 tries, 104099080 fired transitions, 3145 secs || 63413432 markings, 365549632 edges, 19654 markings/sec, 3145 secs
lola: STP completed || 105 tries, 104293163 fired transitions, 3150 secs || 63516251 markings, 366305739 edges, 20564 markings/sec, 3150 secs
lola: STP completed || 105 tries, 104487531 fired transitions, 3155 secs || 63617936 markings, 367074635 edges, 20337 markings/sec, 3155 secs
lola: STP completed || 105 tries, 104679000 fired transitions, 3160 secs || 63720988 markings, 367842569 edges, 20610 markings/sec, 3160 secs
lola: STP completed || 105 tries, 104870263 fired transitions, 3165 secs || 63826066 markings, 368593332 edges, 21016 markings/sec, 3165 secs
lola: STP completed || 106 tries, 105062246 fired transitions, 3170 secs || 63930942 markings, 369362475 edges, 20975 markings/sec, 3170 secs
lola: STP completed || 106 tries, 105254317 fired transitions, 3175 secs || 64035612 markings, 370147535 edges, 20934 markings/sec, 3175 secs
lola: STP completed || 106 tries, 105448882 fired transitions, 3180 secs || 64137201 markings, 370935363 edges, 20318 markings/sec, 3180 secs
lola: STP completed || 106 tries, 105636669 fired transitions, 3185 secs || 64244993 markings, 371698602 edges, 21558 markings/sec, 3185 secs
lola: STP completed || 106 tries, 105828177 fired transitions, 3190 secs || 64351179 markings, 372459551 edges, 21237 markings/sec, 3190 secs
lola: STP completed || 107 tries, 106020572 fired transitions, 3195 secs || 64459088 markings, 373245664 edges, 21582 markings/sec, 3195 secs
lola: STP completed || 107 tries, 106213998 fired transitions, 3200 secs || 64565128 markings, 374033195 edges, 21208 markings/sec, 3200 secs
lola: STP completed || 107 tries, 106406410 fired transitions, 3205 secs || 64674285 markings, 374780082 edges, 21831 markings/sec, 3205 secs
lola: STP completed || 107 tries, 106597777 fired transitions, 3210 secs || 64781425 markings, 375574130 edges, 21428 markings/sec, 3210 secs
lola: STP completed || 107 tries, 106791240 fired transitions, 3215 secs || 64888103 markings, 376350121 edges, 21336 markings/sec, 3215 secs
lola: STP completed || 107 tries, 106980510 fired transitions, 3220 secs || 64993391 markings, 377107947 edges, 21058 markings/sec, 3220 secs
lola: STP completed || 108 tries, 107164701 fired transitions, 3225 secs || 65101545 markings, 377850308 edges, 21631 markings/sec, 3225 secs
lola: STP completed || 108 tries, 107356210 fired transitions, 3230 secs || 65205737 markings, 378627993 edges, 20838 markings/sec, 3230 secs
lola: STP completed || 108 tries, 107550671 fired transitions, 3235 secs || 65311707 markings, 379380253 edges, 21194 markings/sec, 3235 secs
lola: STP completed || 108 tries, 107743289 fired transitions, 3240 secs || 65416938 markings, 380176777 edges, 21046 markings/sec, 3240 secs
lola: STP completed || 108 tries, 107937485 fired transitions, 3245 secs || 65523089 markings, 380954118 edges, 21230 markings/sec, 3245 secs
lola: STP completed || 109 tries, 108130336 fired transitions, 3250 secs || 65628651 markings, 381738401 edges, 21112 markings/sec, 3250 secs
lola: STP completed || 109 tries, 108322458 fired transitions, 3255 secs || 65734689 markings, 382523686 edges, 21208 markings/sec, 3255 secs
lola: STP completed || 109 tries, 108515698 fired transitions, 3260 secs || 65841002 markings, 383296848 edges, 21263 markings/sec, 3260 secs
lola: STP completed || 109 tries, 108707051 fired transitions, 3265 secs || 65948258 markings, 384079468 edges, 21451 markings/sec, 3265 secs
lola: STP completed || 109 tries, 108898641 fired transitions, 3270 secs || 66052027 markings, 384852566 edges, 20754 markings/sec, 3270 secs
lola: STP completed || 110 tries, 109088564 fired transitions, 3275 secs || 66158848 markings, 385627778 edges, 21364 markings/sec, 3275 secs
lola: STP completed || 110 tries, 109282761 fired transitions, 3280 secs || 66261766 markings, 386452410 edges, 20584 markings/sec, 3280 secs
lola: STP completed || 110 tries, 109476682 fired transitions, 3285 secs || 66365486 markings, 387261887 edges, 20744 markings/sec, 3285 secs
lola: STP completed || 110 tries, 109667981 fired transitions, 3290 secs || 66472466 markings, 388002487 edges, 21396 markings/sec, 3290 secs
lola: STP completed || 110 tries, 109860605 fired transitions, 3295 secs || 66579654 markings, 388775833 edges, 21438 markings/sec, 3295 secs
lola: STP completed || 111 tries, 110054279 fired transitions, 3300 secs || 66685961 markings, 389556481 edges, 21261 markings/sec, 3300 secs
lola: STP completed || 111 tries, 110243724 fired transitions, 3305 secs || 66792710 markings, 390327966 edges, 21350 markings/sec, 3305 secs
lola: STP completed || 111 tries, 110432604 fired transitions, 3310 secs || 66897765 markings, 391116525 edges, 21011 markings/sec, 3310 secs
lola: STP completed || 111 tries, 110624895 fired transitions, 3315 secs || 67002124 markings, 391941532 edges, 20872 markings/sec, 3315 secs
lola: STP completed || 111 tries, 110815808 fired transitions, 3320 secs || 67109906 markings, 392747531 edges, 21556 markings/sec, 3320 secs
lola: STP completed || 112 tries, 111008220 fired transitions, 3325 secs || 67216241 markings, 393523604 edges, 21267 markings/sec, 3325 secs
lola: STP completed || 112 tries, 111198575 fired transitions, 3330 secs || 67321680 markings, 394293224 edges, 21088 markings/sec, 3330 secs
lola: STP completed || 112 tries, 111392846 fired transitions, 3335 secs || 67426230 markings, 395071015 edges, 20910 markings/sec, 3335 secs
lola: STP completed || 112 tries, 111585990 fired transitions, 3340 secs || 67530822 markings, 395836048 edges, 20918 markings/sec, 3340 secs
lola: STP completed || 112 tries, 111782667 fired transitions, 3345 secs || 67625756 markings, 396678725 edges, 18987 markings/sec, 3345 secs
lola: STP completed || 112 tries, 111977146 fired transitions, 3350 secs || 67728085 markings, 397436459 edges, 20466 markings/sec, 3350 secs
lola: STP completed || 113 tries, 112160655 fired transitions, 3355 secs || 67827518 markings, 398193351 edges, 19887 markings/sec, 3355 secs
lola: STP completed || 113 tries, 112340962 fired transitions, 3360 secs || 67928914 markings, 398985252 edges, 20279 markings/sec, 3360 secs
lola: STP completed || 113 tries, 112520007 fired transitions, 3365 secs || 68030583 markings, 399748656 edges, 20334 markings/sec, 3365 secs
lola: STP completed || 113 tries, 112699730 fired transitions, 3370 secs || 68131786 markings, 400538873 edges, 20241 markings/sec, 3370 secs
lola: STP completed || 113 tries, 112881755 fired transitions, 3375 secs || 68234105 markings, 401291196 edges, 20464 markings/sec, 3375 secs
lola: STP completed || 114 tries, 113065433 fired transitions, 3380 secs || 68335576 markings, 402030236 edges, 20294 markings/sec, 3380 secs
lola: STP completed || 114 tries, 113253200 fired transitions, 3385 secs || 68434585 markings, 402782052 edges, 19802 markings/sec, 3385 secs
lola: STP completed || 114 tries, 113438536 fired transitions, 3390 secs || 68534895 markings, 403527981 edges, 20062 markings/sec, 3390 secs
lola: STP completed || 114 tries, 113626815 fired transitions, 3395 secs || 68629864 markings, 404295993 edges, 18994 markings/sec, 3395 secs
lola: STP completed || 114 tries, 113814099 fired transitions, 3400 secs || 68728839 markings, 405051109 edges, 19795 markings/sec, 3400 secs
lola: STP completed || 115 tries, 114001837 fired transitions, 3405 secs || 68826292 markings, 405825037 edges, 19491 markings/sec, 3405 secs
lola: STP completed || 115 tries, 114187647 fired transitions, 3410 secs || 68928505 markings, 406562424 edges, 20443 markings/sec, 3410 secs
lola: STP completed || 115 tries, 114374119 fired transitions, 3415 secs || 69028066 markings, 407284247 edges, 19912 markings/sec, 3415 secs
lola: STP completed || 115 tries, 114560523 fired transitions, 3420 secs || 69128457 markings, 408041113 edges, 20078 markings/sec, 3420 secs
lola: STP completed || 115 tries, 114745119 fired transitions, 3425 secs || 69229216 markings, 408769795 edges, 20152 markings/sec, 3425 secs
lola: STP completed || 115 tries, 114928991 fired transitions, 3430 secs || 69331141 markings, 409499137 edges, 20385 markings/sec, 3430 secs
lola: STP completed || 116 tries, 115110673 fired transitions, 3435 secs || 69429799 markings, 410231235 edges, 19732 markings/sec, 3435 secs
lola: STP completed || 116 tries, 115304291 fired transitions, 3440 secs || 69534064 markings, 411023348 edges, 20853 markings/sec, 3440 secs
lola: STP completed || 116 tries, 115500197 fired transitions, 3445 secs || 69636758 markings, 411794724 edges, 20539 markings/sec, 3445 secs
lola: STP completed || 116 tries, 115694295 fired transitions, 3450 secs || 69742982 markings, 412502822 edges, 21245 markings/sec, 3450 secs
lola: STP completed || 116 tries, 115888610 fired transitions, 3455 secs || 69847106 markings, 413283219 edges, 20825 markings/sec, 3455 secs
lola: STP completed || 117 tries, 116083014 fired transitions, 3460 secs || 69953463 markings, 414061090 edges, 21271 markings/sec, 3460 secs
lola: STP completed || 117 tries, 116276939 fired transitions, 3465 secs || 70060219 markings, 414859567 edges, 21351 markings/sec, 3465 secs
lola: STP completed || 117 tries, 116471421 fired transitions, 3470 secs || 70167601 markings, 415662852 edges, 21476 markings/sec, 3470 secs
lola: STP completed || 117 tries, 116664746 fired transitions, 3475 secs || 70275219 markings, 416422272 edges, 21524 markings/sec, 3475 secs
lola: STP completed || 117 tries, 116857936 fired transitions, 3480 secs || 70383892 markings, 417188240 edges, 21735 markings/sec, 3480 secs
lola: STP completed || 118 tries, 117052466 fired transitions, 3485 secs || 70490117 markings, 417957416 edges, 21245 markings/sec, 3485 secs
lola: STP completed || 118 tries, 117246829 fired transitions, 3490 secs || 70593531 markings, 418771628 edges, 20683 markings/sec, 3490 secs
lola: STP completed || 118 tries, 117441548 fired transitions, 3495 secs || 70695658 markings, 419590911 edges, 20425 markings/sec, 3495 secs
lola: STP completed || 118 tries, 117630746 fired transitions, 3500 secs || 70801111 markings, 420327754 edges, 21091 markings/sec, 3500 secs
lola: STP completed || 118 tries, 117820824 fired transitions, 3505 secs || 70898884 markings, 421113022 edges, 19555 markings/sec, 3505 secs
lola: STP completed || 119 tries, 118012135 fired transitions, 3510 secs || 70998231 markings, 421928099 edges, 19869 markings/sec, 3510 secs
lola: STP completed || 119 tries, 118140586 fired transitions, 3515 secs || 71071117 markings, 422440960 edges, 14577 markings/sec, 3515 secs
lola: STP completed || 119 tries, 118268565 fired transitions, 3520 secs || 71142293 markings, 422965941 edges, 14235 markings/sec, 3520 secs
lola: STP completed || 119 tries, 118397430 fired transitions, 3525 secs || 71214636 markings, 423508901 edges, 14469 markings/sec, 3525 secs
lola: STP completed || 119 tries, 118518952 fired transitions, 3530 secs || 71275866 markings, 424082549 edges, 12246 markings/sec, 3530 secs
lola: STP completed || 119 tries, 118635962 fired transitions, 3535 secs || 71339391 markings, 424591612 edges, 12705 markings/sec, 3535 secs
lola: STP completed || 119 tries, 118748102 fired transitions, 3540 secs || 71402274 markings, 425075968 edges, 12577 markings/sec, 3540 secs
lola: STP completed || 119 tries, 118860600 fired transitions, 3545 secs || 71463454 markings, 425559247 edges, 12236 markings/sec, 3545 secs
lola: STP completed || 119 tries, 118972493 fired transitions, 3550 secs || 71525640 markings, 426073850 edges, 12437 markings/sec, 3550 secs
lola: STP completed || 120 tries, 119084741 fired transitions, 3555 secs || 71588448 markings, 426548876 edges, 12562 markings/sec, 3555 secs
lola: STP completed || 120 tries, 119197189 fired transitions, 3560 secs || 71651198 markings, 427029583 edges, 12550 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 3579292 KB
lola: time consumption: 3571 seconds
lola: caught signal User defined signal 2 - aborting LoLA
BK_STOP 1527015867840
--------------------
content from stderr:
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="LamportFastMutEx-COL-5"
export BK_EXAMINATION="ReachabilityDeadlock"
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
tar xzf /home/mcc/BenchKit/INPUTS/LamportFastMutEx-COL-5.tgz
mv LamportFastMutEx-COL-5 execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is LamportFastMutEx-COL-5, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r112-csrt-152666469000083"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "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 "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.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 ;