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 500K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.0K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 325K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-06a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735100048
=====================================================================

--------------------
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 DLCround-PT-06a-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1526605048253

info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-06a 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 DLCround-PT-06a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DLCround-PT-06a @ 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: 1510/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 197
lola: finding significant places
lola: 197 places, 1313 transitions, 88 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1136 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-06a-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 19238 variables and 81288 clauses shipped to Minisat
lola: computed 36 generators (14 in search tree, 22 by composition)
lola: representing 1.93536E+06 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 27767 fired transitions, 0 secs || 18547 markings, 854116 edges, 3709 markings/sec, 0 secs
lola: STP completed || 1 tries, 55260 fired transitions, 5 secs || 42972 markings, 1904871 edges, 4885 markings/sec, 5 secs
lola: STP completed || 1 tries, 82964 fired transitions, 10 secs || 69515 markings, 2975476 edges, 5309 markings/sec, 10 secs
lola: STP completed || 1 tries, 111425 fired transitions, 15 secs || 94582 markings, 4034537 edges, 5013 markings/sec, 15 secs
lola: STP completed || 1 tries, 139850 fired transitions, 20 secs || 120945 markings, 5114127 edges, 5273 markings/sec, 20 secs
lola: STP completed || 1 tries, 166964 fired transitions, 25 secs || 148174 markings, 6190806 edges, 5446 markings/sec, 25 secs
lola: STP completed || 1 tries, 193088 fired transitions, 30 secs || 176778 markings, 7277924 edges, 5721 markings/sec, 30 secs
lola: STP completed || 1 tries, 220703 fired transitions, 35 secs || 199969 markings, 8319392 edges, 4638 markings/sec, 35 secs
lola: STP completed || 1 tries, 248847 fired transitions, 40 secs || 224540 markings, 9363874 edges, 4914 markings/sec, 40 secs
lola: STP completed || 1 tries, 276852 fired transitions, 45 secs || 248606 markings, 10386352 edges, 4813 markings/sec, 45 secs
lola: STP completed || 1 tries, 304918 fired transitions, 50 secs || 273283 markings, 11429875 edges, 4935 markings/sec, 50 secs
lola: STP completed || 1 tries, 332990 fired transitions, 55 secs || 299214 markings, 12498874 edges, 5186 markings/sec, 55 secs
lola: STP completed || 1 tries, 361238 fired transitions, 60 secs || 321238 markings, 13532340 edges, 4405 markings/sec, 60 secs
lola: STP completed || 1 tries, 389127 fired transitions, 65 secs || 346025 markings, 14578670 edges, 4957 markings/sec, 65 secs
lola: STP completed || 1 tries, 417135 fired transitions, 70 secs || 372274 markings, 15656972 edges, 5250 markings/sec, 70 secs
lola: STP completed || 1 tries, 445619 fired transitions, 75 secs || 395937 markings, 16695397 edges, 4733 markings/sec, 75 secs
lola: STP completed || 1 tries, 474070 fired transitions, 80 secs || 423989 markings, 17783304 edges, 5610 markings/sec, 80 secs
lola: STP completed || 1 tries, 502469 fired transitions, 85 secs || 450015 markings, 18840395 edges, 5205 markings/sec, 85 secs
lola: STP completed || 1 tries, 530905 fired transitions, 90 secs || 479091 markings, 19925246 edges, 5815 markings/sec, 90 secs
lola: STP completed || 1 tries, 559355 fired transitions, 95 secs || 507465 markings, 21015535 edges, 5675 markings/sec, 95 secs
lola: STP completed || 1 tries, 587459 fired transitions, 100 secs || 537968 markings, 22117046 edges, 6101 markings/sec, 100 secs
lola: STP completed || 1 tries, 615886 fired transitions, 105 secs || 568432 markings, 23217832 edges, 6093 markings/sec, 105 secs
lola: STP completed || 1 tries, 644191 fired transitions, 110 secs || 597971 markings, 24306099 edges, 5908 markings/sec, 110 secs
lola: STP completed || 1 tries, 672551 fired transitions, 115 secs || 628676 markings, 25407154 edges, 6141 markings/sec, 115 secs
lola: STP completed || 1 tries, 701076 fired transitions, 120 secs || 661199 markings, 26520312 edges, 6505 markings/sec, 120 secs
lola: STP completed || 1 tries, 729520 fired transitions, 125 secs || 693167 markings, 27629714 edges, 6394 markings/sec, 125 secs
lola: STP completed || 1 tries, 757793 fired transitions, 130 secs || 719673 markings, 28683081 edges, 5301 markings/sec, 130 secs
lola: STP completed || 1 tries, 785971 fired transitions, 135 secs || 749888 markings, 29773902 edges, 6043 markings/sec, 135 secs
lola: STP completed || 1 tries, 814298 fired transitions, 140 secs || 781153 markings, 30875864 edges, 6253 markings/sec, 140 secs
lola: STP completed || 1 tries, 842763 fired transitions, 145 secs || 813124 markings, 31988877 edges, 6394 markings/sec, 145 secs
lola: STP completed || 1 tries, 871122 fired transitions, 150 secs || 847251 markings, 33111658 edges, 6825 markings/sec, 150 secs
lola: STP completed || 1 tries, 899475 fired transitions, 155 secs || 880353 markings, 34230043 edges, 6620 markings/sec, 155 secs
lola: STP completed || 1 tries, 927977 fired transitions, 160 secs || 916180 markings, 35364430 edges, 7165 markings/sec, 160 secs
lola: STP completed || 1 tries, 956430 fired transitions, 165 secs || 949786 markings, 36487367 edges, 6721 markings/sec, 165 secs
lola: STP completed || 1 tries, 984960 fired transitions, 170 secs || 985179 markings, 37620869 edges, 7079 markings/sec, 170 secs
lola: STP completed || 2 tries, 1013400 fired transitions, 175 secs || 1019333 markings, 38747262 edges, 6831 markings/sec, 175 secs
lola: STP completed || 2 tries, 1041900 fired transitions, 180 secs || 1058789 markings, 39911035 edges, 7891 markings/sec, 180 secs
lola: STP completed || 2 tries, 1070365 fired transitions, 185 secs || 1094910 markings, 41047746 edges, 7224 markings/sec, 185 secs
lola: STP completed || 2 tries, 1098736 fired transitions, 190 secs || 1130244 markings, 42177350 edges, 7067 markings/sec, 190 secs
lola: STP completed || 2 tries, 1127183 fired transitions, 195 secs || 1165153 markings, 43298158 edges, 6982 markings/sec, 195 secs
lola: STP completed || 2 tries, 1155646 fired transitions, 200 secs || 1200216 markings, 44424448 edges, 7013 markings/sec, 200 secs
lola: STP completed || 2 tries, 1184196 fired transitions, 205 secs || 1237944 markings, 45577118 edges, 7546 markings/sec, 205 secs
lola: STP completed || 2 tries, 1212715 fired transitions, 210 secs || 1276745 markings, 46735584 edges, 7760 markings/sec, 210 secs
lola: STP completed || 2 tries, 1241137 fired transitions, 215 secs || 1314022 markings, 47875518 edges, 7455 markings/sec, 215 secs
lola: STP completed || 2 tries, 1269593 fired transitions, 220 secs || 1338561 markings, 48932618 edges, 4908 markings/sec, 220 secs
lola: STP completed || 2 tries, 1298013 fired transitions, 225 secs || 1363185 markings, 49990939 edges, 4925 markings/sec, 225 secs
lola: STP completed || 2 tries, 1326360 fired transitions, 230 secs || 1390037 markings, 51077350 edges, 5370 markings/sec, 230 secs
lola: STP completed || 2 tries, 1354946 fired transitions, 235 secs || 1414272 markings, 52126793 edges, 4847 markings/sec, 235 secs
lola: STP completed || 2 tries, 1383354 fired transitions, 240 secs || 1440702 markings, 53198926 edges, 5286 markings/sec, 240 secs
lola: STP completed || 2 tries, 1411508 fired transitions, 245 secs || 1467649 markings, 54279369 edges, 5389 markings/sec, 245 secs
lola: STP completed || 2 tries, 1439078 fired transitions, 250 secs || 1496810 markings, 55353486 edges, 5832 markings/sec, 250 secs
lola: STP completed || 2 tries, 1466632 fired transitions, 255 secs || 1526209 markings, 56434167 edges, 5880 markings/sec, 255 secs
lola: STP completed || 2 tries, 1494453 fired transitions, 260 secs || 1554620 markings, 57465437 edges, 5682 markings/sec, 260 secs
lola: STP completed || 2 tries, 1522804 fired transitions, 265 secs || 1585921 markings, 58581455 edges, 6260 markings/sec, 265 secs
lola: STP completed || 2 tries, 1551413 fired transitions, 270 secs || 1616092 markings, 59682604 edges, 6034 markings/sec, 270 secs
lola: STP completed || 2 tries, 1580036 fired transitions, 275 secs || 1646715 markings, 60793816 edges, 6125 markings/sec, 275 secs
lola: STP completed || 2 tries, 1608435 fired transitions, 280 secs || 1678143 markings, 61910467 edges, 6286 markings/sec, 280 secs
lola: STP completed || 2 tries, 1636949 fired transitions, 285 secs || 1708947 markings, 63015887 edges, 6161 markings/sec, 285 secs
lola: STP completed || 2 tries, 1665543 fired transitions, 290 secs || 1739546 markings, 64122882 edges, 6120 markings/sec, 290 secs
lola: STP completed || 2 tries, 1694077 fired transitions, 295 secs || 1767473 markings, 65198480 edges, 5585 markings/sec, 295 secs
lola: STP completed || 2 tries, 1722574 fired transitions, 300 secs || 1801516 markings, 66336155 edges, 6809 markings/sec, 300 secs
lola: STP completed || 2 tries, 1751054 fired transitions, 305 secs || 1831914 markings, 67452045 edges, 6080 markings/sec, 305 secs
lola: STP completed || 2 tries, 1779412 fired transitions, 310 secs || 1857024 markings, 68528368 edges, 5022 markings/sec, 310 secs
lola: STP completed || 2 tries, 1807790 fired transitions, 315 secs || 1881220 markings, 69581223 edges, 4839 markings/sec, 315 secs
lola: STP completed || 2 tries, 1836381 fired transitions, 320 secs || 1904819 markings, 70624129 edges, 4720 markings/sec, 320 secs
lola: STP completed || 2 tries, 1864918 fired transitions, 325 secs || 1929452 markings, 71687117 edges, 4927 markings/sec, 325 secs
lola: STP completed || 2 tries, 1893299 fired transitions, 330 secs || 1958626 markings, 72788693 edges, 5835 markings/sec, 330 secs
lola: STP completed || 2 tries, 1921817 fired transitions, 335 secs || 1987498 markings, 73885970 edges, 5774 markings/sec, 335 secs
lola: STP completed || 2 tries, 1950390 fired transitions, 340 secs || 2017595 markings, 74994219 edges, 6019 markings/sec, 340 secs
lola: STP completed || 2 tries, 1978999 fired transitions, 345 secs || 2049108 markings, 76108495 edges, 6303 markings/sec, 345 secs
lola: STP completed || 3 tries, 2007539 fired transitions, 350 secs || 2079837 markings, 77221962 edges, 6146 markings/sec, 350 secs
lola: STP completed || 3 tries, 2035976 fired transitions, 355 secs || 2110837 markings, 78337645 edges, 6200 markings/sec, 355 secs
lola: STP completed || 3 tries, 2064395 fired transitions, 360 secs || 2143194 markings, 79465121 edges, 6471 markings/sec, 360 secs
lola: STP completed || 3 tries, 2093108 fired transitions, 365 secs || 2173240 markings, 80569299 edges, 6009 markings/sec, 365 secs
lola: STP completed || 3 tries, 2121633 fired transitions, 370 secs || 2203994 markings, 81677981 edges, 6151 markings/sec, 370 secs
lola: STP completed || 3 tries, 2150180 fired transitions, 375 secs || 2235827 markings, 82788803 edges, 6367 markings/sec, 375 secs
lola: STP completed || 3 tries, 2178816 fired transitions, 380 secs || 2262458 markings, 83860111 edges, 5326 markings/sec, 380 secs
lola: STP completed || 3 tries, 2207389 fired transitions, 385 secs || 2292007 markings, 84956510 edges, 5910 markings/sec, 385 secs
lola: STP completed || 3 tries, 2235829 fired transitions, 390 secs || 2328051 markings, 86109136 edges, 7209 markings/sec, 390 secs
lola: STP completed || 3 tries, 2264367 fired transitions, 395 secs || 2359304 markings, 87216222 edges, 6251 markings/sec, 395 secs
lola: STP completed || 3 tries, 2292996 fired transitions, 400 secs || 2393569 markings, 88349295 edges, 6853 markings/sec, 400 secs
lola: STP completed || 3 tries, 2321537 fired transitions, 405 secs || 2426041 markings, 89467482 edges, 6494 markings/sec, 405 secs
lola: STP completed || 3 tries, 2349928 fired transitions, 410 secs || 2460832 markings, 90605948 edges, 6958 markings/sec, 410 secs
lola: STP completed || 3 tries, 2378522 fired transitions, 415 secs || 2495792 markings, 91745848 edges, 6992 markings/sec, 415 secs
lola: STP completed || 3 tries, 2407183 fired transitions, 420 secs || 2528796 markings, 92869103 edges, 6601 markings/sec, 420 secs
lola: STP completed || 3 tries, 2435804 fired transitions, 425 secs || 2562279 markings, 93992622 edges, 6697 markings/sec, 425 secs
lola: STP completed || 3 tries, 2464401 fired transitions, 430 secs || 2597158 markings, 95129767 edges, 6976 markings/sec, 430 secs
lola: STP completed || 3 tries, 2492864 fired transitions, 435 secs || 2630898 markings, 96251892 edges, 6748 markings/sec, 435 secs
lola: STP completed || 3 tries, 2521330 fired transitions, 440 secs || 2665459 markings, 97383668 edges, 6912 markings/sec, 440 secs
lola: STP completed || 3 tries, 2549848 fired transitions, 445 secs || 2700315 markings, 98518164 edges, 6971 markings/sec, 445 secs
lola: STP completed || 3 tries, 2578350 fired transitions, 450 secs || 2735146 markings, 99650409 edges, 6966 markings/sec, 450 secs
lola: STP completed || 3 tries, 2606778 fired transitions, 455 secs || 2769104 markings, 100768042 edges, 6792 markings/sec, 455 secs
lola: STP completed || 3 tries, 2635398 fired transitions, 460 secs || 2801882 markings, 101886202 edges, 6556 markings/sec, 460 secs
lola: STP completed || 3 tries, 2664008 fired transitions, 465 secs || 2837262 markings, 103025172 edges, 7076 markings/sec, 465 secs
lola: STP completed || 3 tries, 2692544 fired transitions, 470 secs || 2872035 markings, 104155497 edges, 6955 markings/sec, 470 secs
lola: STP completed || 3 tries, 2721094 fired transitions, 475 secs || 2910372 markings, 105311555 edges, 7667 markings/sec, 475 secs
lola: STP completed || 3 tries, 2749566 fired transitions, 480 secs || 2947028 markings, 106464112 edges, 7331 markings/sec, 480 secs
lola: STP completed || 3 tries, 2778089 fired transitions, 485 secs || 2981612 markings, 107600473 edges, 6917 markings/sec, 485 secs
lola: STP completed || 3 tries, 2806561 fired transitions, 490 secs || 3017386 markings, 108739342 edges, 7155 markings/sec, 490 secs
lola: STP completed || 3 tries, 2835109 fired transitions, 495 secs || 3052141 markings, 109865401 edges, 6951 markings/sec, 495 secs
lola: STP completed || 3 tries, 2863491 fired transitions, 500 secs || 3088838 markings, 111013671 edges, 7339 markings/sec, 500 secs
lola: STP completed || 3 tries, 2891954 fired transitions, 505 secs || 3125066 markings, 112153255 edges, 7246 markings/sec, 505 secs
lola: STP completed || 3 tries, 2920324 fired transitions, 510 secs || 3164821 markings, 113326056 edges, 7951 markings/sec, 510 secs
lola: STP completed || 3 tries, 2948780 fired transitions, 515 secs || 3203261 markings, 114487736 edges, 7688 markings/sec, 515 secs
lola: STP completed || 3 tries, 2977291 fired transitions, 520 secs || 3241592 markings, 115648829 edges, 7666 markings/sec, 520 secs
lola: STP completed || 4 tries, 3005884 fired transitions, 525 secs || 3280142 markings, 116807228 edges, 7710 markings/sec, 525 secs
lola: STP completed || 4 tries, 3034326 fired transitions, 530 secs || 3317690 markings, 117957334 edges, 7510 markings/sec, 530 secs
lola: STP completed || 4 tries, 3062902 fired transitions, 535 secs || 3353958 markings, 119096708 edges, 7254 markings/sec, 535 secs
lola: STP completed || 4 tries, 3091508 fired transitions, 540 secs || 3376054 markings, 120124164 edges, 4419 markings/sec, 540 secs
lola: STP completed || 4 tries, 3120043 fired transitions, 545 secs || 3401443 markings, 121194005 edges, 5078 markings/sec, 545 secs
lola: STP completed || 4 tries, 3148567 fired transitions, 550 secs || 3424687 markings, 122228519 edges, 4649 markings/sec, 550 secs
lola: STP completed || 4 tries, 3177086 fired transitions, 555 secs || 3449299 markings, 123266994 edges, 4922 markings/sec, 555 secs
lola: STP completed || 4 tries, 3205668 fired transitions, 560 secs || 3473467 markings, 124313641 edges, 4834 markings/sec, 560 secs
lola: STP completed || 4 tries, 3234214 fired transitions, 565 secs || 3498069 markings, 125377638 edges, 4920 markings/sec, 565 secs
lola: STP completed || 4 tries, 3262805 fired transitions, 570 secs || 3522871 markings, 126441022 edges, 4960 markings/sec, 570 secs
lola: STP completed || 4 tries, 3291358 fired transitions, 575 secs || 3547039 markings, 127478198 edges, 4834 markings/sec, 575 secs
lola: STP completed || 4 tries, 3319758 fired transitions, 580 secs || 3572778 markings, 128541080 edges, 5148 markings/sec, 580 secs
lola: STP completed || 4 tries, 3348310 fired transitions, 585 secs || 3601639 markings, 129632188 edges, 5772 markings/sec, 585 secs
lola: STP completed || 4 tries, 3376753 fired transitions, 590 secs || 3631542 markings, 130730127 edges, 5981 markings/sec, 590 secs
lola: STP completed || 4 tries, 3405125 fired transitions, 595 secs || 3665765 markings, 131859016 edges, 6845 markings/sec, 595 secs
lola: STP completed || 4 tries, 3433582 fired transitions, 600 secs || 3705106 markings, 133017600 edges, 7868 markings/sec, 600 secs
lola: STP completed || 4 tries, 3462146 fired transitions, 605 secs || 3742464 markings, 134155353 edges, 7472 markings/sec, 605 secs
lola: STP completed || 4 tries, 3490592 fired transitions, 610 secs || 3778878 markings, 135288280 edges, 7283 markings/sec, 610 secs
lola: STP completed || 4 tries, 3519214 fired transitions, 615 secs || 3817110 markings, 136435127 edges, 7646 markings/sec, 615 secs
lola: STP completed || 4 tries, 3547823 fired transitions, 620 secs || 3856359 markings, 137590240 edges, 7850 markings/sec, 620 secs
lola: STP completed || 4 tries, 3576209 fired transitions, 625 secs || 3895206 markings, 138743318 edges, 7769 markings/sec, 625 secs
lola: STP completed || 4 tries, 3604781 fired transitions, 630 secs || 3930881 markings, 139873422 edges, 7135 markings/sec, 630 secs
lola: STP completed || 4 tries, 3633215 fired transitions, 635 secs || 3968549 markings, 141023342 edges, 7534 markings/sec, 635 secs
lola: STP completed || 4 tries, 3661628 fired transitions, 640 secs || 4009153 markings, 142196621 edges, 8121 markings/sec, 640 secs
lola: STP completed || 4 tries, 3690236 fired transitions, 645 secs || 4048919 markings, 143359385 edges, 7953 markings/sec, 645 secs
lola: STP completed || 4 tries, 3718733 fired transitions, 650 secs || 4083438 markings, 144482361 edges, 6904 markings/sec, 650 secs
lola: STP completed || 4 tries, 3747366 fired transitions, 655 secs || 4117490 markings, 145598735 edges, 6810 markings/sec, 655 secs
lola: STP completed || 4 tries, 3775881 fired transitions, 660 secs || 4145468 markings, 146680723 edges, 5596 markings/sec, 660 secs
lola: STP completed || 4 tries, 3804551 fired transitions, 665 secs || 4174777 markings, 147769556 edges, 5862 markings/sec, 665 secs
lola: STP completed || 4 tries, 3833133 fired transitions, 670 secs || 4204634 markings, 148868044 edges, 5971 markings/sec, 670 secs
lola: STP completed || 4 tries, 3861658 fired transitions, 675 secs || 4239870 markings, 149995856 edges, 7047 markings/sec, 675 secs
lola: STP completed || 4 tries, 3890017 fired transitions, 680 secs || 4278452 markings, 151152798 edges, 7716 markings/sec, 680 secs
lola: STP completed || 4 tries, 3918576 fired transitions, 685 secs || 4311074 markings, 152268514 edges, 6524 markings/sec, 685 secs
lola: STP completed || 4 tries, 3947253 fired transitions, 690 secs || 4334488 markings, 153313237 edges, 4683 markings/sec, 690 secs
lola: STP completed || 4 tries, 3975754 fired transitions, 695 secs || 4359699 markings, 154375444 edges, 5042 markings/sec, 695 secs
lola: STP completed || 5 tries, 4004239 fired transitions, 700 secs || 4385672 markings, 155441293 edges, 5195 markings/sec, 700 secs
lola: STP completed || 5 tries, 4032730 fired transitions, 705 secs || 4408252 markings, 156469128 edges, 4516 markings/sec, 705 secs
lola: STP completed || 5 tries, 4061282 fired transitions, 710 secs || 4436070 markings, 157554165 edges, 5564 markings/sec, 710 secs
lola: STP completed || 5 tries, 4089800 fired transitions, 715 secs || 4460974 markings, 158601859 edges, 4981 markings/sec, 715 secs
lola: STP completed || 5 tries, 4118279 fired transitions, 720 secs || 4485557 markings, 159649906 edges, 4917 markings/sec, 720 secs
lola: STP completed || 5 tries, 4146830 fired transitions, 725 secs || 4510704 markings, 160702650 edges, 5029 markings/sec, 725 secs
lola: STP completed || 5 tries, 4175312 fired transitions, 730 secs || 4533463 markings, 161733089 edges, 4552 markings/sec, 730 secs
lola: STP completed || 5 tries, 4203933 fired transitions, 735 secs || 4560723 markings, 162803445 edges, 5452 markings/sec, 735 secs
lola: STP completed || 5 tries, 4232699 fired transitions, 740 secs || 4588330 markings, 163886076 edges, 5521 markings/sec, 740 secs
lola: STP completed || 5 tries, 4261281 fired transitions, 745 secs || 4617605 markings, 164974836 edges, 5855 markings/sec, 745 secs
lola: STP completed || 5 tries, 4289780 fired transitions, 750 secs || 4649369 markings, 166084260 edges, 6353 markings/sec, 750 secs
lola: STP completed || 5 tries, 4318248 fired transitions, 755 secs || 4682390 markings, 167196408 edges, 6604 markings/sec, 755 secs
lola: STP completed || 5 tries, 4346738 fired transitions, 760 secs || 4713169 markings, 168302947 edges, 6156 markings/sec, 760 secs
lola: STP completed || 5 tries, 4375233 fired transitions, 765 secs || 4748456 markings, 169432011 edges, 7057 markings/sec, 765 secs
lola: STP completed || 5 tries, 4403709 fired transitions, 770 secs || 4787960 markings, 170588872 edges, 7901 markings/sec, 770 secs
lola: STP completed || 5 tries, 4432078 fired transitions, 775 secs || 4829103 markings, 171754773 edges, 8229 markings/sec, 775 secs
lola: STP completed || 5 tries, 4460527 fired transitions, 780 secs || 4864864 markings, 172885754 edges, 7152 markings/sec, 780 secs
lola: STP completed || 5 tries, 4489002 fired transitions, 785 secs || 4903727 markings, 174041262 edges, 7773 markings/sec, 785 secs
lola: STP completed || 5 tries, 4517554 fired transitions, 790 secs || 4938370 markings, 175164605 edges, 6929 markings/sec, 790 secs
lola: STP completed || 5 tries, 4546037 fired transitions, 795 secs || 4972838 markings, 176295336 edges, 6894 markings/sec, 795 secs
lola: STP completed || 5 tries, 4574539 fired transitions, 800 secs || 5014108 markings, 177470392 edges, 8254 markings/sec, 800 secs
lola: STP completed || 5 tries, 4602927 fired transitions, 805 secs || 5050389 markings, 178600912 edges, 7256 markings/sec, 805 secs
lola: STP completed || 5 tries, 4631383 fired transitions, 810 secs || 5079943 markings, 179700615 edges, 5911 markings/sec, 810 secs
lola: STP completed || 5 tries, 4659869 fired transitions, 815 secs || 5106957 markings, 180766908 edges, 5403 markings/sec, 815 secs
lola: STP completed || 5 tries, 4688476 fired transitions, 820 secs || 5147021 markings, 181930625 edges, 8013 markings/sec, 820 secs
lola: STP completed || 5 tries, 4716934 fired transitions, 825 secs || 5181997 markings, 183055830 edges, 6995 markings/sec, 825 secs
lola: STP completed || 5 tries, 4745544 fired transitions, 830 secs || 5215451 markings, 184177761 edges, 6691 markings/sec, 830 secs
lola: STP completed || 5 tries, 4773983 fired transitions, 835 secs || 5247475 markings, 185291896 edges, 6405 markings/sec, 835 secs
lola: STP completed || 5 tries, 4802439 fired transitions, 840 secs || 5284593 markings, 186430093 edges, 7424 markings/sec, 840 secs
lola: STP completed || 5 tries, 4830940 fired transitions, 845 secs || 5314096 markings, 187522905 edges, 5901 markings/sec, 845 secs
lola: STP completed || 5 tries, 4859408 fired transitions, 850 secs || 5348353 markings, 188651581 edges, 6851 markings/sec, 850 secs
lola: STP completed || 5 tries, 4888024 fired transitions, 855 secs || 5388798 markings, 189814398 edges, 8089 markings/sec, 855 secs
lola: STP completed || 5 tries, 4916552 fired transitions, 860 secs || 5422708 markings, 190935750 edges, 6782 markings/sec, 860 secs
lola: STP completed || 5 tries, 4945141 fired transitions, 865 secs || 5458650 markings, 192067416 edges, 7188 markings/sec, 865 secs
lola: STP completed || 5 tries, 4973693 fired transitions, 870 secs || 5494594 markings, 193206280 edges, 7189 markings/sec, 870 secs
lola: STP completed || 6 tries, 5002286 fired transitions, 875 secs || 5525451 markings, 194300525 edges, 6171 markings/sec, 875 secs
lola: STP completed || 6 tries, 5030872 fired transitions, 880 secs || 5563177 markings, 195446753 edges, 7545 markings/sec, 880 secs
lola: STP completed || 6 tries, 5059278 fired transitions, 885 secs || 5601688 markings, 196597462 edges, 7702 markings/sec, 885 secs
lola: STP completed || 6 tries, 5087886 fired transitions, 890 secs || 5635740 markings, 197718557 edges, 6810 markings/sec, 890 secs
lola: STP completed || 6 tries, 5116321 fired transitions, 895 secs || 5669995 markings, 198844837 edges, 6851 markings/sec, 895 secs
lola: STP completed || 6 tries, 5144882 fired transitions, 900 secs || 5708651 markings, 199987446 edges, 7731 markings/sec, 900 secs
lola: STP completed || 6 tries, 5173570 fired transitions, 905 secs || 5735658 markings, 201064892 edges, 5401 markings/sec, 905 secs
lola: STP completed || 6 tries, 5202114 fired transitions, 910 secs || 5760054 markings, 202119755 edges, 4879 markings/sec, 910 secs
lola: STP completed || 6 tries, 5230659 fired transitions, 915 secs || 5786854 markings, 203194704 edges, 5360 markings/sec, 915 secs
lola: STP completed || 6 tries, 5259111 fired transitions, 920 secs || 5811954 markings, 204254439 edges, 5020 markings/sec, 920 secs
lola: STP completed || 6 tries, 5287752 fired transitions, 925 secs || 5837184 markings, 205306942 edges, 5046 markings/sec, 925 secs
lola: STP completed || 6 tries, 5316253 fired transitions, 930 secs || 5863835 markings, 206384321 edges, 5330 markings/sec, 930 secs
lola: STP completed || 6 tries, 5344784 fired transitions, 935 secs || 5893108 markings, 207476933 edges, 5855 markings/sec, 935 secs
lola: STP completed || 6 tries, 5373364 fired transitions, 940 secs || 5924064 markings, 208585478 edges, 6191 markings/sec, 940 secs
lola: STP completed || 6 tries, 5401787 fired transitions, 945 secs || 5954619 markings, 209697404 edges, 6111 markings/sec, 945 secs
lola: STP completed || 6 tries, 5430277 fired transitions, 950 secs || 5976724 markings, 210732473 edges, 4421 markings/sec, 950 secs
lola: STP completed || 6 tries, 5458864 fired transitions, 955 secs || 6002329 markings, 211798271 edges, 5121 markings/sec, 955 secs
lola: STP completed || 6 tries, 5487343 fired transitions, 960 secs || 6027719 markings, 212854122 edges, 5078 markings/sec, 960 secs
lola: STP completed || 6 tries, 5515869 fired transitions, 965 secs || 6052177 markings, 213915258 edges, 4892 markings/sec, 965 secs
lola: STP completed || 6 tries, 5544444 fired transitions, 970 secs || 6079601 markings, 214991571 edges, 5485 markings/sec, 970 secs
lola: STP completed || 6 tries, 5573013 fired transitions, 975 secs || 6107534 markings, 216071348 edges, 5587 markings/sec, 975 secs
lola: STP completed || 6 tries, 5601597 fired transitions, 980 secs || 6137115 markings, 217167482 edges, 5916 markings/sec, 980 secs
lola: STP completed || 6 tries, 5630105 fired transitions, 985 secs || 6166364 markings, 218259846 edges, 5850 markings/sec, 985 secs
lola: STP completed || 6 tries, 5658669 fired transitions, 990 secs || 6196849 markings, 219365077 edges, 6097 markings/sec, 990 secs
lola: STP completed || 6 tries, 5687116 fired transitions, 995 secs || 6224893 markings, 220445390 edges, 5609 markings/sec, 995 secs
lola: STP completed || 6 tries, 5715552 fired transitions, 1000 secs || 6255588 markings, 221549540 edges, 6139 markings/sec, 1000 secs
lola: STP completed || 6 tries, 5744026 fired transitions, 1005 secs || 6286340 markings, 222656976 edges, 6150 markings/sec, 1005 secs
lola: STP completed || 6 tries, 5772540 fired transitions, 1010 secs || 6318256 markings, 223770341 edges, 6383 markings/sec, 1010 secs
lola: STP completed || 6 tries, 5801142 fired transitions, 1015 secs || 6348744 markings, 224868318 edges, 6098 markings/sec, 1015 secs
lola: STP completed || 6 tries, 5829688 fired transitions, 1020 secs || 6382196 markings, 225993370 edges, 6690 markings/sec, 1020 secs
lola: STP completed || 6 tries, 5858186 fired transitions, 1025 secs || 6407828 markings, 227041127 edges, 5126 markings/sec, 1025 secs
lola: STP completed || 6 tries, 5886740 fired transitions, 1030 secs || 6439194 markings, 228141836 edges, 6273 markings/sec, 1030 secs
lola: STP completed || 6 tries, 5915445 fired transitions, 1035 secs || 6474773 markings, 229289750 edges, 7116 markings/sec, 1035 secs
lola: STP completed || 6 tries, 5943928 fired transitions, 1040 secs || 6509721 markings, 230427472 edges, 6990 markings/sec, 1040 secs
lola: STP completed || 6 tries, 5972443 fired transitions, 1045 secs || 6544159 markings, 231555106 edges, 6888 markings/sec, 1045 secs
lola: STP completed || 7 tries, 6000929 fired transitions, 1050 secs || 6575419 markings, 232652924 edges, 6252 markings/sec, 1050 secs
lola: STP completed || 7 tries, 6029542 fired transitions, 1055 secs || 6609875 markings, 233774627 edges, 6891 markings/sec, 1055 secs
lola: STP completed || 7 tries, 6058038 fired transitions, 1060 secs || 6643704 markings, 234890877 edges, 6766 markings/sec, 1060 secs
lola: STP completed || 7 tries, 6086511 fired transitions, 1065 secs || 6674296 markings, 235985700 edges, 6118 markings/sec, 1065 secs
lola: STP completed || 7 tries, 6114649 fired transitions, 1070 secs || 6699071 markings, 237040790 edges, 4955 markings/sec, 1070 secs
lola: STP completed || 7 tries, 6143099 fired transitions, 1075 secs || 6723957 markings, 238106873 edges, 4977 markings/sec, 1075 secs
lola: STP completed || 7 tries, 6171617 fired transitions, 1080 secs || 6748206 markings, 239161949 edges, 4850 markings/sec, 1080 secs
lola: STP completed || 7 tries, 6200143 fired transitions, 1085 secs || 6774248 markings, 240221231 edges, 5208 markings/sec, 1085 secs
lola: STP completed || 7 tries, 6228371 fired transitions, 1090 secs || 6800647 markings, 241287518 edges, 5280 markings/sec, 1090 secs
lola: STP completed || 7 tries, 6257078 fired transitions, 1095 secs || 6828339 markings, 242304683 edges, 5538 markings/sec, 1095 secs
lola: STP completed || 7 tries, 6285537 fired transitions, 1100 secs || 6857548 markings, 243355723 edges, 5842 markings/sec, 1100 secs
lola: STP completed || 7 tries, 6314181 fired transitions, 1105 secs || 6888031 markings, 244461408 edges, 6097 markings/sec, 1105 secs
lola: STP completed || 7 tries, 6342792 fired transitions, 1110 secs || 6919871 markings, 245574847 edges, 6368 markings/sec, 1110 secs
lola: STP completed || 7 tries, 6371348 fired transitions, 1115 secs || 6949709 markings, 246674091 edges, 5968 markings/sec, 1115 secs
lola: STP completed || 7 tries, 6399801 fired transitions, 1120 secs || 6978589 markings, 247756627 edges, 5776 markings/sec, 1120 secs
lola: STP completed || 7 tries, 6428295 fired transitions, 1125 secs || 7007644 markings, 248840449 edges, 5811 markings/sec, 1125 secs
lola: STP completed || 7 tries, 6456741 fired transitions, 1130 secs || 7039601 markings, 249948205 edges, 6391 markings/sec, 1130 secs
lola: STP completed || 7 tries, 6485208 fired transitions, 1135 secs || 7071320 markings, 251057390 edges, 6344 markings/sec, 1135 secs
lola: STP completed || 7 tries, 6513759 fired transitions, 1140 secs || 7106540 markings, 252195232 edges, 7044 markings/sec, 1140 secs
lola: STP completed || 7 tries, 6542210 fired transitions, 1145 secs || 7137237 markings, 253290651 edges, 6139 markings/sec, 1145 secs
lola: STP completed || 7 tries, 6570774 fired transitions, 1150 secs || 7162533 markings, 254340491 edges, 5059 markings/sec, 1150 secs
lola: STP completed || 7 tries, 6599192 fired transitions, 1155 secs || 7197897 markings, 255481526 edges, 7073 markings/sec, 1155 secs
lola: STP completed || 7 tries, 6627664 fired transitions, 1160 secs || 7232646 markings, 256624009 edges, 6950 markings/sec, 1160 secs
lola: STP completed || 7 tries, 6656178 fired transitions, 1165 secs || 7265354 markings, 257741841 edges, 6542 markings/sec, 1165 secs
lola: STP completed || 7 tries, 6684958 fired transitions, 1170 secs || 7296444 markings, 258851703 edges, 6218 markings/sec, 1170 secs
lola: STP completed || 7 tries, 6713559 fired transitions, 1175 secs || 7327695 markings, 259958804 edges, 6250 markings/sec, 1175 secs
lola: STP completed || 7 tries, 6742046 fired transitions, 1180 secs || 7359405 markings, 261070948 edges, 6342 markings/sec, 1180 secs
lola: STP completed || 7 tries, 6770490 fired transitions, 1185 secs || 7390243 markings, 262167631 edges, 6168 markings/sec, 1185 secs
lola: STP completed || 7 tries, 6799017 fired transitions, 1190 secs || 7414871 markings, 263208980 edges, 4926 markings/sec, 1190 secs
lola: STP completed || 7 tries, 6827490 fired transitions, 1195 secs || 7446514 markings, 264326105 edges, 6329 markings/sec, 1195 secs
lola: STP completed || 7 tries, 6855889 fired transitions, 1200 secs || 7481587 markings, 265462974 edges, 7015 markings/sec, 1200 secs
lola: STP completed || 7 tries, 6884290 fired transitions, 1205 secs || 7511726 markings, 266557131 edges, 6028 markings/sec, 1205 secs
lola: STP completed || 7 tries, 6912790 fired transitions, 1210 secs || 7545371 markings, 267680885 edges, 6729 markings/sec, 1210 secs
lola: STP completed || 7 tries, 6941279 fired transitions, 1215 secs || 7578665 markings, 268801621 edges, 6659 markings/sec, 1215 secs
lola: STP completed || 7 tries, 6969751 fired transitions, 1220 secs || 7614300 markings, 269940190 edges, 7127 markings/sec, 1220 secs
lola: STP completed || 7 tries, 6998269 fired transitions, 1225 secs || 7645447 markings, 271043505 edges, 6229 markings/sec, 1225 secs
lola: STP completed || 8 tries, 7026788 fired transitions, 1230 secs || 7677540 markings, 272149910 edges, 6419 markings/sec, 1230 secs
lola: STP completed || 8 tries, 7055264 fired transitions, 1235 secs || 7711588 markings, 273272265 edges, 6810 markings/sec, 1235 secs
lola: STP completed || 8 tries, 7083921 fired transitions, 1240 secs || 7746553 markings, 274404750 edges, 6993 markings/sec, 1240 secs
lola: STP completed || 8 tries, 7112441 fired transitions, 1245 secs || 7781936 markings, 275532472 edges, 7077 markings/sec, 1245 secs
lola: STP completed || 8 tries, 7140939 fired transitions, 1250 secs || 7818456 markings, 276670036 edges, 7304 markings/sec, 1250 secs
lola: STP completed || 8 tries, 7169374 fired transitions, 1255 secs || 7853494 markings, 277797814 edges, 7008 markings/sec, 1255 secs
lola: STP completed || 8 tries, 7198087 fired transitions, 1260 secs || 7887719 markings, 278918299 edges, 6845 markings/sec, 1260 secs
lola: STP completed || 8 tries, 7226626 fired transitions, 1265 secs || 7921981 markings, 280034991 edges, 6852 markings/sec, 1265 secs
lola: STP completed || 8 tries, 7255141 fired transitions, 1270 secs || 7960287 markings, 281183488 edges, 7661 markings/sec, 1270 secs
lola: STP completed || 8 tries, 7283629 fired transitions, 1275 secs || 7995272 markings, 282314095 edges, 6997 markings/sec, 1275 secs
lola: STP completed || 8 tries, 7312259 fired transitions, 1280 secs || 8026592 markings, 283411757 edges, 6264 markings/sec, 1280 secs
lola: STP completed || 8 tries, 7340872 fired transitions, 1285 secs || 8065944 markings, 284581301 edges, 7870 markings/sec, 1285 secs
lola: STP completed || 8 tries, 7369522 fired transitions, 1290 secs || 8101304 markings, 285715640 edges, 7072 markings/sec, 1290 secs
lola: STP completed || 8 tries, 7398059 fired transitions, 1295 secs || 8137313 markings, 286861476 edges, 7202 markings/sec, 1295 secs
lola: STP completed || 8 tries, 7426612 fired transitions, 1300 secs || 8162403 markings, 287909583 edges, 5018 markings/sec, 1300 secs
lola: STP completed || 8 tries, 7455172 fired transitions, 1305 secs || 8187490 markings, 288963895 edges, 5017 markings/sec, 1305 secs
lola: STP completed || 8 tries, 7483694 fired transitions, 1310 secs || 8213346 markings, 290036148 edges, 5171 markings/sec, 1310 secs
lola: STP completed || 8 tries, 7512270 fired transitions, 1315 secs || 8236510 markings, 291066494 edges, 4633 markings/sec, 1315 secs
lola: STP completed || 8 tries, 7540817 fired transitions, 1320 secs || 8259552 markings, 292095609 edges, 4608 markings/sec, 1320 secs
lola: STP completed || 8 tries, 7569259 fired transitions, 1325 secs || 8283821 markings, 293139361 edges, 4854 markings/sec, 1325 secs
lola: STP completed || 8 tries, 7597880 fired transitions, 1330 secs || 8308981 markings, 294196400 edges, 5032 markings/sec, 1330 secs
lola: STP completed || 8 tries, 7626262 fired transitions, 1335 secs || 8332457 markings, 295234991 edges, 4695 markings/sec, 1335 secs
lola: STP completed || 8 tries, 7654697 fired transitions, 1340 secs || 8360933 markings, 296324053 edges, 5695 markings/sec, 1340 secs
lola: STP completed || 8 tries, 7683134 fired transitions, 1345 secs || 8388895 markings, 297400818 edges, 5592 markings/sec, 1345 secs
lola: STP completed || 8 tries, 7711598 fired transitions, 1350 secs || 8418492 markings, 298489246 edges, 5919 markings/sec, 1350 secs
lola: STP completed || 8 tries, 7739987 fired transitions, 1355 secs || 8450423 markings, 299586831 edges, 6386 markings/sec, 1355 secs
lola: STP completed || 8 tries, 7768400 fired transitions, 1360 secs || 8483954 markings, 300704793 edges, 6706 markings/sec, 1360 secs
lola: STP completed || 8 tries, 7796899 fired transitions, 1365 secs || 8520541 markings, 301847634 edges, 7317 markings/sec, 1365 secs
lola: STP completed || 8 tries, 7825348 fired transitions, 1370 secs || 8557869 markings, 302996021 edges, 7466 markings/sec, 1370 secs
lola: STP completed || 8 tries, 7853867 fired transitions, 1375 secs || 8583219 markings, 304056384 edges, 5070 markings/sec, 1375 secs
lola: STP completed || 8 tries, 7882479 fired transitions, 1380 secs || 8608167 markings, 305118776 edges, 4990 markings/sec, 1380 secs
lola: STP completed || 8 tries, 7910923 fired transitions, 1385 secs || 8632330 markings, 306153861 edges, 4833 markings/sec, 1385 secs
lola: STP completed || 8 tries, 7939383 fired transitions, 1390 secs || 8659250 markings, 307224420 edges, 5384 markings/sec, 1390 secs
lola: STP completed || 8 tries, 7967803 fired transitions, 1395 secs || 8683541 markings, 308257416 edges, 4858 markings/sec, 1395 secs
lola: STP completed || 8 tries, 7996312 fired transitions, 1400 secs || 8711603 markings, 309341179 edges, 5612 markings/sec, 1400 secs
lola: STP completed || 9 tries, 8024774 fired transitions, 1405 secs || 8734403 markings, 310366082 edges, 4560 markings/sec, 1405 secs
lola: STP completed || 9 tries, 8053299 fired transitions, 1410 secs || 8758804 markings, 311413416 edges, 4880 markings/sec, 1410 secs
lola: STP completed || 9 tries, 8082007 fired transitions, 1415 secs || 8784424 markings, 312478314 edges, 5124 markings/sec, 1415 secs
lola: STP completed || 9 tries, 8110564 fired transitions, 1420 secs || 8808174 markings, 313518789 edges, 4750 markings/sec, 1420 secs
lola: STP completed || 9 tries, 8139138 fired transitions, 1425 secs || 8832816 markings, 314559544 edges, 4928 markings/sec, 1425 secs
lola: STP completed || 9 tries, 8167559 fired transitions, 1430 secs || 8860323 markings, 315633654 edges, 5501 markings/sec, 1430 secs
lola: STP completed || 9 tries, 8196051 fired transitions, 1435 secs || 8891416 markings, 316737560 edges, 6219 markings/sec, 1435 secs
lola: STP completed || 9 tries, 8224705 fired transitions, 1440 secs || 8928102 markings, 317876716 edges, 7337 markings/sec, 1440 secs
lola: STP completed || 9 tries, 8253255 fired transitions, 1445 secs || 8965315 markings, 319023033 edges, 7443 markings/sec, 1445 secs
lola: STP completed || 9 tries, 8281886 fired transitions, 1450 secs || 9001215 markings, 320147584 edges, 7180 markings/sec, 1450 secs
lola: STP completed || 9 tries, 8310354 fired transitions, 1455 secs || 9040683 markings, 321304856 edges, 7894 markings/sec, 1455 secs
lola: STP completed || 9 tries, 8338874 fired transitions, 1460 secs || 9075035 markings, 322422183 edges, 6870 markings/sec, 1460 secs
lola: STP completed || 9 tries, 8367339 fired transitions, 1465 secs || 9111420 markings, 323561713 edges, 7277 markings/sec, 1465 secs
lola: STP completed || 9 tries, 8395807 fired transitions, 1470 secs || 9144836 markings, 324676155 edges, 6683 markings/sec, 1470 secs
lola: STP completed || 9 tries, 8424295 fired transitions, 1475 secs || 9181446 markings, 325815785 edges, 7322 markings/sec, 1475 secs
lola: STP completed || 9 tries, 8452637 fired transitions, 1480 secs || 9216852 markings, 326951142 edges, 7081 markings/sec, 1480 secs
lola: STP completed || 9 tries, 8481111 fired transitions, 1485 secs || 9253982 markings, 328094045 edges, 7426 markings/sec, 1485 secs
lola: STP completed || 9 tries, 8509563 fired transitions, 1490 secs || 9294448 markings, 329260984 edges, 8093 markings/sec, 1490 secs
lola: STP completed || 9 tries, 8538085 fired transitions, 1495 secs || 9332538 markings, 330410951 edges, 7618 markings/sec, 1495 secs
lola: STP completed || 9 tries, 8566582 fired transitions, 1500 secs || 9371709 markings, 331566566 edges, 7834 markings/sec, 1500 secs
lola: STP completed || 9 tries, 8595119 fired transitions, 1505 secs || 9407348 markings, 332689763 edges, 7128 markings/sec, 1505 secs
lola: STP completed || 9 tries, 8623519 fired transitions, 1510 secs || 9445084 markings, 333832798 edges, 7547 markings/sec, 1510 secs
lola: STP completed || 9 tries, 8652120 fired transitions, 1515 secs || 9482919 markings, 334975871 edges, 7567 markings/sec, 1515 secs
lola: STP completed || 9 tries, 8680751 fired transitions, 1520 secs || 9521847 markings, 336128377 edges, 7786 markings/sec, 1520 secs
lola: STP completed || 9 tries, 8709302 fired transitions, 1525 secs || 9560742 markings, 337280253 edges, 7779 markings/sec, 1525 secs
lola: STP completed || 9 tries, 8737728 fired transitions, 1530 secs || 9587360 markings, 338344767 edges, 5324 markings/sec, 1530 secs
lola: STP completed || 9 tries, 8766269 fired transitions, 1535 secs || 9610957 markings, 339382713 edges, 4719 markings/sec, 1535 secs
lola: STP completed || 9 tries, 8794879 fired transitions, 1540 secs || 9635616 markings, 340432557 edges, 4932 markings/sec, 1540 secs
lola: STP completed || 9 tries, 8823288 fired transitions, 1545 secs || 9660317 markings, 341476597 edges, 4940 markings/sec, 1545 secs
lola: STP completed || 9 tries, 8851897 fired transitions, 1550 secs || 9685802 markings, 342525361 edges, 5097 markings/sec, 1550 secs
lola: STP completed || 9 tries, 8880417 fired transitions, 1555 secs || 9712654 markings, 343589506 edges, 5370 markings/sec, 1555 secs
lola: STP completed || 9 tries, 8909112 fired transitions, 1560 secs || 9739876 markings, 344666332 edges, 5444 markings/sec, 1560 secs
lola: STP completed || 9 tries, 8937666 fired transitions, 1565 secs || 9763413 markings, 345698180 edges, 4707 markings/sec, 1565 secs
lola: STP completed || 9 tries, 8966188 fired transitions, 1570 secs || 9788498 markings, 346753162 edges, 5017 markings/sec, 1570 secs
lola: STP completed || 9 tries, 8994785 fired transitions, 1575 secs || 9813114 markings, 347798494 edges, 4923 markings/sec, 1575 secs
lola: STP completed || 10 tries, 9023419 fired transitions, 1580 secs || 9838136 markings, 348841534 edges, 5004 markings/sec, 1580 secs
lola: STP completed || 10 tries, 9051998 fired transitions, 1585 secs || 9865685 markings, 349913660 edges, 5510 markings/sec, 1585 secs
lola: STP completed || 10 tries, 9080532 fired transitions, 1590 secs || 9895066 markings, 350997799 edges, 5876 markings/sec, 1590 secs
lola: STP completed || 10 tries, 9109215 fired transitions, 1595 secs || 9935569 markings, 352164473 edges, 8101 markings/sec, 1595 secs
lola: STP completed || 10 tries, 9137688 fired transitions, 1600 secs || 9972293 markings, 353306574 edges, 7345 markings/sec, 1600 secs
lola: STP completed || 10 tries, 9166209 fired transitions, 1605 secs || 10002736 markings, 354402549 edges, 6089 markings/sec, 1605 secs
lola: STP completed || 10 tries, 9194754 fired transitions, 1610 secs || 10033720 markings, 355508368 edges, 6197 markings/sec, 1610 secs
lola: STP completed || 10 tries, 9223228 fired transitions, 1615 secs || 10063200 markings, 356592910 edges, 5896 markings/sec, 1615 secs
lola: STP completed || 10 tries, 9251718 fired transitions, 1620 secs || 10096245 markings, 357703836 edges, 6609 markings/sec, 1620 secs
lola: STP completed || 10 tries, 9280218 fired transitions, 1625 secs || 10134160 markings, 358847607 edges, 7583 markings/sec, 1625 secs
lola: STP completed || 10 tries, 9308801 fired transitions, 1630 secs || 10173174 markings, 360003072 edges, 7803 markings/sec, 1630 secs
lola: STP completed || 10 tries, 9337313 fired transitions, 1635 secs || 10209712 markings, 361139991 edges, 7308 markings/sec, 1635 secs
lola: STP completed || 10 tries, 9365784 fired transitions, 1640 secs || 10242895 markings, 362258248 edges, 6637 markings/sec, 1640 secs
lola: STP completed || 10 tries, 9394299 fired transitions, 1645 secs || 10281062 markings, 363404616 edges, 7633 markings/sec, 1645 secs
lola: STP completed || 10 tries, 9422808 fired transitions, 1650 secs || 10319569 markings, 364560789 edges, 7701 markings/sec, 1650 secs
lola: STP completed || 10 tries, 9451291 fired transitions, 1655 secs || 10361013 markings, 365731356 edges, 8289 markings/sec, 1655 secs
lola: STP completed || 10 tries, 9479803 fired transitions, 1660 secs || 10399137 markings, 366872610 edges, 7625 markings/sec, 1660 secs
lola: STP completed || 10 tries, 9508328 fired transitions, 1665 secs || 10437649 markings, 368021358 edges, 7702 markings/sec, 1665 secs
lola: STP completed || 10 tries, 9536778 fired transitions, 1670 secs || 10476128 markings, 369163419 edges, 7696 markings/sec, 1670 secs
lola: STP completed || 10 tries, 9565280 fired transitions, 1675 secs || 10505837 markings, 370249054 edges, 5942 markings/sec, 1675 secs
lola: STP completed || 10 tries, 9593522 fired transitions, 1680 secs || 10535246 markings, 371326866 edges, 5882 markings/sec, 1680 secs
lola: STP completed || 10 tries, 9619355 fired transitions, 1685 secs || 10566021 markings, 372411853 edges, 6155 markings/sec, 1685 secs
lola: STP completed || 10 tries, 9647484 fired transitions, 1690 secs || 10601297 markings, 373545607 edges, 7055 markings/sec, 1690 secs
lola: STP completed || 10 tries, 9675644 fired transitions, 1695 secs || 10640845 markings, 374708456 edges, 7910 markings/sec, 1695 secs
lola: STP completed || 10 tries, 9703716 fired transitions, 1700 secs || 10668220 markings, 375794247 edges, 5475 markings/sec, 1700 secs
lola: STP completed || 10 tries, 9732009 fired transitions, 1705 secs || 10695681 markings, 376872584 edges, 5492 markings/sec, 1705 secs
lola: STP completed || 10 tries, 9760062 fired transitions, 1710 secs || 10726148 markings, 377981592 edges, 6093 markings/sec, 1710 secs
lola: STP completed || 10 tries, 9788210 fired transitions, 1715 secs || 10763882 markings, 379139671 edges, 7547 markings/sec, 1715 secs
lola: STP completed || 10 tries, 9816275 fired transitions, 1720 secs || 10804877 markings, 380320006 edges, 8199 markings/sec, 1720 secs
lola: STP completed || 10 tries, 9844450 fired transitions, 1725 secs || 10845373 markings, 381489887 edges, 8099 markings/sec, 1725 secs
lola: STP completed || 10 tries, 9872624 fired transitions, 1730 secs || 10886035 markings, 382666821 edges, 8132 markings/sec, 1730 secs
lola: STP completed || 10 tries, 9900724 fired transitions, 1735 secs || 10923336 markings, 383812286 edges, 7460 markings/sec, 1735 secs
lola: STP completed || 10 tries, 9928878 fired transitions, 1740 secs || 10957867 markings, 384932285 edges, 6906 markings/sec, 1740 secs
lola: STP completed || 10 tries, 9957015 fired transitions, 1745 secs || 10992661 markings, 386064878 edges, 6959 markings/sec, 1745 secs
lola: STP completed || 10 tries, 9985204 fired transitions, 1750 secs || 11024045 markings, 387180271 edges, 6277 markings/sec, 1750 secs
lola: STP completed || 11 tries, 10013176 fired transitions, 1755 secs || 11054780 markings, 388289223 edges, 6147 markings/sec, 1755 secs
lola: STP completed || 11 tries, 10041297 fired transitions, 1760 secs || 11093575 markings, 389454278 edges, 7759 markings/sec, 1760 secs
lola: STP completed || 11 tries, 10069424 fired transitions, 1765 secs || 11133833 markings, 390623584 edges, 8052 markings/sec, 1765 secs
lola: STP completed || 11 tries, 10097492 fired transitions, 1770 secs || 11171837 markings, 391779692 edges, 7601 markings/sec, 1770 secs
lola: STP completed || 11 tries, 10125495 fired transitions, 1775 secs || 11211295 markings, 392941760 edges, 7892 markings/sec, 1775 secs
lola: STP completed || 11 tries, 10153448 fired transitions, 1780 secs || 11237020 markings, 393992871 edges, 5145 markings/sec, 1780 secs
lola: STP completed || 11 tries, 10181547 fired transitions, 1785 secs || 11272137 markings, 395119099 edges, 7023 markings/sec, 1785 secs
lola: STP completed || 11 tries, 10209715 fired transitions, 1790 secs || 11310383 markings, 396275264 edges, 7649 markings/sec, 1790 secs
lola: STP completed || 11 tries, 10237741 fired transitions, 1795 secs || 11348140 markings, 397432885 edges, 7551 markings/sec, 1795 secs
lola: STP completed || 11 tries, 10265801 fired transitions, 1800 secs || 11383074 markings, 398570258 edges, 6987 markings/sec, 1800 secs
lola: STP completed || 11 tries, 10293928 fired transitions, 1805 secs || 11422725 markings, 399737462 edges, 7930 markings/sec, 1805 secs
lola: STP completed || 11 tries, 10321979 fired transitions, 1810 secs || 11463996 markings, 400910479 edges, 8254 markings/sec, 1810 secs
lola: STP completed || 11 tries, 10350125 fired transitions, 1815 secs || 11504416 markings, 402077379 edges, 8084 markings/sec, 1815 secs
lola: STP completed || 11 tries, 10378419 fired transitions, 1820 secs || 11541895 markings, 403222034 edges, 7496 markings/sec, 1820 secs
lola: STP completed || 11 tries, 10406572 fired transitions, 1825 secs || 11576031 markings, 404352284 edges, 6827 markings/sec, 1825 secs
lola: STP completed || 11 tries, 10434703 fired transitions, 1830 secs || 11613911 markings, 405508839 edges, 7576 markings/sec, 1830 secs
lola: STP completed || 11 tries, 10462799 fired transitions, 1835 secs || 11653987 markings, 406678445 edges, 8015 markings/sec, 1835 secs
lola: STP completed || 11 tries, 10490829 fired transitions, 1840 secs || 11691068 markings, 407827839 edges, 7416 markings/sec, 1840 secs
lola: STP completed || 11 tries, 10519029 fired transitions, 1845 secs || 11720561 markings, 408897768 edges, 5899 markings/sec, 1845 secs
lola: STP completed || 11 tries, 10547137 fired transitions, 1850 secs || 11755680 markings, 410043664 edges, 7024 markings/sec, 1850 secs
lola: STP completed || 11 tries, 10575202 fired transitions, 1855 secs || 11793645 markings, 411204397 edges, 7593 markings/sec, 1855 secs
lola: STP completed || 11 tries, 10603335 fired transitions, 1860 secs || 11835070 markings, 412386330 edges, 8285 markings/sec, 1860 secs
lola: STP completed || 11 tries, 10631490 fired transitions, 1865 secs || 11876373 markings, 413562172 edges, 8261 markings/sec, 1865 secs
lola: STP completed || 11 tries, 10659594 fired transitions, 1870 secs || 11909468 markings, 414686114 edges, 6619 markings/sec, 1870 secs
lola: STP completed || 11 tries, 10687710 fired transitions, 1875 secs || 11948087 markings, 415845818 edges, 7724 markings/sec, 1875 secs
lola: STP completed || 11 tries, 10715794 fired transitions, 1880 secs || 11984669 markings, 416991844 edges, 7316 markings/sec, 1880 secs
lola: STP completed || 11 tries, 10744016 fired transitions, 1885 secs || 12014960 markings, 418097823 edges, 6058 markings/sec, 1885 secs
lola: STP completed || 11 tries, 10772116 fired transitions, 1890 secs || 12046189 markings, 419212025 edges, 6246 markings/sec, 1890 secs
lola: STP completed || 11 tries, 10800215 fired transitions, 1895 secs || 12080777 markings, 420347028 edges, 6918 markings/sec, 1895 secs
lola: STP completed || 11 tries, 10828399 fired transitions, 1900 secs || 12120337 markings, 421510438 edges, 7912 markings/sec, 1900 secs
lola: STP completed || 11 tries, 10856427 fired transitions, 1905 secs || 12158919 markings, 422668152 edges, 7716 markings/sec, 1905 secs
lola: STP completed || 11 tries, 10884498 fired transitions, 1910 secs || 12194059 markings, 423807067 edges, 7028 markings/sec, 1910 secs
lola: STP completed || 11 tries, 10912585 fired transitions, 1915 secs || 12231354 markings, 424962019 edges, 7459 markings/sec, 1915 secs
lola: STP completed || 11 tries, 10940786 fired transitions, 1920 secs || 12268655 markings, 426108844 edges, 7460 markings/sec, 1920 secs
lola: STP completed || 11 tries, 10968875 fired transitions, 1925 secs || 12307409 markings, 427263923 edges, 7751 markings/sec, 1925 secs
lola: STP completed || 11 tries, 10997040 fired transitions, 1930 secs || 12346720 markings, 428419329 edges, 7862 markings/sec, 1930 secs
lola: STP completed || 12 tries, 11025122 fired transitions, 1935 secs || 12382305 markings, 429559933 edges, 7117 markings/sec, 1935 secs
lola: STP completed || 12 tries, 11053264 fired transitions, 1940 secs || 12419179 markings, 430708879 edges, 7375 markings/sec, 1940 secs
lola: STP completed || 12 tries, 11081362 fired transitions, 1945 secs || 12458179 markings, 431866835 edges, 7800 markings/sec, 1945 secs
lola: STP completed || 12 tries, 11109482 fired transitions, 1950 secs || 12494928 markings, 433015583 edges, 7350 markings/sec, 1950 secs
lola: STP completed || 12 tries, 11137631 fired transitions, 1955 secs || 12527215 markings, 434133862 edges, 6457 markings/sec, 1955 secs
lola: STP completed || 12 tries, 11165687 fired transitions, 1960 secs || 12553164 markings, 435191091 edges, 5190 markings/sec, 1960 secs
lola: STP completed || 12 tries, 11193763 fired transitions, 1965 secs || 12587090 markings, 436316843 edges, 6785 markings/sec, 1965 secs
lola: STP completed || 12 tries, 11221781 fired transitions, 1970 secs || 12627601 markings, 437498245 edges, 8102 markings/sec, 1970 secs
lola: STP completed || 12 tries, 11249842 fired transitions, 1975 secs || 12668301 markings, 438668059 edges, 8140 markings/sec, 1975 secs
lola: STP completed || 12 tries, 11278022 fired transitions, 1980 secs || 12697130 markings, 439752075 edges, 5766 markings/sec, 1980 secs
lola: STP completed || 12 tries, 11305985 fired transitions, 1985 secs || 12727915 markings, 440843546 edges, 6157 markings/sec, 1985 secs
lola: STP completed || 12 tries, 11334187 fired transitions, 1990 secs || 12767007 markings, 442006082 edges, 7818 markings/sec, 1990 secs
lola: STP completed || 12 tries, 11362300 fired transitions, 1995 secs || 12808978 markings, 443186117 edges, 8394 markings/sec, 1995 secs
lola: STP completed || 12 tries, 11390277 fired transitions, 2000 secs || 12834217 markings, 444241259 edges, 5048 markings/sec, 2000 secs
lola: STP completed || 12 tries, 11418508 fired transitions, 2005 secs || 12858926 markings, 445286021 edges, 4942 markings/sec, 2005 secs
lola: STP completed || 12 tries, 11446725 fired transitions, 2010 secs || 12887805 markings, 446356578 edges, 5776 markings/sec, 2010 secs
lola: STP completed || 12 tries, 11474891 fired transitions, 2015 secs || 12922360 markings, 447499583 edges, 6911 markings/sec, 2015 secs
lola: STP completed || 12 tries, 11503050 fired transitions, 2020 secs || 12958665 markings, 448637364 edges, 7261 markings/sec, 2020 secs
lola: STP completed || 12 tries, 11531226 fired transitions, 2025 secs || 12992927 markings, 449770294 edges, 6852 markings/sec, 2025 secs
lola: STP completed || 12 tries, 11559503 fired transitions, 2030 secs || 13025830 markings, 450894573 edges, 6581 markings/sec, 2030 secs
lola: STP completed || 12 tries, 11587587 fired transitions, 2035 secs || 13055359 markings, 451989017 edges, 5906 markings/sec, 2035 secs
lola: STP completed || 12 tries, 11615745 fired transitions, 2040 secs || 13090220 markings, 453119208 edges, 6972 markings/sec, 2040 secs
lola: STP completed || 12 tries, 11643723 fired transitions, 2045 secs || 13117771 markings, 454186906 edges, 5510 markings/sec, 2045 secs
lola: STP completed || 12 tries, 11671818 fired transitions, 2050 secs || 13153218 markings, 455327877 edges, 7089 markings/sec, 2050 secs
lola: STP completed || 12 tries, 11700112 fired transitions, 2055 secs || 13189417 markings, 456476358 edges, 7240 markings/sec, 2055 secs
lola: STP completed || 12 tries, 11728305 fired transitions, 2060 secs || 13222085 markings, 457597490 edges, 6534 markings/sec, 2060 secs
lola: STP completed || 12 tries, 11756325 fired transitions, 2065 secs || 13257412 markings, 458736618 edges, 7065 markings/sec, 2065 secs
lola: STP completed || 12 tries, 11784347 fired transitions, 2070 secs || 13295323 markings, 459897163 edges, 7582 markings/sec, 2070 secs
lola: STP completed || 12 tries, 11812550 fired transitions, 2075 secs || 13331992 markings, 461047566 edges, 7334 markings/sec, 2075 secs
lola: STP completed || 12 tries, 11840736 fired transitions, 2080 secs || 13370170 markings, 462210843 edges, 7636 markings/sec, 2080 secs
lola: STP completed || 12 tries, 11868929 fired transitions, 2085 secs || 13410592 markings, 463379820 edges, 8084 markings/sec, 2085 secs
lola: STP completed || 12 tries, 11897049 fired transitions, 2090 secs || 13449529 markings, 464548719 edges, 7787 markings/sec, 2090 secs
lola: STP completed || 12 tries, 11925070 fired transitions, 2095 secs || 13486689 markings, 465705227 edges, 7432 markings/sec, 2095 secs
lola: STP completed || 12 tries, 11953120 fired transitions, 2100 secs || 13526407 markings, 466865739 edges, 7944 markings/sec, 2100 secs
lola: STP completed || 12 tries, 11981268 fired transitions, 2105 secs || 13566599 markings, 468036799 edges, 8038 markings/sec, 2105 secs
lola: STP completed || 13 tries, 12009408 fired transitions, 2110 secs || 13610536 markings, 469226807 edges, 8787 markings/sec, 2110 secs
lola: STP completed || 13 tries, 12037509 fired transitions, 2115 secs || 13646229 markings, 470365183 edges, 7139 markings/sec, 2115 secs
lola: STP completed || 13 tries, 12065559 fired transitions, 2120 secs || 13686879 markings, 471533349 edges, 8130 markings/sec, 2120 secs
lola: STP completed || 13 tries, 12093679 fired transitions, 2125 secs || 13710826 markings, 472585669 edges, 4789 markings/sec, 2125 secs
lola: STP completed || 13 tries, 12121787 fired transitions, 2130 secs || 13735058 markings, 473624278 edges, 4846 markings/sec, 2130 secs
lola: STP completed || 13 tries, 12149947 fired transitions, 2135 secs || 13765887 markings, 474718844 edges, 6166 markings/sec, 2135 secs
lola: STP completed || 13 tries, 12178043 fired transitions, 2140 secs || 13794077 markings, 475799015 edges, 5638 markings/sec, 2140 secs
lola: STP completed || 13 tries, 12206201 fired transitions, 2145 secs || 13830440 markings, 476942018 edges, 7273 markings/sec, 2145 secs
lola: STP completed || 13 tries, 12234365 fired transitions, 2150 secs || 13866875 markings, 478078801 edges, 7287 markings/sec, 2150 secs
lola: STP completed || 13 tries, 12261815 fired transitions, 2155 secs || 13902348 markings, 479184832 edges, 7095 markings/sec, 2155 secs
lola: STP completed || 13 tries, 12288973 fired transitions, 2160 secs || 13940193 markings, 480310453 edges, 7569 markings/sec, 2160 secs
lola: STP completed || 13 tries, 12315363 fired transitions, 2165 secs || 13981495 markings, 481475878 edges, 8260 markings/sec, 2165 secs
lola: STP completed || 13 tries, 12343537 fired transitions, 2170 secs || 14022141 markings, 482643623 edges, 8129 markings/sec, 2170 secs
lola: STP completed || 13 tries, 12371991 fired transitions, 2175 secs || 14059297 markings, 483782069 edges, 7431 markings/sec, 2175 secs
lola: STP completed || 13 tries, 12400274 fired transitions, 2180 secs || 14096315 markings, 484905211 edges, 7404 markings/sec, 2180 secs
lola: STP completed || 13 tries, 12427106 fired transitions, 2185 secs || 14132335 markings, 486015330 edges, 7204 markings/sec, 2185 secs
lola: STP completed || 13 tries, 12454408 fired transitions, 2190 secs || 14158974 markings, 487086141 edges, 5328 markings/sec, 2190 secs
lola: STP completed || 13 tries, 12481653 fired transitions, 2195 secs || 14183390 markings, 488139479 edges, 4883 markings/sec, 2195 secs
lola: STP completed || 13 tries, 12508963 fired transitions, 2200 secs || 14207921 markings, 489195489 edges, 4906 markings/sec, 2200 secs
lola: STP completed || 13 tries, 12536340 fired transitions, 2205 secs || 14232008 markings, 490238929 edges, 4817 markings/sec, 2205 secs
lola: STP completed || 13 tries, 12563873 fired transitions, 2210 secs || 14256492 markings, 491281617 edges, 4897 markings/sec, 2210 secs
lola: STP completed || 13 tries, 12591070 fired transitions, 2215 secs || 14283297 markings, 492345181 edges, 5361 markings/sec, 2215 secs
lola: STP completed || 13 tries, 12618252 fired transitions, 2220 secs || 14314029 markings, 493446919 edges, 6146 markings/sec, 2220 secs
lola: STP completed || 13 tries, 12645489 fired transitions, 2225 secs || 14344456 markings, 494549770 edges, 6085 markings/sec, 2225 secs
lola: STP completed || 13 tries, 12672810 fired transitions, 2230 secs || 14375128 markings, 495657723 edges, 6134 markings/sec, 2230 secs
lola: STP completed || 13 tries, 12700098 fired transitions, 2235 secs || 14406077 markings, 496755679 edges, 6190 markings/sec, 2235 secs
lola: STP completed || 13 tries, 12727173 fired transitions, 2240 secs || 14433213 markings, 497821423 edges, 5427 markings/sec, 2240 secs
lola: STP completed || 13 tries, 12754362 fired transitions, 2245 secs || 14464020 markings, 498941931 edges, 6161 markings/sec, 2245 secs
lola: STP completed || 13 tries, 12782387 fired transitions, 2250 secs || 14494834 markings, 500066721 edges, 6163 markings/sec, 2250 secs
lola: STP completed || 13 tries, 12810647 fired transitions, 2255 secs || 14520241 markings, 501142563 edges, 5081 markings/sec, 2255 secs
lola: STP completed || 13 tries, 12838531 fired transitions, 2260 secs || 14554371 markings, 502298390 edges, 6826 markings/sec, 2260 secs
lola: STP completed || 13 tries, 12866817 fired transitions, 2265 secs || 14588433 markings, 503457087 edges, 6812 markings/sec, 2265 secs
lola: STP completed || 13 tries, 12893065 fired transitions, 2270 secs || 14620910 markings, 504575566 edges, 6495 markings/sec, 2270 secs
lola: STP completed || 13 tries, 12921150 fired transitions, 2275 secs || 14657386 markings, 505750848 edges, 7295 markings/sec, 2275 secs
lola: STP completed || 13 tries, 12949190 fired transitions, 2280 secs || 14691087 markings, 506895877 edges, 6740 markings/sec, 2280 secs
lola: STP completed || 13 tries, 12976371 fired transitions, 2285 secs || 14724797 markings, 508017690 edges, 6742 markings/sec, 2285 secs
lola: STP completed || 14 tries, 13002369 fired transitions, 2290 secs || 14757483 markings, 509160910 edges, 6537 markings/sec, 2290 secs
lola: STP completed || 14 tries, 13030700 fired transitions, 2295 secs || 14781395 markings, 510213749 edges, 4782 markings/sec, 2295 secs
lola: STP completed || 14 tries, 13059043 fired transitions, 2300 secs || 14806676 markings, 511278881 edges, 5056 markings/sec, 2300 secs
lola: STP completed || 14 tries, 13087467 fired transitions, 2305 secs || 14831602 markings, 512336297 edges, 4985 markings/sec, 2305 secs
lola: STP completed || 14 tries, 13115888 fired transitions, 2310 secs || 14857816 markings, 513418494 edges, 5243 markings/sec, 2310 secs
lola: STP completed || 14 tries, 13144603 fired transitions, 2315 secs || 14884488 markings, 514501522 edges, 5334 markings/sec, 2315 secs
lola: STP completed || 14 tries, 13173214 fired transitions, 2320 secs || 14914085 markings, 515609645 edges, 5919 markings/sec, 2320 secs
lola: STP completed || 14 tries, 13201717 fired transitions, 2325 secs || 14944565 markings, 516725757 edges, 6096 markings/sec, 2325 secs
lola: STP completed || 14 tries, 13230228 fired transitions, 2330 secs || 14974829 markings, 517838893 edges, 6053 markings/sec, 2330 secs
lola: STP completed || 14 tries, 13258756 fired transitions, 2335 secs || 15006436 markings, 518957380 edges, 6321 markings/sec, 2335 secs
lola: STP completed || 14 tries, 13287228 fired transitions, 2340 secs || 15038507 markings, 520081761 edges, 6414 markings/sec, 2340 secs
lola: STP completed || 14 tries, 13315691 fired transitions, 2345 secs || 15069100 markings, 521194587 edges, 6119 markings/sec, 2345 secs
lola: STP completed || 14 tries, 13344041 fired transitions, 2350 secs || 15098894 markings, 522294311 edges, 5959 markings/sec, 2350 secs
lola: STP completed || 14 tries, 13372506 fired transitions, 2355 secs || 15128651 markings, 523388215 edges, 5951 markings/sec, 2355 secs
lola: STP completed || 14 tries, 13400796 fired transitions, 2360 secs || 15163217 markings, 524533491 edges, 6913 markings/sec, 2360 secs
lola: STP completed || 14 tries, 13429183 fired transitions, 2365 secs || 15196680 markings, 525673051 edges, 6693 markings/sec, 2365 secs
lola: STP completed || 14 tries, 13457541 fired transitions, 2370 secs || 15222882 markings, 526742770 edges, 5240 markings/sec, 2370 secs
lola: STP completed || 14 tries, 13486012 fired transitions, 2375 secs || 15253270 markings, 527851687 edges, 6078 markings/sec, 2375 secs
lola: STP completed || 14 tries, 13514520 fired transitions, 2380 secs || 15287859 markings, 528990076 edges, 6918 markings/sec, 2380 secs
lola: STP completed || 14 tries, 13543210 fired transitions, 2385 secs || 15321771 markings, 530127537 edges, 6782 markings/sec, 2385 secs
lola: STP completed || 14 tries, 13571621 fired transitions, 2390 secs || 15356606 markings, 531269799 edges, 6967 markings/sec, 2390 secs
lola: STP completed || 14 tries, 13600074 fired transitions, 2395 secs || 15385784 markings, 532356297 edges, 5836 markings/sec, 2395 secs
lola: STP completed || 14 tries, 13628514 fired transitions, 2400 secs || 15410078 markings, 533406238 edges, 4859 markings/sec, 2400 secs
lola: STP completed || 14 tries, 13657060 fired transitions, 2405 secs || 15434314 markings, 534461457 edges, 4847 markings/sec, 2405 secs
lola: STP completed || 14 tries, 13685524 fired transitions, 2410 secs || 15458347 markings, 535519663 edges, 4807 markings/sec, 2410 secs
lola: STP completed || 14 tries, 13713891 fired transitions, 2415 secs || 15484424 markings, 536598321 edges, 5215 markings/sec, 2415 secs
lola: STP completed || 14 tries, 13742409 fired transitions, 2420 secs || 15511885 markings, 537685763 edges, 5492 markings/sec, 2420 secs
lola: STP completed || 14 tries, 13770740 fired transitions, 2425 secs || 15542610 markings, 538796894 edges, 6145 markings/sec, 2425 secs
lola: STP completed || 14 tries, 13799203 fired transitions, 2430 secs || 15571421 markings, 539889995 edges, 5762 markings/sec, 2430 secs
lola: STP completed || 14 tries, 13827713 fired transitions, 2435 secs || 15601747 markings, 540992918 edges, 6065 markings/sec, 2435 secs
lola: STP completed || 14 tries, 13855980 fired transitions, 2440 secs || 15632285 markings, 542104299 edges, 6108 markings/sec, 2440 secs
lola: STP completed || 14 tries, 13884393 fired transitions, 2445 secs || 15661527 markings, 543197440 edges, 5848 markings/sec, 2445 secs
lola: STP completed || 14 tries, 13912688 fired transitions, 2450 secs || 15691803 markings, 544305233 edges, 6055 markings/sec, 2450 secs
lola: STP completed || 14 tries, 13941330 fired transitions, 2455 secs || 15724553 markings, 545431458 edges, 6550 markings/sec, 2455 secs
lola: STP completed || 14 tries, 13969911 fired transitions, 2460 secs || 15758041 markings, 546561586 edges, 6698 markings/sec, 2460 secs
lola: STP completed || 14 tries, 13998606 fired transitions, 2465 secs || 15791925 markings, 547700634 edges, 6777 markings/sec, 2465 secs
lola: STP completed || 15 tries, 14027112 fired transitions, 2470 secs || 15825212 markings, 548828195 edges, 6657 markings/sec, 2470 secs
lola: STP completed || 15 tries, 14055593 fired transitions, 2475 secs || 15858967 markings, 549957332 edges, 6751 markings/sec, 2475 secs
lola: STP completed || 15 tries, 14083858 fired transitions, 2480 secs || 15889812 markings, 551055079 edges, 6169 markings/sec, 2480 secs
lola: STP completed || 15 tries, 14112364 fired transitions, 2485 secs || 15913877 markings, 552100958 edges, 4813 markings/sec, 2485 secs
lola: STP completed || 15 tries, 14140827 fired transitions, 2490 secs || 15950041 markings, 553249906 edges, 7233 markings/sec, 2490 secs
lola: STP completed || 15 tries, 14168912 fired transitions, 2495 secs || 15985609 markings, 554394613 edges, 7114 markings/sec, 2495 secs
lola: STP completed || 15 tries, 14197376 fired transitions, 2500 secs || 16016530 markings, 555491071 edges, 6184 markings/sec, 2500 secs
lola: STP completed || 15 tries, 14225680 fired transitions, 2505 secs || 16049815 markings, 556615801 edges, 6657 markings/sec, 2505 secs
lola: STP completed || 15 tries, 14254084 fired transitions, 2510 secs || 16084971 markings, 557750713 edges, 7031 markings/sec, 2510 secs
lola: STP completed || 15 tries, 14282541 fired transitions, 2515 secs || 16119367 markings, 558881206 edges, 6879 markings/sec, 2515 secs
lola: STP completed || 15 tries, 14310817 fired transitions, 2520 secs || 16156608 markings, 560033919 edges, 7448 markings/sec, 2520 secs
lola: STP completed || 15 tries, 14339239 fired transitions, 2525 secs || 16192161 markings, 561169244 edges, 7111 markings/sec, 2525 secs
lola: STP completed || 15 tries, 14367612 fired transitions, 2530 secs || 16223135 markings, 562266297 edges, 6195 markings/sec, 2530 secs
lola: STP completed || 15 tries, 14396107 fired transitions, 2535 secs || 16259310 markings, 563422763 edges, 7235 markings/sec, 2535 secs
lola: STP completed || 15 tries, 14424721 fired transitions, 2540 secs || 16294874 markings, 564570888 edges, 7113 markings/sec, 2540 secs
lola: STP completed || 15 tries, 14453066 fired transitions, 2545 secs || 16330379 markings, 565712815 edges, 7101 markings/sec, 2545 secs
lola: STP completed || 15 tries, 14481403 fired transitions, 2550 secs || 16362483 markings, 566822515 edges, 6421 markings/sec, 2550 secs
lola: STP completed || 15 tries, 14509853 fired transitions, 2555 secs || 16399888 markings, 567978276 edges, 7481 markings/sec, 2555 secs
lola: STP completed || 15 tries, 14538385 fired transitions, 2560 secs || 16433479 markings, 569104270 edges, 6718 markings/sec, 2560 secs
lola: STP completed || 15 tries, 14566815 fired transitions, 2565 secs || 16470319 markings, 570260806 edges, 7368 markings/sec, 2565 secs
lola: STP completed || 15 tries, 14595288 fired transitions, 2570 secs || 16507549 markings, 571408538 edges, 7446 markings/sec, 2570 secs
lola: STP completed || 15 tries, 14623784 fired transitions, 2575 secs || 16542678 markings, 572550599 edges, 7026 markings/sec, 2575 secs
lola: STP completed || 15 tries, 14652217 fired transitions, 2580 secs || 16580599 markings, 573709464 edges, 7584 markings/sec, 2580 secs
lola: STP completed || 15 tries, 14680457 fired transitions, 2585 secs || 16618193 markings, 574861697 edges, 7519 markings/sec, 2585 secs
lola: STP completed || 15 tries, 14708946 fired transitions, 2590 secs || 16653905 markings, 575998313 edges, 7142 markings/sec, 2590 secs
lola: STP completed || 15 tries, 14737383 fired transitions, 2595 secs || 16685756 markings, 577108591 edges, 6370 markings/sec, 2595 secs
lola: STP completed || 15 tries, 14765896 fired transitions, 2600 secs || 16722000 markings, 578259869 edges, 7249 markings/sec, 2600 secs
lola: STP completed || 15 tries, 14794223 fired transitions, 2605 secs || 16752666 markings, 579363347 edges, 6133 markings/sec, 2605 secs
lola: STP completed || 15 tries, 14822598 fired transitions, 2610 secs || 16788903 markings, 580510416 edges, 7247 markings/sec, 2610 secs
lola: STP completed || 15 tries, 14851156 fired transitions, 2615 secs || 16825590 markings, 581666808 edges, 7337 markings/sec, 2615 secs
lola: STP completed || 15 tries, 14879434 fired transitions, 2620 secs || 16863094 markings, 582823712 edges, 7501 markings/sec, 2620 secs
lola: STP completed || 15 tries, 14907869 fired transitions, 2625 secs || 16901067 markings, 583987657 edges, 7595 markings/sec, 2625 secs
lola: STP completed || 15 tries, 14936335 fired transitions, 2630 secs || 16937011 markings, 585131376 edges, 7189 markings/sec, 2630 secs
lola: STP completed || 15 tries, 14964802 fired transitions, 2635 secs || 16972115 markings, 586261404 edges, 7021 markings/sec, 2635 secs
lola: STP completed || 15 tries, 14993321 fired transitions, 2640 secs || 17010081 markings, 587420959 edges, 7593 markings/sec, 2640 secs
lola: STP completed || 16 tries, 15022020 fired transitions, 2645 secs || 17048896 markings, 588591873 edges, 7763 markings/sec, 2645 secs
lola: STP completed || 16 tries, 15050586 fired transitions, 2650 secs || 17087228 markings, 589753873 edges, 7666 markings/sec, 2650 secs
lola: STP completed || 16 tries, 15079186 fired transitions, 2655 secs || 17124110 markings, 590897370 edges, 7376 markings/sec, 2655 secs
lola: STP completed || 16 tries, 15107681 fired transitions, 2660 secs || 17147939 markings, 591943767 edges, 4766 markings/sec, 2660 secs
lola: STP completed || 16 tries, 15135957 fired transitions, 2665 secs || 17172683 markings, 593007952 edges, 4949 markings/sec, 2665 secs
lola: STP completed || 16 tries, 15164440 fired transitions, 2670 secs || 17197403 markings, 594068250 edges, 4944 markings/sec, 2670 secs
lola: STP completed || 16 tries, 15192617 fired transitions, 2675 secs || 17222854 markings, 595137727 edges, 5090 markings/sec, 2675 secs
lola: STP completed || 16 tries, 15221055 fired transitions, 2680 secs || 17247588 markings, 596208612 edges, 4947 markings/sec, 2680 secs
lola: STP completed || 16 tries, 15249480 fired transitions, 2685 secs || 17270747 markings, 597250289 edges, 4632 markings/sec, 2685 secs
lola: STP completed || 16 tries, 15278079 fired transitions, 2690 secs || 17295539 markings, 598295247 edges, 4958 markings/sec, 2690 secs
lola: STP completed || 16 tries, 15306631 fired transitions, 2695 secs || 17323318 markings, 599381893 edges, 5556 markings/sec, 2695 secs
lola: STP completed || 16 tries, 15335185 fired transitions, 2700 secs || 17349871 markings, 600454811 edges, 5311 markings/sec, 2700 secs
lola: STP completed || 16 tries, 15363710 fired transitions, 2705 secs || 17377236 markings, 601531673 edges, 5473 markings/sec, 2705 secs
lola: STP completed || 16 tries, 15392106 fired transitions, 2710 secs || 17405283 markings, 602622120 edges, 5609 markings/sec, 2710 secs
lola: STP completed || 16 tries, 15420484 fired transitions, 2715 secs || 17433609 markings, 603721987 edges, 5665 markings/sec, 2715 secs
lola: STP completed || 16 tries, 15449096 fired transitions, 2720 secs || 17463336 markings, 604818662 edges, 5945 markings/sec, 2720 secs
lola: STP completed || 16 tries, 15477528 fired transitions, 2725 secs || 17495466 markings, 605934437 edges, 6426 markings/sec, 2725 secs
lola: STP completed || 16 tries, 15505981 fired transitions, 2730 secs || 17535066 markings, 607106449 edges, 7920 markings/sec, 2730 secs
lola: STP completed || 16 tries, 15534653 fired transitions, 2735 secs || 17573317 markings, 608261762 edges, 7650 markings/sec, 2735 secs
lola: STP completed || 16 tries, 15563154 fired transitions, 2740 secs || 17613180 markings, 609432125 edges, 7973 markings/sec, 2740 secs
lola: STP completed || 16 tries, 15591560 fired transitions, 2745 secs || 17651611 markings, 610592890 edges, 7686 markings/sec, 2745 secs
lola: STP completed || 16 tries, 15619819 fired transitions, 2750 secs || 17682703 markings, 611702336 edges, 6218 markings/sec, 2750 secs
lola: STP completed || 16 tries, 15648079 fired transitions, 2755 secs || 17706644 markings, 612747969 edges, 4788 markings/sec, 2755 secs
lola: STP completed || 16 tries, 15676338 fired transitions, 2760 secs || 17732859 markings, 613811544 edges, 5243 markings/sec, 2760 secs
lola: STP completed || 16 tries, 15704355 fired transitions, 2765 secs || 17757690 markings, 614861340 edges, 4966 markings/sec, 2765 secs
lola: STP completed || 16 tries, 15732537 fired transitions, 2770 secs || 17781483 markings, 615910038 edges, 4759 markings/sec, 2770 secs
lola: STP completed || 16 tries, 15760792 fired transitions, 2775 secs || 17807918 markings, 616975844 edges, 5287 markings/sec, 2775 secs
lola: STP completed || 16 tries, 15789167 fired transitions, 2780 secs || 17831785 markings, 618034204 edges, 4773 markings/sec, 2780 secs
lola: STP completed || 16 tries, 15817564 fired transitions, 2785 secs || 17856198 markings, 619078805 edges, 4883 markings/sec, 2785 secs
lola: STP completed || 16 tries, 15846166 fired transitions, 2790 secs || 17880434 markings, 620117002 edges, 4847 markings/sec, 2790 secs
lola: STP completed || 16 tries, 15874614 fired transitions, 2795 secs || 17905552 markings, 621165181 edges, 5024 markings/sec, 2795 secs
lola: STP completed || 16 tries, 15902947 fired transitions, 2800 secs || 17930959 markings, 622221908 edges, 5081 markings/sec, 2800 secs
lola: STP completed || 16 tries, 15931101 fired transitions, 2805 secs || 17959620 markings, 623306830 edges, 5732 markings/sec, 2805 secs
lola: STP completed || 16 tries, 15959278 fired transitions, 2810 secs || 17992014 markings, 624424815 edges, 6479 markings/sec, 2810 secs
lola: STP completed || 16 tries, 15987757 fired transitions, 2815 secs || 18027026 markings, 625552706 edges, 7002 markings/sec, 2815 secs
lola: STP completed || 17 tries, 16016350 fired transitions, 2820 secs || 18063848 markings, 626700259 edges, 7364 markings/sec, 2820 secs
lola: STP completed || 17 tries, 16044766 fired transitions, 2825 secs || 18087582 markings, 627741156 edges, 4747 markings/sec, 2825 secs
lola: STP completed || 17 tries, 16073230 fired transitions, 2830 secs || 18113587 markings, 628828197 edges, 5201 markings/sec, 2830 secs
lola: STP completed || 17 tries, 16101580 fired transitions, 2835 secs || 18138714 markings, 629877244 edges, 5025 markings/sec, 2835 secs
lola: STP completed || 17 tries, 16129869 fired transitions, 2840 secs || 18162747 markings, 630939541 edges, 4807 markings/sec, 2840 secs
lola: STP completed || 17 tries, 16158426 fired transitions, 2845 secs || 18187027 markings, 632014767 edges, 4856 markings/sec, 2845 secs
lola: STP completed || 17 tries, 16187136 fired transitions, 2850 secs || 18211917 markings, 633082852 edges, 4978 markings/sec, 2850 secs
lola: STP completed || 17 tries, 16215845 fired transitions, 2855 secs || 18239890 markings, 634174606 edges, 5595 markings/sec, 2855 secs
lola: STP completed || 17 tries, 16244412 fired transitions, 2860 secs || 18263455 markings, 635225995 edges, 4713 markings/sec, 2860 secs
lola: STP completed || 17 tries, 16273125 fired transitions, 2865 secs || 18290426 markings, 636306517 edges, 5394 markings/sec, 2865 secs
lola: STP completed || 17 tries, 16301640 fired transitions, 2870 secs || 18324813 markings, 637441663 edges, 6877 markings/sec, 2870 secs
lola: STP completed || 17 tries, 16330025 fired transitions, 2875 secs || 18362740 markings, 638597181 edges, 7585 markings/sec, 2875 secs
lola: STP completed || 17 tries, 16358497 fired transitions, 2880 secs || 18401748 markings, 639779039 edges, 7802 markings/sec, 2880 secs
lola: STP completed || 17 tries, 16386662 fired transitions, 2885 secs || 18439927 markings, 640941399 edges, 7636 markings/sec, 2885 secs
lola: STP completed || 17 tries, 16415008 fired transitions, 2890 secs || 18473619 markings, 642056632 edges, 6738 markings/sec, 2890 secs
lola: STP completed || 17 tries, 16443565 fired transitions, 2895 secs || 18508523 markings, 643190064 edges, 6981 markings/sec, 2895 secs
lola: STP completed || 17 tries, 16472015 fired transitions, 2900 secs || 18545125 markings, 644328080 edges, 7320 markings/sec, 2900 secs
lola: STP completed || 17 tries, 16500377 fired transitions, 2905 secs || 18583185 markings, 645480472 edges, 7612 markings/sec, 2905 secs
lola: STP completed || 17 tries, 16528821 fired transitions, 2910 secs || 18618836 markings, 646610751 edges, 7130 markings/sec, 2910 secs
lola: STP completed || 17 tries, 16557381 fired transitions, 2915 secs || 18646634 markings, 647686359 edges, 5560 markings/sec, 2915 secs
lola: STP completed || 17 tries, 16585773 fired transitions, 2920 secs || 18677062 markings, 648781815 edges, 6086 markings/sec, 2920 secs
lola: STP completed || 17 tries, 16614247 fired transitions, 2925 secs || 18709876 markings, 649895536 edges, 6563 markings/sec, 2925 secs
lola: STP completed || 17 tries, 16642785 fired transitions, 2930 secs || 18749330 markings, 651061951 edges, 7891 markings/sec, 2930 secs
lola: STP completed || 17 tries, 16671193 fired transitions, 2935 secs || 18787604 markings, 652217637 edges, 7655 markings/sec, 2935 secs
lola: STP completed || 17 tries, 16699802 fired transitions, 2940 secs || 18815070 markings, 653290670 edges, 5493 markings/sec, 2940 secs
lola: STP completed || 17 tries, 16728377 fired transitions, 2945 secs || 18854073 markings, 654451182 edges, 7801 markings/sec, 2945 secs
lola: STP completed || 17 tries, 16756727 fired transitions, 2950 secs || 18892220 markings, 655607428 edges, 7629 markings/sec, 2950 secs
lola: STP completed || 17 tries, 16784965 fired transitions, 2955 secs || 18931001 markings, 656764835 edges, 7756 markings/sec, 2955 secs
lola: STP completed || 17 tries, 16813247 fired transitions, 2960 secs || 18971214 markings, 657936173 edges, 8043 markings/sec, 2960 secs
lola: STP completed || 17 tries, 16841592 fired transitions, 2965 secs || 19011246 markings, 659106294 edges, 8006 markings/sec, 2965 secs
lola: STP completed || 17 tries, 16869903 fired transitions, 2970 secs || 19053480 markings, 660300047 edges, 8447 markings/sec, 2970 secs
lola: STP completed || 17 tries, 16898155 fired transitions, 2975 secs || 19092642 markings, 661467387 edges, 7832 markings/sec, 2975 secs
lola: STP completed || 17 tries, 16926247 fired transitions, 2980 secs || 19131351 markings, 662629406 edges, 7742 markings/sec, 2980 secs
lola: STP completed || 17 tries, 16954667 fired transitions, 2985 secs || 19170989 markings, 663801406 edges, 7928 markings/sec, 2985 secs
lola: STP completed || 17 tries, 16982920 fired transitions, 2990 secs || 19206320 markings, 664938801 edges, 7066 markings/sec, 2990 secs
lola: STP completed || 18 tries, 17011073 fired transitions, 2995 secs || 19237625 markings, 666049939 edges, 6261 markings/sec, 2995 secs
lola: STP completed || 18 tries, 17039359 fired transitions, 3000 secs || 19266466 markings, 667143763 edges, 5768 markings/sec, 3000 secs
lola: STP completed || 18 tries, 17067567 fired transitions, 3005 secs || 19299899 markings, 668271309 edges, 6687 markings/sec, 3005 secs
lola: STP completed || 18 tries, 17095742 fired transitions, 3010 secs || 19337707 markings, 669420909 edges, 7562 markings/sec, 3010 secs
lola: STP completed || 18 tries, 17123915 fired transitions, 3015 secs || 19370672 markings, 670538269 edges, 6593 markings/sec, 3015 secs
lola: STP completed || 18 tries, 17152188 fired transitions, 3020 secs || 19404852 markings, 671671967 edges, 6836 markings/sec, 3020 secs
lola: STP completed || 18 tries, 17180463 fired transitions, 3025 secs || 19441330 markings, 672820862 edges, 7296 markings/sec, 3025 secs
lola: STP completed || 18 tries, 17208597 fired transitions, 3030 secs || 19474175 markings, 673935842 edges, 6569 markings/sec, 3030 secs
lola: STP completed || 18 tries, 17236830 fired transitions, 3035 secs || 19511754 markings, 675088083 edges, 7516 markings/sec, 3035 secs
lola: STP completed || 18 tries, 17264996 fired transitions, 3040 secs || 19543648 markings, 676195244 edges, 6379 markings/sec, 3040 secs
lola: STP completed || 18 tries, 17293236 fired transitions, 3045 secs || 19575046 markings, 677288275 edges, 6280 markings/sec, 3045 secs
lola: STP completed || 18 tries, 17321489 fired transitions, 3050 secs || 19611074 markings, 678439071 edges, 7206 markings/sec, 3050 secs
lola: STP completed || 18 tries, 17349627 fired transitions, 3055 secs || 19649878 markings, 679605930 edges, 7761 markings/sec, 3055 secs
lola: STP completed || 18 tries, 17377858 fired transitions, 3060 secs || 19689501 markings, 680775158 edges, 7925 markings/sec, 3060 secs
lola: STP completed || 18 tries, 17406032 fired transitions, 3065 secs || 19729222 markings, 681946285 edges, 7944 markings/sec, 3065 secs
lola: STP completed || 18 tries, 17434306 fired transitions, 3070 secs || 19770347 markings, 683126374 edges, 8225 markings/sec, 3070 secs
lola: STP completed || 18 tries, 17462813 fired transitions, 3075 secs || 19810351 markings, 684294614 edges, 8001 markings/sec, 3075 secs
lola: STP completed || 18 tries, 17491398 fired transitions, 3080 secs || 19841946 markings, 685406497 edges, 6319 markings/sec, 3080 secs
lola: STP completed || 18 tries, 17519609 fired transitions, 3085 secs || 19875560 markings, 686527677 edges, 6723 markings/sec, 3085 secs
lola: STP completed || 18 tries, 17548133 fired transitions, 3090 secs || 19910521 markings, 687659518 edges, 6992 markings/sec, 3090 secs
lola: STP completed || 18 tries, 17576586 fired transitions, 3095 secs || 19945008 markings, 688790186 edges, 6897 markings/sec, 3095 secs
lola: STP completed || 18 tries, 17605070 fired transitions, 3100 secs || 19985786 markings, 689953433 edges, 8156 markings/sec, 3100 secs
lola: STP completed || 18 tries, 17633312 fired transitions, 3105 secs || 20022535 markings, 691087485 edges, 7350 markings/sec, 3105 secs
lola: STP completed || 18 tries, 17660942 fired transitions, 3110 secs || 20054684 markings, 692189420 edges, 6430 markings/sec, 3110 secs
lola: STP completed || 18 tries, 17689518 fired transitions, 3115 secs || 20090660 markings, 693263729 edges, 7195 markings/sec, 3115 secs
lola: STP completed || 18 tries, 17717989 fired transitions, 3120 secs || 20130654 markings, 694428790 edges, 7999 markings/sec, 3120 secs
lola: STP completed || 18 tries, 17746538 fired transitions, 3125 secs || 20161707 markings, 695526552 edges, 6211 markings/sec, 3125 secs
lola: STP completed || 18 tries, 17775147 fired transitions, 3130 secs || 20199613 markings, 696673431 edges, 7581 markings/sec, 3130 secs
lola: STP completed || 18 tries, 17802700 fired transitions, 3135 secs || 20228078 markings, 697735215 edges, 5693 markings/sec, 3135 secs
lola: STP completed || 18 tries, 17831299 fired transitions, 3140 secs || 20256949 markings, 698761377 edges, 5774 markings/sec, 3140 secs
lola: STP completed || 18 tries, 17859902 fired transitions, 3145 secs || 20289198 markings, 699870095 edges, 6450 markings/sec, 3145 secs
lola: STP completed || 18 tries, 17888206 fired transitions, 3150 secs || 20325439 markings, 701014183 edges, 7248 markings/sec, 3150 secs
lola: STP completed || 18 tries, 17916721 fired transitions, 3155 secs || 20365932 markings, 702178884 edges, 8099 markings/sec, 3155 secs
lola: STP completed || 18 tries, 17944886 fired transitions, 3160 secs || 20405504 markings, 703341412 edges, 7914 markings/sec, 3160 secs
lola: STP completed || 18 tries, 17969129 fired transitions, 3165 secs || 20442685 markings, 704472761 edges, 7436 markings/sec, 3165 secs
lola: STP completed || 18 tries, 17996054 fired transitions, 3170 secs || 20481804 markings, 705633258 edges, 7824 markings/sec, 3170 secs
lola: STP completed || 19 tries, 18023017 fired transitions, 3175 secs || 20519807 markings, 706765181 edges, 7601 markings/sec, 3175 secs
lola: STP completed || 19 tries, 18050201 fired transitions, 3180 secs || 20552645 markings, 707863689 edges, 6568 markings/sec, 3180 secs
lola: STP completed || 19 tries, 18077045 fired transitions, 3185 secs || 20590439 markings, 709006424 edges, 7559 markings/sec, 3185 secs
lola: STP completed || 19 tries, 18103757 fired transitions, 3190 secs || 20627869 markings, 710159120 edges, 7486 markings/sec, 3190 secs
lola: STP completed || 19 tries, 18129856 fired transitions, 3195 secs || 20661882 markings, 711275580 edges, 6803 markings/sec, 3195 secs
lola: STP completed || 19 tries, 18156954 fired transitions, 3200 secs || 20697467 markings, 712392775 edges, 7117 markings/sec, 3200 secs
lola: STP completed || 19 tries, 18182844 fired transitions, 3205 secs || 20726355 markings, 713451662 edges, 5778 markings/sec, 3205 secs
lola: STP completed || 19 tries, 18208011 fired transitions, 3210 secs || 20760806 markings, 714572804 edges, 6890 markings/sec, 3210 secs
lola: STP completed || 19 tries, 18233965 fired transitions, 3215 secs || 20789919 markings, 715652658 edges, 5823 markings/sec, 3215 secs
lola: STP completed || 19 tries, 18259116 fired transitions, 3220 secs || 20821015 markings, 716761470 edges, 6219 markings/sec, 3220 secs
lola: STP completed || 19 tries, 18284845 fired transitions, 3225 secs || 20858908 markings, 717908395 edges, 7579 markings/sec, 3225 secs
lola: STP completed || 19 tries, 18311609 fired transitions, 3230 secs || 20898871 markings, 719074489 edges, 7993 markings/sec, 3230 secs
lola: STP completed || 19 tries, 18336459 fired transitions, 3235 secs || 20938288 markings, 720232772 edges, 7883 markings/sec, 3235 secs
lola: STP completed || 19 tries, 18360713 fired transitions, 3240 secs || 20981619 markings, 721418818 edges, 8666 markings/sec, 3240 secs
lola: STP completed || 19 tries, 18385809 fired transitions, 3245 secs || 21020965 markings, 722581156 edges, 7869 markings/sec, 3245 secs
lola: STP completed || 19 tries, 18412371 fired transitions, 3250 secs || 21047820 markings, 723649222 edges, 5371 markings/sec, 3250 secs
lola: STP completed || 19 tries, 18440825 fired transitions, 3255 secs || 21090057 markings, 724827351 edges, 8447 markings/sec, 3255 secs
lola: STP completed || 19 tries, 18469426 fired transitions, 3260 secs || 21123977 markings, 725958878 edges, 6784 markings/sec, 3260 secs
lola: STP completed || 19 tries, 18498046 fired transitions, 3265 secs || 21161756 markings, 727114250 edges, 7556 markings/sec, 3265 secs
lola: STP completed || 19 tries, 18526718 fired transitions, 3270 secs || 21202530 markings, 728284947 edges, 8155 markings/sec, 3270 secs
lola: STP completed || 19 tries, 18555231 fired transitions, 3275 secs || 21241995 markings, 729449644 edges, 7893 markings/sec, 3275 secs
lola: STP completed || 19 tries, 18583693 fired transitions, 3280 secs || 21279441 markings, 730608055 edges, 7489 markings/sec, 3280 secs
lola: STP completed || 19 tries, 18612320 fired transitions, 3285 secs || 21318845 markings, 731800778 edges, 7881 markings/sec, 3285 secs
lola: STP completed || 19 tries, 18640939 fired transitions, 3290 secs || 21351999 markings, 732951571 edges, 6631 markings/sec, 3290 secs
lola: STP completed || 19 tries, 18669504 fired transitions, 3295 secs || 21390718 markings, 734132420 edges, 7744 markings/sec, 3295 secs
lola: STP completed || 19 tries, 18697740 fired transitions, 3300 secs || 21429633 markings, 735297813 edges, 7783 markings/sec, 3300 secs
lola: STP completed || 19 tries, 18725832 fired transitions, 3305 secs || 21470677 markings, 736474337 edges, 8209 markings/sec, 3305 secs
lola: STP completed || 19 tries, 18753924 fired transitions, 3310 secs || 21513716 markings, 737675153 edges, 8608 markings/sec, 3310 secs
lola: STP completed || 19 tries, 18782084 fired transitions, 3315 secs || 21553116 markings, 738844463 edges, 7880 markings/sec, 3315 secs
lola: STP completed || 19 tries, 18810207 fired transitions, 3320 secs || 21586580 markings, 739968672 edges, 6693 markings/sec, 3320 secs
lola: STP completed || 19 tries, 18838407 fired transitions, 3325 secs || 21623720 markings, 741059521 edges, 7428 markings/sec, 3325 secs
lola: STP completed || 19 tries, 18866876 fired transitions, 3330 secs || 21662543 markings, 742212003 edges, 7765 markings/sec, 3330 secs
lola: STP completed || 19 tries, 18895424 fired transitions, 3335 secs || 21703984 markings, 743390995 edges, 8288 markings/sec, 3335 secs
lola: STP completed || 19 tries, 18924002 fired transitions, 3340 secs || 21739351 markings, 744524332 edges, 7073 markings/sec, 3340 secs
lola: STP completed || 19 tries, 18952294 fired transitions, 3345 secs || 21779405 markings, 745692459 edges, 8011 markings/sec, 3345 secs
lola: STP completed || 19 tries, 18980883 fired transitions, 3350 secs || 21810102 markings, 746776123 edges, 6139 markings/sec, 3350 secs
lola: STP completed || 20 tries, 19009540 fired transitions, 3355 secs || 21841724 markings, 747880066 edges, 6324 markings/sec, 3355 secs
lola: STP completed || 20 tries, 19038051 fired transitions, 3360 secs || 21875357 markings, 749000786 edges, 6727 markings/sec, 3360 secs
lola: STP completed || 20 tries, 19066605 fired transitions, 3365 secs || 21912970 markings, 750145869 edges, 7523 markings/sec, 3365 secs
lola: STP completed || 20 tries, 19094284 fired transitions, 3370 secs || 21952711 markings, 751283899 edges, 7948 markings/sec, 3370 secs
lola: STP completed || 20 tries, 19122034 fired transitions, 3375 secs || 21991289 markings, 752366587 edges, 7716 markings/sec, 3375 secs
lola: STP completed || 20 tries, 19150578 fired transitions, 3380 secs || 22020692 markings, 753444884 edges, 5881 markings/sec, 3380 secs
lola: STP completed || 20 tries, 19179264 fired transitions, 3385 secs || 22052541 markings, 754545052 edges, 6370 markings/sec, 3385 secs
lola: STP completed || 20 tries, 19207813 fired transitions, 3390 secs || 22084406 markings, 755650414 edges, 6373 markings/sec, 3390 secs
lola: STP completed || 20 tries, 19235457 fired transitions, 3395 secs || 22110778 markings, 756686938 edges, 5274 markings/sec, 3395 secs
lola: STP completed || 20 tries, 19263550 fired transitions, 3400 secs || 22138610 markings, 757724060 edges, 5566 markings/sec, 3400 secs
lola: STP completed || 20 tries, 19292110 fired transitions, 3405 secs || 22169606 markings, 758832092 edges, 6199 markings/sec, 3405 secs
lola: STP completed || 20 tries, 19320424 fired transitions, 3410 secs || 22208245 markings, 759992181 edges, 7728 markings/sec, 3410 secs
lola: STP completed || 20 tries, 19344973 fired transitions, 3415 secs || 22243093 markings, 761128086 edges, 6970 markings/sec, 3415 secs
lola: STP completed || 20 tries, 19373625 fired transitions, 3420 secs || 22281725 markings, 762277593 edges, 7726 markings/sec, 3420 secs
lola: STP completed || 20 tries, 19402193 fired transitions, 3425 secs || 22316514 markings, 763404760 edges, 6958 markings/sec, 3425 secs
lola: STP completed || 20 tries, 19430627 fired transitions, 3430 secs || 22355083 markings, 764562353 edges, 7714 markings/sec, 3430 secs
lola: STP completed || 20 tries, 19459142 fired transitions, 3435 secs || 22390794 markings, 765691268 edges, 7142 markings/sec, 3435 secs
lola: STP completed || 20 tries, 19487624 fired transitions, 3440 secs || 22425956 markings, 766827860 edges, 7032 markings/sec, 3440 secs
lola: STP completed || 20 tries, 19516168 fired transitions, 3445 secs || 22464365 markings, 767987147 edges, 7682 markings/sec, 3445 secs
lola: STP completed || 20 tries, 19544869 fired transitions, 3450 secs || 22502483 markings, 769138099 edges, 7624 markings/sec, 3450 secs
lola: STP completed || 20 tries, 19573436 fired transitions, 3455 secs || 22542339 markings, 770298058 edges, 7971 markings/sec, 3455 secs
lola: STP completed || 20 tries, 19601995 fired transitions, 3460 secs || 22581589 markings, 771459478 edges, 7850 markings/sec, 3460 secs
lola: STP completed || 20 tries, 19630580 fired transitions, 3465 secs || 22619439 markings, 772615687 edges, 7570 markings/sec, 3465 secs
lola: STP completed || 20 tries, 19659106 fired transitions, 3470 secs || 22662102 markings, 773794588 edges, 8533 markings/sec, 3470 secs
lola: STP completed || 20 tries, 19687556 fired transitions, 3475 secs || 22700256 markings, 774945290 edges, 7631 markings/sec, 3475 secs
lola: STP completed || 20 tries, 19716366 fired transitions, 3480 secs || 22732840 markings, 776068706 edges, 6517 markings/sec, 3480 secs
lola: STP completed || 20 tries, 19745131 fired transitions, 3485 secs || 22766786 markings, 777215098 edges, 6789 markings/sec, 3485 secs
lola: STP completed || 20 tries, 19773264 fired transitions, 3490 secs || 22807756 markings, 778400138 edges, 8194 markings/sec, 3490 secs
lola: STP completed || 20 tries, 19801518 fired transitions, 3495 secs || 22849476 markings, 779591362 edges, 8344 markings/sec, 3495 secs
lola: STP completed || 20 tries, 19829735 fired transitions, 3500 secs || 22888976 markings, 780759046 edges, 7900 markings/sec, 3500 secs
lola: STP completed || 20 tries, 19858040 fired transitions, 3505 secs || 22926089 markings, 781908158 edges, 7423 markings/sec, 3505 secs
lola: STP completed || 20 tries, 19886525 fired transitions, 3510 secs || 22969029 markings, 783106940 edges, 8588 markings/sec, 3510 secs
lola: STP completed || 20 tries, 19914595 fired transitions, 3515 secs || 23005379 markings, 784256968 edges, 7270 markings/sec, 3515 secs
lola: STP completed || 20 tries, 19942659 fired transitions, 3520 secs || 23047435 markings, 785441968 edges, 8411 markings/sec, 3520 secs
lola: STP completed || 20 tries, 19971098 fired transitions, 3525 secs || 23085098 markings, 786599563 edges, 7533 markings/sec, 3525 secs
lola: STP completed || 20 tries, 19999529 fired transitions, 3530 secs || 23125231 markings, 787772747 edges, 8027 markings/sec, 3530 secs
lola: STP completed || 21 tries, 20027754 fired transitions, 3535 secs || 23166778 markings, 788952210 edges, 8309 markings/sec, 3535 secs
lola: STP completed || 21 tries, 20055840 fired transitions, 3540 secs || 23202597 markings, 790101871 edges, 7164 markings/sec, 3540 secs
lola: STP completed || 21 tries, 20083901 fired transitions, 3545 secs || 23240816 markings, 791259807 edges, 7644 markings/sec, 3545 secs
lola: STP completed || 21 tries, 20112055 fired transitions, 3550 secs || 23284192 markings, 792453614 edges, 8675 markings/sec, 3550 secs
lola: STP completed || 21 tries, 20140289 fired transitions, 3555 secs || 23322788 markings, 793623885 edges, 7719 markings/sec, 3555 secs
lola: STP completed || 21 tries, 20168436 fired transitions, 3560 secs || 23358026 markings, 794760241 edges, 7048 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 7829296 KB
lola: time consumption: 3570 seconds

BK_STOP 1526608619029

--------------------
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="DLCround-PT-06a"
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/DLCround-PT-06a.tgz
mv DLCround-PT-06a 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 DLCround-PT-06a, 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 r064-smll-152649735100048"
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 ;