About the Execution of LoLA for DLCround-PT-05a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
9587.660 | 3570885.00 | 7184953.00 | 7088.30 | [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 424K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.0K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 259K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-05a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735100034
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DLCround-PT-05a-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526597700319
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-05a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCround-PT-05a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DLCround-PT-05a @ 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: 1222/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 167
lola: finding significant places
lola: 167 places, 1055 transitions, 79 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 906 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-05a-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 15554 variables and 65115 clauses shipped to Minisat
lola: computed 30 generators (12 in search tree, 18 by composition)
lola: representing 276480 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 32435 fired transitions, 0 secs || 37386 markings, 1063387 edges, 7477 markings/sec, 0 secs
lola: STP completed || 1 tries, 69812 fired transitions, 5 secs || 84181 markings, 2244109 edges, 9359 markings/sec, 5 secs
lola: STP completed || 1 tries, 106790 fired transitions, 10 secs || 125740 markings, 3392819 edges, 8312 markings/sec, 10 secs
lola: STP completed || 1 tries, 144370 fired transitions, 15 secs || 174347 markings, 4629601 edges, 9721 markings/sec, 15 secs
lola: STP completed || 1 tries, 182935 fired transitions, 20 secs || 227121 markings, 5892054 edges, 10555 markings/sec, 20 secs
lola: STP completed || 1 tries, 221331 fired transitions, 25 secs || 275045 markings, 7120474 edges, 9585 markings/sec, 25 secs
lola: STP completed || 1 tries, 260723 fired transitions, 30 secs || 328938 markings, 8400751 edges, 10779 markings/sec, 30 secs
lola: STP completed || 1 tries, 298643 fired transitions, 35 secs || 377679 markings, 9657157 edges, 9748 markings/sec, 35 secs
lola: STP completed || 1 tries, 336583 fired transitions, 40 secs || 423351 markings, 10892309 edges, 9134 markings/sec, 40 secs
lola: STP completed || 1 tries, 374644 fired transitions, 45 secs || 467774 markings, 12118832 edges, 8885 markings/sec, 45 secs
lola: STP completed || 1 tries, 413118 fired transitions, 50 secs || 519717 markings, 13386729 edges, 10389 markings/sec, 50 secs
lola: STP completed || 1 tries, 452386 fired transitions, 55 secs || 572250 markings, 14670257 edges, 10507 markings/sec, 55 secs
lola: STP completed || 1 tries, 490875 fired transitions, 60 secs || 622974 markings, 15929561 edges, 10145 markings/sec, 60 secs
lola: STP completed || 1 tries, 528771 fired transitions, 65 secs || 675501 markings, 17178828 edges, 10505 markings/sec, 65 secs
lola: STP completed || 1 tries, 566312 fired transitions, 70 secs || 721505 markings, 18390809 edges, 9201 markings/sec, 70 secs
lola: STP completed || 1 tries, 603825 fired transitions, 75 secs || 768018 markings, 19623397 edges, 9303 markings/sec, 75 secs
lola: STP completed || 1 tries, 641311 fired transitions, 80 secs || 814700 markings, 20843912 edges, 9336 markings/sec, 80 secs
lola: STP completed || 1 tries, 678990 fired transitions, 85 secs || 862957 markings, 22075448 edges, 9651 markings/sec, 85 secs
lola: STP completed || 1 tries, 716517 fired transitions, 90 secs || 910588 markings, 23290575 edges, 9526 markings/sec, 90 secs
lola: STP completed || 1 tries, 754092 fired transitions, 95 secs || 958360 markings, 24522068 edges, 9554 markings/sec, 95 secs
lola: STP completed || 1 tries, 791533 fired transitions, 100 secs || 1007848 markings, 25747706 edges, 9898 markings/sec, 100 secs
lola: STP completed || 1 tries, 829162 fired transitions, 105 secs || 1052995 markings, 26966204 edges, 9029 markings/sec, 105 secs
lola: STP completed || 1 tries, 866894 fired transitions, 110 secs || 1101252 markings, 28192947 edges, 9651 markings/sec, 110 secs
lola: STP completed || 1 tries, 904669 fired transitions, 115 secs || 1146523 markings, 29400400 edges, 9054 markings/sec, 115 secs
lola: STP completed || 1 tries, 942230 fired transitions, 120 secs || 1197007 markings, 30621147 edges, 10097 markings/sec, 120 secs
lola: STP completed || 1 tries, 979803 fired transitions, 125 secs || 1241893 markings, 31830679 edges, 8977 markings/sec, 125 secs
lola: STP completed || 2 tries, 1017296 fired transitions, 130 secs || 1296579 markings, 33069210 edges, 10937 markings/sec, 130 secs
lola: STP completed || 2 tries, 1054663 fired transitions, 135 secs || 1343449 markings, 34275610 edges, 9374 markings/sec, 135 secs
lola: STP completed || 2 tries, 1092249 fired transitions, 140 secs || 1389133 markings, 35496553 edges, 9137 markings/sec, 140 secs
lola: STP completed || 2 tries, 1129888 fired transitions, 145 secs || 1434082 markings, 36711390 edges, 8990 markings/sec, 145 secs
lola: STP completed || 2 tries, 1167294 fired transitions, 150 secs || 1480180 markings, 37922562 edges, 9220 markings/sec, 150 secs
lola: STP completed || 2 tries, 1204663 fired transitions, 155 secs || 1526312 markings, 39139147 edges, 9226 markings/sec, 155 secs
lola: STP completed || 2 tries, 1242318 fired transitions, 160 secs || 1576414 markings, 40363384 edges, 10020 markings/sec, 160 secs
lola: STP completed || 2 tries, 1279882 fired transitions, 165 secs || 1628693 markings, 41595733 edges, 10456 markings/sec, 165 secs
lola: STP completed || 2 tries, 1318084 fired transitions, 170 secs || 1680535 markings, 42846753 edges, 10368 markings/sec, 170 secs
lola: STP completed || 2 tries, 1356330 fired transitions, 175 secs || 1731269 markings, 44093944 edges, 10147 markings/sec, 175 secs
lola: STP completed || 2 tries, 1394534 fired transitions, 180 secs || 1785457 markings, 45362085 edges, 10838 markings/sec, 180 secs
lola: STP completed || 2 tries, 1432787 fired transitions, 185 secs || 1838943 markings, 46623359 edges, 10697 markings/sec, 185 secs
lola: STP completed || 2 tries, 1471097 fired transitions, 190 secs || 1891401 markings, 47885281 edges, 10492 markings/sec, 190 secs
lola: STP completed || 2 tries, 1509250 fired transitions, 195 secs || 1939654 markings, 49140002 edges, 9651 markings/sec, 195 secs
lola: STP completed || 2 tries, 1547491 fired transitions, 200 secs || 1992526 markings, 50398710 edges, 10574 markings/sec, 200 secs
lola: STP completed || 2 tries, 1585709 fired transitions, 205 secs || 2045291 markings, 51664478 edges, 10553 markings/sec, 205 secs
lola: STP completed || 2 tries, 1624192 fired transitions, 210 secs || 2098292 markings, 52923654 edges, 10600 markings/sec, 210 secs
lola: STP completed || 2 tries, 1662542 fired transitions, 215 secs || 2150170 markings, 54173496 edges, 10376 markings/sec, 215 secs
lola: STP completed || 2 tries, 1701007 fired transitions, 220 secs || 2205445 markings, 55444365 edges, 11055 markings/sec, 220 secs
lola: STP completed || 2 tries, 1739365 fired transitions, 225 secs || 2250993 markings, 56677867 edges, 9110 markings/sec, 225 secs
lola: STP completed || 2 tries, 1777702 fired transitions, 230 secs || 2305561 markings, 57944266 edges, 10914 markings/sec, 230 secs
lola: STP completed || 2 tries, 1815800 fired transitions, 235 secs || 2360374 markings, 59213362 edges, 10963 markings/sec, 235 secs
lola: STP completed || 2 tries, 1854144 fired transitions, 240 secs || 2416234 markings, 60479481 edges, 11172 markings/sec, 240 secs
lola: STP completed || 2 tries, 1892439 fired transitions, 245 secs || 2466968 markings, 61730738 edges, 10147 markings/sec, 245 secs
lola: STP completed || 2 tries, 1930728 fired transitions, 250 secs || 2518589 markings, 62983629 edges, 10324 markings/sec, 250 secs
lola: STP completed || 2 tries, 1968965 fired transitions, 255 secs || 2571061 markings, 64242740 edges, 10494 markings/sec, 255 secs
lola: STP completed || 3 tries, 2007211 fired transitions, 260 secs || 2627020 markings, 65517023 edges, 11192 markings/sec, 260 secs
lola: STP completed || 3 tries, 2045360 fired transitions, 265 secs || 2674485 markings, 66769565 edges, 9493 markings/sec, 265 secs
lola: STP completed || 3 tries, 2083582 fired transitions, 270 secs || 2723748 markings, 68020298 edges, 9853 markings/sec, 270 secs
lola: STP completed || 3 tries, 2121767 fired transitions, 275 secs || 2770976 markings, 69261379 edges, 9446 markings/sec, 275 secs
lola: STP completed || 3 tries, 2160036 fired transitions, 280 secs || 2827660 markings, 70541542 edges, 11337 markings/sec, 280 secs
lola: STP completed || 3 tries, 2198256 fired transitions, 285 secs || 2881938 markings, 71803413 edges, 10856 markings/sec, 285 secs
lola: STP completed || 3 tries, 2236410 fired transitions, 290 secs || 2937253 markings, 73077654 edges, 11063 markings/sec, 290 secs
lola: STP completed || 3 tries, 2274727 fired transitions, 295 secs || 2990595 markings, 74339080 edges, 10668 markings/sec, 295 secs
lola: STP completed || 3 tries, 2313016 fired transitions, 300 secs || 3040929 markings, 75582701 edges, 10067 markings/sec, 300 secs
lola: STP completed || 3 tries, 2351235 fired transitions, 305 secs || 3096109 markings, 76848683 edges, 11036 markings/sec, 305 secs
lola: STP completed || 3 tries, 2389334 fired transitions, 310 secs || 3150561 markings, 78112095 edges, 10890 markings/sec, 310 secs
lola: STP completed || 3 tries, 2427610 fired transitions, 315 secs || 3207110 markings, 79386212 edges, 11310 markings/sec, 315 secs
lola: STP completed || 3 tries, 2465830 fired transitions, 320 secs || 3263075 markings, 80661841 edges, 11193 markings/sec, 320 secs
lola: STP completed || 3 tries, 2504155 fired transitions, 325 secs || 3315592 markings, 81913931 edges, 10503 markings/sec, 325 secs
lola: STP completed || 3 tries, 2542297 fired transitions, 330 secs || 3372710 markings, 83184165 edges, 11424 markings/sec, 330 secs
lola: STP completed || 3 tries, 2580545 fired transitions, 335 secs || 3430365 markings, 84455530 edges, 11531 markings/sec, 335 secs
lola: STP completed || 3 tries, 2618634 fired transitions, 340 secs || 3481939 markings, 85698749 edges, 10315 markings/sec, 340 secs
lola: STP completed || 3 tries, 2656816 fired transitions, 345 secs || 3540707 markings, 86982977 edges, 11754 markings/sec, 345 secs
lola: STP completed || 3 tries, 2694966 fired transitions, 350 secs || 3591150 markings, 88221518 edges, 10089 markings/sec, 350 secs
lola: STP completed || 3 tries, 2733323 fired transitions, 355 secs || 3647205 markings, 89491274 edges, 11211 markings/sec, 355 secs
lola: STP completed || 3 tries, 2771559 fired transitions, 360 secs || 3702832 markings, 90755927 edges, 11125 markings/sec, 360 secs
lola: STP completed || 3 tries, 2809668 fired transitions, 365 secs || 3762270 markings, 92043969 edges, 11888 markings/sec, 365 secs
lola: STP completed || 3 tries, 2847976 fired transitions, 370 secs || 3816864 markings, 93305707 edges, 10919 markings/sec, 370 secs
lola: STP completed || 3 tries, 2886216 fired transitions, 375 secs || 3872829 markings, 94569180 edges, 11193 markings/sec, 375 secs
lola: STP completed || 3 tries, 2924434 fired transitions, 380 secs || 3931476 markings, 95848458 edges, 11729 markings/sec, 380 secs
lola: STP completed || 3 tries, 2962754 fired transitions, 385 secs || 3988621 markings, 97119585 edges, 11429 markings/sec, 385 secs
lola: STP completed || 4 tries, 3001139 fired transitions, 390 secs || 4033672 markings, 98343239 edges, 9010 markings/sec, 390 secs
lola: STP completed || 4 tries, 3039343 fired transitions, 395 secs || 4093299 markings, 99625050 edges, 11925 markings/sec, 395 secs
lola: STP completed || 4 tries, 3077837 fired transitions, 400 secs || 4147659 markings, 100884089 edges, 10872 markings/sec, 400 secs
lola: STP completed || 4 tries, 3116074 fired transitions, 405 secs || 4204906 markings, 102158940 edges, 11449 markings/sec, 405 secs
lola: STP completed || 4 tries, 3154293 fired transitions, 410 secs || 4263461 markings, 103438518 edges, 11711 markings/sec, 410 secs
lola: STP completed || 4 tries, 3192699 fired transitions, 415 secs || 4325691 markings, 104733464 edges, 12446 markings/sec, 415 secs
lola: STP completed || 4 tries, 3230951 fired transitions, 420 secs || 4373440 markings, 105965299 edges, 9550 markings/sec, 420 secs
lola: STP completed || 4 tries, 3269119 fired transitions, 425 secs || 4429067 markings, 107225550 edges, 11125 markings/sec, 425 secs
lola: STP completed || 4 tries, 3307331 fired transitions, 430 secs || 4483585 markings, 108488933 edges, 10904 markings/sec, 430 secs
lola: STP completed || 4 tries, 3345439 fired transitions, 435 secs || 4532722 markings, 109732749 edges, 9827 markings/sec, 435 secs
lola: STP completed || 4 tries, 3383760 fired transitions, 440 secs || 4580444 markings, 110991642 edges, 9544 markings/sec, 440 secs
lola: STP completed || 4 tries, 3422020 fired transitions, 445 secs || 4626656 markings, 112221924 edges, 9242 markings/sec, 445 secs
lola: STP completed || 4 tries, 3460154 fired transitions, 450 secs || 4677046 markings, 113473871 edges, 10078 markings/sec, 450 secs
lola: STP completed || 4 tries, 3498270 fired transitions, 455 secs || 4726712 markings, 114727483 edges, 9933 markings/sec, 455 secs
lola: STP completed || 4 tries, 3536585 fired transitions, 460 secs || 4776969 markings, 115980506 edges, 10051 markings/sec, 460 secs
lola: STP completed || 4 tries, 3574873 fired transitions, 465 secs || 4831290 markings, 117242894 edges, 10864 markings/sec, 465 secs
lola: STP completed || 4 tries, 3613208 fired transitions, 470 secs || 4887582 markings, 118504091 edges, 11258 markings/sec, 470 secs
lola: STP completed || 4 tries, 3651508 fired transitions, 475 secs || 4947487 markings, 119789731 edges, 11981 markings/sec, 475 secs
lola: STP completed || 4 tries, 3689703 fired transitions, 480 secs || 5012296 markings, 121091552 edges, 12962 markings/sec, 480 secs
lola: STP completed || 4 tries, 3728321 fired transitions, 485 secs || 5073566 markings, 122374667 edges, 12254 markings/sec, 485 secs
lola: STP completed || 4 tries, 3766632 fired transitions, 490 secs || 5125580 markings, 123618562 edges, 10403 markings/sec, 490 secs
lola: STP completed || 4 tries, 3804809 fired transitions, 495 secs || 5181020 markings, 124882683 edges, 11088 markings/sec, 495 secs
lola: STP completed || 4 tries, 3843055 fired transitions, 500 secs || 5240692 markings, 126160541 edges, 11934 markings/sec, 500 secs
lola: STP completed || 4 tries, 3881579 fired transitions, 505 secs || 5300774 markings, 127438848 edges, 12016 markings/sec, 505 secs
lola: STP completed || 4 tries, 3919901 fired transitions, 510 secs || 5353490 markings, 128696173 edges, 10543 markings/sec, 510 secs
lola: STP completed || 4 tries, 3958108 fired transitions, 515 secs || 5401846 markings, 129927949 edges, 9671 markings/sec, 515 secs
lola: STP completed || 4 tries, 3996383 fired transitions, 520 secs || 5462550 markings, 131209523 edges, 12141 markings/sec, 520 secs
lola: STP completed || 5 tries, 4034521 fired transitions, 525 secs || 5521522 markings, 132489642 edges, 11794 markings/sec, 525 secs
lola: STP completed || 5 tries, 4072792 fired transitions, 530 secs || 5576383 markings, 133749412 edges, 10972 markings/sec, 530 secs
lola: STP completed || 5 tries, 4111115 fired transitions, 535 secs || 5635880 markings, 135028961 edges, 11899 markings/sec, 535 secs
lola: STP completed || 5 tries, 4149236 fired transitions, 540 secs || 5689571 markings, 136288258 edges, 10738 markings/sec, 540 secs
lola: STP completed || 5 tries, 4187561 fired transitions, 545 secs || 5745253 markings, 137555461 edges, 11136 markings/sec, 545 secs
lola: STP completed || 5 tries, 4226058 fired transitions, 550 secs || 5805249 markings, 138835773 edges, 11999 markings/sec, 550 secs
lola: STP completed || 5 tries, 4264330 fired transitions, 555 secs || 5862074 markings, 140100275 edges, 11365 markings/sec, 555 secs
lola: STP completed || 5 tries, 4302622 fired transitions, 560 secs || 5921707 markings, 141377255 edges, 11927 markings/sec, 560 secs
lola: STP completed || 5 tries, 4340805 fired transitions, 565 secs || 5980090 markings, 142650749 edges, 11677 markings/sec, 565 secs
lola: STP completed || 5 tries, 4379170 fired transitions, 570 secs || 6038883 markings, 143921385 edges, 11759 markings/sec, 570 secs
lola: STP completed || 5 tries, 4417342 fired transitions, 575 secs || 6100352 markings, 145206215 edges, 12294 markings/sec, 575 secs
lola: STP completed || 5 tries, 4455419 fired transitions, 580 secs || 6165076 markings, 146514953 edges, 12945 markings/sec, 580 secs
lola: STP completed || 5 tries, 4493581 fired transitions, 585 secs || 6212427 markings, 147745073 edges, 9470 markings/sec, 585 secs
lola: STP completed || 5 tries, 4531795 fired transitions, 590 secs || 6263588 markings, 148989133 edges, 10232 markings/sec, 590 secs
lola: STP completed || 5 tries, 4570130 fired transitions, 595 secs || 6322081 markings, 150258276 edges, 11699 markings/sec, 595 secs
lola: STP completed || 5 tries, 4608211 fired transitions, 600 secs || 6382354 markings, 151531844 edges, 12055 markings/sec, 600 secs
lola: STP completed || 5 tries, 4646563 fired transitions, 605 secs || 6442844 markings, 152815045 edges, 12098 markings/sec, 605 secs
lola: STP completed || 5 tries, 4684834 fired transitions, 610 secs || 6500093 markings, 154085276 edges, 11450 markings/sec, 610 secs
lola: STP completed || 5 tries, 4723116 fired transitions, 615 secs || 6554306 markings, 155344167 edges, 10843 markings/sec, 615 secs
lola: STP completed || 5 tries, 4761346 fired transitions, 620 secs || 6612896 markings, 156608249 edges, 11718 markings/sec, 620 secs
lola: STP completed || 5 tries, 4799524 fired transitions, 625 secs || 6674974 markings, 157891845 edges, 12416 markings/sec, 625 secs
lola: STP completed || 5 tries, 4837883 fired transitions, 630 secs || 6728387 markings, 159132990 edges, 10683 markings/sec, 630 secs
lola: STP completed || 5 tries, 4875888 fired transitions, 635 secs || 6780744 markings, 160367379 edges, 10471 markings/sec, 635 secs
lola: STP completed || 5 tries, 4913361 fired transitions, 640 secs || 6834003 markings, 161590494 edges, 10652 markings/sec, 640 secs
lola: STP completed || 5 tries, 4950656 fired transitions, 645 secs || 6891813 markings, 162831208 edges, 11562 markings/sec, 645 secs
lola: STP completed || 5 tries, 4987856 fired transitions, 650 secs || 6952982 markings, 164089688 edges, 12234 markings/sec, 650 secs
lola: STP completed || 6 tries, 5025350 fired transitions, 655 secs || 7013180 markings, 165340453 edges, 12040 markings/sec, 655 secs
lola: STP completed || 6 tries, 5062637 fired transitions, 660 secs || 7074074 markings, 166594084 edges, 12179 markings/sec, 660 secs
lola: STP completed || 6 tries, 5099852 fired transitions, 665 secs || 7130173 markings, 167837235 edges, 11220 markings/sec, 665 secs
lola: STP completed || 6 tries, 5138707 fired transitions, 670 secs || 7180168 markings, 169008208 edges, 9999 markings/sec, 670 secs
lola: STP completed || 6 tries, 5177579 fired transitions, 675 secs || 7241798 markings, 170267246 edges, 12326 markings/sec, 675 secs
lola: STP completed || 6 tries, 5214844 fired transitions, 680 secs || 7301242 markings, 171513172 edges, 11889 markings/sec, 680 secs
lola: STP completed || 6 tries, 5252226 fired transitions, 685 secs || 7364732 markings, 172786496 edges, 12698 markings/sec, 685 secs
lola: STP completed || 6 tries, 5287544 fired transitions, 690 secs || 7421181 markings, 174039100 edges, 11290 markings/sec, 690 secs
lola: STP completed || 6 tries, 5325825 fired transitions, 695 secs || 7479319 markings, 175305617 edges, 11628 markings/sec, 695 secs
lola: STP completed || 6 tries, 5364108 fired transitions, 700 secs || 7541018 markings, 176586431 edges, 12340 markings/sec, 700 secs
lola: STP completed || 6 tries, 5402440 fired transitions, 705 secs || 7600566 markings, 177880749 edges, 11910 markings/sec, 705 secs
lola: STP completed || 6 tries, 5440717 fired transitions, 710 secs || 7654589 markings, 179147125 edges, 10805 markings/sec, 710 secs
lola: STP completed || 6 tries, 5478901 fired transitions, 715 secs || 7701722 markings, 180398083 edges, 9427 markings/sec, 715 secs
lola: STP completed || 6 tries, 5517023 fired transitions, 720 secs || 7756144 markings, 181667312 edges, 10884 markings/sec, 720 secs
lola: STP completed || 6 tries, 5554925 fired transitions, 725 secs || 7808836 markings, 182922287 edges, 10538 markings/sec, 725 secs
lola: STP completed || 6 tries, 5592201 fired transitions, 730 secs || 7861170 markings, 184149401 edges, 10467 markings/sec, 730 secs
lola: STP completed || 6 tries, 5629415 fired transitions, 735 secs || 7916422 markings, 185374395 edges, 11050 markings/sec, 735 secs
lola: STP completed || 6 tries, 5666716 fired transitions, 740 secs || 7977084 markings, 186635262 edges, 12132 markings/sec, 740 secs
lola: STP completed || 6 tries, 5704125 fired transitions, 745 secs || 8041726 markings, 187910922 edges, 12928 markings/sec, 745 secs
lola: STP completed || 6 tries, 5738641 fired transitions, 750 secs || 8096316 markings, 189153133 edges, 10918 markings/sec, 750 secs
lola: STP completed || 6 tries, 5776735 fired transitions, 755 secs || 8140706 markings, 190380324 edges, 8878 markings/sec, 755 secs
lola: STP completed || 6 tries, 5815085 fired transitions, 760 secs || 8196523 markings, 191649948 edges, 11163 markings/sec, 760 secs
lola: STP completed || 6 tries, 5853265 fired transitions, 765 secs || 8249995 markings, 192906770 edges, 10694 markings/sec, 765 secs
lola: STP completed || 6 tries, 5891438 fired transitions, 770 secs || 8306397 markings, 194174804 edges, 11280 markings/sec, 770 secs
lola: STP completed || 6 tries, 5929759 fired transitions, 775 secs || 8361496 markings, 195426508 edges, 11020 markings/sec, 775 secs
lola: STP completed || 6 tries, 5967931 fired transitions, 780 secs || 8413996 markings, 196683276 edges, 10500 markings/sec, 780 secs
lola: STP completed || 7 tries, 6006182 fired transitions, 785 secs || 8477095 markings, 197972474 edges, 12620 markings/sec, 785 secs
lola: STP completed || 7 tries, 6044544 fired transitions, 790 secs || 8538233 markings, 199253126 edges, 12228 markings/sec, 790 secs
lola: STP completed || 7 tries, 6082821 fired transitions, 795 secs || 8593168 markings, 200502821 edges, 10987 markings/sec, 795 secs
lola: STP completed || 7 tries, 6121163 fired transitions, 800 secs || 8657395 markings, 201793118 edges, 12845 markings/sec, 800 secs
lola: STP completed || 7 tries, 6159457 fired transitions, 805 secs || 8716866 markings, 203070046 edges, 11894 markings/sec, 805 secs
lola: STP completed || 7 tries, 6197713 fired transitions, 810 secs || 8776109 markings, 204346233 edges, 11849 markings/sec, 810 secs
lola: STP completed || 7 tries, 6236053 fired transitions, 815 secs || 8835985 markings, 205621856 edges, 11975 markings/sec, 815 secs
lola: STP completed || 7 tries, 6274312 fired transitions, 820 secs || 8901271 markings, 206917530 edges, 13057 markings/sec, 820 secs
lola: STP completed || 7 tries, 6312469 fired transitions, 825 secs || 8966182 markings, 208226450 edges, 12982 markings/sec, 825 secs
lola: STP completed || 7 tries, 6350631 fired transitions, 830 secs || 9031697 markings, 209531123 edges, 13103 markings/sec, 830 secs
lola: STP completed || 7 tries, 6388896 fired transitions, 835 secs || 9089036 markings, 210802787 edges, 11468 markings/sec, 835 secs
lola: STP completed || 7 tries, 6427180 fired transitions, 840 secs || 9154380 markings, 212096995 edges, 13069 markings/sec, 840 secs
lola: STP completed || 7 tries, 6465447 fired transitions, 845 secs || 9215355 markings, 213376851 edges, 12195 markings/sec, 845 secs
lola: STP completed || 7 tries, 6503790 fired transitions, 850 secs || 9272725 markings, 214640491 edges, 11474 markings/sec, 850 secs
lola: STP completed || 7 tries, 6542091 fired transitions, 855 secs || 9330243 markings, 215905209 edges, 11504 markings/sec, 855 secs
lola: STP completed || 7 tries, 6580217 fired transitions, 860 secs || 9391513 markings, 217181545 edges, 12254 markings/sec, 860 secs
lola: STP completed || 7 tries, 6618463 fired transitions, 865 secs || 9449105 markings, 218449908 edges, 11518 markings/sec, 865 secs
lola: STP completed || 7 tries, 6656736 fired transitions, 870 secs || 9509287 markings, 219745018 edges, 12036 markings/sec, 870 secs
lola: STP completed || 7 tries, 6694961 fired transitions, 875 secs || 9568354 markings, 221019432 edges, 11813 markings/sec, 875 secs
lola: STP completed || 7 tries, 6733287 fired transitions, 880 secs || 9628824 markings, 222290657 edges, 12094 markings/sec, 880 secs
lola: STP completed || 7 tries, 6771505 fired transitions, 885 secs || 9690821 markings, 223573775 edges, 12399 markings/sec, 885 secs
lola: STP completed || 7 tries, 6809821 fired transitions, 890 secs || 9739944 markings, 224817874 edges, 9825 markings/sec, 890 secs
lola: STP completed || 7 tries, 6848218 fired transitions, 895 secs || 9794960 markings, 226084676 edges, 11003 markings/sec, 895 secs
lola: STP completed || 7 tries, 6886344 fired transitions, 900 secs || 9843001 markings, 227323227 edges, 9608 markings/sec, 900 secs
lola: STP completed || 7 tries, 6924647 fired transitions, 905 secs || 9895619 markings, 228573761 edges, 10524 markings/sec, 905 secs
lola: STP completed || 7 tries, 6962925 fired transitions, 910 secs || 9958585 markings, 229858893 edges, 12593 markings/sec, 910 secs
lola: STP completed || 8 tries, 7001284 fired transitions, 915 secs || 10020826 markings, 231140405 edges, 12448 markings/sec, 915 secs
lola: STP completed || 8 tries, 7039666 fired transitions, 920 secs || 10084667 markings, 232433583 edges, 12768 markings/sec, 920 secs
lola: STP completed || 8 tries, 7078022 fired transitions, 925 secs || 10144744 markings, 233710919 edges, 12015 markings/sec, 925 secs
lola: STP completed || 8 tries, 7116251 fired transitions, 930 secs || 10200734 markings, 234979128 edges, 11198 markings/sec, 930 secs
lola: STP completed || 8 tries, 7154557 fired transitions, 935 secs || 10254461 markings, 236241147 edges, 10745 markings/sec, 935 secs
lola: STP completed || 8 tries, 7192791 fired transitions, 940 secs || 10303313 markings, 237478347 edges, 9770 markings/sec, 940 secs
lola: STP completed || 8 tries, 7231105 fired transitions, 945 secs || 10367749 markings, 238786550 edges, 12887 markings/sec, 945 secs
lola: STP completed || 8 tries, 7269485 fired transitions, 950 secs || 10435397 markings, 240091130 edges, 13530 markings/sec, 950 secs
lola: STP completed || 8 tries, 7307883 fired transitions, 955 secs || 10496952 markings, 241379398 edges, 12311 markings/sec, 955 secs
lola: STP completed || 8 tries, 7345186 fired transitions, 960 secs || 10560454 markings, 242665629 edges, 12700 markings/sec, 960 secs
lola: STP completed || 8 tries, 7381282 fired transitions, 965 secs || 10623341 markings, 243946665 edges, 12577 markings/sec, 965 secs
lola: STP completed || 8 tries, 7419676 fired transitions, 970 secs || 10678508 markings, 245212278 edges, 11033 markings/sec, 970 secs
lola: STP completed || 8 tries, 7457934 fired transitions, 975 secs || 10732586 markings, 246481155 edges, 10816 markings/sec, 975 secs
lola: STP completed || 8 tries, 7496164 fired transitions, 980 secs || 10793848 markings, 247767137 edges, 12252 markings/sec, 980 secs
lola: STP completed || 8 tries, 7534427 fired transitions, 985 secs || 10847255 markings, 249023676 edges, 10681 markings/sec, 985 secs
lola: STP completed || 8 tries, 7572728 fired transitions, 990 secs || 10905881 markings, 250286269 edges, 11725 markings/sec, 990 secs
lola: STP completed || 8 tries, 7610782 fired transitions, 995 secs || 10961823 markings, 251553718 edges, 11188 markings/sec, 995 secs
lola: STP completed || 8 tries, 7648979 fired transitions, 1000 secs || 11016649 markings, 252819757 edges, 10965 markings/sec, 1000 secs
lola: STP completed || 8 tries, 7687403 fired transitions, 1005 secs || 11062600 markings, 254051335 edges, 9190 markings/sec, 1005 secs
lola: STP completed || 8 tries, 7725697 fired transitions, 1010 secs || 11118657 markings, 255322497 edges, 11211 markings/sec, 1010 secs
lola: STP completed || 8 tries, 7764295 fired transitions, 1015 secs || 11181353 markings, 256604486 edges, 12539 markings/sec, 1015 secs
lola: STP completed || 8 tries, 7802540 fired transitions, 1020 secs || 11244638 markings, 257898126 edges, 12657 markings/sec, 1020 secs
lola: STP completed || 8 tries, 7840838 fired transitions, 1025 secs || 11308795 markings, 259202642 edges, 12831 markings/sec, 1025 secs
lola: STP completed || 8 tries, 7879182 fired transitions, 1030 secs || 11363170 markings, 260485678 edges, 10875 markings/sec, 1030 secs
lola: STP completed || 8 tries, 7917655 fired transitions, 1035 secs || 11421179 markings, 261767901 edges, 11602 markings/sec, 1035 secs
lola: STP completed || 8 tries, 7955974 fired transitions, 1040 secs || 11481458 markings, 263038701 edges, 12056 markings/sec, 1040 secs
lola: STP completed || 8 tries, 7994316 fired transitions, 1045 secs || 11541968 markings, 264312904 edges, 12102 markings/sec, 1045 secs
lola: STP completed || 9 tries, 8032632 fired transitions, 1050 secs || 11588652 markings, 265554954 edges, 9337 markings/sec, 1050 secs
lola: STP completed || 9 tries, 8070784 fired transitions, 1055 secs || 11639305 markings, 266794762 edges, 10131 markings/sec, 1055 secs
lola: STP completed || 9 tries, 8109179 fired transitions, 1060 secs || 11693241 markings, 268053424 edges, 10787 markings/sec, 1060 secs
lola: STP completed || 9 tries, 8147523 fired transitions, 1065 secs || 11757627 markings, 269348255 edges, 12877 markings/sec, 1065 secs
lola: STP completed || 9 tries, 8185918 fired transitions, 1070 secs || 11819208 markings, 270623214 edges, 12316 markings/sec, 1070 secs
lola: STP completed || 9 tries, 8224353 fired transitions, 1075 secs || 11881791 markings, 271911402 edges, 12517 markings/sec, 1075 secs
lola: STP completed || 9 tries, 8262715 fired transitions, 1080 secs || 11936993 markings, 273157385 edges, 11040 markings/sec, 1080 secs
lola: STP completed || 9 tries, 8301134 fired transitions, 1085 secs || 12005166 markings, 274483024 edges, 13635 markings/sec, 1085 secs
lola: STP completed || 9 tries, 8339502 fired transitions, 1090 secs || 12060084 markings, 275765731 edges, 10984 markings/sec, 1090 secs
lola: STP completed || 9 tries, 8377939 fired transitions, 1095 secs || 12118276 markings, 277039174 edges, 11638 markings/sec, 1095 secs
lola: STP completed || 9 tries, 8416339 fired transitions, 1100 secs || 12175815 markings, 278301029 edges, 11508 markings/sec, 1100 secs
lola: STP completed || 9 tries, 8454713 fired transitions, 1105 secs || 12236429 markings, 279580196 edges, 12123 markings/sec, 1105 secs
lola: STP completed || 9 tries, 8493052 fired transitions, 1110 secs || 12297746 markings, 280849467 edges, 12263 markings/sec, 1110 secs
lola: STP completed || 9 tries, 8531373 fired transitions, 1115 secs || 12346081 markings, 282096695 edges, 9667 markings/sec, 1115 secs
lola: STP completed || 9 tries, 8569764 fired transitions, 1120 secs || 12399584 markings, 283356743 edges, 10701 markings/sec, 1120 secs
lola: STP completed || 9 tries, 8607985 fired transitions, 1125 secs || 12463918 markings, 284637471 edges, 12867 markings/sec, 1125 secs
lola: STP completed || 9 tries, 8646375 fired transitions, 1130 secs || 12519318 markings, 285903607 edges, 11080 markings/sec, 1130 secs
lola: STP completed || 9 tries, 8684716 fired transitions, 1135 secs || 12573877 markings, 287163786 edges, 10912 markings/sec, 1135 secs
lola: STP completed || 9 tries, 8723080 fired transitions, 1140 secs || 12641909 markings, 288466185 edges, 13606 markings/sec, 1140 secs
lola: STP completed || 9 tries, 8761362 fired transitions, 1145 secs || 12701150 markings, 289742785 edges, 11848 markings/sec, 1145 secs
lola: STP completed || 9 tries, 8799798 fired transitions, 1150 secs || 12753385 markings, 291003253 edges, 10447 markings/sec, 1150 secs
lola: STP completed || 9 tries, 8837948 fired transitions, 1155 secs || 12807263 markings, 292267097 edges, 10776 markings/sec, 1155 secs
lola: STP completed || 9 tries, 8876341 fired transitions, 1160 secs || 12861314 markings, 293521104 edges, 10810 markings/sec, 1160 secs
lola: STP completed || 9 tries, 8914574 fired transitions, 1165 secs || 12915024 markings, 294775589 edges, 10742 markings/sec, 1165 secs
lola: STP completed || 9 tries, 8953068 fired transitions, 1170 secs || 12970816 markings, 296045751 edges, 11158 markings/sec, 1170 secs
lola: STP completed || 9 tries, 8991420 fired transitions, 1175 secs || 13035189 markings, 297332453 edges, 12875 markings/sec, 1175 secs
lola: STP completed || 10 tries, 9029701 fired transitions, 1180 secs || 13090857 markings, 298609811 edges, 11134 markings/sec, 1180 secs
lola: STP completed || 10 tries, 9068056 fired transitions, 1185 secs || 13152400 markings, 299889733 edges, 12309 markings/sec, 1185 secs
lola: STP completed || 10 tries, 9106253 fired transitions, 1190 secs || 13207216 markings, 301160259 edges, 10963 markings/sec, 1190 secs
lola: STP completed || 10 tries, 9144293 fired transitions, 1195 secs || 13257679 markings, 302406408 edges, 10093 markings/sec, 1195 secs
lola: STP completed || 10 tries, 9182566 fired transitions, 1200 secs || 13311744 markings, 303661294 edges, 10813 markings/sec, 1200 secs
lola: STP completed || 10 tries, 9220995 fired transitions, 1205 secs || 13369683 markings, 304938885 edges, 11588 markings/sec, 1205 secs
lola: STP completed || 10 tries, 9259246 fired transitions, 1210 secs || 13431210 markings, 306230240 edges, 12305 markings/sec, 1210 secs
lola: STP completed || 10 tries, 9297539 fired transitions, 1215 secs || 13482974 markings, 307484499 edges, 10353 markings/sec, 1215 secs
lola: STP completed || 10 tries, 9335847 fired transitions, 1220 secs || 13535596 markings, 308735106 edges, 10524 markings/sec, 1220 secs
lola: STP completed || 10 tries, 9374197 fired transitions, 1225 secs || 13595835 markings, 310008887 edges, 12048 markings/sec, 1225 secs
lola: STP completed || 10 tries, 9412631 fired transitions, 1230 secs || 13664215 markings, 311320646 edges, 13676 markings/sec, 1230 secs
lola: STP completed || 10 tries, 9450731 fired transitions, 1235 secs || 13719494 markings, 312579376 edges, 11056 markings/sec, 1235 secs
lola: STP completed || 10 tries, 9489046 fired transitions, 1240 secs || 13776297 markings, 313839451 edges, 11361 markings/sec, 1240 secs
lola: STP completed || 10 tries, 9527487 fired transitions, 1245 secs || 13844215 markings, 315146480 edges, 13584 markings/sec, 1245 secs
lola: STP completed || 10 tries, 9565901 fired transitions, 1250 secs || 13902177 markings, 316416760 edges, 11592 markings/sec, 1250 secs
lola: STP completed || 10 tries, 9604185 fired transitions, 1255 secs || 13967618 markings, 317719322 edges, 13088 markings/sec, 1255 secs
lola: STP completed || 10 tries, 9642580 fired transitions, 1260 secs || 14029262 markings, 318998449 edges, 12329 markings/sec, 1260 secs
lola: STP completed || 10 tries, 9681094 fired transitions, 1265 secs || 14091503 markings, 320287004 edges, 12448 markings/sec, 1265 secs
lola: STP completed || 10 tries, 9719232 fired transitions, 1270 secs || 14154528 markings, 321572972 edges, 12605 markings/sec, 1270 secs
lola: STP completed || 10 tries, 9757528 fired transitions, 1275 secs || 14199027 markings, 322793721 edges, 8900 markings/sec, 1275 secs
lola: STP completed || 10 tries, 9795847 fired transitions, 1280 secs || 14255133 markings, 324064918 edges, 11221 markings/sec, 1280 secs
lola: STP completed || 10 tries, 9834153 fired transitions, 1285 secs || 14314188 markings, 325340897 edges, 11811 markings/sec, 1285 secs
lola: STP completed || 10 tries, 9872376 fired transitions, 1290 secs || 14380205 markings, 326637247 edges, 13203 markings/sec, 1290 secs
lola: STP completed || 10 tries, 9910577 fired transitions, 1295 secs || 14441988 markings, 327915486 edges, 12357 markings/sec, 1295 secs
lola: STP completed || 10 tries, 9948993 fired transitions, 1300 secs || 14507486 markings, 329214293 edges, 13100 markings/sec, 1300 secs
lola: STP completed || 10 tries, 9987399 fired transitions, 1305 secs || 14557021 markings, 330456451 edges, 9907 markings/sec, 1305 secs
lola: STP completed || 11 tries, 10026074 fired transitions, 1310 secs || 14612327 markings, 331724450 edges, 11061 markings/sec, 1310 secs
lola: STP completed || 11 tries, 10064716 fired transitions, 1315 secs || 14672019 markings, 332998098 edges, 11938 markings/sec, 1315 secs
lola: STP completed || 11 tries, 10103457 fired transitions, 1320 secs || 14734884 markings, 334263700 edges, 12573 markings/sec, 1320 secs
lola: STP completed || 11 tries, 10142847 fired transitions, 1325 secs || 14800251 markings, 335575351 edges, 13073 markings/sec, 1325 secs
lola: STP completed || 11 tries, 10181985 fired transitions, 1330 secs || 14862436 markings, 336874525 edges, 12437 markings/sec, 1330 secs
lola: STP completed || 11 tries, 10221675 fired transitions, 1335 secs || 14923878 markings, 338184925 edges, 12288 markings/sec, 1335 secs
lola: STP completed || 11 tries, 10259453 fired transitions, 1340 secs || 14986789 markings, 339454119 edges, 12582 markings/sec, 1340 secs
lola: STP completed || 11 tries, 10297496 fired transitions, 1345 secs || 15047202 markings, 340736117 edges, 12083 markings/sec, 1345 secs
lola: STP completed || 11 tries, 10336151 fired transitions, 1350 secs || 15104153 markings, 342004530 edges, 11390 markings/sec, 1350 secs
lola: STP completed || 11 tries, 10375813 fired transitions, 1355 secs || 15166932 markings, 343322298 edges, 12556 markings/sec, 1355 secs
lola: STP completed || 11 tries, 10415372 fired transitions, 1360 secs || 15226730 markings, 344636809 edges, 11960 markings/sec, 1360 secs
lola: STP completed || 11 tries, 10455007 fired transitions, 1365 secs || 15286505 markings, 345938567 edges, 11955 markings/sec, 1365 secs
lola: STP completed || 11 tries, 10494636 fired transitions, 1370 secs || 15348788 markings, 347260495 edges, 12457 markings/sec, 1370 secs
lola: STP completed || 11 tries, 10534121 fired transitions, 1375 secs || 15413397 markings, 348585498 edges, 12922 markings/sec, 1375 secs
lola: STP completed || 11 tries, 10573796 fired transitions, 1380 secs || 15473570 markings, 349895675 edges, 12035 markings/sec, 1380 secs
lola: STP completed || 11 tries, 10613360 fired transitions, 1385 secs || 15535583 markings, 351218226 edges, 12403 markings/sec, 1385 secs
lola: STP completed || 11 tries, 10653009 fired transitions, 1390 secs || 15600136 markings, 352541585 edges, 12911 markings/sec, 1390 secs
lola: STP completed || 11 tries, 10692824 fired transitions, 1395 secs || 15666981 markings, 353861134 edges, 13369 markings/sec, 1395 secs
lola: STP completed || 11 tries, 10732422 fired transitions, 1400 secs || 15731176 markings, 355171158 edges, 12839 markings/sec, 1400 secs
lola: STP completed || 11 tries, 10771648 fired transitions, 1405 secs || 15792895 markings, 356494067 edges, 12344 markings/sec, 1405 secs
lola: STP completed || 11 tries, 10811309 fired transitions, 1410 secs || 15858978 markings, 357814538 edges, 13217 markings/sec, 1410 secs
lola: STP completed || 11 tries, 10850699 fired transitions, 1415 secs || 15917695 markings, 359120297 edges, 11743 markings/sec, 1415 secs
lola: STP completed || 11 tries, 10890367 fired transitions, 1420 secs || 15982457 markings, 360428100 edges, 12952 markings/sec, 1420 secs
lola: STP completed || 11 tries, 10930049 fired transitions, 1425 secs || 16042330 markings, 361734417 edges, 11975 markings/sec, 1425 secs
lola: STP completed || 11 tries, 10969740 fired transitions, 1430 secs || 16101602 markings, 363030695 edges, 11854 markings/sec, 1430 secs
lola: STP completed || 12 tries, 11009336 fired transitions, 1435 secs || 16163256 markings, 364338371 edges, 12331 markings/sec, 1435 secs
lola: STP completed || 12 tries, 11047479 fired transitions, 1440 secs || 16223912 markings, 365603495 edges, 12131 markings/sec, 1440 secs
lola: STP completed || 12 tries, 11086834 fired transitions, 1445 secs || 16280229 markings, 366897323 edges, 11263 markings/sec, 1445 secs
lola: STP completed || 12 tries, 11126434 fired transitions, 1450 secs || 16335890 markings, 368183027 edges, 11132 markings/sec, 1450 secs
lola: STP completed || 12 tries, 11166007 fired transitions, 1455 secs || 16401417 markings, 369508035 edges, 13105 markings/sec, 1455 secs
lola: STP completed || 12 tries, 11205543 fired transitions, 1460 secs || 16464888 markings, 370826589 edges, 12694 markings/sec, 1460 secs
lola: STP completed || 12 tries, 11242984 fired transitions, 1465 secs || 16527430 markings, 372112808 edges, 12508 markings/sec, 1465 secs
lola: STP completed || 12 tries, 11280398 fired transitions, 1470 secs || 16585735 markings, 373363509 edges, 11661 markings/sec, 1470 secs
lola: STP completed || 12 tries, 11317567 fired transitions, 1475 secs || 16639829 markings, 374593295 edges, 10819 markings/sec, 1475 secs
lola: STP completed || 12 tries, 11354787 fired transitions, 1480 secs || 16702923 markings, 375849708 edges, 12619 markings/sec, 1480 secs
lola: STP completed || 12 tries, 11392037 fired transitions, 1485 secs || 16769062 markings, 377117603 edges, 13228 markings/sec, 1485 secs
lola: STP completed || 12 tries, 11429556 fired transitions, 1490 secs || 16832571 markings, 378381544 edges, 12702 markings/sec, 1490 secs
lola: STP completed || 12 tries, 11466833 fired transitions, 1495 secs || 16890520 markings, 379630917 edges, 11590 markings/sec, 1495 secs
lola: STP completed || 12 tries, 11504152 fired transitions, 1500 secs || 16947696 markings, 380879248 edges, 11435 markings/sec, 1500 secs
lola: STP completed || 12 tries, 11539275 fired transitions, 1505 secs || 17007764 markings, 382151657 edges, 12014 markings/sec, 1505 secs
lola: STP completed || 12 tries, 11577343 fired transitions, 1510 secs || 17061983 markings, 383415028 edges, 10844 markings/sec, 1510 secs
lola: STP completed || 12 tries, 11614861 fired transitions, 1515 secs || 17114409 markings, 384667962 edges, 10485 markings/sec, 1515 secs
lola: STP completed || 12 tries, 11652138 fired transitions, 1520 secs || 17166167 markings, 385892657 edges, 10352 markings/sec, 1520 secs
lola: STP completed || 12 tries, 11689402 fired transitions, 1525 secs || 17224339 markings, 387152176 edges, 11634 markings/sec, 1525 secs
lola: STP completed || 12 tries, 11724349 fired transitions, 1530 secs || 17280809 markings, 388395837 edges, 11294 markings/sec, 1530 secs
lola: STP completed || 12 tries, 11762735 fired transitions, 1535 secs || 17344509 markings, 389699807 edges, 12740 markings/sec, 1535 secs
lola: STP completed || 12 tries, 11799973 fired transitions, 1540 secs || 17406032 markings, 390949256 edges, 12305 markings/sec, 1540 secs
lola: STP completed || 12 tries, 11837311 fired transitions, 1545 secs || 17469207 markings, 392210579 edges, 12635 markings/sec, 1545 secs
lola: STP completed || 12 tries, 11874643 fired transitions, 1550 secs || 17524800 markings, 393456371 edges, 11119 markings/sec, 1550 secs
lola: STP completed || 12 tries, 11912083 fired transitions, 1555 secs || 17578178 markings, 394688465 edges, 10676 markings/sec, 1555 secs
lola: STP completed || 12 tries, 11949491 fired transitions, 1560 secs || 17631554 markings, 395906584 edges, 10675 markings/sec, 1560 secs
lola: STP completed || 12 tries, 11987060 fired transitions, 1565 secs || 17693485 markings, 397154694 edges, 12386 markings/sec, 1565 secs
lola: STP completed || 13 tries, 12024292 fired transitions, 1570 secs || 17755839 markings, 398416871 edges, 12471 markings/sec, 1570 secs
lola: STP completed || 13 tries, 12060489 fired transitions, 1575 secs || 17811760 markings, 399680883 edges, 11184 markings/sec, 1575 secs
lola: STP completed || 13 tries, 12098766 fired transitions, 1580 secs || 17874242 markings, 400959441 edges, 12496 markings/sec, 1580 secs
lola: STP completed || 13 tries, 12135896 fired transitions, 1585 secs || 17939516 markings, 402232441 edges, 13055 markings/sec, 1585 secs
lola: STP completed || 13 tries, 12173375 fired transitions, 1590 secs || 17995324 markings, 403468848 edges, 11162 markings/sec, 1590 secs
lola: STP completed || 13 tries, 12210434 fired transitions, 1595 secs || 18061456 markings, 404745394 edges, 13226 markings/sec, 1595 secs
lola: STP completed || 13 tries, 12247796 fired transitions, 1600 secs || 18125434 markings, 406018067 edges, 12796 markings/sec, 1600 secs
lola: STP completed || 13 tries, 12285175 fired transitions, 1605 secs || 18184223 markings, 407263876 edges, 11758 markings/sec, 1605 secs
lola: STP completed || 13 tries, 12322461 fired transitions, 1610 secs || 18241954 markings, 408512644 edges, 11546 markings/sec, 1610 secs
lola: STP completed || 13 tries, 12359739 fired transitions, 1615 secs || 18285693 markings, 409703557 edges, 8748 markings/sec, 1615 secs
lola: STP completed || 13 tries, 12396959 fired transitions, 1620 secs || 18341523 markings, 410946826 edges, 11166 markings/sec, 1620 secs
lola: STP completed || 13 tries, 12434350 fired transitions, 1625 secs || 18406856 markings, 412222306 edges, 13067 markings/sec, 1625 secs
lola: STP completed || 13 tries, 12471892 fired transitions, 1630 secs || 18471309 markings, 413492434 edges, 12891 markings/sec, 1630 secs
lola: STP completed || 13 tries, 12509034 fired transitions, 1635 secs || 18534353 markings, 414748297 edges, 12609 markings/sec, 1635 secs
lola: STP completed || 13 tries, 12546294 fired transitions, 1640 secs || 18601961 markings, 416024381 edges, 13522 markings/sec, 1640 secs
lola: STP completed || 13 tries, 12583696 fired transitions, 1645 secs || 18656823 markings, 417264438 edges, 10972 markings/sec, 1645 secs
lola: STP completed || 13 tries, 12621028 fired transitions, 1650 secs || 18712777 markings, 418501194 edges, 11191 markings/sec, 1650 secs
lola: STP completed || 13 tries, 12658089 fired transitions, 1655 secs || 18772868 markings, 419759147 edges, 12018 markings/sec, 1655 secs
lola: STP completed || 13 tries, 12695368 fired transitions, 1660 secs || 18834307 markings, 421011107 edges, 12288 markings/sec, 1660 secs
lola: STP completed || 13 tries, 12732524 fired transitions, 1665 secs || 18888832 markings, 422258146 edges, 10905 markings/sec, 1665 secs
lola: STP completed || 13 tries, 12769832 fired transitions, 1670 secs || 18945801 markings, 423494707 edges, 11394 markings/sec, 1670 secs
lola: STP completed || 13 tries, 12807012 fired transitions, 1675 secs || 19001338 markings, 424726938 edges, 11107 markings/sec, 1675 secs
lola: STP completed || 13 tries, 12844386 fired transitions, 1680 secs || 19057717 markings, 425972643 edges, 11276 markings/sec, 1680 secs
lola: STP completed || 13 tries, 12881723 fired transitions, 1685 secs || 19110311 markings, 427195962 edges, 10519 markings/sec, 1685 secs
lola: STP completed || 13 tries, 12918929 fired transitions, 1690 secs || 19172379 markings, 428453906 edges, 12414 markings/sec, 1690 secs
lola: STP completed || 13 tries, 12956171 fired transitions, 1695 secs || 19226791 markings, 429686589 edges, 10882 markings/sec, 1695 secs
lola: STP completed || 13 tries, 12993447 fired transitions, 1700 secs || 19289885 markings, 430948710 edges, 12619 markings/sec, 1700 secs
lola: STP completed || 14 tries, 13030888 fired transitions, 1705 secs || 19346171 markings, 432188917 edges, 11257 markings/sec, 1705 secs
lola: STP completed || 14 tries, 13068074 fired transitions, 1710 secs || 19406291 markings, 433442081 edges, 12024 markings/sec, 1710 secs
lola: STP completed || 14 tries, 13105385 fired transitions, 1715 secs || 19467285 markings, 434704651 edges, 12199 markings/sec, 1715 secs
lola: STP completed || 14 tries, 13140591 fired transitions, 1720 secs || 19530143 markings, 435985347 edges, 12572 markings/sec, 1720 secs
lola: STP completed || 14 tries, 13178919 fired transitions, 1725 secs || 19582271 markings, 437154953 edges, 10426 markings/sec, 1725 secs
lola: STP completed || 14 tries, 13217625 fired transitions, 1730 secs || 19644278 markings, 438424824 edges, 12401 markings/sec, 1730 secs
lola: STP completed || 14 tries, 13256328 fired transitions, 1735 secs || 19710254 markings, 439697676 edges, 13195 markings/sec, 1735 secs
lola: STP completed || 14 tries, 13295036 fired transitions, 1740 secs || 19766481 markings, 440943260 edges, 11245 markings/sec, 1740 secs
lola: STP completed || 14 tries, 13333827 fired transitions, 1745 secs || 19826345 markings, 442217149 edges, 11973 markings/sec, 1745 secs
lola: STP completed || 14 tries, 13371501 fired transitions, 1750 secs || 19889375 markings, 443481102 edges, 12606 markings/sec, 1750 secs
lola: STP completed || 14 tries, 13409846 fired transitions, 1755 secs || 19951330 markings, 444756919 edges, 12391 markings/sec, 1755 secs
lola: STP completed || 14 tries, 13448375 fired transitions, 1760 secs || 20010967 markings, 446023774 edges, 11927 markings/sec, 1760 secs
lola: STP completed || 14 tries, 13486757 fired transitions, 1765 secs || 20072829 markings, 447292529 edges, 12372 markings/sec, 1765 secs
lola: STP completed || 14 tries, 13525217 fired transitions, 1770 secs || 20134801 markings, 448565341 edges, 12394 markings/sec, 1770 secs
lola: STP completed || 14 tries, 13563651 fired transitions, 1775 secs || 20191839 markings, 449822446 edges, 11408 markings/sec, 1775 secs
lola: STP completed || 14 tries, 13601989 fired transitions, 1780 secs || 20255277 markings, 451107263 edges, 12688 markings/sec, 1780 secs
lola: STP completed || 14 tries, 13640229 fired transitions, 1785 secs || 20321622 markings, 452386466 edges, 13269 markings/sec, 1785 secs
lola: STP completed || 14 tries, 13678665 fired transitions, 1790 secs || 20387158 markings, 453675830 edges, 13107 markings/sec, 1790 secs
lola: STP completed || 14 tries, 13717170 fired transitions, 1795 secs || 20450553 markings, 454953865 edges, 12679 markings/sec, 1795 secs
lola: STP completed || 14 tries, 13755511 fired transitions, 1800 secs || 20503390 markings, 456200519 edges, 10567 markings/sec, 1800 secs
lola: STP completed || 14 tries, 13793873 fired transitions, 1805 secs || 20556135 markings, 457443278 edges, 10549 markings/sec, 1805 secs
lola: STP completed || 14 tries, 13832258 fired transitions, 1810 secs || 20617778 markings, 458721352 edges, 12329 markings/sec, 1810 secs
lola: STP completed || 14 tries, 13870649 fired transitions, 1815 secs || 20680167 markings, 459995528 edges, 12478 markings/sec, 1815 secs
lola: STP completed || 14 tries, 13909033 fired transitions, 1820 secs || 20743203 markings, 461272412 edges, 12607 markings/sec, 1820 secs
lola: STP completed || 14 tries, 13947455 fired transitions, 1825 secs || 20801334 markings, 462532063 edges, 11626 markings/sec, 1825 secs
lola: STP completed || 14 tries, 13985824 fired transitions, 1830 secs || 20863680 markings, 463820582 edges, 12469 markings/sec, 1830 secs
lola: STP completed || 15 tries, 14024361 fired transitions, 1835 secs || 20929432 markings, 465108195 edges, 13150 markings/sec, 1835 secs
lola: STP completed || 15 tries, 14062642 fired transitions, 1840 secs || 20991992 markings, 466386802 edges, 12512 markings/sec, 1840 secs
lola: STP completed || 15 tries, 14101208 fired transitions, 1845 secs || 21056621 markings, 467671486 edges, 12926 markings/sec, 1845 secs
lola: STP completed || 15 tries, 14140257 fired transitions, 1850 secs || 21118949 markings, 468962627 edges, 12466 markings/sec, 1850 secs
lola: STP completed || 15 tries, 14179973 fired transitions, 1855 secs || 21186552 markings, 470300885 edges, 13521 markings/sec, 1855 secs
lola: STP completed || 15 tries, 14218976 fired transitions, 1860 secs || 21254174 markings, 471607373 edges, 13524 markings/sec, 1860 secs
lola: STP completed || 15 tries, 14256757 fired transitions, 1865 secs || 21315792 markings, 472864048 edges, 12324 markings/sec, 1865 secs
lola: STP completed || 15 tries, 14294595 fired transitions, 1870 secs || 21377177 markings, 474118331 edges, 12277 markings/sec, 1870 secs
lola: STP completed || 15 tries, 14332444 fired transitions, 1875 secs || 21439214 markings, 475374894 edges, 12407 markings/sec, 1875 secs
lola: STP completed || 15 tries, 14370187 fired transitions, 1880 secs || 21491640 markings, 476598377 edges, 10485 markings/sec, 1880 secs
lola: STP completed || 15 tries, 14408029 fired transitions, 1885 secs || 21552251 markings, 477855511 edges, 12122 markings/sec, 1885 secs
lola: STP completed || 15 tries, 14445891 fired transitions, 1890 secs || 21611062 markings, 479115252 edges, 11762 markings/sec, 1890 secs
lola: STP completed || 15 tries, 14483720 fired transitions, 1895 secs || 21671506 markings, 480368105 edges, 12089 markings/sec, 1895 secs
lola: STP completed || 15 tries, 14521600 fired transitions, 1900 secs || 21730603 markings, 481623214 edges, 11819 markings/sec, 1900 secs
lola: STP completed || 15 tries, 14559218 fired transitions, 1905 secs || 21793540 markings, 482890406 edges, 12587 markings/sec, 1905 secs
lola: STP completed || 15 tries, 14597352 fired transitions, 1910 secs || 21853431 markings, 484141623 edges, 11978 markings/sec, 1910 secs
lola: STP completed || 15 tries, 14634943 fired transitions, 1915 secs || 21918368 markings, 485407347 edges, 12987 markings/sec, 1915 secs
lola: STP completed || 15 tries, 14672313 fired transitions, 1920 secs || 21983982 markings, 486678234 edges, 13123 markings/sec, 1920 secs
lola: STP completed || 15 tries, 14709731 fired transitions, 1925 secs || 22047339 markings, 487939353 edges, 12671 markings/sec, 1925 secs
lola: STP completed || 15 tries, 14747182 fired transitions, 1930 secs || 22109640 markings, 489191529 edges, 12460 markings/sec, 1930 secs
lola: STP completed || 15 tries, 14784687 fired transitions, 1935 secs || 22174900 markings, 490465395 edges, 13052 markings/sec, 1935 secs
lola: STP completed || 15 tries, 14822030 fired transitions, 1940 secs || 22233257 markings, 491715637 edges, 11671 markings/sec, 1940 secs
lola: STP completed || 15 tries, 14860344 fired transitions, 1945 secs || 22295732 markings, 493000569 edges, 12495 markings/sec, 1945 secs
lola: STP completed || 15 tries, 14898795 fired transitions, 1950 secs || 22359111 markings, 494298308 edges, 12676 markings/sec, 1950 secs
lola: STP completed || 15 tries, 14937197 fired transitions, 1955 secs || 22419517 markings, 495563959 edges, 12081 markings/sec, 1955 secs
lola: STP completed || 15 tries, 14975475 fired transitions, 1960 secs || 22479733 markings, 496827388 edges, 12043 markings/sec, 1960 secs
lola: STP completed || 16 tries, 15013672 fired transitions, 1965 secs || 22542090 markings, 498105598 edges, 12471 markings/sec, 1965 secs
lola: STP completed || 16 tries, 15051905 fired transitions, 1970 secs || 22605277 markings, 499388837 edges, 12637 markings/sec, 1970 secs
lola: STP completed || 16 tries, 15090197 fired transitions, 1975 secs || 22661547 markings, 500650357 edges, 11254 markings/sec, 1975 secs
lola: STP completed || 16 tries, 15128535 fired transitions, 1980 secs || 22726215 markings, 501937194 edges, 12934 markings/sec, 1980 secs
lola: STP completed || 16 tries, 15166760 fired transitions, 1985 secs || 22788787 markings, 503223748 edges, 12514 markings/sec, 1985 secs
lola: STP completed || 16 tries, 15205172 fired transitions, 1990 secs || 22854618 markings, 504513075 edges, 13166 markings/sec, 1990 secs
lola: STP completed || 16 tries, 15243463 fired transitions, 1995 secs || 22917788 markings, 505800781 edges, 12634 markings/sec, 1995 secs
lola: STP completed || 16 tries, 15281650 fired transitions, 2000 secs || 22983545 markings, 507104977 edges, 13151 markings/sec, 2000 secs
lola: STP completed || 16 tries, 15319896 fired transitions, 2005 secs || 23043930 markings, 508392389 edges, 12077 markings/sec, 2005 secs
lola: STP completed || 16 tries, 15358223 fired transitions, 2010 secs || 23107992 markings, 509688117 edges, 12812 markings/sec, 2010 secs
lola: STP completed || 16 tries, 15396491 fired transitions, 2015 secs || 23169042 markings, 510967145 edges, 12210 markings/sec, 2015 secs
lola: STP completed || 16 tries, 15434780 fired transitions, 2020 secs || 23229349 markings, 512252912 edges, 12061 markings/sec, 2020 secs
lola: STP completed || 16 tries, 15472957 fired transitions, 2025 secs || 23295025 markings, 513554580 edges, 13135 markings/sec, 2025 secs
lola: STP completed || 16 tries, 15511396 fired transitions, 2030 secs || 23364799 markings, 514872089 edges, 13955 markings/sec, 2030 secs
lola: STP completed || 16 tries, 15549548 fired transitions, 2035 secs || 23425879 markings, 516160152 edges, 12216 markings/sec, 2035 secs
lola: STP completed || 16 tries, 15587856 fired transitions, 2040 secs || 23486887 markings, 517446758 edges, 12202 markings/sec, 2040 secs
lola: STP completed || 16 tries, 15626099 fired transitions, 2045 secs || 23549785 markings, 518734961 edges, 12580 markings/sec, 2045 secs
lola: STP completed || 16 tries, 15664375 fired transitions, 2050 secs || 23615246 markings, 520032543 edges, 13092 markings/sec, 2050 secs
lola: STP completed || 16 tries, 15702715 fired transitions, 2055 secs || 23675444 markings, 521322732 edges, 12040 markings/sec, 2055 secs
lola: STP completed || 16 tries, 15740985 fired transitions, 2060 secs || 23737030 markings, 522606968 edges, 12317 markings/sec, 2060 secs
lola: STP completed || 16 tries, 15779182 fired transitions, 2065 secs || 23798742 markings, 523896447 edges, 12342 markings/sec, 2065 secs
lola: STP completed || 16 tries, 15817548 fired transitions, 2070 secs || 23865198 markings, 525208114 edges, 13291 markings/sec, 2070 secs
lola: STP completed || 16 tries, 15855818 fired transitions, 2075 secs || 23928244 markings, 526505080 edges, 12609 markings/sec, 2075 secs
lola: STP completed || 16 tries, 15894084 fired transitions, 2080 secs || 23995447 markings, 527815910 edges, 13441 markings/sec, 2080 secs
lola: STP completed || 16 tries, 15932504 fired transitions, 2085 secs || 24062025 markings, 529122899 edges, 13316 markings/sec, 2085 secs
lola: STP completed || 16 tries, 15970817 fired transitions, 2090 secs || 24125267 markings, 530419996 edges, 12648 markings/sec, 2090 secs
lola: STP completed || 17 tries, 16008999 fired transitions, 2095 secs || 24186775 markings, 531706593 edges, 12302 markings/sec, 2095 secs
lola: STP completed || 17 tries, 16047387 fired transitions, 2100 secs || 24250942 markings, 533003919 edges, 12833 markings/sec, 2100 secs
lola: STP completed || 17 tries, 16085687 fired transitions, 2105 secs || 24313549 markings, 534302878 edges, 12521 markings/sec, 2105 secs
lola: STP completed || 17 tries, 16124094 fired transitions, 2110 secs || 24376641 markings, 535600858 edges, 12618 markings/sec, 2110 secs
lola: STP completed || 17 tries, 16162030 fired transitions, 2115 secs || 24435701 markings, 536867327 edges, 11812 markings/sec, 2115 secs
lola: STP completed || 17 tries, 16200002 fired transitions, 2120 secs || 24494943 markings, 538057297 edges, 11848 markings/sec, 2120 secs
lola: STP completed || 17 tries, 16237432 fired transitions, 2125 secs || 24555380 markings, 539318189 edges, 12087 markings/sec, 2125 secs
lola: STP completed || 17 tries, 16274593 fired transitions, 2130 secs || 24618854 markings, 540589234 edges, 12695 markings/sec, 2130 secs
lola: STP completed || 17 tries, 16311871 fired transitions, 2135 secs || 24680382 markings, 541854990 edges, 12306 markings/sec, 2135 secs
lola: STP completed || 17 tries, 16349176 fired transitions, 2140 secs || 24740655 markings, 543111558 edges, 12055 markings/sec, 2140 secs
lola: STP completed || 17 tries, 16386523 fired transitions, 2145 secs || 24799594 markings, 544360529 edges, 11788 markings/sec, 2145 secs
lola: STP completed || 17 tries, 16423753 fired transitions, 2150 secs || 24856959 markings, 545602813 edges, 11473 markings/sec, 2150 secs
lola: STP completed || 17 tries, 16461149 fired transitions, 2155 secs || 24920470 markings, 546868761 edges, 12702 markings/sec, 2155 secs
lola: STP completed || 17 tries, 16498422 fired transitions, 2160 secs || 24970926 markings, 548086170 edges, 10091 markings/sec, 2160 secs
lola: STP completed || 17 tries, 16535690 fired transitions, 2165 secs || 25033986 markings, 549359738 edges, 12612 markings/sec, 2165 secs
lola: STP completed || 17 tries, 16572943 fired transitions, 2170 secs || 25095434 markings, 550630228 edges, 12290 markings/sec, 2170 secs
lola: STP completed || 17 tries, 16610200 fired transitions, 2175 secs || 25159881 markings, 551898732 edges, 12889 markings/sec, 2175 secs
lola: STP completed || 17 tries, 16647642 fired transitions, 2180 secs || 25222745 markings, 553170661 edges, 12573 markings/sec, 2180 secs
lola: STP completed || 17 tries, 16685691 fired transitions, 2185 secs || 25285241 markings, 554381996 edges, 12499 markings/sec, 2185 secs
lola: STP completed || 17 tries, 16723046 fired transitions, 2190 secs || 25351825 markings, 555657903 edges, 13317 markings/sec, 2190 secs
lola: STP completed || 17 tries, 16760390 fired transitions, 2195 secs || 25414362 markings, 556923306 edges, 12507 markings/sec, 2195 secs
lola: STP completed || 17 tries, 16797774 fired transitions, 2200 secs || 25479130 markings, 558196559 edges, 12954 markings/sec, 2200 secs
lola: STP completed || 17 tries, 16835189 fired transitions, 2205 secs || 25535495 markings, 559436576 edges, 11273 markings/sec, 2205 secs
lola: STP completed || 17 tries, 16872479 fired transitions, 2210 secs || 25598643 markings, 560699591 edges, 12630 markings/sec, 2210 secs
lola: STP completed || 17 tries, 16911277 fired transitions, 2215 secs || 25661470 markings, 561915167 edges, 12565 markings/sec, 2215 secs
lola: STP completed || 17 tries, 16950200 fired transitions, 2220 secs || 25723583 markings, 563186518 edges, 12423 markings/sec, 2220 secs
lola: STP completed || 17 tries, 16987774 fired transitions, 2225 secs || 25772008 markings, 564391827 edges, 9685 markings/sec, 2225 secs
lola: STP completed || 18 tries, 17025126 fired transitions, 2230 secs || 25831884 markings, 565652684 edges, 11975 markings/sec, 2230 secs
lola: STP completed || 18 tries, 17062703 fired transitions, 2235 secs || 25890809 markings, 566888391 edges, 11785 markings/sec, 2235 secs
lola: STP completed || 18 tries, 17099968 fired transitions, 2240 secs || 25959537 markings, 568173803 edges, 13746 markings/sec, 2240 secs
lola: STP completed || 18 tries, 17137537 fired transitions, 2245 secs || 26018380 markings, 569424864 edges, 11769 markings/sec, 2245 secs
lola: STP completed || 18 tries, 17174922 fired transitions, 2250 secs || 26079476 markings, 570688076 edges, 12219 markings/sec, 2250 secs
lola: STP completed || 18 tries, 17213828 fired transitions, 2255 secs || 26135875 markings, 571871034 edges, 11280 markings/sec, 2255 secs
lola: STP completed || 18 tries, 17251031 fired transitions, 2260 secs || 26202072 markings, 573149277 edges, 13239 markings/sec, 2260 secs
lola: STP completed || 18 tries, 17288173 fired transitions, 2265 secs || 26261354 markings, 574406439 edges, 11856 markings/sec, 2265 secs
lola: STP completed || 18 tries, 17325570 fired transitions, 2270 secs || 26323848 markings, 575666855 edges, 12499 markings/sec, 2270 secs
lola: STP completed || 18 tries, 17364338 fired transitions, 2275 secs || 26385123 markings, 576880848 edges, 12255 markings/sec, 2275 secs
lola: STP completed || 18 tries, 17403279 fired transitions, 2280 secs || 26448415 markings, 578140755 edges, 12658 markings/sec, 2280 secs
lola: STP completed || 18 tries, 17442016 fired transitions, 2285 secs || 26513847 markings, 579423318 edges, 13086 markings/sec, 2285 secs
lola: STP completed || 18 tries, 17481080 fired transitions, 2290 secs || 26574927 markings, 580676419 edges, 12216 markings/sec, 2290 secs
lola: STP completed || 18 tries, 17519818 fired transitions, 2295 secs || 26635097 markings, 581943808 edges, 12034 markings/sec, 2295 secs
lola: STP completed || 18 tries, 17558768 fired transitions, 2300 secs || 26694010 markings, 583201200 edges, 11783 markings/sec, 2300 secs
lola: STP completed || 18 tries, 17597569 fired transitions, 2305 secs || 26749764 markings, 584442945 edges, 11151 markings/sec, 2305 secs
lola: STP completed || 18 tries, 17636472 fired transitions, 2310 secs || 26813254 markings, 585714883 edges, 12698 markings/sec, 2310 secs
lola: STP completed || 18 tries, 17675477 fired transitions, 2315 secs || 26878549 markings, 586991335 edges, 13059 markings/sec, 2315 secs
lola: STP completed || 18 tries, 17714529 fired transitions, 2320 secs || 26940828 markings, 588258281 edges, 12456 markings/sec, 2320 secs
lola: STP completed || 18 tries, 17753254 fired transitions, 2325 secs || 27005298 markings, 589530273 edges, 12894 markings/sec, 2325 secs
lola: STP completed || 18 tries, 17791921 fired transitions, 2330 secs || 27070216 markings, 590806026 edges, 12984 markings/sec, 2330 secs
lola: STP completed || 18 tries, 17830667 fired transitions, 2335 secs || 27132549 markings, 592076112 edges, 12467 markings/sec, 2335 secs
lola: STP completed || 18 tries, 17869452 fired transitions, 2340 secs || 27194679 markings, 593345671 edges, 12426 markings/sec, 2340 secs
lola: STP completed || 18 tries, 17908300 fired transitions, 2345 secs || 27258173 markings, 594612233 edges, 12699 markings/sec, 2345 secs
lola: STP completed || 18 tries, 17947500 fired transitions, 2350 secs || 27319580 markings, 595873857 edges, 12281 markings/sec, 2350 secs
lola: STP completed || 18 tries, 17986279 fired transitions, 2355 secs || 27377628 markings, 597119332 edges, 11610 markings/sec, 2355 secs
lola: STP completed || 19 tries, 18025214 fired transitions, 2360 secs || 27436754 markings, 598374007 edges, 11825 markings/sec, 2360 secs
lola: STP completed || 19 tries, 18064242 fired transitions, 2365 secs || 27500103 markings, 599642536 edges, 12670 markings/sec, 2365 secs
lola: STP completed || 19 tries, 18103048 fired transitions, 2370 secs || 27559062 markings, 600888090 edges, 11792 markings/sec, 2370 secs
lola: STP completed || 19 tries, 18141779 fired transitions, 2375 secs || 27624537 markings, 602170938 edges, 13095 markings/sec, 2375 secs
lola: STP completed || 19 tries, 18180628 fired transitions, 2380 secs || 27692466 markings, 603461275 edges, 13586 markings/sec, 2380 secs
lola: STP completed || 19 tries, 18219506 fired transitions, 2385 secs || 27757434 markings, 604740936 edges, 12994 markings/sec, 2385 secs
lola: STP completed || 19 tries, 18258235 fired transitions, 2390 secs || 27820486 markings, 606010708 edges, 12610 markings/sec, 2390 secs
lola: STP completed || 19 tries, 18297162 fired transitions, 2395 secs || 27885557 markings, 607295565 edges, 13014 markings/sec, 2395 secs
lola: STP completed || 19 tries, 18336080 fired transitions, 2400 secs || 27950713 markings, 608574187 edges, 13031 markings/sec, 2400 secs
lola: STP completed || 19 tries, 18374864 fired transitions, 2405 secs || 28013412 markings, 609848599 edges, 12540 markings/sec, 2405 secs
lola: STP completed || 19 tries, 18413655 fired transitions, 2410 secs || 28075535 markings, 611114695 edges, 12425 markings/sec, 2410 secs
lola: STP completed || 19 tries, 18452300 fired transitions, 2415 secs || 28128831 markings, 612351034 edges, 10659 markings/sec, 2415 secs
lola: STP completed || 19 tries, 18490992 fired transitions, 2420 secs || 28193276 markings, 613620665 edges, 12889 markings/sec, 2420 secs
lola: STP completed || 19 tries, 18529868 fired transitions, 2425 secs || 28260410 markings, 614907611 edges, 13427 markings/sec, 2425 secs
lola: STP completed || 19 tries, 18568804 fired transitions, 2430 secs || 28322366 markings, 616182570 edges, 12391 markings/sec, 2430 secs
lola: STP completed || 19 tries, 18607759 fired transitions, 2435 secs || 28388316 markings, 617472198 edges, 13190 markings/sec, 2435 secs
lola: STP completed || 19 tries, 18646847 fired transitions, 2440 secs || 28451856 markings, 618741957 edges, 12708 markings/sec, 2440 secs
lola: STP completed || 19 tries, 18685498 fired transitions, 2445 secs || 28513065 markings, 620014530 edges, 12242 markings/sec, 2445 secs
lola: STP completed || 19 tries, 18724408 fired transitions, 2450 secs || 28577584 markings, 621284100 edges, 12904 markings/sec, 2450 secs
lola: STP completed || 19 tries, 18763210 fired transitions, 2455 secs || 28639558 markings, 622556854 edges, 12395 markings/sec, 2455 secs
lola: STP completed || 19 tries, 18800622 fired transitions, 2460 secs || 28700155 markings, 623808860 edges, 12119 markings/sec, 2460 secs
lola: STP completed || 19 tries, 18838085 fired transitions, 2465 secs || 28757297 markings, 624982178 edges, 11428 markings/sec, 2465 secs
lola: STP completed || 19 tries, 18876818 fired transitions, 2470 secs || 28822576 markings, 626261708 edges, 13056 markings/sec, 2470 secs
lola: STP completed || 19 tries, 18914215 fired transitions, 2475 secs || 28883404 markings, 627517301 edges, 12166 markings/sec, 2475 secs
lola: STP completed || 19 tries, 18951369 fired transitions, 2480 secs || 28945370 markings, 628783978 edges, 12393 markings/sec, 2480 secs
lola: STP completed || 19 tries, 18988937 fired transitions, 2485 secs || 29001810 markings, 629968981 edges, 11288 markings/sec, 2485 secs
lola: STP completed || 20 tries, 19026221 fired transitions, 2490 secs || 29065532 markings, 631231737 edges, 12744 markings/sec, 2490 secs
lola: STP completed || 20 tries, 19063494 fired transitions, 2495 secs || 29132184 markings, 632506671 edges, 13330 markings/sec, 2495 secs
lola: STP completed || 20 tries, 19100810 fired transitions, 2500 secs || 29193796 markings, 633758779 edges, 12322 markings/sec, 2500 secs
lola: STP completed || 20 tries, 19138056 fired transitions, 2505 secs || 29260540 markings, 635042763 edges, 13349 markings/sec, 2505 secs
lola: STP completed || 20 tries, 19175353 fired transitions, 2510 secs || 29322622 markings, 636305539 edges, 12416 markings/sec, 2510 secs
lola: STP completed || 20 tries, 19212539 fired transitions, 2515 secs || 29388903 markings, 637574271 edges, 13256 markings/sec, 2515 secs
lola: STP completed || 20 tries, 19249922 fired transitions, 2520 secs || 29449769 markings, 638826220 edges, 12173 markings/sec, 2520 secs
lola: STP completed || 20 tries, 19287367 fired transitions, 2525 secs || 29514440 markings, 640106036 edges, 12934 markings/sec, 2525 secs
lola: STP completed || 20 tries, 19324645 fired transitions, 2530 secs || 29575835 markings, 641366886 edges, 12279 markings/sec, 2530 secs
lola: STP completed || 20 tries, 19362180 fired transitions, 2535 secs || 29638760 markings, 642627627 edges, 12585 markings/sec, 2535 secs
lola: STP completed || 20 tries, 19399547 fired transitions, 2540 secs || 29703554 markings, 643906840 edges, 12959 markings/sec, 2540 secs
lola: STP completed || 20 tries, 19436861 fired transitions, 2545 secs || 29765665 markings, 645151063 edges, 12422 markings/sec, 2545 secs
lola: STP completed || 20 tries, 19474464 fired transitions, 2550 secs || 29823736 markings, 646340793 edges, 11614 markings/sec, 2550 secs
lola: STP completed || 20 tries, 19511839 fired transitions, 2555 secs || 29893074 markings, 647627445 edges, 13868 markings/sec, 2555 secs
lola: STP completed || 20 tries, 19549537 fired transitions, 2560 secs || 29952916 markings, 648829358 edges, 11968 markings/sec, 2560 secs
lola: STP completed || 20 tries, 19588391 fired transitions, 2565 secs || 30017071 markings, 650093088 edges, 12831 markings/sec, 2565 secs
lola: STP completed || 20 tries, 19625722 fired transitions, 2570 secs || 30083812 markings, 651373879 edges, 13348 markings/sec, 2570 secs
lola: STP completed || 20 tries, 19663202 fired transitions, 2575 secs || 30145567 markings, 652638423 edges, 12351 markings/sec, 2575 secs
lola: STP completed || 20 tries, 19700432 fired transitions, 2580 secs || 30208505 markings, 653904640 edges, 12588 markings/sec, 2580 secs
lola: STP completed || 20 tries, 19737748 fired transitions, 2585 secs || 30269995 markings, 655159184 edges, 12298 markings/sec, 2585 secs
lola: STP completed || 20 tries, 19775038 fired transitions, 2590 secs || 30335400 markings, 656433505 edges, 13081 markings/sec, 2590 secs
lola: STP completed || 20 tries, 19812672 fired transitions, 2595 secs || 30403102 markings, 657718630 edges, 13540 markings/sec, 2595 secs
lola: STP completed || 20 tries, 19851544 fired transitions, 2600 secs || 30460897 markings, 658917394 edges, 11559 markings/sec, 2600 secs
lola: STP completed || 20 tries, 19888910 fired transitions, 2605 secs || 30509222 markings, 660149962 edges, 9665 markings/sec, 2605 secs
lola: STP completed || 20 tries, 19926233 fired transitions, 2610 secs || 30559941 markings, 661392306 edges, 10144 markings/sec, 2610 secs
lola: STP completed || 20 tries, 19963755 fired transitions, 2615 secs || 30611738 markings, 662645335 edges, 10359 markings/sec, 2615 secs
lola: STP completed || 21 tries, 20001009 fired transitions, 2620 secs || 30664568 markings, 663893070 edges, 10566 markings/sec, 2620 secs
lola: STP completed || 21 tries, 20038367 fired transitions, 2625 secs || 30724011 markings, 665148520 edges, 11889 markings/sec, 2625 secs
lola: STP completed || 21 tries, 20075624 fired transitions, 2630 secs || 30785264 markings, 666415190 edges, 12251 markings/sec, 2630 secs
lola: STP completed || 21 tries, 20114001 fired transitions, 2635 secs || 30845732 markings, 667621018 edges, 12094 markings/sec, 2635 secs
lola: STP completed || 21 tries, 20151791 fired transitions, 2640 secs || 30910825 markings, 668902731 edges, 13019 markings/sec, 2640 secs
lola: STP completed || 21 tries, 20189497 fired transitions, 2645 secs || 30973400 markings, 670170099 edges, 12515 markings/sec, 2645 secs
lola: STP completed || 21 tries, 20227229 fired transitions, 2650 secs || 31033326 markings, 671384474 edges, 11985 markings/sec, 2650 secs
lola: STP completed || 21 tries, 20265788 fired transitions, 2655 secs || 31092253 markings, 672624506 edges, 11785 markings/sec, 2655 secs
lola: STP completed || 21 tries, 20303298 fired transitions, 2660 secs || 31154565 markings, 673887521 edges, 12462 markings/sec, 2660 secs
lola: STP completed || 21 tries, 20340698 fired transitions, 2665 secs || 31213603 markings, 675131785 edges, 11808 markings/sec, 2665 secs
lola: STP completed || 21 tries, 20377873 fired transitions, 2670 secs || 31275807 markings, 676391667 edges, 12441 markings/sec, 2670 secs
lola: STP completed || 21 tries, 20416598 fired transitions, 2675 secs || 31339545 markings, 677621412 edges, 12748 markings/sec, 2675 secs
lola: STP completed || 21 tries, 20455496 fired transitions, 2680 secs || 31402216 markings, 678886982 edges, 12534 markings/sec, 2680 secs
lola: STP completed || 21 tries, 20492709 fired transitions, 2685 secs || 31464443 markings, 680145784 edges, 12445 markings/sec, 2685 secs
lola: STP completed || 21 tries, 20531388 fired transitions, 2690 secs || 31526247 markings, 681348989 edges, 12361 markings/sec, 2690 secs
lola: STP completed || 21 tries, 20569032 fired transitions, 2695 secs || 31592105 markings, 682626859 edges, 13172 markings/sec, 2695 secs
lola: STP completed || 21 tries, 20606285 fired transitions, 2700 secs || 31656085 markings, 683898241 edges, 12796 markings/sec, 2700 secs
lola: STP completed || 21 tries, 20644964 fired transitions, 2705 secs || 31716915 markings, 685097197 edges, 12166 markings/sec, 2705 secs
lola: STP completed || 21 tries, 20682448 fired transitions, 2710 secs || 31780297 markings, 686363677 edges, 12676 markings/sec, 2710 secs
lola: STP completed || 21 tries, 20719984 fired transitions, 2715 secs || 31845545 markings, 687633797 edges, 13050 markings/sec, 2715 secs
lola: STP completed || 21 tries, 20757161 fired transitions, 2720 secs || 31911279 markings, 688908767 edges, 13147 markings/sec, 2720 secs
lola: STP completed || 21 tries, 20794697 fired transitions, 2725 secs || 31977457 markings, 690188082 edges, 13236 markings/sec, 2725 secs
lola: STP completed || 21 tries, 20832797 fired transitions, 2730 secs || 32039044 markings, 691383141 edges, 12317 markings/sec, 2730 secs
lola: STP completed || 21 tries, 20871729 fired transitions, 2735 secs || 32102541 markings, 692641965 edges, 12699 markings/sec, 2735 secs
lola: STP completed || 21 tries, 20910632 fired transitions, 2740 secs || 32168856 markings, 693927489 edges, 13263 markings/sec, 2740 secs
lola: STP completed || 21 tries, 20947806 fired transitions, 2745 secs || 32233368 markings, 695197708 edges, 12902 markings/sec, 2745 secs
lola: STP completed || 21 tries, 20985179 fired transitions, 2750 secs || 32298587 markings, 696461601 edges, 13044 markings/sec, 2750 secs
lola: STP completed || 22 tries, 21022460 fired transitions, 2755 secs || 32361648 markings, 697726625 edges, 12612 markings/sec, 2755 secs
lola: STP completed || 22 tries, 21060103 fired transitions, 2760 secs || 32424634 markings, 698941043 edges, 12597 markings/sec, 2760 secs
lola: STP completed || 22 tries, 21098734 fired transitions, 2765 secs || 32484747 markings, 700192368 edges, 12023 markings/sec, 2765 secs
lola: STP completed || 22 tries, 21136115 fired transitions, 2770 secs || 32552106 markings, 701476461 edges, 13472 markings/sec, 2770 secs
lola: STP completed || 22 tries, 21173274 fired transitions, 2775 secs || 32617013 markings, 702743201 edges, 12981 markings/sec, 2775 secs
lola: STP completed || 22 tries, 21210626 fired transitions, 2780 secs || 32677857 markings, 703993253 edges, 12169 markings/sec, 2780 secs
lola: STP completed || 22 tries, 21248855 fired transitions, 2785 secs || 32738155 markings, 705157692 edges, 12060 markings/sec, 2785 secs
lola: STP completed || 22 tries, 21287680 fired transitions, 2790 secs || 32801074 markings, 706428188 edges, 12584 markings/sec, 2790 secs
lola: STP completed || 22 tries, 21324975 fired transitions, 2795 secs || 32857099 markings, 707683557 edges, 11205 markings/sec, 2795 secs
lola: STP completed || 22 tries, 21362319 fired transitions, 2800 secs || 32905810 markings, 708919662 edges, 9742 markings/sec, 2800 secs
lola: STP completed || 22 tries, 21399699 fired transitions, 2805 secs || 32956755 markings, 710167416 edges, 10189 markings/sec, 2805 secs
lola: STP completed || 22 tries, 21436892 fired transitions, 2810 secs || 33008502 markings, 711412188 edges, 10349 markings/sec, 2810 secs
lola: STP completed || 22 tries, 21474052 fired transitions, 2815 secs || 33061200 markings, 712660877 edges, 10540 markings/sec, 2815 secs
lola: STP completed || 22 tries, 21511243 fired transitions, 2820 secs || 33119694 markings, 713915752 edges, 11699 markings/sec, 2820 secs
lola: STP completed || 22 tries, 21549171 fired transitions, 2825 secs || 33185400 markings, 715196464 edges, 13141 markings/sec, 2825 secs
lola: STP completed || 22 tries, 21586430 fired transitions, 2830 secs || 33253729 markings, 716480143 edges, 13666 markings/sec, 2830 secs
lola: STP completed || 22 tries, 21625080 fired transitions, 2835 secs || 33306953 markings, 717657995 edges, 10645 markings/sec, 2835 secs
lola: STP completed || 22 tries, 21663799 fired transitions, 2840 secs || 33370125 markings, 718926206 edges, 12634 markings/sec, 2840 secs
lola: STP completed || 22 tries, 21702585 fired transitions, 2845 secs || 33433462 markings, 720198653 edges, 12667 markings/sec, 2845 secs
lola: STP completed || 22 tries, 21741368 fired transitions, 2850 secs || 33498078 markings, 721473864 edges, 12923 markings/sec, 2850 secs
lola: STP completed || 22 tries, 21779959 fired transitions, 2855 secs || 33546367 markings, 722714381 edges, 9658 markings/sec, 2855 secs
lola: STP completed || 22 tries, 21817256 fired transitions, 2860 secs || 33592455 markings, 723936955 edges, 9218 markings/sec, 2860 secs
lola: STP completed || 22 tries, 21855875 fired transitions, 2865 secs || 33637134 markings, 725106373 edges, 8936 markings/sec, 2865 secs
lola: STP completed || 22 tries, 21891960 fired transitions, 2870 secs || 33686676 markings, 726332047 edges, 9908 markings/sec, 2870 secs
lola: STP completed || 22 tries, 21930180 fired transitions, 2875 secs || 33735289 markings, 727577063 edges, 9723 markings/sec, 2875 secs
lola: STP completed || 22 tries, 21968375 fired transitions, 2880 secs || 33782388 markings, 728825826 edges, 9420 markings/sec, 2880 secs
lola: STP completed || 23 tries, 22006695 fired transitions, 2885 secs || 33829723 markings, 730074506 edges, 9467 markings/sec, 2885 secs
lola: STP completed || 23 tries, 22044753 fired transitions, 2890 secs || 33876003 markings, 731305945 edges, 9256 markings/sec, 2890 secs
lola: STP completed || 23 tries, 22082983 fired transitions, 2895 secs || 33927299 markings, 732547740 edges, 10259 markings/sec, 2895 secs
lola: STP completed || 23 tries, 22121187 fired transitions, 2900 secs || 33975598 markings, 733798377 edges, 9660 markings/sec, 2900 secs
lola: STP completed || 23 tries, 22159376 fired transitions, 2905 secs || 34027493 markings, 735054485 edges, 10379 markings/sec, 2905 secs
lola: STP completed || 23 tries, 22197548 fired transitions, 2910 secs || 34078885 markings, 736306455 edges, 10278 markings/sec, 2910 secs
lola: STP completed || 23 tries, 22235845 fired transitions, 2915 secs || 34130572 markings, 737553336 edges, 10337 markings/sec, 2915 secs
lola: STP completed || 23 tries, 22274102 fired transitions, 2920 secs || 34182940 markings, 738802778 edges, 10474 markings/sec, 2920 secs
lola: STP completed || 23 tries, 22311960 fired transitions, 2925 secs || 34235693 markings, 740046140 edges, 10551 markings/sec, 2925 secs
lola: STP completed || 23 tries, 22347017 fired transitions, 2930 secs || 34288246 markings, 741284645 edges, 10511 markings/sec, 2930 secs
lola: STP completed || 23 tries, 22385411 fired transitions, 2935 secs || 34341509 markings, 742544398 edges, 10653 markings/sec, 2935 secs
lola: STP completed || 23 tries, 22423603 fired transitions, 2940 secs || 34393328 markings, 743795767 edges, 10364 markings/sec, 2940 secs
lola: STP completed || 23 tries, 22461845 fired transitions, 2945 secs || 34447175 markings, 745057163 edges, 10769 markings/sec, 2945 secs
lola: STP completed || 23 tries, 22500112 fired transitions, 2950 secs || 34501664 markings, 746322157 edges, 10898 markings/sec, 2950 secs
lola: STP completed || 23 tries, 22538239 fired transitions, 2955 secs || 34546212 markings, 747563133 edges, 8910 markings/sec, 2955 secs
lola: STP completed || 23 tries, 22576378 fired transitions, 2960 secs || 34600990 markings, 748824272 edges, 10956 markings/sec, 2960 secs
lola: STP completed || 23 tries, 22614750 fired transitions, 2965 secs || 34657502 markings, 750100069 edges, 11302 markings/sec, 2965 secs
lola: STP completed || 23 tries, 22653095 fired transitions, 2970 secs || 34707198 markings, 751353361 edges, 9939 markings/sec, 2970 secs
lola: STP completed || 23 tries, 22691372 fired transitions, 2975 secs || 34758856 markings, 752614693 edges, 10332 markings/sec, 2975 secs
lola: STP completed || 23 tries, 22729623 fired transitions, 2980 secs || 34811541 markings, 753877805 edges, 10537 markings/sec, 2980 secs
lola: STP completed || 23 tries, 22767823 fired transitions, 2985 secs || 34860226 markings, 755121562 edges, 9737 markings/sec, 2985 secs
lola: STP completed || 23 tries, 22806056 fired transitions, 2990 secs || 34918033 markings, 756398415 edges, 11561 markings/sec, 2990 secs
lola: STP completed || 23 tries, 22844216 fired transitions, 2995 secs || 34971752 markings, 757647309 edges, 10744 markings/sec, 2995 secs
lola: STP completed || 23 tries, 22881540 fired transitions, 3000 secs || 35022323 markings, 758868916 edges, 10114 markings/sec, 3000 secs
lola: STP completed || 23 tries, 22918815 fired transitions, 3005 secs || 35077348 markings, 760111077 edges, 11005 markings/sec, 3005 secs
lola: STP completed || 23 tries, 22956142 fired transitions, 3010 secs || 35132251 markings, 761354674 edges, 10981 markings/sec, 3010 secs
lola: STP completed || 23 tries, 22993385 fired transitions, 3015 secs || 35184224 markings, 762582437 edges, 10395 markings/sec, 3015 secs
lola: STP completed || 24 tries, 23030798 fired transitions, 3020 secs || 35229934 markings, 763784382 edges, 9142 markings/sec, 3020 secs
lola: STP completed || 24 tries, 23068112 fired transitions, 3025 secs || 35285056 markings, 765026768 edges, 11024 markings/sec, 3025 secs
lola: STP completed || 24 tries, 23105791 fired transitions, 3030 secs || 35339208 markings, 766267838 edges, 10830 markings/sec, 3030 secs
lola: STP completed || 24 tries, 23143047 fired transitions, 3035 secs || 35391215 markings, 767496549 edges, 10401 markings/sec, 3035 secs
lola: STP completed || 24 tries, 23180274 fired transitions, 3040 secs || 35442548 markings, 768720166 edges, 10267 markings/sec, 3040 secs
lola: STP completed || 24 tries, 23217712 fired transitions, 3045 secs || 35495813 markings, 769955850 edges, 10653 markings/sec, 3045 secs
lola: STP completed || 24 tries, 23255741 fired transitions, 3050 secs || 35548229 markings, 771113314 edges, 10483 markings/sec, 3050 secs
lola: STP completed || 24 tries, 23294178 fired transitions, 3055 secs || 35602200 markings, 772355545 edges, 10794 markings/sec, 3055 secs
lola: STP completed || 24 tries, 23332963 fired transitions, 3060 secs || 35656935 markings, 773605055 edges, 10947 markings/sec, 3060 secs
lola: STP completed || 24 tries, 23371678 fired transitions, 3065 secs || 35713947 markings, 774863388 edges, 11402 markings/sec, 3065 secs
lola: STP completed || 24 tries, 23410513 fired transitions, 3070 secs || 35768915 markings, 776110686 edges, 10994 markings/sec, 3070 secs
lola: STP completed || 24 tries, 23449314 fired transitions, 3075 secs || 35828028 markings, 777382083 edges, 11823 markings/sec, 3075 secs
lola: STP completed || 24 tries, 23487816 fired transitions, 3080 secs || 35885756 markings, 778645524 edges, 11546 markings/sec, 3080 secs
lola: STP completed || 24 tries, 23526440 fired transitions, 3085 secs || 35943634 markings, 779906724 edges, 11576 markings/sec, 3085 secs
lola: STP completed || 24 tries, 23564441 fired transitions, 3090 secs || 35997602 markings, 781138949 edges, 10794 markings/sec, 3090 secs
lola: STP completed || 24 tries, 23602056 fired transitions, 3095 secs || 36059185 markings, 782414625 edges, 12317 markings/sec, 3095 secs
lola: STP completed || 24 tries, 23639495 fired transitions, 3100 secs || 36109640 markings, 783640474 edges, 10091 markings/sec, 3100 secs
lola: STP completed || 24 tries, 23676973 fired transitions, 3105 secs || 36163181 markings, 784870906 edges, 10708 markings/sec, 3105 secs
lola: STP completed || 24 tries, 23714243 fired transitions, 3110 secs || 36215375 markings, 786091969 edges, 10439 markings/sec, 3110 secs
lola: STP completed || 24 tries, 23751564 fired transitions, 3115 secs || 36273916 markings, 787347748 edges, 11708 markings/sec, 3115 secs
lola: STP completed || 24 tries, 23788751 fired transitions, 3120 secs || 36334394 markings, 788616117 edges, 12096 markings/sec, 3120 secs
lola: STP completed || 24 tries, 23827462 fired transitions, 3125 secs || 36392137 markings, 789823583 edges, 11549 markings/sec, 3125 secs
lola: STP completed || 24 tries, 23864943 fired transitions, 3130 secs || 36452278 markings, 791084888 edges, 12028 markings/sec, 3130 secs
lola: STP completed || 24 tries, 23902286 fired transitions, 3135 secs || 36512180 markings, 792352444 edges, 11980 markings/sec, 3135 secs
lola: STP completed || 24 tries, 23939582 fired transitions, 3140 secs || 36574288 markings, 793626180 edges, 12422 markings/sec, 3140 secs
lola: STP completed || 24 tries, 23977132 fired transitions, 3145 secs || 36637202 markings, 794902125 edges, 12583 markings/sec, 3145 secs
lola: STP completed || 25 tries, 24015986 fired transitions, 3150 secs || 36684902 markings, 796068938 edges, 9540 markings/sec, 3150 secs
lola: STP completed || 25 tries, 24053265 fired transitions, 3155 secs || 36733850 markings, 797280817 edges, 9790 markings/sec, 3155 secs
lola: STP completed || 25 tries, 24090709 fired transitions, 3160 secs || 36795486 markings, 798560411 edges, 12327 markings/sec, 3160 secs
lola: STP completed || 25 tries, 24127998 fired transitions, 3165 secs || 36843077 markings, 799771280 edges, 9518 markings/sec, 3165 secs
lola: STP completed || 25 tries, 24162707 fired transitions, 3170 secs || 36901083 markings, 801031425 edges, 11601 markings/sec, 3170 secs
lola: STP completed || 25 tries, 24200932 fired transitions, 3175 secs || 36967367 markings, 802347697 edges, 13257 markings/sec, 3175 secs
lola: STP completed || 25 tries, 24239078 fired transitions, 3180 secs || 37030994 markings, 803651178 edges, 12725 markings/sec, 3180 secs
lola: STP completed || 25 tries, 24277419 fired transitions, 3185 secs || 37095319 markings, 804958283 edges, 12865 markings/sec, 3185 secs
lola: STP completed || 25 tries, 24315423 fired transitions, 3190 secs || 37158982 markings, 806242251 edges, 12733 markings/sec, 3190 secs
lola: STP completed || 25 tries, 24352795 fired transitions, 3195 secs || 37221213 markings, 807502910 edges, 12446 markings/sec, 3195 secs
lola: STP completed || 25 tries, 24390100 fired transitions, 3200 secs || 37282724 markings, 808765861 edges, 12302 markings/sec, 3200 secs
lola: STP completed || 25 tries, 24427449 fired transitions, 3205 secs || 37347155 markings, 810031691 edges, 12886 markings/sec, 3205 secs
lola: STP completed || 25 tries, 24464641 fired transitions, 3210 secs || 37407014 markings, 811277060 edges, 11972 markings/sec, 3210 secs
lola: STP completed || 25 tries, 24501843 fired transitions, 3215 secs || 37469939 markings, 812539772 edges, 12585 markings/sec, 3215 secs
lola: STP completed || 25 tries, 24539331 fired transitions, 3220 secs || 37526761 markings, 813771151 edges, 11364 markings/sec, 3220 secs
lola: STP completed || 25 tries, 24576679 fired transitions, 3225 secs || 37591619 markings, 815034474 edges, 12972 markings/sec, 3225 secs
lola: STP completed || 25 tries, 24614096 fired transitions, 3230 secs || 37658268 markings, 816311664 edges, 13330 markings/sec, 3230 secs
lola: STP completed || 25 tries, 24651445 fired transitions, 3235 secs || 37725795 markings, 817583533 edges, 13505 markings/sec, 3235 secs
lola: STP completed || 25 tries, 24688602 fired transitions, 3240 secs || 37788469 markings, 818844742 edges, 12535 markings/sec, 3240 secs
lola: STP completed || 25 tries, 24725758 fired transitions, 3245 secs || 37846769 markings, 820079305 edges, 11660 markings/sec, 3245 secs
lola: STP completed || 25 tries, 24762968 fired transitions, 3250 secs || 37915585 markings, 821364265 edges, 13763 markings/sec, 3250 secs
lola: STP completed || 25 tries, 24800314 fired transitions, 3255 secs || 37976353 markings, 822615891 edges, 12154 markings/sec, 3255 secs
lola: STP completed || 25 tries, 24837652 fired transitions, 3260 secs || 38040862 markings, 823885237 edges, 12902 markings/sec, 3260 secs
lola: STP completed || 25 tries, 24874944 fired transitions, 3265 secs || 38104734 markings, 825151023 edges, 12774 markings/sec, 3265 secs
lola: STP completed || 25 tries, 24912424 fired transitions, 3270 secs || 38167826 markings, 826416064 edges, 12618 markings/sec, 3270 secs
lola: STP completed || 25 tries, 24949834 fired transitions, 3275 secs || 38229540 markings, 827681637 edges, 12343 markings/sec, 3275 secs
lola: STP completed || 25 tries, 24987210 fired transitions, 3280 secs || 38288340 markings, 828926487 edges, 11760 markings/sec, 3280 secs
lola: STP completed || 26 tries, 25024401 fired transitions, 3285 secs || 38340291 markings, 830150555 edges, 10390 markings/sec, 3285 secs
lola: STP completed || 26 tries, 25062028 fired transitions, 3290 secs || 38396936 markings, 831365879 edges, 11329 markings/sec, 3290 secs
lola: STP completed || 26 tries, 25100650 fired transitions, 3295 secs || 38461410 markings, 832590259 edges, 12895 markings/sec, 3295 secs
lola: STP completed || 26 tries, 25139365 fired transitions, 3300 secs || 38515700 markings, 833822059 edges, 10858 markings/sec, 3300 secs
lola: STP completed || 26 tries, 25178134 fired transitions, 3305 secs || 38578233 markings, 835084929 edges, 12507 markings/sec, 3305 secs
lola: STP completed || 26 tries, 25216847 fired transitions, 3310 secs || 38641397 markings, 836349338 edges, 12633 markings/sec, 3310 secs
lola: STP completed || 26 tries, 25255444 fired transitions, 3315 secs || 38704521 markings, 837617369 edges, 12625 markings/sec, 3315 secs
lola: STP completed || 26 tries, 25294121 fired transitions, 3320 secs || 38757760 markings, 838871097 edges, 10648 markings/sec, 3320 secs
lola: STP completed || 26 tries, 25331312 fired transitions, 3325 secs || 38806519 markings, 840105035 edges, 9752 markings/sec, 3325 secs
lola: STP completed || 26 tries, 25368749 fired transitions, 3330 secs || 38851132 markings, 841326885 edges, 8923 markings/sec, 3330 secs
lola: STP completed || 26 tries, 25406151 fired transitions, 3335 secs || 38899189 markings, 842542050 edges, 9611 markings/sec, 3335 secs
lola: STP completed || 26 tries, 25443447 fired transitions, 3340 secs || 38949315 markings, 843767475 edges, 10025 markings/sec, 3340 secs
lola: STP completed || 26 tries, 25480733 fired transitions, 3345 secs || 38998193 markings, 844988121 edges, 9776 markings/sec, 3345 secs
lola: STP completed || 26 tries, 25517796 fired transitions, 3350 secs || 39048913 markings, 846214372 edges, 10144 markings/sec, 3350 secs
lola: STP completed || 26 tries, 25555005 fired transitions, 3355 secs || 39102500 markings, 847452560 edges, 10717 markings/sec, 3355 secs
lola: STP completed || 26 tries, 25592479 fired transitions, 3360 secs || 39154110 markings, 848684998 edges, 10322 markings/sec, 3360 secs
lola: STP completed || 26 tries, 25629825 fired transitions, 3365 secs || 39205551 markings, 849917273 edges, 10288 markings/sec, 3365 secs
lola: STP completed || 26 tries, 25667195 fired transitions, 3370 secs || 39256270 markings, 851140315 edges, 10144 markings/sec, 3370 secs
lola: STP completed || 26 tries, 25704512 fired transitions, 3375 secs || 39307017 markings, 852364590 edges, 10149 markings/sec, 3375 secs
lola: STP completed || 26 tries, 25741623 fired transitions, 3380 secs || 39351000 markings, 853580950 edges, 8797 markings/sec, 3380 secs
lola: STP completed || 26 tries, 25779073 fired transitions, 3385 secs || 39398712 markings, 854796539 edges, 9542 markings/sec, 3385 secs
lola: STP completed || 26 tries, 25816578 fired transitions, 3390 secs || 39457602 markings, 856049742 edges, 11778 markings/sec, 3390 secs
lola: STP completed || 26 tries, 25853968 fired transitions, 3395 secs || 39518312 markings, 857305098 edges, 12142 markings/sec, 3395 secs
lola: STP completed || 26 tries, 25891683 fired transitions, 3400 secs || 39581939 markings, 858569889 edges, 12725 markings/sec, 3400 secs
lola: STP completed || 26 tries, 25929004 fired transitions, 3405 secs || 39645197 markings, 859829655 edges, 12652 markings/sec, 3405 secs
lola: STP completed || 26 tries, 25966282 fired transitions, 3410 secs || 39710653 markings, 861100507 edges, 13091 markings/sec, 3410 secs
lola: STP completed || 27 tries, 26003763 fired transitions, 3415 secs || 39774017 markings, 862365601 edges, 12673 markings/sec, 3415 secs
lola: STP completed || 27 tries, 26041128 fired transitions, 3420 secs || 39839589 markings, 863647266 edges, 13114 markings/sec, 3420 secs
lola: STP completed || 27 tries, 26078591 fired transitions, 3425 secs || 39903080 markings, 864913654 edges, 12698 markings/sec, 3425 secs
lola: STP completed || 27 tries, 26115797 fired transitions, 3430 secs || 39969339 markings, 866186383 edges, 13252 markings/sec, 3430 secs
lola: STP completed || 27 tries, 26153144 fired transitions, 3435 secs || 40034872 markings, 867474232 edges, 13107 markings/sec, 3435 secs
lola: STP completed || 27 tries, 26190386 fired transitions, 3440 secs || 40096483 markings, 868727533 edges, 12322 markings/sec, 3440 secs
lola: STP completed || 27 tries, 26227840 fired transitions, 3445 secs || 40165144 markings, 870006883 edges, 13732 markings/sec, 3445 secs
lola: STP completed || 27 tries, 26265217 fired transitions, 3450 secs || 40231472 markings, 871283425 edges, 13266 markings/sec, 3450 secs
lola: STP completed || 27 tries, 26303230 fired transitions, 3455 secs || 40283646 markings, 872454759 edges, 10435 markings/sec, 3455 secs
lola: STP completed || 27 tries, 26340592 fired transitions, 3460 secs || 40330717 markings, 873658129 edges, 9414 markings/sec, 3460 secs
lola: STP completed || 27 tries, 26377830 fired transitions, 3465 secs || 40380591 markings, 874874528 edges, 9975 markings/sec, 3465 secs
lola: STP completed || 27 tries, 26415271 fired transitions, 3470 secs || 40445702 markings, 876149094 edges, 13022 markings/sec, 3470 secs
lola: STP completed || 27 tries, 26452793 fired transitions, 3475 secs || 40508653 markings, 877406573 edges, 12590 markings/sec, 3475 secs
lola: STP completed || 27 tries, 26491248 fired transitions, 3480 secs || 40570704 markings, 878613576 edges, 12410 markings/sec, 3480 secs
lola: STP completed || 27 tries, 26528486 fired transitions, 3485 secs || 40634346 markings, 879876982 edges, 12728 markings/sec, 3485 secs
lola: STP completed || 27 tries, 26565752 fired transitions, 3490 secs || 40697510 markings, 881134157 edges, 12633 markings/sec, 3490 secs
lola: STP completed || 27 tries, 26603226 fired transitions, 3495 secs || 40759922 markings, 882339749 edges, 12482 markings/sec, 3495 secs
lola: STP completed || 27 tries, 26642012 fired transitions, 3500 secs || 40826053 markings, 883611104 edges, 13226 markings/sec, 3500 secs
lola: STP completed || 27 tries, 26680710 fired transitions, 3505 secs || 40891018 markings, 884886135 edges, 12993 markings/sec, 3505 secs
lola: STP completed || 27 tries, 26717984 fired transitions, 3510 secs || 40949477 markings, 886123108 edges, 11692 markings/sec, 3510 secs
lola: STP completed || 27 tries, 26755355 fired transitions, 3515 secs || 41013634 markings, 887386521 edges, 12831 markings/sec, 3515 secs
lola: STP completed || 27 tries, 26792720 fired transitions, 3520 secs || 41078558 markings, 888656754 edges, 12985 markings/sec, 3520 secs
lola: STP completed || 27 tries, 26830984 fired transitions, 3525 secs || 41139184 markings, 889859002 edges, 12125 markings/sec, 3525 secs
lola: STP completed || 27 tries, 26866257 fired transitions, 3530 secs || 41197407 markings, 891104118 edges, 11645 markings/sec, 3530 secs
lola: STP completed || 27 tries, 26904504 fired transitions, 3535 secs || 41263017 markings, 892393245 edges, 13122 markings/sec, 3535 secs
lola: STP completed || 27 tries, 26942816 fired transitions, 3540 secs || 41327759 markings, 893683636 edges, 12948 markings/sec, 3540 secs
lola: STP completed || 27 tries, 26980967 fired transitions, 3545 secs || 41394031 markings, 894984715 edges, 13254 markings/sec, 3545 secs
lola: STP completed || 28 tries, 27018516 fired transitions, 3550 secs || 41461509 markings, 896268181 edges, 13496 markings/sec, 3550 secs
lola: STP completed || 28 tries, 27055950 fired transitions, 3555 secs || 41526564 markings, 897541962 edges, 13011 markings/sec, 3555 secs
lola: STP completed || 28 tries, 27094144 fired transitions, 3560 secs || 41589511 markings, 898730781 edges, 12589 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 9591972 KB
lola: time consumption: 3570 seconds
BK_STOP 1526601271204
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-05a"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-05a.tgz
mv DLCround-PT-05a execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is DLCround-PT-05a, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735100034"
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 ;