About the Execution of LoLA for JoinFreeModules-PT-0500
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5799.510 | 3569951.00 | 7254552.00 | 7576.80 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......................
/home/mcc/execution
total 3.0M
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K 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.7K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.9K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 352 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 2.9M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is JoinFreeModules-PT-0500, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r100-smll-152658630900286
=====================================================================
--------------------
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 JoinFreeModules-PT-0500-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526853468589
info: Time: 3600 - MCC
===========================================================================================
prep: translating JoinFreeModules-PT-0500 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating JoinFreeModules-PT-0500 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ JoinFreeModules-PT-0500 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 6502/65536 symbol table entries, 1048 collisions
lola: preprocessing...
lola: Size of bit vector: 80032
lola: finding significant places
lola: 2501 places, 4001 transitions, 2000 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4501 transition conflict sets
lola: TASK
lola: reading formula from JoinFreeModules-PT-0500-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: stp: The siphon/trap property is not applicable since the net is inhomogeneous
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP completed || 3 tries, 2167713 fired transitions, 0 secs
lola: 6881 generators; 2985830 candidates remain ( 0%), 0 secs
lola: STP completed || 5 tries, 4402688 fired transitions, 5 secs
lola: 14970 generators; 2805832 candidates remain ( 0%), 5 secs
lola: STP completed || 7 tries, 6623291 fired transitions, 10 secs
lola: 23624 generators; 2631017 candidates remain ( 0%), 10 secs
lola: STP completed || 9 tries, 8813663 fired transitions, 15 secs
lola: 31065 generators; 2484057 candidates remain ( 1%), 15 secs
lola: STP completed || 11 tries, 10789921 fired transitions, 20 secs
lola: 39173 generators; 2309259 candidates remain ( 1%), 20 secs
lola: STP completed || 13 tries, 12726195 fired transitions, 25 secs
lola: 46436 generators; 2152954 candidates remain ( 2%), 25 secs
lola: STP completed || 15 tries, 14705095 fired transitions, 30 secs
lola: 55616 generators; 1958338 candidates remain ( 2%), 30 secs
lola: STP completed || 17 tries, 16911729 fired transitions, 35 secs
lola: 65598 generators; 1746669 candidates remain ( 3%), 35 secs
lola: STP completed || 20 tries, 19208677 fired transitions, 40 secs
lola: 78800 generators; 1458678 candidates remain ( 5%), 40 secs
lola: STP completed || 22 tries, 21513129 fired transitions, 45 secs
lola: 95810 generators; 1061407 candidates remain ( 8%), 45 secs
lola: STP completed || 24 tries, 23816118 fired transitions, 50 secs
lola: 118146 generators; 439780 candidates remain (21%), 50 secs
lola: computed 124251 generators (702 in search tree, 123549 by composition)
lola: representing 2.44027E+1131 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 27 tries, 26115973 fired transitions, 55 secs || 17608 markings, 28502 edges, 3522 markings/sec, 55 secs
lola: STP completed || 29 tries, 28420774 fired transitions, 60 secs || 39671 markings, 64606 edges, 4413 markings/sec, 60 secs
lola: STP completed || 31 tries, 30724704 fired transitions, 65 secs || 61784 markings, 100520 edges, 4423 markings/sec, 65 secs
lola: STP completed || 34 tries, 33022516 fired transitions, 70 secs || 83779 markings, 136546 edges, 4399 markings/sec, 70 secs
lola: STP completed || 36 tries, 35332346 fired transitions, 75 secs || 105796 markings, 172604 edges, 4403 markings/sec, 75 secs
lola: STP completed || 38 tries, 37636799 fired transitions, 80 secs || 127946 markings, 208582 edges, 4430 markings/sec, 80 secs
lola: STP completed || 40 tries, 39937905 fired transitions, 85 secs || 150016 markings, 244525 edges, 4414 markings/sec, 85 secs
lola: STP completed || 43 tries, 42242814 fired transitions, 90 secs || 172118 markings, 280499 edges, 4420 markings/sec, 90 secs
lola: STP completed || 45 tries, 44544583 fired transitions, 95 secs || 194148 markings, 316515 edges, 4406 markings/sec, 95 secs
lola: STP completed || 47 tries, 46846139 fired transitions, 100 secs || 216073 markings, 352506 edges, 4385 markings/sec, 100 secs
lola: STP completed || 50 tries, 49150811 fired transitions, 105 secs || 238087 markings, 388523 edges, 4403 markings/sec, 105 secs
lola: STP completed || 52 tries, 51449974 fired transitions, 110 secs || 260262 markings, 424553 edges, 4435 markings/sec, 110 secs
lola: STP completed || 54 tries, 53757331 fired transitions, 115 secs || 282310 markings, 460509 edges, 4410 markings/sec, 115 secs
lola: STP completed || 57 tries, 56058201 fired transitions, 120 secs || 304295 markings, 496468 edges, 4397 markings/sec, 120 secs
lola: STP completed || 59 tries, 58340179 fired transitions, 125 secs || 326625 markings, 532800 edges, 4466 markings/sec, 125 secs
lola: STP completed || 61 tries, 60626317 fired transitions, 130 secs || 348818 markings, 569209 edges, 4439 markings/sec, 130 secs
lola: STP completed || 63 tries, 62915087 fired transitions, 135 secs || 371227 markings, 605638 edges, 4482 markings/sec, 135 secs
lola: STP completed || 66 tries, 65193725 fired transitions, 140 secs || 393373 markings, 642053 edges, 4429 markings/sec, 140 secs
lola: STP completed || 68 tries, 67472378 fired transitions, 145 secs || 415748 markings, 678430 edges, 4475 markings/sec, 145 secs
lola: STP completed || 70 tries, 69758350 fired transitions, 150 secs || 437959 markings, 714852 edges, 4442 markings/sec, 150 secs
lola: STP completed || 73 tries, 72028498 fired transitions, 155 secs || 460142 markings, 751171 edges, 4437 markings/sec, 155 secs
lola: STP completed || 75 tries, 74293350 fired transitions, 160 secs || 482643 markings, 787427 edges, 4500 markings/sec, 160 secs
lola: STP completed || 77 tries, 76554035 fired transitions, 165 secs || 504724 markings, 823550 edges, 4416 markings/sec, 165 secs
lola: STP completed || 79 tries, 78831218 fired transitions, 170 secs || 526894 markings, 859827 edges, 4434 markings/sec, 170 secs
lola: STP completed || 82 tries, 81110147 fired transitions, 175 secs || 549133 markings, 896065 edges, 4448 markings/sec, 175 secs
lola: STP completed || 84 tries, 83389208 fired transitions, 180 secs || 571292 markings, 932343 edges, 4432 markings/sec, 180 secs
lola: STP completed || 86 tries, 85668507 fired transitions, 185 secs || 593400 markings, 968639 edges, 4422 markings/sec, 185 secs
lola: STP completed || 88 tries, 87949714 fired transitions, 190 secs || 615724 markings, 1004889 edges, 4465 markings/sec, 190 secs
lola: STP completed || 91 tries, 90232407 fired transitions, 195 secs || 638009 markings, 1041182 edges, 4457 markings/sec, 195 secs
lola: STP completed || 93 tries, 92530379 fired transitions, 200 secs || 660163 markings, 1077325 edges, 4431 markings/sec, 200 secs
lola: STP completed || 95 tries, 94828764 fired transitions, 205 secs || 681315 markings, 1112072 edges, 4230 markings/sec, 205 secs
lola: STP completed || 98 tries, 97117842 fired transitions, 210 secs || 703633 markings, 1148428 edges, 4464 markings/sec, 210 secs
lola: STP completed || 100 tries, 99416085 fired transitions, 215 secs || 725868 markings, 1184776 edges, 4447 markings/sec, 215 secs
lola: STP completed || 102 tries, 101721384 fired transitions, 220 secs || 748131 markings, 1221089 edges, 4453 markings/sec, 220 secs
lola: STP completed || 105 tries, 104024345 fired transitions, 225 secs || 770278 markings, 1257408 edges, 4429 markings/sec, 225 secs
lola: STP completed || 107 tries, 106261171 fired transitions, 230 secs || 792586 markings, 1293720 edges, 4462 markings/sec, 230 secs
lola: STP completed || 109 tries, 108369735 fired transitions, 235 secs || 814927 markings, 1329970 edges, 4468 markings/sec, 235 secs
lola: STP completed || 111 tries, 110560552 fired transitions, 240 secs || 836953 markings, 1366168 edges, 4405 markings/sec, 240 secs
lola: STP completed || 113 tries, 112789139 fired transitions, 245 secs || 859017 markings, 1402316 edges, 4413 markings/sec, 245 secs
lola: STP completed || 116 tries, 115081592 fired transitions, 250 secs || 881269 markings, 1438438 edges, 4450 markings/sec, 250 secs
lola: STP completed || 118 tries, 117380479 fired transitions, 255 secs || 903613 markings, 1474721 edges, 4469 markings/sec, 255 secs
lola: STP completed || 120 tries, 119682397 fired transitions, 260 secs || 925692 markings, 1511055 edges, 4416 markings/sec, 260 secs
lola: STP completed || 122 tries, 121980661 fired transitions, 265 secs || 947961 markings, 1547313 edges, 4454 markings/sec, 265 secs
lola: STP completed || 125 tries, 124278096 fired transitions, 270 secs || 970290 markings, 1583612 edges, 4466 markings/sec, 270 secs
lola: STP completed || 127 tries, 126584834 fired transitions, 275 secs || 992584 markings, 1619932 edges, 4459 markings/sec, 275 secs
lola: STP completed || 129 tries, 128874639 fired transitions, 280 secs || 1014621 markings, 1656232 edges, 4407 markings/sec, 280 secs
lola: STP completed || 132 tries, 131174496 fired transitions, 285 secs || 1036921 markings, 1692507 edges, 4460 markings/sec, 285 secs
lola: STP completed || 134 tries, 133484099 fired transitions, 290 secs || 1059143 markings, 1728793 edges, 4444 markings/sec, 290 secs
lola: STP completed || 136 tries, 135784332 fired transitions, 295 secs || 1081464 markings, 1765029 edges, 4464 markings/sec, 295 secs
lola: STP completed || 139 tries, 138077382 fired transitions, 300 secs || 1103493 markings, 1801276 edges, 4406 markings/sec, 300 secs
lola: STP completed || 141 tries, 140373204 fired transitions, 305 secs || 1125788 markings, 1837561 edges, 4459 markings/sec, 305 secs
lola: STP completed || 143 tries, 142678657 fired transitions, 310 secs || 1148092 markings, 1873877 edges, 4461 markings/sec, 310 secs
lola: STP completed || 145 tries, 144973257 fired transitions, 315 secs || 1170285 markings, 1910201 edges, 4439 markings/sec, 315 secs
lola: STP completed || 148 tries, 147272352 fired transitions, 320 secs || 1192577 markings, 1946490 edges, 4458 markings/sec, 320 secs
lola: STP completed || 150 tries, 149513070 fired transitions, 325 secs || 1214097 markings, 1981669 edges, 4304 markings/sec, 325 secs
lola: STP completed || 152 tries, 151700615 fired transitions, 330 secs || 1235094 markings, 2015896 edges, 4199 markings/sec, 330 secs
lola: STP completed || 154 tries, 153889578 fired transitions, 335 secs || 1256198 markings, 2050185 edges, 4221 markings/sec, 335 secs
lola: STP completed || 157 tries, 156140820 fired transitions, 340 secs || 1276462 markings, 2083426 edges, 4053 markings/sec, 340 secs
lola: STP completed || 159 tries, 158435457 fired transitions, 345 secs || 1298729 markings, 2119712 edges, 4453 markings/sec, 345 secs
lola: STP completed || 161 tries, 160734844 fired transitions, 350 secs || 1321207 markings, 2156052 edges, 4496 markings/sec, 350 secs
lola: STP completed || 164 tries, 163039362 fired transitions, 355 secs || 1343269 markings, 2192354 edges, 4412 markings/sec, 355 secs
lola: STP completed || 166 tries, 165336435 fired transitions, 360 secs || 1364512 markings, 2227312 edges, 4249 markings/sec, 360 secs
lola: STP completed || 168 tries, 167638847 fired transitions, 365 secs || 1386839 markings, 2263676 edges, 4465 markings/sec, 365 secs
lola: STP completed || 170 tries, 169940414 fired transitions, 370 secs || 1409069 markings, 2300043 edges, 4446 markings/sec, 370 secs
lola: STP completed || 173 tries, 172248102 fired transitions, 375 secs || 1431160 markings, 2336361 edges, 4418 markings/sec, 375 secs
lola: STP completed || 175 tries, 174555521 fired transitions, 380 secs || 1453571 markings, 2372739 edges, 4482 markings/sec, 380 secs
lola: STP completed || 177 tries, 176863750 fired transitions, 385 secs || 1475847 markings, 2409137 edges, 4455 markings/sec, 385 secs
lola: STP completed || 180 tries, 179156307 fired transitions, 390 secs || 1498222 markings, 2445429 edges, 4475 markings/sec, 390 secs
lola: STP completed || 182 tries, 181452931 fired transitions, 395 secs || 1520342 markings, 2481828 edges, 4424 markings/sec, 395 secs
lola: STP completed || 184 tries, 183752993 fired transitions, 400 secs || 1542759 markings, 2518238 edges, 4483 markings/sec, 400 secs
lola: STP completed || 187 tries, 186049996 fired transitions, 405 secs || 1564854 markings, 2554644 edges, 4419 markings/sec, 405 secs
lola: STP completed || 189 tries, 188350127 fired transitions, 410 secs || 1587300 markings, 2591047 edges, 4489 markings/sec, 410 secs
lola: STP completed || 191 tries, 190653900 fired transitions, 415 secs || 1609524 markings, 2627374 edges, 4445 markings/sec, 415 secs
lola: STP completed || 193 tries, 192957393 fired transitions, 420 secs || 1631692 markings, 2663665 edges, 4434 markings/sec, 420 secs
lola: STP completed || 196 tries, 195259258 fired transitions, 425 secs || 1654277 markings, 2700015 edges, 4517 markings/sec, 425 secs
lola: STP completed || 198 tries, 197563039 fired transitions, 430 secs || 1676507 markings, 2736356 edges, 4446 markings/sec, 430 secs
lola: STP completed || 200 tries, 199857399 fired transitions, 435 secs || 1698549 markings, 2772674 edges, 4408 markings/sec, 435 secs
lola: STP completed || 203 tries, 202132408 fired transitions, 440 secs || 1720837 markings, 2808956 edges, 4458 markings/sec, 440 secs
lola: STP completed || 205 tries, 204444528 fired transitions, 445 secs || 1743017 markings, 2845289 edges, 4436 markings/sec, 445 secs
lola: STP completed || 207 tries, 206747731 fired transitions, 450 secs || 1765127 markings, 2881573 edges, 4422 markings/sec, 450 secs
lola: STP completed || 210 tries, 209046690 fired transitions, 455 secs || 1787524 markings, 2917900 edges, 4479 markings/sec, 455 secs
lola: STP completed || 212 tries, 211350614 fired transitions, 460 secs || 1809693 markings, 2954176 edges, 4434 markings/sec, 460 secs
lola: STP completed || 214 tries, 213642939 fired transitions, 465 secs || 1832093 markings, 2990519 edges, 4480 markings/sec, 465 secs
lola: STP completed || 216 tries, 215949259 fired transitions, 470 secs || 1854296 markings, 3026917 edges, 4441 markings/sec, 470 secs
lola: STP completed || 219 tries, 218250335 fired transitions, 475 secs || 1876642 markings, 3063229 edges, 4469 markings/sec, 475 secs
lola: STP completed || 221 tries, 220565962 fired transitions, 480 secs || 1898440 markings, 3099058 edges, 4360 markings/sec, 480 secs
lola: STP completed || 223 tries, 222864359 fired transitions, 485 secs || 1920440 markings, 3134900 edges, 4400 markings/sec, 485 secs
lola: STP completed || 226 tries, 225166805 fired transitions, 490 secs || 1942794 markings, 3171162 edges, 4471 markings/sec, 490 secs
lola: STP completed || 228 tries, 227454601 fired transitions, 495 secs || 1965002 markings, 3207536 edges, 4442 markings/sec, 495 secs
lola: STP completed || 230 tries, 229752560 fired transitions, 500 secs || 1987253 markings, 3243911 edges, 4450 markings/sec, 500 secs
lola: STP completed || 233 tries, 232052207 fired transitions, 505 secs || 2009695 markings, 3280303 edges, 4488 markings/sec, 505 secs
lola: STP completed || 235 tries, 234352144 fired transitions, 510 secs || 2031795 markings, 3316709 edges, 4420 markings/sec, 510 secs
lola: STP completed || 237 tries, 236657246 fired transitions, 515 secs || 2054225 markings, 3353069 edges, 4486 markings/sec, 515 secs
lola: STP completed || 239 tries, 238963490 fired transitions, 520 secs || 2076484 markings, 3389426 edges, 4452 markings/sec, 520 secs
lola: STP completed || 242 tries, 241260165 fired transitions, 525 secs || 2098651 markings, 3425734 edges, 4433 markings/sec, 525 secs
lola: STP completed || 244 tries, 243551429 fired transitions, 530 secs || 2120864 markings, 3462074 edges, 4443 markings/sec, 530 secs
lola: STP completed || 246 tries, 245848762 fired transitions, 535 secs || 2143113 markings, 3498373 edges, 4450 markings/sec, 535 secs
lola: STP completed || 249 tries, 248157945 fired transitions, 540 secs || 2165434 markings, 3534704 edges, 4464 markings/sec, 540 secs
lola: STP completed || 251 tries, 250453357 fired transitions, 545 secs || 2187537 markings, 3571051 edges, 4421 markings/sec, 545 secs
lola: STP completed || 253 tries, 252756750 fired transitions, 550 secs || 2209925 markings, 3607417 edges, 4478 markings/sec, 550 secs
lola: STP completed || 256 tries, 255056925 fired transitions, 555 secs || 2232172 markings, 3643780 edges, 4449 markings/sec, 555 secs
lola: STP completed || 258 tries, 257360681 fired transitions, 560 secs || 2254416 markings, 3680104 edges, 4449 markings/sec, 560 secs
lola: STP completed || 260 tries, 259653520 fired transitions, 565 secs || 2276621 markings, 3716445 edges, 4441 markings/sec, 565 secs
lola: STP completed || 262 tries, 261959558 fired transitions, 570 secs || 2298962 markings, 3752714 edges, 4468 markings/sec, 570 secs
lola: STP completed || 265 tries, 264258120 fired transitions, 575 secs || 2321257 markings, 3789024 edges, 4459 markings/sec, 575 secs
lola: STP completed || 267 tries, 266554909 fired transitions, 580 secs || 2343586 markings, 3825360 edges, 4466 markings/sec, 580 secs
lola: STP completed || 269 tries, 268852180 fired transitions, 585 secs || 2365608 markings, 3861592 edges, 4404 markings/sec, 585 secs
lola: STP completed || 272 tries, 271153029 fired transitions, 590 secs || 2387875 markings, 3897835 edges, 4453 markings/sec, 590 secs
lola: STP completed || 274 tries, 273451361 fired transitions, 595 secs || 2410176 markings, 3934062 edges, 4460 markings/sec, 595 secs
lola: STP completed || 276 tries, 275758152 fired transitions, 600 secs || 2432272 markings, 3970256 edges, 4419 markings/sec, 600 secs
lola: STP completed || 279 tries, 278054723 fired transitions, 605 secs || 2454436 markings, 4006534 edges, 4433 markings/sec, 605 secs
lola: STP completed || 281 tries, 280352108 fired transitions, 610 secs || 2476735 markings, 4042841 edges, 4460 markings/sec, 610 secs
lola: STP completed || 283 tries, 282650335 fired transitions, 615 secs || 2498999 markings, 4079071 edges, 4453 markings/sec, 615 secs
lola: STP completed || 285 tries, 284952193 fired transitions, 620 secs || 2521164 markings, 4115357 edges, 4433 markings/sec, 620 secs
lola: STP completed || 288 tries, 287247212 fired transitions, 625 secs || 2543294 markings, 4151578 edges, 4426 markings/sec, 625 secs
lola: STP completed || 290 tries, 289541096 fired transitions, 630 secs || 2564618 markings, 4186318 edges, 4265 markings/sec, 630 secs
lola: STP completed || 292 tries, 291844797 fired transitions, 635 secs || 2586891 markings, 4222586 edges, 4455 markings/sec, 635 secs
lola: STP completed || 295 tries, 294138853 fired transitions, 640 secs || 2609099 markings, 4258866 edges, 4442 markings/sec, 640 secs
lola: STP completed || 297 tries, 296442846 fired transitions, 645 secs || 2631224 markings, 4295069 edges, 4425 markings/sec, 645 secs
lola: STP completed || 299 tries, 298737200 fired transitions, 650 secs || 2653660 markings, 4331324 edges, 4487 markings/sec, 650 secs
lola: STP completed || 302 tries, 301039323 fired transitions, 655 secs || 2675795 markings, 4367561 edges, 4427 markings/sec, 655 secs
lola: STP completed || 304 tries, 303329755 fired transitions, 660 secs || 2697676 markings, 4403883 edges, 4376 markings/sec, 660 secs
lola: STP completed || 306 tries, 305630122 fired transitions, 665 secs || 2720107 markings, 4440245 edges, 4486 markings/sec, 665 secs
lola: STP completed || 308 tries, 307928813 fired transitions, 670 secs || 2742332 markings, 4476618 edges, 4445 markings/sec, 670 secs
lola: STP completed || 311 tries, 310227198 fired transitions, 675 secs || 2764642 markings, 4512937 edges, 4462 markings/sec, 675 secs
lola: STP completed || 313 tries, 312526166 fired transitions, 680 secs || 2786790 markings, 4549221 edges, 4430 markings/sec, 680 secs
lola: STP completed || 315 tries, 314831566 fired transitions, 685 secs || 2809092 markings, 4585526 edges, 4460 markings/sec, 685 secs
lola: STP completed || 318 tries, 317134909 fired transitions, 690 secs || 2831326 markings, 4621856 edges, 4447 markings/sec, 690 secs
lola: STP completed || 320 tries, 319430906 fired transitions, 695 secs || 2853470 markings, 4658137 edges, 4429 markings/sec, 695 secs
lola: STP completed || 322 tries, 321734448 fired transitions, 700 secs || 2875763 markings, 4694453 edges, 4459 markings/sec, 700 secs
lola: STP completed || 325 tries, 324038165 fired transitions, 705 secs || 2897958 markings, 4730807 edges, 4439 markings/sec, 705 secs
lola: STP completed || 327 tries, 326328412 fired transitions, 710 secs || 2920158 markings, 4767082 edges, 4440 markings/sec, 710 secs
lola: STP completed || 329 tries, 328626895 fired transitions, 715 secs || 2942535 markings, 4803402 edges, 4475 markings/sec, 715 secs
lola: STP completed || 331 tries, 330930525 fired transitions, 720 secs || 2964864 markings, 4839679 edges, 4466 markings/sec, 720 secs
lola: STP completed || 334 tries, 333228892 fired transitions, 725 secs || 2987040 markings, 4875991 edges, 4435 markings/sec, 725 secs
lola: STP completed || 336 tries, 335524266 fired transitions, 730 secs || 3009266 markings, 4912286 edges, 4445 markings/sec, 730 secs
lola: STP completed || 338 tries, 337831104 fired transitions, 735 secs || 3031332 markings, 4948638 edges, 4413 markings/sec, 735 secs
lola: STP completed || 341 tries, 340124179 fired transitions, 740 secs || 3053740 markings, 4985007 edges, 4482 markings/sec, 740 secs
lola: STP completed || 343 tries, 342427023 fired transitions, 745 secs || 3075954 markings, 5021332 edges, 4443 markings/sec, 745 secs
lola: STP completed || 345 tries, 344737797 fired transitions, 750 secs || 3098362 markings, 5057661 edges, 4482 markings/sec, 750 secs
lola: STP completed || 348 tries, 347038107 fired transitions, 755 secs || 3120520 markings, 5094006 edges, 4432 markings/sec, 755 secs
lola: STP completed || 350 tries, 349334761 fired transitions, 760 secs || 3142751 markings, 5130298 edges, 4446 markings/sec, 760 secs
lola: STP completed || 352 tries, 351638941 fired transitions, 765 secs || 3165060 markings, 5166631 edges, 4462 markings/sec, 765 secs
lola: STP completed || 354 tries, 353941161 fired transitions, 770 secs || 3187205 markings, 5202992 edges, 4429 markings/sec, 770 secs
lola: STP completed || 357 tries, 356234909 fired transitions, 775 secs || 3209591 markings, 5239265 edges, 4477 markings/sec, 775 secs
lola: STP completed || 359 tries, 358537788 fired transitions, 780 secs || 3231801 markings, 5275606 edges, 4442 markings/sec, 780 secs
lola: STP completed || 361 tries, 360837589 fired transitions, 785 secs || 3254002 markings, 5311912 edges, 4440 markings/sec, 785 secs
lola: STP completed || 364 tries, 363138508 fired transitions, 790 secs || 3276168 markings, 5348188 edges, 4433 markings/sec, 790 secs
lola: STP completed || 366 tries, 365434309 fired transitions, 795 secs || 3298560 markings, 5384494 edges, 4478 markings/sec, 795 secs
lola: STP completed || 368 tries, 367735861 fired transitions, 800 secs || 3320802 markings, 5420803 edges, 4448 markings/sec, 800 secs
lola: STP completed || 371 tries, 370042204 fired transitions, 805 secs || 3342965 markings, 5457062 edges, 4433 markings/sec, 805 secs
lola: STP completed || 373 tries, 372344734 fired transitions, 810 secs || 3365153 markings, 5493457 edges, 4438 markings/sec, 810 secs
lola: STP completed || 375 tries, 374646524 fired transitions, 815 secs || 3387471 markings, 5529795 edges, 4464 markings/sec, 815 secs
lola: STP completed || 377 tries, 376948877 fired transitions, 820 secs || 3409785 markings, 5566133 edges, 4463 markings/sec, 820 secs
lola: STP completed || 380 tries, 379241075 fired transitions, 825 secs || 3431824 markings, 5602433 edges, 4408 markings/sec, 825 secs
lola: STP completed || 382 tries, 381535345 fired transitions, 830 secs || 3454171 markings, 5638732 edges, 4469 markings/sec, 830 secs
lola: STP completed || 384 tries, 383839411 fired transitions, 835 secs || 3476526 markings, 5674994 edges, 4471 markings/sec, 835 secs
lola: STP completed || 387 tries, 386139449 fired transitions, 840 secs || 3498752 markings, 5711308 edges, 4445 markings/sec, 840 secs
lola: STP completed || 389 tries, 388430166 fired transitions, 845 secs || 3520908 markings, 5747590 edges, 4431 markings/sec, 845 secs
lola: STP completed || 391 tries, 390701898 fired transitions, 850 secs || 3542806 markings, 5783510 edges, 4380 markings/sec, 850 secs
lola: STP completed || 394 tries, 393004458 fired transitions, 855 secs || 3564846 markings, 5819365 edges, 4408 markings/sec, 855 secs
lola: STP completed || 396 tries, 395306647 fired transitions, 860 secs || 3586788 markings, 5855253 edges, 4388 markings/sec, 860 secs
lola: STP completed || 398 tries, 397612409 fired transitions, 865 secs || 3607154 markings, 5888384 edges, 4073 markings/sec, 865 secs
lola: STP completed || 400 tries, 399884123 fired transitions, 870 secs || 3628279 markings, 5922977 edges, 4225 markings/sec, 870 secs
lola: STP completed || 403 tries, 402038852 fired transitions, 875 secs || 3650233 markings, 5958764 edges, 4391 markings/sec, 875 secs
lola: STP completed || 405 tries, 404341810 fired transitions, 880 secs || 3672104 markings, 5994387 edges, 4374 markings/sec, 880 secs
lola: STP completed || 407 tries, 406645148 fired transitions, 885 secs || 3694007 markings, 6030243 edges, 4381 markings/sec, 885 secs
lola: STP completed || 409 tries, 408941897 fired transitions, 890 secs || 3715966 markings, 6066008 edges, 4392 markings/sec, 890 secs
lola: STP completed || 412 tries, 411244726 fired transitions, 895 secs || 3737961 markings, 6102036 edges, 4399 markings/sec, 895 secs
lola: STP completed || 414 tries, 413550246 fired transitions, 900 secs || 3760114 markings, 6138022 edges, 4431 markings/sec, 900 secs
lola: STP completed || 416 tries, 415866343 fired transitions, 905 secs || 3782074 markings, 6174052 edges, 4392 markings/sec, 905 secs
lola: STP completed || 419 tries, 418178051 fired transitions, 910 secs || 3804161 markings, 6209925 edges, 4417 markings/sec, 910 secs
lola: STP completed || 421 tries, 420487515 fired transitions, 915 secs || 3826231 markings, 6245945 edges, 4414 markings/sec, 915 secs
lola: STP completed || 423 tries, 422798159 fired transitions, 920 secs || 3848272 markings, 6281973 edges, 4408 markings/sec, 920 secs
lola: STP completed || 426 tries, 425109444 fired transitions, 925 secs || 3870357 markings, 6317991 edges, 4417 markings/sec, 925 secs
lola: STP completed || 428 tries, 427413946 fired transitions, 930 secs || 3892383 markings, 6353957 edges, 4405 markings/sec, 930 secs
lola: STP completed || 430 tries, 429709485 fired transitions, 935 secs || 3914556 markings, 6390064 edges, 4435 markings/sec, 935 secs
lola: STP completed || 432 tries, 431979731 fired transitions, 940 secs || 3936739 markings, 6426216 edges, 4437 markings/sec, 940 secs
lola: STP completed || 435 tries, 434259964 fired transitions, 945 secs || 3958938 markings, 6462398 edges, 4440 markings/sec, 945 secs
lola: STP completed || 437 tries, 436551607 fired transitions, 950 secs || 3980924 markings, 6498592 edges, 4397 markings/sec, 950 secs
lola: STP completed || 439 tries, 438789446 fired transitions, 955 secs || 4002697 markings, 6534013 edges, 4355 markings/sec, 955 secs
lola: STP completed || 441 tries, 440915060 fired transitions, 960 secs || 4024517 markings, 6569838 edges, 4364 markings/sec, 960 secs
lola: STP completed || 444 tries, 443215881 fired transitions, 965 secs || 4046566 markings, 6605757 edges, 4410 markings/sec, 965 secs
lola: STP completed || 446 tries, 445527237 fired transitions, 970 secs || 4068699 markings, 6641825 edges, 4427 markings/sec, 970 secs
lola: STP completed || 448 tries, 447836090 fired transitions, 975 secs || 4090768 markings, 6677809 edges, 4414 markings/sec, 975 secs
lola: STP completed || 451 tries, 450144450 fired transitions, 980 secs || 4112738 markings, 6713839 edges, 4394 markings/sec, 980 secs
lola: STP completed || 453 tries, 452454115 fired transitions, 985 secs || 4134886 markings, 6749802 edges, 4430 markings/sec, 985 secs
lola: STP completed || 455 tries, 454759045 fired transitions, 990 secs || 4156869 markings, 6785813 edges, 4397 markings/sec, 990 secs
lola: STP completed || 458 tries, 457064020 fired transitions, 995 secs || 4179021 markings, 6821829 edges, 4430 markings/sec, 995 secs
lola: STP completed || 460 tries, 459377226 fired transitions, 1000 secs || 4201025 markings, 6857869 edges, 4401 markings/sec, 1000 secs
lola: STP completed || 462 tries, 461688884 fired transitions, 1005 secs || 4222981 markings, 6893861 edges, 4391 markings/sec, 1005 secs
lola: STP completed || 465 tries, 464001246 fired transitions, 1010 secs || 4245167 markings, 6929894 edges, 4437 markings/sec, 1010 secs
lola: STP completed || 467 tries, 466320306 fired transitions, 1015 secs || 4267132 markings, 6965848 edges, 4393 markings/sec, 1015 secs
lola: STP completed || 469 tries, 468627825 fired transitions, 1020 secs || 4289216 markings, 7001786 edges, 4417 markings/sec, 1020 secs
lola: STP completed || 471 tries, 470936429 fired transitions, 1025 secs || 4311342 markings, 7037751 edges, 4425 markings/sec, 1025 secs
lola: STP completed || 474 tries, 473242694 fired transitions, 1030 secs || 4333465 markings, 7073781 edges, 4425 markings/sec, 1030 secs
lola: STP completed || 476 tries, 475553383 fired transitions, 1035 secs || 4355530 markings, 7109744 edges, 4413 markings/sec, 1035 secs
lola: STP completed || 478 tries, 477866342 fired transitions, 1040 secs || 4377436 markings, 7145776 edges, 4381 markings/sec, 1040 secs
lola: STP completed || 481 tries, 480175466 fired transitions, 1045 secs || 4399447 markings, 7181764 edges, 4402 markings/sec, 1045 secs
lola: STP completed || 483 tries, 482481667 fired transitions, 1050 secs || 4421470 markings, 7217734 edges, 4405 markings/sec, 1050 secs
lola: STP completed || 485 tries, 484787473 fired transitions, 1055 secs || 4443341 markings, 7253730 edges, 4374 markings/sec, 1055 secs
lola: STP completed || 487 tries, 486992108 fired transitions, 1060 secs || 4465126 markings, 7288980 edges, 4357 markings/sec, 1060 secs
lola: STP completed || 490 tries, 489297867 fired transitions, 1065 secs || 4484906 markings, 7321369 edges, 3956 markings/sec, 1065 secs
lola: STP completed || 492 tries, 491611240 fired transitions, 1070 secs || 4504774 markings, 7353798 edges, 3974 markings/sec, 1070 secs
lola: STP completed || 494 tries, 493921991 fired transitions, 1075 secs || 4525368 markings, 7387448 edges, 4119 markings/sec, 1075 secs
lola: STP completed || 497 tries, 496223211 fired transitions, 1080 secs || 4547110 markings, 7422861 edges, 4348 markings/sec, 1080 secs
lola: STP completed || 499 tries, 498498074 fired transitions, 1085 secs || 4568815 markings, 7458267 edges, 4341 markings/sec, 1085 secs
lola: STP completed || 501 tries, 500769528 fired transitions, 1090 secs || 4590566 markings, 7493664 edges, 4350 markings/sec, 1090 secs
lola: STP completed || 504 tries, 503063523 fired transitions, 1095 secs || 4612361 markings, 7529379 edges, 4359 markings/sec, 1095 secs
lola: STP completed || 506 tries, 505301421 fired transitions, 1100 secs || 4634558 markings, 7565537 edges, 4439 markings/sec, 1100 secs
lola: STP completed || 508 tries, 507598212 fired transitions, 1105 secs || 4656518 markings, 7601294 edges, 4392 markings/sec, 1105 secs
lola: STP completed || 510 tries, 509896765 fired transitions, 1110 secs || 4678560 markings, 7637288 edges, 4408 markings/sec, 1110 secs
lola: STP completed || 513 tries, 512029295 fired transitions, 1115 secs || 4700610 markings, 7673512 edges, 4410 markings/sec, 1115 secs
lola: STP completed || 515 tries, 514335721 fired transitions, 1120 secs || 4722933 markings, 7709726 edges, 4465 markings/sec, 1120 secs
lola: STP completed || 517 tries, 516646082 fired transitions, 1125 secs || 4745065 markings, 7745982 edges, 4426 markings/sec, 1125 secs
lola: STP completed || 519 tries, 518952905 fired transitions, 1130 secs || 4767227 markings, 7782188 edges, 4432 markings/sec, 1130 secs
lola: STP completed || 522 tries, 521256681 fired transitions, 1135 secs || 4789524 markings, 7818407 edges, 4459 markings/sec, 1135 secs
lola: STP completed || 524 tries, 523564161 fired transitions, 1140 secs || 4811611 markings, 7854605 edges, 4417 markings/sec, 1140 secs
lola: STP completed || 526 tries, 525780569 fired transitions, 1145 secs || 4833774 markings, 7890810 edges, 4433 markings/sec, 1145 secs
lola: STP completed || 528 tries, 527983369 fired transitions, 1150 secs || 4855924 markings, 7926793 edges, 4430 markings/sec, 1150 secs
lola: STP completed || 531 tries, 530283551 fired transitions, 1155 secs || 4878065 markings, 7963037 edges, 4428 markings/sec, 1155 secs
lola: STP completed || 533 tries, 532413634 fired transitions, 1160 secs || 4900314 markings, 7999231 edges, 4450 markings/sec, 1160 secs
lola: STP completed || 535 tries, 534553744 fired transitions, 1165 secs || 4922372 markings, 8035346 edges, 4412 markings/sec, 1165 secs
lola: STP completed || 537 tries, 536868862 fired transitions, 1170 secs || 4944401 markings, 8071570 edges, 4406 markings/sec, 1170 secs
lola: STP completed || 540 tries, 539126124 fired transitions, 1175 secs || 4966712 markings, 8107590 edges, 4462 markings/sec, 1175 secs
lola: STP completed || 542 tries, 541400957 fired transitions, 1180 secs || 4988728 markings, 8143643 edges, 4403 markings/sec, 1180 secs
lola: STP completed || 544 tries, 543679444 fired transitions, 1185 secs || 5010850 markings, 8179723 edges, 4424 markings/sec, 1185 secs
lola: STP completed || 546 tries, 545969416 fired transitions, 1190 secs || 5032291 markings, 8214868 edges, 4288 markings/sec, 1190 secs
lola: STP completed || 549 tries, 548254085 fired transitions, 1195 secs || 5054144 markings, 8250498 edges, 4371 markings/sec, 1195 secs
lola: STP completed || 551 tries, 550547395 fired transitions, 1200 secs || 5076043 markings, 8286147 edges, 4380 markings/sec, 1200 secs
lola: STP completed || 553 tries, 552846616 fired transitions, 1205 secs || 5097806 markings, 8321771 edges, 4353 markings/sec, 1205 secs
lola: STP completed || 556 tries, 555150225 fired transitions, 1210 secs || 5119647 markings, 8357429 edges, 4368 markings/sec, 1210 secs
lola: STP completed || 558 tries, 557445955 fired transitions, 1215 secs || 5141488 markings, 8393058 edges, 4368 markings/sec, 1215 secs
lola: STP completed || 560 tries, 559747680 fired transitions, 1220 secs || 5163320 markings, 8428704 edges, 4366 markings/sec, 1220 secs
lola: STP completed || 563 tries, 562044821 fired transitions, 1225 secs || 5185303 markings, 8464355 edges, 4397 markings/sec, 1225 secs
lola: STP completed || 565 tries, 564338546 fired transitions, 1230 secs || 5206999 markings, 8500003 edges, 4339 markings/sec, 1230 secs
lola: STP completed || 567 tries, 566640852 fired transitions, 1235 secs || 5228871 markings, 8535620 edges, 4374 markings/sec, 1235 secs
lola: STP completed || 569 tries, 568956040 fired transitions, 1240 secs || 5249224 markings, 8568764 edges, 4071 markings/sec, 1240 secs
lola: STP completed || 572 tries, 571260065 fired transitions, 1245 secs || 5271318 markings, 8604905 edges, 4419 markings/sec, 1245 secs
lola: STP completed || 574 tries, 573567612 fired transitions, 1250 secs || 5293455 markings, 8641073 edges, 4427 markings/sec, 1250 secs
lola: STP completed || 576 tries, 575874128 fired transitions, 1255 secs || 5315683 markings, 8677201 edges, 4446 markings/sec, 1255 secs
lola: STP completed || 579 tries, 578184191 fired transitions, 1260 secs || 5337935 markings, 8713377 edges, 4450 markings/sec, 1260 secs
lola: STP completed || 581 tries, 580495909 fired transitions, 1265 secs || 5360040 markings, 8749496 edges, 4421 markings/sec, 1265 secs
lola: STP completed || 583 tries, 582796654 fired transitions, 1270 secs || 5381984 markings, 8785739 edges, 4389 markings/sec, 1270 secs
lola: STP completed || 586 tries, 585104415 fired transitions, 1275 secs || 5404250 markings, 8821903 edges, 4453 markings/sec, 1275 secs
lola: STP completed || 588 tries, 587412321 fired transitions, 1280 secs || 5426364 markings, 8858140 edges, 4423 markings/sec, 1280 secs
lola: STP completed || 590 tries, 589727124 fired transitions, 1285 secs || 5448398 markings, 8894367 edges, 4407 markings/sec, 1285 secs
lola: STP completed || 593 tries, 592033685 fired transitions, 1290 secs || 5470730 markings, 8930622 edges, 4466 markings/sec, 1290 secs
lola: STP completed || 595 tries, 594351671 fired transitions, 1295 secs || 5492881 markings, 8966877 edges, 4430 markings/sec, 1295 secs
lola: STP completed || 597 tries, 596658238 fired transitions, 1300 secs || 5515109 markings, 9003135 edges, 4446 markings/sec, 1300 secs
lola: STP completed || 599 tries, 598968785 fired transitions, 1305 secs || 5537179 markings, 9039350 edges, 4414 markings/sec, 1305 secs
lola: STP completed || 602 tries, 601276201 fired transitions, 1310 secs || 5559445 markings, 9075537 edges, 4453 markings/sec, 1310 secs
lola: STP completed || 604 tries, 603582333 fired transitions, 1315 secs || 5581625 markings, 9111763 edges, 4436 markings/sec, 1315 secs
lola: STP completed || 606 tries, 605897316 fired transitions, 1320 secs || 5603742 markings, 9147954 edges, 4423 markings/sec, 1320 secs
lola: STP completed || 609 tries, 608207642 fired transitions, 1325 secs || 5625865 markings, 9184152 edges, 4425 markings/sec, 1325 secs
lola: STP completed || 611 tries, 610518070 fired transitions, 1330 secs || 5648124 markings, 9220345 edges, 4452 markings/sec, 1330 secs
lola: STP completed || 613 tries, 612837122 fired transitions, 1335 secs || 5670408 markings, 9256550 edges, 4457 markings/sec, 1335 secs
lola: STP completed || 616 tries, 615138881 fired transitions, 1340 secs || 5692499 markings, 9292699 edges, 4418 markings/sec, 1340 secs
lola: STP completed || 618 tries, 617444996 fired transitions, 1345 secs || 5714641 markings, 9328944 edges, 4428 markings/sec, 1345 secs
lola: STP completed || 620 tries, 619760899 fired transitions, 1350 secs || 5736885 markings, 9365191 edges, 4449 markings/sec, 1350 secs
lola: STP completed || 623 tries, 622068623 fired transitions, 1355 secs || 5759211 markings, 9401419 edges, 4465 markings/sec, 1355 secs
lola: STP completed || 625 tries, 624369703 fired transitions, 1360 secs || 5781286 markings, 9437686 edges, 4415 markings/sec, 1360 secs
lola: STP completed || 627 tries, 626687807 fired transitions, 1365 secs || 5803434 markings, 9473940 edges, 4430 markings/sec, 1365 secs
lola: STP completed || 630 tries, 629003518 fired transitions, 1370 secs || 5825754 markings, 9510157 edges, 4464 markings/sec, 1370 secs
lola: STP completed || 632 tries, 631310619 fired transitions, 1375 secs || 5847931 markings, 9546392 edges, 4435 markings/sec, 1375 secs
lola: STP completed || 634 tries, 633608835 fired transitions, 1380 secs || 5870069 markings, 9582632 edges, 4428 markings/sec, 1380 secs
lola: STP completed || 636 tries, 635924147 fired transitions, 1385 secs || 5892161 markings, 9618819 edges, 4418 markings/sec, 1385 secs
lola: STP completed || 639 tries, 638237754 fired transitions, 1390 secs || 5914381 markings, 9655038 edges, 4444 markings/sec, 1390 secs
lola: STP completed || 641 tries, 640554302 fired transitions, 1395 secs || 5936680 markings, 9691215 edges, 4460 markings/sec, 1395 secs
lola: STP completed || 643 tries, 642868755 fired transitions, 1400 secs || 5958789 markings, 9727429 edges, 4422 markings/sec, 1400 secs
lola: STP completed || 646 tries, 645185101 fired transitions, 1405 secs || 5981003 markings, 9763618 edges, 4443 markings/sec, 1405 secs
lola: STP completed || 648 tries, 647495336 fired transitions, 1410 secs || 6003312 markings, 9799858 edges, 4462 markings/sec, 1410 secs
lola: STP completed || 650 tries, 649798272 fired transitions, 1415 secs || 6025468 markings, 9836115 edges, 4431 markings/sec, 1415 secs
lola: STP completed || 653 tries, 652093895 fired transitions, 1420 secs || 6047505 markings, 9872401 edges, 4407 markings/sec, 1420 secs
lola: STP completed || 655 tries, 654398043 fired transitions, 1425 secs || 6069666 markings, 9908667 edges, 4432 markings/sec, 1425 secs
lola: STP completed || 657 tries, 656713579 fired transitions, 1430 secs || 6092091 markings, 9944956 edges, 4485 markings/sec, 1430 secs
lola: STP completed || 660 tries, 659013152 fired transitions, 1435 secs || 6114359 markings, 9981187 edges, 4454 markings/sec, 1435 secs
lola: STP completed || 662 tries, 661321075 fired transitions, 1440 secs || 6136479 markings, 10017398 edges, 4424 markings/sec, 1440 secs
lola: STP completed || 664 tries, 663632969 fired transitions, 1445 secs || 6158477 markings, 10053597 edges, 4400 markings/sec, 1445 secs
lola: STP completed || 666 tries, 665937072 fired transitions, 1450 secs || 6180757 markings, 10089845 edges, 4456 markings/sec, 1450 secs
lola: STP completed || 669 tries, 668244108 fired transitions, 1455 secs || 6202914 markings, 10126056 edges, 4431 markings/sec, 1455 secs
lola: STP completed || 671 tries, 670552887 fired transitions, 1460 secs || 6225172 markings, 10162286 edges, 4452 markings/sec, 1460 secs
lola: STP completed || 673 tries, 672870943 fired transitions, 1465 secs || 6247124 markings, 10198463 edges, 4390 markings/sec, 1465 secs
lola: STP completed || 676 tries, 675174920 fired transitions, 1470 secs || 6269487 markings, 10234695 edges, 4473 markings/sec, 1470 secs
lola: STP completed || 678 tries, 677487203 fired transitions, 1475 secs || 6291608 markings, 10270906 edges, 4424 markings/sec, 1475 secs
lola: STP completed || 680 tries, 679794860 fired transitions, 1480 secs || 6313832 markings, 10307066 edges, 4445 markings/sec, 1480 secs
lola: STP completed || 683 tries, 682103454 fired transitions, 1485 secs || 6335970 markings, 10343267 edges, 4428 markings/sec, 1485 secs
lola: STP completed || 685 tries, 684417436 fired transitions, 1490 secs || 6358269 markings, 10379477 edges, 4460 markings/sec, 1490 secs
lola: STP completed || 687 tries, 686729043 fired transitions, 1495 secs || 6380406 markings, 10415697 edges, 4427 markings/sec, 1495 secs
lola: STP completed || 690 tries, 689026114 fired transitions, 1500 secs || 6402542 markings, 10451835 edges, 4427 markings/sec, 1500 secs
lola: STP completed || 692 tries, 691339130 fired transitions, 1505 secs || 6424655 markings, 10488019 edges, 4423 markings/sec, 1505 secs
lola: STP completed || 694 tries, 693648471 fired transitions, 1510 secs || 6446901 markings, 10524214 edges, 4449 markings/sec, 1510 secs
lola: STP completed || 696 tries, 695957019 fired transitions, 1515 secs || 6469044 markings, 10560459 edges, 4429 markings/sec, 1515 secs
lola: STP completed || 699 tries, 698265167 fired transitions, 1520 secs || 6491307 markings, 10596659 edges, 4453 markings/sec, 1520 secs
lola: STP completed || 701 tries, 700578988 fired transitions, 1525 secs || 6513453 markings, 10632858 edges, 4429 markings/sec, 1525 secs
lola: STP completed || 703 tries, 702888092 fired transitions, 1530 secs || 6535577 markings, 10669092 edges, 4425 markings/sec, 1530 secs
lola: STP completed || 706 tries, 705194054 fired transitions, 1535 secs || 6557911 markings, 10705298 edges, 4467 markings/sec, 1535 secs
lola: STP completed || 708 tries, 707495501 fired transitions, 1540 secs || 6580024 markings, 10741496 edges, 4423 markings/sec, 1540 secs
lola: STP completed || 710 tries, 709812154 fired transitions, 1545 secs || 6602149 markings, 10777680 edges, 4425 markings/sec, 1545 secs
lola: STP completed || 713 tries, 712114283 fired transitions, 1550 secs || 6624267 markings, 10813887 edges, 4424 markings/sec, 1550 secs
lola: STP completed || 715 tries, 714422078 fired transitions, 1555 secs || 6646558 markings, 10850087 edges, 4458 markings/sec, 1555 secs
lola: STP completed || 717 tries, 716729101 fired transitions, 1560 secs || 6668868 markings, 10886328 edges, 4462 markings/sec, 1560 secs
lola: STP completed || 720 tries, 719038434 fired transitions, 1565 secs || 6691019 markings, 10922566 edges, 4430 markings/sec, 1565 secs
lola: STP completed || 722 tries, 721351650 fired transitions, 1570 secs || 6713057 markings, 10958872 edges, 4408 markings/sec, 1570 secs
lola: STP completed || 724 tries, 723660179 fired transitions, 1575 secs || 6735200 markings, 10995118 edges, 4429 markings/sec, 1575 secs
lola: STP completed || 726 tries, 725974371 fired transitions, 1580 secs || 6757526 markings, 11031342 edges, 4465 markings/sec, 1580 secs
lola: STP completed || 729 tries, 728283696 fired transitions, 1585 secs || 6779713 markings, 11067611 edges, 4437 markings/sec, 1585 secs
lola: STP completed || 731 tries, 730585958 fired transitions, 1590 secs || 6801873 markings, 11103890 edges, 4432 markings/sec, 1590 secs
lola: STP completed || 733 tries, 732902736 fired transitions, 1595 secs || 6824141 markings, 11140112 edges, 4454 markings/sec, 1595 secs
lola: STP completed || 736 tries, 735213568 fired transitions, 1600 secs || 6846476 markings, 11176347 edges, 4467 markings/sec, 1600 secs
lola: STP completed || 738 tries, 737530416 fired transitions, 1605 secs || 6868624 markings, 11212603 edges, 4430 markings/sec, 1605 secs
lola: STP completed || 740 tries, 739842944 fired transitions, 1610 secs || 6890785 markings, 11248886 edges, 4432 markings/sec, 1610 secs
lola: STP completed || 743 tries, 742151157 fired transitions, 1615 secs || 6912843 markings, 11285156 edges, 4412 markings/sec, 1615 secs
lola: STP completed || 745 tries, 744451571 fired transitions, 1620 secs || 6935171 markings, 11321429 edges, 4466 markings/sec, 1620 secs
lola: STP completed || 747 tries, 746759535 fired transitions, 1625 secs || 6957376 markings, 11357715 edges, 4441 markings/sec, 1625 secs
lola: STP completed || 750 tries, 749067987 fired transitions, 1630 secs || 6979486 markings, 11393891 edges, 4422 markings/sec, 1630 secs
lola: STP completed || 752 tries, 751372336 fired transitions, 1635 secs || 7001809 markings, 11430112 edges, 4465 markings/sec, 1635 secs
lola: STP completed || 754 tries, 753683495 fired transitions, 1640 secs || 7024147 markings, 11466371 edges, 4468 markings/sec, 1640 secs
lola: STP completed || 756 tries, 755985115 fired transitions, 1645 secs || 7046156 markings, 11502661 edges, 4402 markings/sec, 1645 secs
lola: STP completed || 759 tries, 758297532 fired transitions, 1650 secs || 7068331 markings, 11538864 edges, 4435 markings/sec, 1650 secs
lola: STP completed || 761 tries, 760606776 fired transitions, 1655 secs || 7090582 markings, 11575092 edges, 4450 markings/sec, 1655 secs
lola: STP completed || 763 tries, 762921890 fired transitions, 1660 secs || 7112740 markings, 11611320 edges, 4432 markings/sec, 1660 secs
lola: STP completed || 766 tries, 765226503 fired transitions, 1665 secs || 7134849 markings, 11647525 edges, 4422 markings/sec, 1665 secs
lola: STP completed || 768 tries, 767539404 fired transitions, 1670 secs || 7157182 markings, 11683745 edges, 4467 markings/sec, 1670 secs
lola: STP completed || 770 tries, 769847612 fired transitions, 1675 secs || 7179393 markings, 11719998 edges, 4442 markings/sec, 1675 secs
lola: STP completed || 773 tries, 772151247 fired transitions, 1680 secs || 7201664 markings, 11756237 edges, 4454 markings/sec, 1680 secs
lola: STP completed || 775 tries, 774456026 fired transitions, 1685 secs || 7223868 markings, 11792486 edges, 4441 markings/sec, 1685 secs
lola: STP completed || 777 tries, 776763416 fired transitions, 1690 secs || 7245938 markings, 11828725 edges, 4414 markings/sec, 1690 secs
lola: STP completed || 780 tries, 779071531 fired transitions, 1695 secs || 7268086 markings, 11864937 edges, 4430 markings/sec, 1695 secs
lola: STP completed || 782 tries, 781378633 fired transitions, 1700 secs || 7290376 markings, 11901150 edges, 4458 markings/sec, 1700 secs
lola: STP completed || 784 tries, 783678442 fired transitions, 1705 secs || 7312536 markings, 11937405 edges, 4432 markings/sec, 1705 secs
lola: STP completed || 786 tries, 785995207 fired transitions, 1710 secs || 7334677 markings, 11973647 edges, 4428 markings/sec, 1710 secs
lola: STP completed || 789 tries, 788303929 fired transitions, 1715 secs || 7357064 markings, 12009932 edges, 4477 markings/sec, 1715 secs
lola: STP completed || 791 tries, 790613975 fired transitions, 1720 secs || 7379047 markings, 12046188 edges, 4397 markings/sec, 1720 secs
lola: STP completed || 793 tries, 792913269 fired transitions, 1725 secs || 7401362 markings, 12082427 edges, 4463 markings/sec, 1725 secs
lola: STP completed || 796 tries, 795214624 fired transitions, 1730 secs || 7423534 markings, 12118683 edges, 4434 markings/sec, 1730 secs
lola: STP completed || 798 tries, 797527217 fired transitions, 1735 secs || 7445633 markings, 12154808 edges, 4420 markings/sec, 1735 secs
lola: STP completed || 800 tries, 799840421 fired transitions, 1740 secs || 7467928 markings, 12191041 edges, 4459 markings/sec, 1740 secs
lola: STP completed || 803 tries, 802146718 fired transitions, 1745 secs || 7490029 markings, 12227239 edges, 4420 markings/sec, 1745 secs
lola: STP completed || 805 tries, 804460346 fired transitions, 1750 secs || 7512311 markings, 12263455 edges, 4456 markings/sec, 1750 secs
lola: STP completed || 807 tries, 806769150 fired transitions, 1755 secs || 7534532 markings, 12299615 edges, 4444 markings/sec, 1755 secs
lola: STP completed || 810 tries, 809087108 fired transitions, 1760 secs || 7556676 markings, 12335866 edges, 4429 markings/sec, 1760 secs
lola: STP completed || 812 tries, 811397999 fired transitions, 1765 secs || 7578932 markings, 12372107 edges, 4451 markings/sec, 1765 secs
lola: STP completed || 814 tries, 813712279 fired transitions, 1770 secs || 7601008 markings, 12408316 edges, 4415 markings/sec, 1770 secs
lola: STP completed || 817 tries, 816020463 fired transitions, 1775 secs || 7623068 markings, 12444523 edges, 4412 markings/sec, 1775 secs
lola: STP completed || 819 tries, 818325558 fired transitions, 1780 secs || 7645474 markings, 12480739 edges, 4481 markings/sec, 1780 secs
lola: STP completed || 821 tries, 820637207 fired transitions, 1785 secs || 7667598 markings, 12516960 edges, 4425 markings/sec, 1785 secs
lola: STP completed || 823 tries, 822949481 fired transitions, 1790 secs || 7689771 markings, 12553212 edges, 4435 markings/sec, 1790 secs
lola: STP completed || 826 tries, 825254107 fired transitions, 1795 secs || 7711912 markings, 12589454 edges, 4428 markings/sec, 1795 secs
lola: STP completed || 828 tries, 827561118 fired transitions, 1800 secs || 7734130 markings, 12625524 edges, 4444 markings/sec, 1800 secs
lola: STP completed || 830 tries, 829868424 fired transitions, 1805 secs || 7756201 markings, 12661688 edges, 4414 markings/sec, 1805 secs
lola: STP completed || 833 tries, 832182381 fired transitions, 1810 secs || 7778447 markings, 12697863 edges, 4449 markings/sec, 1810 secs
lola: STP completed || 835 tries, 834492004 fired transitions, 1815 secs || 7800416 markings, 12734005 edges, 4394 markings/sec, 1815 secs
lola: STP completed || 837 tries, 836802810 fired transitions, 1820 secs || 7822670 markings, 12770157 edges, 4451 markings/sec, 1820 secs
lola: STP completed || 840 tries, 839115907 fired transitions, 1825 secs || 7844909 markings, 12806322 edges, 4448 markings/sec, 1825 secs
lola: STP completed || 842 tries, 841429118 fired transitions, 1830 secs || 7866994 markings, 12842446 edges, 4417 markings/sec, 1830 secs
lola: STP completed || 844 tries, 843736757 fired transitions, 1835 secs || 7889123 markings, 12878649 edges, 4426 markings/sec, 1835 secs
lola: STP completed || 847 tries, 846048202 fired transitions, 1840 secs || 7911378 markings, 12914804 edges, 4451 markings/sec, 1840 secs
lola: STP completed || 849 tries, 848353857 fired transitions, 1845 secs || 7933595 markings, 12950934 edges, 4443 markings/sec, 1845 secs
lola: STP completed || 851 tries, 850665675 fired transitions, 1850 secs || 7955704 markings, 12987108 edges, 4422 markings/sec, 1850 secs
lola: STP completed || 853 tries, 852974073 fired transitions, 1855 secs || 7977840 markings, 13023284 edges, 4427 markings/sec, 1855 secs
lola: STP completed || 856 tries, 855283572 fired transitions, 1860 secs || 7999918 markings, 13059475 edges, 4416 markings/sec, 1860 secs
lola: STP completed || 858 tries, 857592931 fired transitions, 1865 secs || 8022263 markings, 13095680 edges, 4469 markings/sec, 1865 secs
lola: STP completed || 860 tries, 859904766 fired transitions, 1870 secs || 8044128 markings, 13131844 edges, 4373 markings/sec, 1870 secs
lola: STP completed || 863 tries, 862212329 fired transitions, 1875 secs || 8066365 markings, 13167945 edges, 4447 markings/sec, 1875 secs
lola: STP completed || 865 tries, 864520101 fired transitions, 1880 secs || 8088459 markings, 13204115 edges, 4419 markings/sec, 1880 secs
lola: STP completed || 867 tries, 866833872 fired transitions, 1885 secs || 8110586 markings, 13240265 edges, 4425 markings/sec, 1885 secs
lola: STP completed || 870 tries, 869139283 fired transitions, 1890 secs || 8132630 markings, 13276399 edges, 4409 markings/sec, 1890 secs
lola: STP completed || 872 tries, 871450840 fired transitions, 1895 secs || 8154882 markings, 13312539 edges, 4450 markings/sec, 1895 secs
lola: STP completed || 874 tries, 873762954 fired transitions, 1900 secs || 8177162 markings, 13348744 edges, 4456 markings/sec, 1900 secs
lola: STP completed || 877 tries, 876071701 fired transitions, 1905 secs || 8199266 markings, 13384895 edges, 4421 markings/sec, 1905 secs
lola: STP completed || 879 tries, 878383276 fired transitions, 1910 secs || 8221238 markings, 13421044 edges, 4394 markings/sec, 1910 secs
lola: STP completed || 881 tries, 880690668 fired transitions, 1915 secs || 8243491 markings, 13457254 edges, 4451 markings/sec, 1915 secs
lola: STP completed || 884 tries, 883000700 fired transitions, 1920 secs || 8265748 markings, 13493481 edges, 4451 markings/sec, 1920 secs
lola: STP completed || 886 tries, 885203643 fired transitions, 1925 secs || 8287868 markings, 13529624 edges, 4424 markings/sec, 1925 secs
lola: STP completed || 888 tries, 887327214 fired transitions, 1930 secs || 8310057 markings, 13565666 edges, 4438 markings/sec, 1930 secs
lola: STP completed || 890 tries, 889637676 fired transitions, 1935 secs || 8332243 markings, 13601738 edges, 4437 markings/sec, 1935 secs
lola: STP completed || 892 tries, 891948748 fired transitions, 1940 secs || 8354359 markings, 13637833 edges, 4423 markings/sec, 1940 secs
lola: STP completed || 895 tries, 894247712 fired transitions, 1945 secs || 8376245 markings, 13673811 edges, 4377 markings/sec, 1945 secs
lola: STP completed || 897 tries, 896560056 fired transitions, 1950 secs || 8398358 markings, 13709984 edges, 4423 markings/sec, 1950 secs
lola: STP completed || 899 tries, 898875274 fired transitions, 1955 secs || 8420398 markings, 13746103 edges, 4408 markings/sec, 1955 secs
lola: STP completed || 901 tries, 900974242 fired transitions, 1960 secs || 8441714 markings, 13780670 edges, 4263 markings/sec, 1960 secs
lola: STP completed || 904 tries, 903094899 fired transitions, 1965 secs || 8463716 markings, 13816818 edges, 4400 markings/sec, 1965 secs
lola: STP completed || 906 tries, 905362567 fired transitions, 1970 secs || 8485779 markings, 13852801 edges, 4413 markings/sec, 1970 secs
lola: STP completed || 908 tries, 907529868 fired transitions, 1975 secs || 8508027 markings, 13888999 edges, 4450 markings/sec, 1975 secs
lola: STP completed || 910 tries, 909838260 fired transitions, 1980 secs || 8530182 markings, 13925222 edges, 4431 markings/sec, 1980 secs
lola: STP completed || 913 tries, 912148642 fired transitions, 1985 secs || 8552322 markings, 13961464 edges, 4428 markings/sec, 1985 secs
lola: STP completed || 915 tries, 914291357 fired transitions, 1990 secs || 8574551 markings, 13997573 edges, 4446 markings/sec, 1990 secs
lola: STP completed || 917 tries, 916464028 fired transitions, 1995 secs || 8596491 markings, 14033546 edges, 4388 markings/sec, 1995 secs
lola: STP completed || 919 tries, 918777468 fired transitions, 2000 secs || 8618767 markings, 14069711 edges, 4455 markings/sec, 2000 secs
lola: STP completed || 922 tries, 921086924 fired transitions, 2005 secs || 8640916 markings, 14105891 edges, 4430 markings/sec, 2005 secs
lola: STP completed || 924 tries, 923396200 fired transitions, 2010 secs || 8663031 markings, 14142045 edges, 4423 markings/sec, 2010 secs
lola: STP completed || 926 tries, 925703214 fired transitions, 2015 secs || 8685356 markings, 14178192 edges, 4465 markings/sec, 2015 secs
lola: STP completed || 929 tries, 928017125 fired transitions, 2020 secs || 8707505 markings, 14214378 edges, 4430 markings/sec, 2020 secs
lola: STP completed || 931 tries, 930324527 fired transitions, 2025 secs || 8729618 markings, 14250577 edges, 4423 markings/sec, 2025 secs
lola: STP completed || 933 tries, 932631296 fired transitions, 2030 secs || 8751769 markings, 14286735 edges, 4430 markings/sec, 2030 secs
lola: STP completed || 935 tries, 934937483 fired transitions, 2035 secs || 8773865 markings, 14322875 edges, 4419 markings/sec, 2035 secs
lola: STP completed || 938 tries, 937256770 fired transitions, 2040 secs || 8795816 markings, 14358976 edges, 4390 markings/sec, 2040 secs
lola: STP completed || 940 tries, 939567746 fired transitions, 2045 secs || 8818124 markings, 14395158 edges, 4462 markings/sec, 2045 secs
lola: STP completed || 942 tries, 941876238 fired transitions, 2050 secs || 8840225 markings, 14431340 edges, 4420 markings/sec, 2050 secs
lola: STP completed || 945 tries, 944186271 fired transitions, 2055 secs || 8862371 markings, 14467484 edges, 4429 markings/sec, 2055 secs
lola: STP completed || 947 tries, 946501062 fired transitions, 2060 secs || 8884419 markings, 14503661 edges, 4410 markings/sec, 2060 secs
lola: STP completed || 949 tries, 948809628 fired transitions, 2065 secs || 8906692 markings, 14539845 edges, 4455 markings/sec, 2065 secs
lola: STP completed || 952 tries, 951112823 fired transitions, 2070 secs || 8928868 markings, 14576054 edges, 4435 markings/sec, 2070 secs
lola: STP completed || 954 tries, 953429953 fired transitions, 2075 secs || 8950967 markings, 14612201 edges, 4420 markings/sec, 2075 secs
lola: STP completed || 956 tries, 955741488 fired transitions, 2080 secs || 8973057 markings, 14648330 edges, 4418 markings/sec, 2080 secs
lola: STP completed || 959 tries, 958054844 fired transitions, 2085 secs || 8995243 markings, 14684415 edges, 4437 markings/sec, 2085 secs
lola: STP completed || 961 tries, 960368495 fired transitions, 2090 secs || 9017514 markings, 14720534 edges, 4454 markings/sec, 2090 secs
lola: STP completed || 963 tries, 962680187 fired transitions, 2095 secs || 9039476 markings, 14756626 edges, 4392 markings/sec, 2095 secs
lola: STP completed || 965 tries, 964983474 fired transitions, 2100 secs || 9061614 markings, 14792693 edges, 4428 markings/sec, 2100 secs
lola: STP completed || 968 tries, 967295052 fired transitions, 2105 secs || 9083835 markings, 14828752 edges, 4444 markings/sec, 2105 secs
lola: STP completed || 970 tries, 969598106 fired transitions, 2110 secs || 9105849 markings, 14864803 edges, 4403 markings/sec, 2110 secs
lola: STP completed || 972 tries, 971905086 fired transitions, 2115 secs || 9127910 markings, 14900792 edges, 4412 markings/sec, 2115 secs
lola: STP completed || 975 tries, 974214491 fired transitions, 2120 secs || 9150028 markings, 14936932 edges, 4424 markings/sec, 2120 secs
lola: STP completed || 977 tries, 976524580 fired transitions, 2125 secs || 9171956 markings, 14973056 edges, 4386 markings/sec, 2125 secs
lola: STP completed || 979 tries, 978842503 fired transitions, 2130 secs || 9194346 markings, 15009228 edges, 4478 markings/sec, 2130 secs
lola: STP completed || 982 tries, 981151004 fired transitions, 2135 secs || 9216467 markings, 15045422 edges, 4424 markings/sec, 2135 secs
lola: STP completed || 984 tries, 983464452 fired transitions, 2140 secs || 9238571 markings, 15081537 edges, 4421 markings/sec, 2140 secs
lola: STP completed || 986 tries, 985772436 fired transitions, 2145 secs || 9260637 markings, 15117675 edges, 4413 markings/sec, 2145 secs
lola: STP completed || 989 tries, 988087498 fired transitions, 2150 secs || 9282848 markings, 15153815 edges, 4442 markings/sec, 2150 secs
lola: STP completed || 991 tries, 990390052 fired transitions, 2155 secs || 9304958 markings, 15189912 edges, 4422 markings/sec, 2155 secs
lola: STP completed || 993 tries, 992707554 fired transitions, 2160 secs || 9327065 markings, 15225890 edges, 4421 markings/sec, 2160 secs
lola: STP completed || 996 tries, 995014632 fired transitions, 2165 secs || 9349110 markings, 15261974 edges, 4409 markings/sec, 2165 secs
lola: STP completed || 998 tries, 997330027 fired transitions, 2170 secs || 9371347 markings, 15298023 edges, 4447 markings/sec, 2170 secs
lola: STP completed || 1000 tries, 999641784 fired transitions, 2175 secs || 9393199 markings, 15334135 edges, 4370 markings/sec, 2175 secs
lola: STP completed || 1002 tries, 1001952847 fired transitions, 2180 secs || 9415400 markings, 15370236 edges, 4440 markings/sec, 2180 secs
lola: STP completed || 1005 tries, 1004266879 fired transitions, 2185 secs || 9437621 markings, 15406350 edges, 4444 markings/sec, 2185 secs
lola: STP completed || 1007 tries, 1006588066 fired transitions, 2190 secs || 9459549 markings, 15442405 edges, 4386 markings/sec, 2190 secs
lola: STP completed || 1009 tries, 1008897359 fired transitions, 2195 secs || 9481724 markings, 15478537 edges, 4435 markings/sec, 2195 secs
lola: STP completed || 1012 tries, 1011191797 fired transitions, 2200 secs || 9503980 markings, 15514682 edges, 4451 markings/sec, 2200 secs
lola: STP completed || 1014 tries, 1013501584 fired transitions, 2205 secs || 9526260 markings, 15550863 edges, 4456 markings/sec, 2205 secs
lola: STP completed || 1016 tries, 1015818008 fired transitions, 2210 secs || 9548251 markings, 15587029 edges, 4398 markings/sec, 2210 secs
lola: STP completed || 1019 tries, 1018114478 fired transitions, 2215 secs || 9570375 markings, 15623232 edges, 4425 markings/sec, 2215 secs
lola: STP completed || 1021 tries, 1020421820 fired transitions, 2220 secs || 9592588 markings, 15659421 edges, 4443 markings/sec, 2220 secs
lola: STP completed || 1023 tries, 1022732597 fired transitions, 2225 secs || 9614712 markings, 15695603 edges, 4425 markings/sec, 2225 secs
lola: STP completed || 1026 tries, 1025040255 fired transitions, 2230 secs || 9636830 markings, 15731747 edges, 4424 markings/sec, 2230 secs
lola: STP completed || 1028 tries, 1027349785 fired transitions, 2235 secs || 9658944 markings, 15767775 edges, 4423 markings/sec, 2235 secs
lola: STP completed || 1030 tries, 1029661134 fired transitions, 2240 secs || 9681064 markings, 15803877 edges, 4424 markings/sec, 2240 secs
lola: STP completed || 1032 tries, 1031962571 fired transitions, 2245 secs || 9703327 markings, 15839965 edges, 4453 markings/sec, 2245 secs
lola: STP completed || 1035 tries, 1034277065 fired transitions, 2250 secs || 9725251 markings, 15876060 edges, 4385 markings/sec, 2250 secs
lola: STP completed || 1037 tries, 1036587012 fired transitions, 2255 secs || 9747315 markings, 15912151 edges, 4413 markings/sec, 2255 secs
lola: STP completed || 1039 tries, 1038900010 fired transitions, 2260 secs || 9769466 markings, 15948193 edges, 4430 markings/sec, 2260 secs
lola: STP completed || 1042 tries, 1041210401 fired transitions, 2265 secs || 9791534 markings, 15984286 edges, 4414 markings/sec, 2265 secs
lola: STP completed || 1044 tries, 1043526052 fired transitions, 2270 secs || 9813664 markings, 16020424 edges, 4426 markings/sec, 2270 secs
lola: STP completed || 1046 tries, 1045836719 fired transitions, 2275 secs || 9835781 markings, 16056487 edges, 4423 markings/sec, 2275 secs
lola: STP completed || 1049 tries, 1048146582 fired transitions, 2280 secs || 9858066 markings, 16092642 edges, 4457 markings/sec, 2280 secs
lola: STP completed || 1051 tries, 1050464183 fired transitions, 2285 secs || 9880238 markings, 16128822 edges, 4434 markings/sec, 2285 secs
lola: STP completed || 1053 tries, 1052776028 fired transitions, 2290 secs || 9902416 markings, 16164971 edges, 4436 markings/sec, 2290 secs
lola: STP completed || 1056 tries, 1055090786 fired transitions, 2295 secs || 9924436 markings, 16201120 edges, 4404 markings/sec, 2295 secs
lola: STP completed || 1058 tries, 1057400175 fired transitions, 2300 secs || 9946494 markings, 16237260 edges, 4412 markings/sec, 2300 secs
lola: STP completed || 1060 tries, 1059698366 fired transitions, 2305 secs || 9968593 markings, 16273344 edges, 4420 markings/sec, 2305 secs
lola: STP completed || 1062 tries, 1061977388 fired transitions, 2310 secs || 9990657 markings, 16309202 edges, 4413 markings/sec, 2310 secs
lola: STP completed || 1065 tries, 1064258014 fired transitions, 2315 secs || 10012673 markings, 16345106 edges, 4403 markings/sec, 2315 secs
lola: STP completed || 1067 tries, 1066528615 fired transitions, 2320 secs || 10034642 markings, 16381015 edges, 4394 markings/sec, 2320 secs
lola: STP completed || 1069 tries, 1068713638 fired transitions, 2325 secs || 10056645 markings, 16417065 edges, 4401 markings/sec, 2325 secs
lola: STP completed || 1072 tries, 1071028299 fired transitions, 2330 secs || 10078880 markings, 16453167 edges, 4447 markings/sec, 2330 secs
lola: STP completed || 1074 tries, 1073315597 fired transitions, 2335 secs || 10099062 markings, 16486300 edges, 4036 markings/sec, 2335 secs
lola: STP completed || 1076 tries, 1075624678 fired transitions, 2340 secs || 10121189 markings, 16522400 edges, 4425 markings/sec, 2340 secs
lola: STP completed || 1078 tries, 1077930001 fired transitions, 2345 secs || 10143371 markings, 16558515 edges, 4436 markings/sec, 2345 secs
lola: STP completed || 1081 tries, 1080213824 fired transitions, 2350 secs || 10165289 markings, 16594416 edges, 4384 markings/sec, 2350 secs
lola: STP completed || 1083 tries, 1082388397 fired transitions, 2355 secs || 10187442 markings, 16630485 edges, 4431 markings/sec, 2355 secs
lola: STP completed || 1085 tries, 1084702233 fired transitions, 2360 secs || 10209541 markings, 16666571 edges, 4420 markings/sec, 2360 secs
lola: STP completed || 1087 tries, 1086901791 fired transitions, 2365 secs || 10231639 markings, 16702721 edges, 4420 markings/sec, 2365 secs
lola: STP completed || 1090 tries, 1089207937 fired transitions, 2370 secs || 10253749 markings, 16738868 edges, 4422 markings/sec, 2370 secs
lola: STP completed || 1092 tries, 1091517257 fired transitions, 2375 secs || 10276100 markings, 16775027 edges, 4470 markings/sec, 2375 secs
lola: STP completed || 1094 tries, 1093824435 fired transitions, 2380 secs || 10298195 markings, 16811166 edges, 4419 markings/sec, 2380 secs
lola: STP completed || 1097 tries, 1096130008 fired transitions, 2385 secs || 10320395 markings, 16847253 edges, 4440 markings/sec, 2385 secs
lola: STP completed || 1099 tries, 1098437285 fired transitions, 2390 secs || 10342354 markings, 16883287 edges, 4392 markings/sec, 2390 secs
lola: STP completed || 1101 tries, 1100714317 fired transitions, 2395 secs || 10364366 markings, 16919176 edges, 4402 markings/sec, 2395 secs
lola: STP completed || 1103 tries, 1102853859 fired transitions, 2400 secs || 10386264 markings, 16955210 edges, 4380 markings/sec, 2400 secs
lola: STP completed || 1106 tries, 1105163649 fired transitions, 2405 secs || 10408343 markings, 16991115 edges, 4416 markings/sec, 2405 secs
lola: STP completed || 1108 tries, 1107470655 fired transitions, 2410 secs || 10430391 markings, 17027123 edges, 4410 markings/sec, 2410 secs
lola: STP completed || 1110 tries, 1109775971 fired transitions, 2415 secs || 10452491 markings, 17063115 edges, 4420 markings/sec, 2415 secs
lola: STP completed || 1113 tries, 1112080528 fired transitions, 2420 secs || 10474469 markings, 17099146 edges, 4396 markings/sec, 2420 secs
lola: STP completed || 1115 tries, 1114386468 fired transitions, 2425 secs || 10496647 markings, 17135228 edges, 4436 markings/sec, 2425 secs
lola: STP completed || 1117 tries, 1116683457 fired transitions, 2430 secs || 10518885 markings, 17171318 edges, 4448 markings/sec, 2430 secs
lola: STP completed || 1119 tries, 1118991346 fired transitions, 2435 secs || 10540943 markings, 17207434 edges, 4412 markings/sec, 2435 secs
lola: STP completed || 1122 tries, 1121292873 fired transitions, 2440 secs || 10562977 markings, 17243524 edges, 4407 markings/sec, 2440 secs
lola: STP completed || 1124 tries, 1123597150 fired transitions, 2445 secs || 10585151 markings, 17279513 edges, 4435 markings/sec, 2445 secs
lola: STP completed || 1126 tries, 1125905601 fired transitions, 2450 secs || 10607155 markings, 17315585 edges, 4401 markings/sec, 2450 secs
lola: STP completed || 1129 tries, 1128212314 fired transitions, 2455 secs || 10629191 markings, 17351615 edges, 4407 markings/sec, 2455 secs
lola: STP completed || 1131 tries, 1130507297 fired transitions, 2460 secs || 10651292 markings, 17387592 edges, 4420 markings/sec, 2460 secs
lola: STP completed || 1133 tries, 1132817429 fired transitions, 2465 secs || 10673460 markings, 17423607 edges, 4434 markings/sec, 2465 secs
lola: STP completed || 1136 tries, 1135119255 fired transitions, 2470 secs || 10695583 markings, 17459622 edges, 4425 markings/sec, 2470 secs
lola: STP completed || 1138 tries, 1137432508 fired transitions, 2475 secs || 10717585 markings, 17495521 edges, 4400 markings/sec, 2475 secs
lola: STP completed || 1140 tries, 1139745461 fired transitions, 2480 secs || 10739251 markings, 17531683 edges, 4333 markings/sec, 2480 secs
lola: STP completed || 1143 tries, 1142060214 fired transitions, 2485 secs || 10761518 markings, 17567851 edges, 4453 markings/sec, 2485 secs
lola: STP completed || 1145 tries, 1144371716 fired transitions, 2490 secs || 10783762 markings, 17604005 edges, 4449 markings/sec, 2490 secs
lola: STP completed || 1147 tries, 1146682704 fired transitions, 2495 secs || 10805772 markings, 17640063 edges, 4402 markings/sec, 2495 secs
lola: STP completed || 1149 tries, 1148987854 fired transitions, 2500 secs || 10827877 markings, 17676252 edges, 4421 markings/sec, 2500 secs
lola: STP completed || 1152 tries, 1151292988 fired transitions, 2505 secs || 10850161 markings, 17712418 edges, 4457 markings/sec, 2505 secs
lola: STP completed || 1154 tries, 1153597999 fired transitions, 2510 secs || 10872324 markings, 17748639 edges, 4433 markings/sec, 2510 secs
lola: STP completed || 1156 tries, 1155905744 fired transitions, 2515 secs || 10894401 markings, 17784803 edges, 4415 markings/sec, 2515 secs
lola: STP completed || 1159 tries, 1158196855 fired transitions, 2520 secs || 10915254 markings, 17818873 edges, 4171 markings/sec, 2520 secs
lola: STP completed || 1161 tries, 1160496782 fired transitions, 2525 secs || 10937439 markings, 17855058 edges, 4437 markings/sec, 2525 secs
lola: STP completed || 1163 tries, 1162804752 fired transitions, 2530 secs || 10959585 markings, 17891276 edges, 4429 markings/sec, 2530 secs
lola: STP completed || 1166 tries, 1165114418 fired transitions, 2535 secs || 10981843 markings, 17927445 edges, 4452 markings/sec, 2535 secs
lola: STP completed || 1168 tries, 1167435544 fired transitions, 2540 secs || 11003836 markings, 17963502 edges, 4399 markings/sec, 2540 secs
lola: STP completed || 1170 tries, 1169753820 fired transitions, 2545 secs || 11026049 markings, 17999614 edges, 4443 markings/sec, 2545 secs
lola: STP completed || 1173 tries, 1172027933 fired transitions, 2550 secs || 11048002 markings, 18035481 edges, 4391 markings/sec, 2550 secs
lola: STP completed || 1175 tries, 1174202192 fired transitions, 2555 secs || 11070097 markings, 18071591 edges, 4419 markings/sec, 2555 secs
lola: STP completed || 1177 tries, 1176511735 fired transitions, 2560 secs || 11092173 markings, 18107732 edges, 4415 markings/sec, 2560 secs
lola: STP completed || 1179 tries, 1178829366 fired transitions, 2565 secs || 11114315 markings, 18143884 edges, 4428 markings/sec, 2565 secs
lola: STP completed || 1182 tries, 1181128617 fired transitions, 2570 secs || 11136492 markings, 18180004 edges, 4435 markings/sec, 2570 secs
lola: STP completed || 1184 tries, 1183447725 fired transitions, 2575 secs || 11158694 markings, 18216173 edges, 4440 markings/sec, 2575 secs
lola: STP completed || 1186 tries, 1185770719 fired transitions, 2580 secs || 11180786 markings, 18252380 edges, 4418 markings/sec, 2580 secs
lola: STP completed || 1189 tries, 1188079472 fired transitions, 2585 secs || 11203040 markings, 18288586 edges, 4451 markings/sec, 2585 secs
lola: STP completed || 1191 tries, 1190393584 fired transitions, 2590 secs || 11225074 markings, 18324801 edges, 4407 markings/sec, 2590 secs
lola: STP completed || 1193 tries, 1192703000 fired transitions, 2595 secs || 11247369 markings, 18360908 edges, 4459 markings/sec, 2595 secs
lola: STP completed || 1196 tries, 1195007651 fired transitions, 2600 secs || 11269458 markings, 18397024 edges, 4418 markings/sec, 2600 secs
lola: STP completed || 1198 tries, 1197308894 fired transitions, 2605 secs || 11291571 markings, 18433202 edges, 4423 markings/sec, 2605 secs
lola: STP completed || 1200 tries, 1199611830 fired transitions, 2610 secs || 11313698 markings, 18469349 edges, 4425 markings/sec, 2610 secs
lola: STP completed || 1202 tries, 1201923375 fired transitions, 2615 secs || 11335934 markings, 18505437 edges, 4447 markings/sec, 2615 secs
lola: STP completed || 1205 tries, 1204126380 fired transitions, 2620 secs || 11358097 markings, 18541571 edges, 4433 markings/sec, 2620 secs
lola: STP completed || 1207 tries, 1206330151 fired transitions, 2625 secs || 11380250 markings, 18577752 edges, 4431 markings/sec, 2625 secs
lola: STP completed || 1209 tries, 1208635443 fired transitions, 2630 secs || 11402201 markings, 18613940 edges, 4390 markings/sec, 2630 secs
lola: STP completed || 1211 tries, 1210949349 fired transitions, 2635 secs || 11424518 markings, 18650134 edges, 4463 markings/sec, 2635 secs
lola: STP completed || 1214 tries, 1213213081 fired transitions, 2640 secs || 11446483 markings, 18686145 edges, 4393 markings/sec, 2640 secs
lola: STP completed || 1216 tries, 1215389116 fired transitions, 2645 secs || 11468588 markings, 18722308 edges, 4421 markings/sec, 2645 secs
lola: STP completed || 1218 tries, 1217599240 fired transitions, 2650 secs || 11490710 markings, 18758504 edges, 4424 markings/sec, 2650 secs
lola: STP completed || 1220 tries, 1219906838 fired transitions, 2655 secs || 11512997 markings, 18794684 edges, 4457 markings/sec, 2655 secs
lola: STP completed || 1223 tries, 1222076468 fired transitions, 2660 secs || 11535378 markings, 18830832 edges, 4476 markings/sec, 2660 secs
lola: STP completed || 1225 tries, 1224396266 fired transitions, 2665 secs || 11555702 markings, 18864062 edges, 4065 markings/sec, 2665 secs
lola: STP completed || 1227 tries, 1226660460 fired transitions, 2670 secs || 11577644 markings, 18900034 edges, 4388 markings/sec, 2670 secs
lola: STP completed || 1229 tries, 1228855835 fired transitions, 2675 secs || 11599683 markings, 18936166 edges, 4408 markings/sec, 2675 secs
lola: STP completed || 1232 tries, 1231174515 fired transitions, 2680 secs || 11621762 markings, 18972343 edges, 4416 markings/sec, 2680 secs
lola: STP completed || 1234 tries, 1233491512 fired transitions, 2685 secs || 11642921 markings, 19006938 edges, 4232 markings/sec, 2685 secs
lola: STP completed || 1236 tries, 1235799965 fired transitions, 2690 secs || 11665197 markings, 19043067 edges, 4455 markings/sec, 2690 secs
lola: STP completed || 1239 tries, 1238107042 fired transitions, 2695 secs || 11687412 markings, 19079223 edges, 4443 markings/sec, 2695 secs
lola: STP completed || 1241 tries, 1240413101 fired transitions, 2700 secs || 11709512 markings, 19115381 edges, 4420 markings/sec, 2700 secs
lola: STP completed || 1243 tries, 1242728027 fired transitions, 2705 secs || 11731569 markings, 19151518 edges, 4411 markings/sec, 2705 secs
lola: STP completed || 1246 tries, 1245042057 fired transitions, 2710 secs || 11753809 markings, 19187622 edges, 4448 markings/sec, 2710 secs
lola: STP completed || 1248 tries, 1247357969 fired transitions, 2715 secs || 11775832 markings, 19223676 edges, 4405 markings/sec, 2715 secs
lola: STP completed || 1250 tries, 1249670227 fired transitions, 2720 secs || 11797915 markings, 19259726 edges, 4417 markings/sec, 2720 secs
lola: STP completed || 1252 tries, 1251984145 fired transitions, 2725 secs || 11819961 markings, 19295893 edges, 4409 markings/sec, 2725 secs
lola: STP completed || 1255 tries, 1254297472 fired transitions, 2730 secs || 11842245 markings, 19332114 edges, 4457 markings/sec, 2730 secs
lola: STP completed || 1257 tries, 1256606825 fired transitions, 2735 secs || 11864559 markings, 19368342 edges, 4463 markings/sec, 2735 secs
lola: STP completed || 1259 tries, 1258912811 fired transitions, 2740 secs || 11886547 markings, 19404538 edges, 4398 markings/sec, 2740 secs
lola: STP completed || 1262 tries, 1261211096 fired transitions, 2745 secs || 11908792 markings, 19440719 edges, 4449 markings/sec, 2745 secs
lola: STP completed || 1264 tries, 1263534351 fired transitions, 2750 secs || 11931027 markings, 19476893 edges, 4447 markings/sec, 2750 secs
lola: STP completed || 1266 tries, 1265849576 fired transitions, 2755 secs || 11953329 markings, 19513074 edges, 4460 markings/sec, 2755 secs
lola: STP completed || 1269 tries, 1268166069 fired transitions, 2760 secs || 11975301 markings, 19549270 edges, 4394 markings/sec, 2760 secs
lola: STP completed || 1271 tries, 1270471780 fired transitions, 2765 secs || 11997346 markings, 19585164 edges, 4409 markings/sec, 2765 secs
lola: STP completed || 1273 tries, 1272773967 fired transitions, 2770 secs || 12019344 markings, 19621202 edges, 4400 markings/sec, 2770 secs
lola: STP completed || 1276 tries, 1275088051 fired transitions, 2775 secs || 12041612 markings, 19657287 edges, 4454 markings/sec, 2775 secs
lola: STP completed || 1278 tries, 1277403300 fired transitions, 2780 secs || 12063412 markings, 19693335 edges, 4360 markings/sec, 2780 secs
lola: STP completed || 1280 tries, 1279718903 fired transitions, 2785 secs || 12085610 markings, 19729382 edges, 4440 markings/sec, 2785 secs
lola: STP completed || 1283 tries, 1282030863 fired transitions, 2790 secs || 12107647 markings, 19765477 edges, 4407 markings/sec, 2790 secs
lola: STP completed || 1285 tries, 1284239984 fired transitions, 2795 secs || 12129720 markings, 19801589 edges, 4415 markings/sec, 2795 secs
lola: STP completed || 1287 tries, 1286550269 fired transitions, 2800 secs || 12151846 markings, 19837690 edges, 4425 markings/sec, 2800 secs
lola: STP completed || 1289 tries, 1288868842 fired transitions, 2805 secs || 12174134 markings, 19873862 edges, 4458 markings/sec, 2805 secs
lola: STP completed || 1292 tries, 1291182514 fired transitions, 2810 secs || 12196241 markings, 19910035 edges, 4421 markings/sec, 2810 secs
lola: STP completed || 1294 tries, 1293496820 fired transitions, 2815 secs || 12218384 markings, 19946187 edges, 4429 markings/sec, 2815 secs
lola: STP completed || 1296 tries, 1295810406 fired transitions, 2820 secs || 12240469 markings, 19982368 edges, 4417 markings/sec, 2820 secs
lola: STP completed || 1299 tries, 1298116097 fired transitions, 2825 secs || 12262707 markings, 20018578 edges, 4448 markings/sec, 2825 secs
lola: STP completed || 1301 tries, 1300433209 fired transitions, 2830 secs || 12284823 markings, 20054763 edges, 4423 markings/sec, 2830 secs
lola: STP completed || 1303 tries, 1302741039 fired transitions, 2835 secs || 12307049 markings, 20090936 edges, 4445 markings/sec, 2835 secs
lola: STP completed || 1306 tries, 1305054278 fired transitions, 2840 secs || 12329239 markings, 20127012 edges, 4438 markings/sec, 2840 secs
lola: STP completed || 1308 tries, 1307366552 fired transitions, 2845 secs || 12351315 markings, 20163050 edges, 4415 markings/sec, 2845 secs
lola: STP completed || 1310 tries, 1309679194 fired transitions, 2850 secs || 12373420 markings, 20199119 edges, 4421 markings/sec, 2850 secs
lola: STP completed || 1312 tries, 1311991815 fired transitions, 2855 secs || 12395387 markings, 20235165 edges, 4393 markings/sec, 2855 secs
lola: STP completed || 1315 tries, 1314302222 fired transitions, 2860 secs || 12417444 markings, 20271271 edges, 4411 markings/sec, 2860 secs
lola: STP completed || 1317 tries, 1316618978 fired transitions, 2865 secs || 12439597 markings, 20307399 edges, 4431 markings/sec, 2865 secs
lola: STP completed || 1319 tries, 1318935996 fired transitions, 2870 secs || 12461767 markings, 20343478 edges, 4434 markings/sec, 2870 secs
lola: STP completed || 1322 tries, 1321242025 fired transitions, 2875 secs || 12483725 markings, 20379580 edges, 4392 markings/sec, 2875 secs
lola: STP completed || 1324 tries, 1323548845 fired transitions, 2880 secs || 12505964 markings, 20415716 edges, 4448 markings/sec, 2880 secs
lola: STP completed || 1326 tries, 1325862743 fired transitions, 2885 secs || 12527369 markings, 20450682 edges, 4281 markings/sec, 2885 secs
lola: STP completed || 1329 tries, 1328170632 fired transitions, 2890 secs || 12549681 markings, 20486841 edges, 4462 markings/sec, 2890 secs
lola: STP completed || 1331 tries, 1330484977 fired transitions, 2895 secs || 12571743 markings, 20522954 edges, 4412 markings/sec, 2895 secs
lola: STP completed || 1333 tries, 1332801323 fired transitions, 2900 secs || 12593804 markings, 20559071 edges, 4412 markings/sec, 2900 secs
lola: STP completed || 1336 tries, 1335102667 fired transitions, 2905 secs || 12616090 markings, 20595265 edges, 4457 markings/sec, 2905 secs
lola: STP completed || 1338 tries, 1337418900 fired transitions, 2910 secs || 12638208 markings, 20631443 edges, 4424 markings/sec, 2910 secs
lola: STP completed || 1340 tries, 1339727328 fired transitions, 2915 secs || 12660312 markings, 20667600 edges, 4421 markings/sec, 2915 secs
lola: STP completed || 1343 tries, 1342041128 fired transitions, 2920 secs || 12682535 markings, 20703716 edges, 4445 markings/sec, 2920 secs
lola: STP completed || 1345 tries, 1344348125 fired transitions, 2925 secs || 12704756 markings, 20739876 edges, 4444 markings/sec, 2925 secs
lola: STP completed || 1347 tries, 1346655050 fired transitions, 2930 secs || 12726898 markings, 20776024 edges, 4428 markings/sec, 2930 secs
lola: STP completed || 1349 tries, 1348971717 fired transitions, 2935 secs || 12748971 markings, 20812225 edges, 4415 markings/sec, 2935 secs
lola: STP completed || 1352 tries, 1351281552 fired transitions, 2940 secs || 12771123 markings, 20848406 edges, 4430 markings/sec, 2940 secs
lola: STP completed || 1354 tries, 1353571000 fired transitions, 2945 secs || 12793182 markings, 20884430 edges, 4412 markings/sec, 2945 secs
lola: STP completed || 1356 tries, 1355756019 fired transitions, 2950 secs || 12815152 markings, 20920533 edges, 4394 markings/sec, 2950 secs
lola: STP completed || 1359 tries, 1358062439 fired transitions, 2955 secs || 12837451 markings, 20956724 edges, 4460 markings/sec, 2955 secs
lola: STP completed || 1361 tries, 1360268562 fired transitions, 2960 secs || 12859641 markings, 20992957 edges, 4438 markings/sec, 2960 secs
lola: STP completed || 1363 tries, 1362582572 fired transitions, 2965 secs || 12881770 markings, 21029190 edges, 4426 markings/sec, 2965 secs
lola: STP completed || 1365 tries, 1364900590 fired transitions, 2970 secs || 12903848 markings, 21065389 edges, 4416 markings/sec, 2970 secs
lola: STP completed || 1368 tries, 1367208218 fired transitions, 2975 secs || 12926160 markings, 21101621 edges, 4462 markings/sec, 2975 secs
lola: STP completed || 1370 tries, 1369520389 fired transitions, 2980 secs || 12948292 markings, 21137856 edges, 4426 markings/sec, 2980 secs
lola: STP completed || 1372 tries, 1371828624 fired transitions, 2985 secs || 12970439 markings, 21174051 edges, 4429 markings/sec, 2985 secs
lola: STP completed || 1375 tries, 1374137789 fired transitions, 2990 secs || 12992687 markings, 21210225 edges, 4450 markings/sec, 2990 secs
lola: STP completed || 1377 tries, 1376448676 fired transitions, 2995 secs || 13014890 markings, 21246321 edges, 4441 markings/sec, 2995 secs
lola: STP completed || 1379 tries, 1378756217 fired transitions, 3000 secs || 13036994 markings, 21282462 edges, 4421 markings/sec, 3000 secs
lola: STP completed || 1382 tries, 1381064896 fired transitions, 3005 secs || 13059268 markings, 21318580 edges, 4455 markings/sec, 3005 secs
lola: STP completed || 1384 tries, 1383374274 fired transitions, 3010 secs || 13081154 markings, 21354675 edges, 4377 markings/sec, 3010 secs
lola: STP completed || 1386 tries, 1385684921 fired transitions, 3015 secs || 13103335 markings, 21390752 edges, 4436 markings/sec, 3015 secs
lola: STP completed || 1388 tries, 1387992133 fired transitions, 3020 secs || 13125552 markings, 21426745 edges, 4443 markings/sec, 3020 secs
lola: STP completed || 1391 tries, 1390301637 fired transitions, 3025 secs || 13147438 markings, 21462773 edges, 4377 markings/sec, 3025 secs
lola: STP completed || 1393 tries, 1392619880 fired transitions, 3030 secs || 13169520 markings, 21498893 edges, 4416 markings/sec, 3030 secs
lola: STP completed || 1395 tries, 1394926129 fired transitions, 3035 secs || 13191810 markings, 21535097 edges, 4458 markings/sec, 3035 secs
lola: STP completed || 1398 tries, 1397231612 fired transitions, 3040 secs || 13213944 markings, 21571280 edges, 4427 markings/sec, 3040 secs
lola: STP completed || 1400 tries, 1399546411 fired transitions, 3045 secs || 13236012 markings, 21607440 edges, 4414 markings/sec, 3045 secs
lola: STP completed || 1402 tries, 1401858766 fired transitions, 3050 secs || 13258250 markings, 21643601 edges, 4448 markings/sec, 3050 secs
lola: STP completed || 1405 tries, 1404174172 fired transitions, 3055 secs || 13280377 markings, 21679763 edges, 4425 markings/sec, 3055 secs
lola: STP completed || 1407 tries, 1406491727 fired transitions, 3060 secs || 13302633 markings, 21715905 edges, 4451 markings/sec, 3060 secs
lola: STP completed || 1409 tries, 1408805051 fired transitions, 3065 secs || 13324665 markings, 21751993 edges, 4406 markings/sec, 3065 secs
lola: STP completed || 1412 tries, 1411119554 fired transitions, 3070 secs || 13346690 markings, 21787972 edges, 4405 markings/sec, 3070 secs
lola: STP completed || 1414 tries, 1413428733 fired transitions, 3075 secs || 13368973 markings, 21824029 edges, 4457 markings/sec, 3075 secs
lola: STP completed || 1416 tries, 1415741140 fired transitions, 3080 secs || 13391007 markings, 21860077 edges, 4407 markings/sec, 3080 secs
lola: STP completed || 1419 tries, 1418049601 fired transitions, 3085 secs || 13412734 markings, 21896208 edges, 4345 markings/sec, 3085 secs
lola: STP completed || 1421 tries, 1420359044 fired transitions, 3090 secs || 13435035 markings, 21932447 edges, 4460 markings/sec, 3090 secs
lola: STP completed || 1423 tries, 1422668667 fired transitions, 3095 secs || 13457273 markings, 21968699 edges, 4448 markings/sec, 3095 secs
lola: STP completed || 1425 tries, 1424981823 fired transitions, 3100 secs || 13479499 markings, 22004913 edges, 4445 markings/sec, 3100 secs
lola: STP completed || 1428 tries, 1427293980 fired transitions, 3105 secs || 13501675 markings, 22041115 edges, 4435 markings/sec, 3105 secs
lola: STP completed || 1430 tries, 1429605109 fired transitions, 3110 secs || 13523917 markings, 22077318 edges, 4448 markings/sec, 3110 secs
lola: STP completed || 1432 tries, 1431914552 fired transitions, 3115 secs || 13546109 markings, 22113550 edges, 4438 markings/sec, 3115 secs
lola: STP completed || 1435 tries, 1434222182 fired transitions, 3120 secs || 13568130 markings, 22149722 edges, 4404 markings/sec, 3120 secs
lola: STP completed || 1437 tries, 1436535183 fired transitions, 3125 secs || 13589314 markings, 22184288 edges, 4237 markings/sec, 3125 secs
lola: STP completed || 1439 tries, 1438854751 fired transitions, 3130 secs || 13611502 markings, 22220430 edges, 4438 markings/sec, 3130 secs
lola: STP completed || 1442 tries, 1441167941 fired transitions, 3135 secs || 13633593 markings, 22256562 edges, 4418 markings/sec, 3135 secs
lola: STP completed || 1444 tries, 1443472140 fired transitions, 3140 secs || 13655716 markings, 22292677 edges, 4425 markings/sec, 3140 secs
lola: STP completed || 1446 tries, 1445787869 fired transitions, 3145 secs || 13677872 markings, 22328803 edges, 4431 markings/sec, 3145 secs
lola: STP completed || 1449 tries, 1448085950 fired transitions, 3150 secs || 13699996 markings, 22364916 edges, 4425 markings/sec, 3150 secs
lola: STP completed || 1451 tries, 1450397362 fired transitions, 3155 secs || 13722284 markings, 22401067 edges, 4458 markings/sec, 3155 secs
lola: STP completed || 1453 tries, 1452709565 fired transitions, 3160 secs || 13743216 markings, 22435675 edges, 4186 markings/sec, 3160 secs
lola: STP completed || 1456 tries, 1455022272 fired transitions, 3165 secs || 13765495 markings, 22471859 edges, 4456 markings/sec, 3165 secs
lola: STP completed || 1458 tries, 1457333414 fired transitions, 3170 secs || 13787560 markings, 22508086 edges, 4413 markings/sec, 3170 secs
lola: STP completed || 1460 tries, 1459649395 fired transitions, 3175 secs || 13809852 markings, 22544286 edges, 4458 markings/sec, 3175 secs
lola: STP completed || 1462 tries, 1461960147 fired transitions, 3180 secs || 13831996 markings, 22580502 edges, 4429 markings/sec, 3180 secs
lola: STP completed || 1465 tries, 1464275967 fired transitions, 3185 secs || 13854117 markings, 22616710 edges, 4424 markings/sec, 3185 secs
lola: STP completed || 1467 tries, 1466575964 fired transitions, 3190 secs || 13876566 markings, 22652930 edges, 4490 markings/sec, 3190 secs
lola: STP completed || 1469 tries, 1468886597 fired transitions, 3195 secs || 13898727 markings, 22689110 edges, 4432 markings/sec, 3195 secs
lola: STP completed || 1472 tries, 1471193748 fired transitions, 3200 secs || 13920814 markings, 22725291 edges, 4417 markings/sec, 3200 secs
lola: STP completed || 1474 tries, 1473510502 fired transitions, 3205 secs || 13942915 markings, 22761464 edges, 4420 markings/sec, 3205 secs
lola: STP completed || 1476 tries, 1475823446 fired transitions, 3210 secs || 13965047 markings, 22797688 edges, 4426 markings/sec, 3210 secs
lola: STP completed || 1479 tries, 1478126254 fired transitions, 3215 secs || 13987146 markings, 22833858 edges, 4420 markings/sec, 3215 secs
lola: STP completed || 1481 tries, 1480435395 fired transitions, 3220 secs || 14009436 markings, 22870017 edges, 4458 markings/sec, 3220 secs
lola: STP completed || 1483 tries, 1482753183 fired transitions, 3225 secs || 14031645 markings, 22906238 edges, 4442 markings/sec, 3225 secs
lola: STP completed || 1486 tries, 1485070689 fired transitions, 3230 secs || 14053847 markings, 22942422 edges, 4440 markings/sec, 3230 secs
lola: STP completed || 1488 tries, 1487377776 fired transitions, 3235 secs || 14074675 markings, 22976635 edges, 4166 markings/sec, 3235 secs
lola: STP completed || 1490 tries, 1489691622 fired transitions, 3240 secs || 14096538 markings, 23012467 edges, 4373 markings/sec, 3240 secs
lola: STP completed || 1493 tries, 1492007983 fired transitions, 3245 secs || 14118769 markings, 23048698 edges, 4446 markings/sec, 3245 secs
lola: STP completed || 1495 tries, 1494293845 fired transitions, 3250 secs || 14140782 markings, 23084386 edges, 4403 markings/sec, 3250 secs
lola: STP completed || 1497 tries, 1496471647 fired transitions, 3255 secs || 14162621 markings, 23120213 edges, 4368 markings/sec, 3255 secs
lola: STP completed || 1499 tries, 1498777860 fired transitions, 3260 secs || 14184692 markings, 23156358 edges, 4414 markings/sec, 3260 secs
lola: STP completed || 1502 tries, 1501082704 fired transitions, 3265 secs || 14206970 markings, 23192467 edges, 4456 markings/sec, 3265 secs
lola: STP completed || 1504 tries, 1503394628 fired transitions, 3270 secs || 14229078 markings, 23228634 edges, 4422 markings/sec, 3270 secs
lola: STP completed || 1506 tries, 1505710825 fired transitions, 3275 secs || 14251197 markings, 23264816 edges, 4424 markings/sec, 3275 secs
lola: STP completed || 1509 tries, 1508023198 fired transitions, 3280 secs || 14273393 markings, 23300978 edges, 4439 markings/sec, 3280 secs
lola: STP completed || 1511 tries, 1510339099 fired transitions, 3285 secs || 14295529 markings, 23337166 edges, 4427 markings/sec, 3285 secs
lola: STP completed || 1513 tries, 1512604979 fired transitions, 3290 secs || 14317582 markings, 23373046 edges, 4411 markings/sec, 3290 secs
lola: STP completed || 1515 tries, 1514796957 fired transitions, 3295 secs || 14339778 markings, 23409224 edges, 4439 markings/sec, 3295 secs
lola: STP completed || 1518 tries, 1517102519 fired transitions, 3300 secs || 14361750 markings, 23445380 edges, 4394 markings/sec, 3300 secs
lola: STP completed || 1520 tries, 1519407706 fired transitions, 3305 secs || 14384034 markings, 23481572 edges, 4457 markings/sec, 3305 secs
lola: STP completed || 1522 tries, 1521508059 fired transitions, 3310 secs || 14405837 markings, 23517421 edges, 4361 markings/sec, 3310 secs
lola: STP completed || 1524 tries, 1523783839 fired transitions, 3315 secs || 14426224 markings, 23550502 edges, 4077 markings/sec, 3315 secs
lola: STP completed || 1527 tries, 1526093426 fired transitions, 3320 secs || 14448368 markings, 23586670 edges, 4429 markings/sec, 3320 secs
lola: STP completed || 1529 tries, 1528411491 fired transitions, 3325 secs || 14470597 markings, 23622797 edges, 4446 markings/sec, 3325 secs
lola: STP completed || 1531 tries, 1530721222 fired transitions, 3330 secs || 14492558 markings, 23658956 edges, 4392 markings/sec, 3330 secs
lola: STP completed || 1534 tries, 1533035020 fired transitions, 3335 secs || 14514776 markings, 23695077 edges, 4444 markings/sec, 3335 secs
lola: STP completed || 1536 tries, 1535335352 fired transitions, 3340 secs || 14537023 markings, 23731261 edges, 4449 markings/sec, 3340 secs
lola: STP completed || 1538 tries, 1537635016 fired transitions, 3345 secs || 14559178 markings, 23767459 edges, 4431 markings/sec, 3345 secs
lola: STP completed || 1540 tries, 1539953448 fired transitions, 3350 secs || 14581282 markings, 23803624 edges, 4421 markings/sec, 3350 secs
lola: STP completed || 1543 tries, 1542263510 fired transitions, 3355 secs || 14603473 markings, 23839736 edges, 4438 markings/sec, 3355 secs
lola: STP completed || 1545 tries, 1544574508 fired transitions, 3360 secs || 14625593 markings, 23875897 edges, 4424 markings/sec, 3360 secs
lola: STP completed || 1547 tries, 1546875135 fired transitions, 3365 secs || 14647685 markings, 23912024 edges, 4418 markings/sec, 3365 secs
lola: STP completed || 1550 tries, 1549182823 fired transitions, 3370 secs || 14669881 markings, 23948154 edges, 4439 markings/sec, 3370 secs
lola: STP completed || 1552 tries, 1551503346 fired transitions, 3375 secs || 14692130 markings, 23984293 edges, 4450 markings/sec, 3375 secs
lola: STP completed || 1554 tries, 1553813864 fired transitions, 3380 secs || 14714383 markings, 24020457 edges, 4451 markings/sec, 3380 secs
lola: STP completed || 1557 tries, 1556122815 fired transitions, 3385 secs || 14736500 markings, 24056657 edges, 4423 markings/sec, 3385 secs
lola: STP completed || 1559 tries, 1558431526 fired transitions, 3390 secs || 14758525 markings, 24092871 edges, 4405 markings/sec, 3390 secs
lola: STP completed || 1561 tries, 1560737423 fired transitions, 3395 secs || 14780729 markings, 24129067 edges, 4441 markings/sec, 3395 secs
lola: STP completed || 1564 tries, 1563044466 fired transitions, 3400 secs || 14802841 markings, 24165270 edges, 4422 markings/sec, 3400 secs
lola: STP completed || 1566 tries, 1565355623 fired transitions, 3405 secs || 14824888 markings, 24201442 edges, 4409 markings/sec, 3405 secs
lola: STP completed || 1568 tries, 1567663268 fired transitions, 3410 secs || 14847102 markings, 24237593 edges, 4443 markings/sec, 3410 secs
lola: STP completed || 1570 tries, 1569973053 fired transitions, 3415 secs || 14869347 markings, 24273773 edges, 4449 markings/sec, 3415 secs
lola: STP completed || 1573 tries, 1572277732 fired transitions, 3420 secs || 14891465 markings, 24309957 edges, 4424 markings/sec, 3420 secs
lola: STP completed || 1575 tries, 1574583439 fired transitions, 3425 secs || 14913557 markings, 24346107 edges, 4418 markings/sec, 3425 secs
lola: STP completed || 1577 tries, 1576898705 fired transitions, 3430 secs || 14935832 markings, 24382308 edges, 4455 markings/sec, 3430 secs
lola: STP completed || 1580 tries, 1579202481 fired transitions, 3435 secs || 14957948 markings, 24418536 edges, 4423 markings/sec, 3435 secs
lola: STP completed || 1582 tries, 1581513922 fired transitions, 3440 secs || 14980110 markings, 24454747 edges, 4432 markings/sec, 3440 secs
lola: STP completed || 1584 tries, 1583818661 fired transitions, 3445 secs || 15002420 markings, 24490936 edges, 4462 markings/sec, 3445 secs
lola: STP completed || 1587 tries, 1586119366 fired transitions, 3450 secs || 15024504 markings, 24527116 edges, 4417 markings/sec, 3450 secs
lola: STP completed || 1589 tries, 1588434647 fired transitions, 3455 secs || 15046758 markings, 24563300 edges, 4451 markings/sec, 3455 secs
lola: STP completed || 1591 tries, 1590742956 fired transitions, 3460 secs || 15068975 markings, 24599457 edges, 4443 markings/sec, 3460 secs
lola: STP completed || 1594 tries, 1593051018 fired transitions, 3465 secs || 15090916 markings, 24635568 edges, 4388 markings/sec, 3465 secs
lola: STP completed || 1596 tries, 1595358638 fired transitions, 3470 secs || 15113159 markings, 24671699 edges, 4449 markings/sec, 3470 secs
lola: STP completed || 1598 tries, 1597671582 fired transitions, 3475 secs || 15135217 markings, 24707765 edges, 4412 markings/sec, 3475 secs
lola: STP completed || 1600 tries, 1599990080 fired transitions, 3480 secs || 15157273 markings, 24743895 edges, 4411 markings/sec, 3480 secs
lola: STP completed || 1603 tries, 1602305542 fired transitions, 3485 secs || 15179346 markings, 24780035 edges, 4415 markings/sec, 3485 secs
lola: STP completed || 1605 tries, 1604618218 fired transitions, 3490 secs || 15201562 markings, 24816123 edges, 4443 markings/sec, 3490 secs
lola: STP completed || 1607 tries, 1606928448 fired transitions, 3495 secs || 15223707 markings, 24852259 edges, 4429 markings/sec, 3495 secs
lola: STP completed || 1610 tries, 1609232799 fired transitions, 3500 secs || 15245808 markings, 24888411 edges, 4420 markings/sec, 3500 secs
lola: STP completed || 1612 tries, 1611540621 fired transitions, 3505 secs || 15267917 markings, 24924504 edges, 4422 markings/sec, 3505 secs
lola: STP completed || 1614 tries, 1613852210 fired transitions, 3510 secs || 15290038 markings, 24960664 edges, 4424 markings/sec, 3510 secs
lola: STP completed || 1617 tries, 1616162835 fired transitions, 3515 secs || 15312313 markings, 24996804 edges, 4455 markings/sec, 3515 secs
lola: STP completed || 1619 tries, 1618473124 fired transitions, 3520 secs || 15334332 markings, 25032932 edges, 4404 markings/sec, 3520 secs
lola: STP completed || 1621 tries, 1620787735 fired transitions, 3525 secs || 15356581 markings, 25069027 edges, 4450 markings/sec, 3525 secs
lola: STP completed || 1624 tries, 1623088644 fired transitions, 3530 secs || 15378753 markings, 25105198 edges, 4434 markings/sec, 3530 secs
lola: STP completed || 1626 tries, 1625399773 fired transitions, 3535 secs || 15400865 markings, 25141372 edges, 4422 markings/sec, 3535 secs
lola: STP completed || 1628 tries, 1627711748 fired transitions, 3540 secs || 15423002 markings, 25177603 edges, 4427 markings/sec, 3540 secs
lola: STP completed || 1631 tries, 1630015941 fired transitions, 3545 secs || 15445164 markings, 25213839 edges, 4432 markings/sec, 3545 secs
lola: STP completed || 1633 tries, 1632320682 fired transitions, 3550 secs || 15467522 markings, 25250048 edges, 4472 markings/sec, 3550 secs
lola: STP completed || 1635 tries, 1634633781 fired transitions, 3555 secs || 15489662 markings, 25286250 edges, 4428 markings/sec, 3555 secs
lola: STP completed || 1637 tries, 1636944560 fired transitions, 3560 secs || 15511822 markings, 25322427 edges, 4432 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 5715816 KB
lola: time consumption: 3569 seconds
BK_STOP 1526857038540
--------------------
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="JoinFreeModules-PT-0500"
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/JoinFreeModules-PT-0500.tgz
mv JoinFreeModules-PT-0500 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 JoinFreeModules-PT-0500, 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 r100-smll-152658630900286"
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 ;