About the Execution of LoLA for SafeBus-PT-15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 297.480 | 3570341.00 | 7202972.00 | 7169.70 | [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 6.0M
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 117K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 341K 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 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 34K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 23K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 78K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 342 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 55K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 197K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 7.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 4.9M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is SafeBus-PT-15, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-smll-152685547200251
=====================================================================
--------------------
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 SafeBus-PT-15-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527043095659
info: Time: 3600 - MCC
===========================================================================================
prep: translating SafeBus-PT-15 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating SafeBus-PT-15 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ SafeBus-PT-15 @ 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: 5392/65536 symbol table entries, 362 collisions
lola: preprocessing...
lola: Size of bit vector: 19872
lola: finding significant places
lola: 621 places, 4771 transitions, 541 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2148 transition conflict sets
lola: TASK
lola: reading formula from SafeBus-PT-15-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computed 307 generators (17 in search tree, 290 by composition)
lola: representing 1.30767E+12 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 68856 variables and 473605 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 464 fired transitions, 0 secs || 366 markings, 373 edges, 73 markings/sec, 0 secs
lola: STP completed || 1 tries, 874 fired transitions, 5 secs || 749 markings, 790 edges, 77 markings/sec, 5 secs
lola: STP completed || 1 tries, 1297 fired transitions, 10 secs || 1119 markings, 1207 edges, 74 markings/sec, 10 secs
lola: STP completed || 1 tries, 1705 fired transitions, 15 secs || 1499 markings, 1628 edges, 76 markings/sec, 15 secs
lola: STP completed || 1 tries, 2139 fired transitions, 20 secs || 1910 markings, 2042 edges, 82 markings/sec, 20 secs
lola: STP completed || 1 tries, 2548 fired transitions, 25 secs || 2262 markings, 2440 edges, 70 markings/sec, 25 secs
lola: STP completed || 1 tries, 2974 fired transitions, 30 secs || 2644 markings, 2823 edges, 76 markings/sec, 30 secs
lola: STP completed || 1 tries, 3395 fired transitions, 35 secs || 3009 markings, 3198 edges, 73 markings/sec, 35 secs
lola: STP completed || 1 tries, 3827 fired transitions, 40 secs || 3368 markings, 3574 edges, 72 markings/sec, 40 secs
lola: STP completed || 1 tries, 4239 fired transitions, 45 secs || 3706 markings, 3916 edges, 68 markings/sec, 45 secs
lola: STP completed || 1 tries, 4703 fired transitions, 50 secs || 4079 markings, 4297 edges, 75 markings/sec, 50 secs
lola: STP completed || 1 tries, 5144 fired transitions, 55 secs || 4437 markings, 4683 edges, 72 markings/sec, 55 secs
lola: STP completed || 1 tries, 5555 fired transitions, 60 secs || 4780 markings, 5030 edges, 69 markings/sec, 60 secs
lola: STP completed || 1 tries, 5989 fired transitions, 65 secs || 5117 markings, 5369 edges, 67 markings/sec, 65 secs
lola: STP completed || 1 tries, 6423 fired transitions, 70 secs || 5511 markings, 5792 edges, 79 markings/sec, 70 secs
lola: STP completed || 1 tries, 6869 fired transitions, 75 secs || 5891 markings, 6213 edges, 76 markings/sec, 75 secs
lola: STP completed || 1 tries, 7329 fired transitions, 80 secs || 6265 markings, 6624 edges, 75 markings/sec, 80 secs
lola: STP completed || 1 tries, 7794 fired transitions, 85 secs || 6638 markings, 7046 edges, 75 markings/sec, 85 secs
lola: STP completed || 1 tries, 8195 fired transitions, 90 secs || 6987 markings, 7447 edges, 70 markings/sec, 90 secs
lola: STP completed || 1 tries, 8634 fired transitions, 95 secs || 7353 markings, 7827 edges, 73 markings/sec, 95 secs
lola: STP completed || 1 tries, 9047 fired transitions, 100 secs || 7718 markings, 8204 edges, 73 markings/sec, 100 secs
lola: STP completed || 1 tries, 9434 fired transitions, 105 secs || 8050 markings, 8573 edges, 66 markings/sec, 105 secs
lola: STP completed || 1 tries, 9857 fired transitions, 110 secs || 8429 markings, 8957 edges, 76 markings/sec, 110 secs
lola: STP completed || 1 tries, 10253 fired transitions, 115 secs || 8753 markings, 9299 edges, 65 markings/sec, 115 secs
lola: STP completed || 1 tries, 10683 fired transitions, 120 secs || 9093 markings, 9668 edges, 68 markings/sec, 120 secs
lola: STP completed || 1 tries, 11123 fired transitions, 125 secs || 9453 markings, 10060 edges, 72 markings/sec, 125 secs
lola: STP completed || 1 tries, 11523 fired transitions, 130 secs || 9792 markings, 10447 edges, 68 markings/sec, 130 secs
lola: STP completed || 1 tries, 11958 fired transitions, 135 secs || 10141 markings, 10824 edges, 70 markings/sec, 135 secs
lola: STP completed || 1 tries, 12393 fired transitions, 140 secs || 10504 markings, 11211 edges, 73 markings/sec, 140 secs
lola: STP completed || 1 tries, 12854 fired transitions, 145 secs || 10875 markings, 11595 edges, 74 markings/sec, 145 secs
lola: STP completed || 1 tries, 13298 fired transitions, 150 secs || 11234 markings, 11988 edges, 72 markings/sec, 150 secs
lola: STP completed || 1 tries, 13710 fired transitions, 155 secs || 11567 markings, 12356 edges, 67 markings/sec, 155 secs
lola: STP completed || 1 tries, 14166 fired transitions, 160 secs || 11960 markings, 12812 edges, 79 markings/sec, 160 secs
lola: STP completed || 1 tries, 14565 fired transitions, 165 secs || 12301 markings, 13159 edges, 68 markings/sec, 165 secs
lola: STP completed || 1 tries, 15007 fired transitions, 170 secs || 12664 markings, 13525 edges, 73 markings/sec, 170 secs
lola: STP completed || 1 tries, 15458 fired transitions, 175 secs || 13079 markings, 13994 edges, 83 markings/sec, 175 secs
lola: STP completed || 1 tries, 15934 fired transitions, 180 secs || 13497 markings, 14503 edges, 84 markings/sec, 180 secs
lola: STP completed || 1 tries, 16367 fired transitions, 185 secs || 13864 markings, 14935 edges, 73 markings/sec, 185 secs
lola: STP completed || 1 tries, 16783 fired transitions, 190 secs || 14204 markings, 15291 edges, 68 markings/sec, 190 secs
lola: STP completed || 1 tries, 17246 fired transitions, 195 secs || 14593 markings, 15697 edges, 78 markings/sec, 195 secs
lola: STP completed || 1 tries, 17691 fired transitions, 200 secs || 14945 markings, 16075 edges, 70 markings/sec, 200 secs
lola: STP completed || 1 tries, 18146 fired transitions, 205 secs || 15306 markings, 16477 edges, 72 markings/sec, 205 secs
lola: STP completed || 1 tries, 18564 fired transitions, 210 secs || 15668 markings, 16871 edges, 72 markings/sec, 210 secs
lola: STP completed || 1 tries, 19015 fired transitions, 215 secs || 16051 markings, 17293 edges, 77 markings/sec, 215 secs
lola: STP completed || 1 tries, 19439 fired transitions, 220 secs || 16394 markings, 17662 edges, 69 markings/sec, 220 secs
lola: STP completed || 1 tries, 19848 fired transitions, 225 secs || 16752 markings, 18042 edges, 72 markings/sec, 225 secs
lola: STP completed || 1 tries, 20264 fired transitions, 230 secs || 17080 markings, 18391 edges, 66 markings/sec, 230 secs
lola: STP completed || 1 tries, 20695 fired transitions, 235 secs || 17462 markings, 18819 edges, 76 markings/sec, 235 secs
lola: STP completed || 1 tries, 21132 fired transitions, 240 secs || 17849 markings, 19279 edges, 77 markings/sec, 240 secs
lola: STP completed || 1 tries, 21563 fired transitions, 245 secs || 18221 markings, 19708 edges, 74 markings/sec, 245 secs
lola: STP completed || 1 tries, 21980 fired transitions, 250 secs || 18569 markings, 20139 edges, 70 markings/sec, 250 secs
lola: STP completed || 1 tries, 22422 fired transitions, 255 secs || 18946 markings, 20597 edges, 75 markings/sec, 255 secs
lola: STP completed || 1 tries, 22851 fired transitions, 260 secs || 19325 markings, 20998 edges, 76 markings/sec, 260 secs
lola: STP completed || 1 tries, 23297 fired transitions, 265 secs || 19728 markings, 21506 edges, 81 markings/sec, 265 secs
lola: STP completed || 1 tries, 23730 fired transitions, 270 secs || 20101 markings, 21931 edges, 75 markings/sec, 270 secs
lola: STP completed || 1 tries, 24191 fired transitions, 275 secs || 20456 markings, 22300 edges, 71 markings/sec, 275 secs
lola: STP completed || 1 tries, 24647 fired transitions, 280 secs || 20849 markings, 22781 edges, 79 markings/sec, 280 secs
lola: STP completed || 1 tries, 25052 fired transitions, 285 secs || 21197 markings, 23178 edges, 70 markings/sec, 285 secs
lola: STP completed || 1 tries, 25463 fired transitions, 290 secs || 21538 markings, 23563 edges, 68 markings/sec, 290 secs
lola: STP completed || 1 tries, 25908 fired transitions, 295 secs || 21913 markings, 24006 edges, 75 markings/sec, 295 secs
lola: STP completed || 1 tries, 26338 fired transitions, 300 secs || 22253 markings, 24396 edges, 68 markings/sec, 300 secs
lola: STP completed || 1 tries, 26760 fired transitions, 305 secs || 22606 markings, 24774 edges, 71 markings/sec, 305 secs
lola: STP completed || 1 tries, 27242 fired transitions, 310 secs || 23006 markings, 25220 edges, 80 markings/sec, 310 secs
lola: STP completed || 1 tries, 27662 fired transitions, 315 secs || 23367 markings, 25601 edges, 72 markings/sec, 315 secs
lola: STP completed || 1 tries, 28071 fired transitions, 320 secs || 23685 markings, 25965 edges, 64 markings/sec, 320 secs
lola: STP completed || 1 tries, 28463 fired transitions, 325 secs || 24050 markings, 26373 edges, 73 markings/sec, 325 secs
lola: STP completed || 1 tries, 28891 fired transitions, 330 secs || 24411 markings, 26792 edges, 72 markings/sec, 330 secs
lola: STP completed || 1 tries, 29317 fired transitions, 335 secs || 24766 markings, 27206 edges, 71 markings/sec, 335 secs
lola: STP completed || 1 tries, 29743 fired transitions, 340 secs || 25142 markings, 27658 edges, 75 markings/sec, 340 secs
lola: STP completed || 1 tries, 30217 fired transitions, 345 secs || 25536 markings, 28139 edges, 79 markings/sec, 345 secs
lola: STP completed || 1 tries, 30681 fired transitions, 350 secs || 25923 markings, 28605 edges, 77 markings/sec, 350 secs
lola: STP completed || 1 tries, 31117 fired transitions, 355 secs || 26294 markings, 29072 edges, 74 markings/sec, 355 secs
lola: STP completed || 1 tries, 31526 fired transitions, 360 secs || 26652 markings, 29505 edges, 72 markings/sec, 360 secs
lola: STP completed || 1 tries, 31955 fired transitions, 365 secs || 27035 markings, 29949 edges, 77 markings/sec, 365 secs
lola: STP completed || 1 tries, 32430 fired transitions, 370 secs || 27409 markings, 30402 edges, 75 markings/sec, 370 secs
lola: STP completed || 1 tries, 32860 fired transitions, 375 secs || 27756 markings, 30783 edges, 69 markings/sec, 375 secs
lola: STP completed || 1 tries, 33261 fired transitions, 380 secs || 28118 markings, 31225 edges, 72 markings/sec, 380 secs
lola: STP completed || 1 tries, 33687 fired transitions, 385 secs || 28470 markings, 31683 edges, 70 markings/sec, 385 secs
lola: STP completed || 1 tries, 34142 fired transitions, 390 secs || 28836 markings, 32099 edges, 73 markings/sec, 390 secs
lola: STP completed || 1 tries, 34528 fired transitions, 395 secs || 29198 markings, 32510 edges, 72 markings/sec, 395 secs
lola: STP completed || 1 tries, 34973 fired transitions, 400 secs || 29564 markings, 32914 edges, 73 markings/sec, 400 secs
lola: STP completed || 1 tries, 35421 fired transitions, 405 secs || 29939 markings, 33386 edges, 75 markings/sec, 405 secs
lola: STP completed || 1 tries, 35869 fired transitions, 410 secs || 30295 markings, 33804 edges, 71 markings/sec, 410 secs
lola: STP completed || 1 tries, 36320 fired transitions, 415 secs || 30665 markings, 34215 edges, 74 markings/sec, 415 secs
lola: STP completed || 1 tries, 36773 fired transitions, 420 secs || 31095 markings, 34767 edges, 86 markings/sec, 420 secs
lola: STP completed || 1 tries, 37206 fired transitions, 425 secs || 31481 markings, 35268 edges, 77 markings/sec, 425 secs
lola: STP completed || 1 tries, 37655 fired transitions, 430 secs || 31887 markings, 35831 edges, 81 markings/sec, 430 secs
lola: STP completed || 1 tries, 38098 fired transitions, 435 secs || 32279 markings, 36312 edges, 78 markings/sec, 435 secs
lola: STP completed || 1 tries, 38507 fired transitions, 440 secs || 32631 markings, 36743 edges, 70 markings/sec, 440 secs
lola: STP completed || 1 tries, 38896 fired transitions, 445 secs || 32997 markings, 37186 edges, 73 markings/sec, 445 secs
lola: STP completed || 1 tries, 39310 fired transitions, 450 secs || 33336 markings, 37579 edges, 68 markings/sec, 450 secs
lola: STP completed || 1 tries, 39771 fired transitions, 455 secs || 33729 markings, 38070 edges, 79 markings/sec, 455 secs
lola: STP completed || 1 tries, 40206 fired transitions, 460 secs || 34082 markings, 38471 edges, 71 markings/sec, 460 secs
lola: STP completed || 1 tries, 40625 fired transitions, 465 secs || 34451 markings, 38912 edges, 74 markings/sec, 465 secs
lola: STP completed || 1 tries, 41038 fired transitions, 470 secs || 34813 markings, 39317 edges, 72 markings/sec, 470 secs
lola: STP completed || 1 tries, 41451 fired transitions, 475 secs || 35157 markings, 39676 edges, 69 markings/sec, 475 secs
lola: STP completed || 1 tries, 41880 fired transitions, 480 secs || 35512 markings, 40065 edges, 71 markings/sec, 480 secs
lola: STP completed || 1 tries, 42347 fired transitions, 485 secs || 35893 markings, 40582 edges, 76 markings/sec, 485 secs
lola: STP completed || 1 tries, 42776 fired transitions, 490 secs || 36268 markings, 41059 edges, 75 markings/sec, 490 secs
lola: STP completed || 1 tries, 43192 fired transitions, 495 secs || 36651 markings, 41565 edges, 77 markings/sec, 495 secs
lola: STP completed || 1 tries, 43650 fired transitions, 500 secs || 37021 markings, 42074 edges, 74 markings/sec, 500 secs
lola: STP completed || 1 tries, 44102 fired transitions, 505 secs || 37426 markings, 42562 edges, 81 markings/sec, 505 secs
lola: STP completed || 1 tries, 44531 fired transitions, 510 secs || 37772 markings, 42975 edges, 69 markings/sec, 510 secs
lola: STP completed || 1 tries, 44978 fired transitions, 515 secs || 38124 markings, 43421 edges, 70 markings/sec, 515 secs
lola: STP completed || 1 tries, 45400 fired transitions, 520 secs || 38478 markings, 43862 edges, 71 markings/sec, 520 secs
lola: STP completed || 1 tries, 45816 fired transitions, 525 secs || 38833 markings, 44262 edges, 71 markings/sec, 525 secs
lola: STP completed || 1 tries, 46272 fired transitions, 530 secs || 39241 markings, 44764 edges, 82 markings/sec, 530 secs
lola: STP completed || 1 tries, 46685 fired transitions, 535 secs || 39605 markings, 45202 edges, 73 markings/sec, 535 secs
lola: STP completed || 1 tries, 47131 fired transitions, 540 secs || 39955 markings, 45613 edges, 70 markings/sec, 540 secs
lola: STP completed || 1 tries, 47565 fired transitions, 545 secs || 40348 markings, 46107 edges, 79 markings/sec, 545 secs
lola: STP completed || 1 tries, 47981 fired transitions, 550 secs || 40718 markings, 46559 edges, 74 markings/sec, 550 secs
lola: STP completed || 1 tries, 48436 fired transitions, 555 secs || 41120 markings, 47029 edges, 80 markings/sec, 555 secs
lola: STP completed || 1 tries, 48849 fired transitions, 560 secs || 41482 markings, 47403 edges, 72 markings/sec, 560 secs
lola: STP completed || 1 tries, 49268 fired transitions, 565 secs || 41855 markings, 47844 edges, 75 markings/sec, 565 secs
lola: STP completed || 1 tries, 49694 fired transitions, 570 secs || 42224 markings, 48282 edges, 74 markings/sec, 570 secs
lola: STP completed || 1 tries, 50115 fired transitions, 575 secs || 42582 markings, 48693 edges, 72 markings/sec, 575 secs
lola: STP completed || 1 tries, 50556 fired transitions, 580 secs || 42951 markings, 49114 edges, 74 markings/sec, 580 secs
lola: STP completed || 1 tries, 51016 fired transitions, 585 secs || 43331 markings, 49559 edges, 76 markings/sec, 585 secs
lola: STP completed || 1 tries, 51423 fired transitions, 590 secs || 43702 markings, 50007 edges, 74 markings/sec, 590 secs
lola: STP completed || 1 tries, 51897 fired transitions, 595 secs || 44072 markings, 50427 edges, 74 markings/sec, 595 secs
lola: STP completed || 1 tries, 52325 fired transitions, 600 secs || 44467 markings, 50907 edges, 79 markings/sec, 600 secs
lola: STP completed || 1 tries, 52766 fired transitions, 605 secs || 44834 markings, 51346 edges, 73 markings/sec, 605 secs
lola: STP completed || 1 tries, 53230 fired transitions, 610 secs || 45223 markings, 51824 edges, 78 markings/sec, 610 secs
lola: STP completed || 1 tries, 53648 fired transitions, 615 secs || 45604 markings, 52329 edges, 76 markings/sec, 615 secs
lola: STP completed || 1 tries, 54108 fired transitions, 620 secs || 45983 markings, 52818 edges, 76 markings/sec, 620 secs
lola: STP completed || 1 tries, 54574 fired transitions, 625 secs || 46364 markings, 53292 edges, 76 markings/sec, 625 secs
lola: STP completed || 1 tries, 55007 fired transitions, 630 secs || 46728 markings, 53750 edges, 73 markings/sec, 630 secs
lola: STP completed || 1 tries, 55458 fired transitions, 635 secs || 47107 markings, 54199 edges, 76 markings/sec, 635 secs
lola: STP completed || 1 tries, 55895 fired transitions, 640 secs || 47491 markings, 54759 edges, 77 markings/sec, 640 secs
lola: STP completed || 1 tries, 56334 fired transitions, 645 secs || 47874 markings, 55244 edges, 77 markings/sec, 645 secs
lola: STP completed || 1 tries, 56762 fired transitions, 650 secs || 48262 markings, 55762 edges, 78 markings/sec, 650 secs
lola: STP completed || 1 tries, 57185 fired transitions, 655 secs || 48632 markings, 56246 edges, 74 markings/sec, 655 secs
lola: STP completed || 1 tries, 57650 fired transitions, 660 secs || 48993 markings, 56700 edges, 72 markings/sec, 660 secs
lola: STP completed || 1 tries, 58096 fired transitions, 665 secs || 49377 markings, 57189 edges, 77 markings/sec, 665 secs
lola: STP completed || 1 tries, 58516 fired transitions, 670 secs || 49736 markings, 57578 edges, 72 markings/sec, 670 secs
lola: STP completed || 1 tries, 58957 fired transitions, 675 secs || 50135 markings, 58006 edges, 80 markings/sec, 675 secs
lola: STP completed || 1 tries, 59369 fired transitions, 680 secs || 50489 markings, 58391 edges, 71 markings/sec, 680 secs
lola: STP completed || 1 tries, 59876 fired transitions, 685 secs || 50891 markings, 58819 edges, 80 markings/sec, 685 secs
lola: STP completed || 1 tries, 60311 fired transitions, 690 secs || 51241 markings, 59205 edges, 70 markings/sec, 690 secs
lola: STP completed || 1 tries, 60730 fired transitions, 695 secs || 51599 markings, 59601 edges, 72 markings/sec, 695 secs
lola: STP completed || 1 tries, 61146 fired transitions, 700 secs || 51932 markings, 59963 edges, 67 markings/sec, 700 secs
lola: STP completed || 1 tries, 61600 fired transitions, 705 secs || 52297 markings, 60375 edges, 73 markings/sec, 705 secs
lola: STP completed || 1 tries, 62034 fired transitions, 710 secs || 52665 markings, 60792 edges, 74 markings/sec, 710 secs
lola: STP completed || 1 tries, 62496 fired transitions, 715 secs || 53025 markings, 61211 edges, 72 markings/sec, 715 secs
lola: STP completed || 1 tries, 62904 fired transitions, 720 secs || 53389 markings, 61607 edges, 73 markings/sec, 720 secs
lola: STP completed || 1 tries, 63310 fired transitions, 725 secs || 53738 markings, 62047 edges, 70 markings/sec, 725 secs
lola: STP completed || 1 tries, 63711 fired transitions, 730 secs || 54083 markings, 62494 edges, 69 markings/sec, 730 secs
lola: STP completed || 1 tries, 64171 fired transitions, 735 secs || 54491 markings, 63067 edges, 82 markings/sec, 735 secs
lola: STP completed || 1 tries, 64546 fired transitions, 740 secs || 54833 markings, 63550 edges, 68 markings/sec, 740 secs
lola: STP completed || 1 tries, 65028 fired transitions, 745 secs || 55228 markings, 64039 edges, 79 markings/sec, 745 secs
lola: STP completed || 1 tries, 65443 fired transitions, 750 secs || 55572 markings, 64466 edges, 69 markings/sec, 750 secs
lola: STP completed || 1 tries, 65841 fired transitions, 755 secs || 55913 markings, 64879 edges, 68 markings/sec, 755 secs
lola: STP completed || 1 tries, 66281 fired transitions, 760 secs || 56301 markings, 65409 edges, 78 markings/sec, 760 secs
lola: STP completed || 1 tries, 66641 fired transitions, 765 secs || 56616 markings, 65814 edges, 63 markings/sec, 765 secs
lola: STP completed || 1 tries, 67076 fired transitions, 770 secs || 56977 markings, 66262 edges, 72 markings/sec, 770 secs
lola: STP completed || 1 tries, 67509 fired transitions, 775 secs || 57325 markings, 66675 edges, 70 markings/sec, 775 secs
lola: STP completed || 1 tries, 67935 fired transitions, 780 secs || 57679 markings, 67125 edges, 71 markings/sec, 780 secs
lola: STP completed || 1 tries, 68365 fired transitions, 785 secs || 58043 markings, 67578 edges, 73 markings/sec, 785 secs
lola: STP completed || 1 tries, 68793 fired transitions, 790 secs || 58403 markings, 68049 edges, 72 markings/sec, 790 secs
lola: STP completed || 1 tries, 69273 fired transitions, 795 secs || 58840 markings, 68595 edges, 87 markings/sec, 795 secs
lola: STP completed || 1 tries, 69721 fired transitions, 800 secs || 59201 markings, 69009 edges, 72 markings/sec, 800 secs
lola: STP completed || 1 tries, 70136 fired transitions, 805 secs || 59577 markings, 69499 edges, 75 markings/sec, 805 secs
lola: STP completed || 1 tries, 70582 fired transitions, 810 secs || 59959 markings, 70015 edges, 76 markings/sec, 810 secs
lola: STP completed || 1 tries, 71044 fired transitions, 815 secs || 60345 markings, 70506 edges, 77 markings/sec, 815 secs
lola: STP completed || 1 tries, 71489 fired transitions, 820 secs || 60721 markings, 71026 edges, 75 markings/sec, 820 secs
lola: STP completed || 1 tries, 71968 fired transitions, 825 secs || 61115 markings, 71483 edges, 79 markings/sec, 825 secs
lola: STP completed || 1 tries, 72383 fired transitions, 830 secs || 61489 markings, 71904 edges, 75 markings/sec, 830 secs
lola: STP completed || 1 tries, 72799 fired transitions, 835 secs || 61869 markings, 72388 edges, 76 markings/sec, 835 secs
lola: STP completed || 1 tries, 73236 fired transitions, 840 secs || 62251 markings, 72816 edges, 76 markings/sec, 840 secs
lola: STP completed || 1 tries, 73666 fired transitions, 845 secs || 62669 markings, 73336 edges, 84 markings/sec, 845 secs
lola: STP completed || 1 tries, 74087 fired transitions, 850 secs || 63053 markings, 73749 edges, 77 markings/sec, 850 secs
lola: STP completed || 1 tries, 74493 fired transitions, 855 secs || 63425 markings, 74222 edges, 74 markings/sec, 855 secs
lola: STP completed || 1 tries, 74935 fired transitions, 860 secs || 63791 markings, 74664 edges, 73 markings/sec, 860 secs
lola: STP completed || 1 tries, 75363 fired transitions, 865 secs || 64171 markings, 75153 edges, 76 markings/sec, 865 secs
lola: STP completed || 1 tries, 75809 fired transitions, 870 secs || 64575 markings, 75693 edges, 81 markings/sec, 870 secs
lola: STP completed || 1 tries, 76269 fired transitions, 875 secs || 64971 markings, 76207 edges, 79 markings/sec, 875 secs
lola: STP completed || 1 tries, 76708 fired transitions, 880 secs || 65335 markings, 76627 edges, 73 markings/sec, 880 secs
lola: STP completed || 1 tries, 77118 fired transitions, 885 secs || 65687 markings, 77020 edges, 70 markings/sec, 885 secs
lola: STP completed || 1 tries, 77561 fired transitions, 890 secs || 66042 markings, 77474 edges, 71 markings/sec, 890 secs
lola: STP completed || 1 tries, 78013 fired transitions, 895 secs || 66414 markings, 77971 edges, 74 markings/sec, 895 secs
lola: STP completed || 1 tries, 78459 fired transitions, 900 secs || 66829 markings, 78558 edges, 83 markings/sec, 900 secs
lola: STP completed || 1 tries, 78882 fired transitions, 905 secs || 67182 markings, 78971 edges, 71 markings/sec, 905 secs
lola: STP completed || 1 tries, 79332 fired transitions, 910 secs || 67549 markings, 79436 edges, 73 markings/sec, 910 secs
lola: STP completed || 1 tries, 79790 fired transitions, 915 secs || 67927 markings, 79912 edges, 76 markings/sec, 915 secs
lola: STP completed || 1 tries, 80244 fired transitions, 920 secs || 68313 markings, 80412 edges, 77 markings/sec, 920 secs
lola: STP completed || 1 tries, 80651 fired transitions, 925 secs || 68657 markings, 80795 edges, 69 markings/sec, 925 secs
lola: STP completed || 1 tries, 81097 fired transitions, 930 secs || 69037 markings, 81300 edges, 76 markings/sec, 930 secs
lola: STP completed || 1 tries, 81548 fired transitions, 935 secs || 69386 markings, 81731 edges, 70 markings/sec, 935 secs
lola: STP completed || 1 tries, 81975 fired transitions, 940 secs || 69748 markings, 82199 edges, 72 markings/sec, 940 secs
lola: STP completed || 1 tries, 82405 fired transitions, 945 secs || 70118 markings, 82634 edges, 74 markings/sec, 945 secs
lola: STP completed || 1 tries, 82848 fired transitions, 950 secs || 70508 markings, 83130 edges, 78 markings/sec, 950 secs
lola: STP completed || 1 tries, 83304 fired transitions, 955 secs || 70860 markings, 83597 edges, 70 markings/sec, 955 secs
lola: STP completed || 1 tries, 83704 fired transitions, 960 secs || 71207 markings, 84094 edges, 69 markings/sec, 960 secs
lola: STP completed || 1 tries, 84111 fired transitions, 965 secs || 71548 markings, 84523 edges, 68 markings/sec, 965 secs
lola: STP completed || 1 tries, 84545 fired transitions, 970 secs || 71866 markings, 84925 edges, 64 markings/sec, 970 secs
lola: STP completed || 1 tries, 84985 fired transitions, 975 secs || 72251 markings, 85427 edges, 77 markings/sec, 975 secs
lola: STP completed || 1 tries, 85408 fired transitions, 980 secs || 72627 markings, 85901 edges, 75 markings/sec, 980 secs
lola: STP completed || 1 tries, 85825 fired transitions, 985 secs || 72992 markings, 86356 edges, 73 markings/sec, 985 secs
lola: STP completed || 1 tries, 86263 fired transitions, 990 secs || 73345 markings, 86776 edges, 71 markings/sec, 990 secs
lola: STP completed || 1 tries, 86716 fired transitions, 995 secs || 73720 markings, 87291 edges, 75 markings/sec, 995 secs
lola: STP completed || 1 tries, 87136 fired transitions, 1000 secs || 74099 markings, 87753 edges, 76 markings/sec, 1000 secs
lola: STP completed || 1 tries, 87561 fired transitions, 1005 secs || 74479 markings, 88279 edges, 76 markings/sec, 1005 secs
lola: STP completed || 1 tries, 88004 fired transitions, 1010 secs || 74828 markings, 88737 edges, 70 markings/sec, 1010 secs
lola: STP completed || 1 tries, 88437 fired transitions, 1015 secs || 75181 markings, 89213 edges, 71 markings/sec, 1015 secs
lola: STP completed || 1 tries, 88869 fired transitions, 1020 secs || 75540 markings, 89679 edges, 72 markings/sec, 1020 secs
lola: STP completed || 1 tries, 89283 fired transitions, 1025 secs || 75878 markings, 90142 edges, 68 markings/sec, 1025 secs
lola: STP completed || 1 tries, 89695 fired transitions, 1030 secs || 76235 markings, 90604 edges, 71 markings/sec, 1030 secs
lola: STP completed || 1 tries, 90087 fired transitions, 1035 secs || 76591 markings, 91066 edges, 71 markings/sec, 1035 secs
lola: STP completed || 1 tries, 90506 fired transitions, 1040 secs || 76932 markings, 91520 edges, 68 markings/sec, 1040 secs
lola: STP completed || 1 tries, 90908 fired transitions, 1045 secs || 77271 markings, 91894 edges, 68 markings/sec, 1045 secs
lola: STP completed || 1 tries, 91323 fired transitions, 1050 secs || 77620 markings, 92313 edges, 70 markings/sec, 1050 secs
lola: STP completed || 1 tries, 91720 fired transitions, 1055 secs || 77975 markings, 92731 edges, 71 markings/sec, 1055 secs
lola: STP completed || 1 tries, 92119 fired transitions, 1060 secs || 78303 markings, 93091 edges, 66 markings/sec, 1060 secs
lola: STP completed || 1 tries, 92527 fired transitions, 1065 secs || 78661 markings, 93490 edges, 72 markings/sec, 1065 secs
lola: STP completed || 1 tries, 92906 fired transitions, 1070 secs || 78995 markings, 93883 edges, 67 markings/sec, 1070 secs
lola: STP completed || 1 tries, 93336 fired transitions, 1075 secs || 79336 markings, 94262 edges, 68 markings/sec, 1075 secs
lola: STP completed || 1 tries, 93756 fired transitions, 1080 secs || 79690 markings, 94712 edges, 71 markings/sec, 1080 secs
lola: STP completed || 1 tries, 94198 fired transitions, 1085 secs || 80079 markings, 95199 edges, 78 markings/sec, 1085 secs
lola: STP completed || 1 tries, 94649 fired transitions, 1090 secs || 80492 markings, 95730 edges, 83 markings/sec, 1090 secs
lola: STP completed || 1 tries, 95101 fired transitions, 1095 secs || 80858 markings, 96163 edges, 73 markings/sec, 1095 secs
lola: STP completed || 1 tries, 95527 fired transitions, 1100 secs || 81235 markings, 96626 edges, 75 markings/sec, 1100 secs
lola: STP completed || 1 tries, 95940 fired transitions, 1105 secs || 81625 markings, 97168 edges, 78 markings/sec, 1105 secs
lola: STP completed || 1 tries, 96341 fired transitions, 1110 secs || 81970 markings, 97627 edges, 69 markings/sec, 1110 secs
lola: STP completed || 1 tries, 96822 fired transitions, 1115 secs || 82392 markings, 98165 edges, 84 markings/sec, 1115 secs
lola: STP completed || 1 tries, 97266 fired transitions, 1120 secs || 82776 markings, 98679 edges, 77 markings/sec, 1120 secs
lola: STP completed || 1 tries, 97724 fired transitions, 1125 secs || 83156 markings, 99118 edges, 76 markings/sec, 1125 secs
lola: STP completed || 1 tries, 98153 fired transitions, 1130 secs || 83517 markings, 99521 edges, 72 markings/sec, 1130 secs
lola: STP completed || 1 tries, 98578 fired transitions, 1135 secs || 83872 markings, 99917 edges, 71 markings/sec, 1135 secs
lola: STP completed || 1 tries, 99017 fired transitions, 1140 secs || 84246 markings, 100374 edges, 75 markings/sec, 1140 secs
lola: STP completed || 1 tries, 99437 fired transitions, 1145 secs || 84599 markings, 100781 edges, 71 markings/sec, 1145 secs
lola: STP completed || 1 tries, 99895 fired transitions, 1150 secs || 84968 markings, 101226 edges, 74 markings/sec, 1150 secs
lola: STP completed || 1 tries, 100351 fired transitions, 1155 secs || 85304 markings, 101635 edges, 67 markings/sec, 1155 secs
lola: STP completed || 1 tries, 100792 fired transitions, 1160 secs || 85690 markings, 102179 edges, 77 markings/sec, 1160 secs
lola: STP completed || 1 tries, 101227 fired transitions, 1165 secs || 86061 markings, 102652 edges, 74 markings/sec, 1165 secs
lola: STP completed || 1 tries, 101694 fired transitions, 1170 secs || 86448 markings, 103116 edges, 77 markings/sec, 1170 secs
lola: STP completed || 1 tries, 102084 fired transitions, 1175 secs || 86790 markings, 103519 edges, 68 markings/sec, 1175 secs
lola: STP completed || 1 tries, 102585 fired transitions, 1180 secs || 87162 markings, 103989 edges, 74 markings/sec, 1180 secs
lola: STP completed || 1 tries, 103018 fired transitions, 1185 secs || 87517 markings, 104410 edges, 71 markings/sec, 1185 secs
lola: STP completed || 1 tries, 103454 fired transitions, 1190 secs || 87893 markings, 104894 edges, 75 markings/sec, 1190 secs
lola: STP completed || 1 tries, 103882 fired transitions, 1195 secs || 88258 markings, 105369 edges, 73 markings/sec, 1195 secs
lola: STP completed || 1 tries, 104302 fired transitions, 1200 secs || 88633 markings, 105828 edges, 75 markings/sec, 1200 secs
lola: STP completed || 1 tries, 104754 fired transitions, 1205 secs || 88968 markings, 106219 edges, 67 markings/sec, 1205 secs
lola: STP completed || 1 tries, 105212 fired transitions, 1210 secs || 89378 markings, 106696 edges, 82 markings/sec, 1210 secs
lola: STP completed || 1 tries, 105638 fired transitions, 1215 secs || 89764 markings, 107132 edges, 77 markings/sec, 1215 secs
lola: STP completed || 1 tries, 106062 fired transitions, 1220 secs || 90135 markings, 107644 edges, 74 markings/sec, 1220 secs
lola: STP completed || 1 tries, 106453 fired transitions, 1225 secs || 90490 markings, 108072 edges, 71 markings/sec, 1225 secs
lola: STP completed || 1 tries, 106932 fired transitions, 1230 secs || 90877 markings, 108516 edges, 77 markings/sec, 1230 secs
lola: STP completed || 1 tries, 107374 fired transitions, 1235 secs || 91260 markings, 108990 edges, 77 markings/sec, 1235 secs
lola: STP completed || 1 tries, 107813 fired transitions, 1240 secs || 91647 markings, 109518 edges, 77 markings/sec, 1240 secs
lola: STP completed || 1 tries, 108248 fired transitions, 1245 secs || 91990 markings, 109941 edges, 69 markings/sec, 1245 secs
lola: STP completed || 1 tries, 108655 fired transitions, 1250 secs || 92340 markings, 110336 edges, 70 markings/sec, 1250 secs
lola: STP completed || 1 tries, 109068 fired transitions, 1255 secs || 92693 markings, 110752 edges, 71 markings/sec, 1255 secs
lola: STP completed || 1 tries, 109522 fired transitions, 1260 secs || 93064 markings, 111213 edges, 74 markings/sec, 1260 secs
lola: STP completed || 1 tries, 109956 fired transitions, 1265 secs || 93432 markings, 111694 edges, 74 markings/sec, 1265 secs
lola: STP completed || 1 tries, 110360 fired transitions, 1270 secs || 93789 markings, 112139 edges, 71 markings/sec, 1270 secs
lola: STP completed || 1 tries, 110785 fired transitions, 1275 secs || 94160 markings, 112579 edges, 74 markings/sec, 1275 secs
lola: STP completed || 1 tries, 111213 fired transitions, 1280 secs || 94518 markings, 113053 edges, 72 markings/sec, 1280 secs
lola: STP completed || 1 tries, 111620 fired transitions, 1285 secs || 94893 markings, 113571 edges, 75 markings/sec, 1285 secs
lola: STP completed || 1 tries, 112040 fired transitions, 1290 secs || 95274 markings, 114019 edges, 76 markings/sec, 1290 secs
lola: STP completed || 1 tries, 112469 fired transitions, 1295 secs || 95634 markings, 114460 edges, 72 markings/sec, 1295 secs
lola: STP completed || 1 tries, 112898 fired transitions, 1300 secs || 96021 markings, 114927 edges, 77 markings/sec, 1300 secs
lola: STP completed || 1 tries, 113331 fired transitions, 1305 secs || 96400 markings, 115356 edges, 76 markings/sec, 1305 secs
lola: STP completed || 1 tries, 113770 fired transitions, 1310 secs || 96753 markings, 115775 edges, 71 markings/sec, 1310 secs
lola: STP completed || 1 tries, 114240 fired transitions, 1315 secs || 97147 markings, 116220 edges, 79 markings/sec, 1315 secs
lola: STP completed || 1 tries, 114700 fired transitions, 1320 secs || 97525 markings, 116710 edges, 76 markings/sec, 1320 secs
lola: STP completed || 1 tries, 115122 fired transitions, 1325 secs || 97929 markings, 117294 edges, 81 markings/sec, 1325 secs
lola: STP completed || 1 tries, 115595 fired transitions, 1330 secs || 98330 markings, 117831 edges, 80 markings/sec, 1330 secs
lola: STP completed || 1 tries, 116000 fired transitions, 1335 secs || 98701 markings, 118288 edges, 74 markings/sec, 1335 secs
lola: STP completed || 1 tries, 116433 fired transitions, 1340 secs || 99053 markings, 118718 edges, 70 markings/sec, 1340 secs
lola: STP completed || 1 tries, 116838 fired transitions, 1345 secs || 99428 markings, 119238 edges, 75 markings/sec, 1345 secs
lola: STP completed || 1 tries, 117311 fired transitions, 1350 secs || 99806 markings, 119751 edges, 76 markings/sec, 1350 secs
lola: STP completed || 1 tries, 117751 fired transitions, 1355 secs || 100197 markings, 120285 edges, 78 markings/sec, 1355 secs
lola: STP completed || 1 tries, 118217 fired transitions, 1360 secs || 100580 markings, 120848 edges, 77 markings/sec, 1360 secs
lola: STP completed || 1 tries, 118681 fired transitions, 1365 secs || 100969 markings, 121355 edges, 78 markings/sec, 1365 secs
lola: STP completed || 1 tries, 119122 fired transitions, 1370 secs || 101332 markings, 121779 edges, 73 markings/sec, 1370 secs
lola: STP completed || 1 tries, 119551 fired transitions, 1375 secs || 101694 markings, 122265 edges, 72 markings/sec, 1375 secs
lola: STP completed || 1 tries, 119969 fired transitions, 1380 secs || 102072 markings, 122774 edges, 76 markings/sec, 1380 secs
lola: STP completed || 1 tries, 120405 fired transitions, 1385 secs || 102463 markings, 123316 edges, 78 markings/sec, 1385 secs
lola: STP completed || 1 tries, 120868 fired transitions, 1390 secs || 102835 markings, 123822 edges, 74 markings/sec, 1390 secs
lola: STP completed || 1 tries, 121298 fired transitions, 1395 secs || 103168 markings, 124179 edges, 67 markings/sec, 1395 secs
lola: STP completed || 1 tries, 121688 fired transitions, 1400 secs || 103511 markings, 124560 edges, 69 markings/sec, 1400 secs
lola: STP completed || 1 tries, 122111 fired transitions, 1405 secs || 103872 markings, 124986 edges, 72 markings/sec, 1405 secs
lola: STP completed || 1 tries, 122552 fired transitions, 1410 secs || 104248 markings, 125488 edges, 75 markings/sec, 1410 secs
lola: STP completed || 1 tries, 123002 fired transitions, 1415 secs || 104612 markings, 125925 edges, 73 markings/sec, 1415 secs
lola: STP completed || 1 tries, 123424 fired transitions, 1420 secs || 104982 markings, 126393 edges, 74 markings/sec, 1420 secs
lola: STP completed || 1 tries, 123868 fired transitions, 1425 secs || 105335 markings, 126805 edges, 71 markings/sec, 1425 secs
lola: STP completed || 1 tries, 124253 fired transitions, 1430 secs || 105702 markings, 127252 edges, 73 markings/sec, 1430 secs
lola: STP completed || 1 tries, 124677 fired transitions, 1435 secs || 106078 markings, 127755 edges, 75 markings/sec, 1435 secs
lola: STP completed || 1 tries, 125116 fired transitions, 1440 secs || 106435 markings, 128232 edges, 71 markings/sec, 1440 secs
lola: STP completed || 1 tries, 125563 fired transitions, 1445 secs || 106823 markings, 128730 edges, 78 markings/sec, 1445 secs
lola: STP completed || 1 tries, 126022 fired transitions, 1450 secs || 107192 markings, 129224 edges, 74 markings/sec, 1450 secs
lola: STP completed || 1 tries, 126486 fired transitions, 1455 secs || 107575 markings, 129735 edges, 77 markings/sec, 1455 secs
lola: STP completed || 1 tries, 126961 fired transitions, 1460 secs || 107943 markings, 130200 edges, 74 markings/sec, 1460 secs
lola: STP completed || 1 tries, 127386 fired transitions, 1465 secs || 108329 markings, 130715 edges, 77 markings/sec, 1465 secs
lola: STP completed || 1 tries, 127804 fired transitions, 1470 secs || 108664 markings, 131104 edges, 67 markings/sec, 1470 secs
lola: STP completed || 1 tries, 128192 fired transitions, 1475 secs || 109001 markings, 131512 edges, 67 markings/sec, 1475 secs
lola: STP completed || 1 tries, 128614 fired transitions, 1480 secs || 109383 markings, 131956 edges, 76 markings/sec, 1480 secs
lola: STP completed || 1 tries, 129049 fired transitions, 1485 secs || 109720 markings, 132345 edges, 67 markings/sec, 1485 secs
lola: STP completed || 1 tries, 129507 fired transitions, 1490 secs || 110090 markings, 132756 edges, 74 markings/sec, 1490 secs
lola: STP completed || 1 tries, 129934 fired transitions, 1495 secs || 110454 markings, 133188 edges, 73 markings/sec, 1495 secs
lola: STP completed || 1 tries, 130358 fired transitions, 1500 secs || 110835 markings, 133719 edges, 76 markings/sec, 1500 secs
lola: STP completed || 1 tries, 130781 fired transitions, 1505 secs || 111184 markings, 134173 edges, 70 markings/sec, 1505 secs
lola: STP completed || 1 tries, 131204 fired transitions, 1510 secs || 111561 markings, 134702 edges, 75 markings/sec, 1510 secs
lola: STP completed || 1 tries, 131651 fired transitions, 1515 secs || 111943 markings, 135236 edges, 76 markings/sec, 1515 secs
lola: STP completed || 1 tries, 132116 fired transitions, 1520 secs || 112306 markings, 135749 edges, 73 markings/sec, 1520 secs
lola: STP completed || 1 tries, 132585 fired transitions, 1525 secs || 112713 markings, 136278 edges, 81 markings/sec, 1525 secs
lola: STP completed || 1 tries, 133037 fired transitions, 1530 secs || 113104 markings, 136790 edges, 78 markings/sec, 1530 secs
lola: STP completed || 1 tries, 133496 fired transitions, 1535 secs || 113505 markings, 137312 edges, 80 markings/sec, 1535 secs
lola: STP completed || 1 tries, 133935 fired transitions, 1540 secs || 113876 markings, 137775 edges, 74 markings/sec, 1540 secs
lola: STP completed || 1 tries, 134362 fired transitions, 1545 secs || 114239 markings, 138227 edges, 73 markings/sec, 1545 secs
lola: STP completed || 1 tries, 134717 fired transitions, 1550 secs || 114585 markings, 138738 edges, 69 markings/sec, 1550 secs
lola: STP completed || 1 tries, 135181 fired transitions, 1555 secs || 114955 markings, 139231 edges, 74 markings/sec, 1555 secs
lola: STP completed || 1 tries, 135638 fired transitions, 1560 secs || 115346 markings, 139763 edges, 78 markings/sec, 1560 secs
lola: STP completed || 1 tries, 136089 fired transitions, 1565 secs || 115730 markings, 140301 edges, 77 markings/sec, 1565 secs
lola: STP completed || 1 tries, 136490 fired transitions, 1570 secs || 116069 markings, 140709 edges, 68 markings/sec, 1570 secs
lola: STP completed || 1 tries, 136920 fired transitions, 1575 secs || 116445 markings, 141143 edges, 75 markings/sec, 1575 secs
lola: STP completed || 1 tries, 137329 fired transitions, 1580 secs || 116781 markings, 141566 edges, 67 markings/sec, 1580 secs
lola: STP completed || 1 tries, 137752 fired transitions, 1585 secs || 117148 markings, 141987 edges, 73 markings/sec, 1585 secs
lola: STP completed || 1 tries, 138163 fired transitions, 1590 secs || 117499 markings, 142393 edges, 70 markings/sec, 1590 secs
lola: STP completed || 1 tries, 138661 fired transitions, 1595 secs || 117883 markings, 142913 edges, 77 markings/sec, 1595 secs
lola: STP completed || 1 tries, 139115 fired transitions, 1600 secs || 118255 markings, 143364 edges, 74 markings/sec, 1600 secs
lola: STP completed || 1 tries, 139513 fired transitions, 1605 secs || 118638 markings, 143779 edges, 77 markings/sec, 1605 secs
lola: STP completed || 1 tries, 139947 fired transitions, 1610 secs || 119018 markings, 144245 edges, 76 markings/sec, 1610 secs
lola: STP completed || 1 tries, 140371 fired transitions, 1615 secs || 119376 markings, 144693 edges, 72 markings/sec, 1615 secs
lola: STP completed || 1 tries, 140852 fired transitions, 1620 secs || 119764 markings, 145191 edges, 78 markings/sec, 1620 secs
lola: STP completed || 1 tries, 141274 fired transitions, 1625 secs || 120127 markings, 145631 edges, 73 markings/sec, 1625 secs
lola: STP completed || 1 tries, 141730 fired transitions, 1630 secs || 120468 markings, 146057 edges, 68 markings/sec, 1630 secs
lola: STP completed || 1 tries, 142168 fired transitions, 1635 secs || 120833 markings, 146522 edges, 73 markings/sec, 1635 secs
lola: STP completed || 1 tries, 142603 fired transitions, 1640 secs || 121202 markings, 147004 edges, 74 markings/sec, 1640 secs
lola: STP completed || 1 tries, 143042 fired transitions, 1645 secs || 121585 markings, 147526 edges, 77 markings/sec, 1645 secs
lola: STP completed || 1 tries, 143480 fired transitions, 1650 secs || 121972 markings, 147981 edges, 77 markings/sec, 1650 secs
lola: STP completed || 1 tries, 143883 fired transitions, 1655 secs || 122342 markings, 148483 edges, 74 markings/sec, 1655 secs
lola: STP completed || 1 tries, 144354 fired transitions, 1660 secs || 122756 markings, 149133 edges, 83 markings/sec, 1660 secs
lola: STP completed || 1 tries, 144805 fired transitions, 1665 secs || 123169 markings, 149678 edges, 83 markings/sec, 1665 secs
lola: STP completed || 1 tries, 145212 fired transitions, 1670 secs || 123546 markings, 150154 edges, 75 markings/sec, 1670 secs
lola: STP completed || 1 tries, 145666 fired transitions, 1675 secs || 123908 markings, 150569 edges, 72 markings/sec, 1675 secs
lola: STP completed || 1 tries, 146122 fired transitions, 1680 secs || 124294 markings, 151103 edges, 77 markings/sec, 1680 secs
lola: STP completed || 1 tries, 146576 fired transitions, 1685 secs || 124676 markings, 151617 edges, 76 markings/sec, 1685 secs
lola: STP completed || 1 tries, 147049 fired transitions, 1690 secs || 125082 markings, 152149 edges, 81 markings/sec, 1690 secs
lola: STP completed || 1 tries, 147512 fired transitions, 1695 secs || 125493 markings, 152715 edges, 82 markings/sec, 1695 secs
lola: STP completed || 1 tries, 147946 fired transitions, 1700 secs || 125844 markings, 153156 edges, 70 markings/sec, 1700 secs
lola: STP completed || 1 tries, 148378 fired transitions, 1705 secs || 126214 markings, 153625 edges, 74 markings/sec, 1705 secs
lola: STP completed || 1 tries, 148815 fired transitions, 1710 secs || 126579 markings, 154111 edges, 73 markings/sec, 1710 secs
lola: STP completed || 1 tries, 149289 fired transitions, 1715 secs || 126954 markings, 154629 edges, 75 markings/sec, 1715 secs
lola: STP completed || 1 tries, 149696 fired transitions, 1720 secs || 127322 markings, 155105 edges, 74 markings/sec, 1720 secs
lola: STP completed || 1 tries, 150131 fired transitions, 1725 secs || 127687 markings, 155554 edges, 73 markings/sec, 1725 secs
lola: STP completed || 1 tries, 150561 fired transitions, 1730 secs || 128043 markings, 156021 edges, 71 markings/sec, 1730 secs
lola: STP completed || 1 tries, 151007 fired transitions, 1735 secs || 128429 markings, 156525 edges, 77 markings/sec, 1735 secs
lola: STP completed || 1 tries, 151479 fired transitions, 1740 secs || 128814 markings, 156967 edges, 77 markings/sec, 1740 secs
lola: STP completed || 1 tries, 151918 fired transitions, 1745 secs || 129203 markings, 157506 edges, 78 markings/sec, 1745 secs
lola: STP completed || 1 tries, 152385 fired transitions, 1750 secs || 129570 markings, 157969 edges, 73 markings/sec, 1750 secs
lola: STP completed || 1 tries, 152822 fired transitions, 1755 secs || 129947 markings, 158492 edges, 75 markings/sec, 1755 secs
lola: STP completed || 1 tries, 153244 fired transitions, 1760 secs || 130306 markings, 158979 edges, 72 markings/sec, 1760 secs
lola: STP completed || 1 tries, 153689 fired transitions, 1765 secs || 130684 markings, 159454 edges, 76 markings/sec, 1765 secs
lola: STP completed || 1 tries, 154111 fired transitions, 1770 secs || 131084 markings, 160046 edges, 80 markings/sec, 1770 secs
lola: STP completed || 1 tries, 154535 fired transitions, 1775 secs || 131428 markings, 160490 edges, 69 markings/sec, 1775 secs
lola: STP completed || 1 tries, 154953 fired transitions, 1780 secs || 131793 markings, 160973 edges, 73 markings/sec, 1780 secs
lola: STP completed || 1 tries, 155386 fired transitions, 1785 secs || 132169 markings, 161526 edges, 75 markings/sec, 1785 secs
lola: STP completed || 1 tries, 155812 fired transitions, 1790 secs || 132540 markings, 162040 edges, 74 markings/sec, 1790 secs
lola: STP completed || 1 tries, 156205 fired transitions, 1795 secs || 132890 markings, 162474 edges, 70 markings/sec, 1795 secs
lola: STP completed || 1 tries, 156647 fired transitions, 1800 secs || 133275 markings, 162925 edges, 77 markings/sec, 1800 secs
lola: STP completed || 1 tries, 157083 fired transitions, 1805 secs || 133648 markings, 163385 edges, 75 markings/sec, 1805 secs
lola: STP completed || 1 tries, 157533 fired transitions, 1810 secs || 134015 markings, 163801 edges, 73 markings/sec, 1810 secs
lola: STP completed || 1 tries, 157971 fired transitions, 1815 secs || 134376 markings, 164262 edges, 72 markings/sec, 1815 secs
lola: STP completed || 1 tries, 158388 fired transitions, 1820 secs || 134706 markings, 164684 edges, 66 markings/sec, 1820 secs
lola: STP completed || 1 tries, 158764 fired transitions, 1825 secs || 135060 markings, 165117 edges, 71 markings/sec, 1825 secs
lola: STP completed || 1 tries, 159168 fired transitions, 1830 secs || 135447 markings, 165597 edges, 77 markings/sec, 1830 secs
lola: STP completed || 1 tries, 159614 fired transitions, 1835 secs || 135855 markings, 166148 edges, 82 markings/sec, 1835 secs
lola: STP completed || 1 tries, 160041 fired transitions, 1840 secs || 136226 markings, 166627 edges, 74 markings/sec, 1840 secs
lola: STP completed || 1 tries, 160475 fired transitions, 1845 secs || 136573 markings, 167072 edges, 69 markings/sec, 1845 secs
lola: STP completed || 1 tries, 160921 fired transitions, 1850 secs || 136935 markings, 167594 edges, 72 markings/sec, 1850 secs
lola: STP completed || 1 tries, 161365 fired transitions, 1855 secs || 137305 markings, 168077 edges, 74 markings/sec, 1855 secs
lola: STP completed || 1 tries, 161787 fired transitions, 1860 secs || 137674 markings, 168571 edges, 74 markings/sec, 1860 secs
lola: STP completed || 1 tries, 162198 fired transitions, 1865 secs || 138034 markings, 169097 edges, 72 markings/sec, 1865 secs
lola: STP completed || 1 tries, 162579 fired transitions, 1870 secs || 138376 markings, 169597 edges, 68 markings/sec, 1870 secs
lola: STP completed || 1 tries, 163071 fired transitions, 1875 secs || 138777 markings, 170141 edges, 80 markings/sec, 1875 secs
lola: STP completed || 1 tries, 163519 fired transitions, 1880 secs || 139156 markings, 170595 edges, 76 markings/sec, 1880 secs
lola: STP completed || 1 tries, 163985 fired transitions, 1885 secs || 139550 markings, 171136 edges, 79 markings/sec, 1885 secs
lola: STP completed || 1 tries, 164454 fired transitions, 1890 secs || 139971 markings, 171725 edges, 84 markings/sec, 1890 secs
lola: STP completed || 1 tries, 164912 fired transitions, 1895 secs || 140364 markings, 172276 edges, 79 markings/sec, 1895 secs
lola: STP completed || 1 tries, 165358 fired transitions, 1900 secs || 140749 markings, 172803 edges, 77 markings/sec, 1900 secs
lola: STP completed || 1 tries, 165832 fired transitions, 1905 secs || 141128 markings, 173325 edges, 76 markings/sec, 1905 secs
lola: STP completed || 1 tries, 166311 fired transitions, 1910 secs || 141519 markings, 173919 edges, 78 markings/sec, 1910 secs
lola: STP completed || 1 tries, 166729 fired transitions, 1915 secs || 141871 markings, 174375 edges, 70 markings/sec, 1915 secs
lola: STP completed || 1 tries, 167187 fired transitions, 1920 secs || 142252 markings, 174873 edges, 76 markings/sec, 1920 secs
lola: STP completed || 1 tries, 167618 fired transitions, 1925 secs || 142638 markings, 175481 edges, 77 markings/sec, 1925 secs
lola: STP completed || 1 tries, 168060 fired transitions, 1930 secs || 143016 markings, 175969 edges, 76 markings/sec, 1930 secs
lola: STP completed || 1 tries, 168483 fired transitions, 1935 secs || 143367 markings, 176462 edges, 70 markings/sec, 1935 secs
lola: STP completed || 1 tries, 168925 fired transitions, 1940 secs || 143748 markings, 176913 edges, 76 markings/sec, 1940 secs
lola: STP completed || 1 tries, 169369 fired transitions, 1945 secs || 144113 markings, 177412 edges, 73 markings/sec, 1945 secs
lola: STP completed || 1 tries, 169810 fired transitions, 1950 secs || 144511 markings, 177954 edges, 80 markings/sec, 1950 secs
lola: STP completed || 1 tries, 170281 fired transitions, 1955 secs || 144938 markings, 178564 edges, 85 markings/sec, 1955 secs
lola: STP completed || 1 tries, 170730 fired transitions, 1960 secs || 145330 markings, 179042 edges, 78 markings/sec, 1960 secs
lola: STP completed || 1 tries, 171162 fired transitions, 1965 secs || 145691 markings, 179528 edges, 72 markings/sec, 1965 secs
lola: STP completed || 1 tries, 171567 fired transitions, 1970 secs || 146036 markings, 179989 edges, 69 markings/sec, 1970 secs
lola: STP completed || 1 tries, 171974 fired transitions, 1975 secs || 146404 markings, 180448 edges, 74 markings/sec, 1975 secs
lola: STP completed || 1 tries, 172421 fired transitions, 1980 secs || 146749 markings, 180865 edges, 69 markings/sec, 1980 secs
lola: STP completed || 1 tries, 172854 fired transitions, 1985 secs || 147155 markings, 181411 edges, 81 markings/sec, 1985 secs
lola: STP completed || 1 tries, 173298 fired transitions, 1990 secs || 147529 markings, 181892 edges, 75 markings/sec, 1990 secs
lola: STP completed || 1 tries, 173742 fired transitions, 1995 secs || 147906 markings, 182326 edges, 75 markings/sec, 1995 secs
lola: STP completed || 1 tries, 174189 fired transitions, 2000 secs || 148285 markings, 182805 edges, 76 markings/sec, 2000 secs
lola: STP completed || 1 tries, 174595 fired transitions, 2005 secs || 148647 markings, 183267 edges, 72 markings/sec, 2005 secs
lola: STP completed || 1 tries, 175068 fired transitions, 2010 secs || 149021 markings, 183832 edges, 75 markings/sec, 2010 secs
lola: STP completed || 1 tries, 175513 fired transitions, 2015 secs || 149425 markings, 184424 edges, 81 markings/sec, 2015 secs
lola: STP completed || 1 tries, 175978 fired transitions, 2020 secs || 149838 markings, 185013 edges, 83 markings/sec, 2020 secs
lola: STP completed || 1 tries, 176435 fired transitions, 2025 secs || 150248 markings, 185601 edges, 82 markings/sec, 2025 secs
lola: STP completed || 1 tries, 176865 fired transitions, 2030 secs || 150599 markings, 186002 edges, 70 markings/sec, 2030 secs
lola: STP completed || 1 tries, 177319 fired transitions, 2035 secs || 150991 markings, 186511 edges, 78 markings/sec, 2035 secs
lola: STP completed || 1 tries, 177782 fired transitions, 2040 secs || 151367 markings, 187020 edges, 75 markings/sec, 2040 secs
lola: STP completed || 1 tries, 178211 fired transitions, 2045 secs || 151774 markings, 187527 edges, 81 markings/sec, 2045 secs
lola: STP completed || 1 tries, 178657 fired transitions, 2050 secs || 152149 markings, 187994 edges, 75 markings/sec, 2050 secs
lola: STP completed || 1 tries, 179073 fired transitions, 2055 secs || 152507 markings, 188430 edges, 72 markings/sec, 2055 secs
lola: STP completed || 1 tries, 179520 fired transitions, 2060 secs || 152892 markings, 188953 edges, 77 markings/sec, 2060 secs
lola: STP completed || 1 tries, 179993 fired transitions, 2065 secs || 153278 markings, 189476 edges, 77 markings/sec, 2065 secs
lola: STP completed || 1 tries, 180441 fired transitions, 2070 secs || 153640 markings, 189962 edges, 72 markings/sec, 2070 secs
lola: STP completed || 1 tries, 180867 fired transitions, 2075 secs || 153978 markings, 190325 edges, 68 markings/sec, 2075 secs
lola: STP completed || 1 tries, 181309 fired transitions, 2080 secs || 154342 markings, 190732 edges, 73 markings/sec, 2080 secs
lola: STP completed || 1 tries, 181727 fired transitions, 2085 secs || 154725 markings, 191235 edges, 77 markings/sec, 2085 secs
lola: STP completed || 1 tries, 182166 fired transitions, 2090 secs || 155109 markings, 191788 edges, 77 markings/sec, 2090 secs
lola: STP completed || 1 tries, 182585 fired transitions, 2095 secs || 155480 markings, 192266 edges, 74 markings/sec, 2095 secs
lola: STP completed || 1 tries, 183011 fired transitions, 2100 secs || 155855 markings, 192808 edges, 75 markings/sec, 2100 secs
lola: STP completed || 1 tries, 183427 fired transitions, 2105 secs || 156255 markings, 193375 edges, 80 markings/sec, 2105 secs
lola: STP completed || 1 tries, 183898 fired transitions, 2110 secs || 156669 markings, 193956 edges, 83 markings/sec, 2110 secs
lola: STP completed || 1 tries, 184374 fired transitions, 2115 secs || 157117 markings, 194617 edges, 90 markings/sec, 2115 secs
lola: STP completed || 1 tries, 184817 fired transitions, 2120 secs || 157522 markings, 195209 edges, 81 markings/sec, 2120 secs
lola: STP completed || 1 tries, 185244 fired transitions, 2125 secs || 157914 markings, 195697 edges, 78 markings/sec, 2125 secs
lola: STP completed || 1 tries, 185699 fired transitions, 2130 secs || 158298 markings, 196173 edges, 77 markings/sec, 2130 secs
lola: STP completed || 1 tries, 186145 fired transitions, 2135 secs || 158674 markings, 196632 edges, 75 markings/sec, 2135 secs
lola: STP completed || 1 tries, 186596 fired transitions, 2140 secs || 159086 markings, 197234 edges, 82 markings/sec, 2140 secs
lola: STP completed || 1 tries, 187028 fired transitions, 2145 secs || 159453 markings, 197723 edges, 73 markings/sec, 2145 secs
lola: STP completed || 1 tries, 187481 fired transitions, 2150 secs || 159833 markings, 198275 edges, 76 markings/sec, 2150 secs
lola: STP completed || 1 tries, 187912 fired transitions, 2155 secs || 160181 markings, 198773 edges, 70 markings/sec, 2155 secs
lola: STP completed || 1 tries, 188310 fired transitions, 2160 secs || 160500 markings, 199242 edges, 64 markings/sec, 2160 secs
lola: STP completed || 1 tries, 188687 fired transitions, 2165 secs || 160849 markings, 199656 edges, 70 markings/sec, 2165 secs
lola: STP completed || 1 tries, 189097 fired transitions, 2170 secs || 161202 markings, 200094 edges, 71 markings/sec, 2170 secs
lola: STP completed || 1 tries, 189542 fired transitions, 2175 secs || 161609 markings, 200632 edges, 81 markings/sec, 2175 secs
lola: STP completed || 1 tries, 189955 fired transitions, 2180 secs || 161985 markings, 201100 edges, 75 markings/sec, 2180 secs
lola: STP completed || 1 tries, 190403 fired transitions, 2185 secs || 162364 markings, 201563 edges, 76 markings/sec, 2185 secs
lola: STP completed || 1 tries, 190822 fired transitions, 2190 secs || 162718 markings, 201981 edges, 71 markings/sec, 2190 secs
lola: STP completed || 1 tries, 191274 fired transitions, 2195 secs || 163142 markings, 202528 edges, 85 markings/sec, 2195 secs
lola: STP completed || 1 tries, 191720 fired transitions, 2200 secs || 163529 markings, 203079 edges, 77 markings/sec, 2200 secs
lola: STP completed || 1 tries, 192183 fired transitions, 2205 secs || 163931 markings, 203597 edges, 80 markings/sec, 2205 secs
lola: STP completed || 1 tries, 192615 fired transitions, 2210 secs || 164304 markings, 204096 edges, 75 markings/sec, 2210 secs
lola: STP completed || 1 tries, 193058 fired transitions, 2215 secs || 164679 markings, 204571 edges, 75 markings/sec, 2215 secs
lola: STP completed || 1 tries, 193544 fired transitions, 2220 secs || 165081 markings, 205039 edges, 80 markings/sec, 2220 secs
lola: STP completed || 1 tries, 194025 fired transitions, 2225 secs || 165463 markings, 205448 edges, 76 markings/sec, 2225 secs
lola: STP completed || 1 tries, 194475 fired transitions, 2230 secs || 165826 markings, 205940 edges, 73 markings/sec, 2230 secs
lola: STP completed || 1 tries, 194907 fired transitions, 2235 secs || 166208 markings, 206419 edges, 76 markings/sec, 2235 secs
lola: STP completed || 1 tries, 195335 fired transitions, 2240 secs || 166553 markings, 206837 edges, 69 markings/sec, 2240 secs
lola: STP completed || 1 tries, 195750 fired transitions, 2245 secs || 166889 markings, 207267 edges, 67 markings/sec, 2245 secs
lola: STP completed || 1 tries, 196183 fired transitions, 2250 secs || 167251 markings, 207788 edges, 72 markings/sec, 2250 secs
lola: STP completed || 1 tries, 196669 fired transitions, 2255 secs || 167637 markings, 208345 edges, 77 markings/sec, 2255 secs
lola: STP completed || 1 tries, 197100 fired transitions, 2260 secs || 167994 markings, 208816 edges, 71 markings/sec, 2260 secs
lola: STP completed || 1 tries, 197512 fired transitions, 2265 secs || 168351 markings, 209285 edges, 71 markings/sec, 2265 secs
lola: STP completed || 1 tries, 197935 fired transitions, 2270 secs || 168721 markings, 209786 edges, 74 markings/sec, 2270 secs
lola: STP completed || 1 tries, 198341 fired transitions, 2275 secs || 169070 markings, 210173 edges, 70 markings/sec, 2275 secs
lola: STP completed || 1 tries, 198789 fired transitions, 2280 secs || 169458 markings, 210664 edges, 78 markings/sec, 2280 secs
lola: STP completed || 1 tries, 199282 fired transitions, 2285 secs || 169893 markings, 211276 edges, 87 markings/sec, 2285 secs
lola: STP completed || 1 tries, 199678 fired transitions, 2290 secs || 170249 markings, 211792 edges, 71 markings/sec, 2290 secs
lola: STP completed || 1 tries, 200095 fired transitions, 2295 secs || 170608 markings, 212310 edges, 72 markings/sec, 2295 secs
lola: STP completed || 1 tries, 200516 fired transitions, 2300 secs || 170988 markings, 212781 edges, 76 markings/sec, 2300 secs
lola: STP completed || 1 tries, 200932 fired transitions, 2305 secs || 171312 markings, 213175 edges, 65 markings/sec, 2305 secs
lola: STP completed || 1 tries, 201355 fired transitions, 2310 secs || 171718 markings, 213739 edges, 81 markings/sec, 2310 secs
lola: STP completed || 1 tries, 201752 fired transitions, 2315 secs || 172059 markings, 214190 edges, 68 markings/sec, 2315 secs
lola: STP completed || 1 tries, 202147 fired transitions, 2320 secs || 172411 markings, 214687 edges, 70 markings/sec, 2320 secs
lola: STP completed || 1 tries, 202638 fired transitions, 2325 secs || 172825 markings, 215317 edges, 83 markings/sec, 2325 secs
lola: STP completed || 1 tries, 203096 fired transitions, 2330 secs || 173227 markings, 215931 edges, 80 markings/sec, 2330 secs
lola: STP completed || 1 tries, 203477 fired transitions, 2335 secs || 173582 markings, 216441 edges, 71 markings/sec, 2335 secs
lola: STP completed || 1 tries, 203981 fired transitions, 2340 secs || 174014 markings, 217073 edges, 86 markings/sec, 2340 secs
lola: STP completed || 1 tries, 204440 fired transitions, 2345 secs || 174409 markings, 217568 edges, 79 markings/sec, 2345 secs
lola: STP completed || 1 tries, 204909 fired transitions, 2350 secs || 174790 markings, 218063 edges, 76 markings/sec, 2350 secs
lola: STP completed || 1 tries, 205395 fired transitions, 2355 secs || 175187 markings, 218571 edges, 79 markings/sec, 2355 secs
lola: STP completed || 1 tries, 205820 fired transitions, 2360 secs || 175556 markings, 219073 edges, 74 markings/sec, 2360 secs
lola: STP completed || 1 tries, 206245 fired transitions, 2365 secs || 175936 markings, 219580 edges, 76 markings/sec, 2365 secs
lola: STP completed || 1 tries, 206684 fired transitions, 2370 secs || 176309 markings, 220139 edges, 75 markings/sec, 2370 secs
lola: STP completed || 1 tries, 207123 fired transitions, 2375 secs || 176683 markings, 220567 edges, 75 markings/sec, 2375 secs
lola: STP completed || 1 tries, 207526 fired transitions, 2380 secs || 177022 markings, 220956 edges, 68 markings/sec, 2380 secs
lola: STP completed || 1 tries, 207956 fired transitions, 2385 secs || 177398 markings, 221466 edges, 75 markings/sec, 2385 secs
lola: STP completed || 1 tries, 208388 fired transitions, 2390 secs || 177736 markings, 221899 edges, 68 markings/sec, 2390 secs
lola: STP completed || 1 tries, 208825 fired transitions, 2395 secs || 178134 markings, 222440 edges, 80 markings/sec, 2395 secs
lola: STP completed || 1 tries, 209262 fired transitions, 2400 secs || 178539 markings, 223003 edges, 81 markings/sec, 2400 secs
lola: STP completed || 1 tries, 209696 fired transitions, 2405 secs || 178905 markings, 223525 edges, 73 markings/sec, 2405 secs
lola: STP completed || 1 tries, 210121 fired transitions, 2410 secs || 179292 markings, 224102 edges, 77 markings/sec, 2410 secs
lola: STP completed || 1 tries, 210591 fired transitions, 2415 secs || 179661 markings, 224632 edges, 74 markings/sec, 2415 secs
lola: STP completed || 1 tries, 211033 fired transitions, 2420 secs || 180069 markings, 225190 edges, 82 markings/sec, 2420 secs
lola: STP completed || 1 tries, 211482 fired transitions, 2425 secs || 180443 markings, 225732 edges, 75 markings/sec, 2425 secs
lola: STP completed || 1 tries, 211919 fired transitions, 2430 secs || 180842 markings, 226367 edges, 80 markings/sec, 2430 secs
lola: STP completed || 1 tries, 212353 fired transitions, 2435 secs || 181227 markings, 226927 edges, 77 markings/sec, 2435 secs
lola: STP completed || 1 tries, 212759 fired transitions, 2440 secs || 181609 markings, 227412 edges, 76 markings/sec, 2440 secs
lola: STP completed || 1 tries, 213211 fired transitions, 2445 secs || 181974 markings, 227841 edges, 73 markings/sec, 2445 secs
lola: STP completed || 1 tries, 213660 fired transitions, 2450 secs || 182335 markings, 228262 edges, 72 markings/sec, 2450 secs
lola: STP completed || 1 tries, 214062 fired transitions, 2455 secs || 182683 markings, 228734 edges, 70 markings/sec, 2455 secs
lola: STP completed || 1 tries, 214507 fired transitions, 2460 secs || 183065 markings, 229302 edges, 76 markings/sec, 2460 secs
lola: STP completed || 1 tries, 214979 fired transitions, 2465 secs || 183456 markings, 229865 edges, 78 markings/sec, 2465 secs
lola: STP completed || 1 tries, 215439 fired transitions, 2470 secs || 183867 markings, 230455 edges, 82 markings/sec, 2470 secs
lola: STP completed || 1 tries, 215882 fired transitions, 2475 secs || 184303 markings, 231075 edges, 87 markings/sec, 2475 secs
lola: STP completed || 1 tries, 216337 fired transitions, 2480 secs || 184713 markings, 231690 edges, 82 markings/sec, 2480 secs
lola: STP completed || 1 tries, 216758 fired transitions, 2485 secs || 185104 markings, 232194 edges, 78 markings/sec, 2485 secs
lola: STP completed || 1 tries, 217194 fired transitions, 2490 secs || 185491 markings, 232649 edges, 77 markings/sec, 2490 secs
lola: STP completed || 1 tries, 217667 fired transitions, 2495 secs || 185890 markings, 233118 edges, 80 markings/sec, 2495 secs
lola: STP completed || 1 tries, 218072 fired transitions, 2500 secs || 186249 markings, 233586 edges, 72 markings/sec, 2500 secs
lola: STP completed || 1 tries, 218511 fired transitions, 2505 secs || 186606 markings, 234036 edges, 71 markings/sec, 2505 secs
lola: STP completed || 1 tries, 218959 fired transitions, 2510 secs || 187003 markings, 234537 edges, 79 markings/sec, 2510 secs
lola: STP completed || 1 tries, 219398 fired transitions, 2515 secs || 187384 markings, 235081 edges, 76 markings/sec, 2515 secs
lola: STP completed || 1 tries, 219845 fired transitions, 2520 secs || 187774 markings, 235632 edges, 78 markings/sec, 2520 secs
lola: STP completed || 1 tries, 220267 fired transitions, 2525 secs || 188129 markings, 236111 edges, 71 markings/sec, 2525 secs
lola: STP completed || 1 tries, 220691 fired transitions, 2530 secs || 188469 markings, 236551 edges, 68 markings/sec, 2530 secs
lola: STP completed || 1 tries, 221133 fired transitions, 2535 secs || 188824 markings, 236990 edges, 71 markings/sec, 2535 secs
lola: STP completed || 1 tries, 221550 fired transitions, 2540 secs || 189187 markings, 237417 edges, 73 markings/sec, 2540 secs
lola: STP completed || 1 tries, 221990 fired transitions, 2545 secs || 189560 markings, 237859 edges, 75 markings/sec, 2545 secs
lola: STP completed || 1 tries, 222439 fired transitions, 2550 secs || 189946 markings, 238443 edges, 77 markings/sec, 2550 secs
lola: STP completed || 1 tries, 222896 fired transitions, 2555 secs || 190287 markings, 238894 edges, 68 markings/sec, 2555 secs
lola: STP completed || 1 tries, 223357 fired transitions, 2560 secs || 190660 markings, 239409 edges, 75 markings/sec, 2560 secs
lola: STP completed || 1 tries, 223828 fired transitions, 2565 secs || 191060 markings, 239971 edges, 80 markings/sec, 2565 secs
lola: STP completed || 1 tries, 224282 fired transitions, 2570 secs || 191414 markings, 240373 edges, 71 markings/sec, 2570 secs
lola: STP completed || 1 tries, 224706 fired transitions, 2575 secs || 191770 markings, 240807 edges, 71 markings/sec, 2575 secs
lola: STP completed || 1 tries, 225153 fired transitions, 2580 secs || 192159 markings, 241332 edges, 78 markings/sec, 2580 secs
lola: STP completed || 1 tries, 225606 fired transitions, 2585 secs || 192563 markings, 241898 edges, 81 markings/sec, 2585 secs
lola: STP completed || 1 tries, 226031 fired transitions, 2590 secs || 192916 markings, 242383 edges, 71 markings/sec, 2590 secs
lola: STP completed || 1 tries, 226462 fired transitions, 2595 secs || 193292 markings, 242908 edges, 75 markings/sec, 2595 secs
lola: STP completed || 1 tries, 226862 fired transitions, 2600 secs || 193622 markings, 243391 edges, 66 markings/sec, 2600 secs
lola: STP completed || 1 tries, 227294 fired transitions, 2605 secs || 194004 markings, 243860 edges, 76 markings/sec, 2605 secs
lola: STP completed || 1 tries, 227705 fired transitions, 2610 secs || 194372 markings, 244277 edges, 74 markings/sec, 2610 secs
lola: STP completed || 1 tries, 228116 fired transitions, 2615 secs || 194730 markings, 244801 edges, 72 markings/sec, 2615 secs
lola: STP completed || 1 tries, 228560 fired transitions, 2620 secs || 195101 markings, 245280 edges, 74 markings/sec, 2620 secs
lola: STP completed || 1 tries, 228999 fired transitions, 2625 secs || 195476 markings, 245789 edges, 75 markings/sec, 2625 secs
lola: STP completed || 1 tries, 229440 fired transitions, 2630 secs || 195855 markings, 246267 edges, 76 markings/sec, 2630 secs
lola: STP completed || 1 tries, 229882 fired transitions, 2635 secs || 196219 markings, 246704 edges, 73 markings/sec, 2635 secs
lola: STP completed || 1 tries, 230343 fired transitions, 2640 secs || 196630 markings, 247302 edges, 82 markings/sec, 2640 secs
lola: STP completed || 1 tries, 230756 fired transitions, 2645 secs || 197008 markings, 247787 edges, 76 markings/sec, 2645 secs
lola: STP completed || 1 tries, 231214 fired transitions, 2650 secs || 197425 markings, 248392 edges, 83 markings/sec, 2650 secs
lola: STP completed || 1 tries, 231633 fired transitions, 2655 secs || 197785 markings, 248899 edges, 72 markings/sec, 2655 secs
lola: STP completed || 1 tries, 232094 fired transitions, 2660 secs || 198205 markings, 249483 edges, 84 markings/sec, 2660 secs
lola: STP completed || 1 tries, 232532 fired transitions, 2665 secs || 198592 markings, 249957 edges, 77 markings/sec, 2665 secs
lola: STP completed || 1 tries, 232962 fired transitions, 2670 secs || 198955 markings, 250446 edges, 73 markings/sec, 2670 secs
lola: STP completed || 1 tries, 233422 fired transitions, 2675 secs || 199349 markings, 250901 edges, 79 markings/sec, 2675 secs
lola: STP completed || 1 tries, 233845 fired transitions, 2680 secs || 199693 markings, 251339 edges, 69 markings/sec, 2680 secs
lola: STP completed || 1 tries, 234277 fired transitions, 2685 secs || 200057 markings, 251794 edges, 73 markings/sec, 2685 secs
lola: STP completed || 1 tries, 234736 fired transitions, 2690 secs || 200435 markings, 252209 edges, 76 markings/sec, 2690 secs
lola: STP completed || 1 tries, 235189 fired transitions, 2695 secs || 200809 markings, 252667 edges, 75 markings/sec, 2695 secs
lola: STP completed || 1 tries, 235626 fired transitions, 2700 secs || 201181 markings, 253130 edges, 74 markings/sec, 2700 secs
lola: STP completed || 1 tries, 236070 fired transitions, 2705 secs || 201555 markings, 253625 edges, 75 markings/sec, 2705 secs
lola: STP completed || 1 tries, 236521 fired transitions, 2710 secs || 201940 markings, 254161 edges, 77 markings/sec, 2710 secs
lola: STP completed || 1 tries, 236958 fired transitions, 2715 secs || 202330 markings, 254687 edges, 78 markings/sec, 2715 secs
lola: STP completed || 1 tries, 237347 fired transitions, 2720 secs || 202683 markings, 255129 edges, 71 markings/sec, 2720 secs
lola: STP completed || 1 tries, 237805 fired transitions, 2725 secs || 203068 markings, 255624 edges, 77 markings/sec, 2725 secs
lola: STP completed || 1 tries, 238247 fired transitions, 2730 secs || 203452 markings, 256077 edges, 77 markings/sec, 2730 secs
lola: STP completed || 1 tries, 238699 fired transitions, 2735 secs || 203837 markings, 256614 edges, 77 markings/sec, 2735 secs
lola: STP completed || 1 tries, 239106 fired transitions, 2740 secs || 204209 markings, 257073 edges, 74 markings/sec, 2740 secs
lola: STP completed || 1 tries, 239550 fired transitions, 2745 secs || 204563 markings, 257541 edges, 71 markings/sec, 2745 secs
lola: STP completed || 1 tries, 239971 fired transitions, 2750 secs || 204928 markings, 258067 edges, 73 markings/sec, 2750 secs
lola: STP completed || 1 tries, 240380 fired transitions, 2755 secs || 205284 markings, 258523 edges, 71 markings/sec, 2755 secs
lola: STP completed || 1 tries, 240809 fired transitions, 2760 secs || 205676 markings, 259085 edges, 78 markings/sec, 2760 secs
lola: STP completed || 1 tries, 241272 fired transitions, 2765 secs || 206060 markings, 259654 edges, 77 markings/sec, 2765 secs
lola: STP completed || 1 tries, 241748 fired transitions, 2770 secs || 206451 markings, 260205 edges, 78 markings/sec, 2770 secs
lola: STP completed || 1 tries, 242147 fired transitions, 2775 secs || 206803 markings, 260715 edges, 70 markings/sec, 2775 secs
lola: STP completed || 1 tries, 242564 fired transitions, 2780 secs || 207131 markings, 261079 edges, 66 markings/sec, 2780 secs
lola: STP completed || 1 tries, 242990 fired transitions, 2785 secs || 207504 markings, 261552 edges, 75 markings/sec, 2785 secs
lola: STP completed || 1 tries, 243431 fired transitions, 2790 secs || 207876 markings, 262051 edges, 74 markings/sec, 2790 secs
lola: STP completed || 1 tries, 243836 fired transitions, 2795 secs || 208223 markings, 262535 edges, 69 markings/sec, 2795 secs
lola: STP completed || 1 tries, 244277 fired transitions, 2800 secs || 208598 markings, 263018 edges, 75 markings/sec, 2800 secs
lola: STP completed || 1 tries, 244725 fired transitions, 2805 secs || 208973 markings, 263472 edges, 75 markings/sec, 2805 secs
lola: STP completed || 1 tries, 245187 fired transitions, 2810 secs || 209375 markings, 264005 edges, 80 markings/sec, 2810 secs
lola: STP completed || 1 tries, 245626 fired transitions, 2815 secs || 209765 markings, 264526 edges, 78 markings/sec, 2815 secs
lola: STP completed || 1 tries, 246093 fired transitions, 2820 secs || 210148 markings, 265095 edges, 77 markings/sec, 2820 secs
lola: STP completed || 1 tries, 246540 fired transitions, 2825 secs || 210535 markings, 265631 edges, 77 markings/sec, 2825 secs
lola: STP completed || 1 tries, 246997 fired transitions, 2830 secs || 210919 markings, 266124 edges, 77 markings/sec, 2830 secs
lola: STP completed || 1 tries, 247477 fired transitions, 2835 secs || 211312 markings, 266716 edges, 79 markings/sec, 2835 secs
lola: STP completed || 1 tries, 247902 fired transitions, 2840 secs || 211693 markings, 267263 edges, 76 markings/sec, 2840 secs
lola: STP completed || 1 tries, 248313 fired transitions, 2845 secs || 212048 markings, 267798 edges, 71 markings/sec, 2845 secs
lola: STP completed || 1 tries, 248759 fired transitions, 2850 secs || 212441 markings, 268370 edges, 79 markings/sec, 2850 secs
lola: STP completed || 1 tries, 249230 fired transitions, 2855 secs || 212836 markings, 268938 edges, 79 markings/sec, 2855 secs
lola: STP completed || 1 tries, 249660 fired transitions, 2860 secs || 213227 markings, 269516 edges, 78 markings/sec, 2860 secs
lola: STP completed || 1 tries, 250085 fired transitions, 2865 secs || 213584 markings, 270008 edges, 71 markings/sec, 2865 secs
lola: STP completed || 1 tries, 250534 fired transitions, 2870 secs || 213958 markings, 270473 edges, 75 markings/sec, 2870 secs
lola: STP completed || 1 tries, 250977 fired transitions, 2875 secs || 214349 markings, 270944 edges, 78 markings/sec, 2875 secs
lola: STP completed || 1 tries, 251444 fired transitions, 2880 secs || 214752 markings, 271465 edges, 81 markings/sec, 2880 secs
lola: STP completed || 1 tries, 251901 fired transitions, 2885 secs || 215169 markings, 272105 edges, 83 markings/sec, 2885 secs
lola: STP completed || 1 tries, 252368 fired transitions, 2890 secs || 215550 markings, 272566 edges, 76 markings/sec, 2890 secs
lola: STP completed || 1 tries, 252828 fired transitions, 2895 secs || 215961 markings, 273225 edges, 82 markings/sec, 2895 secs
lola: STP completed || 1 tries, 253266 fired transitions, 2900 secs || 216339 markings, 273793 edges, 76 markings/sec, 2900 secs
lola: STP completed || 1 tries, 253740 fired transitions, 2905 secs || 216743 markings, 274342 edges, 81 markings/sec, 2905 secs
lola: STP completed || 1 tries, 254201 fired transitions, 2910 secs || 217106 markings, 274833 edges, 73 markings/sec, 2910 secs
lola: STP completed || 1 tries, 254649 fired transitions, 2915 secs || 217488 markings, 275371 edges, 76 markings/sec, 2915 secs
lola: STP completed || 1 tries, 255106 fired transitions, 2920 secs || 217881 markings, 275919 edges, 79 markings/sec, 2920 secs
lola: STP completed || 1 tries, 255572 fired transitions, 2925 secs || 218300 markings, 276504 edges, 84 markings/sec, 2925 secs
lola: STP completed || 1 tries, 256022 fired transitions, 2930 secs || 218698 markings, 277073 edges, 80 markings/sec, 2930 secs
lola: STP completed || 1 tries, 256475 fired transitions, 2935 secs || 219087 markings, 277633 edges, 78 markings/sec, 2935 secs
lola: STP completed || 1 tries, 256926 fired transitions, 2940 secs || 219472 markings, 278171 edges, 77 markings/sec, 2940 secs
lola: STP completed || 1 tries, 257387 fired transitions, 2945 secs || 219869 markings, 278743 edges, 79 markings/sec, 2945 secs
lola: STP completed || 1 tries, 257838 fired transitions, 2950 secs || 220245 markings, 279305 edges, 75 markings/sec, 2950 secs
lola: STP completed || 1 tries, 258312 fired transitions, 2955 secs || 220627 markings, 279849 edges, 76 markings/sec, 2955 secs
lola: STP completed || 1 tries, 258723 fired transitions, 2960 secs || 221000 markings, 280366 edges, 75 markings/sec, 2960 secs
lola: STP completed || 1 tries, 259156 fired transitions, 2965 secs || 221388 markings, 280889 edges, 78 markings/sec, 2965 secs
lola: STP completed || 1 tries, 259616 fired transitions, 2970 secs || 221786 markings, 281368 edges, 80 markings/sec, 2970 secs
lola: STP completed || 1 tries, 260036 fired transitions, 2975 secs || 222157 markings, 281801 edges, 74 markings/sec, 2975 secs
lola: STP completed || 1 tries, 260528 fired transitions, 2980 secs || 222568 markings, 282328 edges, 82 markings/sec, 2980 secs
lola: STP completed || 1 tries, 260974 fired transitions, 2985 secs || 222950 markings, 282790 edges, 76 markings/sec, 2985 secs
lola: STP completed || 1 tries, 261414 fired transitions, 2990 secs || 223317 markings, 283273 edges, 73 markings/sec, 2990 secs
lola: STP completed || 1 tries, 261860 fired transitions, 2995 secs || 223661 markings, 283663 edges, 69 markings/sec, 2995 secs
lola: STP completed || 1 tries, 262320 fired transitions, 3000 secs || 224052 markings, 284101 edges, 78 markings/sec, 3000 secs
lola: STP completed || 1 tries, 262770 fired transitions, 3005 secs || 224420 markings, 284561 edges, 74 markings/sec, 3005 secs
lola: STP completed || 1 tries, 263196 fired transitions, 3010 secs || 224786 markings, 285106 edges, 73 markings/sec, 3010 secs
lola: STP completed || 1 tries, 263588 fired transitions, 3015 secs || 225151 markings, 285613 edges, 73 markings/sec, 3015 secs
lola: STP completed || 1 tries, 264048 fired transitions, 3020 secs || 225566 markings, 286269 edges, 83 markings/sec, 3020 secs
lola: STP completed || 1 tries, 264520 fired transitions, 3025 secs || 225963 markings, 286860 edges, 79 markings/sec, 3025 secs
lola: STP completed || 1 tries, 264988 fired transitions, 3030 secs || 226359 markings, 287415 edges, 79 markings/sec, 3030 secs
lola: STP completed || 1 tries, 265412 fired transitions, 3035 secs || 226724 markings, 287916 edges, 73 markings/sec, 3035 secs
lola: STP completed || 1 tries, 265872 fired transitions, 3040 secs || 227099 markings, 288480 edges, 75 markings/sec, 3040 secs
lola: STP completed || 1 tries, 266300 fired transitions, 3045 secs || 227447 markings, 288976 edges, 70 markings/sec, 3045 secs
lola: STP completed || 1 tries, 266780 fired transitions, 3050 secs || 227829 markings, 289488 edges, 76 markings/sec, 3050 secs
lola: STP completed || 1 tries, 267205 fired transitions, 3055 secs || 228213 markings, 290006 edges, 77 markings/sec, 3055 secs
lola: STP completed || 1 tries, 267662 fired transitions, 3060 secs || 228601 markings, 290584 edges, 78 markings/sec, 3060 secs
lola: STP completed || 1 tries, 268103 fired transitions, 3065 secs || 228972 markings, 291131 edges, 74 markings/sec, 3065 secs
lola: STP completed || 1 tries, 268531 fired transitions, 3070 secs || 229338 markings, 291664 edges, 73 markings/sec, 3070 secs
lola: STP completed || 1 tries, 268962 fired transitions, 3075 secs || 229699 markings, 292102 edges, 72 markings/sec, 3075 secs
lola: STP completed || 1 tries, 269440 fired transitions, 3080 secs || 230109 markings, 292640 edges, 82 markings/sec, 3080 secs
lola: STP completed || 1 tries, 269870 fired transitions, 3085 secs || 230484 markings, 293099 edges, 75 markings/sec, 3085 secs
lola: STP completed || 1 tries, 270308 fired transitions, 3090 secs || 230880 markings, 293717 edges, 79 markings/sec, 3090 secs
lola: STP completed || 1 tries, 270754 fired transitions, 3095 secs || 231239 markings, 294245 edges, 72 markings/sec, 3095 secs
lola: STP completed || 1 tries, 271199 fired transitions, 3100 secs || 231611 markings, 294723 edges, 74 markings/sec, 3100 secs
lola: STP completed || 1 tries, 271615 fired transitions, 3105 secs || 231946 markings, 295080 edges, 67 markings/sec, 3105 secs
lola: STP completed || 1 tries, 272074 fired transitions, 3110 secs || 232310 markings, 295548 edges, 73 markings/sec, 3110 secs
lola: STP completed || 1 tries, 272506 fired transitions, 3115 secs || 232684 markings, 296114 edges, 75 markings/sec, 3115 secs
lola: STP completed || 1 tries, 272891 fired transitions, 3120 secs || 233047 markings, 296665 edges, 73 markings/sec, 3120 secs
lola: STP completed || 1 tries, 273339 fired transitions, 3125 secs || 233439 markings, 297226 edges, 78 markings/sec, 3125 secs
lola: STP completed || 1 tries, 273759 fired transitions, 3130 secs || 233833 markings, 297790 edges, 79 markings/sec, 3130 secs
lola: STP completed || 1 tries, 274206 fired transitions, 3135 secs || 234220 markings, 298294 edges, 77 markings/sec, 3135 secs
lola: STP completed || 1 tries, 274638 fired transitions, 3140 secs || 234596 markings, 298831 edges, 75 markings/sec, 3140 secs
lola: STP completed || 1 tries, 275094 fired transitions, 3145 secs || 234987 markings, 299379 edges, 78 markings/sec, 3145 secs
lola: STP completed || 1 tries, 275541 fired transitions, 3150 secs || 235377 markings, 299983 edges, 78 markings/sec, 3150 secs
lola: STP completed || 1 tries, 275989 fired transitions, 3155 secs || 235749 markings, 300500 edges, 74 markings/sec, 3155 secs
lola: STP completed || 1 tries, 276423 fired transitions, 3160 secs || 236139 markings, 301119 edges, 78 markings/sec, 3160 secs
lola: STP completed || 1 tries, 276864 fired transitions, 3165 secs || 236541 markings, 301664 edges, 80 markings/sec, 3165 secs
lola: STP completed || 1 tries, 277276 fired transitions, 3170 secs || 236912 markings, 302192 edges, 74 markings/sec, 3170 secs
lola: STP completed || 1 tries, 277738 fired transitions, 3175 secs || 237308 markings, 302743 edges, 79 markings/sec, 3175 secs
lola: STP completed || 1 tries, 278168 fired transitions, 3180 secs || 237680 markings, 303304 edges, 74 markings/sec, 3180 secs
lola: STP completed || 1 tries, 278629 fired transitions, 3185 secs || 238073 markings, 303824 edges, 79 markings/sec, 3185 secs
lola: STP completed || 1 tries, 279101 fired transitions, 3190 secs || 238445 markings, 304379 edges, 74 markings/sec, 3190 secs
lola: STP completed || 1 tries, 279537 fired transitions, 3195 secs || 238810 markings, 304913 edges, 73 markings/sec, 3195 secs
lola: STP completed || 1 tries, 279970 fired transitions, 3200 secs || 239182 markings, 305474 edges, 74 markings/sec, 3200 secs
lola: STP completed || 1 tries, 280415 fired transitions, 3205 secs || 239569 markings, 305965 edges, 77 markings/sec, 3205 secs
lola: STP completed || 1 tries, 280859 fired transitions, 3210 secs || 239958 markings, 306540 edges, 78 markings/sec, 3210 secs
lola: STP completed || 1 tries, 281329 fired transitions, 3215 secs || 240349 markings, 307122 edges, 78 markings/sec, 3215 secs
lola: STP completed || 1 tries, 281781 fired transitions, 3220 secs || 240732 markings, 307677 edges, 77 markings/sec, 3220 secs
lola: STP completed || 1 tries, 282239 fired transitions, 3225 secs || 241102 markings, 308224 edges, 74 markings/sec, 3225 secs
lola: STP completed || 1 tries, 282705 fired transitions, 3230 secs || 241509 markings, 308837 edges, 81 markings/sec, 3230 secs
lola: STP completed || 1 tries, 283141 fired transitions, 3235 secs || 241894 markings, 309428 edges, 77 markings/sec, 3235 secs
lola: STP completed || 1 tries, 283552 fired transitions, 3240 secs || 242279 markings, 309997 edges, 77 markings/sec, 3240 secs
lola: STP completed || 1 tries, 283963 fired transitions, 3245 secs || 242645 markings, 310501 edges, 73 markings/sec, 3245 secs
lola: STP completed || 1 tries, 284360 fired transitions, 3250 secs || 242993 markings, 310898 edges, 70 markings/sec, 3250 secs
lola: STP completed || 1 tries, 284845 fired transitions, 3255 secs || 243368 markings, 311398 edges, 75 markings/sec, 3255 secs
lola: STP completed || 1 tries, 285287 fired transitions, 3260 secs || 243739 markings, 311935 edges, 74 markings/sec, 3260 secs
lola: STP completed || 1 tries, 285707 fired transitions, 3265 secs || 244101 markings, 312439 edges, 72 markings/sec, 3265 secs
lola: STP completed || 1 tries, 286157 fired transitions, 3270 secs || 244497 markings, 313046 edges, 79 markings/sec, 3270 secs
lola: STP completed || 1 tries, 286601 fired transitions, 3275 secs || 244869 markings, 313584 edges, 74 markings/sec, 3275 secs
lola: STP completed || 1 tries, 287034 fired transitions, 3280 secs || 245241 markings, 314141 edges, 74 markings/sec, 3280 secs
lola: STP completed || 1 tries, 287486 fired transitions, 3285 secs || 245631 markings, 314661 edges, 78 markings/sec, 3285 secs
lola: STP completed || 1 tries, 287938 fired transitions, 3290 secs || 246011 markings, 315172 edges, 76 markings/sec, 3290 secs
lola: STP completed || 1 tries, 288373 fired transitions, 3295 secs || 246373 markings, 315680 edges, 72 markings/sec, 3295 secs
lola: STP completed || 1 tries, 288807 fired transitions, 3300 secs || 246728 markings, 316195 edges, 71 markings/sec, 3300 secs
lola: STP completed || 1 tries, 289216 fired transitions, 3305 secs || 247107 markings, 316758 edges, 76 markings/sec, 3305 secs
lola: STP completed || 1 tries, 289624 fired transitions, 3310 secs || 247501 markings, 317364 edges, 79 markings/sec, 3310 secs
lola: STP completed || 1 tries, 290031 fired transitions, 3315 secs || 247868 markings, 317926 edges, 73 markings/sec, 3315 secs
lola: STP completed || 1 tries, 290462 fired transitions, 3320 secs || 248231 markings, 318466 edges, 73 markings/sec, 3320 secs
lola: STP completed || 1 tries, 290924 fired transitions, 3325 secs || 248626 markings, 319029 edges, 79 markings/sec, 3325 secs
lola: STP completed || 1 tries, 291329 fired transitions, 3330 secs || 248990 markings, 319478 edges, 73 markings/sec, 3330 secs
lola: STP completed || 1 tries, 291799 fired transitions, 3335 secs || 249374 markings, 319981 edges, 77 markings/sec, 3335 secs
lola: STP completed || 1 tries, 292215 fired transitions, 3340 secs || 249723 markings, 320400 edges, 70 markings/sec, 3340 secs
lola: STP completed || 1 tries, 292630 fired transitions, 3345 secs || 250053 markings, 320869 edges, 66 markings/sec, 3345 secs
lola: STP completed || 1 tries, 293033 fired transitions, 3350 secs || 250404 markings, 321323 edges, 70 markings/sec, 3350 secs
lola: STP completed || 1 tries, 293466 fired transitions, 3355 secs || 250790 markings, 321932 edges, 77 markings/sec, 3355 secs
lola: STP completed || 1 tries, 293871 fired transitions, 3360 secs || 251142 markings, 322412 edges, 70 markings/sec, 3360 secs
lola: STP completed || 1 tries, 294301 fired transitions, 3365 secs || 251519 markings, 323026 edges, 75 markings/sec, 3365 secs
lola: STP completed || 1 tries, 294703 fired transitions, 3370 secs || 251867 markings, 323565 edges, 70 markings/sec, 3370 secs
lola: STP completed || 1 tries, 295123 fired transitions, 3375 secs || 252212 markings, 324005 edges, 69 markings/sec, 3375 secs
lola: STP completed || 1 tries, 295544 fired transitions, 3380 secs || 252603 markings, 324625 edges, 78 markings/sec, 3380 secs
lola: STP completed || 1 tries, 295998 fired transitions, 3385 secs || 252992 markings, 325171 edges, 78 markings/sec, 3385 secs
lola: STP completed || 1 tries, 296428 fired transitions, 3390 secs || 253353 markings, 325690 edges, 72 markings/sec, 3390 secs
lola: STP completed || 1 tries, 296870 fired transitions, 3395 secs || 253725 markings, 326167 edges, 74 markings/sec, 3395 secs
lola: STP completed || 1 tries, 297282 fired transitions, 3400 secs || 254092 markings, 326704 edges, 73 markings/sec, 3400 secs
lola: STP completed || 1 tries, 297719 fired transitions, 3405 secs || 254475 markings, 327313 edges, 77 markings/sec, 3405 secs
lola: STP completed || 1 tries, 298165 fired transitions, 3410 secs || 254863 markings, 327915 edges, 78 markings/sec, 3410 secs
lola: STP completed || 1 tries, 298591 fired transitions, 3415 secs || 255245 markings, 328472 edges, 76 markings/sec, 3415 secs
lola: STP completed || 1 tries, 299022 fired transitions, 3420 secs || 255623 markings, 329036 edges, 76 markings/sec, 3420 secs
lola: STP completed || 1 tries, 299455 fired transitions, 3425 secs || 256019 markings, 329629 edges, 79 markings/sec, 3425 secs
lola: STP completed || 1 tries, 299890 fired transitions, 3430 secs || 256392 markings, 330205 edges, 75 markings/sec, 3430 secs
lola: STP completed || 1 tries, 300293 fired transitions, 3435 secs || 256744 markings, 330680 edges, 70 markings/sec, 3435 secs
lola: STP completed || 1 tries, 300730 fired transitions, 3440 secs || 257108 markings, 331171 edges, 73 markings/sec, 3440 secs
lola: STP completed || 1 tries, 301204 fired transitions, 3445 secs || 257524 markings, 331676 edges, 83 markings/sec, 3445 secs
lola: STP completed || 1 tries, 301675 fired transitions, 3450 secs || 257921 markings, 332182 edges, 79 markings/sec, 3450 secs
lola: STP completed || 1 tries, 302077 fired transitions, 3455 secs || 258257 markings, 332612 edges, 67 markings/sec, 3455 secs
lola: STP completed || 1 tries, 302517 fired transitions, 3460 secs || 258609 markings, 333039 edges, 70 markings/sec, 3460 secs
lola: STP completed || 1 tries, 302945 fired transitions, 3465 secs || 258974 markings, 333513 edges, 73 markings/sec, 3465 secs
lola: STP completed || 1 tries, 303374 fired transitions, 3470 secs || 259337 markings, 333969 edges, 73 markings/sec, 3470 secs
lola: STP completed || 1 tries, 303745 fired transitions, 3475 secs || 259674 markings, 334391 edges, 67 markings/sec, 3475 secs
lola: STP completed || 1 tries, 304169 fired transitions, 3480 secs || 260053 markings, 334992 edges, 76 markings/sec, 3480 secs
lola: STP completed || 1 tries, 304617 fired transitions, 3485 secs || 260411 markings, 335537 edges, 72 markings/sec, 3485 secs
lola: STP completed || 1 tries, 305032 fired transitions, 3490 secs || 260768 markings, 336097 edges, 71 markings/sec, 3490 secs
lola: STP completed || 1 tries, 305493 fired transitions, 3495 secs || 261167 markings, 336684 edges, 80 markings/sec, 3495 secs
lola: STP completed || 1 tries, 305935 fired transitions, 3500 secs || 261554 markings, 337221 edges, 77 markings/sec, 3500 secs
lola: STP completed || 1 tries, 306363 fired transitions, 3505 secs || 261916 markings, 337674 edges, 72 markings/sec, 3505 secs
lola: STP completed || 1 tries, 306790 fired transitions, 3510 secs || 262260 markings, 338086 edges, 69 markings/sec, 3510 secs
lola: STP completed || 1 tries, 307243 fired transitions, 3515 secs || 262639 markings, 338620 edges, 76 markings/sec, 3515 secs
lola: STP completed || 1 tries, 307675 fired transitions, 3520 secs || 263046 markings, 339205 edges, 81 markings/sec, 3520 secs
lola: STP completed || 1 tries, 308092 fired transitions, 3525 secs || 263415 markings, 339628 edges, 74 markings/sec, 3525 secs
lola: STP completed || 1 tries, 308492 fired transitions, 3530 secs || 263778 markings, 340077 edges, 73 markings/sec, 3530 secs
lola: STP completed || 1 tries, 308899 fired transitions, 3535 secs || 264114 markings, 340492 edges, 67 markings/sec, 3535 secs
lola: STP completed || 1 tries, 309305 fired transitions, 3540 secs || 264489 markings, 340967 edges, 75 markings/sec, 3540 secs
lola: STP completed || 1 tries, 309758 fired transitions, 3545 secs || 264890 markings, 341525 edges, 80 markings/sec, 3545 secs
lola: STP completed || 1 tries, 310197 fired transitions, 3550 secs || 265287 markings, 342109 edges, 79 markings/sec, 3550 secs
lola: STP completed || 1 tries, 310621 fired transitions, 3555 secs || 265649 markings, 342590 edges, 72 markings/sec, 3555 secs
lola: STP completed || 1 tries, 311044 fired transitions, 3560 secs || 266016 markings, 343125 edges, 73 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 89472 KB
lola: time consumption: 3570 seconds
BK_STOP 1527046666000
--------------------
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="SafeBus-PT-15"
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/SafeBus-PT-15.tgz
mv SafeBus-PT-15 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 SafeBus-PT-15, 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 r148-smll-152685547200251"
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 ;