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

About the Execution of LoLA for RERS17pb114-PT-1

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1726.040 3569982.00 7237973.00 523.50 [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.8K May 30 21:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 30 21:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 29 16:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 29 16:02 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.4K May 28 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 28 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 28 08:18 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K May 28 08:18 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.1K May 28 06:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 28 06:49 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.1K May 27 04:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 27 04:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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-1, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-csrt-152749170000467

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

--------------------
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 1527801115606

info: Time: 3600 - MCC
===========================================================================================
prep: translating RERS17pb114-PT-1 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating RERS17pb114-PT-1 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ RERS17pb114-PT-1 @ 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: STP running || 1 tries, 17 fired transitions, 0 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 0 secs
lola: STP running || 1 tries, 33 fired transitions, 5 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 5 secs
lola: STP running || 1 tries, 54 fired transitions, 10 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 10 secs
lola: STP running || 1 tries, 74 fired transitions, 15 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 15 secs
lola: STP: formula with 1980013 variables and 9244159 clauses shipped to Minisat
lola: STP running || 1 tries, 95 fired transitions, 20 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 20 secs
lola: STP running || 1 tries, 107 fired transitions, 25 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 25 secs
lola: STP running || 1 tries, 129 fired transitions, 30 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 30 secs
lola: STP running || 1 tries, 151 fired transitions, 35 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 35 secs
lola: STP running || 1 tries, 168 fired transitions, 40 secs
lola: 17 generators; 577 candidates remain ( 2%), 40 secs
lola: STP running || 1 tries, 186 fired transitions, 45 secs
lola: 138 generators; 78 candidates remain (63%), 45 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, 207 fired transitions, 50 secs || 3 markings, 2 edges, 1 markings/sec, 50 secs
lola: STP running || 1 tries, 229 fired transitions, 55 secs || 15 markings, 19 edges, 2 markings/sec, 55 secs
lola: STP running || 1 tries, 252 fired transitions, 60 secs || 26 markings, 34 edges, 2 markings/sec, 60 secs
lola: STP running || 1 tries, 274 fired transitions, 65 secs || 41 markings, 51 edges, 3 markings/sec, 65 secs
lola: STP running || 1 tries, 296 fired transitions, 70 secs || 60 markings, 74 edges, 4 markings/sec, 70 secs
lola: STP running || 1 tries, 312 fired transitions, 75 secs || 77 markings, 101 edges, 3 markings/sec, 75 secs
lola: STP running || 1 tries, 324 fired transitions, 80 secs || 99 markings, 130 edges, 4 markings/sec, 80 secs
lola: STP running || 1 tries, 344 fired transitions, 85 secs || 112 markings, 143 edges, 3 markings/sec, 85 secs
lola: STP running || 1 tries, 355 fired transitions, 90 secs || 134 markings, 176 edges, 4 markings/sec, 90 secs
lola: STP running || 1 tries, 377 fired transitions, 95 secs || 146 markings, 191 edges, 2 markings/sec, 95 secs
lola: STP running || 1 tries, 399 fired transitions, 100 secs || 156 markings, 202 edges, 2 markings/sec, 100 secs
lola: STP running || 1 tries, 422 fired transitions, 105 secs || 177 markings, 233 edges, 4 markings/sec, 105 secs
lola: STP running || 1 tries, 444 fired transitions, 110 secs || 193 markings, 255 edges, 3 markings/sec, 110 secs
lola: STP running || 1 tries, 466 fired transitions, 115 secs || 209 markings, 271 edges, 3 markings/sec, 115 secs
lola: STP running || 1 tries, 487 fired transitions, 120 secs || 230 markings, 308 edges, 4 markings/sec, 120 secs
lola: STP running || 1 tries, 508 fired transitions, 125 secs || 252 markings, 348 edges, 4 markings/sec, 125 secs
lola: STP running || 1 tries, 531 fired transitions, 130 secs || 274 markings, 392 edges, 4 markings/sec, 130 secs
lola: STP running || 1 tries, 554 fired transitions, 135 secs || 296 markings, 423 edges, 4 markings/sec, 135 secs
lola: STP running || 1 tries, 577 fired transitions, 140 secs || 320 markings, 470 edges, 5 markings/sec, 140 secs
lola: STP running || 1 tries, 599 fired transitions, 145 secs || 342 markings, 510 edges, 4 markings/sec, 145 secs
lola: STP running || 1 tries, 618 fired transitions, 150 secs || 364 markings, 554 edges, 4 markings/sec, 150 secs
lola: STP running || 1 tries, 642 fired transitions, 155 secs || 388 markings, 597 edges, 5 markings/sec, 155 secs
lola: STP running || 1 tries, 665 fired transitions, 160 secs || 411 markings, 643 edges, 5 markings/sec, 160 secs
lola: STP running || 1 tries, 684 fired transitions, 165 secs || 434 markings, 674 edges, 5 markings/sec, 165 secs
lola: STP running || 1 tries, 699 fired transitions, 170 secs || 456 markings, 696 edges, 4 markings/sec, 170 secs
lola: STP running || 1 tries, 721 fired transitions, 175 secs || 480 markings, 720 edges, 5 markings/sec, 175 secs
lola: STP running || 1 tries, 744 fired transitions, 180 secs || 503 markings, 743 edges, 5 markings/sec, 180 secs
lola: STP running || 1 tries, 767 fired transitions, 185 secs || 526 markings, 766 edges, 5 markings/sec, 185 secs
lola: STP running || 1 tries, 781 fired transitions, 190 secs || 549 markings, 789 edges, 5 markings/sec, 190 secs
lola: STP running || 1 tries, 796 fired transitions, 195 secs || 571 markings, 811 edges, 4 markings/sec, 195 secs
lola: STP running || 1 tries, 818 fired transitions, 200 secs || 592 markings, 832 edges, 4 markings/sec, 200 secs
lola: STP running || 1 tries, 841 fired transitions, 205 secs || 615 markings, 855 edges, 5 markings/sec, 205 secs
lola: STP running || 1 tries, 863 fired transitions, 210 secs || 638 markings, 878 edges, 5 markings/sec, 210 secs
lola: STP running || 1 tries, 884 fired transitions, 215 secs || 661 markings, 902 edges, 5 markings/sec, 215 secs
lola: STP running || 1 tries, 904 fired transitions, 220 secs || 683 markings, 937 edges, 4 markings/sec, 220 secs
lola: STP running || 1 tries, 918 fired transitions, 225 secs || 706 markings, 961 edges, 5 markings/sec, 225 secs
lola: STP running || 1 tries, 929 fired transitions, 230 secs || 729 markings, 985 edges, 5 markings/sec, 230 secs
lola: STP running || 1 tries, 941 fired transitions, 235 secs || 750 markings, 1016 edges, 4 markings/sec, 235 secs
lola: STP running || 1 tries, 952 fired transitions, 240 secs || 772 markings, 1038 edges, 4 markings/sec, 240 secs
lola: STP running || 1 tries, 963 fired transitions, 245 secs || 794 markings, 1060 edges, 4 markings/sec, 245 secs
lola: STP running || 1 tries, 974 fired transitions, 250 secs || 816 markings, 1082 edges, 4 markings/sec, 250 secs
lola: STP running || 1 tries, 986 fired transitions, 255 secs || 838 markings, 1104 edges, 4 markings/sec, 255 secs
lola: STP running || 1 tries, 997 fired transitions, 260 secs || 860 markings, 1126 edges, 4 markings/sec, 260 secs
lola: STP running || 1 tries, 1008 fired transitions, 265 secs || 882 markings, 1148 edges, 4 markings/sec, 265 secs
lola: STP running || 1 tries, 1019 fired transitions, 270 secs || 904 markings, 1170 edges, 4 markings/sec, 270 secs
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 1041 fired transitions, 275 secs || 921 markings, 1187 edges, 3 markings/sec, 275 secs
lola: STP completed || 1 tries, 1064 fired transitions, 280 secs || 943 markings, 1209 edges, 4 markings/sec, 280 secs
lola: STP completed || 1 tries, 1085 fired transitions, 285 secs || 964 markings, 1230 edges, 4 markings/sec, 285 secs
lola: STP completed || 1 tries, 1107 fired transitions, 290 secs || 985 markings, 1256 edges, 4 markings/sec, 290 secs
lola: STP completed || 1 tries, 1129 fired transitions, 295 secs || 1006 markings, 1279 edges, 4 markings/sec, 295 secs
lola: STP completed || 1 tries, 1152 fired transitions, 300 secs || 1028 markings, 1301 edges, 4 markings/sec, 300 secs
lola: STP completed || 1 tries, 1175 fired transitions, 305 secs || 1049 markings, 1322 edges, 4 markings/sec, 305 secs
lola: STP completed || 1 tries, 1197 fired transitions, 310 secs || 1071 markings, 1347 edges, 4 markings/sec, 310 secs
lola: STP completed || 1 tries, 1219 fired transitions, 315 secs || 1092 markings, 1375 edges, 4 markings/sec, 315 secs
lola: STP completed || 1 tries, 1242 fired transitions, 320 secs || 1114 markings, 1397 edges, 4 markings/sec, 320 secs
lola: STP completed || 1 tries, 1265 fired transitions, 325 secs || 1137 markings, 1420 edges, 5 markings/sec, 325 secs
lola: STP completed || 1 tries, 1288 fired transitions, 330 secs || 1160 markings, 1443 edges, 5 markings/sec, 330 secs
lola: STP completed || 1 tries, 1311 fired transitions, 335 secs || 1183 markings, 1466 edges, 5 markings/sec, 335 secs
lola: STP completed || 1 tries, 1334 fired transitions, 340 secs || 1206 markings, 1489 edges, 5 markings/sec, 340 secs
lola: STP completed || 1 tries, 1357 fired transitions, 345 secs || 1229 markings, 1512 edges, 5 markings/sec, 345 secs
lola: STP completed || 1 tries, 1379 fired transitions, 350 secs || 1250 markings, 1547 edges, 4 markings/sec, 350 secs
lola: STP completed || 1 tries, 1402 fired transitions, 355 secs || 1273 markings, 1582 edges, 5 markings/sec, 355 secs
lola: STP completed || 1 tries, 1424 fired transitions, 360 secs || 1295 markings, 1604 edges, 4 markings/sec, 360 secs
lola: STP completed || 1 tries, 1447 fired transitions, 365 secs || 1318 markings, 1627 edges, 5 markings/sec, 365 secs
lola: STP completed || 1 tries, 1470 fired transitions, 370 secs || 1341 markings, 1650 edges, 5 markings/sec, 370 secs
lola: STP completed || 1 tries, 1492 fired transitions, 375 secs || 1363 markings, 1673 edges, 4 markings/sec, 375 secs
lola: STP completed || 1 tries, 1515 fired transitions, 380 secs || 1386 markings, 1696 edges, 5 markings/sec, 380 secs
lola: STP completed || 1 tries, 1538 fired transitions, 385 secs || 1409 markings, 1719 edges, 5 markings/sec, 385 secs
lola: STP completed || 1 tries, 1562 fired transitions, 390 secs || 1433 markings, 1743 edges, 5 markings/sec, 390 secs
lola: STP completed || 1 tries, 1585 fired transitions, 395 secs || 1456 markings, 1766 edges, 5 markings/sec, 395 secs
lola: STP completed || 1 tries, 1608 fired transitions, 400 secs || 1479 markings, 1794 edges, 5 markings/sec, 400 secs
lola: STP completed || 1 tries, 1632 fired transitions, 405 secs || 1503 markings, 1833 edges, 5 markings/sec, 405 secs
lola: STP completed || 1 tries, 1654 fired transitions, 410 secs || 1524 markings, 1872 edges, 4 markings/sec, 410 secs
lola: STP completed || 1 tries, 1675 fired transitions, 415 secs || 1544 markings, 1898 edges, 4 markings/sec, 415 secs
lola: STP completed || 1 tries, 1698 fired transitions, 420 secs || 1566 markings, 1920 edges, 4 markings/sec, 420 secs
lola: STP completed || 1 tries, 1720 fired transitions, 425 secs || 1588 markings, 1948 edges, 4 markings/sec, 425 secs
lola: STP completed || 1 tries, 1743 fired transitions, 430 secs || 1611 markings, 1980 edges, 5 markings/sec, 430 secs
lola: STP completed || 1 tries, 1767 fired transitions, 435 secs || 1635 markings, 2004 edges, 5 markings/sec, 435 secs
lola: STP completed || 1 tries, 1790 fired transitions, 440 secs || 1658 markings, 2027 edges, 5 markings/sec, 440 secs
lola: STP completed || 1 tries, 1813 fired transitions, 445 secs || 1681 markings, 2050 edges, 5 markings/sec, 445 secs
lola: STP completed || 1 tries, 1836 fired transitions, 450 secs || 1704 markings, 2078 edges, 5 markings/sec, 450 secs
lola: STP completed || 1 tries, 1859 fired transitions, 455 secs || 1727 markings, 2101 edges, 5 markings/sec, 455 secs
lola: STP completed || 1 tries, 1883 fired transitions, 460 secs || 1751 markings, 2125 edges, 5 markings/sec, 460 secs
lola: STP completed || 1 tries, 1906 fired transitions, 465 secs || 1774 markings, 2148 edges, 5 markings/sec, 465 secs
lola: STP completed || 1 tries, 1930 fired transitions, 470 secs || 1798 markings, 2172 edges, 5 markings/sec, 470 secs
lola: STP completed || 1 tries, 1954 fired transitions, 475 secs || 1822 markings, 2199 edges, 5 markings/sec, 475 secs
lola: STP completed || 1 tries, 1977 fired transitions, 480 secs || 1845 markings, 2244 edges, 5 markings/sec, 480 secs
lola: STP completed || 1 tries, 2001 fired transitions, 485 secs || 1869 markings, 2277 edges, 5 markings/sec, 485 secs
lola: STP completed || 1 tries, 2024 fired transitions, 490 secs || 1892 markings, 2300 edges, 5 markings/sec, 490 secs
lola: STP completed || 1 tries, 2048 fired transitions, 495 secs || 1916 markings, 2324 edges, 5 markings/sec, 495 secs
lola: STP completed || 1 tries, 2072 fired transitions, 500 secs || 1940 markings, 2348 edges, 5 markings/sec, 500 secs
lola: STP completed || 1 tries, 2095 fired transitions, 505 secs || 1963 markings, 2371 edges, 5 markings/sec, 505 secs
lola: STP completed || 1 tries, 2119 fired transitions, 510 secs || 1987 markings, 2395 edges, 5 markings/sec, 510 secs
lola: STP completed || 1 tries, 2143 fired transitions, 515 secs || 2011 markings, 2419 edges, 5 markings/sec, 515 secs
lola: STP completed || 1 tries, 2167 fired transitions, 520 secs || 2035 markings, 2443 edges, 5 markings/sec, 520 secs
lola: STP completed || 1 tries, 2190 fired transitions, 525 secs || 2058 markings, 2467 edges, 5 markings/sec, 525 secs
lola: STP completed || 1 tries, 2214 fired transitions, 530 secs || 2082 markings, 2491 edges, 5 markings/sec, 530 secs
lola: STP completed || 1 tries, 2236 fired transitions, 535 secs || 2104 markings, 2513 edges, 4 markings/sec, 535 secs
lola: STP completed || 1 tries, 2259 fired transitions, 540 secs || 2127 markings, 2536 edges, 5 markings/sec, 540 secs
lola: STP completed || 1 tries, 2280 fired transitions, 545 secs || 2148 markings, 2557 edges, 4 markings/sec, 545 secs
lola: STP completed || 1 tries, 2302 fired transitions, 550 secs || 2169 markings, 2578 edges, 4 markings/sec, 550 secs
lola: STP completed || 1 tries, 2325 fired transitions, 555 secs || 2192 markings, 2601 edges, 5 markings/sec, 555 secs
lola: STP completed || 1 tries, 2349 fired transitions, 560 secs || 2216 markings, 2625 edges, 5 markings/sec, 560 secs
lola: STP completed || 1 tries, 2372 fired transitions, 565 secs || 2239 markings, 2648 edges, 5 markings/sec, 565 secs
lola: STP completed || 1 tries, 2395 fired transitions, 570 secs || 2262 markings, 2671 edges, 5 markings/sec, 570 secs
lola: STP completed || 1 tries, 2418 fired transitions, 575 secs || 2285 markings, 2694 edges, 5 markings/sec, 575 secs
lola: STP completed || 1 tries, 2440 fired transitions, 580 secs || 2307 markings, 2716 edges, 4 markings/sec, 580 secs
lola: STP completed || 1 tries, 2463 fired transitions, 585 secs || 2330 markings, 2739 edges, 5 markings/sec, 585 secs
lola: STP completed || 1 tries, 2487 fired transitions, 590 secs || 2354 markings, 2769 edges, 5 markings/sec, 590 secs
lola: STP completed || 1 tries, 2510 fired transitions, 595 secs || 2377 markings, 2792 edges, 5 markings/sec, 595 secs
lola: STP completed || 1 tries, 2534 fired transitions, 600 secs || 2401 markings, 2816 edges, 5 markings/sec, 600 secs
lola: STP completed || 1 tries, 2558 fired transitions, 605 secs || 2425 markings, 2840 edges, 5 markings/sec, 605 secs
lola: STP completed || 1 tries, 2581 fired transitions, 610 secs || 2448 markings, 2863 edges, 5 markings/sec, 610 secs
lola: STP completed || 1 tries, 2605 fired transitions, 615 secs || 2471 markings, 2886 edges, 5 markings/sec, 615 secs
lola: STP completed || 1 tries, 2628 fired transitions, 620 secs || 2494 markings, 2909 edges, 5 markings/sec, 620 secs
lola: STP completed || 1 tries, 2651 fired transitions, 625 secs || 2517 markings, 2932 edges, 5 markings/sec, 625 secs
lola: STP completed || 1 tries, 2674 fired transitions, 630 secs || 2540 markings, 2955 edges, 5 markings/sec, 630 secs
lola: STP completed || 1 tries, 2696 fired transitions, 635 secs || 2561 markings, 2977 edges, 4 markings/sec, 635 secs
lola: STP completed || 1 tries, 2719 fired transitions, 640 secs || 2584 markings, 3000 edges, 5 markings/sec, 640 secs
lola: STP completed || 1 tries, 2741 fired transitions, 645 secs || 2605 markings, 3021 edges, 4 markings/sec, 645 secs
lola: STP completed || 1 tries, 2763 fired transitions, 650 secs || 2626 markings, 3042 edges, 4 markings/sec, 650 secs
lola: STP completed || 1 tries, 2785 fired transitions, 655 secs || 2649 markings, 3065 edges, 5 markings/sec, 655 secs
lola: STP completed || 1 tries, 2807 fired transitions, 660 secs || 2671 markings, 3087 edges, 4 markings/sec, 660 secs
lola: STP completed || 1 tries, 2830 fired transitions, 665 secs || 2693 markings, 3118 edges, 4 markings/sec, 665 secs
lola: STP completed || 1 tries, 2851 fired transitions, 670 secs || 2714 markings, 3142 edges, 4 markings/sec, 670 secs
lola: STP completed || 1 tries, 2873 fired transitions, 675 secs || 2735 markings, 3163 edges, 4 markings/sec, 675 secs
lola: STP completed || 1 tries, 2895 fired transitions, 680 secs || 2756 markings, 3184 edges, 4 markings/sec, 680 secs
lola: STP completed || 1 tries, 2916 fired transitions, 685 secs || 2777 markings, 3215 edges, 4 markings/sec, 685 secs
lola: STP completed || 1 tries, 2938 fired transitions, 690 secs || 2799 markings, 3259 edges, 4 markings/sec, 690 secs
lola: STP completed || 1 tries, 2960 fired transitions, 695 secs || 2820 markings, 3283 edges, 4 markings/sec, 695 secs
lola: STP completed || 1 tries, 2981 fired transitions, 700 secs || 2841 markings, 3304 edges, 4 markings/sec, 700 secs
lola: STP completed || 1 tries, 3003 fired transitions, 705 secs || 2862 markings, 3328 edges, 4 markings/sec, 705 secs
lola: STP completed || 1 tries, 3025 fired transitions, 710 secs || 2884 markings, 3350 edges, 4 markings/sec, 710 secs
lola: STP completed || 1 tries, 3047 fired transitions, 715 secs || 2906 markings, 3372 edges, 4 markings/sec, 715 secs
lola: STP completed || 1 tries, 3068 fired transitions, 720 secs || 2927 markings, 3393 edges, 4 markings/sec, 720 secs
lola: STP completed || 1 tries, 3089 fired transitions, 725 secs || 2948 markings, 3414 edges, 4 markings/sec, 725 secs
lola: STP completed || 1 tries, 3110 fired transitions, 730 secs || 2969 markings, 3435 edges, 4 markings/sec, 730 secs
lola: STP completed || 1 tries, 3132 fired transitions, 735 secs || 2991 markings, 3457 edges, 4 markings/sec, 735 secs
lola: STP completed || 1 tries, 3154 fired transitions, 740 secs || 3013 markings, 3479 edges, 4 markings/sec, 740 secs
lola: STP completed || 1 tries, 3176 fired transitions, 745 secs || 3034 markings, 3500 edges, 4 markings/sec, 745 secs
lola: STP completed || 1 tries, 3197 fired transitions, 750 secs || 3054 markings, 3520 edges, 4 markings/sec, 750 secs
lola: STP completed || 1 tries, 3219 fired transitions, 755 secs || 3076 markings, 3542 edges, 4 markings/sec, 755 secs
lola: STP completed || 1 tries, 3241 fired transitions, 760 secs || 3098 markings, 3564 edges, 4 markings/sec, 760 secs
lola: STP completed || 1 tries, 3263 fired transitions, 765 secs || 3119 markings, 3585 edges, 4 markings/sec, 765 secs
lola: STP completed || 1 tries, 3284 fired transitions, 770 secs || 3140 markings, 3606 edges, 4 markings/sec, 770 secs
lola: STP completed || 1 tries, 3305 fired transitions, 775 secs || 3160 markings, 3626 edges, 4 markings/sec, 775 secs
lola: STP completed || 1 tries, 3327 fired transitions, 780 secs || 3182 markings, 3648 edges, 4 markings/sec, 780 secs
lola: STP completed || 1 tries, 3348 fired transitions, 785 secs || 3202 markings, 3668 edges, 4 markings/sec, 785 secs
lola: STP completed || 1 tries, 3369 fired transitions, 790 secs || 3223 markings, 3689 edges, 4 markings/sec, 790 secs
lola: STP completed || 1 tries, 3391 fired transitions, 795 secs || 3245 markings, 3711 edges, 4 markings/sec, 795 secs
lola: STP completed || 1 tries, 3413 fired transitions, 800 secs || 3267 markings, 3744 edges, 4 markings/sec, 800 secs
lola: STP completed || 1 tries, 3435 fired transitions, 805 secs || 3289 markings, 3775 edges, 4 markings/sec, 805 secs
lola: STP completed || 1 tries, 3457 fired transitions, 810 secs || 3310 markings, 3803 edges, 4 markings/sec, 810 secs
lola: STP completed || 1 tries, 3478 fired transitions, 815 secs || 3332 markings, 3847 edges, 4 markings/sec, 815 secs
lola: STP completed || 1 tries, 3499 fired transitions, 820 secs || 3353 markings, 3889 edges, 4 markings/sec, 820 secs
lola: STP completed || 1 tries, 3521 fired transitions, 825 secs || 3374 markings, 3928 edges, 4 markings/sec, 825 secs
lola: STP completed || 1 tries, 3543 fired transitions, 830 secs || 3396 markings, 3959 edges, 4 markings/sec, 830 secs
lola: STP completed || 1 tries, 3564 fired transitions, 835 secs || 3417 markings, 3980 edges, 4 markings/sec, 835 secs
lola: STP completed || 1 tries, 3586 fired transitions, 840 secs || 3438 markings, 4001 edges, 4 markings/sec, 840 secs
lola: STP completed || 1 tries, 3608 fired transitions, 845 secs || 3459 markings, 4022 edges, 4 markings/sec, 845 secs
lola: STP completed || 1 tries, 3629 fired transitions, 850 secs || 3480 markings, 4043 edges, 4 markings/sec, 850 secs
lola: STP completed || 1 tries, 3651 fired transitions, 855 secs || 3502 markings, 4065 edges, 4 markings/sec, 855 secs
lola: STP completed || 1 tries, 3673 fired transitions, 860 secs || 3523 markings, 4087 edges, 4 markings/sec, 860 secs
lola: STP completed || 1 tries, 3695 fired transitions, 865 secs || 3544 markings, 4108 edges, 4 markings/sec, 865 secs
lola: STP completed || 1 tries, 3717 fired transitions, 870 secs || 3566 markings, 4130 edges, 4 markings/sec, 870 secs
lola: STP completed || 1 tries, 3738 fired transitions, 875 secs || 3587 markings, 4151 edges, 4 markings/sec, 875 secs
lola: STP completed || 1 tries, 3760 fired transitions, 880 secs || 3609 markings, 4173 edges, 4 markings/sec, 880 secs
lola: STP completed || 1 tries, 3781 fired transitions, 885 secs || 3629 markings, 4193 edges, 4 markings/sec, 885 secs
lola: STP completed || 1 tries, 3804 fired transitions, 890 secs || 3651 markings, 4215 edges, 4 markings/sec, 890 secs
lola: STP completed || 1 tries, 3825 fired transitions, 895 secs || 3672 markings, 4236 edges, 4 markings/sec, 895 secs
lola: STP completed || 1 tries, 3846 fired transitions, 900 secs || 3693 markings, 4259 edges, 4 markings/sec, 900 secs
lola: STP completed || 1 tries, 3867 fired transitions, 905 secs || 3714 markings, 4280 edges, 4 markings/sec, 905 secs
lola: STP completed || 1 tries, 3889 fired transitions, 910 secs || 3736 markings, 4302 edges, 4 markings/sec, 910 secs
lola: STP completed || 1 tries, 3911 fired transitions, 915 secs || 3757 markings, 4323 edges, 4 markings/sec, 915 secs
lola: STP completed || 1 tries, 3932 fired transitions, 920 secs || 3779 markings, 4345 edges, 4 markings/sec, 920 secs
lola: STP completed || 1 tries, 3954 fired transitions, 925 secs || 3801 markings, 4368 edges, 4 markings/sec, 925 secs
lola: STP completed || 1 tries, 3975 fired transitions, 930 secs || 3821 markings, 4388 edges, 4 markings/sec, 930 secs
lola: STP completed || 1 tries, 3996 fired transitions, 935 secs || 3842 markings, 4409 edges, 4 markings/sec, 935 secs
lola: STP completed || 1 tries, 4017 fired transitions, 940 secs || 3864 markings, 4431 edges, 4 markings/sec, 940 secs
lola: STP completed || 1 tries, 4039 fired transitions, 945 secs || 3886 markings, 4461 edges, 4 markings/sec, 945 secs
lola: STP completed || 1 tries, 4061 fired transitions, 950 secs || 3908 markings, 4489 edges, 4 markings/sec, 950 secs
lola: STP completed || 1 tries, 4083 fired transitions, 955 secs || 3930 markings, 4521 edges, 4 markings/sec, 955 secs
lola: STP completed || 1 tries, 4105 fired transitions, 960 secs || 3952 markings, 4555 edges, 4 markings/sec, 960 secs
lola: STP completed || 1 tries, 4127 fired transitions, 965 secs || 3974 markings, 4597 edges, 4 markings/sec, 965 secs
lola: STP completed || 1 tries, 4148 fired transitions, 970 secs || 3995 markings, 4638 edges, 4 markings/sec, 970 secs
lola: STP completed || 1 tries, 4170 fired transitions, 975 secs || 4016 markings, 4672 edges, 4 markings/sec, 975 secs
lola: STP completed || 1 tries, 4191 fired transitions, 980 secs || 4037 markings, 4713 edges, 4 markings/sec, 980 secs
lola: STP completed || 1 tries, 4213 fired transitions, 985 secs || 4058 markings, 4743 edges, 4 markings/sec, 985 secs
lola: STP completed || 1 tries, 4235 fired transitions, 990 secs || 4080 markings, 4765 edges, 4 markings/sec, 990 secs
lola: STP completed || 1 tries, 4257 fired transitions, 995 secs || 4102 markings, 4787 edges, 4 markings/sec, 995 secs
lola: STP completed || 1 tries, 4279 fired transitions, 1000 secs || 4123 markings, 4808 edges, 4 markings/sec, 1000 secs
lola: STP completed || 1 tries, 4301 fired transitions, 1005 secs || 4145 markings, 4830 edges, 4 markings/sec, 1005 secs
lola: STP completed || 1 tries, 4323 fired transitions, 1010 secs || 4167 markings, 4853 edges, 4 markings/sec, 1010 secs
lola: STP completed || 1 tries, 4346 fired transitions, 1015 secs || 4189 markings, 4875 edges, 4 markings/sec, 1015 secs
lola: STP completed || 1 tries, 4368 fired transitions, 1020 secs || 4212 markings, 4898 edges, 5 markings/sec, 1020 secs
lola: STP completed || 1 tries, 4390 fired transitions, 1025 secs || 4234 markings, 4920 edges, 4 markings/sec, 1025 secs
lola: STP completed || 1 tries, 4412 fired transitions, 1030 secs || 4256 markings, 4942 edges, 4 markings/sec, 1030 secs
lola: STP completed || 1 tries, 4434 fired transitions, 1035 secs || 4277 markings, 4963 edges, 4 markings/sec, 1035 secs
lola: STP completed || 1 tries, 4456 fired transitions, 1040 secs || 4299 markings, 4985 edges, 4 markings/sec, 1040 secs
lola: STP completed || 1 tries, 4478 fired transitions, 1045 secs || 4322 markings, 5008 edges, 5 markings/sec, 1045 secs
lola: STP completed || 1 tries, 4501 fired transitions, 1050 secs || 4343 markings, 5029 edges, 4 markings/sec, 1050 secs
lola: STP completed || 1 tries, 4523 fired transitions, 1055 secs || 4366 markings, 5052 edges, 5 markings/sec, 1055 secs
lola: STP completed || 1 tries, 4544 fired transitions, 1060 secs || 4387 markings, 5073 edges, 4 markings/sec, 1060 secs
lola: STP completed || 1 tries, 4566 fired transitions, 1065 secs || 4408 markings, 5094 edges, 4 markings/sec, 1065 secs
lola: STP completed || 1 tries, 4588 fired transitions, 1070 secs || 4430 markings, 5116 edges, 4 markings/sec, 1070 secs
lola: STP completed || 1 tries, 4610 fired transitions, 1075 secs || 4451 markings, 5137 edges, 4 markings/sec, 1075 secs
lola: STP completed || 1 tries, 4631 fired transitions, 1080 secs || 4472 markings, 5158 edges, 4 markings/sec, 1080 secs
lola: STP completed || 1 tries, 4654 fired transitions, 1085 secs || 4494 markings, 5180 edges, 4 markings/sec, 1085 secs
lola: STP completed || 1 tries, 4676 fired transitions, 1090 secs || 4516 markings, 5202 edges, 4 markings/sec, 1090 secs
lola: STP completed || 1 tries, 4698 fired transitions, 1095 secs || 4537 markings, 5223 edges, 4 markings/sec, 1095 secs
lola: STP completed || 1 tries, 4721 fired transitions, 1100 secs || 4559 markings, 5245 edges, 4 markings/sec, 1100 secs
lola: STP completed || 1 tries, 4743 fired transitions, 1105 secs || 4580 markings, 5266 edges, 4 markings/sec, 1105 secs
lola: STP completed || 1 tries, 4765 fired transitions, 1110 secs || 4603 markings, 5289 edges, 5 markings/sec, 1110 secs
lola: STP completed || 1 tries, 4787 fired transitions, 1115 secs || 4625 markings, 5311 edges, 4 markings/sec, 1115 secs
lola: STP completed || 1 tries, 4810 fired transitions, 1120 secs || 4648 markings, 5334 edges, 5 markings/sec, 1120 secs
lola: STP completed || 1 tries, 4833 fired transitions, 1125 secs || 4671 markings, 5357 edges, 5 markings/sec, 1125 secs
lola: STP completed || 1 tries, 4855 fired transitions, 1130 secs || 4693 markings, 5380 edges, 4 markings/sec, 1130 secs
lola: STP completed || 1 tries, 4877 fired transitions, 1135 secs || 4715 markings, 5402 edges, 4 markings/sec, 1135 secs
lola: STP completed || 1 tries, 4899 fired transitions, 1140 secs || 4736 markings, 5429 edges, 4 markings/sec, 1140 secs
lola: STP completed || 1 tries, 4921 fired transitions, 1145 secs || 4758 markings, 5462 edges, 4 markings/sec, 1145 secs
lola: STP completed || 1 tries, 4940 fired transitions, 1150 secs || 4780 markings, 5484 edges, 4 markings/sec, 1150 secs
lola: STP completed || 1 tries, 4962 fired transitions, 1155 secs || 4802 markings, 5506 edges, 4 markings/sec, 1155 secs
lola: STP completed || 1 tries, 4984 fired transitions, 1160 secs || 4824 markings, 5528 edges, 4 markings/sec, 1160 secs
lola: STP completed || 1 tries, 5006 fired transitions, 1165 secs || 4847 markings, 5551 edges, 5 markings/sec, 1165 secs
lola: STP completed || 1 tries, 5029 fired transitions, 1170 secs || 4869 markings, 5573 edges, 4 markings/sec, 1170 secs
lola: STP completed || 1 tries, 5051 fired transitions, 1175 secs || 4890 markings, 5597 edges, 4 markings/sec, 1175 secs
lola: STP completed || 1 tries, 5073 fired transitions, 1180 secs || 4912 markings, 5628 edges, 4 markings/sec, 1180 secs
lola: STP completed || 1 tries, 5095 fired transitions, 1185 secs || 4934 markings, 5663 edges, 4 markings/sec, 1185 secs
lola: STP completed || 1 tries, 5117 fired transitions, 1190 secs || 4955 markings, 5704 edges, 4 markings/sec, 1190 secs
lola: STP completed || 1 tries, 5138 fired transitions, 1195 secs || 4975 markings, 5744 edges, 4 markings/sec, 1195 secs
lola: STP completed || 1 tries, 5160 fired transitions, 1200 secs || 4996 markings, 5765 edges, 4 markings/sec, 1200 secs
lola: STP completed || 1 tries, 5182 fired transitions, 1205 secs || 5018 markings, 5787 edges, 4 markings/sec, 1205 secs
lola: STP completed || 1 tries, 5204 fired transitions, 1210 secs || 5040 markings, 5823 edges, 4 markings/sec, 1210 secs
lola: STP completed || 1 tries, 5226 fired transitions, 1215 secs || 5062 markings, 5857 edges, 4 markings/sec, 1215 secs
lola: STP completed || 1 tries, 5248 fired transitions, 1220 secs || 5083 markings, 5878 edges, 4 markings/sec, 1220 secs
lola: STP completed || 1 tries, 5269 fired transitions, 1225 secs || 5105 markings, 5900 edges, 4 markings/sec, 1225 secs
lola: STP completed || 1 tries, 5291 fired transitions, 1230 secs || 5126 markings, 5921 edges, 4 markings/sec, 1230 secs
lola: STP completed || 1 tries, 5313 fired transitions, 1235 secs || 5148 markings, 5943 edges, 4 markings/sec, 1235 secs
lola: STP completed || 1 tries, 5334 fired transitions, 1240 secs || 5168 markings, 5964 edges, 4 markings/sec, 1240 secs
lola: STP completed || 1 tries, 5356 fired transitions, 1245 secs || 5190 markings, 5986 edges, 4 markings/sec, 1245 secs
lola: STP completed || 1 tries, 5378 fired transitions, 1250 secs || 5211 markings, 6007 edges, 4 markings/sec, 1250 secs
lola: STP completed || 1 tries, 5400 fired transitions, 1255 secs || 5233 markings, 6029 edges, 4 markings/sec, 1255 secs
lola: STP completed || 1 tries, 5422 fired transitions, 1260 secs || 5254 markings, 6050 edges, 4 markings/sec, 1260 secs
lola: STP completed || 1 tries, 5445 fired transitions, 1265 secs || 5277 markings, 6081 edges, 5 markings/sec, 1265 secs
lola: STP completed || 1 tries, 5467 fired transitions, 1270 secs || 5298 markings, 6113 edges, 4 markings/sec, 1270 secs
lola: STP completed || 1 tries, 5489 fired transitions, 1275 secs || 5320 markings, 6135 edges, 4 markings/sec, 1275 secs
lola: STP completed || 1 tries, 5511 fired transitions, 1280 secs || 5341 markings, 6156 edges, 4 markings/sec, 1280 secs
lola: STP completed || 1 tries, 5532 fired transitions, 1285 secs || 5362 markings, 6177 edges, 4 markings/sec, 1285 secs
lola: STP completed || 1 tries, 5554 fired transitions, 1290 secs || 5384 markings, 6201 edges, 4 markings/sec, 1290 secs
lola: STP completed || 1 tries, 5575 fired transitions, 1295 secs || 5405 markings, 6222 edges, 4 markings/sec, 1295 secs
lola: STP completed || 1 tries, 5597 fired transitions, 1300 secs || 5426 markings, 6243 edges, 4 markings/sec, 1300 secs
lola: STP completed || 1 tries, 5620 fired transitions, 1305 secs || 5449 markings, 6266 edges, 5 markings/sec, 1305 secs
lola: STP completed || 1 tries, 5642 fired transitions, 1310 secs || 5470 markings, 6287 edges, 4 markings/sec, 1310 secs
lola: STP completed || 1 tries, 5663 fired transitions, 1315 secs || 5490 markings, 6307 edges, 4 markings/sec, 1315 secs
lola: STP completed || 1 tries, 5684 fired transitions, 1320 secs || 5509 markings, 6326 edges, 4 markings/sec, 1320 secs
lola: STP completed || 1 tries, 5706 fired transitions, 1325 secs || 5529 markings, 6346 edges, 4 markings/sec, 1325 secs
lola: STP completed || 1 tries, 5727 fired transitions, 1330 secs || 5549 markings, 6380 edges, 4 markings/sec, 1330 secs
lola: STP completed || 1 tries, 5750 fired transitions, 1335 secs || 5572 markings, 6403 edges, 5 markings/sec, 1335 secs
lola: STP completed || 1 tries, 5772 fired transitions, 1340 secs || 5594 markings, 6428 edges, 4 markings/sec, 1340 secs
lola: STP completed || 1 tries, 5794 fired transitions, 1345 secs || 5615 markings, 6469 edges, 4 markings/sec, 1345 secs
lola: STP completed || 1 tries, 5815 fired transitions, 1350 secs || 5637 markings, 6492 edges, 4 markings/sec, 1350 secs
lola: STP completed || 1 tries, 5837 fired transitions, 1355 secs || 5658 markings, 6513 edges, 4 markings/sec, 1355 secs
lola: STP completed || 1 tries, 5858 fired transitions, 1360 secs || 5679 markings, 6536 edges, 4 markings/sec, 1360 secs
lola: STP completed || 1 tries, 5879 fired transitions, 1365 secs || 5700 markings, 6573 edges, 4 markings/sec, 1365 secs
lola: STP completed || 1 tries, 5900 fired transitions, 1370 secs || 5721 markings, 6615 edges, 4 markings/sec, 1370 secs
lola: STP completed || 1 tries, 5921 fired transitions, 1375 secs || 5742 markings, 6656 edges, 4 markings/sec, 1375 secs
lola: STP completed || 1 tries, 5942 fired transitions, 1380 secs || 5764 markings, 6700 edges, 4 markings/sec, 1380 secs
lola: STP completed || 1 tries, 5964 fired transitions, 1385 secs || 5785 markings, 6742 edges, 4 markings/sec, 1385 secs
lola: STP completed || 1 tries, 5986 fired transitions, 1390 secs || 5807 markings, 6786 edges, 4 markings/sec, 1390 secs
lola: STP completed || 1 tries, 6007 fired transitions, 1395 secs || 5828 markings, 6807 edges, 4 markings/sec, 1395 secs
lola: STP completed || 1 tries, 6028 fired transitions, 1400 secs || 5848 markings, 6827 edges, 4 markings/sec, 1400 secs
lola: STP completed || 1 tries, 6050 fired transitions, 1405 secs || 5870 markings, 6849 edges, 4 markings/sec, 1405 secs
lola: STP completed || 1 tries, 6072 fired transitions, 1410 secs || 5892 markings, 6871 edges, 4 markings/sec, 1410 secs
lola: STP completed || 1 tries, 6094 fired transitions, 1415 secs || 5914 markings, 6893 edges, 4 markings/sec, 1415 secs
lola: STP completed || 1 tries, 6116 fired transitions, 1420 secs || 5936 markings, 6924 edges, 4 markings/sec, 1420 secs
lola: STP completed || 1 tries, 6138 fired transitions, 1425 secs || 5957 markings, 6948 edges, 4 markings/sec, 1425 secs
lola: STP completed || 1 tries, 6159 fired transitions, 1430 secs || 5978 markings, 6980 edges, 4 markings/sec, 1430 secs
lola: STP completed || 1 tries, 6180 fired transitions, 1435 secs || 6000 markings, 7020 edges, 4 markings/sec, 1435 secs
lola: STP completed || 1 tries, 6201 fired transitions, 1440 secs || 6019 markings, 7050 edges, 4 markings/sec, 1440 secs
lola: STP completed || 1 tries, 6222 fired transitions, 1445 secs || 6039 markings, 7070 edges, 4 markings/sec, 1445 secs
lola: STP completed || 1 tries, 6243 fired transitions, 1450 secs || 6058 markings, 7092 edges, 4 markings/sec, 1450 secs
lola: STP completed || 1 tries, 6264 fired transitions, 1455 secs || 6078 markings, 7128 edges, 4 markings/sec, 1455 secs
lola: STP completed || 1 tries, 6286 fired transitions, 1460 secs || 6098 markings, 7148 edges, 4 markings/sec, 1460 secs
lola: STP completed || 1 tries, 6307 fired transitions, 1465 secs || 6119 markings, 7169 edges, 4 markings/sec, 1465 secs
lola: STP completed || 1 tries, 6329 fired transitions, 1470 secs || 6141 markings, 7191 edges, 4 markings/sec, 1470 secs
lola: STP completed || 1 tries, 6351 fired transitions, 1475 secs || 6163 markings, 7213 edges, 4 markings/sec, 1475 secs
lola: STP completed || 1 tries, 6373 fired transitions, 1480 secs || 6185 markings, 7235 edges, 4 markings/sec, 1480 secs
lola: STP completed || 1 tries, 6395 fired transitions, 1485 secs || 6207 markings, 7257 edges, 4 markings/sec, 1485 secs
lola: STP completed || 1 tries, 6419 fired transitions, 1490 secs || 6231 markings, 7287 edges, 5 markings/sec, 1490 secs
lola: STP completed || 1 tries, 6442 fired transitions, 1495 secs || 6254 markings, 7317 edges, 5 markings/sec, 1495 secs
lola: STP completed || 1 tries, 6465 fired transitions, 1500 secs || 6277 markings, 7340 edges, 5 markings/sec, 1500 secs
lola: STP completed || 1 tries, 6487 fired transitions, 1505 secs || 6299 markings, 7362 edges, 4 markings/sec, 1505 secs
lola: STP completed || 1 tries, 6509 fired transitions, 1510 secs || 6321 markings, 7385 edges, 4 markings/sec, 1510 secs
lola: STP completed || 1 tries, 6532 fired transitions, 1515 secs || 6343 markings, 7407 edges, 4 markings/sec, 1515 secs
lola: STP completed || 1 tries, 6553 fired transitions, 1520 secs || 6363 markings, 7427 edges, 4 markings/sec, 1520 secs
lola: STP completed || 1 tries, 6575 fired transitions, 1525 secs || 6384 markings, 7448 edges, 4 markings/sec, 1525 secs
lola: STP completed || 1 tries, 6598 fired transitions, 1530 secs || 6407 markings, 7471 edges, 5 markings/sec, 1530 secs
lola: STP completed || 1 tries, 6621 fired transitions, 1535 secs || 6430 markings, 7494 edges, 5 markings/sec, 1535 secs
lola: STP completed || 1 tries, 6644 fired transitions, 1540 secs || 6453 markings, 7517 edges, 5 markings/sec, 1540 secs
lola: STP completed || 1 tries, 6667 fired transitions, 1545 secs || 6476 markings, 7540 edges, 5 markings/sec, 1545 secs
lola: STP completed || 1 tries, 6690 fired transitions, 1550 secs || 6499 markings, 7571 edges, 5 markings/sec, 1550 secs
lola: STP completed || 1 tries, 6713 fired transitions, 1555 secs || 6522 markings, 7596 edges, 5 markings/sec, 1555 secs
lola: STP completed || 1 tries, 6736 fired transitions, 1560 secs || 6545 markings, 7619 edges, 5 markings/sec, 1560 secs
lola: STP completed || 1 tries, 6759 fired transitions, 1565 secs || 6568 markings, 7642 edges, 5 markings/sec, 1565 secs
lola: STP completed || 1 tries, 6782 fired transitions, 1570 secs || 6591 markings, 7665 edges, 5 markings/sec, 1570 secs
lola: STP completed || 1 tries, 6805 fired transitions, 1575 secs || 6614 markings, 7688 edges, 5 markings/sec, 1575 secs
lola: STP completed || 1 tries, 6828 fired transitions, 1580 secs || 6637 markings, 7711 edges, 5 markings/sec, 1580 secs
lola: STP completed || 1 tries, 6850 fired transitions, 1585 secs || 6659 markings, 7733 edges, 4 markings/sec, 1585 secs
lola: STP completed || 1 tries, 6873 fired transitions, 1590 secs || 6682 markings, 7756 edges, 5 markings/sec, 1590 secs
lola: STP completed || 1 tries, 6896 fired transitions, 1595 secs || 6705 markings, 7779 edges, 5 markings/sec, 1595 secs
lola: STP completed || 1 tries, 6919 fired transitions, 1600 secs || 6728 markings, 7806 edges, 5 markings/sec, 1600 secs
lola: STP completed || 1 tries, 6941 fired transitions, 1605 secs || 6750 markings, 7848 edges, 4 markings/sec, 1605 secs
lola: STP completed || 1 tries, 6964 fired transitions, 1610 secs || 6773 markings, 7872 edges, 5 markings/sec, 1610 secs
lola: STP completed || 1 tries, 6986 fired transitions, 1615 secs || 6795 markings, 7894 edges, 4 markings/sec, 1615 secs
lola: STP completed || 1 tries, 7009 fired transitions, 1620 secs || 6818 markings, 7917 edges, 5 markings/sec, 1620 secs
lola: STP completed || 1 tries, 7031 fired transitions, 1625 secs || 6840 markings, 7950 edges, 4 markings/sec, 1625 secs
lola: STP completed || 1 tries, 7054 fired transitions, 1630 secs || 6863 markings, 7996 edges, 5 markings/sec, 1630 secs
lola: STP completed || 1 tries, 7076 fired transitions, 1635 secs || 6885 markings, 8026 edges, 4 markings/sec, 1635 secs
lola: STP completed || 1 tries, 7099 fired transitions, 1640 secs || 6908 markings, 8049 edges, 5 markings/sec, 1640 secs
lola: STP completed || 1 tries, 7121 fired transitions, 1645 secs || 6930 markings, 8076 edges, 4 markings/sec, 1645 secs
lola: STP completed || 1 tries, 7144 fired transitions, 1650 secs || 6953 markings, 8103 edges, 5 markings/sec, 1650 secs
lola: STP completed || 1 tries, 7166 fired transitions, 1655 secs || 6975 markings, 8147 edges, 4 markings/sec, 1655 secs
lola: STP completed || 1 tries, 7189 fired transitions, 1660 secs || 6998 markings, 8187 edges, 5 markings/sec, 1660 secs
lola: STP completed || 1 tries, 7211 fired transitions, 1665 secs || 7020 markings, 8209 edges, 4 markings/sec, 1665 secs
lola: STP completed || 1 tries, 7233 fired transitions, 1670 secs || 7042 markings, 8231 edges, 4 markings/sec, 1670 secs
lola: STP completed || 1 tries, 7256 fired transitions, 1675 secs || 7065 markings, 8254 edges, 5 markings/sec, 1675 secs
lola: STP completed || 1 tries, 7278 fired transitions, 1680 secs || 7087 markings, 8276 edges, 4 markings/sec, 1680 secs
lola: STP completed || 1 tries, 7301 fired transitions, 1685 secs || 7110 markings, 8299 edges, 5 markings/sec, 1685 secs
lola: STP completed || 1 tries, 7323 fired transitions, 1690 secs || 7132 markings, 8321 edges, 4 markings/sec, 1690 secs
lola: STP completed || 1 tries, 7346 fired transitions, 1695 secs || 7155 markings, 8344 edges, 5 markings/sec, 1695 secs
lola: STP completed || 1 tries, 7368 fired transitions, 1700 secs || 7177 markings, 8366 edges, 4 markings/sec, 1700 secs
lola: STP completed || 1 tries, 7391 fired transitions, 1705 secs || 7200 markings, 8390 edges, 5 markings/sec, 1705 secs
lola: STP completed || 1 tries, 7413 fired transitions, 1710 secs || 7222 markings, 8412 edges, 4 markings/sec, 1710 secs
lola: STP completed || 1 tries, 7436 fired transitions, 1715 secs || 7245 markings, 8435 edges, 5 markings/sec, 1715 secs
lola: STP completed || 1 tries, 7458 fired transitions, 1720 secs || 7267 markings, 8457 edges, 4 markings/sec, 1720 secs
lola: STP completed || 1 tries, 7481 fired transitions, 1725 secs || 7290 markings, 8480 edges, 5 markings/sec, 1725 secs
lola: STP completed || 1 tries, 7503 fired transitions, 1730 secs || 7312 markings, 8503 edges, 4 markings/sec, 1730 secs
lola: STP completed || 1 tries, 7526 fired transitions, 1735 secs || 7335 markings, 8527 edges, 5 markings/sec, 1735 secs
lola: STP completed || 1 tries, 7549 fired transitions, 1740 secs || 7358 markings, 8550 edges, 5 markings/sec, 1740 secs
lola: STP completed || 1 tries, 7571 fired transitions, 1745 secs || 7380 markings, 8572 edges, 4 markings/sec, 1745 secs
lola: STP completed || 1 tries, 7594 fired transitions, 1750 secs || 7403 markings, 8595 edges, 5 markings/sec, 1750 secs
lola: STP completed || 1 tries, 7617 fired transitions, 1755 secs || 7426 markings, 8618 edges, 5 markings/sec, 1755 secs
lola: STP completed || 1 tries, 7639 fired transitions, 1760 secs || 7448 markings, 8640 edges, 4 markings/sec, 1760 secs
lola: STP completed || 1 tries, 7662 fired transitions, 1765 secs || 7471 markings, 8663 edges, 5 markings/sec, 1765 secs
lola: STP completed || 1 tries, 7684 fired transitions, 1770 secs || 7493 markings, 8685 edges, 4 markings/sec, 1770 secs
lola: STP completed || 1 tries, 7707 fired transitions, 1775 secs || 7516 markings, 8716 edges, 5 markings/sec, 1775 secs
lola: STP completed || 1 tries, 7730 fired transitions, 1780 secs || 7539 markings, 8739 edges, 5 markings/sec, 1780 secs
lola: STP completed || 1 tries, 7752 fired transitions, 1785 secs || 7560 markings, 8763 edges, 4 markings/sec, 1785 secs
lola: STP completed || 1 tries, 7775 fired transitions, 1790 secs || 7583 markings, 8792 edges, 5 markings/sec, 1790 secs
lola: STP completed || 1 tries, 7797 fired transitions, 1795 secs || 7604 markings, 8813 edges, 4 markings/sec, 1795 secs
lola: STP completed || 1 tries, 7818 fired transitions, 1800 secs || 7626 markings, 8835 edges, 4 markings/sec, 1800 secs
lola: STP completed || 1 tries, 7841 fired transitions, 1805 secs || 7649 markings, 8860 edges, 5 markings/sec, 1805 secs
lola: STP completed || 1 tries, 7863 fired transitions, 1810 secs || 7671 markings, 8882 edges, 4 markings/sec, 1810 secs
lola: STP completed || 1 tries, 7886 fired transitions, 1815 secs || 7694 markings, 8906 edges, 5 markings/sec, 1815 secs
lola: STP completed || 1 tries, 7909 fired transitions, 1820 secs || 7717 markings, 8929 edges, 5 markings/sec, 1820 secs
lola: STP completed || 1 tries, 7931 fired transitions, 1825 secs || 7739 markings, 8951 edges, 4 markings/sec, 1825 secs
lola: STP completed || 1 tries, 7954 fired transitions, 1830 secs || 7762 markings, 8974 edges, 5 markings/sec, 1830 secs
lola: STP completed || 1 tries, 7978 fired transitions, 1835 secs || 7786 markings, 8998 edges, 5 markings/sec, 1835 secs
lola: STP completed || 1 tries, 8000 fired transitions, 1840 secs || 7807 markings, 9019 edges, 4 markings/sec, 1840 secs
lola: STP completed || 1 tries, 8022 fired transitions, 1845 secs || 7829 markings, 9041 edges, 4 markings/sec, 1845 secs
lola: STP completed || 1 tries, 8043 fired transitions, 1850 secs || 7850 markings, 9062 edges, 4 markings/sec, 1850 secs
lola: STP completed || 1 tries, 8065 fired transitions, 1855 secs || 7872 markings, 9084 edges, 4 markings/sec, 1855 secs
lola: STP completed || 1 tries, 8087 fired transitions, 1860 secs || 7894 markings, 9108 edges, 4 markings/sec, 1860 secs
lola: STP completed || 1 tries, 8110 fired transitions, 1865 secs || 7917 markings, 9131 edges, 5 markings/sec, 1865 secs
lola: STP completed || 1 tries, 8132 fired transitions, 1870 secs || 7939 markings, 9153 edges, 4 markings/sec, 1870 secs
lola: STP completed || 1 tries, 8154 fired transitions, 1875 secs || 7961 markings, 9175 edges, 4 markings/sec, 1875 secs
lola: STP completed || 1 tries, 8177 fired transitions, 1880 secs || 7984 markings, 9198 edges, 5 markings/sec, 1880 secs
lola: STP completed || 1 tries, 8199 fired transitions, 1885 secs || 8006 markings, 9235 edges, 4 markings/sec, 1885 secs
lola: STP completed || 1 tries, 8222 fired transitions, 1890 secs || 8029 markings, 9281 edges, 5 markings/sec, 1890 secs
lola: STP completed || 1 tries, 8245 fired transitions, 1895 secs || 8052 markings, 9327 edges, 5 markings/sec, 1895 secs
lola: STP completed || 1 tries, 8267 fired transitions, 1900 secs || 8074 markings, 9371 edges, 4 markings/sec, 1900 secs
lola: STP completed || 1 tries, 8290 fired transitions, 1905 secs || 8097 markings, 9401 edges, 5 markings/sec, 1905 secs
lola: STP completed || 1 tries, 8313 fired transitions, 1910 secs || 8120 markings, 9424 edges, 5 markings/sec, 1910 secs
lola: STP completed || 1 tries, 8335 fired transitions, 1915 secs || 8142 markings, 9446 edges, 4 markings/sec, 1915 secs
lola: STP completed || 1 tries, 8356 fired transitions, 1920 secs || 8161 markings, 9465 edges, 4 markings/sec, 1920 secs
lola: STP completed || 1 tries, 8378 fired transitions, 1925 secs || 8182 markings, 9488 edges, 4 markings/sec, 1925 secs
lola: STP completed || 1 tries, 8400 fired transitions, 1930 secs || 8204 markings, 9526 edges, 4 markings/sec, 1930 secs
lola: STP completed || 1 tries, 8422 fired transitions, 1935 secs || 8226 markings, 9548 edges, 4 markings/sec, 1935 secs
lola: STP completed || 1 tries, 8445 fired transitions, 1940 secs || 8249 markings, 9571 edges, 5 markings/sec, 1940 secs
lola: STP completed || 1 tries, 8467 fired transitions, 1945 secs || 8270 markings, 9592 edges, 4 markings/sec, 1945 secs
lola: STP completed || 1 tries, 8488 fired transitions, 1950 secs || 8292 markings, 9614 edges, 4 markings/sec, 1950 secs
lola: STP completed || 1 tries, 8510 fired transitions, 1955 secs || 8314 markings, 9636 edges, 4 markings/sec, 1955 secs
lola: STP completed || 1 tries, 8532 fired transitions, 1960 secs || 8336 markings, 9658 edges, 4 markings/sec, 1960 secs
lola: STP completed || 1 tries, 8554 fired transitions, 1965 secs || 8357 markings, 9679 edges, 4 markings/sec, 1965 secs
lola: STP completed || 1 tries, 8576 fired transitions, 1970 secs || 8379 markings, 9701 edges, 4 markings/sec, 1970 secs
lola: STP completed || 1 tries, 8598 fired transitions, 1975 secs || 8401 markings, 9723 edges, 4 markings/sec, 1975 secs
lola: STP completed || 1 tries, 8620 fired transitions, 1980 secs || 8423 markings, 9745 edges, 4 markings/sec, 1980 secs
lola: STP completed || 1 tries, 8642 fired transitions, 1985 secs || 8445 markings, 9767 edges, 4 markings/sec, 1985 secs
lola: STP completed || 1 tries, 8664 fired transitions, 1990 secs || 8467 markings, 9789 edges, 4 markings/sec, 1990 secs
lola: STP completed || 1 tries, 8686 fired transitions, 1995 secs || 8489 markings, 9812 edges, 4 markings/sec, 1995 secs
lola: STP completed || 1 tries, 8708 fired transitions, 2000 secs || 8511 markings, 9834 edges, 4 markings/sec, 2000 secs
lola: STP completed || 1 tries, 8731 fired transitions, 2005 secs || 8534 markings, 9857 edges, 5 markings/sec, 2005 secs
lola: STP completed || 1 tries, 8753 fired transitions, 2010 secs || 8556 markings, 9879 edges, 4 markings/sec, 2010 secs
lola: STP completed || 1 tries, 8775 fired transitions, 2015 secs || 8577 markings, 9900 edges, 4 markings/sec, 2015 secs
lola: STP completed || 1 tries, 8796 fired transitions, 2020 secs || 8599 markings, 9922 edges, 4 markings/sec, 2020 secs
lola: STP completed || 1 tries, 8819 fired transitions, 2025 secs || 8622 markings, 9945 edges, 5 markings/sec, 2025 secs
lola: STP completed || 1 tries, 8841 fired transitions, 2030 secs || 8644 markings, 9967 edges, 4 markings/sec, 2030 secs
lola: STP completed || 1 tries, 8863 fired transitions, 2035 secs || 8666 markings, 9995 edges, 4 markings/sec, 2035 secs
lola: STP completed || 1 tries, 8885 fired transitions, 2040 secs || 8687 markings, 10037 edges, 4 markings/sec, 2040 secs
lola: STP completed || 1 tries, 8906 fired transitions, 2045 secs || 8708 markings, 10067 edges, 4 markings/sec, 2045 secs
lola: STP completed || 1 tries, 8929 fired transitions, 2050 secs || 8730 markings, 10089 edges, 4 markings/sec, 2050 secs
lola: STP completed || 1 tries, 8950 fired transitions, 2055 secs || 8751 markings, 10110 edges, 4 markings/sec, 2055 secs
lola: STP completed || 1 tries, 8971 fired transitions, 2060 secs || 8773 markings, 10133 edges, 4 markings/sec, 2060 secs
lola: STP completed || 1 tries, 8993 fired transitions, 2065 secs || 8794 markings, 10160 edges, 4 markings/sec, 2065 secs
lola: STP completed || 1 tries, 9016 fired transitions, 2070 secs || 8817 markings, 10205 edges, 5 markings/sec, 2070 secs
lola: STP completed || 1 tries, 9039 fired transitions, 2075 secs || 8840 markings, 10234 edges, 5 markings/sec, 2075 secs
lola: STP completed || 1 tries, 9061 fired transitions, 2080 secs || 8862 markings, 10256 edges, 4 markings/sec, 2080 secs
lola: STP completed || 1 tries, 9084 fired transitions, 2085 secs || 8885 markings, 10279 edges, 5 markings/sec, 2085 secs
lola: STP completed || 1 tries, 9106 fired transitions, 2090 secs || 8907 markings, 10301 edges, 4 markings/sec, 2090 secs
lola: STP completed || 1 tries, 9129 fired transitions, 2095 secs || 8930 markings, 10325 edges, 5 markings/sec, 2095 secs
lola: STP completed || 1 tries, 9152 fired transitions, 2100 secs || 8953 markings, 10369 edges, 5 markings/sec, 2100 secs
lola: STP completed || 1 tries, 9174 fired transitions, 2105 secs || 8975 markings, 10412 edges, 4 markings/sec, 2105 secs
lola: STP completed || 1 tries, 9196 fired transitions, 2110 secs || 8997 markings, 10445 edges, 4 markings/sec, 2110 secs
lola: STP completed || 1 tries, 9219 fired transitions, 2115 secs || 9020 markings, 10468 edges, 5 markings/sec, 2115 secs
lola: STP completed || 1 tries, 9241 fired transitions, 2120 secs || 9042 markings, 10490 edges, 4 markings/sec, 2120 secs
lola: STP completed || 1 tries, 9263 fired transitions, 2125 secs || 9064 markings, 10512 edges, 4 markings/sec, 2125 secs
lola: STP completed || 1 tries, 9286 fired transitions, 2130 secs || 9087 markings, 10535 edges, 5 markings/sec, 2130 secs
lola: STP completed || 1 tries, 9308 fired transitions, 2135 secs || 9109 markings, 10557 edges, 4 markings/sec, 2135 secs
lola: STP completed || 1 tries, 9331 fired transitions, 2140 secs || 9132 markings, 10580 edges, 5 markings/sec, 2140 secs
lola: STP completed || 1 tries, 9354 fired transitions, 2145 secs || 9155 markings, 10603 edges, 5 markings/sec, 2145 secs
lola: STP completed || 1 tries, 9376 fired transitions, 2150 secs || 9177 markings, 10625 edges, 4 markings/sec, 2150 secs
lola: STP completed || 1 tries, 9398 fired transitions, 2155 secs || 9199 markings, 10647 edges, 4 markings/sec, 2155 secs
lola: STP completed || 1 tries, 9421 fired transitions, 2160 secs || 9222 markings, 10670 edges, 5 markings/sec, 2160 secs
lola: STP completed || 1 tries, 9443 fired transitions, 2165 secs || 9244 markings, 10693 edges, 4 markings/sec, 2165 secs
lola: STP completed || 1 tries, 9466 fired transitions, 2170 secs || 9267 markings, 10716 edges, 5 markings/sec, 2170 secs
lola: STP completed || 1 tries, 9488 fired transitions, 2175 secs || 9289 markings, 10743 edges, 4 markings/sec, 2175 secs
lola: STP completed || 1 tries, 9511 fired transitions, 2180 secs || 9312 markings, 10766 edges, 5 markings/sec, 2180 secs
lola: STP completed || 1 tries, 9533 fired transitions, 2185 secs || 9334 markings, 10796 edges, 4 markings/sec, 2185 secs
lola: STP completed || 1 tries, 9556 fired transitions, 2190 secs || 9357 markings, 10828 edges, 5 markings/sec, 2190 secs
lola: STP completed || 1 tries, 9579 fired transitions, 2195 secs || 9380 markings, 10873 edges, 5 markings/sec, 2195 secs
lola: STP completed || 1 tries, 9602 fired transitions, 2200 secs || 9403 markings, 10896 edges, 5 markings/sec, 2200 secs
lola: STP completed || 1 tries, 9624 fired transitions, 2205 secs || 9425 markings, 10918 edges, 4 markings/sec, 2205 secs
lola: STP completed || 1 tries, 9647 fired transitions, 2210 secs || 9448 markings, 10941 edges, 5 markings/sec, 2210 secs
lola: STP completed || 1 tries, 9669 fired transitions, 2215 secs || 9470 markings, 10963 edges, 4 markings/sec, 2215 secs
lola: STP completed || 1 tries, 9692 fired transitions, 2220 secs || 9493 markings, 10988 edges, 5 markings/sec, 2220 secs
lola: STP completed || 1 tries, 9715 fired transitions, 2225 secs || 9515 markings, 11011 edges, 4 markings/sec, 2225 secs
lola: STP completed || 1 tries, 9736 fired transitions, 2230 secs || 9535 markings, 11048 edges, 4 markings/sec, 2230 secs
lola: STP completed || 1 tries, 9759 fired transitions, 2235 secs || 9558 markings, 11094 edges, 5 markings/sec, 2235 secs
lola: STP completed || 1 tries, 9781 fired transitions, 2240 secs || 9580 markings, 11136 edges, 4 markings/sec, 2240 secs
lola: STP completed || 1 tries, 9804 fired transitions, 2245 secs || 9603 markings, 11182 edges, 5 markings/sec, 2245 secs
lola: STP completed || 1 tries, 9828 fired transitions, 2250 secs || 9627 markings, 11230 edges, 5 markings/sec, 2250 secs
lola: STP completed || 1 tries, 9851 fired transitions, 2255 secs || 9650 markings, 11276 edges, 5 markings/sec, 2255 secs
lola: STP completed || 1 tries, 9874 fired transitions, 2260 secs || 9673 markings, 11315 edges, 5 markings/sec, 2260 secs
lola: STP completed || 1 tries, 9897 fired transitions, 2265 secs || 9696 markings, 11338 edges, 5 markings/sec, 2265 secs
lola: STP completed || 1 tries, 9920 fired transitions, 2270 secs || 9719 markings, 11361 edges, 5 markings/sec, 2270 secs
lola: STP completed || 1 tries, 9942 fired transitions, 2275 secs || 9741 markings, 11383 edges, 4 markings/sec, 2275 secs
lola: STP completed || 1 tries, 9965 fired transitions, 2280 secs || 9764 markings, 11406 edges, 5 markings/sec, 2280 secs
lola: STP completed || 1 tries, 9987 fired transitions, 2285 secs || 9786 markings, 11428 edges, 4 markings/sec, 2285 secs
lola: STP completed || 1 tries, 10010 fired transitions, 2290 secs || 9809 markings, 11451 edges, 5 markings/sec, 2290 secs
lola: STP completed || 1 tries, 10033 fired transitions, 2295 secs || 9832 markings, 11474 edges, 5 markings/sec, 2295 secs
lola: STP completed || 1 tries, 10056 fired transitions, 2300 secs || 9855 markings, 11497 edges, 5 markings/sec, 2300 secs
lola: STP completed || 1 tries, 10078 fired transitions, 2305 secs || 9877 markings, 11519 edges, 4 markings/sec, 2305 secs
lola: STP completed || 1 tries, 10101 fired transitions, 2310 secs || 9900 markings, 11542 edges, 5 markings/sec, 2310 secs
lola: STP completed || 1 tries, 10123 fired transitions, 2315 secs || 9922 markings, 11573 edges, 4 markings/sec, 2315 secs
lola: STP completed || 1 tries, 10144 fired transitions, 2320 secs || 9944 markings, 11617 edges, 4 markings/sec, 2320 secs
lola: STP completed || 1 tries, 10167 fired transitions, 2325 secs || 9967 markings, 11651 edges, 5 markings/sec, 2325 secs
lola: STP completed || 1 tries, 10190 fired transitions, 2330 secs || 9990 markings, 11675 edges, 5 markings/sec, 2330 secs
lola: STP completed || 1 tries, 10213 fired transitions, 2335 secs || 10013 markings, 11706 edges, 5 markings/sec, 2335 secs
lola: STP completed || 1 tries, 10236 fired transitions, 2340 secs || 10036 markings, 11752 edges, 5 markings/sec, 2340 secs
lola: STP completed || 1 tries, 10257 fired transitions, 2345 secs || 10058 markings, 11789 edges, 4 markings/sec, 2345 secs
lola: STP completed || 1 tries, 10278 fired transitions, 2350 secs || 10079 markings, 11814 edges, 4 markings/sec, 2350 secs
lola: STP completed || 1 tries, 10299 fired transitions, 2355 secs || 10100 markings, 11835 edges, 4 markings/sec, 2355 secs
lola: STP completed || 1 tries, 10319 fired transitions, 2360 secs || 10121 markings, 11856 edges, 4 markings/sec, 2360 secs
lola: STP completed || 1 tries, 10340 fired transitions, 2365 secs || 10142 markings, 11877 edges, 4 markings/sec, 2365 secs
lola: STP completed || 1 tries, 10361 fired transitions, 2370 secs || 10164 markings, 11899 edges, 4 markings/sec, 2370 secs
lola: STP completed || 1 tries, 10383 fired transitions, 2375 secs || 10185 markings, 11920 edges, 4 markings/sec, 2375 secs
lola: STP completed || 1 tries, 10405 fired transitions, 2380 secs || 10204 markings, 11939 edges, 4 markings/sec, 2380 secs
lola: STP completed || 1 tries, 10426 fired transitions, 2385 secs || 10225 markings, 11961 edges, 4 markings/sec, 2385 secs
lola: STP completed || 1 tries, 10448 fired transitions, 2390 secs || 10247 markings, 11983 edges, 4 markings/sec, 2390 secs
lola: STP completed || 1 tries, 10471 fired transitions, 2395 secs || 10270 markings, 12006 edges, 5 markings/sec, 2395 secs
lola: STP completed || 1 tries, 10494 fired transitions, 2400 secs || 10293 markings, 12029 edges, 5 markings/sec, 2400 secs
lola: STP completed || 1 tries, 10518 fired transitions, 2405 secs || 10317 markings, 12061 edges, 5 markings/sec, 2405 secs
lola: STP completed || 1 tries, 10541 fired transitions, 2410 secs || 10340 markings, 12095 edges, 5 markings/sec, 2410 secs
lola: STP completed || 1 tries, 10564 fired transitions, 2415 secs || 10363 markings, 12118 edges, 5 markings/sec, 2415 secs
lola: STP completed || 1 tries, 10586 fired transitions, 2420 secs || 10385 markings, 12140 edges, 4 markings/sec, 2420 secs
lola: STP completed || 1 tries, 10609 fired transitions, 2425 secs || 10408 markings, 12163 edges, 5 markings/sec, 2425 secs
lola: STP completed || 1 tries, 10632 fired transitions, 2430 secs || 10431 markings, 12186 edges, 5 markings/sec, 2430 secs
lola: STP completed || 1 tries, 10656 fired transitions, 2435 secs || 10455 markings, 12210 edges, 5 markings/sec, 2435 secs
lola: STP completed || 1 tries, 10679 fired transitions, 2440 secs || 10478 markings, 12234 edges, 5 markings/sec, 2440 secs
lola: STP completed || 1 tries, 10701 fired transitions, 2445 secs || 10500 markings, 12256 edges, 4 markings/sec, 2445 secs
lola: STP completed || 1 tries, 10724 fired transitions, 2450 secs || 10523 markings, 12279 edges, 5 markings/sec, 2450 secs
lola: STP completed || 1 tries, 10747 fired transitions, 2455 secs || 10546 markings, 12304 edges, 5 markings/sec, 2455 secs
lola: STP completed || 1 tries, 10769 fired transitions, 2460 secs || 10568 markings, 12328 edges, 4 markings/sec, 2460 secs
lola: STP completed || 1 tries, 10792 fired transitions, 2465 secs || 10591 markings, 12351 edges, 5 markings/sec, 2465 secs
lola: STP completed || 1 tries, 10813 fired transitions, 2470 secs || 10612 markings, 12372 edges, 4 markings/sec, 2470 secs
lola: STP completed || 1 tries, 10836 fired transitions, 2475 secs || 10635 markings, 12395 edges, 5 markings/sec, 2475 secs
lola: STP completed || 1 tries, 10859 fired transitions, 2480 secs || 10658 markings, 12420 edges, 5 markings/sec, 2480 secs
lola: STP completed || 1 tries, 10881 fired transitions, 2485 secs || 10680 markings, 12442 edges, 4 markings/sec, 2485 secs
lola: STP completed || 1 tries, 10904 fired transitions, 2490 secs || 10703 markings, 12465 edges, 5 markings/sec, 2490 secs
lola: STP completed || 1 tries, 10926 fired transitions, 2495 secs || 10725 markings, 12488 edges, 4 markings/sec, 2495 secs
lola: STP completed || 1 tries, 10949 fired transitions, 2500 secs || 10748 markings, 12515 edges, 5 markings/sec, 2500 secs
lola: STP completed || 1 tries, 10971 fired transitions, 2505 secs || 10770 markings, 12556 edges, 4 markings/sec, 2505 secs
lola: STP completed || 1 tries, 10994 fired transitions, 2510 secs || 10793 markings, 12579 edges, 5 markings/sec, 2510 secs
lola: STP completed || 1 tries, 11016 fired transitions, 2515 secs || 10815 markings, 12601 edges, 4 markings/sec, 2515 secs
lola: STP completed || 1 tries, 11039 fired transitions, 2520 secs || 10838 markings, 12624 edges, 5 markings/sec, 2520 secs
lola: STP completed || 1 tries, 11062 fired transitions, 2525 secs || 10861 markings, 12647 edges, 5 markings/sec, 2525 secs
lola: STP completed || 1 tries, 11085 fired transitions, 2530 secs || 10884 markings, 12672 edges, 5 markings/sec, 2530 secs
lola: STP completed || 1 tries, 11108 fired transitions, 2535 secs || 10907 markings, 12695 edges, 5 markings/sec, 2535 secs
lola: STP completed || 1 tries, 11132 fired transitions, 2540 secs || 10931 markings, 12719 edges, 5 markings/sec, 2540 secs
lola: STP completed || 1 tries, 11155 fired transitions, 2545 secs || 10954 markings, 12745 edges, 5 markings/sec, 2545 secs
lola: STP completed || 1 tries, 11177 fired transitions, 2550 secs || 10976 markings, 12777 edges, 4 markings/sec, 2550 secs
lola: STP completed || 1 tries, 11200 fired transitions, 2555 secs || 10999 markings, 12815 edges, 5 markings/sec, 2555 secs
lola: STP completed || 1 tries, 11222 fired transitions, 2560 secs || 11021 markings, 12857 edges, 4 markings/sec, 2560 secs
lola: STP completed || 1 tries, 11245 fired transitions, 2565 secs || 11044 markings, 12897 edges, 5 markings/sec, 2565 secs
lola: STP completed || 1 tries, 11268 fired transitions, 2570 secs || 11067 markings, 12920 edges, 5 markings/sec, 2570 secs
lola: STP completed || 1 tries, 11291 fired transitions, 2575 secs || 11090 markings, 12943 edges, 5 markings/sec, 2575 secs
lola: STP completed || 1 tries, 11313 fired transitions, 2580 secs || 11112 markings, 12965 edges, 4 markings/sec, 2580 secs
lola: STP completed || 1 tries, 11336 fired transitions, 2585 secs || 11135 markings, 12988 edges, 5 markings/sec, 2585 secs
lola: STP completed || 1 tries, 11358 fired transitions, 2590 secs || 11157 markings, 13010 edges, 4 markings/sec, 2590 secs
lola: STP completed || 1 tries, 11381 fired transitions, 2595 secs || 11180 markings, 13043 edges, 5 markings/sec, 2595 secs
lola: STP completed || 1 tries, 11405 fired transitions, 2600 secs || 11204 markings, 13089 edges, 5 markings/sec, 2600 secs
lola: STP completed || 1 tries, 11428 fired transitions, 2605 secs || 11227 markings, 13121 edges, 5 markings/sec, 2605 secs
lola: STP completed || 1 tries, 11451 fired transitions, 2610 secs || 11250 markings, 13144 edges, 5 markings/sec, 2610 secs
lola: STP completed || 1 tries, 11474 fired transitions, 2615 secs || 11273 markings, 13167 edges, 5 markings/sec, 2615 secs
lola: STP completed || 1 tries, 11497 fired transitions, 2620 secs || 11296 markings, 13190 edges, 5 markings/sec, 2620 secs
lola: STP completed || 1 tries, 11519 fired transitions, 2625 secs || 11318 markings, 13212 edges, 4 markings/sec, 2625 secs
lola: STP completed || 1 tries, 11542 fired transitions, 2630 secs || 11341 markings, 13239 edges, 5 markings/sec, 2630 secs
lola: STP completed || 1 tries, 11564 fired transitions, 2635 secs || 11363 markings, 13262 edges, 4 markings/sec, 2635 secs
lola: STP completed || 1 tries, 11587 fired transitions, 2640 secs || 11386 markings, 13286 edges, 5 markings/sec, 2640 secs
lola: STP completed || 1 tries, 11607 fired transitions, 2645 secs || 11408 markings, 13308 edges, 4 markings/sec, 2645 secs
lola: STP completed || 1 tries, 11629 fired transitions, 2650 secs || 11431 markings, 13331 edges, 5 markings/sec, 2650 secs
lola: STP completed || 1 tries, 11651 fired transitions, 2655 secs || 11453 markings, 13354 edges, 4 markings/sec, 2655 secs
lola: STP completed || 1 tries, 11672 fired transitions, 2660 secs || 11475 markings, 13376 edges, 4 markings/sec, 2660 secs
lola: STP completed || 1 tries, 11695 fired transitions, 2665 secs || 11498 markings, 13400 edges, 5 markings/sec, 2665 secs
lola: STP completed || 1 tries, 11717 fired transitions, 2670 secs || 11520 markings, 13422 edges, 4 markings/sec, 2670 secs
lola: STP completed || 1 tries, 11738 fired transitions, 2675 secs || 11543 markings, 13445 edges, 5 markings/sec, 2675 secs
lola: STP completed || 1 tries, 11761 fired transitions, 2680 secs || 11566 markings, 13468 edges, 5 markings/sec, 2680 secs
lola: STP completed || 1 tries, 11784 fired transitions, 2685 secs || 11589 markings, 13491 edges, 5 markings/sec, 2685 secs
lola: STP completed || 1 tries, 11807 fired transitions, 2690 secs || 11612 markings, 13514 edges, 5 markings/sec, 2690 secs
lola: STP completed || 1 tries, 11830 fired transitions, 2695 secs || 11635 markings, 13560 edges, 5 markings/sec, 2695 secs
lola: STP completed || 1 tries, 11853 fired transitions, 2700 secs || 11658 markings, 13588 edges, 5 markings/sec, 2700 secs
lola: STP completed || 1 tries, 11876 fired transitions, 2705 secs || 11681 markings, 13611 edges, 5 markings/sec, 2705 secs
lola: STP completed || 1 tries, 11899 fired transitions, 2710 secs || 11704 markings, 13634 edges, 5 markings/sec, 2710 secs
lola: STP completed || 1 tries, 11920 fired transitions, 2715 secs || 11725 markings, 13655 edges, 4 markings/sec, 2715 secs
lola: STP completed || 1 tries, 11941 fired transitions, 2720 secs || 11747 markings, 13684 edges, 4 markings/sec, 2720 secs
lola: STP completed || 1 tries, 11962 fired transitions, 2725 secs || 11768 markings, 13716 edges, 4 markings/sec, 2725 secs
lola: STP completed || 1 tries, 11984 fired transitions, 2730 secs || 11790 markings, 13738 edges, 4 markings/sec, 2730 secs
lola: STP completed || 1 tries, 12007 fired transitions, 2735 secs || 11813 markings, 13770 edges, 5 markings/sec, 2735 secs
lola: STP completed || 1 tries, 12030 fired transitions, 2740 secs || 11836 markings, 13799 edges, 5 markings/sec, 2740 secs
lola: STP completed || 1 tries, 12053 fired transitions, 2745 secs || 11859 markings, 13834 edges, 5 markings/sec, 2745 secs
lola: STP completed || 1 tries, 12077 fired transitions, 2750 secs || 11883 markings, 13871 edges, 5 markings/sec, 2750 secs
lola: STP completed || 1 tries, 12100 fired transitions, 2755 secs || 11906 markings, 13894 edges, 5 markings/sec, 2755 secs
lola: STP completed || 1 tries, 12123 fired transitions, 2760 secs || 11929 markings, 13917 edges, 5 markings/sec, 2760 secs
lola: STP completed || 1 tries, 12146 fired transitions, 2765 secs || 11952 markings, 13940 edges, 5 markings/sec, 2765 secs
lola: STP completed || 1 tries, 12169 fired transitions, 2770 secs || 11975 markings, 13963 edges, 5 markings/sec, 2770 secs
lola: STP completed || 1 tries, 12193 fired transitions, 2775 secs || 11999 markings, 13987 edges, 5 markings/sec, 2775 secs
lola: STP completed || 1 tries, 12216 fired transitions, 2780 secs || 12022 markings, 14010 edges, 5 markings/sec, 2780 secs
lola: STP completed || 1 tries, 12240 fired transitions, 2785 secs || 12046 markings, 14037 edges, 5 markings/sec, 2785 secs
lola: STP completed || 1 tries, 12263 fired transitions, 2790 secs || 12069 markings, 14060 edges, 5 markings/sec, 2790 secs
lola: STP completed || 1 tries, 12286 fired transitions, 2795 secs || 12092 markings, 14083 edges, 5 markings/sec, 2795 secs
lola: STP completed || 1 tries, 12310 fired transitions, 2800 secs || 12116 markings, 14107 edges, 5 markings/sec, 2800 secs
lola: STP completed || 1 tries, 12333 fired transitions, 2805 secs || 12139 markings, 14130 edges, 5 markings/sec, 2805 secs
lola: STP completed || 1 tries, 12356 fired transitions, 2810 secs || 12162 markings, 14153 edges, 5 markings/sec, 2810 secs
lola: STP completed || 1 tries, 12379 fired transitions, 2815 secs || 12185 markings, 14176 edges, 5 markings/sec, 2815 secs
lola: STP completed || 1 tries, 12402 fired transitions, 2820 secs || 12208 markings, 14199 edges, 5 markings/sec, 2820 secs
lola: STP completed || 1 tries, 12425 fired transitions, 2825 secs || 12231 markings, 14222 edges, 5 markings/sec, 2825 secs
lola: STP completed || 1 tries, 12447 fired transitions, 2830 secs || 12253 markings, 14244 edges, 4 markings/sec, 2830 secs
lola: STP completed || 1 tries, 12470 fired transitions, 2835 secs || 12276 markings, 14267 edges, 5 markings/sec, 2835 secs
lola: STP completed || 1 tries, 12491 fired transitions, 2840 secs || 12298 markings, 14289 edges, 4 markings/sec, 2840 secs
lola: STP completed || 1 tries, 12514 fired transitions, 2845 secs || 12320 markings, 14315 edges, 4 markings/sec, 2845 secs
lola: STP completed || 1 tries, 12536 fired transitions, 2850 secs || 12342 markings, 14337 edges, 4 markings/sec, 2850 secs
lola: STP completed || 1 tries, 12558 fired transitions, 2855 secs || 12364 markings, 14359 edges, 4 markings/sec, 2855 secs
lola: STP completed || 1 tries, 12580 fired transitions, 2860 secs || 12386 markings, 14382 edges, 4 markings/sec, 2860 secs
lola: STP completed || 1 tries, 12603 fired transitions, 2865 secs || 12409 markings, 14405 edges, 5 markings/sec, 2865 secs
lola: STP completed || 1 tries, 12626 fired transitions, 2870 secs || 12432 markings, 14428 edges, 5 markings/sec, 2870 secs
lola: STP completed || 1 tries, 12649 fired transitions, 2875 secs || 12455 markings, 14451 edges, 5 markings/sec, 2875 secs
lola: STP completed || 1 tries, 12672 fired transitions, 2880 secs || 12478 markings, 14474 edges, 5 markings/sec, 2880 secs
lola: STP completed || 1 tries, 12694 fired transitions, 2885 secs || 12500 markings, 14496 edges, 4 markings/sec, 2885 secs
lola: STP completed || 1 tries, 12715 fired transitions, 2890 secs || 12522 markings, 14518 edges, 4 markings/sec, 2890 secs
lola: STP completed || 1 tries, 12736 fired transitions, 2895 secs || 12544 markings, 14540 edges, 4 markings/sec, 2895 secs
lola: STP completed || 1 tries, 12757 fired transitions, 2900 secs || 12566 markings, 14563 edges, 4 markings/sec, 2900 secs
lola: STP completed || 1 tries, 12780 fired transitions, 2905 secs || 12589 markings, 14591 edges, 5 markings/sec, 2905 secs
lola: STP completed || 1 tries, 12803 fired transitions, 2910 secs || 12612 markings, 14614 edges, 5 markings/sec, 2910 secs
lola: STP completed || 1 tries, 12826 fired transitions, 2915 secs || 12635 markings, 14637 edges, 5 markings/sec, 2915 secs
lola: STP completed || 1 tries, 12849 fired transitions, 2920 secs || 12658 markings, 14660 edges, 5 markings/sec, 2920 secs
lola: STP completed || 1 tries, 12871 fired transitions, 2925 secs || 12681 markings, 14683 edges, 5 markings/sec, 2925 secs
lola: STP completed || 1 tries, 12893 fired transitions, 2930 secs || 12702 markings, 14704 edges, 4 markings/sec, 2930 secs
lola: STP completed || 1 tries, 12916 fired transitions, 2935 secs || 12725 markings, 14727 edges, 5 markings/sec, 2935 secs
lola: STP completed || 1 tries, 12939 fired transitions, 2940 secs || 12748 markings, 14750 edges, 5 markings/sec, 2940 secs
lola: STP completed || 1 tries, 12962 fired transitions, 2945 secs || 12771 markings, 14774 edges, 5 markings/sec, 2945 secs
lola: STP completed || 1 tries, 12983 fired transitions, 2950 secs || 12793 markings, 14800 edges, 4 markings/sec, 2950 secs
lola: STP completed || 1 tries, 13005 fired transitions, 2955 secs || 12815 markings, 14822 edges, 4 markings/sec, 2955 secs
lola: STP completed || 1 tries, 13028 fired transitions, 2960 secs || 12838 markings, 14845 edges, 5 markings/sec, 2960 secs
lola: STP completed || 1 tries, 13051 fired transitions, 2965 secs || 12861 markings, 14868 edges, 5 markings/sec, 2965 secs
lola: STP completed || 1 tries, 13073 fired transitions, 2970 secs || 12883 markings, 14891 edges, 4 markings/sec, 2970 secs
lola: STP completed || 1 tries, 13095 fired transitions, 2975 secs || 12905 markings, 14933 edges, 4 markings/sec, 2975 secs
lola: STP completed || 1 tries, 13117 fired transitions, 2980 secs || 12927 markings, 14958 edges, 4 markings/sec, 2980 secs
lola: STP completed || 1 tries, 13139 fired transitions, 2985 secs || 12949 markings, 14980 edges, 4 markings/sec, 2985 secs
lola: STP completed || 1 tries, 13162 fired transitions, 2990 secs || 12972 markings, 15003 edges, 5 markings/sec, 2990 secs
lola: STP completed || 1 tries, 13184 fired transitions, 2995 secs || 12994 markings, 15025 edges, 4 markings/sec, 2995 secs
lola: STP completed || 1 tries, 13207 fired transitions, 3000 secs || 13017 markings, 15048 edges, 5 markings/sec, 3000 secs
lola: STP completed || 1 tries, 13231 fired transitions, 3005 secs || 13041 markings, 15072 edges, 5 markings/sec, 3005 secs
lola: STP completed || 1 tries, 13253 fired transitions, 3010 secs || 13063 markings, 15094 edges, 4 markings/sec, 3010 secs
lola: STP completed || 1 tries, 13275 fired transitions, 3015 secs || 13085 markings, 15123 edges, 4 markings/sec, 3015 secs
lola: STP completed || 1 tries, 13298 fired transitions, 3020 secs || 13108 markings, 15169 edges, 5 markings/sec, 3020 secs
lola: STP completed || 1 tries, 13321 fired transitions, 3025 secs || 13131 markings, 15215 edges, 5 markings/sec, 3025 secs
lola: STP completed || 1 tries, 13345 fired transitions, 3030 secs || 13155 markings, 15255 edges, 5 markings/sec, 3030 secs
lola: STP completed || 1 tries, 13368 fired transitions, 3035 secs || 13178 markings, 15287 edges, 5 markings/sec, 3035 secs
lola: STP completed || 1 tries, 13392 fired transitions, 3040 secs || 13202 markings, 15311 edges, 5 markings/sec, 3040 secs
lola: STP completed || 1 tries, 13416 fired transitions, 3045 secs || 13226 markings, 15335 edges, 5 markings/sec, 3045 secs
lola: STP completed || 1 tries, 13439 fired transitions, 3050 secs || 13249 markings, 15359 edges, 5 markings/sec, 3050 secs
lola: STP completed || 1 tries, 13462 fired transitions, 3055 secs || 13272 markings, 15390 edges, 5 markings/sec, 3055 secs
lola: STP completed || 1 tries, 13485 fired transitions, 3060 secs || 13295 markings, 15415 edges, 5 markings/sec, 3060 secs
lola: STP completed || 1 tries, 13507 fired transitions, 3065 secs || 13317 markings, 15437 edges, 4 markings/sec, 3065 secs
lola: STP completed || 1 tries, 13531 fired transitions, 3070 secs || 13341 markings, 15461 edges, 5 markings/sec, 3070 secs
lola: STP completed || 1 tries, 13554 fired transitions, 3075 secs || 13364 markings, 15484 edges, 5 markings/sec, 3075 secs
lola: STP completed || 1 tries, 13576 fired transitions, 3080 secs || 13386 markings, 15506 edges, 4 markings/sec, 3080 secs
lola: STP completed || 1 tries, 13599 fired transitions, 3085 secs || 13409 markings, 15529 edges, 5 markings/sec, 3085 secs
lola: STP completed || 1 tries, 13621 fired transitions, 3090 secs || 13431 markings, 15551 edges, 4 markings/sec, 3090 secs
lola: STP completed || 1 tries, 13643 fired transitions, 3095 secs || 13453 markings, 15573 edges, 4 markings/sec, 3095 secs
lola: STP completed || 1 tries, 13666 fired transitions, 3100 secs || 13476 markings, 15596 edges, 5 markings/sec, 3100 secs
lola: STP completed || 1 tries, 13689 fired transitions, 3105 secs || 13499 markings, 15619 edges, 5 markings/sec, 3105 secs
lola: STP completed || 1 tries, 13712 fired transitions, 3110 secs || 13522 markings, 15642 edges, 5 markings/sec, 3110 secs
lola: STP completed || 1 tries, 13734 fired transitions, 3115 secs || 13544 markings, 15665 edges, 4 markings/sec, 3115 secs
lola: STP completed || 1 tries, 13757 fired transitions, 3120 secs || 13567 markings, 15696 edges, 5 markings/sec, 3120 secs
lola: STP completed || 1 tries, 13780 fired transitions, 3125 secs || 13590 markings, 15727 edges, 5 markings/sec, 3125 secs
lola: STP completed || 1 tries, 13801 fired transitions, 3130 secs || 13611 markings, 15748 edges, 4 markings/sec, 3130 secs
lola: STP completed || 1 tries, 13823 fired transitions, 3135 secs || 13633 markings, 15770 edges, 4 markings/sec, 3135 secs
lola: STP completed || 1 tries, 13845 fired transitions, 3140 secs || 13655 markings, 15793 edges, 4 markings/sec, 3140 secs
lola: STP completed || 1 tries, 13868 fired transitions, 3145 secs || 13678 markings, 15816 edges, 5 markings/sec, 3145 secs
lola: STP completed || 1 tries, 13890 fired transitions, 3150 secs || 13700 markings, 15838 edges, 4 markings/sec, 3150 secs
lola: STP completed || 1 tries, 13913 fired transitions, 3155 secs || 13723 markings, 15861 edges, 5 markings/sec, 3155 secs
lola: STP completed || 1 tries, 13935 fired transitions, 3160 secs || 13745 markings, 15883 edges, 4 markings/sec, 3160 secs
lola: STP completed || 1 tries, 13958 fired transitions, 3165 secs || 13768 markings, 15906 edges, 5 markings/sec, 3165 secs
lola: STP completed || 1 tries, 13981 fired transitions, 3170 secs || 13791 markings, 15931 edges, 5 markings/sec, 3170 secs
lola: STP completed || 1 tries, 14005 fired transitions, 3175 secs || 13815 markings, 15970 edges, 5 markings/sec, 3175 secs
lola: STP completed || 1 tries, 14028 fired transitions, 3180 secs || 13838 markings, 15993 edges, 5 markings/sec, 3180 secs
lola: STP completed || 1 tries, 14052 fired transitions, 3185 secs || 13862 markings, 16017 edges, 5 markings/sec, 3185 secs
lola: STP completed || 1 tries, 14076 fired transitions, 3190 secs || 13886 markings, 16041 edges, 5 markings/sec, 3190 secs
lola: STP completed || 1 tries, 14099 fired transitions, 3195 secs || 13909 markings, 16064 edges, 5 markings/sec, 3195 secs
lola: STP completed || 1 tries, 14123 fired transitions, 3200 secs || 13933 markings, 16088 edges, 5 markings/sec, 3200 secs
lola: STP completed || 1 tries, 14146 fired transitions, 3205 secs || 13956 markings, 16111 edges, 5 markings/sec, 3205 secs
lola: STP completed || 1 tries, 14170 fired transitions, 3210 secs || 13980 markings, 16135 edges, 5 markings/sec, 3210 secs
lola: STP completed || 1 tries, 14192 fired transitions, 3215 secs || 14002 markings, 16157 edges, 4 markings/sec, 3215 secs
lola: STP completed || 1 tries, 14214 fired transitions, 3220 secs || 14024 markings, 16189 edges, 4 markings/sec, 3220 secs
lola: STP completed || 1 tries, 14235 fired transitions, 3225 secs || 14045 markings, 16215 edges, 4 markings/sec, 3225 secs
lola: STP completed || 1 tries, 14257 fired transitions, 3230 secs || 14067 markings, 16250 edges, 4 markings/sec, 3230 secs
lola: STP completed || 1 tries, 14279 fired transitions, 3235 secs || 14089 markings, 16285 edges, 4 markings/sec, 3235 secs
lola: STP completed || 1 tries, 14301 fired transitions, 3240 secs || 14111 markings, 16307 edges, 4 markings/sec, 3240 secs
lola: STP completed || 1 tries, 14324 fired transitions, 3245 secs || 14134 markings, 16330 edges, 5 markings/sec, 3245 secs
lola: STP completed || 1 tries, 14346 fired transitions, 3250 secs || 14156 markings, 16352 edges, 4 markings/sec, 3250 secs
lola: STP completed || 1 tries, 14369 fired transitions, 3255 secs || 14179 markings, 16375 edges, 5 markings/sec, 3255 secs
lola: STP completed || 1 tries, 14394 fired transitions, 3260 secs || 14204 markings, 16400 edges, 5 markings/sec, 3260 secs
lola: STP completed || 1 tries, 14418 fired transitions, 3265 secs || 14228 markings, 16428 edges, 5 markings/sec, 3265 secs
lola: time limit reached - aborting
lola: memory consumption: 980144 KB
lola: time consumption: 3567 seconds

BK_STOP 1527804685588

--------------------
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-1"
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-1.tgz
mv RERS17pb114-PT-1 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-1, 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-152749170000467"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;