fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r280-csrt-152749170100512
Last Updated
June 26, 2018

About the Execution of LoLA for RERS17pb114-PT-6

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1731.730 3569791.00 7271254.00 403.20 [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 73M
-rw-r--r-- 1 mcc users 4.0K May 30 22:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 30 22:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K May 29 16:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 29 16:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.4K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 28 10:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 10:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 28 08:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.7K May 28 08:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 4.1K May 28 07:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 28 07:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 107 May 26 06:31 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 345 May 26 06:31 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.7K May 27 04:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 27 04:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:33 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 28 07:33 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 2 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 73M May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is RERS17pb114-PT-6, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-csrt-152749170100512

=====================================================================

--------------------
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 RERS17pb114-PT-1-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1527806414760

info: Time: 3600 - MCC
===========================================================================================
prep: translating RERS17pb114-PT-6 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating RERS17pb114-PT-6 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ RERS17pb114-PT-6 @ 3567 seconds
lola: LoLA will run for 3567 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 152531/65536 symbol table entries, 94907 collisions
lola: preprocessing...
lola: Size of bit vector: 1446
lola: finding significant places
lola: 1446 places, 151085 transitions, 1411 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 210714 transition conflict sets
lola: TASK
lola: reading formula from RERS17pb114-PT-1-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: 0 generators; 1044735 candidates remain ( 0%), 0 secs
lola: STP running || 1 tries, 20 fired transitions, 0 secs
lola: STP running || 1 tries, 41 fired transitions, 5 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 5 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 10 secs
lola: STP running || 1 tries, 60 fired transitions, 10 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 15 secs
lola: STP running || 1 tries, 75 fired transitions, 15 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 20 secs
lola: STP running || 1 tries, 89 fired transitions, 20 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 25 secs
lola: STP running || 1 tries, 99 fired transitions, 25 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 30 secs
lola: STP running || 1 tries, 119 fired transitions, 30 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 35 secs
lola: STP running || 1 tries, 139 fired transitions, 35 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 40 secs
lola: STP running || 1 tries, 158 fired transitions, 40 secs
lola: 0 generators; 987732 candidates remain ( 0%), 45 secs
lola: STP running || 1 tries, 173 fired transitions, 45 secs
lola: 87 generators; 300 candidates remain (22%), 50 secs
lola: STP running || 1 tries, 191 fired transitions, 50 secs
lola: 153 generators; 6 candidates remain (96%), 55 secs
lola: STP running || 1 tries, 211 fired transitions, 55 secs
lola: computed 153 generators (17 in search tree, 136 by composition)
lola: representing 6.40237E+15 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 1980013 variables and 9244159 clauses shipped to Minisat
lola: STP running || 1 tries, 224 fired transitions, 60 secs || 21 markings, 28 edges, 4 markings/sec, 60 secs
lola: STP running || 1 tries, 236 fired transitions, 65 secs || 40 markings, 51 edges, 4 markings/sec, 65 secs
lola: STP running || 1 tries, 248 fired transitions, 70 secs || 58 markings, 72 edges, 4 markings/sec, 70 secs
lola: STP running || 1 tries, 258 fired transitions, 75 secs || 79 markings, 106 edges, 4 markings/sec, 75 secs
lola: STP running || 1 tries, 274 fired transitions, 80 secs || 92 markings, 123 edges, 3 markings/sec, 80 secs
lola: STP running || 1 tries, 294 fired transitions, 85 secs || 110 markings, 141 edges, 4 markings/sec, 85 secs
lola: STP running || 1 tries, 310 fired transitions, 90 secs || 125 markings, 161 edges, 3 markings/sec, 90 secs
lola: STP running || 1 tries, 330 fired transitions, 95 secs || 145 markings, 186 edges, 4 markings/sec, 95 secs
lola: STP running || 1 tries, 350 fired transitions, 100 secs || 166 markings, 217 edges, 4 markings/sec, 100 secs
lola: STP running || 1 tries, 365 fired transitions, 105 secs || 186 markings, 243 edges, 4 markings/sec, 105 secs
lola: STP running || 1 tries, 384 fired transitions, 110 secs || 206 markings, 266 edges, 4 markings/sec, 110 secs
lola: STP running || 1 tries, 405 fired transitions, 115 secs || 227 markings, 298 edges, 4 markings/sec, 115 secs
lola: STP running || 1 tries, 417 fired transitions, 120 secs || 247 markings, 337 edges, 4 markings/sec, 120 secs
lola: STP running || 1 tries, 431 fired transitions, 125 secs || 263 markings, 368 edges, 3 markings/sec, 125 secs
lola: STP running || 1 tries, 446 fired transitions, 130 secs || 279 markings, 399 edges, 3 markings/sec, 130 secs
lola: STP running || 1 tries, 463 fired transitions, 135 secs || 298 markings, 435 edges, 4 markings/sec, 135 secs
lola: STP running || 1 tries, 483 fired transitions, 140 secs || 319 markings, 476 edges, 4 markings/sec, 140 secs
lola: STP running || 1 tries, 503 fired transitions, 145 secs || 338 markings, 515 edges, 4 markings/sec, 145 secs
lola: STP running || 1 tries, 519 fired transitions, 150 secs || 356 markings, 550 edges, 4 markings/sec, 150 secs
lola: STP running || 1 tries, 540 fired transitions, 155 secs || 377 markings, 578 edges, 4 markings/sec, 155 secs
lola: STP running || 1 tries, 555 fired transitions, 160 secs || 393 markings, 594 edges, 3 markings/sec, 160 secs
lola: STP running || 1 tries, 574 fired transitions, 165 secs || 411 markings, 612 edges, 4 markings/sec, 165 secs
lola: STP running || 1 tries, 593 fired transitions, 170 secs || 431 markings, 632 edges, 4 markings/sec, 170 secs
lola: STP running || 1 tries, 613 fired transitions, 175 secs || 451 markings, 652 edges, 4 markings/sec, 175 secs
lola: STP running || 1 tries, 632 fired transitions, 180 secs || 472 markings, 673 edges, 4 markings/sec, 180 secs
lola: STP running || 1 tries, 651 fired transitions, 185 secs || 491 markings, 692 edges, 4 markings/sec, 185 secs
lola: STP running || 1 tries, 671 fired transitions, 190 secs || 512 markings, 713 edges, 4 markings/sec, 190 secs
lola: STP running || 1 tries, 690 fired transitions, 195 secs || 531 markings, 732 edges, 4 markings/sec, 195 secs
lola: STP running || 1 tries, 709 fired transitions, 200 secs || 551 markings, 752 edges, 4 markings/sec, 200 secs
lola: STP running || 1 tries, 729 fired transitions, 205 secs || 571 markings, 772 edges, 4 markings/sec, 205 secs
lola: STP running || 1 tries, 746 fired transitions, 210 secs || 589 markings, 790 edges, 4 markings/sec, 210 secs
lola: STP running || 1 tries, 765 fired transitions, 215 secs || 609 markings, 810 edges, 4 markings/sec, 215 secs
lola: STP running || 1 tries, 785 fired transitions, 220 secs || 628 markings, 829 edges, 4 markings/sec, 220 secs
lola: STP running || 1 tries, 802 fired transitions, 225 secs || 645 markings, 846 edges, 3 markings/sec, 225 secs
lola: STP running || 1 tries, 820 fired transitions, 230 secs || 664 markings, 865 edges, 4 markings/sec, 230 secs
lola: STP running || 1 tries, 839 fired transitions, 235 secs || 684 markings, 885 edges, 4 markings/sec, 235 secs
lola: STP running || 1 tries, 858 fired transitions, 240 secs || 702 markings, 903 edges, 4 markings/sec, 240 secs
lola: STP running || 1 tries, 875 fired transitions, 245 secs || 720 markings, 921 edges, 4 markings/sec, 245 secs
lola: STP running || 1 tries, 895 fired transitions, 250 secs || 740 markings, 941 edges, 4 markings/sec, 250 secs
lola: STP running || 1 tries, 915 fired transitions, 255 secs || 760 markings, 961 edges, 4 markings/sec, 255 secs
lola: STP running || 1 tries, 932 fired transitions, 260 secs || 778 markings, 979 edges, 4 markings/sec, 260 secs
lola: STP running || 1 tries, 951 fired transitions, 265 secs || 798 markings, 999 edges, 4 markings/sec, 265 secs
lola: STP running || 1 tries, 971 fired transitions, 270 secs || 818 markings, 1019 edges, 4 markings/sec, 270 secs
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 991 fired transitions, 275 secs || 838 markings, 1039 edges, 4 markings/sec, 275 secs
lola: STP completed || 1 tries, 1010 fired transitions, 280 secs || 858 markings, 1059 edges, 4 markings/sec, 280 secs
lola: STP completed || 1 tries, 1031 fired transitions, 285 secs || 879 markings, 1080 edges, 4 markings/sec, 285 secs
lola: STP completed || 1 tries, 1053 fired transitions, 290 secs || 901 markings, 1102 edges, 4 markings/sec, 290 secs
lola: STP completed || 1 tries, 1074 fired transitions, 295 secs || 922 markings, 1123 edges, 4 markings/sec, 295 secs
lola: STP completed || 1 tries, 1094 fired transitions, 300 secs || 942 markings, 1143 edges, 4 markings/sec, 300 secs
lola: STP completed || 1 tries, 1115 fired transitions, 305 secs || 963 markings, 1164 edges, 4 markings/sec, 305 secs
lola: STP completed || 1 tries, 1136 fired transitions, 310 secs || 983 markings, 1184 edges, 4 markings/sec, 310 secs
lola: STP completed || 1 tries, 1157 fired transitions, 315 secs || 1003 markings, 1206 edges, 4 markings/sec, 315 secs
lola: STP completed || 1 tries, 1177 fired transitions, 320 secs || 1024 markings, 1229 edges, 4 markings/sec, 320 secs
lola: STP completed || 1 tries, 1198 fired transitions, 325 secs || 1045 markings, 1264 edges, 4 markings/sec, 325 secs
lola: STP completed || 1 tries, 1219 fired transitions, 330 secs || 1066 markings, 1296 edges, 4 markings/sec, 330 secs
lola: STP completed || 1 tries, 1240 fired transitions, 335 secs || 1087 markings, 1317 edges, 4 markings/sec, 335 secs
lola: STP completed || 1 tries, 1262 fired transitions, 340 secs || 1109 markings, 1342 edges, 4 markings/sec, 340 secs
lola: STP completed || 1 tries, 1283 fired transitions, 345 secs || 1130 markings, 1377 edges, 4 markings/sec, 345 secs
lola: STP completed || 1 tries, 1304 fired transitions, 350 secs || 1151 markings, 1418 edges, 4 markings/sec, 350 secs
lola: STP completed || 1 tries, 1325 fired transitions, 355 secs || 1172 markings, 1449 edges, 4 markings/sec, 355 secs
lola: STP completed || 1 tries, 1347 fired transitions, 360 secs || 1194 markings, 1471 edges, 4 markings/sec, 360 secs
lola: STP completed || 1 tries, 1366 fired transitions, 365 secs || 1214 markings, 1491 edges, 4 markings/sec, 365 secs
lola: STP completed || 1 tries, 1386 fired transitions, 370 secs || 1235 markings, 1512 edges, 4 markings/sec, 370 secs
lola: STP completed || 1 tries, 1406 fired transitions, 375 secs || 1256 markings, 1533 edges, 4 markings/sec, 375 secs
lola: STP completed || 1 tries, 1426 fired transitions, 380 secs || 1276 markings, 1553 edges, 4 markings/sec, 380 secs
lola: STP completed || 1 tries, 1446 fired transitions, 385 secs || 1297 markings, 1574 edges, 4 markings/sec, 385 secs
lola: STP completed || 1 tries, 1466 fired transitions, 390 secs || 1317 markings, 1594 edges, 4 markings/sec, 390 secs
lola: STP completed || 1 tries, 1486 fired transitions, 395 secs || 1338 markings, 1621 edges, 4 markings/sec, 395 secs
lola: STP completed || 1 tries, 1506 fired transitions, 400 secs || 1359 markings, 1642 edges, 4 markings/sec, 400 secs
lola: STP completed || 1 tries, 1527 fired transitions, 405 secs || 1381 markings, 1664 edges, 4 markings/sec, 405 secs
lola: STP completed || 1 tries, 1549 fired transitions, 410 secs || 1402 markings, 1685 edges, 4 markings/sec, 410 secs
lola: STP completed || 1 tries, 1570 fired transitions, 415 secs || 1423 markings, 1706 edges, 4 markings/sec, 415 secs
lola: STP completed || 1 tries, 1591 fired transitions, 420 secs || 1444 markings, 1727 edges, 4 markings/sec, 420 secs
lola: STP completed || 1 tries, 1612 fired transitions, 425 secs || 1465 markings, 1748 edges, 4 markings/sec, 425 secs
lola: STP completed || 1 tries, 1633 fired transitions, 430 secs || 1485 markings, 1768 edges, 4 markings/sec, 430 secs
lola: STP completed || 1 tries, 1653 fired transitions, 435 secs || 1506 markings, 1789 edges, 4 markings/sec, 435 secs
lola: STP completed || 1 tries, 1672 fired transitions, 440 secs || 1526 markings, 1809 edges, 4 markings/sec, 440 secs
lola: STP completed || 1 tries, 1693 fired transitions, 445 secs || 1547 markings, 1830 edges, 4 markings/sec, 445 secs
lola: STP completed || 1 tries, 1713 fired transitions, 450 secs || 1567 markings, 1850 edges, 4 markings/sec, 450 secs
lola: STP completed || 1 tries, 1734 fired transitions, 455 secs || 1588 markings, 1871 edges, 4 markings/sec, 455 secs
lola: STP completed || 1 tries, 1756 fired transitions, 460 secs || 1609 markings, 1893 edges, 4 markings/sec, 460 secs
lola: STP completed || 1 tries, 1776 fired transitions, 465 secs || 1630 markings, 1914 edges, 4 markings/sec, 465 secs
lola: STP completed || 1 tries, 1798 fired transitions, 470 secs || 1652 markings, 1955 edges, 4 markings/sec, 470 secs
lola: STP completed || 1 tries, 1819 fired transitions, 475 secs || 1673 markings, 1985 edges, 4 markings/sec, 475 secs
lola: STP completed || 1 tries, 1841 fired transitions, 480 secs || 1695 markings, 2007 edges, 4 markings/sec, 480 secs
lola: STP completed || 1 tries, 1861 fired transitions, 485 secs || 1716 markings, 2028 edges, 4 markings/sec, 485 secs
lola: STP completed || 1 tries, 1882 fired transitions, 490 secs || 1737 markings, 2049 edges, 4 markings/sec, 490 secs
lola: STP completed || 1 tries, 1904 fired transitions, 495 secs || 1759 markings, 2072 edges, 4 markings/sec, 495 secs
lola: STP completed || 1 tries, 1926 fired transitions, 500 secs || 1781 markings, 2094 edges, 4 markings/sec, 500 secs
lola: STP completed || 1 tries, 1947 fired transitions, 505 secs || 1802 markings, 2115 edges, 4 markings/sec, 505 secs
lola: STP completed || 1 tries, 1968 fired transitions, 510 secs || 1823 markings, 2136 edges, 4 markings/sec, 510 secs
lola: STP completed || 1 tries, 1989 fired transitions, 515 secs || 1844 markings, 2157 edges, 4 markings/sec, 515 secs
lola: STP completed || 1 tries, 2009 fired transitions, 520 secs || 1865 markings, 2183 edges, 4 markings/sec, 520 secs
lola: STP completed || 1 tries, 2030 fired transitions, 525 secs || 1886 markings, 2209 edges, 4 markings/sec, 525 secs
lola: STP completed || 1 tries, 2052 fired transitions, 530 secs || 1908 markings, 2250 edges, 4 markings/sec, 530 secs
lola: STP completed || 1 tries, 2073 fired transitions, 535 secs || 1929 markings, 2291 edges, 4 markings/sec, 535 secs
lola: STP completed || 1 tries, 2095 fired transitions, 540 secs || 1951 markings, 2333 edges, 4 markings/sec, 540 secs
lola: STP completed || 1 tries, 2117 fired transitions, 545 secs || 1973 markings, 2355 edges, 4 markings/sec, 545 secs
lola: STP completed || 1 tries, 2138 fired transitions, 550 secs || 1994 markings, 2376 edges, 4 markings/sec, 550 secs
lola: STP completed || 1 tries, 2160 fired transitions, 555 secs || 2016 markings, 2400 edges, 4 markings/sec, 555 secs
lola: STP completed || 1 tries, 2180 fired transitions, 560 secs || 2037 markings, 2433 edges, 4 markings/sec, 560 secs
lola: STP completed || 1 tries, 2201 fired transitions, 565 secs || 2058 markings, 2475 edges, 4 markings/sec, 565 secs
lola: STP completed || 1 tries, 2222 fired transitions, 570 secs || 2079 markings, 2517 edges, 4 markings/sec, 570 secs
lola: STP completed || 1 tries, 2244 fired transitions, 575 secs || 2101 markings, 2559 edges, 4 markings/sec, 575 secs
lola: STP completed || 1 tries, 2264 fired transitions, 580 secs || 2122 markings, 2585 edges, 4 markings/sec, 580 secs
lola: STP completed || 1 tries, 2286 fired transitions, 585 secs || 2144 markings, 2607 edges, 4 markings/sec, 585 secs
lola: STP completed || 1 tries, 2307 fired transitions, 590 secs || 2165 markings, 2628 edges, 4 markings/sec, 590 secs
lola: STP completed || 1 tries, 2328 fired transitions, 595 secs || 2186 markings, 2649 edges, 4 markings/sec, 595 secs
lola: STP completed || 1 tries, 2349 fired transitions, 600 secs || 2206 markings, 2669 edges, 4 markings/sec, 600 secs
lola: STP completed || 1 tries, 2368 fired transitions, 605 secs || 2226 markings, 2689 edges, 4 markings/sec, 605 secs
lola: STP completed || 1 tries, 2388 fired transitions, 610 secs || 2247 markings, 2710 edges, 4 markings/sec, 610 secs
lola: STP completed || 1 tries, 2409 fired transitions, 615 secs || 2267 markings, 2734 edges, 4 markings/sec, 615 secs
lola: STP completed || 1 tries, 2430 fired transitions, 620 secs || 2288 markings, 2770 edges, 4 markings/sec, 620 secs
lola: STP completed || 1 tries, 2451 fired transitions, 625 secs || 2309 markings, 2791 edges, 4 markings/sec, 625 secs
lola: STP completed || 1 tries, 2471 fired transitions, 630 secs || 2329 markings, 2814 edges, 4 markings/sec, 630 secs
lola: STP completed || 1 tries, 2492 fired transitions, 635 secs || 2349 markings, 2834 edges, 4 markings/sec, 635 secs
lola: STP completed || 1 tries, 2513 fired transitions, 640 secs || 2370 markings, 2858 edges, 4 markings/sec, 640 secs
lola: STP completed || 1 tries, 2534 fired transitions, 645 secs || 2391 markings, 2879 edges, 4 markings/sec, 645 secs
lola: STP completed || 1 tries, 2555 fired transitions, 650 secs || 2412 markings, 2901 edges, 4 markings/sec, 650 secs
lola: STP completed || 1 tries, 2575 fired transitions, 655 secs || 2432 markings, 2921 edges, 4 markings/sec, 655 secs
lola: STP completed || 1 tries, 2597 fired transitions, 660 secs || 2454 markings, 2943 edges, 4 markings/sec, 660 secs
lola: STP completed || 1 tries, 2618 fired transitions, 665 secs || 2474 markings, 2967 edges, 4 markings/sec, 665 secs
lola: STP completed || 1 tries, 2638 fired transitions, 670 secs || 2495 markings, 3003 edges, 4 markings/sec, 670 secs
lola: STP completed || 1 tries, 2658 fired transitions, 675 secs || 2515 markings, 3027 edges, 4 markings/sec, 675 secs
lola: STP completed || 1 tries, 2679 fired transitions, 680 secs || 2535 markings, 3047 edges, 4 markings/sec, 680 secs
lola: STP completed || 1 tries, 2700 fired transitions, 685 secs || 2556 markings, 3088 edges, 4 markings/sec, 685 secs
lola: STP completed || 1 tries, 2721 fired transitions, 690 secs || 2576 markings, 3128 edges, 4 markings/sec, 690 secs
lola: STP completed || 1 tries, 2742 fired transitions, 695 secs || 2597 markings, 3155 edges, 4 markings/sec, 695 secs
lola: STP completed || 1 tries, 2763 fired transitions, 700 secs || 2617 markings, 3186 edges, 4 markings/sec, 700 secs
lola: STP completed || 1 tries, 2784 fired transitions, 705 secs || 2638 markings, 3226 edges, 4 markings/sec, 705 secs
lola: STP completed || 1 tries, 2805 fired transitions, 710 secs || 2659 markings, 3258 edges, 4 markings/sec, 710 secs
lola: STP completed || 1 tries, 2826 fired transitions, 715 secs || 2679 markings, 3281 edges, 4 markings/sec, 715 secs
lola: STP completed || 1 tries, 2847 fired transitions, 720 secs || 2700 markings, 3309 edges, 4 markings/sec, 720 secs
lola: STP completed || 1 tries, 2868 fired transitions, 725 secs || 2721 markings, 3351 edges, 4 markings/sec, 725 secs
lola: STP completed || 1 tries, 2887 fired transitions, 730 secs || 2742 markings, 3389 edges, 4 markings/sec, 730 secs
lola: STP completed || 1 tries, 2908 fired transitions, 735 secs || 2762 markings, 3409 edges, 4 markings/sec, 735 secs
lola: STP completed || 1 tries, 2930 fired transitions, 740 secs || 2784 markings, 3431 edges, 4 markings/sec, 740 secs
lola: STP completed || 1 tries, 2952 fired transitions, 745 secs || 2806 markings, 3453 edges, 4 markings/sec, 745 secs
lola: STP completed || 1 tries, 2974 fired transitions, 750 secs || 2828 markings, 3475 edges, 4 markings/sec, 750 secs
lola: STP completed || 1 tries, 2995 fired transitions, 755 secs || 2849 markings, 3496 edges, 4 markings/sec, 755 secs
lola: STP completed || 1 tries, 3016 fired transitions, 760 secs || 2870 markings, 3520 edges, 4 markings/sec, 760 secs
lola: STP completed || 1 tries, 3037 fired transitions, 765 secs || 2891 markings, 3547 edges, 4 markings/sec, 765 secs
lola: STP completed || 1 tries, 3059 fired transitions, 770 secs || 2913 markings, 3569 edges, 4 markings/sec, 770 secs
lola: STP completed || 1 tries, 3080 fired transitions, 775 secs || 2934 markings, 3590 edges, 4 markings/sec, 775 secs
lola: STP completed || 1 tries, 3101 fired transitions, 780 secs || 2955 markings, 3612 edges, 4 markings/sec, 780 secs
lola: STP completed || 1 tries, 3123 fired transitions, 785 secs || 2977 markings, 3648 edges, 4 markings/sec, 785 secs
lola: STP completed || 1 tries, 3144 fired transitions, 790 secs || 2998 markings, 3689 edges, 4 markings/sec, 790 secs
lola: STP completed || 1 tries, 3164 fired transitions, 795 secs || 3018 markings, 3717 edges, 4 markings/sec, 795 secs
lola: STP completed || 1 tries, 3184 fired transitions, 800 secs || 3038 markings, 3737 edges, 4 markings/sec, 800 secs
lola: STP completed || 1 tries, 3205 fired transitions, 805 secs || 3059 markings, 3758 edges, 4 markings/sec, 805 secs
lola: STP completed || 1 tries, 3227 fired transitions, 810 secs || 3081 markings, 3780 edges, 4 markings/sec, 810 secs
lola: STP completed || 1 tries, 3247 fired transitions, 815 secs || 3101 markings, 3800 edges, 4 markings/sec, 815 secs
lola: STP completed || 1 tries, 3268 fired transitions, 820 secs || 3122 markings, 3821 edges, 4 markings/sec, 820 secs
lola: STP completed || 1 tries, 3289 fired transitions, 825 secs || 3142 markings, 3841 edges, 4 markings/sec, 825 secs
lola: STP completed || 1 tries, 3309 fired transitions, 830 secs || 3163 markings, 3862 edges, 4 markings/sec, 830 secs
lola: STP completed || 1 tries, 3330 fired transitions, 835 secs || 3183 markings, 3882 edges, 4 markings/sec, 835 secs
lola: STP completed || 1 tries, 3350 fired transitions, 840 secs || 3203 markings, 3902 edges, 4 markings/sec, 840 secs
lola: STP completed || 1 tries, 3371 fired transitions, 845 secs || 3224 markings, 3923 edges, 4 markings/sec, 845 secs
lola: STP completed || 1 tries, 3392 fired transitions, 850 secs || 3245 markings, 3944 edges, 4 markings/sec, 850 secs
lola: STP completed || 1 tries, 3413 fired transitions, 855 secs || 3266 markings, 3966 edges, 4 markings/sec, 855 secs
lola: STP completed || 1 tries, 3435 fired transitions, 860 secs || 3288 markings, 3988 edges, 4 markings/sec, 860 secs
lola: STP completed || 1 tries, 3456 fired transitions, 865 secs || 3309 markings, 4010 edges, 4 markings/sec, 865 secs
lola: STP completed || 1 tries, 3477 fired transitions, 870 secs || 3331 markings, 4054 edges, 4 markings/sec, 870 secs
lola: STP completed || 1 tries, 3499 fired transitions, 875 secs || 3352 markings, 4088 edges, 4 markings/sec, 875 secs
lola: STP completed || 1 tries, 3521 fired transitions, 880 secs || 3374 markings, 4124 edges, 4 markings/sec, 880 secs
lola: STP completed || 1 tries, 3542 fired transitions, 885 secs || 3395 markings, 4161 edges, 4 markings/sec, 885 secs
lola: STP completed || 1 tries, 3564 fired transitions, 890 secs || 3416 markings, 4202 edges, 4 markings/sec, 890 secs
lola: STP completed || 1 tries, 3585 fired transitions, 895 secs || 3437 markings, 4244 edges, 4 markings/sec, 895 secs
lola: STP completed || 1 tries, 3606 fired transitions, 900 secs || 3458 markings, 4282 edges, 4 markings/sec, 900 secs
lola: STP completed || 1 tries, 3627 fired transitions, 905 secs || 3479 markings, 4304 edges, 4 markings/sec, 905 secs
lola: STP completed || 1 tries, 3649 fired transitions, 910 secs || 3501 markings, 4342 edges, 4 markings/sec, 910 secs
lola: STP completed || 1 tries, 3670 fired transitions, 915 secs || 3522 markings, 4384 edges, 4 markings/sec, 915 secs
lola: STP completed || 1 tries, 3692 fired transitions, 920 secs || 3544 markings, 4412 edges, 4 markings/sec, 920 secs
lola: STP completed || 1 tries, 3713 fired transitions, 925 secs || 3565 markings, 4433 edges, 4 markings/sec, 925 secs
lola: STP completed || 1 tries, 3735 fired transitions, 930 secs || 3587 markings, 4455 edges, 4 markings/sec, 930 secs
lola: STP completed || 1 tries, 3756 fired transitions, 935 secs || 3608 markings, 4476 edges, 4 markings/sec, 935 secs
lola: STP completed || 1 tries, 3778 fired transitions, 940 secs || 3629 markings, 4497 edges, 4 markings/sec, 940 secs
lola: STP completed || 1 tries, 3799 fired transitions, 945 secs || 3651 markings, 4519 edges, 4 markings/sec, 945 secs
lola: STP completed || 1 tries, 3821 fired transitions, 950 secs || 3673 markings, 4541 edges, 4 markings/sec, 950 secs
lola: STP completed || 1 tries, 3842 fired transitions, 955 secs || 3693 markings, 4561 edges, 4 markings/sec, 955 secs
lola: STP completed || 1 tries, 3863 fired transitions, 960 secs || 3713 markings, 4581 edges, 4 markings/sec, 960 secs
lola: STP completed || 1 tries, 3883 fired transitions, 965 secs || 3734 markings, 4602 edges, 4 markings/sec, 965 secs
lola: STP completed || 1 tries, 3905 fired transitions, 970 secs || 3755 markings, 4623 edges, 4 markings/sec, 970 secs
lola: STP completed || 1 tries, 3927 fired transitions, 975 secs || 3777 markings, 4645 edges, 4 markings/sec, 975 secs
lola: STP completed || 1 tries, 3949 fired transitions, 980 secs || 3799 markings, 4667 edges, 4 markings/sec, 980 secs
lola: STP completed || 1 tries, 3970 fired transitions, 985 secs || 3819 markings, 4687 edges, 4 markings/sec, 985 secs
lola: STP completed || 1 tries, 3991 fired transitions, 990 secs || 3839 markings, 4707 edges, 4 markings/sec, 990 secs
lola: STP completed || 1 tries, 4012 fired transitions, 995 secs || 3860 markings, 4728 edges, 4 markings/sec, 995 secs
lola: STP completed || 1 tries, 4033 fired transitions, 1000 secs || 3881 markings, 4749 edges, 4 markings/sec, 1000 secs
lola: STP completed || 1 tries, 4054 fired transitions, 1005 secs || 3902 markings, 4770 edges, 4 markings/sec, 1005 secs
lola: STP completed || 1 tries, 4075 fired transitions, 1010 secs || 3923 markings, 4791 edges, 4 markings/sec, 1010 secs
lola: STP completed || 1 tries, 4096 fired transitions, 1015 secs || 3944 markings, 4812 edges, 4 markings/sec, 1015 secs
lola: STP completed || 1 tries, 4118 fired transitions, 1020 secs || 3966 markings, 4834 edges, 4 markings/sec, 1020 secs
lola: STP completed || 1 tries, 4139 fired transitions, 1025 secs || 3986 markings, 4854 edges, 4 markings/sec, 1025 secs
lola: STP completed || 1 tries, 4160 fired transitions, 1030 secs || 4007 markings, 4875 edges, 4 markings/sec, 1030 secs
lola: STP completed || 1 tries, 4181 fired transitions, 1035 secs || 4027 markings, 4895 edges, 4 markings/sec, 1035 secs
lola: STP completed || 1 tries, 4202 fired transitions, 1040 secs || 4048 markings, 4920 edges, 4 markings/sec, 1040 secs
lola: STP completed || 1 tries, 4224 fired transitions, 1045 secs || 4070 markings, 4942 edges, 4 markings/sec, 1045 secs
lola: STP completed || 1 tries, 4245 fired transitions, 1050 secs || 4090 markings, 4962 edges, 4 markings/sec, 1050 secs
lola: STP completed || 1 tries, 4265 fired transitions, 1055 secs || 4111 markings, 4983 edges, 4 markings/sec, 1055 secs
lola: STP completed || 1 tries, 4287 fired transitions, 1060 secs || 4133 markings, 5008 edges, 4 markings/sec, 1060 secs
lola: STP completed || 1 tries, 4308 fired transitions, 1065 secs || 4154 markings, 5029 edges, 4 markings/sec, 1065 secs
lola: STP completed || 1 tries, 4329 fired transitions, 1070 secs || 4174 markings, 5049 edges, 4 markings/sec, 1070 secs
lola: STP completed || 1 tries, 4350 fired transitions, 1075 secs || 4195 markings, 5070 edges, 4 markings/sec, 1075 secs
lola: STP completed || 1 tries, 4371 fired transitions, 1080 secs || 4216 markings, 5091 edges, 4 markings/sec, 1080 secs
lola: STP completed || 1 tries, 4392 fired transitions, 1085 secs || 4236 markings, 5111 edges, 4 markings/sec, 1085 secs
lola: STP completed || 1 tries, 4414 fired transitions, 1090 secs || 4258 markings, 5133 edges, 4 markings/sec, 1090 secs
lola: STP completed || 1 tries, 4436 fired transitions, 1095 secs || 4280 markings, 5155 edges, 4 markings/sec, 1095 secs
lola: STP completed || 1 tries, 4457 fired transitions, 1100 secs || 4301 markings, 5176 edges, 4 markings/sec, 1100 secs
lola: STP completed || 1 tries, 4479 fired transitions, 1105 secs || 4323 markings, 5198 edges, 4 markings/sec, 1105 secs
lola: STP completed || 1 tries, 4500 fired transitions, 1110 secs || 4342 markings, 5217 edges, 4 markings/sec, 1110 secs
lola: STP completed || 1 tries, 4522 fired transitions, 1115 secs || 4362 markings, 5237 edges, 4 markings/sec, 1115 secs
lola: STP completed || 1 tries, 4543 fired transitions, 1120 secs || 4382 markings, 5257 edges, 4 markings/sec, 1120 secs
lola: STP completed || 1 tries, 4564 fired transitions, 1125 secs || 4401 markings, 5276 edges, 4 markings/sec, 1125 secs
lola: STP completed || 1 tries, 4585 fired transitions, 1130 secs || 4421 markings, 5296 edges, 4 markings/sec, 1130 secs
lola: STP completed || 1 tries, 4606 fired transitions, 1135 secs || 4441 markings, 5316 edges, 4 markings/sec, 1135 secs
lola: STP completed || 1 tries, 4627 fired transitions, 1140 secs || 4462 markings, 5337 edges, 4 markings/sec, 1140 secs
lola: STP completed || 1 tries, 4648 fired transitions, 1145 secs || 4482 markings, 5357 edges, 4 markings/sec, 1145 secs
lola: STP completed || 1 tries, 4669 fired transitions, 1150 secs || 4503 markings, 5378 edges, 4 markings/sec, 1150 secs
lola: STP completed || 1 tries, 4691 fired transitions, 1155 secs || 4525 markings, 5400 edges, 4 markings/sec, 1155 secs
lola: STP completed || 1 tries, 4713 fired transitions, 1160 secs || 4547 markings, 5422 edges, 4 markings/sec, 1160 secs
lola: STP completed || 1 tries, 4735 fired transitions, 1165 secs || 4568 markings, 5443 edges, 4 markings/sec, 1165 secs
lola: STP completed || 1 tries, 4756 fired transitions, 1170 secs || 4589 markings, 5469 edges, 4 markings/sec, 1170 secs
lola: STP completed || 1 tries, 4778 fired transitions, 1175 secs || 4611 markings, 5497 edges, 4 markings/sec, 1175 secs
lola: STP completed || 1 tries, 4800 fired transitions, 1180 secs || 4633 markings, 5519 edges, 4 markings/sec, 1180 secs
lola: STP completed || 1 tries, 4822 fired transitions, 1185 secs || 4655 markings, 5541 edges, 4 markings/sec, 1185 secs
lola: STP completed || 1 tries, 4844 fired transitions, 1190 secs || 4677 markings, 5563 edges, 4 markings/sec, 1190 secs
lola: STP completed || 1 tries, 4866 fired transitions, 1195 secs || 4699 markings, 5585 edges, 4 markings/sec, 1195 secs
lola: STP completed || 1 tries, 4888 fired transitions, 1200 secs || 4721 markings, 5607 edges, 4 markings/sec, 1200 secs
lola: STP completed || 1 tries, 4910 fired transitions, 1205 secs || 4743 markings, 5631 edges, 4 markings/sec, 1205 secs
lola: STP completed || 1 tries, 4931 fired transitions, 1210 secs || 4763 markings, 5651 edges, 4 markings/sec, 1210 secs
lola: STP completed || 1 tries, 4952 fired transitions, 1215 secs || 4784 markings, 5673 edges, 4 markings/sec, 1215 secs
lola: STP completed || 1 tries, 4973 fired transitions, 1220 secs || 4804 markings, 5710 edges, 4 markings/sec, 1220 secs
lola: STP completed || 1 tries, 4995 fired transitions, 1225 secs || 4825 markings, 5731 edges, 4 markings/sec, 1225 secs
lola: STP completed || 1 tries, 5015 fired transitions, 1230 secs || 4846 markings, 5752 edges, 4 markings/sec, 1230 secs
lola: STP completed || 1 tries, 5036 fired transitions, 1235 secs || 4866 markings, 5772 edges, 4 markings/sec, 1235 secs
lola: STP completed || 1 tries, 5058 fired transitions, 1240 secs || 4886 markings, 5792 edges, 4 markings/sec, 1240 secs
lola: STP completed || 1 tries, 5079 fired transitions, 1245 secs || 4907 markings, 5814 edges, 4 markings/sec, 1245 secs
lola: STP completed || 1 tries, 5100 fired transitions, 1250 secs || 4928 markings, 5835 edges, 4 markings/sec, 1250 secs
lola: STP completed || 1 tries, 5122 fired transitions, 1255 secs || 4948 markings, 5856 edges, 4 markings/sec, 1255 secs
lola: STP completed || 1 tries, 5142 fired transitions, 1260 secs || 4969 markings, 5896 edges, 4 markings/sec, 1260 secs
lola: STP completed || 1 tries, 5163 fired transitions, 1265 secs || 4990 markings, 5934 edges, 4 markings/sec, 1265 secs
lola: STP completed || 1 tries, 5185 fired transitions, 1270 secs || 5011 markings, 5957 edges, 4 markings/sec, 1270 secs
lola: STP completed || 1 tries, 5207 fired transitions, 1275 secs || 5032 markings, 5978 edges, 4 markings/sec, 1275 secs
lola: STP completed || 1 tries, 5228 fired transitions, 1280 secs || 5054 markings, 6008 edges, 4 markings/sec, 1280 secs
lola: STP completed || 1 tries, 5250 fired transitions, 1285 secs || 5076 markings, 6030 edges, 4 markings/sec, 1285 secs
lola: STP completed || 1 tries, 5271 fired transitions, 1290 secs || 5096 markings, 6052 edges, 4 markings/sec, 1290 secs
lola: STP completed || 1 tries, 5292 fired transitions, 1295 secs || 5117 markings, 6088 edges, 4 markings/sec, 1295 secs
lola: STP completed || 1 tries, 5313 fired transitions, 1300 secs || 5138 markings, 6109 edges, 4 markings/sec, 1300 secs
lola: STP completed || 1 tries, 5335 fired transitions, 1305 secs || 5160 markings, 6131 edges, 4 markings/sec, 1305 secs
lola: STP completed || 1 tries, 5354 fired transitions, 1310 secs || 5181 markings, 6152 edges, 4 markings/sec, 1310 secs
lola: STP completed || 1 tries, 5376 fired transitions, 1315 secs || 5201 markings, 6172 edges, 4 markings/sec, 1315 secs
lola: STP completed || 1 tries, 5396 fired transitions, 1320 secs || 5222 markings, 6193 edges, 4 markings/sec, 1320 secs
lola: STP completed || 1 tries, 5418 fired transitions, 1325 secs || 5242 markings, 6225 edges, 4 markings/sec, 1325 secs
lola: STP completed || 1 tries, 5438 fired transitions, 1330 secs || 5262 markings, 6258 edges, 4 markings/sec, 1330 secs
lola: STP completed || 1 tries, 5460 fired transitions, 1335 secs || 5282 markings, 6278 edges, 4 markings/sec, 1335 secs
lola: STP completed || 1 tries, 5481 fired transitions, 1340 secs || 5303 markings, 6306 edges, 4 markings/sec, 1340 secs
lola: STP completed || 1 tries, 5503 fired transitions, 1345 secs || 5325 markings, 6346 edges, 4 markings/sec, 1345 secs
lola: STP completed || 1 tries, 5524 fired transitions, 1350 secs || 5346 markings, 6367 edges, 4 markings/sec, 1350 secs
lola: STP completed || 1 tries, 5546 fired transitions, 1355 secs || 5368 markings, 6389 edges, 4 markings/sec, 1355 secs
lola: STP completed || 1 tries, 5567 fired transitions, 1360 secs || 5388 markings, 6409 edges, 4 markings/sec, 1360 secs
lola: STP completed || 1 tries, 5587 fired transitions, 1365 secs || 5409 markings, 6430 edges, 4 markings/sec, 1365 secs
lola: STP completed || 1 tries, 5609 fired transitions, 1370 secs || 5430 markings, 6451 edges, 4 markings/sec, 1370 secs
lola: STP completed || 1 tries, 5632 fired transitions, 1375 secs || 5453 markings, 6482 edges, 5 markings/sec, 1375 secs
lola: STP completed || 1 tries, 5653 fired transitions, 1380 secs || 5474 markings, 6506 edges, 4 markings/sec, 1380 secs
lola: STP completed || 1 tries, 5675 fired transitions, 1385 secs || 5496 markings, 6531 edges, 4 markings/sec, 1385 secs
lola: STP completed || 1 tries, 5697 fired transitions, 1390 secs || 5518 markings, 6553 edges, 4 markings/sec, 1390 secs
lola: STP completed || 1 tries, 5719 fired transitions, 1395 secs || 5540 markings, 6579 edges, 4 markings/sec, 1395 secs
lola: STP completed || 1 tries, 5741 fired transitions, 1400 secs || 5562 markings, 6619 edges, 4 markings/sec, 1400 secs
lola: STP completed || 1 tries, 5762 fired transitions, 1405 secs || 5583 markings, 6641 edges, 4 markings/sec, 1405 secs
lola: STP completed || 1 tries, 5783 fired transitions, 1410 secs || 5604 markings, 6669 edges, 4 markings/sec, 1410 secs
lola: STP completed || 1 tries, 5804 fired transitions, 1415 secs || 5625 markings, 6690 edges, 4 markings/sec, 1415 secs
lola: STP completed || 1 tries, 5824 fired transitions, 1420 secs || 5645 markings, 6729 edges, 4 markings/sec, 1420 secs
lola: STP completed || 1 tries, 5845 fired transitions, 1425 secs || 5665 markings, 6754 edges, 4 markings/sec, 1425 secs
lola: STP completed || 1 tries, 5865 fired transitions, 1430 secs || 5685 markings, 6774 edges, 4 markings/sec, 1430 secs
lola: STP completed || 1 tries, 5885 fired transitions, 1435 secs || 5705 markings, 6800 edges, 4 markings/sec, 1435 secs
lola: STP completed || 1 tries, 5905 fired transitions, 1440 secs || 5725 markings, 6822 edges, 4 markings/sec, 1440 secs
lola: STP completed || 1 tries, 5926 fired transitions, 1445 secs || 5745 markings, 6855 edges, 4 markings/sec, 1445 secs
lola: STP completed || 1 tries, 5947 fired transitions, 1450 secs || 5766 markings, 6892 edges, 4 markings/sec, 1450 secs
lola: STP completed || 1 tries, 5968 fired transitions, 1455 secs || 5787 markings, 6923 edges, 4 markings/sec, 1455 secs
lola: STP completed || 1 tries, 5989 fired transitions, 1460 secs || 5808 markings, 6944 edges, 4 markings/sec, 1460 secs
lola: STP completed || 1 tries, 6010 fired transitions, 1465 secs || 5828 markings, 6964 edges, 4 markings/sec, 1465 secs
lola: STP completed || 1 tries, 6031 fired transitions, 1470 secs || 5848 markings, 6984 edges, 4 markings/sec, 1470 secs
lola: STP completed || 1 tries, 6052 fired transitions, 1475 secs || 5869 markings, 7008 edges, 4 markings/sec, 1475 secs
lola: STP completed || 1 tries, 6073 fired transitions, 1480 secs || 5889 markings, 7029 edges, 4 markings/sec, 1480 secs
lola: STP completed || 1 tries, 6094 fired transitions, 1485 secs || 5909 markings, 7049 edges, 4 markings/sec, 1485 secs
lola: STP completed || 1 tries, 6115 fired transitions, 1490 secs || 5930 markings, 7080 edges, 4 markings/sec, 1490 secs
lola: STP completed || 1 tries, 6136 fired transitions, 1495 secs || 5950 markings, 7112 edges, 4 markings/sec, 1495 secs
lola: STP completed || 1 tries, 6158 fired transitions, 1500 secs || 5972 markings, 7134 edges, 4 markings/sec, 1500 secs
lola: STP completed || 1 tries, 6178 fired transitions, 1505 secs || 5991 markings, 7153 edges, 4 markings/sec, 1505 secs
lola: STP completed || 1 tries, 6200 fired transitions, 1510 secs || 6012 markings, 7174 edges, 4 markings/sec, 1510 secs
lola: STP completed || 1 tries, 6221 fired transitions, 1515 secs || 6033 markings, 7195 edges, 4 markings/sec, 1515 secs
lola: STP completed || 1 tries, 6240 fired transitions, 1520 secs || 6053 markings, 7215 edges, 4 markings/sec, 1520 secs
lola: STP completed || 1 tries, 6262 fired transitions, 1525 secs || 6075 markings, 7237 edges, 4 markings/sec, 1525 secs
lola: STP completed || 1 tries, 6283 fired transitions, 1530 secs || 6096 markings, 7258 edges, 4 markings/sec, 1530 secs
lola: STP completed || 1 tries, 6304 fired transitions, 1535 secs || 6117 markings, 7279 edges, 4 markings/sec, 1535 secs
lola: STP completed || 1 tries, 6326 fired transitions, 1540 secs || 6139 markings, 7301 edges, 4 markings/sec, 1540 secs
lola: STP completed || 1 tries, 6345 fired transitions, 1545 secs || 6159 markings, 7321 edges, 4 markings/sec, 1545 secs
lola: STP completed || 1 tries, 6366 fired transitions, 1550 secs || 6180 markings, 7342 edges, 4 markings/sec, 1550 secs
lola: STP completed || 1 tries, 6388 fired transitions, 1555 secs || 6202 markings, 7364 edges, 4 markings/sec, 1555 secs
lola: STP completed || 1 tries, 6409 fired transitions, 1560 secs || 6223 markings, 7385 edges, 4 markings/sec, 1560 secs
lola: STP completed || 1 tries, 6430 fired transitions, 1565 secs || 6244 markings, 7406 edges, 4 markings/sec, 1565 secs
lola: STP completed || 1 tries, 6451 fired transitions, 1570 secs || 6265 markings, 7427 edges, 4 markings/sec, 1570 secs
lola: STP completed || 1 tries, 6472 fired transitions, 1575 secs || 6286 markings, 7448 edges, 4 markings/sec, 1575 secs
lola: STP completed || 1 tries, 6494 fired transitions, 1580 secs || 6308 markings, 7470 edges, 4 markings/sec, 1580 secs
lola: STP completed || 1 tries, 6517 fired transitions, 1585 secs || 6331 markings, 7493 edges, 5 markings/sec, 1585 secs
lola: STP completed || 1 tries, 6537 fired transitions, 1590 secs || 6352 markings, 7514 edges, 4 markings/sec, 1590 secs
lola: STP completed || 1 tries, 6558 fired transitions, 1595 secs || 6373 markings, 7535 edges, 4 markings/sec, 1595 secs
lola: STP completed || 1 tries, 6578 fired transitions, 1600 secs || 6393 markings, 7555 edges, 4 markings/sec, 1600 secs
lola: STP completed || 1 tries, 6598 fired transitions, 1605 secs || 6415 markings, 7577 edges, 4 markings/sec, 1605 secs
lola: STP completed || 1 tries, 6618 fired transitions, 1610 secs || 6436 markings, 7598 edges, 4 markings/sec, 1610 secs
lola: STP completed || 1 tries, 6640 fired transitions, 1615 secs || 6458 markings, 7621 edges, 4 markings/sec, 1615 secs
lola: STP completed || 1 tries, 6662 fired transitions, 1620 secs || 6480 markings, 7663 edges, 4 markings/sec, 1620 secs
lola: STP completed || 1 tries, 6682 fired transitions, 1625 secs || 6500 markings, 7691 edges, 4 markings/sec, 1625 secs
lola: STP completed || 1 tries, 6703 fired transitions, 1630 secs || 6520 markings, 7722 edges, 4 markings/sec, 1630 secs
lola: STP completed || 1 tries, 6724 fired transitions, 1635 secs || 6542 markings, 7762 edges, 4 markings/sec, 1635 secs
lola: STP completed || 1 tries, 6745 fired transitions, 1640 secs || 6562 markings, 7799 edges, 4 markings/sec, 1640 secs
lola: STP completed || 1 tries, 6765 fired transitions, 1645 secs || 6583 markings, 7831 edges, 4 markings/sec, 1645 secs
lola: STP completed || 1 tries, 6786 fired transitions, 1650 secs || 6604 markings, 7852 edges, 4 markings/sec, 1650 secs
lola: STP completed || 1 tries, 6807 fired transitions, 1655 secs || 6625 markings, 7873 edges, 4 markings/sec, 1655 secs
lola: STP completed || 1 tries, 6826 fired transitions, 1660 secs || 6645 markings, 7893 edges, 4 markings/sec, 1660 secs
lola: STP completed || 1 tries, 6846 fired transitions, 1665 secs || 6666 markings, 7915 edges, 4 markings/sec, 1665 secs
lola: STP completed || 1 tries, 6866 fired transitions, 1670 secs || 6686 markings, 7935 edges, 4 markings/sec, 1670 secs
lola: STP completed || 1 tries, 6887 fired transitions, 1675 secs || 6707 markings, 7956 edges, 4 markings/sec, 1675 secs
lola: STP completed || 1 tries, 6908 fired transitions, 1680 secs || 6728 markings, 7988 edges, 4 markings/sec, 1680 secs
lola: STP completed || 1 tries, 6929 fired transitions, 1685 secs || 6749 markings, 8030 edges, 4 markings/sec, 1685 secs
lola: STP completed || 1 tries, 6948 fired transitions, 1690 secs || 6769 markings, 8059 edges, 4 markings/sec, 1690 secs
lola: STP completed || 1 tries, 6968 fired transitions, 1695 secs || 6790 markings, 8087 edges, 4 markings/sec, 1695 secs
lola: STP completed || 1 tries, 6989 fired transitions, 1700 secs || 6811 markings, 8129 edges, 4 markings/sec, 1700 secs
lola: STP completed || 1 tries, 7010 fired transitions, 1705 secs || 6832 markings, 8162 edges, 4 markings/sec, 1705 secs
lola: STP completed || 1 tries, 7031 fired transitions, 1710 secs || 6853 markings, 8202 edges, 4 markings/sec, 1710 secs
lola: STP completed || 1 tries, 7052 fired transitions, 1715 secs || 6874 markings, 8230 edges, 4 markings/sec, 1715 secs
lola: STP completed || 1 tries, 7073 fired transitions, 1720 secs || 6895 markings, 8251 edges, 4 markings/sec, 1720 secs
lola: STP completed || 1 tries, 7094 fired transitions, 1725 secs || 6916 markings, 8272 edges, 4 markings/sec, 1725 secs
lola: STP completed || 1 tries, 7114 fired transitions, 1730 secs || 6937 markings, 8293 edges, 4 markings/sec, 1730 secs
lola: STP completed || 1 tries, 7135 fired transitions, 1735 secs || 6958 markings, 8314 edges, 4 markings/sec, 1735 secs
lola: STP completed || 1 tries, 7157 fired transitions, 1740 secs || 6979 markings, 8335 edges, 4 markings/sec, 1740 secs
lola: STP completed || 1 tries, 7179 fired transitions, 1745 secs || 7001 markings, 8357 edges, 4 markings/sec, 1745 secs
lola: STP completed || 1 tries, 7201 fired transitions, 1750 secs || 7023 markings, 8379 edges, 4 markings/sec, 1750 secs
lola: STP completed || 1 tries, 7223 fired transitions, 1755 secs || 7045 markings, 8406 edges, 4 markings/sec, 1755 secs
lola: STP completed || 1 tries, 7245 fired transitions, 1760 secs || 7067 markings, 8440 edges, 4 markings/sec, 1760 secs
lola: STP completed || 1 tries, 7266 fired transitions, 1765 secs || 7088 markings, 8481 edges, 4 markings/sec, 1765 secs
lola: STP completed || 1 tries, 7287 fired transitions, 1770 secs || 7109 markings, 8502 edges, 4 markings/sec, 1770 secs
lola: STP completed || 1 tries, 7307 fired transitions, 1775 secs || 7130 markings, 8523 edges, 4 markings/sec, 1775 secs
lola: STP completed || 1 tries, 7328 fired transitions, 1780 secs || 7151 markings, 8544 edges, 4 markings/sec, 1780 secs
lola: STP completed || 1 tries, 7349 fired transitions, 1785 secs || 7172 markings, 8565 edges, 4 markings/sec, 1785 secs
lola: STP completed || 1 tries, 7370 fired transitions, 1790 secs || 7193 markings, 8586 edges, 4 markings/sec, 1790 secs
lola: STP completed || 1 tries, 7392 fired transitions, 1795 secs || 7215 markings, 8608 edges, 4 markings/sec, 1795 secs
lola: STP completed || 1 tries, 7413 fired transitions, 1800 secs || 7236 markings, 8629 edges, 4 markings/sec, 1800 secs
lola: STP completed || 1 tries, 7434 fired transitions, 1805 secs || 7257 markings, 8650 edges, 4 markings/sec, 1805 secs
lola: STP completed || 1 tries, 7455 fired transitions, 1810 secs || 7278 markings, 8671 edges, 4 markings/sec, 1810 secs
lola: STP completed || 1 tries, 7475 fired transitions, 1815 secs || 7298 markings, 8691 edges, 4 markings/sec, 1815 secs
lola: STP completed || 1 tries, 7497 fired transitions, 1820 secs || 7320 markings, 8713 edges, 4 markings/sec, 1820 secs
lola: STP completed || 1 tries, 7518 fired transitions, 1825 secs || 7341 markings, 8734 edges, 4 markings/sec, 1825 secs
lola: STP completed || 1 tries, 7538 fired transitions, 1830 secs || 7361 markings, 8754 edges, 4 markings/sec, 1830 secs
lola: STP completed || 1 tries, 7558 fired transitions, 1835 secs || 7381 markings, 8774 edges, 4 markings/sec, 1835 secs
lola: STP completed || 1 tries, 7579 fired transitions, 1840 secs || 7401 markings, 8794 edges, 4 markings/sec, 1840 secs
lola: STP completed || 1 tries, 7599 fired transitions, 1845 secs || 7421 markings, 8814 edges, 4 markings/sec, 1845 secs
lola: STP completed || 1 tries, 7620 fired transitions, 1850 secs || 7441 markings, 8834 edges, 4 markings/sec, 1850 secs
lola: STP completed || 1 tries, 7640 fired transitions, 1855 secs || 7462 markings, 8856 edges, 4 markings/sec, 1855 secs
lola: STP completed || 1 tries, 7660 fired transitions, 1860 secs || 7482 markings, 8877 edges, 4 markings/sec, 1860 secs
lola: STP completed || 1 tries, 7680 fired transitions, 1865 secs || 7502 markings, 8897 edges, 4 markings/sec, 1865 secs
lola: STP completed || 1 tries, 7701 fired transitions, 1870 secs || 7523 markings, 8918 edges, 4 markings/sec, 1870 secs
lola: STP completed || 1 tries, 7722 fired transitions, 1875 secs || 7544 markings, 8939 edges, 4 markings/sec, 1875 secs
lola: STP completed || 1 tries, 7743 fired transitions, 1880 secs || 7566 markings, 8961 edges, 4 markings/sec, 1880 secs
lola: STP completed || 1 tries, 7765 fired transitions, 1885 secs || 7587 markings, 8982 edges, 4 markings/sec, 1885 secs
lola: STP completed || 1 tries, 7787 fired transitions, 1890 secs || 7609 markings, 9004 edges, 4 markings/sec, 1890 secs
lola: STP completed || 1 tries, 7808 fired transitions, 1895 secs || 7630 markings, 9033 edges, 4 markings/sec, 1895 secs
lola: STP completed || 1 tries, 7830 fired transitions, 1900 secs || 7652 markings, 9066 edges, 4 markings/sec, 1900 secs
lola: STP completed || 1 tries, 7851 fired transitions, 1905 secs || 7673 markings, 9108 edges, 4 markings/sec, 1905 secs
lola: STP completed || 1 tries, 7873 fired transitions, 1910 secs || 7695 markings, 9152 edges, 4 markings/sec, 1910 secs
lola: STP completed || 1 tries, 7894 fired transitions, 1915 secs || 7716 markings, 9176 edges, 4 markings/sec, 1915 secs
lola: STP completed || 1 tries, 7915 fired transitions, 1920 secs || 7737 markings, 9198 edges, 4 markings/sec, 1920 secs
lola: STP completed || 1 tries, 7937 fired transitions, 1925 secs || 7759 markings, 9220 edges, 4 markings/sec, 1925 secs
lola: STP completed || 1 tries, 7958 fired transitions, 1930 secs || 7780 markings, 9241 edges, 4 markings/sec, 1930 secs
lola: STP completed || 1 tries, 7980 fired transitions, 1935 secs || 7802 markings, 9263 edges, 4 markings/sec, 1935 secs
lola: STP completed || 1 tries, 8002 fired transitions, 1940 secs || 7824 markings, 9285 edges, 4 markings/sec, 1940 secs
lola: STP completed || 1 tries, 8023 fired transitions, 1945 secs || 7845 markings, 9326 edges, 4 markings/sec, 1945 secs
lola: STP completed || 1 tries, 8045 fired transitions, 1950 secs || 7867 markings, 9368 edges, 4 markings/sec, 1950 secs
lola: STP completed || 1 tries, 8066 fired transitions, 1955 secs || 7888 markings, 9395 edges, 4 markings/sec, 1955 secs
lola: STP completed || 1 tries, 8088 fired transitions, 1960 secs || 7910 markings, 9417 edges, 4 markings/sec, 1960 secs
lola: STP completed || 1 tries, 8109 fired transitions, 1965 secs || 7931 markings, 9438 edges, 4 markings/sec, 1965 secs
lola: STP completed || 1 tries, 8131 fired transitions, 1970 secs || 7953 markings, 9460 edges, 4 markings/sec, 1970 secs
lola: STP completed || 1 tries, 8152 fired transitions, 1975 secs || 7974 markings, 9481 edges, 4 markings/sec, 1975 secs
lola: STP completed || 1 tries, 8174 fired transitions, 1980 secs || 7996 markings, 9503 edges, 4 markings/sec, 1980 secs
lola: STP completed || 1 tries, 8196 fired transitions, 1985 secs || 8018 markings, 9525 edges, 4 markings/sec, 1985 secs
lola: STP completed || 1 tries, 8217 fired transitions, 1990 secs || 8039 markings, 9546 edges, 4 markings/sec, 1990 secs
lola: STP completed || 1 tries, 8239 fired transitions, 1995 secs || 8061 markings, 9568 edges, 4 markings/sec, 1995 secs
lola: STP completed || 1 tries, 8261 fired transitions, 2000 secs || 8083 markings, 9590 edges, 4 markings/sec, 2000 secs
lola: STP completed || 1 tries, 8282 fired transitions, 2005 secs || 8104 markings, 9612 edges, 4 markings/sec, 2005 secs
lola: STP completed || 1 tries, 8302 fired transitions, 2010 secs || 8125 markings, 9633 edges, 4 markings/sec, 2010 secs
lola: STP completed || 1 tries, 8323 fired transitions, 2015 secs || 8146 markings, 9654 edges, 4 markings/sec, 2015 secs
lola: STP completed || 1 tries, 8345 fired transitions, 2020 secs || 8168 markings, 9676 edges, 4 markings/sec, 2020 secs
lola: STP completed || 1 tries, 8367 fired transitions, 2025 secs || 8190 markings, 9698 edges, 4 markings/sec, 2025 secs
lola: STP completed || 1 tries, 8389 fired transitions, 2030 secs || 8212 markings, 9721 edges, 4 markings/sec, 2030 secs
lola: STP completed || 1 tries, 8410 fired transitions, 2035 secs || 8234 markings, 9743 edges, 4 markings/sec, 2035 secs
lola: STP completed || 1 tries, 8432 fired transitions, 2040 secs || 8255 markings, 9764 edges, 4 markings/sec, 2040 secs
lola: STP completed || 1 tries, 8452 fired transitions, 2045 secs || 8274 markings, 9783 edges, 4 markings/sec, 2045 secs
lola: STP completed || 1 tries, 8473 fired transitions, 2050 secs || 8295 markings, 9804 edges, 4 markings/sec, 2050 secs
lola: STP completed || 1 tries, 8493 fired transitions, 2055 secs || 8315 markings, 9830 edges, 4 markings/sec, 2055 secs
lola: STP completed || 1 tries, 8514 fired transitions, 2060 secs || 8335 markings, 9870 edges, 4 markings/sec, 2060 secs
lola: STP completed || 1 tries, 8535 fired transitions, 2065 secs || 8356 markings, 9907 edges, 4 markings/sec, 2065 secs
lola: STP completed || 1 tries, 8556 fired transitions, 2070 secs || 8377 markings, 9929 edges, 4 markings/sec, 2070 secs
lola: STP completed || 1 tries, 8576 fired transitions, 2075 secs || 8396 markings, 9957 edges, 4 markings/sec, 2075 secs
lola: STP completed || 1 tries, 8597 fired transitions, 2080 secs || 8417 markings, 9987 edges, 4 markings/sec, 2080 secs
lola: STP completed || 1 tries, 8617 fired transitions, 2085 secs || 8437 markings, 10007 edges, 4 markings/sec, 2085 secs
lola: STP completed || 1 tries, 8637 fired transitions, 2090 secs || 8457 markings, 10027 edges, 4 markings/sec, 2090 secs
lola: STP completed || 1 tries, 8658 fired transitions, 2095 secs || 8477 markings, 10047 edges, 4 markings/sec, 2095 secs
lola: STP completed || 1 tries, 8678 fired transitions, 2100 secs || 8497 markings, 10079 edges, 4 markings/sec, 2100 secs
lola: STP completed || 1 tries, 8699 fired transitions, 2105 secs || 8517 markings, 10102 edges, 4 markings/sec, 2105 secs
lola: STP completed || 1 tries, 8719 fired transitions, 2110 secs || 8537 markings, 10122 edges, 4 markings/sec, 2110 secs
lola: STP completed || 1 tries, 8739 fired transitions, 2115 secs || 8558 markings, 10143 edges, 4 markings/sec, 2115 secs
lola: STP completed || 1 tries, 8759 fired transitions, 2120 secs || 8579 markings, 10164 edges, 4 markings/sec, 2120 secs
lola: STP completed || 1 tries, 8779 fired transitions, 2125 secs || 8600 markings, 10185 edges, 4 markings/sec, 2125 secs
lola: STP completed || 1 tries, 8800 fired transitions, 2130 secs || 8619 markings, 10204 edges, 4 markings/sec, 2130 secs
lola: STP completed || 1 tries, 8820 fired transitions, 2135 secs || 8639 markings, 10224 edges, 4 markings/sec, 2135 secs
lola: STP completed || 1 tries, 8841 fired transitions, 2140 secs || 8660 markings, 10245 edges, 4 markings/sec, 2140 secs
lola: STP completed || 1 tries, 8862 fired transitions, 2145 secs || 8681 markings, 10266 edges, 4 markings/sec, 2145 secs
lola: STP completed || 1 tries, 8883 fired transitions, 2150 secs || 8702 markings, 10287 edges, 4 markings/sec, 2150 secs
lola: STP completed || 1 tries, 8903 fired transitions, 2155 secs || 8723 markings, 10308 edges, 4 markings/sec, 2155 secs
lola: STP completed || 1 tries, 8922 fired transitions, 2160 secs || 8744 markings, 10329 edges, 4 markings/sec, 2160 secs
lola: STP completed || 1 tries, 8942 fired transitions, 2165 secs || 8764 markings, 10349 edges, 4 markings/sec, 2165 secs
lola: STP completed || 1 tries, 8962 fired transitions, 2170 secs || 8784 markings, 10369 edges, 4 markings/sec, 2170 secs
lola: STP completed || 1 tries, 8983 fired transitions, 2175 secs || 8804 markings, 10389 edges, 4 markings/sec, 2175 secs
lola: STP completed || 1 tries, 9003 fired transitions, 2180 secs || 8824 markings, 10409 edges, 4 markings/sec, 2180 secs
lola: STP completed || 1 tries, 9024 fired transitions, 2185 secs || 8845 markings, 10430 edges, 4 markings/sec, 2185 secs
lola: STP completed || 1 tries, 9045 fired transitions, 2190 secs || 8866 markings, 10451 edges, 4 markings/sec, 2190 secs
lola: STP completed || 1 tries, 9066 fired transitions, 2195 secs || 8886 markings, 10471 edges, 4 markings/sec, 2195 secs
lola: STP completed || 1 tries, 9087 fired transitions, 2200 secs || 8907 markings, 10492 edges, 4 markings/sec, 2200 secs
lola: STP completed || 1 tries, 9107 fired transitions, 2205 secs || 8927 markings, 10514 edges, 4 markings/sec, 2205 secs
lola: STP completed || 1 tries, 9127 fired transitions, 2210 secs || 8947 markings, 10547 edges, 4 markings/sec, 2210 secs
lola: STP completed || 1 tries, 9148 fired transitions, 2215 secs || 8967 markings, 10574 edges, 4 markings/sec, 2215 secs
lola: STP completed || 1 tries, 9169 fired transitions, 2220 secs || 8988 markings, 10595 edges, 4 markings/sec, 2220 secs
lola: STP completed || 1 tries, 9189 fired transitions, 2225 secs || 9008 markings, 10615 edges, 4 markings/sec, 2225 secs
lola: STP completed || 1 tries, 9212 fired transitions, 2230 secs || 9030 markings, 10637 edges, 4 markings/sec, 2230 secs
lola: STP completed || 1 tries, 9234 fired transitions, 2235 secs || 9052 markings, 10661 edges, 4 markings/sec, 2235 secs
lola: STP completed || 1 tries, 9257 fired transitions, 2240 secs || 9075 markings, 10684 edges, 5 markings/sec, 2240 secs
lola: STP completed || 1 tries, 9279 fired transitions, 2245 secs || 9097 markings, 10706 edges, 4 markings/sec, 2245 secs
lola: STP completed || 1 tries, 9302 fired transitions, 2250 secs || 9120 markings, 10729 edges, 5 markings/sec, 2250 secs
lola: STP completed || 1 tries, 9323 fired transitions, 2255 secs || 9141 markings, 10751 edges, 4 markings/sec, 2255 secs
lola: STP completed || 1 tries, 9344 fired transitions, 2260 secs || 9162 markings, 10772 edges, 4 markings/sec, 2260 secs
lola: STP completed || 1 tries, 9366 fired transitions, 2265 secs || 9184 markings, 10794 edges, 4 markings/sec, 2265 secs
lola: STP completed || 1 tries, 9388 fired transitions, 2270 secs || 9206 markings, 10816 edges, 4 markings/sec, 2270 secs
lola: STP completed || 1 tries, 9409 fired transitions, 2275 secs || 9227 markings, 10839 edges, 4 markings/sec, 2275 secs
lola: STP completed || 1 tries, 9431 fired transitions, 2280 secs || 9249 markings, 10861 edges, 4 markings/sec, 2280 secs
lola: STP completed || 1 tries, 9452 fired transitions, 2285 secs || 9270 markings, 10882 edges, 4 markings/sec, 2285 secs
lola: STP completed || 1 tries, 9473 fired transitions, 2290 secs || 9291 markings, 10903 edges, 4 markings/sec, 2290 secs
lola: STP completed || 1 tries, 9495 fired transitions, 2295 secs || 9313 markings, 10925 edges, 4 markings/sec, 2295 secs
lola: STP completed || 1 tries, 9517 fired transitions, 2300 secs || 9335 markings, 10947 edges, 4 markings/sec, 2300 secs
lola: STP completed || 1 tries, 9538 fired transitions, 2305 secs || 9356 markings, 10968 edges, 4 markings/sec, 2305 secs
lola: STP completed || 1 tries, 9560 fired transitions, 2310 secs || 9377 markings, 10989 edges, 4 markings/sec, 2310 secs
lola: STP completed || 1 tries, 9581 fired transitions, 2315 secs || 9398 markings, 11010 edges, 4 markings/sec, 2315 secs
lola: STP completed || 1 tries, 9602 fired transitions, 2320 secs || 9418 markings, 11030 edges, 4 markings/sec, 2320 secs
lola: STP completed || 1 tries, 9623 fired transitions, 2325 secs || 9438 markings, 11050 edges, 4 markings/sec, 2325 secs
lola: STP completed || 1 tries, 9644 fired transitions, 2330 secs || 9458 markings, 11071 edges, 4 markings/sec, 2330 secs
lola: STP completed || 1 tries, 9665 fired transitions, 2335 secs || 9479 markings, 11113 edges, 4 markings/sec, 2335 secs
lola: STP completed || 1 tries, 9685 fired transitions, 2340 secs || 9499 markings, 11153 edges, 4 markings/sec, 2340 secs
lola: STP completed || 1 tries, 9705 fired transitions, 2345 secs || 9520 markings, 11179 edges, 4 markings/sec, 2345 secs
lola: STP completed || 1 tries, 9724 fired transitions, 2350 secs || 9540 markings, 11200 edges, 4 markings/sec, 2350 secs
lola: STP completed || 1 tries, 9746 fired transitions, 2355 secs || 9562 markings, 11222 edges, 4 markings/sec, 2355 secs
lola: STP completed || 1 tries, 9768 fired transitions, 2360 secs || 9583 markings, 11244 edges, 4 markings/sec, 2360 secs
lola: STP completed || 1 tries, 9788 fired transitions, 2365 secs || 9603 markings, 11270 edges, 4 markings/sec, 2365 secs
lola: STP completed || 1 tries, 9809 fired transitions, 2370 secs || 9624 markings, 11291 edges, 4 markings/sec, 2370 secs
lola: STP completed || 1 tries, 9831 fired transitions, 2375 secs || 9646 markings, 11313 edges, 4 markings/sec, 2375 secs
lola: STP completed || 1 tries, 9853 fired transitions, 2380 secs || 9668 markings, 11335 edges, 4 markings/sec, 2380 secs
lola: STP completed || 1 tries, 9874 fired transitions, 2385 secs || 9689 markings, 11366 edges, 4 markings/sec, 2385 secs
lola: STP completed || 1 tries, 9897 fired transitions, 2390 secs || 9712 markings, 11402 edges, 5 markings/sec, 2390 secs
lola: STP completed || 1 tries, 9919 fired transitions, 2395 secs || 9734 markings, 11424 edges, 4 markings/sec, 2395 secs
lola: STP completed || 1 tries, 9940 fired transitions, 2400 secs || 9754 markings, 11444 edges, 4 markings/sec, 2400 secs
lola: STP completed || 1 tries, 9960 fired transitions, 2405 secs || 9774 markings, 11466 edges, 4 markings/sec, 2405 secs
lola: STP completed || 1 tries, 9980 fired transitions, 2410 secs || 9794 markings, 11486 edges, 4 markings/sec, 2410 secs
lola: STP completed || 1 tries, 10001 fired transitions, 2415 secs || 9814 markings, 11506 edges, 4 markings/sec, 2415 secs
lola: STP completed || 1 tries, 10023 fired transitions, 2420 secs || 9836 markings, 11528 edges, 4 markings/sec, 2420 secs
lola: STP completed || 1 tries, 10045 fired transitions, 2425 secs || 9858 markings, 11550 edges, 4 markings/sec, 2425 secs
lola: STP completed || 1 tries, 10066 fired transitions, 2430 secs || 9879 markings, 11571 edges, 4 markings/sec, 2430 secs
lola: STP completed || 1 tries, 10088 fired transitions, 2435 secs || 9901 markings, 11593 edges, 4 markings/sec, 2435 secs
lola: STP completed || 1 tries, 10110 fired transitions, 2440 secs || 9923 markings, 11615 edges, 4 markings/sec, 2440 secs
lola: STP completed || 1 tries, 10132 fired transitions, 2445 secs || 9945 markings, 11637 edges, 4 markings/sec, 2445 secs
lola: STP completed || 1 tries, 10154 fired transitions, 2450 secs || 9967 markings, 11666 edges, 4 markings/sec, 2450 secs
lola: STP completed || 1 tries, 10176 fired transitions, 2455 secs || 9989 markings, 11710 edges, 4 markings/sec, 2455 secs
lola: STP completed || 1 tries, 10198 fired transitions, 2460 secs || 10011 markings, 11754 edges, 4 markings/sec, 2460 secs
lola: STP completed || 1 tries, 10219 fired transitions, 2465 secs || 10032 markings, 11795 edges, 4 markings/sec, 2465 secs
lola: STP completed || 1 tries, 10241 fired transitions, 2470 secs || 10054 markings, 11820 edges, 4 markings/sec, 2470 secs
lola: STP completed || 1 tries, 10263 fired transitions, 2475 secs || 10076 markings, 11843 edges, 4 markings/sec, 2475 secs
lola: STP completed || 1 tries, 10285 fired transitions, 2480 secs || 10098 markings, 11867 edges, 4 markings/sec, 2480 secs
lola: STP completed || 1 tries, 10307 fired transitions, 2485 secs || 10120 markings, 11891 edges, 4 markings/sec, 2485 secs
lola: STP completed || 1 tries, 10328 fired transitions, 2490 secs || 10140 markings, 11911 edges, 4 markings/sec, 2490 secs
lola: STP completed || 1 tries, 10349 fired transitions, 2495 secs || 10161 markings, 11932 edges, 4 markings/sec, 2495 secs
lola: STP completed || 1 tries, 10369 fired transitions, 2500 secs || 10183 markings, 11963 edges, 4 markings/sec, 2500 secs
lola: STP completed || 1 tries, 10390 fired transitions, 2505 secs || 10203 markings, 11996 edges, 4 markings/sec, 2505 secs
lola: STP completed || 1 tries, 10410 fired transitions, 2510 secs || 10223 markings, 12016 edges, 4 markings/sec, 2510 secs
lola: STP completed || 1 tries, 10430 fired transitions, 2515 secs || 10244 markings, 12037 edges, 4 markings/sec, 2515 secs
lola: STP completed || 1 tries, 10451 fired transitions, 2520 secs || 10265 markings, 12058 edges, 4 markings/sec, 2520 secs
lola: STP completed || 1 tries, 10473 fired transitions, 2525 secs || 10287 markings, 12081 edges, 4 markings/sec, 2525 secs
lola: STP completed || 1 tries, 10495 fired transitions, 2530 secs || 10309 markings, 12107 edges, 4 markings/sec, 2530 secs
lola: STP completed || 1 tries, 10517 fired transitions, 2535 secs || 10331 markings, 12130 edges, 4 markings/sec, 2535 secs
lola: STP completed || 1 tries, 10538 fired transitions, 2540 secs || 10352 markings, 12151 edges, 4 markings/sec, 2540 secs
lola: STP completed || 1 tries, 10560 fired transitions, 2545 secs || 10374 markings, 12173 edges, 4 markings/sec, 2545 secs
lola: STP completed || 1 tries, 10581 fired transitions, 2550 secs || 10395 markings, 12194 edges, 4 markings/sec, 2550 secs
lola: STP completed || 1 tries, 10601 fired transitions, 2555 secs || 10414 markings, 12213 edges, 4 markings/sec, 2555 secs
lola: STP completed || 1 tries, 10622 fired transitions, 2560 secs || 10434 markings, 12233 edges, 4 markings/sec, 2560 secs
lola: STP completed || 1 tries, 10643 fired transitions, 2565 secs || 10454 markings, 12253 edges, 4 markings/sec, 2565 secs
lola: STP completed || 1 tries, 10663 fired transitions, 2570 secs || 10475 markings, 12274 edges, 4 markings/sec, 2570 secs
lola: STP completed || 1 tries, 10684 fired transitions, 2575 secs || 10495 markings, 12294 edges, 4 markings/sec, 2575 secs
lola: STP completed || 1 tries, 10705 fired transitions, 2580 secs || 10515 markings, 12314 edges, 4 markings/sec, 2580 secs
lola: STP completed || 1 tries, 10725 fired transitions, 2585 secs || 10535 markings, 12334 edges, 4 markings/sec, 2585 secs
lola: STP completed || 1 tries, 10746 fired transitions, 2590 secs || 10555 markings, 12354 edges, 4 markings/sec, 2590 secs
lola: STP completed || 1 tries, 10766 fired transitions, 2595 secs || 10575 markings, 12374 edges, 4 markings/sec, 2595 secs
lola: STP completed || 1 tries, 10787 fired transitions, 2600 secs || 10595 markings, 12394 edges, 4 markings/sec, 2600 secs
lola: STP completed || 1 tries, 10807 fired transitions, 2605 secs || 10616 markings, 12415 edges, 4 markings/sec, 2605 secs
lola: STP completed || 1 tries, 10829 fired transitions, 2610 secs || 10637 markings, 12436 edges, 4 markings/sec, 2610 secs
lola: STP completed || 1 tries, 10850 fired transitions, 2615 secs || 10657 markings, 12456 edges, 4 markings/sec, 2615 secs
lola: STP completed || 1 tries, 10870 fired transitions, 2620 secs || 10677 markings, 12476 edges, 4 markings/sec, 2620 secs
lola: STP completed || 1 tries, 10891 fired transitions, 2625 secs || 10698 markings, 12497 edges, 4 markings/sec, 2625 secs
lola: STP completed || 1 tries, 10912 fired transitions, 2630 secs || 10718 markings, 12517 edges, 4 markings/sec, 2630 secs
lola: STP completed || 1 tries, 10931 fired transitions, 2635 secs || 10739 markings, 12540 edges, 4 markings/sec, 2635 secs
lola: STP completed || 1 tries, 10952 fired transitions, 2640 secs || 10759 markings, 12565 edges, 4 markings/sec, 2640 secs
lola: STP completed || 1 tries, 10973 fired transitions, 2645 secs || 10780 markings, 12587 edges, 4 markings/sec, 2645 secs
lola: STP completed || 1 tries, 10994 fired transitions, 2650 secs || 10801 markings, 12608 edges, 4 markings/sec, 2650 secs
lola: STP completed || 1 tries, 11015 fired transitions, 2655 secs || 10822 markings, 12629 edges, 4 markings/sec, 2655 secs
lola: STP completed || 1 tries, 11037 fired transitions, 2660 secs || 10844 markings, 12651 edges, 4 markings/sec, 2660 secs
lola: STP completed || 1 tries, 11059 fired transitions, 2665 secs || 10866 markings, 12673 edges, 4 markings/sec, 2665 secs
lola: STP completed || 1 tries, 11081 fired transitions, 2670 secs || 10888 markings, 12695 edges, 4 markings/sec, 2670 secs
lola: STP completed || 1 tries, 11103 fired transitions, 2675 secs || 10910 markings, 12717 edges, 4 markings/sec, 2675 secs
lola: STP completed || 1 tries, 11125 fired transitions, 2680 secs || 10932 markings, 12739 edges, 4 markings/sec, 2680 secs
lola: STP completed || 1 tries, 11146 fired transitions, 2685 secs || 10952 markings, 12759 edges, 4 markings/sec, 2685 secs
lola: STP completed || 1 tries, 11168 fired transitions, 2690 secs || 10973 markings, 12787 edges, 4 markings/sec, 2690 secs
lola: STP completed || 1 tries, 11189 fired transitions, 2695 secs || 10993 markings, 12807 edges, 4 markings/sec, 2695 secs
lola: STP completed || 1 tries, 11210 fired transitions, 2700 secs || 11014 markings, 12828 edges, 4 markings/sec, 2700 secs
lola: STP completed || 1 tries, 11232 fired transitions, 2705 secs || 11035 markings, 12849 edges, 4 markings/sec, 2705 secs
lola: STP completed || 1 tries, 11253 fired transitions, 2710 secs || 11056 markings, 12870 edges, 4 markings/sec, 2710 secs
lola: STP completed || 1 tries, 11275 fired transitions, 2715 secs || 11078 markings, 12892 edges, 4 markings/sec, 2715 secs
lola: STP completed || 1 tries, 11296 fired transitions, 2720 secs || 11098 markings, 12913 edges, 4 markings/sec, 2720 secs
lola: STP completed || 1 tries, 11317 fired transitions, 2725 secs || 11119 markings, 12934 edges, 4 markings/sec, 2725 secs
lola: STP completed || 1 tries, 11339 fired transitions, 2730 secs || 11140 markings, 12955 edges, 4 markings/sec, 2730 secs
lola: STP completed || 1 tries, 11360 fired transitions, 2735 secs || 11161 markings, 12976 edges, 4 markings/sec, 2735 secs
lola: STP completed || 1 tries, 11382 fired transitions, 2740 secs || 11183 markings, 12998 edges, 4 markings/sec, 2740 secs
lola: STP completed || 1 tries, 11404 fired transitions, 2745 secs || 11205 markings, 13020 edges, 4 markings/sec, 2745 secs
lola: STP completed || 1 tries, 11425 fired transitions, 2750 secs || 11226 markings, 13041 edges, 4 markings/sec, 2750 secs
lola: STP completed || 1 tries, 11446 fired transitions, 2755 secs || 11247 markings, 13062 edges, 4 markings/sec, 2755 secs
lola: STP completed || 1 tries, 11468 fired transitions, 2760 secs || 11269 markings, 13084 edges, 4 markings/sec, 2760 secs
lola: STP completed || 1 tries, 11490 fired transitions, 2765 secs || 11291 markings, 13106 edges, 4 markings/sec, 2765 secs
lola: STP completed || 1 tries, 11511 fired transitions, 2770 secs || 11311 markings, 13127 edges, 4 markings/sec, 2770 secs
lola: STP completed || 1 tries, 11532 fired transitions, 2775 secs || 11332 markings, 13149 edges, 4 markings/sec, 2775 secs
lola: STP completed || 1 tries, 11554 fired transitions, 2780 secs || 11354 markings, 13171 edges, 4 markings/sec, 2780 secs
lola: STP completed || 1 tries, 11577 fired transitions, 2785 secs || 11377 markings, 13194 edges, 5 markings/sec, 2785 secs
lola: STP completed || 1 tries, 11599 fired transitions, 2790 secs || 11399 markings, 13216 edges, 4 markings/sec, 2790 secs
lola: STP completed || 1 tries, 11621 fired transitions, 2795 secs || 11421 markings, 13238 edges, 4 markings/sec, 2795 secs
lola: STP completed || 1 tries, 11643 fired transitions, 2800 secs || 11443 markings, 13260 edges, 4 markings/sec, 2800 secs
lola: STP completed || 1 tries, 11665 fired transitions, 2805 secs || 11465 markings, 13282 edges, 4 markings/sec, 2805 secs
lola: STP completed || 1 tries, 11687 fired transitions, 2810 secs || 11487 markings, 13304 edges, 4 markings/sec, 2810 secs
lola: STP completed || 1 tries, 11709 fired transitions, 2815 secs || 11509 markings, 13326 edges, 4 markings/sec, 2815 secs
lola: STP completed || 1 tries, 11731 fired transitions, 2820 secs || 11530 markings, 13347 edges, 4 markings/sec, 2820 secs
lola: STP completed || 1 tries, 11752 fired transitions, 2825 secs || 11551 markings, 13371 edges, 4 markings/sec, 2825 secs
lola: STP completed || 1 tries, 11774 fired transitions, 2830 secs || 11573 markings, 13393 edges, 4 markings/sec, 2830 secs
lola: STP completed || 1 tries, 11796 fired transitions, 2835 secs || 11595 markings, 13417 edges, 4 markings/sec, 2835 secs
lola: STP completed || 1 tries, 11818 fired transitions, 2840 secs || 11617 markings, 13439 edges, 4 markings/sec, 2840 secs
lola: STP completed || 1 tries, 11839 fired transitions, 2845 secs || 11638 markings, 13461 edges, 4 markings/sec, 2845 secs
lola: STP completed || 1 tries, 11861 fired transitions, 2850 secs || 11659 markings, 13482 edges, 4 markings/sec, 2850 secs
lola: STP completed || 1 tries, 11883 fired transitions, 2855 secs || 11681 markings, 13504 edges, 4 markings/sec, 2855 secs
lola: STP completed || 1 tries, 11905 fired transitions, 2860 secs || 11703 markings, 13526 edges, 4 markings/sec, 2860 secs
lola: STP completed || 1 tries, 11927 fired transitions, 2865 secs || 11724 markings, 13547 edges, 4 markings/sec, 2865 secs
lola: STP completed || 1 tries, 11948 fired transitions, 2870 secs || 11745 markings, 13568 edges, 4 markings/sec, 2870 secs
lola: STP completed || 1 tries, 11968 fired transitions, 2875 secs || 11765 markings, 13588 edges, 4 markings/sec, 2875 secs
lola: STP completed || 1 tries, 11989 fired transitions, 2880 secs || 11785 markings, 13608 edges, 4 markings/sec, 2880 secs
lola: STP completed || 1 tries, 12010 fired transitions, 2885 secs || 11804 markings, 13627 edges, 4 markings/sec, 2885 secs
lola: STP completed || 1 tries, 12032 fired transitions, 2890 secs || 11824 markings, 13647 edges, 4 markings/sec, 2890 secs
lola: STP completed || 1 tries, 12053 fired transitions, 2895 secs || 11844 markings, 13667 edges, 4 markings/sec, 2895 secs
lola: STP completed || 1 tries, 12075 fired transitions, 2900 secs || 11864 markings, 13689 edges, 4 markings/sec, 2900 secs
lola: STP completed || 1 tries, 12096 fired transitions, 2905 secs || 11884 markings, 13711 edges, 4 markings/sec, 2905 secs
lola: STP completed || 1 tries, 12118 fired transitions, 2910 secs || 11904 markings, 13751 edges, 4 markings/sec, 2910 secs
lola: STP completed || 1 tries, 12139 fired transitions, 2915 secs || 11925 markings, 13793 edges, 4 markings/sec, 2915 secs
lola: STP completed || 1 tries, 12160 fired transitions, 2920 secs || 11945 markings, 13814 edges, 4 markings/sec, 2920 secs
lola: STP completed || 1 tries, 12182 fired transitions, 2925 secs || 11965 markings, 13834 edges, 4 markings/sec, 2925 secs
lola: STP completed || 1 tries, 12203 fired transitions, 2930 secs || 11986 markings, 13856 edges, 4 markings/sec, 2930 secs
lola: STP completed || 1 tries, 12224 fired transitions, 2935 secs || 12007 markings, 13877 edges, 4 markings/sec, 2935 secs
lola: STP completed || 1 tries, 12245 fired transitions, 2940 secs || 12028 markings, 13898 edges, 4 markings/sec, 2940 secs
lola: STP completed || 1 tries, 12266 fired transitions, 2945 secs || 12049 markings, 13919 edges, 4 markings/sec, 2945 secs
lola: STP completed || 1 tries, 12287 fired transitions, 2950 secs || 12070 markings, 13954 edges, 4 markings/sec, 2950 secs
lola: STP completed || 1 tries, 12308 fired transitions, 2955 secs || 12091 markings, 13995 edges, 4 markings/sec, 2955 secs
lola: STP completed || 1 tries, 12330 fired transitions, 2960 secs || 12113 markings, 14026 edges, 4 markings/sec, 2960 secs
lola: STP completed || 1 tries, 12352 fired transitions, 2965 secs || 12135 markings, 14048 edges, 4 markings/sec, 2965 secs
lola: STP completed || 1 tries, 12374 fired transitions, 2970 secs || 12157 markings, 14073 edges, 4 markings/sec, 2970 secs
lola: STP completed || 1 tries, 12396 fired transitions, 2975 secs || 12179 markings, 14095 edges, 4 markings/sec, 2975 secs
lola: STP completed || 1 tries, 12418 fired transitions, 2980 secs || 12201 markings, 14118 edges, 4 markings/sec, 2980 secs
lola: STP completed || 1 tries, 12440 fired transitions, 2985 secs || 12223 markings, 14140 edges, 4 markings/sec, 2985 secs
lola: STP completed || 1 tries, 12462 fired transitions, 2990 secs || 12245 markings, 14162 edges, 4 markings/sec, 2990 secs
lola: STP completed || 1 tries, 12484 fired transitions, 2995 secs || 12267 markings, 14184 edges, 4 markings/sec, 2995 secs
lola: STP completed || 1 tries, 12505 fired transitions, 3000 secs || 12287 markings, 14204 edges, 4 markings/sec, 3000 secs
lola: STP completed || 1 tries, 12527 fired transitions, 3005 secs || 12308 markings, 14225 edges, 4 markings/sec, 3005 secs
lola: STP completed || 1 tries, 12550 fired transitions, 3010 secs || 12331 markings, 14248 edges, 5 markings/sec, 3010 secs
lola: STP completed || 1 tries, 12572 fired transitions, 3015 secs || 12353 markings, 14270 edges, 4 markings/sec, 3015 secs
lola: STP completed || 1 tries, 12594 fired transitions, 3020 secs || 12375 markings, 14292 edges, 4 markings/sec, 3020 secs
lola: STP completed || 1 tries, 12615 fired transitions, 3025 secs || 12396 markings, 14313 edges, 4 markings/sec, 3025 secs
lola: STP completed || 1 tries, 12637 fired transitions, 3030 secs || 12417 markings, 14334 edges, 4 markings/sec, 3030 secs
lola: STP completed || 1 tries, 12658 fired transitions, 3035 secs || 12438 markings, 14355 edges, 4 markings/sec, 3035 secs
lola: STP completed || 1 tries, 12680 fired transitions, 3040 secs || 12460 markings, 14377 edges, 4 markings/sec, 3040 secs
lola: STP completed || 1 tries, 12702 fired transitions, 3045 secs || 12482 markings, 14399 edges, 4 markings/sec, 3045 secs
lola: STP completed || 1 tries, 12724 fired transitions, 3050 secs || 12504 markings, 14424 edges, 4 markings/sec, 3050 secs
lola: STP completed || 1 tries, 12747 fired transitions, 3055 secs || 12527 markings, 14448 edges, 5 markings/sec, 3055 secs
lola: STP completed || 1 tries, 12769 fired transitions, 3060 secs || 12549 markings, 14470 edges, 4 markings/sec, 3060 secs
lola: STP completed || 1 tries, 12792 fired transitions, 3065 secs || 12572 markings, 14494 edges, 5 markings/sec, 3065 secs
lola: STP completed || 1 tries, 12814 fired transitions, 3070 secs || 12593 markings, 14515 edges, 4 markings/sec, 3070 secs
lola: STP completed || 1 tries, 12837 fired transitions, 3075 secs || 12616 markings, 14538 edges, 5 markings/sec, 3075 secs
lola: STP completed || 1 tries, 12860 fired transitions, 3080 secs || 12639 markings, 14561 edges, 5 markings/sec, 3080 secs
lola: STP completed || 1 tries, 12882 fired transitions, 3085 secs || 12661 markings, 14583 edges, 4 markings/sec, 3085 secs
lola: STP completed || 1 tries, 12905 fired transitions, 3090 secs || 12684 markings, 14606 edges, 5 markings/sec, 3090 secs
lola: STP completed || 1 tries, 12928 fired transitions, 3095 secs || 12707 markings, 14629 edges, 5 markings/sec, 3095 secs
lola: STP completed || 1 tries, 12950 fired transitions, 3100 secs || 12729 markings, 14651 edges, 4 markings/sec, 3100 secs
lola: STP completed || 1 tries, 12973 fired transitions, 3105 secs || 12752 markings, 14674 edges, 5 markings/sec, 3105 secs
lola: STP completed || 1 tries, 12996 fired transitions, 3110 secs || 12775 markings, 14697 edges, 5 markings/sec, 3110 secs
lola: STP completed || 1 tries, 13019 fired transitions, 3115 secs || 12798 markings, 14720 edges, 5 markings/sec, 3115 secs
lola: STP completed || 1 tries, 13041 fired transitions, 3120 secs || 12820 markings, 14749 edges, 4 markings/sec, 3120 secs
lola: STP completed || 1 tries, 13064 fired transitions, 3125 secs || 12843 markings, 14778 edges, 5 markings/sec, 3125 secs
lola: STP completed || 1 tries, 13086 fired transitions, 3130 secs || 12865 markings, 14817 edges, 4 markings/sec, 3130 secs
lola: STP completed || 1 tries, 13108 fired transitions, 3135 secs || 12887 markings, 14856 edges, 4 markings/sec, 3135 secs
lola: STP completed || 1 tries, 13130 fired transitions, 3140 secs || 12909 markings, 14898 edges, 4 markings/sec, 3140 secs
lola: STP completed || 1 tries, 13152 fired transitions, 3145 secs || 12931 markings, 14942 edges, 4 markings/sec, 3145 secs
lola: STP completed || 1 tries, 13175 fired transitions, 3150 secs || 12954 markings, 14988 edges, 5 markings/sec, 3150 secs
lola: STP completed || 1 tries, 13197 fired transitions, 3155 secs || 12976 markings, 15032 edges, 4 markings/sec, 3155 secs
lola: STP completed || 1 tries, 13220 fired transitions, 3160 secs || 12999 markings, 15077 edges, 5 markings/sec, 3160 secs
lola: STP completed || 1 tries, 13243 fired transitions, 3165 secs || 13022 markings, 15113 edges, 5 markings/sec, 3165 secs
lola: STP completed || 1 tries, 13265 fired transitions, 3170 secs || 13044 markings, 15135 edges, 4 markings/sec, 3170 secs
lola: STP completed || 1 tries, 13286 fired transitions, 3175 secs || 13065 markings, 15157 edges, 4 markings/sec, 3175 secs
lola: STP completed || 1 tries, 13308 fired transitions, 3180 secs || 13086 markings, 15179 edges, 4 markings/sec, 3180 secs
lola: STP completed || 1 tries, 13330 fired transitions, 3185 secs || 13108 markings, 15201 edges, 4 markings/sec, 3185 secs
lola: STP completed || 1 tries, 13351 fired transitions, 3190 secs || 13129 markings, 15222 edges, 4 markings/sec, 3190 secs
lola: STP completed || 1 tries, 13372 fired transitions, 3195 secs || 13150 markings, 15243 edges, 4 markings/sec, 3195 secs
lola: STP completed || 1 tries, 13393 fired transitions, 3200 secs || 13171 markings, 15264 edges, 4 markings/sec, 3200 secs
lola: STP completed || 1 tries, 13414 fired transitions, 3205 secs || 13191 markings, 15284 edges, 4 markings/sec, 3205 secs
lola: STP completed || 1 tries, 13436 fired transitions, 3210 secs || 13212 markings, 15306 edges, 4 markings/sec, 3210 secs
lola: STP completed || 1 tries, 13456 fired transitions, 3215 secs || 13232 markings, 15326 edges, 4 markings/sec, 3215 secs
lola: STP completed || 1 tries, 13477 fired transitions, 3220 secs || 13253 markings, 15347 edges, 4 markings/sec, 3220 secs
lola: STP completed || 1 tries, 13497 fired transitions, 3225 secs || 13273 markings, 15367 edges, 4 markings/sec, 3225 secs
lola: STP completed || 1 tries, 13518 fired transitions, 3230 secs || 13294 markings, 15391 edges, 4 markings/sec, 3230 secs
lola: STP completed || 1 tries, 13539 fired transitions, 3235 secs || 13314 markings, 15411 edges, 4 markings/sec, 3235 secs
lola: STP completed || 1 tries, 13561 fired transitions, 3240 secs || 13336 markings, 15433 edges, 4 markings/sec, 3240 secs
lola: STP completed || 1 tries, 13582 fired transitions, 3245 secs || 13356 markings, 15462 edges, 4 markings/sec, 3245 secs
lola: STP completed || 1 tries, 13604 fired transitions, 3250 secs || 13378 markings, 15506 edges, 4 markings/sec, 3250 secs
lola: STP completed || 1 tries, 13625 fired transitions, 3255 secs || 13399 markings, 15529 edges, 4 markings/sec, 3255 secs
lola: STP completed || 1 tries, 13646 fired transitions, 3260 secs || 13419 markings, 15549 edges, 4 markings/sec, 3260 secs
lola: STP completed || 1 tries, 13668 fired transitions, 3265 secs || 13441 markings, 15571 edges, 4 markings/sec, 3265 secs
lola: STP completed || 1 tries, 13690 fired transitions, 3270 secs || 13463 markings, 15593 edges, 4 markings/sec, 3270 secs
lola: time limit reached - aborting
lola: memory consumption: 985864 KB
lola: time consumption: 3567 seconds

BK_STOP 1527809984551

--------------------
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="RERS17pb114-PT-6"
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/RERS17pb114-PT-6.tgz
mv RERS17pb114-PT-6 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 RERS17pb114-PT-6, 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 r280-csrt-152749170100512"
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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;