About the Execution of LoLA for DLCflexbar-PT-2a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5829.790 | 3570711.00 | 7232753.00 | 7866.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 704K
-rw-r--r-- 1 mcc users 3.3K May 29 17:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 29 17:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 28 11:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 28 11:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 28 09:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 09:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 28 07:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.9K May 28 07:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 2.7K May 27 05:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 12K May 27 05:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 107 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 345 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 26 06:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 26 06:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 3 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 545K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCflexbar-PT-2a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-152749145600368
=====================================================================
--------------------
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 DLCflexbar-PT-2a-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1528074317230
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCflexbar-PT-2a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCflexbar-PT-2a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DLCflexbar-PT-2a @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2522/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 353
lola: finding significant places
lola: 353 places, 2169 transitions, 157 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1846 transition conflict sets
lola: TASK
lola: reading formula from DLCflexbar-PT-2a-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 32082 variables and 134193 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: computed 333 generators (46 in search tree, 287 by composition)
lola: representing 6.1226E+25 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 13150 fired transitions, 0 secs || 18494 markings, 484927 edges, 3699 markings/sec, 0 secs
lola: STP completed || 1 tries, 26778 fired transitions, 5 secs || 39989 markings, 1054354 edges, 4299 markings/sec, 5 secs
lola: STP completed || 1 tries, 40537 fired transitions, 10 secs || 61374 markings, 1620767 edges, 4277 markings/sec, 10 secs
lola: STP completed || 1 tries, 54273 fired transitions, 15 secs || 82725 markings, 2186406 edges, 4270 markings/sec, 15 secs
lola: STP completed || 1 tries, 67999 fired transitions, 20 secs || 104052 markings, 2751275 edges, 4265 markings/sec, 20 secs
lola: STP completed || 1 tries, 81777 fired transitions, 25 secs || 125491 markings, 3319156 edges, 4288 markings/sec, 25 secs
lola: STP completed || 1 tries, 95444 fired transitions, 30 secs || 146898 markings, 3886316 edges, 4281 markings/sec, 30 secs
lola: STP completed || 1 tries, 109262 fired transitions, 35 secs || 168293 markings, 4452990 edges, 4279 markings/sec, 35 secs
lola: STP completed || 1 tries, 123037 fired transitions, 40 secs || 189588 markings, 5017040 edges, 4259 markings/sec, 40 secs
lola: STP completed || 1 tries, 136746 fired transitions, 45 secs || 210898 markings, 5581529 edges, 4262 markings/sec, 45 secs
lola: STP completed || 1 tries, 150533 fired transitions, 50 secs || 232163 markings, 6144785 edges, 4253 markings/sec, 50 secs
lola: STP completed || 1 tries, 164305 fired transitions, 55 secs || 253513 markings, 6710354 edges, 4270 markings/sec, 55 secs
lola: STP completed || 1 tries, 178029 fired transitions, 60 secs || 274925 markings, 7277491 edges, 4282 markings/sec, 60 secs
lola: STP completed || 1 tries, 191747 fired transitions, 65 secs || 296315 markings, 7844096 edges, 4278 markings/sec, 65 secs
lola: STP completed || 1 tries, 205517 fired transitions, 70 secs || 317616 markings, 8408404 edges, 4260 markings/sec, 70 secs
lola: STP completed || 1 tries, 219351 fired transitions, 75 secs || 338879 markings, 8971650 edges, 4253 markings/sec, 75 secs
lola: STP completed || 1 tries, 233121 fired transitions, 80 secs || 359243 markings, 9511003 edges, 4073 markings/sec, 80 secs
lola: STP completed || 1 tries, 246873 fired transitions, 85 secs || 380584 markings, 10076335 edges, 4268 markings/sec, 85 secs
lola: STP completed || 1 tries, 260554 fired transitions, 90 secs || 401963 markings, 10642603 edges, 4276 markings/sec, 90 secs
lola: STP completed || 1 tries, 274252 fired transitions, 95 secs || 423318 markings, 11208269 edges, 4271 markings/sec, 95 secs
lola: STP completed || 1 tries, 288000 fired transitions, 100 secs || 444548 markings, 11770651 edges, 4246 markings/sec, 100 secs
lola: STP completed || 1 tries, 301596 fired transitions, 105 secs || 465807 markings, 12333843 edges, 4252 markings/sec, 105 secs
lola: STP completed || 1 tries, 315348 fired transitions, 110 secs || 487047 markings, 12896459 edges, 4248 markings/sec, 110 secs
lola: STP completed || 1 tries, 329077 fired transitions, 115 secs || 508401 markings, 13462157 edges, 4271 markings/sec, 115 secs
lola: STP completed || 1 tries, 342668 fired transitions, 120 secs || 529772 markings, 14028211 edges, 4274 markings/sec, 120 secs
lola: STP completed || 1 tries, 356378 fired transitions, 125 secs || 551132 markings, 14593998 edges, 4272 markings/sec, 125 secs
lola: STP completed || 1 tries, 370020 fired transitions, 130 secs || 572376 markings, 15156666 edges, 4249 markings/sec, 130 secs
lola: STP completed || 1 tries, 383776 fired transitions, 135 secs || 593624 markings, 15719554 edges, 4250 markings/sec, 135 secs
lola: STP completed || 1 tries, 397395 fired transitions, 140 secs || 614810 markings, 16280806 edges, 4237 markings/sec, 140 secs
lola: STP completed || 1 tries, 411185 fired transitions, 145 secs || 636054 markings, 16843486 edges, 4249 markings/sec, 145 secs
lola: STP completed || 1 tries, 424814 fired transitions, 150 secs || 657367 markings, 17408076 edges, 4263 markings/sec, 150 secs
lola: STP completed || 1 tries, 438587 fired transitions, 155 secs || 678718 markings, 17973683 edges, 4270 markings/sec, 155 secs
lola: STP completed || 1 tries, 452242 fired transitions, 160 secs || 699993 markings, 18537200 edges, 4255 markings/sec, 160 secs
lola: STP completed || 1 tries, 465950 fired transitions, 165 secs || 721217 markings, 19099343 edges, 4245 markings/sec, 165 secs
lola: STP completed || 1 tries, 479579 fired transitions, 170 secs || 742391 markings, 19660280 edges, 4235 markings/sec, 170 secs
lola: STP completed || 1 tries, 493285 fired transitions, 175 secs || 763571 markings, 20221322 edges, 4236 markings/sec, 175 secs
lola: STP completed || 1 tries, 506963 fired transitions, 180 secs || 783920 markings, 20760284 edges, 4070 markings/sec, 180 secs
lola: STP completed || 1 tries, 520670 fired transitions, 185 secs || 805140 markings, 21322428 edges, 4244 markings/sec, 185 secs
lola: STP completed || 1 tries, 534361 fired transitions, 190 secs || 826321 markings, 21883509 edges, 4236 markings/sec, 190 secs
lola: STP completed || 1 tries, 548242 fired transitions, 195 secs || 847401 markings, 22441906 edges, 4216 markings/sec, 195 secs
lola: STP completed || 1 tries, 561901 fired transitions, 200 secs || 868584 markings, 23003056 edges, 4237 markings/sec, 200 secs
lola: STP completed || 1 tries, 575539 fired transitions, 205 secs || 889768 markings, 23564119 edges, 4237 markings/sec, 205 secs
lola: STP completed || 1 tries, 589313 fired transitions, 210 secs || 911054 markings, 24128004 edges, 4257 markings/sec, 210 secs
lola: STP completed || 1 tries, 603016 fired transitions, 215 secs || 932320 markings, 24691279 edges, 4253 markings/sec, 215 secs
lola: STP completed || 1 tries, 616782 fired transitions, 220 secs || 953544 markings, 25253540 edges, 4245 markings/sec, 220 secs
lola: STP completed || 1 tries, 630590 fired transitions, 225 secs || 974689 markings, 25813590 edges, 4229 markings/sec, 225 secs
lola: STP completed || 1 tries, 644293 fired transitions, 230 secs || 995824 markings, 26373491 edges, 4227 markings/sec, 230 secs
lola: STP completed || 1 tries, 657969 fired transitions, 235 secs || 1016919 markings, 26932265 edges, 4219 markings/sec, 235 secs
lola: STP completed || 1 tries, 671684 fired transitions, 240 secs || 1038033 markings, 27491519 edges, 4223 markings/sec, 240 secs
lola: STP completed || 1 tries, 685449 fired transitions, 245 secs || 1059267 markings, 28054015 edges, 4247 markings/sec, 245 secs
lola: STP completed || 1 tries, 699158 fired transitions, 250 secs || 1080511 markings, 28616685 edges, 4249 markings/sec, 250 secs
lola: STP completed || 1 tries, 712820 fired transitions, 255 secs || 1101647 markings, 29176602 edges, 4227 markings/sec, 255 secs
lola: STP completed || 1 tries, 726532 fired transitions, 260 secs || 1122789 markings, 29736595 edges, 4228 markings/sec, 260 secs
lola: STP completed || 1 tries, 740327 fired transitions, 265 secs || 1143853 markings, 30294584 edges, 4213 markings/sec, 265 secs
lola: STP completed || 1 tries, 753991 fired transitions, 270 secs || 1165009 markings, 30854946 edges, 4231 markings/sec, 270 secs
lola: STP completed || 1 tries, 767597 fired transitions, 275 secs || 1186104 markings, 31413764 edges, 4219 markings/sec, 275 secs
lola: STP completed || 1 tries, 781345 fired transitions, 280 secs || 1207270 markings, 31974476 edges, 4233 markings/sec, 280 secs
lola: STP completed || 1 tries, 795093 fired transitions, 285 secs || 1228314 markings, 32531842 edges, 4209 markings/sec, 285 secs
lola: STP completed || 1 tries, 808770 fired transitions, 290 secs || 1249408 markings, 33090684 edges, 4219 markings/sec, 290 secs
lola: STP completed || 1 tries, 822468 fired transitions, 295 secs || 1270282 markings, 33643588 edges, 4175 markings/sec, 295 secs
lola: STP completed || 1 tries, 835635 fired transitions, 300 secs || 1291425 markings, 34203633 edges, 4229 markings/sec, 300 secs
lola: STP completed || 1 tries, 849222 fired transitions, 305 secs || 1312643 markings, 34765719 edges, 4244 markings/sec, 305 secs
lola: STP completed || 1 tries, 862927 fired transitions, 310 secs || 1333825 markings, 35326786 edges, 4236 markings/sec, 310 secs
lola: STP completed || 1 tries, 876692 fired transitions, 315 secs || 1354922 markings, 35885556 edges, 4219 markings/sec, 315 secs
lola: STP completed || 1 tries, 890352 fired transitions, 320 secs || 1375982 markings, 36443420 edges, 4212 markings/sec, 320 secs
lola: STP completed || 1 tries, 904119 fired transitions, 325 secs || 1397108 markings, 37003077 edges, 4225 markings/sec, 325 secs
lola: STP completed || 1 tries, 917675 fired transitions, 330 secs || 1418242 markings, 37562860 edges, 4227 markings/sec, 330 secs
lola: STP completed || 1 tries, 931461 fired transitions, 335 secs || 1439487 markings, 38125588 edges, 4249 markings/sec, 335 secs
lola: STP completed || 1 tries, 945096 fired transitions, 340 secs || 1460740 markings, 38688602 edges, 4251 markings/sec, 340 secs
lola: STP completed || 1 tries, 958845 fired transitions, 345 secs || 1481986 markings, 39251405 edges, 4249 markings/sec, 345 secs
lola: STP completed || 1 tries, 972562 fired transitions, 350 secs || 1503136 markings, 39811669 edges, 4230 markings/sec, 350 secs
lola: STP completed || 1 tries, 986327 fired transitions, 355 secs || 1524259 markings, 40371215 edges, 4225 markings/sec, 355 secs
lola: STP completed || 2 tries, 1000141 fired transitions, 360 secs || 1544524 markings, 40907964 edges, 4053 markings/sec, 360 secs
lola: STP completed || 2 tries, 1013755 fired transitions, 365 secs || 1565841 markings, 41472626 edges, 4263 markings/sec, 365 secs
lola: STP completed || 2 tries, 1027459 fired transitions, 370 secs || 1587163 markings, 42037428 edges, 4264 markings/sec, 370 secs
lola: STP completed || 2 tries, 1041148 fired transitions, 375 secs || 1608424 markings, 42600621 edges, 4252 markings/sec, 375 secs
lola: STP completed || 2 tries, 1054693 fired transitions, 380 secs || 1629594 markings, 43161381 edges, 4234 markings/sec, 380 secs
lola: STP completed || 2 tries, 1068346 fired transitions, 385 secs || 1650802 markings, 43723222 edges, 4242 markings/sec, 385 secs
lola: STP completed || 2 tries, 1082064 fired transitions, 390 secs || 1671146 markings, 44262025 edges, 4069 markings/sec, 390 secs
lola: STP completed || 2 tries, 1095759 fired transitions, 395 secs || 1692471 markings, 44826921 edges, 4265 markings/sec, 395 secs
lola: STP completed || 2 tries, 1109442 fired transitions, 400 secs || 1713666 markings, 45388377 edges, 4239 markings/sec, 400 secs
lola: STP completed || 2 tries, 1123233 fired transitions, 405 secs || 1734766 markings, 45947260 edges, 4220 markings/sec, 405 secs
lola: STP completed || 2 tries, 1137037 fired transitions, 410 secs || 1755732 markings, 46502672 edges, 4193 markings/sec, 410 secs
lola: STP completed || 2 tries, 1150716 fired transitions, 415 secs || 1775515 markings, 47026759 edges, 3957 markings/sec, 415 secs
lola: STP completed || 2 tries, 1164166 fired transitions, 420 secs || 1796505 markings, 47582760 edges, 4198 markings/sec, 420 secs
lola: STP completed || 2 tries, 1178051 fired transitions, 425 secs || 1817559 markings, 48140401 edges, 4211 markings/sec, 425 secs
lola: STP completed || 2 tries, 1191920 fired transitions, 430 secs || 1838673 markings, 48699724 edges, 4223 markings/sec, 430 secs
lola: STP completed || 2 tries, 1205842 fired transitions, 435 secs || 1859828 markings, 49260201 edges, 4231 markings/sec, 435 secs
lola: STP completed || 2 tries, 1219676 fired transitions, 440 secs || 1880888 markings, 49818006 edges, 4212 markings/sec, 440 secs
lola: STP completed || 2 tries, 1233657 fired transitions, 445 secs || 1901898 markings, 50374514 edges, 4202 markings/sec, 445 secs
lola: STP completed || 2 tries, 1247379 fired transitions, 450 secs || 1922875 markings, 50930189 edges, 4195 markings/sec, 450 secs
lola: STP completed || 2 tries, 1261161 fired transitions, 455 secs || 1943851 markings, 51485799 edges, 4195 markings/sec, 455 secs
lola: STP completed || 2 tries, 1274944 fired transitions, 460 secs || 1964946 markings, 52044605 edges, 4219 markings/sec, 460 secs
lola: STP completed || 2 tries, 1288770 fired transitions, 465 secs || 1986050 markings, 52603578 edges, 4221 markings/sec, 465 secs
lola: STP completed || 2 tries, 1302526 fired transitions, 470 secs || 2007120 markings, 53161685 edges, 4214 markings/sec, 470 secs
lola: STP completed || 2 tries, 1316279 fired transitions, 475 secs || 2028080 markings, 53716910 edges, 4192 markings/sec, 475 secs
lola: STP completed || 2 tries, 1330092 fired transitions, 480 secs || 2049134 markings, 54274680 edges, 4211 markings/sec, 480 secs
lola: STP completed || 2 tries, 1343806 fired transitions, 485 secs || 2070199 markings, 54832617 edges, 4213 markings/sec, 485 secs
lola: STP completed || 2 tries, 1357756 fired transitions, 490 secs || 2091363 markings, 55393184 edges, 4233 markings/sec, 490 secs
lola: STP completed || 2 tries, 1371653 fired transitions, 495 secs || 2112514 markings, 55953516 edges, 4230 markings/sec, 495 secs
lola: STP completed || 2 tries, 1385508 fired transitions, 500 secs || 2133629 markings, 56512845 edges, 4223 markings/sec, 500 secs
lola: STP completed || 2 tries, 1399339 fired transitions, 505 secs || 2154657 markings, 57069790 edges, 4206 markings/sec, 505 secs
lola: STP completed || 2 tries, 1413170 fired transitions, 510 secs || 2175678 markings, 57626704 edges, 4204 markings/sec, 510 secs
lola: STP completed || 2 tries, 1427088 fired transitions, 515 secs || 2196654 markings, 58182289 edges, 4195 markings/sec, 515 secs
lola: STP completed || 2 tries, 1440802 fired transitions, 520 secs || 2217658 markings, 58738629 edges, 4201 markings/sec, 520 secs
lola: STP completed || 2 tries, 1453897 fired transitions, 525 secs || 2238902 markings, 59301468 edges, 4249 markings/sec, 525 secs
lola: STP completed || 2 tries, 1467722 fired transitions, 530 secs || 2260171 markings, 59864740 edges, 4254 markings/sec, 530 secs
lola: STP completed || 2 tries, 1481366 fired transitions, 535 secs || 2281391 markings, 60426856 edges, 4244 markings/sec, 535 secs
lola: STP completed || 2 tries, 1494898 fired transitions, 540 secs || 2302604 markings, 60988789 edges, 4243 markings/sec, 540 secs
lola: STP completed || 2 tries, 1508433 fired transitions, 545 secs || 2323739 markings, 61548611 edges, 4227 markings/sec, 545 secs
lola: STP completed || 2 tries, 1522031 fired transitions, 550 secs || 2344832 markings, 62107402 edges, 4219 markings/sec, 550 secs
lola: STP completed || 2 tries, 1535701 fired transitions, 555 secs || 2366117 markings, 62671183 edges, 4257 markings/sec, 555 secs
lola: STP completed || 2 tries, 1549286 fired transitions, 560 secs || 2387478 markings, 63237091 edges, 4272 markings/sec, 560 secs
lola: STP completed || 2 tries, 1562962 fired transitions, 565 secs || 2408718 markings, 63799697 edges, 4248 markings/sec, 565 secs
lola: STP completed || 2 tries, 1576646 fired transitions, 570 secs || 2428215 markings, 64316130 edges, 3899 markings/sec, 570 secs
lola: STP completed || 2 tries, 1590254 fired transitions, 575 secs || 2449245 markings, 64873136 edges, 4206 markings/sec, 575 secs
lola: STP completed || 2 tries, 1603937 fired transitions, 580 secs || 2470260 markings, 65429907 edges, 4203 markings/sec, 580 secs
lola: STP completed || 2 tries, 1617545 fired transitions, 585 secs || 2491660 markings, 65996694 edges, 4280 markings/sec, 585 secs
lola: STP completed || 2 tries, 1631187 fired transitions, 590 secs || 2513000 markings, 66561951 edges, 4268 markings/sec, 590 secs
lola: STP completed || 2 tries, 1643913 fired transitions, 595 secs || 2534210 markings, 67123809 edges, 4242 markings/sec, 595 secs
lola: STP completed || 2 tries, 1657562 fired transitions, 600 secs || 2555393 markings, 67684970 edges, 4237 markings/sec, 600 secs
lola: STP completed || 2 tries, 1670473 fired transitions, 605 secs || 2576646 markings, 68247909 edges, 4251 markings/sec, 605 secs
lola: STP completed || 2 tries, 1683435 fired transitions, 610 secs || 2597866 markings, 68810028 edges, 4244 markings/sec, 610 secs
lola: STP completed || 2 tries, 1697084 fired transitions, 615 secs || 2619250 markings, 69376454 edges, 4277 markings/sec, 615 secs
lola: STP completed || 2 tries, 1710721 fired transitions, 620 secs || 2640639 markings, 69943057 edges, 4278 markings/sec, 620 secs
lola: STP completed || 2 tries, 1724309 fired transitions, 625 secs || 2662024 markings, 70509511 edges, 4277 markings/sec, 625 secs
lola: STP completed || 2 tries, 1737908 fired transitions, 630 secs || 2683127 markings, 71068484 edges, 4221 markings/sec, 630 secs
lola: STP completed || 2 tries, 1751630 fired transitions, 635 secs || 2704137 markings, 71625065 edges, 4202 markings/sec, 635 secs
lola: STP completed || 2 tries, 1765425 fired transitions, 640 secs || 2725127 markings, 72181043 edges, 4198 markings/sec, 640 secs
lola: STP completed || 2 tries, 1779150 fired transitions, 645 secs || 2746216 markings, 72739629 edges, 4218 markings/sec, 645 secs
lola: STP completed || 2 tries, 1792980 fired transitions, 650 secs || 2767316 markings, 73298559 edges, 4220 markings/sec, 650 secs
lola: STP completed || 2 tries, 1806756 fired transitions, 655 secs || 2788366 markings, 73856177 edges, 4210 markings/sec, 655 secs
lola: STP completed || 2 tries, 1820635 fired transitions, 660 secs || 2809292 markings, 74410478 edges, 4185 markings/sec, 660 secs
lola: STP completed || 2 tries, 1834428 fired transitions, 665 secs || 2830264 markings, 74966047 edges, 4194 markings/sec, 665 secs
lola: STP completed || 2 tries, 1848164 fired transitions, 670 secs || 2851257 markings, 75522130 edges, 4199 markings/sec, 670 secs
lola: STP completed || 2 tries, 1861921 fired transitions, 675 secs || 2872349 markings, 76080767 edges, 4218 markings/sec, 675 secs
lola: STP completed || 2 tries, 1875751 fired transitions, 680 secs || 2893447 markings, 76639631 edges, 4220 markings/sec, 680 secs
lola: STP completed || 2 tries, 1889397 fired transitions, 685 secs || 2914535 markings, 77198279 edges, 4218 markings/sec, 685 secs
lola: STP completed || 2 tries, 1903285 fired transitions, 690 secs || 2935499 markings, 77753606 edges, 4193 markings/sec, 690 secs
lola: STP completed || 2 tries, 1917003 fired transitions, 695 secs || 2956482 markings, 78309472 edges, 4197 markings/sec, 695 secs
lola: STP completed || 2 tries, 1930777 fired transitions, 700 secs || 2977400 markings, 78863499 edges, 4184 markings/sec, 700 secs
lola: STP completed || 2 tries, 1944692 fired transitions, 705 secs || 2998392 markings, 79419544 edges, 4198 markings/sec, 705 secs
lola: STP completed || 2 tries, 1958397 fired transitions, 710 secs || 3019445 markings, 79977199 edges, 4211 markings/sec, 710 secs
lola: STP completed || 2 tries, 1972248 fired transitions, 715 secs || 3040545 markings, 80536161 edges, 4220 markings/sec, 715 secs
lola: STP completed || 2 tries, 1986131 fired transitions, 720 secs || 3061560 markings, 81092774 edges, 4203 markings/sec, 720 secs
lola: STP completed || 2 tries, 1999728 fired transitions, 725 secs || 3082415 markings, 81645216 edges, 4171 markings/sec, 725 secs
lola: STP completed || 3 tries, 2013520 fired transitions, 730 secs || 3103344 markings, 82199688 edges, 4186 markings/sec, 730 secs
lola: STP completed || 3 tries, 2027358 fired transitions, 735 secs || 3124263 markings, 82753738 edges, 4184 markings/sec, 735 secs
lola: STP completed || 3 tries, 2041207 fired transitions, 740 secs || 3145298 markings, 83310935 edges, 4207 markings/sec, 740 secs
lola: STP completed || 3 tries, 2055072 fired transitions, 745 secs || 3166358 markings, 83868831 edges, 4212 markings/sec, 745 secs
lola: STP completed || 3 tries, 2069042 fired transitions, 750 secs || 3187384 markings, 84425772 edges, 4205 markings/sec, 750 secs
lola: STP completed || 3 tries, 2082897 fired transitions, 755 secs || 3208318 markings, 84980318 edges, 4187 markings/sec, 755 secs
lola: STP completed || 3 tries, 2096690 fired transitions, 760 secs || 3229342 markings, 85537230 edges, 4205 markings/sec, 760 secs
lola: STP completed || 3 tries, 2110456 fired transitions, 765 secs || 3250376 markings, 86094328 edges, 4207 markings/sec, 765 secs
lola: STP completed || 3 tries, 2124322 fired transitions, 770 secs || 3271501 markings, 86653891 edges, 4225 markings/sec, 770 secs
lola: STP completed || 3 tries, 2138217 fired transitions, 775 secs || 3292626 markings, 87213485 edges, 4225 markings/sec, 775 secs
lola: STP completed || 3 tries, 2151994 fired transitions, 780 secs || 3313712 markings, 87772084 edges, 4217 markings/sec, 780 secs
lola: STP completed || 3 tries, 2165764 fired transitions, 785 secs || 3334706 markings, 88328117 edges, 4199 markings/sec, 785 secs
lola: STP completed || 3 tries, 2179449 fired transitions, 790 secs || 3355721 markings, 88884825 edges, 4203 markings/sec, 790 secs
lola: STP completed || 3 tries, 2193138 fired transitions, 795 secs || 3376671 markings, 89439777 edges, 4190 markings/sec, 795 secs
lola: STP completed || 3 tries, 2206951 fired transitions, 800 secs || 3397692 markings, 89996623 edges, 4204 markings/sec, 800 secs
lola: STP completed || 3 tries, 2220753 fired transitions, 805 secs || 3418764 markings, 90554777 edges, 4214 markings/sec, 805 secs
lola: STP completed || 3 tries, 2234616 fired transitions, 810 secs || 3439865 markings, 91113782 edges, 4220 markings/sec, 810 secs
lola: STP completed || 3 tries, 2248317 fired transitions, 815 secs || 3460859 markings, 91669794 edges, 4199 markings/sec, 815 secs
lola: STP completed || 3 tries, 2262112 fired transitions, 820 secs || 3481838 markings, 92225619 edges, 4196 markings/sec, 820 secs
lola: STP completed || 3 tries, 2276055 fired transitions, 825 secs || 3502747 markings, 92779376 edges, 4182 markings/sec, 825 secs
lola: STP completed || 3 tries, 2289713 fired transitions, 830 secs || 3523762 markings, 93336102 edges, 4203 markings/sec, 830 secs
lola: STP completed || 3 tries, 2303525 fired transitions, 835 secs || 3544832 markings, 93894221 edges, 4214 markings/sec, 835 secs
lola: STP completed || 3 tries, 2317296 fired transitions, 840 secs || 3565831 markings, 94450513 edges, 4200 markings/sec, 840 secs
lola: STP completed || 3 tries, 2331119 fired transitions, 845 secs || 3586752 markings, 95004638 edges, 4184 markings/sec, 845 secs
lola: STP completed || 3 tries, 2344775 fired transitions, 850 secs || 3607637 markings, 95557839 edges, 4177 markings/sec, 850 secs
lola: STP completed || 3 tries, 2358519 fired transitions, 855 secs || 3628583 markings, 96112754 edges, 4189 markings/sec, 855 secs
lola: STP completed || 3 tries, 2372356 fired transitions, 860 secs || 3649546 markings, 96668120 edges, 4193 markings/sec, 860 secs
lola: STP completed || 3 tries, 2386127 fired transitions, 865 secs || 3670630 markings, 97226487 edges, 4217 markings/sec, 865 secs
lola: STP completed || 3 tries, 2399770 fired transitions, 870 secs || 3691640 markings, 97783058 edges, 4202 markings/sec, 870 secs
lola: STP completed || 3 tries, 2413476 fired transitions, 875 secs || 3712621 markings, 98338841 edges, 4196 markings/sec, 875 secs
lola: STP completed || 3 tries, 2427267 fired transitions, 880 secs || 3733516 markings, 98892341 edges, 4179 markings/sec, 880 secs
lola: STP completed || 3 tries, 2441136 fired transitions, 885 secs || 3754505 markings, 99448251 edges, 4198 markings/sec, 885 secs
lola: STP completed || 3 tries, 2454955 fired transitions, 890 secs || 3775460 markings, 100003300 edges, 4191 markings/sec, 890 secs
lola: STP completed || 3 tries, 2468652 fired transitions, 895 secs || 3796520 markings, 100561166 edges, 4212 markings/sec, 895 secs
lola: STP completed || 3 tries, 2482466 fired transitions, 900 secs || 3817603 markings, 101119658 edges, 4217 markings/sec, 900 secs
lola: STP completed || 3 tries, 2496304 fired transitions, 905 secs || 3837643 markings, 101650596 edges, 4008 markings/sec, 905 secs
lola: STP completed || 3 tries, 2510104 fired transitions, 910 secs || 3858643 markings, 102206756 edges, 4200 markings/sec, 910 secs
lola: STP completed || 3 tries, 2523650 fired transitions, 915 secs || 3879241 markings, 102752393 edges, 4120 markings/sec, 915 secs
lola: STP completed || 3 tries, 2537413 fired transitions, 920 secs || 3900152 markings, 103306351 edges, 4182 markings/sec, 920 secs
lola: STP completed || 3 tries, 2551149 fired transitions, 925 secs || 3920311 markings, 103840369 edges, 4032 markings/sec, 925 secs
lola: STP completed || 3 tries, 2564941 fired transitions, 930 secs || 3941312 markings, 104396660 edges, 4200 markings/sec, 930 secs
lola: STP completed || 3 tries, 2578728 fired transitions, 935 secs || 3962307 markings, 104952782 edges, 4199 markings/sec, 935 secs
lola: STP completed || 3 tries, 2592677 fired transitions, 940 secs || 3983187 markings, 105505889 edges, 4176 markings/sec, 940 secs
lola: STP completed || 3 tries, 2606355 fired transitions, 945 secs || 4002735 markings, 106023711 edges, 3910 markings/sec, 945 secs
lola: STP completed || 3 tries, 2620137 fired transitions, 950 secs || 4023430 markings, 106571857 edges, 4139 markings/sec, 950 secs
lola: STP completed || 3 tries, 2633999 fired transitions, 955 secs || 4044249 markings, 107123278 edges, 4164 markings/sec, 955 secs
lola: STP completed || 3 tries, 2647827 fired transitions, 960 secs || 4065167 markings, 107677434 edges, 4184 markings/sec, 960 secs
lola: STP completed || 3 tries, 2661454 fired transitions, 965 secs || 4086289 markings, 108236943 edges, 4224 markings/sec, 965 secs
lola: STP completed || 3 tries, 2675093 fired transitions, 970 secs || 4107327 markings, 108794194 edges, 4208 markings/sec, 970 secs
lola: STP completed || 3 tries, 2689060 fired transitions, 975 secs || 4128100 markings, 109344470 edges, 4155 markings/sec, 975 secs
lola: STP completed || 3 tries, 2702934 fired transitions, 980 secs || 4148933 markings, 109896333 edges, 4167 markings/sec, 980 secs
lola: STP completed || 3 tries, 2716750 fired transitions, 985 secs || 4169768 markings, 110448185 edges, 4167 markings/sec, 985 secs
lola: STP completed || 3 tries, 2730660 fired transitions, 990 secs || 4190712 markings, 111002925 edges, 4189 markings/sec, 990 secs
lola: STP completed || 3 tries, 2744287 fired transitions, 995 secs || 4211675 markings, 111558278 edges, 4193 markings/sec, 995 secs
lola: STP completed || 3 tries, 2757320 fired transitions, 1000 secs || 4232840 markings, 112118912 edges, 4233 markings/sec, 1000 secs
lola: STP completed || 3 tries, 2771114 fired transitions, 1005 secs || 4253821 markings, 112674682 edges, 4196 markings/sec, 1005 secs
lola: STP completed || 3 tries, 2784916 fired transitions, 1010 secs || 4274673 markings, 113227080 edges, 4170 markings/sec, 1010 secs
lola: STP completed || 3 tries, 2798853 fired transitions, 1015 secs || 4295468 markings, 113777839 edges, 4159 markings/sec, 1015 secs
lola: STP completed || 3 tries, 2812776 fired transitions, 1020 secs || 4316353 markings, 114331040 edges, 4177 markings/sec, 1020 secs
lola: STP completed || 3 tries, 2826574 fired transitions, 1025 secs || 4337289 markings, 114885702 edges, 4187 markings/sec, 1025 secs
lola: STP completed || 3 tries, 2840462 fired transitions, 1030 secs || 4358258 markings, 115441152 edges, 4194 markings/sec, 1030 secs
lola: STP completed || 3 tries, 2854234 fired transitions, 1035 secs || 4379109 markings, 115993420 edges, 4170 markings/sec, 1035 secs
lola: STP completed || 3 tries, 2868089 fired transitions, 1040 secs || 4399991 markings, 116546590 edges, 4176 markings/sec, 1040 secs
lola: STP completed || 3 tries, 2881904 fired transitions, 1045 secs || 4420892 markings, 117100260 edges, 4180 markings/sec, 1045 secs
lola: STP completed || 3 tries, 2895737 fired transitions, 1050 secs || 4441876 markings, 117656128 edges, 4197 markings/sec, 1050 secs
lola: STP completed || 3 tries, 2909591 fired transitions, 1055 secs || 4462886 markings, 118212634 edges, 4202 markings/sec, 1055 secs
lola: STP completed || 3 tries, 2923463 fired transitions, 1060 secs || 4483882 markings, 118768839 edges, 4199 markings/sec, 1060 secs
lola: STP completed || 3 tries, 2937330 fired transitions, 1065 secs || 4504791 markings, 119322665 edges, 4182 markings/sec, 1065 secs
lola: STP completed || 3 tries, 2951252 fired transitions, 1070 secs || 4525647 markings, 119875099 edges, 4171 markings/sec, 1070 secs
lola: STP completed || 3 tries, 2965158 fired transitions, 1075 secs || 4546487 markings, 120427119 edges, 4168 markings/sec, 1075 secs
lola: STP completed || 3 tries, 2979115 fired transitions, 1080 secs || 4567299 markings, 120978398 edges, 4162 markings/sec, 1080 secs
lola: STP completed || 3 tries, 2993025 fired transitions, 1085 secs || 4588221 markings, 121532554 edges, 4184 markings/sec, 1085 secs
lola: STP completed || 4 tries, 3006942 fired transitions, 1090 secs || 4609154 markings, 122087068 edges, 4187 markings/sec, 1090 secs
lola: STP completed || 4 tries, 3020884 fired transitions, 1095 secs || 4630084 markings, 122641476 edges, 4186 markings/sec, 1095 secs
lola: STP completed || 4 tries, 3034829 fired transitions, 1100 secs || 4650924 markings, 123193478 edges, 4168 markings/sec, 1100 secs
lola: STP completed || 4 tries, 3048830 fired transitions, 1105 secs || 4671732 markings, 123744793 edges, 4162 markings/sec, 1105 secs
lola: STP completed || 4 tries, 3062685 fired transitions, 1110 secs || 4692512 markings, 124295128 edges, 4156 markings/sec, 1110 secs
lola: STP completed || 4 tries, 3076563 fired transitions, 1115 secs || 4713385 markings, 124848050 edges, 4175 markings/sec, 1115 secs
lola: STP completed || 4 tries, 3090511 fired transitions, 1120 secs || 4734278 markings, 125401524 edges, 4179 markings/sec, 1120 secs
lola: STP completed || 4 tries, 3104394 fired transitions, 1125 secs || 4755142 markings, 125954161 edges, 4173 markings/sec, 1125 secs
lola: STP completed || 4 tries, 3118351 fired transitions, 1130 secs || 4775907 markings, 126504270 edges, 4153 markings/sec, 1130 secs
lola: STP completed || 4 tries, 3132282 fired transitions, 1135 secs || 4796715 markings, 127055384 edges, 4162 markings/sec, 1135 secs
lola: STP completed || 4 tries, 3146181 fired transitions, 1140 secs || 4817521 markings, 127606558 edges, 4161 markings/sec, 1140 secs
lola: STP completed || 4 tries, 3160109 fired transitions, 1145 secs || 4838426 markings, 128160390 edges, 4181 markings/sec, 1145 secs
lola: STP completed || 4 tries, 3173951 fired transitions, 1150 secs || 4859380 markings, 128715293 edges, 4191 markings/sec, 1150 secs
lola: STP completed || 4 tries, 3187877 fired transitions, 1155 secs || 4880301 markings, 129269557 edges, 4184 markings/sec, 1155 secs
lola: STP completed || 4 tries, 3201722 fired transitions, 1160 secs || 4901115 markings, 129820834 edges, 4163 markings/sec, 1160 secs
lola: STP completed || 4 tries, 3215546 fired transitions, 1165 secs || 4921930 markings, 130372228 edges, 4163 markings/sec, 1165 secs
lola: STP completed || 4 tries, 3229498 fired transitions, 1170 secs || 4942795 markings, 130924861 edges, 4173 markings/sec, 1170 secs
lola: STP completed || 4 tries, 3243525 fired transitions, 1175 secs || 4963585 markings, 131475565 edges, 4158 markings/sec, 1175 secs
lola: STP completed || 4 tries, 3257407 fired transitions, 1180 secs || 4984546 markings, 132030853 edges, 4192 markings/sec, 1180 secs
lola: STP completed || 4 tries, 3271387 fired transitions, 1185 secs || 5005544 markings, 132587107 edges, 4200 markings/sec, 1185 secs
lola: STP completed || 4 tries, 3285272 fired transitions, 1190 secs || 5026494 markings, 133142040 edges, 4190 markings/sec, 1190 secs
lola: STP completed || 4 tries, 3299135 fired transitions, 1195 secs || 5047348 markings, 133694424 edges, 4171 markings/sec, 1195 secs
lola: STP completed || 4 tries, 3312972 fired transitions, 1200 secs || 5068109 markings, 134244371 edges, 4152 markings/sec, 1200 secs
lola: STP completed || 4 tries, 3326894 fired transitions, 1205 secs || 5088917 markings, 134795588 edges, 4162 markings/sec, 1205 secs
lola: STP completed || 4 tries, 3340730 fired transitions, 1210 secs || 5109857 markings, 135350267 edges, 4188 markings/sec, 1210 secs
lola: STP completed || 4 tries, 3354676 fired transitions, 1215 secs || 5130766 markings, 135904043 edges, 4182 markings/sec, 1215 secs
lola: STP completed || 4 tries, 3368572 fired transitions, 1220 secs || 5151611 markings, 136456275 edges, 4169 markings/sec, 1220 secs
lola: STP completed || 4 tries, 3382472 fired transitions, 1225 secs || 5172357 markings, 137005772 edges, 4149 markings/sec, 1225 secs
lola: STP completed || 4 tries, 3396329 fired transitions, 1230 secs || 5193169 markings, 137557088 edges, 4162 markings/sec, 1230 secs
lola: STP completed || 4 tries, 3410330 fired transitions, 1235 secs || 5213995 markings, 138108753 edges, 4165 markings/sec, 1235 secs
lola: STP completed || 4 tries, 3424140 fired transitions, 1240 secs || 5234934 markings, 138663350 edges, 4188 markings/sec, 1240 secs
lola: STP completed || 4 tries, 3438126 fired transitions, 1245 secs || 5255904 markings, 139218836 edges, 4194 markings/sec, 1245 secs
lola: STP completed || 4 tries, 3452063 fired transitions, 1250 secs || 5276850 markings, 139773750 edges, 4189 markings/sec, 1250 secs
lola: STP completed || 4 tries, 3466012 fired transitions, 1255 secs || 5297680 markings, 140325464 edges, 4166 markings/sec, 1255 secs
lola: STP completed || 4 tries, 3479759 fired transitions, 1260 secs || 5318527 markings, 140877727 edges, 4169 markings/sec, 1260 secs
lola: STP completed || 4 tries, 3493678 fired transitions, 1265 secs || 5339314 markings, 141428310 edges, 4157 markings/sec, 1265 secs
lola: STP completed || 4 tries, 3507513 fired transitions, 1270 secs || 5360164 markings, 141980645 edges, 4170 markings/sec, 1270 secs
lola: STP completed || 4 tries, 3521544 fired transitions, 1275 secs || 5381065 markings, 142534300 edges, 4180 markings/sec, 1275 secs
lola: STP completed || 4 tries, 3535456 fired transitions, 1280 secs || 5402018 markings, 143089367 edges, 4191 markings/sec, 1280 secs
lola: STP completed || 4 tries, 3549343 fired transitions, 1285 secs || 5422892 markings, 143642225 edges, 4175 markings/sec, 1285 secs
lola: STP completed || 4 tries, 3563166 fired transitions, 1290 secs || 5443705 markings, 144193565 edges, 4163 markings/sec, 1290 secs
lola: STP completed || 4 tries, 3577083 fired transitions, 1295 secs || 5464505 markings, 144744488 edges, 4160 markings/sec, 1295 secs
lola: STP completed || 4 tries, 3591030 fired transitions, 1300 secs || 5485260 markings, 145294330 edges, 4151 markings/sec, 1300 secs
lola: STP completed || 4 tries, 3604975 fired transitions, 1305 secs || 5506135 markings, 145847219 edges, 4175 markings/sec, 1305 secs
lola: STP completed || 4 tries, 3618925 fired transitions, 1310 secs || 5527001 markings, 146400040 edges, 4173 markings/sec, 1310 secs
lola: STP completed || 4 tries, 3632807 fired transitions, 1315 secs || 5547875 markings, 146952875 edges, 4175 markings/sec, 1315 secs
lola: STP completed || 4 tries, 3646698 fired transitions, 1320 secs || 5568655 markings, 147503342 edges, 4156 markings/sec, 1320 secs
lola: STP completed || 4 tries, 3660522 fired transitions, 1325 secs || 5589501 markings, 148055549 edges, 4169 markings/sec, 1325 secs
lola: STP completed || 4 tries, 3674389 fired transitions, 1330 secs || 5610364 markings, 148608228 edges, 4173 markings/sec, 1330 secs
lola: STP completed || 4 tries, 3688447 fired transitions, 1335 secs || 5631309 markings, 149163062 edges, 4189 markings/sec, 1335 secs
lola: STP completed || 4 tries, 3702436 fired transitions, 1340 secs || 5652269 markings, 149718222 edges, 4192 markings/sec, 1340 secs
lola: STP completed || 4 tries, 3716369 fired transitions, 1345 secs || 5673199 markings, 150272646 edges, 4186 markings/sec, 1345 secs
lola: STP completed || 4 tries, 3730353 fired transitions, 1350 secs || 5694041 markings, 150824696 edges, 4168 markings/sec, 1350 secs
lola: STP completed || 4 tries, 3744189 fired transitions, 1355 secs || 5714893 markings, 151377116 edges, 4170 markings/sec, 1355 secs
lola: STP completed || 4 tries, 3757934 fired transitions, 1360 secs || 5735663 markings, 151927260 edges, 4154 markings/sec, 1360 secs
lola: STP completed || 4 tries, 3771878 fired transitions, 1365 secs || 5756519 markings, 152479723 edges, 4171 markings/sec, 1365 secs
lola: STP completed || 4 tries, 3785845 fired transitions, 1370 secs || 5777406 markings, 153032955 edges, 4177 markings/sec, 1370 secs
lola: STP completed || 4 tries, 3799837 fired transitions, 1375 secs || 5798352 markings, 153587853 edges, 4189 markings/sec, 1375 secs
lola: STP completed || 4 tries, 3813764 fired transitions, 1380 secs || 5819182 markings, 154139563 edges, 4166 markings/sec, 1380 secs
lola: STP completed || 4 tries, 3827597 fired transitions, 1385 secs || 5839984 markings, 154690612 edges, 4160 markings/sec, 1385 secs
lola: STP completed || 4 tries, 3841536 fired transitions, 1390 secs || 5859705 markings, 155213013 edges, 3944 markings/sec, 1390 secs
lola: STP completed || 4 tries, 3855440 fired transitions, 1395 secs || 5880395 markings, 155761080 edges, 4138 markings/sec, 1395 secs
lola: STP completed || 4 tries, 3869229 fired transitions, 1400 secs || 5901425 markings, 156318116 edges, 4206 markings/sec, 1400 secs
lola: STP completed || 4 tries, 3883116 fired transitions, 1405 secs || 5922458 markings, 156875325 edges, 4207 markings/sec, 1405 secs
lola: STP completed || 4 tries, 3897042 fired transitions, 1410 secs || 5943447 markings, 157431237 edges, 4198 markings/sec, 1410 secs
lola: STP completed || 4 tries, 3910789 fired transitions, 1415 secs || 5964342 markings, 157984758 edges, 4179 markings/sec, 1415 secs
lola: STP completed || 4 tries, 3924444 fired transitions, 1420 secs || 5985315 markings, 158540284 edges, 4195 markings/sec, 1420 secs
lola: STP completed || 4 tries, 3937788 fired transitions, 1425 secs || 6006295 markings, 159095993 edges, 4196 markings/sec, 1425 secs
lola: STP completed || 4 tries, 3951577 fired transitions, 1430 secs || 6027385 markings, 159654657 edges, 4218 markings/sec, 1430 secs
lola: STP completed || 4 tries, 3965436 fired transitions, 1435 secs || 6048461 markings, 160212993 edges, 4215 markings/sec, 1435 secs
lola: STP completed || 4 tries, 3979353 fired transitions, 1440 secs || 6069486 markings, 160769922 edges, 4205 markings/sec, 1440 secs
lola: STP completed || 4 tries, 3993179 fired transitions, 1445 secs || 6090436 markings, 161324837 edges, 4190 markings/sec, 1445 secs
lola: STP completed || 5 tries, 4007058 fired transitions, 1450 secs || 6111436 markings, 161881120 edges, 4200 markings/sec, 1450 secs
lola: STP completed || 5 tries, 4020328 fired transitions, 1455 secs || 6132447 markings, 162437653 edges, 4202 markings/sec, 1455 secs
lola: STP completed || 5 tries, 4033533 fired transitions, 1460 secs || 6153540 markings, 162996354 edges, 4219 markings/sec, 1460 secs
lola: STP completed || 5 tries, 4046698 fired transitions, 1465 secs || 6174663 markings, 163555926 edges, 4225 markings/sec, 1465 secs
lola: STP completed || 5 tries, 4060520 fired transitions, 1470 secs || 6195814 markings, 164116227 edges, 4230 markings/sec, 1470 secs
lola: STP completed || 5 tries, 4074368 fired transitions, 1475 secs || 6216868 markings, 164673852 edges, 4211 markings/sec, 1475 secs
lola: STP completed || 5 tries, 4088325 fired transitions, 1480 secs || 6237871 markings, 165230258 edges, 4201 markings/sec, 1480 secs
lola: STP completed || 5 tries, 4102353 fired transitions, 1485 secs || 6258786 markings, 165784283 edges, 4183 markings/sec, 1485 secs
lola: STP completed || 5 tries, 4116218 fired transitions, 1490 secs || 6279772 markings, 166340197 edges, 4197 markings/sec, 1490 secs
lola: STP completed || 5 tries, 4130025 fired transitions, 1495 secs || 6300822 markings, 166897774 edges, 4210 markings/sec, 1495 secs
lola: STP completed || 5 tries, 4143941 fired transitions, 1500 secs || 6321851 markings, 167454778 edges, 4206 markings/sec, 1500 secs
lola: STP completed || 5 tries, 4157879 fired transitions, 1505 secs || 6342517 markings, 168002195 edges, 4133 markings/sec, 1505 secs
lola: STP completed || 5 tries, 4171710 fired transitions, 1510 secs || 6362592 markings, 168533997 edges, 4015 markings/sec, 1510 secs
lola: STP completed || 5 tries, 4185513 fired transitions, 1515 secs || 6383419 markings, 169085631 edges, 4165 markings/sec, 1515 secs
lola: STP completed || 5 tries, 4199366 fired transitions, 1520 secs || 6404259 markings, 169637726 edges, 4168 markings/sec, 1520 secs
lola: STP completed || 5 tries, 4213259 fired transitions, 1525 secs || 6424174 markings, 170165282 edges, 3983 markings/sec, 1525 secs
lola: STP completed || 5 tries, 4227077 fired transitions, 1530 secs || 6445075 markings, 170718920 edges, 4180 markings/sec, 1530 secs
lola: STP completed || 5 tries, 4240886 fired transitions, 1535 secs || 6465954 markings, 171271945 edges, 4176 markings/sec, 1535 secs
lola: STP completed || 5 tries, 4254873 fired transitions, 1540 secs || 6485680 markings, 171794459 edges, 3945 markings/sec, 1540 secs
lola: STP completed || 5 tries, 4268705 fired transitions, 1545 secs || 6506468 markings, 172345194 edges, 4158 markings/sec, 1545 secs
lola: STP completed || 5 tries, 4282649 fired transitions, 1550 secs || 6527217 markings, 172894690 edges, 4150 markings/sec, 1550 secs
lola: STP completed || 5 tries, 4296605 fired transitions, 1555 secs || 6548057 markings, 173446746 edges, 4168 markings/sec, 1555 secs
lola: STP completed || 5 tries, 4310421 fired transitions, 1560 secs || 6568921 markings, 173999497 edges, 4173 markings/sec, 1560 secs
lola: STP completed || 5 tries, 4324379 fired transitions, 1565 secs || 6589781 markings, 174552068 edges, 4172 markings/sec, 1565 secs
lola: STP completed || 5 tries, 4338169 fired transitions, 1570 secs || 6610551 markings, 175102202 edges, 4154 markings/sec, 1570 secs
lola: STP completed || 5 tries, 4351991 fired transitions, 1575 secs || 6631318 markings, 175652275 edges, 4153 markings/sec, 1575 secs
lola: STP completed || 5 tries, 4365804 fired transitions, 1580 secs || 6652003 markings, 176200184 edges, 4137 markings/sec, 1580 secs
lola: STP completed || 5 tries, 4379694 fired transitions, 1585 secs || 6672763 markings, 176750167 edges, 4152 markings/sec, 1585 secs
lola: STP completed || 5 tries, 4393586 fired transitions, 1590 secs || 6693604 markings, 177302200 edges, 4168 markings/sec, 1590 secs
lola: STP completed || 5 tries, 4407473 fired transitions, 1595 secs || 6714503 markings, 177855805 edges, 4180 markings/sec, 1595 secs
lola: STP completed || 5 tries, 4421334 fired transitions, 1600 secs || 6735308 markings, 178406819 edges, 4161 markings/sec, 1600 secs
lola: STP completed || 5 tries, 4435058 fired transitions, 1605 secs || 6756069 markings, 178956805 edges, 4152 markings/sec, 1605 secs
lola: STP completed || 5 tries, 4448900 fired transitions, 1610 secs || 6776916 markings, 179509029 edges, 4169 markings/sec, 1610 secs
lola: STP completed || 5 tries, 4462766 fired transitions, 1615 secs || 6797756 markings, 180061039 edges, 4168 markings/sec, 1615 secs
lola: STP completed || 5 tries, 4476647 fired transitions, 1620 secs || 6818696 markings, 180615693 edges, 4188 markings/sec, 1620 secs
lola: STP completed || 5 tries, 4490530 fired transitions, 1625 secs || 6839602 markings, 181169561 edges, 4181 markings/sec, 1625 secs
lola: STP completed || 5 tries, 4504471 fired transitions, 1630 secs || 6860487 markings, 181722771 edges, 4177 markings/sec, 1630 secs
lola: STP completed || 5 tries, 4518337 fired transitions, 1635 secs || 6881281 markings, 182273570 edges, 4159 markings/sec, 1635 secs
lola: STP completed || 5 tries, 4532189 fired transitions, 1640 secs || 6902082 markings, 182824602 edges, 4160 markings/sec, 1640 secs
lola: STP completed || 5 tries, 4546112 fired transitions, 1645 secs || 6922832 markings, 183374198 edges, 4150 markings/sec, 1645 secs
lola: STP completed || 5 tries, 4560002 fired transitions, 1650 secs || 6943656 markings, 183925779 edges, 4165 markings/sec, 1650 secs
lola: STP completed || 5 tries, 4573877 fired transitions, 1655 secs || 6964524 markings, 184478532 edges, 4174 markings/sec, 1655 secs
lola: STP completed || 5 tries, 4587709 fired transitions, 1660 secs || 6985375 markings, 185030919 edges, 4170 markings/sec, 1660 secs
lola: STP completed || 5 tries, 4601643 fired transitions, 1665 secs || 7006149 markings, 185581154 edges, 4155 markings/sec, 1665 secs
lola: STP completed || 5 tries, 4615531 fired transitions, 1670 secs || 7026938 markings, 186131933 edges, 4158 markings/sec, 1670 secs
lola: STP completed || 5 tries, 4629363 fired transitions, 1675 secs || 7047655 markings, 186680604 edges, 4143 markings/sec, 1675 secs
lola: STP completed || 5 tries, 4643307 fired transitions, 1680 secs || 7068442 markings, 187231231 edges, 4157 markings/sec, 1680 secs
lola: STP completed || 5 tries, 4657198 fired transitions, 1685 secs || 7089276 markings, 187783265 edges, 4167 markings/sec, 1685 secs
lola: STP completed || 5 tries, 4671119 fired transitions, 1690 secs || 7110206 markings, 188337635 edges, 4186 markings/sec, 1690 secs
lola: STP completed || 5 tries, 4684981 fired transitions, 1695 secs || 7130985 markings, 188887970 edges, 4156 markings/sec, 1695 secs
lola: STP completed || 5 tries, 4698873 fired transitions, 1700 secs || 7151753 markings, 189438235 edges, 4154 markings/sec, 1700 secs
lola: STP completed || 5 tries, 4712674 fired transitions, 1705 secs || 7172608 markings, 189990590 edges, 4171 markings/sec, 1705 secs
lola: STP completed || 5 tries, 4726492 fired transitions, 1710 secs || 7193488 markings, 190543643 edges, 4176 markings/sec, 1710 secs
lola: STP completed || 5 tries, 4740429 fired transitions, 1715 secs || 7214478 markings, 191099615 edges, 4198 markings/sec, 1715 secs
lola: STP completed || 5 tries, 4754268 fired transitions, 1720 secs || 7235303 markings, 191651305 edges, 4165 markings/sec, 1720 secs
lola: STP completed || 5 tries, 4768158 fired transitions, 1725 secs || 7256189 markings, 192204551 edges, 4177 markings/sec, 1725 secs
lola: STP completed || 5 tries, 4782021 fired transitions, 1730 secs || 7277004 markings, 192755928 edges, 4163 markings/sec, 1730 secs
lola: STP completed || 5 tries, 4795816 fired transitions, 1735 secs || 7297914 markings, 193309835 edges, 4182 markings/sec, 1735 secs
lola: STP completed || 5 tries, 4809568 fired transitions, 1740 secs || 7318794 markings, 193862896 edges, 4176 markings/sec, 1740 secs
lola: STP completed || 5 tries, 4823438 fired transitions, 1745 secs || 7339768 markings, 194418434 edges, 4195 markings/sec, 1745 secs
lola: STP completed || 5 tries, 4837346 fired transitions, 1750 secs || 7360766 markings, 194974769 edges, 4200 markings/sec, 1750 secs
lola: STP completed || 5 tries, 4851199 fired transitions, 1755 secs || 7381732 markings, 195530085 edges, 4193 markings/sec, 1755 secs
lola: STP completed || 5 tries, 4865010 fired transitions, 1760 secs || 7402646 markings, 196084012 edges, 4183 markings/sec, 1760 secs
lola: STP completed || 5 tries, 4878885 fired transitions, 1765 secs || 7422280 markings, 196604211 edges, 3927 markings/sec, 1765 secs
lola: STP completed || 5 tries, 4892832 fired transitions, 1770 secs || 7442909 markings, 197150536 edges, 4126 markings/sec, 1770 secs
lola: STP completed || 5 tries, 4906716 fired transitions, 1775 secs || 7463760 markings, 197702904 edges, 4170 markings/sec, 1775 secs
lola: STP completed || 5 tries, 4920566 fired transitions, 1780 secs || 7484714 markings, 198257907 edges, 4191 markings/sec, 1780 secs
lola: STP completed || 5 tries, 4934424 fired transitions, 1785 secs || 7504084 markings, 198771015 edges, 3874 markings/sec, 1785 secs
lola: STP completed || 5 tries, 4948356 fired transitions, 1790 secs || 7525055 markings, 199326558 edges, 4194 markings/sec, 1790 secs
lola: STP completed || 5 tries, 4962229 fired transitions, 1795 secs || 7546008 markings, 199881629 edges, 4191 markings/sec, 1795 secs
lola: STP completed || 5 tries, 4975990 fired transitions, 1800 secs || 7567027 markings, 200438342 edges, 4204 markings/sec, 1800 secs
lola: STP completed || 5 tries, 4989796 fired transitions, 1805 secs || 7588087 markings, 200996160 edges, 4212 markings/sec, 1805 secs
lola: STP completed || 6 tries, 5003642 fired transitions, 1810 secs || 7609228 markings, 201556224 edges, 4228 markings/sec, 1810 secs
lola: STP completed || 6 tries, 5017424 fired transitions, 1815 secs || 7630338 markings, 202115389 edges, 4222 markings/sec, 1815 secs
lola: STP completed || 6 tries, 5031135 fired transitions, 1820 secs || 7651388 markings, 202672968 edges, 4210 markings/sec, 1820 secs
lola: STP completed || 6 tries, 5044958 fired transitions, 1825 secs || 7672367 markings, 203228663 edges, 4196 markings/sec, 1825 secs
lola: STP completed || 6 tries, 5058852 fired transitions, 1830 secs || 7693431 markings, 203786675 edges, 4213 markings/sec, 1830 secs
lola: STP completed || 6 tries, 5072009 fired transitions, 1835 secs || 7714476 markings, 204344157 edges, 4209 markings/sec, 1835 secs
lola: STP completed || 6 tries, 5085807 fired transitions, 1840 secs || 7735631 markings, 204904518 edges, 4231 markings/sec, 1840 secs
lola: STP completed || 6 tries, 5099540 fired transitions, 1845 secs || 7756793 markings, 205465014 edges, 4232 markings/sec, 1845 secs
lola: STP completed || 6 tries, 5113420 fired transitions, 1850 secs || 7777938 markings, 206025175 edges, 4229 markings/sec, 1850 secs
lola: STP completed || 6 tries, 5127142 fired transitions, 1855 secs || 7798989 markings, 206582787 edges, 4210 markings/sec, 1855 secs
lola: STP completed || 6 tries, 5140984 fired transitions, 1860 secs || 7819971 markings, 207138524 edges, 4196 markings/sec, 1860 secs
lola: STP completed || 6 tries, 5154720 fired transitions, 1865 secs || 7840931 markings, 207693728 edges, 4192 markings/sec, 1865 secs
lola: STP completed || 6 tries, 5168483 fired transitions, 1870 secs || 7861992 markings, 208251706 edges, 4212 markings/sec, 1870 secs
lola: STP completed || 6 tries, 5182336 fired transitions, 1875 secs || 7883102 markings, 208810865 edges, 4222 markings/sec, 1875 secs
lola: STP completed || 6 tries, 5196294 fired transitions, 1880 secs || 7904211 markings, 209369945 edges, 4222 markings/sec, 1880 secs
lola: STP completed || 6 tries, 5210104 fired transitions, 1885 secs || 7925196 markings, 209925943 edges, 4197 markings/sec, 1885 secs
lola: STP completed || 6 tries, 5223905 fired transitions, 1890 secs || 7946260 markings, 210483892 edges, 4213 markings/sec, 1890 secs
lola: STP completed || 6 tries, 5237569 fired transitions, 1895 secs || 7967624 markings, 211049731 edges, 4273 markings/sec, 1895 secs
lola: STP completed || 6 tries, 5251299 fired transitions, 1900 secs || 7989067 markings, 211617787 edges, 4289 markings/sec, 1900 secs
lola: STP completed || 6 tries, 5265022 fired transitions, 1905 secs || 8010520 markings, 212186065 edges, 4291 markings/sec, 1905 secs
lola: STP completed || 6 tries, 5278719 fired transitions, 1910 secs || 8031964 markings, 212754089 edges, 4289 markings/sec, 1910 secs
lola: STP completed || 6 tries, 5292460 fired transitions, 1915 secs || 8053295 markings, 213319097 edges, 4266 markings/sec, 1915 secs
lola: STP completed || 6 tries, 5306164 fired transitions, 1920 secs || 8074639 markings, 213884507 edges, 4269 markings/sec, 1920 secs
lola: STP completed || 6 tries, 5319978 fired transitions, 1925 secs || 8095900 markings, 214447652 edges, 4252 markings/sec, 1925 secs
lola: STP completed || 6 tries, 5333759 fired transitions, 1930 secs || 8117240 markings, 215013015 edges, 4268 markings/sec, 1930 secs
lola: STP completed || 6 tries, 5347593 fired transitions, 1935 secs || 8138622 markings, 215579298 edges, 4276 markings/sec, 1935 secs
lola: STP completed || 6 tries, 5361231 fired transitions, 1940 secs || 8160077 markings, 216147635 edges, 4291 markings/sec, 1940 secs
lola: STP completed || 6 tries, 5374932 fired transitions, 1945 secs || 8181413 markings, 216712851 edges, 4267 markings/sec, 1945 secs
lola: STP completed || 6 tries, 5388644 fired transitions, 1950 secs || 8202721 markings, 217277290 edges, 4262 markings/sec, 1950 secs
lola: STP completed || 6 tries, 5402368 fired transitions, 1955 secs || 8223966 markings, 217840033 edges, 4249 markings/sec, 1955 secs
lola: STP completed || 6 tries, 5416071 fired transitions, 1960 secs || 8245245 markings, 218403695 edges, 4256 markings/sec, 1960 secs
lola: STP completed || 6 tries, 5429755 fired transitions, 1965 secs || 8266636 markings, 218970321 edges, 4278 markings/sec, 1965 secs
lola: STP completed || 6 tries, 5443432 fired transitions, 1970 secs || 8287990 markings, 219535918 edges, 4271 markings/sec, 1970 secs
lola: STP completed || 6 tries, 5457041 fired transitions, 1975 secs || 8309236 markings, 220098751 edges, 4249 markings/sec, 1975 secs
lola: STP completed || 6 tries, 5470724 fired transitions, 1980 secs || 8330435 markings, 220660210 edges, 4240 markings/sec, 1980 secs
lola: STP completed || 6 tries, 5484254 fired transitions, 1985 secs || 8351711 markings, 221223842 edges, 4255 markings/sec, 1985 secs
lola: STP completed || 6 tries, 5497869 fired transitions, 1990 secs || 8372993 markings, 221787581 edges, 4256 markings/sec, 1990 secs
lola: STP completed || 6 tries, 5511532 fired transitions, 1995 secs || 8394406 markings, 222354771 edges, 4283 markings/sec, 1995 secs
lola: STP completed || 6 tries, 5525133 fired transitions, 2000 secs || 8415753 markings, 222920235 edges, 4269 markings/sec, 2000 secs
lola: STP completed || 6 tries, 5538875 fired transitions, 2005 secs || 8437063 markings, 223484664 edges, 4262 markings/sec, 2005 secs
lola: STP completed || 6 tries, 5552521 fired transitions, 2010 secs || 8458294 markings, 224047146 edges, 4246 markings/sec, 2010 secs
lola: STP completed || 6 tries, 5566152 fired transitions, 2015 secs || 8479618 markings, 224611940 edges, 4265 markings/sec, 2015 secs
lola: STP completed || 6 tries, 5579790 fired transitions, 2020 secs || 8500918 markings, 225176159 edges, 4260 markings/sec, 2020 secs
lola: STP completed || 6 tries, 5593350 fired transitions, 2025 secs || 8522338 markings, 225743559 edges, 4284 markings/sec, 2025 secs
lola: STP completed || 6 tries, 5607019 fired transitions, 2030 secs || 8543741 markings, 226310446 edges, 4281 markings/sec, 2030 secs
lola: STP completed || 6 tries, 5620660 fired transitions, 2035 secs || 8565166 markings, 226878057 edges, 4285 markings/sec, 2035 secs
lola: STP completed || 6 tries, 5634161 fired transitions, 2040 secs || 8586476 markings, 227442553 edges, 4262 markings/sec, 2040 secs
lola: STP completed || 6 tries, 5647848 fired transitions, 2045 secs || 8607775 markings, 228006727 edges, 4260 markings/sec, 2045 secs
lola: STP completed || 6 tries, 5661402 fired transitions, 2050 secs || 8629039 markings, 228569953 edges, 4253 markings/sec, 2050 secs
lola: STP completed || 6 tries, 5675058 fired transitions, 2055 secs || 8650395 markings, 229135739 edges, 4271 markings/sec, 2055 secs
lola: STP completed || 6 tries, 5688611 fired transitions, 2060 secs || 8671784 markings, 229702232 edges, 4278 markings/sec, 2060 secs
lola: STP completed || 6 tries, 5702247 fired transitions, 2065 secs || 8693095 markings, 230266782 edges, 4262 markings/sec, 2065 secs
lola: STP completed || 6 tries, 5715842 fired transitions, 2070 secs || 8714315 markings, 230828859 edges, 4244 markings/sec, 2070 secs
lola: STP completed || 6 tries, 5729451 fired transitions, 2075 secs || 8735582 markings, 231392219 edges, 4253 markings/sec, 2075 secs
lola: STP completed || 6 tries, 5743246 fired transitions, 2080 secs || 8756847 markings, 231955434 edges, 4253 markings/sec, 2080 secs
lola: STP completed || 6 tries, 5756853 fired transitions, 2085 secs || 8778222 markings, 232521695 edges, 4275 markings/sec, 2085 secs
lola: STP completed || 6 tries, 5770420 fired transitions, 2090 secs || 8799608 markings, 233088286 edges, 4277 markings/sec, 2090 secs
lola: STP completed || 6 tries, 5784037 fired transitions, 2095 secs || 8820977 markings, 233654246 edges, 4274 markings/sec, 2095 secs
lola: STP completed || 6 tries, 5797812 fired transitions, 2100 secs || 8842237 markings, 234217338 edges, 4252 markings/sec, 2100 secs
lola: STP completed || 6 tries, 5811554 fired transitions, 2105 secs || 8863500 markings, 234780682 edges, 4253 markings/sec, 2105 secs
lola: STP completed || 6 tries, 5825282 fired transitions, 2110 secs || 8884675 markings, 235341509 edges, 4235 markings/sec, 2110 secs
lola: STP completed || 6 tries, 5839034 fired transitions, 2115 secs || 8905931 markings, 235904679 edges, 4251 markings/sec, 2115 secs
lola: STP completed || 6 tries, 5852850 fired transitions, 2120 secs || 8927223 markings, 236468637 edges, 4258 markings/sec, 2120 secs
lola: STP completed || 6 tries, 5866529 fired transitions, 2125 secs || 8948573 markings, 237034153 edges, 4270 markings/sec, 2125 secs
lola: STP completed || 6 tries, 5880293 fired transitions, 2130 secs || 8969803 markings, 237596515 edges, 4246 markings/sec, 2130 secs
lola: STP completed || 6 tries, 5893934 fired transitions, 2135 secs || 8991021 markings, 238158575 edges, 4244 markings/sec, 2135 secs
lola: STP completed || 6 tries, 5907605 fired transitions, 2140 secs || 9012157 markings, 238718476 edges, 4227 markings/sec, 2140 secs
lola: STP completed || 6 tries, 5921400 fired transitions, 2145 secs || 9033331 markings, 239279298 edges, 4235 markings/sec, 2145 secs
lola: STP completed || 6 tries, 5934967 fired transitions, 2150 secs || 9054601 markings, 239842777 edges, 4254 markings/sec, 2150 secs
lola: STP completed || 6 tries, 5948829 fired transitions, 2155 secs || 9075941 markings, 240407994 edges, 4268 markings/sec, 2155 secs
lola: STP completed || 6 tries, 5962461 fired transitions, 2160 secs || 9097146 markings, 240969715 edges, 4241 markings/sec, 2160 secs
lola: STP completed || 6 tries, 5976211 fired transitions, 2165 secs || 9118296 markings, 241529952 edges, 4230 markings/sec, 2165 secs
lola: STP completed || 6 tries, 5989943 fired transitions, 2170 secs || 9139565 markings, 242093420 edges, 4254 markings/sec, 2170 secs
lola: STP completed || 7 tries, 6003695 fired transitions, 2175 secs || 9160840 markings, 242656952 edges, 4255 markings/sec, 2175 secs
lola: STP completed || 7 tries, 6017472 fired transitions, 2180 secs || 9182225 markings, 243223388 edges, 4277 markings/sec, 2180 secs
lola: STP completed || 7 tries, 6031252 fired transitions, 2185 secs || 9203560 markings, 243788577 edges, 4267 markings/sec, 2185 secs
lola: STP completed || 7 tries, 6044913 fired transitions, 2190 secs || 9224860 markings, 244352739 edges, 4260 markings/sec, 2190 secs
lola: STP completed || 7 tries, 6058543 fired transitions, 2195 secs || 9246080 markings, 244914845 edges, 4244 markings/sec, 2195 secs
lola: STP completed || 7 tries, 6072141 fired transitions, 2200 secs || 9267295 markings, 245476830 edges, 4243 markings/sec, 2200 secs
lola: STP completed || 7 tries, 6085854 fired transitions, 2205 secs || 9288460 markings, 246037486 edges, 4233 markings/sec, 2205 secs
lola: STP completed || 7 tries, 6099542 fired transitions, 2210 secs || 9309719 markings, 246600613 edges, 4252 markings/sec, 2210 secs
lola: STP completed || 7 tries, 6113246 fired transitions, 2215 secs || 9331003 markings, 247164347 edges, 4257 markings/sec, 2215 secs
lola: STP completed || 7 tries, 6127012 fired transitions, 2220 secs || 9352278 markings, 247727924 edges, 4255 markings/sec, 2220 secs
lola: STP completed || 7 tries, 6140689 fired transitions, 2225 secs || 9373472 markings, 248289270 edges, 4239 markings/sec, 2225 secs
lola: STP completed || 7 tries, 6153182 fired transitions, 2230 secs || 9394575 markings, 248848270 edges, 4221 markings/sec, 2230 secs
lola: STP completed || 7 tries, 6166888 fired transitions, 2235 secs || 9415626 markings, 249405932 edges, 4210 markings/sec, 2235 secs
lola: STP completed || 7 tries, 6180585 fired transitions, 2240 secs || 9436851 markings, 249968192 edges, 4245 markings/sec, 2240 secs
lola: STP completed || 7 tries, 6194182 fired transitions, 2245 secs || 9458139 markings, 250532086 edges, 4258 markings/sec, 2245 secs
lola: STP completed || 7 tries, 6207885 fired transitions, 2250 secs || 9479389 markings, 251095037 edges, 4250 markings/sec, 2250 secs
lola: STP completed || 7 tries, 6221677 fired transitions, 2255 secs || 9500569 markings, 251656039 edges, 4236 markings/sec, 2255 secs
lola: STP completed || 7 tries, 6235344 fired transitions, 2260 secs || 9521769 markings, 252217633 edges, 4240 markings/sec, 2260 secs
lola: STP completed || 7 tries, 6247657 fired transitions, 2265 secs || 9542911 markings, 252777631 edges, 4228 markings/sec, 2265 secs
lola: STP completed || 7 tries, 6261379 fired transitions, 2270 secs || 9564157 markings, 253340418 edges, 4249 markings/sec, 2270 secs
lola: STP completed || 7 tries, 6274996 fired transitions, 2275 secs || 9585416 markings, 253903545 edges, 4252 markings/sec, 2275 secs
lola: STP completed || 7 tries, 6288677 fired transitions, 2280 secs || 9606642 markings, 254465808 edges, 4245 markings/sec, 2280 secs
lola: STP completed || 7 tries, 6302394 fired transitions, 2285 secs || 9627764 markings, 255025267 edges, 4224 markings/sec, 2285 secs
lola: STP completed || 7 tries, 6316187 fired transitions, 2290 secs || 9648922 markings, 255585753 edges, 4232 markings/sec, 2290 secs
lola: STP completed || 7 tries, 6329856 fired transitions, 2295 secs || 9670082 markings, 256146273 edges, 4232 markings/sec, 2295 secs
lola: STP completed || 7 tries, 6343709 fired transitions, 2300 secs || 9691312 markings, 256708666 edges, 4246 markings/sec, 2300 secs
lola: STP completed || 7 tries, 6357476 fired transitions, 2305 secs || 9712599 markings, 257272429 edges, 4257 markings/sec, 2305 secs
lola: STP completed || 7 tries, 6371244 fired transitions, 2310 secs || 9733919 markings, 257837227 edges, 4264 markings/sec, 2310 secs
lola: STP completed || 7 tries, 6385099 fired transitions, 2315 secs || 9755159 markings, 258399815 edges, 4248 markings/sec, 2315 secs
lola: STP completed || 7 tries, 6398754 fired transitions, 2320 secs || 9776362 markings, 258961515 edges, 4241 markings/sec, 2320 secs
lola: STP completed || 7 tries, 6412458 fired transitions, 2325 secs || 9797513 markings, 259521801 edges, 4230 markings/sec, 2325 secs
lola: STP completed || 7 tries, 6426011 fired transitions, 2330 secs || 9817787 markings, 260058770 edges, 4055 markings/sec, 2330 secs
lola: STP completed || 7 tries, 6439738 fired transitions, 2335 secs || 9839058 markings, 260622265 edges, 4254 markings/sec, 2335 secs
lola: STP completed || 7 tries, 6453470 fired transitions, 2340 secs || 9860263 markings, 261184014 edges, 4241 markings/sec, 2340 secs
lola: STP completed || 7 tries, 6467101 fired transitions, 2345 secs || 9880817 markings, 261728377 edges, 4111 markings/sec, 2345 secs
lola: STP completed || 7 tries, 6480684 fired transitions, 2350 secs || 9901893 markings, 262286728 edges, 4215 markings/sec, 2350 secs
lola: STP completed || 7 tries, 6494408 fired transitions, 2355 secs || 9923056 markings, 262847309 edges, 4233 markings/sec, 2355 secs
lola: STP completed || 7 tries, 6508198 fired transitions, 2360 secs || 9944225 markings, 263407997 edges, 4234 markings/sec, 2360 secs
lola: STP completed || 7 tries, 6521914 fired transitions, 2365 secs || 9965510 markings, 263971823 edges, 4257 markings/sec, 2365 secs
lola: STP completed || 7 tries, 6535508 fired transitions, 2370 secs || 9986748 markings, 264534418 edges, 4248 markings/sec, 2370 secs
lola: STP completed || 7 tries, 6549276 fired transitions, 2375 secs || 10007950 markings, 265095997 edges, 4240 markings/sec, 2375 secs
lola: STP completed || 7 tries, 6562931 fired transitions, 2380 secs || 10029071 markings, 265655503 edges, 4224 markings/sec, 2380 secs
lola: STP completed || 7 tries, 6576678 fired transitions, 2385 secs || 10050198 markings, 266215137 edges, 4225 markings/sec, 2385 secs
lola: STP completed || 7 tries, 6590301 fired transitions, 2390 secs || 10071294 markings, 266773987 edges, 4219 markings/sec, 2390 secs
lola: STP completed || 7 tries, 6604035 fired transitions, 2395 secs || 10092468 markings, 267334840 edges, 4235 markings/sec, 2395 secs
lola: STP completed || 7 tries, 6617618 fired transitions, 2400 secs || 10113691 markings, 267896967 edges, 4245 markings/sec, 2400 secs
lola: STP completed || 7 tries, 6631203 fired transitions, 2405 secs || 10134917 markings, 268459319 edges, 4245 markings/sec, 2405 secs
lola: STP completed || 7 tries, 6644926 fired transitions, 2410 secs || 10156046 markings, 269018923 edges, 4226 markings/sec, 2410 secs
lola: STP completed || 7 tries, 6658626 fired transitions, 2415 secs || 10177159 markings, 269578201 edges, 4223 markings/sec, 2415 secs
lola: STP completed || 7 tries, 6672294 fired transitions, 2420 secs || 10198205 markings, 270135743 edges, 4209 markings/sec, 2420 secs
lola: STP completed || 7 tries, 6686015 fired transitions, 2425 secs || 10219354 markings, 270695931 edges, 4230 markings/sec, 2425 secs
lola: STP completed || 7 tries, 6699711 fired transitions, 2430 secs || 10240550 markings, 271257426 edges, 4239 markings/sec, 2430 secs
lola: STP completed || 7 tries, 6713324 fired transitions, 2435 secs || 10261794 markings, 271820143 edges, 4249 markings/sec, 2435 secs
lola: STP completed || 7 tries, 6726961 fired transitions, 2440 secs || 10282909 markings, 272379410 edges, 4223 markings/sec, 2440 secs
lola: STP completed || 7 tries, 6740558 fired transitions, 2445 secs || 10304043 markings, 272939311 edges, 4227 markings/sec, 2445 secs
lola: STP completed || 7 tries, 6754231 fired transitions, 2450 secs || 10325203 markings, 273499828 edges, 4232 markings/sec, 2450 secs
lola: STP completed || 7 tries, 6767988 fired transitions, 2455 secs || 10346435 markings, 274062206 edges, 4246 markings/sec, 2455 secs
lola: STP completed || 7 tries, 6781793 fired transitions, 2460 secs || 10367713 markings, 274625841 edges, 4256 markings/sec, 2460 secs
lola: STP completed || 7 tries, 6795536 fired transitions, 2465 secs || 10388902 markings, 275187089 edges, 4238 markings/sec, 2465 secs
lola: STP completed || 7 tries, 6809346 fired transitions, 2470 secs || 10409887 markings, 275742897 edges, 4197 markings/sec, 2470 secs
lola: STP completed || 7 tries, 6822520 fired transitions, 2475 secs || 10430908 markings, 276299810 edges, 4204 markings/sec, 2475 secs
lola: STP completed || 7 tries, 6836281 fired transitions, 2480 secs || 10452017 markings, 276858944 edges, 4222 markings/sec, 2480 secs
lola: STP completed || 7 tries, 6849920 fired transitions, 2485 secs || 10473107 markings, 277417546 edges, 4218 markings/sec, 2485 secs
lola: STP completed || 7 tries, 6863574 fired transitions, 2490 secs || 10494317 markings, 277979367 edges, 4242 markings/sec, 2490 secs
lola: STP completed || 7 tries, 6877285 fired transitions, 2495 secs || 10515540 markings, 278541591 edges, 4245 markings/sec, 2495 secs
lola: STP completed || 7 tries, 6890941 fired transitions, 2500 secs || 10536735 markings, 279102994 edges, 4239 markings/sec, 2500 secs
lola: STP completed || 7 tries, 6904712 fired transitions, 2505 secs || 10557840 markings, 279662064 edges, 4221 markings/sec, 2505 secs
lola: STP completed || 7 tries, 6918523 fired transitions, 2510 secs || 10578933 markings, 280220834 edges, 4219 markings/sec, 2510 secs
lola: STP completed || 7 tries, 6932238 fired transitions, 2515 secs || 10599978 markings, 280778313 edges, 4209 markings/sec, 2515 secs
lola: STP completed || 7 tries, 6946005 fired transitions, 2520 secs || 10620238 markings, 281314901 edges, 4052 markings/sec, 2520 secs
lola: STP completed || 7 tries, 6959705 fired transitions, 2525 secs || 10641373 markings, 281874820 edges, 4227 markings/sec, 2525 secs
lola: STP completed || 7 tries, 6973279 fired transitions, 2530 secs || 10662444 markings, 282433038 edges, 4214 markings/sec, 2530 secs
lola: STP completed || 7 tries, 6987047 fired transitions, 2535 secs || 10682529 markings, 282965034 edges, 4017 markings/sec, 2535 secs
lola: STP completed || 8 tries, 7000752 fired transitions, 2540 secs || 10703576 markings, 283522519 edges, 4209 markings/sec, 2540 secs
lola: STP completed || 8 tries, 7014533 fired transitions, 2545 secs || 10724612 markings, 284079804 edges, 4207 markings/sec, 2545 secs
lola: STP completed || 8 tries, 7028207 fired transitions, 2550 secs || 10745777 markings, 284640409 edges, 4233 markings/sec, 2550 secs
lola: STP completed || 8 tries, 7041967 fired transitions, 2555 secs || 10766957 markings, 285201470 edges, 4236 markings/sec, 2555 secs
lola: STP completed || 8 tries, 7055779 fired transitions, 2560 secs || 10788111 markings, 285761756 edges, 4231 markings/sec, 2560 secs
lola: STP completed || 8 tries, 7069594 fired transitions, 2565 secs || 10809126 markings, 286318413 edges, 4203 markings/sec, 2565 secs
lola: STP completed || 8 tries, 7083373 fired transitions, 2570 secs || 10830202 markings, 286876768 edges, 4215 markings/sec, 2570 secs
lola: STP completed || 8 tries, 7097145 fired transitions, 2575 secs || 10851266 markings, 287434673 edges, 4213 markings/sec, 2575 secs
lola: STP completed || 8 tries, 7110864 fired transitions, 2580 secs || 10872406 markings, 287994627 edges, 4228 markings/sec, 2580 secs
lola: STP completed || 8 tries, 7124610 fired transitions, 2585 secs || 10893605 markings, 288556263 edges, 4240 markings/sec, 2585 secs
lola: STP completed || 8 tries, 7138342 fired transitions, 2590 secs || 10914844 markings, 289118823 edges, 4248 markings/sec, 2590 secs
lola: STP completed || 8 tries, 7152016 fired transitions, 2595 secs || 10935975 markings, 289678581 edges, 4226 markings/sec, 2595 secs
lola: STP completed || 8 tries, 7165761 fired transitions, 2600 secs || 10957077 markings, 290237593 edges, 4220 markings/sec, 2600 secs
lola: STP completed || 8 tries, 7179449 fired transitions, 2605 secs || 10978113 markings, 290794821 edges, 4207 markings/sec, 2605 secs
lola: STP completed || 8 tries, 7193174 fired transitions, 2610 secs || 10999172 markings, 291352649 edges, 4212 markings/sec, 2610 secs
lola: STP completed || 8 tries, 7207000 fired transitions, 2615 secs || 11020367 markings, 291913984 edges, 4239 markings/sec, 2615 secs
lola: STP completed || 8 tries, 7220755 fired transitions, 2620 secs || 11041522 markings, 292474434 edges, 4231 markings/sec, 2620 secs
lola: STP completed || 8 tries, 7234543 fired transitions, 2625 secs || 11062602 markings, 293032730 edges, 4216 markings/sec, 2625 secs
lola: STP completed || 8 tries, 7248290 fired transitions, 2630 secs || 11083572 markings, 293588327 edges, 4194 markings/sec, 2630 secs
lola: STP completed || 8 tries, 7261987 fired transitions, 2635 secs || 11104646 markings, 294146550 edges, 4215 markings/sec, 2635 secs
lola: STP completed || 8 tries, 7275615 fired transitions, 2640 secs || 11125706 markings, 294704409 edges, 4212 markings/sec, 2640 secs
lola: STP completed || 8 tries, 7289335 fired transitions, 2645 secs || 11146910 markings, 295265979 edges, 4241 markings/sec, 2645 secs
lola: STP completed || 8 tries, 7302919 fired transitions, 2650 secs || 11168073 markings, 295826590 edges, 4233 markings/sec, 2650 secs
lola: STP completed || 8 tries, 7316759 fired transitions, 2655 secs || 11189205 markings, 296386310 edges, 4226 markings/sec, 2655 secs
lola: STP completed || 8 tries, 7330521 fired transitions, 2660 secs || 11210230 markings, 296943249 edges, 4205 markings/sec, 2660 secs
lola: STP completed || 8 tries, 7344258 fired transitions, 2665 secs || 11231313 markings, 297501792 edges, 4217 markings/sec, 2665 secs
lola: STP completed || 8 tries, 7357911 fired transitions, 2670 secs || 11252368 markings, 298059463 edges, 4211 markings/sec, 2670 secs
lola: STP completed || 8 tries, 7371742 fired transitions, 2675 secs || 11273528 markings, 298620062 edges, 4232 markings/sec, 2675 secs
lola: STP completed || 8 tries, 7385489 fired transitions, 2680 secs || 11294731 markings, 299181635 edges, 4241 markings/sec, 2680 secs
lola: STP completed || 8 tries, 7399251 fired transitions, 2685 secs || 11315942 markings, 299743563 edges, 4242 markings/sec, 2685 secs
lola: STP completed || 8 tries, 7412881 fired transitions, 2690 secs || 11337026 markings, 300301993 edges, 4217 markings/sec, 2690 secs
lola: STP completed || 8 tries, 7426546 fired transitions, 2695 secs || 11358124 markings, 300860906 edges, 4220 markings/sec, 2695 secs
lola: STP completed || 8 tries, 7440251 fired transitions, 2700 secs || 11379139 markings, 301417576 edges, 4203 markings/sec, 2700 secs
lola: STP completed || 8 tries, 7453950 fired transitions, 2705 secs || 11400269 markings, 301977258 edges, 4226 markings/sec, 2705 secs
lola: STP completed || 8 tries, 7467592 fired transitions, 2710 secs || 11421455 markings, 302538499 edges, 4237 markings/sec, 2710 secs
lola: STP completed || 8 tries, 7481387 fired transitions, 2715 secs || 11442679 markings, 303100649 edges, 4245 markings/sec, 2715 secs
lola: STP completed || 8 tries, 7495157 fired transitions, 2720 secs || 11463759 markings, 303659000 edges, 4216 markings/sec, 2720 secs
lola: STP completed || 8 tries, 7508783 fired transitions, 2725 secs || 11484867 markings, 304218222 edges, 4222 markings/sec, 2725 secs
lola: STP completed || 8 tries, 7522476 fired transitions, 2730 secs || 11505992 markings, 304777769 edges, 4225 markings/sec, 2730 secs
lola: STP completed || 8 tries, 7536196 fired transitions, 2735 secs || 11527207 markings, 305339709 edges, 4243 markings/sec, 2735 secs
lola: STP completed || 8 tries, 7549867 fired transitions, 2740 secs || 11548468 markings, 305902935 edges, 4252 markings/sec, 2740 secs
lola: STP completed || 8 tries, 7563619 fired transitions, 2745 secs || 11569720 markings, 306465882 edges, 4250 markings/sec, 2745 secs
lola: STP completed || 8 tries, 7577336 fired transitions, 2750 secs || 11590872 markings, 307026089 edges, 4230 markings/sec, 2750 secs
lola: STP completed || 8 tries, 7591088 fired transitions, 2755 secs || 11611992 markings, 307585581 edges, 4224 markings/sec, 2755 secs
lola: STP completed || 8 tries, 7604908 fired transitions, 2760 secs || 11633078 markings, 308144155 edges, 4217 markings/sec, 2760 secs
lola: STP completed || 8 tries, 7618618 fired transitions, 2765 secs || 11654143 markings, 308702129 edges, 4213 markings/sec, 2765 secs
lola: STP completed || 8 tries, 7632358 fired transitions, 2770 secs || 11675332 markings, 309263334 edges, 4238 markings/sec, 2770 secs
lola: STP completed || 8 tries, 7646027 fired transitions, 2775 secs || 11696540 markings, 309825210 edges, 4242 markings/sec, 2775 secs
lola: STP completed || 8 tries, 7659780 fired transitions, 2780 secs || 11717720 markings, 310386228 edges, 4236 markings/sec, 2780 secs
lola: STP completed || 8 tries, 7673439 fired transitions, 2785 secs || 11738785 markings, 310944198 edges, 4213 markings/sec, 2785 secs
lola: STP completed || 8 tries, 7687184 fired transitions, 2790 secs || 11759893 markings, 311503308 edges, 4222 markings/sec, 2790 secs
lola: STP completed || 8 tries, 7701071 fired transitions, 2795 secs || 11780704 markings, 312054589 edges, 4162 markings/sec, 2795 secs
lola: STP completed || 8 tries, 7714980 fired transitions, 2800 secs || 11799834 markings, 312561354 edges, 3826 markings/sec, 2800 secs
lola: STP completed || 8 tries, 7728907 fired transitions, 2805 secs || 11820754 markings, 313115494 edges, 4184 markings/sec, 2805 secs
lola: STP completed || 8 tries, 7742721 fired transitions, 2810 secs || 11839861 markings, 313621607 edges, 3821 markings/sec, 2810 secs
lola: STP completed || 8 tries, 7756533 fired transitions, 2815 secs || 11860493 markings, 314168103 edges, 4126 markings/sec, 2815 secs
lola: STP completed || 8 tries, 7770384 fired transitions, 2820 secs || 11879511 markings, 314671906 edges, 3804 markings/sec, 2820 secs
lola: STP completed || 8 tries, 7784182 fired transitions, 2825 secs || 11900307 markings, 315222794 edges, 4159 markings/sec, 2825 secs
lola: STP completed || 8 tries, 7798105 fired transitions, 2830 secs || 11921197 markings, 315776156 edges, 4178 markings/sec, 2830 secs
lola: STP completed || 8 tries, 7812058 fired transitions, 2835 secs || 11942157 markings, 316331362 edges, 4192 markings/sec, 2835 secs
lola: STP completed || 8 tries, 7825638 fired transitions, 2840 secs || 11961792 markings, 316851490 edges, 3927 markings/sec, 2840 secs
lola: STP completed || 8 tries, 7839335 fired transitions, 2845 secs || 11982852 markings, 317409350 edges, 4212 markings/sec, 2845 secs
lola: STP completed || 8 tries, 7853119 fired transitions, 2850 secs || 12003857 markings, 317965723 edges, 4201 markings/sec, 2850 secs
lola: STP completed || 8 tries, 7866831 fired transitions, 2855 secs || 12024952 markings, 318524496 edges, 4219 markings/sec, 2855 secs
lola: STP completed || 8 tries, 7880530 fired transitions, 2860 secs || 12046021 markings, 319082555 edges, 4214 markings/sec, 2860 secs
lola: STP completed || 8 tries, 7894225 fired transitions, 2865 secs || 12067227 markings, 319644313 edges, 4241 markings/sec, 2865 secs
lola: STP completed || 8 tries, 7907908 fired transitions, 2870 secs || 12087534 markings, 320182205 edges, 4061 markings/sec, 2870 secs
lola: STP completed || 8 tries, 7921670 fired transitions, 2875 secs || 12108650 markings, 320741605 edges, 4223 markings/sec, 2875 secs
lola: STP completed || 8 tries, 7935299 fired transitions, 2880 secs || 12128523 markings, 321267966 edges, 3975 markings/sec, 2880 secs
lola: STP completed || 8 tries, 7948781 fired transitions, 2885 secs || 12149140 markings, 321814133 edges, 4123 markings/sec, 2885 secs
lola: STP completed || 8 tries, 7962272 fired transitions, 2890 secs || 12169693 markings, 322358560 edges, 4111 markings/sec, 2890 secs
lola: STP completed || 8 tries, 7975690 fired transitions, 2895 secs || 12190362 markings, 322906016 edges, 4134 markings/sec, 2895 secs
lola: STP completed || 8 tries, 7989286 fired transitions, 2900 secs || 12210312 markings, 323434482 edges, 3990 markings/sec, 2900 secs
lola: STP completed || 9 tries, 8002785 fired transitions, 2905 secs || 12231138 markings, 323986185 edges, 4165 markings/sec, 2905 secs
lola: STP completed || 9 tries, 8016212 fired transitions, 2910 secs || 12251853 markings, 324534855 edges, 4143 markings/sec, 2910 secs
lola: STP completed || 9 tries, 8029316 fired transitions, 2915 secs || 12272885 markings, 325091963 edges, 4206 markings/sec, 2915 secs
lola: STP completed || 9 tries, 8042794 fired transitions, 2920 secs || 12293915 markings, 325649024 edges, 4206 markings/sec, 2920 secs
lola: STP completed || 9 tries, 8056538 fired transitions, 2925 secs || 12315006 markings, 326207770 edges, 4218 markings/sec, 2925 secs
lola: STP completed || 9 tries, 8070089 fired transitions, 2930 secs || 12335606 markings, 326753433 edges, 4120 markings/sec, 2930 secs
lola: STP completed || 9 tries, 8083867 fired transitions, 2935 secs || 12356305 markings, 327301739 edges, 4140 markings/sec, 2935 secs
lola: STP completed || 9 tries, 8097572 fired transitions, 2940 secs || 12377310 markings, 327858043 edges, 4201 markings/sec, 2940 secs
lola: STP completed || 9 tries, 8110646 fired transitions, 2945 secs || 12398345 markings, 328415327 edges, 4207 markings/sec, 2945 secs
lola: STP completed || 9 tries, 8124153 fired transitions, 2950 secs || 12419459 markings, 328974658 edges, 4223 markings/sec, 2950 secs
lola: STP completed || 9 tries, 8137574 fired transitions, 2955 secs || 12440569 markings, 329533830 edges, 4222 markings/sec, 2955 secs
lola: STP completed || 9 tries, 8151098 fired transitions, 2960 secs || 12461814 markings, 330096601 edges, 4249 markings/sec, 2960 secs
lola: STP completed || 9 tries, 8164718 fired transitions, 2965 secs || 12483066 markings, 330659579 edges, 4250 markings/sec, 2965 secs
lola: STP completed || 9 tries, 8178236 fired transitions, 2970 secs || 12504292 markings, 331221807 edges, 4245 markings/sec, 2970 secs
lola: STP completed || 9 tries, 8191792 fired transitions, 2975 secs || 12525421 markings, 331781435 edges, 4226 markings/sec, 2975 secs
lola: STP completed || 9 tries, 8205389 fired transitions, 2980 secs || 12546539 markings, 332340855 edges, 4224 markings/sec, 2980 secs
lola: STP completed || 9 tries, 8219004 fired transitions, 2985 secs || 12567599 markings, 332898721 edges, 4212 markings/sec, 2985 secs
lola: STP completed || 9 tries, 8232671 fired transitions, 2990 secs || 12588725 markings, 333458354 edges, 4225 markings/sec, 2990 secs
lola: STP completed || 9 tries, 8246260 fired transitions, 2995 secs || 12608759 markings, 333988966 edges, 4007 markings/sec, 2995 secs
lola: STP completed || 9 tries, 8259940 fired transitions, 3000 secs || 12629844 markings, 334547498 edges, 4217 markings/sec, 3000 secs
lola: STP completed || 9 tries, 8273548 fired transitions, 3005 secs || 12650864 markings, 335104250 edges, 4204 markings/sec, 3005 secs
lola: STP completed || 9 tries, 8287249 fired transitions, 3010 secs || 12671858 markings, 335660487 edges, 4199 markings/sec, 3010 secs
lola: STP completed || 9 tries, 8300902 fired transitions, 3015 secs || 12692818 markings, 336215676 edges, 4192 markings/sec, 3015 secs
lola: STP completed || 9 tries, 8314710 fired transitions, 3020 secs || 12713878 markings, 336773525 edges, 4212 markings/sec, 3020 secs
lola: STP completed || 9 tries, 8328356 fired transitions, 3025 secs || 12735047 markings, 337334207 edges, 4234 markings/sec, 3025 secs
lola: STP completed || 9 tries, 8341968 fired transitions, 3030 secs || 12756142 markings, 337893016 edges, 4219 markings/sec, 3030 secs
lola: STP completed || 9 tries, 8355548 fired transitions, 3035 secs || 12777278 markings, 338452910 edges, 4227 markings/sec, 3035 secs
lola: STP completed || 9 tries, 8368827 fired transitions, 3040 secs || 12797953 markings, 339000591 edges, 4135 markings/sec, 3040 secs
lola: STP completed || 9 tries, 8381719 fired transitions, 3045 secs || 12818162 markings, 339535910 edges, 4042 markings/sec, 3045 secs
lola: STP completed || 9 tries, 8394670 fired transitions, 3050 secs || 12838412 markings, 340072338 edges, 4050 markings/sec, 3050 secs
lola: STP completed || 9 tries, 8407695 fired transitions, 3055 secs || 12858762 markings, 340611326 edges, 4070 markings/sec, 3055 secs
lola: STP completed || 9 tries, 8420786 fired transitions, 3060 secs || 12879133 markings, 341150938 edges, 4074 markings/sec, 3060 secs
lola: STP completed || 9 tries, 8433874 fired transitions, 3065 secs || 12899426 markings, 341688517 edges, 4059 markings/sec, 3065 secs
lola: STP completed || 9 tries, 8446953 fired transitions, 3070 secs || 12919620 markings, 342223432 edges, 4039 markings/sec, 3070 secs
lola: STP completed || 9 tries, 8459976 fired transitions, 3075 secs || 12939829 markings, 342758778 edges, 4042 markings/sec, 3075 secs
lola: STP completed || 9 tries, 8473086 fired transitions, 3080 secs || 12959998 markings, 343292941 edges, 4034 markings/sec, 3080 secs
lola: STP completed || 9 tries, 8486117 fired transitions, 3085 secs || 12980273 markings, 343830007 edges, 4055 markings/sec, 3085 secs
lola: STP completed || 9 tries, 8499247 fired transitions, 3090 secs || 13000617 markings, 344368962 edges, 4069 markings/sec, 3090 secs
lola: STP completed || 9 tries, 8512257 fired transitions, 3095 secs || 13020966 markings, 344908031 edges, 4070 markings/sec, 3095 secs
lola: STP completed || 9 tries, 8525810 fired transitions, 3100 secs || 13039801 markings, 345406878 edges, 3767 markings/sec, 3100 secs
lola: STP completed || 9 tries, 8539389 fired transitions, 3105 secs || 13060729 markings, 345961252 edges, 4186 markings/sec, 3105 secs
lola: STP completed || 9 tries, 8552578 fired transitions, 3110 secs || 13081300 markings, 346506196 edges, 4114 markings/sec, 3110 secs
lola: STP completed || 9 tries, 8565725 fired transitions, 3115 secs || 13101614 markings, 347044220 edges, 4063 markings/sec, 3115 secs
lola: STP completed || 9 tries, 8578924 fired transitions, 3120 secs || 13122047 markings, 347585498 edges, 4087 markings/sec, 3120 secs
lola: STP completed || 9 tries, 8592186 fired transitions, 3125 secs || 13142422 markings, 348125248 edges, 4075 markings/sec, 3125 secs
lola: STP completed || 9 tries, 8605408 fired transitions, 3130 secs || 13162719 markings, 348662822 edges, 4059 markings/sec, 3130 secs
lola: STP completed || 9 tries, 8618536 fired transitions, 3135 secs || 13182934 markings, 349198345 edges, 4043 markings/sec, 3135 secs
lola: STP completed || 9 tries, 8631731 fired transitions, 3140 secs || 13203255 markings, 349736641 edges, 4064 markings/sec, 3140 secs
lola: STP completed || 9 tries, 8644913 fired transitions, 3145 secs || 13223549 markings, 350274207 edges, 4059 markings/sec, 3145 secs
lola: STP completed || 9 tries, 8658130 fired transitions, 3150 secs || 13243949 markings, 350814521 edges, 4080 markings/sec, 3150 secs
lola: STP completed || 9 tries, 8671465 fired transitions, 3155 secs || 13264358 markings, 351355180 edges, 4082 markings/sec, 3155 secs
lola: STP completed || 9 tries, 8684685 fired transitions, 3160 secs || 13284783 markings, 351896271 edges, 4085 markings/sec, 3160 secs
lola: STP completed || 9 tries, 8697996 fired transitions, 3165 secs || 13305108 markings, 352434658 edges, 4065 markings/sec, 3165 secs
lola: STP completed || 9 tries, 8711273 fired transitions, 3170 secs || 13325440 markings, 352973208 edges, 4066 markings/sec, 3170 secs
lola: STP completed || 9 tries, 8724531 fired transitions, 3175 secs || 13345675 markings, 353509138 edges, 4047 markings/sec, 3175 secs
lola: STP completed || 9 tries, 8737717 fired transitions, 3180 secs || 13365971 markings, 354046868 edges, 4059 markings/sec, 3180 secs
lola: STP completed || 9 tries, 8750925 fired transitions, 3185 secs || 13386345 markings, 354586476 edges, 4075 markings/sec, 3185 secs
lola: STP completed || 9 tries, 8764236 fired transitions, 3190 secs || 13406716 markings, 355126167 edges, 4074 markings/sec, 3190 secs
lola: STP completed || 9 tries, 8777434 fired transitions, 3195 secs || 13426968 markings, 355662595 edges, 4050 markings/sec, 3195 secs
lola: STP completed || 9 tries, 8790534 fired transitions, 3200 secs || 13447135 markings, 356196755 edges, 4033 markings/sec, 3200 secs
lola: STP completed || 9 tries, 8803862 fired transitions, 3205 secs || 13467418 markings, 356734068 edges, 4057 markings/sec, 3205 secs
lola: STP completed || 9 tries, 8817187 fired transitions, 3210 secs || 13487703 markings, 357271415 edges, 4057 markings/sec, 3210 secs
lola: STP completed || 9 tries, 8830325 fired transitions, 3215 secs || 13508108 markings, 357811828 edges, 4081 markings/sec, 3215 secs
lola: STP completed || 9 tries, 8843550 fired transitions, 3220 secs || 13528476 markings, 358351412 edges, 4074 markings/sec, 3220 secs
lola: STP completed || 9 tries, 8856777 fired transitions, 3225 secs || 13548808 markings, 358889966 edges, 4066 markings/sec, 3225 secs
lola: STP completed || 9 tries, 8869939 fired transitions, 3230 secs || 13569063 markings, 359426456 edges, 4051 markings/sec, 3230 secs
lola: STP completed || 9 tries, 8883070 fired transitions, 3235 secs || 13589296 markings, 359962480 edges, 4047 markings/sec, 3235 secs
lola: STP completed || 9 tries, 8896377 fired transitions, 3240 secs || 13609451 markings, 360496301 edges, 4031 markings/sec, 3240 secs
lola: STP completed || 9 tries, 8909585 fired transitions, 3245 secs || 13629676 markings, 361032079 edges, 4045 markings/sec, 3245 secs
lola: STP completed || 9 tries, 8922899 fired transitions, 3250 secs || 13649949 markings, 361569095 edges, 4055 markings/sec, 3250 secs
lola: STP completed || 9 tries, 8936127 fired transitions, 3255 secs || 13670289 markings, 362107884 edges, 4068 markings/sec, 3255 secs
lola: STP completed || 9 tries, 8949313 fired transitions, 3260 secs || 13690519 markings, 362643738 edges, 4046 markings/sec, 3260 secs
lola: STP completed || 9 tries, 8962554 fired transitions, 3265 secs || 13710690 markings, 363178079 edges, 4034 markings/sec, 3265 secs
lola: STP completed || 9 tries, 8975788 fired transitions, 3270 secs || 13730847 markings, 363711968 edges, 4031 markings/sec, 3270 secs
lola: STP completed || 9 tries, 8989046 fired transitions, 3275 secs || 13750973 markings, 364245220 edges, 4025 markings/sec, 3275 secs
lola: STP completed || 10 tries, 9002320 fired transitions, 3280 secs || 13771252 markings, 364782307 edges, 4056 markings/sec, 3280 secs
lola: STP completed || 10 tries, 9015603 fired transitions, 3285 secs || 13791552 markings, 365320031 edges, 4060 markings/sec, 3285 secs
lola: STP completed || 10 tries, 9028620 fired transitions, 3290 secs || 13811818 markings, 365856896 edges, 4053 markings/sec, 3290 secs
lola: STP completed || 10 tries, 9041901 fired transitions, 3295 secs || 13831972 markings, 366390703 edges, 4031 markings/sec, 3295 secs
lola: STP completed || 10 tries, 9055140 fired transitions, 3300 secs || 13852185 markings, 366926137 edges, 4043 markings/sec, 3300 secs
lola: STP completed || 10 tries, 9068255 fired transitions, 3305 secs || 13872416 markings, 367462079 edges, 4046 markings/sec, 3305 secs
lola: STP completed || 10 tries, 9081518 fired transitions, 3310 secs || 13892705 markings, 367999556 edges, 4058 markings/sec, 3310 secs
lola: STP completed || 10 tries, 9094681 fired transitions, 3315 secs || 13913043 markings, 368538212 edges, 4068 markings/sec, 3315 secs
lola: STP completed || 10 tries, 9107882 fired transitions, 3320 secs || 13933395 markings, 369077307 edges, 4070 markings/sec, 3320 secs
lola: STP completed || 10 tries, 9121129 fired transitions, 3325 secs || 13953631 markings, 369613375 edges, 4047 markings/sec, 3325 secs
lola: STP completed || 10 tries, 9134423 fired transitions, 3330 secs || 13973865 markings, 370149296 edges, 4047 markings/sec, 3330 secs
lola: STP completed || 10 tries, 9147682 fired transitions, 3335 secs || 13994075 markings, 370684636 edges, 4042 markings/sec, 3335 secs
lola: STP completed || 10 tries, 9160832 fired transitions, 3340 secs || 14014226 markings, 371218476 edges, 4030 markings/sec, 3340 secs
lola: STP completed || 10 tries, 9174042 fired transitions, 3345 secs || 14034521 markings, 371756072 edges, 4059 markings/sec, 3345 secs
lola: STP completed || 10 tries, 9187320 fired transitions, 3350 secs || 14054829 markings, 372293985 edges, 4062 markings/sec, 3350 secs
lola: STP completed || 10 tries, 9200602 fired transitions, 3355 secs || 14075124 markings, 372831583 edges, 4059 markings/sec, 3355 secs
lola: STP completed || 10 tries, 9213869 fired transitions, 3360 secs || 14095313 markings, 373366306 edges, 4038 markings/sec, 3360 secs
lola: STP completed || 10 tries, 9227088 fired transitions, 3365 secs || 14115492 markings, 373900965 edges, 4036 markings/sec, 3365 secs
lola: STP completed || 10 tries, 9240302 fired transitions, 3370 secs || 14135632 markings, 374434433 edges, 4028 markings/sec, 3370 secs
lola: STP completed || 10 tries, 9253482 fired transitions, 3375 secs || 14155852 markings, 374969999 edges, 4044 markings/sec, 3375 secs
lola: STP completed || 10 tries, 9266749 fired transitions, 3380 secs || 14176096 markings, 375506262 edges, 4049 markings/sec, 3380 secs
lola: STP completed || 10 tries, 9280040 fired transitions, 3385 secs || 14196341 markings, 376042565 edges, 4049 markings/sec, 3385 secs
lola: STP completed || 10 tries, 9293273 fired transitions, 3390 secs || 14216452 markings, 376575331 edges, 4022 markings/sec, 3390 secs
lola: STP completed || 10 tries, 9306429 fired transitions, 3395 secs || 14236534 markings, 377107226 edges, 4016 markings/sec, 3395 secs
lola: STP completed || 10 tries, 9319612 fired transitions, 3400 secs || 14256715 markings, 377641816 edges, 4036 markings/sec, 3400 secs
lola: STP completed || 10 tries, 9332813 fired transitions, 3405 secs || 14276899 markings, 378176438 edges, 4037 markings/sec, 3405 secs
lola: STP completed || 10 tries, 9345958 fired transitions, 3410 secs || 14297185 markings, 378713841 edges, 4057 markings/sec, 3410 secs
lola: STP completed || 10 tries, 9359077 fired transitions, 3415 secs || 14317435 markings, 379250219 edges, 4050 markings/sec, 3415 secs
lola: STP completed || 10 tries, 9372443 fired transitions, 3420 secs || 14337640 markings, 379785417 edges, 4041 markings/sec, 3420 secs
lola: STP completed || 10 tries, 9385630 fired transitions, 3425 secs || 14357735 markings, 380317717 edges, 4019 markings/sec, 3425 secs
lola: STP completed || 10 tries, 9398885 fired transitions, 3430 secs || 14377909 markings, 380852171 edges, 4035 markings/sec, 3430 secs
lola: STP completed || 10 tries, 9410237 fired transitions, 3435 secs || 14398090 markings, 381386697 edges, 4036 markings/sec, 3435 secs
lola: STP completed || 10 tries, 9423454 fired transitions, 3440 secs || 14418352 markings, 381923390 edges, 4052 markings/sec, 3440 secs
lola: STP completed || 10 tries, 9436601 fired transitions, 3445 secs || 14438658 markings, 382461296 edges, 4061 markings/sec, 3445 secs
lola: STP completed || 10 tries, 9449827 fired transitions, 3450 secs || 14458988 markings, 382999818 edges, 4066 markings/sec, 3450 secs
lola: STP completed || 10 tries, 9463048 fired transitions, 3455 secs || 14479206 markings, 383535333 edges, 4044 markings/sec, 3455 secs
lola: STP completed || 10 tries, 9476309 fired transitions, 3460 secs || 14499418 markings, 384070787 edges, 4042 markings/sec, 3460 secs
lola: STP completed || 10 tries, 9489465 fired transitions, 3465 secs || 14519551 markings, 384604121 edges, 4027 markings/sec, 3465 secs
lola: STP completed || 10 tries, 9502249 fired transitions, 3470 secs || 14539676 markings, 385137163 edges, 4025 markings/sec, 3470 secs
lola: STP completed || 10 tries, 9515524 fired transitions, 3475 secs || 14559966 markings, 385674631 edges, 4058 markings/sec, 3475 secs
lola: STP completed || 10 tries, 9528762 fired transitions, 3480 secs || 14580195 markings, 386210424 edges, 4046 markings/sec, 3480 secs
lola: STP completed || 10 tries, 9542630 fired transitions, 3485 secs || 14599680 markings, 386726622 edges, 3897 markings/sec, 3485 secs
lola: STP completed || 10 tries, 9556481 fired transitions, 3490 secs || 14620056 markings, 387266330 edges, 4075 markings/sec, 3490 secs
lola: STP completed || 10 tries, 9570149 fired transitions, 3495 secs || 14640278 markings, 387802055 edges, 4044 markings/sec, 3495 secs
lola: STP completed || 10 tries, 9583841 fired transitions, 3500 secs || 14660709 markings, 388343202 edges, 4086 markings/sec, 3500 secs
lola: STP completed || 10 tries, 9597461 fired transitions, 3505 secs || 14680928 markings, 388878729 edges, 4044 markings/sec, 3505 secs
lola: STP completed || 10 tries, 9611236 fired transitions, 3510 secs || 14701398 markings, 389420979 edges, 4094 markings/sec, 3510 secs
lola: STP completed || 10 tries, 9624850 fired transitions, 3515 secs || 14721859 markings, 389963048 edges, 4092 markings/sec, 3515 secs
lola: STP completed || 10 tries, 9638521 fired transitions, 3520 secs || 14742409 markings, 390507370 edges, 4110 markings/sec, 3520 secs
lola: STP completed || 10 tries, 9652273 fired transitions, 3525 secs || 14762996 markings, 391052688 edges, 4117 markings/sec, 3525 secs
lola: STP completed || 10 tries, 9665924 fired transitions, 3530 secs || 14783607 markings, 391598691 edges, 4122 markings/sec, 3530 secs
lola: STP completed || 10 tries, 9679723 fired transitions, 3535 secs || 14803831 markings, 392134391 edges, 4045 markings/sec, 3535 secs
lola: STP completed || 10 tries, 9693616 fired transitions, 3540 secs || 14824417 markings, 392679660 edges, 4117 markings/sec, 3540 secs
lola: STP completed || 10 tries, 9707323 fired transitions, 3545 secs || 14844844 markings, 393220745 edges, 4085 markings/sec, 3545 secs
lola: STP completed || 10 tries, 9721046 fired transitions, 3550 secs || 14865454 markings, 393766666 edges, 4122 markings/sec, 3550 secs
lola: STP completed || 10 tries, 9734696 fired transitions, 3555 secs || 14886394 markings, 394321355 edges, 4188 markings/sec, 3555 secs
lola: STP completed || 10 tries, 9748427 fired transitions, 3560 secs || 14907338 markings, 394876162 edges, 4189 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 5751632 KB
lola: time consumption: 3570 seconds
BK_STOP 1528077887941
--------------------
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="DLCflexbar-PT-2a"
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/DLCflexbar-PT-2a.tgz
mv DLCflexbar-PT-2a 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 DLCflexbar-PT-2a, 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 r268-smll-152749145600368"
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 ;