About the Execution of LoLA for MultiwaySync-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7895.540 | 3571006.00 | 7292088.00 | 801.80 | [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 264K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K 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 5.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.1K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 6.6K 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 111 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 349 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 111K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is MultiwaySync-PT-none, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r112-csrt-152666469200202
=====================================================================
--------------------
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 MultiwaySync-PT-none-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527021476070
info: Time: 3600 - MCC
===========================================================================================
prep: translating MultiwaySync-PT-none Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating MultiwaySync-PT-none formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ MultiwaySync-PT-none @ 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: 694/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 222
lola: finding significant places
lola: 222 places, 472 transitions, 197 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 547 transition conflict sets
lola: TASK
lola: reading formula from MultiwaySync-PT-none-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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 8580 variables and 28925 clauses shipped to Minisat
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: computed 102 generators (24 in search tree, 78 by composition)
lola: representing 1.78541E+14 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 389859 fired transitions, 0 secs || 278180 markings, 1357660 edges, 55636 markings/sec, 0 secs
lola: STP completed || 1 tries, 772702 fired transitions, 5 secs || 568290 markings, 2754190 edges, 58022 markings/sec, 5 secs
lola: STP completed || 2 tries, 1088448 fired transitions, 10 secs || 791247 markings, 3481303 edges, 44591 markings/sec, 10 secs
lola: STP completed || 2 tries, 1320634 fired transitions, 15 secs || 960502 markings, 4031454 edges, 33851 markings/sec, 15 secs
lola: STP completed || 2 tries, 1630316 fired transitions, 20 secs || 1178300 markings, 4755432 edges, 43560 markings/sec, 20 secs
lola: STP completed || 3 tries, 2051220 fired transitions, 25 secs || 1442998 markings, 5653331 edges, 52940 markings/sec, 25 secs
lola: STP completed || 3 tries, 2497757 fired transitions, 30 secs || 1749718 markings, 7145119 edges, 61344 markings/sec, 30 secs
lola: STP completed || 3 tries, 2969430 fired transitions, 35 secs || 2040950 markings, 8543688 edges, 58246 markings/sec, 35 secs
lola: STP completed || 4 tries, 3449811 fired transitions, 40 secs || 2345886 markings, 10131875 edges, 60987 markings/sec, 40 secs
lola: STP completed || 4 tries, 3893686 fired transitions, 45 secs || 2631208 markings, 11432291 edges, 57064 markings/sec, 45 secs
lola: STP completed || 5 tries, 4327325 fired transitions, 50 secs || 2888252 markings, 12360167 edges, 51409 markings/sec, 50 secs
lola: STP completed || 5 tries, 4813656 fired transitions, 55 secs || 3169921 markings, 13754850 edges, 56334 markings/sec, 55 secs
lola: STP completed || 6 tries, 5333739 fired transitions, 60 secs || 3457177 markings, 15296231 edges, 57451 markings/sec, 60 secs
lola: STP completed || 6 tries, 5781753 fired transitions, 65 secs || 3733087 markings, 16554491 edges, 55182 markings/sec, 65 secs
lola: STP completed || 7 tries, 6190289 fired transitions, 70 secs || 4006263 markings, 17510895 edges, 54635 markings/sec, 70 secs
lola: STP completed || 7 tries, 6586990 fired transitions, 75 secs || 4264517 markings, 18438056 edges, 51651 markings/sec, 75 secs
lola: STP completed || 8 tries, 7023209 fired transitions, 80 secs || 4540809 markings, 20015906 edges, 55258 markings/sec, 80 secs
lola: STP completed || 8 tries, 7469651 fired transitions, 85 secs || 4827210 markings, 21526515 edges, 57280 markings/sec, 85 secs
lola: STP completed || 8 tries, 7949330 fired transitions, 90 secs || 5100367 markings, 22662068 edges, 54631 markings/sec, 90 secs
lola: STP completed || 9 tries, 8328917 fired transitions, 95 secs || 5357859 markings, 23913173 edges, 51498 markings/sec, 95 secs
lola: STP completed || 9 tries, 8814664 fired transitions, 100 secs || 5681924 markings, 25717565 edges, 64813 markings/sec, 100 secs
lola: STP completed || 10 tries, 9318832 fired transitions, 105 secs || 6019448 markings, 27440444 edges, 67505 markings/sec, 105 secs
lola: STP completed || 10 tries, 9766976 fired transitions, 110 secs || 6318772 markings, 29105403 edges, 59865 markings/sec, 110 secs
lola: STP completed || 11 tries, 10240309 fired transitions, 115 secs || 6613826 markings, 30642429 edges, 59011 markings/sec, 115 secs
lola: STP completed || 11 tries, 10505646 fired transitions, 120 secs || 6790303 markings, 31631400 edges, 35295 markings/sec, 120 secs
lola: STP completed || 11 tries, 10752221 fired transitions, 125 secs || 6950249 markings, 32461794 edges, 31989 markings/sec, 125 secs
lola: STP completed || 12 tries, 11121719 fired transitions, 130 secs || 7199342 markings, 33773864 edges, 49819 markings/sec, 130 secs
lola: STP completed || 12 tries, 11581156 fired transitions, 135 secs || 7552230 markings, 35852848 edges, 70578 markings/sec, 135 secs
lola: STP completed || 13 tries, 12050638 fired transitions, 140 secs || 7868744 markings, 37717857 edges, 63303 markings/sec, 140 secs
lola: STP completed || 13 tries, 12499723 fired transitions, 145 secs || 8200203 markings, 39501266 edges, 66292 markings/sec, 145 secs
lola: STP completed || 13 tries, 12729830 fired transitions, 150 secs || 8364725 markings, 40438557 edges, 32904 markings/sec, 150 secs
lola: STP completed || 13 tries, 12959522 fired transitions, 155 secs || 8521349 markings, 41382066 edges, 31325 markings/sec, 155 secs
lola: STP completed || 14 tries, 13287650 fired transitions, 160 secs || 8756713 markings, 42759614 edges, 47073 markings/sec, 160 secs
lola: STP completed || 14 tries, 13700128 fired transitions, 165 secs || 9072635 markings, 44479518 edges, 63184 markings/sec, 165 secs
lola: STP completed || 14 tries, 13912916 fired transitions, 170 secs || 9240579 markings, 45401696 edges, 33589 markings/sec, 170 secs
lola: STP completed || 15 tries, 14292232 fired transitions, 175 secs || 9515994 markings, 46989731 edges, 55083 markings/sec, 175 secs
lola: STP completed || 15 tries, 14807236 fired transitions, 180 secs || 9920679 markings, 49209900 edges, 80937 markings/sec, 180 secs
lola: STP completed || 16 tries, 15070130 fired transitions, 185 secs || 10109605 markings, 50325855 edges, 37785 markings/sec, 185 secs
lola: STP completed || 16 tries, 15370937 fired transitions, 190 secs || 10332926 markings, 51607048 edges, 44664 markings/sec, 190 secs
lola: STP completed || 16 tries, 15909288 fired transitions, 195 secs || 10728061 markings, 53878953 edges, 79027 markings/sec, 195 secs
lola: STP completed || 17 tries, 16434612 fired transitions, 200 secs || 11108570 markings, 56117994 edges, 76102 markings/sec, 200 secs
lola: STP completed || 17 tries, 16813853 fired transitions, 205 secs || 11389456 markings, 57749577 edges, 56177 markings/sec, 205 secs
lola: STP completed || 18 tries, 17106321 fired transitions, 210 secs || 11611959 markings, 59010474 edges, 44501 markings/sec, 210 secs
lola: STP completed || 18 tries, 17378331 fired transitions, 215 secs || 11801357 markings, 60088847 edges, 37880 markings/sec, 215 secs
lola: STP completed || 18 tries, 17646505 fired transitions, 220 secs || 11999605 markings, 61190820 edges, 39650 markings/sec, 220 secs
lola: STP completed || 19 tries, 18125679 fired transitions, 225 secs || 12366432 markings, 63286502 edges, 73365 markings/sec, 225 secs
lola: STP completed || 19 tries, 18568664 fired transitions, 230 secs || 12710335 markings, 65207256 edges, 68781 markings/sec, 230 secs
lola: STP completed || 19 tries, 18866071 fired transitions, 235 secs || 12932567 markings, 66435039 edges, 44446 markings/sec, 235 secs
lola: STP completed || 20 tries, 19355608 fired transitions, 240 secs || 13318321 markings, 68585280 edges, 77151 markings/sec, 240 secs
lola: STP completed || 20 tries, 19884201 fired transitions, 245 secs || 13708563 markings, 70771987 edges, 78048 markings/sec, 245 secs
lola: STP completed || 21 tries, 20417317 fired transitions, 250 secs || 14114783 markings, 72967153 edges, 81244 markings/sec, 250 secs
lola: STP completed || 21 tries, 20922866 fired transitions, 255 secs || 14506710 markings, 75094414 edges, 78385 markings/sec, 255 secs
lola: STP completed || 22 tries, 21437304 fired transitions, 260 secs || 14901557 markings, 77227412 edges, 78969 markings/sec, 260 secs
lola: STP completed || 22 tries, 21979805 fired transitions, 265 secs || 15277806 markings, 79339350 edges, 75250 markings/sec, 265 secs
lola: STP completed || 23 tries, 22512157 fired transitions, 270 secs || 15681649 markings, 81533447 edges, 80769 markings/sec, 270 secs
lola: STP completed || 24 tries, 23039907 fired transitions, 275 secs || 16091642 markings, 83832359 edges, 81999 markings/sec, 275 secs
lola: STP completed || 24 tries, 23474864 fired transitions, 280 secs || 16410568 markings, 85598808 edges, 63785 markings/sec, 280 secs
lola: STP completed || 24 tries, 23951301 fired transitions, 285 secs || 16710612 markings, 87202409 edges, 60009 markings/sec, 285 secs
lola: STP completed || 25 tries, 24267413 fired transitions, 290 secs || 16931694 markings, 88190240 edges, 44216 markings/sec, 290 secs
lola: STP completed || 25 tries, 24503185 fired transitions, 295 secs || 17109284 markings, 89212680 edges, 35518 markings/sec, 295 secs
lola: STP completed || 25 tries, 24744611 fired transitions, 300 secs || 17275677 markings, 89811434 edges, 33279 markings/sec, 300 secs
lola: STP completed || 26 tries, 25024376 fired transitions, 305 secs || 17460791 markings, 90487520 edges, 37023 markings/sec, 305 secs
lola: STP completed || 26 tries, 25306358 fired transitions, 310 secs || 17639337 markings, 91156355 edges, 35709 markings/sec, 310 secs
lola: STP completed || 26 tries, 25581724 fired transitions, 315 secs || 17810302 markings, 91814724 edges, 34193 markings/sec, 315 secs
lola: STP completed || 26 tries, 25862520 fired transitions, 320 secs || 17992965 markings, 92562756 edges, 36533 markings/sec, 320 secs
lola: STP completed || 27 tries, 26133986 fired transitions, 325 secs || 18170527 markings, 93540599 edges, 35512 markings/sec, 325 secs
lola: STP completed || 27 tries, 26405566 fired transitions, 330 secs || 18343480 markings, 94494519 edges, 34591 markings/sec, 330 secs
lola: STP completed || 27 tries, 26677393 fired transitions, 335 secs || 18508628 markings, 95216415 edges, 33030 markings/sec, 335 secs
lola: STP completed || 27 tries, 26948848 fired transitions, 340 secs || 18673238 markings, 95913377 edges, 32922 markings/sec, 340 secs
lola: STP completed || 28 tries, 27223342 fired transitions, 345 secs || 18852156 markings, 96897654 edges, 35784 markings/sec, 345 secs
lola: STP completed || 28 tries, 27502271 fired transitions, 350 secs || 19031986 markings, 97892382 edges, 35966 markings/sec, 350 secs
lola: STP completed || 28 tries, 27776816 fired transitions, 355 secs || 19201313 markings, 98617038 edges, 33865 markings/sec, 355 secs
lola: STP completed || 29 tries, 28029075 fired transitions, 360 secs || 19355286 markings, 99213575 edges, 30795 markings/sec, 360 secs
lola: STP completed || 29 tries, 28259549 fired transitions, 365 secs || 19504459 markings, 99794867 edges, 29835 markings/sec, 365 secs
lola: STP completed || 29 tries, 28473256 fired transitions, 370 secs || 19648834 markings, 100348870 edges, 28875 markings/sec, 370 secs
lola: STP completed || 29 tries, 28700920 fired transitions, 375 secs || 19797169 markings, 100908028 edges, 29667 markings/sec, 375 secs
lola: STP completed || 29 tries, 28965121 fired transitions, 380 secs || 19961604 markings, 101794075 edges, 32887 markings/sec, 380 secs
lola: STP completed || 30 tries, 29230823 fired transitions, 385 secs || 20115159 markings, 102684770 edges, 30711 markings/sec, 385 secs
lola: STP completed || 30 tries, 29495655 fired transitions, 390 secs || 20275245 markings, 103495598 edges, 32017 markings/sec, 390 secs
lola: STP completed || 30 tries, 29763437 fired transitions, 395 secs || 20434588 markings, 104423463 edges, 31869 markings/sec, 395 secs
lola: STP completed || 31 tries, 30030621 fired transitions, 400 secs || 20590939 markings, 105086540 edges, 31270 markings/sec, 400 secs
lola: STP completed || 31 tries, 30300925 fired transitions, 405 secs || 20746433 markings, 105715466 edges, 31099 markings/sec, 405 secs
lola: STP completed || 31 tries, 30572922 fired transitions, 410 secs || 20917213 markings, 106379096 edges, 34156 markings/sec, 410 secs
lola: STP completed || 31 tries, 30843562 fired transitions, 415 secs || 21089355 markings, 107214866 edges, 34428 markings/sec, 415 secs
lola: STP completed || 32 tries, 31100655 fired transitions, 420 secs || 21250989 markings, 108120128 edges, 32327 markings/sec, 420 secs
lola: STP completed || 32 tries, 31353179 fired transitions, 425 secs || 21423159 markings, 108951792 edges, 34434 markings/sec, 425 secs
lola: STP completed || 32 tries, 31610471 fired transitions, 430 secs || 21595236 markings, 110017465 edges, 34415 markings/sec, 430 secs
lola: STP completed || 32 tries, 31870282 fired transitions, 435 secs || 21757688 markings, 110742639 edges, 32490 markings/sec, 435 secs
lola: STP completed || 33 tries, 32128866 fired transitions, 440 secs || 21915794 markings, 111642108 edges, 31621 markings/sec, 440 secs
lola: STP completed || 33 tries, 32390275 fired transitions, 445 secs || 22071597 markings, 112560760 edges, 31161 markings/sec, 445 secs
lola: STP completed || 33 tries, 32647537 fired transitions, 450 secs || 22226025 markings, 113349364 edges, 30886 markings/sec, 450 secs
lola: STP completed || 33 tries, 32906757 fired transitions, 455 secs || 22384514 markings, 114203654 edges, 31698 markings/sec, 455 secs
lola: STP completed || 34 tries, 33170311 fired transitions, 460 secs || 22548572 markings, 115084628 edges, 32812 markings/sec, 460 secs
lola: STP completed || 34 tries, 33432092 fired transitions, 465 secs || 22712083 markings, 116027518 edges, 32702 markings/sec, 465 secs
lola: STP completed || 34 tries, 33696426 fired transitions, 470 secs || 22879430 markings, 117023765 edges, 33469 markings/sec, 470 secs
lola: STP completed || 34 tries, 33957907 fired transitions, 475 secs || 23054070 markings, 117915095 edges, 34928 markings/sec, 475 secs
lola: STP completed || 35 tries, 34222875 fired transitions, 480 secs || 23213756 markings, 118748325 edges, 31937 markings/sec, 480 secs
lola: STP completed || 35 tries, 34475536 fired transitions, 485 secs || 23371544 markings, 119632717 edges, 31558 markings/sec, 485 secs
lola: STP completed || 35 tries, 34730090 fired transitions, 490 secs || 23527457 markings, 120478853 edges, 31183 markings/sec, 490 secs
lola: STP completed || 36 tries, 35000414 fired transitions, 495 secs || 23699987 markings, 121489009 edges, 34506 markings/sec, 495 secs
lola: STP completed || 36 tries, 35267602 fired transitions, 500 secs || 23866452 markings, 122489692 edges, 33293 markings/sec, 500 secs
lola: STP completed || 36 tries, 35762958 fired transitions, 505 secs || 24221368 markings, 124561680 edges, 70983 markings/sec, 505 secs
lola: STP completed || 37 tries, 36214771 fired transitions, 510 secs || 24522076 markings, 126329444 edges, 60142 markings/sec, 510 secs
lola: STP completed || 37 tries, 36470555 fired transitions, 515 secs || 24681133 markings, 127247105 edges, 31811 markings/sec, 515 secs
lola: STP completed || 37 tries, 36729155 fired transitions, 520 secs || 24843009 markings, 128221198 edges, 32375 markings/sec, 520 secs
lola: STP completed || 37 tries, 36997650 fired transitions, 525 secs || 25023074 markings, 129178681 edges, 36013 markings/sec, 525 secs
lola: STP completed || 38 tries, 37252693 fired transitions, 530 secs || 25187667 markings, 130144020 edges, 32919 markings/sec, 530 secs
lola: STP completed || 38 tries, 37512229 fired transitions, 535 secs || 25356915 markings, 131140003 edges, 33850 markings/sec, 535 secs
lola: STP completed || 38 tries, 37884107 fired transitions, 540 secs || 25595072 markings, 132409343 edges, 47631 markings/sec, 540 secs
lola: STP completed || 39 tries, 38165311 fired transitions, 545 secs || 25778791 markings, 133513857 edges, 36744 markings/sec, 545 secs
lola: STP completed || 39 tries, 38600696 fired transitions, 550 secs || 26080672 markings, 135246425 edges, 60376 markings/sec, 550 secs
lola: STP completed || 40 tries, 39120297 fired transitions, 555 secs || 26447695 markings, 137365363 edges, 73405 markings/sec, 555 secs
lola: STP completed || 40 tries, 39398447 fired transitions, 560 secs || 26645376 markings, 138509391 edges, 39536 markings/sec, 560 secs
lola: STP completed || 40 tries, 39670770 fired transitions, 565 secs || 26831318 markings, 139635038 edges, 37188 markings/sec, 565 secs
lola: STP completed || 41 tries, 40071979 fired transitions, 570 secs || 27118450 markings, 141316264 edges, 57426 markings/sec, 570 secs
lola: STP completed || 41 tries, 40533159 fired transitions, 575 secs || 27447564 markings, 143191406 edges, 65823 markings/sec, 575 secs
lola: STP completed || 41 tries, 40873501 fired transitions, 580 secs || 27688838 markings, 144481126 edges, 48255 markings/sec, 580 secs
lola: STP completed || 42 tries, 41327864 fired transitions, 585 secs || 27995919 markings, 146265604 edges, 61416 markings/sec, 585 secs
lola: STP completed || 42 tries, 41721333 fired transitions, 590 secs || 28260969 markings, 147781291 edges, 53010 markings/sec, 590 secs
lola: STP completed || 42 tries, 41989532 fired transitions, 595 secs || 28448840 markings, 148866951 edges, 37574 markings/sec, 595 secs
lola: STP completed || 43 tries, 42255939 fired transitions, 600 secs || 28636564 markings, 149942208 edges, 37545 markings/sec, 600 secs
lola: STP completed || 43 tries, 42628960 fired transitions, 605 secs || 28899010 markings, 151448493 edges, 52489 markings/sec, 605 secs
lola: STP completed || 44 tries, 43007544 fired transitions, 610 secs || 29159835 markings, 152943487 edges, 52165 markings/sec, 610 secs
lola: STP completed || 44 tries, 43290833 fired transitions, 615 secs || 29362493 markings, 154093131 edges, 40532 markings/sec, 615 secs
lola: STP completed || 44 tries, 43558871 fired transitions, 620 secs || 29552533 markings, 155167835 edges, 38008 markings/sec, 620 secs
lola: STP completed || 44 tries, 43789581 fired transitions, 625 secs || 29721112 markings, 156141928 edges, 33716 markings/sec, 625 secs
lola: STP completed || 45 tries, 44017802 fired transitions, 630 secs || 29892694 markings, 157104078 edges, 34316 markings/sec, 630 secs
lola: STP completed || 45 tries, 44262001 fired transitions, 635 secs || 30074133 markings, 158108090 edges, 36288 markings/sec, 635 secs
lola: STP completed || 45 tries, 44534139 fired transitions, 640 secs || 30265143 markings, 159207082 edges, 38202 markings/sec, 640 secs
lola: STP completed || 45 tries, 44808281 fired transitions, 645 secs || 30468413 markings, 160328965 edges, 40654 markings/sec, 645 secs
lola: STP completed || 46 tries, 45086796 fired transitions, 650 secs || 30669337 markings, 161455581 edges, 40185 markings/sec, 650 secs
lola: STP completed || 46 tries, 45360567 fired transitions, 655 secs || 30869324 markings, 162573472 edges, 39997 markings/sec, 655 secs
lola: STP completed || 46 tries, 45632704 fired transitions, 660 secs || 31068802 markings, 163671788 edges, 39896 markings/sec, 660 secs
lola: STP completed || 46 tries, 45903862 fired transitions, 665 secs || 31267118 markings, 164798785 edges, 39663 markings/sec, 665 secs
lola: STP completed || 47 tries, 46130243 fired transitions, 670 secs || 31443349 markings, 165757532 edges, 35246 markings/sec, 670 secs
lola: STP completed || 47 tries, 46351502 fired transitions, 675 secs || 31616140 markings, 166692185 edges, 34558 markings/sec, 675 secs
lola: STP completed || 47 tries, 46573944 fired transitions, 680 secs || 31789643 markings, 167650771 edges, 34701 markings/sec, 680 secs
lola: STP completed || 47 tries, 46789473 fired transitions, 685 secs || 31960243 markings, 168564893 edges, 34120 markings/sec, 685 secs
lola: STP completed || 48 tries, 47004140 fired transitions, 690 secs || 32128208 markings, 169484165 edges, 33593 markings/sec, 690 secs
lola: STP completed || 48 tries, 47237711 fired transitions, 695 secs || 32304910 markings, 170471521 edges, 35340 markings/sec, 695 secs
lola: STP completed || 48 tries, 47511218 fired transitions, 700 secs || 32516871 markings, 171670653 edges, 42392 markings/sec, 700 secs
lola: STP completed || 48 tries, 47779680 fired transitions, 705 secs || 32714274 markings, 172779070 edges, 39481 markings/sec, 705 secs
lola: STP completed || 49 tries, 48056589 fired transitions, 710 secs || 32920981 markings, 173944290 edges, 41341 markings/sec, 710 secs
lola: STP completed || 49 tries, 48341596 fired transitions, 715 secs || 33125513 markings, 175056827 edges, 40906 markings/sec, 715 secs
lola: STP completed || 49 tries, 48625951 fired transitions, 720 secs || 33319013 markings, 176091704 edges, 38700 markings/sec, 720 secs
lola: STP completed || 49 tries, 48912102 fired transitions, 725 secs || 33509767 markings, 176884239 edges, 38151 markings/sec, 725 secs
lola: STP completed || 50 tries, 49183686 fired transitions, 730 secs || 33688837 markings, 177848177 edges, 35814 markings/sec, 730 secs
lola: STP completed || 50 tries, 49455135 fired transitions, 735 secs || 33858693 markings, 178424866 edges, 33971 markings/sec, 735 secs
lola: STP completed || 50 tries, 49723869 fired transitions, 740 secs || 34029107 markings, 179015709 edges, 34083 markings/sec, 740 secs
lola: STP completed || 50 tries, 49994692 fired transitions, 745 secs || 34195614 markings, 179605145 edges, 33301 markings/sec, 745 secs
lola: STP completed || 51 tries, 50264846 fired transitions, 750 secs || 34357196 markings, 180192079 edges, 32316 markings/sec, 750 secs
lola: STP completed || 51 tries, 50533832 fired transitions, 755 secs || 34524271 markings, 180803865 edges, 33415 markings/sec, 755 secs
lola: STP completed || 51 tries, 50803863 fired transitions, 760 secs || 34697441 markings, 181794891 edges, 34634 markings/sec, 760 secs
lola: STP completed || 52 tries, 51078354 fired transitions, 765 secs || 34865982 markings, 182665373 edges, 33708 markings/sec, 765 secs
lola: STP completed || 52 tries, 51343346 fired transitions, 770 secs || 35033303 markings, 183430767 edges, 33464 markings/sec, 770 secs
lola: STP completed || 52 tries, 51612175 fired transitions, 775 secs || 35194667 markings, 184027937 edges, 32273 markings/sec, 775 secs
lola: STP completed || 52 tries, 51892553 fired transitions, 780 secs || 35378163 markings, 185070220 edges, 36699 markings/sec, 780 secs
lola: STP completed || 53 tries, 52177201 fired transitions, 785 secs || 35552715 markings, 185976997 edges, 34910 markings/sec, 785 secs
lola: STP completed || 53 tries, 52506231 fired transitions, 790 secs || 35740069 markings, 186803621 edges, 37471 markings/sec, 790 secs
lola: STP completed || 53 tries, 52917440 fired transitions, 795 secs || 35951001 markings, 187594287 edges, 42186 markings/sec, 795 secs
lola: STP completed || 54 tries, 53364343 fired transitions, 800 secs || 36234499 markings, 188655642 edges, 56700 markings/sec, 800 secs
lola: STP completed || 54 tries, 53740808 fired transitions, 805 secs || 36457405 markings, 189486701 edges, 44581 markings/sec, 805 secs
lola: STP completed || 55 tries, 54010184 fired transitions, 810 secs || 36609488 markings, 190226188 edges, 30417 markings/sec, 810 secs
lola: STP completed || 55 tries, 54283475 fired transitions, 815 secs || 36763542 markings, 191111727 edges, 30811 markings/sec, 815 secs
lola: STP completed || 55 tries, 54552411 fired transitions, 820 secs || 36923634 markings, 191981807 edges, 32018 markings/sec, 820 secs
lola: STP completed || 55 tries, 54825705 fired transitions, 825 secs || 37074962 markings, 192780172 edges, 30266 markings/sec, 825 secs
lola: STP completed || 56 tries, 55120673 fired transitions, 830 secs || 37244819 markings, 193579729 edges, 33971 markings/sec, 830 secs
lola: STP completed || 56 tries, 55591116 fired transitions, 835 secs || 37550894 markings, 195050615 edges, 61215 markings/sec, 835 secs
lola: STP completed || 57 tries, 56082093 fired transitions, 840 secs || 37862701 markings, 196722406 edges, 62361 markings/sec, 840 secs
lola: STP completed || 57 tries, 56522314 fired transitions, 845 secs || 38102368 markings, 197908344 edges, 47933 markings/sec, 845 secs
lola: STP completed || 57 tries, 56810338 fired transitions, 850 secs || 38269900 markings, 198538168 edges, 33506 markings/sec, 850 secs
lola: STP completed || 58 tries, 57080900 fired transitions, 855 secs || 38434733 markings, 199371730 edges, 32967 markings/sec, 855 secs
lola: STP completed || 58 tries, 57351892 fired transitions, 860 secs || 38595708 markings, 200274183 edges, 32195 markings/sec, 860 secs
lola: STP completed || 58 tries, 57589652 fired transitions, 865 secs || 38756364 markings, 201134067 edges, 32131 markings/sec, 865 secs
lola: STP completed || 58 tries, 57829533 fired transitions, 870 secs || 38907199 markings, 201940512 edges, 30167 markings/sec, 870 secs
lola: STP completed || 59 tries, 58055117 fired transitions, 875 secs || 39047250 markings, 202708451 edges, 28010 markings/sec, 875 secs
lola: STP completed || 59 tries, 58285432 fired transitions, 880 secs || 39211201 markings, 203496323 edges, 32790 markings/sec, 880 secs
lola: STP completed || 59 tries, 58501222 fired transitions, 885 secs || 39356165 markings, 204320873 edges, 28993 markings/sec, 885 secs
lola: STP completed || 59 tries, 58733781 fired transitions, 890 secs || 39504941 markings, 205181146 edges, 29755 markings/sec, 890 secs
lola: STP completed || 60 tries, 59009621 fired transitions, 895 secs || 39672991 markings, 206087720 edges, 33610 markings/sec, 895 secs
lola: STP completed || 60 tries, 59294985 fired transitions, 900 secs || 39844249 markings, 206984148 edges, 34252 markings/sec, 900 secs
lola: STP completed || 60 tries, 59581839 fired transitions, 905 secs || 40016560 markings, 207959460 edges, 34462 markings/sec, 905 secs
lola: STP completed || 60 tries, 59864569 fired transitions, 910 secs || 40206270 markings, 208914988 edges, 37942 markings/sec, 910 secs
lola: STP completed || 61 tries, 60151377 fired transitions, 915 secs || 40384965 markings, 210002889 edges, 35739 markings/sec, 915 secs
lola: STP completed || 61 tries, 60438271 fired transitions, 920 secs || 40561198 markings, 211035906 edges, 35247 markings/sec, 920 secs
lola: STP completed || 61 tries, 60722882 fired transitions, 925 secs || 40749206 markings, 212080352 edges, 37602 markings/sec, 925 secs
lola: STP completed || 62 tries, 61010178 fired transitions, 930 secs || 40937149 markings, 213110131 edges, 37589 markings/sec, 930 secs
lola: STP completed || 62 tries, 61298058 fired transitions, 935 secs || 41126401 markings, 214179902 edges, 37850 markings/sec, 935 secs
lola: STP completed || 62 tries, 61573762 fired transitions, 940 secs || 41324076 markings, 215336010 edges, 39535 markings/sec, 940 secs
lola: STP completed || 62 tries, 61912923 fired transitions, 945 secs || 41523366 markings, 216509605 edges, 39858 markings/sec, 945 secs
lola: STP completed || 63 tries, 62199615 fired transitions, 950 secs || 41707550 markings, 217609211 edges, 36837 markings/sec, 950 secs
lola: STP completed || 63 tries, 62489506 fired transitions, 955 secs || 41894964 markings, 218729351 edges, 37483 markings/sec, 955 secs
lola: STP completed || 63 tries, 62777048 fired transitions, 960 secs || 42092834 markings, 219876766 edges, 39574 markings/sec, 960 secs
lola: STP completed || 64 tries, 63099649 fired transitions, 965 secs || 42304462 markings, 220995034 edges, 42326 markings/sec, 965 secs
lola: STP completed || 64 tries, 63635223 fired transitions, 970 secs || 42635919 markings, 222938379 edges, 66291 markings/sec, 970 secs
lola: STP completed || 65 tries, 64028424 fired transitions, 975 secs || 42900953 markings, 224466503 edges, 53007 markings/sec, 975 secs
lola: STP completed || 65 tries, 64315913 fired transitions, 980 secs || 43081429 markings, 225519850 edges, 36095 markings/sec, 980 secs
lola: STP completed || 65 tries, 64588819 fired transitions, 985 secs || 43264662 markings, 226592231 edges, 36647 markings/sec, 985 secs
lola: STP completed || 65 tries, 64852562 fired transitions, 990 secs || 43445798 markings, 227657760 edges, 36227 markings/sec, 990 secs
lola: STP completed || 66 tries, 65120724 fired transitions, 995 secs || 43631598 markings, 228708894 edges, 37160 markings/sec, 995 secs
lola: STP completed || 66 tries, 65387027 fired transitions, 1000 secs || 43806518 markings, 229734244 edges, 34984 markings/sec, 1000 secs
lola: STP completed || 66 tries, 65655818 fired transitions, 1005 secs || 43983424 markings, 230785017 edges, 35381 markings/sec, 1005 secs
lola: STP completed || 66 tries, 65922759 fired transitions, 1010 secs || 44172318 markings, 231769003 edges, 37779 markings/sec, 1010 secs
lola: STP completed || 67 tries, 66188798 fired transitions, 1015 secs || 44353793 markings, 232784157 edges, 36295 markings/sec, 1015 secs
lola: STP completed || 67 tries, 66458152 fired transitions, 1020 secs || 44537378 markings, 233836293 edges, 36717 markings/sec, 1020 secs
lola: STP completed || 67 tries, 66732607 fired transitions, 1025 secs || 44726794 markings, 234910802 edges, 37883 markings/sec, 1025 secs
lola: STP completed || 68 tries, 67013761 fired transitions, 1030 secs || 44917252 markings, 236010647 edges, 38092 markings/sec, 1030 secs
lola: STP completed || 68 tries, 67291801 fired transitions, 1035 secs || 45105404 markings, 237087675 edges, 37630 markings/sec, 1035 secs
lola: STP completed || 68 tries, 67576986 fired transitions, 1040 secs || 45299590 markings, 238191744 edges, 38837 markings/sec, 1040 secs
lola: STP completed || 68 tries, 67960448 fired transitions, 1045 secs || 45574398 markings, 239748248 edges, 54962 markings/sec, 1045 secs
lola: STP completed || 69 tries, 68466609 fired transitions, 1050 secs || 45941710 markings, 241839451 edges, 73462 markings/sec, 1050 secs
lola: STP completed || 70 tries, 69015319 fired transitions, 1055 secs || 46316237 markings, 243969278 edges, 74905 markings/sec, 1055 secs
lola: STP completed || 70 tries, 69542125 fired transitions, 1060 secs || 46705173 markings, 246131104 edges, 77787 markings/sec, 1060 secs
lola: STP completed || 70 tries, 69921757 fired transitions, 1065 secs || 46975380 markings, 247646127 edges, 54041 markings/sec, 1065 secs
lola: STP completed || 71 tries, 70289137 fired transitions, 1070 secs || 47245080 markings, 249141914 edges, 53940 markings/sec, 1070 secs
lola: STP completed || 71 tries, 70738178 fired transitions, 1075 secs || 47566129 markings, 250923718 edges, 64210 markings/sec, 1075 secs
lola: STP completed || 72 tries, 71025652 fired transitions, 1080 secs || 47772700 markings, 252063494 edges, 41314 markings/sec, 1080 secs
lola: STP completed || 72 tries, 71316105 fired transitions, 1085 secs || 47976548 markings, 253196427 edges, 40770 markings/sec, 1085 secs
lola: STP completed || 72 tries, 71601556 fired transitions, 1090 secs || 48181469 markings, 254297123 edges, 40984 markings/sec, 1090 secs
lola: STP completed || 72 tries, 71883559 fired transitions, 1095 secs || 48384557 markings, 255407416 edges, 40618 markings/sec, 1095 secs
lola: STP completed || 73 tries, 72153862 fired transitions, 1100 secs || 48582380 markings, 256469472 edges, 39565 markings/sec, 1100 secs
lola: STP completed || 73 tries, 72418265 fired transitions, 1105 secs || 48773910 markings, 257523449 edges, 38306 markings/sec, 1105 secs
lola: STP completed || 73 tries, 72680921 fired transitions, 1110 secs || 48962904 markings, 258567884 edges, 37799 markings/sec, 1110 secs
lola: STP completed || 73 tries, 72952566 fired transitions, 1115 secs || 49173298 markings, 259744971 edges, 42079 markings/sec, 1115 secs
lola: STP completed || 74 tries, 73217041 fired transitions, 1120 secs || 49353799 markings, 260773128 edges, 36100 markings/sec, 1120 secs
lola: STP completed || 74 tries, 73490757 fired transitions, 1125 secs || 49556135 markings, 261900530 edges, 40467 markings/sec, 1125 secs
lola: STP completed || 74 tries, 73776381 fired transitions, 1130 secs || 49751366 markings, 262877667 edges, 39046 markings/sec, 1130 secs
lola: STP completed || 75 tries, 74062859 fired transitions, 1135 secs || 49952751 markings, 263903046 edges, 40277 markings/sec, 1135 secs
lola: STP completed || 75 tries, 74344451 fired transitions, 1140 secs || 50151717 markings, 265004105 edges, 39793 markings/sec, 1140 secs
lola: STP completed || 75 tries, 74632628 fired transitions, 1145 secs || 50343118 markings, 266010836 edges, 38280 markings/sec, 1145 secs
lola: STP completed || 75 tries, 74922379 fired transitions, 1150 secs || 50531948 markings, 266751820 edges, 37766 markings/sec, 1150 secs
lola: STP completed || 76 tries, 75209543 fired transitions, 1155 secs || 50734808 markings, 267867233 edges, 40572 markings/sec, 1155 secs
lola: STP completed || 76 tries, 75497953 fired transitions, 1160 secs || 50936890 markings, 268930674 edges, 40416 markings/sec, 1160 secs
lola: STP completed || 76 tries, 75783791 fired transitions, 1165 secs || 51134211 markings, 269949095 edges, 39464 markings/sec, 1165 secs
lola: STP completed || 77 tries, 76058877 fired transitions, 1170 secs || 51330133 markings, 270934719 edges, 39184 markings/sec, 1170 secs
lola: STP completed || 77 tries, 76340237 fired transitions, 1175 secs || 51526735 markings, 271945368 edges, 39320 markings/sec, 1175 secs
lola: STP completed || 77 tries, 76625285 fired transitions, 1180 secs || 51719487 markings, 272976533 edges, 38550 markings/sec, 1180 secs
lola: STP completed || 77 tries, 76909367 fired transitions, 1185 secs || 51894348 markings, 273686156 edges, 34972 markings/sec, 1185 secs
lola: STP completed || 78 tries, 77259124 fired transitions, 1190 secs || 52123560 markings, 274629713 edges, 45842 markings/sec, 1190 secs
lola: STP completed || 78 tries, 77767779 fired transitions, 1195 secs || 52417901 markings, 276151784 edges, 58868 markings/sec, 1195 secs
lola: STP completed || 79 tries, 78085104 fired transitions, 1200 secs || 52637796 markings, 276904195 edges, 43979 markings/sec, 1200 secs
lola: STP completed || 79 tries, 78457741 fired transitions, 1205 secs || 52865888 markings, 277732646 edges, 45618 markings/sec, 1205 secs
lola: STP completed || 79 tries, 78892428 fired transitions, 1210 secs || 53128366 markings, 279122064 edges, 52496 markings/sec, 1210 secs
lola: STP completed || 80 tries, 79414657 fired transitions, 1215 secs || 53451997 markings, 281008662 edges, 64726 markings/sec, 1215 secs
lola: STP completed || 80 tries, 79748283 fired transitions, 1220 secs || 53681954 markings, 282304263 edges, 45991 markings/sec, 1220 secs
lola: STP completed || 81 tries, 80137459 fired transitions, 1225 secs || 53964700 markings, 283877768 edges, 56549 markings/sec, 1225 secs
lola: STP completed || 81 tries, 80407033 fired transitions, 1230 secs || 54156729 markings, 284966901 edges, 38406 markings/sec, 1230 secs
lola: STP completed || 81 tries, 80662242 fired transitions, 1235 secs || 54348945 markings, 285975893 edges, 38443 markings/sec, 1235 secs
lola: STP completed || 81 tries, 80928349 fired transitions, 1240 secs || 54511138 markings, 286843983 edges, 32439 markings/sec, 1240 secs
lola: STP completed || 82 tries, 81234544 fired transitions, 1245 secs || 54729028 markings, 287874900 edges, 43578 markings/sec, 1245 secs
lola: STP completed || 82 tries, 81512988 fired transitions, 1250 secs || 54931106 markings, 288867567 edges, 40416 markings/sec, 1250 secs
lola: STP completed || 82 tries, 81791337 fired transitions, 1255 secs || 55130044 markings, 289898688 edges, 39788 markings/sec, 1255 secs
lola: STP completed || 83 tries, 82071490 fired transitions, 1260 secs || 55346706 markings, 290891337 edges, 43332 markings/sec, 1260 secs
lola: STP completed || 83 tries, 82359753 fired transitions, 1265 secs || 55548420 markings, 291692951 edges, 40343 markings/sec, 1265 secs
lola: STP completed || 83 tries, 82647154 fired transitions, 1270 secs || 55733316 markings, 292379368 edges, 36979 markings/sec, 1270 secs
lola: STP completed || 83 tries, 82935168 fired transitions, 1275 secs || 55922151 markings, 293398125 edges, 37767 markings/sec, 1275 secs
lola: STP completed || 84 tries, 83222617 fired transitions, 1280 secs || 56108863 markings, 294499991 edges, 37342 markings/sec, 1280 secs
lola: STP completed || 84 tries, 83507912 fired transitions, 1285 secs || 56300638 markings, 295616753 edges, 38355 markings/sec, 1285 secs
lola: STP completed || 84 tries, 83793442 fired transitions, 1290 secs || 56502312 markings, 296754901 edges, 40335 markings/sec, 1290 secs
lola: STP completed || 85 tries, 84079028 fired transitions, 1295 secs || 56699907 markings, 297882979 edges, 39519 markings/sec, 1295 secs
lola: STP completed || 85 tries, 84359674 fired transitions, 1300 secs || 56904423 markings, 299023484 edges, 40903 markings/sec, 1300 secs
lola: STP completed || 85 tries, 84650318 fired transitions, 1305 secs || 57121498 markings, 300207816 edges, 43415 markings/sec, 1305 secs
lola: STP completed || 85 tries, 84935409 fired transitions, 1310 secs || 57300635 markings, 301117172 edges, 35827 markings/sec, 1310 secs
lola: STP completed || 86 tries, 85222651 fired transitions, 1315 secs || 57482585 markings, 302033792 edges, 36390 markings/sec, 1315 secs
lola: STP completed || 86 tries, 85512712 fired transitions, 1320 secs || 57674520 markings, 303033691 edges, 38387 markings/sec, 1320 secs
lola: STP completed || 86 tries, 85799306 fired transitions, 1325 secs || 57852166 markings, 303692418 edges, 35529 markings/sec, 1325 secs
lola: STP completed || 87 tries, 86085491 fired transitions, 1330 secs || 58027899 markings, 304502962 edges, 35147 markings/sec, 1330 secs
lola: STP completed || 87 tries, 86371650 fired transitions, 1335 secs || 58214399 markings, 305590543 edges, 37300 markings/sec, 1335 secs
lola: STP completed || 87 tries, 86661366 fired transitions, 1340 secs || 58400058 markings, 306688677 edges, 37132 markings/sec, 1340 secs
lola: STP completed || 87 tries, 86951819 fired transitions, 1345 secs || 58596223 markings, 307798433 edges, 39233 markings/sec, 1345 secs
lola: STP completed || 88 tries, 87239583 fired transitions, 1350 secs || 58790708 markings, 308916999 edges, 38897 markings/sec, 1350 secs
lola: STP completed || 88 tries, 87540970 fired transitions, 1355 secs || 59002909 markings, 310067939 edges, 42440 markings/sec, 1355 secs
lola: STP completed || 88 tries, 87827185 fired transitions, 1360 secs || 59204137 markings, 311170366 edges, 40246 markings/sec, 1360 secs
lola: STP completed || 89 tries, 88110594 fired transitions, 1365 secs || 59398224 markings, 312145111 edges, 38817 markings/sec, 1365 secs
lola: STP completed || 89 tries, 88376950 fired transitions, 1370 secs || 59570533 markings, 313043215 edges, 34462 markings/sec, 1370 secs
lola: STP completed || 89 tries, 88645196 fired transitions, 1375 secs || 59755166 markings, 314091506 edges, 36927 markings/sec, 1375 secs
lola: STP completed || 89 tries, 88910897 fired transitions, 1380 secs || 59923833 markings, 314867619 edges, 33733 markings/sec, 1380 secs
lola: STP completed || 90 tries, 89178677 fired transitions, 1385 secs || 60085134 markings, 315795083 edges, 32260 markings/sec, 1385 secs
lola: STP completed || 90 tries, 89442261 fired transitions, 1390 secs || 60251367 markings, 316731303 edges, 33247 markings/sec, 1390 secs
lola: STP completed || 90 tries, 89702998 fired transitions, 1395 secs || 60440925 markings, 317628031 edges, 37912 markings/sec, 1395 secs
lola: STP completed || 90 tries, 89968005 fired transitions, 1400 secs || 60623608 markings, 318545025 edges, 36537 markings/sec, 1400 secs
lola: STP completed || 91 tries, 90230365 fired transitions, 1405 secs || 60795446 markings, 319518033 edges, 34368 markings/sec, 1405 secs
lola: STP completed || 91 tries, 90493764 fired transitions, 1410 secs || 60974799 markings, 320342959 edges, 35871 markings/sec, 1410 secs
lola: STP completed || 91 tries, 90767691 fired transitions, 1415 secs || 61154731 markings, 321197646 edges, 35986 markings/sec, 1415 secs
lola: STP completed || 92 tries, 91035570 fired transitions, 1420 secs || 61319102 markings, 321814638 edges, 32874 markings/sec, 1420 secs
lola: STP completed || 92 tries, 91301966 fired transitions, 1425 secs || 61483077 markings, 322594031 edges, 32795 markings/sec, 1425 secs
lola: STP completed || 92 tries, 91568180 fired transitions, 1430 secs || 61639486 markings, 323520111 edges, 31282 markings/sec, 1430 secs
lola: STP completed || 92 tries, 91835658 fired transitions, 1435 secs || 61814819 markings, 324533610 edges, 35067 markings/sec, 1435 secs
lola: STP completed || 93 tries, 92103793 fired transitions, 1440 secs || 62000510 markings, 325573060 edges, 37138 markings/sec, 1440 secs
lola: STP completed || 93 tries, 92363578 fired transitions, 1445 secs || 62179703 markings, 326601008 edges, 35839 markings/sec, 1445 secs
lola: STP completed || 93 tries, 92626317 fired transitions, 1450 secs || 62365929 markings, 327634626 edges, 37245 markings/sec, 1450 secs
lola: STP completed || 93 tries, 92890403 fired transitions, 1455 secs || 62559958 markings, 328701551 edges, 38806 markings/sec, 1455 secs
lola: STP completed || 94 tries, 93151104 fired transitions, 1460 secs || 62744822 markings, 329731343 edges, 36973 markings/sec, 1460 secs
lola: STP completed || 94 tries, 93366015 fired transitions, 1465 secs || 62894410 markings, 330447816 edges, 29918 markings/sec, 1465 secs
lola: STP completed || 94 tries, 93578790 fired transitions, 1470 secs || 63021656 markings, 331190137 edges, 25449 markings/sec, 1470 secs
lola: STP completed || 94 tries, 93795141 fired transitions, 1475 secs || 63175911 markings, 332067222 edges, 30851 markings/sec, 1475 secs
lola: STP completed || 95 tries, 94047970 fired transitions, 1480 secs || 63359894 markings, 333113215 edges, 36797 markings/sec, 1480 secs
lola: STP completed || 95 tries, 94311669 fired transitions, 1485 secs || 63552067 markings, 334122423 edges, 38435 markings/sec, 1485 secs
lola: STP completed || 95 tries, 94581992 fired transitions, 1490 secs || 63742324 markings, 335108009 edges, 38051 markings/sec, 1490 secs
lola: STP completed || 95 tries, 94897080 fired transitions, 1495 secs || 63942302 markings, 336225756 edges, 39996 markings/sec, 1495 secs
lola: STP completed || 96 tries, 95237817 fired transitions, 1500 secs || 64152766 markings, 337437774 edges, 42093 markings/sec, 1500 secs
lola: STP completed || 96 tries, 95527603 fired transitions, 1505 secs || 64345010 markings, 338560121 edges, 38449 markings/sec, 1505 secs
lola: STP completed || 96 tries, 95816327 fired transitions, 1510 secs || 64542314 markings, 339679809 edges, 39461 markings/sec, 1510 secs
lola: STP completed || 97 tries, 96090717 fired transitions, 1515 secs || 64731677 markings, 340775482 edges, 37873 markings/sec, 1515 secs
lola: STP completed || 97 tries, 96357664 fired transitions, 1520 secs || 64922036 markings, 341871142 edges, 38072 markings/sec, 1520 secs
lola: STP completed || 97 tries, 96623993 fired transitions, 1525 secs || 65123536 markings, 342966009 edges, 40300 markings/sec, 1525 secs
lola: STP completed || 97 tries, 96898729 fired transitions, 1530 secs || 65338028 markings, 344145408 edges, 42898 markings/sec, 1530 secs
lola: STP completed || 98 tries, 97365944 fired transitions, 1535 secs || 65682356 markings, 345715235 edges, 68866 markings/sec, 1535 secs
lola: STP completed || 98 tries, 97870494 fired transitions, 1540 secs || 66011006 markings, 347250113 edges, 65730 markings/sec, 1540 secs
lola: STP completed || 99 tries, 98300924 fired transitions, 1545 secs || 66276584 markings, 348101055 edges, 53116 markings/sec, 1545 secs
lola: STP completed || 99 tries, 98585622 fired transitions, 1550 secs || 66460285 markings, 348713654 edges, 36740 markings/sec, 1550 secs
lola: STP completed || 99 tries, 98885147 fired transitions, 1555 secs || 66643602 markings, 349329465 edges, 36663 markings/sec, 1555 secs
lola: STP completed || 100 tries, 99180123 fired transitions, 1560 secs || 66820440 markings, 350020838 edges, 35368 markings/sec, 1560 secs
lola: STP completed || 100 tries, 99476403 fired transitions, 1565 secs || 66984352 markings, 350907882 edges, 32782 markings/sec, 1565 secs
lola: STP completed || 100 tries, 99844031 fired transitions, 1570 secs || 67186816 markings, 351998135 edges, 40493 markings/sec, 1570 secs
lola: STP completed || 101 tries, 100129629 fired transitions, 1575 secs || 67361886 markings, 352650531 edges, 35014 markings/sec, 1575 secs
lola: STP completed || 101 tries, 100372727 fired transitions, 1580 secs || 67519922 markings, 353322136 edges, 31607 markings/sec, 1580 secs
lola: STP completed || 101 tries, 100586661 fired transitions, 1585 secs || 67667471 markings, 354116175 edges, 29510 markings/sec, 1585 secs
lola: STP completed || 101 tries, 100830691 fired transitions, 1590 secs || 67817911 markings, 354920895 edges, 30088 markings/sec, 1590 secs
lola: STP completed || 102 tries, 101176918 fired transitions, 1595 secs || 68037976 markings, 355829900 edges, 44013 markings/sec, 1595 secs
lola: STP completed || 102 tries, 101588901 fired transitions, 1600 secs || 68279858 markings, 356984807 edges, 48376 markings/sec, 1600 secs
lola: STP completed || 102 tries, 101981864 fired transitions, 1605 secs || 68508596 markings, 358281804 edges, 45748 markings/sec, 1605 secs
lola: STP completed || 103 tries, 102304901 fired transitions, 1610 secs || 68693345 markings, 359226455 edges, 36950 markings/sec, 1610 secs
lola: STP completed || 103 tries, 102765473 fired transitions, 1615 secs || 68985931 markings, 360410548 edges, 58517 markings/sec, 1615 secs
lola: STP completed || 104 tries, 103172644 fired transitions, 1620 secs || 69240788 markings, 361387788 edges, 50971 markings/sec, 1620 secs
lola: STP completed || 104 tries, 103468010 fired transitions, 1625 secs || 69404207 markings, 362299002 edges, 32684 markings/sec, 1625 secs
lola: STP completed || 104 tries, 103905908 fired transitions, 1630 secs || 69650362 markings, 363598631 edges, 49231 markings/sec, 1630 secs
lola: STP completed || 105 tries, 104282035 fired transitions, 1635 secs || 69863402 markings, 364723022 edges, 42608 markings/sec, 1635 secs
lola: STP completed || 105 tries, 104739892 fired transitions, 1640 secs || 70140383 markings, 365702987 edges, 55396 markings/sec, 1640 secs
lola: STP completed || 106 tries, 105226655 fired transitions, 1645 secs || 70426506 markings, 367010589 edges, 57225 markings/sec, 1645 secs
lola: STP completed || 106 tries, 105568628 fired transitions, 1650 secs || 70637033 markings, 368104722 edges, 42105 markings/sec, 1650 secs
lola: STP completed || 106 tries, 105949815 fired transitions, 1655 secs || 70895767 markings, 369376883 edges, 51747 markings/sec, 1655 secs
lola: STP completed || 107 tries, 106433058 fired transitions, 1660 secs || 71194625 markings, 370933041 edges, 59772 markings/sec, 1660 secs
lola: STP completed || 107 tries, 106936446 fired transitions, 1665 secs || 71516750 markings, 372593580 edges, 64425 markings/sec, 1665 secs
lola: STP completed || 108 tries, 107460420 fired transitions, 1670 secs || 71849817 markings, 374427503 edges, 66613 markings/sec, 1670 secs
lola: STP completed || 108 tries, 107881133 fired transitions, 1675 secs || 72116634 markings, 375904618 edges, 53363 markings/sec, 1675 secs
lola: STP completed || 109 tries, 108173053 fired transitions, 1680 secs || 72291960 markings, 376685856 edges, 35065 markings/sec, 1680 secs
lola: STP completed || 109 tries, 108654410 fired transitions, 1685 secs || 72563249 markings, 378213205 edges, 54258 markings/sec, 1685 secs
lola: STP completed || 110 tries, 109042283 fired transitions, 1690 secs || 72781710 markings, 379375198 edges, 43692 markings/sec, 1690 secs
lola: STP completed || 110 tries, 109555162 fired transitions, 1695 secs || 73132503 markings, 381439008 edges, 70159 markings/sec, 1695 secs
lola: STP completed || 111 tries, 110068105 fired transitions, 1700 secs || 73489003 markings, 383404477 edges, 71300 markings/sec, 1700 secs
lola: STP completed || 111 tries, 110508008 fired transitions, 1705 secs || 73768889 markings, 384895772 edges, 55977 markings/sec, 1705 secs
lola: STP completed || 112 tries, 111055322 fired transitions, 1710 secs || 74068642 markings, 386632884 edges, 59951 markings/sec, 1710 secs
lola: STP completed || 112 tries, 111612743 fired transitions, 1715 secs || 74408371 markings, 388620787 edges, 67946 markings/sec, 1715 secs
lola: STP completed || 113 tries, 112161773 fired transitions, 1720 secs || 74718243 markings, 390368312 edges, 61974 markings/sec, 1720 secs
lola: STP completed || 113 tries, 112681483 fired transitions, 1725 secs || 75005461 markings, 392039826 edges, 57444 markings/sec, 1725 secs
lola: STP completed || 114 tries, 113131158 fired transitions, 1730 secs || 75302105 markings, 393754987 edges, 59329 markings/sec, 1730 secs
lola: STP completed || 114 tries, 113625855 fired transitions, 1735 secs || 75606116 markings, 395402558 edges, 60802 markings/sec, 1735 secs
lola: STP completed || 115 tries, 114136280 fired transitions, 1740 secs || 75892910 markings, 397076417 edges, 57359 markings/sec, 1740 secs
lola: STP completed || 115 tries, 114680161 fired transitions, 1745 secs || 76239007 markings, 399121046 edges, 69219 markings/sec, 1745 secs
lola: STP completed || 116 tries, 115162271 fired transitions, 1750 secs || 76566612 markings, 400976630 edges, 65521 markings/sec, 1750 secs
lola: STP completed || 116 tries, 115608739 fired transitions, 1755 secs || 76880151 markings, 402778722 edges, 62708 markings/sec, 1755 secs
lola: STP completed || 117 tries, 116065307 fired transitions, 1760 secs || 77224685 markings, 404728788 edges, 68907 markings/sec, 1760 secs
lola: STP completed || 117 tries, 116529275 fired transitions, 1765 secs || 77550428 markings, 406588252 edges, 65149 markings/sec, 1765 secs
lola: STP completed || 117 tries, 116974287 fired transitions, 1770 secs || 77872027 markings, 408389614 edges, 64320 markings/sec, 1770 secs
lola: STP completed || 118 tries, 117387507 fired transitions, 1775 secs || 78171342 markings, 410067164 edges, 59863 markings/sec, 1775 secs
lola: STP completed || 118 tries, 117865796 fired transitions, 1780 secs || 78516569 markings, 411996787 edges, 69045 markings/sec, 1780 secs
lola: STP completed || 119 tries, 118378114 fired transitions, 1785 secs || 78904289 markings, 414074518 edges, 77544 markings/sec, 1785 secs
lola: STP completed || 119 tries, 118893731 fired transitions, 1790 secs || 79252105 markings, 416042293 edges, 69563 markings/sec, 1790 secs
lola: STP completed || 120 tries, 119416229 fired transitions, 1795 secs || 79630193 markings, 418124145 edges, 75618 markings/sec, 1795 secs
lola: STP completed || 121 tries, 120002042 fired transitions, 1800 secs || 80001090 markings, 420151603 edges, 74179 markings/sec, 1800 secs
lola: STP completed || 121 tries, 120548628 fired transitions, 1805 secs || 80364472 markings, 422109581 edges, 72676 markings/sec, 1805 secs
lola: STP completed || 122 tries, 121104176 fired transitions, 1810 secs || 80727993 markings, 424064778 edges, 72704 markings/sec, 1810 secs
lola: STP completed || 122 tries, 121613086 fired transitions, 1815 secs || 81074174 markings, 426011426 edges, 69236 markings/sec, 1815 secs
lola: STP completed || 123 tries, 122056112 fired transitions, 1820 secs || 81371418 markings, 427660045 edges, 59449 markings/sec, 1820 secs
lola: STP completed || 123 tries, 122486499 fired transitions, 1825 secs || 81676591 markings, 429396765 edges, 61035 markings/sec, 1825 secs
lola: STP completed || 123 tries, 122929409 fired transitions, 1830 secs || 81958985 markings, 430747901 edges, 56479 markings/sec, 1830 secs
lola: STP completed || 124 tries, 123356559 fired transitions, 1835 secs || 82246792 markings, 432138413 edges, 57561 markings/sec, 1835 secs
lola: STP completed || 124 tries, 123780055 fired transitions, 1840 secs || 82505619 markings, 432967998 edges, 51765 markings/sec, 1840 secs
lola: STP completed || 125 tries, 124178692 fired transitions, 1845 secs || 82747390 markings, 433780706 edges, 48354 markings/sec, 1845 secs
lola: STP completed || 125 tries, 124630467 fired transitions, 1850 secs || 83007314 markings, 434752929 edges, 51985 markings/sec, 1850 secs
lola: STP completed || 126 tries, 125102995 fired transitions, 1855 secs || 83307314 markings, 436358879 edges, 60000 markings/sec, 1855 secs
lola: STP completed || 126 tries, 125428892 fired transitions, 1860 secs || 83512021 markings, 437308647 edges, 40941 markings/sec, 1860 secs
lola: STP completed || 126 tries, 125873840 fired transitions, 1865 secs || 83790620 markings, 438780394 edges, 55720 markings/sec, 1865 secs
lola: STP completed || 127 tries, 126297543 fired transitions, 1870 secs || 84049421 markings, 439937020 edges, 51760 markings/sec, 1870 secs
lola: STP completed || 127 tries, 126723486 fired transitions, 1875 secs || 84298412 markings, 440803875 edges, 49798 markings/sec, 1875 secs
lola: STP completed || 128 tries, 127172868 fired transitions, 1880 secs || 84538248 markings, 441651438 edges, 47967 markings/sec, 1880 secs
lola: STP completed || 128 tries, 127647000 fired transitions, 1885 secs || 84793293 markings, 442560098 edges, 51009 markings/sec, 1885 secs
lola: STP completed || 129 tries, 128107913 fired transitions, 1890 secs || 85042464 markings, 443416774 edges, 49834 markings/sec, 1890 secs
lola: STP completed || 129 tries, 128627912 fired transitions, 1895 secs || 85304163 markings, 444907623 edges, 52340 markings/sec, 1895 secs
lola: STP completed || 130 tries, 129118866 fired transitions, 1900 secs || 85565382 markings, 446269416 edges, 52244 markings/sec, 1900 secs
lola: STP completed || 130 tries, 129565808 fired transitions, 1905 secs || 85834421 markings, 447440587 edges, 53808 markings/sec, 1905 secs
lola: STP completed || 131 tries, 130028717 fired transitions, 1910 secs || 86105874 markings, 448811075 edges, 54291 markings/sec, 1910 secs
lola: STP completed || 131 tries, 130473838 fired transitions, 1915 secs || 86370241 markings, 450214605 edges, 52873 markings/sec, 1915 secs
lola: STP completed || 131 tries, 130867846 fired transitions, 1920 secs || 86585643 markings, 451332848 edges, 43080 markings/sec, 1920 secs
lola: STP completed || 132 tries, 131270661 fired transitions, 1925 secs || 86812210 markings, 452213883 edges, 45313 markings/sec, 1925 secs
lola: STP completed || 132 tries, 131731817 fired transitions, 1930 secs || 87082032 markings, 453577999 edges, 53964 markings/sec, 1930 secs
lola: STP completed || 133 tries, 132121594 fired transitions, 1935 secs || 87341486 markings, 454869829 edges, 51891 markings/sec, 1935 secs
lola: STP completed || 133 tries, 132647486 fired transitions, 1940 secs || 87663142 markings, 456686055 edges, 64331 markings/sec, 1940 secs
lola: STP completed || 134 tries, 133171217 fired transitions, 1945 secs || 87978191 markings, 458424513 edges, 63010 markings/sec, 1945 secs
lola: STP completed || 134 tries, 133703154 fired transitions, 1950 secs || 88302034 markings, 460157976 edges, 64769 markings/sec, 1950 secs
lola: STP completed || 135 tries, 134160885 fired transitions, 1955 secs || 88577177 markings, 461578141 edges, 55029 markings/sec, 1955 secs
lola: STP completed || 135 tries, 134683839 fired transitions, 1960 secs || 88901083 markings, 463482672 edges, 64781 markings/sec, 1960 secs
lola: STP completed || 136 tries, 135169810 fired transitions, 1965 secs || 89213238 markings, 465312558 edges, 62431 markings/sec, 1965 secs
lola: STP completed || 136 tries, 135622827 fired transitions, 1970 secs || 89522395 markings, 467136102 edges, 61831 markings/sec, 1970 secs
lola: STP completed || 137 tries, 136069878 fired transitions, 1975 secs || 89824788 markings, 468862292 edges, 60479 markings/sec, 1975 secs
lola: STP completed || 137 tries, 136476613 fired transitions, 1980 secs || 90102048 markings, 470408487 edges, 55452 markings/sec, 1980 secs
lola: STP completed || 137 tries, 136948887 fired transitions, 1985 secs || 90394206 markings, 472021181 edges, 58432 markings/sec, 1985 secs
lola: STP completed || 138 tries, 137418844 fired transitions, 1990 secs || 90701071 markings, 473753957 edges, 61373 markings/sec, 1990 secs
lola: STP completed || 138 tries, 137873060 fired transitions, 1995 secs || 91002834 markings, 475462132 edges, 60353 markings/sec, 1995 secs
lola: STP completed || 139 tries, 138324803 fired transitions, 2000 secs || 91313659 markings, 477280175 edges, 62165 markings/sec, 2000 secs
lola: STP completed || 139 tries, 138851206 fired transitions, 2005 secs || 91671221 markings, 479317632 edges, 71512 markings/sec, 2005 secs
lola: STP completed || 140 tries, 139391098 fired transitions, 2010 secs || 92047612 markings, 481478965 edges, 75278 markings/sec, 2010 secs
lola: STP completed || 140 tries, 139753683 fired transitions, 2015 secs || 92285628 markings, 482705216 edges, 47603 markings/sec, 2015 secs
lola: STP completed || 141 tries, 140070400 fired transitions, 2020 secs || 92483546 markings, 483867671 edges, 39584 markings/sec, 2020 secs
lola: STP completed || 141 tries, 140362024 fired transitions, 2025 secs || 92673016 markings, 484971727 edges, 37894 markings/sec, 2025 secs
lola: STP completed || 141 tries, 140711514 fired transitions, 2030 secs || 92908991 markings, 486330774 edges, 47195 markings/sec, 2030 secs
lola: STP completed || 142 tries, 141271705 fired transitions, 2035 secs || 93272873 markings, 488408936 edges, 72776 markings/sec, 2035 secs
lola: STP completed || 142 tries, 141819891 fired transitions, 2040 secs || 93663243 markings, 490598253 edges, 78074 markings/sec, 2040 secs
lola: STP completed || 143 tries, 142376354 fired transitions, 2045 secs || 94034115 markings, 492711026 edges, 74174 markings/sec, 2045 secs
lola: STP completed || 143 tries, 142740373 fired transitions, 2050 secs || 94261492 markings, 493989536 edges, 45475 markings/sec, 2050 secs
lola: STP completed || 144 tries, 143267590 fired transitions, 2055 secs || 94633092 markings, 496067651 edges, 74320 markings/sec, 2055 secs
lola: STP completed || 144 tries, 143732506 fired transitions, 2060 secs || 94943673 markings, 497782412 edges, 62116 markings/sec, 2060 secs
lola: STP completed || 145 tries, 144060133 fired transitions, 2065 secs || 95145212 markings, 498909015 edges, 40308 markings/sec, 2065 secs
lola: STP completed || 145 tries, 144417503 fired transitions, 2070 secs || 95401902 markings, 500348960 edges, 51338 markings/sec, 2070 secs
lola: STP completed || 145 tries, 144956982 fired transitions, 2075 secs || 95787970 markings, 502488873 edges, 77214 markings/sec, 2075 secs
lola: STP completed || 146 tries, 145335817 fired transitions, 2080 secs || 96035357 markings, 503841845 edges, 49477 markings/sec, 2080 secs
lola: STP completed || 146 tries, 145872159 fired transitions, 2085 secs || 96401138 markings, 505883589 edges, 73156 markings/sec, 2085 secs
lola: STP completed || 147 tries, 146415905 fired transitions, 2090 secs || 96803267 markings, 508030915 edges, 80426 markings/sec, 2090 secs
lola: STP completed || 147 tries, 146962013 fired transitions, 2095 secs || 97191302 markings, 510149381 edges, 77607 markings/sec, 2095 secs
lola: STP completed || 148 tries, 147497653 fired transitions, 2100 secs || 97584908 markings, 512315570 edges, 78721 markings/sec, 2100 secs
lola: STP completed || 149 tries, 148030435 fired transitions, 2105 secs || 97980373 markings, 514510286 edges, 79093 markings/sec, 2105 secs
lola: STP completed || 149 tries, 148498775 fired transitions, 2110 secs || 98289311 markings, 515987182 edges, 61788 markings/sec, 2110 secs
lola: STP completed || 149 tries, 148839404 fired transitions, 2115 secs || 98500659 markings, 517143238 edges, 42270 markings/sec, 2115 secs
lola: STP completed || 150 tries, 149121685 fired transitions, 2120 secs || 98670154 markings, 517723707 edges, 33899 markings/sec, 2120 secs
lola: STP completed || 150 tries, 149562679 fired transitions, 2125 secs || 98925279 markings, 518599489 edges, 51025 markings/sec, 2125 secs
lola: STP completed || 150 tries, 149967987 fired transitions, 2130 secs || 99154017 markings, 519417430 edges, 45748 markings/sec, 2130 secs
lola: STP completed || 151 tries, 150390922 fired transitions, 2135 secs || 99403046 markings, 520540400 edges, 49806 markings/sec, 2135 secs
lola: STP completed || 151 tries, 150876302 fired transitions, 2140 secs || 99706171 markings, 522179203 edges, 60625 markings/sec, 2140 secs
lola: STP completed || 152 tries, 151170281 fired transitions, 2145 secs || 99871925 markings, 522817421 edges, 33151 markings/sec, 2145 secs
lola: STP completed || 152 tries, 151513471 fired transitions, 2150 secs || 100075257 markings, 523865915 edges, 40666 markings/sec, 2150 secs
lola: STP completed || 152 tries, 151894786 fired transitions, 2155 secs || 100309628 markings, 525104749 edges, 46874 markings/sec, 2155 secs
lola: STP completed || 153 tries, 152305881 fired transitions, 2160 secs || 100539215 markings, 526053516 edges, 45917 markings/sec, 2160 secs
lola: STP completed || 153 tries, 152711017 fired transitions, 2165 secs || 100768999 markings, 526898521 edges, 45957 markings/sec, 2165 secs
lola: STP completed || 154 tries, 153126501 fired transitions, 2170 secs || 100994718 markings, 527767153 edges, 45144 markings/sec, 2170 secs
lola: STP completed || 154 tries, 153511334 fired transitions, 2175 secs || 101201168 markings, 528938482 edges, 41290 markings/sec, 2175 secs
lola: STP completed || 154 tries, 153874916 fired transitions, 2180 secs || 101402005 markings, 530038749 edges, 40167 markings/sec, 2180 secs
lola: STP completed || 155 tries, 154351927 fired transitions, 2185 secs || 101634291 markings, 531286283 edges, 46457 markings/sec, 2185 secs
lola: STP completed || 155 tries, 154763111 fired transitions, 2190 secs || 101857468 markings, 532122954 edges, 44635 markings/sec, 2190 secs
lola: STP completed || 156 tries, 155228311 fired transitions, 2195 secs || 102118231 markings, 533100284 edges, 52153 markings/sec, 2195 secs
lola: STP completed || 156 tries, 155715578 fired transitions, 2200 secs || 102400406 markings, 534343712 edges, 56435 markings/sec, 2200 secs
lola: STP completed || 157 tries, 156240939 fired transitions, 2205 secs || 102706774 markings, 536027566 edges, 61274 markings/sec, 2205 secs
lola: STP completed || 157 tries, 156714986 fired transitions, 2210 secs || 102964416 markings, 537383513 edges, 51528 markings/sec, 2210 secs
lola: STP completed || 158 tries, 157207660 fired transitions, 2215 secs || 103245976 markings, 538606279 edges, 56312 markings/sec, 2215 secs
lola: STP completed || 158 tries, 157740252 fired transitions, 2220 secs || 103563360 markings, 540263297 edges, 63477 markings/sec, 2220 secs
lola: STP completed || 159 tries, 158262387 fired transitions, 2225 secs || 103900551 markings, 542001501 edges, 67438 markings/sec, 2225 secs
lola: STP completed || 159 tries, 158779690 fired transitions, 2230 secs || 104216774 markings, 543737410 edges, 63245 markings/sec, 2230 secs
lola: STP completed || 160 tries, 159283544 fired transitions, 2235 secs || 104521474 markings, 545446449 edges, 60940 markings/sec, 2235 secs
lola: STP completed || 160 tries, 159804491 fired transitions, 2240 secs || 104837759 markings, 547094150 edges, 63257 markings/sec, 2240 secs
lola: STP completed || 161 tries, 160327113 fired transitions, 2245 secs || 105160448 markings, 548836202 edges, 64538 markings/sec, 2245 secs
lola: STP completed || 161 tries, 160854359 fired transitions, 2250 secs || 105475656 markings, 550702960 edges, 63042 markings/sec, 2250 secs
lola: STP completed || 162 tries, 161296776 fired transitions, 2255 secs || 105762277 markings, 552290915 edges, 57324 markings/sec, 2255 secs
lola: STP completed || 162 tries, 161758870 fired transitions, 2260 secs || 106056743 markings, 553987794 edges, 58893 markings/sec, 2260 secs
lola: STP completed || 163 tries, 162201924 fired transitions, 2265 secs || 106348554 markings, 555639088 edges, 58362 markings/sec, 2265 secs
lola: STP completed || 163 tries, 162669976 fired transitions, 2270 secs || 106655872 markings, 557441157 edges, 61464 markings/sec, 2270 secs
lola: STP completed || 164 tries, 163123518 fired transitions, 2275 secs || 106955028 markings, 559185073 edges, 59831 markings/sec, 2275 secs
lola: STP completed || 164 tries, 163574852 fired transitions, 2280 secs || 107264703 markings, 560891781 edges, 61935 markings/sec, 2280 secs
lola: STP completed || 165 tries, 164024956 fired transitions, 2285 secs || 107566190 markings, 562686538 edges, 60297 markings/sec, 2285 secs
lola: STP completed || 165 tries, 164495692 fired transitions, 2290 secs || 107892177 markings, 564555955 edges, 65197 markings/sec, 2290 secs
lola: STP completed || 165 tries, 164914002 fired transitions, 2295 secs || 108148694 markings, 566103236 edges, 51303 markings/sec, 2295 secs
lola: STP completed || 166 tries, 165415279 fired transitions, 2300 secs || 108475969 markings, 568055979 edges, 65455 markings/sec, 2300 secs
lola: STP completed || 166 tries, 165950215 fired transitions, 2305 secs || 108838862 markings, 570138763 edges, 72579 markings/sec, 2305 secs
lola: STP completed || 167 tries, 166492316 fired transitions, 2310 secs || 109206038 markings, 572255126 edges, 73435 markings/sec, 2310 secs
lola: STP completed || 168 tries, 167034122 fired transitions, 2315 secs || 109575281 markings, 574389850 edges, 73849 markings/sec, 2315 secs
lola: STP completed || 168 tries, 167582056 fired transitions, 2320 secs || 109941961 markings, 576498361 edges, 73336 markings/sec, 2320 secs
lola: STP completed || 169 tries, 168124972 fired transitions, 2325 secs || 110308936 markings, 578596261 edges, 73395 markings/sec, 2325 secs
lola: STP completed || 169 tries, 168656985 fired transitions, 2330 secs || 110676086 markings, 580663462 edges, 73430 markings/sec, 2330 secs
lola: STP completed || 170 tries, 169190217 fired transitions, 2335 secs || 111043750 markings, 582766671 edges, 73533 markings/sec, 2335 secs
lola: STP completed || 170 tries, 169731806 fired transitions, 2340 secs || 111415638 markings, 584880441 edges, 74378 markings/sec, 2340 secs
lola: STP completed || 171 tries, 170212332 fired transitions, 2345 secs || 111750733 markings, 586771974 edges, 67019 markings/sec, 2345 secs
lola: STP completed || 171 tries, 170742331 fired transitions, 2350 secs || 112139186 markings, 588880500 edges, 77691 markings/sec, 2350 secs
lola: STP completed || 172 tries, 171289590 fired transitions, 2355 secs || 112509900 markings, 590921972 edges, 74143 markings/sec, 2355 secs
lola: STP completed || 172 tries, 171832687 fired transitions, 2360 secs || 112881895 markings, 592953063 edges, 74399 markings/sec, 2360 secs
lola: STP completed || 173 tries, 172395480 fired transitions, 2365 secs || 113250469 markings, 594948563 edges, 73715 markings/sec, 2365 secs
lola: STP completed || 173 tries, 172914718 fired transitions, 2370 secs || 113604525 markings, 596879651 edges, 70811 markings/sec, 2370 secs
lola: STP completed || 174 tries, 173141829 fired transitions, 2375 secs || 113764808 markings, 597765686 edges, 32057 markings/sec, 2375 secs
lola: STP completed || 174 tries, 173457451 fired transitions, 2380 secs || 114003779 markings, 599100068 edges, 47794 markings/sec, 2380 secs
lola: STP completed || 174 tries, 173915370 fired transitions, 2385 secs || 114322194 markings, 600893760 edges, 63683 markings/sec, 2385 secs
lola: STP completed || 175 tries, 174469055 fired transitions, 2390 secs || 114653229 markings, 602476380 edges, 66207 markings/sec, 2390 secs
lola: STP completed || 175 tries, 174982093 fired transitions, 2395 secs || 114973268 markings, 603869281 edges, 64008 markings/sec, 2395 secs
lola: STP completed || 176 tries, 175462758 fired transitions, 2400 secs || 115253535 markings, 604780704 edges, 56053 markings/sec, 2400 secs
lola: STP completed || 176 tries, 175945378 fired transitions, 2405 secs || 115532792 markings, 605743125 edges, 55851 markings/sec, 2405 secs
lola: STP completed || 177 tries, 176514844 fired transitions, 2410 secs || 115848158 markings, 607432438 edges, 63073 markings/sec, 2410 secs
lola: STP completed || 178 tries, 177024193 fired transitions, 2415 secs || 116147182 markings, 608668488 edges, 59805 markings/sec, 2415 secs
lola: STP completed || 178 tries, 177515546 fired transitions, 2420 secs || 116423344 markings, 609642842 edges, 55232 markings/sec, 2420 secs
lola: STP completed || 179 tries, 178008628 fired transitions, 2425 secs || 116741569 markings, 611160232 edges, 63645 markings/sec, 2425 secs
lola: STP completed || 179 tries, 178530287 fired transitions, 2430 secs || 117055870 markings, 612685198 edges, 62860 markings/sec, 2430 secs
lola: STP completed || 180 tries, 179012237 fired transitions, 2435 secs || 117333896 markings, 613681039 edges, 55605 markings/sec, 2435 secs
lola: STP completed || 180 tries, 179472608 fired transitions, 2440 secs || 117622736 markings, 614706656 edges, 57768 markings/sec, 2440 secs
lola: STP completed || 180 tries, 179984258 fired transitions, 2445 secs || 117925205 markings, 616194518 edges, 60494 markings/sec, 2445 secs
lola: STP completed || 181 tries, 180525053 fired transitions, 2450 secs || 118231566 markings, 617841350 edges, 61272 markings/sec, 2450 secs
lola: STP completed || 182 tries, 181035604 fired transitions, 2455 secs || 118528353 markings, 619193334 edges, 59357 markings/sec, 2455 secs
lola: STP completed || 182 tries, 181578808 fired transitions, 2460 secs || 118836468 markings, 620902767 edges, 61623 markings/sec, 2460 secs
lola: STP completed || 183 tries, 182107813 fired transitions, 2465 secs || 119149664 markings, 622547891 edges, 62639 markings/sec, 2465 secs
lola: STP completed || 183 tries, 182603021 fired transitions, 2470 secs || 119453083 markings, 623774184 edges, 60684 markings/sec, 2470 secs
lola: STP completed || 184 tries, 183150423 fired transitions, 2475 secs || 119793969 markings, 625559286 edges, 68177 markings/sec, 2475 secs
lola: STP completed || 184 tries, 183694965 fired transitions, 2480 secs || 120096684 markings, 627108913 edges, 60543 markings/sec, 2480 secs
lola: STP completed || 185 tries, 184239126 fired transitions, 2485 secs || 120404186 markings, 628761703 edges, 61500 markings/sec, 2485 secs
lola: STP completed || 185 tries, 184759915 fired transitions, 2490 secs || 120718476 markings, 630369289 edges, 62858 markings/sec, 2490 secs
lola: STP completed || 186 tries, 185268227 fired transitions, 2495 secs || 121031995 markings, 632162934 edges, 62704 markings/sec, 2495 secs
lola: STP completed || 186 tries, 185783154 fired transitions, 2500 secs || 121348841 markings, 633716524 edges, 63369 markings/sec, 2500 secs
lola: STP completed || 187 tries, 186310772 fired transitions, 2505 secs || 121663355 markings, 635409400 edges, 62903 markings/sec, 2505 secs
lola: STP completed || 187 tries, 186847084 fired transitions, 2510 secs || 121984983 markings, 637251641 edges, 64326 markings/sec, 2510 secs
lola: STP completed || 188 tries, 187392909 fired transitions, 2515 secs || 122328723 markings, 639205877 edges, 68748 markings/sec, 2515 secs
lola: STP completed || 188 tries, 187954478 fired transitions, 2520 secs || 122692001 markings, 641198787 edges, 72656 markings/sec, 2520 secs
lola: STP completed || 189 tries, 188537511 fired transitions, 2525 secs || 123043391 markings, 643316839 edges, 70278 markings/sec, 2525 secs
lola: STP completed || 190 tries, 189120447 fired transitions, 2530 secs || 123398010 markings, 645377340 edges, 70924 markings/sec, 2530 secs
lola: STP completed || 190 tries, 189661652 fired transitions, 2535 secs || 123764935 markings, 647490881 edges, 73385 markings/sec, 2535 secs
lola: STP completed || 191 tries, 190210087 fired transitions, 2540 secs || 124117925 markings, 649538384 edges, 70598 markings/sec, 2540 secs
lola: STP completed || 191 tries, 190769922 fired transitions, 2545 secs || 124476764 markings, 651503719 edges, 71768 markings/sec, 2545 secs
lola: STP completed || 192 tries, 191329923 fired transitions, 2550 secs || 124836142 markings, 653616134 edges, 71876 markings/sec, 2550 secs
lola: STP completed || 192 tries, 191892937 fired transitions, 2555 secs || 125191240 markings, 655677987 edges, 71020 markings/sec, 2555 secs
lola: STP completed || 193 tries, 192445476 fired transitions, 2560 secs || 125548388 markings, 657728484 edges, 71430 markings/sec, 2560 secs
lola: STP completed || 193 tries, 192999247 fired transitions, 2565 secs || 125915377 markings, 659814979 edges, 73398 markings/sec, 2565 secs
lola: STP completed || 194 tries, 193562969 fired transitions, 2570 secs || 126266508 markings, 661832467 edges, 70226 markings/sec, 2570 secs
lola: STP completed || 195 tries, 194094903 fired transitions, 2575 secs || 126604003 markings, 663739766 edges, 67499 markings/sec, 2575 secs
lola: STP completed || 195 tries, 194590281 fired transitions, 2580 secs || 126927290 markings, 665553623 edges, 64657 markings/sec, 2580 secs
lola: STP completed || 196 tries, 195036214 fired transitions, 2585 secs || 127255041 markings, 667404191 edges, 65550 markings/sec, 2585 secs
lola: STP completed || 196 tries, 195490165 fired transitions, 2590 secs || 127595397 markings, 669322681 edges, 68071 markings/sec, 2590 secs
lola: STP completed || 196 tries, 195924698 fired transitions, 2595 secs || 127925813 markings, 671145399 edges, 66083 markings/sec, 2595 secs
lola: STP completed || 197 tries, 196370352 fired transitions, 2600 secs || 128256879 markings, 672978420 edges, 66213 markings/sec, 2600 secs
lola: STP completed || 197 tries, 196850912 fired transitions, 2605 secs || 128604497 markings, 674885236 edges, 69524 markings/sec, 2605 secs
lola: STP completed || 198 tries, 197307923 fired transitions, 2610 secs || 128939256 markings, 676725360 edges, 66952 markings/sec, 2610 secs
lola: STP completed || 198 tries, 197762950 fired transitions, 2615 secs || 129280310 markings, 678594884 edges, 68211 markings/sec, 2615 secs
lola: STP completed || 199 tries, 198260461 fired transitions, 2620 secs || 129663609 markings, 680644416 edges, 76660 markings/sec, 2620 secs
lola: STP completed || 199 tries, 198790096 fired transitions, 2625 secs || 130048742 markings, 682759817 edges, 77027 markings/sec, 2625 secs
lola: STP completed || 200 tries, 199346204 fired transitions, 2630 secs || 130430510 markings, 684910319 edges, 76354 markings/sec, 2630 secs
lola: STP completed || 200 tries, 199900424 fired transitions, 2635 secs || 130817743 markings, 687049461 edges, 77447 markings/sec, 2635 secs
lola: STP completed || 201 tries, 200429381 fired transitions, 2640 secs || 131149088 markings, 688656340 edges, 66269 markings/sec, 2640 secs
lola: STP completed || 201 tries, 200917739 fired transitions, 2645 secs || 131426904 markings, 689666148 edges, 55563 markings/sec, 2645 secs
lola: STP completed || 202 tries, 201409098 fired transitions, 2650 secs || 131688849 markings, 690667876 edges, 52389 markings/sec, 2650 secs
lola: STP completed || 202 tries, 201889429 fired transitions, 2655 secs || 131953252 markings, 691674688 edges, 52881 markings/sec, 2655 secs
lola: STP completed || 203 tries, 202411481 fired transitions, 2660 secs || 132278936 markings, 693347048 edges, 65137 markings/sec, 2660 secs
lola: STP completed || 203 tries, 202930791 fired transitions, 2665 secs || 132596370 markings, 694947770 edges, 63487 markings/sec, 2665 secs
lola: STP completed || 204 tries, 203464759 fired transitions, 2670 secs || 132927491 markings, 696768941 edges, 66224 markings/sec, 2670 secs
lola: STP completed || 204 tries, 203951987 fired transitions, 2675 secs || 133202003 markings, 697933481 edges, 54902 markings/sec, 2675 secs
lola: STP completed || 205 tries, 204425946 fired transitions, 2680 secs || 133461955 markings, 698959369 edges, 51990 markings/sec, 2680 secs
lola: STP completed || 205 tries, 204896953 fired transitions, 2685 secs || 133726199 markings, 699993355 edges, 52849 markings/sec, 2685 secs
lola: STP completed || 206 tries, 205384989 fired transitions, 2690 secs || 133987221 markings, 701037848 edges, 52204 markings/sec, 2690 secs
lola: STP completed || 206 tries, 205904009 fired transitions, 2695 secs || 134281673 markings, 702447375 edges, 58890 markings/sec, 2695 secs
lola: STP completed || 207 tries, 206424360 fired transitions, 2700 secs || 134583448 markings, 704086819 edges, 60355 markings/sec, 2700 secs
lola: STP completed || 207 tries, 206940725 fired transitions, 2705 secs || 134872483 markings, 705588637 edges, 57807 markings/sec, 2705 secs
lola: STP completed || 208 tries, 207479896 fired transitions, 2710 secs || 135180871 markings, 707151940 edges, 61678 markings/sec, 2710 secs
lola: STP completed || 208 tries, 207905132 fired transitions, 2715 secs || 135429906 markings, 708520043 edges, 49807 markings/sec, 2715 secs
lola: STP completed || 209 tries, 208420521 fired transitions, 2720 secs || 135744880 markings, 710175256 edges, 62995 markings/sec, 2720 secs
lola: STP completed || 209 tries, 208943426 fired transitions, 2725 secs || 136061842 markings, 712007766 edges, 63392 markings/sec, 2725 secs
lola: STP completed || 210 tries, 209458029 fired transitions, 2730 secs || 136357551 markings, 713446588 edges, 59142 markings/sec, 2730 secs
lola: STP completed || 210 tries, 209977693 fired transitions, 2735 secs || 136655926 markings, 715065967 edges, 59675 markings/sec, 2735 secs
lola: STP completed || 211 tries, 210505020 fired transitions, 2740 secs || 136961025 markings, 716781019 edges, 61020 markings/sec, 2740 secs
lola: STP completed || 212 tries, 211036069 fired transitions, 2745 secs || 137307159 markings, 718767082 edges, 69227 markings/sec, 2745 secs
lola: STP completed || 212 tries, 211552881 fired transitions, 2750 secs || 137623117 markings, 720490999 edges, 63192 markings/sec, 2750 secs
lola: STP completed || 213 tries, 212073149 fired transitions, 2755 secs || 137936125 markings, 722186565 edges, 62602 markings/sec, 2755 secs
lola: STP completed || 213 tries, 212625622 fired transitions, 2760 secs || 138276366 markings, 724189395 edges, 68048 markings/sec, 2760 secs
lola: STP completed || 214 tries, 213172380 fired transitions, 2765 secs || 138616417 markings, 726206416 edges, 68010 markings/sec, 2765 secs
lola: STP completed || 214 tries, 213707245 fired transitions, 2770 secs || 138982367 markings, 728336129 edges, 73190 markings/sec, 2770 secs
lola: STP completed || 215 tries, 214278302 fired transitions, 2775 secs || 139325962 markings, 730355950 edges, 68719 markings/sec, 2775 secs
lola: STP completed || 215 tries, 214837709 fired transitions, 2780 secs || 139677087 markings, 732376397 edges, 70225 markings/sec, 2780 secs
lola: STP completed || 216 tries, 215377366 fired transitions, 2785 secs || 140048427 markings, 734374534 edges, 74268 markings/sec, 2785 secs
lola: STP completed || 216 tries, 215910339 fired transitions, 2790 secs || 140420318 markings, 736496462 edges, 74378 markings/sec, 2790 secs
lola: STP completed || 217 tries, 216381653 fired transitions, 2795 secs || 140725596 markings, 738277968 edges, 61056 markings/sec, 2795 secs
lola: STP completed || 217 tries, 216653094 fired transitions, 2800 secs || 140899285 markings, 739299876 edges, 34738 markings/sec, 2800 secs
lola: STP completed || 217 tries, 216923015 fired transitions, 2805 secs || 141074004 markings, 740339981 edges, 34944 markings/sec, 2805 secs
lola: STP completed || 218 tries, 217192918 fired transitions, 2810 secs || 141258584 markings, 741349160 edges, 36916 markings/sec, 2810 secs
lola: STP completed || 218 tries, 217462307 fired transitions, 2815 secs || 141445292 markings, 742345789 edges, 37342 markings/sec, 2815 secs
lola: STP completed || 218 tries, 217809641 fired transitions, 2820 secs || 141679585 markings, 743732878 edges, 46859 markings/sec, 2820 secs
lola: STP completed || 219 tries, 218354582 fired transitions, 2825 secs || 142066593 markings, 745924480 edges, 77402 markings/sec, 2825 secs
lola: STP completed || 219 tries, 218922212 fired transitions, 2830 secs || 142426970 markings, 748015994 edges, 72075 markings/sec, 2830 secs
lola: STP completed || 220 tries, 219462508 fired transitions, 2835 secs || 142783909 markings, 750094263 edges, 71388 markings/sec, 2835 secs
lola: STP completed || 221 tries, 220001926 fired transitions, 2840 secs || 143158194 markings, 752196269 edges, 74857 markings/sec, 2840 secs
lola: STP completed || 221 tries, 220547955 fired transitions, 2845 secs || 143539538 markings, 754352992 edges, 76269 markings/sec, 2845 secs
lola: STP completed || 222 tries, 221095222 fired transitions, 2850 secs || 143928749 markings, 756514600 edges, 77842 markings/sec, 2850 secs
lola: STP completed || 222 tries, 221634443 fired transitions, 2855 secs || 144304664 markings, 758666639 edges, 75183 markings/sec, 2855 secs
lola: STP completed || 223 tries, 222173918 fired transitions, 2860 secs || 144691661 markings, 760829344 edges, 77399 markings/sec, 2860 secs
lola: STP completed || 223 tries, 222732270 fired transitions, 2865 secs || 145078879 markings, 762960300 edges, 77444 markings/sec, 2865 secs
lola: STP completed || 224 tries, 223276085 fired transitions, 2870 secs || 145452148 markings, 765053299 edges, 74654 markings/sec, 2870 secs
lola: STP completed || 224 tries, 223813649 fired transitions, 2875 secs || 145854002 markings, 767223819 edges, 80371 markings/sec, 2875 secs
lola: STP completed || 225 tries, 224359396 fired transitions, 2880 secs || 146247079 markings, 769390387 edges, 78615 markings/sec, 2880 secs
lola: STP completed || 225 tries, 224895821 fired transitions, 2885 secs || 146631968 markings, 771574084 edges, 76978 markings/sec, 2885 secs
lola: STP completed || 226 tries, 225448286 fired transitions, 2890 secs || 147011280 markings, 773708656 edges, 75862 markings/sec, 2890 secs
lola: STP completed || 226 tries, 225951472 fired transitions, 2895 secs || 147363272 markings, 775443218 edges, 70398 markings/sec, 2895 secs
lola: STP completed || 227 tries, 226396333 fired transitions, 2900 secs || 147640347 markings, 776558816 edges, 55415 markings/sec, 2900 secs
lola: STP completed || 227 tries, 226738232 fired transitions, 2905 secs || 147846509 markings, 777264052 edges, 41232 markings/sec, 2905 secs
lola: STP completed || 228 tries, 227205496 fired transitions, 2910 secs || 148114579 markings, 778229812 edges, 53614 markings/sec, 2910 secs
lola: STP completed || 228 tries, 227726735 fired transitions, 2915 secs || 148421927 markings, 779729136 edges, 61470 markings/sec, 2915 secs
lola: STP completed || 229 tries, 228239852 fired transitions, 2920 secs || 148725011 markings, 781228464 edges, 60617 markings/sec, 2920 secs
lola: STP completed || 229 tries, 228718308 fired transitions, 2925 secs || 148987849 markings, 782200872 edges, 52568 markings/sec, 2925 secs
lola: STP completed || 230 tries, 229236046 fired transitions, 2930 secs || 149300926 markings, 783797326 edges, 62615 markings/sec, 2930 secs
lola: STP completed || 230 tries, 229744556 fired transitions, 2935 secs || 149595048 markings, 785186303 edges, 58824 markings/sec, 2935 secs
lola: STP completed || 231 tries, 230282341 fired transitions, 2940 secs || 149888247 markings, 786793899 edges, 58640 markings/sec, 2940 secs
lola: STP completed || 231 tries, 230693952 fired transitions, 2945 secs || 150119540 markings, 788000132 edges, 46259 markings/sec, 2945 secs
lola: STP completed || 232 tries, 231048638 fired transitions, 2950 secs || 150311235 markings, 789006940 edges, 38339 markings/sec, 2950 secs
lola: STP completed || 232 tries, 231503554 fired transitions, 2955 secs || 150566658 markings, 789933371 edges, 51085 markings/sec, 2955 secs
lola: STP completed || 232 tries, 231970927 fired transitions, 2960 secs || 150822870 markings, 790896492 edges, 51242 markings/sec, 2960 secs
lola: STP completed || 233 tries, 232445813 fired transitions, 2965 secs || 151084273 markings, 791891619 edges, 52281 markings/sec, 2965 secs
lola: STP completed || 233 tries, 232933090 fired transitions, 2970 secs || 151348199 markings, 792959803 edges, 52785 markings/sec, 2970 secs
lola: STP completed || 234 tries, 233474312 fired transitions, 2975 secs || 151633461 markings, 794571188 edges, 57052 markings/sec, 2975 secs
lola: STP completed || 235 tries, 234006586 fired transitions, 2980 secs || 151924683 markings, 796131686 edges, 58244 markings/sec, 2980 secs
lola: STP completed || 235 tries, 234539009 fired transitions, 2985 secs || 152217288 markings, 797664193 edges, 58521 markings/sec, 2985 secs
lola: STP completed || 236 tries, 235061435 fired transitions, 2990 secs || 152547349 markings, 799402550 edges, 66012 markings/sec, 2990 secs
lola: STP completed || 236 tries, 235599837 fired transitions, 2995 secs || 152848191 markings, 800984837 edges, 60168 markings/sec, 2995 secs
lola: STP completed || 237 tries, 236132484 fired transitions, 3000 secs || 153153719 markings, 802657500 edges, 61106 markings/sec, 3000 secs
lola: STP completed || 237 tries, 236666716 fired transitions, 3005 secs || 153442822 markings, 804252750 edges, 57821 markings/sec, 3005 secs
lola: STP completed || 238 tries, 237203061 fired transitions, 3010 secs || 153764572 markings, 806071694 edges, 64350 markings/sec, 3010 secs
lola: STP completed || 238 tries, 237685717 fired transitions, 3015 secs || 154045006 markings, 807504741 edges, 56087 markings/sec, 3015 secs
lola: STP completed || 239 tries, 238211876 fired transitions, 3020 secs || 154363430 markings, 809295837 edges, 63685 markings/sec, 3020 secs
lola: STP completed || 239 tries, 238758935 fired transitions, 3025 secs || 154695320 markings, 811178906 edges, 66378 markings/sec, 3025 secs
lola: STP completed || 240 tries, 239299207 fired transitions, 3030 secs || 155033923 markings, 813103251 edges, 67721 markings/sec, 3030 secs
lola: STP completed || 240 tries, 239844324 fired transitions, 3035 secs || 155371743 markings, 814983391 edges, 67564 markings/sec, 3035 secs
lola: STP completed || 241 tries, 240384035 fired transitions, 3040 secs || 155702402 markings, 816953934 edges, 66132 markings/sec, 3040 secs
lola: STP completed || 241 tries, 240920903 fired transitions, 3045 secs || 156053844 markings, 818857333 edges, 70288 markings/sec, 3045 secs
lola: STP completed || 242 tries, 241459777 fired transitions, 3050 secs || 156395110 markings, 820836646 edges, 68253 markings/sec, 3050 secs
lola: STP completed || 242 tries, 241985380 fired transitions, 3055 secs || 156734941 markings, 822821804 edges, 67966 markings/sec, 3055 secs
lola: STP completed || 243 tries, 242522351 fired transitions, 3060 secs || 157071536 markings, 824819234 edges, 67319 markings/sec, 3060 secs
lola: STP completed || 244 tries, 243063885 fired transitions, 3065 secs || 157423792 markings, 826862824 edges, 70451 markings/sec, 3065 secs
lola: STP completed || 244 tries, 243595937 fired transitions, 3070 secs || 157792452 markings, 828879844 edges, 73732 markings/sec, 3070 secs
lola: STP completed || 245 tries, 244127593 fired transitions, 3075 secs || 158145684 markings, 830939557 edges, 70646 markings/sec, 3075 secs
lola: STP completed || 245 tries, 244653635 fired transitions, 3080 secs || 158510024 markings, 833040833 edges, 72868 markings/sec, 3080 secs
lola: STP completed || 246 tries, 245189013 fired transitions, 3085 secs || 158867663 markings, 835105265 edges, 71528 markings/sec, 3085 secs
lola: STP completed || 246 tries, 245735783 fired transitions, 3090 secs || 159226879 markings, 837136011 edges, 71843 markings/sec, 3090 secs
lola: STP completed || 247 tries, 246115029 fired transitions, 3095 secs || 159488966 markings, 838619683 edges, 52417 markings/sec, 3095 secs
lola: STP completed || 247 tries, 246607356 fired transitions, 3100 secs || 159821095 markings, 840497171 edges, 66426 markings/sec, 3100 secs
lola: STP completed || 248 tries, 247159678 fired transitions, 3105 secs || 160187448 markings, 842589433 edges, 73271 markings/sec, 3105 secs
lola: STP completed || 248 tries, 247689021 fired transitions, 3110 secs || 160556069 markings, 844647831 edges, 73724 markings/sec, 3110 secs
lola: STP completed || 249 tries, 248217797 fired transitions, 3115 secs || 160931564 markings, 846760124 edges, 75099 markings/sec, 3115 secs
lola: STP completed || 249 tries, 248755466 fired transitions, 3120 secs || 161306622 markings, 848822141 edges, 75012 markings/sec, 3120 secs
lola: STP completed || 250 tries, 249295936 fired transitions, 3125 secs || 161680502 markings, 850885639 edges, 74776 markings/sec, 3125 secs
lola: STP completed || 250 tries, 249840494 fired transitions, 3130 secs || 162072726 markings, 852992566 edges, 78445 markings/sec, 3130 secs
lola: STP completed || 251 tries, 250379080 fired transitions, 3135 secs || 162448364 markings, 855037265 edges, 75128 markings/sec, 3135 secs
lola: STP completed || 251 tries, 250920981 fired transitions, 3140 secs || 162811937 markings, 857060118 edges, 72715 markings/sec, 3140 secs
lola: STP completed || 252 tries, 251467695 fired transitions, 3145 secs || 163190932 markings, 859184561 edges, 75799 markings/sec, 3145 secs
lola: STP completed || 252 tries, 251987934 fired transitions, 3150 secs || 163550148 markings, 860968419 edges, 71843 markings/sec, 3150 secs
lola: STP completed || 253 tries, 252493380 fired transitions, 3155 secs || 163880206 markings, 862491884 edges, 66012 markings/sec, 3155 secs
lola: STP completed || 253 tries, 252959128 fired transitions, 3160 secs || 164162632 markings, 863415932 edges, 56485 markings/sec, 3160 secs
lola: STP completed || 254 tries, 253416747 fired transitions, 3165 secs || 164444862 markings, 864360676 edges, 56446 markings/sec, 3165 secs
lola: STP completed || 254 tries, 253888780 fired transitions, 3170 secs || 164724286 markings, 865386113 edges, 55885 markings/sec, 3170 secs
lola: STP completed || 255 tries, 254414140 fired transitions, 3175 secs || 165049889 markings, 867129012 edges, 65121 markings/sec, 3175 secs
lola: STP completed || 255 tries, 254908165 fired transitions, 3180 secs || 165352265 markings, 868545110 edges, 60475 markings/sec, 3180 secs
lola: STP completed || 256 tries, 255416563 fired transitions, 3185 secs || 165681295 markings, 870304394 edges, 65806 markings/sec, 3185 secs
lola: STP completed || 256 tries, 255863918 fired transitions, 3190 secs || 165956129 markings, 871268062 edges, 54967 markings/sec, 3190 secs
lola: STP completed || 257 tries, 256336214 fired transitions, 3195 secs || 166242749 markings, 872590379 edges, 57324 markings/sec, 3195 secs
lola: STP completed || 257 tries, 256855229 fired transitions, 3200 secs || 166543664 markings, 874155833 edges, 60183 markings/sec, 3200 secs
lola: STP completed || 258 tries, 257362181 fired transitions, 3205 secs || 166829235 markings, 875579671 edges, 57114 markings/sec, 3205 secs
lola: STP completed || 258 tries, 257639808 fired transitions, 3210 secs || 167000560 markings, 876186824 edges, 34265 markings/sec, 3210 secs
lola: STP completed || 259 tries, 258098308 fired transitions, 3215 secs || 167266157 markings, 877135156 edges, 53119 markings/sec, 3215 secs
lola: STP completed || 259 tries, 258595719 fired transitions, 3220 secs || 167563610 markings, 878348996 edges, 59491 markings/sec, 3220 secs
lola: STP completed || 260 tries, 259145573 fired transitions, 3225 secs || 167883320 markings, 880115204 edges, 63942 markings/sec, 3225 secs
lola: STP completed || 260 tries, 259699182 fired transitions, 3230 secs || 168209456 markings, 881724099 edges, 65227 markings/sec, 3230 secs
lola: STP completed || 261 tries, 260234095 fired transitions, 3235 secs || 168514083 markings, 883378371 edges, 60925 markings/sec, 3235 secs
lola: STP completed || 261 tries, 260761532 fired transitions, 3240 secs || 168849782 markings, 885270539 edges, 67140 markings/sec, 3240 secs
lola: STP completed || 262 tries, 261290054 fired transitions, 3245 secs || 169139214 markings, 886722565 edges, 57886 markings/sec, 3245 secs
lola: STP completed || 262 tries, 261825161 fired transitions, 3250 secs || 169453794 markings, 888487270 edges, 62916 markings/sec, 3250 secs
lola: STP completed || 263 tries, 262318210 fired transitions, 3255 secs || 169740529 markings, 889796054 edges, 57347 markings/sec, 3255 secs
lola: STP completed || 263 tries, 262837237 fired transitions, 3260 secs || 170032066 markings, 891429051 edges, 58307 markings/sec, 3260 secs
lola: STP completed || 264 tries, 263314643 fired transitions, 3265 secs || 170303322 markings, 892855348 edges, 54251 markings/sec, 3265 secs
lola: STP completed || 264 tries, 263814465 fired transitions, 3270 secs || 170595166 markings, 894557588 edges, 58369 markings/sec, 3270 secs
lola: STP completed || 265 tries, 264277643 fired transitions, 3275 secs || 170879313 markings, 896035866 edges, 56829 markings/sec, 3275 secs
lola: STP completed || 265 tries, 264712379 fired transitions, 3280 secs || 171141356 markings, 897440602 edges, 52409 markings/sec, 3280 secs
lola: STP completed || 266 tries, 265143016 fired transitions, 3285 secs || 171406520 markings, 898833997 edges, 53033 markings/sec, 3285 secs
lola: STP completed || 266 tries, 265577253 fired transitions, 3290 secs || 171687460 markings, 900419265 edges, 56188 markings/sec, 3290 secs
lola: STP completed || 267 tries, 266054147 fired transitions, 3295 secs || 171985970 markings, 902144820 edges, 59702 markings/sec, 3295 secs
lola: STP completed || 267 tries, 266527590 fired transitions, 3300 secs || 172303178 markings, 904031352 edges, 63442 markings/sec, 3300 secs
lola: STP completed || 268 tries, 267065109 fired transitions, 3305 secs || 172647584 markings, 905985531 edges, 68881 markings/sec, 3305 secs
lola: STP completed || 268 tries, 267595835 fired transitions, 3310 secs || 172990772 markings, 907923115 edges, 68638 markings/sec, 3310 secs
lola: STP completed || 269 tries, 268146663 fired transitions, 3315 secs || 173330150 markings, 909778100 edges, 67876 markings/sec, 3315 secs
lola: STP completed || 269 tries, 268688236 fired transitions, 3320 secs || 173681153 markings, 911768802 edges, 70201 markings/sec, 3320 secs
lola: STP completed || 270 tries, 269237057 fired transitions, 3325 secs || 174016524 markings, 913723252 edges, 67074 markings/sec, 3325 secs
lola: STP completed || 270 tries, 269774755 fired transitions, 3330 secs || 174340211 markings, 915632810 edges, 64737 markings/sec, 3330 secs
lola: STP completed || 271 tries, 270216387 fired transitions, 3335 secs || 174654819 markings, 917439930 edges, 62922 markings/sec, 3335 secs
lola: STP completed || 271 tries, 270725816 fired transitions, 3340 secs || 174987154 markings, 919284721 edges, 66467 markings/sec, 3340 secs
lola: STP completed || 272 tries, 271198024 fired transitions, 3345 secs || 175299560 markings, 921090497 edges, 62481 markings/sec, 3345 secs
lola: STP completed || 272 tries, 271677087 fired transitions, 3350 secs || 175651086 markings, 923061593 edges, 70305 markings/sec, 3350 secs
lola: STP completed || 273 tries, 272118621 fired transitions, 3355 secs || 175992009 markings, 924969502 edges, 68185 markings/sec, 3355 secs
lola: STP completed || 273 tries, 272528839 fired transitions, 3360 secs || 176293586 markings, 926657839 edges, 60315 markings/sec, 3360 secs
lola: STP completed || 273 tries, 272829284 fired transitions, 3365 secs || 176502296 markings, 927831951 edges, 41742 markings/sec, 3365 secs
lola: STP completed || 274 tries, 273334722 fired transitions, 3370 secs || 176894714 markings, 929976938 edges, 78484 markings/sec, 3370 secs
lola: STP completed || 274 tries, 273846880 fired transitions, 3375 secs || 177268517 markings, 932044946 edges, 74761 markings/sec, 3375 secs
lola: STP completed || 275 tries, 274171576 fired transitions, 3380 secs || 177507139 markings, 933370795 edges, 47724 markings/sec, 3380 secs
lola: STP completed || 275 tries, 274595205 fired transitions, 3385 secs || 177813185 markings, 935077630 edges, 61209 markings/sec, 3385 secs
lola: STP completed || 276 tries, 275109849 fired transitions, 3390 secs || 178218086 markings, 937261088 edges, 80980 markings/sec, 3390 secs
lola: STP completed || 276 tries, 275562820 fired transitions, 3395 secs || 178572742 markings, 939189167 edges, 70931 markings/sec, 3395 secs
lola: STP completed || 276 tries, 275905929 fired transitions, 3400 secs || 178822111 markings, 940587315 edges, 49874 markings/sec, 3400 secs
lola: STP completed || 277 tries, 276440198 fired transitions, 3405 secs || 179212470 markings, 942741526 edges, 78072 markings/sec, 3405 secs
lola: STP completed || 277 tries, 276980335 fired transitions, 3410 secs || 179601853 markings, 944908539 edges, 77877 markings/sec, 3410 secs
lola: STP completed || 278 tries, 277476423 fired transitions, 3415 secs || 179937800 markings, 946502659 edges, 67189 markings/sec, 3415 secs
lola: STP completed || 278 tries, 277964778 fired transitions, 3420 secs || 180253177 markings, 947852444 edges, 63075 markings/sec, 3420 secs
lola: STP completed || 279 tries, 278431868 fired transitions, 3425 secs || 180529965 markings, 948756169 edges, 55358 markings/sec, 3425 secs
lola: STP completed || 279 tries, 278907505 fired transitions, 3430 secs || 180790762 markings, 949787072 edges, 52159 markings/sec, 3430 secs
lola: STP completed || 280 tries, 279440575 fired transitions, 3435 secs || 181105498 markings, 951472927 edges, 62947 markings/sec, 3435 secs
lola: STP completed || 280 tries, 279917803 fired transitions, 3440 secs || 181378496 markings, 952506036 edges, 54600 markings/sec, 3440 secs
lola: STP completed || 281 tries, 280373816 fired transitions, 3445 secs || 181626206 markings, 953368727 edges, 49542 markings/sec, 3445 secs
lola: STP completed || 281 tries, 280816469 fired transitions, 3450 secs || 181865231 markings, 954204159 edges, 47805 markings/sec, 3450 secs
lola: STP completed || 282 tries, 281254360 fired transitions, 3455 secs || 182149179 markings, 955672332 edges, 56790 markings/sec, 3455 secs
lola: STP completed || 282 tries, 281726824 fired transitions, 3460 secs || 182430141 markings, 957016523 edges, 56192 markings/sec, 3460 secs
lola: STP completed || 283 tries, 282202679 fired transitions, 3465 secs || 182706682 markings, 958014029 edges, 55308 markings/sec, 3465 secs
lola: STP completed || 283 tries, 282728566 fired transitions, 3470 secs || 183015169 markings, 959773444 edges, 61697 markings/sec, 3470 secs
lola: STP completed || 284 tries, 283235651 fired transitions, 3475 secs || 183315661 markings, 961356952 edges, 60098 markings/sec, 3475 secs
lola: STP completed || 284 tries, 283671236 fired transitions, 3480 secs || 183589169 markings, 962348659 edges, 54702 markings/sec, 3480 secs
lola: STP completed || 285 tries, 284083314 fired transitions, 3485 secs || 183837261 markings, 963766582 edges, 49618 markings/sec, 3485 secs
lola: STP completed || 285 tries, 284464611 fired transitions, 3490 secs || 184063412 markings, 964932102 edges, 45230 markings/sec, 3490 secs
lola: STP completed || 285 tries, 284848920 fired transitions, 3495 secs || 184292421 markings, 966041155 edges, 45802 markings/sec, 3495 secs
lola: STP completed || 286 tries, 285251936 fired transitions, 3500 secs || 184535311 markings, 966883739 edges, 48578 markings/sec, 3500 secs
lola: STP completed || 286 tries, 285752883 fired transitions, 3505 secs || 184826728 markings, 968168300 edges, 58283 markings/sec, 3505 secs
lola: STP completed || 287 tries, 286254905 fired transitions, 3510 secs || 185133376 markings, 969691272 edges, 61330 markings/sec, 3510 secs
lola: STP completed || 287 tries, 286585685 fired transitions, 3515 secs || 185335640 markings, 970704401 edges, 40453 markings/sec, 3515 secs
lola: STP completed || 287 tries, 286857935 fired transitions, 3520 secs || 185507670 markings, 971677975 edges, 34406 markings/sec, 3520 secs
lola: STP completed || 288 tries, 287130863 fired transitions, 3525 secs || 185681033 markings, 972600594 edges, 34673 markings/sec, 3525 secs
lola: STP completed || 288 tries, 287403031 fired transitions, 3530 secs || 185838661 markings, 973458590 edges, 31526 markings/sec, 3530 secs
lola: STP completed || 288 tries, 287815915 fired transitions, 3535 secs || 186104283 markings, 974940195 edges, 53124 markings/sec, 3535 secs
lola: STP completed || 289 tries, 288341006 fired transitions, 3540 secs || 186429131 markings, 976616167 edges, 64970 markings/sec, 3540 secs
lola: STP completed || 289 tries, 288878380 fired transitions, 3545 secs || 186752481 markings, 978476409 edges, 64670 markings/sec, 3545 secs
lola: STP completed || 290 tries, 289431721 fired transitions, 3550 secs || 187083835 markings, 980370602 edges, 66271 markings/sec, 3550 secs
lola: STP completed || 290 tries, 289978019 fired transitions, 3555 secs || 187432790 markings, 982254417 edges, 69791 markings/sec, 3555 secs
lola: STP completed || 291 tries, 290383585 fired transitions, 3560 secs || 187693933 markings, 983756672 edges, 52229 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 7866120 KB
lola: time consumption: 3570 seconds
BK_STOP 1527025047076
--------------------
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="MultiwaySync-PT-none"
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/MultiwaySync-PT-none.tgz
mv MultiwaySync-PT-none 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 MultiwaySync-PT-none, 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-152666469200202"
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 ;