About the Execution of LoLA for SimpleLoadBal-PT-15
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1637.290 | 3570367.00 | 7188442.00 | 9207.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 1.4M
-rw-r--r-- 1 mcc users 5.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.4K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 110 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 348 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.2M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is SimpleLoadBal-PT-15, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-152708743000167
=====================================================================
--------------------
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 SimpleLoadBal-PT-15-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527218428597
info: Time: 3600 - MCC
===========================================================================================
prep: translating SimpleLoadBal-PT-15 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating SimpleLoadBal-PT-15 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ SimpleLoadBal-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: 1429/65536 symbol table entries, 126 collisions
lola: preprocessing...
lola: Size of bit vector: 149
lola: finding significant places
lola: 149 places, 1280 transitions, 110 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2081 transition conflict sets
lola: TASK
lola: reading formula from SimpleLoadBal-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: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 105 generators (17 in search tree, 88 by composition)
lola: representing 1.30767E+12 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 18281 variables and 123632 clauses shipped to Minisat
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 18509 fired transitions, 0 secs || 37631 markings, 49510 edges, 7526 markings/sec, 0 secs
lola: STP completed || 1 tries, 37118 fired transitions, 5 secs || 75671 markings, 100431 edges, 7608 markings/sec, 5 secs
lola: STP completed || 1 tries, 55664 fired transitions, 10 secs || 111067 markings, 148713 edges, 7079 markings/sec, 10 secs
lola: STP completed || 1 tries, 73763 fired transitions, 15 secs || 148354 markings, 199505 edges, 7457 markings/sec, 15 secs
lola: STP completed || 1 tries, 92290 fired transitions, 20 secs || 186654 markings, 251876 edges, 7660 markings/sec, 20 secs
lola: STP completed || 1 tries, 110671 fired transitions, 25 secs || 223974 markings, 303244 edges, 7464 markings/sec, 25 secs
lola: STP completed || 1 tries, 129185 fired transitions, 30 secs || 260952 markings, 354614 edges, 7396 markings/sec, 30 secs
lola: STP completed || 1 tries, 147815 fired transitions, 35 secs || 299334 markings, 407413 edges, 7676 markings/sec, 35 secs
lola: STP completed || 1 tries, 166217 fired transitions, 40 secs || 336618 markings, 459339 edges, 7457 markings/sec, 40 secs
lola: STP completed || 1 tries, 184821 fired transitions, 45 secs || 374217 markings, 511653 edges, 7520 markings/sec, 45 secs
lola: STP completed || 1 tries, 203153 fired transitions, 50 secs || 411343 markings, 563257 edges, 7425 markings/sec, 50 secs
lola: STP completed || 1 tries, 221778 fired transitions, 55 secs || 448560 markings, 615101 edges, 7443 markings/sec, 55 secs
lola: STP completed || 1 tries, 240287 fired transitions, 60 secs || 486533 markings, 668103 edges, 7595 markings/sec, 60 secs
lola: STP completed || 1 tries, 258214 fired transitions, 65 secs || 523375 markings, 720140 edges, 7368 markings/sec, 65 secs
lola: STP completed || 1 tries, 276865 fired transitions, 70 secs || 560737 markings, 772618 edges, 7472 markings/sec, 70 secs
lola: STP completed || 1 tries, 294942 fired transitions, 75 secs || 598370 markings, 825192 edges, 7527 markings/sec, 75 secs
lola: STP completed || 1 tries, 313581 fired transitions, 80 secs || 635519 markings, 877418 edges, 7430 markings/sec, 80 secs
lola: STP completed || 1 tries, 331796 fired transitions, 85 secs || 673218 markings, 930339 edges, 7540 markings/sec, 85 secs
lola: STP completed || 1 tries, 350442 fired transitions, 90 secs || 711370 markings, 984201 edges, 7630 markings/sec, 90 secs
lola: STP completed || 1 tries, 368860 fired transitions, 95 secs || 749351 markings, 1037434 edges, 7596 markings/sec, 95 secs
lola: STP completed || 1 tries, 386788 fired transitions, 100 secs || 786936 markings, 1090569 edges, 7517 markings/sec, 100 secs
lola: STP completed || 1 tries, 404707 fired transitions, 105 secs || 823162 markings, 1141636 edges, 7245 markings/sec, 105 secs
lola: STP completed || 1 tries, 422669 fired transitions, 110 secs || 860425 markings, 1194300 edges, 7453 markings/sec, 110 secs
lola: STP completed || 1 tries, 440628 fired transitions, 115 secs || 897999 markings, 1247268 edges, 7515 markings/sec, 115 secs
lola: STP completed || 1 tries, 458601 fired transitions, 120 secs || 933285 markings, 1297531 edges, 7057 markings/sec, 120 secs
lola: STP completed || 1 tries, 476936 fired transitions, 125 secs || 969239 markings, 1348573 edges, 7191 markings/sec, 125 secs
lola: STP completed || 1 tries, 495488 fired transitions, 130 secs || 1007540 markings, 1402828 edges, 7660 markings/sec, 130 secs
lola: STP completed || 1 tries, 513968 fired transitions, 135 secs || 1046131 markings, 1457606 edges, 7718 markings/sec, 135 secs
lola: STP completed || 1 tries, 531521 fired transitions, 140 secs || 1082474 markings, 1509159 edges, 7269 markings/sec, 140 secs
lola: STP completed || 1 tries, 549492 fired transitions, 145 secs || 1120556 markings, 1563055 edges, 7616 markings/sec, 145 secs
lola: STP completed || 1 tries, 568094 fired transitions, 150 secs || 1159627 markings, 1618465 edges, 7814 markings/sec, 150 secs
lola: STP completed || 1 tries, 586661 fired transitions, 155 secs || 1199759 markings, 1675544 edges, 8026 markings/sec, 155 secs
lola: STP completed || 1 tries, 605248 fired transitions, 160 secs || 1239879 markings, 1732204 edges, 8024 markings/sec, 160 secs
lola: STP completed || 1 tries, 623173 fired transitions, 165 secs || 1276508 markings, 1784480 edges, 7326 markings/sec, 165 secs
lola: STP completed || 1 tries, 641740 fired transitions, 170 secs || 1315117 markings, 1839517 edges, 7722 markings/sec, 170 secs
lola: STP completed || 1 tries, 660202 fired transitions, 175 secs || 1354834 markings, 1896281 edges, 7943 markings/sec, 175 secs
lola: STP completed || 1 tries, 678443 fired transitions, 180 secs || 1390659 markings, 1947609 edges, 7165 markings/sec, 180 secs
lola: STP completed || 1 tries, 697055 fired transitions, 185 secs || 1427908 markings, 2000900 edges, 7450 markings/sec, 185 secs
lola: STP completed || 1 tries, 715671 fired transitions, 190 secs || 1466573 markings, 2056398 edges, 7733 markings/sec, 190 secs
lola: STP completed || 1 tries, 734221 fired transitions, 195 secs || 1505388 markings, 2112121 edges, 7763 markings/sec, 195 secs
lola: STP completed || 1 tries, 752779 fired transitions, 200 secs || 1544400 markings, 2167968 edges, 7802 markings/sec, 200 secs
lola: STP completed || 1 tries, 771341 fired transitions, 205 secs || 1583678 markings, 2224738 edges, 7856 markings/sec, 205 secs
lola: STP completed || 1 tries, 789907 fired transitions, 210 secs || 1623351 markings, 2281650 edges, 7935 markings/sec, 210 secs
lola: STP completed || 1 tries, 808484 fired transitions, 215 secs || 1662875 markings, 2338072 edges, 7905 markings/sec, 215 secs
lola: STP completed || 1 tries, 827090 fired transitions, 220 secs || 1702298 markings, 2394296 edges, 7885 markings/sec, 220 secs
lola: STP completed || 1 tries, 845569 fired transitions, 225 secs || 1742748 markings, 2452267 edges, 8090 markings/sec, 225 secs
lola: STP completed || 1 tries, 864170 fired transitions, 230 secs || 1780712 markings, 2506917 edges, 7593 markings/sec, 230 secs
lola: STP completed || 1 tries, 882592 fired transitions, 235 secs || 1820541 markings, 2564137 edges, 7966 markings/sec, 235 secs
lola: STP completed || 1 tries, 900982 fired transitions, 240 secs || 1857520 markings, 2618003 edges, 7396 markings/sec, 240 secs
lola: STP completed || 1 tries, 919372 fired transitions, 245 secs || 1896374 markings, 2674434 edges, 7771 markings/sec, 245 secs
lola: STP completed || 1 tries, 937987 fired transitions, 250 secs || 1934105 markings, 2729227 edges, 7546 markings/sec, 250 secs
lola: STP completed || 1 tries, 956365 fired transitions, 255 secs || 1973621 markings, 2786630 edges, 7903 markings/sec, 255 secs
lola: STP completed || 1 tries, 974942 fired transitions, 260 secs || 2013276 markings, 2843716 edges, 7931 markings/sec, 260 secs
lola: STP completed || 1 tries, 993335 fired transitions, 265 secs || 2051307 markings, 2899256 edges, 7606 markings/sec, 265 secs
lola: STP completed || 2 tries, 1012024 fired transitions, 270 secs || 2089656 markings, 2954675 edges, 7670 markings/sec, 270 secs
lola: STP completed || 2 tries, 1030747 fired transitions, 275 secs || 2130972 markings, 3014537 edges, 8263 markings/sec, 275 secs
lola: STP completed || 2 tries, 1049494 fired transitions, 280 secs || 2170111 markings, 3071696 edges, 7828 markings/sec, 280 secs
lola: STP completed || 2 tries, 1067925 fired transitions, 285 secs || 2209003 markings, 3128044 edges, 7778 markings/sec, 285 secs
lola: STP completed || 2 tries, 1086624 fired transitions, 290 secs || 2247569 markings, 3183643 edges, 7713 markings/sec, 290 secs
lola: STP completed || 2 tries, 1105384 fired transitions, 295 secs || 2288489 markings, 3242715 edges, 8184 markings/sec, 295 secs
lola: STP completed || 2 tries, 1124098 fired transitions, 300 secs || 2326472 markings, 3298146 edges, 7597 markings/sec, 300 secs
lola: STP completed || 2 tries, 1142824 fired transitions, 305 secs || 2364280 markings, 3353353 edges, 7562 markings/sec, 305 secs
lola: STP completed || 2 tries, 1161556 fired transitions, 310 secs || 2401918 markings, 3408209 edges, 7528 markings/sec, 310 secs
lola: STP completed || 2 tries, 1180304 fired transitions, 315 secs || 2441096 markings, 3465138 edges, 7836 markings/sec, 315 secs
lola: STP completed || 2 tries, 1199045 fired transitions, 320 secs || 2480414 markings, 3522891 edges, 7864 markings/sec, 320 secs
lola: STP completed || 2 tries, 1217772 fired transitions, 325 secs || 2518160 markings, 3578631 edges, 7549 markings/sec, 325 secs
lola: STP completed || 2 tries, 1236504 fired transitions, 330 secs || 2557670 markings, 3636053 edges, 7902 markings/sec, 330 secs
lola: STP completed || 2 tries, 1255200 fired transitions, 335 secs || 2595370 markings, 3691294 edges, 7540 markings/sec, 335 secs
lola: STP completed || 2 tries, 1273923 fired transitions, 340 secs || 2636351 markings, 3750603 edges, 8196 markings/sec, 340 secs
lola: STP completed || 2 tries, 1292599 fired transitions, 345 secs || 2675233 markings, 3808022 edges, 7776 markings/sec, 345 secs
lola: STP completed || 2 tries, 1311333 fired transitions, 350 secs || 2713022 markings, 3863225 edges, 7558 markings/sec, 350 secs
lola: STP completed || 2 tries, 1330035 fired transitions, 355 secs || 2751842 markings, 3919901 edges, 7764 markings/sec, 355 secs
lola: STP completed || 2 tries, 1348760 fired transitions, 360 secs || 2790990 markings, 3976875 edges, 7830 markings/sec, 360 secs
lola: STP completed || 2 tries, 1367434 fired transitions, 365 secs || 2828588 markings, 4032362 edges, 7520 markings/sec, 365 secs
lola: STP completed || 2 tries, 1386112 fired transitions, 370 secs || 2866944 markings, 4088563 edges, 7671 markings/sec, 370 secs
lola: STP completed || 2 tries, 1404863 fired transitions, 375 secs || 2905092 markings, 4144330 edges, 7630 markings/sec, 375 secs
lola: STP completed || 2 tries, 1423593 fired transitions, 380 secs || 2944490 markings, 4202100 edges, 7880 markings/sec, 380 secs
lola: STP completed || 2 tries, 1442280 fired transitions, 385 secs || 2984055 markings, 4259658 edges, 7913 markings/sec, 385 secs
lola: STP completed || 2 tries, 1460991 fired transitions, 390 secs || 3023419 markings, 4317261 edges, 7873 markings/sec, 390 secs
lola: STP completed || 2 tries, 1479672 fired transitions, 395 secs || 3060861 markings, 4372946 edges, 7488 markings/sec, 395 secs
lola: STP completed || 2 tries, 1498382 fired transitions, 400 secs || 3100606 markings, 4431279 edges, 7949 markings/sec, 400 secs
lola: STP completed || 2 tries, 1517093 fired transitions, 405 secs || 3139898 markings, 4488662 edges, 7858 markings/sec, 405 secs
lola: STP completed || 2 tries, 1535786 fired transitions, 410 secs || 3177374 markings, 4543877 edges, 7495 markings/sec, 410 secs
lola: STP completed || 2 tries, 1554258 fired transitions, 415 secs || 3215003 markings, 4599555 edges, 7526 markings/sec, 415 secs
lola: STP completed || 2 tries, 1571041 fired transitions, 420 secs || 3252070 markings, 4653488 edges, 7413 markings/sec, 420 secs
lola: STP completed || 2 tries, 1587768 fired transitions, 425 secs || 3286322 markings, 4704112 edges, 6850 markings/sec, 425 secs
lola: STP completed || 2 tries, 1606116 fired transitions, 430 secs || 3322967 markings, 4757886 edges, 7329 markings/sec, 430 secs
lola: STP completed || 2 tries, 1624736 fired transitions, 435 secs || 3358023 markings, 4809269 edges, 7011 markings/sec, 435 secs
lola: STP completed || 2 tries, 1643359 fired transitions, 440 secs || 3392197 markings, 4859551 edges, 6835 markings/sec, 440 secs
lola: STP completed || 2 tries, 1661964 fired transitions, 445 secs || 3426771 markings, 4910405 edges, 6915 markings/sec, 445 secs
lola: STP completed || 2 tries, 1680259 fired transitions, 450 secs || 3462438 markings, 4962956 edges, 7133 markings/sec, 450 secs
lola: STP completed || 2 tries, 1698957 fired transitions, 455 secs || 3497635 markings, 5015300 edges, 7039 markings/sec, 455 secs
lola: STP completed || 2 tries, 1717371 fired transitions, 460 secs || 3531972 markings, 5066241 edges, 6867 markings/sec, 460 secs
lola: STP completed || 2 tries, 1734908 fired transitions, 465 secs || 3566229 markings, 5116713 edges, 6851 markings/sec, 465 secs
lola: STP completed || 2 tries, 1751679 fired transitions, 470 secs || 3600506 markings, 5167800 edges, 6855 markings/sec, 470 secs
lola: STP completed || 2 tries, 1769684 fired transitions, 475 secs || 3640511 markings, 5226182 edges, 8001 markings/sec, 475 secs
lola: STP completed || 2 tries, 1788439 fired transitions, 480 secs || 3678563 markings, 5282225 edges, 7610 markings/sec, 480 secs
lola: STP completed || 2 tries, 1807115 fired transitions, 485 secs || 3716173 markings, 5338554 edges, 7522 markings/sec, 485 secs
lola: STP completed || 2 tries, 1825885 fired transitions, 490 secs || 3754948 markings, 5395800 edges, 7755 markings/sec, 490 secs
lola: STP completed || 2 tries, 1844610 fired transitions, 495 secs || 3793477 markings, 5452699 edges, 7706 markings/sec, 495 secs
lola: STP completed || 2 tries, 1863353 fired transitions, 500 secs || 3831694 markings, 5509192 edges, 7643 markings/sec, 500 secs
lola: STP completed || 2 tries, 1881995 fired transitions, 505 secs || 3869832 markings, 5565861 edges, 7628 markings/sec, 505 secs
lola: STP completed || 2 tries, 1900924 fired transitions, 510 secs || 3906389 markings, 5619639 edges, 7311 markings/sec, 510 secs
lola: STP completed || 2 tries, 1919883 fired transitions, 515 secs || 3943025 markings, 5674188 edges, 7327 markings/sec, 515 secs
lola: STP completed || 2 tries, 1938834 fired transitions, 520 secs || 3981873 markings, 5731318 edges, 7770 markings/sec, 520 secs
lola: STP completed || 2 tries, 1957607 fired transitions, 525 secs || 4021128 markings, 5789138 edges, 7851 markings/sec, 525 secs
lola: STP completed || 2 tries, 1976397 fired transitions, 530 secs || 4060435 markings, 5847401 edges, 7861 markings/sec, 530 secs
lola: STP completed || 2 tries, 1995336 fired transitions, 535 secs || 4098259 markings, 5903297 edges, 7565 markings/sec, 535 secs
lola: STP completed || 3 tries, 2014280 fired transitions, 540 secs || 4137799 markings, 5961277 edges, 7908 markings/sec, 540 secs
lola: STP completed || 3 tries, 2033212 fired transitions, 545 secs || 4177863 markings, 6020594 edges, 8013 markings/sec, 545 secs
lola: STP completed || 3 tries, 2052133 fired transitions, 550 secs || 4217252 markings, 6078312 edges, 7878 markings/sec, 550 secs
lola: STP completed || 3 tries, 2071074 fired transitions, 555 secs || 4255001 markings, 6134051 edges, 7550 markings/sec, 555 secs
lola: STP completed || 3 tries, 2090018 fired transitions, 560 secs || 4292991 markings, 6190504 edges, 7598 markings/sec, 560 secs
lola: STP completed || 3 tries, 2108961 fired transitions, 565 secs || 4330395 markings, 6246062 edges, 7481 markings/sec, 565 secs
lola: STP completed || 3 tries, 2127950 fired transitions, 570 secs || 4368580 markings, 6302389 edges, 7637 markings/sec, 570 secs
lola: STP completed || 3 tries, 2146872 fired transitions, 575 secs || 4407286 markings, 6360299 edges, 7741 markings/sec, 575 secs
lola: STP completed || 3 tries, 2165871 fired transitions, 580 secs || 4444821 markings, 6416345 edges, 7507 markings/sec, 580 secs
lola: STP completed || 3 tries, 2184844 fired transitions, 585 secs || 4482833 markings, 6473023 edges, 7602 markings/sec, 585 secs
lola: STP completed || 3 tries, 2203757 fired transitions, 590 secs || 4520919 markings, 6529519 edges, 7617 markings/sec, 590 secs
lola: STP completed || 3 tries, 2222648 fired transitions, 595 secs || 4557808 markings, 6584825 edges, 7378 markings/sec, 595 secs
lola: STP completed || 3 tries, 2241553 fired transitions, 600 secs || 4595810 markings, 6641924 edges, 7600 markings/sec, 600 secs
lola: STP completed || 3 tries, 2260183 fired transitions, 605 secs || 4633855 markings, 6698313 edges, 7609 markings/sec, 605 secs
lola: STP completed || 3 tries, 2278758 fired transitions, 610 secs || 4674018 markings, 6757325 edges, 8033 markings/sec, 610 secs
lola: STP completed || 3 tries, 2297131 fired transitions, 615 secs || 4711905 markings, 6813952 edges, 7577 markings/sec, 615 secs
lola: STP completed || 3 tries, 2315853 fired transitions, 620 secs || 4750204 markings, 6870624 edges, 7660 markings/sec, 620 secs
lola: STP completed || 3 tries, 2334573 fired transitions, 625 secs || 4789654 markings, 6928790 edges, 7890 markings/sec, 625 secs
lola: STP completed || 3 tries, 2353258 fired transitions, 630 secs || 4827786 markings, 6985631 edges, 7626 markings/sec, 630 secs
lola: STP completed || 3 tries, 2371855 fired transitions, 635 secs || 4866041 markings, 7042547 edges, 7651 markings/sec, 635 secs
lola: STP completed || 3 tries, 2390211 fired transitions, 640 secs || 4903439 markings, 7098321 edges, 7480 markings/sec, 640 secs
lola: STP completed || 3 tries, 2408875 fired transitions, 645 secs || 4941686 markings, 7154790 edges, 7649 markings/sec, 645 secs
lola: STP completed || 3 tries, 2427508 fired transitions, 650 secs || 4979196 markings, 7210983 edges, 7502 markings/sec, 650 secs
lola: STP completed || 3 tries, 2446151 fired transitions, 655 secs || 5017474 markings, 7267994 edges, 7656 markings/sec, 655 secs
lola: STP completed || 3 tries, 2464683 fired transitions, 660 secs || 5053660 markings, 7321757 edges, 7237 markings/sec, 660 secs
lola: STP completed || 3 tries, 2483257 fired transitions, 665 secs || 5091399 markings, 7377837 edges, 7548 markings/sec, 665 secs
lola: STP completed || 3 tries, 2501862 fired transitions, 670 secs || 5129789 markings, 7434460 edges, 7678 markings/sec, 670 secs
lola: STP completed || 3 tries, 2520384 fired transitions, 675 secs || 5168351 markings, 7491695 edges, 7712 markings/sec, 675 secs
lola: STP completed || 3 tries, 2538912 fired transitions, 680 secs || 5205434 markings, 7546896 edges, 7417 markings/sec, 680 secs
lola: STP completed || 3 tries, 2557470 fired transitions, 685 secs || 5243452 markings, 7603331 edges, 7604 markings/sec, 685 secs
lola: STP completed || 3 tries, 2575834 fired transitions, 690 secs || 5281508 markings, 7660263 edges, 7611 markings/sec, 690 secs
lola: STP completed || 3 tries, 2594590 fired transitions, 695 secs || 5319704 markings, 7717085 edges, 7639 markings/sec, 695 secs
lola: STP completed || 3 tries, 2613373 fired transitions, 700 secs || 5357349 markings, 7773066 edges, 7529 markings/sec, 700 secs
lola: STP completed || 3 tries, 2632131 fired transitions, 705 secs || 5396088 markings, 7830974 edges, 7748 markings/sec, 705 secs
lola: STP completed || 3 tries, 2650861 fired transitions, 710 secs || 5435076 markings, 7888836 edges, 7798 markings/sec, 710 secs
lola: STP completed || 3 tries, 2669672 fired transitions, 715 secs || 5474005 markings, 7947152 edges, 7786 markings/sec, 715 secs
lola: STP completed || 3 tries, 2688443 fired transitions, 720 secs || 5513441 markings, 8005796 edges, 7887 markings/sec, 720 secs
lola: STP completed || 3 tries, 2707245 fired transitions, 725 secs || 5551185 markings, 8061965 edges, 7549 markings/sec, 725 secs
lola: STP completed || 3 tries, 2725994 fired transitions, 730 secs || 5589313 markings, 8118950 edges, 7626 markings/sec, 730 secs
lola: STP completed || 3 tries, 2744761 fired transitions, 735 secs || 5626699 markings, 8174934 edges, 7477 markings/sec, 735 secs
lola: STP completed || 3 tries, 2763569 fired transitions, 740 secs || 5665679 markings, 8233067 edges, 7796 markings/sec, 740 secs
lola: STP completed || 3 tries, 2782342 fired transitions, 745 secs || 5702671 markings, 8288466 edges, 7398 markings/sec, 745 secs
lola: STP completed || 3 tries, 2801134 fired transitions, 750 secs || 5740431 markings, 8344901 edges, 7552 markings/sec, 750 secs
lola: STP completed || 3 tries, 2819916 fired transitions, 755 secs || 5779294 markings, 8402799 edges, 7773 markings/sec, 755 secs
lola: STP completed || 3 tries, 2838670 fired transitions, 760 secs || 5816642 markings, 8458606 edges, 7470 markings/sec, 760 secs
lola: STP completed || 3 tries, 2857468 fired transitions, 765 secs || 5854728 markings, 8515247 edges, 7617 markings/sec, 765 secs
lola: STP completed || 3 tries, 2876290 fired transitions, 770 secs || 5891581 markings, 8570421 edges, 7371 markings/sec, 770 secs
lola: STP completed || 3 tries, 2895055 fired transitions, 775 secs || 5929489 markings, 8627167 edges, 7582 markings/sec, 775 secs
lola: STP completed || 3 tries, 2913836 fired transitions, 780 secs || 5967980 markings, 8684661 edges, 7698 markings/sec, 780 secs
lola: STP completed || 3 tries, 2932523 fired transitions, 785 secs || 6006311 markings, 8741495 edges, 7666 markings/sec, 785 secs
lola: STP completed || 3 tries, 2951204 fired transitions, 790 secs || 6044944 markings, 8798778 edges, 7727 markings/sec, 790 secs
lola: STP completed || 3 tries, 2969964 fired transitions, 795 secs || 6080658 markings, 8852644 edges, 7143 markings/sec, 795 secs
lola: STP completed || 3 tries, 2988739 fired transitions, 800 secs || 6118870 markings, 8909713 edges, 7642 markings/sec, 800 secs
lola: STP completed || 4 tries, 3007445 fired transitions, 805 secs || 6156819 markings, 8965960 edges, 7590 markings/sec, 805 secs
lola: STP completed || 4 tries, 3026225 fired transitions, 810 secs || 6194464 markings, 9021887 edges, 7529 markings/sec, 810 secs
lola: STP completed || 4 tries, 3044956 fired transitions, 815 secs || 6232296 markings, 9078293 edges, 7566 markings/sec, 815 secs
lola: STP completed || 4 tries, 3063727 fired transitions, 820 secs || 6270442 markings, 9135213 edges, 7629 markings/sec, 820 secs
lola: STP completed || 4 tries, 3082429 fired transitions, 825 secs || 6308291 markings, 9191542 edges, 7570 markings/sec, 825 secs
lola: STP completed || 4 tries, 3101173 fired transitions, 830 secs || 6345561 markings, 9247109 edges, 7454 markings/sec, 830 secs
lola: STP completed || 4 tries, 3119917 fired transitions, 835 secs || 6383092 markings, 9302990 edges, 7506 markings/sec, 835 secs
lola: STP completed || 4 tries, 3138700 fired transitions, 840 secs || 6421189 markings, 9359457 edges, 7619 markings/sec, 840 secs
lola: STP completed || 4 tries, 3157487 fired transitions, 845 secs || 6458012 markings, 9414815 edges, 7365 markings/sec, 845 secs
lola: STP completed || 4 tries, 3176259 fired transitions, 850 secs || 6495482 markings, 9471030 edges, 7494 markings/sec, 850 secs
lola: STP completed || 4 tries, 3195049 fired transitions, 855 secs || 6533416 markings, 9527927 edges, 7587 markings/sec, 855 secs
lola: STP completed || 4 tries, 3213808 fired transitions, 860 secs || 6571782 markings, 9585148 edges, 7673 markings/sec, 860 secs
lola: STP completed || 4 tries, 3232540 fired transitions, 865 secs || 6609834 markings, 9642012 edges, 7610 markings/sec, 865 secs
lola: STP completed || 4 tries, 3251257 fired transitions, 870 secs || 6647557 markings, 9698412 edges, 7545 markings/sec, 870 secs
lola: STP completed || 4 tries, 3269970 fired transitions, 875 secs || 6684192 markings, 9753594 edges, 7327 markings/sec, 875 secs
lola: STP completed || 4 tries, 3288656 fired transitions, 880 secs || 6722190 markings, 9810092 edges, 7600 markings/sec, 880 secs
lola: STP completed || 4 tries, 3307393 fired transitions, 885 secs || 6760220 markings, 9866774 edges, 7606 markings/sec, 885 secs
lola: STP completed || 4 tries, 3326185 fired transitions, 890 secs || 6797947 markings, 9923135 edges, 7545 markings/sec, 890 secs
lola: STP completed || 4 tries, 3344985 fired transitions, 895 secs || 6836235 markings, 9980439 edges, 7658 markings/sec, 895 secs
lola: STP completed || 4 tries, 3363789 fired transitions, 900 secs || 6873777 markings, 10036754 edges, 7508 markings/sec, 900 secs
lola: STP completed || 4 tries, 3382580 fired transitions, 905 secs || 6913811 markings, 10096263 edges, 8007 markings/sec, 905 secs
lola: STP completed || 4 tries, 3401365 fired transitions, 910 secs || 6952747 markings, 10154366 edges, 7787 markings/sec, 910 secs
lola: STP completed || 4 tries, 3420164 fired transitions, 915 secs || 6991451 markings, 10211870 edges, 7741 markings/sec, 915 secs
lola: STP completed || 4 tries, 3438944 fired transitions, 920 secs || 7030544 markings, 10270116 edges, 7819 markings/sec, 920 secs
lola: STP completed || 4 tries, 3457757 fired transitions, 925 secs || 7068358 markings, 10326452 edges, 7563 markings/sec, 925 secs
lola: STP completed || 4 tries, 3476549 fired transitions, 930 secs || 7107020 markings, 10384407 edges, 7732 markings/sec, 930 secs
lola: STP completed || 4 tries, 3495313 fired transitions, 935 secs || 7145408 markings, 10442016 edges, 7678 markings/sec, 935 secs
lola: STP completed || 4 tries, 3514058 fired transitions, 940 secs || 7184431 markings, 10500062 edges, 7805 markings/sec, 940 secs
lola: STP completed || 4 tries, 3532841 fired transitions, 945 secs || 7222795 markings, 10557038 edges, 7673 markings/sec, 945 secs
lola: STP completed || 4 tries, 3551558 fired transitions, 950 secs || 7260580 markings, 10613127 edges, 7557 markings/sec, 950 secs
lola: STP completed || 4 tries, 3570313 fired transitions, 955 secs || 7297981 markings, 10668954 edges, 7480 markings/sec, 955 secs
lola: STP completed || 4 tries, 3589047 fired transitions, 960 secs || 7334936 markings, 10724102 edges, 7391 markings/sec, 960 secs
lola: STP completed || 4 tries, 3607745 fired transitions, 965 secs || 7371737 markings, 10779104 edges, 7360 markings/sec, 965 secs
lola: STP completed || 4 tries, 3626532 fired transitions, 970 secs || 7408969 markings, 10834852 edges, 7446 markings/sec, 970 secs
lola: STP completed || 4 tries, 3645298 fired transitions, 975 secs || 7446210 markings, 10890879 edges, 7448 markings/sec, 975 secs
lola: STP completed || 4 tries, 3664070 fired transitions, 980 secs || 7484798 markings, 10948455 edges, 7718 markings/sec, 980 secs
lola: STP completed || 4 tries, 3682836 fired transitions, 985 secs || 7521758 markings, 11003907 edges, 7392 markings/sec, 985 secs
lola: STP completed || 4 tries, 3701584 fired transitions, 990 secs || 7559184 markings, 11059922 edges, 7485 markings/sec, 990 secs
lola: STP completed || 4 tries, 3720342 fired transitions, 995 secs || 7597604 markings, 11117413 edges, 7684 markings/sec, 995 secs
lola: STP completed || 4 tries, 3739134 fired transitions, 1000 secs || 7635128 markings, 11173914 edges, 7505 markings/sec, 1000 secs
lola: STP completed || 4 tries, 3757892 fired transitions, 1005 secs || 7672932 markings, 11230432 edges, 7561 markings/sec, 1005 secs
lola: STP completed || 4 tries, 3776638 fired transitions, 1010 secs || 7711682 markings, 11288527 edges, 7750 markings/sec, 1010 secs
lola: STP completed || 4 tries, 3795381 fired transitions, 1015 secs || 7749733 markings, 11345964 edges, 7610 markings/sec, 1015 secs
lola: STP completed || 4 tries, 3814196 fired transitions, 1020 secs || 7786855 markings, 11401815 edges, 7424 markings/sec, 1020 secs
lola: STP completed || 4 tries, 3832975 fired transitions, 1025 secs || 7824350 markings, 11458104 edges, 7499 markings/sec, 1025 secs
lola: STP completed || 4 tries, 3851728 fired transitions, 1030 secs || 7863197 markings, 11516041 edges, 7769 markings/sec, 1030 secs
lola: STP completed || 4 tries, 3870527 fired transitions, 1035 secs || 7902089 markings, 11573989 edges, 7778 markings/sec, 1035 secs
lola: STP completed || 4 tries, 3889249 fired transitions, 1040 secs || 7940353 markings, 11631242 edges, 7653 markings/sec, 1040 secs
lola: STP completed || 4 tries, 3908038 fired transitions, 1045 secs || 7978871 markings, 11688656 edges, 7704 markings/sec, 1045 secs
lola: STP completed || 4 tries, 3926771 fired transitions, 1050 secs || 8017820 markings, 11746517 edges, 7790 markings/sec, 1050 secs
lola: STP completed || 4 tries, 3945397 fired transitions, 1055 secs || 8054992 markings, 11802604 edges, 7434 markings/sec, 1055 secs
lola: STP completed || 4 tries, 3964102 fired transitions, 1060 secs || 8093506 markings, 11860246 edges, 7703 markings/sec, 1060 secs
lola: STP completed || 4 tries, 3982850 fired transitions, 1065 secs || 8131910 markings, 11918181 edges, 7681 markings/sec, 1065 secs
lola: STP completed || 5 tries, 4001636 fired transitions, 1070 secs || 8170566 markings, 11976016 edges, 7731 markings/sec, 1070 secs
lola: STP completed || 5 tries, 4020414 fired transitions, 1075 secs || 8208772 markings, 12033186 edges, 7641 markings/sec, 1075 secs
lola: STP completed || 5 tries, 4039201 fired transitions, 1080 secs || 8247305 markings, 12091051 edges, 7707 markings/sec, 1080 secs
lola: STP completed || 5 tries, 4057977 fired transitions, 1085 secs || 8286645 markings, 12149954 edges, 7868 markings/sec, 1085 secs
lola: STP completed || 5 tries, 4076749 fired transitions, 1090 secs || 8324984 markings, 12207338 edges, 7668 markings/sec, 1090 secs
lola: STP completed || 5 tries, 4095559 fired transitions, 1095 secs || 8364690 markings, 12266204 edges, 7941 markings/sec, 1095 secs
lola: STP completed || 5 tries, 4114329 fired transitions, 1100 secs || 8401700 markings, 12321691 edges, 7402 markings/sec, 1100 secs
lola: STP completed || 5 tries, 4133054 fired transitions, 1105 secs || 8440152 markings, 12379605 edges, 7690 markings/sec, 1105 secs
lola: STP completed || 5 tries, 4151858 fired transitions, 1110 secs || 8477340 markings, 12435729 edges, 7438 markings/sec, 1110 secs
lola: STP completed || 5 tries, 4170605 fired transitions, 1115 secs || 8515558 markings, 12493368 edges, 7644 markings/sec, 1115 secs
lola: STP completed || 5 tries, 4189356 fired transitions, 1120 secs || 8553802 markings, 12550657 edges, 7649 markings/sec, 1120 secs
lola: STP completed || 5 tries, 4208129 fired transitions, 1125 secs || 8592635 markings, 12608998 edges, 7767 markings/sec, 1125 secs
lola: STP completed || 5 tries, 4226879 fired transitions, 1130 secs || 8631252 markings, 12666899 edges, 7723 markings/sec, 1130 secs
lola: STP completed || 5 tries, 4245670 fired transitions, 1135 secs || 8669388 markings, 12724283 edges, 7627 markings/sec, 1135 secs
lola: STP completed || 5 tries, 4264463 fired transitions, 1140 secs || 8707769 markings, 12781784 edges, 7676 markings/sec, 1140 secs
lola: STP completed || 5 tries, 4283247 fired transitions, 1145 secs || 8746963 markings, 12840451 edges, 7839 markings/sec, 1145 secs
lola: STP completed || 5 tries, 4302037 fired transitions, 1150 secs || 8785482 markings, 12897997 edges, 7704 markings/sec, 1150 secs
lola: STP completed || 5 tries, 4320823 fired transitions, 1155 secs || 8824841 markings, 12957321 edges, 7872 markings/sec, 1155 secs
lola: STP completed || 5 tries, 4339631 fired transitions, 1160 secs || 8861149 markings, 13012167 edges, 7262 markings/sec, 1160 secs
lola: STP completed || 5 tries, 4358255 fired transitions, 1165 secs || 8899826 markings, 13070322 edges, 7735 markings/sec, 1165 secs
lola: STP completed || 5 tries, 4376819 fired transitions, 1170 secs || 8938652 markings, 13128852 edges, 7765 markings/sec, 1170 secs
lola: STP completed || 5 tries, 4395427 fired transitions, 1175 secs || 8976820 markings, 13185823 edges, 7634 markings/sec, 1175 secs
lola: STP completed || 5 tries, 4414020 fired transitions, 1180 secs || 9016482 markings, 13244927 edges, 7932 markings/sec, 1180 secs
lola: STP completed || 5 tries, 4432743 fired transitions, 1185 secs || 9055393 markings, 13303861 edges, 7782 markings/sec, 1185 secs
lola: STP completed || 5 tries, 4451530 fired transitions, 1190 secs || 9093619 markings, 13361247 edges, 7645 markings/sec, 1190 secs
lola: STP completed || 5 tries, 4470287 fired transitions, 1195 secs || 9132463 markings, 13419653 edges, 7769 markings/sec, 1195 secs
lola: STP completed || 5 tries, 4489106 fired transitions, 1200 secs || 9173379 markings, 13480379 edges, 8183 markings/sec, 1200 secs
lola: STP completed || 5 tries, 4507873 fired transitions, 1205 secs || 9212197 markings, 13538672 edges, 7764 markings/sec, 1205 secs
lola: STP completed || 5 tries, 4526690 fired transitions, 1210 secs || 9251225 markings, 13597026 edges, 7806 markings/sec, 1210 secs
lola: STP completed || 5 tries, 4545326 fired transitions, 1215 secs || 9289757 markings, 13654554 edges, 7706 markings/sec, 1215 secs
lola: STP completed || 5 tries, 4563928 fired transitions, 1220 secs || 9328385 markings, 13712498 edges, 7726 markings/sec, 1220 secs
lola: STP completed || 5 tries, 4582492 fired transitions, 1225 secs || 9366794 markings, 13770185 edges, 7682 markings/sec, 1225 secs
lola: STP completed || 5 tries, 4601078 fired transitions, 1230 secs || 9404932 markings, 13827597 edges, 7628 markings/sec, 1230 secs
lola: STP completed || 5 tries, 4619685 fired transitions, 1235 secs || 9443219 markings, 13884992 edges, 7657 markings/sec, 1235 secs
lola: STP completed || 5 tries, 4638321 fired transitions, 1240 secs || 9481966 markings, 13943057 edges, 7749 markings/sec, 1240 secs
lola: STP completed || 5 tries, 4656922 fired transitions, 1245 secs || 9520149 markings, 13999863 edges, 7637 markings/sec, 1245 secs
lola: STP completed || 5 tries, 4675533 fired transitions, 1250 secs || 9559150 markings, 14058185 edges, 7800 markings/sec, 1250 secs
lola: STP completed || 5 tries, 4694143 fired transitions, 1255 secs || 9598790 markings, 14117736 edges, 7928 markings/sec, 1255 secs
lola: STP completed || 5 tries, 4712712 fired transitions, 1260 secs || 9634577 markings, 14171910 edges, 7157 markings/sec, 1260 secs
lola: STP completed || 5 tries, 4731318 fired transitions, 1265 secs || 9671999 markings, 14228452 edges, 7484 markings/sec, 1265 secs
lola: STP completed || 5 tries, 4749867 fired transitions, 1270 secs || 9710336 markings, 14286360 edges, 7667 markings/sec, 1270 secs
lola: STP completed || 5 tries, 4768436 fired transitions, 1275 secs || 9749563 markings, 14345096 edges, 7845 markings/sec, 1275 secs
lola: STP completed || 5 tries, 4787015 fired transitions, 1280 secs || 9787517 markings, 14402099 edges, 7591 markings/sec, 1280 secs
lola: STP completed || 5 tries, 4805595 fired transitions, 1285 secs || 9826101 markings, 14460202 edges, 7717 markings/sec, 1285 secs
lola: STP completed || 5 tries, 4824178 fired transitions, 1290 secs || 9864088 markings, 14517510 edges, 7597 markings/sec, 1290 secs
lola: STP completed || 5 tries, 4842837 fired transitions, 1295 secs || 9903094 markings, 14576448 edges, 7801 markings/sec, 1295 secs
lola: STP completed || 5 tries, 4861376 fired transitions, 1300 secs || 9940668 markings, 14633039 edges, 7515 markings/sec, 1300 secs
lola: STP completed || 5 tries, 4879944 fired transitions, 1305 secs || 9979810 markings, 14691857 edges, 7828 markings/sec, 1305 secs
lola: STP completed || 5 tries, 4898513 fired transitions, 1310 secs || 10017641 markings, 14748914 edges, 7566 markings/sec, 1310 secs
lola: STP completed || 5 tries, 4917036 fired transitions, 1315 secs || 10057137 markings, 14808235 edges, 7899 markings/sec, 1315 secs
lola: STP completed || 5 tries, 4935511 fired transitions, 1320 secs || 10092554 markings, 14862113 edges, 7083 markings/sec, 1320 secs
lola: STP completed || 5 tries, 4954103 fired transitions, 1325 secs || 10132812 markings, 14922204 edges, 8052 markings/sec, 1325 secs
lola: STP completed || 5 tries, 4972704 fired transitions, 1330 secs || 10170613 markings, 14979142 edges, 7560 markings/sec, 1330 secs
lola: STP completed || 5 tries, 4991280 fired transitions, 1335 secs || 10208782 markings, 15036162 edges, 7634 markings/sec, 1335 secs
lola: STP completed || 6 tries, 5009935 fired transitions, 1340 secs || 10247124 markings, 15093779 edges, 7668 markings/sec, 1340 secs
lola: STP completed || 6 tries, 5028494 fired transitions, 1345 secs || 10284853 markings, 15150816 edges, 7546 markings/sec, 1345 secs
lola: STP completed || 6 tries, 5047027 fired transitions, 1350 secs || 10324498 markings, 15210290 edges, 7929 markings/sec, 1350 secs
lola: STP completed || 6 tries, 5065622 fired transitions, 1355 secs || 10364729 markings, 15270415 edges, 8046 markings/sec, 1355 secs
lola: STP completed || 6 tries, 5084425 fired transitions, 1360 secs || 10405032 markings, 15330385 edges, 8061 markings/sec, 1360 secs
lola: STP completed || 6 tries, 5103223 fired transitions, 1365 secs || 10443558 markings, 15387996 edges, 7705 markings/sec, 1365 secs
lola: STP completed || 6 tries, 5121951 fired transitions, 1370 secs || 10481617 markings, 15445470 edges, 7612 markings/sec, 1370 secs
lola: STP completed || 6 tries, 5140760 fired transitions, 1375 secs || 10521265 markings, 15505230 edges, 7930 markings/sec, 1375 secs
lola: STP completed || 6 tries, 5159553 fired transitions, 1380 secs || 10559441 markings, 15562774 edges, 7635 markings/sec, 1380 secs
lola: STP completed || 6 tries, 5178306 fired transitions, 1385 secs || 10598031 markings, 15621200 edges, 7718 markings/sec, 1385 secs
lola: STP completed || 6 tries, 5197058 fired transitions, 1390 secs || 10635780 markings, 15678629 edges, 7550 markings/sec, 1390 secs
lola: STP completed || 6 tries, 5215849 fired transitions, 1395 secs || 10674626 markings, 15737176 edges, 7769 markings/sec, 1395 secs
lola: STP completed || 6 tries, 5234593 fired transitions, 1400 secs || 10714443 markings, 15796953 edges, 7963 markings/sec, 1400 secs
lola: STP completed || 6 tries, 5253323 fired transitions, 1405 secs || 10753336 markings, 15855547 edges, 7779 markings/sec, 1405 secs
lola: STP completed || 6 tries, 5272113 fired transitions, 1410 secs || 10792547 markings, 15914614 edges, 7842 markings/sec, 1410 secs
lola: STP completed || 6 tries, 5290862 fired transitions, 1415 secs || 10832254 markings, 15974398 edges, 7941 markings/sec, 1415 secs
lola: STP completed || 6 tries, 5309599 fired transitions, 1420 secs || 10870972 markings, 16032821 edges, 7744 markings/sec, 1420 secs
lola: STP completed || 6 tries, 5328367 fired transitions, 1425 secs || 10911519 markings, 16093659 edges, 8109 markings/sec, 1425 secs
lola: STP completed || 6 tries, 5347137 fired transitions, 1430 secs || 10950877 markings, 16152944 edges, 7872 markings/sec, 1430 secs
lola: STP completed || 6 tries, 5365955 fired transitions, 1435 secs || 10990792 markings, 16212955 edges, 7983 markings/sec, 1435 secs
lola: STP completed || 6 tries, 5384716 fired transitions, 1440 secs || 11028961 markings, 16270066 edges, 7634 markings/sec, 1440 secs
lola: STP completed || 6 tries, 5403466 fired transitions, 1445 secs || 11068184 markings, 16329331 edges, 7845 markings/sec, 1445 secs
lola: STP completed || 6 tries, 5422294 fired transitions, 1450 secs || 11106496 markings, 16387668 edges, 7662 markings/sec, 1450 secs
lola: STP completed || 6 tries, 5441010 fired transitions, 1455 secs || 11145689 markings, 16447126 edges, 7839 markings/sec, 1455 secs
lola: STP completed || 6 tries, 5459795 fired transitions, 1460 secs || 11185340 markings, 16506845 edges, 7930 markings/sec, 1460 secs
lola: STP completed || 6 tries, 5478589 fired transitions, 1465 secs || 11223833 markings, 16564878 edges, 7699 markings/sec, 1465 secs
lola: STP completed || 6 tries, 5497356 fired transitions, 1470 secs || 11262570 markings, 16623211 edges, 7747 markings/sec, 1470 secs
lola: STP completed || 6 tries, 5516156 fired transitions, 1475 secs || 11301940 markings, 16683032 edges, 7874 markings/sec, 1475 secs
lola: STP completed || 6 tries, 5534961 fired transitions, 1480 secs || 11340825 markings, 16741778 edges, 7777 markings/sec, 1480 secs
lola: STP completed || 6 tries, 5553744 fired transitions, 1485 secs || 11379852 markings, 16800691 edges, 7805 markings/sec, 1485 secs
lola: STP completed || 6 tries, 5572275 fired transitions, 1490 secs || 11419416 markings, 16859943 edges, 7913 markings/sec, 1490 secs
lola: STP completed || 6 tries, 5591048 fired transitions, 1495 secs || 11459735 markings, 16920398 edges, 8064 markings/sec, 1495 secs
lola: STP completed || 6 tries, 5609798 fired transitions, 1500 secs || 11498691 markings, 16979309 edges, 7791 markings/sec, 1500 secs
lola: STP completed || 6 tries, 5628597 fired transitions, 1505 secs || 11537165 markings, 17037430 edges, 7695 markings/sec, 1505 secs
lola: STP completed || 6 tries, 5647368 fired transitions, 1510 secs || 11577072 markings, 17096976 edges, 7981 markings/sec, 1510 secs
lola: STP completed || 6 tries, 5666147 fired transitions, 1515 secs || 11616314 markings, 17156299 edges, 7848 markings/sec, 1515 secs
lola: STP completed || 6 tries, 5684905 fired transitions, 1520 secs || 11654983 markings, 17214422 edges, 7734 markings/sec, 1520 secs
lola: STP completed || 6 tries, 5703543 fired transitions, 1525 secs || 11695372 markings, 17275624 edges, 8078 markings/sec, 1525 secs
lola: STP completed || 6 tries, 5722305 fired transitions, 1530 secs || 11734194 markings, 17334852 edges, 7764 markings/sec, 1530 secs
lola: STP completed || 6 tries, 5741075 fired transitions, 1535 secs || 11773208 markings, 17393881 edges, 7803 markings/sec, 1535 secs
lola: STP completed || 6 tries, 5759838 fired transitions, 1540 secs || 11813053 markings, 17453861 edges, 7969 markings/sec, 1540 secs
lola: STP completed || 6 tries, 5778631 fired transitions, 1545 secs || 11852446 markings, 17513457 edges, 7879 markings/sec, 1545 secs
lola: STP completed || 6 tries, 5797431 fired transitions, 1550 secs || 11891049 markings, 17572323 edges, 7721 markings/sec, 1550 secs
lola: STP completed || 6 tries, 5816183 fired transitions, 1555 secs || 11929913 markings, 17631223 edges, 7773 markings/sec, 1555 secs
lola: STP completed || 6 tries, 5834891 fired transitions, 1560 secs || 11967609 markings, 17688638 edges, 7539 markings/sec, 1560 secs
lola: STP completed || 6 tries, 5853696 fired transitions, 1565 secs || 12006590 markings, 17747530 edges, 7796 markings/sec, 1565 secs
lola: STP completed || 6 tries, 5872403 fired transitions, 1570 secs || 12045861 markings, 17806661 edges, 7854 markings/sec, 1570 secs
lola: STP completed || 6 tries, 5891151 fired transitions, 1575 secs || 12085613 markings, 17866743 edges, 7950 markings/sec, 1575 secs
lola: STP completed || 6 tries, 5909699 fired transitions, 1580 secs || 12123279 markings, 17923661 edges, 7533 markings/sec, 1580 secs
lola: STP completed || 6 tries, 5928165 fired transitions, 1585 secs || 12161114 markings, 17981568 edges, 7567 markings/sec, 1585 secs
lola: STP completed || 6 tries, 5946697 fired transitions, 1590 secs || 12202663 markings, 18043725 edges, 8310 markings/sec, 1590 secs
lola: STP completed || 6 tries, 5965291 fired transitions, 1595 secs || 12242962 markings, 18105027 edges, 8060 markings/sec, 1595 secs
lola: STP completed || 6 tries, 5983836 fired transitions, 1600 secs || 12282818 markings, 18165780 edges, 7971 markings/sec, 1600 secs
lola: STP completed || 7 tries, 6002389 fired transitions, 1605 secs || 12322288 markings, 18225587 edges, 7894 markings/sec, 1605 secs
lola: STP completed || 7 tries, 6020960 fired transitions, 1610 secs || 12361717 markings, 18285482 edges, 7886 markings/sec, 1610 secs
lola: STP completed || 7 tries, 6039561 fired transitions, 1615 secs || 12400703 markings, 18344352 edges, 7797 markings/sec, 1615 secs
lola: STP completed || 7 tries, 6058334 fired transitions, 1620 secs || 12439897 markings, 18403935 edges, 7839 markings/sec, 1620 secs
lola: STP completed || 7 tries, 6077103 fired transitions, 1625 secs || 12479537 markings, 18463967 edges, 7928 markings/sec, 1625 secs
lola: STP completed || 7 tries, 6095849 fired transitions, 1630 secs || 12519024 markings, 18523649 edges, 7897 markings/sec, 1630 secs
lola: STP completed || 7 tries, 6114614 fired transitions, 1635 secs || 12559076 markings, 18584780 edges, 8010 markings/sec, 1635 secs
lola: STP completed || 7 tries, 6133351 fired transitions, 1640 secs || 12598570 markings, 18644444 edges, 7899 markings/sec, 1640 secs
lola: STP completed || 7 tries, 6152160 fired transitions, 1645 secs || 12637665 markings, 18703609 edges, 7819 markings/sec, 1645 secs
lola: STP completed || 7 tries, 6170914 fired transitions, 1650 secs || 12678069 markings, 18765018 edges, 8081 markings/sec, 1650 secs
lola: STP completed || 7 tries, 6189703 fired transitions, 1655 secs || 12717538 markings, 18824741 edges, 7894 markings/sec, 1655 secs
lola: STP completed || 7 tries, 6208477 fired transitions, 1660 secs || 12758451 markings, 18886622 edges, 8183 markings/sec, 1660 secs
lola: STP completed || 7 tries, 6227235 fired transitions, 1665 secs || 12797713 markings, 18946273 edges, 7852 markings/sec, 1665 secs
lola: STP completed || 7 tries, 6246025 fired transitions, 1670 secs || 12837274 markings, 19005841 edges, 7912 markings/sec, 1670 secs
lola: STP completed || 7 tries, 6264770 fired transitions, 1675 secs || 12876783 markings, 19065955 edges, 7902 markings/sec, 1675 secs
lola: STP completed || 7 tries, 6283513 fired transitions, 1680 secs || 12916141 markings, 19125557 edges, 7872 markings/sec, 1680 secs
lola: STP completed || 7 tries, 6302300 fired transitions, 1685 secs || 12955592 markings, 19185461 edges, 7890 markings/sec, 1685 secs
lola: STP completed || 7 tries, 6320987 fired transitions, 1690 secs || 12996660 markings, 19247596 edges, 8214 markings/sec, 1690 secs
lola: STP completed || 7 tries, 6339745 fired transitions, 1695 secs || 13036180 markings, 19307792 edges, 7904 markings/sec, 1695 secs
lola: STP completed || 7 tries, 6358451 fired transitions, 1700 secs || 13075660 markings, 19367586 edges, 7896 markings/sec, 1700 secs
lola: STP completed || 7 tries, 6377262 fired transitions, 1705 secs || 13115231 markings, 19427258 edges, 7914 markings/sec, 1705 secs
lola: STP completed || 7 tries, 6396029 fired transitions, 1710 secs || 13154214 markings, 19486580 edges, 7797 markings/sec, 1710 secs
lola: STP completed || 7 tries, 6414781 fired transitions, 1715 secs || 13193122 markings, 19545932 edges, 7782 markings/sec, 1715 secs
lola: STP completed || 7 tries, 6433539 fired transitions, 1720 secs || 13232189 markings, 19605370 edges, 7813 markings/sec, 1720 secs
lola: STP completed || 7 tries, 6452313 fired transitions, 1725 secs || 13272263 markings, 19666373 edges, 8015 markings/sec, 1725 secs
lola: STP completed || 7 tries, 6471136 fired transitions, 1730 secs || 13313835 markings, 19728775 edges, 8314 markings/sec, 1730 secs
lola: STP completed || 7 tries, 6489936 fired transitions, 1735 secs || 13354834 markings, 19791024 edges, 8200 markings/sec, 1735 secs
lola: STP completed || 7 tries, 6508741 fired transitions, 1740 secs || 13394753 markings, 19852026 edges, 7984 markings/sec, 1740 secs
lola: STP completed || 7 tries, 6527517 fired transitions, 1745 secs || 13435034 markings, 19912985 edges, 8056 markings/sec, 1745 secs
lola: STP completed || 7 tries, 6546278 fired transitions, 1750 secs || 13475460 markings, 19974447 edges, 8085 markings/sec, 1750 secs
lola: STP completed || 7 tries, 6565025 fired transitions, 1755 secs || 13514222 markings, 20033413 edges, 7752 markings/sec, 1755 secs
lola: STP completed || 7 tries, 6583851 fired transitions, 1760 secs || 13554101 markings, 20093936 edges, 7976 markings/sec, 1760 secs
lola: STP completed || 7 tries, 6602665 fired transitions, 1765 secs || 13592144 markings, 20152051 edges, 7609 markings/sec, 1765 secs
lola: STP completed || 7 tries, 6621423 fired transitions, 1770 secs || 13632287 markings, 20213713 edges, 8029 markings/sec, 1770 secs
lola: STP completed || 7 tries, 6640198 fired transitions, 1775 secs || 13672407 markings, 20275292 edges, 8024 markings/sec, 1775 secs
lola: STP completed || 7 tries, 6658985 fired transitions, 1780 secs || 13710937 markings, 20333776 edges, 7706 markings/sec, 1780 secs
lola: STP completed || 7 tries, 6677763 fired transitions, 1785 secs || 13750288 markings, 20393731 edges, 7870 markings/sec, 1785 secs
lola: STP completed || 7 tries, 6696560 fired transitions, 1790 secs || 13790587 markings, 20454569 edges, 8060 markings/sec, 1790 secs
lola: STP completed || 7 tries, 6715208 fired transitions, 1795 secs || 13829182 markings, 20513480 edges, 7719 markings/sec, 1795 secs
lola: STP completed || 7 tries, 6733230 fired transitions, 1800 secs || 13866951 markings, 20571034 edges, 7554 markings/sec, 1800 secs
lola: STP completed || 7 tries, 6751245 fired transitions, 1805 secs || 13904586 markings, 20628441 edges, 7527 markings/sec, 1805 secs
lola: STP completed || 7 tries, 6769226 fired transitions, 1810 secs || 13941368 markings, 20684380 edges, 7356 markings/sec, 1810 secs
lola: STP completed || 7 tries, 6787201 fired transitions, 1815 secs || 13978483 markings, 20740556 edges, 7423 markings/sec, 1815 secs
lola: STP completed || 7 tries, 6805208 fired transitions, 1820 secs || 14017287 markings, 20799190 edges, 7761 markings/sec, 1820 secs
lola: STP completed || 7 tries, 6823244 fired transitions, 1825 secs || 14055809 markings, 20857729 edges, 7704 markings/sec, 1825 secs
lola: STP completed || 7 tries, 6841218 fired transitions, 1830 secs || 14094290 markings, 20916226 edges, 7696 markings/sec, 1830 secs
lola: STP completed || 7 tries, 6859242 fired transitions, 1835 secs || 14132330 markings, 20973851 edges, 7608 markings/sec, 1835 secs
lola: STP completed || 7 tries, 6877249 fired transitions, 1840 secs || 14169843 markings, 21030718 edges, 7503 markings/sec, 1840 secs
lola: STP completed || 7 tries, 6895201 fired transitions, 1845 secs || 14208495 markings, 21089548 edges, 7730 markings/sec, 1845 secs
lola: STP completed || 7 tries, 6913266 fired transitions, 1850 secs || 14245644 markings, 21145963 edges, 7430 markings/sec, 1850 secs
lola: STP completed || 7 tries, 6931283 fired transitions, 1855 secs || 14283782 markings, 21203600 edges, 7628 markings/sec, 1855 secs
lola: STP completed || 7 tries, 6949432 fired transitions, 1860 secs || 14319215 markings, 21257513 edges, 7087 markings/sec, 1860 secs
lola: STP completed || 7 tries, 6968105 fired transitions, 1865 secs || 14359177 markings, 21318233 edges, 7992 markings/sec, 1865 secs
lola: STP completed || 7 tries, 6986788 fired transitions, 1870 secs || 14398807 markings, 21378371 edges, 7926 markings/sec, 1870 secs
lola: STP completed || 8 tries, 7005491 fired transitions, 1875 secs || 14438912 markings, 21439471 edges, 8021 markings/sec, 1875 secs
lola: STP completed || 8 tries, 7024232 fired transitions, 1880 secs || 14478656 markings, 21499985 edges, 7949 markings/sec, 1880 secs
lola: STP completed || 8 tries, 7042944 fired transitions, 1885 secs || 14518341 markings, 21560739 edges, 7937 markings/sec, 1885 secs
lola: STP completed || 8 tries, 7061654 fired transitions, 1890 secs || 14558289 markings, 21622307 edges, 7990 markings/sec, 1890 secs
lola: STP completed || 8 tries, 7080360 fired transitions, 1895 secs || 14597553 markings, 21681860 edges, 7853 markings/sec, 1895 secs
lola: STP completed || 8 tries, 7099077 fired transitions, 1900 secs || 14638648 markings, 21744133 edges, 8219 markings/sec, 1900 secs
lola: STP completed || 8 tries, 7117770 fired transitions, 1905 secs || 14677994 markings, 21803992 edges, 7869 markings/sec, 1905 secs
lola: STP completed || 8 tries, 7136508 fired transitions, 1910 secs || 14717634 markings, 21864420 edges, 7928 markings/sec, 1910 secs
lola: STP completed || 8 tries, 7155213 fired transitions, 1915 secs || 14756322 markings, 21923561 edges, 7738 markings/sec, 1915 secs
lola: STP completed || 8 tries, 7173979 fired transitions, 1920 secs || 14796222 markings, 21984647 edges, 7980 markings/sec, 1920 secs
lola: STP completed || 8 tries, 7192732 fired transitions, 1925 secs || 14836417 markings, 22045435 edges, 8039 markings/sec, 1925 secs
lola: STP completed || 8 tries, 7211461 fired transitions, 1930 secs || 14876678 markings, 22106699 edges, 8052 markings/sec, 1930 secs
lola: STP completed || 8 tries, 7230202 fired transitions, 1935 secs || 14914849 markings, 22165337 edges, 7634 markings/sec, 1935 secs
lola: STP completed || 8 tries, 7248944 fired transitions, 1940 secs || 14954710 markings, 22226119 edges, 7972 markings/sec, 1940 secs
lola: STP completed || 8 tries, 7267646 fired transitions, 1945 secs || 14992393 markings, 22283653 edges, 7537 markings/sec, 1945 secs
lola: STP completed || 8 tries, 7286408 fired transitions, 1950 secs || 15031962 markings, 22344200 edges, 7914 markings/sec, 1950 secs
lola: STP completed || 8 tries, 7305168 fired transitions, 1955 secs || 15070918 markings, 22403829 edges, 7791 markings/sec, 1955 secs
lola: STP completed || 8 tries, 7323923 fired transitions, 1960 secs || 15110564 markings, 22463983 edges, 7929 markings/sec, 1960 secs
lola: STP completed || 8 tries, 7342535 fired transitions, 1965 secs || 15151232 markings, 22525961 edges, 8134 markings/sec, 1965 secs
lola: STP completed || 8 tries, 7361124 fired transitions, 1970 secs || 15190790 markings, 22586262 edges, 7912 markings/sec, 1970 secs
lola: STP completed || 8 tries, 7379725 fired transitions, 1975 secs || 15230780 markings, 22646988 edges, 7998 markings/sec, 1975 secs
lola: STP completed || 8 tries, 7398282 fired transitions, 1980 secs || 15270647 markings, 22707631 edges, 7973 markings/sec, 1980 secs
lola: STP completed || 8 tries, 7416860 fired transitions, 1985 secs || 15309890 markings, 22767584 edges, 7849 markings/sec, 1985 secs
lola: STP completed || 8 tries, 7435432 fired transitions, 1990 secs || 15349457 markings, 22828069 edges, 7913 markings/sec, 1990 secs
lola: STP completed || 8 tries, 7454021 fired transitions, 1995 secs || 15388975 markings, 22888576 edges, 7904 markings/sec, 1995 secs
lola: STP completed || 8 tries, 7472612 fired transitions, 2000 secs || 15429245 markings, 22949947 edges, 8054 markings/sec, 2000 secs
lola: STP completed || 8 tries, 7491209 fired transitions, 2005 secs || 15468919 markings, 23010421 edges, 7935 markings/sec, 2005 secs
lola: STP completed || 8 tries, 7509773 fired transitions, 2010 secs || 15509906 markings, 23072768 edges, 8197 markings/sec, 2010 secs
lola: STP completed || 8 tries, 7528372 fired transitions, 2015 secs || 15550042 markings, 23133684 edges, 8027 markings/sec, 2015 secs
lola: STP completed || 8 tries, 7546969 fired transitions, 2020 secs || 15589673 markings, 23194385 edges, 7926 markings/sec, 2020 secs
lola: STP completed || 8 tries, 7565517 fired transitions, 2025 secs || 15629336 markings, 23254784 edges, 7933 markings/sec, 2025 secs
lola: STP completed || 8 tries, 7584072 fired transitions, 2030 secs || 15668828 markings, 23315349 edges, 7898 markings/sec, 2030 secs
lola: STP completed || 8 tries, 7602687 fired transitions, 2035 secs || 15708247 markings, 23376204 edges, 7884 markings/sec, 2035 secs
lola: STP completed || 8 tries, 7621297 fired transitions, 2040 secs || 15747535 markings, 23436743 edges, 7858 markings/sec, 2040 secs
lola: STP completed || 8 tries, 7639890 fired transitions, 2045 secs || 15787345 markings, 23497780 edges, 7962 markings/sec, 2045 secs
lola: STP completed || 8 tries, 7658510 fired transitions, 2050 secs || 15827607 markings, 23558903 edges, 8052 markings/sec, 2050 secs
lola: STP completed || 8 tries, 7677113 fired transitions, 2055 secs || 15867747 markings, 23619798 edges, 8028 markings/sec, 2055 secs
lola: STP completed || 8 tries, 7695621 fired transitions, 2060 secs || 15907203 markings, 23679519 edges, 7891 markings/sec, 2060 secs
lola: STP completed || 8 tries, 7714180 fired transitions, 2065 secs || 15946712 markings, 23739458 edges, 7902 markings/sec, 2065 secs
lola: STP completed || 8 tries, 7732613 fired transitions, 2070 secs || 15985331 markings, 23798579 edges, 7724 markings/sec, 2070 secs
lola: STP completed || 8 tries, 7751057 fired transitions, 2075 secs || 16024014 markings, 23857890 edges, 7737 markings/sec, 2075 secs
lola: STP completed || 8 tries, 7769507 fired transitions, 2080 secs || 16062873 markings, 23917368 edges, 7772 markings/sec, 2080 secs
lola: STP completed || 8 tries, 7788266 fired transitions, 2085 secs || 16103395 markings, 23979766 edges, 8104 markings/sec, 2085 secs
lola: STP completed || 8 tries, 7807108 fired transitions, 2090 secs || 16144050 markings, 24041700 edges, 8131 markings/sec, 2090 secs
lola: STP completed || 8 tries, 7825955 fired transitions, 2095 secs || 16184115 markings, 24103347 edges, 8013 markings/sec, 2095 secs
lola: STP completed || 8 tries, 7844551 fired transitions, 2100 secs || 16219894 markings, 24158138 edges, 7156 markings/sec, 2100 secs
lola: STP completed || 8 tries, 7863135 fired transitions, 2105 secs || 16259023 markings, 24217518 edges, 7826 markings/sec, 2105 secs
lola: STP completed || 8 tries, 7881839 fired transitions, 2110 secs || 16297250 markings, 24275873 edges, 7645 markings/sec, 2110 secs
lola: STP completed || 8 tries, 7900651 fired transitions, 2115 secs || 16335487 markings, 24334876 edges, 7647 markings/sec, 2115 secs
lola: STP completed || 8 tries, 7919422 fired transitions, 2120 secs || 16375365 markings, 24395707 edges, 7976 markings/sec, 2120 secs
lola: STP completed || 8 tries, 7938301 fired transitions, 2125 secs || 16416493 markings, 24458580 edges, 8226 markings/sec, 2125 secs
lola: STP completed || 8 tries, 7957029 fired transitions, 2130 secs || 16452316 markings, 24514215 edges, 7165 markings/sec, 2130 secs
lola: STP completed || 8 tries, 7975705 fired transitions, 2135 secs || 16489905 markings, 24572036 edges, 7518 markings/sec, 2135 secs
lola: STP completed || 8 tries, 7994417 fired transitions, 2140 secs || 16528948 markings, 24631878 edges, 7809 markings/sec, 2140 secs
lola: STP completed || 9 tries, 8013172 fired transitions, 2145 secs || 16571017 markings, 24695828 edges, 8414 markings/sec, 2145 secs
lola: STP completed || 9 tries, 8031957 fired transitions, 2150 secs || 16609700 markings, 24754956 edges, 7737 markings/sec, 2150 secs
lola: STP completed || 9 tries, 8050870 fired transitions, 2155 secs || 16649975 markings, 24816879 edges, 8055 markings/sec, 2155 secs
lola: STP completed || 9 tries, 8069788 fired transitions, 2160 secs || 16689263 markings, 24877886 edges, 7858 markings/sec, 2160 secs
lola: STP completed || 9 tries, 8088720 fired transitions, 2165 secs || 16728903 markings, 24938644 edges, 7928 markings/sec, 2165 secs
lola: STP completed || 9 tries, 8107657 fired transitions, 2170 secs || 16768940 markings, 24999733 edges, 8007 markings/sec, 2170 secs
lola: STP completed || 9 tries, 8125907 fired transitions, 2175 secs || 16810585 markings, 25063448 edges, 8329 markings/sec, 2175 secs
lola: STP completed || 9 tries, 8143602 fired transitions, 2180 secs || 16851153 markings, 25125594 edges, 8114 markings/sec, 2180 secs
lola: STP completed || 9 tries, 8161276 fired transitions, 2185 secs || 16891133 markings, 25186891 edges, 7996 markings/sec, 2185 secs
lola: STP completed || 9 tries, 8178955 fired transitions, 2190 secs || 16932134 markings, 25249700 edges, 8200 markings/sec, 2190 secs
lola: STP completed || 9 tries, 8196613 fired transitions, 2195 secs || 16971958 markings, 25310765 edges, 7965 markings/sec, 2195 secs
lola: STP completed || 9 tries, 8214558 fired transitions, 2200 secs || 17012208 markings, 25372368 edges, 8050 markings/sec, 2200 secs
lola: STP completed || 9 tries, 8232563 fired transitions, 2205 secs || 17050351 markings, 25431310 edges, 7629 markings/sec, 2205 secs
lola: STP completed || 9 tries, 8251116 fired transitions, 2210 secs || 17090356 markings, 25492535 edges, 8001 markings/sec, 2210 secs
lola: STP completed || 9 tries, 8269339 fired transitions, 2215 secs || 17129761 markings, 25553006 edges, 7881 markings/sec, 2215 secs
lola: STP completed || 9 tries, 8287763 fired transitions, 2220 secs || 17168428 markings, 25612128 edges, 7733 markings/sec, 2220 secs
lola: STP completed || 9 tries, 8305768 fired transitions, 2225 secs || 17205913 markings, 25669736 edges, 7497 markings/sec, 2225 secs
lola: STP completed || 9 tries, 8324240 fired transitions, 2230 secs || 17244723 markings, 25729688 edges, 7762 markings/sec, 2230 secs
lola: STP completed || 9 tries, 8342794 fired transitions, 2235 secs || 17283745 markings, 25789458 edges, 7804 markings/sec, 2235 secs
lola: STP completed || 9 tries, 8361321 fired transitions, 2240 secs || 17323990 markings, 25851112 edges, 8049 markings/sec, 2240 secs
lola: STP completed || 9 tries, 8379835 fired transitions, 2245 secs || 17364624 markings, 25913704 edges, 8127 markings/sec, 2245 secs
lola: STP completed || 9 tries, 8398207 fired transitions, 2250 secs || 17403272 markings, 25973020 edges, 7730 markings/sec, 2250 secs
lola: STP completed || 9 tries, 8416355 fired transitions, 2255 secs || 17441870 markings, 26032339 edges, 7720 markings/sec, 2255 secs
lola: STP completed || 9 tries, 8434855 fired transitions, 2260 secs || 17480563 markings, 26092337 edges, 7739 markings/sec, 2260 secs
lola: STP completed || 9 tries, 8453040 fired transitions, 2265 secs || 17521155 markings, 26154199 edges, 8118 markings/sec, 2265 secs
lola: STP completed || 9 tries, 8471199 fired transitions, 2270 secs || 17560372 markings, 26214223 edges, 7843 markings/sec, 2270 secs
lola: STP completed || 9 tries, 8489754 fired transitions, 2275 secs || 17601399 markings, 26277043 edges, 8205 markings/sec, 2275 secs
lola: STP completed || 9 tries, 8508282 fired transitions, 2280 secs || 17641660 markings, 26338602 edges, 8052 markings/sec, 2280 secs
lola: STP completed || 9 tries, 8526854 fired transitions, 2285 secs || 17682297 markings, 26400991 edges, 8127 markings/sec, 2285 secs
lola: STP completed || 9 tries, 8545406 fired transitions, 2290 secs || 17723111 markings, 26463658 edges, 8163 markings/sec, 2290 secs
lola: STP completed || 9 tries, 8563969 fired transitions, 2295 secs || 17764542 markings, 26527343 edges, 8286 markings/sec, 2295 secs
lola: STP completed || 9 tries, 8582530 fired transitions, 2300 secs || 17806599 markings, 26591307 edges, 8411 markings/sec, 2300 secs
lola: STP completed || 9 tries, 8601074 fired transitions, 2305 secs || 17845742 markings, 26651171 edges, 7829 markings/sec, 2305 secs
lola: STP completed || 9 tries, 8619478 fired transitions, 2310 secs || 17886037 markings, 26712502 edges, 8059 markings/sec, 2310 secs
lola: STP completed || 9 tries, 8638068 fired transitions, 2315 secs || 17926135 markings, 26773827 edges, 8020 markings/sec, 2315 secs
lola: STP completed || 9 tries, 8656624 fired transitions, 2320 secs || 17965591 markings, 26833800 edges, 7891 markings/sec, 2320 secs
lola: STP completed || 9 tries, 8675206 fired transitions, 2325 secs || 18005481 markings, 26895339 edges, 7978 markings/sec, 2325 secs
lola: STP completed || 9 tries, 8693684 fired transitions, 2330 secs || 18045671 markings, 26957104 edges, 8038 markings/sec, 2330 secs
lola: STP completed || 9 tries, 8712440 fired transitions, 2335 secs || 18085899 markings, 27018932 edges, 8046 markings/sec, 2335 secs
lola: STP completed || 9 tries, 8731151 fired transitions, 2340 secs || 18126060 markings, 27080461 edges, 8032 markings/sec, 2340 secs
lola: STP completed || 9 tries, 8749844 fired transitions, 2345 secs || 18166481 markings, 27142789 edges, 8084 markings/sec, 2345 secs
lola: STP completed || 9 tries, 8768577 fired transitions, 2350 secs || 18205229 markings, 27202723 edges, 7750 markings/sec, 2350 secs
lola: STP completed || 9 tries, 8787307 fired transitions, 2355 secs || 18245978 markings, 27264888 edges, 8150 markings/sec, 2355 secs
lola: STP completed || 9 tries, 8806019 fired transitions, 2360 secs || 18287151 markings, 27328143 edges, 8235 markings/sec, 2360 secs
lola: STP completed || 9 tries, 8824721 fired transitions, 2365 secs || 18326920 markings, 27389453 edges, 7954 markings/sec, 2365 secs
lola: STP completed || 9 tries, 8843437 fired transitions, 2370 secs || 18366070 markings, 27450454 edges, 7830 markings/sec, 2370 secs
lola: STP completed || 9 tries, 8861801 fired transitions, 2375 secs || 18405218 markings, 27510694 edges, 7830 markings/sec, 2375 secs
lola: STP completed || 9 tries, 8879716 fired transitions, 2380 secs || 18443660 markings, 27569213 edges, 7688 markings/sec, 2380 secs
lola: STP completed || 9 tries, 8897604 fired transitions, 2385 secs || 18482142 markings, 27628005 edges, 7696 markings/sec, 2385 secs
lola: STP completed || 9 tries, 8915881 fired transitions, 2390 secs || 18521133 markings, 27687818 edges, 7798 markings/sec, 2390 secs
lola: STP completed || 9 tries, 8934449 fired transitions, 2395 secs || 18561717 markings, 27750884 edges, 8117 markings/sec, 2395 secs
lola: STP completed || 9 tries, 8953032 fired transitions, 2400 secs || 18601805 markings, 27813100 edges, 8018 markings/sec, 2400 secs
lola: STP completed || 9 tries, 8971606 fired transitions, 2405 secs || 18642125 markings, 27874630 edges, 8064 markings/sec, 2405 secs
lola: STP completed || 9 tries, 8990192 fired transitions, 2410 secs || 18682853 markings, 27936781 edges, 8146 markings/sec, 2410 secs
lola: STP completed || 10 tries, 9008743 fired transitions, 2415 secs || 18721834 markings, 27997784 edges, 7796 markings/sec, 2415 secs
lola: STP completed || 10 tries, 9027332 fired transitions, 2420 secs || 18760823 markings, 28057491 edges, 7798 markings/sec, 2420 secs
lola: STP completed || 10 tries, 9045816 fired transitions, 2425 secs || 18800972 markings, 28118970 edges, 8030 markings/sec, 2425 secs
lola: STP completed || 10 tries, 9064350 fired transitions, 2430 secs || 18841974 markings, 28181887 edges, 8200 markings/sec, 2430 secs
lola: STP completed || 10 tries, 9082917 fired transitions, 2435 secs || 18883102 markings, 28245180 edges, 8226 markings/sec, 2435 secs
lola: STP completed || 10 tries, 9101415 fired transitions, 2440 secs || 18922958 markings, 28306644 edges, 7971 markings/sec, 2440 secs
lola: STP completed || 10 tries, 9119978 fired transitions, 2445 secs || 18963669 markings, 28369301 edges, 8142 markings/sec, 2445 secs
lola: STP completed || 10 tries, 9138546 fired transitions, 2450 secs || 19004018 markings, 28431404 edges, 8070 markings/sec, 2450 secs
lola: STP completed || 10 tries, 9157081 fired transitions, 2455 secs || 19045069 markings, 28494112 edges, 8210 markings/sec, 2455 secs
lola: STP completed || 10 tries, 9175640 fired transitions, 2460 secs || 19085411 markings, 28556297 edges, 8068 markings/sec, 2460 secs
lola: STP completed || 10 tries, 9194171 fired transitions, 2465 secs || 19125812 markings, 28618246 edges, 8080 markings/sec, 2465 secs
lola: STP completed || 10 tries, 9212696 fired transitions, 2470 secs || 19164675 markings, 28678588 edges, 7773 markings/sec, 2470 secs
lola: STP completed || 10 tries, 9231265 fired transitions, 2475 secs || 19204802 markings, 28740344 edges, 8025 markings/sec, 2475 secs
lola: STP completed || 10 tries, 9249787 fired transitions, 2480 secs || 19244035 markings, 28801294 edges, 7847 markings/sec, 2480 secs
lola: STP completed || 10 tries, 9268398 fired transitions, 2485 secs || 19284559 markings, 28862929 edges, 8105 markings/sec, 2485 secs
lola: STP completed || 10 tries, 9286993 fired transitions, 2490 secs || 19325570 markings, 28926290 edges, 8202 markings/sec, 2490 secs
lola: STP completed || 10 tries, 9305537 fired transitions, 2495 secs || 19366764 markings, 28989833 edges, 8239 markings/sec, 2495 secs
lola: STP completed || 10 tries, 9324098 fired transitions, 2500 secs || 19406836 markings, 29051424 edges, 8014 markings/sec, 2500 secs
lola: STP completed || 10 tries, 9342646 fired transitions, 2505 secs || 19447819 markings, 29114688 edges, 8197 markings/sec, 2505 secs
lola: STP completed || 10 tries, 9361196 fired transitions, 2510 secs || 19487426 markings, 29175398 edges, 7921 markings/sec, 2510 secs
lola: STP completed || 10 tries, 9379731 fired transitions, 2515 secs || 19527219 markings, 29236801 edges, 7959 markings/sec, 2515 secs
lola: STP completed || 10 tries, 9398440 fired transitions, 2520 secs || 19567978 markings, 29299579 edges, 8152 markings/sec, 2520 secs
lola: STP completed || 10 tries, 9417195 fired transitions, 2525 secs || 19607027 markings, 29359626 edges, 7810 markings/sec, 2525 secs
lola: STP completed || 10 tries, 9435918 fired transitions, 2530 secs || 19645698 markings, 29419458 edges, 7734 markings/sec, 2530 secs
lola: STP completed || 10 tries, 9454659 fired transitions, 2535 secs || 19686745 markings, 29482191 edges, 8209 markings/sec, 2535 secs
lola: STP completed || 10 tries, 9473399 fired transitions, 2540 secs || 19725629 markings, 29542219 edges, 7777 markings/sec, 2540 secs
lola: STP completed || 10 tries, 9492112 fired transitions, 2545 secs || 19765725 markings, 29603672 edges, 8019 markings/sec, 2545 secs
lola: STP completed || 10 tries, 9510813 fired transitions, 2550 secs || 19805129 markings, 29664525 edges, 7881 markings/sec, 2550 secs
lola: STP completed || 10 tries, 9529520 fired transitions, 2555 secs || 19846153 markings, 29728028 edges, 8205 markings/sec, 2555 secs
lola: STP completed || 10 tries, 9548229 fired transitions, 2560 secs || 19886213 markings, 29790164 edges, 8012 markings/sec, 2560 secs
lola: STP completed || 10 tries, 9566992 fired transitions, 2565 secs || 19926923 markings, 29852527 edges, 8142 markings/sec, 2565 secs
lola: STP completed || 10 tries, 9585755 fired transitions, 2570 secs || 19966350 markings, 29913381 edges, 7885 markings/sec, 2570 secs
lola: STP completed || 10 tries, 9604468 fired transitions, 2575 secs || 20005819 markings, 29974155 edges, 7894 markings/sec, 2575 secs
lola: STP completed || 10 tries, 9623253 fired transitions, 2580 secs || 20046632 markings, 30037127 edges, 8163 markings/sec, 2580 secs
lola: STP completed || 10 tries, 9641977 fired transitions, 2585 secs || 20087141 markings, 30099657 edges, 8102 markings/sec, 2585 secs
lola: STP completed || 10 tries, 9660731 fired transitions, 2590 secs || 20127431 markings, 30161570 edges, 8058 markings/sec, 2590 secs
lola: STP completed || 10 tries, 9679474 fired transitions, 2595 secs || 20165977 markings, 30221067 edges, 7709 markings/sec, 2595 secs
lola: STP completed || 10 tries, 9698226 fired transitions, 2600 secs || 20204815 markings, 30281428 edges, 7768 markings/sec, 2600 secs
lola: STP completed || 10 tries, 9716948 fired transitions, 2605 secs || 20245669 markings, 30344339 edges, 8171 markings/sec, 2605 secs
lola: STP completed || 10 tries, 9735629 fired transitions, 2610 secs || 20285071 markings, 30404732 edges, 7880 markings/sec, 2610 secs
lola: STP completed || 10 tries, 9754069 fired transitions, 2615 secs || 20322785 markings, 30462985 edges, 7543 markings/sec, 2615 secs
lola: STP completed || 10 tries, 9772789 fired transitions, 2620 secs || 20363430 markings, 30525507 edges, 8129 markings/sec, 2620 secs
lola: STP completed || 10 tries, 9791325 fired transitions, 2625 secs || 20403720 markings, 30587430 edges, 8058 markings/sec, 2625 secs
lola: STP completed || 10 tries, 9809945 fired transitions, 2630 secs || 20441648 markings, 30646065 edges, 7586 markings/sec, 2630 secs
lola: STP completed || 10 tries, 9828657 fired transitions, 2635 secs || 20481256 markings, 30707125 edges, 7922 markings/sec, 2635 secs
lola: STP completed || 10 tries, 9847381 fired transitions, 2640 secs || 20522390 markings, 30770577 edges, 8227 markings/sec, 2640 secs
lola: STP completed || 10 tries, 9866091 fired transitions, 2645 secs || 20563516 markings, 30833778 edges, 8225 markings/sec, 2645 secs
lola: STP completed || 10 tries, 9884514 fired transitions, 2650 secs || 20602132 markings, 30893612 edges, 7723 markings/sec, 2650 secs
lola: STP completed || 10 tries, 9903241 fired transitions, 2655 secs || 20642339 markings, 30955304 edges, 8041 markings/sec, 2655 secs
lola: STP completed || 10 tries, 9921954 fired transitions, 2660 secs || 20682748 markings, 31017516 edges, 8082 markings/sec, 2660 secs
lola: STP completed || 10 tries, 9940073 fired transitions, 2665 secs || 20720855 markings, 31076369 edges, 7621 markings/sec, 2665 secs
lola: STP completed || 10 tries, 9958809 fired transitions, 2670 secs || 20761027 markings, 31138726 edges, 8034 markings/sec, 2670 secs
lola: STP completed || 10 tries, 9977547 fired transitions, 2675 secs || 20799599 markings, 31198731 edges, 7714 markings/sec, 2675 secs
lola: STP completed || 10 tries, 9996278 fired transitions, 2680 secs || 20840114 markings, 31260785 edges, 8103 markings/sec, 2680 secs
lola: STP completed || 11 tries, 10015021 fired transitions, 2685 secs || 20880358 markings, 31322604 edges, 8049 markings/sec, 2685 secs
lola: STP completed || 11 tries, 10033762 fired transitions, 2690 secs || 20922123 markings, 31386835 edges, 8353 markings/sec, 2690 secs
lola: STP completed || 11 tries, 10052469 fired transitions, 2695 secs || 20963074 markings, 31449962 edges, 8190 markings/sec, 2695 secs
lola: STP completed || 11 tries, 10071243 fired transitions, 2700 secs || 21002577 markings, 31511589 edges, 7901 markings/sec, 2700 secs
lola: STP completed || 11 tries, 10089982 fired transitions, 2705 secs || 21038976 markings, 31568163 edges, 7280 markings/sec, 2705 secs
lola: STP completed || 11 tries, 10108737 fired transitions, 2710 secs || 21079111 markings, 31630205 edges, 8027 markings/sec, 2710 secs
lola: STP completed || 11 tries, 10127419 fired transitions, 2715 secs || 21120130 markings, 31693595 edges, 8204 markings/sec, 2715 secs
lola: STP completed || 11 tries, 10146125 fired transitions, 2720 secs || 21160596 markings, 31755962 edges, 8093 markings/sec, 2720 secs
lola: STP completed || 11 tries, 10164804 fired transitions, 2725 secs || 21200806 markings, 31818362 edges, 8042 markings/sec, 2725 secs
lola: STP completed || 11 tries, 10183576 fired transitions, 2730 secs || 21239597 markings, 31878132 edges, 7758 markings/sec, 2730 secs
lola: STP completed || 11 tries, 10202326 fired transitions, 2735 secs || 21279665 markings, 31940319 edges, 8014 markings/sec, 2735 secs
lola: STP completed || 11 tries, 10221076 fired transitions, 2740 secs || 21318635 markings, 32001036 edges, 7794 markings/sec, 2740 secs
lola: STP completed || 11 tries, 10239703 fired transitions, 2745 secs || 21358049 markings, 32062131 edges, 7883 markings/sec, 2745 secs
lola: STP completed || 11 tries, 10257737 fired transitions, 2750 secs || 21395759 markings, 32120650 edges, 7542 markings/sec, 2750 secs
lola: STP completed || 11 tries, 10275788 fired transitions, 2755 secs || 21434515 markings, 32180237 edges, 7751 markings/sec, 2755 secs
lola: STP completed || 11 tries, 10293823 fired transitions, 2760 secs || 21473097 markings, 32240026 edges, 7716 markings/sec, 2760 secs
lola: STP completed || 11 tries, 10311857 fired transitions, 2765 secs || 21511220 markings, 32299724 edges, 7625 markings/sec, 2765 secs
lola: STP completed || 11 tries, 10330042 fired transitions, 2770 secs || 21550714 markings, 32360845 edges, 7899 markings/sec, 2770 secs
lola: STP completed || 11 tries, 10348757 fired transitions, 2775 secs || 21591901 markings, 32424211 edges, 8237 markings/sec, 2775 secs
lola: STP completed || 11 tries, 10367445 fired transitions, 2780 secs || 21632527 markings, 32487554 edges, 8125 markings/sec, 2780 secs
lola: STP completed || 11 tries, 10386161 fired transitions, 2785 secs || 21672619 markings, 32549956 edges, 8018 markings/sec, 2785 secs
lola: STP completed || 11 tries, 10404935 fired transitions, 2790 secs || 21708551 markings, 32605570 edges, 7186 markings/sec, 2790 secs
lola: STP completed || 11 tries, 10423707 fired transitions, 2795 secs || 21749302 markings, 32668334 edges, 8150 markings/sec, 2795 secs
lola: STP completed || 11 tries, 10442458 fired transitions, 2800 secs || 21788042 markings, 32728473 edges, 7748 markings/sec, 2800 secs
lola: STP completed || 11 tries, 10461198 fired transitions, 2805 secs || 21826834 markings, 32788995 edges, 7758 markings/sec, 2805 secs
lola: STP completed || 11 tries, 10479942 fired transitions, 2810 secs || 21866823 markings, 32850622 edges, 7998 markings/sec, 2810 secs
lola: STP completed || 11 tries, 10498675 fired transitions, 2815 secs || 21906844 markings, 32912416 edges, 8004 markings/sec, 2815 secs
lola: STP completed || 11 tries, 10517407 fired transitions, 2820 secs || 21945805 markings, 32972641 edges, 7792 markings/sec, 2820 secs
lola: STP completed || 11 tries, 10536159 fired transitions, 2825 secs || 21985637 markings, 33033944 edges, 7966 markings/sec, 2825 secs
lola: STP completed || 11 tries, 10554867 fired transitions, 2830 secs || 22025953 markings, 33095962 edges, 8063 markings/sec, 2830 secs
lola: STP completed || 11 tries, 10573431 fired transitions, 2835 secs || 22066340 markings, 33159115 edges, 8077 markings/sec, 2835 secs
lola: STP completed || 11 tries, 10592125 fired transitions, 2840 secs || 22105749 markings, 33219768 edges, 7882 markings/sec, 2840 secs
lola: STP completed || 11 tries, 10610834 fired transitions, 2845 secs || 22146409 markings, 33282561 edges, 8132 markings/sec, 2845 secs
lola: STP completed || 11 tries, 10629545 fired transitions, 2850 secs || 22186399 markings, 33344386 edges, 7998 markings/sec, 2850 secs
lola: STP completed || 11 tries, 10648290 fired transitions, 2855 secs || 22226167 markings, 33406141 edges, 7954 markings/sec, 2855 secs
lola: STP completed || 11 tries, 10667009 fired transitions, 2860 secs || 22265281 markings, 33466646 edges, 7823 markings/sec, 2860 secs
lola: STP completed || 11 tries, 10685741 fired transitions, 2865 secs || 22304796 markings, 33527498 edges, 7903 markings/sec, 2865 secs
lola: STP completed || 11 tries, 10704449 fired transitions, 2870 secs || 22343926 markings, 33588669 edges, 7826 markings/sec, 2870 secs
lola: STP completed || 11 tries, 10723166 fired transitions, 2875 secs || 22383079 markings, 33649177 edges, 7831 markings/sec, 2875 secs
lola: STP completed || 11 tries, 10741903 fired transitions, 2880 secs || 22422604 markings, 33711074 edges, 7905 markings/sec, 2880 secs
lola: STP completed || 11 tries, 10760602 fired transitions, 2885 secs || 22463143 markings, 33773898 edges, 8108 markings/sec, 2885 secs
lola: STP completed || 11 tries, 10779317 fired transitions, 2890 secs || 22502039 markings, 33834130 edges, 7779 markings/sec, 2890 secs
lola: STP completed || 11 tries, 10798044 fired transitions, 2895 secs || 22543138 markings, 33897210 edges, 8220 markings/sec, 2895 secs
lola: STP completed || 11 tries, 10816808 fired transitions, 2900 secs || 22583100 markings, 33959133 edges, 7992 markings/sec, 2900 secs
lola: STP completed || 11 tries, 10835552 fired transitions, 2905 secs || 22622244 markings, 34020198 edges, 7829 markings/sec, 2905 secs
lola: STP completed || 11 tries, 10854295 fired transitions, 2910 secs || 22661380 markings, 34081063 edges, 7827 markings/sec, 2910 secs
lola: STP completed || 11 tries, 10873036 fired transitions, 2915 secs || 22700590 markings, 34141584 edges, 7842 markings/sec, 2915 secs
lola: STP completed || 11 tries, 10891745 fired transitions, 2920 secs || 22740053 markings, 34203040 edges, 7893 markings/sec, 2920 secs
lola: STP completed || 11 tries, 10910474 fired transitions, 2925 secs || 22779451 markings, 34264906 edges, 7880 markings/sec, 2925 secs
lola: STP completed || 11 tries, 10929176 fired transitions, 2930 secs || 22819887 markings, 34327365 edges, 8087 markings/sec, 2930 secs
lola: STP completed || 11 tries, 10947896 fired transitions, 2935 secs || 22860423 markings, 34389675 edges, 8107 markings/sec, 2935 secs
lola: STP completed || 11 tries, 10966592 fired transitions, 2940 secs || 22900147 markings, 34451589 edges, 7945 markings/sec, 2940 secs
lola: STP completed || 11 tries, 10985228 fired transitions, 2945 secs || 22939075 markings, 34512358 edges, 7786 markings/sec, 2945 secs
lola: STP completed || 12 tries, 11003976 fired transitions, 2950 secs || 22976320 markings, 34570123 edges, 7449 markings/sec, 2950 secs
lola: STP completed || 12 tries, 11022617 fired transitions, 2955 secs || 23017806 markings, 34633947 edges, 8297 markings/sec, 2955 secs
lola: STP completed || 12 tries, 11041302 fired transitions, 2960 secs || 23056475 markings, 34694429 edges, 7734 markings/sec, 2960 secs
lola: STP completed || 12 tries, 11059969 fired transitions, 2965 secs || 23096916 markings, 34757400 edges, 8088 markings/sec, 2965 secs
lola: STP completed || 12 tries, 11078673 fired transitions, 2970 secs || 23136381 markings, 34818651 edges, 7893 markings/sec, 2970 secs
lola: STP completed || 12 tries, 11097365 fired transitions, 2975 secs || 23176428 markings, 34880602 edges, 8009 markings/sec, 2975 secs
lola: STP completed || 12 tries, 11116052 fired transitions, 2980 secs || 23217204 markings, 34943673 edges, 8155 markings/sec, 2980 secs
lola: STP completed || 12 tries, 11134728 fired transitions, 2985 secs || 23257458 markings, 35006167 edges, 8051 markings/sec, 2985 secs
lola: STP completed || 12 tries, 11153474 fired transitions, 2990 secs || 23296642 markings, 35066940 edges, 7837 markings/sec, 2990 secs
lola: STP completed || 12 tries, 11172192 fired transitions, 2995 secs || 23336158 markings, 35128324 edges, 7903 markings/sec, 2995 secs
lola: STP completed || 12 tries, 11190926 fired transitions, 3000 secs || 23375874 markings, 35189634 edges, 7943 markings/sec, 3000 secs
lola: STP completed || 12 tries, 11209656 fired transitions, 3005 secs || 23416222 markings, 35252238 edges, 8070 markings/sec, 3005 secs
lola: STP completed || 12 tries, 11228338 fired transitions, 3010 secs || 23453333 markings, 35310328 edges, 7422 markings/sec, 3010 secs
lola: STP completed || 12 tries, 11247065 fired transitions, 3015 secs || 23493917 markings, 35373050 edges, 8117 markings/sec, 3015 secs
lola: STP completed || 12 tries, 11265773 fired transitions, 3020 secs || 23532875 markings, 35433447 edges, 7792 markings/sec, 3020 secs
lola: STP completed || 12 tries, 11284517 fired transitions, 3025 secs || 23571879 markings, 35494342 edges, 7801 markings/sec, 3025 secs
lola: STP completed || 12 tries, 11303216 fired transitions, 3030 secs || 23611147 markings, 35555731 edges, 7854 markings/sec, 3030 secs
lola: STP completed || 12 tries, 11321927 fired transitions, 3035 secs || 23650730 markings, 35617245 edges, 7917 markings/sec, 3035 secs
lola: STP completed || 12 tries, 11340631 fired transitions, 3040 secs || 23691265 markings, 35680196 edges, 8107 markings/sec, 3040 secs
lola: STP completed || 12 tries, 11359344 fired transitions, 3045 secs || 23731067 markings, 35742274 edges, 7960 markings/sec, 3045 secs
lola: STP completed || 12 tries, 11378033 fired transitions, 3050 secs || 23771073 markings, 35804360 edges, 8001 markings/sec, 3050 secs
lola: STP completed || 12 tries, 11396737 fired transitions, 3055 secs || 23811109 markings, 35866216 edges, 8007 markings/sec, 3055 secs
lola: STP completed || 12 tries, 11415474 fired transitions, 3060 secs || 23850383 markings, 35927323 edges, 7855 markings/sec, 3060 secs
lola: STP completed || 12 tries, 11434182 fired transitions, 3065 secs || 23890382 markings, 35989105 edges, 8000 markings/sec, 3065 secs
lola: STP completed || 12 tries, 11452912 fired transitions, 3070 secs || 23929757 markings, 36050276 edges, 7875 markings/sec, 3070 secs
lola: STP completed || 12 tries, 11471598 fired transitions, 3075 secs || 23968656 markings, 36110837 edges, 7780 markings/sec, 3075 secs
lola: STP completed || 12 tries, 11490325 fired transitions, 3080 secs || 24008882 markings, 36173640 edges, 8045 markings/sec, 3080 secs
lola: STP completed || 12 tries, 11509050 fired transitions, 3085 secs || 24049090 markings, 36235488 edges, 8042 markings/sec, 3085 secs
lola: STP completed || 12 tries, 11527794 fired transitions, 3090 secs || 24087870 markings, 36295924 edges, 7756 markings/sec, 3090 secs
lola: STP completed || 12 tries, 11546527 fired transitions, 3095 secs || 24128277 markings, 36358974 edges, 8081 markings/sec, 3095 secs
lola: STP completed || 12 tries, 11565248 fired transitions, 3100 secs || 24167610 markings, 36420697 edges, 7867 markings/sec, 3100 secs
lola: STP completed || 12 tries, 11583992 fired transitions, 3105 secs || 24207794 markings, 36483627 edges, 8037 markings/sec, 3105 secs
lola: STP completed || 12 tries, 11602642 fired transitions, 3110 secs || 24248175 markings, 36545609 edges, 8076 markings/sec, 3110 secs
lola: STP completed || 12 tries, 11621345 fired transitions, 3115 secs || 24287848 markings, 36607133 edges, 7935 markings/sec, 3115 secs
lola: STP completed || 12 tries, 11640080 fired transitions, 3120 secs || 24327546 markings, 36668797 edges, 7940 markings/sec, 3120 secs
lola: STP completed || 12 tries, 11658374 fired transitions, 3125 secs || 24368208 markings, 36731819 edges, 8132 markings/sec, 3125 secs
lola: STP completed || 12 tries, 11676935 fired transitions, 3130 secs || 24407130 markings, 36792557 edges, 7784 markings/sec, 3130 secs
lola: STP completed || 12 tries, 11695511 fired transitions, 3135 secs || 24448183 markings, 36856514 edges, 8211 markings/sec, 3135 secs
lola: STP completed || 12 tries, 11713523 fired transitions, 3140 secs || 24485305 markings, 36914347 edges, 7424 markings/sec, 3140 secs
lola: STP completed || 12 tries, 11731650 fired transitions, 3145 secs || 24521741 markings, 36970774 edges, 7287 markings/sec, 3145 secs
lola: STP completed || 12 tries, 11749703 fired transitions, 3150 secs || 24559745 markings, 37030528 edges, 7601 markings/sec, 3150 secs
lola: STP completed || 12 tries, 11767718 fired transitions, 3155 secs || 24599184 markings, 37091377 edges, 7888 markings/sec, 3155 secs
lola: STP completed || 12 tries, 11785734 fired transitions, 3160 secs || 24637231 markings, 37150676 edges, 7609 markings/sec, 3160 secs
lola: STP completed || 12 tries, 11803749 fired transitions, 3165 secs || 24673852 markings, 37208023 edges, 7324 markings/sec, 3165 secs
lola: STP completed || 12 tries, 11821759 fired transitions, 3170 secs || 24711054 markings, 37266055 edges, 7440 markings/sec, 3170 secs
lola: STP completed || 12 tries, 11839830 fired transitions, 3175 secs || 24749720 markings, 37326027 edges, 7733 markings/sec, 3175 secs
lola: STP completed || 12 tries, 11857842 fired transitions, 3180 secs || 24786726 markings, 37384273 edges, 7401 markings/sec, 3180 secs
lola: STP completed || 12 tries, 11875863 fired transitions, 3185 secs || 24825719 markings, 37444752 edges, 7799 markings/sec, 3185 secs
lola: STP completed || 12 tries, 11893887 fired transitions, 3190 secs || 24863188 markings, 37503071 edges, 7494 markings/sec, 3190 secs
lola: STP completed || 12 tries, 11911923 fired transitions, 3195 secs || 24901936 markings, 37563249 edges, 7750 markings/sec, 3195 secs
lola: STP completed || 12 tries, 11929942 fired transitions, 3200 secs || 24940200 markings, 37622667 edges, 7653 markings/sec, 3200 secs
lola: STP completed || 12 tries, 11947976 fired transitions, 3205 secs || 24977977 markings, 37681411 edges, 7555 markings/sec, 3205 secs
lola: STP completed || 12 tries, 11966020 fired transitions, 3210 secs || 25015181 markings, 37739709 edges, 7441 markings/sec, 3210 secs
lola: STP completed || 12 tries, 11984027 fired transitions, 3215 secs || 25054431 markings, 37801099 edges, 7850 markings/sec, 3215 secs
lola: STP completed || 13 tries, 12002092 fired transitions, 3220 secs || 25092713 markings, 37860572 edges, 7656 markings/sec, 3220 secs
lola: STP completed || 13 tries, 12020120 fired transitions, 3225 secs || 25131874 markings, 37921825 edges, 7832 markings/sec, 3225 secs
lola: STP completed || 13 tries, 12038144 fired transitions, 3230 secs || 25169498 markings, 37980998 edges, 7525 markings/sec, 3230 secs
lola: STP completed || 13 tries, 12056183 fired transitions, 3235 secs || 25206877 markings, 38038923 edges, 7476 markings/sec, 3235 secs
lola: STP completed || 13 tries, 12074197 fired transitions, 3240 secs || 25244232 markings, 38096909 edges, 7471 markings/sec, 3240 secs
lola: STP completed || 13 tries, 12092247 fired transitions, 3245 secs || 25281314 markings, 38154533 edges, 7416 markings/sec, 3245 secs
lola: STP completed || 13 tries, 12110255 fired transitions, 3250 secs || 25319162 markings, 38213186 edges, 7570 markings/sec, 3250 secs
lola: STP completed || 13 tries, 12128269 fired transitions, 3255 secs || 25356929 markings, 38272098 edges, 7553 markings/sec, 3255 secs
lola: STP completed || 13 tries, 12146271 fired transitions, 3260 secs || 25395433 markings, 38332141 edges, 7701 markings/sec, 3260 secs
lola: STP completed || 13 tries, 12164303 fired transitions, 3265 secs || 25433264 markings, 38391649 edges, 7566 markings/sec, 3265 secs
lola: STP completed || 13 tries, 12182337 fired transitions, 3270 secs || 25471322 markings, 38450848 edges, 7612 markings/sec, 3270 secs
lola: STP completed || 13 tries, 12200365 fired transitions, 3275 secs || 25508090 markings, 38508392 edges, 7354 markings/sec, 3275 secs
lola: STP completed || 13 tries, 12218397 fired transitions, 3280 secs || 25546659 markings, 38568049 edges, 7714 markings/sec, 3280 secs
lola: STP completed || 13 tries, 12236420 fired transitions, 3285 secs || 25583833 markings, 38626467 edges, 7435 markings/sec, 3285 secs
lola: STP completed || 13 tries, 12254419 fired transitions, 3290 secs || 25622201 markings, 38686505 edges, 7674 markings/sec, 3290 secs
lola: STP completed || 13 tries, 12272443 fired transitions, 3295 secs || 25660170 markings, 38745778 edges, 7594 markings/sec, 3295 secs
lola: STP completed || 13 tries, 12290472 fired transitions, 3300 secs || 25699871 markings, 38807221 edges, 7940 markings/sec, 3300 secs
lola: STP completed || 13 tries, 12308475 fired transitions, 3305 secs || 25739303 markings, 38868583 edges, 7886 markings/sec, 3305 secs
lola: STP completed || 13 tries, 12326511 fired transitions, 3310 secs || 25776182 markings, 38926398 edges, 7376 markings/sec, 3310 secs
lola: STP completed || 13 tries, 12344548 fired transitions, 3315 secs || 25813742 markings, 38985086 edges, 7512 markings/sec, 3315 secs
lola: STP completed || 13 tries, 12362552 fired transitions, 3320 secs || 25854420 markings, 39048185 edges, 8136 markings/sec, 3320 secs
lola: STP completed || 13 tries, 12380560 fired transitions, 3325 secs || 25893561 markings, 39108901 edges, 7828 markings/sec, 3325 secs
lola: STP completed || 13 tries, 12398576 fired transitions, 3330 secs || 25930507 markings, 39167214 edges, 7389 markings/sec, 3330 secs
lola: STP completed || 13 tries, 12416585 fired transitions, 3335 secs || 25968339 markings, 39226143 edges, 7566 markings/sec, 3335 secs
lola: STP completed || 13 tries, 12434574 fired transitions, 3340 secs || 26006202 markings, 39285430 edges, 7573 markings/sec, 3340 secs
lola: STP completed || 13 tries, 12452602 fired transitions, 3345 secs || 26043582 markings, 39344050 edges, 7476 markings/sec, 3345 secs
lola: STP completed || 13 tries, 12470574 fired transitions, 3350 secs || 26080304 markings, 39401624 edges, 7344 markings/sec, 3350 secs
lola: STP completed || 13 tries, 12488627 fired transitions, 3355 secs || 26118067 markings, 39460215 edges, 7553 markings/sec, 3355 secs
lola: STP completed || 13 tries, 12506657 fired transitions, 3360 secs || 26155871 markings, 39519130 edges, 7561 markings/sec, 3360 secs
lola: STP completed || 13 tries, 12524702 fired transitions, 3365 secs || 26193864 markings, 39578225 edges, 7599 markings/sec, 3365 secs
lola: STP completed || 13 tries, 12542747 fired transitions, 3370 secs || 26230836 markings, 39636259 edges, 7394 markings/sec, 3370 secs
lola: STP completed || 13 tries, 12560784 fired transitions, 3375 secs || 26268539 markings, 39695291 edges, 7541 markings/sec, 3375 secs
lola: STP completed || 13 tries, 12578810 fired transitions, 3380 secs || 26306505 markings, 39754966 edges, 7593 markings/sec, 3380 secs
lola: STP completed || 13 tries, 12596829 fired transitions, 3385 secs || 26344285 markings, 39814213 edges, 7556 markings/sec, 3385 secs
lola: STP completed || 13 tries, 12614842 fired transitions, 3390 secs || 26382195 markings, 39873422 edges, 7582 markings/sec, 3390 secs
lola: STP completed || 13 tries, 12632892 fired transitions, 3395 secs || 26419511 markings, 39931539 edges, 7463 markings/sec, 3395 secs
lola: STP completed || 13 tries, 12650872 fired transitions, 3400 secs || 26456166 markings, 39988818 edges, 7331 markings/sec, 3400 secs
lola: STP completed || 13 tries, 12668917 fired transitions, 3405 secs || 26493223 markings, 40046769 edges, 7411 markings/sec, 3405 secs
lola: STP completed || 13 tries, 12686902 fired transitions, 3410 secs || 26529957 markings, 40104223 edges, 7347 markings/sec, 3410 secs
lola: STP completed || 13 tries, 12704885 fired transitions, 3415 secs || 26568407 markings, 40164036 edges, 7690 markings/sec, 3415 secs
lola: STP completed || 13 tries, 12722888 fired transitions, 3420 secs || 26605757 markings, 40222076 edges, 7470 markings/sec, 3420 secs
lola: STP completed || 13 tries, 12740873 fired transitions, 3425 secs || 26643222 markings, 40280877 edges, 7493 markings/sec, 3425 secs
lola: STP completed || 13 tries, 12758873 fired transitions, 3430 secs || 26683670 markings, 40343692 edges, 8090 markings/sec, 3430 secs
lola: STP completed || 13 tries, 12776899 fired transitions, 3435 secs || 26721346 markings, 40403004 edges, 7535 markings/sec, 3435 secs
lola: STP completed || 13 tries, 12794905 fired transitions, 3440 secs || 26758306 markings, 40460884 edges, 7392 markings/sec, 3440 secs
lola: STP completed || 13 tries, 12812942 fired transitions, 3445 secs || 26795815 markings, 40519139 edges, 7502 markings/sec, 3445 secs
lola: STP completed || 13 tries, 12830949 fired transitions, 3450 secs || 26833300 markings, 40577735 edges, 7497 markings/sec, 3450 secs
lola: STP completed || 13 tries, 12849014 fired transitions, 3455 secs || 26870816 markings, 40636262 edges, 7503 markings/sec, 3455 secs
lola: STP completed || 13 tries, 12867021 fired transitions, 3460 secs || 26909102 markings, 40696490 edges, 7657 markings/sec, 3460 secs
lola: STP completed || 13 tries, 12884987 fired transitions, 3465 secs || 26947194 markings, 40755832 edges, 7618 markings/sec, 3465 secs
lola: STP completed || 13 tries, 12902997 fired transitions, 3470 secs || 26985079 markings, 40814516 edges, 7577 markings/sec, 3470 secs
lola: STP completed || 13 tries, 12921043 fired transitions, 3475 secs || 27023226 markings, 40873625 edges, 7629 markings/sec, 3475 secs
lola: STP completed || 13 tries, 12939090 fired transitions, 3480 secs || 27061762 markings, 40934121 edges, 7707 markings/sec, 3480 secs
lola: STP completed || 13 tries, 12957128 fired transitions, 3485 secs || 27098846 markings, 40992061 edges, 7417 markings/sec, 3485 secs
lola: STP completed || 13 tries, 12975171 fired transitions, 3490 secs || 27136689 markings, 41051013 edges, 7569 markings/sec, 3490 secs
lola: STP completed || 13 tries, 12993162 fired transitions, 3495 secs || 27174886 markings, 41110740 edges, 7639 markings/sec, 3495 secs
lola: STP completed || 14 tries, 13011161 fired transitions, 3500 secs || 27213263 markings, 41170260 edges, 7675 markings/sec, 3500 secs
lola: STP completed || 14 tries, 13029180 fired transitions, 3505 secs || 27251632 markings, 41230203 edges, 7674 markings/sec, 3505 secs
lola: STP completed || 14 tries, 13047190 fired transitions, 3510 secs || 27290364 markings, 41290599 edges, 7746 markings/sec, 3510 secs
lola: STP completed || 14 tries, 13065242 fired transitions, 3515 secs || 27327560 markings, 41349181 edges, 7439 markings/sec, 3515 secs
lola: STP completed || 14 tries, 13083302 fired transitions, 3520 secs || 27364970 markings, 41408029 edges, 7482 markings/sec, 3520 secs
lola: STP completed || 14 tries, 13101316 fired transitions, 3525 secs || 27403815 markings, 41468730 edges, 7769 markings/sec, 3525 secs
lola: STP completed || 14 tries, 13119331 fired transitions, 3530 secs || 27442097 markings, 41528423 edges, 7656 markings/sec, 3530 secs
lola: STP completed || 14 tries, 13137377 fired transitions, 3535 secs || 27479821 markings, 41587449 edges, 7545 markings/sec, 3535 secs
lola: STP completed || 14 tries, 13155403 fired transitions, 3540 secs || 27517408 markings, 41646577 edges, 7517 markings/sec, 3540 secs
lola: STP completed || 14 tries, 13173434 fired transitions, 3545 secs || 27553989 markings, 41703969 edges, 7316 markings/sec, 3545 secs
lola: STP completed || 14 tries, 13191457 fired transitions, 3550 secs || 27592866 markings, 41765075 edges, 7775 markings/sec, 3550 secs
lola: STP completed || 14 tries, 13209465 fired transitions, 3555 secs || 27630725 markings, 41824493 edges, 7572 markings/sec, 3555 secs
lola: STP completed || 14 tries, 13227491 fired transitions, 3560 secs || 27669375 markings, 41884330 edges, 7730 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 1464196 KB
lola: time consumption: 3570 seconds
BK_STOP 1527221998964
--------------------
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="SimpleLoadBal-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/SimpleLoadBal-PT-15.tgz
mv SimpleLoadBal-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 SimpleLoadBal-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 r172-smll-152708743000167"
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 ;