About the Execution of LoLA for RERS17pb115-PT-3
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1695.570 | 3570434.00 | 7185505.00 | 474.10 | [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 70M
-rw-r--r-- 1 mcc users 3.5K May 30 22:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 30 22:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K May 29 16:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 29 16:31 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.3K May 28 10:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 28 10:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 28 08:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K May 28 08:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.3K May 28 07:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 28 07:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 107 May 26 06:32 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 345 May 26 06:32 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.6K May 27 04:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 27 04:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 28 07:34 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 69M May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is RERS17pb115-PT-3, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-csrt-152749170100566
=====================================================================
--------------------
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 RERS17pb115-PT-1-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527813503174
info: Time: 3600 - MCC
===========================================================================================
prep: translating RERS17pb115-PT-3 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating RERS17pb115-PT-3 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ RERS17pb115-PT-3 @ 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: 145768/65536 symbol table entries, 89473 collisions
lola: preprocessing...
lola: Size of bit vector: 1399
lola: finding significant places
lola: 1399 places, 144369 transitions, 1362 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 213698 transition conflict sets
lola: TASK
lola: reading formula from RERS17pb115-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: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP running || 1 tries, 13 fired transitions, 0 secs
lola: 0 generators; 977901 candidates remain ( 0%), 0 secs
lola: STP running || 1 tries, 29 fired transitions, 5 secs
lola: 0 generators; 977901 candidates remain ( 0%), 5 secs
lola: STP running || 1 tries, 43 fired transitions, 10 secs
lola: 0 generators; 977901 candidates remain ( 0%), 10 secs
lola: STP running || 1 tries, 59 fired transitions, 15 secs
lola: 0 generators; 977901 candidates remain ( 0%), 15 secs
lola: STP: formula with 1892188 variables and 8833830 clauses shipped to Minisat
lola: STP running || 1 tries, 78 fired transitions, 20 secs
lola: 0 generators; 977901 candidates remain ( 0%), 20 secs
lola: STP running || 1 tries, 96 fired transitions, 25 secs
lola: 35 generators; 544 candidates remain ( 6%), 25 secs
lola: STP running || 1 tries, 109 fired transitions, 30 secs
lola: 126 generators; 210 candidates remain (37%), 30 secs
lola: computed 171 generators (18 in search tree, 153 by composition)
lola: representing 1.21645E+17 symmetries
lola: 0 dead branches visited in search tree
lola: STP running || 1 tries, 126 fired transitions, 35 secs
lola: STP running || 1 tries, 141 fired transitions, 40 secs || 13 markings, 12 edges, 3 markings/sec, 40 secs
lola: STP running || 1 tries, 151 fired transitions, 45 secs || 26 markings, 25 edges, 3 markings/sec, 45 secs
lola: STP running || 1 tries, 162 fired transitions, 50 secs || 43 markings, 42 edges, 3 markings/sec, 50 secs
lola: STP running || 1 tries, 177 fired transitions, 55 secs || 57 markings, 56 edges, 3 markings/sec, 55 secs
lola: STP running || 1 tries, 192 fired transitions, 60 secs || 79 markings, 78 edges, 4 markings/sec, 60 secs
lola: STP running || 1 tries, 207 fired transitions, 65 secs || 96 markings, 95 edges, 3 markings/sec, 65 secs
lola: STP running || 1 tries, 220 fired transitions, 70 secs || 113 markings, 112 edges, 3 markings/sec, 70 secs
lola: STP running || 1 tries, 231 fired transitions, 75 secs || 128 markings, 127 edges, 3 markings/sec, 75 secs
lola: STP running || 1 tries, 241 fired transitions, 80 secs || 142 markings, 141 edges, 3 markings/sec, 80 secs
lola: STP running || 1 tries, 251 fired transitions, 85 secs || 155 markings, 154 edges, 3 markings/sec, 85 secs
lola: STP running || 1 tries, 262 fired transitions, 90 secs || 167 markings, 166 edges, 2 markings/sec, 90 secs
lola: STP running || 1 tries, 273 fired transitions, 95 secs || 179 markings, 178 edges, 2 markings/sec, 95 secs
lola: STP running || 1 tries, 289 fired transitions, 100 secs || 198 markings, 197 edges, 4 markings/sec, 100 secs
lola: STP running || 1 tries, 300 fired transitions, 105 secs || 209 markings, 208 edges, 2 markings/sec, 105 secs
lola: STP running || 1 tries, 316 fired transitions, 110 secs || 227 markings, 226 edges, 4 markings/sec, 110 secs
lola: STP running || 1 tries, 332 fired transitions, 115 secs || 242 markings, 241 edges, 3 markings/sec, 115 secs
lola: STP running || 1 tries, 343 fired transitions, 120 secs || 256 markings, 255 edges, 3 markings/sec, 120 secs
lola: STP running || 1 tries, 362 fired transitions, 125 secs || 266 markings, 265 edges, 2 markings/sec, 125 secs
lola: STP running || 1 tries, 383 fired transitions, 130 secs || 280 markings, 279 edges, 3 markings/sec, 130 secs
lola: STP running || 1 tries, 401 fired transitions, 135 secs || 296 markings, 295 edges, 3 markings/sec, 135 secs
lola: STP running || 1 tries, 415 fired transitions, 140 secs || 312 markings, 311 edges, 3 markings/sec, 140 secs
lola: STP running || 1 tries, 425 fired transitions, 145 secs || 323 markings, 322 edges, 2 markings/sec, 145 secs
lola: STP running || 1 tries, 435 fired transitions, 150 secs || 340 markings, 339 edges, 3 markings/sec, 150 secs
lola: STP running || 1 tries, 445 fired transitions, 155 secs || 360 markings, 359 edges, 4 markings/sec, 155 secs
lola: STP running || 1 tries, 455 fired transitions, 160 secs || 379 markings, 378 edges, 4 markings/sec, 160 secs
lola: STP running || 1 tries, 470 fired transitions, 165 secs || 399 markings, 398 edges, 4 markings/sec, 165 secs
lola: STP running || 1 tries, 490 fired transitions, 170 secs || 420 markings, 419 edges, 4 markings/sec, 170 secs
lola: STP running || 1 tries, 508 fired transitions, 175 secs || 440 markings, 439 edges, 4 markings/sec, 175 secs
lola: STP running || 1 tries, 528 fired transitions, 180 secs || 459 markings, 458 edges, 4 markings/sec, 180 secs
lola: STP running || 1 tries, 549 fired transitions, 185 secs || 480 markings, 479 edges, 4 markings/sec, 185 secs
lola: STP running || 1 tries, 571 fired transitions, 190 secs || 501 markings, 500 edges, 4 markings/sec, 190 secs
lola: STP running || 1 tries, 586 fired transitions, 195 secs || 519 markings, 518 edges, 4 markings/sec, 195 secs
lola: STP running || 1 tries, 600 fired transitions, 200 secs || 535 markings, 534 edges, 3 markings/sec, 200 secs
lola: STP running || 1 tries, 616 fired transitions, 205 secs || 554 markings, 553 edges, 4 markings/sec, 205 secs
lola: STP running || 1 tries, 636 fired transitions, 210 secs || 571 markings, 570 edges, 3 markings/sec, 210 secs
lola: STP running || 1 tries, 655 fired transitions, 215 secs || 590 markings, 589 edges, 4 markings/sec, 215 secs
lola: STP running || 1 tries, 675 fired transitions, 220 secs || 607 markings, 606 edges, 3 markings/sec, 220 secs
lola: STP running || 1 tries, 697 fired transitions, 225 secs || 622 markings, 621 edges, 3 markings/sec, 225 secs
lola: STP running || 1 tries, 717 fired transitions, 230 secs || 631 markings, 630 edges, 2 markings/sec, 230 secs
lola: STP running || 1 tries, 738 fired transitions, 235 secs || 648 markings, 647 edges, 3 markings/sec, 235 secs
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 757 fired transitions, 240 secs || 668 markings, 667 edges, 4 markings/sec, 240 secs
lola: STP completed || 1 tries, 778 fired transitions, 245 secs || 689 markings, 688 edges, 4 markings/sec, 245 secs
lola: STP completed || 1 tries, 798 fired transitions, 250 secs || 710 markings, 709 edges, 4 markings/sec, 250 secs
lola: STP completed || 1 tries, 818 fired transitions, 255 secs || 730 markings, 729 edges, 4 markings/sec, 255 secs
lola: STP completed || 1 tries, 838 fired transitions, 260 secs || 751 markings, 750 edges, 4 markings/sec, 260 secs
lola: STP completed || 1 tries, 859 fired transitions, 265 secs || 772 markings, 771 edges, 4 markings/sec, 265 secs
lola: STP completed || 1 tries, 879 fired transitions, 270 secs || 792 markings, 791 edges, 4 markings/sec, 270 secs
lola: STP completed || 1 tries, 899 fired transitions, 275 secs || 813 markings, 812 edges, 4 markings/sec, 275 secs
lola: STP completed || 1 tries, 919 fired transitions, 280 secs || 834 markings, 833 edges, 4 markings/sec, 280 secs
lola: STP completed || 1 tries, 935 fired transitions, 285 secs || 849 markings, 848 edges, 3 markings/sec, 285 secs
lola: STP completed || 1 tries, 955 fired transitions, 290 secs || 871 markings, 870 edges, 4 markings/sec, 290 secs
lola: STP completed || 1 tries, 975 fired transitions, 295 secs || 892 markings, 891 edges, 4 markings/sec, 295 secs
lola: STP completed || 1 tries, 996 fired transitions, 300 secs || 913 markings, 912 edges, 4 markings/sec, 300 secs
lola: STP completed || 1 tries, 1017 fired transitions, 305 secs || 934 markings, 933 edges, 4 markings/sec, 305 secs
lola: STP completed || 1 tries, 1038 fired transitions, 310 secs || 955 markings, 954 edges, 4 markings/sec, 310 secs
lola: STP completed || 1 tries, 1059 fired transitions, 315 secs || 976 markings, 975 edges, 4 markings/sec, 315 secs
lola: STP completed || 1 tries, 1079 fired transitions, 320 secs || 997 markings, 996 edges, 4 markings/sec, 320 secs
lola: STP completed || 1 tries, 1099 fired transitions, 325 secs || 1018 markings, 1017 edges, 4 markings/sec, 325 secs
lola: STP completed || 1 tries, 1120 fired transitions, 330 secs || 1039 markings, 1038 edges, 4 markings/sec, 330 secs
lola: STP completed || 1 tries, 1140 fired transitions, 335 secs || 1061 markings, 1060 edges, 4 markings/sec, 335 secs
lola: STP completed || 1 tries, 1161 fired transitions, 340 secs || 1082 markings, 1081 edges, 4 markings/sec, 340 secs
lola: STP completed || 1 tries, 1181 fired transitions, 345 secs || 1103 markings, 1102 edges, 4 markings/sec, 345 secs
lola: STP completed || 1 tries, 1201 fired transitions, 350 secs || 1124 markings, 1123 edges, 4 markings/sec, 350 secs
lola: STP completed || 1 tries, 1222 fired transitions, 355 secs || 1145 markings, 1144 edges, 4 markings/sec, 355 secs
lola: STP completed || 1 tries, 1242 fired transitions, 360 secs || 1166 markings, 1165 edges, 4 markings/sec, 360 secs
lola: STP completed || 1 tries, 1262 fired transitions, 365 secs || 1187 markings, 1186 edges, 4 markings/sec, 365 secs
lola: STP completed || 1 tries, 1282 fired transitions, 370 secs || 1208 markings, 1207 edges, 4 markings/sec, 370 secs
lola: STP completed || 1 tries, 1302 fired transitions, 375 secs || 1229 markings, 1228 edges, 4 markings/sec, 375 secs
lola: STP completed || 1 tries, 1317 fired transitions, 380 secs || 1244 markings, 1243 edges, 3 markings/sec, 380 secs
lola: STP completed || 1 tries, 1336 fired transitions, 385 secs || 1262 markings, 1261 edges, 4 markings/sec, 385 secs
lola: STP completed || 1 tries, 1357 fired transitions, 390 secs || 1281 markings, 1280 edges, 4 markings/sec, 390 secs
lola: STP completed || 1 tries, 1378 fired transitions, 395 secs || 1301 markings, 1300 edges, 4 markings/sec, 395 secs
lola: STP completed || 1 tries, 1398 fired transitions, 400 secs || 1321 markings, 1320 edges, 4 markings/sec, 400 secs
lola: STP completed || 1 tries, 1420 fired transitions, 405 secs || 1340 markings, 1339 edges, 4 markings/sec, 405 secs
lola: STP completed || 1 tries, 1441 fired transitions, 410 secs || 1360 markings, 1359 edges, 4 markings/sec, 410 secs
lola: STP completed || 1 tries, 1462 fired transitions, 415 secs || 1380 markings, 1379 edges, 4 markings/sec, 415 secs
lola: STP completed || 1 tries, 1483 fired transitions, 420 secs || 1400 markings, 1399 edges, 4 markings/sec, 420 secs
lola: STP completed || 1 tries, 1504 fired transitions, 425 secs || 1420 markings, 1419 edges, 4 markings/sec, 425 secs
lola: STP completed || 1 tries, 1525 fired transitions, 430 secs || 1440 markings, 1439 edges, 4 markings/sec, 430 secs
lola: STP completed || 1 tries, 1546 fired transitions, 435 secs || 1460 markings, 1459 edges, 4 markings/sec, 435 secs
lola: STP completed || 1 tries, 1568 fired transitions, 440 secs || 1480 markings, 1479 edges, 4 markings/sec, 440 secs
lola: STP completed || 1 tries, 1590 fired transitions, 445 secs || 1499 markings, 1498 edges, 4 markings/sec, 445 secs
lola: STP completed || 1 tries, 1611 fired transitions, 450 secs || 1519 markings, 1518 edges, 4 markings/sec, 450 secs
lola: STP completed || 1 tries, 1632 fired transitions, 455 secs || 1540 markings, 1539 edges, 4 markings/sec, 455 secs
lola: STP completed || 1 tries, 1653 fired transitions, 460 secs || 1559 markings, 1558 edges, 4 markings/sec, 460 secs
lola: STP completed || 1 tries, 1674 fired transitions, 465 secs || 1579 markings, 1578 edges, 4 markings/sec, 465 secs
lola: STP completed || 1 tries, 1690 fired transitions, 470 secs || 1596 markings, 1595 edges, 3 markings/sec, 470 secs
lola: STP completed || 1 tries, 1711 fired transitions, 475 secs || 1617 markings, 1616 edges, 4 markings/sec, 475 secs
lola: STP completed || 1 tries, 1731 fired transitions, 480 secs || 1637 markings, 1636 edges, 4 markings/sec, 480 secs
lola: STP completed || 1 tries, 1752 fired transitions, 485 secs || 1657 markings, 1656 edges, 4 markings/sec, 485 secs
lola: STP completed || 1 tries, 1772 fired transitions, 490 secs || 1677 markings, 1676 edges, 4 markings/sec, 490 secs
lola: STP completed || 1 tries, 1792 fired transitions, 495 secs || 1698 markings, 1697 edges, 4 markings/sec, 495 secs
lola: STP completed || 1 tries, 1812 fired transitions, 500 secs || 1718 markings, 1717 edges, 4 markings/sec, 500 secs
lola: STP completed || 1 tries, 1833 fired transitions, 505 secs || 1740 markings, 1739 edges, 4 markings/sec, 505 secs
lola: STP completed || 1 tries, 1853 fired transitions, 510 secs || 1761 markings, 1760 edges, 4 markings/sec, 510 secs
lola: STP completed || 1 tries, 1873 fired transitions, 515 secs || 1780 markings, 1779 edges, 4 markings/sec, 515 secs
lola: STP completed || 1 tries, 1888 fired transitions, 520 secs || 1796 markings, 1795 edges, 3 markings/sec, 520 secs
lola: STP completed || 1 tries, 1908 fired transitions, 525 secs || 1817 markings, 1816 edges, 4 markings/sec, 525 secs
lola: STP completed || 1 tries, 1929 fired transitions, 530 secs || 1839 markings, 1838 edges, 4 markings/sec, 530 secs
lola: STP completed || 1 tries, 1950 fired transitions, 535 secs || 1861 markings, 1860 edges, 4 markings/sec, 535 secs
lola: STP completed || 1 tries, 1970 fired transitions, 540 secs || 1883 markings, 1882 edges, 4 markings/sec, 540 secs
lola: STP completed || 1 tries, 1991 fired transitions, 545 secs || 1904 markings, 1903 edges, 4 markings/sec, 545 secs
lola: STP completed || 1 tries, 2011 fired transitions, 550 secs || 1925 markings, 1924 edges, 4 markings/sec, 550 secs
lola: STP completed || 1 tries, 2031 fired transitions, 555 secs || 1946 markings, 1945 edges, 4 markings/sec, 555 secs
lola: STP completed || 1 tries, 2052 fired transitions, 560 secs || 1967 markings, 1966 edges, 4 markings/sec, 560 secs
lola: STP completed || 1 tries, 2072 fired transitions, 565 secs || 1989 markings, 1988 edges, 4 markings/sec, 565 secs
lola: STP completed || 1 tries, 2093 fired transitions, 570 secs || 2010 markings, 2009 edges, 4 markings/sec, 570 secs
lola: STP completed || 1 tries, 2114 fired transitions, 575 secs || 2031 markings, 2030 edges, 4 markings/sec, 575 secs
lola: STP completed || 1 tries, 2134 fired transitions, 580 secs || 2052 markings, 2051 edges, 4 markings/sec, 580 secs
lola: STP completed || 1 tries, 2155 fired transitions, 585 secs || 2074 markings, 2073 edges, 4 markings/sec, 585 secs
lola: STP completed || 1 tries, 2176 fired transitions, 590 secs || 2095 markings, 2094 edges, 4 markings/sec, 590 secs
lola: STP completed || 1 tries, 2196 fired transitions, 595 secs || 2117 markings, 2116 edges, 4 markings/sec, 595 secs
lola: STP completed || 1 tries, 2217 fired transitions, 600 secs || 2138 markings, 2137 edges, 4 markings/sec, 600 secs
lola: STP completed || 1 tries, 2238 fired transitions, 605 secs || 2159 markings, 2158 edges, 4 markings/sec, 605 secs
lola: STP completed || 1 tries, 2259 fired transitions, 610 secs || 2181 markings, 2180 edges, 4 markings/sec, 610 secs
lola: STP completed || 1 tries, 2280 fired transitions, 615 secs || 2203 markings, 2202 edges, 4 markings/sec, 615 secs
lola: STP completed || 1 tries, 2300 fired transitions, 620 secs || 2223 markings, 2222 edges, 4 markings/sec, 620 secs
lola: STP completed || 1 tries, 2322 fired transitions, 625 secs || 2245 markings, 2244 edges, 4 markings/sec, 625 secs
lola: STP completed || 1 tries, 2343 fired transitions, 630 secs || 2265 markings, 2264 edges, 4 markings/sec, 630 secs
lola: STP completed || 1 tries, 2364 fired transitions, 635 secs || 2286 markings, 2285 edges, 4 markings/sec, 635 secs
lola: STP completed || 1 tries, 2384 fired transitions, 640 secs || 2307 markings, 2306 edges, 4 markings/sec, 640 secs
lola: STP completed || 1 tries, 2404 fired transitions, 645 secs || 2326 markings, 2325 edges, 4 markings/sec, 645 secs
lola: STP completed || 1 tries, 2415 fired transitions, 650 secs || 2337 markings, 2336 edges, 2 markings/sec, 650 secs
lola: STP completed || 1 tries, 2436 fired transitions, 655 secs || 2358 markings, 2357 edges, 4 markings/sec, 655 secs
lola: STP completed || 1 tries, 2457 fired transitions, 660 secs || 2379 markings, 2378 edges, 4 markings/sec, 660 secs
lola: STP completed || 1 tries, 2478 fired transitions, 665 secs || 2400 markings, 2399 edges, 4 markings/sec, 665 secs
lola: STP completed || 1 tries, 2495 fired transitions, 670 secs || 2418 markings, 2417 edges, 4 markings/sec, 670 secs
lola: STP completed || 1 tries, 2516 fired transitions, 675 secs || 2440 markings, 2439 edges, 4 markings/sec, 675 secs
lola: STP completed || 1 tries, 2531 fired transitions, 680 secs || 2456 markings, 2455 edges, 3 markings/sec, 680 secs
lola: STP completed || 1 tries, 2545 fired transitions, 685 secs || 2470 markings, 2469 edges, 3 markings/sec, 685 secs
lola: STP completed || 1 tries, 2566 fired transitions, 690 secs || 2491 markings, 2490 edges, 4 markings/sec, 690 secs
lola: STP completed || 1 tries, 2587 fired transitions, 695 secs || 2513 markings, 2512 edges, 4 markings/sec, 695 secs
lola: STP completed || 1 tries, 2609 fired transitions, 700 secs || 2534 markings, 2533 edges, 4 markings/sec, 700 secs
lola: STP completed || 1 tries, 2630 fired transitions, 705 secs || 2555 markings, 2554 edges, 4 markings/sec, 705 secs
lola: STP completed || 1 tries, 2652 fired transitions, 710 secs || 2576 markings, 2575 edges, 4 markings/sec, 710 secs
lola: STP completed || 1 tries, 2673 fired transitions, 715 secs || 2598 markings, 2597 edges, 4 markings/sec, 715 secs
lola: STP completed || 1 tries, 2689 fired transitions, 720 secs || 2614 markings, 2613 edges, 3 markings/sec, 720 secs
lola: STP completed || 1 tries, 2710 fired transitions, 725 secs || 2635 markings, 2634 edges, 4 markings/sec, 725 secs
lola: STP completed || 1 tries, 2730 fired transitions, 730 secs || 2656 markings, 2655 edges, 4 markings/sec, 730 secs
lola: STP completed || 1 tries, 2752 fired transitions, 735 secs || 2677 markings, 2676 edges, 4 markings/sec, 735 secs
lola: STP completed || 1 tries, 2774 fired transitions, 740 secs || 2697 markings, 2696 edges, 4 markings/sec, 740 secs
lola: STP completed || 1 tries, 2796 fired transitions, 745 secs || 2718 markings, 2717 edges, 4 markings/sec, 745 secs
lola: STP completed || 1 tries, 2817 fired transitions, 750 secs || 2740 markings, 2739 edges, 4 markings/sec, 750 secs
lola: STP completed || 1 tries, 2839 fired transitions, 755 secs || 2761 markings, 2760 edges, 4 markings/sec, 755 secs
lola: STP completed || 1 tries, 2859 fired transitions, 760 secs || 2782 markings, 2781 edges, 4 markings/sec, 760 secs
lola: STP completed || 1 tries, 2880 fired transitions, 765 secs || 2803 markings, 2802 edges, 4 markings/sec, 765 secs
lola: STP completed || 1 tries, 2901 fired transitions, 770 secs || 2824 markings, 2823 edges, 4 markings/sec, 770 secs
lola: STP completed || 1 tries, 2923 fired transitions, 775 secs || 2845 markings, 2844 edges, 4 markings/sec, 775 secs
lola: STP completed || 1 tries, 2944 fired transitions, 780 secs || 2866 markings, 2865 edges, 4 markings/sec, 780 secs
lola: STP completed || 1 tries, 2965 fired transitions, 785 secs || 2887 markings, 2886 edges, 4 markings/sec, 785 secs
lola: STP completed || 1 tries, 2985 fired transitions, 790 secs || 2908 markings, 2907 edges, 4 markings/sec, 790 secs
lola: STP completed || 1 tries, 3006 fired transitions, 795 secs || 2929 markings, 2928 edges, 4 markings/sec, 795 secs
lola: STP completed || 1 tries, 3026 fired transitions, 800 secs || 2948 markings, 2947 edges, 4 markings/sec, 800 secs
lola: STP completed || 1 tries, 3048 fired transitions, 805 secs || 2968 markings, 2967 edges, 4 markings/sec, 805 secs
lola: STP completed || 1 tries, 3070 fired transitions, 810 secs || 2990 markings, 2989 edges, 4 markings/sec, 810 secs
lola: STP completed || 1 tries, 3092 fired transitions, 815 secs || 3010 markings, 3009 edges, 4 markings/sec, 815 secs
lola: STP completed || 1 tries, 3114 fired transitions, 820 secs || 3032 markings, 3031 edges, 4 markings/sec, 820 secs
lola: STP completed || 1 tries, 3135 fired transitions, 825 secs || 3052 markings, 3051 edges, 4 markings/sec, 825 secs
lola: STP completed || 1 tries, 3157 fired transitions, 830 secs || 3074 markings, 3073 edges, 4 markings/sec, 830 secs
lola: STP completed || 1 tries, 3177 fired transitions, 835 secs || 3095 markings, 3094 edges, 4 markings/sec, 835 secs
lola: STP completed || 1 tries, 3198 fired transitions, 840 secs || 3117 markings, 3116 edges, 4 markings/sec, 840 secs
lola: STP completed || 1 tries, 3219 fired transitions, 845 secs || 3139 markings, 3138 edges, 4 markings/sec, 845 secs
lola: STP completed || 1 tries, 3241 fired transitions, 850 secs || 3161 markings, 3160 edges, 4 markings/sec, 850 secs
lola: STP completed || 1 tries, 3262 fired transitions, 855 secs || 3183 markings, 3182 edges, 4 markings/sec, 855 secs
lola: STP completed || 1 tries, 3284 fired transitions, 860 secs || 3206 markings, 3205 edges, 5 markings/sec, 860 secs
lola: STP completed || 1 tries, 3306 fired transitions, 865 secs || 3228 markings, 3227 edges, 4 markings/sec, 865 secs
lola: STP completed || 1 tries, 3328 fired transitions, 870 secs || 3250 markings, 3249 edges, 4 markings/sec, 870 secs
lola: STP completed || 1 tries, 3349 fired transitions, 875 secs || 3271 markings, 3270 edges, 4 markings/sec, 875 secs
lola: STP completed || 1 tries, 3371 fired transitions, 880 secs || 3293 markings, 3292 edges, 4 markings/sec, 880 secs
lola: STP completed || 1 tries, 3392 fired transitions, 885 secs || 3314 markings, 3313 edges, 4 markings/sec, 885 secs
lola: STP completed || 1 tries, 3414 fired transitions, 890 secs || 3335 markings, 3334 edges, 4 markings/sec, 890 secs
lola: STP completed || 1 tries, 3436 fired transitions, 895 secs || 3356 markings, 3355 edges, 4 markings/sec, 895 secs
lola: STP completed || 1 tries, 3459 fired transitions, 900 secs || 3378 markings, 3377 edges, 4 markings/sec, 900 secs
lola: STP completed || 1 tries, 3481 fired transitions, 905 secs || 3399 markings, 3398 edges, 4 markings/sec, 905 secs
lola: STP completed || 1 tries, 3504 fired transitions, 910 secs || 3420 markings, 3419 edges, 4 markings/sec, 910 secs
lola: STP completed || 1 tries, 3527 fired transitions, 915 secs || 3441 markings, 3440 edges, 4 markings/sec, 915 secs
lola: STP completed || 1 tries, 3549 fired transitions, 920 secs || 3462 markings, 3461 edges, 4 markings/sec, 920 secs
lola: STP completed || 1 tries, 3569 fired transitions, 925 secs || 3483 markings, 3482 edges, 4 markings/sec, 925 secs
lola: STP completed || 1 tries, 3591 fired transitions, 930 secs || 3504 markings, 3503 edges, 4 markings/sec, 930 secs
lola: STP completed || 1 tries, 3612 fired transitions, 935 secs || 3526 markings, 3525 edges, 4 markings/sec, 935 secs
lola: STP completed || 1 tries, 3634 fired transitions, 940 secs || 3546 markings, 3545 edges, 4 markings/sec, 940 secs
lola: STP completed || 1 tries, 3656 fired transitions, 945 secs || 3567 markings, 3566 edges, 4 markings/sec, 945 secs
lola: STP completed || 1 tries, 3678 fired transitions, 950 secs || 3588 markings, 3588 edges, 4 markings/sec, 950 secs
lola: STP completed || 1 tries, 3699 fired transitions, 955 secs || 3609 markings, 3609 edges, 4 markings/sec, 955 secs
lola: STP completed || 1 tries, 3721 fired transitions, 960 secs || 3630 markings, 3630 edges, 4 markings/sec, 960 secs
lola: STP completed || 1 tries, 3743 fired transitions, 965 secs || 3651 markings, 3651 edges, 4 markings/sec, 965 secs
lola: STP completed || 1 tries, 3764 fired transitions, 970 secs || 3672 markings, 3672 edges, 4 markings/sec, 970 secs
lola: STP completed || 1 tries, 3786 fired transitions, 975 secs || 3693 markings, 3693 edges, 4 markings/sec, 975 secs
lola: STP completed || 1 tries, 3807 fired transitions, 980 secs || 3714 markings, 3714 edges, 4 markings/sec, 980 secs
lola: STP completed || 1 tries, 3829 fired transitions, 985 secs || 3735 markings, 3735 edges, 4 markings/sec, 985 secs
lola: STP completed || 1 tries, 3850 fired transitions, 990 secs || 3756 markings, 3756 edges, 4 markings/sec, 990 secs
lola: STP completed || 1 tries, 3871 fired transitions, 995 secs || 3777 markings, 3777 edges, 4 markings/sec, 995 secs
lola: STP completed || 1 tries, 3893 fired transitions, 1000 secs || 3798 markings, 3798 edges, 4 markings/sec, 1000 secs
lola: STP completed || 1 tries, 3915 fired transitions, 1005 secs || 3819 markings, 3819 edges, 4 markings/sec, 1005 secs
lola: STP completed || 1 tries, 3936 fired transitions, 1010 secs || 3840 markings, 3840 edges, 4 markings/sec, 1010 secs
lola: STP completed || 1 tries, 3957 fired transitions, 1015 secs || 3860 markings, 3860 edges, 4 markings/sec, 1015 secs
lola: STP completed || 1 tries, 3978 fired transitions, 1020 secs || 3880 markings, 3880 edges, 4 markings/sec, 1020 secs
lola: STP completed || 1 tries, 3997 fired transitions, 1025 secs || 3899 markings, 3904 edges, 4 markings/sec, 1025 secs
lola: STP completed || 1 tries, 4019 fired transitions, 1030 secs || 3919 markings, 3924 edges, 4 markings/sec, 1030 secs
lola: STP completed || 1 tries, 4041 fired transitions, 1035 secs || 3939 markings, 3944 edges, 4 markings/sec, 1035 secs
lola: STP completed || 1 tries, 4063 fired transitions, 1040 secs || 3960 markings, 3965 edges, 4 markings/sec, 1040 secs
lola: STP completed || 1 tries, 4077 fired transitions, 1045 secs || 3974 markings, 3979 edges, 3 markings/sec, 1045 secs
lola: STP completed || 1 tries, 4088 fired transitions, 1050 secs || 3985 markings, 3990 edges, 2 markings/sec, 1050 secs
lola: STP completed || 1 tries, 4099 fired transitions, 1055 secs || 3996 markings, 4001 edges, 2 markings/sec, 1055 secs
lola: STP completed || 1 tries, 4110 fired transitions, 1060 secs || 4007 markings, 4012 edges, 2 markings/sec, 1060 secs
lola: STP completed || 1 tries, 4121 fired transitions, 1065 secs || 4018 markings, 4023 edges, 2 markings/sec, 1065 secs
lola: STP completed || 1 tries, 4132 fired transitions, 1070 secs || 4029 markings, 4035 edges, 2 markings/sec, 1070 secs
lola: STP completed || 1 tries, 4143 fired transitions, 1075 secs || 4040 markings, 4046 edges, 2 markings/sec, 1075 secs
lola: STP completed || 1 tries, 4154 fired transitions, 1080 secs || 4051 markings, 4057 edges, 2 markings/sec, 1080 secs
lola: STP completed || 1 tries, 4165 fired transitions, 1085 secs || 4062 markings, 4068 edges, 2 markings/sec, 1085 secs
lola: STP completed || 1 tries, 4176 fired transitions, 1090 secs || 4073 markings, 4079 edges, 2 markings/sec, 1090 secs
lola: STP completed || 1 tries, 4189 fired transitions, 1095 secs || 4085 markings, 4091 edges, 2 markings/sec, 1095 secs
lola: STP completed || 1 tries, 4210 fired transitions, 1100 secs || 4106 markings, 4112 edges, 4 markings/sec, 1100 secs
lola: STP completed || 1 tries, 4231 fired transitions, 1105 secs || 4127 markings, 4133 edges, 4 markings/sec, 1105 secs
lola: STP completed || 1 tries, 4252 fired transitions, 1110 secs || 4148 markings, 4154 edges, 4 markings/sec, 1110 secs
lola: STP completed || 1 tries, 4273 fired transitions, 1115 secs || 4170 markings, 4176 edges, 4 markings/sec, 1115 secs
lola: STP completed || 1 tries, 4292 fired transitions, 1120 secs || 4188 markings, 4194 edges, 4 markings/sec, 1120 secs
lola: STP completed || 1 tries, 4314 fired transitions, 1125 secs || 4209 markings, 4215 edges, 4 markings/sec, 1125 secs
lola: STP completed || 1 tries, 4335 fired transitions, 1130 secs || 4232 markings, 4238 edges, 5 markings/sec, 1130 secs
lola: STP completed || 1 tries, 4357 fired transitions, 1135 secs || 4254 markings, 4260 edges, 4 markings/sec, 1135 secs
lola: STP completed || 1 tries, 4379 fired transitions, 1140 secs || 4276 markings, 4282 edges, 4 markings/sec, 1140 secs
lola: STP completed || 1 tries, 4400 fired transitions, 1145 secs || 4298 markings, 4304 edges, 4 markings/sec, 1145 secs
lola: STP completed || 1 tries, 4422 fired transitions, 1150 secs || 4319 markings, 4325 edges, 4 markings/sec, 1150 secs
lola: STP completed || 1 tries, 4444 fired transitions, 1155 secs || 4341 markings, 4347 edges, 4 markings/sec, 1155 secs
lola: STP completed || 1 tries, 4466 fired transitions, 1160 secs || 4362 markings, 4368 edges, 4 markings/sec, 1160 secs
lola: STP completed || 1 tries, 4489 fired transitions, 1165 secs || 4384 markings, 4390 edges, 4 markings/sec, 1165 secs
lola: STP completed || 1 tries, 4511 fired transitions, 1170 secs || 4405 markings, 4411 edges, 4 markings/sec, 1170 secs
lola: STP completed || 1 tries, 4533 fired transitions, 1175 secs || 4427 markings, 4433 edges, 4 markings/sec, 1175 secs
lola: STP completed || 1 tries, 4555 fired transitions, 1180 secs || 4448 markings, 4454 edges, 4 markings/sec, 1180 secs
lola: STP completed || 1 tries, 4577 fired transitions, 1185 secs || 4468 markings, 4474 edges, 4 markings/sec, 1185 secs
lola: STP completed || 1 tries, 4599 fired transitions, 1190 secs || 4489 markings, 4495 edges, 4 markings/sec, 1190 secs
lola: STP completed || 1 tries, 4622 fired transitions, 1195 secs || 4510 markings, 4516 edges, 4 markings/sec, 1195 secs
lola: STP completed || 1 tries, 4636 fired transitions, 1200 secs || 4524 markings, 4530 edges, 3 markings/sec, 1200 secs
lola: STP completed || 1 tries, 4645 fired transitions, 1205 secs || 4534 markings, 4540 edges, 2 markings/sec, 1205 secs
lola: STP completed || 1 tries, 4654 fired transitions, 1210 secs || 4543 markings, 4549 edges, 2 markings/sec, 1210 secs
lola: STP completed || 1 tries, 4664 fired transitions, 1215 secs || 4553 markings, 4559 edges, 2 markings/sec, 1215 secs
lola: STP completed || 1 tries, 4673 fired transitions, 1220 secs || 4563 markings, 4569 edges, 2 markings/sec, 1220 secs
lola: STP completed || 1 tries, 4683 fired transitions, 1225 secs || 4572 markings, 4578 edges, 2 markings/sec, 1225 secs
lola: STP completed || 1 tries, 4692 fired transitions, 1230 secs || 4582 markings, 4588 edges, 2 markings/sec, 1230 secs
lola: STP completed || 1 tries, 4701 fired transitions, 1235 secs || 4591 markings, 4597 edges, 2 markings/sec, 1235 secs
lola: STP completed || 1 tries, 4711 fired transitions, 1240 secs || 4600 markings, 4606 edges, 2 markings/sec, 1240 secs
lola: STP completed || 1 tries, 4720 fired transitions, 1245 secs || 4609 markings, 4615 edges, 2 markings/sec, 1245 secs
lola: STP completed || 1 tries, 4729 fired transitions, 1250 secs || 4619 markings, 4625 edges, 2 markings/sec, 1250 secs
lola: STP completed || 1 tries, 4739 fired transitions, 1255 secs || 4629 markings, 4635 edges, 2 markings/sec, 1255 secs
lola: STP completed || 1 tries, 4748 fired transitions, 1260 secs || 4638 markings, 4644 edges, 2 markings/sec, 1260 secs
lola: STP completed || 1 tries, 4758 fired transitions, 1265 secs || 4648 markings, 4654 edges, 2 markings/sec, 1265 secs
lola: STP completed || 1 tries, 4768 fired transitions, 1270 secs || 4658 markings, 4664 edges, 2 markings/sec, 1270 secs
lola: STP completed || 1 tries, 4781 fired transitions, 1275 secs || 4671 markings, 4677 edges, 3 markings/sec, 1275 secs
lola: STP completed || 1 tries, 4802 fired transitions, 1280 secs || 4692 markings, 4698 edges, 4 markings/sec, 1280 secs
lola: STP completed || 1 tries, 4824 fired transitions, 1285 secs || 4714 markings, 4720 edges, 4 markings/sec, 1285 secs
lola: STP completed || 1 tries, 4846 fired transitions, 1290 secs || 4735 markings, 4741 edges, 4 markings/sec, 1290 secs
lola: STP completed || 1 tries, 4868 fired transitions, 1295 secs || 4757 markings, 4763 edges, 4 markings/sec, 1295 secs
lola: STP completed || 1 tries, 4890 fired transitions, 1300 secs || 4779 markings, 4786 edges, 4 markings/sec, 1300 secs
lola: STP completed || 1 tries, 4912 fired transitions, 1305 secs || 4802 markings, 4809 edges, 5 markings/sec, 1305 secs
lola: STP completed || 1 tries, 4934 fired transitions, 1310 secs || 4824 markings, 4831 edges, 4 markings/sec, 1310 secs
lola: STP completed || 1 tries, 4956 fired transitions, 1315 secs || 4844 markings, 4851 edges, 4 markings/sec, 1315 secs
lola: STP completed || 1 tries, 4977 fired transitions, 1320 secs || 4866 markings, 4873 edges, 4 markings/sec, 1320 secs
lola: STP completed || 1 tries, 4998 fired transitions, 1325 secs || 4888 markings, 4895 edges, 4 markings/sec, 1325 secs
lola: STP completed || 1 tries, 5019 fired transitions, 1330 secs || 4910 markings, 4917 edges, 4 markings/sec, 1330 secs
lola: STP completed || 1 tries, 5040 fired transitions, 1335 secs || 4932 markings, 4939 edges, 4 markings/sec, 1335 secs
lola: STP completed || 1 tries, 5062 fired transitions, 1340 secs || 4954 markings, 4961 edges, 4 markings/sec, 1340 secs
lola: STP completed || 1 tries, 5084 fired transitions, 1345 secs || 4975 markings, 4982 edges, 4 markings/sec, 1345 secs
lola: STP completed || 1 tries, 5105 fired transitions, 1350 secs || 4997 markings, 5004 edges, 4 markings/sec, 1350 secs
lola: STP completed || 1 tries, 5126 fired transitions, 1355 secs || 5018 markings, 5025 edges, 4 markings/sec, 1355 secs
lola: STP completed || 1 tries, 5147 fired transitions, 1360 secs || 5040 markings, 5047 edges, 4 markings/sec, 1360 secs
lola: STP completed || 1 tries, 5168 fired transitions, 1365 secs || 5062 markings, 5069 edges, 4 markings/sec, 1365 secs
lola: STP completed || 1 tries, 5189 fired transitions, 1370 secs || 5084 markings, 5091 edges, 4 markings/sec, 1370 secs
lola: STP completed || 1 tries, 5211 fired transitions, 1375 secs || 5106 markings, 5113 edges, 4 markings/sec, 1375 secs
lola: STP completed || 1 tries, 5225 fired transitions, 1380 secs || 5122 markings, 5129 edges, 3 markings/sec, 1380 secs
lola: STP completed || 1 tries, 5244 fired transitions, 1385 secs || 5142 markings, 5149 edges, 4 markings/sec, 1385 secs
lola: STP completed || 1 tries, 5265 fired transitions, 1390 secs || 5164 markings, 5171 edges, 4 markings/sec, 1390 secs
lola: STP completed || 1 tries, 5286 fired transitions, 1395 secs || 5186 markings, 5193 edges, 4 markings/sec, 1395 secs
lola: STP completed || 1 tries, 5307 fired transitions, 1400 secs || 5207 markings, 5214 edges, 4 markings/sec, 1400 secs
lola: STP completed || 1 tries, 5328 fired transitions, 1405 secs || 5229 markings, 5236 edges, 4 markings/sec, 1405 secs
lola: STP completed || 1 tries, 5349 fired transitions, 1410 secs || 5250 markings, 5257 edges, 4 markings/sec, 1410 secs
lola: STP completed || 1 tries, 5370 fired transitions, 1415 secs || 5272 markings, 5279 edges, 4 markings/sec, 1415 secs
lola: STP completed || 1 tries, 5392 fired transitions, 1420 secs || 5294 markings, 5301 edges, 4 markings/sec, 1420 secs
lola: STP completed || 1 tries, 5413 fired transitions, 1425 secs || 5315 markings, 5322 edges, 4 markings/sec, 1425 secs
lola: STP completed || 1 tries, 5434 fired transitions, 1430 secs || 5337 markings, 5344 edges, 4 markings/sec, 1430 secs
lola: STP completed || 1 tries, 5455 fired transitions, 1435 secs || 5358 markings, 5365 edges, 4 markings/sec, 1435 secs
lola: STP completed || 1 tries, 5476 fired transitions, 1440 secs || 5380 markings, 5387 edges, 4 markings/sec, 1440 secs
lola: STP completed || 1 tries, 5497 fired transitions, 1445 secs || 5401 markings, 5408 edges, 4 markings/sec, 1445 secs
lola: STP completed || 1 tries, 5518 fired transitions, 1450 secs || 5422 markings, 5429 edges, 4 markings/sec, 1450 secs
lola: STP completed || 1 tries, 5540 fired transitions, 1455 secs || 5443 markings, 5450 edges, 4 markings/sec, 1455 secs
lola: STP completed || 1 tries, 5561 fired transitions, 1460 secs || 5464 markings, 5471 edges, 4 markings/sec, 1460 secs
lola: STP completed || 1 tries, 5583 fired transitions, 1465 secs || 5485 markings, 5492 edges, 4 markings/sec, 1465 secs
lola: STP completed || 1 tries, 5604 fired transitions, 1470 secs || 5506 markings, 5513 edges, 4 markings/sec, 1470 secs
lola: STP completed || 1 tries, 5625 fired transitions, 1475 secs || 5527 markings, 5534 edges, 4 markings/sec, 1475 secs
lola: STP completed || 1 tries, 5646 fired transitions, 1480 secs || 5548 markings, 5555 edges, 4 markings/sec, 1480 secs
lola: STP completed || 1 tries, 5668 fired transitions, 1485 secs || 5570 markings, 5577 edges, 4 markings/sec, 1485 secs
lola: STP completed || 1 tries, 5689 fired transitions, 1490 secs || 5591 markings, 5598 edges, 4 markings/sec, 1490 secs
lola: STP completed || 1 tries, 5710 fired transitions, 1495 secs || 5613 markings, 5620 edges, 4 markings/sec, 1495 secs
lola: STP completed || 1 tries, 5731 fired transitions, 1500 secs || 5635 markings, 5642 edges, 4 markings/sec, 1500 secs
lola: STP completed || 1 tries, 5752 fired transitions, 1505 secs || 5656 markings, 5663 edges, 4 markings/sec, 1505 secs
lola: STP completed || 1 tries, 5773 fired transitions, 1510 secs || 5678 markings, 5685 edges, 4 markings/sec, 1510 secs
lola: STP completed || 1 tries, 5794 fired transitions, 1515 secs || 5700 markings, 5707 edges, 4 markings/sec, 1515 secs
lola: STP completed || 1 tries, 5815 fired transitions, 1520 secs || 5721 markings, 5728 edges, 4 markings/sec, 1520 secs
lola: STP completed || 1 tries, 5836 fired transitions, 1525 secs || 5743 markings, 5750 edges, 4 markings/sec, 1525 secs
lola: STP completed || 1 tries, 5856 fired transitions, 1530 secs || 5765 markings, 5772 edges, 4 markings/sec, 1530 secs
lola: STP completed || 1 tries, 5877 fired transitions, 1535 secs || 5787 markings, 5794 edges, 4 markings/sec, 1535 secs
lola: STP completed || 1 tries, 5897 fired transitions, 1540 secs || 5809 markings, 5816 edges, 4 markings/sec, 1540 secs
lola: STP completed || 1 tries, 5915 fired transitions, 1545 secs || 5828 markings, 5835 edges, 4 markings/sec, 1545 secs
lola: STP completed || 1 tries, 5928 fired transitions, 1550 secs || 5842 markings, 5849 edges, 3 markings/sec, 1550 secs
lola: STP completed || 1 tries, 5948 fired transitions, 1555 secs || 5862 markings, 5869 edges, 4 markings/sec, 1555 secs
lola: STP completed || 1 tries, 5969 fired transitions, 1560 secs || 5885 markings, 5892 edges, 5 markings/sec, 1560 secs
lola: STP completed || 1 tries, 5990 fired transitions, 1565 secs || 5905 markings, 5912 edges, 4 markings/sec, 1565 secs
lola: STP completed || 1 tries, 6011 fired transitions, 1570 secs || 5927 markings, 5934 edges, 4 markings/sec, 1570 secs
lola: STP completed || 1 tries, 6030 fired transitions, 1575 secs || 5946 markings, 5953 edges, 4 markings/sec, 1575 secs
lola: STP completed || 1 tries, 6052 fired transitions, 1580 secs || 5968 markings, 5975 edges, 4 markings/sec, 1580 secs
lola: STP completed || 1 tries, 6072 fired transitions, 1585 secs || 5991 markings, 5998 edges, 5 markings/sec, 1585 secs
lola: STP completed || 1 tries, 6094 fired transitions, 1590 secs || 6014 markings, 6021 edges, 5 markings/sec, 1590 secs
lola: STP completed || 1 tries, 6114 fired transitions, 1595 secs || 6037 markings, 6044 edges, 5 markings/sec, 1595 secs
lola: STP completed || 1 tries, 6135 fired transitions, 1600 secs || 6060 markings, 6067 edges, 5 markings/sec, 1600 secs
lola: STP completed || 1 tries, 6155 fired transitions, 1605 secs || 6083 markings, 6090 edges, 5 markings/sec, 1605 secs
lola: STP completed || 1 tries, 6172 fired transitions, 1610 secs || 6102 markings, 6109 edges, 4 markings/sec, 1610 secs
lola: STP completed || 1 tries, 6192 fired transitions, 1615 secs || 6125 markings, 6132 edges, 5 markings/sec, 1615 secs
lola: STP completed || 1 tries, 6212 fired transitions, 1620 secs || 6147 markings, 6154 edges, 4 markings/sec, 1620 secs
lola: STP completed || 1 tries, 6232 fired transitions, 1625 secs || 6169 markings, 6176 edges, 4 markings/sec, 1625 secs
lola: STP completed || 1 tries, 6252 fired transitions, 1630 secs || 6191 markings, 6198 edges, 4 markings/sec, 1630 secs
lola: STP completed || 1 tries, 6273 fired transitions, 1635 secs || 6213 markings, 6220 edges, 4 markings/sec, 1635 secs
lola: STP completed || 1 tries, 6293 fired transitions, 1640 secs || 6235 markings, 6242 edges, 4 markings/sec, 1640 secs
lola: STP completed || 1 tries, 6314 fired transitions, 1645 secs || 6257 markings, 6264 edges, 4 markings/sec, 1645 secs
lola: STP completed || 1 tries, 6334 fired transitions, 1650 secs || 6279 markings, 6286 edges, 4 markings/sec, 1650 secs
lola: STP completed || 1 tries, 6355 fired transitions, 1655 secs || 6301 markings, 6308 edges, 4 markings/sec, 1655 secs
lola: STP completed || 1 tries, 6375 fired transitions, 1660 secs || 6324 markings, 6331 edges, 5 markings/sec, 1660 secs
lola: STP completed || 1 tries, 6395 fired transitions, 1665 secs || 6345 markings, 6352 edges, 4 markings/sec, 1665 secs
lola: STP completed || 1 tries, 6415 fired transitions, 1670 secs || 6366 markings, 6373 edges, 4 markings/sec, 1670 secs
lola: STP completed || 1 tries, 6435 fired transitions, 1675 secs || 6388 markings, 6395 edges, 4 markings/sec, 1675 secs
lola: STP completed || 1 tries, 6456 fired transitions, 1680 secs || 6409 markings, 6416 edges, 4 markings/sec, 1680 secs
lola: STP completed || 1 tries, 6477 fired transitions, 1685 secs || 6431 markings, 6438 edges, 4 markings/sec, 1685 secs
lola: STP completed || 1 tries, 6497 fired transitions, 1690 secs || 6449 markings, 6456 edges, 4 markings/sec, 1690 secs
lola: STP completed || 1 tries, 6515 fired transitions, 1695 secs || 6469 markings, 6476 edges, 4 markings/sec, 1695 secs
lola: STP completed || 1 tries, 6529 fired transitions, 1700 secs || 6483 markings, 6490 edges, 3 markings/sec, 1700 secs
lola: STP completed || 1 tries, 6551 fired transitions, 1705 secs || 6504 markings, 6511 edges, 4 markings/sec, 1705 secs
lola: STP completed || 1 tries, 6572 fired transitions, 1710 secs || 6525 markings, 6532 edges, 4 markings/sec, 1710 secs
lola: STP completed || 1 tries, 6593 fired transitions, 1715 secs || 6545 markings, 6552 edges, 4 markings/sec, 1715 secs
lola: STP completed || 1 tries, 6615 fired transitions, 1720 secs || 6566 markings, 6573 edges, 4 markings/sec, 1720 secs
lola: STP completed || 1 tries, 6636 fired transitions, 1725 secs || 6587 markings, 6594 edges, 4 markings/sec, 1725 secs
lola: STP completed || 1 tries, 6657 fired transitions, 1730 secs || 6608 markings, 6615 edges, 4 markings/sec, 1730 secs
lola: STP completed || 1 tries, 6678 fired transitions, 1735 secs || 6630 markings, 6637 edges, 4 markings/sec, 1735 secs
lola: STP completed || 1 tries, 6699 fired transitions, 1740 secs || 6651 markings, 6658 edges, 4 markings/sec, 1740 secs
lola: STP completed || 1 tries, 6719 fired transitions, 1745 secs || 6672 markings, 6679 edges, 4 markings/sec, 1745 secs
lola: STP completed || 1 tries, 6740 fired transitions, 1750 secs || 6694 markings, 6701 edges, 4 markings/sec, 1750 secs
lola: STP completed || 1 tries, 6762 fired transitions, 1755 secs || 6717 markings, 6724 edges, 5 markings/sec, 1755 secs
lola: STP completed || 1 tries, 6783 fired transitions, 1760 secs || 6739 markings, 6746 edges, 4 markings/sec, 1760 secs
lola: STP completed || 1 tries, 6805 fired transitions, 1765 secs || 6761 markings, 6768 edges, 4 markings/sec, 1765 secs
lola: STP completed || 1 tries, 6817 fired transitions, 1770 secs || 6774 markings, 6781 edges, 3 markings/sec, 1770 secs
lola: STP completed || 1 tries, 6828 fired transitions, 1775 secs || 6785 markings, 6792 edges, 2 markings/sec, 1775 secs
lola: STP completed || 1 tries, 6840 fired transitions, 1780 secs || 6797 markings, 6804 edges, 2 markings/sec, 1780 secs
lola: STP completed || 1 tries, 6852 fired transitions, 1785 secs || 6809 markings, 6816 edges, 2 markings/sec, 1785 secs
lola: STP completed || 1 tries, 6864 fired transitions, 1790 secs || 6821 markings, 6828 edges, 2 markings/sec, 1790 secs
lola: STP completed || 1 tries, 6875 fired transitions, 1795 secs || 6832 markings, 6839 edges, 2 markings/sec, 1795 secs
lola: STP completed || 1 tries, 6886 fired transitions, 1800 secs || 6843 markings, 6850 edges, 2 markings/sec, 1800 secs
lola: STP completed || 1 tries, 6898 fired transitions, 1805 secs || 6855 markings, 6862 edges, 2 markings/sec, 1805 secs
lola: STP completed || 1 tries, 6910 fired transitions, 1810 secs || 6867 markings, 6874 edges, 2 markings/sec, 1810 secs
lola: STP completed || 1 tries, 6921 fired transitions, 1815 secs || 6878 markings, 6885 edges, 2 markings/sec, 1815 secs
lola: STP completed || 1 tries, 6933 fired transitions, 1820 secs || 6890 markings, 6897 edges, 2 markings/sec, 1820 secs
lola: STP completed || 1 tries, 6944 fired transitions, 1825 secs || 6901 markings, 6908 edges, 2 markings/sec, 1825 secs
lola: STP completed || 1 tries, 6955 fired transitions, 1830 secs || 6912 markings, 6919 edges, 2 markings/sec, 1830 secs
lola: STP completed || 1 tries, 6967 fired transitions, 1835 secs || 6924 markings, 6931 edges, 2 markings/sec, 1835 secs
lola: STP completed || 1 tries, 6981 fired transitions, 1840 secs || 6938 markings, 6945 edges, 3 markings/sec, 1840 secs
lola: STP completed || 1 tries, 6992 fired transitions, 1845 secs || 6950 markings, 6957 edges, 2 markings/sec, 1845 secs
lola: STP completed || 1 tries, 7012 fired transitions, 1850 secs || 6970 markings, 6977 edges, 4 markings/sec, 1850 secs
lola: STP completed || 1 tries, 7023 fired transitions, 1855 secs || 6981 markings, 6988 edges, 2 markings/sec, 1855 secs
lola: STP completed || 1 tries, 7035 fired transitions, 1860 secs || 6993 markings, 7000 edges, 2 markings/sec, 1860 secs
lola: STP completed || 1 tries, 7054 fired transitions, 1865 secs || 7011 markings, 7018 edges, 4 markings/sec, 1865 secs
lola: STP completed || 1 tries, 7077 fired transitions, 1870 secs || 7032 markings, 7039 edges, 4 markings/sec, 1870 secs
lola: STP completed || 1 tries, 7093 fired transitions, 1875 secs || 7049 markings, 7056 edges, 3 markings/sec, 1875 secs
lola: STP completed || 1 tries, 7105 fired transitions, 1880 secs || 7061 markings, 7068 edges, 2 markings/sec, 1880 secs
lola: STP completed || 1 tries, 7120 fired transitions, 1885 secs || 7077 markings, 7084 edges, 3 markings/sec, 1885 secs
lola: STP completed || 1 tries, 7141 fired transitions, 1890 secs || 7100 markings, 7107 edges, 5 markings/sec, 1890 secs
lola: STP completed || 1 tries, 7163 fired transitions, 1895 secs || 7123 markings, 7130 edges, 5 markings/sec, 1895 secs
lola: STP completed || 1 tries, 7184 fired transitions, 1900 secs || 7144 markings, 7151 edges, 4 markings/sec, 1900 secs
lola: STP completed || 1 tries, 7205 fired transitions, 1905 secs || 7166 markings, 7173 edges, 4 markings/sec, 1905 secs
lola: STP completed || 1 tries, 7226 fired transitions, 1910 secs || 7190 markings, 7197 edges, 5 markings/sec, 1910 secs
lola: STP completed || 1 tries, 7247 fired transitions, 1915 secs || 7212 markings, 7219 edges, 4 markings/sec, 1915 secs
lola: STP completed || 1 tries, 7268 fired transitions, 1920 secs || 7235 markings, 7242 edges, 5 markings/sec, 1920 secs
lola: STP completed || 1 tries, 7285 fired transitions, 1925 secs || 7254 markings, 7261 edges, 4 markings/sec, 1925 secs
lola: STP completed || 1 tries, 7296 fired transitions, 1930 secs || 7265 markings, 7272 edges, 2 markings/sec, 1930 secs
lola: STP completed || 1 tries, 7308 fired transitions, 1935 secs || 7277 markings, 7284 edges, 2 markings/sec, 1935 secs
lola: STP completed || 1 tries, 7319 fired transitions, 1940 secs || 7288 markings, 7295 edges, 2 markings/sec, 1940 secs
lola: STP completed || 1 tries, 7330 fired transitions, 1945 secs || 7299 markings, 7306 edges, 2 markings/sec, 1945 secs
lola: STP completed || 1 tries, 7341 fired transitions, 1950 secs || 7310 markings, 7317 edges, 2 markings/sec, 1950 secs
lola: STP completed || 1 tries, 7352 fired transitions, 1955 secs || 7321 markings, 7328 edges, 2 markings/sec, 1955 secs
lola: STP completed || 1 tries, 7363 fired transitions, 1960 secs || 7332 markings, 7339 edges, 2 markings/sec, 1960 secs
lola: STP completed || 1 tries, 7374 fired transitions, 1965 secs || 7343 markings, 7350 edges, 2 markings/sec, 1965 secs
lola: STP completed || 1 tries, 7386 fired transitions, 1970 secs || 7355 markings, 7362 edges, 2 markings/sec, 1970 secs
lola: STP completed || 1 tries, 7402 fired transitions, 1975 secs || 7371 markings, 7378 edges, 3 markings/sec, 1975 secs
lola: STP completed || 1 tries, 7417 fired transitions, 1980 secs || 7386 markings, 7393 edges, 3 markings/sec, 1980 secs
lola: STP completed || 1 tries, 7431 fired transitions, 1985 secs || 7400 markings, 7407 edges, 3 markings/sec, 1985 secs
lola: STP completed || 1 tries, 7448 fired transitions, 1990 secs || 7418 markings, 7425 edges, 4 markings/sec, 1990 secs
lola: STP completed || 1 tries, 7469 fired transitions, 1995 secs || 7437 markings, 7444 edges, 4 markings/sec, 1995 secs
lola: STP completed || 1 tries, 7490 fired transitions, 2000 secs || 7459 markings, 7466 edges, 4 markings/sec, 2000 secs
lola: STP completed || 1 tries, 7509 fired transitions, 2005 secs || 7478 markings, 7485 edges, 4 markings/sec, 2005 secs
lola: STP completed || 1 tries, 7525 fired transitions, 2010 secs || 7493 markings, 7500 edges, 3 markings/sec, 2010 secs
lola: STP completed || 1 tries, 7546 fired transitions, 2015 secs || 7515 markings, 7522 edges, 4 markings/sec, 2015 secs
lola: STP completed || 1 tries, 7567 fired transitions, 2020 secs || 7538 markings, 7545 edges, 5 markings/sec, 2020 secs
lola: STP completed || 1 tries, 7588 fired transitions, 2025 secs || 7560 markings, 7567 edges, 4 markings/sec, 2025 secs
lola: STP completed || 1 tries, 7608 fired transitions, 2030 secs || 7579 markings, 7586 edges, 4 markings/sec, 2030 secs
lola: STP completed || 1 tries, 7630 fired transitions, 2035 secs || 7601 markings, 7608 edges, 4 markings/sec, 2035 secs
lola: STP completed || 1 tries, 7652 fired transitions, 2040 secs || 7623 markings, 7630 edges, 4 markings/sec, 2040 secs
lola: STP completed || 1 tries, 7671 fired transitions, 2045 secs || 7642 markings, 7649 edges, 4 markings/sec, 2045 secs
lola: STP completed || 1 tries, 7690 fired transitions, 2050 secs || 7663 markings, 7670 edges, 4 markings/sec, 2050 secs
lola: STP completed || 1 tries, 7709 fired transitions, 2055 secs || 7683 markings, 7690 edges, 4 markings/sec, 2055 secs
lola: STP completed || 1 tries, 7731 fired transitions, 2060 secs || 7706 markings, 7713 edges, 5 markings/sec, 2060 secs
lola: STP completed || 1 tries, 7752 fired transitions, 2065 secs || 7728 markings, 7735 edges, 4 markings/sec, 2065 secs
lola: STP completed || 1 tries, 7773 fired transitions, 2070 secs || 7750 markings, 7757 edges, 4 markings/sec, 2070 secs
lola: STP completed || 1 tries, 7794 fired transitions, 2075 secs || 7772 markings, 7779 edges, 4 markings/sec, 2075 secs
lola: STP completed || 1 tries, 7815 fired transitions, 2080 secs || 7795 markings, 7802 edges, 5 markings/sec, 2080 secs
lola: STP completed || 1 tries, 7830 fired transitions, 2085 secs || 7809 markings, 7816 edges, 3 markings/sec, 2085 secs
lola: STP completed || 1 tries, 7842 fired transitions, 2090 secs || 7822 markings, 7829 edges, 3 markings/sec, 2090 secs
lola: STP completed || 1 tries, 7862 fired transitions, 2095 secs || 7844 markings, 7851 edges, 4 markings/sec, 2095 secs
lola: STP completed || 1 tries, 7880 fired transitions, 2100 secs || 7861 markings, 7868 edges, 3 markings/sec, 2100 secs
lola: STP completed || 1 tries, 7901 fired transitions, 2105 secs || 7883 markings, 7890 edges, 4 markings/sec, 2105 secs
lola: STP completed || 1 tries, 7921 fired transitions, 2110 secs || 7905 markings, 7912 edges, 4 markings/sec, 2110 secs
lola: STP completed || 1 tries, 7942 fired transitions, 2115 secs || 7926 markings, 7933 edges, 4 markings/sec, 2115 secs
lola: STP completed || 1 tries, 7962 fired transitions, 2120 secs || 7947 markings, 7954 edges, 4 markings/sec, 2120 secs
lola: STP completed || 1 tries, 7983 fired transitions, 2125 secs || 7969 markings, 7976 edges, 4 markings/sec, 2125 secs
lola: STP completed || 1 tries, 8005 fired transitions, 2130 secs || 7991 markings, 7998 edges, 4 markings/sec, 2130 secs
lola: STP completed || 1 tries, 8027 fired transitions, 2135 secs || 8012 markings, 8019 edges, 4 markings/sec, 2135 secs
lola: STP completed || 1 tries, 8049 fired transitions, 2140 secs || 8034 markings, 8041 edges, 4 markings/sec, 2140 secs
lola: STP completed || 1 tries, 8067 fired transitions, 2145 secs || 8053 markings, 8060 edges, 4 markings/sec, 2145 secs
lola: STP completed || 1 tries, 8082 fired transitions, 2150 secs || 8069 markings, 8076 edges, 3 markings/sec, 2150 secs
lola: STP completed || 1 tries, 8101 fired transitions, 2155 secs || 8089 markings, 8096 edges, 4 markings/sec, 2155 secs
lola: STP completed || 1 tries, 8118 fired transitions, 2160 secs || 8107 markings, 8114 edges, 4 markings/sec, 2160 secs
lola: STP completed || 1 tries, 8136 fired transitions, 2165 secs || 8126 markings, 8133 edges, 4 markings/sec, 2165 secs
lola: STP completed || 1 tries, 8157 fired transitions, 2170 secs || 8147 markings, 8154 edges, 4 markings/sec, 2170 secs
lola: STP completed || 1 tries, 8178 fired transitions, 2175 secs || 8169 markings, 8176 edges, 4 markings/sec, 2175 secs
lola: STP completed || 1 tries, 8200 fired transitions, 2180 secs || 8190 markings, 8197 edges, 4 markings/sec, 2180 secs
lola: STP completed || 1 tries, 8221 fired transitions, 2185 secs || 8212 markings, 8219 edges, 4 markings/sec, 2185 secs
lola: STP completed || 1 tries, 8243 fired transitions, 2190 secs || 8234 markings, 8241 edges, 4 markings/sec, 2190 secs
lola: STP completed || 1 tries, 8264 fired transitions, 2195 secs || 8256 markings, 8263 edges, 4 markings/sec, 2195 secs
lola: STP completed || 1 tries, 8284 fired transitions, 2200 secs || 8279 markings, 8286 edges, 5 markings/sec, 2200 secs
lola: STP completed || 1 tries, 8305 fired transitions, 2205 secs || 8301 markings, 8308 edges, 4 markings/sec, 2205 secs
lola: STP completed || 1 tries, 8327 fired transitions, 2210 secs || 8322 markings, 8329 edges, 4 markings/sec, 2210 secs
lola: STP completed || 1 tries, 8348 fired transitions, 2215 secs || 8344 markings, 8351 edges, 4 markings/sec, 2215 secs
lola: STP completed || 1 tries, 8369 fired transitions, 2220 secs || 8366 markings, 8373 edges, 4 markings/sec, 2220 secs
lola: STP completed || 1 tries, 8390 fired transitions, 2225 secs || 8388 markings, 8395 edges, 4 markings/sec, 2225 secs
lola: STP completed || 1 tries, 8407 fired transitions, 2230 secs || 8404 markings, 8411 edges, 3 markings/sec, 2230 secs
lola: STP completed || 1 tries, 8429 fired transitions, 2235 secs || 8425 markings, 8432 edges, 4 markings/sec, 2235 secs
lola: STP completed || 1 tries, 8450 fired transitions, 2240 secs || 8447 markings, 8454 edges, 4 markings/sec, 2240 secs
lola: STP completed || 1 tries, 8470 fired transitions, 2245 secs || 8469 markings, 8476 edges, 4 markings/sec, 2245 secs
lola: STP completed || 1 tries, 8492 fired transitions, 2250 secs || 8491 markings, 8498 edges, 4 markings/sec, 2250 secs
lola: STP completed || 1 tries, 8513 fired transitions, 2255 secs || 8513 markings, 8520 edges, 4 markings/sec, 2255 secs
lola: STP completed || 1 tries, 8533 fired transitions, 2260 secs || 8534 markings, 8541 edges, 4 markings/sec, 2260 secs
lola: STP completed || 1 tries, 8554 fired transitions, 2265 secs || 8556 markings, 8563 edges, 4 markings/sec, 2265 secs
lola: STP completed || 1 tries, 8576 fired transitions, 2270 secs || 8577 markings, 8584 edges, 4 markings/sec, 2270 secs
lola: STP completed || 1 tries, 8597 fired transitions, 2275 secs || 8598 markings, 8605 edges, 4 markings/sec, 2275 secs
lola: STP completed || 1 tries, 8619 fired transitions, 2280 secs || 8619 markings, 8626 edges, 4 markings/sec, 2280 secs
lola: STP completed || 1 tries, 8641 fired transitions, 2285 secs || 8641 markings, 8648 edges, 4 markings/sec, 2285 secs
lola: STP completed || 1 tries, 8663 fired transitions, 2290 secs || 8662 markings, 8669 edges, 4 markings/sec, 2290 secs
lola: STP completed || 1 tries, 8684 fired transitions, 2295 secs || 8684 markings, 8692 edges, 4 markings/sec, 2295 secs
lola: STP completed || 1 tries, 8706 fired transitions, 2300 secs || 8707 markings, 8717 edges, 5 markings/sec, 2300 secs
lola: STP completed || 1 tries, 8729 fired transitions, 2305 secs || 8729 markings, 8741 edges, 4 markings/sec, 2305 secs
lola: STP completed || 1 tries, 8751 fired transitions, 2310 secs || 8751 markings, 8763 edges, 4 markings/sec, 2310 secs
lola: STP completed || 1 tries, 8773 fired transitions, 2315 secs || 8773 markings, 8785 edges, 4 markings/sec, 2315 secs
lola: STP completed || 1 tries, 8795 fired transitions, 2320 secs || 8795 markings, 8807 edges, 4 markings/sec, 2320 secs
lola: STP completed || 1 tries, 8818 fired transitions, 2325 secs || 8817 markings, 8829 edges, 4 markings/sec, 2325 secs
lola: STP completed || 1 tries, 8839 fired transitions, 2330 secs || 8839 markings, 8851 edges, 4 markings/sec, 2330 secs
lola: STP completed || 1 tries, 8861 fired transitions, 2335 secs || 8861 markings, 8873 edges, 4 markings/sec, 2335 secs
lola: STP completed || 1 tries, 8883 fired transitions, 2340 secs || 8883 markings, 8895 edges, 4 markings/sec, 2340 secs
lola: STP completed || 1 tries, 8905 fired transitions, 2345 secs || 8906 markings, 8918 edges, 5 markings/sec, 2345 secs
lola: STP completed || 1 tries, 8927 fired transitions, 2350 secs || 8928 markings, 8940 edges, 4 markings/sec, 2350 secs
lola: STP completed || 1 tries, 8949 fired transitions, 2355 secs || 8950 markings, 8962 edges, 4 markings/sec, 2355 secs
lola: STP completed || 1 tries, 8971 fired transitions, 2360 secs || 8973 markings, 8985 edges, 5 markings/sec, 2360 secs
lola: STP completed || 1 tries, 8994 fired transitions, 2365 secs || 8995 markings, 9007 edges, 4 markings/sec, 2365 secs
lola: STP completed || 1 tries, 9016 fired transitions, 2370 secs || 9017 markings, 9029 edges, 4 markings/sec, 2370 secs
lola: STP completed || 1 tries, 9038 fired transitions, 2375 secs || 9039 markings, 9051 edges, 4 markings/sec, 2375 secs
lola: STP completed || 1 tries, 9060 fired transitions, 2380 secs || 9061 markings, 9073 edges, 4 markings/sec, 2380 secs
lola: STP completed || 1 tries, 9082 fired transitions, 2385 secs || 9084 markings, 9096 edges, 5 markings/sec, 2385 secs
lola: STP completed || 1 tries, 9104 fired transitions, 2390 secs || 9106 markings, 9118 edges, 4 markings/sec, 2390 secs
lola: STP completed || 1 tries, 9126 fired transitions, 2395 secs || 9129 markings, 9141 edges, 5 markings/sec, 2395 secs
lola: STP completed || 1 tries, 9147 fired transitions, 2400 secs || 9151 markings, 9163 edges, 4 markings/sec, 2400 secs
lola: STP completed || 1 tries, 9168 fired transitions, 2405 secs || 9173 markings, 9185 edges, 4 markings/sec, 2405 secs
lola: STP completed || 1 tries, 9190 fired transitions, 2410 secs || 9194 markings, 9206 edges, 4 markings/sec, 2410 secs
lola: STP completed || 1 tries, 9211 fired transitions, 2415 secs || 9217 markings, 9229 edges, 5 markings/sec, 2415 secs
lola: STP completed || 1 tries, 9231 fired transitions, 2420 secs || 9239 markings, 9251 edges, 4 markings/sec, 2420 secs
lola: STP completed || 1 tries, 9251 fired transitions, 2425 secs || 9262 markings, 9274 edges, 5 markings/sec, 2425 secs
lola: STP completed || 1 tries, 9271 fired transitions, 2430 secs || 9284 markings, 9296 edges, 4 markings/sec, 2430 secs
lola: STP completed || 1 tries, 9292 fired transitions, 2435 secs || 9306 markings, 9318 edges, 4 markings/sec, 2435 secs
lola: STP completed || 1 tries, 9312 fired transitions, 2440 secs || 9328 markings, 9340 edges, 4 markings/sec, 2440 secs
lola: STP completed || 1 tries, 9333 fired transitions, 2445 secs || 9351 markings, 9363 edges, 5 markings/sec, 2445 secs
lola: STP completed || 1 tries, 9354 fired transitions, 2450 secs || 9373 markings, 9385 edges, 4 markings/sec, 2450 secs
lola: STP completed || 1 tries, 9374 fired transitions, 2455 secs || 9394 markings, 9406 edges, 4 markings/sec, 2455 secs
lola: STP completed || 1 tries, 9394 fired transitions, 2460 secs || 9416 markings, 9428 edges, 4 markings/sec, 2460 secs
lola: STP completed || 1 tries, 9408 fired transitions, 2465 secs || 9431 markings, 9443 edges, 3 markings/sec, 2465 secs
lola: STP completed || 1 tries, 9427 fired transitions, 2470 secs || 9451 markings, 9463 edges, 4 markings/sec, 2470 secs
lola: STP completed || 1 tries, 9447 fired transitions, 2475 secs || 9473 markings, 9485 edges, 4 markings/sec, 2475 secs
lola: STP completed || 1 tries, 9468 fired transitions, 2480 secs || 9494 markings, 9506 edges, 4 markings/sec, 2480 secs
lola: STP completed || 1 tries, 9489 fired transitions, 2485 secs || 9516 markings, 9528 edges, 4 markings/sec, 2485 secs
lola: STP completed || 1 tries, 9510 fired transitions, 2490 secs || 9537 markings, 9549 edges, 4 markings/sec, 2490 secs
lola: STP completed || 1 tries, 9532 fired transitions, 2495 secs || 9558 markings, 9570 edges, 4 markings/sec, 2495 secs
lola: STP completed || 1 tries, 9553 fired transitions, 2500 secs || 9579 markings, 9591 edges, 4 markings/sec, 2500 secs
lola: STP completed || 1 tries, 9572 fired transitions, 2505 secs || 9601 markings, 9613 edges, 4 markings/sec, 2505 secs
lola: STP completed || 1 tries, 9592 fired transitions, 2510 secs || 9622 markings, 9634 edges, 4 markings/sec, 2510 secs
lola: STP completed || 1 tries, 9613 fired transitions, 2515 secs || 9642 markings, 9655 edges, 4 markings/sec, 2515 secs
lola: STP completed || 1 tries, 9634 fired transitions, 2520 secs || 9663 markings, 9676 edges, 4 markings/sec, 2520 secs
lola: STP completed || 1 tries, 9655 fired transitions, 2525 secs || 9684 markings, 9697 edges, 4 markings/sec, 2525 secs
lola: STP completed || 1 tries, 9676 fired transitions, 2530 secs || 9706 markings, 9719 edges, 4 markings/sec, 2530 secs
lola: STP completed || 1 tries, 9696 fired transitions, 2535 secs || 9728 markings, 9741 edges, 4 markings/sec, 2535 secs
lola: STP completed || 1 tries, 9716 fired transitions, 2540 secs || 9749 markings, 9762 edges, 4 markings/sec, 2540 secs
lola: STP completed || 1 tries, 9737 fired transitions, 2545 secs || 9770 markings, 9783 edges, 4 markings/sec, 2545 secs
lola: STP completed || 1 tries, 9757 fired transitions, 2550 secs || 9791 markings, 9807 edges, 4 markings/sec, 2550 secs
lola: STP completed || 1 tries, 9779 fired transitions, 2555 secs || 9812 markings, 9828 edges, 4 markings/sec, 2555 secs
lola: STP completed || 1 tries, 9800 fired transitions, 2560 secs || 9833 markings, 9849 edges, 4 markings/sec, 2560 secs
lola: STP completed || 1 tries, 9821 fired transitions, 2565 secs || 9855 markings, 9871 edges, 4 markings/sec, 2565 secs
lola: STP completed || 1 tries, 9842 fired transitions, 2570 secs || 9876 markings, 9892 edges, 4 markings/sec, 2570 secs
lola: STP completed || 1 tries, 9863 fired transitions, 2575 secs || 9898 markings, 9914 edges, 4 markings/sec, 2575 secs
lola: STP completed || 1 tries, 9884 fired transitions, 2580 secs || 9920 markings, 9936 edges, 4 markings/sec, 2580 secs
lola: STP completed || 1 tries, 9905 fired transitions, 2585 secs || 9942 markings, 9958 edges, 4 markings/sec, 2585 secs
lola: STP completed || 1 tries, 9926 fired transitions, 2590 secs || 9963 markings, 9979 edges, 4 markings/sec, 2590 secs
lola: STP completed || 1 tries, 9947 fired transitions, 2595 secs || 9984 markings, 10000 edges, 4 markings/sec, 2595 secs
lola: STP completed || 1 tries, 9968 fired transitions, 2600 secs || 10005 markings, 10021 edges, 4 markings/sec, 2600 secs
lola: STP completed || 1 tries, 9989 fired transitions, 2605 secs || 10026 markings, 10042 edges, 4 markings/sec, 2605 secs
lola: STP completed || 1 tries, 10011 fired transitions, 2610 secs || 10047 markings, 10063 edges, 4 markings/sec, 2610 secs
lola: STP completed || 1 tries, 10032 fired transitions, 2615 secs || 10068 markings, 10084 edges, 4 markings/sec, 2615 secs
lola: STP completed || 1 tries, 10053 fired transitions, 2620 secs || 10090 markings, 10106 edges, 4 markings/sec, 2620 secs
lola: STP completed || 1 tries, 10074 fired transitions, 2625 secs || 10111 markings, 10127 edges, 4 markings/sec, 2625 secs
lola: STP completed || 1 tries, 10095 fired transitions, 2630 secs || 10133 markings, 10149 edges, 4 markings/sec, 2630 secs
lola: STP completed || 1 tries, 10116 fired transitions, 2635 secs || 10154 markings, 10170 edges, 4 markings/sec, 2635 secs
lola: STP completed || 1 tries, 10137 fired transitions, 2640 secs || 10175 markings, 10191 edges, 4 markings/sec, 2640 secs
lola: STP completed || 1 tries, 10159 fired transitions, 2645 secs || 10197 markings, 10213 edges, 4 markings/sec, 2645 secs
lola: STP completed || 1 tries, 10179 fired transitions, 2650 secs || 10219 markings, 10236 edges, 4 markings/sec, 2650 secs
lola: STP completed || 1 tries, 10201 fired transitions, 2655 secs || 10240 markings, 10257 edges, 4 markings/sec, 2655 secs
lola: STP completed || 1 tries, 10221 fired transitions, 2660 secs || 10261 markings, 10278 edges, 4 markings/sec, 2660 secs
lola: STP completed || 1 tries, 10243 fired transitions, 2665 secs || 10283 markings, 10300 edges, 4 markings/sec, 2665 secs
lola: STP completed || 1 tries, 10263 fired transitions, 2670 secs || 10303 markings, 10320 edges, 4 markings/sec, 2670 secs
lola: STP completed || 1 tries, 10284 fired transitions, 2675 secs || 10324 markings, 10341 edges, 4 markings/sec, 2675 secs
lola: STP completed || 1 tries, 10306 fired transitions, 2680 secs || 10345 markings, 10362 edges, 4 markings/sec, 2680 secs
lola: STP completed || 1 tries, 10328 fired transitions, 2685 secs || 10366 markings, 10383 edges, 4 markings/sec, 2685 secs
lola: STP completed || 1 tries, 10349 fired transitions, 2690 secs || 10387 markings, 10404 edges, 4 markings/sec, 2690 secs
lola: STP completed || 1 tries, 10371 fired transitions, 2695 secs || 10408 markings, 10425 edges, 4 markings/sec, 2695 secs
lola: STP completed || 1 tries, 10392 fired transitions, 2700 secs || 10429 markings, 10446 edges, 4 markings/sec, 2700 secs
lola: STP completed || 1 tries, 10413 fired transitions, 2705 secs || 10450 markings, 10467 edges, 4 markings/sec, 2705 secs
lola: STP completed || 1 tries, 10434 fired transitions, 2710 secs || 10471 markings, 10488 edges, 4 markings/sec, 2710 secs
lola: STP completed || 1 tries, 10455 fired transitions, 2715 secs || 10493 markings, 10510 edges, 4 markings/sec, 2715 secs
lola: STP completed || 1 tries, 10477 fired transitions, 2720 secs || 10513 markings, 10530 edges, 4 markings/sec, 2720 secs
lola: STP completed || 1 tries, 10498 fired transitions, 2725 secs || 10534 markings, 10551 edges, 4 markings/sec, 2725 secs
lola: STP completed || 1 tries, 10520 fired transitions, 2730 secs || 10555 markings, 10572 edges, 4 markings/sec, 2730 secs
lola: STP completed || 1 tries, 10542 fired transitions, 2735 secs || 10576 markings, 10593 edges, 4 markings/sec, 2735 secs
lola: STP completed || 1 tries, 10563 fired transitions, 2740 secs || 10598 markings, 10615 edges, 4 markings/sec, 2740 secs
lola: STP completed || 1 tries, 10585 fired transitions, 2745 secs || 10619 markings, 10636 edges, 4 markings/sec, 2745 secs
lola: STP completed || 1 tries, 10607 fired transitions, 2750 secs || 10640 markings, 10657 edges, 4 markings/sec, 2750 secs
lola: STP completed || 1 tries, 10628 fired transitions, 2755 secs || 10662 markings, 10679 edges, 4 markings/sec, 2755 secs
lola: STP completed || 1 tries, 10649 fired transitions, 2760 secs || 10683 markings, 10700 edges, 4 markings/sec, 2760 secs
lola: STP completed || 1 tries, 10670 fired transitions, 2765 secs || 10704 markings, 10721 edges, 4 markings/sec, 2765 secs
lola: STP completed || 1 tries, 10691 fired transitions, 2770 secs || 10726 markings, 10743 edges, 4 markings/sec, 2770 secs
lola: STP completed || 1 tries, 10713 fired transitions, 2775 secs || 10747 markings, 10769 edges, 4 markings/sec, 2775 secs
lola: STP completed || 1 tries, 10734 fired transitions, 2780 secs || 10767 markings, 10789 edges, 4 markings/sec, 2780 secs
lola: STP completed || 1 tries, 10754 fired transitions, 2785 secs || 10786 markings, 10808 edges, 4 markings/sec, 2785 secs
lola: STP completed || 1 tries, 10775 fired transitions, 2790 secs || 10808 markings, 10830 edges, 4 markings/sec, 2790 secs
lola: STP completed || 1 tries, 10796 fired transitions, 2795 secs || 10829 markings, 10851 edges, 4 markings/sec, 2795 secs
lola: STP completed || 1 tries, 10818 fired transitions, 2800 secs || 10851 markings, 10873 edges, 4 markings/sec, 2800 secs
lola: STP completed || 1 tries, 10839 fired transitions, 2805 secs || 10873 markings, 10895 edges, 4 markings/sec, 2805 secs
lola: STP completed || 1 tries, 10860 fired transitions, 2810 secs || 10895 markings, 10917 edges, 4 markings/sec, 2810 secs
lola: STP completed || 1 tries, 10881 fired transitions, 2815 secs || 10916 markings, 10938 edges, 4 markings/sec, 2815 secs
lola: STP completed || 1 tries, 10902 fired transitions, 2820 secs || 10938 markings, 10971 edges, 4 markings/sec, 2820 secs
lola: STP completed || 1 tries, 10924 fired transitions, 2825 secs || 10959 markings, 10992 edges, 4 markings/sec, 2825 secs
lola: STP completed || 1 tries, 10945 fired transitions, 2830 secs || 10980 markings, 11013 edges, 4 markings/sec, 2830 secs
lola: STP completed || 1 tries, 10966 fired transitions, 2835 secs || 11002 markings, 11035 edges, 4 markings/sec, 2835 secs
lola: STP completed || 1 tries, 10988 fired transitions, 2840 secs || 11023 markings, 11056 edges, 4 markings/sec, 2840 secs
lola: STP completed || 1 tries, 11009 fired transitions, 2845 secs || 11045 markings, 11078 edges, 4 markings/sec, 2845 secs
lola: STP completed || 1 tries, 11030 fired transitions, 2850 secs || 11066 markings, 11099 edges, 4 markings/sec, 2850 secs
lola: STP completed || 1 tries, 11051 fired transitions, 2855 secs || 11087 markings, 11120 edges, 4 markings/sec, 2855 secs
lola: STP completed || 1 tries, 11072 fired transitions, 2860 secs || 11108 markings, 11141 edges, 4 markings/sec, 2860 secs
lola: STP completed || 1 tries, 11093 fired transitions, 2865 secs || 11129 markings, 11163 edges, 4 markings/sec, 2865 secs
lola: STP completed || 1 tries, 11114 fired transitions, 2870 secs || 11150 markings, 11186 edges, 4 markings/sec, 2870 secs
lola: STP completed || 1 tries, 11134 fired transitions, 2875 secs || 11172 markings, 11208 edges, 4 markings/sec, 2875 secs
lola: STP completed || 1 tries, 11155 fired transitions, 2880 secs || 11193 markings, 11229 edges, 4 markings/sec, 2880 secs
lola: STP completed || 1 tries, 11176 fired transitions, 2885 secs || 11215 markings, 11251 edges, 4 markings/sec, 2885 secs
lola: STP completed || 1 tries, 11196 fired transitions, 2890 secs || 11236 markings, 11272 edges, 4 markings/sec, 2890 secs
lola: STP completed || 1 tries, 11216 fired transitions, 2895 secs || 11255 markings, 11291 edges, 4 markings/sec, 2895 secs
lola: STP completed || 1 tries, 11237 fired transitions, 2900 secs || 11275 markings, 11314 edges, 4 markings/sec, 2900 secs
lola: STP completed || 1 tries, 11258 fired transitions, 2905 secs || 11296 markings, 11335 edges, 4 markings/sec, 2905 secs
lola: STP completed || 1 tries, 11279 fired transitions, 2910 secs || 11316 markings, 11355 edges, 4 markings/sec, 2910 secs
lola: STP completed || 1 tries, 11295 fired transitions, 2915 secs || 11332 markings, 11371 edges, 3 markings/sec, 2915 secs
lola: STP completed || 1 tries, 11315 fired transitions, 2920 secs || 11352 markings, 11391 edges, 4 markings/sec, 2920 secs
lola: STP completed || 1 tries, 11336 fired transitions, 2925 secs || 11373 markings, 11412 edges, 4 markings/sec, 2925 secs
lola: STP completed || 1 tries, 11357 fired transitions, 2930 secs || 11394 markings, 11433 edges, 4 markings/sec, 2930 secs
lola: STP completed || 1 tries, 11377 fired transitions, 2935 secs || 11415 markings, 11454 edges, 4 markings/sec, 2935 secs
lola: STP completed || 1 tries, 11398 fired transitions, 2940 secs || 11435 markings, 11474 edges, 4 markings/sec, 2940 secs
lola: STP completed || 1 tries, 11419 fired transitions, 2945 secs || 11456 markings, 11495 edges, 4 markings/sec, 2945 secs
lola: STP completed || 1 tries, 11439 fired transitions, 2950 secs || 11477 markings, 11516 edges, 4 markings/sec, 2950 secs
lola: STP completed || 1 tries, 11460 fired transitions, 2955 secs || 11498 markings, 11538 edges, 4 markings/sec, 2955 secs
lola: STP completed || 1 tries, 11480 fired transitions, 2960 secs || 11519 markings, 11560 edges, 4 markings/sec, 2960 secs
lola: STP completed || 1 tries, 11501 fired transitions, 2965 secs || 11540 markings, 11581 edges, 4 markings/sec, 2965 secs
lola: STP completed || 1 tries, 11521 fired transitions, 2970 secs || 11560 markings, 11601 edges, 4 markings/sec, 2970 secs
lola: STP completed || 1 tries, 11542 fired transitions, 2975 secs || 11581 markings, 11622 edges, 4 markings/sec, 2975 secs
lola: STP completed || 1 tries, 11563 fired transitions, 2980 secs || 11602 markings, 11643 edges, 4 markings/sec, 2980 secs
lola: STP completed || 1 tries, 11583 fired transitions, 2985 secs || 11622 markings, 11663 edges, 4 markings/sec, 2985 secs
lola: STP completed || 1 tries, 11604 fired transitions, 2990 secs || 11641 markings, 11682 edges, 4 markings/sec, 2990 secs
lola: STP completed || 1 tries, 11625 fired transitions, 2995 secs || 11661 markings, 11702 edges, 4 markings/sec, 2995 secs
lola: STP completed || 1 tries, 11645 fired transitions, 3000 secs || 11681 markings, 11722 edges, 4 markings/sec, 3000 secs
lola: STP completed || 1 tries, 11666 fired transitions, 3005 secs || 11701 markings, 11742 edges, 4 markings/sec, 3005 secs
lola: STP completed || 1 tries, 11686 fired transitions, 3010 secs || 11721 markings, 11762 edges, 4 markings/sec, 3010 secs
lola: STP completed || 1 tries, 11707 fired transitions, 3015 secs || 11742 markings, 11783 edges, 4 markings/sec, 3015 secs
lola: STP completed || 1 tries, 11728 fired transitions, 3020 secs || 11763 markings, 11804 edges, 4 markings/sec, 3020 secs
lola: STP completed || 1 tries, 11748 fired transitions, 3025 secs || 11783 markings, 11824 edges, 4 markings/sec, 3025 secs
lola: STP completed || 1 tries, 11769 fired transitions, 3030 secs || 11804 markings, 11845 edges, 4 markings/sec, 3030 secs
lola: STP completed || 1 tries, 11790 fired transitions, 3035 secs || 11825 markings, 11866 edges, 4 markings/sec, 3035 secs
lola: STP completed || 1 tries, 11811 fired transitions, 3040 secs || 11846 markings, 11887 edges, 4 markings/sec, 3040 secs
lola: STP completed || 1 tries, 11833 fired transitions, 3045 secs || 11867 markings, 11908 edges, 4 markings/sec, 3045 secs
lola: STP completed || 1 tries, 11854 fired transitions, 3050 secs || 11888 markings, 11929 edges, 4 markings/sec, 3050 secs
lola: STP completed || 1 tries, 11876 fired transitions, 3055 secs || 11909 markings, 11950 edges, 4 markings/sec, 3055 secs
lola: STP completed || 1 tries, 11898 fired transitions, 3060 secs || 11930 markings, 11971 edges, 4 markings/sec, 3060 secs
lola: STP completed || 1 tries, 11919 fired transitions, 3065 secs || 11951 markings, 11992 edges, 4 markings/sec, 3065 secs
lola: STP completed || 1 tries, 11941 fired transitions, 3070 secs || 11972 markings, 12013 edges, 4 markings/sec, 3070 secs
lola: STP completed || 1 tries, 11962 fired transitions, 3075 secs || 11993 markings, 12034 edges, 4 markings/sec, 3075 secs
lola: STP completed || 1 tries, 11984 fired transitions, 3080 secs || 12014 markings, 12055 edges, 4 markings/sec, 3080 secs
lola: STP completed || 1 tries, 12005 fired transitions, 3085 secs || 12035 markings, 12076 edges, 4 markings/sec, 3085 secs
lola: STP completed || 1 tries, 12027 fired transitions, 3090 secs || 12056 markings, 12097 edges, 4 markings/sec, 3090 secs
lola: STP completed || 1 tries, 12048 fired transitions, 3095 secs || 12077 markings, 12118 edges, 4 markings/sec, 3095 secs
lola: STP completed || 1 tries, 12069 fired transitions, 3100 secs || 12097 markings, 12138 edges, 4 markings/sec, 3100 secs
lola: STP completed || 1 tries, 12091 fired transitions, 3105 secs || 12118 markings, 12159 edges, 4 markings/sec, 3105 secs
lola: STP completed || 1 tries, 12113 fired transitions, 3110 secs || 12139 markings, 12180 edges, 4 markings/sec, 3110 secs
lola: STP completed || 1 tries, 12136 fired transitions, 3115 secs || 12160 markings, 12201 edges, 4 markings/sec, 3115 secs
lola: STP completed || 1 tries, 12157 fired transitions, 3120 secs || 12181 markings, 12222 edges, 4 markings/sec, 3120 secs
lola: STP completed || 1 tries, 12177 fired transitions, 3125 secs || 12202 markings, 12243 edges, 4 markings/sec, 3125 secs
lola: STP completed || 1 tries, 12198 fired transitions, 3130 secs || 12223 markings, 12264 edges, 4 markings/sec, 3130 secs
lola: STP completed || 1 tries, 12219 fired transitions, 3135 secs || 12244 markings, 12285 edges, 4 markings/sec, 3135 secs
lola: STP completed || 1 tries, 12240 fired transitions, 3140 secs || 12266 markings, 12307 edges, 4 markings/sec, 3140 secs
lola: STP completed || 1 tries, 12261 fired transitions, 3145 secs || 12286 markings, 12327 edges, 4 markings/sec, 3145 secs
lola: STP completed || 1 tries, 12283 fired transitions, 3150 secs || 12307 markings, 12348 edges, 4 markings/sec, 3150 secs
lola: STP completed || 1 tries, 12304 fired transitions, 3155 secs || 12328 markings, 12369 edges, 4 markings/sec, 3155 secs
lola: STP completed || 1 tries, 12326 fired transitions, 3160 secs || 12349 markings, 12390 edges, 4 markings/sec, 3160 secs
lola: STP completed || 1 tries, 12347 fired transitions, 3165 secs || 12370 markings, 12411 edges, 4 markings/sec, 3165 secs
lola: STP completed || 1 tries, 12368 fired transitions, 3170 secs || 12390 markings, 12431 edges, 4 markings/sec, 3170 secs
lola: STP completed || 1 tries, 12390 fired transitions, 3175 secs || 12411 markings, 12452 edges, 4 markings/sec, 3175 secs
lola: STP completed || 1 tries, 12411 fired transitions, 3180 secs || 12432 markings, 12473 edges, 4 markings/sec, 3180 secs
lola: STP completed || 1 tries, 12432 fired transitions, 3185 secs || 12453 markings, 12499 edges, 4 markings/sec, 3185 secs
lola: STP completed || 1 tries, 12453 fired transitions, 3190 secs || 12475 markings, 12521 edges, 4 markings/sec, 3190 secs
lola: STP completed || 1 tries, 12474 fired transitions, 3195 secs || 12496 markings, 12542 edges, 4 markings/sec, 3195 secs
lola: STP completed || 1 tries, 12495 fired transitions, 3200 secs || 12517 markings, 12563 edges, 4 markings/sec, 3200 secs
lola: STP completed || 1 tries, 12516 fired transitions, 3205 secs || 12537 markings, 12583 edges, 4 markings/sec, 3205 secs
lola: STP completed || 1 tries, 12538 fired transitions, 3210 secs || 12558 markings, 12604 edges, 4 markings/sec, 3210 secs
lola: STP completed || 1 tries, 12559 fired transitions, 3215 secs || 12578 markings, 12624 edges, 4 markings/sec, 3215 secs
lola: STP completed || 1 tries, 12580 fired transitions, 3220 secs || 12599 markings, 12645 edges, 4 markings/sec, 3220 secs
lola: STP completed || 1 tries, 12601 fired transitions, 3225 secs || 12621 markings, 12667 edges, 4 markings/sec, 3225 secs
lola: STP completed || 1 tries, 12623 fired transitions, 3230 secs || 12642 markings, 12688 edges, 4 markings/sec, 3230 secs
lola: STP completed || 1 tries, 12641 fired transitions, 3235 secs || 12660 markings, 12706 edges, 4 markings/sec, 3235 secs
lola: STP completed || 1 tries, 12661 fired transitions, 3240 secs || 12681 markings, 12728 edges, 4 markings/sec, 3240 secs
lola: STP completed || 1 tries, 12682 fired transitions, 3245 secs || 12702 markings, 12750 edges, 4 markings/sec, 3245 secs
lola: STP completed || 1 tries, 12704 fired transitions, 3250 secs || 12723 markings, 12771 edges, 4 markings/sec, 3250 secs
lola: STP completed || 1 tries, 12726 fired transitions, 3255 secs || 12744 markings, 12792 edges, 4 markings/sec, 3255 secs
lola: STP completed || 1 tries, 12748 fired transitions, 3260 secs || 12765 markings, 12813 edges, 4 markings/sec, 3260 secs
lola: STP completed || 1 tries, 12769 fired transitions, 3265 secs || 12785 markings, 12833 edges, 4 markings/sec, 3265 secs
lola: time limit reached - aborting
lola: memory consumption: 993420 KB
lola: time consumption: 3567 seconds
BK_STOP 1527817073608
--------------------
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="RERS17pb115-PT-3"
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/RERS17pb115-PT-3.tgz
mv RERS17pb115-PT-3 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 RERS17pb115-PT-3, 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-152749170100566"
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 ;