About the Execution of LoLA for DLCround-PT-11a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5421.370 | 3570632.00 | 7196314.00 | 7251.90 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
....................
/home/mcc/execution
total 928K
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K 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 18K 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 762K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-11a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735200118
=====================================================================
--------------------
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-11a-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526658431567
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-11a 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-11a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DLCround-PT-11a @ 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: 3370/65536 symbol table entries, 452 collisions
lola: preprocessing...
lola: Size of bit vector: 377
lola: finding significant places
lola: 377 places, 2993 transitions, 133 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2646 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-11a-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: 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: STP: formula with 43058 variables and 186873 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: computed 81 generators (24 in search tree, 57 by composition)
lola: representing 1.83937E+11 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 7681 fired transitions, 0 secs || 12500 markings, 766045 edges, 2500 markings/sec, 0 secs
lola: STP completed || 1 tries, 16673 fired transitions, 5 secs || 27110 markings, 1647488 edges, 2922 markings/sec, 5 secs
lola: STP completed || 1 tries, 25660 fired transitions, 10 secs || 42586 markings, 2534406 edges, 3095 markings/sec, 10 secs
lola: STP completed || 1 tries, 34656 fired transitions, 15 secs || 57578 markings, 3415760 edges, 2998 markings/sec, 15 secs
lola: STP completed || 1 tries, 43630 fired transitions, 20 secs || 72786 markings, 4294536 edges, 3042 markings/sec, 20 secs
lola: STP completed || 1 tries, 52584 fired transitions, 25 secs || 88531 markings, 5173774 edges, 3149 markings/sec, 25 secs
lola: STP completed || 1 tries, 61559 fired transitions, 30 secs || 104857 markings, 6060418 edges, 3265 markings/sec, 30 secs
lola: STP completed || 1 tries, 70570 fired transitions, 35 secs || 120245 markings, 6938624 edges, 3078 markings/sec, 35 secs
lola: STP completed || 1 tries, 79597 fired transitions, 40 secs || 135089 markings, 7815720 edges, 2969 markings/sec, 40 secs
lola: STP completed || 1 tries, 88557 fired transitions, 45 secs || 150285 markings, 8688605 edges, 3039 markings/sec, 45 secs
lola: STP completed || 1 tries, 97443 fired transitions, 50 secs || 165974 markings, 9567214 edges, 3138 markings/sec, 50 secs
lola: STP completed || 1 tries, 106389 fired transitions, 55 secs || 181386 markings, 10446146 edges, 3082 markings/sec, 55 secs
lola: STP completed || 1 tries, 115350 fired transitions, 60 secs || 196602 markings, 11326226 edges, 3043 markings/sec, 60 secs
lola: STP completed || 1 tries, 124330 fired transitions, 65 secs || 211076 markings, 12204805 edges, 2895 markings/sec, 65 secs
lola: STP completed || 1 tries, 133271 fired transitions, 70 secs || 226670 markings, 13087535 edges, 3119 markings/sec, 70 secs
lola: STP completed || 1 tries, 142228 fired transitions, 75 secs || 242458 markings, 13966452 edges, 3158 markings/sec, 75 secs
lola: STP completed || 1 tries, 151244 fired transitions, 80 secs || 258050 markings, 14853331 edges, 3118 markings/sec, 80 secs
lola: STP completed || 1 tries, 160196 fired transitions, 85 secs || 273505 markings, 15737540 edges, 3091 markings/sec, 85 secs
lola: STP completed || 1 tries, 169193 fired transitions, 90 secs || 288821 markings, 16618450 edges, 3063 markings/sec, 90 secs
lola: STP completed || 1 tries, 178183 fired transitions, 95 secs || 303940 markings, 17501112 edges, 3024 markings/sec, 95 secs
lola: STP completed || 1 tries, 187128 fired transitions, 100 secs || 319406 markings, 18381677 edges, 3093 markings/sec, 100 secs
lola: STP completed || 1 tries, 195898 fired transitions, 105 secs || 335512 markings, 19246980 edges, 3221 markings/sec, 105 secs
lola: STP completed || 1 tries, 204660 fired transitions, 110 secs || 349261 markings, 20086781 edges, 2750 markings/sec, 110 secs
lola: STP completed || 1 tries, 213360 fired transitions, 115 secs || 364174 markings, 20926694 edges, 2983 markings/sec, 115 secs
lola: STP completed || 1 tries, 222012 fired transitions, 120 secs || 379324 markings, 21763465 edges, 3030 markings/sec, 120 secs
lola: STP completed || 1 tries, 230364 fired transitions, 125 secs || 394878 markings, 22633101 edges, 3111 markings/sec, 125 secs
lola: STP completed || 1 tries, 239285 fired transitions, 130 secs || 409787 markings, 23512706 edges, 2982 markings/sec, 130 secs
lola: STP completed || 1 tries, 248228 fired transitions, 135 secs || 424662 markings, 24386902 edges, 2975 markings/sec, 135 secs
lola: STP completed || 1 tries, 257153 fired transitions, 140 secs || 441003 markings, 25269213 edges, 3268 markings/sec, 140 secs
lola: STP completed || 1 tries, 266070 fired transitions, 145 secs || 456967 markings, 26158605 edges, 3193 markings/sec, 145 secs
lola: STP completed || 1 tries, 275068 fired transitions, 150 secs || 472545 markings, 27045917 edges, 3116 markings/sec, 150 secs
lola: STP completed || 1 tries, 284041 fired transitions, 155 secs || 488155 markings, 27932876 edges, 3122 markings/sec, 155 secs
lola: STP completed || 1 tries, 292982 fired transitions, 160 secs || 504513 markings, 28815710 edges, 3272 markings/sec, 160 secs
lola: STP completed || 1 tries, 301979 fired transitions, 165 secs || 520547 markings, 29705606 edges, 3207 markings/sec, 165 secs
lola: STP completed || 1 tries, 310942 fired transitions, 170 secs || 536557 markings, 30588731 edges, 3202 markings/sec, 170 secs
lola: STP completed || 1 tries, 319948 fired transitions, 175 secs || 551428 markings, 31458886 edges, 2974 markings/sec, 175 secs
lola: STP completed || 1 tries, 328894 fired transitions, 180 secs || 566218 markings, 32331790 edges, 2958 markings/sec, 180 secs
lola: STP completed || 1 tries, 337491 fired transitions, 185 secs || 581324 markings, 33168407 edges, 3021 markings/sec, 185 secs
lola: STP completed || 1 tries, 346210 fired transitions, 190 secs || 596101 markings, 34045777 edges, 2955 markings/sec, 190 secs
lola: STP completed || 1 tries, 355182 fired transitions, 195 secs || 612342 markings, 34928887 edges, 3248 markings/sec, 195 secs
lola: STP completed || 1 tries, 364061 fired transitions, 200 secs || 628490 markings, 35808753 edges, 3230 markings/sec, 200 secs
lola: STP completed || 1 tries, 372931 fired transitions, 205 secs || 643315 markings, 36678227 edges, 2965 markings/sec, 205 secs
lola: STP completed || 1 tries, 381804 fired transitions, 210 secs || 659767 markings, 37565549 edges, 3290 markings/sec, 210 secs
lola: STP completed || 1 tries, 390872 fired transitions, 215 secs || 673272 markings, 38335260 edges, 2701 markings/sec, 215 secs
lola: STP completed || 1 tries, 399937 fired transitions, 220 secs || 689170 markings, 39209927 edges, 3180 markings/sec, 220 secs
lola: STP completed || 1 tries, 408982 fired transitions, 225 secs || 704205 markings, 40073855 edges, 3007 markings/sec, 225 secs
lola: STP completed || 1 tries, 418043 fired transitions, 230 secs || 719753 markings, 40949249 edges, 3110 markings/sec, 230 secs
lola: STP completed || 1 tries, 427117 fired transitions, 235 secs || 735111 markings, 41814835 edges, 3072 markings/sec, 235 secs
lola: STP completed || 1 tries, 436180 fired transitions, 240 secs || 751353 markings, 42689283 edges, 3248 markings/sec, 240 secs
lola: STP completed || 1 tries, 445336 fired transitions, 245 secs || 767258 markings, 43553316 edges, 3181 markings/sec, 245 secs
lola: STP completed || 1 tries, 454351 fired transitions, 250 secs || 782692 markings, 44423454 edges, 3087 markings/sec, 250 secs
lola: STP completed || 1 tries, 463428 fired transitions, 255 secs || 797536 markings, 45262238 edges, 2969 markings/sec, 255 secs
lola: STP completed || 1 tries, 472482 fired transitions, 260 secs || 812813 markings, 46133131 edges, 3055 markings/sec, 260 secs
lola: STP completed || 1 tries, 481608 fired transitions, 265 secs || 827035 markings, 47003792 edges, 2844 markings/sec, 265 secs
lola: STP completed || 1 tries, 490655 fired transitions, 270 secs || 841359 markings, 47831518 edges, 2865 markings/sec, 270 secs
lola: STP completed || 1 tries, 499724 fired transitions, 275 secs || 856982 markings, 48694331 edges, 3125 markings/sec, 275 secs
lola: STP completed || 1 tries, 508820 fired transitions, 280 secs || 872204 markings, 49558675 edges, 3044 markings/sec, 280 secs
lola: STP completed || 1 tries, 517822 fired transitions, 285 secs || 886278 markings, 50423572 edges, 2815 markings/sec, 285 secs
lola: STP completed || 1 tries, 526887 fired transitions, 290 secs || 901865 markings, 51286291 edges, 3117 markings/sec, 290 secs
lola: STP completed || 1 tries, 535976 fired transitions, 295 secs || 917309 markings, 52158344 edges, 3089 markings/sec, 295 secs
lola: STP completed || 1 tries, 545104 fired transitions, 300 secs || 932824 markings, 53031360 edges, 3103 markings/sec, 300 secs
lola: STP completed || 1 tries, 554215 fired transitions, 305 secs || 948545 markings, 53906570 edges, 3144 markings/sec, 305 secs
lola: STP completed || 1 tries, 563247 fired transitions, 310 secs || 964291 markings, 54780692 edges, 3149 markings/sec, 310 secs
lola: STP completed || 1 tries, 572315 fired transitions, 315 secs || 980317 markings, 55650643 edges, 3205 markings/sec, 315 secs
lola: STP completed || 1 tries, 581324 fired transitions, 320 secs || 996077 markings, 56518657 edges, 3152 markings/sec, 320 secs
lola: STP completed || 1 tries, 590386 fired transitions, 325 secs || 1011969 markings, 57392039 edges, 3178 markings/sec, 325 secs
lola: STP completed || 1 tries, 599426 fired transitions, 330 secs || 1026480 markings, 58194336 edges, 2902 markings/sec, 330 secs
lola: STP completed || 1 tries, 608462 fired transitions, 335 secs || 1042333 markings, 59073030 edges, 3171 markings/sec, 335 secs
lola: STP completed || 1 tries, 617522 fired transitions, 340 secs || 1057655 markings, 59944640 edges, 3064 markings/sec, 340 secs
lola: STP completed || 1 tries, 626678 fired transitions, 345 secs || 1072610 markings, 60818725 edges, 2991 markings/sec, 345 secs
lola: STP completed || 1 tries, 635720 fired transitions, 350 secs || 1087957 markings, 61693554 edges, 3069 markings/sec, 350 secs
lola: STP completed || 1 tries, 644807 fired transitions, 355 secs || 1103414 markings, 62564591 edges, 3091 markings/sec, 355 secs
lola: STP completed || 1 tries, 653877 fired transitions, 360 secs || 1118214 markings, 63449362 edges, 2960 markings/sec, 360 secs
lola: STP completed || 1 tries, 662915 fired transitions, 365 secs || 1132757 markings, 64324872 edges, 2909 markings/sec, 365 secs
lola: STP completed || 1 tries, 671972 fired transitions, 370 secs || 1148255 markings, 65198337 edges, 3100 markings/sec, 370 secs
lola: STP completed || 1 tries, 681082 fired transitions, 375 secs || 1163763 markings, 66073579 edges, 3102 markings/sec, 375 secs
lola: STP completed || 1 tries, 690141 fired transitions, 380 secs || 1179346 markings, 66953637 edges, 3117 markings/sec, 380 secs
lola: STP completed || 1 tries, 699172 fired transitions, 385 secs || 1194931 markings, 67830610 edges, 3117 markings/sec, 385 secs
lola: STP completed || 1 tries, 708237 fired transitions, 390 secs || 1210491 markings, 68703281 edges, 3112 markings/sec, 390 secs
lola: STP completed || 1 tries, 717350 fired transitions, 395 secs || 1226500 markings, 69585091 edges, 3202 markings/sec, 395 secs
lola: STP completed || 1 tries, 726385 fired transitions, 400 secs || 1241683 markings, 70453929 edges, 3037 markings/sec, 400 secs
lola: STP completed || 1 tries, 735509 fired transitions, 405 secs || 1257257 markings, 71327827 edges, 3115 markings/sec, 405 secs
lola: STP completed || 1 tries, 744541 fired transitions, 410 secs || 1273018 markings, 72209527 edges, 3152 markings/sec, 410 secs
lola: STP completed || 1 tries, 753567 fired transitions, 415 secs || 1287912 markings, 73080977 edges, 2979 markings/sec, 415 secs
lola: STP completed || 1 tries, 762632 fired transitions, 420 secs || 1302857 markings, 73945270 edges, 2989 markings/sec, 420 secs
lola: STP completed || 1 tries, 771718 fired transitions, 425 secs || 1318553 markings, 74824774 edges, 3139 markings/sec, 425 secs
lola: STP completed || 1 tries, 780768 fired transitions, 430 secs || 1333850 markings, 75697233 edges, 3059 markings/sec, 430 secs
lola: STP completed || 1 tries, 789872 fired transitions, 435 secs || 1349562 markings, 76570974 edges, 3142 markings/sec, 435 secs
lola: STP completed || 1 tries, 798937 fired transitions, 440 secs || 1364797 markings, 77437569 edges, 3047 markings/sec, 440 secs
lola: STP completed || 1 tries, 807988 fired transitions, 445 secs || 1381527 markings, 78313968 edges, 3346 markings/sec, 445 secs
lola: STP completed || 1 tries, 817060 fired transitions, 450 secs || 1397527 markings, 79183025 edges, 3200 markings/sec, 450 secs
lola: STP completed || 1 tries, 826131 fired transitions, 455 secs || 1413853 markings, 80068190 edges, 3265 markings/sec, 455 secs
lola: STP completed || 1 tries, 835151 fired transitions, 460 secs || 1429879 markings, 80953579 edges, 3205 markings/sec, 460 secs
lola: STP completed || 1 tries, 844189 fired transitions, 465 secs || 1445418 markings, 81826488 edges, 3108 markings/sec, 465 secs
lola: STP completed || 1 tries, 853187 fired transitions, 470 secs || 1461318 markings, 82700839 edges, 3180 markings/sec, 470 secs
lola: STP completed || 1 tries, 862212 fired transitions, 475 secs || 1476851 markings, 83564629 edges, 3107 markings/sec, 475 secs
lola: STP completed || 1 tries, 871250 fired transitions, 480 secs || 1493074 markings, 84449604 edges, 3245 markings/sec, 480 secs
lola: STP completed || 1 tries, 880283 fired transitions, 485 secs || 1509089 markings, 85323688 edges, 3203 markings/sec, 485 secs
lola: STP completed || 1 tries, 889310 fired transitions, 490 secs || 1525756 markings, 86202358 edges, 3333 markings/sec, 490 secs
lola: STP completed || 1 tries, 898418 fired transitions, 495 secs || 1541442 markings, 87086171 edges, 3137 markings/sec, 495 secs
lola: STP completed || 1 tries, 907578 fired transitions, 500 secs || 1557295 markings, 87976060 edges, 3171 markings/sec, 500 secs
lola: STP completed || 1 tries, 916346 fired transitions, 505 secs || 1573000 markings, 88811865 edges, 3141 markings/sec, 505 secs
lola: STP completed || 1 tries, 925434 fired transitions, 510 secs || 1587387 markings, 89628131 edges, 2877 markings/sec, 510 secs
lola: STP completed || 1 tries, 934373 fired transitions, 515 secs || 1602569 markings, 90482167 edges, 3036 markings/sec, 515 secs
lola: STP completed || 1 tries, 943359 fired transitions, 520 secs || 1618129 markings, 91352040 edges, 3112 markings/sec, 520 secs
lola: STP completed || 1 tries, 952359 fired transitions, 525 secs || 1634619 markings, 92239361 edges, 3298 markings/sec, 525 secs
lola: STP completed || 1 tries, 961346 fired transitions, 530 secs || 1650212 markings, 93114990 edges, 3119 markings/sec, 530 secs
lola: STP completed || 1 tries, 970280 fired transitions, 535 secs || 1666145 markings, 93994655 edges, 3187 markings/sec, 535 secs
lola: STP completed || 1 tries, 979236 fired transitions, 540 secs || 1681145 markings, 94868934 edges, 3000 markings/sec, 540 secs
lola: STP completed || 1 tries, 988199 fired transitions, 545 secs || 1696258 markings, 95736964 edges, 3023 markings/sec, 545 secs
lola: STP completed || 1 tries, 997137 fired transitions, 550 secs || 1711356 markings, 96603088 edges, 3020 markings/sec, 550 secs
lola: STP completed || 2 tries, 1006078 fired transitions, 555 secs || 1726778 markings, 97468239 edges, 3084 markings/sec, 555 secs
lola: STP completed || 2 tries, 1015007 fired transitions, 560 secs || 1742144 markings, 98342739 edges, 3073 markings/sec, 560 secs
lola: STP completed || 2 tries, 1023962 fired transitions, 565 secs || 1757626 markings, 99220974 edges, 3096 markings/sec, 565 secs
lola: STP completed || 2 tries, 1032938 fired transitions, 570 secs || 1773359 markings, 100087254 edges, 3147 markings/sec, 570 secs
lola: STP completed || 2 tries, 1041903 fired transitions, 575 secs || 1789153 markings, 100966084 edges, 3159 markings/sec, 575 secs
lola: STP completed || 2 tries, 1050556 fired transitions, 580 secs || 1803810 markings, 101812646 edges, 2931 markings/sec, 580 secs
lola: STP completed || 2 tries, 1059154 fired transitions, 585 secs || 1818433 markings, 102659220 edges, 2925 markings/sec, 585 secs
lola: STP completed || 2 tries, 1067266 fired transitions, 590 secs || 1832759 markings, 103505419 edges, 2865 markings/sec, 590 secs
lola: STP completed || 2 tries, 1075932 fired transitions, 595 secs || 1847328 markings, 104343580 edges, 2914 markings/sec, 595 secs
lola: STP completed || 2 tries, 1084733 fired transitions, 600 secs || 1861579 markings, 105159667 edges, 2850 markings/sec, 600 secs
lola: STP completed || 2 tries, 1093698 fired transitions, 605 secs || 1876889 markings, 106025330 edges, 3062 markings/sec, 605 secs
lola: STP completed || 2 tries, 1102661 fired transitions, 610 secs || 1892303 markings, 106898184 edges, 3083 markings/sec, 610 secs
lola: STP completed || 2 tries, 1111638 fired transitions, 615 secs || 1908117 markings, 107771631 edges, 3163 markings/sec, 615 secs
lola: STP completed || 2 tries, 1120595 fired transitions, 620 secs || 1923591 markings, 108639879 edges, 3095 markings/sec, 620 secs
lola: STP completed || 2 tries, 1129521 fired transitions, 625 secs || 1938664 markings, 109508681 edges, 3015 markings/sec, 625 secs
lola: STP completed || 2 tries, 1138494 fired transitions, 630 secs || 1954048 markings, 110378795 edges, 3077 markings/sec, 630 secs
lola: STP completed || 2 tries, 1147491 fired transitions, 635 secs || 1969719 markings, 111249840 edges, 3134 markings/sec, 635 secs
lola: STP completed || 2 tries, 1156531 fired transitions, 640 secs || 1984990 markings, 112122739 edges, 3054 markings/sec, 640 secs
lola: STP completed || 2 tries, 1165474 fired transitions, 645 secs || 2000782 markings, 112986724 edges, 3158 markings/sec, 645 secs
lola: STP completed || 2 tries, 1174449 fired transitions, 650 secs || 2017034 markings, 113862019 edges, 3250 markings/sec, 650 secs
lola: STP completed || 2 tries, 1183442 fired transitions, 655 secs || 2032991 markings, 114729177 edges, 3191 markings/sec, 655 secs
lola: STP completed || 2 tries, 1192416 fired transitions, 660 secs || 2049020 markings, 115596003 edges, 3206 markings/sec, 660 secs
lola: STP completed || 2 tries, 1201408 fired transitions, 665 secs || 2065286 markings, 116478895 edges, 3253 markings/sec, 665 secs
lola: STP completed || 2 tries, 1210419 fired transitions, 670 secs || 2081279 markings, 117344709 edges, 3199 markings/sec, 670 secs
lola: STP completed || 2 tries, 1219412 fired transitions, 675 secs || 2096587 markings, 118218452 edges, 3062 markings/sec, 675 secs
lola: STP completed || 2 tries, 1228361 fired transitions, 680 secs || 2112936 markings, 119087840 edges, 3270 markings/sec, 680 secs
lola: STP completed || 2 tries, 1237331 fired transitions, 685 secs || 2127484 markings, 119949171 edges, 2910 markings/sec, 685 secs
lola: STP completed || 2 tries, 1246319 fired transitions, 690 secs || 2144047 markings, 120831915 edges, 3313 markings/sec, 690 secs
lola: STP completed || 2 tries, 1255376 fired transitions, 695 secs || 2159249 markings, 121702845 edges, 3040 markings/sec, 695 secs
lola: STP completed || 2 tries, 1264400 fired transitions, 700 secs || 2175046 markings, 122567820 edges, 3159 markings/sec, 700 secs
lola: STP completed || 2 tries, 1273358 fired transitions, 705 secs || 2190588 markings, 123439996 edges, 3108 markings/sec, 705 secs
lola: STP completed || 2 tries, 1282384 fired transitions, 710 secs || 2205939 markings, 124299972 edges, 3070 markings/sec, 710 secs
lola: STP completed || 2 tries, 1291345 fired transitions, 715 secs || 2222078 markings, 125153811 edges, 3228 markings/sec, 715 secs
lola: STP completed || 2 tries, 1300324 fired transitions, 720 secs || 2236450 markings, 126005245 edges, 2874 markings/sec, 720 secs
lola: STP completed || 2 tries, 1309297 fired transitions, 725 secs || 2251501 markings, 126869952 edges, 3010 markings/sec, 725 secs
lola: STP completed || 2 tries, 1318276 fired transitions, 730 secs || 2267226 markings, 127734666 edges, 3145 markings/sec, 730 secs
lola: STP completed || 2 tries, 1327293 fired transitions, 735 secs || 2283456 markings, 128610084 edges, 3246 markings/sec, 735 secs
lola: STP completed || 2 tries, 1336270 fired transitions, 740 secs || 2299697 markings, 129477032 edges, 3248 markings/sec, 740 secs
lola: STP completed || 2 tries, 1345322 fired transitions, 745 secs || 2315850 markings, 130344427 edges, 3231 markings/sec, 745 secs
lola: STP completed || 2 tries, 1354385 fired transitions, 750 secs || 2331695 markings, 131214247 edges, 3169 markings/sec, 750 secs
lola: STP completed || 2 tries, 1363528 fired transitions, 755 secs || 2347322 markings, 132072638 edges, 3125 markings/sec, 755 secs
lola: STP completed || 2 tries, 1372628 fired transitions, 760 secs || 2363344 markings, 132948465 edges, 3204 markings/sec, 760 secs
lola: STP completed || 2 tries, 1381729 fired transitions, 765 secs || 2378791 markings, 133812506 edges, 3089 markings/sec, 765 secs
lola: STP completed || 2 tries, 1390792 fired transitions, 770 secs || 2394459 markings, 134680243 edges, 3134 markings/sec, 770 secs
lola: STP completed || 2 tries, 1399812 fired transitions, 775 secs || 2410654 markings, 135544470 edges, 3239 markings/sec, 775 secs
lola: STP completed || 2 tries, 1408815 fired transitions, 780 secs || 2427378 markings, 136425888 edges, 3345 markings/sec, 780 secs
lola: STP completed || 2 tries, 1417845 fired transitions, 785 secs || 2443326 markings, 137298769 edges, 3190 markings/sec, 785 secs
lola: STP completed || 2 tries, 1426895 fired transitions, 790 secs || 2459753 markings, 138181184 edges, 3285 markings/sec, 790 secs
lola: STP completed || 2 tries, 1435997 fired transitions, 795 secs || 2475335 markings, 139047537 edges, 3116 markings/sec, 795 secs
lola: STP completed || 2 tries, 1445079 fired transitions, 800 secs || 2490502 markings, 139910288 edges, 3033 markings/sec, 800 secs
lola: STP completed || 2 tries, 1454098 fired transitions, 805 secs || 2507001 markings, 140783578 edges, 3300 markings/sec, 805 secs
lola: STP completed || 2 tries, 1463186 fired transitions, 810 secs || 2523085 markings, 141647049 edges, 3217 markings/sec, 810 secs
lola: STP completed || 2 tries, 1472232 fired transitions, 815 secs || 2537831 markings, 142518879 edges, 2949 markings/sec, 815 secs
lola: STP completed || 2 tries, 1481304 fired transitions, 820 secs || 2553554 markings, 143388865 edges, 3145 markings/sec, 820 secs
lola: STP completed || 2 tries, 1490351 fired transitions, 825 secs || 2569439 markings, 144254258 edges, 3177 markings/sec, 825 secs
lola: STP completed || 2 tries, 1499459 fired transitions, 830 secs || 2585603 markings, 145128926 edges, 3233 markings/sec, 830 secs
lola: STP completed || 2 tries, 1508470 fired transitions, 835 secs || 2600493 markings, 145981012 edges, 2978 markings/sec, 835 secs
lola: STP completed || 2 tries, 1517586 fired transitions, 840 secs || 2615318 markings, 146841224 edges, 2965 markings/sec, 840 secs
lola: STP completed || 2 tries, 1526600 fired transitions, 845 secs || 2629874 markings, 147701897 edges, 2911 markings/sec, 845 secs
lola: STP completed || 2 tries, 1535665 fired transitions, 850 secs || 2645202 markings, 148554238 edges, 3066 markings/sec, 850 secs
lola: STP completed || 2 tries, 1544717 fired transitions, 855 secs || 2660782 markings, 149419626 edges, 3116 markings/sec, 855 secs
lola: STP completed || 2 tries, 1553808 fired transitions, 860 secs || 2677157 markings, 150287066 edges, 3275 markings/sec, 860 secs
lola: STP completed || 2 tries, 1562880 fired transitions, 865 secs || 2693108 markings, 151155788 edges, 3190 markings/sec, 865 secs
lola: STP completed || 2 tries, 1571960 fired transitions, 870 secs || 2709708 markings, 152031895 edges, 3320 markings/sec, 870 secs
lola: STP completed || 2 tries, 1581014 fired transitions, 875 secs || 2725728 markings, 152896868 edges, 3204 markings/sec, 875 secs
lola: STP completed || 2 tries, 1590065 fired transitions, 880 secs || 2742502 markings, 153776645 edges, 3355 markings/sec, 880 secs
lola: STP completed || 2 tries, 1599171 fired transitions, 885 secs || 2757129 markings, 154632859 edges, 2925 markings/sec, 885 secs
lola: STP completed || 2 tries, 1608271 fired transitions, 890 secs || 2772408 markings, 155497734 edges, 3056 markings/sec, 890 secs
lola: STP completed || 2 tries, 1617345 fired transitions, 895 secs || 2787572 markings, 156352363 edges, 3033 markings/sec, 895 secs
lola: STP completed || 2 tries, 1626409 fired transitions, 900 secs || 2802501 markings, 157211163 edges, 2986 markings/sec, 900 secs
lola: STP completed || 2 tries, 1635466 fired transitions, 905 secs || 2817911 markings, 158072628 edges, 3082 markings/sec, 905 secs
lola: STP completed || 2 tries, 1644622 fired transitions, 910 secs || 2833041 markings, 158934851 edges, 3026 markings/sec, 910 secs
lola: STP completed || 2 tries, 1653861 fired transitions, 915 secs || 2848875 markings, 159811885 edges, 3167 markings/sec, 915 secs
lola: STP completed || 2 tries, 1662889 fired transitions, 920 secs || 2864753 markings, 160687302 edges, 3176 markings/sec, 920 secs
lola: STP completed || 2 tries, 1671932 fired transitions, 925 secs || 2879777 markings, 161543012 edges, 3005 markings/sec, 925 secs
lola: STP completed || 2 tries, 1680925 fired transitions, 930 secs || 2896527 markings, 162417355 edges, 3350 markings/sec, 930 secs
lola: STP completed || 2 tries, 1689888 fired transitions, 935 secs || 2911978 markings, 163273942 edges, 3090 markings/sec, 935 secs
lola: STP completed || 2 tries, 1698827 fired transitions, 940 secs || 2927593 markings, 164137099 edges, 3123 markings/sec, 940 secs
lola: STP completed || 2 tries, 1707809 fired transitions, 945 secs || 2942803 markings, 164997683 edges, 3042 markings/sec, 945 secs
lola: STP completed || 2 tries, 1716778 fired transitions, 950 secs || 2958239 markings, 165862202 edges, 3087 markings/sec, 950 secs
lola: STP completed || 2 tries, 1725777 fired transitions, 955 secs || 2974541 markings, 166724828 edges, 3260 markings/sec, 955 secs
lola: STP completed || 2 tries, 1734698 fired transitions, 960 secs || 2989983 markings, 167586325 edges, 3088 markings/sec, 960 secs
lola: STP completed || 2 tries, 1743687 fired transitions, 965 secs || 3005442 markings, 168447637 edges, 3092 markings/sec, 965 secs
lola: STP completed || 2 tries, 1752674 fired transitions, 970 secs || 3021048 markings, 169315260 edges, 3121 markings/sec, 970 secs
lola: STP completed || 2 tries, 1761705 fired transitions, 975 secs || 3036382 markings, 170180484 edges, 3067 markings/sec, 975 secs
lola: STP completed || 2 tries, 1770726 fired transitions, 980 secs || 3051004 markings, 171040262 edges, 2924 markings/sec, 980 secs
lola: STP completed || 2 tries, 1779717 fired transitions, 985 secs || 3066692 markings, 171902914 edges, 3138 markings/sec, 985 secs
lola: STP completed || 2 tries, 1788698 fired transitions, 990 secs || 3083193 markings, 172776053 edges, 3300 markings/sec, 990 secs
lola: STP completed || 2 tries, 1797717 fired transitions, 995 secs || 3098884 markings, 173643937 edges, 3138 markings/sec, 995 secs
lola: STP completed || 2 tries, 1806705 fired transitions, 1000 secs || 3113442 markings, 174492746 edges, 2912 markings/sec, 1000 secs
lola: STP completed || 2 tries, 1815633 fired transitions, 1005 secs || 3128444 markings, 175351857 edges, 3000 markings/sec, 1005 secs
lola: STP completed || 2 tries, 1824574 fired transitions, 1010 secs || 3143334 markings, 176208878 edges, 2978 markings/sec, 1010 secs
lola: STP completed || 2 tries, 1833494 fired transitions, 1015 secs || 3159071 markings, 177073550 edges, 3147 markings/sec, 1015 secs
lola: STP completed || 2 tries, 1842513 fired transitions, 1020 secs || 3175631 markings, 177946083 edges, 3312 markings/sec, 1020 secs
lola: STP completed || 2 tries, 1851508 fired transitions, 1025 secs || 3191265 markings, 178813813 edges, 3127 markings/sec, 1025 secs
lola: STP completed || 2 tries, 1860494 fired transitions, 1030 secs || 3207035 markings, 179688258 edges, 3154 markings/sec, 1030 secs
lola: STP completed || 2 tries, 1869508 fired transitions, 1035 secs || 3222818 markings, 180561410 edges, 3157 markings/sec, 1035 secs
lola: STP completed || 2 tries, 1878421 fired transitions, 1040 secs || 3238061 markings, 181435092 edges, 3049 markings/sec, 1040 secs
lola: STP completed || 2 tries, 1887428 fired transitions, 1045 secs || 3254914 markings, 182315634 edges, 3371 markings/sec, 1045 secs
lola: STP completed || 2 tries, 1896426 fired transitions, 1050 secs || 3271639 markings, 183191230 edges, 3345 markings/sec, 1050 secs
lola: STP completed || 2 tries, 1905387 fired transitions, 1055 secs || 3287648 markings, 184066544 edges, 3202 markings/sec, 1055 secs
lola: STP completed || 2 tries, 1914374 fired transitions, 1060 secs || 3303082 markings, 184929128 edges, 3087 markings/sec, 1060 secs
lola: STP completed || 2 tries, 1923245 fired transitions, 1065 secs || 3319502 markings, 185804123 edges, 3284 markings/sec, 1065 secs
lola: STP completed || 2 tries, 1932204 fired transitions, 1070 secs || 3335406 markings, 186675137 edges, 3181 markings/sec, 1070 secs
lola: STP completed || 2 tries, 1941156 fired transitions, 1075 secs || 3350530 markings, 187549217 edges, 3025 markings/sec, 1075 secs
lola: STP completed || 2 tries, 1950157 fired transitions, 1080 secs || 3366804 markings, 188424246 edges, 3255 markings/sec, 1080 secs
lola: STP completed || 2 tries, 1959094 fired transitions, 1085 secs || 3383543 markings, 189296244 edges, 3348 markings/sec, 1085 secs
lola: STP completed || 2 tries, 1968106 fired transitions, 1090 secs || 3399171 markings, 190167407 edges, 3126 markings/sec, 1090 secs
lola: STP completed || 2 tries, 1977047 fired transitions, 1095 secs || 3414676 markings, 191045680 edges, 3101 markings/sec, 1095 secs
lola: STP completed || 2 tries, 1986028 fired transitions, 1100 secs || 3430425 markings, 191917296 edges, 3150 markings/sec, 1100 secs
lola: STP completed || 2 tries, 1995108 fired transitions, 1105 secs || 3446883 markings, 192786215 edges, 3292 markings/sec, 1105 secs
lola: STP completed || 3 tries, 2004210 fired transitions, 1110 secs || 3462543 markings, 193660045 edges, 3132 markings/sec, 1110 secs
lola: STP completed || 3 tries, 2013220 fired transitions, 1115 secs || 3478570 markings, 194536684 edges, 3205 markings/sec, 1115 secs
lola: STP completed || 3 tries, 2022205 fired transitions, 1120 secs || 3494788 markings, 195419309 edges, 3244 markings/sec, 1120 secs
lola: STP completed || 3 tries, 2031195 fired transitions, 1125 secs || 3510557 markings, 196300928 edges, 3154 markings/sec, 1125 secs
lola: STP completed || 3 tries, 2040301 fired transitions, 1130 secs || 3526928 markings, 197181918 edges, 3274 markings/sec, 1130 secs
lola: STP completed || 3 tries, 2049374 fired transitions, 1135 secs || 3543578 markings, 198065192 edges, 3330 markings/sec, 1135 secs
lola: STP completed || 3 tries, 2058407 fired transitions, 1140 secs || 3558972 markings, 198930737 edges, 3079 markings/sec, 1140 secs
lola: STP completed || 3 tries, 2067451 fired transitions, 1145 secs || 3574997 markings, 199794497 edges, 3205 markings/sec, 1145 secs
lola: STP completed || 3 tries, 2076395 fired transitions, 1150 secs || 3590829 markings, 200665793 edges, 3166 markings/sec, 1150 secs
lola: STP completed || 3 tries, 2085352 fired transitions, 1155 secs || 3606558 markings, 201537951 edges, 3146 markings/sec, 1155 secs
lola: STP completed || 3 tries, 2094333 fired transitions, 1160 secs || 3622367 markings, 202403598 edges, 3162 markings/sec, 1160 secs
lola: STP completed || 3 tries, 2103330 fired transitions, 1165 secs || 3639001 markings, 203291639 edges, 3327 markings/sec, 1165 secs
lola: STP completed || 3 tries, 2112288 fired transitions, 1170 secs || 3655077 markings, 204169623 edges, 3215 markings/sec, 1170 secs
lola: STP completed || 3 tries, 2121235 fired transitions, 1175 secs || 3671560 markings, 205061642 edges, 3297 markings/sec, 1175 secs
lola: STP completed || 3 tries, 2130219 fired transitions, 1180 secs || 3688046 markings, 205942364 edges, 3297 markings/sec, 1180 secs
lola: STP completed || 3 tries, 2139166 fired transitions, 1185 secs || 3704485 markings, 206821899 edges, 3288 markings/sec, 1185 secs
lola: STP completed || 3 tries, 2148154 fired transitions, 1190 secs || 3720541 markings, 207695365 edges, 3211 markings/sec, 1190 secs
lola: STP completed || 3 tries, 2157149 fired transitions, 1195 secs || 3735830 markings, 208566451 edges, 3058 markings/sec, 1195 secs
lola: STP completed || 3 tries, 2166162 fired transitions, 1200 secs || 3751639 markings, 209439611 edges, 3162 markings/sec, 1200 secs
lola: STP completed || 3 tries, 2175111 fired transitions, 1205 secs || 3767617 markings, 210318968 edges, 3196 markings/sec, 1205 secs
lola: STP completed || 3 tries, 2184072 fired transitions, 1210 secs || 3784180 markings, 211202565 edges, 3313 markings/sec, 1210 secs
lola: STP completed || 3 tries, 2192998 fired transitions, 1215 secs || 3800608 markings, 212082315 edges, 3286 markings/sec, 1215 secs
lola: STP completed || 3 tries, 2201956 fired transitions, 1220 secs || 3816213 markings, 212953346 edges, 3121 markings/sec, 1220 secs
lola: STP completed || 3 tries, 2210924 fired transitions, 1225 secs || 3833315 markings, 213842121 edges, 3420 markings/sec, 1225 secs
lola: STP completed || 3 tries, 2219914 fired transitions, 1230 secs || 3849681 markings, 214719466 edges, 3273 markings/sec, 1230 secs
lola: STP completed || 3 tries, 2228511 fired transitions, 1235 secs || 3866401 markings, 215613292 edges, 3344 markings/sec, 1235 secs
lola: STP completed || 3 tries, 2237465 fired transitions, 1240 secs || 3882473 markings, 216495522 edges, 3214 markings/sec, 1240 secs
lola: STP completed || 3 tries, 2246380 fired transitions, 1245 secs || 3898997 markings, 217377320 edges, 3305 markings/sec, 1245 secs
lola: STP completed || 3 tries, 2255334 fired transitions, 1250 secs || 3915100 markings, 218252733 edges, 3221 markings/sec, 1250 secs
lola: STP completed || 3 tries, 2263891 fired transitions, 1255 secs || 3930155 markings, 219095162 edges, 3011 markings/sec, 1255 secs
lola: STP completed || 3 tries, 2272648 fired transitions, 1260 secs || 3945518 markings, 219932913 edges, 3073 markings/sec, 1260 secs
lola: STP completed || 3 tries, 2280642 fired transitions, 1265 secs || 3961048 markings, 220788085 edges, 3106 markings/sec, 1265 secs
lola: STP completed || 3 tries, 2289528 fired transitions, 1270 secs || 3976643 markings, 221664641 edges, 3119 markings/sec, 1270 secs
lola: STP completed || 3 tries, 2298454 fired transitions, 1275 secs || 3992819 markings, 222544128 edges, 3235 markings/sec, 1275 secs
lola: STP completed || 3 tries, 2307469 fired transitions, 1280 secs || 4009198 markings, 223425765 edges, 3276 markings/sec, 1280 secs
lola: STP completed || 3 tries, 2316514 fired transitions, 1285 secs || 4025261 markings, 224298152 edges, 3213 markings/sec, 1285 secs
lola: STP completed || 3 tries, 2325530 fired transitions, 1290 secs || 4041490 markings, 225181385 edges, 3246 markings/sec, 1290 secs
lola: STP completed || 3 tries, 2334482 fired transitions, 1295 secs || 4058400 markings, 226074146 edges, 3382 markings/sec, 1295 secs
lola: STP completed || 3 tries, 2343449 fired transitions, 1300 secs || 4075064 markings, 226964934 edges, 3333 markings/sec, 1300 secs
lola: STP completed || 3 tries, 2352489 fired transitions, 1305 secs || 4091580 markings, 227840681 edges, 3303 markings/sec, 1305 secs
lola: STP completed || 3 tries, 2361497 fired transitions, 1310 secs || 4107094 markings, 228707799 edges, 3103 markings/sec, 1310 secs
lola: STP completed || 3 tries, 2370540 fired transitions, 1315 secs || 4123126 markings, 229575325 edges, 3206 markings/sec, 1315 secs
lola: STP completed || 3 tries, 2379529 fired transitions, 1320 secs || 4139210 markings, 230452616 edges, 3217 markings/sec, 1320 secs
lola: STP completed || 3 tries, 2388488 fired transitions, 1325 secs || 4154654 markings, 231323743 edges, 3089 markings/sec, 1325 secs
lola: STP completed || 3 tries, 2397420 fired transitions, 1330 secs || 4171445 markings, 232203780 edges, 3358 markings/sec, 1330 secs
lola: STP completed || 3 tries, 2406475 fired transitions, 1335 secs || 4187420 markings, 233079858 edges, 3195 markings/sec, 1335 secs
lola: STP completed || 3 tries, 2415442 fired transitions, 1340 secs || 4204137 markings, 233964809 edges, 3343 markings/sec, 1340 secs
lola: STP completed || 3 tries, 2424441 fired transitions, 1345 secs || 4219070 markings, 234834005 edges, 2987 markings/sec, 1345 secs
lola: STP completed || 3 tries, 2433420 fired transitions, 1350 secs || 4235469 markings, 235717675 edges, 3280 markings/sec, 1350 secs
lola: STP completed || 3 tries, 2442377 fired transitions, 1355 secs || 4251646 markings, 236588698 edges, 3235 markings/sec, 1355 secs
lola: STP completed || 3 tries, 2451361 fired transitions, 1360 secs || 4267704 markings, 237465708 edges, 3212 markings/sec, 1360 secs
lola: STP completed || 3 tries, 2460347 fired transitions, 1365 secs || 4284847 markings, 238352033 edges, 3429 markings/sec, 1365 secs
lola: STP completed || 3 tries, 2469334 fired transitions, 1370 secs || 4300617 markings, 239232978 edges, 3154 markings/sec, 1370 secs
lola: STP completed || 3 tries, 2478309 fired transitions, 1375 secs || 4316736 markings, 240113963 edges, 3224 markings/sec, 1375 secs
lola: STP completed || 3 tries, 2487288 fired transitions, 1380 secs || 4332699 markings, 240982865 edges, 3193 markings/sec, 1380 secs
lola: STP completed || 3 tries, 2496314 fired transitions, 1385 secs || 4347626 markings, 241849396 edges, 2985 markings/sec, 1385 secs
lola: STP completed || 3 tries, 2505237 fired transitions, 1390 secs || 4363317 markings, 242720973 edges, 3138 markings/sec, 1390 secs
lola: STP completed || 3 tries, 2514231 fired transitions, 1395 secs || 4379611 markings, 243608152 edges, 3259 markings/sec, 1395 secs
lola: STP completed || 3 tries, 2523189 fired transitions, 1400 secs || 4396253 markings, 244485103 edges, 3328 markings/sec, 1400 secs
lola: STP completed || 3 tries, 2532208 fired transitions, 1405 secs || 4412783 markings, 245375375 edges, 3306 markings/sec, 1405 secs
lola: STP completed || 3 tries, 2541164 fired transitions, 1410 secs || 4428833 markings, 246258662 edges, 3210 markings/sec, 1410 secs
lola: STP completed || 3 tries, 2550138 fired transitions, 1415 secs || 4445025 markings, 247134990 edges, 3238 markings/sec, 1415 secs
lola: STP completed || 3 tries, 2559165 fired transitions, 1420 secs || 4461612 markings, 248008925 edges, 3317 markings/sec, 1420 secs
lola: STP completed || 3 tries, 2568087 fired transitions, 1425 secs || 4478343 markings, 248887938 edges, 3346 markings/sec, 1425 secs
lola: STP completed || 3 tries, 2577110 fired transitions, 1430 secs || 4494500 markings, 249758112 edges, 3231 markings/sec, 1430 secs
lola: STP completed || 3 tries, 2586106 fired transitions, 1435 secs || 4511503 markings, 250637888 edges, 3401 markings/sec, 1435 secs
lola: STP completed || 3 tries, 2595047 fired transitions, 1440 secs || 4527343 markings, 251513923 edges, 3168 markings/sec, 1440 secs
lola: STP completed || 3 tries, 2603978 fired transitions, 1445 secs || 4543924 markings, 252386408 edges, 3316 markings/sec, 1445 secs
lola: STP completed || 3 tries, 2612927 fired transitions, 1450 secs || 4560126 markings, 253262338 edges, 3240 markings/sec, 1450 secs
lola: STP completed || 3 tries, 2621903 fired transitions, 1455 secs || 4576078 markings, 254124642 edges, 3190 markings/sec, 1455 secs
lola: STP completed || 3 tries, 2630891 fired transitions, 1460 secs || 4591960 markings, 255008902 edges, 3176 markings/sec, 1460 secs
lola: STP completed || 3 tries, 2639861 fired transitions, 1465 secs || 4607924 markings, 255876799 edges, 3193 markings/sec, 1465 secs
lola: STP completed || 3 tries, 2648901 fired transitions, 1470 secs || 4624308 markings, 256744939 edges, 3277 markings/sec, 1470 secs
lola: STP completed || 3 tries, 2657869 fired transitions, 1475 secs || 4639822 markings, 257606082 edges, 3103 markings/sec, 1475 secs
lola: STP completed || 3 tries, 2666806 fired transitions, 1480 secs || 4656293 markings, 258470104 edges, 3294 markings/sec, 1480 secs
lola: STP completed || 3 tries, 2675742 fired transitions, 1485 secs || 4671392 markings, 259318914 edges, 3020 markings/sec, 1485 secs
lola: STP completed || 3 tries, 2684707 fired transitions, 1490 secs || 4687337 markings, 260174424 edges, 3189 markings/sec, 1490 secs
lola: STP completed || 3 tries, 2693561 fired transitions, 1495 secs || 4702143 markings, 261015972 edges, 2961 markings/sec, 1495 secs
lola: STP completed || 3 tries, 2702471 fired transitions, 1500 secs || 4718116 markings, 261881473 edges, 3195 markings/sec, 1500 secs
lola: STP completed || 3 tries, 2711335 fired transitions, 1505 secs || 4733601 markings, 262735628 edges, 3097 markings/sec, 1505 secs
lola: STP completed || 3 tries, 2720036 fired transitions, 1510 secs || 4748999 markings, 263563934 edges, 3080 markings/sec, 1510 secs
lola: STP completed || 3 tries, 2728977 fired transitions, 1515 secs || 4764122 markings, 264421778 edges, 3025 markings/sec, 1515 secs
lola: STP completed || 3 tries, 2737773 fired transitions, 1520 secs || 4779123 markings, 265284650 edges, 3000 markings/sec, 1520 secs
lola: STP completed || 3 tries, 2746722 fired transitions, 1525 secs || 4795316 markings, 266165722 edges, 3239 markings/sec, 1525 secs
lola: STP completed || 3 tries, 2755695 fired transitions, 1530 secs || 4811655 markings, 267038103 edges, 3268 markings/sec, 1530 secs
lola: STP completed || 3 tries, 2764750 fired transitions, 1535 secs || 4828465 markings, 267904398 edges, 3362 markings/sec, 1535 secs
lola: STP completed || 3 tries, 2773664 fired transitions, 1540 secs || 4844285 markings, 268770912 edges, 3164 markings/sec, 1540 secs
lola: STP completed || 3 tries, 2782710 fired transitions, 1545 secs || 4860058 markings, 269637628 edges, 3155 markings/sec, 1545 secs
lola: STP completed || 3 tries, 2791748 fired transitions, 1550 secs || 4876374 markings, 270500333 edges, 3263 markings/sec, 1550 secs
lola: STP completed || 3 tries, 2800833 fired transitions, 1555 secs || 4892678 markings, 271381445 edges, 3261 markings/sec, 1555 secs
lola: STP completed || 3 tries, 2809923 fired transitions, 1560 secs || 4909387 markings, 272254617 edges, 3342 markings/sec, 1560 secs
lola: STP completed || 3 tries, 2818997 fired transitions, 1565 secs || 4925273 markings, 273113759 edges, 3177 markings/sec, 1565 secs
lola: STP completed || 3 tries, 2828005 fired transitions, 1570 secs || 4941264 markings, 273982956 edges, 3198 markings/sec, 1570 secs
lola: STP completed || 3 tries, 2837080 fired transitions, 1575 secs || 4956429 markings, 274845739 edges, 3033 markings/sec, 1575 secs
lola: STP completed || 3 tries, 2846118 fired transitions, 1580 secs || 4971103 markings, 275718169 edges, 2935 markings/sec, 1580 secs
lola: STP completed || 3 tries, 2855201 fired transitions, 1585 secs || 4986758 markings, 276590042 edges, 3131 markings/sec, 1585 secs
lola: STP completed || 3 tries, 2864258 fired transitions, 1590 secs || 5002163 markings, 277466500 edges, 3081 markings/sec, 1590 secs
lola: STP completed || 3 tries, 2873297 fired transitions, 1595 secs || 5016794 markings, 278341465 edges, 2926 markings/sec, 1595 secs
lola: STP completed || 3 tries, 2882386 fired transitions, 1600 secs || 5032135 markings, 279210981 edges, 3068 markings/sec, 1600 secs
lola: STP completed || 3 tries, 2891446 fired transitions, 1605 secs || 5047231 markings, 280087818 edges, 3019 markings/sec, 1605 secs
lola: STP completed || 3 tries, 2900444 fired transitions, 1610 secs || 5062803 markings, 280955682 edges, 3114 markings/sec, 1610 secs
lola: STP completed || 3 tries, 2909551 fired transitions, 1615 secs || 5078063 markings, 281832904 edges, 3052 markings/sec, 1615 secs
lola: STP completed || 3 tries, 2918675 fired transitions, 1620 secs || 5092655 markings, 282693920 edges, 2918 markings/sec, 1620 secs
lola: STP completed || 3 tries, 2927757 fired transitions, 1625 secs || 5108532 markings, 283569462 edges, 3175 markings/sec, 1625 secs
lola: STP completed || 3 tries, 2936886 fired transitions, 1630 secs || 5123479 markings, 284432741 edges, 2989 markings/sec, 1630 secs
lola: STP completed || 3 tries, 2945994 fired transitions, 1635 secs || 5139315 markings, 285317710 edges, 3167 markings/sec, 1635 secs
lola: STP completed || 3 tries, 2955010 fired transitions, 1640 secs || 5154059 markings, 286184663 edges, 2949 markings/sec, 1640 secs
lola: STP completed || 3 tries, 2964017 fired transitions, 1645 secs || 5170234 markings, 287063245 edges, 3235 markings/sec, 1645 secs
lola: STP completed || 3 tries, 2973079 fired transitions, 1650 secs || 5185460 markings, 287933907 edges, 3045 markings/sec, 1650 secs
lola: STP completed || 3 tries, 2982152 fired transitions, 1655 secs || 5200630 markings, 288798307 edges, 3034 markings/sec, 1655 secs
lola: STP completed || 3 tries, 2991196 fired transitions, 1660 secs || 5216174 markings, 289665707 edges, 3109 markings/sec, 1660 secs
lola: STP completed || 4 tries, 3000311 fired transitions, 1665 secs || 5230958 markings, 290524959 edges, 2957 markings/sec, 1665 secs
lola: STP completed || 4 tries, 3009448 fired transitions, 1670 secs || 5246065 markings, 291401412 edges, 3021 markings/sec, 1670 secs
lola: STP completed || 4 tries, 3018493 fired transitions, 1675 secs || 5260632 markings, 292271011 edges, 2913 markings/sec, 1675 secs
lola: STP completed || 4 tries, 3027590 fired transitions, 1680 secs || 5275829 markings, 293137960 edges, 3039 markings/sec, 1680 secs
lola: STP completed || 4 tries, 3036692 fired transitions, 1685 secs || 5290022 markings, 294007703 edges, 2839 markings/sec, 1685 secs
lola: STP completed || 4 tries, 3045768 fired transitions, 1690 secs || 5305512 markings, 294876511 edges, 3098 markings/sec, 1690 secs
lola: STP completed || 4 tries, 3054832 fired transitions, 1695 secs || 5321346 markings, 295750231 edges, 3167 markings/sec, 1695 secs
lola: STP completed || 4 tries, 3063874 fired transitions, 1700 secs || 5337574 markings, 296629572 edges, 3246 markings/sec, 1700 secs
lola: STP completed || 4 tries, 3072988 fired transitions, 1705 secs || 5353920 markings, 297504567 edges, 3269 markings/sec, 1705 secs
lola: STP completed || 4 tries, 3082054 fired transitions, 1710 secs || 5370194 markings, 298382577 edges, 3255 markings/sec, 1710 secs
lola: STP completed || 4 tries, 3091101 fired transitions, 1715 secs || 5386256 markings, 299255894 edges, 3212 markings/sec, 1715 secs
lola: STP completed || 4 tries, 3100227 fired transitions, 1720 secs || 5402147 markings, 300132000 edges, 3178 markings/sec, 1720 secs
lola: STP completed || 4 tries, 3109353 fired transitions, 1725 secs || 5417922 markings, 300989949 edges, 3155 markings/sec, 1725 secs
lola: STP completed || 4 tries, 3118432 fired transitions, 1730 secs || 5433317 markings, 301858740 edges, 3079 markings/sec, 1730 secs
lola: STP completed || 4 tries, 3127425 fired transitions, 1735 secs || 5449127 markings, 302732270 edges, 3162 markings/sec, 1735 secs
lola: STP completed || 4 tries, 3136477 fired transitions, 1740 secs || 5465511 markings, 303607803 edges, 3277 markings/sec, 1740 secs
lola: STP completed || 4 tries, 3145522 fired transitions, 1745 secs || 5481133 markings, 304471125 edges, 3124 markings/sec, 1745 secs
lola: STP completed || 4 tries, 3154615 fired transitions, 1750 secs || 5497468 markings, 305346367 edges, 3267 markings/sec, 1750 secs
lola: STP completed || 4 tries, 3163675 fired transitions, 1755 secs || 5513911 markings, 306221198 edges, 3289 markings/sec, 1755 secs
lola: STP completed || 4 tries, 3172769 fired transitions, 1760 secs || 5529470 markings, 307086894 edges, 3112 markings/sec, 1760 secs
lola: STP completed || 4 tries, 3181789 fired transitions, 1765 secs || 5545583 markings, 307960315 edges, 3223 markings/sec, 1765 secs
lola: STP completed || 4 tries, 3190781 fired transitions, 1770 secs || 5561921 markings, 308837933 edges, 3268 markings/sec, 1770 secs
lola: STP completed || 4 tries, 3199733 fired transitions, 1775 secs || 5577953 markings, 309711952 edges, 3206 markings/sec, 1775 secs
lola: STP completed || 4 tries, 3208727 fired transitions, 1780 secs || 5594200 markings, 310592937 edges, 3249 markings/sec, 1780 secs
lola: STP completed || 4 tries, 3217735 fired transitions, 1785 secs || 5611115 markings, 311476062 edges, 3383 markings/sec, 1785 secs
lola: STP completed || 4 tries, 3226742 fired transitions, 1790 secs || 5628168 markings, 312362110 edges, 3411 markings/sec, 1790 secs
lola: STP completed || 4 tries, 3235722 fired transitions, 1795 secs || 5643943 markings, 313226591 edges, 3155 markings/sec, 1795 secs
lola: STP completed || 4 tries, 3244649 fired transitions, 1800 secs || 5659473 markings, 314098278 edges, 3106 markings/sec, 1800 secs
lola: STP completed || 4 tries, 3253639 fired transitions, 1805 secs || 5675351 markings, 314968919 edges, 3176 markings/sec, 1805 secs
lola: STP completed || 4 tries, 3262564 fired transitions, 1810 secs || 5692252 markings, 315852782 edges, 3380 markings/sec, 1810 secs
lola: STP completed || 4 tries, 3271540 fired transitions, 1815 secs || 5708563 markings, 316729873 edges, 3262 markings/sec, 1815 secs
lola: STP completed || 4 tries, 3280481 fired transitions, 1820 secs || 5724955 markings, 317609718 edges, 3278 markings/sec, 1820 secs
lola: STP completed || 4 tries, 3289458 fired transitions, 1825 secs || 5741321 markings, 318495753 edges, 3273 markings/sec, 1825 secs
lola: STP completed || 4 tries, 3298405 fired transitions, 1830 secs || 5757311 markings, 319376368 edges, 3198 markings/sec, 1830 secs
lola: STP completed || 4 tries, 3307345 fired transitions, 1835 secs || 5773103 markings, 320254487 edges, 3158 markings/sec, 1835 secs
lola: STP completed || 4 tries, 3316413 fired transitions, 1840 secs || 5788362 markings, 321118686 edges, 3052 markings/sec, 1840 secs
lola: STP completed || 4 tries, 3325416 fired transitions, 1845 secs || 5803872 markings, 321984435 edges, 3102 markings/sec, 1845 secs
lola: STP completed || 4 tries, 3334332 fired transitions, 1850 secs || 5819392 markings, 322861415 edges, 3104 markings/sec, 1850 secs
lola: STP completed || 4 tries, 3343335 fired transitions, 1855 secs || 5835792 markings, 323744706 edges, 3280 markings/sec, 1855 secs
lola: STP completed || 4 tries, 3352322 fired transitions, 1860 secs || 5852355 markings, 324615415 edges, 3313 markings/sec, 1860 secs
lola: STP completed || 4 tries, 3361287 fired transitions, 1865 secs || 5868784 markings, 325503328 edges, 3286 markings/sec, 1865 secs
lola: STP completed || 4 tries, 3370238 fired transitions, 1870 secs || 5885416 markings, 326382647 edges, 3326 markings/sec, 1870 secs
lola: STP completed || 4 tries, 3379187 fired transitions, 1875 secs || 5902205 markings, 327276509 edges, 3358 markings/sec, 1875 secs
lola: STP completed || 4 tries, 3388195 fired transitions, 1880 secs || 5918213 markings, 328155279 edges, 3202 markings/sec, 1880 secs
lola: STP completed || 4 tries, 3397158 fired transitions, 1885 secs || 5933723 markings, 329024886 edges, 3102 markings/sec, 1885 secs
lola: STP completed || 4 tries, 3406212 fired transitions, 1890 secs || 5949462 markings, 329911160 edges, 3148 markings/sec, 1890 secs
lola: STP completed || 4 tries, 3415067 fired transitions, 1895 secs || 5965552 markings, 330798830 edges, 3218 markings/sec, 1895 secs
lola: STP completed || 4 tries, 3424032 fired transitions, 1900 secs || 5982111 markings, 331685942 edges, 3312 markings/sec, 1900 secs
lola: STP completed || 4 tries, 3433028 fired transitions, 1905 secs || 5997918 markings, 332571552 edges, 3161 markings/sec, 1905 secs
lola: STP completed || 4 tries, 3442021 fired transitions, 1910 secs || 6014399 markings, 333457483 edges, 3296 markings/sec, 1910 secs
lola: STP completed || 4 tries, 3450989 fired transitions, 1915 secs || 6030490 markings, 334329391 edges, 3218 markings/sec, 1915 secs
lola: STP completed || 4 tries, 3459603 fired transitions, 1920 secs || 6046649 markings, 335211087 edges, 3232 markings/sec, 1920 secs
lola: STP completed || 4 tries, 3468519 fired transitions, 1925 secs || 6062490 markings, 336101121 edges, 3168 markings/sec, 1925 secs
lola: STP completed || 4 tries, 3477504 fired transitions, 1930 secs || 6078408 markings, 336981693 edges, 3184 markings/sec, 1930 secs
lola: STP completed || 4 tries, 3486486 fired transitions, 1935 secs || 6094305 markings, 337866873 edges, 3179 markings/sec, 1935 secs
lola: STP completed || 4 tries, 3494078 fired transitions, 1940 secs || 6110941 markings, 338734052 edges, 3327 markings/sec, 1940 secs
lola: STP completed || 4 tries, 3503063 fired transitions, 1945 secs || 6127633 markings, 339612691 edges, 3338 markings/sec, 1945 secs
lola: STP completed || 4 tries, 3512044 fired transitions, 1950 secs || 6144038 markings, 340489472 edges, 3281 markings/sec, 1950 secs
lola: STP completed || 4 tries, 3521013 fired transitions, 1955 secs || 6161292 markings, 341375490 edges, 3451 markings/sec, 1955 secs
lola: STP completed || 4 tries, 3529929 fired transitions, 1960 secs || 6177847 markings, 342255176 edges, 3311 markings/sec, 1960 secs
lola: STP completed || 4 tries, 3538915 fired transitions, 1965 secs || 6195017 markings, 343140548 edges, 3434 markings/sec, 1965 secs
lola: STP completed || 4 tries, 3547865 fired transitions, 1970 secs || 6210928 markings, 344014323 edges, 3182 markings/sec, 1970 secs
lola: STP completed || 4 tries, 3556825 fired transitions, 1975 secs || 6226461 markings, 344892160 edges, 3107 markings/sec, 1975 secs
lola: STP completed || 4 tries, 3565735 fired transitions, 1980 secs || 6241809 markings, 345761342 edges, 3070 markings/sec, 1980 secs
lola: STP completed || 4 tries, 3574663 fired transitions, 1985 secs || 6257971 markings, 346631500 edges, 3232 markings/sec, 1985 secs
lola: STP completed || 4 tries, 3583685 fired transitions, 1990 secs || 6274299 markings, 347506218 edges, 3266 markings/sec, 1990 secs
lola: STP completed || 4 tries, 3592696 fired transitions, 1995 secs || 6290137 markings, 348346479 edges, 3168 markings/sec, 1995 secs
lola: STP completed || 4 tries, 3601680 fired transitions, 2000 secs || 6305862 markings, 349174933 edges, 3145 markings/sec, 2000 secs
lola: STP completed || 4 tries, 3610686 fired transitions, 2005 secs || 6322120 markings, 350038921 edges, 3252 markings/sec, 2005 secs
lola: STP completed || 4 tries, 3619616 fired transitions, 2010 secs || 6338083 markings, 350910797 edges, 3193 markings/sec, 2010 secs
lola: STP completed || 4 tries, 3628626 fired transitions, 2015 secs || 6354524 markings, 351797453 edges, 3288 markings/sec, 2015 secs
lola: STP completed || 4 tries, 3637710 fired transitions, 2020 secs || 6370758 markings, 352676091 edges, 3247 markings/sec, 2020 secs
lola: STP completed || 4 tries, 3646647 fired transitions, 2025 secs || 6388056 markings, 353575266 edges, 3460 markings/sec, 2025 secs
lola: STP completed || 4 tries, 3655620 fired transitions, 2030 secs || 6404982 markings, 354451739 edges, 3385 markings/sec, 2030 secs
lola: STP completed || 4 tries, 3664639 fired transitions, 2035 secs || 6420840 markings, 355315848 edges, 3172 markings/sec, 2035 secs
lola: STP completed || 4 tries, 3673673 fired transitions, 2040 secs || 6437807 markings, 356204395 edges, 3393 markings/sec, 2040 secs
lola: STP completed || 4 tries, 3682649 fired transitions, 2045 secs || 6453745 markings, 357079643 edges, 3188 markings/sec, 2045 secs
lola: STP completed || 4 tries, 3691601 fired transitions, 2050 secs || 6470232 markings, 357957625 edges, 3297 markings/sec, 2050 secs
lola: STP completed || 4 tries, 3700499 fired transitions, 2055 secs || 6486583 markings, 358845037 edges, 3270 markings/sec, 2055 secs
lola: STP completed || 4 tries, 3709522 fired transitions, 2060 secs || 6502780 markings, 359719229 edges, 3239 markings/sec, 2060 secs
lola: STP completed || 4 tries, 3718496 fired transitions, 2065 secs || 6519677 markings, 360606167 edges, 3379 markings/sec, 2065 secs
lola: STP completed || 4 tries, 3727567 fired transitions, 2070 secs || 6536024 markings, 361482827 edges, 3269 markings/sec, 2070 secs
lola: STP completed || 4 tries, 3736519 fired transitions, 2075 secs || 6552724 markings, 362365374 edges, 3340 markings/sec, 2075 secs
lola: STP completed || 4 tries, 3745506 fired transitions, 2080 secs || 6568953 markings, 363235056 edges, 3246 markings/sec, 2080 secs
lola: STP completed || 4 tries, 3754493 fired transitions, 2085 secs || 6585293 markings, 364113350 edges, 3268 markings/sec, 2085 secs
lola: STP completed || 4 tries, 3763461 fired transitions, 2090 secs || 6600985 markings, 364989073 edges, 3138 markings/sec, 2090 secs
lola: STP completed || 4 tries, 3772482 fired transitions, 2095 secs || 6616679 markings, 365874258 edges, 3139 markings/sec, 2095 secs
lola: STP completed || 4 tries, 3781423 fired transitions, 2100 secs || 6632953 markings, 366755965 edges, 3255 markings/sec, 2100 secs
lola: STP completed || 4 tries, 3790387 fired transitions, 2105 secs || 6647529 markings, 367624252 edges, 2915 markings/sec, 2105 secs
lola: STP completed || 4 tries, 3799395 fired transitions, 2110 secs || 6663279 markings, 368498193 edges, 3150 markings/sec, 2110 secs
lola: STP completed || 4 tries, 3808307 fired transitions, 2115 secs || 6679779 markings, 369387022 edges, 3300 markings/sec, 2115 secs
lola: STP completed || 4 tries, 3817313 fired transitions, 2120 secs || 6696167 markings, 370268268 edges, 3278 markings/sec, 2120 secs
lola: STP completed || 4 tries, 3826261 fired transitions, 2125 secs || 6712743 markings, 371149627 edges, 3315 markings/sec, 2125 secs
lola: STP completed || 4 tries, 3835252 fired transitions, 2130 secs || 6728717 markings, 372029522 edges, 3195 markings/sec, 2130 secs
lola: STP completed || 4 tries, 3844200 fired transitions, 2135 secs || 6744919 markings, 372909485 edges, 3240 markings/sec, 2135 secs
lola: STP completed || 4 tries, 3853188 fired transitions, 2140 secs || 6761451 markings, 373790383 edges, 3306 markings/sec, 2140 secs
lola: STP completed || 4 tries, 3862148 fired transitions, 2145 secs || 6777956 markings, 374677904 edges, 3301 markings/sec, 2145 secs
lola: STP completed || 4 tries, 3871149 fired transitions, 2150 secs || 6794295 markings, 375563115 edges, 3268 markings/sec, 2150 secs
lola: STP completed || 4 tries, 3880166 fired transitions, 2155 secs || 6811472 markings, 376449903 edges, 3435 markings/sec, 2155 secs
lola: STP completed || 4 tries, 3889169 fired transitions, 2160 secs || 6827310 markings, 377324319 edges, 3168 markings/sec, 2160 secs
lola: STP completed || 4 tries, 3898163 fired transitions, 2165 secs || 6843547 markings, 378203477 edges, 3247 markings/sec, 2165 secs
lola: STP completed || 4 tries, 3907176 fired transitions, 2170 secs || 6861459 markings, 379126636 edges, 3582 markings/sec, 2170 secs
lola: STP completed || 4 tries, 3916201 fired transitions, 2175 secs || 6878821 markings, 380026572 edges, 3472 markings/sec, 2175 secs
lola: STP completed || 4 tries, 3925242 fired transitions, 2180 secs || 6896042 markings, 380915235 edges, 3444 markings/sec, 2180 secs
lola: STP completed || 4 tries, 3934207 fired transitions, 2185 secs || 6912253 markings, 381796292 edges, 3242 markings/sec, 2185 secs
lola: STP completed || 4 tries, 3943251 fired transitions, 2190 secs || 6928148 markings, 382671240 edges, 3179 markings/sec, 2190 secs
lola: STP completed || 4 tries, 3952254 fired transitions, 2195 secs || 6944681 markings, 383555700 edges, 3307 markings/sec, 2195 secs
lola: STP completed || 4 tries, 3961233 fired transitions, 2200 secs || 6960195 markings, 384431017 edges, 3103 markings/sec, 2200 secs
lola: STP completed || 4 tries, 3970265 fired transitions, 2205 secs || 6976790 markings, 385316191 edges, 3319 markings/sec, 2205 secs
lola: STP completed || 4 tries, 3979193 fired transitions, 2210 secs || 6992676 markings, 386189837 edges, 3177 markings/sec, 2210 secs
lola: STP completed || 4 tries, 3988201 fired transitions, 2215 secs || 7009463 markings, 387068824 edges, 3357 markings/sec, 2215 secs
lola: STP completed || 4 tries, 3997174 fired transitions, 2220 secs || 7026004 markings, 387953069 edges, 3308 markings/sec, 2220 secs
lola: STP completed || 5 tries, 4006154 fired transitions, 2225 secs || 7042596 markings, 388850840 edges, 3318 markings/sec, 2225 secs
lola: STP completed || 5 tries, 4015048 fired transitions, 2230 secs || 7058998 markings, 389724852 edges, 3280 markings/sec, 2230 secs
lola: STP completed || 5 tries, 4023987 fired transitions, 2235 secs || 7075634 markings, 390597239 edges, 3327 markings/sec, 2235 secs
lola: STP completed || 5 tries, 4032973 fired transitions, 2240 secs || 7090979 markings, 391475115 edges, 3069 markings/sec, 2240 secs
lola: STP completed || 5 tries, 4042023 fired transitions, 2245 secs || 7107908 markings, 392350661 edges, 3386 markings/sec, 2245 secs
lola: STP completed || 5 tries, 4050991 fired transitions, 2250 secs || 7124563 markings, 393243976 edges, 3331 markings/sec, 2250 secs
lola: STP completed || 5 tries, 4060000 fired transitions, 2255 secs || 7140381 markings, 394112440 edges, 3164 markings/sec, 2255 secs
lola: STP completed || 5 tries, 4068934 fired transitions, 2260 secs || 7155594 markings, 394977660 edges, 3043 markings/sec, 2260 secs
lola: STP completed || 5 tries, 4077939 fired transitions, 2265 secs || 7171247 markings, 395853700 edges, 3131 markings/sec, 2265 secs
lola: STP completed || 5 tries, 4087001 fired transitions, 2270 secs || 7188256 markings, 396737002 edges, 3402 markings/sec, 2270 secs
lola: STP completed || 5 tries, 4095963 fired transitions, 2275 secs || 7205004 markings, 397614342 edges, 3350 markings/sec, 2275 secs
lola: STP completed || 5 tries, 4104968 fired transitions, 2280 secs || 7221537 markings, 398488522 edges, 3307 markings/sec, 2280 secs
lola: STP completed || 5 tries, 4113970 fired transitions, 2285 secs || 7238480 markings, 399373227 edges, 3389 markings/sec, 2285 secs
lola: STP completed || 5 tries, 4123030 fired transitions, 2290 secs || 7253868 markings, 400242151 edges, 3078 markings/sec, 2290 secs
lola: STP completed || 5 tries, 4132035 fired transitions, 2295 secs || 7268990 markings, 401121365 edges, 3024 markings/sec, 2295 secs
lola: STP completed || 5 tries, 4141062 fired transitions, 2300 secs || 7284512 markings, 402002835 edges, 3104 markings/sec, 2300 secs
lola: STP completed || 5 tries, 4150078 fired transitions, 2305 secs || 7300092 markings, 402879437 edges, 3116 markings/sec, 2305 secs
lola: STP completed || 5 tries, 4159041 fired transitions, 2310 secs || 7316025 markings, 403757400 edges, 3187 markings/sec, 2310 secs
lola: STP completed || 5 tries, 4168053 fired transitions, 2315 secs || 7330960 markings, 404638991 edges, 2987 markings/sec, 2315 secs
lola: STP completed || 5 tries, 4176985 fired transitions, 2320 secs || 7346019 markings, 405526424 edges, 3012 markings/sec, 2320 secs
lola: STP completed || 5 tries, 4185995 fired transitions, 2325 secs || 7360754 markings, 406406519 edges, 2947 markings/sec, 2325 secs
lola: STP completed || 5 tries, 4194951 fired transitions, 2330 secs || 7376365 markings, 407293105 edges, 3122 markings/sec, 2330 secs
lola: STP completed || 5 tries, 4203939 fired transitions, 2335 secs || 7392371 markings, 408181973 edges, 3201 markings/sec, 2335 secs
lola: STP completed || 5 tries, 4212952 fired transitions, 2340 secs || 7407881 markings, 409069476 edges, 3102 markings/sec, 2340 secs
lola: STP completed || 5 tries, 4222001 fired transitions, 2345 secs || 7422857 markings, 409949166 edges, 2995 markings/sec, 2345 secs
lola: STP completed || 5 tries, 4230962 fired transitions, 2350 secs || 7438222 markings, 410831824 edges, 3073 markings/sec, 2350 secs
lola: STP completed || 5 tries, 4239923 fired transitions, 2355 secs || 7454198 markings, 411716631 edges, 3195 markings/sec, 2355 secs
lola: STP completed || 5 tries, 4248877 fired transitions, 2360 secs || 7469702 markings, 412605853 edges, 3101 markings/sec, 2360 secs
lola: STP completed || 5 tries, 4257850 fired transitions, 2365 secs || 7486520 markings, 413505575 edges, 3364 markings/sec, 2365 secs
lola: STP completed || 5 tries, 4266782 fired transitions, 2370 secs || 7503332 markings, 414388159 edges, 3362 markings/sec, 2370 secs
lola: STP completed || 5 tries, 4275750 fired transitions, 2375 secs || 7519375 markings, 415267577 edges, 3209 markings/sec, 2375 secs
lola: STP completed || 5 tries, 4284802 fired transitions, 2380 secs || 7535734 markings, 416163759 edges, 3272 markings/sec, 2380 secs
lola: STP completed || 5 tries, 4293784 fired transitions, 2385 secs || 7551336 markings, 417033988 edges, 3120 markings/sec, 2385 secs
lola: STP completed || 5 tries, 4302737 fired transitions, 2390 secs || 7567323 markings, 417919371 edges, 3197 markings/sec, 2390 secs
lola: STP completed || 5 tries, 4311764 fired transitions, 2395 secs || 7581858 markings, 418793624 edges, 2907 markings/sec, 2395 secs
lola: STP completed || 5 tries, 4320755 fired transitions, 2400 secs || 7597566 markings, 419676613 edges, 3142 markings/sec, 2400 secs
lola: STP completed || 5 tries, 4329742 fired transitions, 2405 secs || 7613709 markings, 420553730 edges, 3229 markings/sec, 2405 secs
lola: STP completed || 5 tries, 4338690 fired transitions, 2410 secs || 7630176 markings, 421440989 edges, 3293 markings/sec, 2410 secs
lola: STP completed || 5 tries, 4347665 fired transitions, 2415 secs || 7647297 markings, 422344847 edges, 3424 markings/sec, 2415 secs
lola: STP completed || 5 tries, 4356691 fired transitions, 2420 secs || 7664477 markings, 423234914 edges, 3436 markings/sec, 2420 secs
lola: STP completed || 5 tries, 4365672 fired transitions, 2425 secs || 7681438 markings, 424122226 edges, 3392 markings/sec, 2425 secs
lola: STP completed || 5 tries, 4374692 fired transitions, 2430 secs || 7698393 markings, 425013673 edges, 3391 markings/sec, 2430 secs
lola: STP completed || 5 tries, 4383683 fired transitions, 2435 secs || 7714864 markings, 425894387 edges, 3294 markings/sec, 2435 secs
lola: STP completed || 5 tries, 4392637 fired transitions, 2440 secs || 7731341 markings, 426767606 edges, 3295 markings/sec, 2440 secs
lola: STP completed || 5 tries, 4401604 fired transitions, 2445 secs || 7748240 markings, 427657090 edges, 3380 markings/sec, 2445 secs
lola: STP completed || 5 tries, 4410559 fired transitions, 2450 secs || 7764905 markings, 428542101 edges, 3333 markings/sec, 2450 secs
lola: STP completed || 5 tries, 4419588 fired transitions, 2455 secs || 7781783 markings, 429426268 edges, 3376 markings/sec, 2455 secs
lola: STP completed || 5 tries, 4428545 fired transitions, 2460 secs || 7798201 markings, 430307602 edges, 3284 markings/sec, 2460 secs
lola: STP completed || 5 tries, 4437554 fired transitions, 2465 secs || 7814575 markings, 431192195 edges, 3275 markings/sec, 2465 secs
lola: STP completed || 5 tries, 4446550 fired transitions, 2470 secs || 7830990 markings, 432071923 edges, 3283 markings/sec, 2470 secs
lola: STP completed || 5 tries, 4455477 fired transitions, 2475 secs || 7847594 markings, 432958772 edges, 3321 markings/sec, 2475 secs
lola: STP completed || 5 tries, 4464441 fired transitions, 2480 secs || 7863164 markings, 433832429 edges, 3114 markings/sec, 2480 secs
lola: STP completed || 5 tries, 4473427 fired transitions, 2485 secs || 7879952 markings, 434711027 edges, 3358 markings/sec, 2485 secs
lola: STP completed || 5 tries, 4482417 fired transitions, 2490 secs || 7895828 markings, 435586730 edges, 3175 markings/sec, 2490 secs
lola: STP completed || 5 tries, 4491445 fired transitions, 2495 secs || 7913107 markings, 436471223 edges, 3456 markings/sec, 2495 secs
lola: STP completed || 5 tries, 4500352 fired transitions, 2500 secs || 7930201 markings, 437354870 edges, 3419 markings/sec, 2500 secs
lola: STP completed || 5 tries, 4509320 fired transitions, 2505 secs || 7946355 markings, 438239843 edges, 3231 markings/sec, 2505 secs
lola: STP completed || 5 tries, 4518323 fired transitions, 2510 secs || 7963345 markings, 439129173 edges, 3398 markings/sec, 2510 secs
lola: STP completed || 5 tries, 4527242 fired transitions, 2515 secs || 7978825 markings, 439995500 edges, 3096 markings/sec, 2515 secs
lola: STP completed || 5 tries, 4536233 fired transitions, 2520 secs || 7994823 markings, 440874903 edges, 3200 markings/sec, 2520 secs
lola: STP completed || 5 tries, 4545206 fired transitions, 2525 secs || 8010951 markings, 441750957 edges, 3226 markings/sec, 2525 secs
lola: STP completed || 5 tries, 4554173 fired transitions, 2530 secs || 8027714 markings, 442628746 edges, 3353 markings/sec, 2530 secs
lola: STP completed || 5 tries, 4563171 fired transitions, 2535 secs || 8044700 markings, 443509161 edges, 3397 markings/sec, 2535 secs
lola: STP completed || 5 tries, 4572151 fired transitions, 2540 secs || 8062008 markings, 444391508 edges, 3462 markings/sec, 2540 secs
lola: STP completed || 5 tries, 4581144 fired transitions, 2545 secs || 8078710 markings, 445279700 edges, 3340 markings/sec, 2545 secs
lola: STP completed || 5 tries, 4589839 fired transitions, 2550 secs || 8094127 markings, 446124928 edges, 3083 markings/sec, 2550 secs
lola: STP completed || 5 tries, 4598616 fired transitions, 2555 secs || 8109139 markings, 446948465 edges, 3002 markings/sec, 2555 secs
lola: STP completed || 5 tries, 4607700 fired transitions, 2560 secs || 8124376 markings, 447802667 edges, 3047 markings/sec, 2560 secs
lola: STP completed || 5 tries, 4616710 fired transitions, 2565 secs || 8140907 markings, 448675681 edges, 3306 markings/sec, 2565 secs
lola: STP completed || 5 tries, 4625761 fired transitions, 2570 secs || 8156689 markings, 449545478 edges, 3156 markings/sec, 2570 secs
lola: STP completed || 5 tries, 4634710 fired transitions, 2575 secs || 8171694 markings, 450413837 edges, 3001 markings/sec, 2575 secs
lola: STP completed || 5 tries, 4643688 fired transitions, 2580 secs || 8188110 markings, 451285871 edges, 3283 markings/sec, 2580 secs
lola: STP completed || 5 tries, 4652749 fired transitions, 2585 secs || 8204838 markings, 452161086 edges, 3346 markings/sec, 2585 secs
lola: STP completed || 5 tries, 4661760 fired transitions, 2590 secs || 8221265 markings, 453026686 edges, 3285 markings/sec, 2590 secs
lola: STP completed || 5 tries, 4670762 fired transitions, 2595 secs || 8237737 markings, 453899228 edges, 3294 markings/sec, 2595 secs
lola: STP completed || 5 tries, 4679824 fired transitions, 2600 secs || 8253763 markings, 454761384 edges, 3205 markings/sec, 2600 secs
lola: STP completed || 5 tries, 4688953 fired transitions, 2605 secs || 8270111 markings, 455636353 edges, 3270 markings/sec, 2605 secs
lola: STP completed || 5 tries, 4698051 fired transitions, 2610 secs || 8286304 markings, 456502518 edges, 3239 markings/sec, 2610 secs
lola: STP completed || 5 tries, 4707208 fired transitions, 2615 secs || 8302139 markings, 457371236 edges, 3167 markings/sec, 2615 secs
lola: STP completed || 5 tries, 4716344 fired transitions, 2620 secs || 8317316 markings, 458228983 edges, 3035 markings/sec, 2620 secs
lola: STP completed || 5 tries, 4725435 fired transitions, 2625 secs || 8333520 markings, 459104927 edges, 3241 markings/sec, 2625 secs
lola: STP completed || 5 tries, 4734424 fired transitions, 2630 secs || 8350702 markings, 459992122 edges, 3436 markings/sec, 2630 secs
lola: STP completed || 5 tries, 4743493 fired transitions, 2635 secs || 8367123 markings, 460867054 edges, 3284 markings/sec, 2635 secs
lola: STP completed || 5 tries, 4752650 fired transitions, 2640 secs || 8383514 markings, 461734382 edges, 3278 markings/sec, 2640 secs
lola: STP completed || 5 tries, 4761788 fired transitions, 2645 secs || 8399499 markings, 462597076 edges, 3197 markings/sec, 2645 secs
lola: STP completed || 5 tries, 4770776 fired transitions, 2650 secs || 8415466 markings, 463465333 edges, 3193 markings/sec, 2650 secs
lola: STP completed || 5 tries, 4779797 fired transitions, 2655 secs || 8432403 markings, 464335982 edges, 3387 markings/sec, 2655 secs
lola: STP completed || 5 tries, 4788677 fired transitions, 2660 secs || 8446924 markings, 465136508 edges, 2904 markings/sec, 2660 secs
lola: STP completed || 5 tries, 4797658 fired transitions, 2665 secs || 8462161 markings, 465985984 edges, 3047 markings/sec, 2665 secs
lola: STP completed || 5 tries, 4806604 fired transitions, 2670 secs || 8478412 markings, 466848397 edges, 3250 markings/sec, 2670 secs
lola: STP completed || 5 tries, 4815636 fired transitions, 2675 secs || 8494814 markings, 467722077 edges, 3280 markings/sec, 2675 secs
lola: STP completed || 5 tries, 4824629 fired transitions, 2680 secs || 8512044 markings, 468616026 edges, 3446 markings/sec, 2680 secs
lola: STP completed || 5 tries, 4833601 fired transitions, 2685 secs || 8528581 markings, 469496981 edges, 3307 markings/sec, 2685 secs
lola: STP completed || 5 tries, 4842563 fired transitions, 2690 secs || 8545399 markings, 470384094 edges, 3364 markings/sec, 2690 secs
lola: STP completed || 5 tries, 4851523 fired transitions, 2695 secs || 8562261 markings, 471267465 edges, 3372 markings/sec, 2695 secs
lola: STP completed || 5 tries, 4860499 fired transitions, 2700 secs || 8578870 markings, 472169513 edges, 3322 markings/sec, 2700 secs
lola: STP completed || 5 tries, 4869550 fired transitions, 2705 secs || 8595033 markings, 473054131 edges, 3233 markings/sec, 2705 secs
lola: STP completed || 5 tries, 4878514 fired transitions, 2710 secs || 8609918 markings, 473931454 edges, 2977 markings/sec, 2710 secs
lola: STP completed || 5 tries, 4887479 fired transitions, 2715 secs || 8625420 markings, 474812063 edges, 3100 markings/sec, 2715 secs
lola: STP completed || 5 tries, 4896517 fired transitions, 2720 secs || 8641536 markings, 475692629 edges, 3223 markings/sec, 2720 secs
lola: STP completed || 5 tries, 4905548 fired transitions, 2725 secs || 8658445 markings, 476592522 edges, 3382 markings/sec, 2725 secs
lola: STP completed || 5 tries, 4914494 fired transitions, 2730 secs || 8675676 markings, 477476303 edges, 3446 markings/sec, 2730 secs
lola: STP completed || 5 tries, 4923524 fired transitions, 2735 secs || 8692728 markings, 478361384 edges, 3410 markings/sec, 2735 secs
lola: STP completed || 5 tries, 4932481 fired transitions, 2740 secs || 8709533 markings, 479235599 edges, 3361 markings/sec, 2740 secs
lola: STP completed || 5 tries, 4941566 fired transitions, 2745 secs || 8726443 markings, 480105025 edges, 3382 markings/sec, 2745 secs
lola: STP completed || 5 tries, 4950646 fired transitions, 2750 secs || 8742406 markings, 480970442 edges, 3193 markings/sec, 2750 secs
lola: STP completed || 5 tries, 4959726 fired transitions, 2755 secs || 8759217 markings, 481836630 edges, 3362 markings/sec, 2755 secs
lola: STP completed || 5 tries, 4968816 fired transitions, 2760 secs || 8774711 markings, 482697253 edges, 3099 markings/sec, 2760 secs
lola: STP completed || 5 tries, 4977884 fired transitions, 2765 secs || 8790825 markings, 483581579 edges, 3223 markings/sec, 2765 secs
lola: STP completed || 5 tries, 4986866 fired transitions, 2770 secs || 8807791 markings, 484462235 edges, 3393 markings/sec, 2770 secs
lola: STP completed || 5 tries, 4995845 fired transitions, 2775 secs || 8823965 markings, 485332888 edges, 3235 markings/sec, 2775 secs
lola: STP completed || 6 tries, 5004927 fired transitions, 2780 secs || 8840586 markings, 486224598 edges, 3324 markings/sec, 2780 secs
lola: STP completed || 6 tries, 5013850 fired transitions, 2785 secs || 8856499 markings, 487094899 edges, 3183 markings/sec, 2785 secs
lola: STP completed || 6 tries, 5022824 fired transitions, 2790 secs || 8873931 markings, 487978632 edges, 3486 markings/sec, 2790 secs
lola: STP completed || 6 tries, 5031428 fired transitions, 2795 secs || 8889945 markings, 488825349 edges, 3203 markings/sec, 2795 secs
lola: STP completed || 6 tries, 5040047 fired transitions, 2800 secs || 8905606 markings, 489671404 edges, 3132 markings/sec, 2800 secs
lola: STP completed || 6 tries, 5048699 fired transitions, 2805 secs || 8922147 markings, 490528653 edges, 3308 markings/sec, 2805 secs
lola: STP completed || 6 tries, 5057302 fired transitions, 2810 secs || 8938313 markings, 491364789 edges, 3233 markings/sec, 2810 secs
lola: STP completed || 6 tries, 5065808 fired transitions, 2815 secs || 8954511 markings, 492238158 edges, 3240 markings/sec, 2815 secs
lola: STP completed || 6 tries, 5074795 fired transitions, 2820 secs || 8971331 markings, 493112367 edges, 3364 markings/sec, 2820 secs
lola: STP completed || 6 tries, 5083757 fired transitions, 2825 secs || 8986821 markings, 493991441 edges, 3098 markings/sec, 2825 secs
lola: STP completed || 6 tries, 5092827 fired transitions, 2830 secs || 9003378 markings, 494872176 edges, 3311 markings/sec, 2830 secs
lola: STP completed || 6 tries, 5101811 fired transitions, 2835 secs || 9020484 markings, 495766067 edges, 3421 markings/sec, 2835 secs
lola: STP completed || 6 tries, 5110798 fired transitions, 2840 secs || 9037022 markings, 496646131 edges, 3308 markings/sec, 2840 secs
lola: STP completed || 6 tries, 5119810 fired transitions, 2845 secs || 9053482 markings, 497515780 edges, 3292 markings/sec, 2845 secs
lola: STP completed || 6 tries, 5128862 fired transitions, 2850 secs || 9069168 markings, 498396527 edges, 3137 markings/sec, 2850 secs
lola: STP completed || 6 tries, 5137825 fired transitions, 2855 secs || 9085770 markings, 499285742 edges, 3320 markings/sec, 2855 secs
lola: STP completed || 6 tries, 5146816 fired transitions, 2860 secs || 9102503 markings, 500172754 edges, 3347 markings/sec, 2860 secs
lola: STP completed || 6 tries, 5155814 fired transitions, 2865 secs || 9119382 markings, 501065274 edges, 3376 markings/sec, 2865 secs
lola: STP completed || 6 tries, 5164769 fired transitions, 2870 secs || 9135668 markings, 501954531 edges, 3257 markings/sec, 2870 secs
lola: STP completed || 6 tries, 5173791 fired transitions, 2875 secs || 9152501 markings, 502842982 edges, 3367 markings/sec, 2875 secs
lola: STP completed || 6 tries, 5182762 fired transitions, 2880 secs || 9168176 markings, 503712467 edges, 3135 markings/sec, 2880 secs
lola: STP completed || 6 tries, 5191737 fired transitions, 2885 secs || 9185273 markings, 504613230 edges, 3419 markings/sec, 2885 secs
lola: STP completed || 6 tries, 5200693 fired transitions, 2890 secs || 9202431 markings, 505495381 edges, 3432 markings/sec, 2890 secs
lola: STP completed || 6 tries, 5209647 fired transitions, 2895 secs || 9219343 markings, 506379506 edges, 3382 markings/sec, 2895 secs
lola: STP completed || 6 tries, 5218634 fired transitions, 2900 secs || 9236057 markings, 507255272 edges, 3343 markings/sec, 2900 secs
lola: STP completed || 6 tries, 5227605 fired transitions, 2905 secs || 9252417 markings, 508130798 edges, 3272 markings/sec, 2905 secs
lola: STP completed || 6 tries, 5236542 fired transitions, 2910 secs || 9269287 markings, 509007967 edges, 3374 markings/sec, 2910 secs
lola: STP completed || 6 tries, 5245507 fired transitions, 2915 secs || 9285544 markings, 509887464 edges, 3251 markings/sec, 2915 secs
lola: STP completed || 6 tries, 5254485 fired transitions, 2920 secs || 9300591 markings, 510761317 edges, 3009 markings/sec, 2920 secs
lola: STP completed || 6 tries, 5263500 fired transitions, 2925 secs || 9316077 markings, 511635523 edges, 3097 markings/sec, 2925 secs
lola: STP completed || 6 tries, 5272400 fired transitions, 2930 secs || 9331939 markings, 512512342 edges, 3172 markings/sec, 2930 secs
lola: STP completed || 6 tries, 5281360 fired transitions, 2935 secs || 9348292 markings, 513400569 edges, 3271 markings/sec, 2935 secs
lola: STP completed || 6 tries, 5290376 fired transitions, 2940 secs || 9364667 markings, 514291624 edges, 3275 markings/sec, 2940 secs
lola: STP completed || 6 tries, 5299348 fired transitions, 2945 secs || 9381463 markings, 515177478 edges, 3359 markings/sec, 2945 secs
lola: STP completed || 6 tries, 5308287 fired transitions, 2950 secs || 9397605 markings, 516063755 edges, 3228 markings/sec, 2950 secs
lola: STP completed || 6 tries, 5317271 fired transitions, 2955 secs || 9414152 markings, 516955570 edges, 3309 markings/sec, 2955 secs
lola: STP completed || 6 tries, 5326276 fired transitions, 2960 secs || 9430087 markings, 517837014 edges, 3187 markings/sec, 2960 secs
lola: STP completed || 6 tries, 5335245 fired transitions, 2965 secs || 9446646 markings, 518724935 edges, 3312 markings/sec, 2965 secs
lola: STP completed || 6 tries, 5344170 fired transitions, 2970 secs || 9462859 markings, 519607282 edges, 3243 markings/sec, 2970 secs
lola: STP completed || 6 tries, 5353122 fired transitions, 2975 secs || 9479163 markings, 520492861 edges, 3261 markings/sec, 2975 secs
lola: STP completed || 6 tries, 5362124 fired transitions, 2980 secs || 9495507 markings, 521381529 edges, 3269 markings/sec, 2980 secs
lola: STP completed || 6 tries, 5371119 fired transitions, 2985 secs || 9511475 markings, 522265134 edges, 3194 markings/sec, 2985 secs
lola: STP completed || 6 tries, 5380104 fired transitions, 2990 secs || 9528343 markings, 523168080 edges, 3374 markings/sec, 2990 secs
lola: STP completed || 6 tries, 5389092 fired transitions, 2995 secs || 9544026 markings, 524041908 edges, 3137 markings/sec, 2995 secs
lola: STP completed || 6 tries, 5398101 fired transitions, 3000 secs || 9559213 markings, 524921427 edges, 3037 markings/sec, 3000 secs
lola: STP completed || 6 tries, 5407119 fired transitions, 3005 secs || 9575234 markings, 525802667 edges, 3204 markings/sec, 3005 secs
lola: STP completed || 6 tries, 5416118 fired transitions, 3010 secs || 9590283 markings, 526677171 edges, 3010 markings/sec, 3010 secs
lola: STP completed || 6 tries, 5425175 fired transitions, 3015 secs || 9604962 markings, 527564677 edges, 2936 markings/sec, 3015 secs
lola: STP completed || 6 tries, 5434136 fired transitions, 3020 secs || 9620825 markings, 528445691 edges, 3173 markings/sec, 3020 secs
lola: STP completed || 6 tries, 5443130 fired transitions, 3025 secs || 9637092 markings, 529338471 edges, 3253 markings/sec, 3025 secs
lola: STP completed || 6 tries, 5452135 fired transitions, 3030 secs || 9652365 markings, 530209332 edges, 3055 markings/sec, 3030 secs
lola: STP completed || 6 tries, 5461135 fired transitions, 3035 secs || 9668159 markings, 531089930 edges, 3159 markings/sec, 3035 secs
lola: STP completed || 6 tries, 5470110 fired transitions, 3040 secs || 9684534 markings, 531974838 edges, 3275 markings/sec, 3040 secs
lola: STP completed || 6 tries, 5479111 fired transitions, 3045 secs || 9700538 markings, 532868841 edges, 3201 markings/sec, 3045 secs
lola: STP completed || 6 tries, 5488088 fired transitions, 3050 secs || 9717015 markings, 533757209 edges, 3295 markings/sec, 3050 secs
lola: STP completed || 6 tries, 5497007 fired transitions, 3055 secs || 9733118 markings, 534637183 edges, 3221 markings/sec, 3055 secs
lola: STP completed || 6 tries, 5505974 fired transitions, 3060 secs || 9748465 markings, 535515770 edges, 3069 markings/sec, 3060 secs
lola: STP completed || 6 tries, 5515018 fired transitions, 3065 secs || 9764296 markings, 536396333 edges, 3166 markings/sec, 3065 secs
lola: STP completed || 6 tries, 5524065 fired transitions, 3070 secs || 9780795 markings, 537277187 edges, 3300 markings/sec, 3070 secs
lola: STP completed || 6 tries, 5533033 fired transitions, 3075 secs || 9797100 markings, 538157012 edges, 3261 markings/sec, 3075 secs
lola: STP completed || 6 tries, 5541982 fired transitions, 3080 secs || 9813675 markings, 539034911 edges, 3315 markings/sec, 3080 secs
lola: STP completed || 6 tries, 5550943 fired transitions, 3085 secs || 9830624 markings, 539918064 edges, 3390 markings/sec, 3085 secs
lola: STP completed || 6 tries, 5559914 fired transitions, 3090 secs || 9847202 markings, 540791607 edges, 3316 markings/sec, 3090 secs
lola: STP completed || 6 tries, 5568913 fired transitions, 3095 secs || 9863370 markings, 541675275 edges, 3234 markings/sec, 3095 secs
lola: STP completed || 6 tries, 5577948 fired transitions, 3100 secs || 9878739 markings, 542553055 edges, 3074 markings/sec, 3100 secs
lola: STP completed || 6 tries, 5586925 fired transitions, 3105 secs || 9893479 markings, 543415236 edges, 2948 markings/sec, 3105 secs
lola: STP completed || 6 tries, 5595852 fired transitions, 3110 secs || 9908760 markings, 544283251 edges, 3056 markings/sec, 3110 secs
lola: STP completed || 6 tries, 5604836 fired transitions, 3115 secs || 9924723 markings, 545151590 edges, 3193 markings/sec, 3115 secs
lola: STP completed || 6 tries, 5613842 fired transitions, 3120 secs || 9939214 markings, 546022002 edges, 2898 markings/sec, 3120 secs
lola: STP completed || 6 tries, 5622800 fired transitions, 3125 secs || 9953946 markings, 546891829 edges, 2946 markings/sec, 3125 secs
lola: STP completed || 6 tries, 5631779 fired transitions, 3130 secs || 9969683 markings, 547763961 edges, 3147 markings/sec, 3130 secs
lola: STP completed || 6 tries, 5640719 fired transitions, 3135 secs || 9984665 markings, 548630804 edges, 2996 markings/sec, 3135 secs
lola: STP completed || 6 tries, 5649677 fired transitions, 3140 secs || 10000521 markings, 549506418 edges, 3171 markings/sec, 3140 secs
lola: STP completed || 6 tries, 5658606 fired transitions, 3145 secs || 10016721 markings, 550382249 edges, 3240 markings/sec, 3145 secs
lola: STP completed || 6 tries, 5667589 fired transitions, 3150 secs || 10032226 markings, 551254211 edges, 3101 markings/sec, 3150 secs
lola: STP completed || 6 tries, 5676510 fired transitions, 3155 secs || 10048115 markings, 552130878 edges, 3178 markings/sec, 3155 secs
lola: STP completed || 6 tries, 5685476 fired transitions, 3160 secs || 10063583 markings, 552998200 edges, 3094 markings/sec, 3160 secs
lola: STP completed || 6 tries, 5694449 fired transitions, 3165 secs || 10078906 markings, 553871600 edges, 3065 markings/sec, 3165 secs
lola: STP completed || 6 tries, 5703440 fired transitions, 3170 secs || 10093805 markings, 554735798 edges, 2980 markings/sec, 3170 secs
lola: STP completed || 6 tries, 5712411 fired transitions, 3175 secs || 10108692 markings, 555601423 edges, 2977 markings/sec, 3175 secs
lola: STP completed || 6 tries, 5721343 fired transitions, 3180 secs || 10125071 markings, 556478026 edges, 3276 markings/sec, 3180 secs
lola: STP completed || 6 tries, 5730266 fired transitions, 3185 secs || 10142117 markings, 557363336 edges, 3409 markings/sec, 3185 secs
lola: STP completed || 6 tries, 5739253 fired transitions, 3190 secs || 10158201 markings, 558238789 edges, 3217 markings/sec, 3190 secs
lola: STP completed || 6 tries, 5748236 fired transitions, 3195 secs || 10174650 markings, 559122064 edges, 3290 markings/sec, 3195 secs
lola: STP completed || 6 tries, 5757178 fired transitions, 3200 secs || 10191590 markings, 560018260 edges, 3388 markings/sec, 3200 secs
lola: STP completed || 6 tries, 5766144 fired transitions, 3205 secs || 10207829 markings, 560895010 edges, 3248 markings/sec, 3205 secs
lola: STP completed || 6 tries, 5775146 fired transitions, 3210 secs || 10224175 markings, 561770927 edges, 3269 markings/sec, 3210 secs
lola: STP completed || 6 tries, 5784094 fired transitions, 3215 secs || 10240072 markings, 562640074 edges, 3179 markings/sec, 3215 secs
lola: STP completed || 6 tries, 5793097 fired transitions, 3220 secs || 10257394 markings, 563531560 edges, 3464 markings/sec, 3220 secs
lola: STP completed || 6 tries, 5802122 fired transitions, 3225 secs || 10274281 markings, 564424145 edges, 3377 markings/sec, 3225 secs
lola: STP completed || 6 tries, 5811124 fired transitions, 3230 secs || 10290352 markings, 565314582 edges, 3214 markings/sec, 3230 secs
lola: STP completed || 6 tries, 5820090 fired transitions, 3235 secs || 10307183 markings, 566196700 edges, 3366 markings/sec, 3235 secs
lola: STP completed || 6 tries, 5829115 fired transitions, 3240 secs || 10324097 markings, 567082395 edges, 3383 markings/sec, 3240 secs
lola: STP completed || 6 tries, 5838120 fired transitions, 3245 secs || 10340353 markings, 567964581 edges, 3251 markings/sec, 3245 secs
lola: STP completed || 6 tries, 5847098 fired transitions, 3250 secs || 10356408 markings, 568846641 edges, 3211 markings/sec, 3250 secs
lola: STP completed || 6 tries, 5856056 fired transitions, 3255 secs || 10372874 markings, 569726996 edges, 3293 markings/sec, 3255 secs
lola: STP completed || 6 tries, 5864970 fired transitions, 3260 secs || 10389324 markings, 570606269 edges, 3290 markings/sec, 3260 secs
lola: STP completed || 6 tries, 5873948 fired transitions, 3265 secs || 10406308 markings, 571497963 edges, 3397 markings/sec, 3265 secs
lola: STP completed || 6 tries, 5882871 fired transitions, 3270 secs || 10422440 markings, 572379675 edges, 3226 markings/sec, 3270 secs
lola: STP completed || 6 tries, 5891825 fired transitions, 3275 secs || 10438884 markings, 573266273 edges, 3289 markings/sec, 3275 secs
lola: STP completed || 6 tries, 5900751 fired transitions, 3280 secs || 10455859 markings, 574157939 edges, 3395 markings/sec, 3280 secs
lola: STP completed || 6 tries, 5909743 fired transitions, 3285 secs || 10471003 markings, 575028016 edges, 3029 markings/sec, 3285 secs
lola: STP completed || 6 tries, 5918746 fired transitions, 3290 secs || 10487258 markings, 575918360 edges, 3251 markings/sec, 3290 secs
lola: STP completed || 6 tries, 5927736 fired transitions, 3295 secs || 10504276 markings, 576818369 edges, 3404 markings/sec, 3295 secs
lola: STP completed || 6 tries, 5936718 fired transitions, 3300 secs || 10521202 markings, 577701560 edges, 3385 markings/sec, 3300 secs
lola: STP completed || 6 tries, 5945695 fired transitions, 3305 secs || 10537756 markings, 578590868 edges, 3311 markings/sec, 3305 secs
lola: STP completed || 6 tries, 5954648 fired transitions, 3310 secs || 10554835 markings, 579478254 edges, 3416 markings/sec, 3310 secs
lola: STP completed || 6 tries, 5963648 fired transitions, 3315 secs || 10570825 markings, 580352781 edges, 3198 markings/sec, 3315 secs
lola: STP completed || 6 tries, 5972636 fired transitions, 3320 secs || 10586965 markings, 581226092 edges, 3228 markings/sec, 3320 secs
lola: STP completed || 6 tries, 5981652 fired transitions, 3325 secs || 10603726 markings, 582109753 edges, 3352 markings/sec, 3325 secs
lola: STP completed || 6 tries, 5990640 fired transitions, 3330 secs || 10620350 markings, 582998851 edges, 3325 markings/sec, 3330 secs
lola: STP completed || 6 tries, 5999653 fired transitions, 3335 secs || 10637089 markings, 583866816 edges, 3348 markings/sec, 3335 secs
lola: STP completed || 7 tries, 6008705 fired transitions, 3340 secs || 10654399 markings, 584741274 edges, 3462 markings/sec, 3340 secs
lola: STP completed || 7 tries, 6017800 fired transitions, 3345 secs || 10669291 markings, 585590933 edges, 2978 markings/sec, 3345 secs
lola: STP completed || 7 tries, 6026874 fired transitions, 3350 secs || 10686695 markings, 586470554 edges, 3481 markings/sec, 3350 secs
lola: STP completed || 7 tries, 6035977 fired transitions, 3355 secs || 10703111 markings, 587335823 edges, 3283 markings/sec, 3355 secs
lola: STP completed || 7 tries, 6045049 fired transitions, 3360 secs || 10719419 markings, 588203809 edges, 3262 markings/sec, 3360 secs
lola: STP completed || 7 tries, 6054117 fired transitions, 3365 secs || 10735211 markings, 589067232 edges, 3158 markings/sec, 3365 secs
lola: STP completed || 7 tries, 6063237 fired transitions, 3370 secs || 10750831 markings, 589936142 edges, 3124 markings/sec, 3370 secs
lola: STP completed || 7 tries, 6072373 fired transitions, 3375 secs || 10767691 markings, 590833064 edges, 3372 markings/sec, 3375 secs
lola: STP completed || 7 tries, 6081414 fired transitions, 3380 secs || 10784868 markings, 591733462 edges, 3435 markings/sec, 3380 secs
lola: STP completed || 7 tries, 6090470 fired transitions, 3385 secs || 10801463 markings, 592611845 edges, 3319 markings/sec, 3385 secs
lola: STP completed || 7 tries, 6099547 fired transitions, 3390 secs || 10817421 markings, 593479571 edges, 3192 markings/sec, 3390 secs
lola: STP completed || 7 tries, 6108579 fired transitions, 3395 secs || 10835503 markings, 594384177 edges, 3616 markings/sec, 3395 secs
lola: STP completed || 7 tries, 6117631 fired transitions, 3400 secs || 10852248 markings, 595254983 edges, 3349 markings/sec, 3400 secs
lola: STP completed || 7 tries, 6126632 fired transitions, 3405 secs || 10868639 markings, 596133321 edges, 3278 markings/sec, 3405 secs
lola: STP completed || 7 tries, 6135703 fired transitions, 3410 secs || 10885538 markings, 597022195 edges, 3380 markings/sec, 3410 secs
lola: STP completed || 7 tries, 6144758 fired transitions, 3415 secs || 10901799 markings, 597896385 edges, 3252 markings/sec, 3415 secs
lola: STP completed || 7 tries, 6153831 fired transitions, 3420 secs || 10917675 markings, 598753848 edges, 3175 markings/sec, 3420 secs
lola: STP completed || 7 tries, 6162861 fired transitions, 3425 secs || 10934268 markings, 599624650 edges, 3319 markings/sec, 3425 secs
lola: STP completed || 7 tries, 6171946 fired transitions, 3430 secs || 10950540 markings, 600492868 edges, 3254 markings/sec, 3430 secs
lola: STP completed || 7 tries, 6180955 fired transitions, 3435 secs || 10965506 markings, 601355021 edges, 2993 markings/sec, 3435 secs
lola: STP completed || 7 tries, 6190039 fired transitions, 3440 secs || 10981481 markings, 602223285 edges, 3195 markings/sec, 3440 secs
lola: STP completed || 7 tries, 6199096 fired transitions, 3445 secs || 10998398 markings, 603096434 edges, 3383 markings/sec, 3445 secs
lola: STP completed || 7 tries, 6208157 fired transitions, 3450 secs || 11014761 markings, 603966423 edges, 3273 markings/sec, 3450 secs
lola: STP completed || 7 tries, 6217233 fired transitions, 3455 secs || 11030707 markings, 604831007 edges, 3189 markings/sec, 3455 secs
lola: STP completed || 7 tries, 6226376 fired transitions, 3460 secs || 11046959 markings, 605702831 edges, 3250 markings/sec, 3460 secs
lola: STP completed || 7 tries, 6235393 fired transitions, 3465 secs || 11063157 markings, 606585521 edges, 3240 markings/sec, 3465 secs
lola: STP completed || 7 tries, 6244445 fired transitions, 3470 secs || 11079014 markings, 607454217 edges, 3171 markings/sec, 3470 secs
lola: STP completed || 7 tries, 6253484 fired transitions, 3475 secs || 11094972 markings, 608318369 edges, 3192 markings/sec, 3475 secs
lola: STP completed || 7 tries, 6262578 fired transitions, 3480 secs || 11110725 markings, 609182579 edges, 3151 markings/sec, 3480 secs
lola: STP completed || 7 tries, 6271641 fired transitions, 3485 secs || 11127730 markings, 610061141 edges, 3401 markings/sec, 3485 secs
lola: STP completed || 7 tries, 6280735 fired transitions, 3490 secs || 11144535 markings, 610938806 edges, 3361 markings/sec, 3490 secs
lola: STP completed || 7 tries, 6289778 fired transitions, 3495 secs || 11161437 markings, 611818689 edges, 3380 markings/sec, 3495 secs
lola: STP completed || 7 tries, 6298851 fired transitions, 3500 secs || 11178102 markings, 612697871 edges, 3333 markings/sec, 3500 secs
lola: STP completed || 7 tries, 6307937 fired transitions, 3505 secs || 11194392 markings, 613568759 edges, 3258 markings/sec, 3505 secs
lola: STP completed || 7 tries, 6316852 fired transitions, 3510 secs || 11211280 markings, 614434008 edges, 3378 markings/sec, 3510 secs
lola: STP completed || 7 tries, 6325867 fired transitions, 3515 secs || 11227681 markings, 615315399 edges, 3280 markings/sec, 3515 secs
lola: STP completed || 7 tries, 6334813 fired transitions, 3520 secs || 11244126 markings, 616203439 edges, 3289 markings/sec, 3520 secs
lola: STP completed || 7 tries, 6343792 fired transitions, 3525 secs || 11260579 markings, 617084959 edges, 3291 markings/sec, 3525 secs
lola: STP completed || 7 tries, 6352905 fired transitions, 3530 secs || 11277082 markings, 617962483 edges, 3301 markings/sec, 3530 secs
lola: STP completed || 7 tries, 6361854 fired transitions, 3535 secs || 11293278 markings, 618850674 edges, 3239 markings/sec, 3535 secs
lola: STP completed || 7 tries, 6370845 fired transitions, 3540 secs || 11308466 markings, 619714573 edges, 3038 markings/sec, 3540 secs
lola: STP completed || 7 tries, 6379809 fired transitions, 3545 secs || 11323804 markings, 620589851 edges, 3068 markings/sec, 3545 secs
lola: STP completed || 7 tries, 6388807 fired transitions, 3550 secs || 11340235 markings, 621482061 edges, 3286 markings/sec, 3550 secs
lola: STP completed || 7 tries, 6397818 fired transitions, 3555 secs || 11356224 markings, 622363344 edges, 3198 markings/sec, 3555 secs
lola: STP completed || 7 tries, 6406771 fired transitions, 3560 secs || 11372786 markings, 623249484 edges, 3312 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 5326844 KB
lola: time consumption: 3570 seconds
BK_STOP 1526662002199
--------------------
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-11a"
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-11a.tgz
mv DLCround-PT-11a 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-11a, 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-152649735200118"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;