fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r088-blw7-152649998200230
Last Updated
June 26, 2018

About the Execution of LoLA for FlexibleBarrier-PT-22a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
5522.130 3570520.00 7231994.00 319.90 [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 544K
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K 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 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 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 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 384K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is FlexibleBarrier-PT-22a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-blw7-152649998200230
=====================================================================


--------------------
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 FlexibleBarrier-PT-22a-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1526698131751

info: Time: 3600 - MCC
===========================================================================================
prep: translating FlexibleBarrier-PT-22a 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 FlexibleBarrier-PT-22a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ FlexibleBarrier-PT-22a @ 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: 1525/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 267
lola: finding significant places
lola: 267 places, 1258 transitions, 243 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 862 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-22a-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 19293 variables and 96856 clauses shipped to Minisat
lola: computed 210 generators (41 in search tree, 169 by composition)
lola: representing 5.10909E+19 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 27118 fired transitions, 0 secs || 59750 markings, 95301 edges, 11950 markings/sec, 0 secs
lola: STP completed || 1 tries, 55984 fired transitions, 5 secs || 124067 markings, 196642 edges, 12863 markings/sec, 5 secs
lola: STP completed || 1 tries, 84175 fired transitions, 10 secs || 192387 markings, 312014 edges, 13664 markings/sec, 10 secs
lola: STP completed || 1 tries, 113418 fired transitions, 15 secs || 258017 markings, 416299 edges, 13126 markings/sec, 15 secs
lola: STP completed || 1 tries, 142617 fired transitions, 20 secs || 322706 markings, 517772 edges, 12938 markings/sec, 20 secs
lola: STP completed || 1 tries, 171622 fired transitions, 25 secs || 387608 markings, 622175 edges, 12980 markings/sec, 25 secs
lola: STP completed || 1 tries, 200762 fired transitions, 30 secs || 452497 markings, 728355 edges, 12978 markings/sec, 30 secs
lola: STP completed || 1 tries, 229570 fired transitions, 35 secs || 518862 markings, 840600 edges, 13273 markings/sec, 35 secs
lola: STP completed || 1 tries, 257404 fired transitions, 40 secs || 586448 markings, 956702 edges, 13517 markings/sec, 40 secs
lola: STP completed || 1 tries, 285090 fired transitions, 45 secs || 652919 markings, 1069914 edges, 13294 markings/sec, 45 secs
lola: STP completed || 1 tries, 312445 fired transitions, 50 secs || 719473 markings, 1181651 edges, 13311 markings/sec, 50 secs
lola: STP completed || 1 tries, 341175 fired transitions, 55 secs || 785423 markings, 1289068 edges, 13190 markings/sec, 55 secs
lola: STP completed || 1 tries, 370088 fired transitions, 60 secs || 851859 markings, 1403986 edges, 13287 markings/sec, 60 secs
lola: STP completed || 1 tries, 399295 fired transitions, 65 secs || 920514 markings, 1522498 edges, 13731 markings/sec, 65 secs
lola: STP completed || 1 tries, 424684 fired transitions, 70 secs || 988494 markings, 1636013 edges, 13596 markings/sec, 70 secs
lola: STP completed || 1 tries, 451941 fired transitions, 75 secs || 1052047 markings, 1735524 edges, 12711 markings/sec, 75 secs
lola: STP completed || 1 tries, 481114 fired transitions, 80 secs || 1118554 markings, 1844831 edges, 13301 markings/sec, 80 secs
lola: STP completed || 1 tries, 509167 fired transitions, 85 secs || 1183399 markings, 1949643 edges, 12969 markings/sec, 85 secs
lola: STP completed || 1 tries, 537693 fired transitions, 90 secs || 1249226 markings, 2056901 edges, 13165 markings/sec, 90 secs
lola: STP completed || 1 tries, 566971 fired transitions, 95 secs || 1316738 markings, 2170145 edges, 13502 markings/sec, 95 secs
lola: STP completed || 1 tries, 595218 fired transitions, 100 secs || 1381163 markings, 2277171 edges, 12885 markings/sec, 100 secs
lola: STP completed || 1 tries, 624511 fired transitions, 105 secs || 1448876 markings, 2392950 edges, 13543 markings/sec, 105 secs
lola: STP completed || 1 tries, 653787 fired transitions, 110 secs || 1507197 markings, 2494421 edges, 11664 markings/sec, 110 secs
lola: STP completed || 1 tries, 683072 fired transitions, 115 secs || 1575075 markings, 2606461 edges, 13576 markings/sec, 115 secs
lola: STP completed || 1 tries, 712658 fired transitions, 120 secs || 1641832 markings, 2717065 edges, 13351 markings/sec, 120 secs
lola: STP completed || 1 tries, 741304 fired transitions, 125 secs || 1696372 markings, 2810845 edges, 10908 markings/sec, 125 secs
lola: STP completed || 1 tries, 771160 fired transitions, 130 secs || 1766950 markings, 2931749 edges, 14116 markings/sec, 130 secs
lola: STP completed || 1 tries, 800076 fired transitions, 135 secs || 1834696 markings, 3046101 edges, 13549 markings/sec, 135 secs
lola: STP completed || 1 tries, 828866 fired transitions, 140 secs || 1892146 markings, 3146257 edges, 11490 markings/sec, 140 secs
lola: STP completed || 1 tries, 857685 fired transitions, 145 secs || 1959951 markings, 3264652 edges, 13561 markings/sec, 145 secs
lola: STP completed || 1 tries, 885623 fired transitions, 150 secs || 2025711 markings, 3376556 edges, 13152 markings/sec, 150 secs
lola: STP completed || 1 tries, 913696 fired transitions, 155 secs || 2095598 markings, 3498282 edges, 13977 markings/sec, 155 secs
lola: STP completed || 1 tries, 942403 fired transitions, 160 secs || 2163563 markings, 3614258 edges, 13593 markings/sec, 160 secs
lola: STP completed || 1 tries, 970753 fired transitions, 165 secs || 2229216 markings, 3722119 edges, 13131 markings/sec, 165 secs
lola: STP completed || 1 tries, 999635 fired transitions, 170 secs || 2290576 markings, 3821650 edges, 12272 markings/sec, 170 secs
lola: STP completed || 2 tries, 1028152 fired transitions, 175 secs || 2348321 markings, 3916327 edges, 11549 markings/sec, 175 secs
lola: STP completed || 2 tries, 1057165 fired transitions, 180 secs || 2414222 markings, 4027788 edges, 13180 markings/sec, 180 secs
lola: STP completed || 2 tries, 1086906 fired transitions, 185 secs || 2479851 markings, 4141921 edges, 13126 markings/sec, 185 secs
lola: STP completed || 2 tries, 1115498 fired transitions, 190 secs || 2536551 markings, 4243385 edges, 11340 markings/sec, 190 secs
lola: STP completed || 2 tries, 1144601 fired transitions, 195 secs || 2603737 markings, 4363095 edges, 13437 markings/sec, 195 secs
lola: STP completed || 2 tries, 1173334 fired transitions, 200 secs || 2672645 markings, 4486066 edges, 13782 markings/sec, 200 secs
lola: STP completed || 2 tries, 1201983 fired transitions, 205 secs || 2741115 markings, 4602786 edges, 13694 markings/sec, 205 secs
lola: STP completed || 2 tries, 1230811 fired transitions, 210 secs || 2809395 markings, 4721973 edges, 13656 markings/sec, 210 secs
lola: STP completed || 2 tries, 1259654 fired transitions, 215 secs || 2877417 markings, 4841535 edges, 13604 markings/sec, 215 secs
lola: STP completed || 2 tries, 1288260 fired transitions, 220 secs || 2935668 markings, 4945513 edges, 11650 markings/sec, 220 secs
lola: STP completed || 2 tries, 1317025 fired transitions, 225 secs || 3001571 markings, 5060005 edges, 13181 markings/sec, 225 secs
lola: STP completed || 2 tries, 1345882 fired transitions, 230 secs || 3067992 markings, 5172883 edges, 13284 markings/sec, 230 secs
lola: STP completed || 2 tries, 1374085 fired transitions, 235 secs || 3135921 markings, 5292474 edges, 13586 markings/sec, 235 secs
lola: STP completed || 2 tries, 1402378 fired transitions, 240 secs || 3203739 markings, 5411557 edges, 13564 markings/sec, 240 secs
lola: STP completed || 2 tries, 1432114 fired transitions, 245 secs || 3273056 markings, 5535417 edges, 13863 markings/sec, 245 secs
lola: STP completed || 2 tries, 1460553 fired transitions, 250 secs || 3336658 markings, 5650199 edges, 12720 markings/sec, 250 secs
lola: STP completed || 2 tries, 1490159 fired transitions, 255 secs || 3397150 markings, 5757547 edges, 12098 markings/sec, 255 secs
lola: STP completed || 2 tries, 1519009 fired transitions, 260 secs || 3464699 markings, 5872600 edges, 13510 markings/sec, 260 secs
lola: STP completed || 2 tries, 1548345 fired transitions, 265 secs || 3532819 markings, 5992643 edges, 13624 markings/sec, 265 secs
lola: STP completed || 2 tries, 1577276 fired transitions, 270 secs || 3590771 markings, 6097725 edges, 11590 markings/sec, 270 secs
lola: STP completed || 2 tries, 1605837 fired transitions, 275 secs || 3659013 markings, 6216923 edges, 13648 markings/sec, 275 secs
lola: STP completed || 2 tries, 1634715 fired transitions, 280 secs || 3727997 markings, 6337838 edges, 13797 markings/sec, 280 secs
lola: STP completed || 2 tries, 1663740 fired transitions, 285 secs || 3797226 markings, 6462070 edges, 13846 markings/sec, 285 secs
lola: STP completed || 2 tries, 1692712 fired transitions, 290 secs || 3867128 markings, 6587720 edges, 13980 markings/sec, 290 secs
lola: STP completed || 2 tries, 1722184 fired transitions, 295 secs || 3934983 markings, 6708070 edges, 13571 markings/sec, 295 secs
lola: STP completed || 2 tries, 1751330 fired transitions, 300 secs || 3991716 markings, 6804552 edges, 11347 markings/sec, 300 secs
lola: STP completed || 2 tries, 1779998 fired transitions, 305 secs || 4059945 markings, 6925781 edges, 13646 markings/sec, 305 secs
lola: STP completed || 2 tries, 1809314 fired transitions, 310 secs || 4128494 markings, 7051164 edges, 13710 markings/sec, 310 secs
lola: STP completed || 2 tries, 1838226 fired transitions, 315 secs || 4190125 markings, 7161878 edges, 12326 markings/sec, 315 secs
lola: STP completed || 2 tries, 1866111 fired transitions, 320 secs || 4254080 markings, 7275435 edges, 12791 markings/sec, 320 secs
lola: STP completed || 2 tries, 1894242 fired transitions, 325 secs || 4321711 markings, 7396025 edges, 13526 markings/sec, 325 secs
lola: STP completed || 2 tries, 1924174 fired transitions, 330 secs || 4387669 markings, 7516900 edges, 13192 markings/sec, 330 secs
lola: STP completed || 2 tries, 1952545 fired transitions, 335 secs || 4449770 markings, 7630043 edges, 12420 markings/sec, 335 secs
lola: STP completed || 2 tries, 1979116 fired transitions, 340 secs || 4517274 markings, 7748051 edges, 13501 markings/sec, 340 secs
lola: STP completed || 3 tries, 2008662 fired transitions, 345 secs || 4587259 markings, 7872248 edges, 13997 markings/sec, 345 secs
lola: STP completed || 3 tries, 2037347 fired transitions, 350 secs || 4656385 markings, 7995726 edges, 13825 markings/sec, 350 secs
lola: STP completed || 3 tries, 2067046 fired transitions, 355 secs || 4724752 markings, 8115810 edges, 13673 markings/sec, 355 secs
lola: STP completed || 3 tries, 2096101 fired transitions, 360 secs || 4794449 markings, 8240156 edges, 13939 markings/sec, 360 secs
lola: STP completed || 3 tries, 2124854 fired transitions, 365 secs || 4849032 markings, 8332545 edges, 10917 markings/sec, 365 secs
lola: STP completed || 3 tries, 2153497 fired transitions, 370 secs || 4915615 markings, 8443469 edges, 13317 markings/sec, 370 secs
lola: STP completed || 3 tries, 2182101 fired transitions, 375 secs || 4980004 markings, 8544644 edges, 12878 markings/sec, 375 secs
lola: STP completed || 3 tries, 2210680 fired transitions, 380 secs || 5044490 markings, 8644867 edges, 12897 markings/sec, 380 secs
lola: STP completed || 3 tries, 2239971 fired transitions, 385 secs || 5109715 markings, 8749592 edges, 13045 markings/sec, 385 secs
lola: STP completed || 3 tries, 2268488 fired transitions, 390 secs || 5175157 markings, 8857730 edges, 13088 markings/sec, 390 secs
lola: STP completed || 3 tries, 2296310 fired transitions, 395 secs || 5233004 markings, 8952293 edges, 11569 markings/sec, 395 secs
lola: STP completed || 3 tries, 2324408 fired transitions, 400 secs || 5293507 markings, 9051999 edges, 12101 markings/sec, 400 secs
lola: STP completed || 3 tries, 2352510 fired transitions, 405 secs || 5360007 markings, 9165962 edges, 13300 markings/sec, 405 secs
lola: STP completed || 3 tries, 2379812 fired transitions, 410 secs || 5420800 markings, 9266328 edges, 12159 markings/sec, 410 secs
lola: STP completed || 3 tries, 2406843 fired transitions, 415 secs || 5477846 markings, 9355983 edges, 11409 markings/sec, 415 secs
lola: STP completed || 3 tries, 2433308 fired transitions, 420 secs || 5541693 markings, 9457089 edges, 12769 markings/sec, 420 secs
lola: STP completed || 3 tries, 2461407 fired transitions, 425 secs || 5604934 markings, 9557700 edges, 12648 markings/sec, 425 secs
lola: STP completed || 3 tries, 2489309 fired transitions, 430 secs || 5657894 markings, 9640849 edges, 10592 markings/sec, 430 secs
lola: STP completed || 3 tries, 2517210 fired transitions, 435 secs || 5721508 markings, 9741908 edges, 12723 markings/sec, 435 secs
lola: STP completed || 3 tries, 2545142 fired transitions, 440 secs || 5785297 markings, 9842221 edges, 12758 markings/sec, 440 secs
lola: STP completed || 3 tries, 2574151 fired transitions, 445 secs || 5838474 markings, 9930981 edges, 10635 markings/sec, 445 secs
lola: STP completed || 3 tries, 2603102 fired transitions, 450 secs || 5903901 markings, 10040115 edges, 13085 markings/sec, 450 secs
lola: STP completed || 3 tries, 2631014 fired transitions, 455 secs || 5967718 markings, 10142604 edges, 12763 markings/sec, 455 secs
lola: STP completed || 3 tries, 2660675 fired transitions, 460 secs || 6031235 markings, 10244267 edges, 12703 markings/sec, 460 secs
lola: STP completed || 3 tries, 2690437 fired transitions, 465 secs || 6094540 markings, 10347332 edges, 12661 markings/sec, 465 secs
lola: STP completed || 3 tries, 2718542 fired transitions, 470 secs || 6158196 markings, 10449795 edges, 12731 markings/sec, 470 secs
lola: STP completed || 3 tries, 2747401 fired transitions, 475 secs || 6222735 markings, 10555432 edges, 12908 markings/sec, 475 secs
lola: STP completed || 3 tries, 2775516 fired transitions, 480 secs || 6287158 markings, 10661661 edges, 12885 markings/sec, 480 secs
lola: STP completed || 3 tries, 2804604 fired transitions, 485 secs || 6353006 markings, 10771933 edges, 13170 markings/sec, 485 secs
lola: STP completed || 3 tries, 2832393 fired transitions, 490 secs || 6413892 markings, 10873990 edges, 12177 markings/sec, 490 secs
lola: STP completed || 3 tries, 2860882 fired transitions, 495 secs || 6471751 markings, 10969378 edges, 11572 markings/sec, 495 secs
lola: STP completed || 3 tries, 2889575 fired transitions, 500 secs || 6534910 markings, 11066823 edges, 12632 markings/sec, 500 secs
lola: STP completed || 3 tries, 2918508 fired transitions, 505 secs || 6599736 markings, 11169525 edges, 12965 markings/sec, 505 secs
lola: STP completed || 3 tries, 2947383 fired transitions, 510 secs || 6663937 markings, 11273149 edges, 12840 markings/sec, 510 secs
lola: STP completed || 3 tries, 2976334 fired transitions, 515 secs || 6730221 markings, 11382320 edges, 13257 markings/sec, 515 secs
lola: STP completed || 4 tries, 3004737 fired transitions, 520 secs || 6795299 markings, 11489096 edges, 13016 markings/sec, 520 secs
lola: STP completed || 4 tries, 3031899 fired transitions, 525 secs || 6863104 markings, 11605531 edges, 13561 markings/sec, 525 secs
lola: STP completed || 4 tries, 3060494 fired transitions, 530 secs || 6928531 markings, 11715173 edges, 13085 markings/sec, 530 secs
lola: STP completed || 4 tries, 3089921 fired transitions, 535 secs || 6994519 markings, 11824111 edges, 13198 markings/sec, 535 secs
lola: STP completed || 4 tries, 3118013 fired transitions, 540 secs || 7061981 markings, 11938803 edges, 13492 markings/sec, 540 secs
lola: STP completed || 4 tries, 3146496 fired transitions, 545 secs || 7127959 markings, 12052747 edges, 13196 markings/sec, 545 secs
lola: STP completed || 4 tries, 3174994 fired transitions, 550 secs || 7194681 markings, 12168236 edges, 13344 markings/sec, 550 secs
lola: STP completed || 4 tries, 3204583 fired transitions, 555 secs || 7252477 markings, 12264735 edges, 11559 markings/sec, 555 secs
lola: STP completed || 4 tries, 3234077 fired transitions, 560 secs || 7314966 markings, 12370022 edges, 12498 markings/sec, 560 secs
lola: STP completed || 4 tries, 3263199 fired transitions, 565 secs || 7381353 markings, 12480762 edges, 13277 markings/sec, 565 secs
lola: STP completed || 4 tries, 3292271 fired transitions, 570 secs || 7445265 markings, 12581824 edges, 12782 markings/sec, 570 secs
lola: STP completed || 4 tries, 3321439 fired transitions, 575 secs || 7510706 markings, 12688612 edges, 13088 markings/sec, 575 secs
lola: STP completed || 4 tries, 3349867 fired transitions, 580 secs || 7574348 markings, 12789455 edges, 12728 markings/sec, 580 secs
lola: STP completed || 4 tries, 3379001 fired transitions, 585 secs || 7640753 markings, 12898933 edges, 13281 markings/sec, 585 secs
lola: STP completed || 4 tries, 3406721 fired transitions, 590 secs || 7707984 markings, 13012536 edges, 13446 markings/sec, 590 secs
lola: STP completed || 4 tries, 3435753 fired transitions, 595 secs || 7775819 markings, 13127962 edges, 13567 markings/sec, 595 secs
lola: STP completed || 4 tries, 3464662 fired transitions, 600 secs || 7840764 markings, 13233198 edges, 12989 markings/sec, 600 secs
lola: STP completed || 4 tries, 3493378 fired transitions, 605 secs || 7905510 markings, 13341980 edges, 12949 markings/sec, 605 secs
lola: STP completed || 4 tries, 3522809 fired transitions, 610 secs || 7971189 markings, 13453363 edges, 13136 markings/sec, 610 secs
lola: STP completed || 4 tries, 3551491 fired transitions, 615 secs || 8035764 markings, 13562958 edges, 12915 markings/sec, 615 secs
lola: STP completed || 4 tries, 3579405 fired transitions, 620 secs || 8099130 markings, 13668176 edges, 12673 markings/sec, 620 secs
lola: STP completed || 4 tries, 3609087 fired transitions, 625 secs || 8165184 markings, 13780793 edges, 13211 markings/sec, 625 secs
lola: STP completed || 4 tries, 3637621 fired transitions, 630 secs || 8225836 markings, 13881804 edges, 12130 markings/sec, 630 secs
lola: STP completed || 4 tries, 3667019 fired transitions, 635 secs || 8292657 markings, 13996201 edges, 13364 markings/sec, 635 secs
lola: STP completed || 4 tries, 3695161 fired transitions, 640 secs || 8358120 markings, 14107417 edges, 13093 markings/sec, 640 secs
lola: STP completed || 4 tries, 3723628 fired transitions, 645 secs || 8424071 markings, 14219688 edges, 13190 markings/sec, 645 secs
lola: STP completed || 4 tries, 3752434 fired transitions, 650 secs || 8486271 markings, 14326783 edges, 12440 markings/sec, 650 secs
lola: STP completed || 4 tries, 3781818 fired transitions, 655 secs || 8545239 markings, 14427911 edges, 11794 markings/sec, 655 secs
lola: STP completed || 4 tries, 3810774 fired transitions, 660 secs || 8611503 markings, 14541139 edges, 13253 markings/sec, 660 secs
lola: STP completed || 4 tries, 3839325 fired transitions, 665 secs || 8679004 markings, 14659456 edges, 13500 markings/sec, 665 secs
lola: STP completed || 4 tries, 3867833 fired transitions, 670 secs || 8746822 markings, 14775929 edges, 13564 markings/sec, 670 secs
lola: STP completed || 4 tries, 3896400 fired transitions, 675 secs || 8812330 markings, 14884612 edges, 13102 markings/sec, 675 secs
lola: STP completed || 4 tries, 3925131 fired transitions, 680 secs || 8880400 markings, 15003741 edges, 13614 markings/sec, 680 secs
lola: STP completed || 4 tries, 3953317 fired transitions, 685 secs || 8947477 markings, 15117365 edges, 13415 markings/sec, 685 secs
lola: STP completed || 4 tries, 3982526 fired transitions, 690 secs || 9014500 markings, 15234467 edges, 13405 markings/sec, 690 secs
lola: STP completed || 5 tries, 4010028 fired transitions, 695 secs || 9083633 markings, 15355682 edges, 13827 markings/sec, 695 secs
lola: STP completed || 5 tries, 4036575 fired transitions, 700 secs || 9153405 markings, 15480061 edges, 13954 markings/sec, 700 secs
lola: STP completed || 5 tries, 4065933 fired transitions, 705 secs || 9221522 markings, 15601133 edges, 13623 markings/sec, 705 secs
lola: STP completed || 5 tries, 4095200 fired transitions, 710 secs || 9290490 markings, 15722312 edges, 13794 markings/sec, 710 secs
lola: STP completed || 5 tries, 4124155 fired transitions, 715 secs || 9349770 markings, 15823644 edges, 11856 markings/sec, 715 secs
lola: STP completed || 5 tries, 4153628 fired transitions, 720 secs || 9415692 markings, 15939990 edges, 13184 markings/sec, 720 secs
lola: STP completed || 5 tries, 4183008 fired transitions, 725 secs || 9485068 markings, 16062047 edges, 13875 markings/sec, 725 secs
lola: STP completed || 5 tries, 4211225 fired transitions, 730 secs || 9553239 markings, 16180467 edges, 13634 markings/sec, 730 secs
lola: STP completed || 5 tries, 4239875 fired transitions, 735 secs || 9621687 markings, 16302573 edges, 13690 markings/sec, 735 secs
lola: STP completed || 5 tries, 4268367 fired transitions, 740 secs || 9690020 markings, 16421353 edges, 13667 markings/sec, 740 secs
lola: STP completed || 5 tries, 4296297 fired transitions, 745 secs || 9754856 markings, 16536787 edges, 12967 markings/sec, 745 secs
lola: STP completed || 5 tries, 4324957 fired transitions, 750 secs || 9813050 markings, 16638138 edges, 11639 markings/sec, 750 secs
lola: STP completed || 5 tries, 4353708 fired transitions, 755 secs || 9882988 markings, 16763234 edges, 13988 markings/sec, 755 secs
lola: STP completed || 5 tries, 4382119 fired transitions, 760 secs || 9951668 markings, 16885746 edges, 13736 markings/sec, 760 secs
lola: STP completed || 5 tries, 4410425 fired transitions, 765 secs || 10022534 markings, 17014255 edges, 14173 markings/sec, 765 secs
lola: STP completed || 5 tries, 4438421 fired transitions, 770 secs || 10091194 markings, 17133823 edges, 13732 markings/sec, 770 secs
lola: STP completed || 5 tries, 4467804 fired transitions, 775 secs || 10157910 markings, 17247715 edges, 13343 markings/sec, 775 secs
lola: STP completed || 5 tries, 4496829 fired transitions, 780 secs || 10214605 markings, 17350698 edges, 11339 markings/sec, 780 secs
lola: STP completed || 5 tries, 4525348 fired transitions, 785 secs || 10282036 markings, 17470787 edges, 13486 markings/sec, 785 secs
lola: STP completed || 5 tries, 4554250 fired transitions, 790 secs || 10348918 markings, 17585582 edges, 13376 markings/sec, 790 secs
lola: STP completed || 5 tries, 4582077 fired transitions, 795 secs || 10418383 markings, 17710643 edges, 13893 markings/sec, 795 secs
lola: STP completed || 5 tries, 4611592 fired transitions, 800 secs || 10486885 markings, 17835651 edges, 13700 markings/sec, 800 secs
lola: STP completed || 5 tries, 4640386 fired transitions, 805 secs || 10553854 markings, 17955301 edges, 13394 markings/sec, 805 secs
lola: STP completed || 5 tries, 4669586 fired transitions, 810 secs || 10620178 markings, 18068242 edges, 13265 markings/sec, 810 secs
lola: STP completed || 5 tries, 4698607 fired transitions, 815 secs || 10688198 markings, 18186140 edges, 13604 markings/sec, 815 secs
lola: STP completed || 5 tries, 4725771 fired transitions, 820 secs || 10755766 markings, 18308410 edges, 13514 markings/sec, 820 secs
lola: STP completed || 5 tries, 4753605 fired transitions, 825 secs || 10822735 markings, 18425611 edges, 13394 markings/sec, 825 secs
lola: STP completed || 5 tries, 4781311 fired transitions, 830 secs || 10881647 markings, 18533449 edges, 11782 markings/sec, 830 secs
lola: STP completed || 5 tries, 4810060 fired transitions, 835 secs || 10944579 markings, 18646887 edges, 12586 markings/sec, 835 secs
lola: STP completed || 5 tries, 4838874 fired transitions, 840 secs || 11011000 markings, 18765859 edges, 13284 markings/sec, 840 secs
lola: STP completed || 5 tries, 4868009 fired transitions, 845 secs || 11078444 markings, 18886087 edges, 13489 markings/sec, 845 secs
lola: STP completed || 5 tries, 4897164 fired transitions, 850 secs || 11143250 markings, 18999539 edges, 12961 markings/sec, 850 secs
lola: STP completed || 5 tries, 4925756 fired transitions, 855 secs || 11213407 markings, 19125406 edges, 14031 markings/sec, 855 secs
lola: STP completed || 5 tries, 4954585 fired transitions, 860 secs || 11281920 markings, 19250678 edges, 13703 markings/sec, 860 secs
lola: STP completed || 5 tries, 4983288 fired transitions, 865 secs || 11351720 markings, 19377461 edges, 13960 markings/sec, 865 secs
lola: STP completed || 6 tries, 5011725 fired transitions, 870 secs || 11420743 markings, 19502300 edges, 13805 markings/sec, 870 secs
lola: STP completed || 6 tries, 5040168 fired transitions, 875 secs || 11478647 markings, 19606651 edges, 11581 markings/sec, 875 secs
lola: STP completed || 6 tries, 5069058 fired transitions, 880 secs || 11545797 markings, 19727873 edges, 13430 markings/sec, 880 secs
lola: STP completed || 6 tries, 5098819 fired transitions, 885 secs || 11608108 markings, 19829179 edges, 12462 markings/sec, 885 secs
lola: STP completed || 6 tries, 5127705 fired transitions, 890 secs || 11671405 markings, 19933898 edges, 12659 markings/sec, 890 secs
lola: STP completed || 6 tries, 5156763 fired transitions, 895 secs || 11734486 markings, 20034500 edges, 12616 markings/sec, 895 secs
lola: STP completed || 6 tries, 5185589 fired transitions, 900 secs || 11795310 markings, 20131908 edges, 12165 markings/sec, 900 secs
lola: STP completed || 6 tries, 5214808 fired transitions, 905 secs || 11859904 markings, 20237705 edges, 12919 markings/sec, 905 secs
lola: STP completed || 6 tries, 5244011 fired transitions, 910 secs || 11915826 markings, 20334253 edges, 11184 markings/sec, 910 secs
lola: STP completed || 6 tries, 5272421 fired transitions, 915 secs || 11984936 markings, 20455109 edges, 13822 markings/sec, 915 secs
lola: STP completed || 6 tries, 5302189 fired transitions, 920 secs || 12050156 markings, 20565685 edges, 13044 markings/sec, 920 secs
lola: STP completed || 6 tries, 5331297 fired transitions, 925 secs || 12103537 markings, 20654138 edges, 10676 markings/sec, 925 secs
lola: STP completed || 6 tries, 5360578 fired transitions, 930 secs || 12169395 markings, 20763015 edges, 13172 markings/sec, 930 secs
lola: STP completed || 6 tries, 5389105 fired transitions, 935 secs || 12235912 markings, 20875142 edges, 13303 markings/sec, 935 secs
lola: STP completed || 6 tries, 5418199 fired transitions, 940 secs || 12300965 markings, 20982482 edges, 13011 markings/sec, 940 secs
lola: STP completed || 6 tries, 5447036 fired transitions, 945 secs || 12362965 markings, 21088463 edges, 12400 markings/sec, 945 secs
lola: STP completed || 6 tries, 5475238 fired transitions, 950 secs || 12427937 markings, 21198298 edges, 12994 markings/sec, 950 secs
lola: STP completed || 6 tries, 5503886 fired transitions, 955 secs || 12491172 markings, 21303440 edges, 12647 markings/sec, 955 secs
lola: STP completed || 6 tries, 5532566 fired transitions, 960 secs || 12558363 markings, 21421374 edges, 13438 markings/sec, 960 secs
lola: STP completed || 6 tries, 5561322 fired transitions, 965 secs || 12622042 markings, 21529923 edges, 12736 markings/sec, 965 secs
lola: STP completed || 6 tries, 5590939 fired transitions, 970 secs || 12679490 markings, 21630267 edges, 11490 markings/sec, 970 secs
lola: STP completed || 6 tries, 5619965 fired transitions, 975 secs || 12738080 markings, 21730663 edges, 11718 markings/sec, 975 secs
lola: STP completed || 6 tries, 5648872 fired transitions, 980 secs || 12803213 markings, 21841137 edges, 13027 markings/sec, 980 secs
lola: STP completed || 6 tries, 5677750 fired transitions, 985 secs || 12868435 markings, 21954791 edges, 13044 markings/sec, 985 secs
lola: STP completed || 6 tries, 5706401 fired transitions, 990 secs || 12923913 markings, 22047404 edges, 11096 markings/sec, 990 secs
lola: STP completed || 6 tries, 5736107 fired transitions, 995 secs || 12988361 markings, 22149570 edges, 12890 markings/sec, 995 secs
lola: STP completed || 6 tries, 5765944 fired transitions, 1000 secs || 13051725 markings, 22249744 edges, 12673 markings/sec, 1000 secs
lola: STP completed || 6 tries, 5794749 fired transitions, 1005 secs || 13103285 markings, 22330743 edges, 10312 markings/sec, 1005 secs
lola: STP completed || 6 tries, 5822493 fired transitions, 1010 secs || 13166454 markings, 22431504 edges, 12634 markings/sec, 1010 secs
lola: STP completed || 6 tries, 5851016 fired transitions, 1015 secs || 13230380 markings, 22532622 edges, 12785 markings/sec, 1015 secs
lola: STP completed || 6 tries, 5880072 fired transitions, 1020 secs || 13294780 markings, 22635674 edges, 12880 markings/sec, 1020 secs
lola: STP completed || 6 tries, 5908979 fired transitions, 1025 secs || 13358341 markings, 22737491 edges, 12712 markings/sec, 1025 secs
lola: STP completed || 6 tries, 5937714 fired transitions, 1030 secs || 13421227 markings, 22837555 edges, 12577 markings/sec, 1030 secs
lola: STP completed || 6 tries, 5965975 fired transitions, 1035 secs || 13485650 markings, 22944907 edges, 12885 markings/sec, 1035 secs
lola: STP completed || 6 tries, 5994259 fired transitions, 1040 secs || 13550099 markings, 23049587 edges, 12890 markings/sec, 1040 secs
lola: STP completed || 7 tries, 6022384 fired transitions, 1045 secs || 13614195 markings, 23153778 edges, 12819 markings/sec, 1045 secs
lola: STP completed || 7 tries, 6051349 fired transitions, 1050 secs || 13677912 markings, 23256593 edges, 12743 markings/sec, 1050 secs
lola: STP completed || 7 tries, 6079481 fired transitions, 1055 secs || 13743301 markings, 23364707 edges, 13078 markings/sec, 1055 secs
lola: STP completed || 7 tries, 6109108 fired transitions, 1060 secs || 13806755 markings, 23464122 edges, 12691 markings/sec, 1060 secs
lola: STP completed || 7 tries, 6137928 fired transitions, 1065 secs || 13871816 markings, 23569569 edges, 13012 markings/sec, 1065 secs
lola: STP completed || 7 tries, 6166102 fired transitions, 1070 secs || 13934630 markings, 23667275 edges, 12563 markings/sec, 1070 secs
lola: STP completed || 7 tries, 6194524 fired transitions, 1075 secs || 13998751 markings, 23770268 edges, 12824 markings/sec, 1075 secs
lola: STP completed || 7 tries, 6223251 fired transitions, 1080 secs || 14063869 markings, 23877489 edges, 13024 markings/sec, 1080 secs
lola: STP completed || 7 tries, 6250867 fired transitions, 1085 secs || 14128766 markings, 23985064 edges, 12979 markings/sec, 1085 secs
lola: STP completed || 7 tries, 6279791 fired transitions, 1090 secs || 14193637 markings, 24092545 edges, 12974 markings/sec, 1090 secs
lola: STP completed || 7 tries, 6308292 fired transitions, 1095 secs || 14255541 markings, 24189310 edges, 12381 markings/sec, 1095 secs
lola: STP completed || 7 tries, 6336617 fired transitions, 1100 secs || 14308629 markings, 24273530 edges, 10618 markings/sec, 1100 secs
lola: STP completed || 7 tries, 6364356 fired transitions, 1105 secs || 14370157 markings, 24369943 edges, 12306 markings/sec, 1105 secs
lola: STP completed || 7 tries, 6392413 fired transitions, 1110 secs || 14433552 markings, 24470789 edges, 12679 markings/sec, 1110 secs
lola: STP completed || 7 tries, 6420427 fired transitions, 1115 secs || 14489930 markings, 24559790 edges, 11276 markings/sec, 1115 secs
lola: STP completed || 7 tries, 6448530 fired transitions, 1120 secs || 14550522 markings, 24659335 edges, 12118 markings/sec, 1120 secs
lola: STP completed || 7 tries, 6476741 fired transitions, 1125 secs || 14613187 markings, 24757868 edges, 12533 markings/sec, 1125 secs
lola: STP completed || 7 tries, 6504188 fired transitions, 1130 secs || 14675961 markings, 24856940 edges, 12555 markings/sec, 1130 secs
lola: STP completed || 7 tries, 6532917 fired transitions, 1135 secs || 14741017 markings, 24963459 edges, 13011 markings/sec, 1135 secs
lola: STP completed || 7 tries, 6559797 fired transitions, 1140 secs || 14806230 markings, 25070247 edges, 13043 markings/sec, 1140 secs
lola: STP completed || 7 tries, 6585829 fired transitions, 1145 secs || 14869680 markings, 25172195 edges, 12690 markings/sec, 1145 secs
lola: STP completed || 7 tries, 6612139 fired transitions, 1150 secs || 14933880 markings, 25276611 edges, 12840 markings/sec, 1150 secs
lola: STP completed || 7 tries, 6639801 fired transitions, 1155 secs || 14997266 markings, 25383292 edges, 12677 markings/sec, 1155 secs
lola: STP completed || 7 tries, 6667428 fired transitions, 1160 secs || 15061324 markings, 25487726 edges, 12812 markings/sec, 1160 secs
lola: STP completed || 7 tries, 6695571 fired transitions, 1165 secs || 15114573 markings, 25577053 edges, 10650 markings/sec, 1165 secs
lola: STP completed || 7 tries, 6721941 fired transitions, 1170 secs || 15176338 markings, 25678847 edges, 12353 markings/sec, 1170 secs
lola: STP completed || 7 tries, 6749820 fired transitions, 1175 secs || 15239389 markings, 25781856 edges, 12610 markings/sec, 1175 secs
lola: STP completed || 7 tries, 6775442 fired transitions, 1180 secs || 15303694 markings, 25887480 edges, 12861 markings/sec, 1180 secs
lola: STP completed || 7 tries, 6802177 fired transitions, 1185 secs || 15364679 markings, 25985376 edges, 12197 markings/sec, 1185 secs
lola: STP completed || 7 tries, 6829690 fired transitions, 1190 secs || 15427620 markings, 26087544 edges, 12588 markings/sec, 1190 secs
lola: STP completed || 7 tries, 6858944 fired transitions, 1195 secs || 15492477 markings, 26195775 edges, 12971 markings/sec, 1195 secs
lola: STP completed || 7 tries, 6887752 fired transitions, 1200 secs || 15557207 markings, 26304407 edges, 12946 markings/sec, 1200 secs
lola: STP completed || 7 tries, 6916110 fired transitions, 1205 secs || 15620038 markings, 26410817 edges, 12566 markings/sec, 1205 secs
lola: STP completed || 7 tries, 6944666 fired transitions, 1210 secs || 15685212 markings, 26522411 edges, 13035 markings/sec, 1210 secs
lola: STP completed || 7 tries, 6973571 fired transitions, 1215 secs || 15749510 markings, 26630146 edges, 12860 markings/sec, 1215 secs
lola: STP completed || 8 tries, 7002214 fired transitions, 1220 secs || 15815728 markings, 26736640 edges, 13244 markings/sec, 1220 secs
lola: STP completed || 8 tries, 7030569 fired transitions, 1225 secs || 15876747 markings, 26832484 edges, 12204 markings/sec, 1225 secs
lola: STP completed || 8 tries, 7059598 fired transitions, 1230 secs || 15943703 markings, 26946724 edges, 13391 markings/sec, 1230 secs
lola: STP completed || 8 tries, 7088489 fired transitions, 1235 secs || 16002403 markings, 27046724 edges, 11740 markings/sec, 1235 secs
lola: STP completed || 8 tries, 7117777 fired transitions, 1240 secs || 16065595 markings, 27151438 edges, 12638 markings/sec, 1240 secs
lola: STP completed || 8 tries, 7146087 fired transitions, 1245 secs || 16128251 markings, 27255242 edges, 12531 markings/sec, 1245 secs
lola: STP completed || 8 tries, 7175797 fired transitions, 1250 secs || 16190174 markings, 27359248 edges, 12385 markings/sec, 1250 secs
lola: STP completed || 8 tries, 7204395 fired transitions, 1255 secs || 16256082 markings, 27471414 edges, 13182 markings/sec, 1255 secs
lola: STP completed || 8 tries, 7233452 fired transitions, 1260 secs || 16322169 markings, 27584289 edges, 13217 markings/sec, 1260 secs
lola: STP completed || 8 tries, 7262624 fired transitions, 1265 secs || 16389524 markings, 27699357 edges, 13471 markings/sec, 1265 secs
lola: STP completed || 8 tries, 7290597 fired transitions, 1270 secs || 16454513 markings, 27808154 edges, 12998 markings/sec, 1270 secs
lola: STP completed || 8 tries, 7318501 fired transitions, 1275 secs || 16521092 markings, 27922309 edges, 13316 markings/sec, 1275 secs
lola: STP completed || 8 tries, 7347305 fired transitions, 1280 secs || 16584393 markings, 28023097 edges, 12660 markings/sec, 1280 secs
lola: STP completed || 8 tries, 7376358 fired transitions, 1285 secs || 16649539 markings, 28126215 edges, 13029 markings/sec, 1285 secs
lola: STP completed || 8 tries, 7404377 fired transitions, 1290 secs || 16712494 markings, 28225113 edges, 12591 markings/sec, 1290 secs
lola: STP completed || 8 tries, 7433383 fired transitions, 1295 secs || 16775890 markings, 28326177 edges, 12679 markings/sec, 1295 secs
lola: STP completed || 8 tries, 7462414 fired transitions, 1300 secs || 16837596 markings, 28423729 edges, 12341 markings/sec, 1300 secs
lola: STP completed || 8 tries, 7489421 fired transitions, 1305 secs || 16900518 markings, 28521542 edges, 12584 markings/sec, 1305 secs
lola: STP completed || 8 tries, 7518906 fired transitions, 1310 secs || 16963992 markings, 28622312 edges, 12695 markings/sec, 1310 secs
lola: STP completed || 8 tries, 7548274 fired transitions, 1315 secs || 17027612 markings, 28724321 edges, 12724 markings/sec, 1315 secs
lola: STP completed || 8 tries, 7577341 fired transitions, 1320 secs || 17092876 markings, 28830044 edges, 13053 markings/sec, 1320 secs
lola: STP completed || 8 tries, 7605755 fired transitions, 1325 secs || 17155146 markings, 28929779 edges, 12454 markings/sec, 1325 secs
lola: STP completed || 8 tries, 7633967 fired transitions, 1330 secs || 17218314 markings, 29029663 edges, 12634 markings/sec, 1330 secs
lola: STP completed || 8 tries, 7662422 fired transitions, 1335 secs || 17282751 markings, 29133340 edges, 12887 markings/sec, 1335 secs
lola: STP completed || 8 tries, 7691385 fired transitions, 1340 secs || 17343555 markings, 29230468 edges, 12161 markings/sec, 1340 secs
lola: STP completed || 8 tries, 7719962 fired transitions, 1345 secs || 17407011 markings, 29331782 edges, 12691 markings/sec, 1345 secs
lola: STP completed || 8 tries, 7748960 fired transitions, 1350 secs || 17469428 markings, 29432144 edges, 12483 markings/sec, 1350 secs
lola: STP completed || 8 tries, 7777447 fired transitions, 1355 secs || 17532836 markings, 29533439 edges, 12682 markings/sec, 1355 secs
lola: STP completed || 8 tries, 7805989 fired transitions, 1360 secs || 17595448 markings, 29633596 edges, 12522 markings/sec, 1360 secs
lola: STP completed || 8 tries, 7834573 fired transitions, 1365 secs || 17658375 markings, 29735204 edges, 12585 markings/sec, 1365 secs
lola: STP completed || 8 tries, 7863030 fired transitions, 1370 secs || 17723150 markings, 29839108 edges, 12955 markings/sec, 1370 secs
lola: STP completed || 8 tries, 7891366 fired transitions, 1375 secs || 17787975 markings, 29945647 edges, 12965 markings/sec, 1375 secs
lola: STP completed || 8 tries, 7919972 fired transitions, 1380 secs || 17851774 markings, 30048919 edges, 12760 markings/sec, 1380 secs
lola: STP completed || 8 tries, 7948066 fired transitions, 1385 secs || 17916169 markings, 30152920 edges, 12879 markings/sec, 1385 secs
lola: STP completed || 8 tries, 7975843 fired transitions, 1390 secs || 17979368 markings, 30252294 edges, 12640 markings/sec, 1390 secs
lola: STP completed || 9 tries, 8003933 fired transitions, 1395 secs || 18043165 markings, 30354893 edges, 12759 markings/sec, 1395 secs
lola: STP completed || 9 tries, 8032480 fired transitions, 1400 secs || 18108203 markings, 30459421 edges, 13008 markings/sec, 1400 secs
lola: STP completed || 9 tries, 8060537 fired transitions, 1405 secs || 18172911 markings, 30565396 edges, 12942 markings/sec, 1405 secs
lola: STP completed || 9 tries, 8089151 fired transitions, 1410 secs || 18236401 markings, 30668220 edges, 12698 markings/sec, 1410 secs
lola: STP completed || 9 tries, 8114777 fired transitions, 1415 secs || 18297161 markings, 30766992 edges, 12152 markings/sec, 1415 secs
lola: STP completed || 9 tries, 8143238 fired transitions, 1420 secs || 18361226 markings, 30871761 edges, 12813 markings/sec, 1420 secs
lola: STP completed || 9 tries, 8171821 fired transitions, 1425 secs || 18425811 markings, 30978399 edges, 12917 markings/sec, 1425 secs
lola: STP completed || 9 tries, 8200500 fired transitions, 1430 secs || 18490428 markings, 31084492 edges, 12923 markings/sec, 1430 secs
lola: STP completed || 9 tries, 8229118 fired transitions, 1435 secs || 18554019 markings, 31187081 edges, 12718 markings/sec, 1435 secs
lola: STP completed || 9 tries, 8258207 fired transitions, 1440 secs || 18618057 markings, 31290382 edges, 12808 markings/sec, 1440 secs
lola: STP completed || 9 tries, 8287547 fired transitions, 1445 secs || 18684068 markings, 31400278 edges, 13202 markings/sec, 1445 secs
lola: STP completed || 9 tries, 8316359 fired transitions, 1450 secs || 18748141 markings, 31504485 edges, 12815 markings/sec, 1450 secs
lola: STP completed || 9 tries, 8345488 fired transitions, 1455 secs || 18812283 markings, 31609014 edges, 12828 markings/sec, 1455 secs
lola: STP completed || 9 tries, 8373340 fired transitions, 1460 secs || 18878027 markings, 31718580 edges, 13149 markings/sec, 1460 secs
lola: STP completed || 9 tries, 8400156 fired transitions, 1465 secs || 18942114 markings, 31823587 edges, 12817 markings/sec, 1465 secs
lola: STP completed || 9 tries, 8428823 fired transitions, 1470 secs || 19005630 markings, 31926569 edges, 12703 markings/sec, 1470 secs
lola: STP completed || 9 tries, 8456733 fired transitions, 1475 secs || 19069084 markings, 32029526 edges, 12691 markings/sec, 1475 secs
lola: STP completed || 9 tries, 8485013 fired transitions, 1480 secs || 19132482 markings, 32131947 edges, 12680 markings/sec, 1480 secs
lola: STP completed || 9 tries, 8512929 fired transitions, 1485 secs || 19197797 markings, 32239128 edges, 13063 markings/sec, 1485 secs
lola: STP completed || 9 tries, 8541294 fired transitions, 1490 secs || 19262387 markings, 32344899 edges, 12918 markings/sec, 1490 secs
lola: STP completed || 9 tries, 8570321 fired transitions, 1495 secs || 19326380 markings, 32449762 edges, 12799 markings/sec, 1495 secs
lola: STP completed || 9 tries, 8599249 fired transitions, 1500 secs || 19390653 markings, 32553242 edges, 12855 markings/sec, 1500 secs
lola: STP completed || 9 tries, 8627751 fired transitions, 1505 secs || 19456264 markings, 32661543 edges, 13122 markings/sec, 1505 secs
lola: STP completed || 9 tries, 8656990 fired transitions, 1510 secs || 19522282 markings, 32772046 edges, 13204 markings/sec, 1510 secs
lola: STP completed || 9 tries, 8685538 fired transitions, 1515 secs || 19587586 markings, 32882132 edges, 13061 markings/sec, 1515 secs
lola: STP completed || 9 tries, 8713994 fired transitions, 1520 secs || 19651009 markings, 32985572 edges, 12685 markings/sec, 1520 secs
lola: STP completed || 9 tries, 8742492 fired transitions, 1525 secs || 19715281 markings, 33090920 edges, 12854 markings/sec, 1525 secs
lola: STP completed || 9 tries, 8770161 fired transitions, 1530 secs || 19779802 markings, 33197400 edges, 12904 markings/sec, 1530 secs
lola: STP completed || 9 tries, 8798380 fired transitions, 1535 secs || 19844117 markings, 33302943 edges, 12863 markings/sec, 1535 secs
lola: STP completed || 9 tries, 8826798 fired transitions, 1540 secs || 19909366 markings, 33413962 edges, 13050 markings/sec, 1540 secs
lola: STP completed || 9 tries, 8854783 fired transitions, 1545 secs || 19974305 markings, 33521214 edges, 12988 markings/sec, 1545 secs
lola: STP completed || 9 tries, 8883963 fired transitions, 1550 secs || 20038751 markings, 33627450 edges, 12889 markings/sec, 1550 secs
lola: STP completed || 9 tries, 8912864 fired transitions, 1555 secs || 20103527 markings, 33735881 edges, 12955 markings/sec, 1555 secs
lola: STP completed || 9 tries, 8940813 fired transitions, 1560 secs || 20168684 markings, 33842405 edges, 13031 markings/sec, 1560 secs
lola: STP completed || 9 tries, 8969527 fired transitions, 1565 secs || 20232420 markings, 33949761 edges, 12747 markings/sec, 1565 secs
lola: STP completed || 9 tries, 8997597 fired transitions, 1570 secs || 20294356 markings, 34051130 edges, 12387 markings/sec, 1570 secs
lola: STP completed || 10 tries, 9024400 fired transitions, 1575 secs || 20359444 markings, 34160151 edges, 13018 markings/sec, 1575 secs
lola: STP completed || 10 tries, 9052556 fired transitions, 1580 secs || 20424188 markings, 34268310 edges, 12949 markings/sec, 1580 secs
lola: STP completed || 10 tries, 9080482 fired transitions, 1585 secs || 20485420 markings, 34368567 edges, 12246 markings/sec, 1585 secs
lola: STP completed || 10 tries, 9108214 fired transitions, 1590 secs || 20549555 markings, 34472751 edges, 12827 markings/sec, 1590 secs
lola: STP completed || 10 tries, 9136208 fired transitions, 1595 secs || 20614301 markings, 34579568 edges, 12949 markings/sec, 1595 secs
lola: STP completed || 10 tries, 9164319 fired transitions, 1600 secs || 20678946 markings, 34685851 edges, 12929 markings/sec, 1600 secs
lola: STP completed || 10 tries, 9192667 fired transitions, 1605 secs || 20743137 markings, 34792796 edges, 12838 markings/sec, 1605 secs
lola: STP completed || 10 tries, 9221444 fired transitions, 1610 secs || 20808216 markings, 34901536 edges, 13016 markings/sec, 1610 secs
lola: STP completed || 10 tries, 9249604 fired transitions, 1615 secs || 20871237 markings, 35002923 edges, 12604 markings/sec, 1615 secs
lola: STP completed || 10 tries, 9277858 fired transitions, 1620 secs || 20936225 markings, 35111085 edges, 12998 markings/sec, 1620 secs
lola: STP completed || 10 tries, 9307026 fired transitions, 1625 secs || 21001484 markings, 35221235 edges, 13052 markings/sec, 1625 secs
lola: STP completed || 10 tries, 9335441 fired transitions, 1630 secs || 21064613 markings, 35324180 edges, 12626 markings/sec, 1630 secs
lola: STP completed || 10 tries, 9362346 fired transitions, 1635 secs || 21130877 markings, 35436504 edges, 13253 markings/sec, 1635 secs
lola: STP completed || 10 tries, 9392866 fired transitions, 1640 secs || 21198366 markings, 35550844 edges, 13498 markings/sec, 1640 secs
lola: STP completed || 10 tries, 9422343 fired transitions, 1645 secs || 21267016 markings, 35665399 edges, 13730 markings/sec, 1645 secs
lola: STP completed || 10 tries, 9452920 fired transitions, 1650 secs || 21335479 markings, 35779063 edges, 13693 markings/sec, 1650 secs
lola: STP completed || 10 tries, 9483379 fired transitions, 1655 secs || 21402180 markings, 35887532 edges, 13340 markings/sec, 1655 secs
lola: STP completed || 10 tries, 9513369 fired transitions, 1660 secs || 21470600 markings, 36003062 edges, 13684 markings/sec, 1660 secs
lola: STP completed || 10 tries, 9543808 fired transitions, 1665 secs || 21539015 markings, 36117877 edges, 13683 markings/sec, 1665 secs
lola: STP completed || 10 tries, 9573956 fired transitions, 1670 secs || 21606072 markings, 36227887 edges, 13411 markings/sec, 1670 secs
lola: STP completed || 10 tries, 9603939 fired transitions, 1675 secs || 21671937 markings, 36335579 edges, 13173 markings/sec, 1675 secs
lola: STP completed || 10 tries, 9633709 fired transitions, 1680 secs || 21739567 markings, 36450572 edges, 13526 markings/sec, 1680 secs
lola: STP completed || 10 tries, 9663854 fired transitions, 1685 secs || 21805912 markings, 36560598 edges, 13269 markings/sec, 1685 secs
lola: STP completed || 10 tries, 9694482 fired transitions, 1690 secs || 21873616 markings, 36674957 edges, 13541 markings/sec, 1690 secs
lola: STP completed || 10 tries, 9724795 fired transitions, 1695 secs || 21941733 markings, 36790585 edges, 13623 markings/sec, 1695 secs
lola: STP completed || 10 tries, 9753560 fired transitions, 1700 secs || 22006353 markings, 36898328 edges, 12924 markings/sec, 1700 secs
lola: STP completed || 10 tries, 9782165 fired transitions, 1705 secs || 22070178 markings, 37004472 edges, 12765 markings/sec, 1705 secs
lola: STP completed || 10 tries, 9810409 fired transitions, 1710 secs || 22135518 markings, 37114417 edges, 13068 markings/sec, 1710 secs
lola: STP completed || 10 tries, 9839243 fired transitions, 1715 secs || 22198450 markings, 37217110 edges, 12586 markings/sec, 1715 secs
lola: STP completed || 10 tries, 9867199 fired transitions, 1720 secs || 22263655 markings, 37322760 edges, 13041 markings/sec, 1720 secs
lola: STP completed || 10 tries, 9889197 fired transitions, 1725 secs || 22328842 markings, 37429887 edges, 13037 markings/sec, 1725 secs
lola: STP completed || 10 tries, 9918200 fired transitions, 1730 secs || 22391605 markings, 37526597 edges, 12553 markings/sec, 1730 secs
lola: STP completed || 10 tries, 9947147 fired transitions, 1735 secs || 22453652 markings, 37629660 edges, 12409 markings/sec, 1735 secs
lola: STP completed || 10 tries, 9975172 fired transitions, 1740 secs || 22518376 markings, 37737358 edges, 12945 markings/sec, 1740 secs
lola: STP completed || 11 tries, 10002739 fired transitions, 1745 secs || 22587016 markings, 37855629 edges, 13728 markings/sec, 1745 secs
lola: STP completed || 11 tries, 10031166 fired transitions, 1750 secs || 22652409 markings, 37962460 edges, 13079 markings/sec, 1750 secs
lola: STP completed || 11 tries, 10059949 fired transitions, 1755 secs || 22713935 markings, 38063306 edges, 12305 markings/sec, 1755 secs
lola: STP completed || 11 tries, 10089169 fired transitions, 1760 secs || 22778638 markings, 38172990 edges, 12941 markings/sec, 1760 secs
lola: STP completed || 11 tries, 10116577 fired transitions, 1765 secs || 22844571 markings, 38284000 edges, 13187 markings/sec, 1765 secs
lola: STP completed || 11 tries, 10142411 fired transitions, 1770 secs || 22907909 markings, 38387404 edges, 12668 markings/sec, 1770 secs
lola: STP completed || 11 tries, 10167698 fired transitions, 1775 secs || 22973564 markings, 38498049 edges, 13131 markings/sec, 1775 secs
lola: STP completed || 11 tries, 10196133 fired transitions, 1780 secs || 23039040 markings, 38612202 edges, 13095 markings/sec, 1780 secs
lola: STP completed || 11 tries, 10224229 fired transitions, 1785 secs || 23101605 markings, 38720515 edges, 12513 markings/sec, 1785 secs
lola: STP completed || 11 tries, 10247044 fired transitions, 1790 secs || 23166252 markings, 38830209 edges, 12929 markings/sec, 1790 secs
lola: STP completed || 11 tries, 10276003 fired transitions, 1795 secs || 23231432 markings, 38943252 edges, 13036 markings/sec, 1795 secs
lola: STP completed || 11 tries, 10304302 fired transitions, 1800 secs || 23297951 markings, 39058452 edges, 13304 markings/sec, 1800 secs
lola: STP completed || 11 tries, 10333287 fired transitions, 1805 secs || 23361181 markings, 39164080 edges, 12646 markings/sec, 1805 secs
lola: STP completed || 11 tries, 10361068 fired transitions, 1810 secs || 23423422 markings, 39262295 edges, 12448 markings/sec, 1810 secs
lola: STP completed || 11 tries, 10390108 fired transitions, 1815 secs || 23485329 markings, 39358145 edges, 12381 markings/sec, 1815 secs
lola: STP completed || 11 tries, 10419160 fired transitions, 1820 secs || 23548690 markings, 39460150 edges, 12672 markings/sec, 1820 secs
lola: STP completed || 11 tries, 10447634 fired transitions, 1825 secs || 23611592 markings, 39559073 edges, 12580 markings/sec, 1825 secs
lola: STP completed || 11 tries, 10475982 fired transitions, 1830 secs || 23674818 markings, 39663734 edges, 12645 markings/sec, 1830 secs
lola: STP completed || 11 tries, 10500213 fired transitions, 1835 secs || 23741704 markings, 39777148 edges, 13377 markings/sec, 1835 secs
lola: STP completed || 11 tries, 10526762 fired transitions, 1840 secs || 23804155 markings, 39881846 edges, 12490 markings/sec, 1840 secs
lola: STP completed || 11 tries, 10555500 fired transitions, 1845 secs || 23869961 markings, 39994678 edges, 13161 markings/sec, 1845 secs
lola: STP completed || 11 tries, 10584233 fired transitions, 1850 secs || 23936336 markings, 40102665 edges, 13275 markings/sec, 1850 secs
lola: STP completed || 11 tries, 10613048 fired transitions, 1855 secs || 24003049 markings, 40218230 edges, 13343 markings/sec, 1855 secs
lola: STP completed || 11 tries, 10641742 fired transitions, 1860 secs || 24070856 markings, 40334413 edges, 13561 markings/sec, 1860 secs
lola: STP completed || 11 tries, 10669484 fired transitions, 1865 secs || 24133599 markings, 40431752 edges, 12549 markings/sec, 1865 secs
lola: STP completed || 11 tries, 10698332 fired transitions, 1870 secs || 24201344 markings, 40548510 edges, 13549 markings/sec, 1870 secs
lola: STP completed || 11 tries, 10726942 fired transitions, 1875 secs || 24268524 markings, 40665699 edges, 13436 markings/sec, 1875 secs
lola: STP completed || 11 tries, 10755740 fired transitions, 1880 secs || 24333812 markings, 40782142 edges, 13058 markings/sec, 1880 secs
lola: STP completed || 11 tries, 10784553 fired transitions, 1885 secs || 24400175 markings, 40897698 edges, 13273 markings/sec, 1885 secs
lola: STP completed || 11 tries, 10813370 fired transitions, 1890 secs || 24467405 markings, 41016043 edges, 13446 markings/sec, 1890 secs
lola: STP completed || 11 tries, 10842013 fired transitions, 1895 secs || 24535744 markings, 41138410 edges, 13668 markings/sec, 1895 secs
lola: STP completed || 11 tries, 10871117 fired transitions, 1900 secs || 24601923 markings, 41256138 edges, 13236 markings/sec, 1900 secs
lola: STP completed || 11 tries, 10899347 fired transitions, 1905 secs || 24668197 markings, 41373232 edges, 13255 markings/sec, 1905 secs
lola: STP completed || 11 tries, 10928211 fired transitions, 1910 secs || 24737459 markings, 41496378 edges, 13852 markings/sec, 1910 secs
lola: STP completed || 11 tries, 10957715 fired transitions, 1915 secs || 24806163 markings, 41615506 edges, 13741 markings/sec, 1915 secs
lola: STP completed || 11 tries, 10986838 fired transitions, 1920 secs || 24872679 markings, 41725126 edges, 13303 markings/sec, 1920 secs
lola: STP completed || 12 tries, 11016850 fired transitions, 1925 secs || 24940468 markings, 41839235 edges, 13558 markings/sec, 1925 secs
lola: STP completed || 12 tries, 11045117 fired transitions, 1930 secs || 25008581 markings, 41958287 edges, 13623 markings/sec, 1930 secs
lola: STP completed || 12 tries, 11073717 fired transitions, 1935 secs || 25071234 markings, 42065704 edges, 12531 markings/sec, 1935 secs
lola: STP completed || 12 tries, 11101957 fired transitions, 1940 secs || 25135779 markings, 42175453 edges, 12909 markings/sec, 1940 secs
lola: STP completed || 12 tries, 11131245 fired transitions, 1945 secs || 25198120 markings, 42280241 edges, 12468 markings/sec, 1945 secs
lola: STP completed || 12 tries, 11159828 fired transitions, 1950 secs || 25262558 markings, 42387184 edges, 12888 markings/sec, 1950 secs
lola: STP completed || 12 tries, 11186917 fired transitions, 1955 secs || 25329002 markings, 42498910 edges, 13289 markings/sec, 1955 secs
lola: STP completed || 12 tries, 11213231 fired transitions, 1960 secs || 25395022 markings, 42609629 edges, 13204 markings/sec, 1960 secs
lola: STP completed || 12 tries, 11241216 fired transitions, 1965 secs || 25461771 markings, 42727605 edges, 13350 markings/sec, 1965 secs
lola: STP completed || 12 tries, 11270951 fired transitions, 1970 secs || 25529904 markings, 42850259 edges, 13627 markings/sec, 1970 secs
lola: STP completed || 12 tries, 11299769 fired transitions, 1975 secs || 25597772 markings, 42971800 edges, 13574 markings/sec, 1975 secs
lola: STP completed || 12 tries, 11327959 fired transitions, 1980 secs || 25665572 markings, 43091503 edges, 13560 markings/sec, 1980 secs
lola: STP completed || 12 tries, 11356892 fired transitions, 1985 secs || 25732316 markings, 43205933 edges, 13349 markings/sec, 1985 secs
lola: STP completed || 12 tries, 11384642 fired transitions, 1990 secs || 25799352 markings, 43322781 edges, 13407 markings/sec, 1990 secs
lola: STP completed || 12 tries, 11414638 fired transitions, 1995 secs || 25869346 markings, 43445052 edges, 13999 markings/sec, 1995 secs
lola: STP completed || 12 tries, 11444029 fired transitions, 2000 secs || 25936894 markings, 43560879 edges, 13510 markings/sec, 2000 secs
lola: STP completed || 12 tries, 11473545 fired transitions, 2005 secs || 26007499 markings, 43687625 edges, 14121 markings/sec, 2005 secs
lola: STP completed || 12 tries, 11502991 fired transitions, 2010 secs || 26078207 markings, 43814863 edges, 14142 markings/sec, 2010 secs
lola: STP completed || 12 tries, 11532707 fired transitions, 2015 secs || 26147944 markings, 43939136 edges, 13947 markings/sec, 2015 secs
lola: STP completed || 12 tries, 11561601 fired transitions, 2020 secs || 26216668 markings, 44059773 edges, 13745 markings/sec, 2020 secs
lola: STP completed || 12 tries, 11590697 fired transitions, 2025 secs || 26286650 markings, 44184211 edges, 13996 markings/sec, 2025 secs
lola: STP completed || 12 tries, 11620055 fired transitions, 2030 secs || 26357177 markings, 44311505 edges, 14105 markings/sec, 2030 secs
lola: STP completed || 12 tries, 11649036 fired transitions, 2035 secs || 26427140 markings, 44436746 edges, 13993 markings/sec, 2035 secs
lola: STP completed || 12 tries, 11677936 fired transitions, 2040 secs || 26495694 markings, 44554831 edges, 13711 markings/sec, 2040 secs
lola: STP completed || 12 tries, 11708033 fired transitions, 2045 secs || 26567069 markings, 44684882 edges, 14275 markings/sec, 2045 secs
lola: STP completed || 12 tries, 11737132 fired transitions, 2050 secs || 26636126 markings, 44807249 edges, 13811 markings/sec, 2050 secs
lola: STP completed || 12 tries, 11766428 fired transitions, 2055 secs || 26708114 markings, 44936274 edges, 14398 markings/sec, 2055 secs
lola: STP completed || 12 tries, 11794852 fired transitions, 2060 secs || 26776669 markings, 45055598 edges, 13711 markings/sec, 2060 secs
lola: STP completed || 12 tries, 11824562 fired transitions, 2065 secs || 26847939 markings, 45182685 edges, 14254 markings/sec, 2065 secs
lola: STP completed || 12 tries, 11853584 fired transitions, 2070 secs || 26915685 markings, 45296053 edges, 13549 markings/sec, 2070 secs
lola: STP completed || 12 tries, 11883064 fired transitions, 2075 secs || 26987662 markings, 45428870 edges, 14395 markings/sec, 2075 secs
lola: STP completed || 12 tries, 11911791 fired transitions, 2080 secs || 27056363 markings, 45553747 edges, 13740 markings/sec, 2080 secs
lola: STP completed || 12 tries, 11940995 fired transitions, 2085 secs || 27128541 markings, 45679660 edges, 14436 markings/sec, 2085 secs
lola: STP completed || 12 tries, 11969739 fired transitions, 2090 secs || 27199467 markings, 45805996 edges, 14185 markings/sec, 2090 secs
lola: STP completed || 12 tries, 11998800 fired transitions, 2095 secs || 27267380 markings, 45927484 edges, 13583 markings/sec, 2095 secs
lola: STP completed || 13 tries, 12027616 fired transitions, 2100 secs || 27337886 markings, 46053360 edges, 14101 markings/sec, 2100 secs
lola: STP completed || 13 tries, 12056730 fired transitions, 2105 secs || 27407564 markings, 46178490 edges, 13936 markings/sec, 2105 secs
lola: STP completed || 13 tries, 12085743 fired transitions, 2110 secs || 27477878 markings, 46307000 edges, 14063 markings/sec, 2110 secs
lola: STP completed || 13 tries, 12114922 fired transitions, 2115 secs || 27549236 markings, 46436264 edges, 14272 markings/sec, 2115 secs
lola: STP completed || 13 tries, 12143431 fired transitions, 2120 secs || 27620150 markings, 46566403 edges, 14183 markings/sec, 2120 secs
lola: STP completed || 13 tries, 12173146 fired transitions, 2125 secs || 27690873 markings, 46692754 edges, 14145 markings/sec, 2125 secs
lola: STP completed || 13 tries, 12203321 fired transitions, 2130 secs || 27760849 markings, 46817523 edges, 13995 markings/sec, 2130 secs
lola: STP completed || 13 tries, 12231952 fired transitions, 2135 secs || 27831302 markings, 46943545 edges, 14091 markings/sec, 2135 secs
lola: STP completed || 13 tries, 12261506 fired transitions, 2140 secs || 27904065 markings, 47076312 edges, 14553 markings/sec, 2140 secs
lola: STP completed || 13 tries, 12290736 fired transitions, 2145 secs || 27971879 markings, 47194790 edges, 13563 markings/sec, 2145 secs
lola: STP completed || 13 tries, 12319739 fired transitions, 2150 secs || 28040426 markings, 47310436 edges, 13709 markings/sec, 2150 secs
lola: STP completed || 13 tries, 12349434 fired transitions, 2155 secs || 28108466 markings, 47423016 edges, 13608 markings/sec, 2155 secs
lola: STP completed || 13 tries, 12378804 fired transitions, 2160 secs || 28176744 markings, 47536526 edges, 13656 markings/sec, 2160 secs
lola: STP completed || 13 tries, 12408185 fired transitions, 2165 secs || 28242824 markings, 47640800 edges, 13216 markings/sec, 2165 secs
lola: STP completed || 13 tries, 12437438 fired transitions, 2170 secs || 28310881 markings, 47753594 edges, 13611 markings/sec, 2170 secs
lola: STP completed || 13 tries, 12466111 fired transitions, 2175 secs || 28377441 markings, 47863553 edges, 13312 markings/sec, 2175 secs
lola: STP completed || 13 tries, 12494947 fired transitions, 2180 secs || 28445490 markings, 47976420 edges, 13610 markings/sec, 2180 secs
lola: STP completed || 13 tries, 12524348 fired transitions, 2185 secs || 28512862 markings, 48087775 edges, 13474 markings/sec, 2185 secs
lola: STP completed || 13 tries, 12554296 fired transitions, 2190 secs || 28579304 markings, 48195660 edges, 13288 markings/sec, 2190 secs
lola: STP completed || 13 tries, 12583045 fired transitions, 2195 secs || 28646619 markings, 48308554 edges, 13463 markings/sec, 2195 secs
lola: STP completed || 13 tries, 12612013 fired transitions, 2200 secs || 28715554 markings, 48425713 edges, 13787 markings/sec, 2200 secs
lola: STP completed || 13 tries, 12641703 fired transitions, 2205 secs || 28783797 markings, 48538554 edges, 13649 markings/sec, 2205 secs
lola: STP completed || 13 tries, 12671087 fired transitions, 2210 secs || 28849162 markings, 48641208 edges, 13073 markings/sec, 2210 secs
lola: STP completed || 13 tries, 12700718 fired transitions, 2215 secs || 28916084 markings, 48754177 edges, 13384 markings/sec, 2215 secs
lola: STP completed || 13 tries, 12728770 fired transitions, 2220 secs || 28978075 markings, 48852521 edges, 12398 markings/sec, 2220 secs
lola: STP completed || 13 tries, 12758366 fired transitions, 2225 secs || 29043475 markings, 48954937 edges, 13080 markings/sec, 2225 secs
lola: STP completed || 13 tries, 12788615 fired transitions, 2230 secs || 29110199 markings, 49063101 edges, 13345 markings/sec, 2230 secs
lola: STP completed || 13 tries, 12818590 fired transitions, 2235 secs || 29177227 markings, 49172162 edges, 13406 markings/sec, 2235 secs
lola: STP completed || 13 tries, 12847389 fired transitions, 2240 secs || 29244091 markings, 49281881 edges, 13373 markings/sec, 2240 secs
lola: STP completed || 13 tries, 12877485 fired transitions, 2245 secs || 29313205 markings, 49399502 edges, 13823 markings/sec, 2245 secs
lola: STP completed || 13 tries, 12908035 fired transitions, 2250 secs || 29379014 markings, 49508347 edges, 13162 markings/sec, 2250 secs
lola: STP completed || 13 tries, 12936321 fired transitions, 2255 secs || 29444305 markings, 49616250 edges, 13058 markings/sec, 2255 secs
lola: STP completed || 13 tries, 12963773 fired transitions, 2260 secs || 29510722 markings, 49730721 edges, 13283 markings/sec, 2260 secs
lola: STP completed || 13 tries, 12993023 fired transitions, 2265 secs || 29580212 markings, 49848599 edges, 13898 markings/sec, 2265 secs
lola: STP completed || 14 tries, 13020841 fired transitions, 2270 secs || 29644385 markings, 49951207 edges, 12835 markings/sec, 2270 secs
lola: STP completed || 14 tries, 13049308 fired transitions, 2275 secs || 29709041 markings, 50055334 edges, 12931 markings/sec, 2275 secs
lola: STP completed || 14 tries, 13077469 fired transitions, 2280 secs || 29772834 markings, 50161645 edges, 12759 markings/sec, 2280 secs
lola: STP completed || 14 tries, 13099057 fired transitions, 2285 secs || 29838841 markings, 50274338 edges, 13201 markings/sec, 2285 secs
lola: STP completed || 14 tries, 13126517 fired transitions, 2290 secs || 29904303 markings, 50385784 edges, 13092 markings/sec, 2290 secs
lola: STP completed || 14 tries, 13155359 fired transitions, 2295 secs || 29972713 markings, 50505646 edges, 13682 markings/sec, 2295 secs
lola: STP completed || 14 tries, 13182060 fired transitions, 2300 secs || 30037851 markings, 50618441 edges, 13028 markings/sec, 2300 secs
lola: STP completed || 14 tries, 13209117 fired transitions, 2305 secs || 30104611 markings, 50732951 edges, 13352 markings/sec, 2305 secs
lola: STP completed || 14 tries, 13237613 fired transitions, 2310 secs || 30171867 markings, 50850943 edges, 13451 markings/sec, 2310 secs
lola: STP completed || 14 tries, 13265643 fired transitions, 2315 secs || 30231577 markings, 50951903 edges, 11942 markings/sec, 2315 secs
lola: STP completed || 14 tries, 13293100 fired transitions, 2320 secs || 30301020 markings, 51074293 edges, 13889 markings/sec, 2320 secs
lola: STP completed || 14 tries, 13321865 fired transitions, 2325 secs || 30368690 markings, 51189546 edges, 13534 markings/sec, 2325 secs
lola: STP completed || 14 tries, 13350679 fired transitions, 2330 secs || 30435828 markings, 51305070 edges, 13428 markings/sec, 2330 secs
lola: STP completed || 14 tries, 13378675 fired transitions, 2335 secs || 30502088 markings, 51416129 edges, 13252 markings/sec, 2335 secs
lola: STP completed || 14 tries, 13407538 fired transitions, 2340 secs || 30569145 markings, 51531342 edges, 13411 markings/sec, 2340 secs
lola: STP completed || 14 tries, 13436197 fired transitions, 2345 secs || 30636217 markings, 51646682 edges, 13414 markings/sec, 2345 secs
lola: STP completed || 14 tries, 13464277 fired transitions, 2350 secs || 30699414 markings, 51750591 edges, 12639 markings/sec, 2350 secs
lola: STP completed || 14 tries, 13492725 fired transitions, 2355 secs || 30765237 markings, 51864768 edges, 13165 markings/sec, 2355 secs
lola: STP completed || 14 tries, 13522164 fired transitions, 2360 secs || 30832595 markings, 51982073 edges, 13472 markings/sec, 2360 secs
lola: STP completed || 14 tries, 13552052 fired transitions, 2365 secs || 30899959 markings, 52100109 edges, 13473 markings/sec, 2365 secs
lola: STP completed || 14 tries, 13580639 fired transitions, 2370 secs || 30966679 markings, 52215143 edges, 13344 markings/sec, 2370 secs
lola: STP completed || 14 tries, 13609302 fired transitions, 2375 secs || 31035536 markings, 52336177 edges, 13771 markings/sec, 2375 secs
lola: STP completed || 14 tries, 13638257 fired transitions, 2380 secs || 31101746 markings, 52450579 edges, 13242 markings/sec, 2380 secs
lola: STP completed || 14 tries, 13666869 fired transitions, 2385 secs || 31169614 markings, 52569993 edges, 13574 markings/sec, 2385 secs
lola: STP completed || 14 tries, 13696251 fired transitions, 2390 secs || 31239891 markings, 52695981 edges, 14055 markings/sec, 2390 secs
lola: STP completed || 14 tries, 13725811 fired transitions, 2395 secs || 31309493 markings, 52818184 edges, 13920 markings/sec, 2395 secs
lola: STP completed || 14 tries, 13754504 fired transitions, 2400 secs || 31378891 markings, 52936488 edges, 13880 markings/sec, 2400 secs
lola: STP completed || 14 tries, 13783664 fired transitions, 2405 secs || 31449142 markings, 53059504 edges, 14050 markings/sec, 2405 secs
lola: STP completed || 14 tries, 13812967 fired transitions, 2410 secs || 31516216 markings, 53176819 edges, 13415 markings/sec, 2410 secs
lola: STP completed || 14 tries, 13842280 fired transitions, 2415 secs || 31584926 markings, 53297676 edges, 13742 markings/sec, 2415 secs
lola: STP completed || 14 tries, 13871162 fired transitions, 2420 secs || 31654455 markings, 53420208 edges, 13906 markings/sec, 2420 secs
lola: STP completed || 14 tries, 13899875 fired transitions, 2425 secs || 31723402 markings, 53539340 edges, 13789 markings/sec, 2425 secs
lola: STP completed || 14 tries, 13929662 fired transitions, 2430 secs || 31788804 markings, 53641987 edges, 13080 markings/sec, 2430 secs
lola: STP completed || 14 tries, 13959317 fired transitions, 2435 secs || 31854406 markings, 53743508 edges, 13120 markings/sec, 2435 secs
lola: STP completed || 14 tries, 13988489 fired transitions, 2440 secs || 31920520 markings, 53850229 edges, 13223 markings/sec, 2440 secs
lola: STP completed || 15 tries, 14017064 fired transitions, 2445 secs || 31987250 markings, 53960432 edges, 13346 markings/sec, 2445 secs
lola: STP completed || 15 tries, 14047205 fired transitions, 2450 secs || 32053649 markings, 54069343 edges, 13280 markings/sec, 2450 secs
lola: STP completed || 15 tries, 14076851 fired transitions, 2455 secs || 32121637 markings, 54183188 edges, 13598 markings/sec, 2455 secs
lola: STP completed || 15 tries, 14106316 fired transitions, 2460 secs || 32187620 markings, 54287243 edges, 13197 markings/sec, 2460 secs
lola: STP completed || 15 tries, 14135727 fired transitions, 2465 secs || 32252265 markings, 54388321 edges, 12929 markings/sec, 2465 secs
lola: STP completed || 15 tries, 14164288 fired transitions, 2470 secs || 32311369 markings, 54482249 edges, 11821 markings/sec, 2470 secs
lola: STP completed || 15 tries, 14193627 fired transitions, 2475 secs || 32372440 markings, 54579340 edges, 12214 markings/sec, 2475 secs
lola: STP completed || 15 tries, 14222247 fired transitions, 2480 secs || 32434482 markings, 54677171 edges, 12408 markings/sec, 2480 secs
lola: STP completed || 15 tries, 14251033 fired transitions, 2485 secs || 32499123 markings, 54779752 edges, 12928 markings/sec, 2485 secs
lola: STP completed || 15 tries, 14279346 fired transitions, 2490 secs || 32565434 markings, 54887716 edges, 13262 markings/sec, 2490 secs
lola: STP completed || 15 tries, 14307933 fired transitions, 2495 secs || 32629788 markings, 54989861 edges, 12871 markings/sec, 2495 secs
lola: STP completed || 15 tries, 14337162 fired transitions, 2500 secs || 32695621 markings, 55094250 edges, 13167 markings/sec, 2500 secs
lola: STP completed || 15 tries, 14366442 fired transitions, 2505 secs || 32762036 markings, 55204911 edges, 13283 markings/sec, 2505 secs
lola: STP completed || 15 tries, 14395732 fired transitions, 2510 secs || 32826575 markings, 55307297 edges, 12908 markings/sec, 2510 secs
lola: STP completed || 15 tries, 14424119 fired transitions, 2515 secs || 32891284 markings, 55411746 edges, 12942 markings/sec, 2515 secs
lola: STP completed || 15 tries, 14453176 fired transitions, 2520 secs || 32957796 markings, 55521776 edges, 13302 markings/sec, 2520 secs
lola: STP completed || 15 tries, 14482580 fired transitions, 2525 secs || 33023813 markings, 55629093 edges, 13203 markings/sec, 2525 secs
lola: STP completed || 15 tries, 14511673 fired transitions, 2530 secs || 33089155 markings, 55737469 edges, 13068 markings/sec, 2530 secs
lola: STP completed || 15 tries, 14540722 fired transitions, 2535 secs || 33155495 markings, 55847221 edges, 13268 markings/sec, 2535 secs
lola: STP completed || 15 tries, 14569593 fired transitions, 2540 secs || 33221689 markings, 55956778 edges, 13239 markings/sec, 2540 secs
lola: STP completed || 15 tries, 14599063 fired transitions, 2545 secs || 33289373 markings, 56070432 edges, 13537 markings/sec, 2545 secs
lola: STP completed || 15 tries, 14628173 fired transitions, 2550 secs || 33356783 markings, 56181332 edges, 13482 markings/sec, 2550 secs
lola: STP completed || 15 tries, 14657760 fired transitions, 2555 secs || 33426755 markings, 56302138 edges, 13994 markings/sec, 2555 secs
lola: STP completed || 15 tries, 14686626 fired transitions, 2560 secs || 33493569 markings, 56410337 edges, 13363 markings/sec, 2560 secs
lola: STP completed || 15 tries, 14715517 fired transitions, 2565 secs || 33555257 markings, 56507697 edges, 12338 markings/sec, 2565 secs
lola: STP completed || 15 tries, 14744752 fired transitions, 2570 secs || 33621091 markings, 56613756 edges, 13167 markings/sec, 2570 secs
lola: STP completed || 15 tries, 14773251 fired transitions, 2575 secs || 33690526 markings, 56731702 edges, 13887 markings/sec, 2575 secs
lola: STP completed || 15 tries, 14803914 fired transitions, 2580 secs || 33762170 markings, 56853947 edges, 14329 markings/sec, 2580 secs
lola: STP completed || 15 tries, 14833188 fired transitions, 2585 secs || 33826978 markings, 56962747 edges, 12962 markings/sec, 2585 secs
lola: STP completed || 15 tries, 14862203 fired transitions, 2590 secs || 33891494 markings, 57069234 edges, 12903 markings/sec, 2590 secs
lola: STP completed || 15 tries, 14890781 fired transitions, 2595 secs || 33955461 markings, 57174875 edges, 12793 markings/sec, 2595 secs
lola: STP completed || 15 tries, 14919135 fired transitions, 2600 secs || 34018062 markings, 57278284 edges, 12520 markings/sec, 2600 secs
lola: STP completed || 15 tries, 14947341 fired transitions, 2605 secs || 34082157 markings, 57387712 edges, 12819 markings/sec, 2605 secs
lola: STP completed || 15 tries, 14976012 fired transitions, 2610 secs || 34150335 markings, 57506594 edges, 13636 markings/sec, 2610 secs
lola: STP completed || 16 tries, 15003827 fired transitions, 2615 secs || 34213785 markings, 57613604 edges, 12690 markings/sec, 2615 secs
lola: STP completed || 16 tries, 15028626 fired transitions, 2620 secs || 34277713 markings, 57718018 edges, 12786 markings/sec, 2620 secs
lola: STP completed || 16 tries, 15058244 fired transitions, 2625 secs || 34345167 markings, 57830579 edges, 13491 markings/sec, 2625 secs
lola: STP completed || 16 tries, 15087849 fired transitions, 2630 secs || 34412619 markings, 57942152 edges, 13490 markings/sec, 2630 secs
lola: STP completed || 16 tries, 15114407 fired transitions, 2635 secs || 34477237 markings, 58047799 edges, 12924 markings/sec, 2635 secs
lola: STP completed || 16 tries, 15142696 fired transitions, 2640 secs || 34543329 markings, 58161075 edges, 13218 markings/sec, 2640 secs
lola: STP completed || 16 tries, 15170653 fired transitions, 2645 secs || 34606317 markings, 58264615 edges, 12598 markings/sec, 2645 secs
lola: STP completed || 16 tries, 15199697 fired transitions, 2650 secs || 34671414 markings, 58374131 edges, 13019 markings/sec, 2650 secs
lola: STP completed || 16 tries, 15228471 fired transitions, 2655 secs || 34738066 markings, 58485747 edges, 13330 markings/sec, 2655 secs
lola: STP completed || 16 tries, 15257090 fired transitions, 2660 secs || 34805019 markings, 58599925 edges, 13391 markings/sec, 2660 secs
lola: STP completed || 16 tries, 15284710 fired transitions, 2665 secs || 34870874 markings, 58707538 edges, 13171 markings/sec, 2665 secs
lola: STP completed || 16 tries, 15312699 fired transitions, 2670 secs || 34934855 markings, 58809669 edges, 12796 markings/sec, 2670 secs
lola: STP completed || 16 tries, 15340355 fired transitions, 2675 secs || 34998630 markings, 58914560 edges, 12755 markings/sec, 2675 secs
lola: STP completed || 16 tries, 15368698 fired transitions, 2680 secs || 35066949 markings, 59032783 edges, 13664 markings/sec, 2680 secs
lola: STP completed || 16 tries, 15396161 fired transitions, 2685 secs || 35131889 markings, 59142767 edges, 12988 markings/sec, 2685 secs
lola: STP completed || 16 tries, 15424053 fired transitions, 2690 secs || 35199954 markings, 59264847 edges, 13613 markings/sec, 2690 secs
lola: STP completed || 16 tries, 15452638 fired transitions, 2695 secs || 35268545 markings, 59386202 edges, 13718 markings/sec, 2695 secs
lola: STP completed || 16 tries, 15482761 fired transitions, 2700 secs || 35338248 markings, 59504554 edges, 13941 markings/sec, 2700 secs
lola: STP completed || 16 tries, 15513440 fired transitions, 2705 secs || 35404823 markings, 59623714 edges, 13315 markings/sec, 2705 secs
lola: STP completed || 16 tries, 15542768 fired transitions, 2710 secs || 35469553 markings, 59741141 edges, 12946 markings/sec, 2710 secs
lola: STP completed || 16 tries, 15571651 fired transitions, 2715 secs || 35539400 markings, 59862312 edges, 13969 markings/sec, 2715 secs
lola: STP completed || 16 tries, 15601211 fired transitions, 2720 secs || 35610216 markings, 59982630 edges, 14163 markings/sec, 2720 secs
lola: STP completed || 16 tries, 15631932 fired transitions, 2725 secs || 35681180 markings, 60107124 edges, 14193 markings/sec, 2725 secs
lola: STP completed || 16 tries, 15661781 fired transitions, 2730 secs || 35752832 markings, 60237283 edges, 14330 markings/sec, 2730 secs
lola: STP completed || 16 tries, 15691862 fired transitions, 2735 secs || 35823562 markings, 60365312 edges, 14146 markings/sec, 2735 secs
lola: STP completed || 16 tries, 15721921 fired transitions, 2740 secs || 35896220 markings, 60495502 edges, 14532 markings/sec, 2740 secs
lola: STP completed || 16 tries, 15751975 fired transitions, 2745 secs || 35964597 markings, 60614022 edges, 13675 markings/sec, 2745 secs
lola: STP completed || 16 tries, 15782126 fired transitions, 2750 secs || 36035175 markings, 60743601 edges, 14116 markings/sec, 2750 secs
lola: STP completed || 16 tries, 15811980 fired transitions, 2755 secs || 36102582 markings, 60859695 edges, 13481 markings/sec, 2755 secs
lola: STP completed || 16 tries, 15842379 fired transitions, 2760 secs || 36174545 markings, 60989734 edges, 14393 markings/sec, 2760 secs
lola: STP completed || 16 tries, 15872858 fired transitions, 2765 secs || 36243493 markings, 61111521 edges, 13790 markings/sec, 2765 secs
lola: STP completed || 16 tries, 15903815 fired transitions, 2770 secs || 36314782 markings, 61240241 edges, 14258 markings/sec, 2770 secs
lola: STP completed || 16 tries, 15933739 fired transitions, 2775 secs || 36383228 markings, 61363191 edges, 13689 markings/sec, 2775 secs
lola: STP completed || 16 tries, 15963551 fired transitions, 2780 secs || 36455981 markings, 61495036 edges, 14551 markings/sec, 2780 secs
lola: STP completed || 16 tries, 15993526 fired transitions, 2785 secs || 36529421 markings, 61628421 edges, 14688 markings/sec, 2785 secs
lola: STP completed || 17 tries, 16021479 fired transitions, 2790 secs || 36599631 markings, 61757494 edges, 14042 markings/sec, 2790 secs
lola: STP completed || 17 tries, 16049512 fired transitions, 2795 secs || 36669145 markings, 61882289 edges, 13903 markings/sec, 2795 secs
lola: STP completed || 17 tries, 16080442 fired transitions, 2800 secs || 36741944 markings, 62015398 edges, 14560 markings/sec, 2800 secs
lola: STP completed || 17 tries, 16109070 fired transitions, 2805 secs || 36812969 markings, 62147376 edges, 14205 markings/sec, 2805 secs
lola: STP completed || 17 tries, 16133117 fired transitions, 2810 secs || 36880425 markings, 62268875 edges, 13491 markings/sec, 2810 secs
lola: STP completed || 17 tries, 16162808 fired transitions, 2815 secs || 36951798 markings, 62399586 edges, 14275 markings/sec, 2815 secs
lola: STP completed || 17 tries, 16192370 fired transitions, 2820 secs || 37021699 markings, 62524540 edges, 13980 markings/sec, 2820 secs
lola: STP completed || 17 tries, 16222750 fired transitions, 2825 secs || 37094877 markings, 62656195 edges, 14636 markings/sec, 2825 secs
lola: STP completed || 17 tries, 16252932 fired transitions, 2830 secs || 37167638 markings, 62789239 edges, 14552 markings/sec, 2830 secs
lola: STP completed || 17 tries, 16280123 fired transitions, 2835 secs || 37237567 markings, 62915645 edges, 13986 markings/sec, 2835 secs
lola: STP completed || 17 tries, 16307491 fired transitions, 2840 secs || 37301263 markings, 63018481 edges, 12739 markings/sec, 2840 secs
lola: STP completed || 17 tries, 16328202 fired transitions, 2845 secs || 37365950 markings, 63128246 edges, 12937 markings/sec, 2845 secs
lola: STP completed || 17 tries, 16356422 fired transitions, 2850 secs || 37431898 markings, 63241204 edges, 13190 markings/sec, 2850 secs
lola: STP completed || 17 tries, 16384102 fired transitions, 2855 secs || 37496841 markings, 63349876 edges, 12989 markings/sec, 2855 secs
lola: STP completed || 17 tries, 16411613 fired transitions, 2860 secs || 37561035 markings, 63455990 edges, 12839 markings/sec, 2860 secs
lola: STP completed || 17 tries, 16439876 fired transitions, 2865 secs || 37626178 markings, 63564207 edges, 13029 markings/sec, 2865 secs
lola: STP completed || 17 tries, 16467859 fired transitions, 2870 secs || 37690211 markings, 63671780 edges, 12807 markings/sec, 2870 secs
lola: STP completed || 17 tries, 16495841 fired transitions, 2875 secs || 37754188 markings, 63776977 edges, 12795 markings/sec, 2875 secs
lola: STP completed || 17 tries, 16523880 fired transitions, 2880 secs || 37820049 markings, 63886124 edges, 13172 markings/sec, 2880 secs
lola: STP completed || 17 tries, 16550339 fired transitions, 2885 secs || 37883676 markings, 63985402 edges, 12725 markings/sec, 2885 secs
lola: STP completed || 17 tries, 16578972 fired transitions, 2890 secs || 37946470 markings, 64082906 edges, 12559 markings/sec, 2890 secs
lola: STP completed || 17 tries, 16608746 fired transitions, 2895 secs || 38005638 markings, 64176097 edges, 11834 markings/sec, 2895 secs
lola: STP completed || 17 tries, 16636616 fired transitions, 2900 secs || 38066166 markings, 64270688 edges, 12106 markings/sec, 2900 secs
lola: STP completed || 17 tries, 16665530 fired transitions, 2905 secs || 38128219 markings, 64373868 edges, 12411 markings/sec, 2905 secs
lola: STP completed || 17 tries, 16694326 fired transitions, 2910 secs || 38194400 markings, 64481834 edges, 13236 markings/sec, 2910 secs
lola: STP completed || 17 tries, 16722383 fired transitions, 2915 secs || 38264376 markings, 64601366 edges, 13995 markings/sec, 2915 secs
lola: STP completed || 17 tries, 16750968 fired transitions, 2920 secs || 38332532 markings, 64712305 edges, 13631 markings/sec, 2920 secs
lola: STP completed || 17 tries, 16780551 fired transitions, 2925 secs || 38391905 markings, 64807146 edges, 11875 markings/sec, 2925 secs
lola: STP completed || 17 tries, 16809971 fired transitions, 2930 secs || 38456939 markings, 64908019 edges, 13007 markings/sec, 2930 secs
lola: STP completed || 17 tries, 16839056 fired transitions, 2935 secs || 38514195 markings, 65000033 edges, 11451 markings/sec, 2935 secs
lola: STP completed || 17 tries, 16869297 fired transitions, 2940 secs || 38580681 markings, 65106786 edges, 13297 markings/sec, 2940 secs
lola: STP completed || 17 tries, 16899361 fired transitions, 2945 secs || 38649376 markings, 65216991 edges, 13739 markings/sec, 2945 secs
lola: STP completed || 17 tries, 16930003 fired transitions, 2950 secs || 38718070 markings, 65329108 edges, 13739 markings/sec, 2950 secs
lola: STP completed || 17 tries, 16961147 fired transitions, 2955 secs || 38786486 markings, 65439969 edges, 13683 markings/sec, 2955 secs
lola: STP completed || 17 tries, 16990617 fired transitions, 2960 secs || 38853779 markings, 65547476 edges, 13459 markings/sec, 2960 secs
lola: STP completed || 18 tries, 17020986 fired transitions, 2965 secs || 38922655 markings, 65661353 edges, 13775 markings/sec, 2965 secs
lola: STP completed || 18 tries, 17051344 fired transitions, 2970 secs || 38990728 markings, 65772327 edges, 13615 markings/sec, 2970 secs
lola: STP completed || 18 tries, 17082186 fired transitions, 2975 secs || 39059599 markings, 65886001 edges, 13774 markings/sec, 2975 secs
lola: STP completed || 18 tries, 17112518 fired transitions, 2980 secs || 39127465 markings, 65997897 edges, 13573 markings/sec, 2980 secs
lola: STP completed || 18 tries, 17142179 fired transitions, 2985 secs || 39196132 markings, 66112107 edges, 13733 markings/sec, 2985 secs
lola: STP completed || 18 tries, 17168921 fired transitions, 2990 secs || 39261545 markings, 66215132 edges, 13083 markings/sec, 2990 secs
lola: STP completed || 18 tries, 17195894 fired transitions, 2995 secs || 39329039 markings, 66326422 edges, 13499 markings/sec, 2995 secs
lola: STP completed || 18 tries, 17225325 fired transitions, 3000 secs || 39396376 markings, 66435498 edges, 13467 markings/sec, 3000 secs
lola: STP completed || 18 tries, 17253983 fired transitions, 3005 secs || 39462973 markings, 66542083 edges, 13319 markings/sec, 3005 secs
lola: STP completed || 18 tries, 17282279 fired transitions, 3010 secs || 39530153 markings, 66646708 edges, 13436 markings/sec, 3010 secs
lola: STP completed || 18 tries, 17312277 fired transitions, 3015 secs || 39596036 markings, 66751763 edges, 13177 markings/sec, 3015 secs
lola: STP completed || 18 tries, 17338885 fired transitions, 3020 secs || 39660270 markings, 66852357 edges, 12847 markings/sec, 3020 secs
lola: STP completed || 18 tries, 17369048 fired transitions, 3025 secs || 39724823 markings, 66954300 edges, 12911 markings/sec, 3025 secs
lola: STP completed || 18 tries, 17398915 fired transitions, 3030 secs || 39789013 markings, 67054020 edges, 12838 markings/sec, 3030 secs
lola: STP completed || 18 tries, 17428379 fired transitions, 3035 secs || 39855826 markings, 67160217 edges, 13363 markings/sec, 3035 secs
lola: STP completed || 18 tries, 17457825 fired transitions, 3040 secs || 39921677 markings, 67263832 edges, 13170 markings/sec, 3040 secs
lola: STP completed || 18 tries, 17485101 fired transitions, 3045 secs || 39983199 markings, 67361537 edges, 12304 markings/sec, 3045 secs
lola: STP completed || 18 tries, 17513436 fired transitions, 3050 secs || 40046628 markings, 67461258 edges, 12686 markings/sec, 3050 secs
lola: STP completed || 18 tries, 17541900 fired transitions, 3055 secs || 40110886 markings, 67565264 edges, 12852 markings/sec, 3055 secs
lola: STP completed || 18 tries, 17570329 fired transitions, 3060 secs || 40175446 markings, 67668838 edges, 12912 markings/sec, 3060 secs
lola: STP completed || 18 tries, 17598567 fired transitions, 3065 secs || 40239958 markings, 67773583 edges, 12902 markings/sec, 3065 secs
lola: STP completed || 18 tries, 17623259 fired transitions, 3070 secs || 40302381 markings, 67871637 edges, 12485 markings/sec, 3070 secs
lola: STP completed || 18 tries, 17648428 fired transitions, 3075 secs || 40364972 markings, 67972740 edges, 12518 markings/sec, 3075 secs
lola: STP completed || 18 tries, 17675266 fired transitions, 3080 secs || 40427772 markings, 68075748 edges, 12560 markings/sec, 3080 secs
lola: STP completed || 18 tries, 17703334 fired transitions, 3085 secs || 40490177 markings, 68175430 edges, 12481 markings/sec, 3085 secs
lola: STP completed || 18 tries, 17732599 fired transitions, 3090 secs || 40555061 markings, 68281015 edges, 12977 markings/sec, 3090 secs
lola: STP completed || 18 tries, 17761558 fired transitions, 3095 secs || 40620102 markings, 68386841 edges, 13008 markings/sec, 3095 secs
lola: STP completed || 18 tries, 17790492 fired transitions, 3100 secs || 40684903 markings, 68492901 edges, 12960 markings/sec, 3100 secs
lola: STP completed || 18 tries, 17818511 fired transitions, 3105 secs || 40750551 markings, 68598880 edges, 13130 markings/sec, 3105 secs
lola: STP completed || 18 tries, 17846650 fired transitions, 3110 secs || 40814882 markings, 68701910 edges, 12866 markings/sec, 3110 secs
lola: STP completed || 18 tries, 17876063 fired transitions, 3115 secs || 40879172 markings, 68805625 edges, 12858 markings/sec, 3115 secs
lola: STP completed || 18 tries, 17902851 fired transitions, 3120 secs || 40944190 markings, 68911666 edges, 13004 markings/sec, 3120 secs
lola: STP completed || 18 tries, 17932089 fired transitions, 3125 secs || 41007882 markings, 69014467 edges, 12738 markings/sec, 3125 secs
lola: STP completed || 18 tries, 17961106 fired transitions, 3130 secs || 41072905 markings, 69121438 edges, 13005 markings/sec, 3130 secs
lola: STP completed || 18 tries, 17989937 fired transitions, 3135 secs || 41136453 markings, 69221838 edges, 12710 markings/sec, 3135 secs
lola: STP completed || 19 tries, 18016758 fired transitions, 3140 secs || 41196834 markings, 69319566 edges, 12076 markings/sec, 3140 secs
lola: STP completed || 19 tries, 18046205 fired transitions, 3145 secs || 41262522 markings, 69427602 edges, 13138 markings/sec, 3145 secs
lola: STP completed || 19 tries, 18075285 fired transitions, 3150 secs || 41326400 markings, 69529446 edges, 12776 markings/sec, 3150 secs
lola: STP completed || 19 tries, 18103918 fired transitions, 3155 secs || 41390162 markings, 69634464 edges, 12752 markings/sec, 3155 secs
lola: STP completed || 19 tries, 18132966 fired transitions, 3160 secs || 41456818 markings, 69743357 edges, 13331 markings/sec, 3160 secs
lola: STP completed || 19 tries, 18161727 fired transitions, 3165 secs || 41522326 markings, 69850079 edges, 13102 markings/sec, 3165 secs
lola: STP completed || 19 tries, 18190376 fired transitions, 3170 secs || 41585334 markings, 69949069 edges, 12602 markings/sec, 3170 secs
lola: STP completed || 19 tries, 18218266 fired transitions, 3175 secs || 41651279 markings, 70057541 edges, 13189 markings/sec, 3175 secs
lola: STP completed || 19 tries, 18246653 fired transitions, 3180 secs || 41712278 markings, 70155881 edges, 12200 markings/sec, 3180 secs
lola: STP completed || 19 tries, 18275116 fired transitions, 3185 secs || 41773705 markings, 70255160 edges, 12285 markings/sec, 3185 secs
lola: STP completed || 19 tries, 18302781 fired transitions, 3190 secs || 41838330 markings, 70358955 edges, 12925 markings/sec, 3190 secs
lola: STP completed || 19 tries, 18332081 fired transitions, 3195 secs || 41902475 markings, 70461743 edges, 12829 markings/sec, 3195 secs
lola: STP completed || 19 tries, 18361150 fired transitions, 3200 secs || 41968366 markings, 70574070 edges, 13178 markings/sec, 3200 secs
lola: STP completed || 19 tries, 18389850 fired transitions, 3205 secs || 42033540 markings, 70680409 edges, 13035 markings/sec, 3205 secs
lola: STP completed || 19 tries, 18418678 fired transitions, 3210 secs || 42097300 markings, 70782360 edges, 12752 markings/sec, 3210 secs
lola: STP completed || 19 tries, 18447163 fired transitions, 3215 secs || 42162243 markings, 70888295 edges, 12989 markings/sec, 3215 secs
lola: STP completed || 19 tries, 18475642 fired transitions, 3220 secs || 42225126 markings, 70991230 edges, 12577 markings/sec, 3220 secs
lola: STP completed || 19 tries, 18504094 fired transitions, 3225 secs || 42288081 markings, 71094257 edges, 12591 markings/sec, 3225 secs
lola: STP completed || 19 tries, 18531822 fired transitions, 3230 secs || 42352615 markings, 71199045 edges, 12907 markings/sec, 3230 secs
lola: STP completed || 19 tries, 18560353 fired transitions, 3235 secs || 42410768 markings, 71292914 edges, 11631 markings/sec, 3235 secs
lola: STP completed || 19 tries, 18589482 fired transitions, 3240 secs || 42476135 markings, 71400578 edges, 13073 markings/sec, 3240 secs
lola: STP completed || 19 tries, 18617887 fired transitions, 3245 secs || 42539106 markings, 71502787 edges, 12594 markings/sec, 3245 secs
lola: STP completed || 19 tries, 18646527 fired transitions, 3250 secs || 42604055 markings, 71608980 edges, 12990 markings/sec, 3250 secs
lola: STP completed || 19 tries, 18675546 fired transitions, 3255 secs || 42669768 markings, 71716513 edges, 13143 markings/sec, 3255 secs
lola: STP completed || 19 tries, 18704107 fired transitions, 3260 secs || 42734612 markings, 71823710 edges, 12969 markings/sec, 3260 secs
lola: STP completed || 19 tries, 18732801 fired transitions, 3265 secs || 42794827 markings, 71921585 edges, 12043 markings/sec, 3265 secs
lola: STP completed || 19 tries, 18761929 fired transitions, 3270 secs || 42856841 markings, 72024817 edges, 12403 markings/sec, 3270 secs
lola: STP completed || 19 tries, 18791916 fired transitions, 3275 secs || 42922367 markings, 72131900 edges, 13105 markings/sec, 3275 secs
lola: STP completed || 19 tries, 18821424 fired transitions, 3280 secs || 42985471 markings, 72234445 edges, 12621 markings/sec, 3280 secs
lola: STP completed || 19 tries, 18850077 fired transitions, 3285 secs || 43049283 markings, 72337870 edges, 12762 markings/sec, 3285 secs
lola: STP completed || 19 tries, 18879229 fired transitions, 3290 secs || 43113654 markings, 72444593 edges, 12874 markings/sec, 3290 secs
lola: STP completed || 19 tries, 18908294 fired transitions, 3295 secs || 43177567 markings, 72550225 edges, 12783 markings/sec, 3295 secs
lola: STP completed || 19 tries, 18938066 fired transitions, 3300 secs || 43242564 markings, 72658063 edges, 12999 markings/sec, 3300 secs
lola: STP completed || 19 tries, 18967070 fired transitions, 3305 secs || 43306268 markings, 72764916 edges, 12741 markings/sec, 3305 secs
lola: STP completed || 19 tries, 18995685 fired transitions, 3310 secs || 43362233 markings, 72860152 edges, 11193 markings/sec, 3310 secs
lola: STP completed || 20 tries, 19024156 fired transitions, 3315 secs || 43427606 markings, 72969977 edges, 13075 markings/sec, 3315 secs
lola: STP completed || 20 tries, 19052945 fired transitions, 3320 secs || 43492724 markings, 73077878 edges, 13024 markings/sec, 3320 secs
lola: STP completed || 20 tries, 19082743 fired transitions, 3325 secs || 43547766 markings, 73172623 edges, 11008 markings/sec, 3325 secs
lola: STP completed || 20 tries, 19111600 fired transitions, 3330 secs || 43611860 markings, 73277074 edges, 12819 markings/sec, 3330 secs
lola: STP completed || 20 tries, 19139787 fired transitions, 3335 secs || 43676599 markings, 73384600 edges, 12948 markings/sec, 3335 secs
lola: STP completed || 20 tries, 19168368 fired transitions, 3340 secs || 43742610 markings, 73493943 edges, 13202 markings/sec, 3340 secs
lola: STP completed || 20 tries, 19196526 fired transitions, 3345 secs || 43808105 markings, 73603626 edges, 13099 markings/sec, 3345 secs
lola: STP completed || 20 tries, 19225170 fired transitions, 3350 secs || 43872700 markings, 73711113 edges, 12919 markings/sec, 3350 secs
lola: STP completed || 20 tries, 19253694 fired transitions, 3355 secs || 43936193 markings, 73814564 edges, 12699 markings/sec, 3355 secs
lola: STP completed || 20 tries, 19282734 fired transitions, 3360 secs || 44000875 markings, 73920124 edges, 12936 markings/sec, 3360 secs
lola: STP completed || 20 tries, 19311416 fired transitions, 3365 secs || 44064867 markings, 74025017 edges, 12798 markings/sec, 3365 secs
lola: STP completed || 20 tries, 19336849 fired transitions, 3370 secs || 44125429 markings, 74126469 edges, 12112 markings/sec, 3370 secs
lola: STP completed || 20 tries, 19362816 fired transitions, 3375 secs || 44183348 markings, 74222576 edges, 11584 markings/sec, 3375 secs
lola: STP completed || 20 tries, 19391230 fired transitions, 3380 secs || 44247897 markings, 74329591 edges, 12910 markings/sec, 3380 secs
lola: STP completed || 20 tries, 19420358 fired transitions, 3385 secs || 44313498 markings, 74438337 edges, 13120 markings/sec, 3385 secs
lola: STP completed || 20 tries, 19449135 fired transitions, 3390 secs || 44377276 markings, 74540880 edges, 12756 markings/sec, 3390 secs
lola: STP completed || 20 tries, 19477319 fired transitions, 3395 secs || 44441447 markings, 74638924 edges, 12834 markings/sec, 3395 secs
lola: STP completed || 20 tries, 19506663 fired transitions, 3400 secs || 44507276 markings, 74742871 edges, 13166 markings/sec, 3400 secs
lola: STP completed || 20 tries, 19535375 fired transitions, 3405 secs || 44571857 markings, 74844742 edges, 12916 markings/sec, 3405 secs
lola: STP completed || 20 tries, 19563246 fired transitions, 3410 secs || 44637226 markings, 74947671 edges, 13074 markings/sec, 3410 secs
lola: STP completed || 20 tries, 19592441 fired transitions, 3415 secs || 44701225 markings, 75047780 edges, 12800 markings/sec, 3415 secs
lola: STP completed || 20 tries, 19621492 fired transitions, 3420 secs || 44766191 markings, 75149993 edges, 12993 markings/sec, 3420 secs
lola: STP completed || 20 tries, 19649739 fired transitions, 3425 secs || 44830341 markings, 75251804 edges, 12830 markings/sec, 3425 secs
lola: STP completed || 20 tries, 19678868 fired transitions, 3430 secs || 44895196 markings, 75355197 edges, 12971 markings/sec, 3430 secs
lola: STP completed || 20 tries, 19706551 fired transitions, 3435 secs || 44953617 markings, 75449553 edges, 11684 markings/sec, 3435 secs
lola: STP completed || 20 tries, 19734548 fired transitions, 3440 secs || 45016355 markings, 75549423 edges, 12548 markings/sec, 3440 secs
lola: STP completed || 20 tries, 19763321 fired transitions, 3445 secs || 45081845 markings, 75654923 edges, 13098 markings/sec, 3445 secs
lola: STP completed || 20 tries, 19791521 fired transitions, 3450 secs || 45141942 markings, 75752816 edges, 12019 markings/sec, 3450 secs
lola: STP completed || 20 tries, 19821023 fired transitions, 3455 secs || 45200304 markings, 75846765 edges, 11672 markings/sec, 3455 secs
lola: STP completed || 20 tries, 19849573 fired transitions, 3460 secs || 45265173 markings, 75950353 edges, 12974 markings/sec, 3460 secs
lola: STP completed || 20 tries, 19878759 fired transitions, 3465 secs || 45329905 markings, 76053974 edges, 12946 markings/sec, 3465 secs
lola: STP completed || 20 tries, 19907396 fired transitions, 3470 secs || 45385146 markings, 76142854 edges, 11048 markings/sec, 3470 secs
lola: STP completed || 20 tries, 19936303 fired transitions, 3475 secs || 45450057 markings, 76246863 edges, 12982 markings/sec, 3475 secs
lola: STP completed || 20 tries, 19965568 fired transitions, 3480 secs || 45515464 markings, 76351292 edges, 13081 markings/sec, 3480 secs
lola: STP completed || 20 tries, 19993854 fired transitions, 3485 secs || 45580364 markings, 76454179 edges, 12980 markings/sec, 3485 secs
lola: STP completed || 21 tries, 20022661 fired transitions, 3490 secs || 45644609 markings, 76554766 edges, 12849 markings/sec, 3490 secs
lola: STP completed || 21 tries, 20051419 fired transitions, 3495 secs || 45710163 markings, 76660491 edges, 13111 markings/sec, 3495 secs
lola: STP completed || 21 tries, 20079681 fired transitions, 3500 secs || 45775133 markings, 76765019 edges, 12994 markings/sec, 3500 secs
lola: STP completed || 21 tries, 20108340 fired transitions, 3505 secs || 45840368 markings, 76868406 edges, 13047 markings/sec, 3505 secs
lola: STP completed || 21 tries, 20137469 fired transitions, 3510 secs || 45905444 markings, 76971140 edges, 13015 markings/sec, 3510 secs
lola: STP completed || 21 tries, 20166014 fired transitions, 3515 secs || 45971093 markings, 77077602 edges, 13130 markings/sec, 3515 secs
lola: STP completed || 21 tries, 20195142 fired transitions, 3520 secs || 46034857 markings, 77176862 edges, 12753 markings/sec, 3520 secs
lola: STP completed || 21 tries, 20224218 fired transitions, 3525 secs || 46099126 markings, 77277741 edges, 12854 markings/sec, 3525 secs
lola: STP completed || 21 tries, 20252176 fired transitions, 3530 secs || 46162909 markings, 77377690 edges, 12757 markings/sec, 3530 secs
lola: STP completed || 21 tries, 20281692 fired transitions, 3535 secs || 46227023 markings, 77481270 edges, 12823 markings/sec, 3535 secs
lola: STP completed || 21 tries, 20309612 fired transitions, 3540 secs || 46292093 markings, 77586233 edges, 13014 markings/sec, 3540 secs
lola: STP completed || 21 tries, 20338280 fired transitions, 3545 secs || 46355517 markings, 77688098 edges, 12685 markings/sec, 3545 secs
lola: STP completed || 21 tries, 20366873 fired transitions, 3550 secs || 46411407 markings, 77777646 edges, 11178 markings/sec, 3550 secs
lola: STP completed || 21 tries, 20395189 fired transitions, 3555 secs || 46476045 markings, 77882983 edges, 12928 markings/sec, 3555 secs
lola: STP completed || 21 tries, 20424032 fired transitions, 3560 secs || 46541533 markings, 77987575 edges, 13098 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 5439708 KB
lola: time consumption: 3571 seconds

BK_STOP 1526701702271

--------------------
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="FlexibleBarrier-PT-22a"
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/FlexibleBarrier-PT-22a.tgz
mv FlexibleBarrier-PT-22a 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 FlexibleBarrier-PT-22a, 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 r088-blw7-152649998200230"
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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;