About the Execution of LoLA for DLCround-PT-08a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6091.370 | 3569921.00 | 7178830.00 | 7608.10 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......................
/home/mcc/execution
total 644K
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.7K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 479K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-08a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735200076
=====================================================================
--------------------
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 DLCround-PT-08a-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526623296833
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-08a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCround-PT-08a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DLCround-PT-08a @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2170/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 263
lola: finding significant places
lola: 263 places, 1907 transitions, 106 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1668 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-08a-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: STP: formula with 27686 variables and 118578 clauses shipped to Minisat
lola: computed 51 generators (21 in search tree, 30 by composition)
lola: representing 1.39346E+08 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 15026 fired transitions, 0 secs || 11188 markings, 887419 edges, 2238 markings/sec, 0 secs
lola: STP completed || 1 tries, 31812 fired transitions, 5 secs || 23902 markings, 1892304 edges, 2543 markings/sec, 5 secs
lola: STP completed || 1 tries, 48602 fired transitions, 10 secs || 36924 markings, 2892798 edges, 2604 markings/sec, 10 secs
lola: STP completed || 1 tries, 65345 fired transitions, 15 secs || 49290 markings, 3877334 edges, 2473 markings/sec, 15 secs
lola: STP completed || 1 tries, 82134 fired transitions, 20 secs || 61999 markings, 4863486 edges, 2542 markings/sec, 20 secs
lola: STP completed || 1 tries, 99000 fired transitions, 25 secs || 74584 markings, 5860716 edges, 2517 markings/sec, 25 secs
lola: STP completed || 1 tries, 115878 fired transitions, 30 secs || 87628 markings, 6862011 edges, 2609 markings/sec, 30 secs
lola: STP completed || 1 tries, 132682 fired transitions, 35 secs || 100586 markings, 7863485 edges, 2592 markings/sec, 35 secs
lola: STP completed || 1 tries, 149590 fired transitions, 40 secs || 113245 markings, 8860981 edges, 2532 markings/sec, 40 secs
lola: STP completed || 1 tries, 166518 fired transitions, 45 secs || 125845 markings, 9854749 edges, 2520 markings/sec, 45 secs
lola: STP completed || 1 tries, 183317 fired transitions, 50 secs || 139236 markings, 10853589 edges, 2678 markings/sec, 50 secs
lola: STP completed || 1 tries, 200172 fired transitions, 55 secs || 152426 markings, 11849792 edges, 2638 markings/sec, 55 secs
lola: STP completed || 1 tries, 216989 fired transitions, 60 secs || 165575 markings, 12841740 edges, 2630 markings/sec, 60 secs
lola: STP completed || 1 tries, 233790 fired transitions, 65 secs || 178414 markings, 13815726 edges, 2568 markings/sec, 65 secs
lola: STP completed || 1 tries, 250645 fired transitions, 70 secs || 191600 markings, 14820432 edges, 2637 markings/sec, 70 secs
lola: STP completed || 1 tries, 267599 fired transitions, 75 secs || 205051 markings, 15815987 edges, 2690 markings/sec, 75 secs
lola: STP completed || 1 tries, 284414 fired transitions, 80 secs || 217487 markings, 16801110 edges, 2487 markings/sec, 80 secs
lola: STP completed || 1 tries, 301187 fired transitions, 85 secs || 230142 markings, 17783485 edges, 2531 markings/sec, 85 secs
lola: STP completed || 1 tries, 318021 fired transitions, 90 secs || 242504 markings, 18759150 edges, 2472 markings/sec, 90 secs
lola: STP completed || 1 tries, 334758 fired transitions, 95 secs || 254687 markings, 19720657 edges, 2437 markings/sec, 95 secs
lola: STP completed || 1 tries, 351550 fired transitions, 100 secs || 266354 markings, 20652661 edges, 2333 markings/sec, 100 secs
lola: STP completed || 1 tries, 368418 fired transitions, 105 secs || 278634 markings, 21616086 edges, 2456 markings/sec, 105 secs
lola: STP completed || 1 tries, 385288 fired transitions, 110 secs || 291412 markings, 22585853 edges, 2556 markings/sec, 110 secs
lola: STP completed || 1 tries, 402276 fired transitions, 115 secs || 304127 markings, 23554453 edges, 2543 markings/sec, 115 secs
lola: STP completed || 1 tries, 419072 fired transitions, 120 secs || 316344 markings, 24511423 edges, 2443 markings/sec, 120 secs
lola: STP completed || 1 tries, 435922 fired transitions, 125 secs || 328947 markings, 25483273 edges, 2521 markings/sec, 125 secs
lola: STP completed || 1 tries, 452682 fired transitions, 130 secs || 342124 markings, 26463362 edges, 2635 markings/sec, 130 secs
lola: STP completed || 1 tries, 469522 fired transitions, 135 secs || 354414 markings, 27422772 edges, 2458 markings/sec, 135 secs
lola: STP completed || 1 tries, 486319 fired transitions, 140 secs || 367152 markings, 28394609 edges, 2548 markings/sec, 140 secs
lola: STP completed || 1 tries, 503067 fired transitions, 145 secs || 379872 markings, 29362633 edges, 2544 markings/sec, 145 secs
lola: STP completed || 1 tries, 519764 fired transitions, 150 secs || 392874 markings, 30339931 edges, 2600 markings/sec, 150 secs
lola: STP completed || 1 tries, 536678 fired transitions, 155 secs || 405494 markings, 31302363 edges, 2524 markings/sec, 155 secs
lola: STP completed || 1 tries, 553522 fired transitions, 160 secs || 417871 markings, 32269528 edges, 2475 markings/sec, 160 secs
lola: STP completed || 1 tries, 570339 fired transitions, 165 secs || 431514 markings, 33255278 edges, 2729 markings/sec, 165 secs
lola: STP completed || 1 tries, 587186 fired transitions, 170 secs || 443997 markings, 34219032 edges, 2497 markings/sec, 170 secs
lola: STP completed || 1 tries, 604044 fired transitions, 175 secs || 456551 markings, 35177978 edges, 2511 markings/sec, 175 secs
lola: STP completed || 1 tries, 620819 fired transitions, 180 secs || 469136 markings, 36145695 edges, 2517 markings/sec, 180 secs
lola: STP completed || 1 tries, 637696 fired transitions, 185 secs || 482503 markings, 37128314 edges, 2673 markings/sec, 185 secs
lola: STP completed || 1 tries, 654496 fired transitions, 190 secs || 495651 markings, 38092772 edges, 2630 markings/sec, 190 secs
lola: STP completed || 1 tries, 671449 fired transitions, 195 secs || 509271 markings, 39065190 edges, 2724 markings/sec, 195 secs
lola: STP completed || 1 tries, 688299 fired transitions, 200 secs || 523482 markings, 40048563 edges, 2842 markings/sec, 200 secs
lola: STP completed || 1 tries, 704552 fired transitions, 205 secs || 536643 markings, 41038698 edges, 2632 markings/sec, 205 secs
lola: STP completed || 1 tries, 720818 fired transitions, 210 secs || 548443 markings, 41896390 edges, 2360 markings/sec, 210 secs
lola: STP completed || 1 tries, 737307 fired transitions, 215 secs || 562207 markings, 42858630 edges, 2753 markings/sec, 215 secs
lola: STP completed || 1 tries, 753801 fired transitions, 220 secs || 575271 markings, 43813242 edges, 2613 markings/sec, 220 secs
lola: STP completed || 1 tries, 770434 fired transitions, 225 secs || 588820 markings, 44789010 edges, 2710 markings/sec, 225 secs
lola: STP completed || 1 tries, 787067 fired transitions, 230 secs || 603270 markings, 45770169 edges, 2890 markings/sec, 230 secs
lola: STP completed || 1 tries, 803678 fired transitions, 235 secs || 616327 markings, 46736748 edges, 2611 markings/sec, 235 secs
lola: STP completed || 1 tries, 820515 fired transitions, 240 secs || 630126 markings, 47721017 edges, 2760 markings/sec, 240 secs
lola: STP completed || 1 tries, 837261 fired transitions, 245 secs || 644268 markings, 48710612 edges, 2828 markings/sec, 245 secs
lola: STP completed || 1 tries, 853992 fired transitions, 250 secs || 658819 markings, 49705606 edges, 2910 markings/sec, 250 secs
lola: STP completed || 1 tries, 870735 fired transitions, 255 secs || 672263 markings, 50689804 edges, 2689 markings/sec, 255 secs
lola: STP completed || 1 tries, 887486 fired transitions, 260 secs || 686116 markings, 51670740 edges, 2771 markings/sec, 260 secs
lola: STP completed || 1 tries, 904238 fired transitions, 265 secs || 700770 markings, 52657686 edges, 2931 markings/sec, 265 secs
lola: STP completed || 1 tries, 920920 fired transitions, 270 secs || 715110 markings, 53648775 edges, 2868 markings/sec, 270 secs
lola: STP completed || 1 tries, 937647 fired transitions, 275 secs || 728993 markings, 54627946 edges, 2777 markings/sec, 275 secs
lola: STP completed || 1 tries, 954410 fired transitions, 280 secs || 743443 markings, 55624676 edges, 2890 markings/sec, 280 secs
lola: STP completed || 1 tries, 971316 fired transitions, 285 secs || 757333 markings, 56609490 edges, 2778 markings/sec, 285 secs
lola: STP completed || 1 tries, 988103 fired transitions, 290 secs || 772217 markings, 57607633 edges, 2977 markings/sec, 290 secs
lola: STP completed || 2 tries, 1004904 fired transitions, 295 secs || 785700 markings, 58607630 edges, 2697 markings/sec, 295 secs
lola: STP completed || 2 tries, 1021747 fired transitions, 300 secs || 798085 markings, 59590232 edges, 2477 markings/sec, 300 secs
lola: STP completed || 2 tries, 1038587 fired transitions, 305 secs || 810570 markings, 60576487 edges, 2497 markings/sec, 305 secs
lola: STP completed || 2 tries, 1055439 fired transitions, 310 secs || 823177 markings, 61558579 edges, 2521 markings/sec, 310 secs
lola: STP completed || 2 tries, 1072243 fired transitions, 315 secs || 835694 markings, 62535284 edges, 2503 markings/sec, 315 secs
lola: STP completed || 2 tries, 1088990 fired transitions, 320 secs || 848850 markings, 63532428 edges, 2631 markings/sec, 320 secs
lola: STP completed || 2 tries, 1105764 fired transitions, 325 secs || 861842 markings, 64526352 edges, 2598 markings/sec, 325 secs
lola: STP completed || 2 tries, 1122345 fired transitions, 330 secs || 873815 markings, 65459595 edges, 2395 markings/sec, 330 secs
lola: STP completed || 2 tries, 1138932 fired transitions, 335 secs || 886576 markings, 66448940 edges, 2552 markings/sec, 335 secs
lola: STP completed || 2 tries, 1155677 fired transitions, 340 secs || 898784 markings, 67420681 edges, 2442 markings/sec, 340 secs
lola: STP completed || 2 tries, 1172388 fired transitions, 345 secs || 911441 markings, 68392312 edges, 2531 markings/sec, 345 secs
lola: STP completed || 2 tries, 1189090 fired transitions, 350 secs || 924008 markings, 69370595 edges, 2513 markings/sec, 350 secs
lola: STP completed || 2 tries, 1205838 fired transitions, 355 secs || 936743 markings, 70353889 edges, 2547 markings/sec, 355 secs
lola: STP completed || 2 tries, 1222608 fired transitions, 360 secs || 950152 markings, 71344791 edges, 2682 markings/sec, 360 secs
lola: STP completed || 2 tries, 1239374 fired transitions, 365 secs || 963200 markings, 72330568 edges, 2610 markings/sec, 365 secs
lola: STP completed || 2 tries, 1256209 fired transitions, 370 secs || 976242 markings, 73314833 edges, 2608 markings/sec, 370 secs
lola: STP completed || 2 tries, 1272260 fired transitions, 375 secs || 989081 markings, 74310131 edges, 2568 markings/sec, 375 secs
lola: STP completed || 2 tries, 1288247 fired transitions, 380 secs || 1001812 markings, 75291910 edges, 2546 markings/sec, 380 secs
lola: STP completed || 2 tries, 1304994 fired transitions, 385 secs || 1014384 markings, 76268463 edges, 2514 markings/sec, 385 secs
lola: STP completed || 2 tries, 1321811 fired transitions, 390 secs || 1028384 markings, 77264252 edges, 2800 markings/sec, 390 secs
lola: STP completed || 2 tries, 1338615 fired transitions, 395 secs || 1042777 markings, 78262668 edges, 2879 markings/sec, 395 secs
lola: STP completed || 2 tries, 1355411 fired transitions, 400 secs || 1056727 markings, 79262677 edges, 2790 markings/sec, 400 secs
lola: STP completed || 2 tries, 1372228 fired transitions, 405 secs || 1070390 markings, 80255594 edges, 2733 markings/sec, 405 secs
lola: STP completed || 2 tries, 1388988 fired transitions, 410 secs || 1083670 markings, 81245043 edges, 2656 markings/sec, 410 secs
lola: STP completed || 2 tries, 1405742 fired transitions, 415 secs || 1096895 markings, 82200825 edges, 2645 markings/sec, 415 secs
lola: STP completed || 2 tries, 1422392 fired transitions, 420 secs || 1110039 markings, 83186276 edges, 2629 markings/sec, 420 secs
lola: STP completed || 2 tries, 1439119 fired transitions, 425 secs || 1123535 markings, 84183932 edges, 2699 markings/sec, 425 secs
lola: STP completed || 2 tries, 1455889 fired transitions, 430 secs || 1137278 markings, 85181461 edges, 2749 markings/sec, 430 secs
lola: STP completed || 2 tries, 1472594 fired transitions, 435 secs || 1150813 markings, 86174339 edges, 2707 markings/sec, 435 secs
lola: STP completed || 2 tries, 1489331 fired transitions, 440 secs || 1165156 markings, 87182384 edges, 2869 markings/sec, 440 secs
lola: STP completed || 2 tries, 1506150 fired transitions, 445 secs || 1177857 markings, 88163034 edges, 2540 markings/sec, 445 secs
lola: STP completed || 2 tries, 1522888 fired transitions, 450 secs || 1191490 markings, 89154604 edges, 2727 markings/sec, 450 secs
lola: STP completed || 2 tries, 1539795 fired transitions, 455 secs || 1205690 markings, 90147232 edges, 2840 markings/sec, 455 secs
lola: STP completed || 2 tries, 1556713 fired transitions, 460 secs || 1219281 markings, 91093905 edges, 2718 markings/sec, 460 secs
lola: STP completed || 2 tries, 1573898 fired transitions, 465 secs || 1233900 markings, 92095156 edges, 2924 markings/sec, 465 secs
lola: STP completed || 2 tries, 1591009 fired transitions, 470 secs || 1248002 markings, 93101306 edges, 2820 markings/sec, 470 secs
lola: STP completed || 2 tries, 1608142 fired transitions, 475 secs || 1262000 markings, 94107752 edges, 2800 markings/sec, 475 secs
lola: STP completed || 2 tries, 1625030 fired transitions, 480 secs || 1275326 markings, 95050089 edges, 2665 markings/sec, 480 secs
lola: STP completed || 2 tries, 1642065 fired transitions, 485 secs || 1290041 markings, 96062112 edges, 2943 markings/sec, 485 secs
lola: STP completed || 2 tries, 1659089 fired transitions, 490 secs || 1304598 markings, 97077499 edges, 2911 markings/sec, 490 secs
lola: STP completed || 2 tries, 1675870 fired transitions, 495 secs || 1316814 markings, 97982548 edges, 2443 markings/sec, 495 secs
lola: STP completed || 2 tries, 1692892 fired transitions, 500 secs || 1332359 markings, 98998802 edges, 3109 markings/sec, 500 secs
lola: STP completed || 2 tries, 1709921 fired transitions, 505 secs || 1346763 markings, 100003403 edges, 2881 markings/sec, 505 secs
lola: STP completed || 2 tries, 1726889 fired transitions, 510 secs || 1360107 markings, 100932181 edges, 2669 markings/sec, 510 secs
lola: STP completed || 2 tries, 1743641 fired transitions, 515 secs || 1373337 markings, 101914037 edges, 2646 markings/sec, 515 secs
lola: STP completed || 2 tries, 1760379 fired transitions, 520 secs || 1387092 markings, 102911066 edges, 2751 markings/sec, 520 secs
lola: STP completed || 2 tries, 1777129 fired transitions, 525 secs || 1400989 markings, 103912504 edges, 2779 markings/sec, 525 secs
lola: STP completed || 2 tries, 1793923 fired transitions, 530 secs || 1415426 markings, 104915157 edges, 2887 markings/sec, 530 secs
lola: STP completed || 2 tries, 1810112 fired transitions, 535 secs || 1430464 markings, 105916933 edges, 3008 markings/sec, 535 secs
lola: STP completed || 2 tries, 1827109 fired transitions, 540 secs || 1445807 markings, 106927050 edges, 3069 markings/sec, 540 secs
lola: STP completed || 2 tries, 1844189 fired transitions, 545 secs || 1458695 markings, 107890734 edges, 2578 markings/sec, 545 secs
lola: STP completed || 2 tries, 1860298 fired transitions, 550 secs || 1473531 markings, 108899600 edges, 2967 markings/sec, 550 secs
lola: STP completed || 2 tries, 1876220 fired transitions, 555 secs || 1488746 markings, 109909623 edges, 3043 markings/sec, 555 secs
lola: STP completed || 2 tries, 1893337 fired transitions, 560 secs || 1504294 markings, 110936899 edges, 3110 markings/sec, 560 secs
lola: STP completed || 2 tries, 1909449 fired transitions, 565 secs || 1519978 markings, 111946792 edges, 3137 markings/sec, 565 secs
lola: STP completed || 2 tries, 1926317 fired transitions, 570 secs || 1534869 markings, 112974335 edges, 2978 markings/sec, 570 secs
lola: STP completed || 2 tries, 1943268 fired transitions, 575 secs || 1549753 markings, 113983627 edges, 2977 markings/sec, 575 secs
lola: STP completed || 2 tries, 1960334 fired transitions, 580 secs || 1563728 markings, 114987976 edges, 2795 markings/sec, 580 secs
lola: STP completed || 2 tries, 1977317 fired transitions, 585 secs || 1578476 markings, 116002322 edges, 2950 markings/sec, 585 secs
lola: STP completed || 2 tries, 1994266 fired transitions, 590 secs || 1593746 markings, 117021308 edges, 3054 markings/sec, 590 secs
lola: STP completed || 3 tries, 2011358 fired transitions, 595 secs || 1608995 markings, 118045397 edges, 3050 markings/sec, 595 secs
lola: STP completed || 3 tries, 2028398 fired transitions, 600 secs || 1623329 markings, 118980459 edges, 2867 markings/sec, 600 secs
lola: STP completed || 3 tries, 2045121 fired transitions, 605 secs || 1640245 markings, 119994442 edges, 3383 markings/sec, 605 secs
lola: STP completed || 3 tries, 2061994 fired transitions, 610 secs || 1654633 markings, 120998120 edges, 2878 markings/sec, 610 secs
lola: STP completed || 3 tries, 2078743 fired transitions, 615 secs || 1669500 markings, 121999143 edges, 2973 markings/sec, 615 secs
lola: STP completed || 3 tries, 2095567 fired transitions, 620 secs || 1685033 markings, 123017490 edges, 3107 markings/sec, 620 secs
lola: STP completed || 3 tries, 2112376 fired transitions, 625 secs || 1699465 markings, 124020759 edges, 2886 markings/sec, 625 secs
lola: STP completed || 3 tries, 2129309 fired transitions, 630 secs || 1715010 markings, 125033492 edges, 3109 markings/sec, 630 secs
lola: STP completed || 3 tries, 2146353 fired transitions, 635 secs || 1730287 markings, 126048179 edges, 3055 markings/sec, 635 secs
lola: STP completed || 3 tries, 2163390 fired transitions, 640 secs || 1746358 markings, 127070012 edges, 3214 markings/sec, 640 secs
lola: STP completed || 3 tries, 2180405 fired transitions, 645 secs || 1762395 markings, 128088217 edges, 3207 markings/sec, 645 secs
lola: STP completed || 3 tries, 2197396 fired transitions, 650 secs || 1776522 markings, 129090758 edges, 2825 markings/sec, 650 secs
lola: STP completed || 3 tries, 2214461 fired transitions, 655 secs || 1792043 markings, 130102236 edges, 3104 markings/sec, 655 secs
lola: STP completed || 3 tries, 2231588 fired transitions, 660 secs || 1806468 markings, 131095789 edges, 2885 markings/sec, 660 secs
lola: STP completed || 3 tries, 2247741 fired transitions, 665 secs || 1821481 markings, 132089402 edges, 3003 markings/sec, 665 secs
lola: STP completed || 3 tries, 2264444 fired transitions, 670 secs || 1835947 markings, 133046535 edges, 2893 markings/sec, 670 secs
lola: STP completed || 3 tries, 2281582 fired transitions, 675 secs || 1850984 markings, 134040941 edges, 3007 markings/sec, 675 secs
lola: STP completed || 3 tries, 2298541 fired transitions, 680 secs || 1865814 markings, 135037283 edges, 2966 markings/sec, 680 secs
lola: STP completed || 3 tries, 2314454 fired transitions, 685 secs || 1881009 markings, 136033485 edges, 3039 markings/sec, 685 secs
lola: STP completed || 3 tries, 2331322 fired transitions, 690 secs || 1895620 markings, 137017531 edges, 2922 markings/sec, 690 secs
lola: STP completed || 3 tries, 2347141 fired transitions, 695 secs || 1911021 markings, 137999069 edges, 3080 markings/sec, 695 secs
lola: STP completed || 3 tries, 2363881 fired transitions, 700 secs || 1925659 markings, 138984103 edges, 2928 markings/sec, 700 secs
lola: STP completed || 3 tries, 2380729 fired transitions, 705 secs || 1940784 markings, 139989291 edges, 3025 markings/sec, 705 secs
lola: STP completed || 3 tries, 2396705 fired transitions, 710 secs || 1954909 markings, 140976644 edges, 2825 markings/sec, 710 secs
lola: STP completed || 3 tries, 2413569 fired transitions, 715 secs || 1968606 markings, 141961063 edges, 2739 markings/sec, 715 secs
lola: STP completed || 3 tries, 2429514 fired transitions, 720 secs || 1982799 markings, 142953358 edges, 2839 markings/sec, 720 secs
lola: STP completed || 3 tries, 2444900 fired transitions, 725 secs || 1996949 markings, 143927906 edges, 2830 markings/sec, 725 secs
lola: STP completed || 3 tries, 2461698 fired transitions, 730 secs || 2011864 markings, 144915741 edges, 2983 markings/sec, 730 secs
lola: STP completed || 3 tries, 2478590 fired transitions, 735 secs || 2026958 markings, 145920891 edges, 3019 markings/sec, 735 secs
lola: STP completed || 3 tries, 2495508 fired transitions, 740 secs || 2041832 markings, 146926676 edges, 2975 markings/sec, 740 secs
lola: STP completed || 3 tries, 2511505 fired transitions, 745 secs || 2056009 markings, 147922260 edges, 2835 markings/sec, 745 secs
lola: STP completed || 3 tries, 2527419 fired transitions, 750 secs || 2071090 markings, 148912898 edges, 3016 markings/sec, 750 secs
lola: STP completed || 3 tries, 2544239 fired transitions, 755 secs || 2085987 markings, 149906379 edges, 2979 markings/sec, 755 secs
lola: STP completed || 3 tries, 2561030 fired transitions, 760 secs || 2114078 markings, 150967050 edges, 5618 markings/sec, 760 secs
lola: STP completed || 3 tries, 2576028 fired transitions, 765 secs || 2129850 markings, 151977300 edges, 3154 markings/sec, 765 secs
lola: STP completed || 3 tries, 2592610 fired transitions, 770 secs || 2144006 markings, 152957693 edges, 2831 markings/sec, 770 secs
lola: STP completed || 3 tries, 2609482 fired transitions, 775 secs || 2158003 markings, 153935150 edges, 2799 markings/sec, 775 secs
lola: STP completed || 3 tries, 2626356 fired transitions, 780 secs || 2172100 markings, 154918648 edges, 2819 markings/sec, 780 secs
lola: STP completed || 3 tries, 2643204 fired transitions, 785 secs || 2185901 markings, 155909197 edges, 2760 markings/sec, 785 secs
lola: STP completed || 3 tries, 2660047 fired transitions, 790 secs || 2199310 markings, 156891901 edges, 2682 markings/sec, 790 secs
lola: STP completed || 3 tries, 2677016 fired transitions, 795 secs || 2213294 markings, 157876105 edges, 2797 markings/sec, 795 secs
lola: STP completed || 3 tries, 2693943 fired transitions, 800 secs || 2232698 markings, 158830447 edges, 3881 markings/sec, 800 secs
lola: STP completed || 3 tries, 2710654 fired transitions, 805 secs || 2248428 markings, 159823050 edges, 3146 markings/sec, 805 secs
lola: STP completed || 3 tries, 2727452 fired transitions, 810 secs || 2264546 markings, 160816670 edges, 3224 markings/sec, 810 secs
lola: STP completed || 3 tries, 2744162 fired transitions, 815 secs || 2278205 markings, 161784882 edges, 2732 markings/sec, 815 secs
lola: STP completed || 3 tries, 2761058 fired transitions, 820 secs || 2293859 markings, 162770989 edges, 3131 markings/sec, 820 secs
lola: STP completed || 3 tries, 2777797 fired transitions, 825 secs || 2308535 markings, 163757956 edges, 2935 markings/sec, 825 secs
lola: STP completed || 3 tries, 2794632 fired transitions, 830 secs || 2323603 markings, 164745279 edges, 3014 markings/sec, 830 secs
lola: STP completed || 3 tries, 2811444 fired transitions, 835 secs || 2339456 markings, 165743485 edges, 3171 markings/sec, 835 secs
lola: STP completed || 3 tries, 2828153 fired transitions, 840 secs || 2355966 markings, 166725744 edges, 3302 markings/sec, 840 secs
lola: STP completed || 3 tries, 2844893 fired transitions, 845 secs || 2371551 markings, 167717516 edges, 3117 markings/sec, 845 secs
lola: STP completed || 3 tries, 2861078 fired transitions, 850 secs || 2386332 markings, 168716256 edges, 2956 markings/sec, 850 secs
lola: STP completed || 3 tries, 2877803 fired transitions, 855 secs || 2402044 markings, 169717756 edges, 3142 markings/sec, 855 secs
lola: STP completed || 3 tries, 2893982 fired transitions, 860 secs || 2417744 markings, 170719020 edges, 3140 markings/sec, 860 secs
lola: STP completed || 3 tries, 2910795 fired transitions, 865 secs || 2434026 markings, 171722672 edges, 3256 markings/sec, 865 secs
lola: STP completed || 3 tries, 2927741 fired transitions, 870 secs || 2449277 markings, 172718640 edges, 3050 markings/sec, 870 secs
lola: STP completed || 3 tries, 2944831 fired transitions, 875 secs || 2465077 markings, 173727958 edges, 3160 markings/sec, 875 secs
lola: STP completed || 3 tries, 2961975 fired transitions, 880 secs || 2481231 markings, 174745452 edges, 3231 markings/sec, 880 secs
lola: STP completed || 3 tries, 2979169 fired transitions, 885 secs || 2497431 markings, 175763609 edges, 3240 markings/sec, 885 secs
lola: STP completed || 3 tries, 2996277 fired transitions, 890 secs || 2514017 markings, 176777661 edges, 3317 markings/sec, 890 secs
lola: STP completed || 4 tries, 3012419 fired transitions, 895 secs || 2529003 markings, 177777951 edges, 2997 markings/sec, 895 secs
lola: STP completed || 4 tries, 3029319 fired transitions, 900 secs || 2545972 markings, 178776200 edges, 3394 markings/sec, 900 secs
lola: STP completed || 4 tries, 3046426 fired transitions, 905 secs || 2559936 markings, 179754044 edges, 2793 markings/sec, 905 secs
lola: STP completed || 4 tries, 3063258 fired transitions, 910 secs || 2576823 markings, 180756867 edges, 3377 markings/sec, 910 secs
lola: STP completed || 4 tries, 3080145 fired transitions, 915 secs || 2592483 markings, 181763151 edges, 3132 markings/sec, 915 secs
lola: STP completed || 4 tries, 3096162 fired transitions, 920 secs || 2608714 markings, 182769870 edges, 3246 markings/sec, 920 secs
lola: STP completed || 4 tries, 3113019 fired transitions, 925 secs || 2624533 markings, 183772352 edges, 3164 markings/sec, 925 secs
lola: STP completed || 4 tries, 3129841 fired transitions, 930 secs || 2640839 markings, 184774213 edges, 3261 markings/sec, 930 secs
lola: STP completed || 4 tries, 3146641 fired transitions, 935 secs || 2655654 markings, 185771550 edges, 2963 markings/sec, 935 secs
lola: STP completed || 4 tries, 3163526 fired transitions, 940 secs || 2670672 markings, 186775473 edges, 3004 markings/sec, 940 secs
lola: STP completed || 4 tries, 3180223 fired transitions, 945 secs || 2685951 markings, 187763103 edges, 3056 markings/sec, 945 secs
lola: STP completed || 4 tries, 3197150 fired transitions, 950 secs || 2701796 markings, 188768018 edges, 3169 markings/sec, 950 secs
lola: STP completed || 4 tries, 3213992 fired transitions, 955 secs || 2718206 markings, 189774639 edges, 3282 markings/sec, 955 secs
lola: STP completed || 4 tries, 3230867 fired transitions, 960 secs || 2733593 markings, 190766025 edges, 3077 markings/sec, 960 secs
lola: STP completed || 4 tries, 3247688 fired transitions, 965 secs || 2748263 markings, 191759494 edges, 2934 markings/sec, 965 secs
lola: STP completed || 4 tries, 3264521 fired transitions, 970 secs || 2763626 markings, 192751422 edges, 3073 markings/sec, 970 secs
lola: STP completed || 4 tries, 3281335 fired transitions, 975 secs || 2779103 markings, 193754371 edges, 3095 markings/sec, 975 secs
lola: STP completed || 4 tries, 3298207 fired transitions, 980 secs || 2794911 markings, 194751247 edges, 3162 markings/sec, 980 secs
lola: STP completed || 4 tries, 3315283 fired transitions, 985 secs || 2809061 markings, 195738018 edges, 2830 markings/sec, 985 secs
lola: STP completed || 4 tries, 3332245 fired transitions, 990 secs || 2823861 markings, 196736170 edges, 2960 markings/sec, 990 secs
lola: STP completed || 4 tries, 3349347 fired transitions, 995 secs || 2840746 markings, 197737729 edges, 3377 markings/sec, 995 secs
lola: STP completed || 4 tries, 3366247 fired transitions, 1000 secs || 2855745 markings, 198730145 edges, 3000 markings/sec, 1000 secs
lola: STP completed || 4 tries, 3383224 fired transitions, 1005 secs || 2872818 markings, 199735016 edges, 3415 markings/sec, 1005 secs
lola: STP completed || 4 tries, 3400316 fired transitions, 1010 secs || 2888075 markings, 200727869 edges, 3051 markings/sec, 1010 secs
lola: STP completed || 4 tries, 3417253 fired transitions, 1015 secs || 2905622 markings, 201744737 edges, 3509 markings/sec, 1015 secs
lola: STP completed || 4 tries, 3434180 fired transitions, 1020 secs || 2921641 markings, 202760186 edges, 3204 markings/sec, 1020 secs
lola: STP completed || 4 tries, 3451249 fired transitions, 1025 secs || 2937953 markings, 203787853 edges, 3262 markings/sec, 1025 secs
lola: STP completed || 4 tries, 3468349 fired transitions, 1030 secs || 2953545 markings, 204807639 edges, 3118 markings/sec, 1030 secs
lola: STP completed || 4 tries, 3485446 fired transitions, 1035 secs || 2971751 markings, 205840771 edges, 3641 markings/sec, 1035 secs
lola: STP completed || 4 tries, 3502473 fired transitions, 1040 secs || 2987194 markings, 206855907 edges, 3089 markings/sec, 1040 secs
lola: STP completed || 4 tries, 3519549 fired transitions, 1045 secs || 3002541 markings, 207861866 edges, 3069 markings/sec, 1045 secs
lola: STP completed || 4 tries, 3536680 fired transitions, 1050 secs || 3018038 markings, 208879718 edges, 3099 markings/sec, 1050 secs
lola: STP completed || 4 tries, 3553706 fired transitions, 1055 secs || 3035145 markings, 209905938 edges, 3421 markings/sec, 1055 secs
lola: STP completed || 4 tries, 3570718 fired transitions, 1060 secs || 3051642 markings, 210913922 edges, 3299 markings/sec, 1060 secs
lola: STP completed || 4 tries, 3587703 fired transitions, 1065 secs || 3068396 markings, 211927573 edges, 3351 markings/sec, 1065 secs
lola: STP completed || 4 tries, 3604744 fired transitions, 1070 secs || 3086118 markings, 212952612 edges, 3544 markings/sec, 1070 secs
lola: STP completed || 4 tries, 3621789 fired transitions, 1075 secs || 3102743 markings, 213967864 edges, 3325 markings/sec, 1075 secs
lola: STP completed || 4 tries, 3638816 fired transitions, 1080 secs || 3118856 markings, 214987550 edges, 3223 markings/sec, 1080 secs
lola: STP completed || 4 tries, 3655765 fired transitions, 1085 secs || 3136690 markings, 216016183 edges, 3567 markings/sec, 1085 secs
lola: STP completed || 4 tries, 3672840 fired transitions, 1090 secs || 3152615 markings, 217031244 edges, 3185 markings/sec, 1090 secs
lola: STP completed || 4 tries, 3689968 fired transitions, 1095 secs || 3168435 markings, 218046843 edges, 3164 markings/sec, 1095 secs
lola: STP completed || 4 tries, 3707037 fired transitions, 1100 secs || 3184918 markings, 219063619 edges, 3297 markings/sec, 1100 secs
lola: STP completed || 4 tries, 3723997 fired transitions, 1105 secs || 3202582 markings, 220092302 edges, 3533 markings/sec, 1105 secs
lola: STP completed || 4 tries, 3740986 fired transitions, 1110 secs || 3220025 markings, 221106455 edges, 3489 markings/sec, 1110 secs
lola: STP completed || 4 tries, 3757979 fired transitions, 1115 secs || 3236199 markings, 222119771 edges, 3235 markings/sec, 1115 secs
lola: STP completed || 4 tries, 3774975 fired transitions, 1120 secs || 3253193 markings, 223137375 edges, 3399 markings/sec, 1120 secs
lola: STP completed || 4 tries, 3791963 fired transitions, 1125 secs || 3272076 markings, 224162694 edges, 3777 markings/sec, 1125 secs
lola: STP completed || 4 tries, 3808990 fired transitions, 1130 secs || 3288285 markings, 225183901 edges, 3242 markings/sec, 1130 secs
lola: STP completed || 4 tries, 3826006 fired transitions, 1135 secs || 3305487 markings, 226209506 edges, 3440 markings/sec, 1135 secs
lola: STP completed || 4 tries, 3842986 fired transitions, 1140 secs || 3321240 markings, 227217172 edges, 3151 markings/sec, 1140 secs
lola: STP completed || 4 tries, 3859912 fired transitions, 1145 secs || 3338806 markings, 228233122 edges, 3513 markings/sec, 1145 secs
lola: STP completed || 4 tries, 3876984 fired transitions, 1150 secs || 3355936 markings, 229265330 edges, 3426 markings/sec, 1150 secs
lola: STP completed || 4 tries, 3893869 fired transitions, 1155 secs || 3371141 markings, 230268813 edges, 3041 markings/sec, 1155 secs
lola: STP completed || 4 tries, 3910869 fired transitions, 1160 secs || 3398937 markings, 231323753 edges, 5559 markings/sec, 1160 secs
lola: STP completed || 4 tries, 3927902 fired transitions, 1165 secs || 3432755 markings, 232390606 edges, 6764 markings/sec, 1165 secs
lola: STP completed || 4 tries, 3944959 fired transitions, 1170 secs || 3467018 markings, 233460690 edges, 6853 markings/sec, 1170 secs
lola: STP completed || 4 tries, 3961970 fired transitions, 1175 secs || 3490934 markings, 234502728 edges, 4783 markings/sec, 1175 secs
lola: STP completed || 4 tries, 3979055 fired transitions, 1180 secs || 3508558 markings, 235511039 edges, 3525 markings/sec, 1180 secs
lola: STP completed || 4 tries, 3996135 fired transitions, 1185 secs || 3524462 markings, 236507597 edges, 3181 markings/sec, 1185 secs
lola: STP completed || 5 tries, 4013132 fired transitions, 1190 secs || 3542076 markings, 237510917 edges, 3523 markings/sec, 1190 secs
lola: STP completed || 5 tries, 4030174 fired transitions, 1195 secs || 3557686 markings, 238508082 edges, 3122 markings/sec, 1195 secs
lola: STP completed || 5 tries, 4047206 fired transitions, 1200 secs || 3575361 markings, 239510562 edges, 3535 markings/sec, 1200 secs
lola: STP completed || 5 tries, 4064144 fired transitions, 1205 secs || 3592501 markings, 240518167 edges, 3428 markings/sec, 1205 secs
lola: STP completed || 5 tries, 4081102 fired transitions, 1210 secs || 3610483 markings, 241526323 edges, 3596 markings/sec, 1210 secs
lola: STP completed || 5 tries, 4098173 fired transitions, 1215 secs || 3626225 markings, 242520887 edges, 3148 markings/sec, 1215 secs
lola: STP completed || 5 tries, 4115336 fired transitions, 1220 secs || 3643852 markings, 243525342 edges, 3525 markings/sec, 1220 secs
lola: STP completed || 5 tries, 4132374 fired transitions, 1225 secs || 3658673 markings, 244508532 edges, 2964 markings/sec, 1225 secs
lola: STP completed || 5 tries, 4149479 fired transitions, 1230 secs || 3675892 markings, 245510952 edges, 3444 markings/sec, 1230 secs
lola: STP completed || 5 tries, 4166568 fired transitions, 1235 secs || 3692179 markings, 246503250 edges, 3257 markings/sec, 1235 secs
lola: STP completed || 5 tries, 4183501 fired transitions, 1240 secs || 3706624 markings, 247487887 edges, 2889 markings/sec, 1240 secs
lola: STP completed || 5 tries, 4200462 fired transitions, 1245 secs || 3723823 markings, 248494293 edges, 3440 markings/sec, 1245 secs
lola: STP completed || 5 tries, 4217464 fired transitions, 1250 secs || 3741856 markings, 249504739 edges, 3607 markings/sec, 1250 secs
lola: STP completed || 5 tries, 4234513 fired transitions, 1255 secs || 3758665 markings, 250504424 edges, 3362 markings/sec, 1255 secs
lola: STP completed || 5 tries, 4251671 fired transitions, 1260 secs || 3784812 markings, 251547686 edges, 5229 markings/sec, 1260 secs
lola: STP completed || 5 tries, 4268665 fired transitions, 1265 secs || 3801724 markings, 252551645 edges, 3382 markings/sec, 1265 secs
lola: STP completed || 5 tries, 4285768 fired transitions, 1270 secs || 3818931 markings, 253550425 edges, 3441 markings/sec, 1270 secs
lola: STP completed || 5 tries, 4302801 fired transitions, 1275 secs || 3835267 markings, 254553964 edges, 3267 markings/sec, 1275 secs
lola: STP completed || 5 tries, 4319766 fired transitions, 1280 secs || 3853564 markings, 255560340 edges, 3659 markings/sec, 1280 secs
lola: STP completed || 5 tries, 4336779 fired transitions, 1285 secs || 3871840 markings, 256567611 edges, 3655 markings/sec, 1285 secs
lola: STP completed || 5 tries, 4353715 fired transitions, 1290 secs || 3888077 markings, 257565163 edges, 3247 markings/sec, 1290 secs
lola: STP completed || 5 tries, 4370613 fired transitions, 1295 secs || 3902969 markings, 258513553 edges, 2978 markings/sec, 1295 secs
lola: STP completed || 5 tries, 4387435 fired transitions, 1300 secs || 3920488 markings, 259497840 edges, 3504 markings/sec, 1300 secs
lola: STP completed || 5 tries, 4404436 fired transitions, 1305 secs || 3937764 markings, 260491531 edges, 3455 markings/sec, 1305 secs
lola: STP completed || 5 tries, 4421355 fired transitions, 1310 secs || 3953016 markings, 261470286 edges, 3050 markings/sec, 1310 secs
lola: STP completed || 5 tries, 4438395 fired transitions, 1315 secs || 3970142 markings, 262464930 edges, 3425 markings/sec, 1315 secs
lola: STP completed || 5 tries, 4455388 fired transitions, 1320 secs || 3987072 markings, 263466589 edges, 3386 markings/sec, 1320 secs
lola: STP completed || 5 tries, 4472404 fired transitions, 1325 secs || 4004146 markings, 264468861 edges, 3415 markings/sec, 1325 secs
lola: STP completed || 5 tries, 4489408 fired transitions, 1330 secs || 4022180 markings, 265481446 edges, 3607 markings/sec, 1330 secs
lola: STP completed || 5 tries, 4506444 fired transitions, 1335 secs || 4040051 markings, 266483433 edges, 3574 markings/sec, 1335 secs
lola: STP completed || 5 tries, 4523352 fired transitions, 1340 secs || 4057133 markings, 267433049 edges, 3416 markings/sec, 1340 secs
lola: STP completed || 5 tries, 4540427 fired transitions, 1345 secs || 4075725 markings, 268441236 edges, 3718 markings/sec, 1345 secs
lola: STP completed || 5 tries, 4557469 fired transitions, 1350 secs || 4091473 markings, 269431408 edges, 3150 markings/sec, 1350 secs
lola: STP completed || 5 tries, 4574431 fired transitions, 1355 secs || 4106225 markings, 270417316 edges, 2950 markings/sec, 1355 secs
lola: STP completed || 5 tries, 4591390 fired transitions, 1360 secs || 4119119 markings, 271402895 edges, 2579 markings/sec, 1360 secs
lola: STP completed || 5 tries, 4608244 fired transitions, 1365 secs || 4132225 markings, 272391150 edges, 2621 markings/sec, 1365 secs
lola: STP completed || 5 tries, 4625235 fired transitions, 1370 secs || 4145730 markings, 273379700 edges, 2701 markings/sec, 1370 secs
lola: STP completed || 5 tries, 4642148 fired transitions, 1375 secs || 4159286 markings, 274366140 edges, 2711 markings/sec, 1375 secs
lola: STP completed || 5 tries, 4659275 fired transitions, 1380 secs || 4172466 markings, 275355461 edges, 2636 markings/sec, 1380 secs
lola: STP completed || 5 tries, 4675778 fired transitions, 1385 secs || 4186786 markings, 276354873 edges, 2864 markings/sec, 1385 secs
lola: STP completed || 5 tries, 4691758 fired transitions, 1390 secs || 4200172 markings, 277344663 edges, 2677 markings/sec, 1390 secs
lola: STP completed || 5 tries, 4707329 fired transitions, 1395 secs || 4213018 markings, 278322277 edges, 2569 markings/sec, 1395 secs
lola: STP completed || 5 tries, 4724089 fired transitions, 1400 secs || 4226563 markings, 279309476 edges, 2709 markings/sec, 1400 secs
lola: STP completed || 5 tries, 4740936 fired transitions, 1405 secs || 4240063 markings, 280308298 edges, 2700 markings/sec, 1405 secs
lola: STP completed || 5 tries, 4757785 fired transitions, 1410 secs || 4254182 markings, 281305732 edges, 2824 markings/sec, 1410 secs
lola: STP completed || 5 tries, 4774643 fired transitions, 1415 secs || 4268242 markings, 282306706 edges, 2812 markings/sec, 1415 secs
lola: STP completed || 5 tries, 4791455 fired transitions, 1420 secs || 4281884 markings, 283311561 edges, 2728 markings/sec, 1420 secs
lola: STP completed || 5 tries, 4808158 fired transitions, 1425 secs || 4296396 markings, 284327269 edges, 2902 markings/sec, 1425 secs
lola: STP completed || 5 tries, 4825011 fired transitions, 1430 secs || 4310733 markings, 285334758 edges, 2867 markings/sec, 1430 secs
lola: STP completed || 5 tries, 4841840 fired transitions, 1435 secs || 4324409 markings, 286323851 edges, 2735 markings/sec, 1435 secs
lola: STP completed || 5 tries, 4858689 fired transitions, 1440 secs || 4338874 markings, 287329229 edges, 2893 markings/sec, 1440 secs
lola: STP completed || 5 tries, 4875539 fired transitions, 1445 secs || 4351906 markings, 288309466 edges, 2606 markings/sec, 1445 secs
lola: STP completed || 5 tries, 4892439 fired transitions, 1450 secs || 4366594 markings, 289315396 edges, 2938 markings/sec, 1450 secs
lola: STP completed || 5 tries, 4908806 fired transitions, 1455 secs || 4380599 markings, 290314399 edges, 2801 markings/sec, 1455 secs
lola: STP completed || 5 tries, 4924840 fired transitions, 1460 secs || 4392830 markings, 291295777 edges, 2446 markings/sec, 1460 secs
lola: STP completed || 5 tries, 4941815 fired transitions, 1465 secs || 4405787 markings, 292291322 edges, 2591 markings/sec, 1465 secs
lola: STP completed || 5 tries, 4958804 fired transitions, 1470 secs || 4418240 markings, 293266735 edges, 2491 markings/sec, 1470 secs
lola: STP completed || 5 tries, 4974676 fired transitions, 1475 secs || 4430968 markings, 294259239 edges, 2546 markings/sec, 1475 secs
lola: STP completed || 5 tries, 4991601 fired transitions, 1480 secs || 4443468 markings, 295241474 edges, 2500 markings/sec, 1480 secs
lola: STP completed || 6 tries, 5008532 fired transitions, 1485 secs || 4456181 markings, 296223677 edges, 2543 markings/sec, 1485 secs
lola: STP completed || 6 tries, 5025304 fired transitions, 1490 secs || 4468561 markings, 297201275 edges, 2476 markings/sec, 1490 secs
lola: STP completed || 6 tries, 5042069 fired transitions, 1495 secs || 4480918 markings, 298177111 edges, 2471 markings/sec, 1495 secs
lola: STP completed || 6 tries, 5058894 fired transitions, 1500 secs || 4492710 markings, 299103553 edges, 2358 markings/sec, 1500 secs
lola: STP completed || 6 tries, 5075749 fired transitions, 1505 secs || 4505368 markings, 300069718 edges, 2532 markings/sec, 1505 secs
lola: STP completed || 6 tries, 5092538 fired transitions, 1510 secs || 4518485 markings, 301054810 edges, 2623 markings/sec, 1510 secs
lola: STP completed || 6 tries, 5109364 fired transitions, 1515 secs || 4530796 markings, 302015489 edges, 2462 markings/sec, 1515 secs
lola: STP completed || 6 tries, 5126113 fired transitions, 1520 secs || 4543349 markings, 302988851 edges, 2511 markings/sec, 1520 secs
lola: STP completed || 6 tries, 5142347 fired transitions, 1525 secs || 4556682 markings, 303963613 edges, 2667 markings/sec, 1525 secs
lola: STP completed || 6 tries, 5159261 fired transitions, 1530 secs || 4568890 markings, 304926029 edges, 2442 markings/sec, 1530 secs
lola: STP completed || 6 tries, 5176120 fired transitions, 1535 secs || 4582267 markings, 305901406 edges, 2675 markings/sec, 1535 secs
lola: STP completed || 6 tries, 5192252 fired transitions, 1540 secs || 4594940 markings, 306869786 edges, 2535 markings/sec, 1540 secs
lola: STP completed || 6 tries, 5209025 fired transitions, 1545 secs || 4608214 markings, 307844443 edges, 2655 markings/sec, 1545 secs
lola: STP completed || 6 tries, 5226014 fired transitions, 1550 secs || 4621183 markings, 308820256 edges, 2594 markings/sec, 1550 secs
lola: STP completed || 6 tries, 5243073 fired transitions, 1555 secs || 4634671 markings, 309800690 edges, 2698 markings/sec, 1555 secs
lola: STP completed || 6 tries, 5260085 fired transitions, 1560 secs || 4647580 markings, 310777861 edges, 2582 markings/sec, 1560 secs
lola: STP completed || 6 tries, 5277022 fired transitions, 1565 secs || 4660588 markings, 311756137 edges, 2602 markings/sec, 1565 secs
lola: STP completed || 6 tries, 5293921 fired transitions, 1570 secs || 4673099 markings, 312747793 edges, 2502 markings/sec, 1570 secs
lola: STP completed || 6 tries, 5311008 fired transitions, 1575 secs || 4686129 markings, 313743994 edges, 2606 markings/sec, 1575 secs
lola: STP completed || 6 tries, 5328061 fired transitions, 1580 secs || 4698438 markings, 314725956 edges, 2462 markings/sec, 1580 secs
lola: STP completed || 6 tries, 5345086 fired transitions, 1585 secs || 4710800 markings, 315709525 edges, 2472 markings/sec, 1585 secs
lola: STP completed || 6 tries, 5362027 fired transitions, 1590 secs || 4723579 markings, 316696785 edges, 2556 markings/sec, 1590 secs
lola: STP completed || 6 tries, 5379074 fired transitions, 1595 secs || 4736102 markings, 317684622 edges, 2505 markings/sec, 1595 secs
lola: STP completed || 6 tries, 5396146 fired transitions, 1600 secs || 4748703 markings, 318670458 edges, 2520 markings/sec, 1600 secs
lola: STP completed || 6 tries, 5413238 fired transitions, 1605 secs || 4761809 markings, 319666613 edges, 2621 markings/sec, 1605 secs
lola: STP completed || 6 tries, 5430223 fired transitions, 1610 secs || 4774218 markings, 320643126 edges, 2482 markings/sec, 1610 secs
lola: STP completed || 6 tries, 5447242 fired transitions, 1615 secs || 4787188 markings, 321637493 edges, 2594 markings/sec, 1615 secs
lola: STP completed || 6 tries, 5464376 fired transitions, 1620 secs || 4799999 markings, 322625631 edges, 2562 markings/sec, 1620 secs
lola: STP completed || 6 tries, 5481358 fired transitions, 1625 secs || 4813315 markings, 323630619 edges, 2663 markings/sec, 1625 secs
lola: STP completed || 6 tries, 5498341 fired transitions, 1630 secs || 4826721 markings, 324636692 edges, 2681 markings/sec, 1630 secs
lola: STP completed || 6 tries, 5515219 fired transitions, 1635 secs || 4839301 markings, 325621853 edges, 2516 markings/sec, 1635 secs
lola: STP completed || 6 tries, 5532211 fired transitions, 1640 secs || 4853422 markings, 326625633 edges, 2824 markings/sec, 1640 secs
lola: STP completed || 6 tries, 5548976 fired transitions, 1645 secs || 4865722 markings, 327565092 edges, 2460 markings/sec, 1645 secs
lola: STP completed || 6 tries, 5565914 fired transitions, 1650 secs || 4879329 markings, 328556656 edges, 2721 markings/sec, 1650 secs
lola: STP completed || 6 tries, 5582944 fired transitions, 1655 secs || 4892590 markings, 329542978 edges, 2652 markings/sec, 1655 secs
lola: STP completed || 6 tries, 5599937 fired transitions, 1660 secs || 4906206 markings, 330543174 edges, 2723 markings/sec, 1660 secs
lola: STP completed || 6 tries, 5616951 fired transitions, 1665 secs || 4919429 markings, 331537835 edges, 2645 markings/sec, 1665 secs
lola: STP completed || 6 tries, 5633934 fired transitions, 1670 secs || 4932516 markings, 332522086 edges, 2617 markings/sec, 1670 secs
lola: STP completed || 6 tries, 5650870 fired transitions, 1675 secs || 4945503 markings, 333517446 edges, 2597 markings/sec, 1675 secs
lola: STP completed || 6 tries, 5667916 fired transitions, 1680 secs || 4959636 markings, 334524304 edges, 2827 markings/sec, 1680 secs
lola: STP completed || 6 tries, 5684959 fired transitions, 1685 secs || 4973440 markings, 335525754 edges, 2761 markings/sec, 1685 secs
lola: STP completed || 6 tries, 5701878 fired transitions, 1690 secs || 4987241 markings, 336525264 edges, 2760 markings/sec, 1690 secs
lola: STP completed || 6 tries, 5718860 fired transitions, 1695 secs || 5001039 markings, 337521531 edges, 2760 markings/sec, 1695 secs
lola: STP completed || 6 tries, 5735901 fired transitions, 1700 secs || 5014187 markings, 338511442 edges, 2630 markings/sec, 1700 secs
lola: STP completed || 6 tries, 5752834 fired transitions, 1705 secs || 5027122 markings, 339493084 edges, 2587 markings/sec, 1705 secs
lola: STP completed || 6 tries, 5769772 fired transitions, 1710 secs || 5040786 markings, 340477460 edges, 2733 markings/sec, 1710 secs
lola: STP completed || 6 tries, 5786704 fired transitions, 1715 secs || 5054083 markings, 341451910 edges, 2659 markings/sec, 1715 secs
lola: STP completed || 6 tries, 5803702 fired transitions, 1720 secs || 5066921 markings, 342422700 edges, 2568 markings/sec, 1720 secs
lola: STP completed || 6 tries, 5820714 fired transitions, 1725 secs || 5079863 markings, 343391936 edges, 2588 markings/sec, 1725 secs
lola: STP completed || 6 tries, 5837773 fired transitions, 1730 secs || 5094197 markings, 344379186 edges, 2867 markings/sec, 1730 secs
lola: STP completed || 6 tries, 5854815 fired transitions, 1735 secs || 5110989 markings, 345377444 edges, 3358 markings/sec, 1735 secs
lola: STP completed || 6 tries, 5871613 fired transitions, 1740 secs || 5124023 markings, 346326209 edges, 2607 markings/sec, 1740 secs
lola: STP completed || 6 tries, 5888602 fired transitions, 1745 secs || 5137972 markings, 347321371 edges, 2790 markings/sec, 1745 secs
lola: STP completed || 6 tries, 5905678 fired transitions, 1750 secs || 5151513 markings, 348320993 edges, 2708 markings/sec, 1750 secs
lola: STP completed || 6 tries, 5922703 fired transitions, 1755 secs || 5164947 markings, 349304604 edges, 2687 markings/sec, 1755 secs
lola: STP completed || 6 tries, 5939708 fired transitions, 1760 secs || 5179422 markings, 350296915 edges, 2895 markings/sec, 1760 secs
lola: STP completed || 6 tries, 5956637 fired transitions, 1765 secs || 5192433 markings, 351275229 edges, 2602 markings/sec, 1765 secs
lola: STP completed || 6 tries, 5973601 fired transitions, 1770 secs || 5204959 markings, 352238714 edges, 2505 markings/sec, 1770 secs
lola: STP completed || 6 tries, 5990609 fired transitions, 1775 secs || 5219266 markings, 353229106 edges, 2861 markings/sec, 1775 secs
lola: STP completed || 7 tries, 6007581 fired transitions, 1780 secs || 5233064 markings, 354152505 edges, 2760 markings/sec, 1780 secs
lola: STP completed || 7 tries, 6024616 fired transitions, 1785 secs || 5246691 markings, 355131648 edges, 2725 markings/sec, 1785 secs
lola: STP completed || 7 tries, 6041442 fired transitions, 1790 secs || 5261216 markings, 356059590 edges, 2905 markings/sec, 1790 secs
lola: STP completed || 7 tries, 6058283 fired transitions, 1795 secs || 5287752 markings, 357092191 edges, 5307 markings/sec, 1795 secs
lola: STP completed || 7 tries, 6075261 fired transitions, 1800 secs || 5307454 markings, 358095163 edges, 3940 markings/sec, 1800 secs
lola: STP completed || 7 tries, 6092232 fired transitions, 1805 secs || 5323526 markings, 359088847 edges, 3214 markings/sec, 1805 secs
lola: STP completed || 7 tries, 6109237 fired transitions, 1810 secs || 5338807 markings, 360070498 edges, 3056 markings/sec, 1810 secs
lola: STP completed || 7 tries, 6126266 fired transitions, 1815 secs || 5354593 markings, 361058419 edges, 3157 markings/sec, 1815 secs
lola: STP completed || 7 tries, 6143311 fired transitions, 1820 secs || 5369009 markings, 362044819 edges, 2883 markings/sec, 1820 secs
lola: STP completed || 7 tries, 6160316 fired transitions, 1825 secs || 5384491 markings, 363052785 edges, 3096 markings/sec, 1825 secs
lola: STP completed || 7 tries, 6177175 fired transitions, 1830 secs || 5401035 markings, 364036679 edges, 3309 markings/sec, 1830 secs
lola: STP completed || 7 tries, 6194280 fired transitions, 1835 secs || 5418142 markings, 365036315 edges, 3421 markings/sec, 1835 secs
lola: STP completed || 7 tries, 6211245 fired transitions, 1840 secs || 5433298 markings, 366023469 edges, 3031 markings/sec, 1840 secs
lola: STP completed || 7 tries, 6228200 fired transitions, 1845 secs || 5447822 markings, 367010817 edges, 2905 markings/sec, 1845 secs
lola: STP completed || 7 tries, 6245319 fired transitions, 1850 secs || 5462242 markings, 368000080 edges, 2884 markings/sec, 1850 secs
lola: STP completed || 7 tries, 6262302 fired transitions, 1855 secs || 5481029 markings, 369008163 edges, 3757 markings/sec, 1855 secs
lola: STP completed || 7 tries, 6279347 fired transitions, 1860 secs || 5495087 markings, 369991023 edges, 2812 markings/sec, 1860 secs
lola: STP completed || 7 tries, 6296220 fired transitions, 1865 secs || 5507356 markings, 370974347 edges, 2454 markings/sec, 1865 secs
lola: STP completed || 7 tries, 6313169 fired transitions, 1870 secs || 5520182 markings, 371962779 edges, 2565 markings/sec, 1870 secs
lola: STP completed || 7 tries, 6330237 fired transitions, 1875 secs || 5532880 markings, 372941691 edges, 2540 markings/sec, 1875 secs
lola: STP completed || 7 tries, 6347196 fired transitions, 1880 secs || 5545182 markings, 373914356 edges, 2460 markings/sec, 1880 secs
lola: STP completed || 7 tries, 6364140 fired transitions, 1885 secs || 5557743 markings, 374893887 edges, 2512 markings/sec, 1885 secs
lola: STP completed || 7 tries, 6381136 fired transitions, 1890 secs || 5569962 markings, 375863870 edges, 2444 markings/sec, 1890 secs
lola: STP completed || 7 tries, 6398180 fired transitions, 1895 secs || 5582886 markings, 376856791 edges, 2585 markings/sec, 1895 secs
lola: STP completed || 7 tries, 6415236 fired transitions, 1900 secs || 5595346 markings, 377823682 edges, 2492 markings/sec, 1900 secs
lola: STP completed || 7 tries, 6432281 fired transitions, 1905 secs || 5608194 markings, 378808765 edges, 2570 markings/sec, 1905 secs
lola: STP completed || 7 tries, 6449209 fired transitions, 1910 secs || 5621013 markings, 379789141 edges, 2564 markings/sec, 1910 secs
lola: STP completed || 7 tries, 6466199 fired transitions, 1915 secs || 5633269 markings, 380757197 edges, 2451 markings/sec, 1915 secs
lola: STP completed || 7 tries, 6483239 fired transitions, 1920 secs || 5645684 markings, 381737426 edges, 2483 markings/sec, 1920 secs
lola: STP completed || 7 tries, 6500319 fired transitions, 1925 secs || 5659067 markings, 382729763 edges, 2677 markings/sec, 1925 secs
lola: STP completed || 7 tries, 6517403 fired transitions, 1930 secs || 5672251 markings, 383711353 edges, 2637 markings/sec, 1930 secs
lola: STP completed || 7 tries, 6534432 fired transitions, 1935 secs || 5685348 markings, 384692172 edges, 2619 markings/sec, 1935 secs
lola: STP completed || 7 tries, 6551444 fired transitions, 1940 secs || 5698386 markings, 385678168 edges, 2608 markings/sec, 1940 secs
lola: STP completed || 7 tries, 6568544 fired transitions, 1945 secs || 5712158 markings, 386669542 edges, 2754 markings/sec, 1945 secs
lola: STP completed || 7 tries, 6585498 fired transitions, 1950 secs || 5725472 markings, 387663073 edges, 2663 markings/sec, 1950 secs
lola: STP completed || 7 tries, 6602378 fired transitions, 1955 secs || 5738910 markings, 388652486 edges, 2688 markings/sec, 1955 secs
lola: STP completed || 7 tries, 6619251 fired transitions, 1960 secs || 5752865 markings, 389644262 edges, 2791 markings/sec, 1960 secs
lola: STP completed || 7 tries, 6636208 fired transitions, 1965 secs || 5765656 markings, 390639380 edges, 2558 markings/sec, 1965 secs
lola: STP completed || 7 tries, 6653059 fired transitions, 1970 secs || 5778174 markings, 391626433 edges, 2504 markings/sec, 1970 secs
lola: STP completed || 7 tries, 6670108 fired transitions, 1975 secs || 5790937 markings, 392605661 edges, 2553 markings/sec, 1975 secs
lola: STP completed || 7 tries, 6686166 fired transitions, 1980 secs || 5803121 markings, 393573508 edges, 2437 markings/sec, 1980 secs
lola: STP completed || 7 tries, 6702913 fired transitions, 1985 secs || 5815946 markings, 394558073 edges, 2565 markings/sec, 1985 secs
lola: STP completed || 7 tries, 6719679 fired transitions, 1990 secs || 5828283 markings, 395521972 edges, 2467 markings/sec, 1990 secs
lola: STP completed || 7 tries, 6736369 fired transitions, 1995 secs || 5840543 markings, 396485704 edges, 2452 markings/sec, 1995 secs
lola: STP completed || 7 tries, 6753119 fired transitions, 2000 secs || 5852816 markings, 397449035 edges, 2455 markings/sec, 2000 secs
lola: STP completed || 7 tries, 6769803 fired transitions, 2005 secs || 5864792 markings, 398409853 edges, 2395 markings/sec, 2005 secs
lola: STP completed || 7 tries, 6786585 fired transitions, 2010 secs || 5877710 markings, 399393154 edges, 2584 markings/sec, 2010 secs
lola: STP completed || 7 tries, 6803349 fired transitions, 2015 secs || 5890654 markings, 400364760 edges, 2589 markings/sec, 2015 secs
lola: STP completed || 7 tries, 6820135 fired transitions, 2020 secs || 5902965 markings, 401297828 edges, 2462 markings/sec, 2020 secs
lola: STP completed || 7 tries, 6836902 fired transitions, 2025 secs || 5914735 markings, 402221461 edges, 2354 markings/sec, 2025 secs
lola: STP completed || 7 tries, 6853578 fired transitions, 2030 secs || 5928103 markings, 403201611 edges, 2674 markings/sec, 2030 secs
lola: STP completed || 7 tries, 6870284 fired transitions, 2035 secs || 5940788 markings, 404168472 edges, 2537 markings/sec, 2035 secs
lola: STP completed || 7 tries, 6887005 fired transitions, 2040 secs || 5953092 markings, 405128315 edges, 2461 markings/sec, 2040 secs
lola: STP completed || 7 tries, 6903767 fired transitions, 2045 secs || 5966209 markings, 406107912 edges, 2623 markings/sec, 2045 secs
lola: STP completed || 7 tries, 6920497 fired transitions, 2050 secs || 5979233 markings, 407075259 edges, 2605 markings/sec, 2050 secs
lola: STP completed || 7 tries, 6937294 fired transitions, 2055 secs || 5992590 markings, 408053210 edges, 2671 markings/sec, 2055 secs
lola: STP completed || 7 tries, 6954056 fired transitions, 2060 secs || 6005827 markings, 409034967 edges, 2647 markings/sec, 2060 secs
lola: STP completed || 7 tries, 6970891 fired transitions, 2065 secs || 6019548 markings, 410017295 edges, 2744 markings/sec, 2065 secs
lola: STP completed || 7 tries, 6987666 fired transitions, 2070 secs || 6033149 markings, 410996593 edges, 2720 markings/sec, 2070 secs
lola: STP completed || 8 tries, 7004442 fired transitions, 2075 secs || 6046499 markings, 411973423 edges, 2670 markings/sec, 2075 secs
lola: STP completed || 8 tries, 7021194 fired transitions, 2080 secs || 6059617 markings, 412944669 edges, 2624 markings/sec, 2080 secs
lola: STP completed || 8 tries, 7037947 fired transitions, 2085 secs || 6072625 markings, 413911933 edges, 2602 markings/sec, 2085 secs
lola: STP completed || 8 tries, 7054685 fired transitions, 2090 secs || 6085272 markings, 414872270 edges, 2529 markings/sec, 2090 secs
lola: STP completed || 8 tries, 7071425 fired transitions, 2095 secs || 6099716 markings, 415861934 edges, 2889 markings/sec, 2095 secs
lola: STP completed || 8 tries, 7088177 fired transitions, 2100 secs || 6113063 markings, 416829976 edges, 2669 markings/sec, 2100 secs
lola: STP completed || 8 tries, 7104846 fired transitions, 2105 secs || 6126675 markings, 417808357 edges, 2722 markings/sec, 2105 secs
lola: STP completed || 8 tries, 7121529 fired transitions, 2110 secs || 6141006 markings, 418799427 edges, 2866 markings/sec, 2110 secs
lola: STP completed || 8 tries, 7138230 fired transitions, 2115 secs || 6154607 markings, 419780374 edges, 2720 markings/sec, 2115 secs
lola: STP completed || 8 tries, 7154924 fired transitions, 2120 secs || 6168446 markings, 420760394 edges, 2768 markings/sec, 2120 secs
lola: STP completed || 8 tries, 7171645 fired transitions, 2125 secs || 6181855 markings, 421731728 edges, 2682 markings/sec, 2125 secs
lola: STP completed || 8 tries, 7188335 fired transitions, 2130 secs || 6195596 markings, 422708726 edges, 2748 markings/sec, 2130 secs
lola: STP completed || 8 tries, 7205157 fired transitions, 2135 secs || 6207831 markings, 423688587 edges, 2447 markings/sec, 2135 secs
lola: STP completed || 8 tries, 7221998 fired transitions, 2140 secs || 6220380 markings, 424661800 edges, 2510 markings/sec, 2140 secs
lola: STP completed || 8 tries, 7238726 fired transitions, 2145 secs || 6232694 markings, 425633770 edges, 2463 markings/sec, 2145 secs
lola: STP completed || 8 tries, 7255444 fired transitions, 2150 secs || 6245006 markings, 426614552 edges, 2462 markings/sec, 2150 secs
lola: STP completed || 8 tries, 7272287 fired transitions, 2155 secs || 6257577 markings, 427597479 edges, 2514 markings/sec, 2155 secs
lola: STP completed || 8 tries, 7289035 fired transitions, 2160 secs || 6270771 markings, 428587326 edges, 2639 markings/sec, 2160 secs
lola: STP completed || 8 tries, 7305733 fired transitions, 2165 secs || 6283211 markings, 429558126 edges, 2488 markings/sec, 2165 secs
lola: STP completed || 8 tries, 7322472 fired transitions, 2170 secs || 6295500 markings, 430528961 edges, 2458 markings/sec, 2170 secs
lola: STP completed || 8 tries, 7339207 fired transitions, 2175 secs || 6308199 markings, 431504990 edges, 2540 markings/sec, 2175 secs
lola: STP completed || 8 tries, 7355977 fired transitions, 2180 secs || 6320573 markings, 432481354 edges, 2475 markings/sec, 2180 secs
lola: STP completed || 8 tries, 7372808 fired transitions, 2185 secs || 6332999 markings, 433452524 edges, 2485 markings/sec, 2185 secs
lola: STP completed || 8 tries, 7389525 fired transitions, 2190 secs || 6346295 markings, 434439720 edges, 2659 markings/sec, 2190 secs
lola: STP completed || 8 tries, 7406252 fired transitions, 2195 secs || 6359181 markings, 435415374 edges, 2577 markings/sec, 2195 secs
lola: STP completed || 8 tries, 7422981 fired transitions, 2200 secs || 6371603 markings, 436391480 edges, 2484 markings/sec, 2200 secs
lola: STP completed || 8 tries, 7439730 fired transitions, 2205 secs || 6384464 markings, 437366326 edges, 2572 markings/sec, 2205 secs
lola: STP completed || 8 tries, 7456515 fired transitions, 2210 secs || 6397668 markings, 438356789 edges, 2641 markings/sec, 2210 secs
lola: STP completed || 8 tries, 7473237 fired transitions, 2215 secs || 6411017 markings, 439349867 edges, 2670 markings/sec, 2215 secs
lola: STP completed || 8 tries, 7489927 fired transitions, 2220 secs || 6424153 markings, 440341403 edges, 2627 markings/sec, 2220 secs
lola: STP completed || 8 tries, 7506681 fired transitions, 2225 secs || 6436929 markings, 441316631 edges, 2555 markings/sec, 2225 secs
lola: STP completed || 8 tries, 7523372 fired transitions, 2230 secs || 6449680 markings, 442298200 edges, 2550 markings/sec, 2230 secs
lola: STP completed || 8 tries, 7540199 fired transitions, 2235 secs || 6463176 markings, 443293417 edges, 2699 markings/sec, 2235 secs
lola: STP completed || 8 tries, 7557026 fired transitions, 2240 secs || 6476818 markings, 444275193 edges, 2728 markings/sec, 2240 secs
lola: STP completed || 8 tries, 7573840 fired transitions, 2245 secs || 6490690 markings, 445269983 edges, 2774 markings/sec, 2245 secs
lola: STP completed || 8 tries, 7590605 fired transitions, 2250 secs || 6504175 markings, 446262974 edges, 2697 markings/sec, 2250 secs
lola: STP completed || 8 tries, 7607283 fired transitions, 2255 secs || 6518163 markings, 447255444 edges, 2798 markings/sec, 2255 secs
lola: STP completed || 8 tries, 7623983 fired transitions, 2260 secs || 6532418 markings, 448254990 edges, 2851 markings/sec, 2260 secs
lola: STP completed || 8 tries, 7640738 fired transitions, 2265 secs || 6545549 markings, 449249440 edges, 2626 markings/sec, 2265 secs
lola: STP completed || 8 tries, 7657511 fired transitions, 2270 secs || 6559620 markings, 450254925 edges, 2814 markings/sec, 2270 secs
lola: STP completed || 8 tries, 7674334 fired transitions, 2275 secs || 6573163 markings, 451250033 edges, 2709 markings/sec, 2275 secs
lola: STP completed || 8 tries, 7691085 fired transitions, 2280 secs || 6586550 markings, 452245124 edges, 2677 markings/sec, 2280 secs
lola: STP completed || 8 tries, 7707773 fired transitions, 2285 secs || 6599999 markings, 453243984 edges, 2690 markings/sec, 2285 secs
lola: STP completed || 8 tries, 7724534 fired transitions, 2290 secs || 6613338 markings, 454233485 edges, 2668 markings/sec, 2290 secs
lola: STP completed || 8 tries, 7741260 fired transitions, 2295 secs || 6627293 markings, 455219554 edges, 2791 markings/sec, 2295 secs
lola: STP completed || 8 tries, 7757964 fired transitions, 2300 secs || 6641393 markings, 456219513 edges, 2820 markings/sec, 2300 secs
lola: STP completed || 8 tries, 7774773 fired transitions, 2305 secs || 6655364 markings, 457219485 edges, 2794 markings/sec, 2305 secs
lola: STP completed || 8 tries, 7791483 fired transitions, 2310 secs || 6669794 markings, 458208020 edges, 2886 markings/sec, 2310 secs
lola: STP completed || 8 tries, 7808277 fired transitions, 2315 secs || 6683802 markings, 459212479 edges, 2802 markings/sec, 2315 secs
lola: STP completed || 8 tries, 7824954 fired transitions, 2320 secs || 6697463 markings, 460197508 edges, 2732 markings/sec, 2320 secs
lola: STP completed || 8 tries, 7841684 fired transitions, 2325 secs || 6712862 markings, 461207596 edges, 3080 markings/sec, 2325 secs
lola: STP completed || 8 tries, 7858431 fired transitions, 2330 secs || 6727379 markings, 462213731 edges, 2903 markings/sec, 2330 secs
lola: STP completed || 8 tries, 7875118 fired transitions, 2335 secs || 6741348 markings, 463214430 edges, 2794 markings/sec, 2335 secs
lola: STP completed || 8 tries, 7891939 fired transitions, 2340 secs || 6756038 markings, 464215906 edges, 2938 markings/sec, 2340 secs
lola: STP completed || 8 tries, 7908605 fired transitions, 2345 secs || 6770962 markings, 465225048 edges, 2985 markings/sec, 2345 secs
lola: STP completed || 8 tries, 7925329 fired transitions, 2350 secs || 6786010 markings, 466231917 edges, 3010 markings/sec, 2350 secs
lola: STP completed || 8 tries, 7941954 fired transitions, 2355 secs || 6801634 markings, 467242975 edges, 3125 markings/sec, 2355 secs
lola: STP completed || 8 tries, 7958614 fired transitions, 2360 secs || 6815491 markings, 468235040 edges, 2771 markings/sec, 2360 secs
lola: STP completed || 8 tries, 7975409 fired transitions, 2365 secs || 6830197 markings, 469236363 edges, 2941 markings/sec, 2365 secs
lola: STP completed || 8 tries, 7992106 fired transitions, 2370 secs || 6845317 markings, 470254586 edges, 3024 markings/sec, 2370 secs
lola: STP completed || 9 tries, 8008839 fired transitions, 2375 secs || 6860101 markings, 471255644 edges, 2957 markings/sec, 2375 secs
lola: STP completed || 9 tries, 8025618 fired transitions, 2380 secs || 6873719 markings, 472237162 edges, 2724 markings/sec, 2380 secs
lola: STP completed || 9 tries, 8042372 fired transitions, 2385 secs || 6887503 markings, 473234891 edges, 2757 markings/sec, 2385 secs
lola: STP completed || 9 tries, 8059042 fired transitions, 2390 secs || 6902675 markings, 474249585 edges, 3034 markings/sec, 2390 secs
lola: STP completed || 9 tries, 8075827 fired transitions, 2395 secs || 6918939 markings, 475254630 edges, 3253 markings/sec, 2395 secs
lola: STP completed || 9 tries, 8092529 fired transitions, 2400 secs || 6934083 markings, 476253071 edges, 3029 markings/sec, 2400 secs
lola: STP completed || 9 tries, 8109289 fired transitions, 2405 secs || 6949373 markings, 477259157 edges, 3058 markings/sec, 2405 secs
lola: STP completed || 9 tries, 8125925 fired transitions, 2410 secs || 6964536 markings, 478265764 edges, 3033 markings/sec, 2410 secs
lola: STP completed || 9 tries, 8142689 fired transitions, 2415 secs || 6978786 markings, 479265312 edges, 2850 markings/sec, 2415 secs
lola: STP completed || 9 tries, 8159399 fired transitions, 2420 secs || 6992429 markings, 480262206 edges, 2729 markings/sec, 2420 secs
lola: STP completed || 9 tries, 8176195 fired transitions, 2425 secs || 7007016 markings, 481278229 edges, 2917 markings/sec, 2425 secs
lola: STP completed || 9 tries, 8192909 fired transitions, 2430 secs || 7022068 markings, 482277793 edges, 3010 markings/sec, 2430 secs
lola: STP completed || 9 tries, 8209617 fired transitions, 2435 secs || 7038288 markings, 483287861 edges, 3244 markings/sec, 2435 secs
lola: STP completed || 9 tries, 8226300 fired transitions, 2440 secs || 7050996 markings, 484268137 edges, 2542 markings/sec, 2440 secs
lola: STP completed || 9 tries, 8243039 fired transitions, 2445 secs || 7065020 markings, 485185646 edges, 2805 markings/sec, 2445 secs
lola: STP completed || 9 tries, 8259782 fired transitions, 2450 secs || 7080167 markings, 486195886 edges, 3029 markings/sec, 2450 secs
lola: STP completed || 9 tries, 8276468 fired transitions, 2455 secs || 7095547 markings, 487207453 edges, 3076 markings/sec, 2455 secs
lola: STP completed || 9 tries, 8293199 fired transitions, 2460 secs || 7111544 markings, 488220408 edges, 3199 markings/sec, 2460 secs
lola: STP completed || 9 tries, 8309939 fired transitions, 2465 secs || 7126740 markings, 489219836 edges, 3039 markings/sec, 2465 secs
lola: STP completed || 9 tries, 8326663 fired transitions, 2470 secs || 7141727 markings, 490221850 edges, 2997 markings/sec, 2470 secs
lola: STP completed || 9 tries, 8343346 fired transitions, 2475 secs || 7156042 markings, 491216400 edges, 2863 markings/sec, 2475 secs
lola: STP completed || 9 tries, 8360070 fired transitions, 2480 secs || 7171194 markings, 492222900 edges, 3030 markings/sec, 2480 secs
lola: STP completed || 9 tries, 8376867 fired transitions, 2485 secs || 7187028 markings, 493223104 edges, 3167 markings/sec, 2485 secs
lola: STP completed || 9 tries, 8393594 fired transitions, 2490 secs || 7202082 markings, 494225194 edges, 3011 markings/sec, 2490 secs
lola: STP completed || 9 tries, 8410345 fired transitions, 2495 secs || 7217662 markings, 495237263 edges, 3116 markings/sec, 2495 secs
lola: STP completed || 9 tries, 8427083 fired transitions, 2500 secs || 7233344 markings, 496249065 edges, 3136 markings/sec, 2500 secs
lola: STP completed || 9 tries, 8443734 fired transitions, 2505 secs || 7247988 markings, 497254576 edges, 2929 markings/sec, 2505 secs
lola: STP completed || 9 tries, 8460463 fired transitions, 2510 secs || 7262636 markings, 498251279 edges, 2930 markings/sec, 2510 secs
lola: STP completed || 9 tries, 8477188 fired transitions, 2515 secs || 7279166 markings, 499261346 edges, 3306 markings/sec, 2515 secs
lola: STP completed || 9 tries, 8493953 fired transitions, 2520 secs || 7294444 markings, 500268664 edges, 3056 markings/sec, 2520 secs
lola: STP completed || 9 tries, 8510761 fired transitions, 2525 secs || 7310400 markings, 501280039 edges, 3191 markings/sec, 2525 secs
lola: STP completed || 9 tries, 8527459 fired transitions, 2530 secs || 7326770 markings, 502292039 edges, 3274 markings/sec, 2530 secs
lola: STP completed || 9 tries, 8544158 fired transitions, 2535 secs || 7342520 markings, 503304373 edges, 3150 markings/sec, 2535 secs
lola: STP completed || 9 tries, 8560875 fired transitions, 2540 secs || 7359263 markings, 504311613 edges, 3349 markings/sec, 2540 secs
lola: STP completed || 9 tries, 8577630 fired transitions, 2545 secs || 7376056 markings, 505326414 edges, 3359 markings/sec, 2545 secs
lola: STP completed || 9 tries, 8594332 fired transitions, 2550 secs || 7391997 markings, 506339331 edges, 3188 markings/sec, 2550 secs
lola: STP completed || 9 tries, 8611035 fired transitions, 2555 secs || 7408228 markings, 507344079 edges, 3246 markings/sec, 2555 secs
lola: STP completed || 9 tries, 8627750 fired transitions, 2560 secs || 7424368 markings, 508358952 edges, 3228 markings/sec, 2560 secs
lola: STP completed || 9 tries, 8644548 fired transitions, 2565 secs || 7439474 markings, 509346066 edges, 3021 markings/sec, 2565 secs
lola: STP completed || 9 tries, 8661285 fired transitions, 2570 secs || 7453536 markings, 510317068 edges, 2812 markings/sec, 2570 secs
lola: STP completed || 9 tries, 8678079 fired transitions, 2575 secs || 7466738 markings, 511282718 edges, 2640 markings/sec, 2575 secs
lola: STP completed || 9 tries, 8694956 fired transitions, 2580 secs || 7480686 markings, 512248630 edges, 2790 markings/sec, 2580 secs
lola: STP completed || 9 tries, 8711666 fired transitions, 2585 secs || 7494717 markings, 513224199 edges, 2806 markings/sec, 2585 secs
lola: STP completed || 9 tries, 8728384 fired transitions, 2590 secs || 7508738 markings, 514192881 edges, 2804 markings/sec, 2590 secs
lola: STP completed || 9 tries, 8745178 fired transitions, 2595 secs || 7522746 markings, 515175275 edges, 2802 markings/sec, 2595 secs
lola: STP completed || 9 tries, 8762016 fired transitions, 2600 secs || 7536774 markings, 516143023 edges, 2806 markings/sec, 2600 secs
lola: STP completed || 9 tries, 8778767 fired transitions, 2605 secs || 7550284 markings, 517116338 edges, 2702 markings/sec, 2605 secs
lola: STP completed || 9 tries, 8795477 fired transitions, 2610 secs || 7564411 markings, 518098841 edges, 2825 markings/sec, 2610 secs
lola: STP completed || 9 tries, 8812267 fired transitions, 2615 secs || 7579081 markings, 519076668 edges, 2934 markings/sec, 2615 secs
lola: STP completed || 9 tries, 8828913 fired transitions, 2620 secs || 7593390 markings, 520049335 edges, 2862 markings/sec, 2620 secs
lola: STP completed || 9 tries, 8845663 fired transitions, 2625 secs || 7606241 markings, 521012546 edges, 2570 markings/sec, 2625 secs
lola: STP completed || 9 tries, 8862401 fired transitions, 2630 secs || 7618960 markings, 521944475 edges, 2544 markings/sec, 2630 secs
lola: STP completed || 9 tries, 8879084 fired transitions, 2635 secs || 7633728 markings, 522933054 edges, 2954 markings/sec, 2635 secs
lola: STP completed || 9 tries, 8895727 fired transitions, 2640 secs || 7648746 markings, 523916068 edges, 3004 markings/sec, 2640 secs
lola: STP completed || 9 tries, 8912595 fired transitions, 2645 secs || 7662139 markings, 524884196 edges, 2679 markings/sec, 2645 secs
lola: STP completed || 9 tries, 8929405 fired transitions, 2650 secs || 7676156 markings, 525865185 edges, 2803 markings/sec, 2650 secs
lola: STP completed || 9 tries, 8946152 fired transitions, 2655 secs || 7690304 markings, 526837008 edges, 2830 markings/sec, 2655 secs
lola: STP completed || 9 tries, 8962967 fired transitions, 2660 secs || 7704055 markings, 527816884 edges, 2750 markings/sec, 2660 secs
lola: STP completed || 9 tries, 8979697 fired transitions, 2665 secs || 7718936 markings, 528801644 edges, 2976 markings/sec, 2665 secs
lola: STP completed || 9 tries, 8996374 fired transitions, 2670 secs || 7733840 markings, 529787630 edges, 2981 markings/sec, 2670 secs
lola: STP completed || 10 tries, 9013165 fired transitions, 2675 secs || 7748350 markings, 530767741 edges, 2902 markings/sec, 2675 secs
lola: STP completed || 10 tries, 9029998 fired transitions, 2680 secs || 7762498 markings, 531754350 edges, 2830 markings/sec, 2680 secs
lola: STP completed || 10 tries, 9046850 fired transitions, 2685 secs || 7777199 markings, 532736371 edges, 2940 markings/sec, 2685 secs
lola: STP completed || 10 tries, 9063494 fired transitions, 2690 secs || 7793108 markings, 533730474 edges, 3182 markings/sec, 2690 secs
lola: STP completed || 10 tries, 9080171 fired transitions, 2695 secs || 7808622 markings, 534721423 edges, 3103 markings/sec, 2695 secs
lola: STP completed || 10 tries, 9096927 fired transitions, 2700 secs || 7822555 markings, 535699696 edges, 2787 markings/sec, 2700 secs
lola: STP completed || 10 tries, 9113674 fired transitions, 2705 secs || 7837566 markings, 536693558 edges, 3002 markings/sec, 2705 secs
lola: STP completed || 10 tries, 9130436 fired transitions, 2710 secs || 7852107 markings, 537670496 edges, 2908 markings/sec, 2710 secs
lola: STP completed || 10 tries, 9147055 fired transitions, 2715 secs || 7866416 markings, 538650318 edges, 2862 markings/sec, 2715 secs
lola: STP completed || 10 tries, 9163807 fired transitions, 2720 secs || 7880880 markings, 539634034 edges, 2893 markings/sec, 2720 secs
lola: STP completed || 10 tries, 9180470 fired transitions, 2725 secs || 7895103 markings, 540617003 edges, 2845 markings/sec, 2725 secs
lola: STP completed || 10 tries, 9197140 fired transitions, 2730 secs || 7911412 markings, 541609216 edges, 3262 markings/sec, 2730 secs
lola: STP completed || 10 tries, 9213810 fired transitions, 2735 secs || 7927322 markings, 542593422 edges, 3182 markings/sec, 2735 secs
lola: STP completed || 10 tries, 9230600 fired transitions, 2740 secs || 7941789 markings, 543572675 edges, 2893 markings/sec, 2740 secs
lola: STP completed || 10 tries, 9247403 fired transitions, 2745 secs || 7957019 markings, 544558213 edges, 3046 markings/sec, 2745 secs
lola: STP completed || 10 tries, 9264274 fired transitions, 2750 secs || 7972717 markings, 545545853 edges, 3140 markings/sec, 2750 secs
lola: STP completed || 10 tries, 9281089 fired transitions, 2755 secs || 7986542 markings, 546518384 edges, 2765 markings/sec, 2755 secs
lola: STP completed || 10 tries, 9297814 fired transitions, 2760 secs || 8002711 markings, 547513595 edges, 3234 markings/sec, 2760 secs
lola: STP completed || 10 tries, 9314622 fired transitions, 2765 secs || 8016425 markings, 548490766 edges, 2743 markings/sec, 2765 secs
lola: STP completed || 10 tries, 9331385 fired transitions, 2770 secs || 8031973 markings, 549485823 edges, 3110 markings/sec, 2770 secs
lola: STP completed || 10 tries, 9348276 fired transitions, 2775 secs || 8047837 markings, 550478834 edges, 3173 markings/sec, 2775 secs
lola: STP completed || 10 tries, 9365014 fired transitions, 2780 secs || 8062164 markings, 551465748 edges, 2865 markings/sec, 2780 secs
lola: STP completed || 10 tries, 9381729 fired transitions, 2785 secs || 8077356 markings, 552456225 edges, 3038 markings/sec, 2785 secs
lola: STP completed || 10 tries, 9398463 fired transitions, 2790 secs || 8093487 markings, 553443836 edges, 3226 markings/sec, 2790 secs
lola: STP completed || 10 tries, 9415259 fired transitions, 2795 secs || 8109706 markings, 554441286 edges, 3244 markings/sec, 2795 secs
lola: STP completed || 10 tries, 9431969 fired transitions, 2800 secs || 8125310 markings, 555432615 edges, 3121 markings/sec, 2800 secs
lola: STP completed || 10 tries, 9448588 fired transitions, 2805 secs || 8140363 markings, 556423875 edges, 3011 markings/sec, 2805 secs
lola: STP completed || 10 tries, 9465431 fired transitions, 2810 secs || 8156599 markings, 557420684 edges, 3247 markings/sec, 2810 secs
lola: STP completed || 10 tries, 9482234 fired transitions, 2815 secs || 8171868 markings, 558414537 edges, 3054 markings/sec, 2815 secs
lola: STP completed || 10 tries, 9499061 fired transitions, 2820 secs || 8187547 markings, 559404897 edges, 3136 markings/sec, 2820 secs
lola: STP completed || 10 tries, 9515752 fired transitions, 2825 secs || 8203545 markings, 560392430 edges, 3200 markings/sec, 2825 secs
lola: STP completed || 10 tries, 9532551 fired transitions, 2830 secs || 8218420 markings, 561373505 edges, 2975 markings/sec, 2830 secs
lola: STP completed || 10 tries, 9549404 fired transitions, 2835 secs || 8234259 markings, 562369459 edges, 3168 markings/sec, 2835 secs
lola: STP completed || 10 tries, 9566138 fired transitions, 2840 secs || 8250249 markings, 563357434 edges, 3198 markings/sec, 2840 secs
lola: STP completed || 10 tries, 9582865 fired transitions, 2845 secs || 8265221 markings, 564343064 edges, 2994 markings/sec, 2845 secs
lola: STP completed || 10 tries, 9599539 fired transitions, 2850 secs || 8280740 markings, 565335341 edges, 3104 markings/sec, 2850 secs
lola: STP completed || 10 tries, 9616258 fired transitions, 2855 secs || 8294364 markings, 566304093 edges, 2725 markings/sec, 2855 secs
lola: STP completed || 10 tries, 9632934 fired transitions, 2860 secs || 8310867 markings, 567302443 edges, 3301 markings/sec, 2860 secs
lola: STP completed || 10 tries, 9649607 fired transitions, 2865 secs || 8325187 markings, 568284276 edges, 2864 markings/sec, 2865 secs
lola: STP completed || 10 tries, 9666376 fired transitions, 2870 secs || 8339692 markings, 569283268 edges, 2901 markings/sec, 2870 secs
lola: STP completed || 10 tries, 9683121 fired transitions, 2875 secs || 8354237 markings, 570274446 edges, 2909 markings/sec, 2875 secs
lola: STP completed || 10 tries, 9699870 fired transitions, 2880 secs || 8369392 markings, 571259162 edges, 3031 markings/sec, 2880 secs
lola: STP completed || 10 tries, 9716665 fired transitions, 2885 secs || 8386634 markings, 572257964 edges, 3448 markings/sec, 2885 secs
lola: STP completed || 10 tries, 9733456 fired transitions, 2890 secs || 8402018 markings, 573248775 edges, 3077 markings/sec, 2890 secs
lola: STP completed || 10 tries, 9750226 fired transitions, 2895 secs || 8418144 markings, 574236623 edges, 3225 markings/sec, 2895 secs
lola: STP completed || 10 tries, 9766951 fired transitions, 2900 secs || 8432572 markings, 575214657 edges, 2886 markings/sec, 2900 secs
lola: STP completed || 10 tries, 9783648 fired transitions, 2905 secs || 8450716 markings, 576211922 edges, 3629 markings/sec, 2905 secs
lola: STP completed || 10 tries, 9800374 fired transitions, 2910 secs || 8467463 markings, 577210021 edges, 3349 markings/sec, 2910 secs
lola: STP completed || 10 tries, 9817158 fired transitions, 2915 secs || 8483712 markings, 578201907 edges, 3250 markings/sec, 2915 secs
lola: STP completed || 10 tries, 9833867 fired transitions, 2920 secs || 8501903 markings, 579209568 edges, 3638 markings/sec, 2920 secs
lola: STP completed || 10 tries, 9850656 fired transitions, 2925 secs || 8518435 markings, 580211365 edges, 3306 markings/sec, 2925 secs
lola: STP completed || 10 tries, 9867397 fired transitions, 2930 secs || 8533681 markings, 581200544 edges, 3049 markings/sec, 2930 secs
lola: STP completed || 10 tries, 9884128 fired transitions, 2935 secs || 8549053 markings, 582189180 edges, 3074 markings/sec, 2935 secs
lola: STP completed || 10 tries, 9900817 fired transitions, 2940 secs || 8565681 markings, 583188340 edges, 3326 markings/sec, 2940 secs
lola: STP completed || 10 tries, 9917581 fired transitions, 2945 secs || 8580335 markings, 584174303 edges, 2931 markings/sec, 2945 secs
lola: STP completed || 10 tries, 9934255 fired transitions, 2950 secs || 8592627 markings, 585150987 edges, 2458 markings/sec, 2950 secs
lola: STP completed || 10 tries, 9950971 fired transitions, 2955 secs || 8605199 markings, 586121143 edges, 2514 markings/sec, 2955 secs
lola: STP completed || 10 tries, 9967652 fired transitions, 2960 secs || 8617863 markings, 587094949 edges, 2533 markings/sec, 2960 secs
lola: STP completed || 10 tries, 9984334 fired transitions, 2965 secs || 8630282 markings, 588054915 edges, 2484 markings/sec, 2965 secs
lola: STP completed || 11 tries, 10001114 fired transitions, 2970 secs || 8642416 markings, 589016471 edges, 2427 markings/sec, 2970 secs
lola: STP completed || 11 tries, 10017815 fired transitions, 2975 secs || 8655185 markings, 589985211 edges, 2554 markings/sec, 2975 secs
lola: STP completed || 11 tries, 10034606 fired transitions, 2980 secs || 8667296 markings, 590952214 edges, 2422 markings/sec, 2980 secs
lola: STP completed || 11 tries, 10051397 fired transitions, 2985 secs || 8679410 markings, 591915239 edges, 2423 markings/sec, 2985 secs
lola: STP completed || 11 tries, 10068121 fired transitions, 2990 secs || 8692272 markings, 592883776 edges, 2572 markings/sec, 2990 secs
lola: STP completed || 11 tries, 10084821 fired transitions, 2995 secs || 8704410 markings, 593841448 edges, 2428 markings/sec, 2995 secs
lola: STP completed || 11 tries, 10101521 fired transitions, 3000 secs || 8716470 markings, 594794348 edges, 2412 markings/sec, 3000 secs
lola: STP completed || 11 tries, 10118313 fired transitions, 3005 secs || 8729080 markings, 595763510 edges, 2522 markings/sec, 3005 secs
lola: STP completed || 11 tries, 10135044 fired transitions, 3010 secs || 8742136 markings, 596743111 edges, 2611 markings/sec, 3010 secs
lola: STP completed || 11 tries, 10151858 fired transitions, 3015 secs || 8754657 markings, 597710574 edges, 2504 markings/sec, 3015 secs
lola: STP completed || 11 tries, 10168543 fired transitions, 3020 secs || 8767045 markings, 598665960 edges, 2478 markings/sec, 3020 secs
lola: STP completed || 11 tries, 10185226 fired transitions, 3025 secs || 8780084 markings, 599643205 edges, 2608 markings/sec, 3025 secs
lola: STP completed || 11 tries, 10201864 fired transitions, 3030 secs || 8792750 markings, 600601352 edges, 2533 markings/sec, 3030 secs
lola: STP completed || 11 tries, 10218646 fired transitions, 3035 secs || 8806308 markings, 601581953 edges, 2712 markings/sec, 3035 secs
lola: STP completed || 11 tries, 10235330 fired transitions, 3040 secs || 8819663 markings, 602557677 edges, 2671 markings/sec, 3040 secs
lola: STP completed || 11 tries, 10251955 fired transitions, 3045 secs || 8832625 markings, 603526725 edges, 2592 markings/sec, 3045 secs
lola: STP completed || 11 tries, 10268679 fired transitions, 3050 secs || 8846028 markings, 604499949 edges, 2681 markings/sec, 3050 secs
lola: STP completed || 11 tries, 10285345 fired transitions, 3055 secs || 8859246 markings, 605473335 edges, 2644 markings/sec, 3055 secs
lola: STP completed || 11 tries, 10302081 fired transitions, 3060 secs || 8873360 markings, 606456400 edges, 2823 markings/sec, 3060 secs
lola: STP completed || 11 tries, 10318656 fired transitions, 3065 secs || 8886446 markings, 607428532 edges, 2617 markings/sec, 3065 secs
lola: STP completed || 11 tries, 10335326 fired transitions, 3070 secs || 8899572 markings, 608398463 edges, 2625 markings/sec, 3070 secs
lola: STP completed || 11 tries, 10352155 fired transitions, 3075 secs || 8913230 markings, 609381811 edges, 2732 markings/sec, 3075 secs
lola: STP completed || 11 tries, 10368998 fired transitions, 3080 secs || 8926614 markings, 610354433 edges, 2677 markings/sec, 3080 secs
lola: STP completed || 11 tries, 10385706 fired transitions, 3085 secs || 8940717 markings, 611337099 edges, 2821 markings/sec, 3085 secs
lola: STP completed || 11 tries, 10402213 fired transitions, 3090 secs || 8956881 markings, 612332491 edges, 3233 markings/sec, 3090 secs
lola: STP completed || 11 tries, 10419021 fired transitions, 3095 secs || 8972888 markings, 613324799 edges, 3201 markings/sec, 3095 secs
lola: STP completed || 11 tries, 10435709 fired transitions, 3100 secs || 8989650 markings, 614320444 edges, 3352 markings/sec, 3100 secs
lola: STP completed || 11 tries, 10452529 fired transitions, 3105 secs || 9005353 markings, 615307140 edges, 3141 markings/sec, 3105 secs
lola: STP completed || 11 tries, 10469251 fired transitions, 3110 secs || 9020938 markings, 616301284 edges, 3117 markings/sec, 3110 secs
lola: STP completed || 11 tries, 10485921 fired transitions, 3115 secs || 9037383 markings, 617297000 edges, 3289 markings/sec, 3115 secs
lola: STP completed || 11 tries, 10502592 fired transitions, 3120 secs || 9055052 markings, 618293835 edges, 3534 markings/sec, 3120 secs
lola: STP completed || 11 tries, 10519287 fired transitions, 3125 secs || 9072352 markings, 619298483 edges, 3460 markings/sec, 3125 secs
lola: STP completed || 11 tries, 10535972 fired transitions, 3130 secs || 9088288 markings, 620295066 edges, 3187 markings/sec, 3130 secs
lola: STP completed || 11 tries, 10552787 fired transitions, 3135 secs || 9104277 markings, 621278704 edges, 3198 markings/sec, 3135 secs
lola: STP completed || 11 tries, 10569434 fired transitions, 3140 secs || 9120987 markings, 622275455 edges, 3342 markings/sec, 3140 secs
lola: STP completed || 11 tries, 10586066 fired transitions, 3145 secs || 9137098 markings, 623265889 edges, 3222 markings/sec, 3145 secs
lola: STP completed || 11 tries, 10602735 fired transitions, 3150 secs || 9165159 markings, 624306531 edges, 5612 markings/sec, 3150 secs
lola: STP completed || 11 tries, 10619460 fired transitions, 3155 secs || 9189615 markings, 625326448 edges, 4891 markings/sec, 3155 secs
lola: STP completed || 11 tries, 10636301 fired transitions, 3160 secs || 9206962 markings, 626324068 edges, 3469 markings/sec, 3160 secs
lola: STP completed || 11 tries, 10653058 fired transitions, 3165 secs || 9222676 markings, 627316733 edges, 3143 markings/sec, 3165 secs
lola: STP completed || 11 tries, 10669889 fired transitions, 3170 secs || 9239961 markings, 628312453 edges, 3457 markings/sec, 3170 secs
lola: STP completed || 11 tries, 10686634 fired transitions, 3175 secs || 9258667 markings, 629318452 edges, 3741 markings/sec, 3175 secs
lola: STP completed || 11 tries, 10703260 fired transitions, 3180 secs || 9275420 markings, 630318468 edges, 3351 markings/sec, 3180 secs
lola: STP completed || 11 tries, 10719952 fired transitions, 3185 secs || 9304707 markings, 631364607 edges, 5857 markings/sec, 3185 secs
lola: STP completed || 11 tries, 10736635 fired transitions, 3190 secs || 9338131 markings, 632422758 edges, 6685 markings/sec, 3190 secs
lola: STP completed || 11 tries, 10753360 fired transitions, 3195 secs || 9363840 markings, 633466601 edges, 5142 markings/sec, 3195 secs
lola: STP completed || 11 tries, 10770118 fired transitions, 3200 secs || 9378990 markings, 634466897 edges, 3030 markings/sec, 3200 secs
lola: STP completed || 11 tries, 10786872 fired transitions, 3205 secs || 9394532 markings, 635467959 edges, 3108 markings/sec, 3205 secs
lola: STP completed || 11 tries, 10803602 fired transitions, 3210 secs || 9411190 markings, 636476440 edges, 3332 markings/sec, 3210 secs
lola: STP completed || 11 tries, 10820387 fired transitions, 3215 secs || 9427475 markings, 637483433 edges, 3257 markings/sec, 3215 secs
lola: STP completed || 11 tries, 10837193 fired transitions, 3220 secs || 9443326 markings, 638499444 edges, 3170 markings/sec, 3220 secs
lola: STP completed || 11 tries, 10853918 fired transitions, 3225 secs || 9464751 markings, 639525499 edges, 4285 markings/sec, 3225 secs
lola: STP completed || 11 tries, 10870636 fired transitions, 3230 secs || 9488938 markings, 640545751 edges, 4837 markings/sec, 3230 secs
lola: STP completed || 11 tries, 10887384 fired transitions, 3235 secs || 9506528 markings, 641543410 edges, 3518 markings/sec, 3235 secs
lola: STP completed || 11 tries, 10904141 fired transitions, 3240 secs || 9522222 markings, 642534912 edges, 3139 markings/sec, 3240 secs
lola: STP completed || 11 tries, 10920836 fired transitions, 3245 secs || 9540475 markings, 643542425 edges, 3651 markings/sec, 3245 secs
lola: STP completed || 11 tries, 10937600 fired transitions, 3250 secs || 9555660 markings, 644530919 edges, 3037 markings/sec, 3250 secs
lola: STP completed || 11 tries, 10954268 fired transitions, 3255 secs || 9572208 markings, 645528787 edges, 3310 markings/sec, 3255 secs
lola: STP completed || 11 tries, 10971088 fired transitions, 3260 secs || 9589409 markings, 646525389 edges, 3440 markings/sec, 3260 secs
lola: STP completed || 11 tries, 10987857 fired transitions, 3265 secs || 9607067 markings, 647532322 edges, 3532 markings/sec, 3265 secs
lola: STP completed || 12 tries, 11004623 fired transitions, 3270 secs || 9623935 markings, 648525303 edges, 3374 markings/sec, 3270 secs
lola: STP completed || 12 tries, 11021384 fired transitions, 3275 secs || 9644794 markings, 649543916 edges, 4172 markings/sec, 3275 secs
lola: STP completed || 12 tries, 11038116 fired transitions, 3280 secs || 9669410 markings, 650569798 edges, 4923 markings/sec, 3280 secs
lola: STP completed || 12 tries, 11054882 fired transitions, 3285 secs || 9684973 markings, 651573258 edges, 3113 markings/sec, 3285 secs
lola: STP completed || 12 tries, 11071608 fired transitions, 3290 secs || 9702366 markings, 652583364 edges, 3479 markings/sec, 3290 secs
lola: STP completed || 12 tries, 11088425 fired transitions, 3295 secs || 9718954 markings, 653582085 edges, 3318 markings/sec, 3295 secs
lola: STP completed || 12 tries, 11105203 fired transitions, 3300 secs || 9734753 markings, 654567589 edges, 3160 markings/sec, 3300 secs
lola: STP completed || 12 tries, 11121944 fired transitions, 3305 secs || 9752439 markings, 655563836 edges, 3537 markings/sec, 3305 secs
lola: STP completed || 12 tries, 11138685 fired transitions, 3310 secs || 9770432 markings, 656554783 edges, 3599 markings/sec, 3310 secs
lola: STP completed || 12 tries, 11155395 fired transitions, 3315 secs || 9785463 markings, 657537853 edges, 3006 markings/sec, 3315 secs
lola: STP completed || 12 tries, 11171976 fired transitions, 3320 secs || 9799386 markings, 658513630 edges, 2785 markings/sec, 3320 secs
lola: STP completed || 12 tries, 11188615 fired transitions, 3325 secs || 9812133 markings, 659481168 edges, 2549 markings/sec, 3325 secs
lola: STP completed || 12 tries, 11205369 fired transitions, 3330 secs || 9825650 markings, 660474444 edges, 2703 markings/sec, 3330 secs
lola: STP completed || 12 tries, 11222134 fired transitions, 3335 secs || 9838524 markings, 661454068 edges, 2575 markings/sec, 3335 secs
lola: STP completed || 12 tries, 11238963 fired transitions, 3340 secs || 9852570 markings, 662443099 edges, 2809 markings/sec, 3340 secs
lola: STP completed || 12 tries, 11255704 fired transitions, 3345 secs || 9866354 markings, 663435090 edges, 2757 markings/sec, 3345 secs
lola: STP completed || 12 tries, 11272524 fired transitions, 3350 secs || 9879644 markings, 664416008 edges, 2658 markings/sec, 3350 secs
lola: STP completed || 12 tries, 11289345 fired transitions, 3355 secs || 9893254 markings, 665403235 edges, 2722 markings/sec, 3355 secs
lola: STP completed || 12 tries, 11306054 fired transitions, 3360 secs || 9905696 markings, 666391473 edges, 2488 markings/sec, 3360 secs
lola: STP completed || 12 tries, 11322748 fired transitions, 3365 secs || 9918633 markings, 667387501 edges, 2587 markings/sec, 3365 secs
lola: STP completed || 12 tries, 11339471 fired transitions, 3370 secs || 9931188 markings, 668369380 edges, 2511 markings/sec, 3370 secs
lola: STP completed || 12 tries, 11356085 fired transitions, 3375 secs || 9943769 markings, 669360707 edges, 2516 markings/sec, 3375 secs
lola: STP completed || 12 tries, 11372887 fired transitions, 3380 secs || 9956595 markings, 670355732 edges, 2565 markings/sec, 3380 secs
lola: STP completed || 12 tries, 11389577 fired transitions, 3385 secs || 9969323 markings, 671341592 edges, 2546 markings/sec, 3385 secs
lola: STP completed || 12 tries, 11406342 fired transitions, 3390 secs || 9981776 markings, 672322997 edges, 2491 markings/sec, 3390 secs
lola: STP completed || 12 tries, 11423126 fired transitions, 3395 secs || 9994255 markings, 673310153 edges, 2496 markings/sec, 3395 secs
lola: STP completed || 12 tries, 11439916 fired transitions, 3400 secs || 10006829 markings, 674299936 edges, 2515 markings/sec, 3400 secs
lola: STP completed || 12 tries, 11456708 fired transitions, 3405 secs || 10019652 markings, 675283490 edges, 2565 markings/sec, 3405 secs
lola: STP completed || 12 tries, 11473394 fired transitions, 3410 secs || 10033092 markings, 676289272 edges, 2688 markings/sec, 3410 secs
lola: STP completed || 12 tries, 11490205 fired transitions, 3415 secs || 10045875 markings, 677284714 edges, 2557 markings/sec, 3415 secs
lola: STP completed || 12 tries, 11507023 fired transitions, 3420 secs || 10058887 markings, 678291565 edges, 2602 markings/sec, 3420 secs
lola: STP completed || 12 tries, 11522501 fired transitions, 3425 secs || 10072640 markings, 679292906 edges, 2751 markings/sec, 3425 secs
lola: STP completed || 12 tries, 11539428 fired transitions, 3430 secs || 10085071 markings, 680283768 edges, 2486 markings/sec, 3430 secs
lola: STP completed || 12 tries, 11556368 fired transitions, 3435 secs || 10099054 markings, 681296071 edges, 2797 markings/sec, 3435 secs
lola: STP completed || 12 tries, 11573272 fired transitions, 3440 secs || 10112142 markings, 682299505 edges, 2618 markings/sec, 3440 secs
lola: STP completed || 12 tries, 11590077 fired transitions, 3445 secs || 10125852 markings, 683310414 edges, 2742 markings/sec, 3445 secs
lola: STP completed || 12 tries, 11606941 fired transitions, 3450 secs || 10139801 markings, 684324134 edges, 2790 markings/sec, 3450 secs
lola: STP completed || 12 tries, 11623768 fired transitions, 3455 secs || 10152984 markings, 685329300 edges, 2637 markings/sec, 3455 secs
lola: STP completed || 12 tries, 11640585 fired transitions, 3460 secs || 10166879 markings, 686341824 edges, 2779 markings/sec, 3460 secs
lola: STP completed || 12 tries, 11657451 fired transitions, 3465 secs || 10180722 markings, 687358337 edges, 2769 markings/sec, 3465 secs
lola: STP completed || 12 tries, 11674376 fired transitions, 3470 secs || 10198666 markings, 688381564 edges, 3589 markings/sec, 3470 secs
lola: STP completed || 12 tries, 11691229 fired transitions, 3475 secs || 10214555 markings, 689390863 edges, 3178 markings/sec, 3475 secs
lola: STP completed || 12 tries, 11708135 fired transitions, 3480 secs || 10231713 markings, 690418436 edges, 3432 markings/sec, 3480 secs
lola: STP completed || 12 tries, 11725007 fired transitions, 3485 secs || 10248120 markings, 691442620 edges, 3281 markings/sec, 3485 secs
lola: STP completed || 12 tries, 11741945 fired transitions, 3490 secs || 10263504 markings, 692447360 edges, 3077 markings/sec, 3490 secs
lola: STP completed || 12 tries, 11758920 fired transitions, 3495 secs || 10278930 markings, 693464127 edges, 3085 markings/sec, 3495 secs
lola: STP completed || 12 tries, 11775849 fired transitions, 3500 secs || 10297207 markings, 694486523 edges, 3655 markings/sec, 3500 secs
lola: STP completed || 12 tries, 11792815 fired transitions, 3505 secs || 10318246 markings, 695512046 edges, 4208 markings/sec, 3505 secs
lola: STP completed || 12 tries, 11809750 fired transitions, 3510 secs || 10334189 markings, 696534026 edges, 3189 markings/sec, 3510 secs
lola: STP completed || 12 tries, 11826748 fired transitions, 3515 secs || 10347010 markings, 697522491 edges, 2564 markings/sec, 3515 secs
lola: STP completed || 12 tries, 11843674 fired transitions, 3520 secs || 10359419 markings, 698473657 edges, 2482 markings/sec, 3520 secs
lola: STP completed || 12 tries, 11860679 fired transitions, 3525 secs || 10372070 markings, 699451065 edges, 2530 markings/sec, 3525 secs
lola: STP completed || 12 tries, 11877760 fired transitions, 3530 secs || 10384797 markings, 700435549 edges, 2545 markings/sec, 3530 secs
lola: STP completed || 12 tries, 11894853 fired transitions, 3535 secs || 10397469 markings, 701409856 edges, 2534 markings/sec, 3535 secs
lola: STP completed || 12 tries, 11911711 fired transitions, 3540 secs || 10409080 markings, 702321565 edges, 2322 markings/sec, 3540 secs
lola: STP completed || 12 tries, 11928420 fired transitions, 3545 secs || 10421142 markings, 703288278 edges, 2412 markings/sec, 3545 secs
lola: STP completed || 12 tries, 11945461 fired transitions, 3550 secs || 10433865 markings, 704270011 edges, 2545 markings/sec, 3550 secs
lola: STP completed || 12 tries, 11962368 fired transitions, 3555 secs || 10445944 markings, 705235888 edges, 2416 markings/sec, 3555 secs
lola: STP completed || 12 tries, 11979392 fired transitions, 3560 secs || 10458434 markings, 706210595 edges, 2498 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 6016820 KB
lola: time consumption: 3569 seconds
BK_STOP 1526626866754
--------------------
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="DLCround-PT-08a"
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/DLCround-PT-08a.tgz
mv DLCround-PT-08a 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 DLCround-PT-08a, 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 r064-smll-152649735200076"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;