About the Execution of LoLA for RERS17pb115-PT-2
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1703.450 | 3570585.00 | 7195054.00 | 565.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 4.0K May 30 22:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 30 22:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K May 29 16:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 29 16:28 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:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 28 10:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 28 08:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K May 28 08:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.5K May 28 07:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 28 07:12 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:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 27 04:45 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-2, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-csrt-152749170100557
=====================================================================
--------------------
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 1527812187108
info: Time: 3600 - MCC
===========================================================================================
prep: translating RERS17pb115-PT-2 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating RERS17pb115-PT-2 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ RERS17pb115-PT-2 @ 3568 seconds
lola: LoLA will run for 3568 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: 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: STP running || 1 tries, 19 fired transitions, 0 secs
lola: 0 generators; 977901 candidates remain ( 0%), 0 secs
lola: STP: formula with 1892188 variables and 8833830 clauses shipped to Minisat
lola: STP running || 1 tries, 36 fired transitions, 5 secs
lola: 0 generators; 977901 candidates remain ( 0%), 5 secs
lola: STP running || 1 tries, 57 fired transitions, 10 secs
lola: 0 generators; 977901 candidates remain ( 0%), 10 secs
lola: STP running || 1 tries, 76 fired transitions, 15 secs
lola: 0 generators; 977901 candidates remain ( 0%), 15 secs
lola: STP running || 1 tries, 94 fired transitions, 20 secs
lola: 0 generators; 977901 candidates remain ( 0%), 20 secs
lola: STP running || 1 tries, 113 fired transitions, 25 secs
lola: 66 generators; 420 candidates remain (13%), 25 secs
lola: STP running || 1 tries, 132 fired transitions, 30 secs
lola: 150 generators; 105 candidates remain (58%), 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, 153 fired transitions, 35 secs || 8 markings, 7 edges, 2 markings/sec, 35 secs
lola: STP running || 1 tries, 175 fired transitions, 40 secs || 28 markings, 27 edges, 4 markings/sec, 40 secs
lola: STP running || 1 tries, 197 fired transitions, 45 secs || 48 markings, 47 edges, 4 markings/sec, 45 secs
lola: STP running || 1 tries, 218 fired transitions, 50 secs || 68 markings, 67 edges, 4 markings/sec, 50 secs
lola: STP running || 1 tries, 235 fired transitions, 55 secs || 82 markings, 81 edges, 3 markings/sec, 55 secs
lola: STP running || 1 tries, 253 fired transitions, 60 secs || 96 markings, 95 edges, 3 markings/sec, 60 secs
lola: STP running || 1 tries, 274 fired transitions, 65 secs || 118 markings, 117 edges, 4 markings/sec, 65 secs
lola: STP running || 1 tries, 291 fired transitions, 70 secs || 135 markings, 134 edges, 3 markings/sec, 70 secs
lola: STP running || 1 tries, 303 fired transitions, 75 secs || 147 markings, 146 edges, 2 markings/sec, 75 secs
lola: STP running || 1 tries, 316 fired transitions, 80 secs || 159 markings, 158 edges, 2 markings/sec, 80 secs
lola: STP running || 1 tries, 327 fired transitions, 85 secs || 170 markings, 169 edges, 2 markings/sec, 85 secs
lola: STP running || 1 tries, 344 fired transitions, 90 secs || 181 markings, 180 edges, 2 markings/sec, 90 secs
lola: STP running || 1 tries, 355 fired transitions, 95 secs || 192 markings, 191 edges, 2 markings/sec, 95 secs
lola: STP running || 1 tries, 372 fired transitions, 100 secs || 213 markings, 212 edges, 4 markings/sec, 100 secs
lola: STP running || 1 tries, 395 fired transitions, 105 secs || 231 markings, 230 edges, 4 markings/sec, 105 secs
lola: STP running || 1 tries, 415 fired transitions, 110 secs || 253 markings, 252 edges, 4 markings/sec, 110 secs
lola: STP running || 1 tries, 430 fired transitions, 115 secs || 275 markings, 274 edges, 4 markings/sec, 115 secs
lola: STP running || 1 tries, 450 fired transitions, 120 secs || 294 markings, 293 edges, 4 markings/sec, 120 secs
lola: STP running || 1 tries, 472 fired transitions, 125 secs || 313 markings, 312 edges, 4 markings/sec, 125 secs
lola: STP running || 1 tries, 492 fired transitions, 130 secs || 334 markings, 333 edges, 4 markings/sec, 130 secs
lola: STP running || 1 tries, 512 fired transitions, 135 secs || 355 markings, 354 edges, 4 markings/sec, 135 secs
lola: STP running || 1 tries, 532 fired transitions, 140 secs || 375 markings, 374 edges, 4 markings/sec, 140 secs
lola: STP running || 1 tries, 552 fired transitions, 145 secs || 395 markings, 394 edges, 4 markings/sec, 145 secs
lola: STP running || 1 tries, 572 fired transitions, 150 secs || 416 markings, 415 edges, 4 markings/sec, 150 secs
lola: STP running || 1 tries, 591 fired transitions, 155 secs || 437 markings, 436 edges, 4 markings/sec, 155 secs
lola: STP running || 1 tries, 611 fired transitions, 160 secs || 458 markings, 457 edges, 4 markings/sec, 160 secs
lola: STP running || 1 tries, 628 fired transitions, 165 secs || 478 markings, 477 edges, 4 markings/sec, 165 secs
lola: STP running || 1 tries, 645 fired transitions, 170 secs || 500 markings, 499 edges, 4 markings/sec, 170 secs
lola: STP running || 1 tries, 661 fired transitions, 175 secs || 520 markings, 519 edges, 4 markings/sec, 175 secs
lola: STP running || 1 tries, 681 fired transitions, 180 secs || 541 markings, 540 edges, 4 markings/sec, 180 secs
lola: STP running || 1 tries, 699 fired transitions, 185 secs || 555 markings, 554 edges, 3 markings/sec, 185 secs
lola: STP running || 1 tries, 717 fired transitions, 190 secs || 568 markings, 567 edges, 3 markings/sec, 190 secs
lola: STP running || 1 tries, 738 fired transitions, 195 secs || 588 markings, 587 edges, 4 markings/sec, 195 secs
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 760 fired transitions, 200 secs || 609 markings, 608 edges, 4 markings/sec, 200 secs
lola: STP completed || 1 tries, 782 fired transitions, 205 secs || 632 markings, 631 edges, 5 markings/sec, 205 secs
lola: STP completed || 1 tries, 804 fired transitions, 210 secs || 653 markings, 652 edges, 4 markings/sec, 210 secs
lola: STP completed || 1 tries, 825 fired transitions, 215 secs || 676 markings, 675 edges, 5 markings/sec, 215 secs
lola: STP completed || 1 tries, 847 fired transitions, 220 secs || 698 markings, 697 edges, 4 markings/sec, 220 secs
lola: STP completed || 1 tries, 868 fired transitions, 225 secs || 720 markings, 719 edges, 4 markings/sec, 225 secs
lola: STP completed || 1 tries, 889 fired transitions, 230 secs || 743 markings, 742 edges, 5 markings/sec, 230 secs
lola: STP completed || 1 tries, 910 fired transitions, 235 secs || 765 markings, 764 edges, 4 markings/sec, 235 secs
lola: STP completed || 1 tries, 932 fired transitions, 240 secs || 788 markings, 787 edges, 5 markings/sec, 240 secs
lola: STP completed || 1 tries, 953 fired transitions, 245 secs || 810 markings, 809 edges, 4 markings/sec, 245 secs
lola: STP completed || 1 tries, 975 fired transitions, 250 secs || 833 markings, 832 edges, 5 markings/sec, 250 secs
lola: STP completed || 1 tries, 997 fired transitions, 255 secs || 856 markings, 855 edges, 5 markings/sec, 255 secs
lola: STP completed || 1 tries, 1019 fired transitions, 260 secs || 879 markings, 878 edges, 5 markings/sec, 260 secs
lola: STP completed || 1 tries, 1042 fired transitions, 265 secs || 902 markings, 901 edges, 5 markings/sec, 265 secs
lola: STP completed || 1 tries, 1065 fired transitions, 270 secs || 925 markings, 924 edges, 5 markings/sec, 270 secs
lola: STP completed || 1 tries, 1088 fired transitions, 275 secs || 949 markings, 948 edges, 5 markings/sec, 275 secs
lola: STP completed || 1 tries, 1109 fired transitions, 280 secs || 972 markings, 971 edges, 5 markings/sec, 280 secs
lola: STP completed || 1 tries, 1131 fired transitions, 285 secs || 996 markings, 995 edges, 5 markings/sec, 285 secs
lola: STP completed || 1 tries, 1153 fired transitions, 290 secs || 1019 markings, 1018 edges, 5 markings/sec, 290 secs
lola: STP completed || 1 tries, 1176 fired transitions, 295 secs || 1042 markings, 1041 edges, 5 markings/sec, 295 secs
lola: STP completed || 1 tries, 1199 fired transitions, 300 secs || 1064 markings, 1063 edges, 4 markings/sec, 300 secs
lola: STP completed || 1 tries, 1221 fired transitions, 305 secs || 1086 markings, 1085 edges, 4 markings/sec, 305 secs
lola: STP completed || 1 tries, 1242 fired transitions, 310 secs || 1108 markings, 1107 edges, 4 markings/sec, 310 secs
lola: STP completed || 1 tries, 1265 fired transitions, 315 secs || 1131 markings, 1130 edges, 5 markings/sec, 315 secs
lola: STP completed || 1 tries, 1288 fired transitions, 320 secs || 1155 markings, 1154 edges, 5 markings/sec, 320 secs
lola: STP completed || 1 tries, 1309 fired transitions, 325 secs || 1177 markings, 1176 edges, 4 markings/sec, 325 secs
lola: STP completed || 1 tries, 1329 fired transitions, 330 secs || 1200 markings, 1199 edges, 5 markings/sec, 330 secs
lola: STP completed || 1 tries, 1351 fired transitions, 335 secs || 1223 markings, 1222 edges, 5 markings/sec, 335 secs
lola: STP completed || 1 tries, 1373 fired transitions, 340 secs || 1246 markings, 1245 edges, 5 markings/sec, 340 secs
lola: STP completed || 1 tries, 1395 fired transitions, 345 secs || 1269 markings, 1268 edges, 5 markings/sec, 345 secs
lola: STP completed || 1 tries, 1418 fired transitions, 350 secs || 1292 markings, 1291 edges, 5 markings/sec, 350 secs
lola: STP completed || 1 tries, 1439 fired transitions, 355 secs || 1315 markings, 1314 edges, 5 markings/sec, 355 secs
lola: STP completed || 1 tries, 1460 fired transitions, 360 secs || 1338 markings, 1337 edges, 5 markings/sec, 360 secs
lola: STP completed || 1 tries, 1481 fired transitions, 365 secs || 1360 markings, 1359 edges, 4 markings/sec, 365 secs
lola: STP completed || 1 tries, 1503 fired transitions, 370 secs || 1383 markings, 1382 edges, 5 markings/sec, 370 secs
lola: STP completed || 1 tries, 1525 fired transitions, 375 secs || 1406 markings, 1405 edges, 5 markings/sec, 375 secs
lola: STP completed || 1 tries, 1547 fired transitions, 380 secs || 1428 markings, 1427 edges, 4 markings/sec, 380 secs
lola: STP completed || 1 tries, 1569 fired transitions, 385 secs || 1450 markings, 1449 edges, 4 markings/sec, 385 secs
lola: STP completed || 1 tries, 1590 fired transitions, 390 secs || 1473 markings, 1472 edges, 5 markings/sec, 390 secs
lola: STP completed || 1 tries, 1611 fired transitions, 395 secs || 1495 markings, 1494 edges, 4 markings/sec, 395 secs
lola: STP completed || 1 tries, 1632 fired transitions, 400 secs || 1518 markings, 1517 edges, 5 markings/sec, 400 secs
lola: STP completed || 1 tries, 1654 fired transitions, 405 secs || 1541 markings, 1540 edges, 5 markings/sec, 405 secs
lola: STP completed || 1 tries, 1676 fired transitions, 410 secs || 1563 markings, 1562 edges, 4 markings/sec, 410 secs
lola: STP completed || 1 tries, 1698 fired transitions, 415 secs || 1585 markings, 1584 edges, 4 markings/sec, 415 secs
lola: STP completed || 1 tries, 1719 fired transitions, 420 secs || 1606 markings, 1605 edges, 4 markings/sec, 420 secs
lola: STP completed || 1 tries, 1741 fired transitions, 425 secs || 1628 markings, 1627 edges, 4 markings/sec, 425 secs
lola: STP completed || 1 tries, 1762 fired transitions, 430 secs || 1650 markings, 1649 edges, 4 markings/sec, 430 secs
lola: STP completed || 1 tries, 1783 fired transitions, 435 secs || 1672 markings, 1671 edges, 4 markings/sec, 435 secs
lola: STP completed || 1 tries, 1805 fired transitions, 440 secs || 1694 markings, 1693 edges, 4 markings/sec, 440 secs
lola: STP completed || 1 tries, 1827 fired transitions, 445 secs || 1717 markings, 1716 edges, 5 markings/sec, 445 secs
lola: STP completed || 1 tries, 1849 fired transitions, 450 secs || 1740 markings, 1739 edges, 5 markings/sec, 450 secs
lola: STP completed || 1 tries, 1870 fired transitions, 455 secs || 1762 markings, 1761 edges, 4 markings/sec, 455 secs
lola: STP completed || 1 tries, 1891 fired transitions, 460 secs || 1785 markings, 1784 edges, 5 markings/sec, 460 secs
lola: STP completed || 1 tries, 1912 fired transitions, 465 secs || 1807 markings, 1806 edges, 4 markings/sec, 465 secs
lola: STP completed || 1 tries, 1933 fired transitions, 470 secs || 1829 markings, 1828 edges, 4 markings/sec, 470 secs
lola: STP completed || 1 tries, 1955 fired transitions, 475 secs || 1852 markings, 1851 edges, 5 markings/sec, 475 secs
lola: STP completed || 1 tries, 1976 fired transitions, 480 secs || 1874 markings, 1873 edges, 4 markings/sec, 480 secs
lola: STP completed || 1 tries, 1997 fired transitions, 485 secs || 1897 markings, 1896 edges, 5 markings/sec, 485 secs
lola: STP completed || 1 tries, 2019 fired transitions, 490 secs || 1919 markings, 1918 edges, 4 markings/sec, 490 secs
lola: STP completed || 1 tries, 2041 fired transitions, 495 secs || 1942 markings, 1941 edges, 5 markings/sec, 495 secs
lola: STP completed || 1 tries, 2063 fired transitions, 500 secs || 1965 markings, 1964 edges, 5 markings/sec, 500 secs
lola: STP completed || 1 tries, 2085 fired transitions, 505 secs || 1987 markings, 1986 edges, 4 markings/sec, 505 secs
lola: STP completed || 1 tries, 2107 fired transitions, 510 secs || 2010 markings, 2009 edges, 5 markings/sec, 510 secs
lola: STP completed || 1 tries, 2129 fired transitions, 515 secs || 2033 markings, 2032 edges, 5 markings/sec, 515 secs
lola: STP completed || 1 tries, 2151 fired transitions, 520 secs || 2055 markings, 2054 edges, 4 markings/sec, 520 secs
lola: STP completed || 1 tries, 2174 fired transitions, 525 secs || 2078 markings, 2077 edges, 5 markings/sec, 525 secs
lola: STP completed || 1 tries, 2196 fired transitions, 530 secs || 2101 markings, 2100 edges, 5 markings/sec, 530 secs
lola: STP completed || 1 tries, 2217 fired transitions, 535 secs || 2125 markings, 2124 edges, 5 markings/sec, 535 secs
lola: STP completed || 1 tries, 2239 fired transitions, 540 secs || 2148 markings, 2147 edges, 5 markings/sec, 540 secs
lola: STP completed || 1 tries, 2262 fired transitions, 545 secs || 2171 markings, 2170 edges, 5 markings/sec, 545 secs
lola: STP completed || 1 tries, 2285 fired transitions, 550 secs || 2194 markings, 2193 edges, 5 markings/sec, 550 secs
lola: STP completed || 1 tries, 2308 fired transitions, 555 secs || 2217 markings, 2216 edges, 5 markings/sec, 555 secs
lola: STP completed || 1 tries, 2331 fired transitions, 560 secs || 2240 markings, 2239 edges, 5 markings/sec, 560 secs
lola: STP completed || 1 tries, 2354 fired transitions, 565 secs || 2264 markings, 2263 edges, 5 markings/sec, 565 secs
lola: STP completed || 1 tries, 2378 fired transitions, 570 secs || 2287 markings, 2286 edges, 5 markings/sec, 570 secs
lola: STP completed || 1 tries, 2402 fired transitions, 575 secs || 2311 markings, 2310 edges, 5 markings/sec, 575 secs
lola: STP completed || 1 tries, 2425 fired transitions, 580 secs || 2334 markings, 2333 edges, 5 markings/sec, 580 secs
lola: STP completed || 1 tries, 2448 fired transitions, 585 secs || 2357 markings, 2356 edges, 5 markings/sec, 585 secs
lola: STP completed || 1 tries, 2471 fired transitions, 590 secs || 2380 markings, 2379 edges, 5 markings/sec, 590 secs
lola: STP completed || 1 tries, 2494 fired transitions, 595 secs || 2403 markings, 2402 edges, 5 markings/sec, 595 secs
lola: STP completed || 1 tries, 2517 fired transitions, 600 secs || 2426 markings, 2425 edges, 5 markings/sec, 600 secs
lola: STP completed || 1 tries, 2541 fired transitions, 605 secs || 2450 markings, 2449 edges, 5 markings/sec, 605 secs
lola: STP completed || 1 tries, 2562 fired transitions, 610 secs || 2472 markings, 2471 edges, 4 markings/sec, 610 secs
lola: STP completed || 1 tries, 2585 fired transitions, 615 secs || 2495 markings, 2494 edges, 5 markings/sec, 615 secs
lola: STP completed || 1 tries, 2608 fired transitions, 620 secs || 2518 markings, 2517 edges, 5 markings/sec, 620 secs
lola: STP completed || 1 tries, 2631 fired transitions, 625 secs || 2541 markings, 2540 edges, 5 markings/sec, 625 secs
lola: STP completed || 1 tries, 2654 fired transitions, 630 secs || 2564 markings, 2563 edges, 5 markings/sec, 630 secs
lola: STP completed || 1 tries, 2678 fired transitions, 635 secs || 2588 markings, 2587 edges, 5 markings/sec, 635 secs
lola: STP completed || 1 tries, 2702 fired transitions, 640 secs || 2612 markings, 2611 edges, 5 markings/sec, 640 secs
lola: STP completed || 1 tries, 2724 fired transitions, 645 secs || 2635 markings, 2634 edges, 5 markings/sec, 645 secs
lola: STP completed || 1 tries, 2748 fired transitions, 650 secs || 2659 markings, 2658 edges, 5 markings/sec, 650 secs
lola: STP completed || 1 tries, 2772 fired transitions, 655 secs || 2683 markings, 2682 edges, 5 markings/sec, 655 secs
lola: STP completed || 1 tries, 2794 fired transitions, 660 secs || 2706 markings, 2705 edges, 5 markings/sec, 660 secs
lola: STP completed || 1 tries, 2816 fired transitions, 665 secs || 2729 markings, 2728 edges, 5 markings/sec, 665 secs
lola: STP completed || 1 tries, 2839 fired transitions, 670 secs || 2752 markings, 2751 edges, 5 markings/sec, 670 secs
lola: STP completed || 1 tries, 2861 fired transitions, 675 secs || 2775 markings, 2774 edges, 5 markings/sec, 675 secs
lola: STP completed || 1 tries, 2883 fired transitions, 680 secs || 2797 markings, 2796 edges, 4 markings/sec, 680 secs
lola: STP completed || 1 tries, 2904 fired transitions, 685 secs || 2820 markings, 2819 edges, 5 markings/sec, 685 secs
lola: STP completed || 1 tries, 2926 fired transitions, 690 secs || 2842 markings, 2841 edges, 4 markings/sec, 690 secs
lola: STP completed || 1 tries, 2946 fired transitions, 695 secs || 2863 markings, 2862 edges, 4 markings/sec, 695 secs
lola: STP completed || 1 tries, 2967 fired transitions, 700 secs || 2885 markings, 2884 edges, 4 markings/sec, 700 secs
lola: STP completed || 1 tries, 2988 fired transitions, 705 secs || 2906 markings, 2905 edges, 4 markings/sec, 705 secs
lola: STP completed || 1 tries, 3009 fired transitions, 710 secs || 2928 markings, 2927 edges, 4 markings/sec, 710 secs
lola: STP completed || 1 tries, 3031 fired transitions, 715 secs || 2950 markings, 2949 edges, 4 markings/sec, 715 secs
lola: STP completed || 1 tries, 3053 fired transitions, 720 secs || 2973 markings, 2972 edges, 5 markings/sec, 720 secs
lola: STP completed || 1 tries, 3075 fired transitions, 725 secs || 2995 markings, 2994 edges, 4 markings/sec, 725 secs
lola: STP completed || 1 tries, 3096 fired transitions, 730 secs || 3018 markings, 3017 edges, 5 markings/sec, 730 secs
lola: STP completed || 1 tries, 3118 fired transitions, 735 secs || 3040 markings, 3039 edges, 4 markings/sec, 735 secs
lola: STP completed || 1 tries, 3140 fired transitions, 740 secs || 3063 markings, 3062 edges, 5 markings/sec, 740 secs
lola: STP completed || 1 tries, 3163 fired transitions, 745 secs || 3086 markings, 3085 edges, 5 markings/sec, 745 secs
lola: STP completed || 1 tries, 3185 fired transitions, 750 secs || 3110 markings, 3109 edges, 5 markings/sec, 750 secs
lola: STP completed || 1 tries, 3208 fired transitions, 755 secs || 3133 markings, 3132 edges, 5 markings/sec, 755 secs
lola: STP completed || 1 tries, 3231 fired transitions, 760 secs || 3157 markings, 3156 edges, 5 markings/sec, 760 secs
lola: STP completed || 1 tries, 3254 fired transitions, 765 secs || 3180 markings, 3179 edges, 5 markings/sec, 765 secs
lola: STP completed || 1 tries, 3276 fired transitions, 770 secs || 3204 markings, 3203 edges, 5 markings/sec, 770 secs
lola: STP completed || 1 tries, 3299 fired transitions, 775 secs || 3227 markings, 3226 edges, 5 markings/sec, 775 secs
lola: STP completed || 1 tries, 3321 fired transitions, 780 secs || 3251 markings, 3250 edges, 5 markings/sec, 780 secs
lola: STP completed || 1 tries, 3343 fired transitions, 785 secs || 3274 markings, 3273 edges, 5 markings/sec, 785 secs
lola: STP completed || 1 tries, 3366 fired transitions, 790 secs || 3298 markings, 3297 edges, 5 markings/sec, 790 secs
lola: STP completed || 1 tries, 3388 fired transitions, 795 secs || 3322 markings, 3321 edges, 5 markings/sec, 795 secs
lola: STP completed || 1 tries, 3410 fired transitions, 800 secs || 3345 markings, 3344 edges, 5 markings/sec, 800 secs
lola: STP completed || 1 tries, 3433 fired transitions, 805 secs || 3369 markings, 3368 edges, 5 markings/sec, 805 secs
lola: STP completed || 1 tries, 3455 fired transitions, 810 secs || 3392 markings, 3391 edges, 5 markings/sec, 810 secs
lola: STP completed || 1 tries, 3478 fired transitions, 815 secs || 3415 markings, 3414 edges, 5 markings/sec, 815 secs
lola: STP completed || 1 tries, 3500 fired transitions, 820 secs || 3439 markings, 3438 edges, 5 markings/sec, 820 secs
lola: STP completed || 1 tries, 3522 fired transitions, 825 secs || 3461 markings, 3460 edges, 4 markings/sec, 825 secs
lola: STP completed || 1 tries, 3545 fired transitions, 830 secs || 3484 markings, 3483 edges, 5 markings/sec, 830 secs
lola: STP completed || 1 tries, 3567 fired transitions, 835 secs || 3507 markings, 3506 edges, 5 markings/sec, 835 secs
lola: STP completed || 1 tries, 3589 fired transitions, 840 secs || 3530 markings, 3529 edges, 5 markings/sec, 840 secs
lola: STP completed || 1 tries, 3611 fired transitions, 845 secs || 3553 markings, 3552 edges, 5 markings/sec, 845 secs
lola: STP completed || 1 tries, 3633 fired transitions, 850 secs || 3576 markings, 3575 edges, 5 markings/sec, 850 secs
lola: STP completed || 1 tries, 3656 fired transitions, 855 secs || 3599 markings, 3598 edges, 5 markings/sec, 855 secs
lola: STP completed || 1 tries, 3678 fired transitions, 860 secs || 3622 markings, 3621 edges, 5 markings/sec, 860 secs
lola: STP completed || 1 tries, 3700 fired transitions, 865 secs || 3645 markings, 3644 edges, 5 markings/sec, 865 secs
lola: STP completed || 1 tries, 3722 fired transitions, 870 secs || 3668 markings, 3667 edges, 5 markings/sec, 870 secs
lola: STP completed || 1 tries, 3745 fired transitions, 875 secs || 3691 markings, 3690 edges, 5 markings/sec, 875 secs
lola: STP completed || 1 tries, 3768 fired transitions, 880 secs || 3715 markings, 3714 edges, 5 markings/sec, 880 secs
lola: STP completed || 1 tries, 3790 fired transitions, 885 secs || 3738 markings, 3737 edges, 5 markings/sec, 885 secs
lola: STP completed || 1 tries, 3815 fired transitions, 890 secs || 3763 markings, 3762 edges, 5 markings/sec, 890 secs
lola: STP completed || 1 tries, 3839 fired transitions, 895 secs || 3787 markings, 3786 edges, 5 markings/sec, 895 secs
lola: STP completed || 1 tries, 3862 fired transitions, 900 secs || 3810 markings, 3809 edges, 5 markings/sec, 900 secs
lola: STP completed || 1 tries, 3886 fired transitions, 905 secs || 3834 markings, 3833 edges, 5 markings/sec, 905 secs
lola: STP completed || 1 tries, 3910 fired transitions, 910 secs || 3858 markings, 3857 edges, 5 markings/sec, 910 secs
lola: STP completed || 1 tries, 3933 fired transitions, 915 secs || 3881 markings, 3880 edges, 5 markings/sec, 915 secs
lola: STP completed || 1 tries, 3958 fired transitions, 920 secs || 3906 markings, 3905 edges, 5 markings/sec, 920 secs
lola: STP completed || 1 tries, 3982 fired transitions, 925 secs || 3930 markings, 3929 edges, 5 markings/sec, 925 secs
lola: STP completed || 1 tries, 4004 fired transitions, 930 secs || 3954 markings, 3953 edges, 5 markings/sec, 930 secs
lola: STP completed || 1 tries, 4027 fired transitions, 935 secs || 3977 markings, 3976 edges, 5 markings/sec, 935 secs
lola: STP completed || 1 tries, 4048 fired transitions, 940 secs || 4000 markings, 3999 edges, 5 markings/sec, 940 secs
lola: STP completed || 1 tries, 4070 fired transitions, 945 secs || 4024 markings, 4023 edges, 5 markings/sec, 945 secs
lola: STP completed || 1 tries, 4092 fired transitions, 950 secs || 4047 markings, 4046 edges, 5 markings/sec, 950 secs
lola: STP completed || 1 tries, 4115 fired transitions, 955 secs || 4071 markings, 4070 edges, 5 markings/sec, 955 secs
lola: STP completed || 1 tries, 4138 fired transitions, 960 secs || 4094 markings, 4093 edges, 5 markings/sec, 960 secs
lola: STP completed || 1 tries, 4161 fired transitions, 965 secs || 4118 markings, 4117 edges, 5 markings/sec, 965 secs
lola: STP completed || 1 tries, 4185 fired transitions, 970 secs || 4142 markings, 4141 edges, 5 markings/sec, 970 secs
lola: STP completed || 1 tries, 4207 fired transitions, 975 secs || 4165 markings, 4168 edges, 5 markings/sec, 975 secs
lola: STP completed || 1 tries, 4229 fired transitions, 980 secs || 4187 markings, 4190 edges, 4 markings/sec, 980 secs
lola: STP completed || 1 tries, 4251 fired transitions, 985 secs || 4210 markings, 4213 edges, 5 markings/sec, 985 secs
lola: STP completed || 1 tries, 4273 fired transitions, 990 secs || 4232 markings, 4235 edges, 4 markings/sec, 990 secs
lola: STP completed || 1 tries, 4295 fired transitions, 995 secs || 4255 markings, 4258 edges, 5 markings/sec, 995 secs
lola: STP completed || 1 tries, 4317 fired transitions, 1000 secs || 4278 markings, 4281 edges, 5 markings/sec, 1000 secs
lola: STP completed || 1 tries, 4341 fired transitions, 1005 secs || 4302 markings, 4305 edges, 5 markings/sec, 1005 secs
lola: STP completed || 1 tries, 4365 fired transitions, 1010 secs || 4326 markings, 4329 edges, 5 markings/sec, 1010 secs
lola: STP completed || 1 tries, 4387 fired transitions, 1015 secs || 4349 markings, 4352 edges, 5 markings/sec, 1015 secs
lola: STP completed || 1 tries, 4409 fired transitions, 1020 secs || 4371 markings, 4374 edges, 4 markings/sec, 1020 secs
lola: STP completed || 1 tries, 4429 fired transitions, 1025 secs || 4393 markings, 4396 edges, 4 markings/sec, 1025 secs
lola: STP completed || 1 tries, 4450 fired transitions, 1030 secs || 4414 markings, 4417 edges, 4 markings/sec, 1030 secs
lola: STP completed || 1 tries, 4472 fired transitions, 1035 secs || 4437 markings, 4440 edges, 5 markings/sec, 1035 secs
lola: STP completed || 1 tries, 4494 fired transitions, 1040 secs || 4461 markings, 4464 edges, 5 markings/sec, 1040 secs
lola: STP completed || 1 tries, 4517 fired transitions, 1045 secs || 4484 markings, 4487 edges, 5 markings/sec, 1045 secs
lola: STP completed || 1 tries, 4539 fired transitions, 1050 secs || 4508 markings, 4511 edges, 5 markings/sec, 1050 secs
lola: STP completed || 1 tries, 4562 fired transitions, 1055 secs || 4532 markings, 4535 edges, 5 markings/sec, 1055 secs
lola: STP completed || 1 tries, 4584 fired transitions, 1060 secs || 4555 markings, 4558 edges, 5 markings/sec, 1060 secs
lola: STP completed || 1 tries, 4607 fired transitions, 1065 secs || 4579 markings, 4582 edges, 5 markings/sec, 1065 secs
lola: STP completed || 1 tries, 4630 fired transitions, 1070 secs || 4603 markings, 4606 edges, 5 markings/sec, 1070 secs
lola: STP completed || 1 tries, 4652 fired transitions, 1075 secs || 4626 markings, 4629 edges, 5 markings/sec, 1075 secs
lola: STP completed || 1 tries, 4676 fired transitions, 1080 secs || 4650 markings, 4653 edges, 5 markings/sec, 1080 secs
lola: STP completed || 1 tries, 4699 fired transitions, 1085 secs || 4673 markings, 4676 edges, 5 markings/sec, 1085 secs
lola: STP completed || 1 tries, 4723 fired transitions, 1090 secs || 4697 markings, 4700 edges, 5 markings/sec, 1090 secs
lola: STP completed || 1 tries, 4747 fired transitions, 1095 secs || 4721 markings, 4724 edges, 5 markings/sec, 1095 secs
lola: STP completed || 1 tries, 4771 fired transitions, 1100 secs || 4745 markings, 4748 edges, 5 markings/sec, 1100 secs
lola: STP completed || 1 tries, 4795 fired transitions, 1105 secs || 4769 markings, 4772 edges, 5 markings/sec, 1105 secs
lola: STP completed || 1 tries, 4818 fired transitions, 1110 secs || 4792 markings, 4795 edges, 5 markings/sec, 1110 secs
lola: STP completed || 1 tries, 4842 fired transitions, 1115 secs || 4816 markings, 4819 edges, 5 markings/sec, 1115 secs
lola: STP completed || 1 tries, 4866 fired transitions, 1120 secs || 4840 markings, 4843 edges, 5 markings/sec, 1120 secs
lola: STP completed || 1 tries, 4890 fired transitions, 1125 secs || 4864 markings, 4867 edges, 5 markings/sec, 1125 secs
lola: STP completed || 1 tries, 4912 fired transitions, 1130 secs || 4886 markings, 4889 edges, 4 markings/sec, 1130 secs
lola: STP completed || 1 tries, 4936 fired transitions, 1135 secs || 4910 markings, 4913 edges, 5 markings/sec, 1135 secs
lola: STP completed || 1 tries, 4960 fired transitions, 1140 secs || 4934 markings, 4937 edges, 5 markings/sec, 1140 secs
lola: STP completed || 1 tries, 4984 fired transitions, 1145 secs || 4958 markings, 4961 edges, 5 markings/sec, 1145 secs
lola: STP completed || 1 tries, 5008 fired transitions, 1150 secs || 4982 markings, 4985 edges, 5 markings/sec, 1150 secs
lola: STP completed || 1 tries, 5031 fired transitions, 1155 secs || 5005 markings, 5008 edges, 5 markings/sec, 1155 secs
lola: STP completed || 1 tries, 5053 fired transitions, 1160 secs || 5027 markings, 5030 edges, 4 markings/sec, 1160 secs
lola: STP completed || 1 tries, 5075 fired transitions, 1165 secs || 5049 markings, 5052 edges, 4 markings/sec, 1165 secs
lola: STP completed || 1 tries, 5097 fired transitions, 1170 secs || 5071 markings, 5074 edges, 4 markings/sec, 1170 secs
lola: STP completed || 1 tries, 5119 fired transitions, 1175 secs || 5093 markings, 5096 edges, 4 markings/sec, 1175 secs
lola: STP completed || 1 tries, 5141 fired transitions, 1180 secs || 5115 markings, 5118 edges, 4 markings/sec, 1180 secs
lola: STP completed || 1 tries, 5163 fired transitions, 1185 secs || 5137 markings, 5140 edges, 4 markings/sec, 1185 secs
lola: STP completed || 1 tries, 5185 fired transitions, 1190 secs || 5159 markings, 5162 edges, 4 markings/sec, 1190 secs
lola: STP completed || 1 tries, 5207 fired transitions, 1195 secs || 5182 markings, 5185 edges, 5 markings/sec, 1195 secs
lola: STP completed || 1 tries, 5228 fired transitions, 1200 secs || 5204 markings, 5207 edges, 4 markings/sec, 1200 secs
lola: STP completed || 1 tries, 5250 fired transitions, 1205 secs || 5227 markings, 5230 edges, 5 markings/sec, 1205 secs
lola: STP completed || 1 tries, 5273 fired transitions, 1210 secs || 5250 markings, 5253 edges, 5 markings/sec, 1210 secs
lola: STP completed || 1 tries, 5295 fired transitions, 1215 secs || 5273 markings, 5276 edges, 5 markings/sec, 1215 secs
lola: STP completed || 1 tries, 5318 fired transitions, 1220 secs || 5296 markings, 5299 edges, 5 markings/sec, 1220 secs
lola: STP completed || 1 tries, 5342 fired transitions, 1225 secs || 5320 markings, 5323 edges, 5 markings/sec, 1225 secs
lola: STP completed || 1 tries, 5366 fired transitions, 1230 secs || 5344 markings, 5347 edges, 5 markings/sec, 1230 secs
lola: STP completed || 1 tries, 5389 fired transitions, 1235 secs || 5367 markings, 5370 edges, 5 markings/sec, 1235 secs
lola: STP completed || 1 tries, 5413 fired transitions, 1240 secs || 5391 markings, 5394 edges, 5 markings/sec, 1240 secs
lola: STP completed || 1 tries, 5437 fired transitions, 1245 secs || 5415 markings, 5418 edges, 5 markings/sec, 1245 secs
lola: STP completed || 1 tries, 5462 fired transitions, 1250 secs || 5440 markings, 5443 edges, 5 markings/sec, 1250 secs
lola: STP completed || 1 tries, 5486 fired transitions, 1255 secs || 5464 markings, 5467 edges, 5 markings/sec, 1255 secs
lola: STP completed || 1 tries, 5509 fired transitions, 1260 secs || 5487 markings, 5490 edges, 5 markings/sec, 1260 secs
lola: STP completed || 1 tries, 5532 fired transitions, 1265 secs || 5510 markings, 5513 edges, 5 markings/sec, 1265 secs
lola: STP completed || 1 tries, 5555 fired transitions, 1270 secs || 5533 markings, 5536 edges, 5 markings/sec, 1270 secs
lola: STP completed || 1 tries, 5579 fired transitions, 1275 secs || 5557 markings, 5560 edges, 5 markings/sec, 1275 secs
lola: STP completed || 1 tries, 5603 fired transitions, 1280 secs || 5581 markings, 5587 edges, 5 markings/sec, 1280 secs
lola: STP completed || 1 tries, 5627 fired transitions, 1285 secs || 5605 markings, 5611 edges, 5 markings/sec, 1285 secs
lola: STP completed || 1 tries, 5649 fired transitions, 1290 secs || 5627 markings, 5633 edges, 4 markings/sec, 1290 secs
lola: STP completed || 1 tries, 5672 fired transitions, 1295 secs || 5649 markings, 5655 edges, 4 markings/sec, 1295 secs
lola: STP completed || 1 tries, 5693 fired transitions, 1300 secs || 5671 markings, 5677 edges, 4 markings/sec, 1300 secs
lola: STP completed || 1 tries, 5715 fired transitions, 1305 secs || 5693 markings, 5699 edges, 4 markings/sec, 1305 secs
lola: STP completed || 1 tries, 5738 fired transitions, 1310 secs || 5716 markings, 5722 edges, 5 markings/sec, 1310 secs
lola: STP completed || 1 tries, 5762 fired transitions, 1315 secs || 5740 markings, 5746 edges, 5 markings/sec, 1315 secs
lola: STP completed || 1 tries, 5786 fired transitions, 1320 secs || 5764 markings, 5770 edges, 5 markings/sec, 1320 secs
lola: STP completed || 1 tries, 5809 fired transitions, 1325 secs || 5787 markings, 5793 edges, 5 markings/sec, 1325 secs
lola: STP completed || 1 tries, 5831 fired transitions, 1330 secs || 5809 markings, 5815 edges, 4 markings/sec, 1330 secs
lola: STP completed || 1 tries, 5853 fired transitions, 1335 secs || 5831 markings, 5837 edges, 4 markings/sec, 1335 secs
lola: STP completed || 1 tries, 5875 fired transitions, 1340 secs || 5853 markings, 5859 edges, 4 markings/sec, 1340 secs
lola: STP completed || 1 tries, 5897 fired transitions, 1345 secs || 5875 markings, 5881 edges, 4 markings/sec, 1345 secs
lola: STP completed || 1 tries, 5919 fired transitions, 1350 secs || 5897 markings, 5903 edges, 4 markings/sec, 1350 secs
lola: STP completed || 1 tries, 5942 fired transitions, 1355 secs || 5920 markings, 5926 edges, 5 markings/sec, 1355 secs
lola: STP completed || 1 tries, 5965 fired transitions, 1360 secs || 5943 markings, 5949 edges, 5 markings/sec, 1360 secs
lola: STP completed || 1 tries, 5987 fired transitions, 1365 secs || 5965 markings, 5971 edges, 4 markings/sec, 1365 secs
lola: STP completed || 1 tries, 6009 fired transitions, 1370 secs || 5987 markings, 5993 edges, 4 markings/sec, 1370 secs
lola: STP completed || 1 tries, 6032 fired transitions, 1375 secs || 6010 markings, 6016 edges, 5 markings/sec, 1375 secs
lola: STP completed || 1 tries, 6055 fired transitions, 1380 secs || 6033 markings, 6039 edges, 5 markings/sec, 1380 secs
lola: STP completed || 1 tries, 6078 fired transitions, 1385 secs || 6056 markings, 6062 edges, 5 markings/sec, 1385 secs
lola: STP completed || 1 tries, 6101 fired transitions, 1390 secs || 6079 markings, 6085 edges, 5 markings/sec, 1390 secs
lola: STP completed || 1 tries, 6124 fired transitions, 1395 secs || 6102 markings, 6108 edges, 5 markings/sec, 1395 secs
lola: STP completed || 1 tries, 6147 fired transitions, 1400 secs || 6124 markings, 6130 edges, 4 markings/sec, 1400 secs
lola: STP completed || 1 tries, 6171 fired transitions, 1405 secs || 6148 markings, 6154 edges, 5 markings/sec, 1405 secs
lola: STP completed || 1 tries, 6194 fired transitions, 1410 secs || 6171 markings, 6177 edges, 5 markings/sec, 1410 secs
lola: STP completed || 1 tries, 6217 fired transitions, 1415 secs || 6194 markings, 6200 edges, 5 markings/sec, 1415 secs
lola: STP completed || 1 tries, 6239 fired transitions, 1420 secs || 6216 markings, 6222 edges, 4 markings/sec, 1420 secs
lola: STP completed || 1 tries, 6262 fired transitions, 1425 secs || 6239 markings, 6245 edges, 5 markings/sec, 1425 secs
lola: STP completed || 1 tries, 6284 fired transitions, 1430 secs || 6261 markings, 6267 edges, 4 markings/sec, 1430 secs
lola: STP completed || 1 tries, 6307 fired transitions, 1435 secs || 6284 markings, 6290 edges, 5 markings/sec, 1435 secs
lola: STP completed || 1 tries, 6330 fired transitions, 1440 secs || 6307 markings, 6313 edges, 5 markings/sec, 1440 secs
lola: STP completed || 1 tries, 6353 fired transitions, 1445 secs || 6330 markings, 6336 edges, 5 markings/sec, 1445 secs
lola: STP completed || 1 tries, 6377 fired transitions, 1450 secs || 6354 markings, 6360 edges, 5 markings/sec, 1450 secs
lola: STP completed || 1 tries, 6400 fired transitions, 1455 secs || 6377 markings, 6383 edges, 5 markings/sec, 1455 secs
lola: STP completed || 1 tries, 6423 fired transitions, 1460 secs || 6400 markings, 6406 edges, 5 markings/sec, 1460 secs
lola: STP completed || 1 tries, 6446 fired transitions, 1465 secs || 6422 markings, 6428 edges, 4 markings/sec, 1465 secs
lola: STP completed || 1 tries, 6469 fired transitions, 1470 secs || 6444 markings, 6450 edges, 4 markings/sec, 1470 secs
lola: STP completed || 1 tries, 6491 fired transitions, 1475 secs || 6466 markings, 6472 edges, 4 markings/sec, 1475 secs
lola: STP completed || 1 tries, 6513 fired transitions, 1480 secs || 6488 markings, 6494 edges, 4 markings/sec, 1480 secs
lola: STP completed || 1 tries, 6534 fired transitions, 1485 secs || 6509 markings, 6515 edges, 4 markings/sec, 1485 secs
lola: STP completed || 1 tries, 6556 fired transitions, 1490 secs || 6531 markings, 6537 edges, 4 markings/sec, 1490 secs
lola: STP completed || 1 tries, 6580 fired transitions, 1495 secs || 6555 markings, 6561 edges, 5 markings/sec, 1495 secs
lola: STP completed || 1 tries, 6603 fired transitions, 1500 secs || 6578 markings, 6584 edges, 5 markings/sec, 1500 secs
lola: STP completed || 1 tries, 6627 fired transitions, 1505 secs || 6602 markings, 6608 edges, 5 markings/sec, 1505 secs
lola: STP completed || 1 tries, 6651 fired transitions, 1510 secs || 6626 markings, 6632 edges, 5 markings/sec, 1510 secs
lola: STP completed || 1 tries, 6674 fired transitions, 1515 secs || 6649 markings, 6655 edges, 5 markings/sec, 1515 secs
lola: STP completed || 1 tries, 6696 fired transitions, 1520 secs || 6671 markings, 6677 edges, 4 markings/sec, 1520 secs
lola: STP completed || 1 tries, 6719 fired transitions, 1525 secs || 6694 markings, 6700 edges, 5 markings/sec, 1525 secs
lola: STP completed || 1 tries, 6741 fired transitions, 1530 secs || 6716 markings, 6722 edges, 4 markings/sec, 1530 secs
lola: STP completed || 1 tries, 6764 fired transitions, 1535 secs || 6739 markings, 6745 edges, 5 markings/sec, 1535 secs
lola: STP completed || 1 tries, 6787 fired transitions, 1540 secs || 6762 markings, 6768 edges, 5 markings/sec, 1540 secs
lola: STP completed || 1 tries, 6810 fired transitions, 1545 secs || 6785 markings, 6791 edges, 5 markings/sec, 1545 secs
lola: STP completed || 1 tries, 6832 fired transitions, 1550 secs || 6807 markings, 6813 edges, 4 markings/sec, 1550 secs
lola: STP completed || 1 tries, 6855 fired transitions, 1555 secs || 6830 markings, 6836 edges, 5 markings/sec, 1555 secs
lola: STP completed || 1 tries, 6879 fired transitions, 1560 secs || 6852 markings, 6858 edges, 4 markings/sec, 1560 secs
lola: STP completed || 1 tries, 6901 fired transitions, 1565 secs || 6875 markings, 6881 edges, 5 markings/sec, 1565 secs
lola: STP completed || 1 tries, 6924 fired transitions, 1570 secs || 6896 markings, 6902 edges, 4 markings/sec, 1570 secs
lola: STP completed || 1 tries, 6946 fired transitions, 1575 secs || 6918 markings, 6924 edges, 4 markings/sec, 1575 secs
lola: STP completed || 1 tries, 6968 fired transitions, 1580 secs || 6939 markings, 6945 edges, 4 markings/sec, 1580 secs
lola: STP completed || 1 tries, 6990 fired transitions, 1585 secs || 6961 markings, 6967 edges, 4 markings/sec, 1585 secs
lola: STP completed || 1 tries, 7013 fired transitions, 1590 secs || 6984 markings, 6990 edges, 5 markings/sec, 1590 secs
lola: STP completed || 1 tries, 7034 fired transitions, 1595 secs || 7005 markings, 7011 edges, 4 markings/sec, 1595 secs
lola: STP completed || 1 tries, 7056 fired transitions, 1600 secs || 7027 markings, 7034 edges, 4 markings/sec, 1600 secs
lola: STP completed || 1 tries, 7078 fired transitions, 1605 secs || 7049 markings, 7056 edges, 4 markings/sec, 1605 secs
lola: STP completed || 1 tries, 7100 fired transitions, 1610 secs || 7071 markings, 7078 edges, 4 markings/sec, 1610 secs
lola: STP completed || 1 tries, 7122 fired transitions, 1615 secs || 7093 markings, 7100 edges, 4 markings/sec, 1615 secs
lola: STP completed || 1 tries, 7144 fired transitions, 1620 secs || 7114 markings, 7121 edges, 4 markings/sec, 1620 secs
lola: STP completed || 1 tries, 7166 fired transitions, 1625 secs || 7136 markings, 7143 edges, 4 markings/sec, 1625 secs
lola: STP completed || 1 tries, 7189 fired transitions, 1630 secs || 7159 markings, 7166 edges, 5 markings/sec, 1630 secs
lola: STP completed || 1 tries, 7210 fired transitions, 1635 secs || 7180 markings, 7187 edges, 4 markings/sec, 1635 secs
lola: STP completed || 1 tries, 7233 fired transitions, 1640 secs || 7202 markings, 7209 edges, 4 markings/sec, 1640 secs
lola: STP completed || 1 tries, 7256 fired transitions, 1645 secs || 7225 markings, 7232 edges, 5 markings/sec, 1645 secs
lola: STP completed || 1 tries, 7278 fired transitions, 1650 secs || 7247 markings, 7254 edges, 4 markings/sec, 1650 secs
lola: STP completed || 1 tries, 7301 fired transitions, 1655 secs || 7270 markings, 7277 edges, 5 markings/sec, 1655 secs
lola: STP completed || 1 tries, 7325 fired transitions, 1660 secs || 7294 markings, 7301 edges, 5 markings/sec, 1660 secs
lola: STP completed || 1 tries, 7349 fired transitions, 1665 secs || 7318 markings, 7325 edges, 5 markings/sec, 1665 secs
lola: STP completed || 1 tries, 7373 fired transitions, 1670 secs || 7342 markings, 7349 edges, 5 markings/sec, 1670 secs
lola: STP completed || 1 tries, 7396 fired transitions, 1675 secs || 7365 markings, 7372 edges, 5 markings/sec, 1675 secs
lola: STP completed || 1 tries, 7419 fired transitions, 1680 secs || 7387 markings, 7394 edges, 4 markings/sec, 1680 secs
lola: STP completed || 1 tries, 7442 fired transitions, 1685 secs || 7410 markings, 7417 edges, 5 markings/sec, 1685 secs
lola: STP completed || 1 tries, 7466 fired transitions, 1690 secs || 7434 markings, 7441 edges, 5 markings/sec, 1690 secs
lola: STP completed || 1 tries, 7489 fired transitions, 1695 secs || 7457 markings, 7464 edges, 5 markings/sec, 1695 secs
lola: STP completed || 1 tries, 7512 fired transitions, 1700 secs || 7480 markings, 7487 edges, 5 markings/sec, 1700 secs
lola: STP completed || 1 tries, 7535 fired transitions, 1705 secs || 7503 markings, 7510 edges, 5 markings/sec, 1705 secs
lola: STP completed || 1 tries, 7558 fired transitions, 1710 secs || 7526 markings, 7533 edges, 5 markings/sec, 1710 secs
lola: STP completed || 1 tries, 7581 fired transitions, 1715 secs || 7549 markings, 7556 edges, 5 markings/sec, 1715 secs
lola: STP completed || 1 tries, 7605 fired transitions, 1720 secs || 7573 markings, 7580 edges, 5 markings/sec, 1720 secs
lola: STP completed || 1 tries, 7628 fired transitions, 1725 secs || 7596 markings, 7603 edges, 5 markings/sec, 1725 secs
lola: STP completed || 1 tries, 7650 fired transitions, 1730 secs || 7618 markings, 7625 edges, 4 markings/sec, 1730 secs
lola: STP completed || 1 tries, 7673 fired transitions, 1735 secs || 7640 markings, 7647 edges, 4 markings/sec, 1735 secs
lola: STP completed || 1 tries, 7696 fired transitions, 1740 secs || 7664 markings, 7671 edges, 5 markings/sec, 1740 secs
lola: STP completed || 1 tries, 7719 fired transitions, 1745 secs || 7687 markings, 7694 edges, 5 markings/sec, 1745 secs
lola: STP completed || 1 tries, 7743 fired transitions, 1750 secs || 7711 markings, 7718 edges, 5 markings/sec, 1750 secs
lola: STP completed || 1 tries, 7766 fired transitions, 1755 secs || 7734 markings, 7741 edges, 5 markings/sec, 1755 secs
lola: STP completed || 1 tries, 7789 fired transitions, 1760 secs || 7757 markings, 7764 edges, 5 markings/sec, 1760 secs
lola: STP completed || 1 tries, 7812 fired transitions, 1765 secs || 7779 markings, 7786 edges, 4 markings/sec, 1765 secs
lola: STP completed || 1 tries, 7833 fired transitions, 1770 secs || 7801 markings, 7808 edges, 4 markings/sec, 1770 secs
lola: STP completed || 1 tries, 7857 fired transitions, 1775 secs || 7824 markings, 7833 edges, 5 markings/sec, 1775 secs
lola: STP completed || 1 tries, 7880 fired transitions, 1780 secs || 7848 markings, 7858 edges, 5 markings/sec, 1780 secs
lola: STP completed || 1 tries, 7902 fired transitions, 1785 secs || 7870 markings, 7880 edges, 4 markings/sec, 1785 secs
lola: STP completed || 1 tries, 7924 fired transitions, 1790 secs || 7892 markings, 7902 edges, 4 markings/sec, 1790 secs
lola: STP completed || 1 tries, 7947 fired transitions, 1795 secs || 7915 markings, 7925 edges, 5 markings/sec, 1795 secs
lola: STP completed || 1 tries, 7970 fired transitions, 1800 secs || 7938 markings, 7949 edges, 5 markings/sec, 1800 secs
lola: STP completed || 1 tries, 7994 fired transitions, 1805 secs || 7961 markings, 7972 edges, 5 markings/sec, 1805 secs
lola: STP completed || 1 tries, 8017 fired transitions, 1810 secs || 7984 markings, 7995 edges, 5 markings/sec, 1810 secs
lola: STP completed || 1 tries, 8041 fired transitions, 1815 secs || 8008 markings, 8019 edges, 5 markings/sec, 1815 secs
lola: STP completed || 1 tries, 8064 fired transitions, 1820 secs || 8031 markings, 8042 edges, 5 markings/sec, 1820 secs
lola: STP completed || 1 tries, 8087 fired transitions, 1825 secs || 8054 markings, 8065 edges, 5 markings/sec, 1825 secs
lola: STP completed || 1 tries, 8110 fired transitions, 1830 secs || 8077 markings, 8088 edges, 5 markings/sec, 1830 secs
lola: STP completed || 1 tries, 8133 fired transitions, 1835 secs || 8100 markings, 8111 edges, 5 markings/sec, 1835 secs
lola: STP completed || 1 tries, 8157 fired transitions, 1840 secs || 8123 markings, 8134 edges, 5 markings/sec, 1840 secs
lola: STP completed || 1 tries, 8179 fired transitions, 1845 secs || 8146 markings, 8157 edges, 5 markings/sec, 1845 secs
lola: STP completed || 1 tries, 8203 fired transitions, 1850 secs || 8170 markings, 8182 edges, 5 markings/sec, 1850 secs
lola: STP completed || 1 tries, 8226 fired transitions, 1855 secs || 8193 markings, 8205 edges, 5 markings/sec, 1855 secs
lola: STP completed || 1 tries, 8248 fired transitions, 1860 secs || 8216 markings, 8228 edges, 5 markings/sec, 1860 secs
lola: STP completed || 1 tries, 8272 fired transitions, 1865 secs || 8239 markings, 8251 edges, 5 markings/sec, 1865 secs
lola: STP completed || 1 tries, 8295 fired transitions, 1870 secs || 8262 markings, 8274 edges, 5 markings/sec, 1870 secs
lola: STP completed || 1 tries, 8319 fired transitions, 1875 secs || 8286 markings, 8298 edges, 5 markings/sec, 1875 secs
lola: STP completed || 1 tries, 8342 fired transitions, 1880 secs || 8309 markings, 8321 edges, 5 markings/sec, 1880 secs
lola: STP completed || 1 tries, 8366 fired transitions, 1885 secs || 8333 markings, 8345 edges, 5 markings/sec, 1885 secs
lola: STP completed || 1 tries, 8389 fired transitions, 1890 secs || 8356 markings, 8368 edges, 5 markings/sec, 1890 secs
lola: STP completed || 1 tries, 8411 fired transitions, 1895 secs || 8378 markings, 8390 edges, 4 markings/sec, 1895 secs
lola: STP completed || 1 tries, 8435 fired transitions, 1900 secs || 8401 markings, 8413 edges, 5 markings/sec, 1900 secs
lola: STP completed || 1 tries, 8458 fired transitions, 1905 secs || 8425 markings, 8437 edges, 5 markings/sec, 1905 secs
lola: STP completed || 1 tries, 8481 fired transitions, 1910 secs || 8448 markings, 8460 edges, 5 markings/sec, 1910 secs
lola: STP completed || 1 tries, 8504 fired transitions, 1915 secs || 8470 markings, 8482 edges, 4 markings/sec, 1915 secs
lola: STP completed || 1 tries, 8527 fired transitions, 1920 secs || 8493 markings, 8505 edges, 5 markings/sec, 1920 secs
lola: STP completed || 1 tries, 8551 fired transitions, 1925 secs || 8517 markings, 8529 edges, 5 markings/sec, 1925 secs
lola: STP completed || 1 tries, 8574 fired transitions, 1930 secs || 8540 markings, 8552 edges, 5 markings/sec, 1930 secs
lola: STP completed || 1 tries, 8597 fired transitions, 1935 secs || 8563 markings, 8575 edges, 5 markings/sec, 1935 secs
lola: STP completed || 1 tries, 8620 fired transitions, 1940 secs || 8585 markings, 8597 edges, 4 markings/sec, 1940 secs
lola: STP completed || 1 tries, 8642 fired transitions, 1945 secs || 8607 markings, 8619 edges, 4 markings/sec, 1945 secs
lola: STP completed || 1 tries, 8665 fired transitions, 1950 secs || 8630 markings, 8642 edges, 5 markings/sec, 1950 secs
lola: STP completed || 1 tries, 8687 fired transitions, 1955 secs || 8652 markings, 8664 edges, 4 markings/sec, 1955 secs
lola: STP completed || 1 tries, 8709 fired transitions, 1960 secs || 8673 markings, 8685 edges, 4 markings/sec, 1960 secs
lola: STP completed || 1 tries, 8732 fired transitions, 1965 secs || 8696 markings, 8708 edges, 5 markings/sec, 1965 secs
lola: STP completed || 1 tries, 8755 fired transitions, 1970 secs || 8719 markings, 8731 edges, 5 markings/sec, 1970 secs
lola: STP completed || 1 tries, 8778 fired transitions, 1975 secs || 8741 markings, 8753 edges, 4 markings/sec, 1975 secs
lola: STP completed || 1 tries, 8801 fired transitions, 1980 secs || 8764 markings, 8776 edges, 5 markings/sec, 1980 secs
lola: STP completed || 1 tries, 8823 fired transitions, 1985 secs || 8786 markings, 8798 edges, 4 markings/sec, 1985 secs
lola: STP completed || 1 tries, 8845 fired transitions, 1990 secs || 8807 markings, 8819 edges, 4 markings/sec, 1990 secs
lola: STP completed || 1 tries, 8868 fired transitions, 1995 secs || 8829 markings, 8841 edges, 4 markings/sec, 1995 secs
lola: STP completed || 1 tries, 8890 fired transitions, 2000 secs || 8851 markings, 8863 edges, 4 markings/sec, 2000 secs
lola: STP completed || 1 tries, 8913 fired transitions, 2005 secs || 8874 markings, 8886 edges, 5 markings/sec, 2005 secs
lola: STP completed || 1 tries, 8935 fired transitions, 2010 secs || 8896 markings, 8908 edges, 4 markings/sec, 2010 secs
lola: STP completed || 1 tries, 8959 fired transitions, 2015 secs || 8920 markings, 8932 edges, 5 markings/sec, 2015 secs
lola: STP completed || 1 tries, 8982 fired transitions, 2020 secs || 8943 markings, 8955 edges, 5 markings/sec, 2020 secs
lola: STP completed || 1 tries, 9006 fired transitions, 2025 secs || 8967 markings, 8979 edges, 5 markings/sec, 2025 secs
lola: STP completed || 1 tries, 9029 fired transitions, 2030 secs || 8990 markings, 9002 edges, 5 markings/sec, 2030 secs
lola: STP completed || 1 tries, 9052 fired transitions, 2035 secs || 9013 markings, 9025 edges, 5 markings/sec, 2035 secs
lola: STP completed || 1 tries, 9075 fired transitions, 2040 secs || 9037 markings, 9049 edges, 5 markings/sec, 2040 secs
lola: STP completed || 1 tries, 9099 fired transitions, 2045 secs || 9060 markings, 9074 edges, 5 markings/sec, 2045 secs
lola: STP completed || 1 tries, 9122 fired transitions, 2050 secs || 9083 markings, 9098 edges, 5 markings/sec, 2050 secs
lola: STP completed || 1 tries, 9145 fired transitions, 2055 secs || 9106 markings, 9121 edges, 5 markings/sec, 2055 secs
lola: STP completed || 1 tries, 9168 fired transitions, 2060 secs || 9129 markings, 9144 edges, 5 markings/sec, 2060 secs
lola: STP completed || 1 tries, 9190 fired transitions, 2065 secs || 9150 markings, 9165 edges, 4 markings/sec, 2065 secs
lola: STP completed || 1 tries, 9212 fired transitions, 2070 secs || 9172 markings, 9187 edges, 4 markings/sec, 2070 secs
lola: STP completed || 1 tries, 9233 fired transitions, 2075 secs || 9193 markings, 9208 edges, 4 markings/sec, 2075 secs
lola: STP completed || 1 tries, 9256 fired transitions, 2080 secs || 9216 markings, 9231 edges, 5 markings/sec, 2080 secs
lola: STP completed || 1 tries, 9280 fired transitions, 2085 secs || 9240 markings, 9257 edges, 5 markings/sec, 2085 secs
lola: STP completed || 1 tries, 9303 fired transitions, 2090 secs || 9263 markings, 9280 edges, 5 markings/sec, 2090 secs
lola: STP completed || 1 tries, 9326 fired transitions, 2095 secs || 9286 markings, 9303 edges, 5 markings/sec, 2095 secs
lola: STP completed || 1 tries, 9349 fired transitions, 2100 secs || 9309 markings, 9326 edges, 5 markings/sec, 2100 secs
lola: STP completed || 1 tries, 9372 fired transitions, 2105 secs || 9332 markings, 9349 edges, 5 markings/sec, 2105 secs
lola: STP completed || 1 tries, 9394 fired transitions, 2110 secs || 9354 markings, 9371 edges, 4 markings/sec, 2110 secs
lola: STP completed || 1 tries, 9416 fired transitions, 2115 secs || 9375 markings, 9392 edges, 4 markings/sec, 2115 secs
lola: STP completed || 1 tries, 9439 fired transitions, 2120 secs || 9398 markings, 9415 edges, 5 markings/sec, 2120 secs
lola: STP completed || 1 tries, 9462 fired transitions, 2125 secs || 9421 markings, 9438 edges, 5 markings/sec, 2125 secs
lola: STP completed || 1 tries, 9485 fired transitions, 2130 secs || 9444 markings, 9461 edges, 5 markings/sec, 2130 secs
lola: STP completed || 1 tries, 9508 fired transitions, 2135 secs || 9467 markings, 9484 edges, 5 markings/sec, 2135 secs
lola: STP completed || 1 tries, 9531 fired transitions, 2140 secs || 9490 markings, 9507 edges, 5 markings/sec, 2140 secs
lola: STP completed || 1 tries, 9554 fired transitions, 2145 secs || 9513 markings, 9530 edges, 5 markings/sec, 2145 secs
lola: STP completed || 1 tries, 9577 fired transitions, 2150 secs || 9536 markings, 9553 edges, 5 markings/sec, 2150 secs
lola: STP completed || 1 tries, 9600 fired transitions, 2155 secs || 9559 markings, 9576 edges, 5 markings/sec, 2155 secs
lola: STP completed || 1 tries, 9623 fired transitions, 2160 secs || 9582 markings, 9599 edges, 5 markings/sec, 2160 secs
lola: STP completed || 1 tries, 9646 fired transitions, 2165 secs || 9605 markings, 9622 edges, 5 markings/sec, 2165 secs
lola: STP completed || 1 tries, 9670 fired transitions, 2170 secs || 9629 markings, 9646 edges, 5 markings/sec, 2170 secs
lola: STP completed || 1 tries, 9693 fired transitions, 2175 secs || 9652 markings, 9669 edges, 5 markings/sec, 2175 secs
lola: STP completed || 1 tries, 9717 fired transitions, 2180 secs || 9676 markings, 9693 edges, 5 markings/sec, 2180 secs
lola: STP completed || 1 tries, 9741 fired transitions, 2185 secs || 9700 markings, 9717 edges, 5 markings/sec, 2185 secs
lola: STP completed || 1 tries, 9763 fired transitions, 2190 secs || 9722 markings, 9739 edges, 4 markings/sec, 2190 secs
lola: STP completed || 1 tries, 9786 fired transitions, 2195 secs || 9745 markings, 9762 edges, 5 markings/sec, 2195 secs
lola: STP completed || 1 tries, 9808 fired transitions, 2200 secs || 9767 markings, 9786 edges, 4 markings/sec, 2200 secs
lola: STP completed || 1 tries, 9830 fired transitions, 2205 secs || 9789 markings, 9808 edges, 4 markings/sec, 2205 secs
lola: STP completed || 1 tries, 9853 fired transitions, 2210 secs || 9812 markings, 9831 edges, 5 markings/sec, 2210 secs
lola: STP completed || 1 tries, 9876 fired transitions, 2215 secs || 9835 markings, 9854 edges, 5 markings/sec, 2215 secs
lola: STP completed || 1 tries, 9900 fired transitions, 2220 secs || 9859 markings, 9878 edges, 5 markings/sec, 2220 secs
lola: STP completed || 1 tries, 9923 fired transitions, 2225 secs || 9881 markings, 9900 edges, 4 markings/sec, 2225 secs
lola: STP completed || 1 tries, 9946 fired transitions, 2230 secs || 9903 markings, 9922 edges, 4 markings/sec, 2230 secs
lola: STP completed || 1 tries, 9968 fired transitions, 2235 secs || 9926 markings, 9945 edges, 5 markings/sec, 2235 secs
lola: STP completed || 1 tries, 9990 fired transitions, 2240 secs || 9948 markings, 9967 edges, 4 markings/sec, 2240 secs
lola: STP completed || 1 tries, 10012 fired transitions, 2245 secs || 9970 markings, 9989 edges, 4 markings/sec, 2245 secs
lola: STP completed || 1 tries, 10034 fired transitions, 2250 secs || 9992 markings, 10011 edges, 4 markings/sec, 2250 secs
lola: STP completed || 1 tries, 10056 fired transitions, 2255 secs || 10014 markings, 10033 edges, 4 markings/sec, 2255 secs
lola: STP completed || 1 tries, 10079 fired transitions, 2260 secs || 10037 markings, 10056 edges, 5 markings/sec, 2260 secs
lola: STP completed || 1 tries, 10103 fired transitions, 2265 secs || 10061 markings, 10080 edges, 5 markings/sec, 2265 secs
lola: STP completed || 1 tries, 10126 fired transitions, 2270 secs || 10084 markings, 10103 edges, 5 markings/sec, 2270 secs
lola: STP completed || 1 tries, 10148 fired transitions, 2275 secs || 10106 markings, 10127 edges, 4 markings/sec, 2275 secs
lola: STP completed || 1 tries, 10171 fired transitions, 2280 secs || 10129 markings, 10151 edges, 5 markings/sec, 2280 secs
lola: STP completed || 1 tries, 10193 fired transitions, 2285 secs || 10151 markings, 10173 edges, 4 markings/sec, 2285 secs
lola: STP completed || 1 tries, 10216 fired transitions, 2290 secs || 10174 markings, 10196 edges, 5 markings/sec, 2290 secs
lola: STP completed || 1 tries, 10239 fired transitions, 2295 secs || 10197 markings, 10219 edges, 5 markings/sec, 2295 secs
lola: STP completed || 1 tries, 10261 fired transitions, 2300 secs || 10219 markings, 10241 edges, 4 markings/sec, 2300 secs
lola: STP completed || 1 tries, 10284 fired transitions, 2305 secs || 10242 markings, 10264 edges, 5 markings/sec, 2305 secs
lola: STP completed || 1 tries, 10306 fired transitions, 2310 secs || 10264 markings, 10286 edges, 4 markings/sec, 2310 secs
lola: STP completed || 1 tries, 10329 fired transitions, 2315 secs || 10287 markings, 10309 edges, 5 markings/sec, 2315 secs
lola: STP completed || 1 tries, 10351 fired transitions, 2320 secs || 10309 markings, 10332 edges, 4 markings/sec, 2320 secs
lola: STP completed || 1 tries, 10374 fired transitions, 2325 secs || 10333 markings, 10357 edges, 5 markings/sec, 2325 secs
lola: STP completed || 1 tries, 10397 fired transitions, 2330 secs || 10355 markings, 10379 edges, 4 markings/sec, 2330 secs
lola: STP completed || 1 tries, 10420 fired transitions, 2335 secs || 10378 markings, 10402 edges, 5 markings/sec, 2335 secs
lola: STP completed || 1 tries, 10443 fired transitions, 2340 secs || 10401 markings, 10425 edges, 5 markings/sec, 2340 secs
lola: STP completed || 1 tries, 10465 fired transitions, 2345 secs || 10423 markings, 10447 edges, 4 markings/sec, 2345 secs
lola: STP completed || 1 tries, 10488 fired transitions, 2350 secs || 10446 markings, 10470 edges, 5 markings/sec, 2350 secs
lola: STP completed || 1 tries, 10510 fired transitions, 2355 secs || 10468 markings, 10493 edges, 4 markings/sec, 2355 secs
lola: STP completed || 1 tries, 10533 fired transitions, 2360 secs || 10491 markings, 10516 edges, 5 markings/sec, 2360 secs
lola: STP completed || 1 tries, 10556 fired transitions, 2365 secs || 10514 markings, 10539 edges, 5 markings/sec, 2365 secs
lola: STP completed || 1 tries, 10579 fired transitions, 2370 secs || 10537 markings, 10562 edges, 5 markings/sec, 2370 secs
lola: STP completed || 1 tries, 10602 fired transitions, 2375 secs || 10560 markings, 10585 edges, 5 markings/sec, 2375 secs
lola: STP completed || 1 tries, 10625 fired transitions, 2380 secs || 10583 markings, 10608 edges, 5 markings/sec, 2380 secs
lola: STP completed || 1 tries, 10647 fired transitions, 2385 secs || 10605 markings, 10630 edges, 4 markings/sec, 2385 secs
lola: STP completed || 1 tries, 10671 fired transitions, 2390 secs || 10629 markings, 10654 edges, 5 markings/sec, 2390 secs
lola: STP completed || 1 tries, 10694 fired transitions, 2395 secs || 10652 markings, 10677 edges, 5 markings/sec, 2395 secs
lola: STP completed || 1 tries, 10717 fired transitions, 2400 secs || 10675 markings, 10700 edges, 5 markings/sec, 2400 secs
lola: STP completed || 1 tries, 10741 fired transitions, 2405 secs || 10699 markings, 10724 edges, 5 markings/sec, 2405 secs
lola: STP completed || 1 tries, 10765 fired transitions, 2410 secs || 10723 markings, 10748 edges, 5 markings/sec, 2410 secs
lola: STP completed || 1 tries, 10788 fired transitions, 2415 secs || 10746 markings, 10771 edges, 5 markings/sec, 2415 secs
lola: STP completed || 1 tries, 10811 fired transitions, 2420 secs || 10769 markings, 10794 edges, 5 markings/sec, 2420 secs
lola: STP completed || 1 tries, 10835 fired transitions, 2425 secs || 10793 markings, 10818 edges, 5 markings/sec, 2425 secs
lola: STP completed || 1 tries, 10858 fired transitions, 2430 secs || 10816 markings, 10845 edges, 5 markings/sec, 2430 secs
lola: STP completed || 1 tries, 10881 fired transitions, 2435 secs || 10839 markings, 10868 edges, 5 markings/sec, 2435 secs
lola: STP completed || 1 tries, 10904 fired transitions, 2440 secs || 10862 markings, 10891 edges, 5 markings/sec, 2440 secs
lola: STP completed || 1 tries, 10926 fired transitions, 2445 secs || 10885 markings, 10914 edges, 5 markings/sec, 2445 secs
lola: STP completed || 1 tries, 10950 fired transitions, 2450 secs || 10908 markings, 10937 edges, 5 markings/sec, 2450 secs
lola: STP completed || 1 tries, 10973 fired transitions, 2455 secs || 10931 markings, 10960 edges, 5 markings/sec, 2455 secs
lola: STP completed || 1 tries, 10997 fired transitions, 2460 secs || 10954 markings, 10983 edges, 5 markings/sec, 2460 secs
lola: STP completed || 1 tries, 11020 fired transitions, 2465 secs || 10978 markings, 11007 edges, 5 markings/sec, 2465 secs
lola: STP completed || 1 tries, 11043 fired transitions, 2470 secs || 11001 markings, 11030 edges, 5 markings/sec, 2470 secs
lola: STP completed || 1 tries, 11066 fired transitions, 2475 secs || 11024 markings, 11053 edges, 5 markings/sec, 2475 secs
lola: STP completed || 1 tries, 11090 fired transitions, 2480 secs || 11048 markings, 11077 edges, 5 markings/sec, 2480 secs
lola: STP completed || 1 tries, 11114 fired transitions, 2485 secs || 11072 markings, 11101 edges, 5 markings/sec, 2485 secs
lola: STP completed || 1 tries, 11138 fired transitions, 2490 secs || 11096 markings, 11125 edges, 5 markings/sec, 2490 secs
lola: STP completed || 1 tries, 11161 fired transitions, 2495 secs || 11119 markings, 11148 edges, 5 markings/sec, 2495 secs
lola: STP completed || 1 tries, 11184 fired transitions, 2500 secs || 11142 markings, 11171 edges, 5 markings/sec, 2500 secs
lola: STP completed || 1 tries, 11208 fired transitions, 2505 secs || 11166 markings, 11195 edges, 5 markings/sec, 2505 secs
lola: STP completed || 1 tries, 11231 fired transitions, 2510 secs || 11189 markings, 11218 edges, 5 markings/sec, 2510 secs
lola: STP completed || 1 tries, 11254 fired transitions, 2515 secs || 11212 markings, 11241 edges, 5 markings/sec, 2515 secs
lola: STP completed || 1 tries, 11278 fired transitions, 2520 secs || 11236 markings, 11265 edges, 5 markings/sec, 2520 secs
lola: STP completed || 1 tries, 11301 fired transitions, 2525 secs || 11259 markings, 11288 edges, 5 markings/sec, 2525 secs
lola: STP completed || 1 tries, 11324 fired transitions, 2530 secs || 11282 markings, 11311 edges, 5 markings/sec, 2530 secs
lola: STP completed || 1 tries, 11347 fired transitions, 2535 secs || 11305 markings, 11334 edges, 5 markings/sec, 2535 secs
lola: STP completed || 1 tries, 11371 fired transitions, 2540 secs || 11329 markings, 11358 edges, 5 markings/sec, 2540 secs
lola: STP completed || 1 tries, 11395 fired transitions, 2545 secs || 11353 markings, 11386 edges, 5 markings/sec, 2545 secs
lola: STP completed || 1 tries, 11418 fired transitions, 2550 secs || 11376 markings, 11409 edges, 5 markings/sec, 2550 secs
lola: STP completed || 1 tries, 11442 fired transitions, 2555 secs || 11400 markings, 11433 edges, 5 markings/sec, 2555 secs
lola: STP completed || 1 tries, 11466 fired transitions, 2560 secs || 11424 markings, 11457 edges, 5 markings/sec, 2560 secs
lola: STP completed || 1 tries, 11489 fired transitions, 2565 secs || 11447 markings, 11480 edges, 5 markings/sec, 2565 secs
lola: STP completed || 1 tries, 11513 fired transitions, 2570 secs || 11471 markings, 11504 edges, 5 markings/sec, 2570 secs
lola: STP completed || 1 tries, 11537 fired transitions, 2575 secs || 11495 markings, 11528 edges, 5 markings/sec, 2575 secs
lola: STP completed || 1 tries, 11561 fired transitions, 2580 secs || 11519 markings, 11552 edges, 5 markings/sec, 2580 secs
lola: STP completed || 1 tries, 11585 fired transitions, 2585 secs || 11542 markings, 11575 edges, 5 markings/sec, 2585 secs
lola: STP completed || 1 tries, 11609 fired transitions, 2590 secs || 11567 markings, 11600 edges, 5 markings/sec, 2590 secs
lola: STP completed || 1 tries, 11633 fired transitions, 2595 secs || 11591 markings, 11624 edges, 5 markings/sec, 2595 secs
lola: STP completed || 1 tries, 11656 fired transitions, 2600 secs || 11614 markings, 11647 edges, 5 markings/sec, 2600 secs
lola: STP completed || 1 tries, 11679 fired transitions, 2605 secs || 11637 markings, 11670 edges, 5 markings/sec, 2605 secs
lola: STP completed || 1 tries, 11703 fired transitions, 2610 secs || 11661 markings, 11694 edges, 5 markings/sec, 2610 secs
lola: STP completed || 1 tries, 11726 fired transitions, 2615 secs || 11684 markings, 11717 edges, 5 markings/sec, 2615 secs
lola: STP completed || 1 tries, 11750 fired transitions, 2620 secs || 11708 markings, 11741 edges, 5 markings/sec, 2620 secs
lola: STP completed || 1 tries, 11773 fired transitions, 2625 secs || 11731 markings, 11764 edges, 5 markings/sec, 2625 secs
lola: STP completed || 1 tries, 11794 fired transitions, 2630 secs || 11754 markings, 11787 edges, 5 markings/sec, 2630 secs
lola: STP completed || 1 tries, 11815 fired transitions, 2635 secs || 11776 markings, 11809 edges, 4 markings/sec, 2635 secs
lola: STP completed || 1 tries, 11837 fired transitions, 2640 secs || 11799 markings, 11832 edges, 5 markings/sec, 2640 secs
lola: STP completed || 1 tries, 11858 fired transitions, 2645 secs || 11821 markings, 11854 edges, 4 markings/sec, 2645 secs
lola: STP completed || 1 tries, 11881 fired transitions, 2650 secs || 11844 markings, 11877 edges, 5 markings/sec, 2650 secs
lola: STP completed || 1 tries, 11904 fired transitions, 2655 secs || 11867 markings, 11900 edges, 5 markings/sec, 2655 secs
lola: STP completed || 1 tries, 11927 fired transitions, 2660 secs || 11890 markings, 11923 edges, 5 markings/sec, 2660 secs
lola: STP completed || 1 tries, 11950 fired transitions, 2665 secs || 11913 markings, 11946 edges, 5 markings/sec, 2665 secs
lola: STP completed || 1 tries, 11974 fired transitions, 2670 secs || 11937 markings, 11970 edges, 5 markings/sec, 2670 secs
lola: STP completed || 1 tries, 11997 fired transitions, 2675 secs || 11960 markings, 11993 edges, 5 markings/sec, 2675 secs
lola: STP completed || 1 tries, 12020 fired transitions, 2680 secs || 11983 markings, 12016 edges, 5 markings/sec, 2680 secs
lola: STP completed || 1 tries, 12043 fired transitions, 2685 secs || 12006 markings, 12039 edges, 5 markings/sec, 2685 secs
lola: STP completed || 1 tries, 12066 fired transitions, 2690 secs || 12029 markings, 12062 edges, 5 markings/sec, 2690 secs
lola: STP completed || 1 tries, 12089 fired transitions, 2695 secs || 12052 markings, 12085 edges, 5 markings/sec, 2695 secs
lola: STP completed || 1 tries, 12113 fired transitions, 2700 secs || 12076 markings, 12109 edges, 5 markings/sec, 2700 secs
lola: STP completed || 1 tries, 12135 fired transitions, 2705 secs || 12098 markings, 12131 edges, 4 markings/sec, 2705 secs
lola: STP completed || 1 tries, 12158 fired transitions, 2710 secs || 12121 markings, 12154 edges, 5 markings/sec, 2710 secs
lola: STP completed || 1 tries, 12181 fired transitions, 2715 secs || 12144 markings, 12177 edges, 5 markings/sec, 2715 secs
lola: STP completed || 1 tries, 12203 fired transitions, 2720 secs || 12166 markings, 12201 edges, 4 markings/sec, 2720 secs
lola: STP completed || 1 tries, 12226 fired transitions, 2725 secs || 12189 markings, 12226 edges, 5 markings/sec, 2725 secs
lola: STP completed || 1 tries, 12249 fired transitions, 2730 secs || 12212 markings, 12250 edges, 5 markings/sec, 2730 secs
lola: STP completed || 1 tries, 12272 fired transitions, 2735 secs || 12235 markings, 12273 edges, 5 markings/sec, 2735 secs
lola: STP completed || 1 tries, 12295 fired transitions, 2740 secs || 12258 markings, 12296 edges, 5 markings/sec, 2740 secs
lola: STP completed || 1 tries, 12318 fired transitions, 2745 secs || 12280 markings, 12318 edges, 4 markings/sec, 2745 secs
lola: STP completed || 1 tries, 12340 fired transitions, 2750 secs || 12302 markings, 12340 edges, 4 markings/sec, 2750 secs
lola: STP completed || 1 tries, 12363 fired transitions, 2755 secs || 12324 markings, 12362 edges, 4 markings/sec, 2755 secs
lola: STP completed || 1 tries, 12385 fired transitions, 2760 secs || 12346 markings, 12384 edges, 4 markings/sec, 2760 secs
lola: STP completed || 1 tries, 12408 fired transitions, 2765 secs || 12369 markings, 12407 edges, 5 markings/sec, 2765 secs
lola: STP completed || 1 tries, 12430 fired transitions, 2770 secs || 12391 markings, 12429 edges, 4 markings/sec, 2770 secs
lola: STP completed || 1 tries, 12452 fired transitions, 2775 secs || 12413 markings, 12451 edges, 4 markings/sec, 2775 secs
lola: STP completed || 1 tries, 12474 fired transitions, 2780 secs || 12434 markings, 12472 edges, 4 markings/sec, 2780 secs
lola: STP completed || 1 tries, 12497 fired transitions, 2785 secs || 12456 markings, 12494 edges, 4 markings/sec, 2785 secs
lola: STP completed || 1 tries, 12519 fired transitions, 2790 secs || 12479 markings, 12517 edges, 5 markings/sec, 2790 secs
lola: STP completed || 1 tries, 12542 fired transitions, 2795 secs || 12502 markings, 12540 edges, 5 markings/sec, 2795 secs
lola: STP completed || 1 tries, 12564 fired transitions, 2800 secs || 12524 markings, 12562 edges, 4 markings/sec, 2800 secs
lola: STP completed || 1 tries, 12587 fired transitions, 2805 secs || 12547 markings, 12587 edges, 5 markings/sec, 2805 secs
lola: STP completed || 1 tries, 12610 fired transitions, 2810 secs || 12570 markings, 12616 edges, 5 markings/sec, 2810 secs
lola: STP completed || 1 tries, 12634 fired transitions, 2815 secs || 12594 markings, 12640 edges, 5 markings/sec, 2815 secs
lola: STP completed || 1 tries, 12657 fired transitions, 2820 secs || 12617 markings, 12663 edges, 5 markings/sec, 2820 secs
lola: STP completed || 1 tries, 12680 fired transitions, 2825 secs || 12640 markings, 12686 edges, 5 markings/sec, 2825 secs
lola: STP completed || 1 tries, 12703 fired transitions, 2830 secs || 12662 markings, 12708 edges, 4 markings/sec, 2830 secs
lola: STP completed || 1 tries, 12725 fired transitions, 2835 secs || 12684 markings, 12730 edges, 4 markings/sec, 2835 secs
lola: STP completed || 1 tries, 12747 fired transitions, 2840 secs || 12706 markings, 12752 edges, 4 markings/sec, 2840 secs
lola: STP completed || 1 tries, 12769 fired transitions, 2845 secs || 12727 markings, 12773 edges, 4 markings/sec, 2845 secs
lola: STP completed || 1 tries, 12791 fired transitions, 2850 secs || 12749 markings, 12795 edges, 4 markings/sec, 2850 secs
lola: STP completed || 1 tries, 12813 fired transitions, 2855 secs || 12771 markings, 12817 edges, 4 markings/sec, 2855 secs
lola: STP completed || 1 tries, 12835 fired transitions, 2860 secs || 12792 markings, 12838 edges, 4 markings/sec, 2860 secs
lola: STP completed || 1 tries, 12858 fired transitions, 2865 secs || 12814 markings, 12860 edges, 4 markings/sec, 2865 secs
lola: STP completed || 1 tries, 12880 fired transitions, 2870 secs || 12836 markings, 12882 edges, 4 markings/sec, 2870 secs
lola: STP completed || 1 tries, 12902 fired transitions, 2875 secs || 12858 markings, 12904 edges, 4 markings/sec, 2875 secs
lola: STP completed || 1 tries, 12925 fired transitions, 2880 secs || 12880 markings, 12926 edges, 4 markings/sec, 2880 secs
lola: STP completed || 1 tries, 12947 fired transitions, 2885 secs || 12902 markings, 12948 edges, 4 markings/sec, 2885 secs
lola: STP completed || 1 tries, 12969 fired transitions, 2890 secs || 12924 markings, 12970 edges, 4 markings/sec, 2890 secs
lola: STP completed || 1 tries, 12991 fired transitions, 2895 secs || 12945 markings, 12991 edges, 4 markings/sec, 2895 secs
lola: STP completed || 1 tries, 13014 fired transitions, 2900 secs || 12968 markings, 13014 edges, 5 markings/sec, 2900 secs
lola: STP completed || 1 tries, 13037 fired transitions, 2905 secs || 12991 markings, 13037 edges, 5 markings/sec, 2905 secs
lola: STP completed || 1 tries, 13059 fired transitions, 2910 secs || 13012 markings, 13058 edges, 4 markings/sec, 2910 secs
lola: STP completed || 1 tries, 13082 fired transitions, 2915 secs || 13035 markings, 13085 edges, 5 markings/sec, 2915 secs
lola: STP completed || 1 tries, 13105 fired transitions, 2920 secs || 13058 markings, 13109 edges, 5 markings/sec, 2920 secs
lola: STP completed || 1 tries, 13128 fired transitions, 2925 secs || 13081 markings, 13132 edges, 5 markings/sec, 2925 secs
lola: STP completed || 1 tries, 13150 fired transitions, 2930 secs || 13103 markings, 13154 edges, 4 markings/sec, 2930 secs
lola: STP completed || 1 tries, 13173 fired transitions, 2935 secs || 13126 markings, 13177 edges, 5 markings/sec, 2935 secs
lola: STP completed || 1 tries, 13196 fired transitions, 2940 secs || 13149 markings, 13200 edges, 5 markings/sec, 2940 secs
lola: STP completed || 1 tries, 13218 fired transitions, 2945 secs || 13171 markings, 13222 edges, 4 markings/sec, 2945 secs
lola: STP completed || 1 tries, 13240 fired transitions, 2950 secs || 13193 markings, 13244 edges, 4 markings/sec, 2950 secs
lola: STP completed || 1 tries, 13261 fired transitions, 2955 secs || 13215 markings, 13266 edges, 4 markings/sec, 2955 secs
lola: STP completed || 1 tries, 13284 fired transitions, 2960 secs || 13238 markings, 13289 edges, 5 markings/sec, 2960 secs
lola: STP completed || 1 tries, 13306 fired transitions, 2965 secs || 13260 markings, 13311 edges, 4 markings/sec, 2965 secs
lola: STP completed || 1 tries, 13329 fired transitions, 2970 secs || 13282 markings, 13333 edges, 4 markings/sec, 2970 secs
lola: STP completed || 1 tries, 13351 fired transitions, 2975 secs || 13303 markings, 13362 edges, 4 markings/sec, 2975 secs
lola: STP completed || 1 tries, 13374 fired transitions, 2980 secs || 13326 markings, 13385 edges, 5 markings/sec, 2980 secs
lola: STP completed || 1 tries, 13397 fired transitions, 2985 secs || 13349 markings, 13408 edges, 5 markings/sec, 2985 secs
lola: STP completed || 1 tries, 13419 fired transitions, 2990 secs || 13371 markings, 13430 edges, 4 markings/sec, 2990 secs
lola: STP completed || 1 tries, 13442 fired transitions, 2995 secs || 13394 markings, 13453 edges, 5 markings/sec, 2995 secs
lola: STP completed || 1 tries, 13464 fired transitions, 3000 secs || 13415 markings, 13474 edges, 4 markings/sec, 3000 secs
lola: STP completed || 1 tries, 13485 fired transitions, 3005 secs || 13436 markings, 13495 edges, 4 markings/sec, 3005 secs
lola: STP completed || 1 tries, 13508 fired transitions, 3010 secs || 13459 markings, 13518 edges, 5 markings/sec, 3010 secs
lola: STP completed || 1 tries, 13530 fired transitions, 3015 secs || 13480 markings, 13539 edges, 4 markings/sec, 3015 secs
lola: STP completed || 1 tries, 13552 fired transitions, 3020 secs || 13502 markings, 13561 edges, 4 markings/sec, 3020 secs
lola: STP completed || 1 tries, 13574 fired transitions, 3025 secs || 13523 markings, 13582 edges, 4 markings/sec, 3025 secs
lola: STP completed || 1 tries, 13596 fired transitions, 3030 secs || 13544 markings, 13603 edges, 4 markings/sec, 3030 secs
lola: STP completed || 1 tries, 13619 fired transitions, 3035 secs || 13567 markings, 13626 edges, 5 markings/sec, 3035 secs
lola: STP completed || 1 tries, 13641 fired transitions, 3040 secs || 13589 markings, 13648 edges, 4 markings/sec, 3040 secs
lola: STP completed || 1 tries, 13664 fired transitions, 3045 secs || 13612 markings, 13671 edges, 5 markings/sec, 3045 secs
lola: STP completed || 1 tries, 13686 fired transitions, 3050 secs || 13633 markings, 13692 edges, 4 markings/sec, 3050 secs
lola: STP completed || 1 tries, 13709 fired transitions, 3055 secs || 13656 markings, 13715 edges, 5 markings/sec, 3055 secs
lola: STP completed || 1 tries, 13731 fired transitions, 3060 secs || 13678 markings, 13737 edges, 4 markings/sec, 3060 secs
lola: STP completed || 1 tries, 13754 fired transitions, 3065 secs || 13700 markings, 13759 edges, 4 markings/sec, 3065 secs
lola: STP completed || 1 tries, 13775 fired transitions, 3070 secs || 13722 markings, 13781 edges, 4 markings/sec, 3070 secs
lola: STP completed || 1 tries, 13797 fired transitions, 3075 secs || 13743 markings, 13802 edges, 4 markings/sec, 3075 secs
lola: STP completed || 1 tries, 13819 fired transitions, 3080 secs || 13764 markings, 13823 edges, 4 markings/sec, 3080 secs
lola: STP completed || 1 tries, 13841 fired transitions, 3085 secs || 13786 markings, 13845 edges, 4 markings/sec, 3085 secs
lola: STP completed || 1 tries, 13863 fired transitions, 3090 secs || 13807 markings, 13866 edges, 4 markings/sec, 3090 secs
lola: STP completed || 1 tries, 13885 fired transitions, 3095 secs || 13829 markings, 13888 edges, 4 markings/sec, 3095 secs
lola: STP completed || 1 tries, 13907 fired transitions, 3100 secs || 13850 markings, 13909 edges, 4 markings/sec, 3100 secs
lola: STP completed || 1 tries, 13930 fired transitions, 3105 secs || 13873 markings, 13932 edges, 5 markings/sec, 3105 secs
lola: STP completed || 1 tries, 13953 fired transitions, 3110 secs || 13896 markings, 13955 edges, 5 markings/sec, 3110 secs
lola: STP completed || 1 tries, 13976 fired transitions, 3115 secs || 13919 markings, 13978 edges, 5 markings/sec, 3115 secs
lola: STP completed || 1 tries, 13998 fired transitions, 3120 secs || 13941 markings, 14000 edges, 4 markings/sec, 3120 secs
lola: STP completed || 1 tries, 14021 fired transitions, 3125 secs || 13964 markings, 14023 edges, 5 markings/sec, 3125 secs
lola: STP completed || 1 tries, 14044 fired transitions, 3130 secs || 13987 markings, 14046 edges, 5 markings/sec, 3130 secs
lola: STP completed || 1 tries, 14066 fired transitions, 3135 secs || 14009 markings, 14068 edges, 4 markings/sec, 3135 secs
lola: STP completed || 1 tries, 14089 fired transitions, 3140 secs || 14032 markings, 14091 edges, 5 markings/sec, 3140 secs
lola: STP completed || 1 tries, 14112 fired transitions, 3145 secs || 14055 markings, 14114 edges, 5 markings/sec, 3145 secs
lola: STP completed || 1 tries, 14135 fired transitions, 3150 secs || 14077 markings, 14136 edges, 4 markings/sec, 3150 secs
lola: STP completed || 1 tries, 14157 fired transitions, 3155 secs || 14099 markings, 14158 edges, 4 markings/sec, 3155 secs
lola: STP completed || 1 tries, 14179 fired transitions, 3160 secs || 14121 markings, 14180 edges, 4 markings/sec, 3160 secs
lola: STP completed || 1 tries, 14202 fired transitions, 3165 secs || 14144 markings, 14203 edges, 5 markings/sec, 3165 secs
lola: STP completed || 1 tries, 14225 fired transitions, 3170 secs || 14167 markings, 14226 edges, 5 markings/sec, 3170 secs
lola: STP completed || 1 tries, 14248 fired transitions, 3175 secs || 14190 markings, 14249 edges, 5 markings/sec, 3175 secs
lola: STP completed || 1 tries, 14270 fired transitions, 3180 secs || 14213 markings, 14272 edges, 5 markings/sec, 3180 secs
lola: STP completed || 1 tries, 14293 fired transitions, 3185 secs || 14235 markings, 14294 edges, 4 markings/sec, 3185 secs
lola: STP completed || 1 tries, 14316 fired transitions, 3190 secs || 14258 markings, 14317 edges, 5 markings/sec, 3190 secs
lola: STP completed || 1 tries, 14339 fired transitions, 3195 secs || 14281 markings, 14340 edges, 5 markings/sec, 3195 secs
lola: STP completed || 1 tries, 14361 fired transitions, 3200 secs || 14303 markings, 14362 edges, 4 markings/sec, 3200 secs
lola: STP completed || 1 tries, 14384 fired transitions, 3205 secs || 14326 markings, 14385 edges, 5 markings/sec, 3205 secs
lola: STP completed || 1 tries, 14407 fired transitions, 3210 secs || 14349 markings, 14408 edges, 5 markings/sec, 3210 secs
lola: STP completed || 1 tries, 14429 fired transitions, 3215 secs || 14371 markings, 14430 edges, 4 markings/sec, 3215 secs
lola: STP completed || 1 tries, 14452 fired transitions, 3220 secs || 14394 markings, 14453 edges, 5 markings/sec, 3220 secs
lola: STP completed || 1 tries, 14475 fired transitions, 3225 secs || 14416 markings, 14475 edges, 4 markings/sec, 3225 secs
lola: STP completed || 1 tries, 14498 fired transitions, 3230 secs || 14439 markings, 14498 edges, 5 markings/sec, 3230 secs
lola: STP completed || 1 tries, 14520 fired transitions, 3235 secs || 14461 markings, 14520 edges, 4 markings/sec, 3235 secs
lola: STP completed || 1 tries, 14543 fired transitions, 3240 secs || 14483 markings, 14542 edges, 4 markings/sec, 3240 secs
lola: STP completed || 1 tries, 14565 fired transitions, 3245 secs || 14505 markings, 14564 edges, 4 markings/sec, 3245 secs
lola: STP completed || 1 tries, 14588 fired transitions, 3250 secs || 14528 markings, 14587 edges, 5 markings/sec, 3250 secs
lola: STP completed || 1 tries, 14611 fired transitions, 3255 secs || 14551 markings, 14610 edges, 5 markings/sec, 3255 secs
lola: STP completed || 1 tries, 14634 fired transitions, 3260 secs || 14574 markings, 14633 edges, 5 markings/sec, 3260 secs
lola: STP completed || 1 tries, 14657 fired transitions, 3265 secs || 14597 markings, 14656 edges, 5 markings/sec, 3265 secs
lola: STP completed || 1 tries, 14679 fired transitions, 3270 secs || 14619 markings, 14678 edges, 4 markings/sec, 3270 secs
lola: STP completed || 1 tries, 14701 fired transitions, 3275 secs || 14640 markings, 14699 edges, 4 markings/sec, 3275 secs
lola: time limit reached - aborting
lola: memory consumption: 1001980 KB
lola: time consumption: 3568 seconds
BK_STOP 1527815757693
--------------------
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-2"
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-2.tgz
mv RERS17pb115-PT-2 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-2, 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-152749170100557"
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 ;