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

About the Execution of LoLA for RERS17pb114-PT-4

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1738.240 3570740.00 7324533.00 793.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.7K May 30 22:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 30 22:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 29 16:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 23K May 29 16:10 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:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 28 10:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 28 08:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.5K May 28 08:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 4.0K May 28 06:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 28 06:56 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.3K May 27 04:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 27 04:27 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-4, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-csrt-152749170000494

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

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

info: Time: 3600 - MCC
===========================================================================================
prep: translating RERS17pb114-PT-4 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating RERS17pb114-PT-4 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ RERS17pb114-PT-4 @ 3568 seconds
lola: LoLA will run for 3568 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 152531/65536 symbol table entries, 94907 collisions
lola: preprocessing...
lola: Size of bit vector: 1446
lola: finding significant places
lola: 1446 places, 151085 transitions, 1411 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 210714 transition conflict sets
lola: TASK
lola: reading formula from RERS17pb114-PT-1-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: 0 generators; 1044735 candidates remain ( 0%), 0 secs
lola: STP running || 1 tries, 16 fired transitions, 0 secs
lola: STP running || 1 tries, 35 fired transitions, 5 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 5 secs
lola: STP running || 1 tries, 55 fired transitions, 10 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 10 secs
lola: STP running || 1 tries, 72 fired transitions, 15 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 15 secs
lola: STP running || 1 tries, 85 fired transitions, 20 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 20 secs
lola: STP running || 1 tries, 101 fired transitions, 25 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 25 secs
lola: STP running || 1 tries, 118 fired transitions, 30 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 30 secs
lola: STP running || 1 tries, 130 fired transitions, 35 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 35 secs
lola: STP running || 1 tries, 145 fired transitions, 40 secs
lola: 17 generators; 577 candidates remain ( 2%), 40 secs
lola: STP: formula with 1980013 variables and 9244159 clauses shipped to Minisat
lola: STP running || 1 tries, 165 fired transitions, 45 secs
lola: 125 generators; 136 candidates remain (47%), 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, 185 fired transitions, 50 secs
lola: STP running || 1 tries, 207 fired transitions, 55 secs || 12 markings, 16 edges, 2 markings/sec, 55 secs
lola: STP running || 1 tries, 227 fired transitions, 60 secs || 24 markings, 31 edges, 2 markings/sec, 60 secs
lola: STP running || 1 tries, 245 fired transitions, 65 secs || 42 markings, 52 edges, 4 markings/sec, 65 secs
lola: STP running || 1 tries, 259 fired transitions, 70 secs || 64 markings, 78 edges, 4 markings/sec, 70 secs
lola: STP running || 1 tries, 270 fired transitions, 75 secs || 86 markings, 114 edges, 4 markings/sec, 75 secs
lola: STP running || 1 tries, 286 fired transitions, 80 secs || 101 markings, 129 edges, 3 markings/sec, 80 secs
lola: STP running || 1 tries, 296 fired transitions, 85 secs || 111 markings, 139 edges, 2 markings/sec, 85 secs
lola: STP running || 1 tries, 306 fired transitions, 90 secs || 122 markings, 152 edges, 2 markings/sec, 90 secs
lola: STP running || 1 tries, 319 fired transitions, 95 secs || 140 markings, 182 edges, 4 markings/sec, 95 secs
lola: STP running || 1 tries, 329 fired transitions, 100 secs || 160 markings, 208 edges, 4 markings/sec, 100 secs
lola: STP running || 1 tries, 339 fired transitions, 105 secs || 175 markings, 224 edges, 3 markings/sec, 105 secs
lola: STP running || 1 tries, 351 fired transitions, 110 secs || 185 markings, 238 edges, 2 markings/sec, 110 secs
lola: STP running || 1 tries, 361 fired transitions, 115 secs || 197 markings, 262 edges, 2 markings/sec, 115 secs
lola: STP running || 1 tries, 380 fired transitions, 120 secs || 208 markings, 283 edges, 2 markings/sec, 120 secs
lola: STP running || 1 tries, 391 fired transitions, 125 secs || 222 markings, 298 edges, 3 markings/sec, 125 secs
lola: STP running || 1 tries, 401 fired transitions, 130 secs || 238 markings, 322 edges, 3 markings/sec, 130 secs
lola: STP running || 1 tries, 412 fired transitions, 135 secs || 260 markings, 366 edges, 4 markings/sec, 135 secs
lola: STP running || 1 tries, 423 fired transitions, 140 secs || 281 markings, 402 edges, 4 markings/sec, 140 secs
lola: STP running || 1 tries, 433 fired transitions, 145 secs || 297 markings, 434 edges, 3 markings/sec, 145 secs
lola: STP running || 1 tries, 444 fired transitions, 150 secs || 319 markings, 475 edges, 4 markings/sec, 150 secs
lola: STP running || 1 tries, 455 fired transitions, 155 secs || 339 markings, 515 edges, 4 markings/sec, 155 secs
lola: STP running || 1 tries, 467 fired transitions, 160 secs || 361 markings, 559 edges, 4 markings/sec, 160 secs
lola: STP running || 1 tries, 482 fired transitions, 165 secs || 374 markings, 585 edges, 3 markings/sec, 165 secs
lola: STP running || 1 tries, 504 fired transitions, 170 secs || 392 markings, 621 edges, 4 markings/sec, 170 secs
lola: STP running || 1 tries, 515 fired transitions, 175 secs || 413 markings, 663 edges, 4 markings/sec, 175 secs
lola: STP running || 1 tries, 528 fired transitions, 180 secs || 423 markings, 683 edges, 2 markings/sec, 180 secs
lola: STP running || 1 tries, 539 fired transitions, 185 secs || 444 markings, 720 edges, 4 markings/sec, 185 secs
lola: STP running || 1 tries, 555 fired transitions, 190 secs || 456 markings, 733 edges, 2 markings/sec, 190 secs
lola: STP running || 1 tries, 566 fired transitions, 195 secs || 473 markings, 750 edges, 3 markings/sec, 195 secs
lola: STP running || 1 tries, 581 fired transitions, 200 secs || 491 markings, 768 edges, 4 markings/sec, 200 secs
lola: STP running || 1 tries, 599 fired transitions, 205 secs || 504 markings, 781 edges, 3 markings/sec, 205 secs
lola: STP running || 1 tries, 611 fired transitions, 210 secs || 524 markings, 801 edges, 4 markings/sec, 210 secs
lola: STP running || 1 tries, 625 fired transitions, 215 secs || 534 markings, 811 edges, 2 markings/sec, 215 secs
lola: STP running || 1 tries, 638 fired transitions, 220 secs || 550 markings, 827 edges, 3 markings/sec, 220 secs
lola: STP running || 1 tries, 653 fired transitions, 225 secs || 567 markings, 844 edges, 3 markings/sec, 225 secs
lola: STP running || 1 tries, 674 fired transitions, 230 secs || 578 markings, 855 edges, 2 markings/sec, 230 secs
lola: STP running || 1 tries, 692 fired transitions, 235 secs || 590 markings, 867 edges, 2 markings/sec, 235 secs
lola: STP running || 1 tries, 706 fired transitions, 240 secs || 606 markings, 883 edges, 3 markings/sec, 240 secs
lola: STP running || 1 tries, 725 fired transitions, 245 secs || 619 markings, 903 edges, 3 markings/sec, 245 secs
lola: STP running || 1 tries, 735 fired transitions, 250 secs || 640 markings, 945 edges, 4 markings/sec, 250 secs
lola: STP running || 1 tries, 752 fired transitions, 255 secs || 655 markings, 975 edges, 3 markings/sec, 255 secs
lola: STP running || 1 tries, 766 fired transitions, 260 secs || 674 markings, 1013 edges, 4 markings/sec, 260 secs
lola: STP running || 1 tries, 780 fired transitions, 265 secs || 696 markings, 1057 edges, 4 markings/sec, 265 secs
lola: STP running || 1 tries, 795 fired transitions, 270 secs || 713 markings, 1076 edges, 3 markings/sec, 270 secs
lola: STP running || 1 tries, 817 fired transitions, 275 secs || 724 markings, 1087 edges, 2 markings/sec, 275 secs
lola: STP running || 1 tries, 838 fired transitions, 280 secs || 735 markings, 1098 edges, 2 markings/sec, 280 secs
lola: STP running || 1 tries, 852 fired transitions, 285 secs || 752 markings, 1115 edges, 3 markings/sec, 285 secs
lola: STP running || 1 tries, 874 fired transitions, 290 secs || 763 markings, 1126 edges, 2 markings/sec, 290 secs
lola: STP running || 1 tries, 891 fired transitions, 295 secs || 774 markings, 1137 edges, 2 markings/sec, 295 secs
lola: STP running || 1 tries, 906 fired transitions, 300 secs || 786 markings, 1149 edges, 2 markings/sec, 300 secs
lola: STP running || 1 tries, 918 fired transitions, 305 secs || 796 markings, 1159 edges, 2 markings/sec, 305 secs
lola: STP running || 1 tries, 929 fired transitions, 310 secs || 807 markings, 1170 edges, 2 markings/sec, 310 secs
lola: STP running || 1 tries, 946 fired transitions, 315 secs || 822 markings, 1185 edges, 3 markings/sec, 315 secs
lola: STP running || 1 tries, 958 fired transitions, 320 secs || 844 markings, 1207 edges, 4 markings/sec, 320 secs
lola: STP running || 1 tries, 976 fired transitions, 325 secs || 862 markings, 1225 edges, 4 markings/sec, 325 secs
lola: STP running || 1 tries, 989 fired transitions, 330 secs || 881 markings, 1244 edges, 4 markings/sec, 330 secs
lola: STP running || 1 tries, 1010 fired transitions, 335 secs || 893 markings, 1256 edges, 2 markings/sec, 335 secs
lola: STP running || 1 tries, 1028 fired transitions, 340 secs || 904 markings, 1267 edges, 2 markings/sec, 340 secs
lola: STP running || 1 tries, 1049 fired transitions, 345 secs || 915 markings, 1278 edges, 2 markings/sec, 345 secs
lola: STP running || 1 tries, 1063 fired transitions, 350 secs || 926 markings, 1289 edges, 2 markings/sec, 350 secs
lola: STP running || 1 tries, 1081 fired transitions, 355 secs || 939 markings, 1302 edges, 3 markings/sec, 355 secs
lola: STP running || 1 tries, 1097 fired transitions, 360 secs || 955 markings, 1318 edges, 3 markings/sec, 360 secs
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 1116 fired transitions, 365 secs || 974 markings, 1337 edges, 4 markings/sec, 365 secs
lola: STP completed || 1 tries, 1137 fired transitions, 370 secs || 995 markings, 1358 edges, 4 markings/sec, 370 secs
lola: STP completed || 1 tries, 1158 fired transitions, 375 secs || 1016 markings, 1379 edges, 4 markings/sec, 375 secs
lola: STP completed || 1 tries, 1179 fired transitions, 380 secs || 1036 markings, 1399 edges, 4 markings/sec, 380 secs
lola: STP completed || 1 tries, 1201 fired transitions, 385 secs || 1057 markings, 1420 edges, 4 markings/sec, 385 secs
lola: STP completed || 1 tries, 1223 fired transitions, 390 secs || 1079 markings, 1442 edges, 4 markings/sec, 390 secs
lola: STP completed || 1 tries, 1244 fired transitions, 395 secs || 1099 markings, 1467 edges, 4 markings/sec, 395 secs
lola: STP completed || 1 tries, 1266 fired transitions, 400 secs || 1120 markings, 1488 edges, 4 markings/sec, 400 secs
lola: STP completed || 1 tries, 1287 fired transitions, 405 secs || 1141 markings, 1509 edges, 4 markings/sec, 405 secs
lola: STP completed || 1 tries, 1308 fired transitions, 410 secs || 1161 markings, 1529 edges, 4 markings/sec, 410 secs
lola: STP completed || 1 tries, 1330 fired transitions, 415 secs || 1182 markings, 1550 edges, 4 markings/sec, 415 secs
lola: STP completed || 1 tries, 1351 fired transitions, 420 secs || 1202 markings, 1570 edges, 4 markings/sec, 420 secs
lola: STP completed || 1 tries, 1372 fired transitions, 425 secs || 1223 markings, 1591 edges, 4 markings/sec, 425 secs
lola: STP completed || 1 tries, 1393 fired transitions, 430 secs || 1244 markings, 1612 edges, 4 markings/sec, 430 secs
lola: STP completed || 1 tries, 1414 fired transitions, 435 secs || 1265 markings, 1633 edges, 4 markings/sec, 435 secs
lola: STP completed || 1 tries, 1435 fired transitions, 440 secs || 1285 markings, 1653 edges, 4 markings/sec, 440 secs
lola: STP completed || 1 tries, 1457 fired transitions, 445 secs || 1306 markings, 1674 edges, 4 markings/sec, 445 secs
lola: STP completed || 1 tries, 1477 fired transitions, 450 secs || 1327 markings, 1695 edges, 4 markings/sec, 450 secs
lola: STP completed || 1 tries, 1499 fired transitions, 455 secs || 1348 markings, 1724 edges, 4 markings/sec, 455 secs
lola: STP completed || 1 tries, 1518 fired transitions, 460 secs || 1369 markings, 1766 edges, 4 markings/sec, 460 secs
lola: STP completed || 1 tries, 1540 fired transitions, 465 secs || 1390 markings, 1807 edges, 4 markings/sec, 465 secs
lola: STP completed || 1 tries, 1561 fired transitions, 470 secs || 1411 markings, 1832 edges, 4 markings/sec, 470 secs
lola: STP completed || 1 tries, 1582 fired transitions, 475 secs || 1432 markings, 1853 edges, 4 markings/sec, 475 secs
lola: STP completed || 1 tries, 1603 fired transitions, 480 secs || 1454 markings, 1875 edges, 4 markings/sec, 480 secs
lola: STP completed || 1 tries, 1625 fired transitions, 485 secs || 1476 markings, 1919 edges, 4 markings/sec, 485 secs
lola: STP completed || 1 tries, 1647 fired transitions, 490 secs || 1498 markings, 1963 edges, 4 markings/sec, 490 secs
lola: STP completed || 1 tries, 1669 fired transitions, 495 secs || 1520 markings, 2006 edges, 4 markings/sec, 495 secs
lola: STP completed || 1 tries, 1691 fired transitions, 500 secs || 1542 markings, 2034 edges, 4 markings/sec, 500 secs
lola: STP completed || 1 tries, 1713 fired transitions, 505 secs || 1564 markings, 2063 edges, 4 markings/sec, 505 secs
lola: STP completed || 1 tries, 1734 fired transitions, 510 secs || 1586 markings, 2096 edges, 4 markings/sec, 510 secs
lola: STP completed || 1 tries, 1756 fired transitions, 515 secs || 1608 markings, 2126 edges, 4 markings/sec, 515 secs
lola: STP completed || 1 tries, 1778 fired transitions, 520 secs || 1630 markings, 2153 edges, 4 markings/sec, 520 secs
lola: STP completed || 1 tries, 1800 fired transitions, 525 secs || 1652 markings, 2175 edges, 4 markings/sec, 525 secs
lola: STP completed || 1 tries, 1823 fired transitions, 530 secs || 1675 markings, 2198 edges, 5 markings/sec, 530 secs
lola: STP completed || 1 tries, 1845 fired transitions, 535 secs || 1698 markings, 2221 edges, 5 markings/sec, 535 secs
lola: STP completed || 1 tries, 1867 fired transitions, 540 secs || 1720 markings, 2243 edges, 4 markings/sec, 540 secs
lola: STP completed || 1 tries, 1890 fired transitions, 545 secs || 1742 markings, 2265 edges, 4 markings/sec, 545 secs
lola: STP completed || 1 tries, 1912 fired transitions, 550 secs || 1764 markings, 2287 edges, 4 markings/sec, 550 secs
lola: STP completed || 1 tries, 1932 fired transitions, 555 secs || 1785 markings, 2308 edges, 4 markings/sec, 555 secs
lola: STP completed || 1 tries, 1954 fired transitions, 560 secs || 1807 markings, 2330 edges, 4 markings/sec, 560 secs
lola: STP completed || 1 tries, 1975 fired transitions, 565 secs || 1829 markings, 2352 edges, 4 markings/sec, 565 secs
lola: STP completed || 1 tries, 1997 fired transitions, 570 secs || 1850 markings, 2373 edges, 4 markings/sec, 570 secs
lola: STP completed || 1 tries, 2019 fired transitions, 575 secs || 1872 markings, 2395 edges, 4 markings/sec, 575 secs
lola: STP completed || 1 tries, 2041 fired transitions, 580 secs || 1894 markings, 2425 edges, 4 markings/sec, 580 secs
lola: STP completed || 1 tries, 2063 fired transitions, 585 secs || 1916 markings, 2469 edges, 4 markings/sec, 585 secs
lola: STP completed || 1 tries, 2085 fired transitions, 590 secs || 1938 markings, 2510 edges, 4 markings/sec, 590 secs
lola: STP completed || 1 tries, 2106 fired transitions, 595 secs || 1960 markings, 2554 edges, 4 markings/sec, 595 secs
lola: STP completed || 1 tries, 2125 fired transitions, 600 secs || 1982 markings, 2589 edges, 4 markings/sec, 600 secs
lola: STP completed || 1 tries, 2146 fired transitions, 605 secs || 2003 markings, 2610 edges, 4 markings/sec, 605 secs
lola: STP completed || 1 tries, 2167 fired transitions, 610 secs || 2024 markings, 2631 edges, 4 markings/sec, 610 secs
lola: STP completed || 1 tries, 2188 fired transitions, 615 secs || 2045 markings, 2652 edges, 4 markings/sec, 615 secs
lola: STP completed || 1 tries, 2210 fired transitions, 620 secs || 2067 markings, 2674 edges, 4 markings/sec, 620 secs
lola: STP completed || 1 tries, 2232 fired transitions, 625 secs || 2089 markings, 2696 edges, 4 markings/sec, 625 secs
lola: STP completed || 1 tries, 2254 fired transitions, 630 secs || 2111 markings, 2718 edges, 4 markings/sec, 630 secs
lola: STP completed || 1 tries, 2275 fired transitions, 635 secs || 2132 markings, 2739 edges, 4 markings/sec, 635 secs
lola: STP completed || 1 tries, 2297 fired transitions, 640 secs || 2154 markings, 2761 edges, 4 markings/sec, 640 secs
lola: STP completed || 1 tries, 2319 fired transitions, 645 secs || 2176 markings, 2783 edges, 4 markings/sec, 645 secs
lola: STP completed || 1 tries, 2340 fired transitions, 650 secs || 2197 markings, 2804 edges, 4 markings/sec, 650 secs
lola: STP completed || 1 tries, 2362 fired transitions, 655 secs || 2220 markings, 2827 edges, 5 markings/sec, 655 secs
lola: STP completed || 1 tries, 2383 fired transitions, 660 secs || 2241 markings, 2848 edges, 4 markings/sec, 660 secs
lola: STP completed || 1 tries, 2404 fired transitions, 665 secs || 2263 markings, 2870 edges, 4 markings/sec, 665 secs
lola: STP completed || 1 tries, 2426 fired transitions, 670 secs || 2285 markings, 2892 edges, 4 markings/sec, 670 secs
lola: STP completed || 1 tries, 2447 fired transitions, 675 secs || 2307 markings, 2930 edges, 4 markings/sec, 675 secs
lola: STP completed || 1 tries, 2468 fired transitions, 680 secs || 2329 markings, 2952 edges, 4 markings/sec, 680 secs
lola: STP completed || 1 tries, 2490 fired transitions, 685 secs || 2351 markings, 2974 edges, 4 markings/sec, 685 secs
lola: STP completed || 1 tries, 2512 fired transitions, 690 secs || 2372 markings, 2995 edges, 4 markings/sec, 690 secs
lola: STP completed || 1 tries, 2533 fired transitions, 695 secs || 2393 markings, 3016 edges, 4 markings/sec, 695 secs
lola: STP completed || 1 tries, 2554 fired transitions, 700 secs || 2415 markings, 3038 edges, 4 markings/sec, 700 secs
lola: STP completed || 1 tries, 2576 fired transitions, 705 secs || 2437 markings, 3062 edges, 4 markings/sec, 705 secs
lola: STP completed || 1 tries, 2598 fired transitions, 710 secs || 2459 markings, 3084 edges, 4 markings/sec, 710 secs
lola: STP completed || 1 tries, 2619 fired transitions, 715 secs || 2481 markings, 3106 edges, 4 markings/sec, 715 secs
lola: STP completed || 1 tries, 2640 fired transitions, 720 secs || 2502 markings, 3127 edges, 4 markings/sec, 720 secs
lola: STP completed || 1 tries, 2662 fired transitions, 725 secs || 2524 markings, 3149 edges, 4 markings/sec, 725 secs
lola: STP completed || 1 tries, 2684 fired transitions, 730 secs || 2546 markings, 3171 edges, 4 markings/sec, 730 secs
lola: STP completed || 1 tries, 2706 fired transitions, 735 secs || 2568 markings, 3193 edges, 4 markings/sec, 735 secs
lola: STP completed || 1 tries, 2727 fired transitions, 740 secs || 2589 markings, 3214 edges, 4 markings/sec, 740 secs
lola: STP completed || 1 tries, 2748 fired transitions, 745 secs || 2611 markings, 3236 edges, 4 markings/sec, 745 secs
lola: STP completed || 1 tries, 2770 fired transitions, 750 secs || 2632 markings, 3257 edges, 4 markings/sec, 750 secs
lola: STP completed || 1 tries, 2791 fired transitions, 755 secs || 2654 markings, 3283 edges, 4 markings/sec, 755 secs
lola: STP completed || 1 tries, 2812 fired transitions, 760 secs || 2675 markings, 3320 edges, 4 markings/sec, 760 secs
lola: STP completed || 1 tries, 2835 fired transitions, 765 secs || 2698 markings, 3366 edges, 5 markings/sec, 765 secs
lola: STP completed || 1 tries, 2857 fired transitions, 770 secs || 2720 markings, 3402 edges, 4 markings/sec, 770 secs
lola: STP completed || 1 tries, 2879 fired transitions, 775 secs || 2742 markings, 3446 edges, 4 markings/sec, 775 secs
lola: STP completed || 1 tries, 2901 fired transitions, 780 secs || 2764 markings, 3487 edges, 4 markings/sec, 780 secs
lola: STP completed || 1 tries, 2922 fired transitions, 785 secs || 2786 markings, 3513 edges, 4 markings/sec, 785 secs
lola: STP completed || 1 tries, 2943 fired transitions, 790 secs || 2807 markings, 3534 edges, 4 markings/sec, 790 secs
lola: STP completed || 1 tries, 2965 fired transitions, 795 secs || 2829 markings, 3556 edges, 4 markings/sec, 795 secs
lola: STP completed || 1 tries, 2987 fired transitions, 800 secs || 2851 markings, 3578 edges, 4 markings/sec, 800 secs
lola: STP completed || 1 tries, 3008 fired transitions, 805 secs || 2872 markings, 3599 edges, 4 markings/sec, 805 secs
lola: STP completed || 1 tries, 3030 fired transitions, 810 secs || 2895 markings, 3622 edges, 5 markings/sec, 810 secs
lola: STP completed || 1 tries, 3051 fired transitions, 815 secs || 2917 markings, 3645 edges, 4 markings/sec, 815 secs
lola: STP completed || 1 tries, 3073 fired transitions, 820 secs || 2938 markings, 3666 edges, 4 markings/sec, 820 secs
lola: STP completed || 1 tries, 3094 fired transitions, 825 secs || 2959 markings, 3687 edges, 4 markings/sec, 825 secs
lola: STP completed || 1 tries, 3114 fired transitions, 830 secs || 2981 markings, 3709 edges, 4 markings/sec, 830 secs
lola: STP completed || 1 tries, 3135 fired transitions, 835 secs || 3002 markings, 3730 edges, 4 markings/sec, 835 secs
lola: STP completed || 1 tries, 3155 fired transitions, 840 secs || 3023 markings, 3751 edges, 4 markings/sec, 840 secs
lola: STP completed || 1 tries, 3176 fired transitions, 845 secs || 3045 markings, 3773 edges, 4 markings/sec, 845 secs
lola: STP completed || 1 tries, 3198 fired transitions, 850 secs || 3066 markings, 3794 edges, 4 markings/sec, 850 secs
lola: STP completed || 1 tries, 3219 fired transitions, 855 secs || 3087 markings, 3815 edges, 4 markings/sec, 855 secs
lola: STP completed || 1 tries, 3239 fired transitions, 860 secs || 3108 markings, 3836 edges, 4 markings/sec, 860 secs
lola: STP completed || 1 tries, 3261 fired transitions, 865 secs || 3130 markings, 3858 edges, 4 markings/sec, 865 secs
lola: STP completed || 1 tries, 3282 fired transitions, 870 secs || 3151 markings, 3880 edges, 4 markings/sec, 870 secs
lola: STP completed || 1 tries, 3303 fired transitions, 875 secs || 3172 markings, 3901 edges, 4 markings/sec, 875 secs
lola: STP completed || 1 tries, 3324 fired transitions, 880 secs || 3194 markings, 3923 edges, 4 markings/sec, 880 secs
lola: STP completed || 1 tries, 3345 fired transitions, 885 secs || 3215 markings, 3954 edges, 4 markings/sec, 885 secs
lola: STP completed || 1 tries, 3367 fired transitions, 890 secs || 3237 markings, 3979 edges, 4 markings/sec, 890 secs
lola: STP completed || 1 tries, 3388 fired transitions, 895 secs || 3258 markings, 4020 edges, 4 markings/sec, 895 secs
lola: STP completed || 1 tries, 3408 fired transitions, 900 secs || 3279 markings, 4056 edges, 4 markings/sec, 900 secs
lola: STP completed || 1 tries, 3429 fired transitions, 905 secs || 3300 markings, 4077 edges, 4 markings/sec, 905 secs
lola: STP completed || 1 tries, 3451 fired transitions, 910 secs || 3322 markings, 4099 edges, 4 markings/sec, 910 secs
lola: STP completed || 1 tries, 3472 fired transitions, 915 secs || 3343 markings, 4121 edges, 4 markings/sec, 915 secs
lola: STP completed || 1 tries, 3493 fired transitions, 920 secs || 3364 markings, 4142 edges, 4 markings/sec, 920 secs
lola: STP completed || 1 tries, 3514 fired transitions, 925 secs || 3386 markings, 4164 edges, 4 markings/sec, 925 secs
lola: STP completed || 1 tries, 3535 fired transitions, 930 secs || 3407 markings, 4192 edges, 4 markings/sec, 930 secs
lola: STP completed || 1 tries, 3558 fired transitions, 935 secs || 3430 markings, 4232 edges, 5 markings/sec, 935 secs
lola: STP completed || 1 tries, 3580 fired transitions, 940 secs || 3452 markings, 4261 edges, 4 markings/sec, 940 secs
lola: STP completed || 1 tries, 3601 fired transitions, 945 secs || 3473 markings, 4303 edges, 4 markings/sec, 945 secs
lola: STP completed || 1 tries, 3622 fired transitions, 950 secs || 3494 markings, 4335 edges, 4 markings/sec, 950 secs
lola: STP completed || 1 tries, 3644 fired transitions, 955 secs || 3516 markings, 4357 edges, 4 markings/sec, 955 secs
lola: STP completed || 1 tries, 3666 fired transitions, 960 secs || 3538 markings, 4396 edges, 4 markings/sec, 960 secs
lola: STP completed || 1 tries, 3687 fired transitions, 965 secs || 3559 markings, 4425 edges, 4 markings/sec, 965 secs
lola: STP completed || 1 tries, 3708 fired transitions, 970 secs || 3581 markings, 4447 edges, 4 markings/sec, 970 secs
lola: STP completed || 1 tries, 3728 fired transitions, 975 secs || 3602 markings, 4468 edges, 4 markings/sec, 975 secs
lola: STP completed || 1 tries, 3749 fired transitions, 980 secs || 3623 markings, 4489 edges, 4 markings/sec, 980 secs
lola: STP completed || 1 tries, 3771 fired transitions, 985 secs || 3645 markings, 4511 edges, 4 markings/sec, 985 secs
lola: STP completed || 1 tries, 3792 fired transitions, 990 secs || 3666 markings, 4532 edges, 4 markings/sec, 990 secs
lola: STP completed || 1 tries, 3812 fired transitions, 995 secs || 3687 markings, 4553 edges, 4 markings/sec, 995 secs
lola: STP completed || 1 tries, 3832 fired transitions, 1000 secs || 3709 markings, 4575 edges, 4 markings/sec, 1000 secs
lola: STP completed || 1 tries, 3853 fired transitions, 1005 secs || 3730 markings, 4596 edges, 4 markings/sec, 1005 secs
lola: STP completed || 1 tries, 3874 fired transitions, 1010 secs || 3753 markings, 4619 edges, 5 markings/sec, 1010 secs
lola: STP completed || 1 tries, 3896 fired transitions, 1015 secs || 3774 markings, 4640 edges, 4 markings/sec, 1015 secs
lola: STP completed || 1 tries, 3917 fired transitions, 1020 secs || 3796 markings, 4662 edges, 4 markings/sec, 1020 secs
lola: STP completed || 1 tries, 3939 fired transitions, 1025 secs || 3818 markings, 4684 edges, 4 markings/sec, 1025 secs
lola: STP completed || 1 tries, 3961 fired transitions, 1030 secs || 3840 markings, 4706 edges, 4 markings/sec, 1030 secs
lola: STP completed || 1 tries, 3982 fired transitions, 1035 secs || 3861 markings, 4727 edges, 4 markings/sec, 1035 secs
lola: STP completed || 1 tries, 4004 fired transitions, 1040 secs || 3883 markings, 4749 edges, 4 markings/sec, 1040 secs
lola: STP completed || 1 tries, 4026 fired transitions, 1045 secs || 3905 markings, 4771 edges, 4 markings/sec, 1045 secs
lola: STP completed || 1 tries, 4047 fired transitions, 1050 secs || 3927 markings, 4793 edges, 4 markings/sec, 1050 secs
lola: STP completed || 1 tries, 4069 fired transitions, 1055 secs || 3948 markings, 4814 edges, 4 markings/sec, 1055 secs
lola: STP completed || 1 tries, 4090 fired transitions, 1060 secs || 3970 markings, 4836 edges, 4 markings/sec, 1060 secs
lola: STP completed || 1 tries, 4112 fired transitions, 1065 secs || 3992 markings, 4858 edges, 4 markings/sec, 1065 secs
lola: STP completed || 1 tries, 4133 fired transitions, 1070 secs || 4014 markings, 4880 edges, 4 markings/sec, 1070 secs
lola: STP completed || 1 tries, 4155 fired transitions, 1075 secs || 4036 markings, 4902 edges, 4 markings/sec, 1075 secs
lola: STP completed || 1 tries, 4177 fired transitions, 1080 secs || 4058 markings, 4930 edges, 4 markings/sec, 1080 secs
lola: STP completed || 1 tries, 4200 fired transitions, 1085 secs || 4081 markings, 4953 edges, 5 markings/sec, 1085 secs
lola: STP completed || 1 tries, 4223 fired transitions, 1090 secs || 4104 markings, 4979 edges, 5 markings/sec, 1090 secs
lola: STP completed || 1 tries, 4246 fired transitions, 1095 secs || 4127 markings, 5021 edges, 5 markings/sec, 1095 secs
lola: STP completed || 1 tries, 4268 fired transitions, 1100 secs || 4149 markings, 5054 edges, 4 markings/sec, 1100 secs
lola: STP completed || 1 tries, 4290 fired transitions, 1105 secs || 4171 markings, 5077 edges, 4 markings/sec, 1105 secs
lola: STP completed || 1 tries, 4311 fired transitions, 1110 secs || 4193 markings, 5112 edges, 4 markings/sec, 1110 secs
lola: STP completed || 1 tries, 4333 fired transitions, 1115 secs || 4215 markings, 5134 edges, 4 markings/sec, 1115 secs
lola: STP completed || 1 tries, 4357 fired transitions, 1120 secs || 4239 markings, 5158 edges, 5 markings/sec, 1120 secs
lola: STP completed || 1 tries, 4380 fired transitions, 1125 secs || 4263 markings, 5182 edges, 5 markings/sec, 1125 secs
lola: STP completed || 1 tries, 4400 fired transitions, 1130 secs || 4285 markings, 5204 edges, 4 markings/sec, 1130 secs
lola: STP completed || 1 tries, 4419 fired transitions, 1135 secs || 4309 markings, 5229 edges, 5 markings/sec, 1135 secs
lola: STP completed || 1 tries, 4439 fired transitions, 1140 secs || 4332 markings, 5258 edges, 5 markings/sec, 1140 secs
lola: STP completed || 1 tries, 4462 fired transitions, 1145 secs || 4354 markings, 5292 edges, 4 markings/sec, 1145 secs
lola: STP completed || 1 tries, 4485 fired transitions, 1150 secs || 4377 markings, 5323 edges, 5 markings/sec, 1150 secs
lola: STP completed || 1 tries, 4508 fired transitions, 1155 secs || 4400 markings, 5346 edges, 5 markings/sec, 1155 secs
lola: STP completed || 1 tries, 4531 fired transitions, 1160 secs || 4423 markings, 5369 edges, 5 markings/sec, 1160 secs
lola: STP completed || 1 tries, 4554 fired transitions, 1165 secs || 4446 markings, 5392 edges, 5 markings/sec, 1165 secs
lola: STP completed || 1 tries, 4576 fired transitions, 1170 secs || 4468 markings, 5414 edges, 4 markings/sec, 1170 secs
lola: STP completed || 1 tries, 4600 fired transitions, 1175 secs || 4492 markings, 5438 edges, 5 markings/sec, 1175 secs
lola: STP completed || 1 tries, 4623 fired transitions, 1180 secs || 4515 markings, 5461 edges, 5 markings/sec, 1180 secs
lola: STP completed || 1 tries, 4645 fired transitions, 1185 secs || 4537 markings, 5483 edges, 4 markings/sec, 1185 secs
lola: STP completed || 1 tries, 4667 fired transitions, 1190 secs || 4559 markings, 5506 edges, 4 markings/sec, 1190 secs
lola: STP completed || 1 tries, 4690 fired transitions, 1195 secs || 4582 markings, 5529 edges, 5 markings/sec, 1195 secs
lola: STP completed || 1 tries, 4713 fired transitions, 1200 secs || 4605 markings, 5552 edges, 5 markings/sec, 1200 secs
lola: STP completed || 1 tries, 4735 fired transitions, 1205 secs || 4627 markings, 5574 edges, 4 markings/sec, 1205 secs
lola: STP completed || 1 tries, 4758 fired transitions, 1210 secs || 4650 markings, 5601 edges, 5 markings/sec, 1210 secs
lola: STP completed || 1 tries, 4781 fired transitions, 1215 secs || 4673 markings, 5626 edges, 5 markings/sec, 1215 secs
lola: STP completed || 1 tries, 4803 fired transitions, 1220 secs || 4695 markings, 5648 edges, 4 markings/sec, 1220 secs
lola: STP completed || 1 tries, 4825 fired transitions, 1225 secs || 4717 markings, 5670 edges, 4 markings/sec, 1225 secs
lola: STP completed || 1 tries, 4848 fired transitions, 1230 secs || 4740 markings, 5693 edges, 5 markings/sec, 1230 secs
lola: STP completed || 1 tries, 4870 fired transitions, 1235 secs || 4762 markings, 5715 edges, 4 markings/sec, 1235 secs
lola: STP completed || 1 tries, 4892 fired transitions, 1240 secs || 4784 markings, 5737 edges, 4 markings/sec, 1240 secs
lola: STP completed || 1 tries, 4915 fired transitions, 1245 secs || 4807 markings, 5761 edges, 5 markings/sec, 1245 secs
lola: STP completed || 1 tries, 4937 fired transitions, 1250 secs || 4829 markings, 5783 edges, 4 markings/sec, 1250 secs
lola: STP completed || 1 tries, 4960 fired transitions, 1255 secs || 4852 markings, 5806 edges, 5 markings/sec, 1255 secs
lola: STP completed || 1 tries, 4982 fired transitions, 1260 secs || 4874 markings, 5828 edges, 4 markings/sec, 1260 secs
lola: STP completed || 1 tries, 5004 fired transitions, 1265 secs || 4896 markings, 5850 edges, 4 markings/sec, 1265 secs
lola: STP completed || 1 tries, 5026 fired transitions, 1270 secs || 4918 markings, 5872 edges, 4 markings/sec, 1270 secs
lola: STP completed || 1 tries, 5049 fired transitions, 1275 secs || 4941 markings, 5895 edges, 5 markings/sec, 1275 secs
lola: STP completed || 1 tries, 5072 fired transitions, 1280 secs || 4964 markings, 5918 edges, 5 markings/sec, 1280 secs
lola: STP completed || 1 tries, 5094 fired transitions, 1285 secs || 4986 markings, 5940 edges, 4 markings/sec, 1285 secs
lola: STP completed || 1 tries, 5116 fired transitions, 1290 secs || 5009 markings, 5963 edges, 5 markings/sec, 1290 secs
lola: STP completed || 1 tries, 5138 fired transitions, 1295 secs || 5031 markings, 5985 edges, 4 markings/sec, 1295 secs
lola: STP completed || 1 tries, 5159 fired transitions, 1300 secs || 5053 markings, 6014 edges, 4 markings/sec, 1300 secs
lola: STP completed || 1 tries, 5180 fired transitions, 1305 secs || 5075 markings, 6037 edges, 4 markings/sec, 1305 secs
lola: STP completed || 1 tries, 5202 fired transitions, 1310 secs || 5097 markings, 6059 edges, 4 markings/sec, 1310 secs
lola: STP completed || 1 tries, 5223 fired transitions, 1315 secs || 5119 markings, 6081 edges, 4 markings/sec, 1315 secs
lola: STP completed || 1 tries, 5246 fired transitions, 1320 secs || 5142 markings, 6115 edges, 5 markings/sec, 1320 secs
lola: STP completed || 1 tries, 5268 fired transitions, 1325 secs || 5164 markings, 6138 edges, 4 markings/sec, 1325 secs
lola: STP completed || 1 tries, 5290 fired transitions, 1330 secs || 5186 markings, 6162 edges, 4 markings/sec, 1330 secs
lola: STP completed || 1 tries, 5313 fired transitions, 1335 secs || 5209 markings, 6198 edges, 5 markings/sec, 1335 secs
lola: STP completed || 1 tries, 5335 fired transitions, 1340 secs || 5231 markings, 6222 edges, 4 markings/sec, 1340 secs
lola: STP completed || 1 tries, 5357 fired transitions, 1345 secs || 5253 markings, 6244 edges, 4 markings/sec, 1345 secs
lola: STP completed || 1 tries, 5380 fired transitions, 1350 secs || 5276 markings, 6268 edges, 5 markings/sec, 1350 secs
lola: STP completed || 1 tries, 5401 fired transitions, 1355 secs || 5297 markings, 6289 edges, 4 markings/sec, 1355 secs
lola: STP completed || 1 tries, 5423 fired transitions, 1360 secs || 5319 markings, 6311 edges, 4 markings/sec, 1360 secs
lola: STP completed || 1 tries, 5445 fired transitions, 1365 secs || 5341 markings, 6333 edges, 4 markings/sec, 1365 secs
lola: STP completed || 1 tries, 5466 fired transitions, 1370 secs || 5362 markings, 6356 edges, 4 markings/sec, 1370 secs
lola: STP completed || 1 tries, 5488 fired transitions, 1375 secs || 5383 markings, 6377 edges, 4 markings/sec, 1375 secs
lola: STP completed || 1 tries, 5510 fired transitions, 1380 secs || 5405 markings, 6399 edges, 4 markings/sec, 1380 secs
lola: STP completed || 1 tries, 5532 fired transitions, 1385 secs || 5427 markings, 6421 edges, 4 markings/sec, 1385 secs
lola: STP completed || 1 tries, 5554 fired transitions, 1390 secs || 5449 markings, 6443 edges, 4 markings/sec, 1390 secs
lola: STP completed || 1 tries, 5576 fired transitions, 1395 secs || 5471 markings, 6465 edges, 4 markings/sec, 1395 secs
lola: STP completed || 1 tries, 5598 fired transitions, 1400 secs || 5493 markings, 6488 edges, 4 markings/sec, 1400 secs
lola: STP completed || 1 tries, 5620 fired transitions, 1405 secs || 5514 markings, 6512 edges, 4 markings/sec, 1405 secs
lola: STP completed || 1 tries, 5641 fired transitions, 1410 secs || 5536 markings, 6534 edges, 4 markings/sec, 1410 secs
lola: STP completed || 1 tries, 5663 fired transitions, 1415 secs || 5558 markings, 6556 edges, 4 markings/sec, 1415 secs
lola: STP completed || 1 tries, 5684 fired transitions, 1420 secs || 5579 markings, 6577 edges, 4 markings/sec, 1420 secs
lola: STP completed || 1 tries, 5705 fired transitions, 1425 secs || 5600 markings, 6599 edges, 4 markings/sec, 1425 secs
lola: STP completed || 1 tries, 5727 fired transitions, 1430 secs || 5622 markings, 6621 edges, 4 markings/sec, 1430 secs
lola: STP completed || 1 tries, 5749 fired transitions, 1435 secs || 5644 markings, 6643 edges, 4 markings/sec, 1435 secs
lola: STP completed || 1 tries, 5771 fired transitions, 1440 secs || 5666 markings, 6665 edges, 4 markings/sec, 1440 secs
lola: STP completed || 1 tries, 5793 fired transitions, 1445 secs || 5688 markings, 6692 edges, 4 markings/sec, 1445 secs
lola: STP completed || 1 tries, 5815 fired transitions, 1450 secs || 5710 markings, 6718 edges, 4 markings/sec, 1450 secs
lola: STP completed || 1 tries, 5837 fired transitions, 1455 secs || 5732 markings, 6757 edges, 4 markings/sec, 1455 secs
lola: STP completed || 1 tries, 5857 fired transitions, 1460 secs || 5752 markings, 6796 edges, 4 markings/sec, 1460 secs
lola: STP completed || 1 tries, 5878 fired transitions, 1465 secs || 5773 markings, 6827 edges, 4 markings/sec, 1465 secs
lola: STP completed || 1 tries, 5900 fired transitions, 1470 secs || 5794 markings, 6869 edges, 4 markings/sec, 1470 secs
lola: STP completed || 1 tries, 5920 fired transitions, 1475 secs || 5815 markings, 6901 edges, 4 markings/sec, 1475 secs
lola: STP completed || 1 tries, 5942 fired transitions, 1480 secs || 5836 markings, 6922 edges, 4 markings/sec, 1480 secs
lola: STP completed || 1 tries, 5963 fired transitions, 1485 secs || 5857 markings, 6944 edges, 4 markings/sec, 1485 secs
lola: STP completed || 1 tries, 5984 fired transitions, 1490 secs || 5878 markings, 6966 edges, 4 markings/sec, 1490 secs
lola: STP completed || 1 tries, 6006 fired transitions, 1495 secs || 5899 markings, 6998 edges, 4 markings/sec, 1495 secs
lola: STP completed || 1 tries, 6028 fired transitions, 1500 secs || 5921 markings, 7031 edges, 4 markings/sec, 1500 secs
lola: STP completed || 1 tries, 6049 fired transitions, 1505 secs || 5942 markings, 7068 edges, 4 markings/sec, 1505 secs
lola: STP completed || 1 tries, 6071 fired transitions, 1510 secs || 5964 markings, 7112 edges, 4 markings/sec, 1510 secs
lola: STP completed || 1 tries, 6094 fired transitions, 1515 secs || 5986 markings, 7155 edges, 4 markings/sec, 1515 secs
lola: STP completed || 1 tries, 6116 fired transitions, 1520 secs || 6009 markings, 7178 edges, 5 markings/sec, 1520 secs
lola: STP completed || 1 tries, 6137 fired transitions, 1525 secs || 6030 markings, 7206 edges, 4 markings/sec, 1525 secs
lola: STP completed || 1 tries, 6159 fired transitions, 1530 secs || 6052 markings, 7230 edges, 4 markings/sec, 1530 secs
lola: STP completed || 1 tries, 6181 fired transitions, 1535 secs || 6074 markings, 7252 edges, 4 markings/sec, 1535 secs
lola: STP completed || 1 tries, 6203 fired transitions, 1540 secs || 6096 markings, 7274 edges, 4 markings/sec, 1540 secs
lola: STP completed || 1 tries, 6224 fired transitions, 1545 secs || 6117 markings, 7295 edges, 4 markings/sec, 1545 secs
lola: STP completed || 1 tries, 6245 fired transitions, 1550 secs || 6137 markings, 7315 edges, 4 markings/sec, 1550 secs
lola: STP completed || 1 tries, 6266 fired transitions, 1555 secs || 6158 markings, 7336 edges, 4 markings/sec, 1555 secs
lola: STP completed || 1 tries, 6288 fired transitions, 1560 secs || 6178 markings, 7356 edges, 4 markings/sec, 1560 secs
lola: STP completed || 1 tries, 6308 fired transitions, 1565 secs || 6197 markings, 7375 edges, 4 markings/sec, 1565 secs
lola: STP completed || 1 tries, 6329 fired transitions, 1570 secs || 6216 markings, 7395 edges, 4 markings/sec, 1570 secs
lola: STP completed || 1 tries, 6351 fired transitions, 1575 secs || 6236 markings, 7415 edges, 4 markings/sec, 1575 secs
lola: STP completed || 1 tries, 6372 fired transitions, 1580 secs || 6256 markings, 7435 edges, 4 markings/sec, 1580 secs
lola: STP completed || 1 tries, 6393 fired transitions, 1585 secs || 6277 markings, 7456 edges, 4 markings/sec, 1585 secs
lola: STP completed || 1 tries, 6415 fired transitions, 1590 secs || 6299 markings, 7478 edges, 4 markings/sec, 1590 secs
lola: STP completed || 1 tries, 6435 fired transitions, 1595 secs || 6318 markings, 7497 edges, 4 markings/sec, 1595 secs
lola: STP completed || 1 tries, 6455 fired transitions, 1600 secs || 6338 markings, 7517 edges, 4 markings/sec, 1600 secs
lola: STP completed || 1 tries, 6477 fired transitions, 1605 secs || 6360 markings, 7539 edges, 4 markings/sec, 1605 secs
lola: STP completed || 1 tries, 6499 fired transitions, 1610 secs || 6382 markings, 7561 edges, 4 markings/sec, 1610 secs
lola: STP completed || 1 tries, 6520 fired transitions, 1615 secs || 6403 markings, 7582 edges, 4 markings/sec, 1615 secs
lola: STP completed || 1 tries, 6541 fired transitions, 1620 secs || 6424 markings, 7603 edges, 4 markings/sec, 1620 secs
lola: STP completed || 1 tries, 6563 fired transitions, 1625 secs || 6446 markings, 7625 edges, 4 markings/sec, 1625 secs
lola: STP completed || 1 tries, 6584 fired transitions, 1630 secs || 6467 markings, 7646 edges, 4 markings/sec, 1630 secs
lola: STP completed || 1 tries, 6606 fired transitions, 1635 secs || 6489 markings, 7676 edges, 4 markings/sec, 1635 secs
lola: STP completed || 1 tries, 6627 fired transitions, 1640 secs || 6510 markings, 7698 edges, 4 markings/sec, 1640 secs
lola: STP completed || 1 tries, 6648 fired transitions, 1645 secs || 6531 markings, 7722 edges, 4 markings/sec, 1645 secs
lola: STP completed || 1 tries, 6669 fired transitions, 1650 secs || 6551 markings, 7743 edges, 4 markings/sec, 1650 secs
lola: STP completed || 1 tries, 6690 fired transitions, 1655 secs || 6573 markings, 7765 edges, 4 markings/sec, 1655 secs
lola: STP completed || 1 tries, 6712 fired transitions, 1660 secs || 6595 markings, 7789 edges, 4 markings/sec, 1660 secs
lola: STP completed || 1 tries, 6734 fired transitions, 1665 secs || 6617 markings, 7811 edges, 4 markings/sec, 1665 secs
lola: STP completed || 1 tries, 6755 fired transitions, 1670 secs || 6638 markings, 7832 edges, 4 markings/sec, 1670 secs
lola: STP completed || 1 tries, 6776 fired transitions, 1675 secs || 6660 markings, 7854 edges, 4 markings/sec, 1675 secs
lola: STP completed || 1 tries, 6796 fired transitions, 1680 secs || 6681 markings, 7875 edges, 4 markings/sec, 1680 secs
lola: STP completed || 1 tries, 6817 fired transitions, 1685 secs || 6701 markings, 7895 edges, 4 markings/sec, 1685 secs
lola: STP completed || 1 tries, 6838 fired transitions, 1690 secs || 6722 markings, 7916 edges, 4 markings/sec, 1690 secs
lola: STP completed || 1 tries, 6860 fired transitions, 1695 secs || 6744 markings, 7938 edges, 4 markings/sec, 1695 secs
lola: STP completed || 1 tries, 6882 fired transitions, 1700 secs || 6766 markings, 7960 edges, 4 markings/sec, 1700 secs
lola: STP completed || 1 tries, 6904 fired transitions, 1705 secs || 6788 markings, 7982 edges, 4 markings/sec, 1705 secs
lola: STP completed || 1 tries, 6926 fired transitions, 1710 secs || 6810 markings, 8004 edges, 4 markings/sec, 1710 secs
lola: STP completed || 1 tries, 6947 fired transitions, 1715 secs || 6831 markings, 8025 edges, 4 markings/sec, 1715 secs
lola: STP completed || 1 tries, 6967 fired transitions, 1720 secs || 6853 markings, 8048 edges, 4 markings/sec, 1720 secs
lola: STP completed || 1 tries, 6989 fired transitions, 1725 secs || 6874 markings, 8069 edges, 4 markings/sec, 1725 secs
lola: STP completed || 1 tries, 7010 fired transitions, 1730 secs || 6896 markings, 8092 edges, 4 markings/sec, 1730 secs
lola: STP completed || 1 tries, 7032 fired transitions, 1735 secs || 6918 markings, 8114 edges, 4 markings/sec, 1735 secs
lola: STP completed || 1 tries, 7054 fired transitions, 1740 secs || 6940 markings, 8137 edges, 4 markings/sec, 1740 secs
lola: STP completed || 1 tries, 7076 fired transitions, 1745 secs || 6962 markings, 8162 edges, 4 markings/sec, 1745 secs
lola: STP completed || 1 tries, 7098 fired transitions, 1750 secs || 6983 markings, 8183 edges, 4 markings/sec, 1750 secs
lola: STP completed || 1 tries, 7121 fired transitions, 1755 secs || 7005 markings, 8205 edges, 4 markings/sec, 1755 secs
lola: STP completed || 1 tries, 7143 fired transitions, 1760 secs || 7027 markings, 8227 edges, 4 markings/sec, 1760 secs
lola: STP completed || 1 tries, 7165 fired transitions, 1765 secs || 7049 markings, 8249 edges, 4 markings/sec, 1765 secs
lola: STP completed || 1 tries, 7187 fired transitions, 1770 secs || 7070 markings, 8270 edges, 4 markings/sec, 1770 secs
lola: STP completed || 1 tries, 7210 fired transitions, 1775 secs || 7092 markings, 8292 edges, 4 markings/sec, 1775 secs
lola: STP completed || 1 tries, 7232 fired transitions, 1780 secs || 7114 markings, 8314 edges, 4 markings/sec, 1780 secs
lola: STP completed || 1 tries, 7254 fired transitions, 1785 secs || 7136 markings, 8336 edges, 4 markings/sec, 1785 secs
lola: STP completed || 1 tries, 7276 fired transitions, 1790 secs || 7158 markings, 8358 edges, 4 markings/sec, 1790 secs
lola: STP completed || 1 tries, 7298 fired transitions, 1795 secs || 7180 markings, 8390 edges, 4 markings/sec, 1795 secs
lola: STP completed || 1 tries, 7320 fired transitions, 1800 secs || 7201 markings, 8416 edges, 4 markings/sec, 1800 secs
lola: STP completed || 1 tries, 7342 fired transitions, 1805 secs || 7222 markings, 8437 edges, 4 markings/sec, 1805 secs
lola: STP completed || 1 tries, 7365 fired transitions, 1810 secs || 7245 markings, 8460 edges, 5 markings/sec, 1810 secs
lola: STP completed || 1 tries, 7387 fired transitions, 1815 secs || 7267 markings, 8482 edges, 4 markings/sec, 1815 secs
lola: STP completed || 1 tries, 7410 fired transitions, 1820 secs || 7290 markings, 8505 edges, 5 markings/sec, 1820 secs
lola: STP completed || 1 tries, 7432 fired transitions, 1825 secs || 7312 markings, 8527 edges, 4 markings/sec, 1825 secs
lola: STP completed || 1 tries, 7454 fired transitions, 1830 secs || 7334 markings, 8549 edges, 4 markings/sec, 1830 secs
lola: STP completed || 1 tries, 7477 fired transitions, 1835 secs || 7357 markings, 8572 edges, 5 markings/sec, 1835 secs
lola: STP completed || 1 tries, 7499 fired transitions, 1840 secs || 7379 markings, 8594 edges, 4 markings/sec, 1840 secs
lola: STP completed || 1 tries, 7521 fired transitions, 1845 secs || 7401 markings, 8616 edges, 4 markings/sec, 1845 secs
lola: STP completed || 1 tries, 7543 fired transitions, 1850 secs || 7422 markings, 8637 edges, 4 markings/sec, 1850 secs
lola: STP completed || 1 tries, 7565 fired transitions, 1855 secs || 7444 markings, 8660 edges, 4 markings/sec, 1855 secs
lola: STP completed || 1 tries, 7588 fired transitions, 1860 secs || 7467 markings, 8683 edges, 5 markings/sec, 1860 secs
lola: STP completed || 1 tries, 7611 fired transitions, 1865 secs || 7490 markings, 8706 edges, 5 markings/sec, 1865 secs
lola: STP completed || 1 tries, 7633 fired transitions, 1870 secs || 7512 markings, 8728 edges, 4 markings/sec, 1870 secs
lola: STP completed || 1 tries, 7655 fired transitions, 1875 secs || 7534 markings, 8750 edges, 4 markings/sec, 1875 secs
lola: STP completed || 1 tries, 7678 fired transitions, 1880 secs || 7555 markings, 8771 edges, 4 markings/sec, 1880 secs
lola: STP completed || 1 tries, 7700 fired transitions, 1885 secs || 7578 markings, 8794 edges, 5 markings/sec, 1885 secs
lola: STP completed || 1 tries, 7722 fired transitions, 1890 secs || 7600 markings, 8819 edges, 4 markings/sec, 1890 secs
lola: STP completed || 1 tries, 7744 fired transitions, 1895 secs || 7622 markings, 8841 edges, 4 markings/sec, 1895 secs
lola: STP completed || 1 tries, 7766 fired transitions, 1900 secs || 7644 markings, 8863 edges, 4 markings/sec, 1900 secs
lola: STP completed || 1 tries, 7788 fired transitions, 1905 secs || 7665 markings, 8884 edges, 4 markings/sec, 1905 secs
lola: STP completed || 1 tries, 7810 fired transitions, 1910 secs || 7687 markings, 8906 edges, 4 markings/sec, 1910 secs
lola: STP completed || 1 tries, 7831 fired transitions, 1915 secs || 7708 markings, 8927 edges, 4 markings/sec, 1915 secs
lola: STP completed || 1 tries, 7853 fired transitions, 1920 secs || 7729 markings, 8948 edges, 4 markings/sec, 1920 secs
lola: STP completed || 1 tries, 7875 fired transitions, 1925 secs || 7750 markings, 8969 edges, 4 markings/sec, 1925 secs
lola: STP completed || 1 tries, 7896 fired transitions, 1930 secs || 7772 markings, 8991 edges, 4 markings/sec, 1930 secs
lola: STP completed || 1 tries, 7917 fired transitions, 1935 secs || 7792 markings, 9011 edges, 4 markings/sec, 1935 secs
lola: STP completed || 1 tries, 7939 fired transitions, 1940 secs || 7813 markings, 9032 edges, 4 markings/sec, 1940 secs
lola: STP completed || 1 tries, 7960 fired transitions, 1945 secs || 7834 markings, 9055 edges, 4 markings/sec, 1945 secs
lola: STP completed || 1 tries, 7982 fired transitions, 1950 secs || 7856 markings, 9085 edges, 4 markings/sec, 1950 secs
lola: STP completed || 1 tries, 8004 fired transitions, 1955 secs || 7877 markings, 9124 edges, 4 markings/sec, 1955 secs
lola: STP completed || 1 tries, 8026 fired transitions, 1960 secs || 7899 markings, 9148 edges, 4 markings/sec, 1960 secs
lola: STP completed || 1 tries, 8048 fired transitions, 1965 secs || 7921 markings, 9185 edges, 4 markings/sec, 1965 secs
lola: STP completed || 1 tries, 8070 fired transitions, 1970 secs || 7942 markings, 9206 edges, 4 markings/sec, 1970 secs
lola: STP completed || 1 tries, 8092 fired transitions, 1975 secs || 7964 markings, 9228 edges, 4 markings/sec, 1975 secs
lola: STP completed || 1 tries, 8114 fired transitions, 1980 secs || 7985 markings, 9249 edges, 4 markings/sec, 1980 secs
lola: STP completed || 1 tries, 8136 fired transitions, 1985 secs || 8007 markings, 9271 edges, 4 markings/sec, 1985 secs
lola: STP completed || 1 tries, 8158 fired transitions, 1990 secs || 8028 markings, 9292 edges, 4 markings/sec, 1990 secs
lola: STP completed || 1 tries, 8180 fired transitions, 1995 secs || 8049 markings, 9313 edges, 4 markings/sec, 1995 secs
lola: STP completed || 1 tries, 8201 fired transitions, 2000 secs || 8071 markings, 9335 edges, 4 markings/sec, 2000 secs
lola: STP completed || 1 tries, 8222 fired transitions, 2005 secs || 8092 markings, 9356 edges, 4 markings/sec, 2005 secs
lola: STP completed || 1 tries, 8245 fired transitions, 2010 secs || 8114 markings, 9378 edges, 4 markings/sec, 2010 secs
lola: STP completed || 1 tries, 8267 fired transitions, 2015 secs || 8136 markings, 9400 edges, 4 markings/sec, 2015 secs
lola: STP completed || 1 tries, 8289 fired transitions, 2020 secs || 8158 markings, 9422 edges, 4 markings/sec, 2020 secs
lola: STP completed || 1 tries, 8311 fired transitions, 2025 secs || 8180 markings, 9444 edges, 4 markings/sec, 2025 secs
lola: STP completed || 1 tries, 8334 fired transitions, 2030 secs || 8203 markings, 9467 edges, 5 markings/sec, 2030 secs
lola: STP completed || 1 tries, 8356 fired transitions, 2035 secs || 8225 markings, 9489 edges, 4 markings/sec, 2035 secs
lola: STP completed || 1 tries, 8378 fired transitions, 2040 secs || 8247 markings, 9511 edges, 4 markings/sec, 2040 secs
lola: STP completed || 1 tries, 8400 fired transitions, 2045 secs || 8269 markings, 9533 edges, 4 markings/sec, 2045 secs
lola: STP completed || 1 tries, 8422 fired transitions, 2050 secs || 8291 markings, 9556 edges, 4 markings/sec, 2050 secs
lola: STP completed || 1 tries, 8444 fired transitions, 2055 secs || 8313 markings, 9581 edges, 4 markings/sec, 2055 secs
lola: STP completed || 1 tries, 8466 fired transitions, 2060 secs || 8335 markings, 9603 edges, 4 markings/sec, 2060 secs
lola: STP completed || 1 tries, 8489 fired transitions, 2065 secs || 8358 markings, 9627 edges, 5 markings/sec, 2065 secs
lola: STP completed || 1 tries, 8511 fired transitions, 2070 secs || 8380 markings, 9649 edges, 4 markings/sec, 2070 secs
lola: STP completed || 1 tries, 8533 fired transitions, 2075 secs || 8402 markings, 9671 edges, 4 markings/sec, 2075 secs
lola: STP completed || 1 tries, 8555 fired transitions, 2080 secs || 8424 markings, 9693 edges, 4 markings/sec, 2080 secs
lola: STP completed || 1 tries, 8573 fired transitions, 2085 secs || 8445 markings, 9714 edges, 4 markings/sec, 2085 secs
lola: STP completed || 1 tries, 8595 fired transitions, 2090 secs || 8467 markings, 9736 edges, 4 markings/sec, 2090 secs
lola: STP completed || 1 tries, 8617 fired transitions, 2095 secs || 8489 markings, 9758 edges, 4 markings/sec, 2095 secs
lola: STP completed || 1 tries, 8639 fired transitions, 2100 secs || 8511 markings, 9780 edges, 4 markings/sec, 2100 secs
lola: STP completed || 1 tries, 8661 fired transitions, 2105 secs || 8533 markings, 9803 edges, 4 markings/sec, 2105 secs
lola: STP completed || 1 tries, 8682 fired transitions, 2110 secs || 8554 markings, 9827 edges, 4 markings/sec, 2110 secs
lola: STP completed || 1 tries, 8704 fired transitions, 2115 secs || 8575 markings, 9863 edges, 4 markings/sec, 2115 secs
lola: STP completed || 1 tries, 8726 fired transitions, 2120 secs || 8597 markings, 9907 edges, 4 markings/sec, 2120 secs
lola: STP completed || 1 tries, 8748 fired transitions, 2125 secs || 8619 markings, 9942 edges, 4 markings/sec, 2125 secs
lola: STP completed || 1 tries, 8770 fired transitions, 2130 secs || 8640 markings, 9963 edges, 4 markings/sec, 2130 secs
lola: STP completed || 1 tries, 8791 fired transitions, 2135 secs || 8662 markings, 9991 edges, 4 markings/sec, 2135 secs
lola: STP completed || 1 tries, 8813 fired transitions, 2140 secs || 8684 markings, 10013 edges, 4 markings/sec, 2140 secs
lola: STP completed || 1 tries, 8835 fired transitions, 2145 secs || 8706 markings, 10035 edges, 4 markings/sec, 2145 secs
lola: STP completed || 1 tries, 8856 fired transitions, 2150 secs || 8727 markings, 10057 edges, 4 markings/sec, 2150 secs
lola: STP completed || 1 tries, 8877 fired transitions, 2155 secs || 8747 markings, 10092 edges, 4 markings/sec, 2155 secs
lola: STP completed || 1 tries, 8898 fired transitions, 2160 secs || 8768 markings, 10130 edges, 4 markings/sec, 2160 secs
lola: STP completed || 1 tries, 8919 fired transitions, 2165 secs || 8789 markings, 10151 edges, 4 markings/sec, 2165 secs
lola: STP completed || 1 tries, 8941 fired transitions, 2170 secs || 8811 markings, 10184 edges, 4 markings/sec, 2170 secs
lola: STP completed || 1 tries, 8962 fired transitions, 2175 secs || 8832 markings, 10212 edges, 4 markings/sec, 2175 secs
lola: STP completed || 1 tries, 8984 fired transitions, 2180 secs || 8853 markings, 10233 edges, 4 markings/sec, 2180 secs
lola: STP completed || 1 tries, 9006 fired transitions, 2185 secs || 8875 markings, 10255 edges, 4 markings/sec, 2185 secs
lola: STP completed || 1 tries, 9027 fired transitions, 2190 secs || 8896 markings, 10276 edges, 4 markings/sec, 2190 secs
lola: STP completed || 1 tries, 9049 fired transitions, 2195 secs || 8918 markings, 10298 edges, 4 markings/sec, 2195 secs
lola: STP completed || 1 tries, 9070 fired transitions, 2200 secs || 8939 markings, 10319 edges, 4 markings/sec, 2200 secs
lola: STP completed || 1 tries, 9092 fired transitions, 2205 secs || 8960 markings, 10345 edges, 4 markings/sec, 2205 secs
lola: STP completed || 1 tries, 9113 fired transitions, 2210 secs || 8981 markings, 10366 edges, 4 markings/sec, 2210 secs
lola: STP completed || 1 tries, 9134 fired transitions, 2215 secs || 9002 markings, 10387 edges, 4 markings/sec, 2215 secs
lola: STP completed || 1 tries, 9155 fired transitions, 2220 secs || 9023 markings, 10408 edges, 4 markings/sec, 2220 secs
lola: STP completed || 1 tries, 9176 fired transitions, 2225 secs || 9044 markings, 10429 edges, 4 markings/sec, 2225 secs
lola: STP completed || 1 tries, 9198 fired transitions, 2230 secs || 9066 markings, 10451 edges, 4 markings/sec, 2230 secs
lola: STP completed || 1 tries, 9220 fired transitions, 2235 secs || 9088 markings, 10473 edges, 4 markings/sec, 2235 secs
lola: STP completed || 1 tries, 9241 fired transitions, 2240 secs || 9109 markings, 10494 edges, 4 markings/sec, 2240 secs
lola: STP completed || 1 tries, 9263 fired transitions, 2245 secs || 9131 markings, 10516 edges, 4 markings/sec, 2245 secs
lola: STP completed || 1 tries, 9284 fired transitions, 2250 secs || 9152 markings, 10539 edges, 4 markings/sec, 2250 secs
lola: STP completed || 1 tries, 9306 fired transitions, 2255 secs || 9173 markings, 10568 edges, 4 markings/sec, 2255 secs
lola: STP completed || 1 tries, 9327 fired transitions, 2260 secs || 9194 markings, 10610 edges, 4 markings/sec, 2260 secs
lola: STP completed || 1 tries, 9349 fired transitions, 2265 secs || 9216 markings, 10648 edges, 4 markings/sec, 2265 secs
lola: STP completed || 1 tries, 9370 fired transitions, 2270 secs || 9237 markings, 10669 edges, 4 markings/sec, 2270 secs
lola: STP completed || 1 tries, 9392 fired transitions, 2275 secs || 9259 markings, 10691 edges, 4 markings/sec, 2275 secs
lola: STP completed || 1 tries, 9413 fired transitions, 2280 secs || 9280 markings, 10712 edges, 4 markings/sec, 2280 secs
lola: STP completed || 1 tries, 9435 fired transitions, 2285 secs || 9302 markings, 10734 edges, 4 markings/sec, 2285 secs
lola: STP completed || 1 tries, 9456 fired transitions, 2290 secs || 9323 markings, 10756 edges, 4 markings/sec, 2290 secs
lola: STP completed || 1 tries, 9477 fired transitions, 2295 secs || 9344 markings, 10782 edges, 4 markings/sec, 2295 secs
lola: STP completed || 1 tries, 9498 fired transitions, 2300 secs || 9365 markings, 10824 edges, 4 markings/sec, 2300 secs
lola: STP completed || 1 tries, 9519 fired transitions, 2305 secs || 9386 markings, 10859 edges, 4 markings/sec, 2305 secs
lola: STP completed || 1 tries, 9540 fired transitions, 2310 secs || 9406 markings, 10879 edges, 4 markings/sec, 2310 secs
lola: STP completed || 1 tries, 9562 fired transitions, 2315 secs || 9428 markings, 10901 edges, 4 markings/sec, 2315 secs
lola: STP completed || 1 tries, 9584 fired transitions, 2320 secs || 9449 markings, 10922 edges, 4 markings/sec, 2320 secs
lola: STP completed || 1 tries, 9605 fired transitions, 2325 secs || 9471 markings, 10944 edges, 4 markings/sec, 2325 secs
lola: STP completed || 1 tries, 9627 fired transitions, 2330 secs || 9493 markings, 10966 edges, 4 markings/sec, 2330 secs
lola: STP completed || 1 tries, 9649 fired transitions, 2335 secs || 9514 markings, 10987 edges, 4 markings/sec, 2335 secs
lola: STP completed || 1 tries, 9670 fired transitions, 2340 secs || 9536 markings, 11010 edges, 4 markings/sec, 2340 secs
lola: STP completed || 1 tries, 9693 fired transitions, 2345 secs || 9559 markings, 11033 edges, 5 markings/sec, 2345 secs
lola: STP completed || 1 tries, 9715 fired transitions, 2350 secs || 9581 markings, 11055 edges, 4 markings/sec, 2350 secs
lola: STP completed || 1 tries, 9737 fired transitions, 2355 secs || 9603 markings, 11077 edges, 4 markings/sec, 2355 secs
lola: STP completed || 1 tries, 9759 fired transitions, 2360 secs || 9625 markings, 11108 edges, 4 markings/sec, 2360 secs
lola: STP completed || 1 tries, 9780 fired transitions, 2365 secs || 9646 markings, 11129 edges, 4 markings/sec, 2365 secs
lola: STP completed || 1 tries, 9802 fired transitions, 2370 secs || 9668 markings, 11151 edges, 4 markings/sec, 2370 secs
lola: STP completed || 1 tries, 9823 fired transitions, 2375 secs || 9689 markings, 11172 edges, 4 markings/sec, 2375 secs
lola: STP completed || 1 tries, 9845 fired transitions, 2380 secs || 9710 markings, 11193 edges, 4 markings/sec, 2380 secs
lola: STP completed || 1 tries, 9867 fired transitions, 2385 secs || 9731 markings, 11214 edges, 4 markings/sec, 2385 secs
lola: STP completed || 1 tries, 9889 fired transitions, 2390 secs || 9753 markings, 11236 edges, 4 markings/sec, 2390 secs
lola: STP completed || 1 tries, 9910 fired transitions, 2395 secs || 9774 markings, 11257 edges, 4 markings/sec, 2395 secs
lola: STP completed || 1 tries, 9932 fired transitions, 2400 secs || 9795 markings, 11278 edges, 4 markings/sec, 2400 secs
lola: STP completed || 1 tries, 9954 fired transitions, 2405 secs || 9817 markings, 11300 edges, 4 markings/sec, 2405 secs
lola: STP completed || 1 tries, 9975 fired transitions, 2410 secs || 9838 markings, 11323 edges, 4 markings/sec, 2410 secs
lola: STP completed || 1 tries, 9998 fired transitions, 2415 secs || 9861 markings, 11347 edges, 5 markings/sec, 2415 secs
lola: STP completed || 1 tries, 10019 fired transitions, 2420 secs || 9882 markings, 11368 edges, 4 markings/sec, 2420 secs
lola: STP completed || 1 tries, 10040 fired transitions, 2425 secs || 9903 markings, 11390 edges, 4 markings/sec, 2425 secs
lola: STP completed || 1 tries, 10061 fired transitions, 2430 secs || 9924 markings, 11411 edges, 4 markings/sec, 2430 secs
lola: STP completed || 1 tries, 10082 fired transitions, 2435 secs || 9945 markings, 11437 edges, 4 markings/sec, 2435 secs
lola: STP completed || 1 tries, 10104 fired transitions, 2440 secs || 9967 markings, 11459 edges, 4 markings/sec, 2440 secs
lola: STP completed || 1 tries, 10125 fired transitions, 2445 secs || 9988 markings, 11480 edges, 4 markings/sec, 2445 secs
lola: STP completed || 1 tries, 10147 fired transitions, 2450 secs || 10010 markings, 11502 edges, 4 markings/sec, 2450 secs
lola: STP completed || 1 tries, 10168 fired transitions, 2455 secs || 10031 markings, 11523 edges, 4 markings/sec, 2455 secs
lola: STP completed || 1 tries, 10189 fired transitions, 2460 secs || 10052 markings, 11544 edges, 4 markings/sec, 2460 secs
lola: STP completed || 1 tries, 10209 fired transitions, 2465 secs || 10073 markings, 11565 edges, 4 markings/sec, 2465 secs
lola: STP completed || 1 tries, 10231 fired transitions, 2470 secs || 10095 markings, 11587 edges, 4 markings/sec, 2470 secs
lola: STP completed || 1 tries, 10252 fired transitions, 2475 secs || 10115 markings, 11607 edges, 4 markings/sec, 2475 secs
lola: STP completed || 1 tries, 10273 fired transitions, 2480 secs || 10136 markings, 11628 edges, 4 markings/sec, 2480 secs
lola: STP completed || 1 tries, 10295 fired transitions, 2485 secs || 10158 markings, 11650 edges, 4 markings/sec, 2485 secs
lola: STP completed || 1 tries, 10316 fired transitions, 2490 secs || 10180 markings, 11672 edges, 4 markings/sec, 2490 secs
lola: STP completed || 1 tries, 10337 fired transitions, 2495 secs || 10201 markings, 11693 edges, 4 markings/sec, 2495 secs
lola: STP completed || 1 tries, 10359 fired transitions, 2500 secs || 10223 markings, 11717 edges, 4 markings/sec, 2500 secs
lola: STP completed || 1 tries, 10380 fired transitions, 2505 secs || 10245 markings, 11761 edges, 4 markings/sec, 2505 secs
lola: STP completed || 1 tries, 10401 fired transitions, 2510 secs || 10266 markings, 11800 edges, 4 markings/sec, 2510 secs
lola: STP completed || 1 tries, 10422 fired transitions, 2515 secs || 10288 markings, 11830 edges, 4 markings/sec, 2515 secs
lola: STP completed || 1 tries, 10443 fired transitions, 2520 secs || 10309 markings, 11867 edges, 4 markings/sec, 2520 secs
lola: STP completed || 1 tries, 10464 fired transitions, 2525 secs || 10331 markings, 11898 edges, 4 markings/sec, 2525 secs
lola: STP completed || 1 tries, 10485 fired transitions, 2530 secs || 10352 markings, 11940 edges, 4 markings/sec, 2530 secs
lola: STP completed || 1 tries, 10505 fired transitions, 2535 secs || 10373 markings, 11967 edges, 4 markings/sec, 2535 secs
lola: STP completed || 1 tries, 10526 fired transitions, 2540 secs || 10395 markings, 11992 edges, 4 markings/sec, 2540 secs
lola: STP completed || 1 tries, 10546 fired transitions, 2545 secs || 10416 markings, 12024 edges, 4 markings/sec, 2545 secs
lola: STP completed || 1 tries, 10567 fired transitions, 2550 secs || 10438 markings, 12061 edges, 4 markings/sec, 2550 secs
lola: STP completed || 1 tries, 10588 fired transitions, 2555 secs || 10459 markings, 12103 edges, 4 markings/sec, 2555 secs
lola: STP completed || 1 tries, 10609 fired transitions, 2560 secs || 10481 markings, 12147 edges, 4 markings/sec, 2560 secs
lola: STP completed || 1 tries, 10630 fired transitions, 2565 secs || 10503 markings, 12181 edges, 4 markings/sec, 2565 secs
lola: STP completed || 1 tries, 10650 fired transitions, 2570 secs || 10524 markings, 12209 edges, 4 markings/sec, 2570 secs
lola: STP completed || 1 tries, 10672 fired transitions, 2575 secs || 10546 markings, 12231 edges, 4 markings/sec, 2575 secs
lola: STP completed || 1 tries, 10693 fired transitions, 2580 secs || 10567 markings, 12252 edges, 4 markings/sec, 2580 secs
lola: STP completed || 1 tries, 10714 fired transitions, 2585 secs || 10589 markings, 12274 edges, 4 markings/sec, 2585 secs
lola: STP completed || 1 tries, 10735 fired transitions, 2590 secs || 10611 markings, 12296 edges, 4 markings/sec, 2590 secs
lola: STP completed || 1 tries, 10757 fired transitions, 2595 secs || 10633 markings, 12318 edges, 4 markings/sec, 2595 secs
lola: STP completed || 1 tries, 10777 fired transitions, 2600 secs || 10654 markings, 12340 edges, 4 markings/sec, 2600 secs
lola: STP completed || 1 tries, 10799 fired transitions, 2605 secs || 10676 markings, 12367 edges, 4 markings/sec, 2605 secs
lola: STP completed || 1 tries, 10821 fired transitions, 2610 secs || 10698 markings, 12408 edges, 4 markings/sec, 2610 secs
lola: STP completed || 1 tries, 10842 fired transitions, 2615 secs || 10720 markings, 12435 edges, 4 markings/sec, 2615 secs
lola: STP completed || 1 tries, 10864 fired transitions, 2620 secs || 10742 markings, 12458 edges, 4 markings/sec, 2620 secs
lola: STP completed || 1 tries, 10887 fired transitions, 2625 secs || 10765 markings, 12499 edges, 5 markings/sec, 2625 secs
lola: STP completed || 1 tries, 10909 fired transitions, 2630 secs || 10787 markings, 12521 edges, 4 markings/sec, 2630 secs
lola: STP completed || 1 tries, 10931 fired transitions, 2635 secs || 10810 markings, 12544 edges, 5 markings/sec, 2635 secs
lola: STP completed || 1 tries, 10954 fired transitions, 2640 secs || 10832 markings, 12566 edges, 4 markings/sec, 2640 secs
lola: STP completed || 1 tries, 10977 fired transitions, 2645 secs || 10855 markings, 12589 edges, 5 markings/sec, 2645 secs
lola: STP completed || 1 tries, 10997 fired transitions, 2650 secs || 10876 markings, 12610 edges, 4 markings/sec, 2650 secs
lola: STP completed || 1 tries, 11018 fired transitions, 2655 secs || 10897 markings, 12631 edges, 4 markings/sec, 2655 secs
lola: STP completed || 1 tries, 11038 fired transitions, 2660 secs || 10918 markings, 12652 edges, 4 markings/sec, 2660 secs
lola: STP completed || 1 tries, 11058 fired transitions, 2665 secs || 10938 markings, 12672 edges, 4 markings/sec, 2665 secs
lola: STP completed || 1 tries, 11079 fired transitions, 2670 secs || 10960 markings, 12694 edges, 4 markings/sec, 2670 secs
lola: STP completed || 1 tries, 11100 fired transitions, 2675 secs || 10981 markings, 12715 edges, 4 markings/sec, 2675 secs
lola: STP completed || 1 tries, 11121 fired transitions, 2680 secs || 11003 markings, 12737 edges, 4 markings/sec, 2680 secs
lola: STP completed || 1 tries, 11142 fired transitions, 2685 secs || 11024 markings, 12758 edges, 4 markings/sec, 2685 secs
lola: STP completed || 1 tries, 11164 fired transitions, 2690 secs || 11047 markings, 12781 edges, 5 markings/sec, 2690 secs
lola: STP completed || 1 tries, 11185 fired transitions, 2695 secs || 11068 markings, 12802 edges, 4 markings/sec, 2695 secs
lola: STP completed || 1 tries, 11207 fired transitions, 2700 secs || 11090 markings, 12824 edges, 4 markings/sec, 2700 secs
lola: STP completed || 1 tries, 11229 fired transitions, 2705 secs || 11112 markings, 12847 edges, 4 markings/sec, 2705 secs
lola: STP completed || 1 tries, 11250 fired transitions, 2710 secs || 11133 markings, 12868 edges, 4 markings/sec, 2710 secs
lola: STP completed || 1 tries, 11271 fired transitions, 2715 secs || 11155 markings, 12890 edges, 4 markings/sec, 2715 secs
lola: STP completed || 1 tries, 11292 fired transitions, 2720 secs || 11176 markings, 12912 edges, 4 markings/sec, 2720 secs
lola: STP completed || 1 tries, 11312 fired transitions, 2725 secs || 11197 markings, 12933 edges, 4 markings/sec, 2725 secs
lola: STP completed || 1 tries, 11333 fired transitions, 2730 secs || 11219 markings, 12955 edges, 4 markings/sec, 2730 secs
lola: STP completed || 1 tries, 11354 fired transitions, 2735 secs || 11240 markings, 12977 edges, 4 markings/sec, 2735 secs
lola: STP completed || 1 tries, 11375 fired transitions, 2740 secs || 11262 markings, 12999 edges, 4 markings/sec, 2740 secs
lola: STP completed || 1 tries, 11396 fired transitions, 2745 secs || 11284 markings, 13021 edges, 4 markings/sec, 2745 secs
lola: STP completed || 1 tries, 11417 fired transitions, 2750 secs || 11305 markings, 13042 edges, 4 markings/sec, 2750 secs
lola: STP completed || 1 tries, 11438 fired transitions, 2755 secs || 11326 markings, 13066 edges, 4 markings/sec, 2755 secs
lola: STP completed || 1 tries, 11459 fired transitions, 2760 secs || 11348 markings, 13110 edges, 4 markings/sec, 2760 secs
lola: STP completed || 1 tries, 11479 fired transitions, 2765 secs || 11369 markings, 13150 edges, 4 markings/sec, 2765 secs
lola: STP completed || 1 tries, 11501 fired transitions, 2770 secs || 11391 markings, 13193 edges, 4 markings/sec, 2770 secs
lola: STP completed || 1 tries, 11523 fired transitions, 2775 secs || 11413 markings, 13225 edges, 4 markings/sec, 2775 secs
lola: STP completed || 1 tries, 11545 fired transitions, 2780 secs || 11435 markings, 13266 edges, 4 markings/sec, 2780 secs
lola: STP completed || 1 tries, 11566 fired transitions, 2785 secs || 11456 markings, 13308 edges, 4 markings/sec, 2785 secs
lola: STP completed || 1 tries, 11587 fired transitions, 2790 secs || 11478 markings, 13339 edges, 4 markings/sec, 2790 secs
lola: STP completed || 1 tries, 11609 fired transitions, 2795 secs || 11499 markings, 13360 edges, 4 markings/sec, 2795 secs
lola: STP completed || 1 tries, 11630 fired transitions, 2800 secs || 11520 markings, 13381 edges, 4 markings/sec, 2800 secs
lola: STP completed || 1 tries, 11651 fired transitions, 2805 secs || 11542 markings, 13403 edges, 4 markings/sec, 2805 secs
lola: STP completed || 1 tries, 11671 fired transitions, 2810 secs || 11563 markings, 13428 edges, 4 markings/sec, 2810 secs
lola: STP completed || 1 tries, 11691 fired transitions, 2815 secs || 11584 markings, 13462 edges, 4 markings/sec, 2815 secs
lola: STP completed || 1 tries, 11713 fired transitions, 2820 secs || 11606 markings, 13494 edges, 4 markings/sec, 2820 secs
lola: STP completed || 1 tries, 11735 fired transitions, 2825 secs || 11628 markings, 13516 edges, 4 markings/sec, 2825 secs
lola: STP completed || 1 tries, 11755 fired transitions, 2830 secs || 11650 markings, 13551 edges, 4 markings/sec, 2830 secs
lola: STP completed || 1 tries, 11776 fired transitions, 2835 secs || 11671 markings, 13590 edges, 4 markings/sec, 2835 secs
lola: STP completed || 1 tries, 11797 fired transitions, 2840 secs || 11693 markings, 13623 edges, 4 markings/sec, 2840 secs
lola: STP completed || 1 tries, 11818 fired transitions, 2845 secs || 11714 markings, 13644 edges, 4 markings/sec, 2845 secs
lola: STP completed || 1 tries, 11838 fired transitions, 2850 secs || 11735 markings, 13665 edges, 4 markings/sec, 2850 secs
lola: STP completed || 1 tries, 11859 fired transitions, 2855 secs || 11756 markings, 13686 edges, 4 markings/sec, 2855 secs
lola: STP completed || 1 tries, 11881 fired transitions, 2860 secs || 11778 markings, 13708 edges, 4 markings/sec, 2860 secs
lola: STP completed || 1 tries, 11901 fired transitions, 2865 secs || 11799 markings, 13729 edges, 4 markings/sec, 2865 secs
lola: STP completed || 1 tries, 11923 fired transitions, 2870 secs || 11821 markings, 13751 edges, 4 markings/sec, 2870 secs
lola: STP completed || 1 tries, 11943 fired transitions, 2875 secs || 11842 markings, 13772 edges, 4 markings/sec, 2875 secs
lola: STP completed || 1 tries, 11964 fired transitions, 2880 secs || 11864 markings, 13794 edges, 4 markings/sec, 2880 secs
lola: STP completed || 1 tries, 11986 fired transitions, 2885 secs || 11886 markings, 13816 edges, 4 markings/sec, 2885 secs
lola: STP completed || 1 tries, 12006 fired transitions, 2890 secs || 11907 markings, 13837 edges, 4 markings/sec, 2890 secs
lola: STP completed || 1 tries, 12027 fired transitions, 2895 secs || 11928 markings, 13859 edges, 4 markings/sec, 2895 secs
lola: STP completed || 1 tries, 12048 fired transitions, 2900 secs || 11950 markings, 13881 edges, 4 markings/sec, 2900 secs
lola: STP completed || 1 tries, 12069 fired transitions, 2905 secs || 11971 markings, 13910 edges, 4 markings/sec, 2905 secs
lola: STP completed || 1 tries, 12090 fired transitions, 2910 secs || 11993 markings, 13943 edges, 4 markings/sec, 2910 secs
lola: STP completed || 1 tries, 12111 fired transitions, 2915 secs || 12014 markings, 13964 edges, 4 markings/sec, 2915 secs
lola: STP completed || 1 tries, 12133 fired transitions, 2920 secs || 12036 markings, 13986 edges, 4 markings/sec, 2920 secs
lola: STP completed || 1 tries, 12154 fired transitions, 2925 secs || 12057 markings, 14007 edges, 4 markings/sec, 2925 secs
lola: STP completed || 1 tries, 12175 fired transitions, 2930 secs || 12079 markings, 14029 edges, 4 markings/sec, 2930 secs
lola: STP completed || 1 tries, 12196 fired transitions, 2935 secs || 12101 markings, 14051 edges, 4 markings/sec, 2935 secs
lola: STP completed || 1 tries, 12217 fired transitions, 2940 secs || 12123 markings, 14092 edges, 4 markings/sec, 2940 secs
lola: STP completed || 1 tries, 12238 fired transitions, 2945 secs || 12144 markings, 14120 edges, 4 markings/sec, 2945 secs
lola: STP completed || 1 tries, 12260 fired transitions, 2950 secs || 12166 markings, 14142 edges, 4 markings/sec, 2950 secs
lola: STP completed || 1 tries, 12280 fired transitions, 2955 secs || 12187 markings, 14163 edges, 4 markings/sec, 2955 secs
lola: STP completed || 1 tries, 12301 fired transitions, 2960 secs || 12208 markings, 14184 edges, 4 markings/sec, 2960 secs
lola: STP completed || 1 tries, 12322 fired transitions, 2965 secs || 12230 markings, 14206 edges, 4 markings/sec, 2965 secs
lola: STP completed || 1 tries, 12343 fired transitions, 2970 secs || 12252 markings, 14228 edges, 4 markings/sec, 2970 secs
lola: STP completed || 1 tries, 12364 fired transitions, 2975 secs || 12273 markings, 14249 edges, 4 markings/sec, 2975 secs
lola: STP completed || 1 tries, 12385 fired transitions, 2980 secs || 12295 markings, 14271 edges, 4 markings/sec, 2980 secs
lola: STP completed || 1 tries, 12407 fired transitions, 2985 secs || 12316 markings, 14292 edges, 4 markings/sec, 2985 secs
lola: STP completed || 1 tries, 12429 fired transitions, 2990 secs || 12338 markings, 14314 edges, 4 markings/sec, 2990 secs
lola: STP completed || 1 tries, 12450 fired transitions, 2995 secs || 12359 markings, 14335 edges, 4 markings/sec, 2995 secs
lola: STP completed || 1 tries, 12471 fired transitions, 3000 secs || 12381 markings, 14357 edges, 4 markings/sec, 3000 secs
lola: STP completed || 1 tries, 12491 fired transitions, 3005 secs || 12402 markings, 14378 edges, 4 markings/sec, 3005 secs
lola: STP completed || 1 tries, 12512 fired transitions, 3010 secs || 12423 markings, 14399 edges, 4 markings/sec, 3010 secs
lola: STP completed || 1 tries, 12534 fired transitions, 3015 secs || 12445 markings, 14421 edges, 4 markings/sec, 3015 secs
lola: STP completed || 1 tries, 12555 fired transitions, 3020 secs || 12466 markings, 14453 edges, 4 markings/sec, 3020 secs
lola: STP completed || 1 tries, 12576 fired transitions, 3025 secs || 12487 markings, 14474 edges, 4 markings/sec, 3025 secs
lola: STP completed || 1 tries, 12597 fired transitions, 3030 secs || 12508 markings, 14496 edges, 4 markings/sec, 3030 secs
lola: STP completed || 1 tries, 12617 fired transitions, 3035 secs || 12529 markings, 14537 edges, 4 markings/sec, 3035 secs
lola: STP completed || 1 tries, 12638 fired transitions, 3040 secs || 12550 markings, 14559 edges, 4 markings/sec, 3040 secs
lola: STP completed || 1 tries, 12659 fired transitions, 3045 secs || 12572 markings, 14589 edges, 4 markings/sec, 3045 secs
lola: STP completed || 1 tries, 12679 fired transitions, 3050 secs || 12592 markings, 14629 edges, 4 markings/sec, 3050 secs
lola: STP completed || 1 tries, 12701 fired transitions, 3055 secs || 12614 markings, 14673 edges, 4 markings/sec, 3055 secs
lola: STP completed || 1 tries, 12723 fired transitions, 3060 secs || 12636 markings, 14708 edges, 4 markings/sec, 3060 secs
lola: STP completed || 1 tries, 12745 fired transitions, 3065 secs || 12658 markings, 14730 edges, 4 markings/sec, 3065 secs
lola: STP completed || 1 tries, 12767 fired transitions, 3070 secs || 12680 markings, 14752 edges, 4 markings/sec, 3070 secs
lola: STP completed || 1 tries, 12788 fired transitions, 3075 secs || 12701 markings, 14773 edges, 4 markings/sec, 3075 secs
lola: STP completed || 1 tries, 12810 fired transitions, 3080 secs || 12723 markings, 14795 edges, 4 markings/sec, 3080 secs
lola: STP completed || 1 tries, 12832 fired transitions, 3085 secs || 12745 markings, 14817 edges, 4 markings/sec, 3085 secs
lola: STP completed || 1 tries, 12854 fired transitions, 3090 secs || 12767 markings, 14839 edges, 4 markings/sec, 3090 secs
lola: STP completed || 1 tries, 12876 fired transitions, 3095 secs || 12789 markings, 14861 edges, 4 markings/sec, 3095 secs
lola: STP completed || 1 tries, 12899 fired transitions, 3100 secs || 12812 markings, 14884 edges, 5 markings/sec, 3100 secs
lola: STP completed || 1 tries, 12921 fired transitions, 3105 secs || 12834 markings, 14906 edges, 4 markings/sec, 3105 secs
lola: STP completed || 1 tries, 12943 fired transitions, 3110 secs || 12856 markings, 14928 edges, 4 markings/sec, 3110 secs
lola: STP completed || 1 tries, 12965 fired transitions, 3115 secs || 12878 markings, 14954 edges, 4 markings/sec, 3115 secs
lola: STP completed || 1 tries, 12986 fired transitions, 3120 secs || 12899 markings, 14975 edges, 4 markings/sec, 3120 secs
lola: STP completed || 1 tries, 13007 fired transitions, 3125 secs || 12920 markings, 15000 edges, 4 markings/sec, 3125 secs
lola: STP completed || 1 tries, 13028 fired transitions, 3130 secs || 12940 markings, 15027 edges, 4 markings/sec, 3130 secs
lola: STP completed || 1 tries, 13049 fired transitions, 3135 secs || 12961 markings, 15069 edges, 4 markings/sec, 3135 secs
lola: STP completed || 1 tries, 13070 fired transitions, 3140 secs || 12982 markings, 15093 edges, 4 markings/sec, 3140 secs
lola: STP completed || 1 tries, 13091 fired transitions, 3145 secs || 13002 markings, 15113 edges, 4 markings/sec, 3145 secs
lola: STP completed || 1 tries, 13113 fired transitions, 3150 secs || 13024 markings, 15135 edges, 4 markings/sec, 3150 secs
lola: STP completed || 1 tries, 13134 fired transitions, 3155 secs || 13044 markings, 15155 edges, 4 markings/sec, 3155 secs
lola: STP completed || 1 tries, 13155 fired transitions, 3160 secs || 13065 markings, 15176 edges, 4 markings/sec, 3160 secs
lola: STP completed || 1 tries, 13176 fired transitions, 3165 secs || 13086 markings, 15197 edges, 4 markings/sec, 3165 secs
lola: STP completed || 1 tries, 13198 fired transitions, 3170 secs || 13108 markings, 15226 edges, 4 markings/sec, 3170 secs
lola: STP completed || 1 tries, 13219 fired transitions, 3175 secs || 13129 markings, 15248 edges, 4 markings/sec, 3175 secs
lola: STP completed || 1 tries, 13240 fired transitions, 3180 secs || 13150 markings, 15269 edges, 4 markings/sec, 3180 secs
lola: STP completed || 1 tries, 13262 fired transitions, 3185 secs || 13172 markings, 15292 edges, 4 markings/sec, 3185 secs
lola: STP completed || 1 tries, 13283 fired transitions, 3190 secs || 13193 markings, 15313 edges, 4 markings/sec, 3190 secs
lola: STP completed || 1 tries, 13305 fired transitions, 3195 secs || 13214 markings, 15334 edges, 4 markings/sec, 3195 secs
lola: STP completed || 1 tries, 13325 fired transitions, 3200 secs || 13235 markings, 15355 edges, 4 markings/sec, 3200 secs
lola: STP completed || 1 tries, 13345 fired transitions, 3205 secs || 13256 markings, 15376 edges, 4 markings/sec, 3205 secs
lola: STP completed || 1 tries, 13366 fired transitions, 3210 secs || 13277 markings, 15397 edges, 4 markings/sec, 3210 secs
lola: STP completed || 1 tries, 13386 fired transitions, 3215 secs || 13298 markings, 15418 edges, 4 markings/sec, 3215 secs
lola: STP completed || 1 tries, 13407 fired transitions, 3220 secs || 13319 markings, 15439 edges, 4 markings/sec, 3220 secs
lola: STP completed || 1 tries, 13428 fired transitions, 3225 secs || 13341 markings, 15461 edges, 4 markings/sec, 3225 secs
lola: STP completed || 1 tries, 13449 fired transitions, 3230 secs || 13361 markings, 15482 edges, 4 markings/sec, 3230 secs
lola: STP completed || 1 tries, 13470 fired transitions, 3235 secs || 13382 markings, 15503 edges, 4 markings/sec, 3235 secs
lola: STP completed || 1 tries, 13490 fired transitions, 3240 secs || 13403 markings, 15524 edges, 4 markings/sec, 3240 secs
lola: STP completed || 1 tries, 13512 fired transitions, 3245 secs || 13425 markings, 15549 edges, 4 markings/sec, 3245 secs
lola: STP completed || 1 tries, 13534 fired transitions, 3250 secs || 13447 markings, 15578 edges, 4 markings/sec, 3250 secs
lola: STP completed || 1 tries, 13554 fired transitions, 3255 secs || 13468 markings, 15616 edges, 4 markings/sec, 3255 secs
lola: STP completed || 1 tries, 13575 fired transitions, 3260 secs || 13489 markings, 15658 edges, 4 markings/sec, 3260 secs
lola: STP completed || 1 tries, 13596 fired transitions, 3265 secs || 13510 markings, 15687 edges, 4 markings/sec, 3265 secs
lola: STP completed || 1 tries, 13616 fired transitions, 3270 secs || 13532 markings, 15709 edges, 4 markings/sec, 3270 secs
lola: time limit reached - aborting
lola: memory consumption: 971452 KB
lola: time consumption: 3568 seconds

BK_STOP 1527808145859

--------------------
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-4"
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-4.tgz
mv RERS17pb114-PT-4 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-4, 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-152749170000494"
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 ;