About the Execution of LoLA for RERS17pb114-PT-3
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1726.210 | 3570037.00 | 7229918.00 | 518.20 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..................
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.9K May 30 22:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 30 22:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 29 16:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 29 16:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.4K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 28 10:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 10:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 28 08:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K May 28 08:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.4K May 28 06:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 28 06:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 107 May 26 06:30 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 345 May 26 06:30 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.5K May 27 04:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 27 04:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 28 07:32 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 2 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 73M May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is RERS17pb114-PT-3, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-csrt-152749170000485
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME RERS17pb114-PT-1-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527802930874
info: Time: 3600 - MCC
===========================================================================================
prep: translating RERS17pb114-PT-3 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating RERS17pb114-PT-3 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ RERS17pb114-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: 152531/65536 symbol table entries, 94907 collisions
lola: preprocessing...
lola: Size of bit vector: 1446
lola: finding significant places
lola: 1446 places, 151085 transitions, 1411 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 210714 transition conflict sets
lola: TASK
lola: reading formula from RERS17pb114-PT-1-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: 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: 0 generators; 1044735 candidates remain ( 0%), 0 secs
lola: STP running || 1 tries, 15 fired transitions, 0 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 5 secs
lola: STP running || 1 tries, 26 fired transitions, 5 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 10 secs
lola: STP running || 1 tries, 37 fired transitions, 10 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 15 secs
lola: STP running || 1 tries, 45 fired transitions, 15 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 20 secs
lola: STP running || 1 tries, 52 fired transitions, 20 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 25 secs
lola: STP running || 1 tries, 74 fired transitions, 25 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 30 secs
lola: STP running || 1 tries, 86 fired transitions, 30 secs
lola: STP: formula with 1980013 variables and 9244159 clauses shipped to Minisat
lola: 0 generators; 1044735 candidates remain ( 0%), 35 secs
lola: STP running || 1 tries, 107 fired transitions, 35 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 40 secs
lola: STP running || 1 tries, 128 fired transitions, 40 secs
lola: 75 generators; 312 candidates remain (19%), 45 secs
lola: STP running || 1 tries, 143 fired transitions, 45 secs
lola: 138 generators; 60 candidates remain (69%), 50 secs
lola: STP running || 1 tries, 160 fired transitions, 50 secs
lola: computed 153 generators (17 in search tree, 136 by composition)
lola: representing 6.40237E+15 symmetries
lola: 0 dead branches visited in search tree
lola: STP running || 1 tries, 174 fired transitions, 55 secs || 4 markings, 3 edges, 1 markings/sec, 55 secs
lola: STP running || 1 tries, 185 fired transitions, 60 secs || 15 markings, 20 edges, 2 markings/sec, 60 secs
lola: STP running || 1 tries, 197 fired transitions, 65 secs || 26 markings, 35 edges, 2 markings/sec, 65 secs
lola: STP running || 1 tries, 218 fired transitions, 70 secs || 46 markings, 57 edges, 4 markings/sec, 70 secs
lola: STP running || 1 tries, 236 fired transitions, 75 secs || 63 markings, 78 edges, 3 markings/sec, 75 secs
lola: STP running || 1 tries, 254 fired transitions, 80 secs || 80 markings, 108 edges, 3 markings/sec, 80 secs
lola: STP running || 1 tries, 274 fired transitions, 85 secs || 99 markings, 131 edges, 4 markings/sec, 85 secs
lola: STP running || 1 tries, 294 fired transitions, 90 secs || 119 markings, 155 edges, 4 markings/sec, 90 secs
lola: STP running || 1 tries, 313 fired transitions, 95 secs || 129 markings, 174 edges, 2 markings/sec, 95 secs
lola: STP running || 1 tries, 333 fired transitions, 100 secs || 148 markings, 197 edges, 4 markings/sec, 100 secs
lola: STP running || 1 tries, 354 fired transitions, 105 secs || 168 markings, 222 edges, 4 markings/sec, 105 secs
lola: STP running || 1 tries, 374 fired transitions, 110 secs || 187 markings, 250 edges, 4 markings/sec, 110 secs
lola: STP running || 1 tries, 391 fired transitions, 115 secs || 204 markings, 281 edges, 3 markings/sec, 115 secs
lola: STP running || 1 tries, 411 fired transitions, 120 secs || 223 markings, 319 edges, 4 markings/sec, 120 secs
lola: STP running || 1 tries, 431 fired transitions, 125 secs || 243 markings, 359 edges, 4 markings/sec, 125 secs
lola: STP running || 1 tries, 451 fired transitions, 130 secs || 262 markings, 397 edges, 4 markings/sec, 130 secs
lola: STP running || 1 tries, 468 fired transitions, 135 secs || 278 markings, 428 edges, 3 markings/sec, 135 secs
lola: STP running || 1 tries, 477 fired transitions, 140 secs || 288 markings, 448 edges, 2 markings/sec, 140 secs
lola: STP running || 1 tries, 489 fired transitions, 145 secs || 300 markings, 472 edges, 2 markings/sec, 145 secs
lola: STP running || 1 tries, 502 fired transitions, 150 secs || 311 markings, 491 edges, 2 markings/sec, 150 secs
lola: STP running || 1 tries, 513 fired transitions, 155 secs || 322 markings, 513 edges, 2 markings/sec, 155 secs
lola: STP running || 1 tries, 530 fired transitions, 160 secs || 338 markings, 545 edges, 3 markings/sec, 160 secs
lola: STP running || 1 tries, 551 fired transitions, 165 secs || 358 markings, 585 edges, 4 markings/sec, 165 secs
lola: STP running || 1 tries, 571 fired transitions, 170 secs || 378 markings, 625 edges, 4 markings/sec, 170 secs
lola: STP running || 1 tries, 591 fired transitions, 175 secs || 398 markings, 665 edges, 4 markings/sec, 175 secs
lola: STP running || 1 tries, 611 fired transitions, 180 secs || 417 markings, 700 edges, 4 markings/sec, 180 secs
lola: STP running || 1 tries, 632 fired transitions, 185 secs || 437 markings, 740 edges, 4 markings/sec, 185 secs
lola: STP running || 1 tries, 649 fired transitions, 190 secs || 456 markings, 778 edges, 4 markings/sec, 190 secs
lola: STP running || 1 tries, 669 fired transitions, 195 secs || 473 markings, 809 edges, 3 markings/sec, 195 secs
lola: STP running || 1 tries, 689 fired transitions, 200 secs || 491 markings, 843 edges, 4 markings/sec, 200 secs
lola: STP running || 1 tries, 705 fired transitions, 205 secs || 507 markings, 875 edges, 3 markings/sec, 205 secs
lola: STP running || 1 tries, 721 fired transitions, 210 secs || 522 markings, 905 edges, 3 markings/sec, 210 secs
lola: STP running || 1 tries, 741 fired transitions, 215 secs || 540 markings, 937 edges, 4 markings/sec, 215 secs
lola: STP running || 1 tries, 761 fired transitions, 220 secs || 557 markings, 969 edges, 3 markings/sec, 220 secs
lola: STP running || 1 tries, 781 fired transitions, 225 secs || 577 markings, 1009 edges, 4 markings/sec, 225 secs
lola: STP running || 1 tries, 800 fired transitions, 230 secs || 597 markings, 1049 edges, 4 markings/sec, 230 secs
lola: STP running || 1 tries, 818 fired transitions, 235 secs || 612 markings, 1075 edges, 3 markings/sec, 235 secs
lola: STP running || 1 tries, 835 fired transitions, 240 secs || 629 markings, 1092 edges, 3 markings/sec, 240 secs
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 855 fired transitions, 245 secs || 648 markings, 1111 edges, 4 markings/sec, 245 secs
lola: STP completed || 1 tries, 876 fired transitions, 250 secs || 668 markings, 1131 edges, 4 markings/sec, 250 secs
lola: STP completed || 1 tries, 897 fired transitions, 255 secs || 687 markings, 1150 edges, 4 markings/sec, 255 secs
lola: STP completed || 1 tries, 917 fired transitions, 260 secs || 707 markings, 1170 edges, 4 markings/sec, 260 secs
lola: STP completed || 1 tries, 938 fired transitions, 265 secs || 727 markings, 1190 edges, 4 markings/sec, 265 secs
lola: STP completed || 1 tries, 957 fired transitions, 270 secs || 746 markings, 1209 edges, 4 markings/sec, 270 secs
lola: STP completed || 1 tries, 976 fired transitions, 275 secs || 766 markings, 1229 edges, 4 markings/sec, 275 secs
lola: STP completed || 1 tries, 995 fired transitions, 280 secs || 787 markings, 1250 edges, 4 markings/sec, 280 secs
lola: STP completed || 1 tries, 1014 fired transitions, 285 secs || 807 markings, 1270 edges, 4 markings/sec, 285 secs
lola: STP completed || 1 tries, 1034 fired transitions, 290 secs || 826 markings, 1289 edges, 4 markings/sec, 290 secs
lola: STP completed || 1 tries, 1054 fired transitions, 295 secs || 846 markings, 1309 edges, 4 markings/sec, 295 secs
lola: STP completed || 1 tries, 1074 fired transitions, 300 secs || 866 markings, 1329 edges, 4 markings/sec, 300 secs
lola: STP completed || 1 tries, 1093 fired transitions, 305 secs || 885 markings, 1348 edges, 4 markings/sec, 305 secs
lola: STP completed || 1 tries, 1112 fired transitions, 310 secs || 905 markings, 1368 edges, 4 markings/sec, 310 secs
lola: STP completed || 1 tries, 1132 fired transitions, 315 secs || 924 markings, 1387 edges, 4 markings/sec, 315 secs
lola: STP completed || 1 tries, 1152 fired transitions, 320 secs || 944 markings, 1407 edges, 4 markings/sec, 320 secs
lola: STP completed || 1 tries, 1172 fired transitions, 325 secs || 963 markings, 1426 edges, 4 markings/sec, 325 secs
lola: STP completed || 1 tries, 1191 fired transitions, 330 secs || 982 markings, 1445 edges, 4 markings/sec, 330 secs
lola: STP completed || 1 tries, 1210 fired transitions, 335 secs || 1002 markings, 1465 edges, 4 markings/sec, 335 secs
lola: STP completed || 1 tries, 1230 fired transitions, 340 secs || 1021 markings, 1484 edges, 4 markings/sec, 340 secs
lola: STP completed || 1 tries, 1249 fired transitions, 345 secs || 1041 markings, 1504 edges, 4 markings/sec, 345 secs
lola: STP completed || 1 tries, 1268 fired transitions, 350 secs || 1061 markings, 1524 edges, 4 markings/sec, 350 secs
lola: STP completed || 1 tries, 1288 fired transitions, 355 secs || 1082 markings, 1545 edges, 4 markings/sec, 355 secs
lola: STP completed || 1 tries, 1308 fired transitions, 360 secs || 1101 markings, 1564 edges, 4 markings/sec, 360 secs
lola: STP completed || 1 tries, 1327 fired transitions, 365 secs || 1121 markings, 1584 edges, 4 markings/sec, 365 secs
lola: STP completed || 1 tries, 1347 fired transitions, 370 secs || 1141 markings, 1617 edges, 4 markings/sec, 370 secs
lola: STP completed || 1 tries, 1366 fired transitions, 375 secs || 1161 markings, 1637 edges, 4 markings/sec, 375 secs
lola: STP completed || 1 tries, 1386 fired transitions, 380 secs || 1180 markings, 1656 edges, 4 markings/sec, 380 secs
lola: STP completed || 1 tries, 1406 fired transitions, 385 secs || 1200 markings, 1676 edges, 4 markings/sec, 385 secs
lola: STP completed || 1 tries, 1425 fired transitions, 390 secs || 1220 markings, 1696 edges, 4 markings/sec, 390 secs
lola: STP completed || 1 tries, 1445 fired transitions, 395 secs || 1239 markings, 1715 edges, 4 markings/sec, 395 secs
lola: STP completed || 1 tries, 1464 fired transitions, 400 secs || 1258 markings, 1734 edges, 4 markings/sec, 400 secs
lola: STP completed || 1 tries, 1484 fired transitions, 405 secs || 1279 markings, 1755 edges, 4 markings/sec, 405 secs
lola: STP completed || 1 tries, 1503 fired transitions, 410 secs || 1297 markings, 1773 edges, 4 markings/sec, 410 secs
lola: STP completed || 1 tries, 1523 fired transitions, 415 secs || 1317 markings, 1793 edges, 4 markings/sec, 415 secs
lola: STP completed || 1 tries, 1543 fired transitions, 420 secs || 1336 markings, 1812 edges, 4 markings/sec, 420 secs
lola: STP completed || 1 tries, 1562 fired transitions, 425 secs || 1357 markings, 1833 edges, 4 markings/sec, 425 secs
lola: STP completed || 1 tries, 1582 fired transitions, 430 secs || 1377 markings, 1853 edges, 4 markings/sec, 430 secs
lola: STP completed || 1 tries, 1601 fired transitions, 435 secs || 1398 markings, 1874 edges, 4 markings/sec, 435 secs
lola: STP completed || 1 tries, 1621 fired transitions, 440 secs || 1418 markings, 1894 edges, 4 markings/sec, 440 secs
lola: STP completed || 1 tries, 1640 fired transitions, 445 secs || 1438 markings, 1914 edges, 4 markings/sec, 445 secs
lola: STP completed || 1 tries, 1660 fired transitions, 450 secs || 1458 markings, 1934 edges, 4 markings/sec, 450 secs
lola: STP completed || 1 tries, 1679 fired transitions, 455 secs || 1478 markings, 1954 edges, 4 markings/sec, 455 secs
lola: STP completed || 1 tries, 1699 fired transitions, 460 secs || 1497 markings, 1973 edges, 4 markings/sec, 460 secs
lola: STP completed || 1 tries, 1719 fired transitions, 465 secs || 1517 markings, 1993 edges, 4 markings/sec, 465 secs
lola: STP completed || 1 tries, 1739 fired transitions, 470 secs || 1537 markings, 2013 edges, 4 markings/sec, 470 secs
lola: STP completed || 1 tries, 1758 fired transitions, 475 secs || 1557 markings, 2033 edges, 4 markings/sec, 475 secs
lola: STP completed || 1 tries, 1777 fired transitions, 480 secs || 1577 markings, 2053 edges, 4 markings/sec, 480 secs
lola: STP completed || 1 tries, 1796 fired transitions, 485 secs || 1597 markings, 2073 edges, 4 markings/sec, 485 secs
lola: STP completed || 1 tries, 1815 fired transitions, 490 secs || 1617 markings, 2093 edges, 4 markings/sec, 490 secs
lola: STP completed || 1 tries, 1835 fired transitions, 495 secs || 1637 markings, 2113 edges, 4 markings/sec, 495 secs
lola: STP completed || 1 tries, 1854 fired transitions, 500 secs || 1657 markings, 2133 edges, 4 markings/sec, 500 secs
lola: STP completed || 1 tries, 1874 fired transitions, 505 secs || 1677 markings, 2153 edges, 4 markings/sec, 505 secs
lola: STP completed || 1 tries, 1893 fired transitions, 510 secs || 1697 markings, 2173 edges, 4 markings/sec, 510 secs
lola: STP completed || 1 tries, 1912 fired transitions, 515 secs || 1717 markings, 2193 edges, 4 markings/sec, 515 secs
lola: STP completed || 1 tries, 1932 fired transitions, 520 secs || 1738 markings, 2214 edges, 4 markings/sec, 520 secs
lola: STP completed || 1 tries, 1951 fired transitions, 525 secs || 1758 markings, 2234 edges, 4 markings/sec, 525 secs
lola: STP completed || 1 tries, 1961 fired transitions, 530 secs || 1769 markings, 2245 edges, 2 markings/sec, 530 secs
lola: STP completed || 1 tries, 1978 fired transitions, 535 secs || 1784 markings, 2263 edges, 3 markings/sec, 535 secs
lola: STP completed || 1 tries, 1999 fired transitions, 540 secs || 1804 markings, 2285 edges, 4 markings/sec, 540 secs
lola: STP completed || 1 tries, 2020 fired transitions, 545 secs || 1824 markings, 2308 edges, 4 markings/sec, 545 secs
lola: STP completed || 1 tries, 2040 fired transitions, 550 secs || 1844 markings, 2334 edges, 4 markings/sec, 550 secs
lola: STP completed || 1 tries, 2060 fired transitions, 555 secs || 1865 markings, 2355 edges, 4 markings/sec, 555 secs
lola: STP completed || 1 tries, 2079 fired transitions, 560 secs || 1885 markings, 2375 edges, 4 markings/sec, 560 secs
lola: STP completed || 1 tries, 2100 fired transitions, 565 secs || 1904 markings, 2394 edges, 4 markings/sec, 565 secs
lola: STP completed || 1 tries, 2120 fired transitions, 570 secs || 1923 markings, 2413 edges, 4 markings/sec, 570 secs
lola: STP completed || 1 tries, 2141 fired transitions, 575 secs || 1943 markings, 2433 edges, 4 markings/sec, 575 secs
lola: STP completed || 1 tries, 2161 fired transitions, 580 secs || 1963 markings, 2454 edges, 4 markings/sec, 580 secs
lola: STP completed || 1 tries, 2181 fired transitions, 585 secs || 1983 markings, 2477 edges, 4 markings/sec, 585 secs
lola: STP completed || 1 tries, 2202 fired transitions, 590 secs || 2002 markings, 2514 edges, 4 markings/sec, 590 secs
lola: STP completed || 1 tries, 2223 fired transitions, 595 secs || 2022 markings, 2547 edges, 4 markings/sec, 595 secs
lola: STP completed || 1 tries, 2244 fired transitions, 600 secs || 2041 markings, 2566 edges, 4 markings/sec, 600 secs
lola: STP completed || 1 tries, 2264 fired transitions, 605 secs || 2061 markings, 2586 edges, 4 markings/sec, 605 secs
lola: STP completed || 1 tries, 2284 fired transitions, 610 secs || 2081 markings, 2606 edges, 4 markings/sec, 610 secs
lola: STP completed || 1 tries, 2294 fired transitions, 615 secs || 2090 markings, 2615 edges, 2 markings/sec, 615 secs
lola: STP completed || 1 tries, 2304 fired transitions, 620 secs || 2100 markings, 2625 edges, 2 markings/sec, 620 secs
lola: STP completed || 1 tries, 2314 fired transitions, 625 secs || 2111 markings, 2636 edges, 2 markings/sec, 625 secs
lola: STP completed || 1 tries, 2324 fired transitions, 630 secs || 2121 markings, 2646 edges, 2 markings/sec, 630 secs
lola: STP completed || 1 tries, 2334 fired transitions, 635 secs || 2131 markings, 2656 edges, 2 markings/sec, 635 secs
lola: STP completed || 1 tries, 2345 fired transitions, 640 secs || 2141 markings, 2666 edges, 2 markings/sec, 640 secs
lola: STP completed || 1 tries, 2355 fired transitions, 645 secs || 2151 markings, 2676 edges, 2 markings/sec, 645 secs
lola: STP completed || 1 tries, 2367 fired transitions, 650 secs || 2164 markings, 2691 edges, 3 markings/sec, 650 secs
lola: STP completed || 1 tries, 2387 fired transitions, 655 secs || 2185 markings, 2712 edges, 4 markings/sec, 655 secs
lola: STP completed || 1 tries, 2407 fired transitions, 660 secs || 2206 markings, 2733 edges, 4 markings/sec, 660 secs
lola: STP completed || 1 tries, 2426 fired transitions, 665 secs || 2227 markings, 2754 edges, 4 markings/sec, 665 secs
lola: STP completed || 1 tries, 2446 fired transitions, 670 secs || 2247 markings, 2793 edges, 4 markings/sec, 670 secs
lola: STP completed || 1 tries, 2466 fired transitions, 675 secs || 2268 markings, 2828 edges, 4 markings/sec, 675 secs
lola: STP completed || 1 tries, 2485 fired transitions, 680 secs || 2289 markings, 2849 edges, 4 markings/sec, 680 secs
lola: STP completed || 1 tries, 2505 fired transitions, 685 secs || 2310 markings, 2870 edges, 4 markings/sec, 685 secs
lola: STP completed || 1 tries, 2525 fired transitions, 690 secs || 2330 markings, 2890 edges, 4 markings/sec, 690 secs
lola: STP completed || 1 tries, 2546 fired transitions, 695 secs || 2350 markings, 2910 edges, 4 markings/sec, 695 secs
lola: STP completed || 1 tries, 2567 fired transitions, 700 secs || 2370 markings, 2930 edges, 4 markings/sec, 700 secs
lola: STP completed || 1 tries, 2587 fired transitions, 705 secs || 2390 markings, 2950 edges, 4 markings/sec, 705 secs
lola: STP completed || 1 tries, 2608 fired transitions, 710 secs || 2410 markings, 2970 edges, 4 markings/sec, 710 secs
lola: STP completed || 1 tries, 2629 fired transitions, 715 secs || 2429 markings, 2989 edges, 4 markings/sec, 715 secs
lola: STP completed || 1 tries, 2650 fired transitions, 720 secs || 2449 markings, 3009 edges, 4 markings/sec, 720 secs
lola: STP completed || 1 tries, 2671 fired transitions, 725 secs || 2469 markings, 3029 edges, 4 markings/sec, 725 secs
lola: STP completed || 1 tries, 2692 fired transitions, 730 secs || 2488 markings, 3048 edges, 4 markings/sec, 730 secs
lola: STP completed || 1 tries, 2713 fired transitions, 735 secs || 2508 markings, 3068 edges, 4 markings/sec, 735 secs
lola: STP completed || 1 tries, 2734 fired transitions, 740 secs || 2528 markings, 3088 edges, 4 markings/sec, 740 secs
lola: STP completed || 1 tries, 2754 fired transitions, 745 secs || 2548 markings, 3108 edges, 4 markings/sec, 745 secs
lola: STP completed || 1 tries, 2775 fired transitions, 750 secs || 2568 markings, 3128 edges, 4 markings/sec, 750 secs
lola: STP completed || 1 tries, 2796 fired transitions, 755 secs || 2589 markings, 3149 edges, 4 markings/sec, 755 secs
lola: STP completed || 1 tries, 2816 fired transitions, 760 secs || 2609 markings, 3170 edges, 4 markings/sec, 760 secs
lola: STP completed || 1 tries, 2837 fired transitions, 765 secs || 2629 markings, 3190 edges, 4 markings/sec, 765 secs
lola: STP completed || 1 tries, 2858 fired transitions, 770 secs || 2648 markings, 3209 edges, 4 markings/sec, 770 secs
lola: STP completed || 1 tries, 2875 fired transitions, 775 secs || 2665 markings, 3226 edges, 3 markings/sec, 775 secs
lola: STP completed || 1 tries, 2890 fired transitions, 780 secs || 2679 markings, 3240 edges, 3 markings/sec, 780 secs
lola: STP completed || 1 tries, 2907 fired transitions, 785 secs || 2696 markings, 3257 edges, 3 markings/sec, 785 secs
lola: STP completed || 1 tries, 2925 fired transitions, 790 secs || 2712 markings, 3273 edges, 3 markings/sec, 790 secs
lola: STP completed || 1 tries, 2941 fired transitions, 795 secs || 2728 markings, 3289 edges, 3 markings/sec, 795 secs
lola: STP completed || 1 tries, 2960 fired transitions, 800 secs || 2748 markings, 3309 edges, 4 markings/sec, 800 secs
lola: STP completed || 1 tries, 2979 fired transitions, 805 secs || 2768 markings, 3329 edges, 4 markings/sec, 805 secs
lola: STP completed || 1 tries, 2998 fired transitions, 810 secs || 2788 markings, 3349 edges, 4 markings/sec, 810 secs
lola: STP completed || 1 tries, 3018 fired transitions, 815 secs || 2808 markings, 3370 edges, 4 markings/sec, 815 secs
lola: STP completed || 1 tries, 3032 fired transitions, 820 secs || 2821 markings, 3384 edges, 3 markings/sec, 820 secs
lola: STP completed || 1 tries, 3049 fired transitions, 825 secs || 2839 markings, 3402 edges, 4 markings/sec, 825 secs
lola: STP completed || 1 tries, 3067 fired transitions, 830 secs || 2856 markings, 3426 edges, 3 markings/sec, 830 secs
lola: STP completed || 1 tries, 3084 fired transitions, 835 secs || 2873 markings, 3444 edges, 3 markings/sec, 835 secs
lola: STP completed || 1 tries, 3105 fired transitions, 840 secs || 2893 markings, 3473 edges, 4 markings/sec, 840 secs
lola: STP completed || 1 tries, 3121 fired transitions, 845 secs || 2909 markings, 3505 edges, 3 markings/sec, 845 secs
lola: STP completed || 1 tries, 3142 fired transitions, 850 secs || 2928 markings, 3542 edges, 4 markings/sec, 850 secs
lola: STP completed || 1 tries, 3158 fired transitions, 855 secs || 2944 markings, 3574 edges, 3 markings/sec, 855 secs
lola: STP completed || 1 tries, 3178 fired transitions, 860 secs || 2964 markings, 3602 edges, 4 markings/sec, 860 secs
lola: STP completed || 1 tries, 3199 fired transitions, 865 secs || 2985 markings, 3629 edges, 4 markings/sec, 865 secs
lola: STP completed || 1 tries, 3219 fired transitions, 870 secs || 3005 markings, 3668 edges, 4 markings/sec, 870 secs
lola: STP completed || 1 tries, 3237 fired transitions, 875 secs || 3023 markings, 3691 edges, 4 markings/sec, 875 secs
lola: STP completed || 1 tries, 3257 fired transitions, 880 secs || 3042 markings, 3719 edges, 4 markings/sec, 880 secs
lola: STP completed || 1 tries, 3278 fired transitions, 885 secs || 3062 markings, 3751 edges, 4 markings/sec, 885 secs
lola: STP completed || 1 tries, 3298 fired transitions, 890 secs || 3082 markings, 3775 edges, 4 markings/sec, 890 secs
lola: STP completed || 1 tries, 3318 fired transitions, 895 secs || 3101 markings, 3794 edges, 4 markings/sec, 895 secs
lola: STP completed || 1 tries, 3336 fired transitions, 900 secs || 3120 markings, 3821 edges, 4 markings/sec, 900 secs
lola: STP completed || 1 tries, 3356 fired transitions, 905 secs || 3140 markings, 3861 edges, 4 markings/sec, 905 secs
lola: STP completed || 1 tries, 3373 fired transitions, 910 secs || 3156 markings, 3885 edges, 3 markings/sec, 910 secs
lola: STP completed || 1 tries, 3392 fired transitions, 915 secs || 3176 markings, 3905 edges, 4 markings/sec, 915 secs
lola: STP completed || 1 tries, 3412 fired transitions, 920 secs || 3196 markings, 3925 edges, 4 markings/sec, 920 secs
lola: STP completed || 1 tries, 3428 fired transitions, 925 secs || 3211 markings, 3940 edges, 3 markings/sec, 925 secs
lola: STP completed || 1 tries, 3443 fired transitions, 930 secs || 3225 markings, 3954 edges, 3 markings/sec, 930 secs
lola: STP completed || 1 tries, 3463 fired transitions, 935 secs || 3244 markings, 3973 edges, 4 markings/sec, 935 secs
lola: STP completed || 1 tries, 3478 fired transitions, 940 secs || 3259 markings, 3988 edges, 3 markings/sec, 940 secs
lola: STP completed || 1 tries, 3498 fired transitions, 945 secs || 3278 markings, 4007 edges, 4 markings/sec, 945 secs
lola: STP completed || 1 tries, 3517 fired transitions, 950 secs || 3296 markings, 4025 edges, 4 markings/sec, 950 secs
lola: STP completed || 1 tries, 3537 fired transitions, 955 secs || 3315 markings, 4044 edges, 4 markings/sec, 955 secs
lola: STP completed || 1 tries, 3557 fired transitions, 960 secs || 3336 markings, 4065 edges, 4 markings/sec, 960 secs
lola: STP completed || 1 tries, 3577 fired transitions, 965 secs || 3356 markings, 4085 edges, 4 markings/sec, 965 secs
lola: STP completed || 1 tries, 3598 fired transitions, 970 secs || 3376 markings, 4105 edges, 4 markings/sec, 970 secs
lola: STP completed || 1 tries, 3618 fired transitions, 975 secs || 3396 markings, 4125 edges, 4 markings/sec, 975 secs
lola: STP completed || 1 tries, 3638 fired transitions, 980 secs || 3416 markings, 4145 edges, 4 markings/sec, 980 secs
lola: STP completed || 1 tries, 3659 fired transitions, 985 secs || 3436 markings, 4165 edges, 4 markings/sec, 985 secs
lola: STP completed || 1 tries, 3679 fired transitions, 990 secs || 3457 markings, 4186 edges, 4 markings/sec, 990 secs
lola: STP completed || 1 tries, 3699 fired transitions, 995 secs || 3477 markings, 4206 edges, 4 markings/sec, 995 secs
lola: STP completed || 1 tries, 3720 fired transitions, 1000 secs || 3498 markings, 4227 edges, 4 markings/sec, 1000 secs
lola: STP completed || 1 tries, 3740 fired transitions, 1005 secs || 3518 markings, 4261 edges, 4 markings/sec, 1005 secs
lola: STP completed || 1 tries, 3760 fired transitions, 1010 secs || 3538 markings, 4293 edges, 4 markings/sec, 1010 secs
lola: STP completed || 1 tries, 3780 fired transitions, 1015 secs || 3559 markings, 4323 edges, 4 markings/sec, 1015 secs
lola: STP completed || 1 tries, 3799 fired transitions, 1020 secs || 3579 markings, 4343 edges, 4 markings/sec, 1020 secs
lola: STP completed || 1 tries, 3819 fired transitions, 1025 secs || 3599 markings, 4363 edges, 4 markings/sec, 1025 secs
lola: STP completed || 1 tries, 3840 fired transitions, 1030 secs || 3620 markings, 4384 edges, 4 markings/sec, 1030 secs
lola: STP completed || 1 tries, 3860 fired transitions, 1035 secs || 3640 markings, 4404 edges, 4 markings/sec, 1035 secs
lola: STP completed || 1 tries, 3880 fired transitions, 1040 secs || 3660 markings, 4424 edges, 4 markings/sec, 1040 secs
lola: STP completed || 1 tries, 3900 fired transitions, 1045 secs || 3679 markings, 4443 edges, 4 markings/sec, 1045 secs
lola: STP completed || 1 tries, 3920 fired transitions, 1050 secs || 3699 markings, 4463 edges, 4 markings/sec, 1050 secs
lola: STP completed || 1 tries, 3940 fired transitions, 1055 secs || 3719 markings, 4483 edges, 4 markings/sec, 1055 secs
lola: STP completed || 1 tries, 3959 fired transitions, 1060 secs || 3739 markings, 4503 edges, 4 markings/sec, 1060 secs
lola: STP completed || 1 tries, 3979 fired transitions, 1065 secs || 3759 markings, 4523 edges, 4 markings/sec, 1065 secs
lola: STP completed || 1 tries, 4000 fired transitions, 1070 secs || 3780 markings, 4544 edges, 4 markings/sec, 1070 secs
lola: STP completed || 1 tries, 4020 fired transitions, 1075 secs || 3801 markings, 4565 edges, 4 markings/sec, 1075 secs
lola: STP completed || 1 tries, 4040 fired transitions, 1080 secs || 3822 markings, 4586 edges, 4 markings/sec, 1080 secs
lola: STP completed || 1 tries, 4060 fired transitions, 1085 secs || 3842 markings, 4606 edges, 4 markings/sec, 1085 secs
lola: STP completed || 1 tries, 4080 fired transitions, 1090 secs || 3862 markings, 4626 edges, 4 markings/sec, 1090 secs
lola: STP completed || 1 tries, 4100 fired transitions, 1095 secs || 3882 markings, 4647 edges, 4 markings/sec, 1095 secs
lola: STP completed || 1 tries, 4119 fired transitions, 1100 secs || 3902 markings, 4667 edges, 4 markings/sec, 1100 secs
lola: STP completed || 1 tries, 4139 fired transitions, 1105 secs || 3922 markings, 4687 edges, 4 markings/sec, 1105 secs
lola: STP completed || 1 tries, 4159 fired transitions, 1110 secs || 3943 markings, 4708 edges, 4 markings/sec, 1110 secs
lola: STP completed || 1 tries, 4179 fired transitions, 1115 secs || 3963 markings, 4736 edges, 4 markings/sec, 1115 secs
lola: STP completed || 1 tries, 4199 fired transitions, 1120 secs || 3983 markings, 4756 edges, 4 markings/sec, 1120 secs
lola: STP completed || 1 tries, 4219 fired transitions, 1125 secs || 4003 markings, 4776 edges, 4 markings/sec, 1125 secs
lola: STP completed || 1 tries, 4240 fired transitions, 1130 secs || 4024 markings, 4797 edges, 4 markings/sec, 1130 secs
lola: STP completed || 1 tries, 4260 fired transitions, 1135 secs || 4044 markings, 4817 edges, 4 markings/sec, 1135 secs
lola: STP completed || 1 tries, 4280 fired transitions, 1140 secs || 4065 markings, 4838 edges, 4 markings/sec, 1140 secs
lola: STP completed || 1 tries, 4298 fired transitions, 1145 secs || 4084 markings, 4857 edges, 4 markings/sec, 1145 secs
lola: STP completed || 1 tries, 4319 fired transitions, 1150 secs || 4103 markings, 4876 edges, 4 markings/sec, 1150 secs
lola: STP completed || 1 tries, 4339 fired transitions, 1155 secs || 4122 markings, 4895 edges, 4 markings/sec, 1155 secs
lola: STP completed || 1 tries, 4360 fired transitions, 1160 secs || 4141 markings, 4914 edges, 4 markings/sec, 1160 secs
lola: STP completed || 1 tries, 4380 fired transitions, 1165 secs || 4160 markings, 4933 edges, 4 markings/sec, 1165 secs
lola: STP completed || 1 tries, 4400 fired transitions, 1170 secs || 4180 markings, 4962 edges, 4 markings/sec, 1170 secs
lola: STP completed || 1 tries, 4420 fired transitions, 1175 secs || 4199 markings, 5000 edges, 4 markings/sec, 1175 secs
lola: STP completed || 1 tries, 4440 fired transitions, 1180 secs || 4219 markings, 5035 edges, 4 markings/sec, 1180 secs
lola: STP completed || 1 tries, 4461 fired transitions, 1185 secs || 4239 markings, 5075 edges, 4 markings/sec, 1185 secs
lola: STP completed || 1 tries, 4481 fired transitions, 1190 secs || 4259 markings, 5106 edges, 4 markings/sec, 1190 secs
lola: STP completed || 1 tries, 4502 fired transitions, 1195 secs || 4279 markings, 5126 edges, 4 markings/sec, 1195 secs
lola: STP completed || 1 tries, 4522 fired transitions, 1200 secs || 4299 markings, 5146 edges, 4 markings/sec, 1200 secs
lola: STP completed || 1 tries, 4542 fired transitions, 1205 secs || 4320 markings, 5167 edges, 4 markings/sec, 1205 secs
lola: STP completed || 1 tries, 4561 fired transitions, 1210 secs || 4339 markings, 5186 edges, 4 markings/sec, 1210 secs
lola: STP completed || 1 tries, 4582 fired transitions, 1215 secs || 4359 markings, 5206 edges, 4 markings/sec, 1215 secs
lola: STP completed || 1 tries, 4602 fired transitions, 1220 secs || 4380 markings, 5227 edges, 4 markings/sec, 1220 secs
lola: STP completed || 1 tries, 4622 fired transitions, 1225 secs || 4400 markings, 5248 edges, 4 markings/sec, 1225 secs
lola: STP completed || 1 tries, 4643 fired transitions, 1230 secs || 4420 markings, 5288 edges, 4 markings/sec, 1230 secs
lola: STP completed || 1 tries, 4663 fired transitions, 1235 secs || 4441 markings, 5310 edges, 4 markings/sec, 1235 secs
lola: STP completed || 1 tries, 4683 fired transitions, 1240 secs || 4461 markings, 5330 edges, 4 markings/sec, 1240 secs
lola: STP completed || 1 tries, 4703 fired transitions, 1245 secs || 4481 markings, 5350 edges, 4 markings/sec, 1245 secs
lola: STP completed || 1 tries, 4723 fired transitions, 1250 secs || 4502 markings, 5372 edges, 4 markings/sec, 1250 secs
lola: STP completed || 1 tries, 4743 fired transitions, 1255 secs || 4521 markings, 5391 edges, 4 markings/sec, 1255 secs
lola: STP completed || 1 tries, 4763 fired transitions, 1260 secs || 4541 markings, 5411 edges, 4 markings/sec, 1260 secs
lola: STP completed || 1 tries, 4784 fired transitions, 1265 secs || 4561 markings, 5431 edges, 4 markings/sec, 1265 secs
lola: STP completed || 1 tries, 4803 fired transitions, 1270 secs || 4581 markings, 5452 edges, 4 markings/sec, 1270 secs
lola: STP completed || 1 tries, 4824 fired transitions, 1275 secs || 4602 markings, 5473 edges, 4 markings/sec, 1275 secs
lola: STP completed || 1 tries, 4844 fired transitions, 1280 secs || 4622 markings, 5493 edges, 4 markings/sec, 1280 secs
lola: STP completed || 1 tries, 4864 fired transitions, 1285 secs || 4642 markings, 5513 edges, 4 markings/sec, 1285 secs
lola: STP completed || 1 tries, 4884 fired transitions, 1290 secs || 4662 markings, 5533 edges, 4 markings/sec, 1290 secs
lola: STP completed || 1 tries, 4904 fired transitions, 1295 secs || 4682 markings, 5555 edges, 4 markings/sec, 1295 secs
lola: STP completed || 1 tries, 4923 fired transitions, 1300 secs || 4701 markings, 5574 edges, 4 markings/sec, 1300 secs
lola: STP completed || 1 tries, 4937 fired transitions, 1305 secs || 4715 markings, 5588 edges, 3 markings/sec, 1305 secs
lola: STP completed || 1 tries, 4958 fired transitions, 1310 secs || 4736 markings, 5609 edges, 4 markings/sec, 1310 secs
lola: STP completed || 1 tries, 4977 fired transitions, 1315 secs || 4757 markings, 5630 edges, 4 markings/sec, 1315 secs
lola: STP completed || 1 tries, 4997 fired transitions, 1320 secs || 4777 markings, 5650 edges, 4 markings/sec, 1320 secs
lola: STP completed || 1 tries, 5018 fired transitions, 1325 secs || 4797 markings, 5670 edges, 4 markings/sec, 1325 secs
lola: STP completed || 1 tries, 5039 fired transitions, 1330 secs || 4817 markings, 5690 edges, 4 markings/sec, 1330 secs
lola: STP completed || 1 tries, 5060 fired transitions, 1335 secs || 4837 markings, 5710 edges, 4 markings/sec, 1335 secs
lola: STP completed || 1 tries, 5081 fired transitions, 1340 secs || 4858 markings, 5731 edges, 4 markings/sec, 1340 secs
lola: STP completed || 1 tries, 5101 fired transitions, 1345 secs || 4878 markings, 5751 edges, 4 markings/sec, 1345 secs
lola: STP completed || 1 tries, 5122 fired transitions, 1350 secs || 4898 markings, 5771 edges, 4 markings/sec, 1350 secs
lola: STP completed || 1 tries, 5142 fired transitions, 1355 secs || 4918 markings, 5791 edges, 4 markings/sec, 1355 secs
lola: STP completed || 1 tries, 5163 fired transitions, 1360 secs || 4939 markings, 5812 edges, 4 markings/sec, 1360 secs
lola: STP completed || 1 tries, 5184 fired transitions, 1365 secs || 4960 markings, 5833 edges, 4 markings/sec, 1365 secs
lola: STP completed || 1 tries, 5205 fired transitions, 1370 secs || 4981 markings, 5854 edges, 4 markings/sec, 1370 secs
lola: STP completed || 1 tries, 5226 fired transitions, 1375 secs || 5002 markings, 5875 edges, 4 markings/sec, 1375 secs
lola: STP completed || 1 tries, 5246 fired transitions, 1380 secs || 5022 markings, 5895 edges, 4 markings/sec, 1380 secs
lola: STP completed || 1 tries, 5266 fired transitions, 1385 secs || 5043 markings, 5917 edges, 4 markings/sec, 1385 secs
lola: STP completed || 1 tries, 5284 fired transitions, 1390 secs || 5061 markings, 5949 edges, 4 markings/sec, 1390 secs
lola: STP completed || 1 tries, 5304 fired transitions, 1395 secs || 5080 markings, 5975 edges, 4 markings/sec, 1395 secs
lola: STP completed || 1 tries, 5325 fired transitions, 1400 secs || 5099 markings, 5994 edges, 4 markings/sec, 1400 secs
lola: STP completed || 1 tries, 5345 fired transitions, 1405 secs || 5118 markings, 6013 edges, 4 markings/sec, 1405 secs
lola: STP completed || 1 tries, 5366 fired transitions, 1410 secs || 5137 markings, 6032 edges, 4 markings/sec, 1410 secs
lola: STP completed || 1 tries, 5386 fired transitions, 1415 secs || 5156 markings, 6051 edges, 4 markings/sec, 1415 secs
lola: STP completed || 1 tries, 5407 fired transitions, 1420 secs || 5176 markings, 6071 edges, 4 markings/sec, 1420 secs
lola: STP completed || 1 tries, 5427 fired transitions, 1425 secs || 5196 markings, 6092 edges, 4 markings/sec, 1425 secs
lola: STP completed || 1 tries, 5448 fired transitions, 1430 secs || 5216 markings, 6112 edges, 4 markings/sec, 1430 secs
lola: STP completed || 1 tries, 5467 fired transitions, 1435 secs || 5236 markings, 6132 edges, 4 markings/sec, 1435 secs
lola: STP completed || 1 tries, 5487 fired transitions, 1440 secs || 5255 markings, 6151 edges, 4 markings/sec, 1440 secs
lola: STP completed || 1 tries, 5507 fired transitions, 1445 secs || 5275 markings, 6173 edges, 4 markings/sec, 1445 secs
lola: STP completed || 1 tries, 5528 fired transitions, 1450 secs || 5295 markings, 6193 edges, 4 markings/sec, 1450 secs
lola: STP completed || 1 tries, 5548 fired transitions, 1455 secs || 5315 markings, 6224 edges, 4 markings/sec, 1455 secs
lola: STP completed || 1 tries, 5568 fired transitions, 1460 secs || 5335 markings, 6253 edges, 4 markings/sec, 1460 secs
lola: STP completed || 1 tries, 5588 fired transitions, 1465 secs || 5354 markings, 6276 edges, 4 markings/sec, 1465 secs
lola: STP completed || 1 tries, 5609 fired transitions, 1470 secs || 5374 markings, 6312 edges, 4 markings/sec, 1470 secs
lola: STP completed || 1 tries, 5628 fired transitions, 1475 secs || 5395 markings, 6354 edges, 4 markings/sec, 1475 secs
lola: STP completed || 1 tries, 5648 fired transitions, 1480 secs || 5415 markings, 6394 edges, 4 markings/sec, 1480 secs
lola: STP completed || 1 tries, 5669 fired transitions, 1485 secs || 5435 markings, 6421 edges, 4 markings/sec, 1485 secs
lola: STP completed || 1 tries, 5689 fired transitions, 1490 secs || 5456 markings, 6442 edges, 4 markings/sec, 1490 secs
lola: STP completed || 1 tries, 5710 fired transitions, 1495 secs || 5476 markings, 6462 edges, 4 markings/sec, 1495 secs
lola: STP completed || 1 tries, 5730 fired transitions, 1500 secs || 5496 markings, 6483 edges, 4 markings/sec, 1500 secs
lola: STP completed || 1 tries, 5750 fired transitions, 1505 secs || 5516 markings, 6504 edges, 4 markings/sec, 1505 secs
lola: STP completed || 1 tries, 5770 fired transitions, 1510 secs || 5537 markings, 6538 edges, 4 markings/sec, 1510 secs
lola: STP completed || 1 tries, 5790 fired transitions, 1515 secs || 5557 markings, 6563 edges, 4 markings/sec, 1515 secs
lola: STP completed || 1 tries, 5807 fired transitions, 1520 secs || 5574 markings, 6592 edges, 3 markings/sec, 1520 secs
lola: STP completed || 1 tries, 5818 fired transitions, 1525 secs || 5585 markings, 6614 edges, 2 markings/sec, 1525 secs
lola: STP completed || 1 tries, 5829 fired transitions, 1530 secs || 5596 markings, 6630 edges, 2 markings/sec, 1530 secs
lola: STP completed || 1 tries, 5840 fired transitions, 1535 secs || 5607 markings, 6641 edges, 2 markings/sec, 1535 secs
lola: STP completed || 1 tries, 5851 fired transitions, 1540 secs || 5618 markings, 6652 edges, 2 markings/sec, 1540 secs
lola: STP completed || 1 tries, 5865 fired transitions, 1545 secs || 5633 markings, 6667 edges, 3 markings/sec, 1545 secs
lola: STP completed || 1 tries, 5884 fired transitions, 1550 secs || 5653 markings, 6687 edges, 4 markings/sec, 1550 secs
lola: STP completed || 1 tries, 5904 fired transitions, 1555 secs || 5674 markings, 6724 edges, 4 markings/sec, 1555 secs
lola: STP completed || 1 tries, 5924 fired transitions, 1560 secs || 5694 markings, 6764 edges, 4 markings/sec, 1560 secs
lola: STP completed || 1 tries, 5944 fired transitions, 1565 secs || 5715 markings, 6806 edges, 4 markings/sec, 1565 secs
lola: STP completed || 1 tries, 5964 fired transitions, 1570 secs || 5736 markings, 6833 edges, 4 markings/sec, 1570 secs
lola: STP completed || 1 tries, 5983 fired transitions, 1575 secs || 5755 markings, 6852 edges, 4 markings/sec, 1575 secs
lola: STP completed || 1 tries, 5999 fired transitions, 1580 secs || 5772 markings, 6869 edges, 3 markings/sec, 1580 secs
lola: STP completed || 1 tries, 6020 fired transitions, 1585 secs || 5793 markings, 6890 edges, 4 markings/sec, 1585 secs
lola: STP completed || 1 tries, 6040 fired transitions, 1590 secs || 5813 markings, 6910 edges, 4 markings/sec, 1590 secs
lola: STP completed || 1 tries, 6061 fired transitions, 1595 secs || 5834 markings, 6931 edges, 4 markings/sec, 1595 secs
lola: STP completed || 1 tries, 6082 fired transitions, 1600 secs || 5854 markings, 6951 edges, 4 markings/sec, 1600 secs
lola: STP completed || 1 tries, 6103 fired transitions, 1605 secs || 5874 markings, 6971 edges, 4 markings/sec, 1605 secs
lola: STP completed || 1 tries, 6124 fired transitions, 1610 secs || 5894 markings, 6991 edges, 4 markings/sec, 1610 secs
lola: STP completed || 1 tries, 6145 fired transitions, 1615 secs || 5915 markings, 7012 edges, 4 markings/sec, 1615 secs
lola: STP completed || 1 tries, 6165 fired transitions, 1620 secs || 5936 markings, 7033 edges, 4 markings/sec, 1620 secs
lola: STP completed || 1 tries, 6185 fired transitions, 1625 secs || 5957 markings, 7054 edges, 4 markings/sec, 1625 secs
lola: STP completed || 1 tries, 6205 fired transitions, 1630 secs || 5978 markings, 7075 edges, 4 markings/sec, 1630 secs
lola: STP completed || 1 tries, 6223 fired transitions, 1635 secs || 5996 markings, 7093 edges, 4 markings/sec, 1635 secs
lola: STP completed || 1 tries, 6233 fired transitions, 1640 secs || 6006 markings, 7103 edges, 2 markings/sec, 1640 secs
lola: STP completed || 1 tries, 6243 fired transitions, 1645 secs || 6016 markings, 7113 edges, 2 markings/sec, 1645 secs
lola: STP completed || 1 tries, 6253 fired transitions, 1650 secs || 6026 markings, 7123 edges, 2 markings/sec, 1650 secs
lola: STP completed || 1 tries, 6263 fired transitions, 1655 secs || 6036 markings, 7133 edges, 2 markings/sec, 1655 secs
lola: STP completed || 1 tries, 6274 fired transitions, 1660 secs || 6047 markings, 7144 edges, 2 markings/sec, 1660 secs
lola: STP completed || 1 tries, 6284 fired transitions, 1665 secs || 6057 markings, 7154 edges, 2 markings/sec, 1665 secs
lola: STP completed || 1 tries, 6295 fired transitions, 1670 secs || 6068 markings, 7165 edges, 2 markings/sec, 1670 secs
lola: STP completed || 1 tries, 6305 fired transitions, 1675 secs || 6078 markings, 7175 edges, 2 markings/sec, 1675 secs
lola: STP completed || 1 tries, 6315 fired transitions, 1680 secs || 6088 markings, 7185 edges, 2 markings/sec, 1680 secs
lola: STP completed || 1 tries, 6325 fired transitions, 1685 secs || 6098 markings, 7195 edges, 2 markings/sec, 1685 secs
lola: STP completed || 1 tries, 6335 fired transitions, 1690 secs || 6108 markings, 7205 edges, 2 markings/sec, 1690 secs
lola: STP completed || 1 tries, 6345 fired transitions, 1695 secs || 6118 markings, 7215 edges, 2 markings/sec, 1695 secs
lola: STP completed || 1 tries, 6355 fired transitions, 1700 secs || 6128 markings, 7225 edges, 2 markings/sec, 1700 secs
lola: STP completed || 1 tries, 6366 fired transitions, 1705 secs || 6139 markings, 7236 edges, 2 markings/sec, 1705 secs
lola: STP completed || 1 tries, 6376 fired transitions, 1710 secs || 6149 markings, 7246 edges, 2 markings/sec, 1710 secs
lola: STP completed || 1 tries, 6386 fired transitions, 1715 secs || 6159 markings, 7256 edges, 2 markings/sec, 1715 secs
lola: STP completed || 1 tries, 6397 fired transitions, 1720 secs || 6170 markings, 7267 edges, 2 markings/sec, 1720 secs
lola: STP completed || 1 tries, 6416 fired transitions, 1725 secs || 6190 markings, 7287 edges, 4 markings/sec, 1725 secs
lola: STP completed || 1 tries, 6434 fired transitions, 1730 secs || 6210 markings, 7309 edges, 4 markings/sec, 1730 secs
lola: STP completed || 1 tries, 6449 fired transitions, 1735 secs || 6225 markings, 7325 edges, 3 markings/sec, 1735 secs
lola: STP completed || 1 tries, 6462 fired transitions, 1740 secs || 6239 markings, 7339 edges, 3 markings/sec, 1740 secs
lola: STP completed || 1 tries, 6473 fired transitions, 1745 secs || 6250 markings, 7355 edges, 2 markings/sec, 1745 secs
lola: STP completed || 1 tries, 6493 fired transitions, 1750 secs || 6270 markings, 7379 edges, 4 markings/sec, 1750 secs
lola: STP completed || 1 tries, 6514 fired transitions, 1755 secs || 6292 markings, 7401 edges, 4 markings/sec, 1755 secs
lola: STP completed || 1 tries, 6531 fired transitions, 1760 secs || 6309 markings, 7422 edges, 3 markings/sec, 1760 secs
lola: STP completed || 1 tries, 6543 fired transitions, 1765 secs || 6323 markings, 7450 edges, 3 markings/sec, 1765 secs
lola: STP completed || 1 tries, 6563 fired transitions, 1770 secs || 6342 markings, 7475 edges, 4 markings/sec, 1770 secs
lola: STP completed || 1 tries, 6580 fired transitions, 1775 secs || 6359 markings, 7492 edges, 3 markings/sec, 1775 secs
lola: STP completed || 1 tries, 6599 fired transitions, 1780 secs || 6380 markings, 7513 edges, 4 markings/sec, 1780 secs
lola: STP completed || 1 tries, 6612 fired transitions, 1785 secs || 6393 markings, 7526 edges, 3 markings/sec, 1785 secs
lola: STP completed || 1 tries, 6631 fired transitions, 1790 secs || 6415 markings, 7548 edges, 4 markings/sec, 1790 secs
lola: STP completed || 1 tries, 6647 fired transitions, 1795 secs || 6432 markings, 7570 edges, 3 markings/sec, 1795 secs
lola: STP completed || 1 tries, 6664 fired transitions, 1800 secs || 6450 markings, 7592 edges, 4 markings/sec, 1800 secs
lola: STP completed || 1 tries, 6683 fired transitions, 1805 secs || 6470 markings, 7612 edges, 4 markings/sec, 1805 secs
lola: STP completed || 1 tries, 6701 fired transitions, 1810 secs || 6490 markings, 7632 edges, 4 markings/sec, 1810 secs
lola: STP completed || 1 tries, 6722 fired transitions, 1815 secs || 6510 markings, 7652 edges, 4 markings/sec, 1815 secs
lola: STP completed || 1 tries, 6742 fired transitions, 1820 secs || 6530 markings, 7672 edges, 4 markings/sec, 1820 secs
lola: STP completed || 1 tries, 6762 fired transitions, 1825 secs || 6551 markings, 7693 edges, 4 markings/sec, 1825 secs
lola: STP completed || 1 tries, 6782 fired transitions, 1830 secs || 6572 markings, 7722 edges, 4 markings/sec, 1830 secs
lola: STP completed || 1 tries, 6801 fired transitions, 1835 secs || 6593 markings, 7743 edges, 4 markings/sec, 1835 secs
lola: STP completed || 1 tries, 6822 fired transitions, 1840 secs || 6614 markings, 7764 edges, 4 markings/sec, 1840 secs
lola: STP completed || 1 tries, 6841 fired transitions, 1845 secs || 6634 markings, 7792 edges, 4 markings/sec, 1845 secs
lola: STP completed || 1 tries, 6861 fired transitions, 1850 secs || 6656 markings, 7836 edges, 4 markings/sec, 1850 secs
lola: STP completed || 1 tries, 6880 fired transitions, 1855 secs || 6677 markings, 7878 edges, 4 markings/sec, 1855 secs
lola: STP completed || 1 tries, 6895 fired transitions, 1860 secs || 6693 markings, 7910 edges, 3 markings/sec, 1860 secs
lola: STP completed || 1 tries, 6906 fired transitions, 1865 secs || 6704 markings, 7932 edges, 2 markings/sec, 1865 secs
lola: STP completed || 1 tries, 6928 fired transitions, 1870 secs || 6726 markings, 7976 edges, 4 markings/sec, 1870 secs
lola: STP completed || 1 tries, 6949 fired transitions, 1875 secs || 6747 markings, 8018 edges, 4 markings/sec, 1875 secs
lola: STP completed || 1 tries, 6971 fired transitions, 1880 secs || 6769 markings, 8060 edges, 4 markings/sec, 1880 secs
lola: STP completed || 1 tries, 6993 fired transitions, 1885 secs || 6790 markings, 8086 edges, 4 markings/sec, 1885 secs
lola: STP completed || 1 tries, 7014 fired transitions, 1890 secs || 6812 markings, 8108 edges, 4 markings/sec, 1890 secs
lola: STP completed || 1 tries, 7035 fired transitions, 1895 secs || 6834 markings, 8130 edges, 4 markings/sec, 1895 secs
lola: STP completed || 1 tries, 7058 fired transitions, 1900 secs || 6855 markings, 8151 edges, 4 markings/sec, 1900 secs
lola: STP completed || 1 tries, 7079 fired transitions, 1905 secs || 6876 markings, 8173 edges, 4 markings/sec, 1905 secs
lola: STP completed || 1 tries, 7102 fired transitions, 1910 secs || 6897 markings, 8194 edges, 4 markings/sec, 1910 secs
lola: STP completed || 1 tries, 7123 fired transitions, 1915 secs || 6918 markings, 8215 edges, 4 markings/sec, 1915 secs
lola: STP completed || 1 tries, 7145 fired transitions, 1920 secs || 6939 markings, 8237 edges, 4 markings/sec, 1920 secs
lola: STP completed || 1 tries, 7168 fired transitions, 1925 secs || 6960 markings, 8258 edges, 4 markings/sec, 1925 secs
lola: STP completed || 1 tries, 7190 fired transitions, 1930 secs || 6981 markings, 8280 edges, 4 markings/sec, 1930 secs
lola: STP completed || 1 tries, 7212 fired transitions, 1935 secs || 7002 markings, 8304 edges, 4 markings/sec, 1935 secs
lola: STP completed || 1 tries, 7233 fired transitions, 1940 secs || 7023 markings, 8325 edges, 4 markings/sec, 1940 secs
lola: STP completed || 1 tries, 7254 fired transitions, 1945 secs || 7045 markings, 8348 edges, 4 markings/sec, 1945 secs
lola: STP completed || 1 tries, 7276 fired transitions, 1950 secs || 7066 markings, 8372 edges, 4 markings/sec, 1950 secs
lola: STP completed || 1 tries, 7298 fired transitions, 1955 secs || 7087 markings, 8394 edges, 4 markings/sec, 1955 secs
lola: STP completed || 1 tries, 7319 fired transitions, 1960 secs || 7108 markings, 8431 edges, 4 markings/sec, 1960 secs
lola: STP completed || 1 tries, 7341 fired transitions, 1965 secs || 7130 markings, 8476 edges, 4 markings/sec, 1965 secs
lola: STP completed || 1 tries, 7363 fired transitions, 1970 secs || 7151 markings, 8509 edges, 4 markings/sec, 1970 secs
lola: STP completed || 1 tries, 7385 fired transitions, 1975 secs || 7173 markings, 8542 edges, 4 markings/sec, 1975 secs
lola: STP completed || 1 tries, 7406 fired transitions, 1980 secs || 7194 markings, 8584 edges, 4 markings/sec, 1980 secs
lola: STP completed || 1 tries, 7428 fired transitions, 1985 secs || 7216 markings, 8621 edges, 4 markings/sec, 1985 secs
lola: STP completed || 1 tries, 7450 fired transitions, 1990 secs || 7237 markings, 8659 edges, 4 markings/sec, 1990 secs
lola: STP completed || 1 tries, 7472 fired transitions, 1995 secs || 7258 markings, 8689 edges, 4 markings/sec, 1995 secs
lola: STP completed || 1 tries, 7495 fired transitions, 2000 secs || 7280 markings, 8712 edges, 4 markings/sec, 2000 secs
lola: STP completed || 1 tries, 7517 fired transitions, 2005 secs || 7301 markings, 8733 edges, 4 markings/sec, 2005 secs
lola: STP completed || 1 tries, 7538 fired transitions, 2010 secs || 7322 markings, 8754 edges, 4 markings/sec, 2010 secs
lola: STP completed || 1 tries, 7559 fired transitions, 2015 secs || 7344 markings, 8776 edges, 4 markings/sec, 2015 secs
lola: STP completed || 1 tries, 7581 fired transitions, 2020 secs || 7366 markings, 8798 edges, 4 markings/sec, 2020 secs
lola: STP completed || 1 tries, 7603 fired transitions, 2025 secs || 7387 markings, 8819 edges, 4 markings/sec, 2025 secs
lola: STP completed || 1 tries, 7625 fired transitions, 2030 secs || 7409 markings, 8841 edges, 4 markings/sec, 2030 secs
lola: STP completed || 1 tries, 7646 fired transitions, 2035 secs || 7431 markings, 8863 edges, 4 markings/sec, 2035 secs
lola: STP completed || 1 tries, 7668 fired transitions, 2040 secs || 7453 markings, 8885 edges, 4 markings/sec, 2040 secs
lola: STP completed || 1 tries, 7689 fired transitions, 2045 secs || 7475 markings, 8907 edges, 4 markings/sec, 2045 secs
lola: STP completed || 1 tries, 7711 fired transitions, 2050 secs || 7498 markings, 8930 edges, 5 markings/sec, 2050 secs
lola: STP completed || 1 tries, 7732 fired transitions, 2055 secs || 7520 markings, 8952 edges, 4 markings/sec, 2055 secs
lola: STP completed || 1 tries, 7753 fired transitions, 2060 secs || 7542 markings, 8974 edges, 4 markings/sec, 2060 secs
lola: STP completed || 1 tries, 7775 fired transitions, 2065 secs || 7564 markings, 8996 edges, 4 markings/sec, 2065 secs
lola: STP completed || 1 tries, 7796 fired transitions, 2070 secs || 7586 markings, 9031 edges, 4 markings/sec, 2070 secs
lola: STP completed || 1 tries, 7816 fired transitions, 2075 secs || 7608 markings, 9057 edges, 4 markings/sec, 2075 secs
lola: STP completed || 1 tries, 7835 fired transitions, 2080 secs || 7630 markings, 9079 edges, 4 markings/sec, 2080 secs
lola: STP completed || 1 tries, 7854 fired transitions, 2085 secs || 7650 markings, 9099 edges, 4 markings/sec, 2085 secs
lola: STP completed || 1 tries, 7875 fired transitions, 2090 secs || 7672 markings, 9121 edges, 4 markings/sec, 2090 secs
lola: STP completed || 1 tries, 7894 fired transitions, 2095 secs || 7693 markings, 9142 edges, 4 markings/sec, 2095 secs
lola: STP completed || 1 tries, 7914 fired transitions, 2100 secs || 7714 markings, 9163 edges, 4 markings/sec, 2100 secs
lola: STP completed || 1 tries, 7935 fired transitions, 2105 secs || 7735 markings, 9184 edges, 4 markings/sec, 2105 secs
lola: STP completed || 1 tries, 7955 fired transitions, 2110 secs || 7756 markings, 9205 edges, 4 markings/sec, 2110 secs
lola: STP completed || 1 tries, 7975 fired transitions, 2115 secs || 7777 markings, 9245 edges, 4 markings/sec, 2115 secs
lola: STP completed || 1 tries, 7995 fired transitions, 2120 secs || 7798 markings, 9287 edges, 4 markings/sec, 2120 secs
lola: STP completed || 1 tries, 8015 fired transitions, 2125 secs || 7820 markings, 9329 edges, 4 markings/sec, 2125 secs
lola: STP completed || 1 tries, 8035 fired transitions, 2130 secs || 7841 markings, 9352 edges, 4 markings/sec, 2130 secs
lola: STP completed || 1 tries, 8055 fired transitions, 2135 secs || 7862 markings, 9373 edges, 4 markings/sec, 2135 secs
lola: STP completed || 1 tries, 8075 fired transitions, 2140 secs || 7884 markings, 9395 edges, 4 markings/sec, 2140 secs
lola: STP completed || 1 tries, 8095 fired transitions, 2145 secs || 7905 markings, 9416 edges, 4 markings/sec, 2145 secs
lola: STP completed || 1 tries, 8116 fired transitions, 2150 secs || 7926 markings, 9437 edges, 4 markings/sec, 2150 secs
lola: STP completed || 1 tries, 8136 fired transitions, 2155 secs || 7946 markings, 9457 edges, 4 markings/sec, 2155 secs
lola: STP completed || 1 tries, 8155 fired transitions, 2160 secs || 7967 markings, 9497 edges, 4 markings/sec, 2160 secs
lola: STP completed || 1 tries, 8174 fired transitions, 2165 secs || 7988 markings, 9539 edges, 4 markings/sec, 2165 secs
lola: STP completed || 1 tries, 8193 fired transitions, 2170 secs || 8009 markings, 9581 edges, 4 markings/sec, 2170 secs
lola: STP completed || 1 tries, 8212 fired transitions, 2175 secs || 8029 markings, 9621 edges, 4 markings/sec, 2175 secs
lola: STP completed || 1 tries, 8231 fired transitions, 2180 secs || 8050 markings, 9658 edges, 4 markings/sec, 2180 secs
lola: STP completed || 1 tries, 8251 fired transitions, 2185 secs || 8071 markings, 9679 edges, 4 markings/sec, 2185 secs
lola: STP completed || 1 tries, 8272 fired transitions, 2190 secs || 8092 markings, 9701 edges, 4 markings/sec, 2190 secs
lola: STP completed || 1 tries, 8292 fired transitions, 2195 secs || 8113 markings, 9722 edges, 4 markings/sec, 2195 secs
lola: STP completed || 1 tries, 8311 fired transitions, 2200 secs || 8134 markings, 9744 edges, 4 markings/sec, 2200 secs
lola: STP completed || 1 tries, 8330 fired transitions, 2205 secs || 8155 markings, 9786 edges, 4 markings/sec, 2205 secs
lola: STP completed || 1 tries, 8349 fired transitions, 2210 secs || 8177 markings, 9821 edges, 4 markings/sec, 2210 secs
lola: STP completed || 1 tries, 8368 fired transitions, 2215 secs || 8198 markings, 9842 edges, 4 markings/sec, 2215 secs
lola: STP completed || 1 tries, 8387 fired transitions, 2220 secs || 8220 markings, 9864 edges, 4 markings/sec, 2220 secs
lola: STP completed || 1 tries, 8408 fired transitions, 2225 secs || 8241 markings, 9885 edges, 4 markings/sec, 2225 secs
lola: STP completed || 1 tries, 8427 fired transitions, 2230 secs || 8262 markings, 9906 edges, 4 markings/sec, 2230 secs
lola: STP completed || 1 tries, 8447 fired transitions, 2235 secs || 8283 markings, 9927 edges, 4 markings/sec, 2235 secs
lola: STP completed || 1 tries, 8466 fired transitions, 2240 secs || 8304 markings, 9948 edges, 4 markings/sec, 2240 secs
lola: STP completed || 1 tries, 8486 fired transitions, 2245 secs || 8325 markings, 9969 edges, 4 markings/sec, 2245 secs
lola: STP completed || 1 tries, 8505 fired transitions, 2250 secs || 8346 markings, 9990 edges, 4 markings/sec, 2250 secs
lola: STP completed || 1 tries, 8524 fired transitions, 2255 secs || 8367 markings, 10011 edges, 4 markings/sec, 2255 secs
lola: STP completed || 1 tries, 8544 fired transitions, 2260 secs || 8388 markings, 10032 edges, 4 markings/sec, 2260 secs
lola: STP completed || 1 tries, 8564 fired transitions, 2265 secs || 8409 markings, 10053 edges, 4 markings/sec, 2265 secs
lola: STP completed || 1 tries, 8584 fired transitions, 2270 secs || 8430 markings, 10079 edges, 4 markings/sec, 2270 secs
lola: STP completed || 1 tries, 8604 fired transitions, 2275 secs || 8451 markings, 10100 edges, 4 markings/sec, 2275 secs
lola: STP completed || 1 tries, 8625 fired transitions, 2280 secs || 8472 markings, 10121 edges, 4 markings/sec, 2280 secs
lola: STP completed || 1 tries, 8645 fired transitions, 2285 secs || 8492 markings, 10141 edges, 4 markings/sec, 2285 secs
lola: STP completed || 1 tries, 8665 fired transitions, 2290 secs || 8513 markings, 10162 edges, 4 markings/sec, 2290 secs
lola: STP completed || 1 tries, 8685 fired transitions, 2295 secs || 8534 markings, 10183 edges, 4 markings/sec, 2295 secs
lola: STP completed || 1 tries, 8705 fired transitions, 2300 secs || 8555 markings, 10204 edges, 4 markings/sec, 2300 secs
lola: STP completed || 1 tries, 8725 fired transitions, 2305 secs || 8576 markings, 10226 edges, 4 markings/sec, 2305 secs
lola: STP completed || 1 tries, 8746 fired transitions, 2310 secs || 8597 markings, 10248 edges, 4 markings/sec, 2310 secs
lola: STP completed || 1 tries, 8766 fired transitions, 2315 secs || 8618 markings, 10269 edges, 4 markings/sec, 2315 secs
lola: STP completed || 1 tries, 8787 fired transitions, 2320 secs || 8639 markings, 10290 edges, 4 markings/sec, 2320 secs
lola: STP completed || 1 tries, 8808 fired transitions, 2325 secs || 8660 markings, 10312 edges, 4 markings/sec, 2325 secs
lola: STP completed || 1 tries, 8829 fired transitions, 2330 secs || 8680 markings, 10332 edges, 4 markings/sec, 2330 secs
lola: STP completed || 1 tries, 8850 fired transitions, 2335 secs || 8699 markings, 10351 edges, 4 markings/sec, 2335 secs
lola: STP completed || 1 tries, 8869 fired transitions, 2340 secs || 8720 markings, 10373 edges, 4 markings/sec, 2340 secs
lola: STP completed || 1 tries, 8889 fired transitions, 2345 secs || 8741 markings, 10394 edges, 4 markings/sec, 2345 secs
lola: STP completed || 1 tries, 8908 fired transitions, 2350 secs || 8762 markings, 10415 edges, 4 markings/sec, 2350 secs
lola: STP completed || 1 tries, 8928 fired transitions, 2355 secs || 8783 markings, 10436 edges, 4 markings/sec, 2355 secs
lola: STP completed || 1 tries, 8947 fired transitions, 2360 secs || 8804 markings, 10458 edges, 4 markings/sec, 2360 secs
lola: STP completed || 1 tries, 8966 fired transitions, 2365 secs || 8825 markings, 10482 edges, 4 markings/sec, 2365 secs
lola: STP completed || 1 tries, 8986 fired transitions, 2370 secs || 8845 markings, 10504 edges, 4 markings/sec, 2370 secs
lola: STP completed || 1 tries, 9006 fired transitions, 2375 secs || 8866 markings, 10525 edges, 4 markings/sec, 2375 secs
lola: STP completed || 1 tries, 9026 fired transitions, 2380 secs || 8888 markings, 10565 edges, 4 markings/sec, 2380 secs
lola: STP completed || 1 tries, 9046 fired transitions, 2385 secs || 8909 markings, 10596 edges, 4 markings/sec, 2385 secs
lola: STP completed || 1 tries, 9067 fired transitions, 2390 secs || 8930 markings, 10629 edges, 4 markings/sec, 2390 secs
lola: STP completed || 1 tries, 9089 fired transitions, 2395 secs || 8951 markings, 10669 edges, 4 markings/sec, 2395 secs
lola: STP completed || 1 tries, 9110 fired transitions, 2400 secs || 8972 markings, 10711 edges, 4 markings/sec, 2400 secs
lola: STP completed || 1 tries, 9131 fired transitions, 2405 secs || 8994 markings, 10736 edges, 4 markings/sec, 2405 secs
lola: STP completed || 1 tries, 9152 fired transitions, 2410 secs || 9015 markings, 10757 edges, 4 markings/sec, 2410 secs
lola: STP completed || 1 tries, 9173 fired transitions, 2415 secs || 9036 markings, 10778 edges, 4 markings/sec, 2415 secs
lola: STP completed || 1 tries, 9194 fired transitions, 2420 secs || 9058 markings, 10800 edges, 4 markings/sec, 2420 secs
lola: STP completed || 1 tries, 9215 fired transitions, 2425 secs || 9079 markings, 10821 edges, 4 markings/sec, 2425 secs
lola: STP completed || 1 tries, 9235 fired transitions, 2430 secs || 9100 markings, 10842 edges, 4 markings/sec, 2430 secs
lola: STP completed || 1 tries, 9256 fired transitions, 2435 secs || 9121 markings, 10863 edges, 4 markings/sec, 2435 secs
lola: STP completed || 1 tries, 9275 fired transitions, 2440 secs || 9141 markings, 10883 edges, 4 markings/sec, 2440 secs
lola: STP completed || 1 tries, 9290 fired transitions, 2445 secs || 9156 markings, 10898 edges, 3 markings/sec, 2445 secs
lola: STP completed || 1 tries, 9310 fired transitions, 2450 secs || 9176 markings, 10918 edges, 4 markings/sec, 2450 secs
lola: STP completed || 1 tries, 9329 fired transitions, 2455 secs || 9197 markings, 10939 edges, 4 markings/sec, 2455 secs
lola: STP completed || 1 tries, 9349 fired transitions, 2460 secs || 9218 markings, 10960 edges, 4 markings/sec, 2460 secs
lola: STP completed || 1 tries, 9370 fired transitions, 2465 secs || 9239 markings, 10994 edges, 4 markings/sec, 2465 secs
lola: STP completed || 1 tries, 9390 fired transitions, 2470 secs || 9260 markings, 11034 edges, 4 markings/sec, 2470 secs
lola: STP completed || 1 tries, 9411 fired transitions, 2475 secs || 9281 markings, 11063 edges, 4 markings/sec, 2475 secs
lola: STP completed || 1 tries, 9432 fired transitions, 2480 secs || 9302 markings, 11084 edges, 4 markings/sec, 2480 secs
lola: STP completed || 1 tries, 9452 fired transitions, 2485 secs || 9323 markings, 11105 edges, 4 markings/sec, 2485 secs
lola: STP completed || 1 tries, 9473 fired transitions, 2490 secs || 9344 markings, 11126 edges, 4 markings/sec, 2490 secs
lola: STP completed || 1 tries, 9493 fired transitions, 2495 secs || 9364 markings, 11146 edges, 4 markings/sec, 2495 secs
lola: STP completed || 1 tries, 9513 fired transitions, 2500 secs || 9385 markings, 11167 edges, 4 markings/sec, 2500 secs
lola: STP completed || 1 tries, 9534 fired transitions, 2505 secs || 9406 markings, 11188 edges, 4 markings/sec, 2505 secs
lola: STP completed || 1 tries, 9554 fired transitions, 2510 secs || 9427 markings, 11209 edges, 4 markings/sec, 2510 secs
lola: STP completed || 1 tries, 9575 fired transitions, 2515 secs || 9448 markings, 11232 edges, 4 markings/sec, 2515 secs
lola: STP completed || 1 tries, 9596 fired transitions, 2520 secs || 9469 markings, 11264 edges, 4 markings/sec, 2520 secs
lola: STP completed || 1 tries, 9616 fired transitions, 2525 secs || 9490 markings, 11306 edges, 4 markings/sec, 2525 secs
lola: STP completed || 1 tries, 9636 fired transitions, 2530 secs || 9511 markings, 11344 edges, 4 markings/sec, 2530 secs
lola: STP completed || 1 tries, 9655 fired transitions, 2535 secs || 9532 markings, 11365 edges, 4 markings/sec, 2535 secs
lola: STP completed || 1 tries, 9674 fired transitions, 2540 secs || 9553 markings, 11386 edges, 4 markings/sec, 2540 secs
lola: STP completed || 1 tries, 9694 fired transitions, 2545 secs || 9574 markings, 11407 edges, 4 markings/sec, 2545 secs
lola: STP completed || 1 tries, 9713 fired transitions, 2550 secs || 9595 markings, 11428 edges, 4 markings/sec, 2550 secs
lola: STP completed || 1 tries, 9732 fired transitions, 2555 secs || 9617 markings, 11450 edges, 4 markings/sec, 2555 secs
lola: STP completed || 1 tries, 9751 fired transitions, 2560 secs || 9638 markings, 11474 edges, 4 markings/sec, 2560 secs
lola: STP completed || 1 tries, 9770 fired transitions, 2565 secs || 9658 markings, 11502 edges, 4 markings/sec, 2565 secs
lola: STP completed || 1 tries, 9789 fired transitions, 2570 secs || 9680 markings, 11524 edges, 4 markings/sec, 2570 secs
lola: STP completed || 1 tries, 9809 fired transitions, 2575 secs || 9701 markings, 11545 edges, 4 markings/sec, 2575 secs
lola: STP completed || 1 tries, 9828 fired transitions, 2580 secs || 9722 markings, 11566 edges, 4 markings/sec, 2580 secs
lola: STP completed || 1 tries, 9848 fired transitions, 2585 secs || 9743 markings, 11587 edges, 4 markings/sec, 2585 secs
lola: STP completed || 1 tries, 9867 fired transitions, 2590 secs || 9764 markings, 11608 edges, 4 markings/sec, 2590 secs
lola: STP completed || 1 tries, 9887 fired transitions, 2595 secs || 9785 markings, 11629 edges, 4 markings/sec, 2595 secs
lola: STP completed || 1 tries, 9907 fired transitions, 2600 secs || 9804 markings, 11648 edges, 4 markings/sec, 2600 secs
lola: STP completed || 1 tries, 9928 fired transitions, 2605 secs || 9823 markings, 11667 edges, 4 markings/sec, 2605 secs
lola: STP completed || 1 tries, 9949 fired transitions, 2610 secs || 9843 markings, 11687 edges, 4 markings/sec, 2610 secs
lola: STP completed || 1 tries, 9970 fired transitions, 2615 secs || 9862 markings, 11706 edges, 4 markings/sec, 2615 secs
lola: STP completed || 1 tries, 9990 fired transitions, 2620 secs || 9882 markings, 11726 edges, 4 markings/sec, 2620 secs
lola: STP completed || 1 tries, 10011 fired transitions, 2625 secs || 9902 markings, 11756 edges, 4 markings/sec, 2625 secs
lola: STP completed || 1 tries, 10030 fired transitions, 2630 secs || 9923 markings, 11782 edges, 4 markings/sec, 2630 secs
lola: STP completed || 1 tries, 10050 fired transitions, 2635 secs || 9944 markings, 11803 edges, 4 markings/sec, 2635 secs
lola: STP completed || 1 tries, 10070 fired transitions, 2640 secs || 9965 markings, 11824 edges, 4 markings/sec, 2640 secs
lola: STP completed || 1 tries, 10091 fired transitions, 2645 secs || 9986 markings, 11845 edges, 4 markings/sec, 2645 secs
lola: STP completed || 1 tries, 10111 fired transitions, 2650 secs || 10007 markings, 11866 edges, 4 markings/sec, 2650 secs
lola: STP completed || 1 tries, 10132 fired transitions, 2655 secs || 10028 markings, 11887 edges, 4 markings/sec, 2655 secs
lola: STP completed || 1 tries, 10152 fired transitions, 2660 secs || 10049 markings, 11911 edges, 4 markings/sec, 2660 secs
lola: STP completed || 1 tries, 10172 fired transitions, 2665 secs || 10070 markings, 11932 edges, 4 markings/sec, 2665 secs
lola: STP completed || 1 tries, 10192 fired transitions, 2670 secs || 10091 markings, 11954 edges, 4 markings/sec, 2670 secs
lola: STP completed || 1 tries, 10212 fired transitions, 2675 secs || 10112 markings, 11980 edges, 4 markings/sec, 2675 secs
lola: STP completed || 1 tries, 10231 fired transitions, 2680 secs || 10133 markings, 12002 edges, 4 markings/sec, 2680 secs
lola: STP completed || 1 tries, 10251 fired transitions, 2685 secs || 10154 markings, 12026 edges, 4 markings/sec, 2685 secs
lola: STP completed || 1 tries, 10270 fired transitions, 2690 secs || 10175 markings, 12062 edges, 4 markings/sec, 2690 secs
lola: STP completed || 1 tries, 10289 fired transitions, 2695 secs || 10196 markings, 12099 edges, 4 markings/sec, 2695 secs
lola: STP completed || 1 tries, 10309 fired transitions, 2700 secs || 10218 markings, 12143 edges, 4 markings/sec, 2700 secs
lola: STP completed || 1 tries, 10328 fired transitions, 2705 secs || 10239 markings, 12176 edges, 4 markings/sec, 2705 secs
lola: STP completed || 1 tries, 10348 fired transitions, 2710 secs || 10260 markings, 12215 edges, 4 markings/sec, 2710 secs
lola: STP completed || 1 tries, 10367 fired transitions, 2715 secs || 10281 markings, 12242 edges, 4 markings/sec, 2715 secs
lola: STP completed || 1 tries, 10386 fired transitions, 2720 secs || 10299 markings, 12277 edges, 4 markings/sec, 2720 secs
lola: STP completed || 1 tries, 10406 fired transitions, 2725 secs || 10320 markings, 12304 edges, 4 markings/sec, 2725 secs
lola: STP completed || 1 tries, 10426 fired transitions, 2730 secs || 10341 markings, 12340 edges, 4 markings/sec, 2730 secs
lola: STP completed || 1 tries, 10446 fired transitions, 2735 secs || 10362 markings, 12361 edges, 4 markings/sec, 2735 secs
lola: STP completed || 1 tries, 10465 fired transitions, 2740 secs || 10383 markings, 12382 edges, 4 markings/sec, 2740 secs
lola: STP completed || 1 tries, 10485 fired transitions, 2745 secs || 10403 markings, 12408 edges, 4 markings/sec, 2745 secs
lola: STP completed || 1 tries, 10504 fired transitions, 2750 secs || 10424 markings, 12438 edges, 4 markings/sec, 2750 secs
lola: STP completed || 1 tries, 10524 fired transitions, 2755 secs || 10445 markings, 12478 edges, 4 markings/sec, 2755 secs
lola: STP completed || 1 tries, 10544 fired transitions, 2760 secs || 10465 markings, 12518 edges, 4 markings/sec, 2760 secs
lola: STP completed || 1 tries, 10563 fired transitions, 2765 secs || 10486 markings, 12545 edges, 4 markings/sec, 2765 secs
lola: STP completed || 1 tries, 10584 fired transitions, 2770 secs || 10506 markings, 12565 edges, 4 markings/sec, 2770 secs
lola: STP completed || 1 tries, 10603 fired transitions, 2775 secs || 10527 markings, 12586 edges, 4 markings/sec, 2775 secs
lola: STP completed || 1 tries, 10623 fired transitions, 2780 secs || 10548 markings, 12607 edges, 4 markings/sec, 2780 secs
lola: STP completed || 1 tries, 10643 fired transitions, 2785 secs || 10569 markings, 12628 edges, 4 markings/sec, 2785 secs
lola: STP completed || 1 tries, 10664 fired transitions, 2790 secs || 10589 markings, 12648 edges, 4 markings/sec, 2790 secs
lola: STP completed || 1 tries, 10684 fired transitions, 2795 secs || 10610 markings, 12669 edges, 4 markings/sec, 2795 secs
lola: STP completed || 1 tries, 10704 fired transitions, 2800 secs || 10631 markings, 12690 edges, 4 markings/sec, 2800 secs
lola: STP completed || 1 tries, 10724 fired transitions, 2805 secs || 10652 markings, 12711 edges, 4 markings/sec, 2805 secs
lola: STP completed || 1 tries, 10743 fired transitions, 2810 secs || 10673 markings, 12732 edges, 4 markings/sec, 2810 secs
lola: STP completed || 1 tries, 10763 fired transitions, 2815 secs || 10693 markings, 12752 edges, 4 markings/sec, 2815 secs
lola: STP completed || 1 tries, 10783 fired transitions, 2820 secs || 10714 markings, 12773 edges, 4 markings/sec, 2820 secs
lola: STP completed || 1 tries, 10803 fired transitions, 2825 secs || 10735 markings, 12794 edges, 4 markings/sec, 2825 secs
lola: STP completed || 1 tries, 10822 fired transitions, 2830 secs || 10756 markings, 12815 edges, 4 markings/sec, 2830 secs
lola: STP completed || 1 tries, 10843 fired transitions, 2835 secs || 10776 markings, 12835 edges, 4 markings/sec, 2835 secs
lola: STP completed || 1 tries, 10863 fired transitions, 2840 secs || 10796 markings, 12855 edges, 4 markings/sec, 2840 secs
lola: STP completed || 1 tries, 10883 fired transitions, 2845 secs || 10817 markings, 12877 edges, 4 markings/sec, 2845 secs
lola: STP completed || 1 tries, 10903 fired transitions, 2850 secs || 10838 markings, 12898 edges, 4 markings/sec, 2850 secs
lola: STP completed || 1 tries, 10923 fired transitions, 2855 secs || 10859 markings, 12919 edges, 4 markings/sec, 2855 secs
lola: STP completed || 1 tries, 10942 fired transitions, 2860 secs || 10880 markings, 12941 edges, 4 markings/sec, 2860 secs
lola: STP completed || 1 tries, 10961 fired transitions, 2865 secs || 10901 markings, 12982 edges, 4 markings/sec, 2865 secs
lola: STP completed || 1 tries, 10975 fired transitions, 2870 secs || 10915 markings, 13010 edges, 3 markings/sec, 2870 secs
lola: STP completed || 1 tries, 10985 fired transitions, 2875 secs || 10925 markings, 13030 edges, 2 markings/sec, 2875 secs
lola: STP completed || 1 tries, 10996 fired transitions, 2880 secs || 10936 markings, 13052 edges, 2 markings/sec, 2880 secs
lola: STP completed || 1 tries, 11006 fired transitions, 2885 secs || 10946 markings, 13071 edges, 2 markings/sec, 2885 secs
lola: STP completed || 1 tries, 11021 fired transitions, 2890 secs || 10961 markings, 13090 edges, 3 markings/sec, 2890 secs
lola: STP completed || 1 tries, 11042 fired transitions, 2895 secs || 10981 markings, 13110 edges, 4 markings/sec, 2895 secs
lola: STP completed || 1 tries, 11063 fired transitions, 2900 secs || 11002 markings, 13132 edges, 4 markings/sec, 2900 secs
lola: STP completed || 1 tries, 11084 fired transitions, 2905 secs || 11022 markings, 13156 edges, 4 markings/sec, 2905 secs
lola: STP completed || 1 tries, 11105 fired transitions, 2910 secs || 11042 markings, 13176 edges, 4 markings/sec, 2910 secs
lola: STP completed || 1 tries, 11126 fired transitions, 2915 secs || 11061 markings, 13195 edges, 4 markings/sec, 2915 secs
lola: STP completed || 1 tries, 11145 fired transitions, 2920 secs || 11080 markings, 13214 edges, 4 markings/sec, 2920 secs
lola: STP completed || 1 tries, 11166 fired transitions, 2925 secs || 11099 markings, 13233 edges, 4 markings/sec, 2925 secs
lola: STP completed || 1 tries, 11187 fired transitions, 2930 secs || 11119 markings, 13253 edges, 4 markings/sec, 2930 secs
lola: STP completed || 1 tries, 11207 fired transitions, 2935 secs || 11139 markings, 13273 edges, 4 markings/sec, 2935 secs
lola: STP completed || 1 tries, 11228 fired transitions, 2940 secs || 11158 markings, 13292 edges, 4 markings/sec, 2940 secs
lola: STP completed || 1 tries, 11244 fired transitions, 2945 secs || 11173 markings, 13307 edges, 3 markings/sec, 2945 secs
lola: STP completed || 1 tries, 11262 fired transitions, 2950 secs || 11191 markings, 13325 edges, 4 markings/sec, 2950 secs
lola: STP completed || 1 tries, 11283 fired transitions, 2955 secs || 11211 markings, 13357 edges, 4 markings/sec, 2955 secs
lola: STP completed || 1 tries, 11304 fired transitions, 2960 secs || 11231 markings, 13382 edges, 4 markings/sec, 2960 secs
lola: STP completed || 1 tries, 11325 fired transitions, 2965 secs || 11251 markings, 13403 edges, 4 markings/sec, 2965 secs
lola: STP completed || 1 tries, 11346 fired transitions, 2970 secs || 11271 markings, 13423 edges, 4 markings/sec, 2970 secs
lola: STP completed || 1 tries, 11367 fired transitions, 2975 secs || 11291 markings, 13443 edges, 4 markings/sec, 2975 secs
lola: STP completed || 1 tries, 11388 fired transitions, 2980 secs || 11312 markings, 13465 edges, 4 markings/sec, 2980 secs
lola: STP completed || 1 tries, 11409 fired transitions, 2985 secs || 11332 markings, 13505 edges, 4 markings/sec, 2985 secs
lola: STP completed || 1 tries, 11429 fired transitions, 2990 secs || 11351 markings, 13542 edges, 4 markings/sec, 2990 secs
lola: STP completed || 1 tries, 11450 fired transitions, 2995 secs || 11372 markings, 13577 edges, 4 markings/sec, 2995 secs
lola: STP completed || 1 tries, 11471 fired transitions, 3000 secs || 11392 markings, 13604 edges, 4 markings/sec, 3000 secs
lola: STP completed || 1 tries, 11490 fired transitions, 3005 secs || 11413 markings, 13639 edges, 4 markings/sec, 3005 secs
lola: STP completed || 1 tries, 11510 fired transitions, 3010 secs || 11434 markings, 13660 edges, 4 markings/sec, 3010 secs
lola: STP completed || 1 tries, 11529 fired transitions, 3015 secs || 11455 markings, 13681 edges, 4 markings/sec, 3015 secs
lola: STP completed || 1 tries, 11549 fired transitions, 3020 secs || 11476 markings, 13702 edges, 4 markings/sec, 3020 secs
lola: STP completed || 1 tries, 11569 fired transitions, 3025 secs || 11498 markings, 13724 edges, 4 markings/sec, 3025 secs
lola: STP completed || 1 tries, 11589 fired transitions, 3030 secs || 11519 markings, 13746 edges, 4 markings/sec, 3030 secs
lola: STP completed || 1 tries, 11609 fired transitions, 3035 secs || 11540 markings, 13772 edges, 4 markings/sec, 3035 secs
lola: STP completed || 1 tries, 11629 fired transitions, 3040 secs || 11562 markings, 13816 edges, 4 markings/sec, 3040 secs
lola: STP completed || 1 tries, 11650 fired transitions, 3045 secs || 11583 markings, 13844 edges, 4 markings/sec, 3045 secs
lola: STP completed || 1 tries, 11670 fired transitions, 3050 secs || 11604 markings, 13865 edges, 4 markings/sec, 3050 secs
lola: STP completed || 1 tries, 11690 fired transitions, 3055 secs || 11625 markings, 13905 edges, 4 markings/sec, 3055 secs
lola: STP completed || 1 tries, 11707 fired transitions, 3060 secs || 11644 markings, 13939 edges, 4 markings/sec, 3060 secs
lola: STP completed || 1 tries, 11723 fired transitions, 3065 secs || 11662 markings, 13957 edges, 4 markings/sec, 3065 secs
lola: STP completed || 1 tries, 11743 fired transitions, 3070 secs || 11683 markings, 13978 edges, 4 markings/sec, 3070 secs
lola: STP completed || 1 tries, 11763 fired transitions, 3075 secs || 11704 markings, 13999 edges, 4 markings/sec, 3075 secs
lola: STP completed || 1 tries, 11782 fired transitions, 3080 secs || 11725 markings, 14020 edges, 4 markings/sec, 3080 secs
lola: STP completed || 1 tries, 11801 fired transitions, 3085 secs || 11746 markings, 14041 edges, 4 markings/sec, 3085 secs
lola: STP completed || 1 tries, 11821 fired transitions, 3090 secs || 11766 markings, 14065 edges, 4 markings/sec, 3090 secs
lola: STP completed || 1 tries, 11841 fired transitions, 3095 secs || 11787 markings, 14086 edges, 4 markings/sec, 3095 secs
lola: STP completed || 1 tries, 11860 fired transitions, 3100 secs || 11808 markings, 14110 edges, 4 markings/sec, 3100 secs
lola: STP completed || 1 tries, 11880 fired transitions, 3105 secs || 11829 markings, 14149 edges, 4 markings/sec, 3105 secs
lola: STP completed || 1 tries, 11900 fired transitions, 3110 secs || 11850 markings, 14188 edges, 4 markings/sec, 3110 secs
lola: STP completed || 1 tries, 11920 fired transitions, 3115 secs || 11871 markings, 14209 edges, 4 markings/sec, 3115 secs
lola: STP completed || 1 tries, 11939 fired transitions, 3120 secs || 11892 markings, 14230 edges, 4 markings/sec, 3120 secs
lola: STP completed || 1 tries, 11959 fired transitions, 3125 secs || 11913 markings, 14251 edges, 4 markings/sec, 3125 secs
lola: STP completed || 1 tries, 11978 fired transitions, 3130 secs || 11934 markings, 14283 edges, 4 markings/sec, 3130 secs
lola: STP completed || 1 tries, 11997 fired transitions, 3135 secs || 11955 markings, 14325 edges, 4 markings/sec, 3135 secs
lola: STP completed || 1 tries, 12016 fired transitions, 3140 secs || 11976 markings, 14363 edges, 4 markings/sec, 3140 secs
lola: STP completed || 1 tries, 12035 fired transitions, 3145 secs || 11997 markings, 14404 edges, 4 markings/sec, 3145 secs
lola: STP completed || 1 tries, 12054 fired transitions, 3150 secs || 12018 markings, 14446 edges, 4 markings/sec, 3150 secs
lola: STP completed || 1 tries, 12073 fired transitions, 3155 secs || 12039 markings, 14483 edges, 4 markings/sec, 3155 secs
lola: STP completed || 1 tries, 12092 fired transitions, 3160 secs || 12060 markings, 14504 edges, 4 markings/sec, 3160 secs
lola: STP completed || 1 tries, 12112 fired transitions, 3165 secs || 12080 markings, 14524 edges, 4 markings/sec, 3165 secs
lola: STP completed || 1 tries, 12132 fired transitions, 3170 secs || 12100 markings, 14544 edges, 4 markings/sec, 3170 secs
lola: STP completed || 1 tries, 12143 fired transitions, 3175 secs || 12111 markings, 14561 edges, 2 markings/sec, 3175 secs
lola: STP completed || 1 tries, 12152 fired transitions, 3180 secs || 12120 markings, 14570 edges, 2 markings/sec, 3180 secs
lola: STP completed || 1 tries, 12162 fired transitions, 3185 secs || 12130 markings, 14580 edges, 2 markings/sec, 3185 secs
lola: STP completed || 1 tries, 12172 fired transitions, 3190 secs || 12140 markings, 14592 edges, 2 markings/sec, 3190 secs
lola: STP completed || 1 tries, 12190 fired transitions, 3195 secs || 12158 markings, 14624 edges, 4 markings/sec, 3195 secs
lola: STP completed || 1 tries, 12211 fired transitions, 3200 secs || 12177 markings, 14658 edges, 4 markings/sec, 3200 secs
lola: STP completed || 1 tries, 12232 fired transitions, 3205 secs || 12196 markings, 14679 edges, 4 markings/sec, 3205 secs
lola: STP completed || 1 tries, 12253 fired transitions, 3210 secs || 12215 markings, 14710 edges, 4 markings/sec, 3210 secs
lola: STP completed || 1 tries, 12274 fired transitions, 3215 secs || 12235 markings, 14748 edges, 4 markings/sec, 3215 secs
lola: STP completed || 1 tries, 12295 fired transitions, 3220 secs || 12254 markings, 14782 edges, 4 markings/sec, 3220 secs
lola: STP completed || 1 tries, 12316 fired transitions, 3225 secs || 12273 markings, 14818 edges, 4 markings/sec, 3225 secs
lola: STP completed || 1 tries, 12337 fired transitions, 3230 secs || 12292 markings, 14844 edges, 4 markings/sec, 3230 secs
lola: STP completed || 1 tries, 12359 fired transitions, 3235 secs || 12311 markings, 14863 edges, 4 markings/sec, 3235 secs
lola: STP completed || 1 tries, 12380 fired transitions, 3240 secs || 12330 markings, 14882 edges, 4 markings/sec, 3240 secs
lola: STP completed || 1 tries, 12401 fired transitions, 3245 secs || 12349 markings, 14901 edges, 4 markings/sec, 3245 secs
lola: STP completed || 1 tries, 12422 fired transitions, 3250 secs || 12369 markings, 14935 edges, 4 markings/sec, 3250 secs
lola: STP completed || 1 tries, 12443 fired transitions, 3255 secs || 12388 markings, 14956 edges, 4 markings/sec, 3255 secs
lola: STP completed || 1 tries, 12462 fired transitions, 3260 secs || 12409 markings, 14977 edges, 4 markings/sec, 3260 secs
lola: time limit reached - aborting
lola: memory consumption: 971396 KB
lola: time consumption: 3567 seconds
BK_STOP 1527806500911
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb114-PT-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/RERS17pb114-PT-3.tgz
mv RERS17pb114-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 RERS17pb114-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-152749170000485"
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 ;