About the Execution of LoLA for DLCflexbar-PT-8a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1747.690 | 3569795.00 | 7479001.00 | 8432.20 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.................
/home/mcc/execution
total 8.9M
-rw-r--r-- 1 mcc users 3.8K May 30 20:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 30 20:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 29 13:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 29 13:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 28 09:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 28 09:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 28 07:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K May 28 07:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 2.8K May 28 06:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 06:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 107 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 345 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.1K May 27 03:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 27 03:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 3 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 8.7M May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCflexbar-PT-8a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-152749145800476
=====================================================================
--------------------
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 DLCflexbar-PT-8a-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1528162457969
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCflexbar-PT-8a 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 DLCflexbar-PT-8a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DLCflexbar-PT-8a @ 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: 36542/65536 symbol table entries, 18761 collisions
lola: preprocessing...
lola: Size of bit vector: 3971
lola: finding significant places
lola: 3971 places, 32571 transitions, 931 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 28762 transition conflict sets
lola: TASK
lola: reading formula from DLCflexbar-PT-8a-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 467106 variables and 2055663 clauses shipped to Minisat
lola: STP running || 1 tries, 161 fired transitions, 0 secs
lola: 0 generators; 7860168 candidates remain ( 0%), 0 secs
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 316 fired transitions, 5 secs
lola: 0 generators; 7860168 candidates remain ( 0%), 5 secs
lola: STP completed || 1 tries, 473 fired transitions, 10 secs
lola: 137 generators; 7860031 candidates remain ( 0%), 10 secs
lola: STP completed || 1 tries, 633 fired transitions, 15 secs
lola: 1537 generators; 7835000 candidates remain ( 0%), 15 secs
lola: STP completed || 1 tries, 804 fired transitions, 20 secs
lola: 1537 generators; 7835000 candidates remain ( 0%), 20 secs
lola: STP completed || 1 tries, 955 fired transitions, 25 secs
lola: 1675 generators; 7811266 candidates remain ( 0%), 25 secs
lola: STP completed || 1 tries, 1135 fired transitions, 30 secs
lola: 1812 generators; 7787568 candidates remain ( 0%), 30 secs
lola: STP completed || 1 tries, 1298 fired transitions, 35 secs
lola: 1812 generators; 7787568 candidates remain ( 0%), 35 secs
lola: STP completed || 1 tries, 1452 fired transitions, 40 secs
lola: 1948 generators; 7763906 candidates remain ( 0%), 40 secs
lola: STP completed || 1 tries, 1601 fired transitions, 45 secs
lola: 2083 generators; 7756025 candidates remain ( 0%), 45 secs
lola: STP completed || 1 tries, 1759 fired transitions, 50 secs
lola: 2083 generators; 7740280 candidates remain ( 0%), 50 secs
lola: STP completed || 1 tries, 1890 fired transitions, 55 secs
lola: 2217 generators; 7716690 candidates remain ( 0%), 55 secs
lola: STP completed || 1 tries, 2025 fired transitions, 60 secs
lola: 2350 generators; 7708710 candidates remain ( 0%), 60 secs
lola: STP completed || 1 tries, 2172 fired transitions, 65 secs
lola: 2350 generators; 7677461 candidates remain ( 0%), 65 secs
lola: STP completed || 1 tries, 2311 fired transitions, 70 secs
lola: 2357 generators; 7661789 candidates remain ( 0%), 70 secs
lola: STP completed || 1 tries, 2453 fired transitions, 75 secs
lola: 2490 generators; 7646143 candidates remain ( 0%), 75 secs
lola: STP completed || 1 tries, 2588 fired transitions, 80 secs
lola: 2491 generators; 7603188 candidates remain ( 0%), 80 secs
lola: STP completed || 1 tries, 2720 fired transitions, 85 secs
lola: 2621 generators; 7595390 candidates remain ( 0%), 85 secs
lola: STP completed || 1 tries, 2854 fired transitions, 90 secs
lola: 2627 generators; 7579803 candidates remain ( 0%), 90 secs
lola: STP completed || 1 tries, 2990 fired transitions, 95 secs
lola: 2629 generators; 7576036 candidates remain ( 0%), 95 secs
lola: STP completed || 1 tries, 3126 fired transitions, 100 secs
lola: 2758 generators; 7560346 candidates remain ( 0%), 100 secs
lola: STP completed || 1 tries, 3264 fired transitions, 105 secs
lola: 2887 generators; 7537157 candidates remain ( 0%), 105 secs
lola: STP completed || 1 tries, 3399 fired transitions, 110 secs
lola: 2888 generators; 7521635 candidates remain ( 0%), 110 secs
lola: STP completed || 1 tries, 3544 fired transitions, 115 secs
lola: 3015 generators; 7513878 candidates remain ( 0%), 115 secs
lola: STP completed || 1 tries, 3684 fired transitions, 120 secs
lola: 3142 generators; 7498378 candidates remain ( 0%), 120 secs
lola: STP completed || 1 tries, 3828 fired transitions, 125 secs
lola: 3267 generators; 7482772 candidates remain ( 0%), 125 secs
lola: STP completed || 1 tries, 3970 fired transitions, 130 secs
lola: 3392 generators; 7455716 candidates remain ( 0%), 130 secs
lola: STP completed || 1 tries, 4118 fired transitions, 135 secs
lola: 3393 generators; 7440399 candidates remain ( 0%), 135 secs
lola: STP completed || 1 tries, 4253 fired transitions, 140 secs
lola: 3517 generators; 7417270 candidates remain ( 0%), 140 secs
lola: STP completed || 1 tries, 4385 fired transitions, 145 secs
lola: 3639 generators; 7401751 candidates remain ( 0%), 145 secs
lola: STP completed || 1 tries, 4524 fired transitions, 150 secs
lola: 3640 generators; 7394177 candidates remain ( 0%), 150 secs
lola: STP completed || 1 tries, 4664 fired transitions, 155 secs
lola: 3762 generators; 7371120 candidates remain ( 0%), 155 secs
lola: STP completed || 1 tries, 4805 fired transitions, 160 secs
lola: 3882 generators; 7355651 candidates remain ( 0%), 160 secs
lola: STP completed || 1 tries, 4954 fired transitions, 165 secs
lola: 3883 generators; 7348099 candidates remain ( 0%), 165 secs
lola: STP completed || 1 tries, 5100 fired transitions, 170 secs
lola: 4003 generators; 7325114 candidates remain ( 0%), 170 secs
lola: STP completed || 1 tries, 5235 fired transitions, 175 secs
lola: 4122 generators; 7302165 candidates remain ( 0%), 175 secs
lola: STP completed || 1 tries, 5376 fired transitions, 180 secs
lola: 4239 generators; 7290819 candidates remain ( 0%), 180 secs
lola: STP completed || 1 tries, 5517 fired transitions, 185 secs
lola: 4240 generators; 7264114 candidates remain ( 0%), 185 secs
lola: STP completed || 1 tries, 5671 fired transitions, 190 secs
lola: 4357 generators; 7256377 candidates remain ( 0%), 190 secs
lola: STP completed || 1 tries, 5816 fired transitions, 195 secs
lola: 4358 generators; 7233538 candidates remain ( 0%), 195 secs
lola: STP completed || 1 tries, 5954 fired transitions, 200 secs
lola: 4589 generators; 7210619 candidates remain ( 0%), 200 secs
lola: STP completed || 1 tries, 6086 fired transitions, 205 secs
lola: 4590 generators; 7203138 candidates remain ( 0%), 205 secs
lola: STP completed || 1 tries, 6224 fired transitions, 210 secs
lola: 4686 generators; 7187869 candidates remain ( 0%), 210 secs
lola: STP completed || 1 tries, 6361 fired transitions, 215 secs
lola: 4705 generators; 7180381 candidates remain ( 0%), 215 secs
lola: STP completed || 1 tries, 6497 fired transitions, 220 secs
lola: 4818 generators; 7165119 candidates remain ( 0%), 220 secs
lola: STP completed || 1 tries, 6645 fired transitions, 225 secs
lola: 4931 generators; 7142423 candidates remain ( 0%), 225 secs
lola: STP completed || 1 tries, 6779 fired transitions, 230 secs
lola: 5043 generators; 7119763 candidates remain ( 0%), 230 secs
lola: STP completed || 1 tries, 6911 fired transitions, 235 secs
lola: 5044 generators; 7112326 candidates remain ( 0%), 235 secs
lola: STP completed || 1 tries, 7050 fired transitions, 240 secs
lola: 5154 generators; 7097139 candidates remain ( 0%), 240 secs
lola: 5264 generators; 7074551 candidates remain ( 0%), 245 secs
lola: STP completed || 1 tries, 7190 fired transitions, 245 secs
lola: 5265 generators; 7067136 candidates remain ( 0%), 250 secs
lola: STP completed || 1 tries, 7332 fired transitions, 250 secs
lola: 5374 generators; 7044595 candidates remain ( 0%), 255 secs
lola: STP completed || 1 tries, 7469 fired transitions, 255 secs
lola: 5481 generators; 7029483 candidates remain ( 0%), 260 secs
lola: STP completed || 1 tries, 7606 fired transitions, 260 secs
lola: 5588 generators; 7007003 candidates remain ( 0%), 265 secs
lola: STP completed || 1 tries, 7740 fired transitions, 265 secs
lola: 5589 generators; 6999621 candidates remain ( 0%), 270 secs
lola: STP completed || 1 tries, 7875 fired transitions, 270 secs
lola: 5695 generators; 6977188 candidates remain ( 0%), 275 secs
lola: STP completed || 1 tries, 8009 fired transitions, 275 secs
lola: 5799 generators; 6962151 candidates remain ( 0%), 280 secs
lola: STP completed || 1 tries, 8143 fired transitions, 280 secs
lola: 5903 generators; 6939779 candidates remain ( 0%), 285 secs
lola: STP completed || 1 tries, 8282 fired transitions, 285 secs
lola: 5904 generators; 6932430 candidates remain ( 0%), 290 secs
lola: STP completed || 1 tries, 8417 fired transitions, 290 secs
lola: 6006 generators; 6917443 candidates remain ( 0%), 295 secs
lola: STP completed || 1 tries, 8555 fired transitions, 295 secs
lola: 6108 generators; 6895143 candidates remain ( 0%), 300 secs
lola: STP completed || 1 tries, 8692 fired transitions, 300 secs
lola: 6209 generators; 6872879 candidates remain ( 0%), 305 secs
lola: time limit for symmetry computation exceeded - aborting
lola: STP completed || 1 tries, 8831 fired transitions, 305 secs
lola: symmetry computation interrupted: continue with partial generating set
lola: computed 6209 generators (86 in search tree, 6123 by composition)
lola: representing 5.70964E+97 symmetries
lola: 2 dead branches visited in search tree
lola: STP completed || 1 tries, 8985 fired transitions, 310 secs || 3398 markings, 50945 edges, 680 markings/sec, 310 secs
lola: STP completed || 1 tries, 9144 fired transitions, 315 secs || 6856 markings, 115862 edges, 692 markings/sec, 315 secs
lola: STP completed || 1 tries, 9298 fired transitions, 320 secs || 7647 markings, 180430 edges, 158 markings/sec, 320 secs
lola: STP completed || 1 tries, 9458 fired transitions, 325 secs || 7744 markings, 244971 edges, 19 markings/sec, 325 secs
lola: STP completed || 1 tries, 9618 fired transitions, 330 secs || 7915 markings, 302668 edges, 34 markings/sec, 330 secs
lola: STP completed || 1 tries, 9769 fired transitions, 335 secs || 8045 markings, 359196 edges, 26 markings/sec, 335 secs
lola: STP completed || 1 tries, 9930 fired transitions, 340 secs || 8195 markings, 416541 edges, 30 markings/sec, 340 secs
lola: STP completed || 1 tries, 10098 fired transitions, 345 secs || 8349 markings, 474367 edges, 31 markings/sec, 345 secs
lola: STP completed || 1 tries, 10256 fired transitions, 350 secs || 8497 markings, 531379 edges, 30 markings/sec, 350 secs
lola: STP completed || 1 tries, 10422 fired transitions, 355 secs || 8652 markings, 588242 edges, 31 markings/sec, 355 secs
lola: STP completed || 1 tries, 10579 fired transitions, 360 secs || 8802 markings, 645340 edges, 30 markings/sec, 360 secs
lola: STP completed || 1 tries, 10737 fired transitions, 365 secs || 8930 markings, 703136 edges, 26 markings/sec, 365 secs
lola: STP completed || 1 tries, 10892 fired transitions, 370 secs || 9107 markings, 760763 edges, 35 markings/sec, 370 secs
lola: STP completed || 1 tries, 11051 fired transitions, 375 secs || 9296 markings, 818163 edges, 38 markings/sec, 375 secs
lola: STP completed || 1 tries, 11216 fired transitions, 380 secs || 9449 markings, 875889 edges, 31 markings/sec, 380 secs
lola: STP completed || 1 tries, 11390 fired transitions, 385 secs || 9661 markings, 933392 edges, 42 markings/sec, 385 secs
lola: STP completed || 1 tries, 11553 fired transitions, 390 secs || 9848 markings, 991563 edges, 37 markings/sec, 390 secs
lola: STP completed || 1 tries, 11707 fired transitions, 395 secs || 10040 markings, 1049047 edges, 38 markings/sec, 395 secs
lola: STP completed || 1 tries, 11864 fired transitions, 400 secs || 10290 markings, 1105638 edges, 50 markings/sec, 400 secs
lola: STP completed || 1 tries, 12015 fired transitions, 405 secs || 10449 markings, 1159878 edges, 32 markings/sec, 405 secs
lola: STP completed || 1 tries, 12167 fired transitions, 410 secs || 10573 markings, 1212118 edges, 25 markings/sec, 410 secs
lola: STP completed || 1 tries, 12311 fired transitions, 415 secs || 10722 markings, 1265427 edges, 30 markings/sec, 415 secs
lola: STP completed || 1 tries, 12462 fired transitions, 420 secs || 10858 markings, 1318636 edges, 27 markings/sec, 420 secs
lola: STP completed || 1 tries, 12613 fired transitions, 425 secs || 10976 markings, 1371198 edges, 24 markings/sec, 425 secs
lola: STP completed || 1 tries, 12761 fired transitions, 430 secs || 11132 markings, 1425059 edges, 31 markings/sec, 430 secs
lola: STP completed || 1 tries, 12909 fired transitions, 435 secs || 11332 markings, 1479465 edges, 40 markings/sec, 435 secs
lola: STP completed || 1 tries, 13057 fired transitions, 440 secs || 11538 markings, 1534633 edges, 41 markings/sec, 440 secs
lola: STP completed || 1 tries, 13208 fired transitions, 445 secs || 11798 markings, 1587875 edges, 52 markings/sec, 445 secs
lola: STP completed || 1 tries, 13363 fired transitions, 450 secs || 11911 markings, 1641683 edges, 23 markings/sec, 450 secs
lola: STP completed || 1 tries, 13512 fired transitions, 455 secs || 12080 markings, 1696417 edges, 34 markings/sec, 455 secs
lola: STP completed || 1 tries, 13656 fired transitions, 460 secs || 12364 markings, 1749487 edges, 57 markings/sec, 460 secs
lola: STP completed || 1 tries, 13801 fired transitions, 465 secs || 12627 markings, 1801591 edges, 53 markings/sec, 465 secs
lola: STP completed || 1 tries, 13952 fired transitions, 470 secs || 12741 markings, 1854387 edges, 23 markings/sec, 470 secs
lola: STP completed || 1 tries, 14097 fired transitions, 475 secs || 12890 markings, 1908185 edges, 30 markings/sec, 475 secs
lola: STP completed || 1 tries, 14244 fired transitions, 480 secs || 13146 markings, 1963115 edges, 51 markings/sec, 480 secs
lola: STP completed || 1 tries, 14394 fired transitions, 485 secs || 13383 markings, 2017572 edges, 47 markings/sec, 485 secs
lola: STP completed || 1 tries, 14544 fired transitions, 490 secs || 13520 markings, 2070473 edges, 27 markings/sec, 490 secs
lola: STP completed || 1 tries, 14700 fired transitions, 495 secs || 13647 markings, 2126799 edges, 25 markings/sec, 495 secs
lola: STP completed || 1 tries, 14861 fired transitions, 500 secs || 13927 markings, 2185616 edges, 56 markings/sec, 500 secs
lola: STP completed || 1 tries, 15020 fired transitions, 505 secs || 14248 markings, 2241148 edges, 64 markings/sec, 505 secs
lola: STP completed || 1 tries, 15182 fired transitions, 510 secs || 14469 markings, 2297266 edges, 44 markings/sec, 510 secs
lola: STP completed || 1 tries, 15344 fired transitions, 515 secs || 14717 markings, 2355425 edges, 50 markings/sec, 515 secs
lola: STP completed || 1 tries, 15512 fired transitions, 520 secs || 15019 markings, 2413813 edges, 60 markings/sec, 520 secs
lola: STP completed || 1 tries, 15678 fired transitions, 525 secs || 15301 markings, 2471448 edges, 56 markings/sec, 525 secs
lola: STP completed || 1 tries, 15858 fired transitions, 530 secs || 15564 markings, 2530941 edges, 53 markings/sec, 530 secs
lola: STP completed || 1 tries, 16027 fired transitions, 535 secs || 15720 markings, 2587501 edges, 31 markings/sec, 535 secs
lola: STP completed || 1 tries, 16183 fired transitions, 540 secs || 15870 markings, 2644735 edges, 30 markings/sec, 540 secs
lola: STP completed || 1 tries, 16342 fired transitions, 545 secs || 16004 markings, 2701800 edges, 27 markings/sec, 545 secs
lola: STP completed || 1 tries, 16505 fired transitions, 550 secs || 16151 markings, 2759229 edges, 29 markings/sec, 550 secs
lola: STP completed || 1 tries, 16674 fired transitions, 555 secs || 16298 markings, 2816856 edges, 29 markings/sec, 555 secs
lola: STP completed || 1 tries, 16839 fired transitions, 560 secs || 16487 markings, 2875266 edges, 38 markings/sec, 560 secs
lola: STP completed || 1 tries, 17008 fired transitions, 565 secs || 16793 markings, 2933987 edges, 61 markings/sec, 565 secs
lola: STP completed || 1 tries, 17162 fired transitions, 570 secs || 16941 markings, 2990748 edges, 30 markings/sec, 570 secs
lola: STP completed || 1 tries, 17318 fired transitions, 575 secs || 17091 markings, 3047214 edges, 30 markings/sec, 575 secs
lola: STP completed || 1 tries, 17478 fired transitions, 580 secs || 17248 markings, 3104609 edges, 31 markings/sec, 580 secs
lola: STP completed || 1 tries, 17640 fired transitions, 585 secs || 17392 markings, 3161038 edges, 29 markings/sec, 585 secs
lola: STP completed || 1 tries, 17805 fired transitions, 590 secs || 17517 markings, 3217339 edges, 25 markings/sec, 590 secs
lola: STP completed || 1 tries, 17965 fired transitions, 595 secs || 17687 markings, 3274819 edges, 34 markings/sec, 595 secs
lola: STP completed || 1 tries, 18126 fired transitions, 600 secs || 17937 markings, 3333112 edges, 50 markings/sec, 600 secs
lola: STP completed || 1 tries, 18284 fired transitions, 605 secs || 18065 markings, 3388993 edges, 26 markings/sec, 605 secs
lola: STP completed || 1 tries, 18451 fired transitions, 610 secs || 18213 markings, 3446517 edges, 30 markings/sec, 610 secs
lola: STP completed || 1 tries, 18612 fired transitions, 615 secs || 18448 markings, 3500961 edges, 47 markings/sec, 615 secs
lola: STP completed || 1 tries, 18774 fired transitions, 620 secs || 18573 markings, 3556544 edges, 25 markings/sec, 620 secs
lola: STP completed || 1 tries, 18932 fired transitions, 625 secs || 18722 markings, 3614155 edges, 30 markings/sec, 625 secs
lola: STP completed || 1 tries, 19100 fired transitions, 630 secs || 18939 markings, 3671241 edges, 43 markings/sec, 630 secs
lola: STP completed || 1 tries, 19265 fired transitions, 635 secs || 19238 markings, 3729990 edges, 60 markings/sec, 635 secs
lola: STP completed || 1 tries, 19429 fired transitions, 640 secs || 19528 markings, 3788252 edges, 58 markings/sec, 640 secs
lola: STP completed || 1 tries, 19584 fired transitions, 645 secs || 19763 markings, 3843814 edges, 47 markings/sec, 645 secs
lola: STP completed || 1 tries, 19739 fired transitions, 650 secs || 19934 markings, 3901123 edges, 34 markings/sec, 650 secs
lola: STP completed || 1 tries, 19899 fired transitions, 655 secs || 20063 markings, 3956566 edges, 26 markings/sec, 655 secs
lola: STP completed || 1 tries, 20054 fired transitions, 660 secs || 20216 markings, 4014383 edges, 31 markings/sec, 660 secs
lola: STP completed || 1 tries, 20208 fired transitions, 665 secs || 20368 markings, 4071004 edges, 30 markings/sec, 665 secs
lola: STP completed || 1 tries, 20374 fired transitions, 670 secs || 20514 markings, 4127869 edges, 29 markings/sec, 670 secs
lola: STP completed || 1 tries, 20542 fired transitions, 675 secs || 20665 markings, 4185027 edges, 30 markings/sec, 675 secs
lola: STP completed || 1 tries, 20705 fired transitions, 680 secs || 20813 markings, 4242193 edges, 30 markings/sec, 680 secs
lola: STP completed || 1 tries, 20863 fired transitions, 685 secs || 20940 markings, 4297626 edges, 25 markings/sec, 685 secs
lola: STP completed || 1 tries, 21029 fired transitions, 690 secs || 21111 markings, 4355544 edges, 34 markings/sec, 690 secs
lola: STP completed || 1 tries, 21184 fired transitions, 695 secs || 21306 markings, 4413133 edges, 39 markings/sec, 695 secs
lola: STP completed || 1 tries, 21347 fired transitions, 700 secs || 21451 markings, 4469598 edges, 29 markings/sec, 700 secs
lola: STP completed || 1 tries, 21519 fired transitions, 705 secs || 21664 markings, 4526949 edges, 43 markings/sec, 705 secs
lola: STP completed || 1 tries, 21681 fired transitions, 710 secs || 21831 markings, 4584678 edges, 33 markings/sec, 710 secs
lola: STP completed || 1 tries, 21844 fired transitions, 715 secs || 22015 markings, 4641965 edges, 37 markings/sec, 715 secs
lola: STP completed || 1 tries, 22013 fired transitions, 720 secs || 22300 markings, 4698282 edges, 57 markings/sec, 720 secs
lola: STP completed || 1 tries, 22171 fired transitions, 725 secs || 22443 markings, 4755108 edges, 29 markings/sec, 725 secs
lola: STP completed || 1 tries, 22332 fired transitions, 730 secs || 22594 markings, 4810732 edges, 30 markings/sec, 730 secs
lola: STP completed || 1 tries, 22494 fired transitions, 735 secs || 22748 markings, 4867826 edges, 31 markings/sec, 735 secs
lola: STP completed || 1 tries, 22661 fired transitions, 740 secs || 22893 markings, 4924579 edges, 29 markings/sec, 740 secs
lola: STP completed || 1 tries, 22823 fired transitions, 745 secs || 23021 markings, 4981135 edges, 26 markings/sec, 745 secs
lola: STP completed || 1 tries, 22981 fired transitions, 750 secs || 23194 markings, 5038527 edges, 35 markings/sec, 750 secs
lola: STP completed || 1 tries, 23150 fired transitions, 755 secs || 23390 markings, 5096393 edges, 39 markings/sec, 755 secs
lola: STP completed || 1 tries, 23325 fired transitions, 760 secs || 23667 markings, 5153783 edges, 55 markings/sec, 760 secs
lola: STP completed || 1 tries, 23499 fired transitions, 765 secs || 23871 markings, 5211405 edges, 41 markings/sec, 765 secs
lola: STP completed || 1 tries, 23656 fired transitions, 770 secs || 24019 markings, 5268655 edges, 30 markings/sec, 770 secs
lola: STP completed || 1 tries, 23815 fired transitions, 775 secs || 24257 markings, 5327106 edges, 48 markings/sec, 775 secs
lola: STP completed || 1 tries, 23979 fired transitions, 780 secs || 24551 markings, 5381929 edges, 59 markings/sec, 780 secs
lola: STP completed || 1 tries, 24145 fired transitions, 785 secs || 24733 markings, 5438337 edges, 36 markings/sec, 785 secs
lola: STP completed || 1 tries, 24298 fired transitions, 790 secs || 24876 markings, 5495836 edges, 29 markings/sec, 790 secs
lola: STP completed || 1 tries, 24458 fired transitions, 795 secs || 25002 markings, 5551559 edges, 25 markings/sec, 795 secs
lola: STP completed || 1 tries, 24619 fired transitions, 800 secs || 25158 markings, 5609109 edges, 31 markings/sec, 800 secs
lola: STP completed || 1 tries, 24784 fired transitions, 805 secs || 25305 markings, 5666054 edges, 29 markings/sec, 805 secs
lola: STP completed || 1 tries, 24944 fired transitions, 810 secs || 25476 markings, 5723508 edges, 34 markings/sec, 810 secs
lola: STP completed || 1 tries, 25114 fired transitions, 815 secs || 25768 markings, 5781635 edges, 58 markings/sec, 815 secs
lola: STP completed || 1 tries, 25282 fired transitions, 820 secs || 26041 markings, 5839746 edges, 55 markings/sec, 820 secs
lola: STP completed || 1 tries, 25451 fired transitions, 825 secs || 26279 markings, 5897657 edges, 48 markings/sec, 825 secs
lola: STP completed || 1 tries, 25614 fired transitions, 830 secs || 26450 markings, 5955571 edges, 34 markings/sec, 830 secs
lola: STP completed || 1 tries, 25791 fired transitions, 835 secs || 26702 markings, 6014233 edges, 50 markings/sec, 835 secs
lola: STP completed || 1 tries, 25950 fired transitions, 840 secs || 26870 markings, 6071748 edges, 34 markings/sec, 840 secs
lola: STP completed || 1 tries, 26107 fired transitions, 845 secs || 27068 markings, 6129821 edges, 40 markings/sec, 845 secs
lola: STP completed || 1 tries, 26261 fired transitions, 850 secs || 27258 markings, 6188343 edges, 38 markings/sec, 850 secs
lola: STP completed || 1 tries, 26427 fired transitions, 855 secs || 27423 markings, 6246389 edges, 33 markings/sec, 855 secs
lola: STP completed || 1 tries, 26601 fired transitions, 860 secs || 27701 markings, 6303913 edges, 56 markings/sec, 860 secs
lola: STP completed || 1 tries, 26759 fired transitions, 865 secs || 27964 markings, 6362398 edges, 53 markings/sec, 865 secs
lola: STP completed || 1 tries, 26927 fired transitions, 870 secs || 28220 markings, 6420355 edges, 51 markings/sec, 870 secs
lola: STP completed || 1 tries, 27093 fired transitions, 875 secs || 28508 markings, 6478462 edges, 58 markings/sec, 875 secs
lola: STP completed || 1 tries, 27262 fired transitions, 880 secs || 28756 markings, 6536501 edges, 50 markings/sec, 880 secs
lola: STP completed || 1 tries, 27433 fired transitions, 885 secs || 28999 markings, 6595248 edges, 49 markings/sec, 885 secs
lola: STP completed || 1 tries, 27589 fired transitions, 890 secs || 29274 markings, 6654397 edges, 55 markings/sec, 890 secs
lola: STP completed || 1 tries, 27756 fired transitions, 895 secs || 29531 markings, 6712352 edges, 51 markings/sec, 895 secs
lola: STP completed || 1 tries, 27920 fired transitions, 900 secs || 29672 markings, 6769166 edges, 28 markings/sec, 900 secs
lola: STP completed || 1 tries, 28076 fired transitions, 905 secs || 29824 markings, 6828507 edges, 30 markings/sec, 905 secs
lola: STP completed || 1 tries, 28230 fired transitions, 910 secs || 30118 markings, 6886390 edges, 59 markings/sec, 910 secs
lola: STP completed || 1 tries, 28383 fired transitions, 915 secs || 30415 markings, 6944068 edges, 59 markings/sec, 915 secs
lola: STP completed || 1 tries, 28552 fired transitions, 920 secs || 30696 markings, 7001223 edges, 56 markings/sec, 920 secs
lola: STP completed || 1 tries, 28717 fired transitions, 925 secs || 30951 markings, 7060745 edges, 51 markings/sec, 925 secs
lola: STP completed || 1 tries, 28876 fired transitions, 930 secs || 31215 markings, 7120793 edges, 53 markings/sec, 930 secs
lola: STP completed || 1 tries, 29035 fired transitions, 935 secs || 31477 markings, 7179223 edges, 52 markings/sec, 935 secs
lola: STP completed || 1 tries, 29193 fired transitions, 940 secs || 31691 markings, 7237245 edges, 43 markings/sec, 940 secs
lola: STP completed || 1 tries, 29364 fired transitions, 945 secs || 31995 markings, 7295662 edges, 61 markings/sec, 945 secs
lola: STP completed || 1 tries, 29518 fired transitions, 950 secs || 32224 markings, 7355579 edges, 46 markings/sec, 950 secs
lola: STP completed || 1 tries, 29687 fired transitions, 955 secs || 32463 markings, 7414793 edges, 48 markings/sec, 955 secs
lola: STP completed || 1 tries, 29843 fired transitions, 960 secs || 32685 markings, 7474424 edges, 44 markings/sec, 960 secs
lola: STP completed || 1 tries, 29999 fired transitions, 965 secs || 32995 markings, 7532467 edges, 62 markings/sec, 965 secs
lola: STP completed || 1 tries, 30170 fired transitions, 970 secs || 33288 markings, 7590711 edges, 59 markings/sec, 970 secs
lola: STP completed || 1 tries, 30336 fired transitions, 975 secs || 33600 markings, 7646374 edges, 62 markings/sec, 975 secs
lola: STP completed || 1 tries, 30501 fired transitions, 980 secs || 33918 markings, 7705246 edges, 64 markings/sec, 980 secs
lola: STP completed || 1 tries, 30668 fired transitions, 985 secs || 34223 markings, 7765368 edges, 61 markings/sec, 985 secs
lola: STP completed || 1 tries, 30828 fired transitions, 990 secs || 34510 markings, 7826193 edges, 57 markings/sec, 990 secs
lola: STP completed || 1 tries, 30990 fired transitions, 995 secs || 34823 markings, 7886116 edges, 63 markings/sec, 995 secs
lola: STP completed || 1 tries, 31153 fired transitions, 1000 secs || 35079 markings, 7944915 edges, 51 markings/sec, 1000 secs
lola: STP completed || 1 tries, 31316 fired transitions, 1005 secs || 35321 markings, 8003050 edges, 48 markings/sec, 1005 secs
lola: STP completed || 1 tries, 31472 fired transitions, 1010 secs || 35543 markings, 8061032 edges, 44 markings/sec, 1010 secs
lola: STP completed || 1 tries, 31638 fired transitions, 1015 secs || 35788 markings, 8121367 edges, 49 markings/sec, 1015 secs
lola: STP completed || 1 tries, 31802 fired transitions, 1020 secs || 36100 markings, 8180680 edges, 62 markings/sec, 1020 secs
lola: STP completed || 1 tries, 31961 fired transitions, 1025 secs || 36261 markings, 8236886 edges, 32 markings/sec, 1025 secs
lola: STP completed || 1 tries, 32119 fired transitions, 1030 secs || 36422 markings, 8295257 edges, 32 markings/sec, 1030 secs
lola: STP completed || 1 tries, 32276 fired transitions, 1035 secs || 36627 markings, 8352570 edges, 41 markings/sec, 1035 secs
lola: STP completed || 1 tries, 32440 fired transitions, 1040 secs || 36780 markings, 8410001 edges, 31 markings/sec, 1040 secs
lola: STP completed || 1 tries, 32603 fired transitions, 1045 secs || 36994 markings, 8468074 edges, 43 markings/sec, 1045 secs
lola: STP completed || 1 tries, 32768 fired transitions, 1050 secs || 37119 markings, 8525168 edges, 25 markings/sec, 1050 secs
lola: STP completed || 1 tries, 32926 fired transitions, 1055 secs || 37276 markings, 8583456 edges, 31 markings/sec, 1055 secs
lola: STP completed || 1 tries, 33086 fired transitions, 1060 secs || 37465 markings, 8642145 edges, 38 markings/sec, 1060 secs
lola: STP completed || 1 tries, 33247 fired transitions, 1065 secs || 37616 markings, 8699534 edges, 30 markings/sec, 1065 secs
lola: STP completed || 1 tries, 33413 fired transitions, 1070 secs || 37769 markings, 8756102 edges, 31 markings/sec, 1070 secs
lola: STP completed || 1 tries, 33569 fired transitions, 1075 secs || 37923 markings, 8813977 edges, 31 markings/sec, 1075 secs
lola: STP completed || 1 tries, 33721 fired transitions, 1080 secs || 38068 markings, 8870634 edges, 29 markings/sec, 1080 secs
lola: STP completed || 1 tries, 33881 fired transitions, 1085 secs || 38219 markings, 8926871 edges, 30 markings/sec, 1085 secs
lola: STP completed || 1 tries, 34034 fired transitions, 1090 secs || 38481 markings, 8985525 edges, 52 markings/sec, 1090 secs
lola: STP completed || 1 tries, 34196 fired transitions, 1095 secs || 38707 markings, 9044425 edges, 45 markings/sec, 1095 secs
lola: STP completed || 1 tries, 34351 fired transitions, 1100 secs || 38946 markings, 9100630 edges, 48 markings/sec, 1100 secs
lola: STP completed || 1 tries, 34515 fired transitions, 1105 secs || 39094 markings, 9157960 edges, 30 markings/sec, 1105 secs
lola: STP completed || 1 tries, 34675 fired transitions, 1110 secs || 39240 markings, 9214416 edges, 29 markings/sec, 1110 secs
lola: STP completed || 1 tries, 34832 fired transitions, 1115 secs || 39366 markings, 9270496 edges, 25 markings/sec, 1115 secs
lola: STP completed || 1 tries, 34993 fired transitions, 1120 secs || 39531 markings, 9328010 edges, 33 markings/sec, 1120 secs
lola: STP completed || 1 tries, 35145 fired transitions, 1125 secs || 39711 markings, 9383689 edges, 36 markings/sec, 1125 secs
lola: STP completed || 1 tries, 35296 fired transitions, 1130 secs || 39975 markings, 9437558 edges, 53 markings/sec, 1130 secs
lola: STP completed || 1 tries, 35443 fired transitions, 1135 secs || 40110 markings, 9489901 edges, 27 markings/sec, 1135 secs
lola: STP completed || 1 tries, 35593 fired transitions, 1140 secs || 40255 markings, 9543823 edges, 29 markings/sec, 1140 secs
lola: STP completed || 1 tries, 35740 fired transitions, 1145 secs || 40406 markings, 9597110 edges, 30 markings/sec, 1145 secs
lola: STP completed || 1 tries, 35881 fired transitions, 1150 secs || 40569 markings, 9651263 edges, 33 markings/sec, 1150 secs
lola: STP completed || 1 tries, 36023 fired transitions, 1155 secs || 40825 markings, 9703616 edges, 51 markings/sec, 1155 secs
lola: STP completed || 1 tries, 36164 fired transitions, 1160 secs || 41034 markings, 9756600 edges, 42 markings/sec, 1160 secs
lola: STP completed || 1 tries, 36311 fired transitions, 1165 secs || 41167 markings, 9810393 edges, 27 markings/sec, 1165 secs
lola: STP completed || 1 tries, 36452 fired transitions, 1170 secs || 41403 markings, 9864985 edges, 47 markings/sec, 1170 secs
lola: STP completed || 1 tries, 36600 fired transitions, 1175 secs || 41621 markings, 9917610 edges, 44 markings/sec, 1175 secs
lola: STP completed || 1 tries, 36753 fired transitions, 1180 secs || 41863 markings, 9971392 edges, 48 markings/sec, 1180 secs
lola: STP completed || 1 tries, 36901 fired transitions, 1185 secs || 42048 markings, 10025196 edges, 37 markings/sec, 1185 secs
lola: STP completed || 1 tries, 37048 fired transitions, 1190 secs || 42189 markings, 10077953 edges, 28 markings/sec, 1190 secs
lola: STP completed || 1 tries, 37195 fired transitions, 1195 secs || 42302 markings, 10131563 edges, 23 markings/sec, 1195 secs
lola: STP completed || 1 tries, 37341 fired transitions, 1200 secs || 42544 markings, 10186407 edges, 48 markings/sec, 1200 secs
lola: STP completed || 1 tries, 37499 fired transitions, 1205 secs || 42737 markings, 10240754 edges, 39 markings/sec, 1205 secs
lola: STP completed || 1 tries, 37668 fired transitions, 1210 secs || 42888 markings, 10296936 edges, 30 markings/sec, 1210 secs
lola: STP completed || 1 tries, 37823 fired transitions, 1215 secs || 43034 markings, 10353811 edges, 29 markings/sec, 1215 secs
lola: STP completed || 1 tries, 37994 fired transitions, 1220 secs || 43157 markings, 10410116 edges, 25 markings/sec, 1220 secs
lola: STP completed || 1 tries, 38165 fired transitions, 1225 secs || 43331 markings, 10467465 edges, 35 markings/sec, 1225 secs
lola: STP completed || 1 tries, 38331 fired transitions, 1230 secs || 43542 markings, 10525106 edges, 42 markings/sec, 1230 secs
lola: STP completed || 1 tries, 38496 fired transitions, 1235 secs || 43795 markings, 10583015 edges, 51 markings/sec, 1235 secs
lola: STP completed || 1 tries, 38664 fired transitions, 1240 secs || 43996 markings, 10641000 edges, 40 markings/sec, 1240 secs
lola: STP completed || 1 tries, 38827 fired transitions, 1245 secs || 44204 markings, 10697828 edges, 42 markings/sec, 1245 secs
lola: STP completed || 1 tries, 38996 fired transitions, 1250 secs || 44333 markings, 10753964 edges, 26 markings/sec, 1250 secs
lola: STP completed || 1 tries, 39162 fired transitions, 1255 secs || 44488 markings, 10812353 edges, 31 markings/sec, 1255 secs
lola: STP completed || 1 tries, 39324 fired transitions, 1260 secs || 44635 markings, 10868363 edges, 29 markings/sec, 1260 secs
lola: STP completed || 1 tries, 39486 fired transitions, 1265 secs || 44796 markings, 10926662 edges, 32 markings/sec, 1265 secs
lola: STP completed || 1 tries, 39639 fired transitions, 1270 secs || 45073 markings, 10984406 edges, 55 markings/sec, 1270 secs
lola: STP completed || 1 tries, 39794 fired transitions, 1275 secs || 45251 markings, 11042011 edges, 36 markings/sec, 1275 secs
lola: STP completed || 1 tries, 39954 fired transitions, 1280 secs || 45405 markings, 11099776 edges, 31 markings/sec, 1280 secs
lola: STP completed || 1 tries, 40114 fired transitions, 1285 secs || 45553 markings, 11157114 edges, 30 markings/sec, 1285 secs
lola: STP completed || 1 tries, 40274 fired transitions, 1290 secs || 45739 markings, 11215392 edges, 37 markings/sec, 1290 secs
lola: STP completed || 1 tries, 40431 fired transitions, 1295 secs || 45936 markings, 11272616 edges, 39 markings/sec, 1295 secs
lola: STP completed || 1 tries, 40585 fired transitions, 1300 secs || 46082 markings, 11329883 edges, 29 markings/sec, 1300 secs
lola: STP completed || 1 tries, 40745 fired transitions, 1305 secs || 46240 markings, 11386335 edges, 32 markings/sec, 1305 secs
lola: STP completed || 1 tries, 40904 fired transitions, 1310 secs || 46386 markings, 11443461 edges, 29 markings/sec, 1310 secs
lola: STP completed || 1 tries, 41064 fired transitions, 1315 secs || 46510 markings, 11500479 edges, 25 markings/sec, 1315 secs
lola: STP completed || 1 tries, 41216 fired transitions, 1320 secs || 46684 markings, 11557383 edges, 35 markings/sec, 1320 secs
lola: STP completed || 1 tries, 41381 fired transitions, 1325 secs || 46889 markings, 11615336 edges, 41 markings/sec, 1325 secs
lola: STP completed || 1 tries, 41546 fired transitions, 1330 secs || 47183 markings, 11673693 edges, 59 markings/sec, 1330 secs
lola: STP completed || 1 tries, 41710 fired transitions, 1335 secs || 47404 markings, 11731315 edges, 44 markings/sec, 1335 secs
lola: STP completed || 1 tries, 41873 fired transitions, 1340 secs || 47552 markings, 11788962 edges, 30 markings/sec, 1340 secs
lola: STP completed || 1 tries, 42042 fired transitions, 1345 secs || 47742 markings, 11846190 edges, 38 markings/sec, 1345 secs
lola: STP completed || 1 tries, 42211 fired transitions, 1350 secs || 47933 markings, 11904310 edges, 38 markings/sec, 1350 secs
lola: STP completed || 1 tries, 42366 fired transitions, 1355 secs || 48191 markings, 11961610 edges, 52 markings/sec, 1355 secs
lola: STP completed || 1 tries, 42517 fired transitions, 1360 secs || 48426 markings, 12020235 edges, 47 markings/sec, 1360 secs
lola: STP completed || 1 tries, 42672 fired transitions, 1365 secs || 48546 markings, 12076894 edges, 24 markings/sec, 1365 secs
lola: STP completed || 1 tries, 42839 fired transitions, 1370 secs || 48696 markings, 12134717 edges, 30 markings/sec, 1370 secs
lola: STP completed || 1 tries, 42998 fired transitions, 1375 secs || 48950 markings, 12192090 edges, 51 markings/sec, 1375 secs
lola: STP completed || 1 tries, 43155 fired transitions, 1380 secs || 49263 markings, 12245532 edges, 63 markings/sec, 1380 secs
lola: STP completed || 1 tries, 43315 fired transitions, 1385 secs || 49543 markings, 12301823 edges, 56 markings/sec, 1385 secs
lola: STP completed || 1 tries, 43478 fired transitions, 1390 secs || 49808 markings, 12359557 edges, 53 markings/sec, 1390 secs
lola: STP completed || 1 tries, 43644 fired transitions, 1395 secs || 50055 markings, 12417705 edges, 49 markings/sec, 1395 secs
lola: STP completed || 1 tries, 43799 fired transitions, 1400 secs || 50320 markings, 12475683 edges, 53 markings/sec, 1400 secs
lola: STP completed || 1 tries, 43967 fired transitions, 1405 secs || 50577 markings, 12533440 edges, 51 markings/sec, 1405 secs
lola: STP completed || 1 tries, 44131 fired transitions, 1410 secs || 50799 markings, 12590060 edges, 44 markings/sec, 1410 secs
lola: STP completed || 1 tries, 44297 fired transitions, 1415 secs || 51073 markings, 12648119 edges, 55 markings/sec, 1415 secs
lola: STP completed || 1 tries, 44461 fired transitions, 1420 secs || 51299 markings, 12704183 edges, 45 markings/sec, 1420 secs
lola: STP completed || 1 tries, 44633 fired transitions, 1425 secs || 51448 markings, 12760188 edges, 30 markings/sec, 1425 secs
lola: STP completed || 1 tries, 44790 fired transitions, 1430 secs || 51593 markings, 12812037 edges, 29 markings/sec, 1430 secs
lola: STP completed || 1 tries, 44956 fired transitions, 1435 secs || 51740 markings, 12868358 edges, 29 markings/sec, 1435 secs
lola: STP completed || 1 tries, 45120 fired transitions, 1440 secs || 51863 markings, 12925189 edges, 25 markings/sec, 1440 secs
lola: STP completed || 1 tries, 45286 fired transitions, 1445 secs || 52036 markings, 12982607 edges, 35 markings/sec, 1445 secs
lola: STP completed || 1 tries, 45451 fired transitions, 1450 secs || 52246 markings, 13040010 edges, 42 markings/sec, 1450 secs
lola: STP completed || 1 tries, 45620 fired transitions, 1455 secs || 52507 markings, 13097236 edges, 52 markings/sec, 1455 secs
lola: STP completed || 1 tries, 45794 fired transitions, 1460 secs || 52663 markings, 13154390 edges, 31 markings/sec, 1460 secs
lola: STP completed || 1 tries, 45950 fired transitions, 1465 secs || 52801 markings, 13210052 edges, 28 markings/sec, 1465 secs
lola: STP completed || 1 tries, 46108 fired transitions, 1470 secs || 52955 markings, 13267037 edges, 31 markings/sec, 1470 secs
lola: STP completed || 1 tries, 46264 fired transitions, 1475 secs || 53106 markings, 13324018 edges, 30 markings/sec, 1475 secs
lola: STP completed || 1 tries, 46420 fired transitions, 1480 secs || 53244 markings, 13381339 edges, 28 markings/sec, 1480 secs
lola: STP completed || 1 tries, 46579 fired transitions, 1485 secs || 53403 markings, 13437604 edges, 32 markings/sec, 1485 secs
lola: STP completed || 1 tries, 46739 fired transitions, 1490 secs || 53602 markings, 13494553 edges, 40 markings/sec, 1490 secs
lola: STP completed || 1 tries, 46901 fired transitions, 1495 secs || 53751 markings, 13551796 edges, 30 markings/sec, 1495 secs
lola: STP completed || 1 tries, 47075 fired transitions, 1500 secs || 53901 markings, 13608650 edges, 30 markings/sec, 1500 secs
lola: STP completed || 1 tries, 47245 fired transitions, 1505 secs || 54033 markings, 13664518 edges, 26 markings/sec, 1505 secs
lola: STP completed || 1 tries, 47411 fired transitions, 1510 secs || 54179 markings, 13721432 edges, 29 markings/sec, 1510 secs
lola: STP completed || 1 tries, 47566 fired transitions, 1515 secs || 54325 markings, 13777757 edges, 29 markings/sec, 1515 secs
lola: STP completed || 1 tries, 47719 fired transitions, 1520 secs || 54507 markings, 13835559 edges, 36 markings/sec, 1520 secs
lola: STP completed || 1 tries, 47874 fired transitions, 1525 secs || 54788 markings, 13893413 edges, 56 markings/sec, 1525 secs
lola: STP completed || 1 tries, 48028 fired transitions, 1530 secs || 55009 markings, 13951780 edges, 44 markings/sec, 1530 secs
lola: STP completed || 1 tries, 48180 fired transitions, 1535 secs || 55172 markings, 14008846 edges, 33 markings/sec, 1535 secs
lola: STP completed || 1 tries, 48333 fired transitions, 1540 secs || 55349 markings, 14067773 edges, 35 markings/sec, 1540 secs
lola: STP completed || 1 tries, 48486 fired transitions, 1545 secs || 55631 markings, 14126413 edges, 56 markings/sec, 1545 secs
lola: STP completed || 1 tries, 48636 fired transitions, 1550 secs || 55828 markings, 14183106 edges, 39 markings/sec, 1550 secs
lola: STP completed || 1 tries, 48802 fired transitions, 1555 secs || 56130 markings, 14240912 edges, 60 markings/sec, 1555 secs
lola: STP completed || 1 tries, 48977 fired transitions, 1560 secs || 56352 markings, 14298332 edges, 44 markings/sec, 1560 secs
lola: STP completed || 1 tries, 49135 fired transitions, 1565 secs || 56585 markings, 14354833 edges, 47 markings/sec, 1565 secs
lola: STP completed || 1 tries, 49301 fired transitions, 1570 secs || 56768 markings, 14412699 edges, 37 markings/sec, 1570 secs
lola: STP completed || 1 tries, 49470 fired transitions, 1575 secs || 56891 markings, 14468557 edges, 25 markings/sec, 1575 secs
lola: STP completed || 1 tries, 49634 fired transitions, 1580 secs || 57032 markings, 14525791 edges, 28 markings/sec, 1580 secs
lola: STP completed || 1 tries, 49794 fired transitions, 1585 secs || 57184 markings, 14582358 edges, 30 markings/sec, 1585 secs
lola: STP completed || 1 tries, 49953 fired transitions, 1590 secs || 57447 markings, 14639455 edges, 53 markings/sec, 1590 secs
lola: STP completed || 1 tries, 50111 fired transitions, 1595 secs || 57743 markings, 14696080 edges, 59 markings/sec, 1595 secs
lola: STP completed || 1 tries, 50278 fired transitions, 1600 secs || 58026 markings, 14755523 edges, 57 markings/sec, 1600 secs
lola: STP completed || 1 tries, 50431 fired transitions, 1605 secs || 58282 markings, 14814044 edges, 51 markings/sec, 1605 secs
lola: STP completed || 1 tries, 50589 fired transitions, 1610 secs || 58532 markings, 14872641 edges, 50 markings/sec, 1610 secs
lola: STP completed || 1 tries, 50745 fired transitions, 1615 secs || 58811 markings, 14929444 edges, 56 markings/sec, 1615 secs
lola: STP completed || 1 tries, 50899 fired transitions, 1620 secs || 59071 markings, 14987506 edges, 52 markings/sec, 1620 secs
lola: STP completed || 1 tries, 51056 fired transitions, 1625 secs || 59351 markings, 15047716 edges, 56 markings/sec, 1625 secs
lola: STP completed || 1 tries, 51217 fired transitions, 1630 secs || 59655 markings, 15104901 edges, 61 markings/sec, 1630 secs
lola: STP completed || 1 tries, 51387 fired transitions, 1635 secs || 59922 markings, 15164370 edges, 53 markings/sec, 1635 secs
lola: STP completed || 1 tries, 51553 fired transitions, 1640 secs || 60175 markings, 15223365 edges, 51 markings/sec, 1640 secs
lola: STP completed || 1 tries, 51714 fired transitions, 1645 secs || 60508 markings, 15278925 edges, 67 markings/sec, 1645 secs
lola: STP completed || 1 tries, 51875 fired transitions, 1650 secs || 60707 markings, 15337055 edges, 40 markings/sec, 1650 secs
lola: STP completed || 1 tries, 52050 fired transitions, 1655 secs || 60987 markings, 15394186 edges, 56 markings/sec, 1655 secs
lola: STP completed || 1 tries, 52219 fired transitions, 1660 secs || 61245 markings, 15455181 edges, 52 markings/sec, 1660 secs
lola: STP completed || 1 tries, 52377 fired transitions, 1665 secs || 61496 markings, 15513253 edges, 50 markings/sec, 1665 secs
lola: STP completed || 1 tries, 52532 fired transitions, 1670 secs || 61722 markings, 15570294 edges, 45 markings/sec, 1670 secs
lola: STP completed || 1 tries, 52689 fired transitions, 1675 secs || 62043 markings, 15626045 edges, 64 markings/sec, 1675 secs
lola: STP completed || 1 tries, 52855 fired transitions, 1680 secs || 62370 markings, 15681573 edges, 65 markings/sec, 1680 secs
lola: STP completed || 1 tries, 53015 fired transitions, 1685 secs || 62618 markings, 15739575 edges, 50 markings/sec, 1685 secs
lola: STP completed || 1 tries, 53173 fired transitions, 1690 secs || 62914 markings, 15798577 edges, 59 markings/sec, 1690 secs
lola: STP completed || 1 tries, 53329 fired transitions, 1695 secs || 63260 markings, 15854873 edges, 69 markings/sec, 1695 secs
lola: STP completed || 1 tries, 53483 fired transitions, 1700 secs || 63621 markings, 15910315 edges, 72 markings/sec, 1700 secs
lola: STP completed || 1 tries, 53649 fired transitions, 1705 secs || 63894 markings, 15969996 edges, 55 markings/sec, 1705 secs
lola: STP completed || 1 tries, 53819 fired transitions, 1710 secs || 64223 markings, 16027805 edges, 66 markings/sec, 1710 secs
lola: STP completed || 1 tries, 53988 fired transitions, 1715 secs || 64504 markings, 16085270 edges, 56 markings/sec, 1715 secs
lola: STP completed || 1 tries, 54145 fired transitions, 1720 secs || 64751 markings, 16142385 edges, 49 markings/sec, 1720 secs
lola: STP completed || 1 tries, 54311 fired transitions, 1725 secs || 64910 markings, 16199285 edges, 32 markings/sec, 1725 secs
lola: STP completed || 1 tries, 54468 fired transitions, 1730 secs || 65056 markings, 16256344 edges, 29 markings/sec, 1730 secs
lola: STP completed || 1 tries, 54627 fired transitions, 1735 secs || 65184 markings, 16312478 edges, 26 markings/sec, 1735 secs
lola: STP completed || 1 tries, 54789 fired transitions, 1740 secs || 65346 markings, 16369064 edges, 32 markings/sec, 1740 secs
lola: STP completed || 1 tries, 54938 fired transitions, 1745 secs || 65517 markings, 16422596 edges, 34 markings/sec, 1745 secs
lola: STP completed || 1 tries, 55084 fired transitions, 1750 secs || 65776 markings, 16476540 edges, 52 markings/sec, 1750 secs
lola: STP completed || 1 tries, 55242 fired transitions, 1755 secs || 65991 markings, 16531339 edges, 43 markings/sec, 1755 secs
lola: STP completed || 1 tries, 55390 fired transitions, 1760 secs || 66192 markings, 16583876 edges, 40 markings/sec, 1760 secs
lola: STP completed || 1 tries, 55538 fired transitions, 1765 secs || 66315 markings, 16636975 edges, 25 markings/sec, 1765 secs
lola: STP completed || 1 tries, 55683 fired transitions, 1770 secs || 66456 markings, 16690337 edges, 28 markings/sec, 1770 secs
lola: STP completed || 1 tries, 55820 fired transitions, 1775 secs || 66571 markings, 16742597 edges, 23 markings/sec, 1775 secs
lola: STP completed || 1 tries, 55966 fired transitions, 1780 secs || 66729 markings, 16796770 edges, 32 markings/sec, 1780 secs
lola: STP completed || 1 tries, 56120 fired transitions, 1785 secs || 66910 markings, 16853048 edges, 36 markings/sec, 1785 secs
lola: STP completed || 1 tries, 56283 fired transitions, 1790 secs || 67199 markings, 16911746 edges, 58 markings/sec, 1790 secs
lola: STP completed || 1 tries, 56439 fired transitions, 1795 secs || 67325 markings, 16967970 edges, 25 markings/sec, 1795 secs
lola: STP completed || 1 tries, 56596 fired transitions, 1800 secs || 67481 markings, 17025941 edges, 31 markings/sec, 1800 secs
lola: STP completed || 1 tries, 56756 fired transitions, 1805 secs || 67659 markings, 17084855 edges, 36 markings/sec, 1805 secs
lola: STP completed || 1 tries, 56921 fired transitions, 1810 secs || 67822 markings, 17142531 edges, 33 markings/sec, 1810 secs
lola: STP completed || 1 tries, 57086 fired transitions, 1815 secs || 68024 markings, 17200950 edges, 40 markings/sec, 1815 secs
lola: STP completed || 1 tries, 57253 fired transitions, 1820 secs || 68161 markings, 17257774 edges, 27 markings/sec, 1820 secs
lola: STP completed || 1 tries, 57417 fired transitions, 1825 secs || 68317 markings, 17315006 edges, 31 markings/sec, 1825 secs
lola: STP completed || 1 tries, 57570 fired transitions, 1830 secs || 68475 markings, 17372412 edges, 32 markings/sec, 1830 secs
lola: STP completed || 1 tries, 57731 fired transitions, 1835 secs || 68619 markings, 17430408 edges, 29 markings/sec, 1835 secs
lola: STP completed || 1 tries, 57895 fired transitions, 1840 secs || 68774 markings, 17486964 edges, 31 markings/sec, 1840 secs
lola: STP completed || 1 tries, 58050 fired transitions, 1845 secs || 69036 markings, 17546443 edges, 52 markings/sec, 1845 secs
lola: STP completed || 1 tries, 58216 fired transitions, 1850 secs || 69319 markings, 17605106 edges, 57 markings/sec, 1850 secs
lola: STP completed || 1 tries, 58374 fired transitions, 1855 secs || 69491 markings, 17662531 edges, 34 markings/sec, 1855 secs
lola: STP completed || 1 tries, 58525 fired transitions, 1860 secs || 69680 markings, 17720645 edges, 38 markings/sec, 1860 secs
lola: STP completed || 1 tries, 58686 fired transitions, 1865 secs || 69852 markings, 17779044 edges, 34 markings/sec, 1865 secs
lola: STP completed || 1 tries, 58843 fired transitions, 1870 secs || 70093 markings, 17837730 edges, 48 markings/sec, 1870 secs
lola: STP completed || 1 tries, 58997 fired transitions, 1875 secs || 70341 markings, 17896784 edges, 50 markings/sec, 1875 secs
lola: STP completed || 1 tries, 59150 fired transitions, 1880 secs || 70516 markings, 17954362 edges, 35 markings/sec, 1880 secs
lola: STP completed || 1 tries, 59313 fired transitions, 1885 secs || 70641 markings, 18011962 edges, 25 markings/sec, 1885 secs
lola: STP completed || 1 tries, 59469 fired transitions, 1890 secs || 70855 markings, 18070080 edges, 43 markings/sec, 1890 secs
lola: STP completed || 1 tries, 59622 fired transitions, 1895 secs || 71165 markings, 18123432 edges, 62 markings/sec, 1895 secs
lola: STP completed || 1 tries, 59790 fired transitions, 1900 secs || 71419 markings, 18182358 edges, 51 markings/sec, 1900 secs
lola: STP completed || 1 tries, 59958 fired transitions, 1905 secs || 71720 markings, 18238896 edges, 60 markings/sec, 1905 secs
lola: STP completed || 1 tries, 60118 fired transitions, 1910 secs || 72016 markings, 18297201 edges, 59 markings/sec, 1910 secs
lola: STP completed || 1 tries, 60282 fired transitions, 1915 secs || 72241 markings, 18355502 edges, 45 markings/sec, 1915 secs
lola: STP completed || 1 tries, 60451 fired transitions, 1920 secs || 72392 markings, 18412028 edges, 30 markings/sec, 1920 secs
lola: STP completed || 1 tries, 60612 fired transitions, 1925 secs || 72540 markings, 18469122 edges, 30 markings/sec, 1925 secs
lola: STP completed || 1 tries, 60770 fired transitions, 1930 secs || 72666 markings, 18525270 edges, 25 markings/sec, 1930 secs
lola: STP completed || 1 tries, 60928 fired transitions, 1935 secs || 72839 markings, 18583141 edges, 35 markings/sec, 1935 secs
lola: STP completed || 1 tries, 61085 fired transitions, 1940 secs || 73036 markings, 18641872 edges, 39 markings/sec, 1940 secs
lola: STP completed || 1 tries, 61258 fired transitions, 1945 secs || 73305 markings, 18699678 edges, 54 markings/sec, 1945 secs
lola: STP completed || 1 tries, 61424 fired transitions, 1950 secs || 73504 markings, 18758511 edges, 40 markings/sec, 1950 secs
lola: STP completed || 1 tries, 61585 fired transitions, 1955 secs || 73712 markings, 18815656 edges, 42 markings/sec, 1955 secs
lola: STP completed || 1 tries, 61745 fired transitions, 1960 secs || 73845 markings, 18871664 edges, 27 markings/sec, 1960 secs
lola: STP completed || 1 tries, 61904 fired transitions, 1965 secs || 74001 markings, 18929369 edges, 31 markings/sec, 1965 secs
lola: STP completed || 1 tries, 62064 fired transitions, 1970 secs || 74147 markings, 18986360 edges, 29 markings/sec, 1970 secs
lola: STP completed || 1 tries, 62230 fired transitions, 1975 secs || 74297 markings, 19043677 edges, 30 markings/sec, 1975 secs
lola: STP completed || 1 tries, 62394 fired transitions, 1980 secs || 74567 markings, 19101888 edges, 54 markings/sec, 1980 secs
lola: STP completed || 1 tries, 62563 fired transitions, 1985 secs || 74761 markings, 19159583 edges, 39 markings/sec, 1985 secs
lola: STP completed || 1 tries, 62725 fired transitions, 1990 secs || 74917 markings, 19216758 edges, 31 markings/sec, 1990 secs
lola: STP completed || 1 tries, 62889 fired transitions, 1995 secs || 75064 markings, 19274221 edges, 29 markings/sec, 1995 secs
lola: STP completed || 1 tries, 63044 fired transitions, 2000 secs || 75251 markings, 19333161 edges, 37 markings/sec, 2000 secs
lola: STP completed || 1 tries, 63209 fired transitions, 2005 secs || 75448 markings, 19390678 edges, 39 markings/sec, 2005 secs
lola: STP completed || 1 tries, 63367 fired transitions, 2010 secs || 75598 markings, 19448483 edges, 30 markings/sec, 2010 secs
lola: STP completed || 1 tries, 63524 fired transitions, 2015 secs || 75753 markings, 19505739 edges, 31 markings/sec, 2015 secs
lola: STP completed || 1 tries, 63689 fired transitions, 2020 secs || 75899 markings, 19563005 edges, 29 markings/sec, 2020 secs
lola: STP completed || 1 tries, 63852 fired transitions, 2025 secs || 76028 markings, 19619606 edges, 26 markings/sec, 2025 secs
lola: STP completed || 1 tries, 64023 fired transitions, 2030 secs || 76199 markings, 19677531 edges, 34 markings/sec, 2030 secs
lola: STP completed || 1 tries, 64182 fired transitions, 2035 secs || 76408 markings, 19735592 edges, 42 markings/sec, 2035 secs
lola: STP completed || 1 tries, 64348 fired transitions, 2040 secs || 76699 markings, 19794564 edges, 58 markings/sec, 2040 secs
lola: STP completed || 1 tries, 64509 fired transitions, 2045 secs || 76924 markings, 19852746 edges, 45 markings/sec, 2045 secs
lola: STP completed || 1 tries, 64669 fired transitions, 2050 secs || 77072 markings, 19910536 edges, 30 markings/sec, 2050 secs
lola: STP completed || 1 tries, 64824 fired transitions, 2055 secs || 77262 markings, 19968258 edges, 38 markings/sec, 2055 secs
lola: STP completed || 1 tries, 64980 fired transitions, 2060 secs || 77456 markings, 20026029 edges, 39 markings/sec, 2060 secs
lola: STP completed || 1 tries, 65139 fired transitions, 2065 secs || 77717 markings, 20083948 edges, 52 markings/sec, 2065 secs
lola: STP completed || 1 tries, 65286 fired transitions, 2070 secs || 77941 markings, 20140130 edges, 45 markings/sec, 2070 secs
lola: STP completed || 1 tries, 65445 fired transitions, 2075 secs || 78058 markings, 20193971 edges, 23 markings/sec, 2075 secs
lola: STP completed || 1 tries, 65593 fired transitions, 2080 secs || 78186 markings, 20247651 edges, 26 markings/sec, 2080 secs
lola: STP completed || 1 tries, 65737 fired transitions, 2085 secs || 78420 markings, 20302451 edges, 47 markings/sec, 2085 secs
lola: STP completed || 1 tries, 65883 fired transitions, 2090 secs || 78715 markings, 20351238 edges, 59 markings/sec, 2090 secs
lola: STP completed || 1 tries, 66025 fired transitions, 2095 secs || 78974 markings, 20407171 edges, 52 markings/sec, 2095 secs
lola: STP completed || 1 tries, 66166 fired transitions, 2100 secs || 79239 markings, 20459621 edges, 53 markings/sec, 2100 secs
lola: STP completed || 1 tries, 66305 fired transitions, 2105 secs || 79502 markings, 20513263 edges, 53 markings/sec, 2105 secs
lola: STP completed || 1 tries, 66442 fired transitions, 2110 secs || 79705 markings, 20568604 edges, 41 markings/sec, 2110 secs
lola: STP completed || 1 tries, 66589 fired transitions, 2115 secs || 79971 markings, 20622309 edges, 53 markings/sec, 2115 secs
lola: STP completed || 1 tries, 66741 fired transitions, 2120 secs || 80148 markings, 20675554 edges, 35 markings/sec, 2120 secs
lola: STP completed || 1 tries, 66893 fired transitions, 2125 secs || 80388 markings, 20729193 edges, 48 markings/sec, 2125 secs
lola: STP completed || 1 tries, 67045 fired transitions, 2130 secs || 80654 markings, 20783147 edges, 53 markings/sec, 2130 secs
lola: STP completed || 1 tries, 67182 fired transitions, 2135 secs || 80851 markings, 20835336 edges, 39 markings/sec, 2135 secs
lola: STP completed || 1 tries, 67322 fired transitions, 2140 secs || 80982 markings, 20888358 edges, 26 markings/sec, 2140 secs
lola: STP completed || 1 tries, 67476 fired transitions, 2145 secs || 81129 markings, 20941380 edges, 29 markings/sec, 2145 secs
lola: STP completed || 1 tries, 67623 fired transitions, 2150 secs || 81272 markings, 20994770 edges, 29 markings/sec, 2150 secs
lola: STP completed || 1 tries, 67770 fired transitions, 2155 secs || 81385 markings, 21047834 edges, 23 markings/sec, 2155 secs
lola: STP completed || 1 tries, 67914 fired transitions, 2160 secs || 81549 markings, 21101341 edges, 33 markings/sec, 2160 secs
lola: STP completed || 1 tries, 68060 fired transitions, 2165 secs || 81728 markings, 21155536 edges, 36 markings/sec, 2165 secs
lola: STP completed || 1 tries, 68199 fired transitions, 2170 secs || 82004 markings, 21209415 edges, 55 markings/sec, 2170 secs
lola: STP completed || 1 tries, 68346 fired transitions, 2175 secs || 82144 markings, 21261554 edges, 28 markings/sec, 2175 secs
lola: STP completed || 1 tries, 68489 fired transitions, 2180 secs || 82283 markings, 21314744 edges, 28 markings/sec, 2180 secs
lola: STP completed || 1 tries, 68639 fired transitions, 2185 secs || 82433 markings, 21367422 edges, 30 markings/sec, 2185 secs
lola: STP completed || 1 tries, 68785 fired transitions, 2190 secs || 82550 markings, 21420511 edges, 23 markings/sec, 2190 secs
lola: STP completed || 1 tries, 68931 fired transitions, 2195 secs || 82684 markings, 21473430 edges, 27 markings/sec, 2195 secs
lola: STP completed || 1 tries, 69083 fired transitions, 2200 secs || 82823 markings, 21526245 edges, 28 markings/sec, 2200 secs
lola: STP completed || 1 tries, 69224 fired transitions, 2205 secs || 83007 markings, 21579251 edges, 37 markings/sec, 2205 secs
lola: STP completed || 1 tries, 69376 fired transitions, 2210 secs || 83157 markings, 21633297 edges, 30 markings/sec, 2210 secs
lola: STP completed || 1 tries, 69526 fired transitions, 2215 secs || 83300 markings, 21686120 edges, 29 markings/sec, 2215 secs
lola: STP completed || 1 tries, 69686 fired transitions, 2220 secs || 83454 markings, 21742599 edges, 31 markings/sec, 2220 secs
lola: STP completed || 1 tries, 69842 fired transitions, 2225 secs || 83599 markings, 21799868 edges, 29 markings/sec, 2225 secs
lola: STP completed || 1 tries, 70006 fired transitions, 2230 secs || 83728 markings, 21855807 edges, 26 markings/sec, 2230 secs
lola: STP completed || 1 tries, 70168 fired transitions, 2235 secs || 83898 markings, 21913679 edges, 34 markings/sec, 2235 secs
lola: STP completed || 1 tries, 70335 fired transitions, 2240 secs || 84107 markings, 21971628 edges, 42 markings/sec, 2240 secs
lola: STP completed || 1 tries, 70506 fired transitions, 2245 secs || 84366 markings, 22029878 edges, 52 markings/sec, 2245 secs
lola: STP completed || 1 tries, 70665 fired transitions, 2250 secs || 84563 markings, 22087964 edges, 39 markings/sec, 2250 secs
lola: STP completed || 1 tries, 70831 fired transitions, 2255 secs || 84724 markings, 22145841 edges, 32 markings/sec, 2255 secs
lola: STP completed || 1 tries, 70990 fired transitions, 2260 secs || 84948 markings, 22205150 edges, 45 markings/sec, 2260 secs
lola: STP completed || 1 tries, 71151 fired transitions, 2265 secs || 85250 markings, 22263321 edges, 60 markings/sec, 2265 secs
lola: STP completed || 1 tries, 71306 fired transitions, 2270 secs || 85437 markings, 22322365 edges, 37 markings/sec, 2270 secs
lola: STP completed || 1 tries, 71459 fired transitions, 2275 secs || 85739 markings, 22381017 edges, 60 markings/sec, 2275 secs
lola: STP completed || 1 tries, 71613 fired transitions, 2280 secs || 85995 markings, 22439037 edges, 51 markings/sec, 2280 secs
lola: STP completed || 1 tries, 71775 fired transitions, 2285 secs || 86168 markings, 22496863 edges, 35 markings/sec, 2285 secs
lola: STP completed || 1 tries, 71927 fired transitions, 2290 secs || 86336 markings, 22555755 edges, 34 markings/sec, 2290 secs
lola: STP completed || 1 tries, 72078 fired transitions, 2295 secs || 86458 markings, 22613316 edges, 24 markings/sec, 2295 secs
lola: STP completed || 1 tries, 72232 fired transitions, 2300 secs || 86621 markings, 22671021 edges, 33 markings/sec, 2300 secs
lola: STP completed || 1 tries, 72385 fired transitions, 2305 secs || 86804 markings, 22729912 edges, 37 markings/sec, 2305 secs
lola: STP completed || 1 tries, 72543 fired transitions, 2310 secs || 87105 markings, 22787924 edges, 60 markings/sec, 2310 secs
lola: STP completed || 1 tries, 72693 fired transitions, 2315 secs || 87391 markings, 22846741 edges, 57 markings/sec, 2315 secs
lola: STP completed || 1 tries, 72850 fired transitions, 2320 secs || 87682 markings, 22906382 edges, 58 markings/sec, 2320 secs
lola: STP completed || 1 tries, 73009 fired transitions, 2325 secs || 87937 markings, 22965676 edges, 51 markings/sec, 2325 secs
lola: STP completed || 1 tries, 73165 fired transitions, 2330 secs || 88187 markings, 23025025 edges, 50 markings/sec, 2330 secs
lola: STP completed || 1 tries, 73323 fired transitions, 2335 secs || 88492 markings, 23082100 edges, 61 markings/sec, 2335 secs
lola: STP completed || 1 tries, 73481 fired transitions, 2340 secs || 88752 markings, 23142529 edges, 52 markings/sec, 2340 secs
lola: STP completed || 1 tries, 73643 fired transitions, 2345 secs || 89080 markings, 23201248 edges, 66 markings/sec, 2345 secs
lola: STP completed || 1 tries, 73798 fired transitions, 2350 secs || 89365 markings, 23259429 edges, 57 markings/sec, 2350 secs
lola: STP completed || 1 tries, 73952 fired transitions, 2355 secs || 89651 markings, 23319306 edges, 57 markings/sec, 2355 secs
lola: STP completed || 1 tries, 74114 fired transitions, 2360 secs || 89942 markings, 23379805 edges, 58 markings/sec, 2360 secs
lola: STP completed || 1 tries, 74267 fired transitions, 2365 secs || 90227 markings, 23440673 edges, 57 markings/sec, 2365 secs
lola: STP completed || 1 tries, 74437 fired transitions, 2370 secs || 90555 markings, 23499102 edges, 66 markings/sec, 2370 secs
lola: STP completed || 1 tries, 74601 fired transitions, 2375 secs || 90871 markings, 23558656 edges, 63 markings/sec, 2375 secs
lola: STP completed || 1 tries, 74757 fired transitions, 2380 secs || 91235 markings, 23614450 edges, 73 markings/sec, 2380 secs
lola: STP completed || 1 tries, 74909 fired transitions, 2385 secs || 91466 markings, 23672285 edges, 46 markings/sec, 2385 secs
lola: STP completed || 1 tries, 75065 fired transitions, 2390 secs || 91666 markings, 23730876 edges, 40 markings/sec, 2390 secs
lola: STP completed || 1 tries, 75219 fired transitions, 2395 secs || 91884 markings, 23790746 edges, 44 markings/sec, 2395 secs
lola: STP completed || 1 tries, 75382 fired transitions, 2400 secs || 92155 markings, 23849153 edges, 54 markings/sec, 2400 secs
lola: STP completed || 1 tries, 75544 fired transitions, 2405 secs || 92417 markings, 23906663 edges, 52 markings/sec, 2405 secs
lola: STP completed || 1 tries, 75710 fired transitions, 2410 secs || 92734 markings, 23965334 edges, 63 markings/sec, 2410 secs
lola: STP completed || 1 tries, 75865 fired transitions, 2415 secs || 93003 markings, 24024770 edges, 54 markings/sec, 2415 secs
lola: STP completed || 1 tries, 76022 fired transitions, 2420 secs || 93304 markings, 24081973 edges, 60 markings/sec, 2420 secs
lola: STP completed || 1 tries, 76177 fired transitions, 2425 secs || 93603 markings, 24141088 edges, 60 markings/sec, 2425 secs
lola: STP completed || 1 tries, 76332 fired transitions, 2430 secs || 93965 markings, 24192884 edges, 72 markings/sec, 2430 secs
lola: STP completed || 1 tries, 76500 fired transitions, 2435 secs || 94232 markings, 24253255 edges, 53 markings/sec, 2435 secs
lola: STP completed || 1 tries, 76664 fired transitions, 2440 secs || 94520 markings, 24314312 edges, 58 markings/sec, 2440 secs
lola: STP completed || 1 tries, 76825 fired transitions, 2445 secs || 94829 markings, 24374571 edges, 62 markings/sec, 2445 secs
lola: STP completed || 1 tries, 76983 fired transitions, 2450 secs || 95107 markings, 24432438 edges, 56 markings/sec, 2450 secs
lola: STP completed || 1 tries, 77151 fired transitions, 2455 secs || 95521 markings, 24484252 edges, 83 markings/sec, 2455 secs
lola: STP completed || 1 tries, 77311 fired transitions, 2460 secs || 95768 markings, 24544834 edges, 49 markings/sec, 2460 secs
lola: STP completed || 1 tries, 77474 fired transitions, 2465 secs || 96098 markings, 24603244 edges, 66 markings/sec, 2465 secs
lola: STP completed || 1 tries, 77641 fired transitions, 2470 secs || 96439 markings, 24657946 edges, 68 markings/sec, 2470 secs
lola: STP completed || 1 tries, 77803 fired transitions, 2475 secs || 96757 markings, 24716047 edges, 64 markings/sec, 2475 secs
lola: STP completed || 1 tries, 77970 fired transitions, 2480 secs || 97088 markings, 24772110 edges, 66 markings/sec, 2480 secs
lola: STP completed || 1 tries, 78129 fired transitions, 2485 secs || 97351 markings, 24829123 edges, 53 markings/sec, 2485 secs
lola: STP completed || 1 tries, 78289 fired transitions, 2490 secs || 97621 markings, 24888377 edges, 54 markings/sec, 2490 secs
lola: STP completed || 1 tries, 78446 fired transitions, 2495 secs || 97949 markings, 24947363 edges, 66 markings/sec, 2495 secs
lola: STP completed || 1 tries, 78608 fired transitions, 2500 secs || 98216 markings, 25006974 edges, 53 markings/sec, 2500 secs
lola: STP completed || 1 tries, 78768 fired transitions, 2505 secs || 98536 markings, 25065086 edges, 64 markings/sec, 2505 secs
lola: STP completed || 1 tries, 78925 fired transitions, 2510 secs || 98804 markings, 25126181 edges, 54 markings/sec, 2510 secs
lola: STP completed || 1 tries, 79091 fired transitions, 2515 secs || 99153 markings, 25181489 edges, 70 markings/sec, 2515 secs
lola: STP completed || 1 tries, 79248 fired transitions, 2520 secs || 99526 markings, 25236195 edges, 75 markings/sec, 2520 secs
lola: STP completed || 1 tries, 79407 fired transitions, 2525 secs || 99872 markings, 25292409 edges, 69 markings/sec, 2525 secs
lola: STP completed || 1 tries, 79578 fired transitions, 2530 secs || 100170 markings, 25349398 edges, 60 markings/sec, 2530 secs
lola: STP completed || 1 tries, 79737 fired transitions, 2535 secs || 100524 markings, 25405802 edges, 71 markings/sec, 2535 secs
lola: STP completed || 1 tries, 79901 fired transitions, 2540 secs || 100911 markings, 25463148 edges, 77 markings/sec, 2540 secs
lola: STP completed || 1 tries, 80062 fired transitions, 2545 secs || 101161 markings, 25522544 edges, 50 markings/sec, 2545 secs
lola: STP completed || 1 tries, 80230 fired transitions, 2550 secs || 101430 markings, 25583360 edges, 54 markings/sec, 2550 secs
lola: STP completed || 1 tries, 80399 fired transitions, 2555 secs || 101694 markings, 25645125 edges, 53 markings/sec, 2555 secs
lola: STP completed || 1 tries, 80571 fired transitions, 2560 secs || 102004 markings, 25703848 edges, 62 markings/sec, 2560 secs
lola: STP completed || 1 tries, 80730 fired transitions, 2565 secs || 102247 markings, 25762164 edges, 49 markings/sec, 2565 secs
lola: STP completed || 1 tries, 80899 fired transitions, 2570 secs || 102508 markings, 25820576 edges, 52 markings/sec, 2570 secs
lola: STP completed || 1 tries, 81062 fired transitions, 2575 secs || 102813 markings, 25879673 edges, 61 markings/sec, 2575 secs
lola: STP completed || 1 tries, 81225 fired transitions, 2580 secs || 103102 markings, 25939559 edges, 58 markings/sec, 2580 secs
lola: STP completed || 1 tries, 81384 fired transitions, 2585 secs || 103368 markings, 25993476 edges, 53 markings/sec, 2585 secs
lola: STP completed || 1 tries, 81550 fired transitions, 2590 secs || 103539 markings, 26050545 edges, 34 markings/sec, 2590 secs
lola: STP completed || 1 tries, 81710 fired transitions, 2595 secs || 103733 markings, 26108243 edges, 39 markings/sec, 2595 secs
lola: STP completed || 1 tries, 81867 fired transitions, 2600 secs || 103876 markings, 26164502 edges, 29 markings/sec, 2600 secs
lola: STP completed || 1 tries, 82007 fired transitions, 2605 secs || 104074 markings, 26217546 edges, 40 markings/sec, 2605 secs
lola: STP completed || 1 tries, 82161 fired transitions, 2610 secs || 104231 markings, 26271457 edges, 31 markings/sec, 2610 secs
lola: STP completed || 1 tries, 82305 fired transitions, 2615 secs || 104361 markings, 26325183 edges, 26 markings/sec, 2615 secs
lola: STP completed || 1 tries, 82454 fired transitions, 2620 secs || 104498 markings, 26377920 edges, 27 markings/sec, 2620 secs
lola: STP completed || 1 tries, 82597 fired transitions, 2625 secs || 104668 markings, 26432048 edges, 34 markings/sec, 2625 secs
lola: STP completed || 1 tries, 82734 fired transitions, 2630 secs || 104810 markings, 26484293 edges, 28 markings/sec, 2630 secs
lola: STP completed || 1 tries, 82878 fired transitions, 2635 secs || 104952 markings, 26537177 edges, 28 markings/sec, 2635 secs
lola: STP completed || 1 tries, 83023 fired transitions, 2640 secs || 105092 markings, 26590074 edges, 28 markings/sec, 2640 secs
lola: STP completed || 1 tries, 83166 fired transitions, 2645 secs || 105207 markings, 26642573 edges, 23 markings/sec, 2645 secs
lola: STP completed || 1 tries, 83301 fired transitions, 2650 secs || 105368 markings, 26695670 edges, 32 markings/sec, 2650 secs
lola: STP completed || 1 tries, 83444 fired transitions, 2655 secs || 105553 markings, 26749472 edges, 37 markings/sec, 2655 secs
lola: STP completed || 1 tries, 83582 fired transitions, 2660 secs || 105816 markings, 26803080 edges, 53 markings/sec, 2660 secs
lola: STP completed || 1 tries, 83724 fired transitions, 2665 secs || 106007 markings, 26857344 edges, 38 markings/sec, 2665 secs
lola: STP completed || 1 tries, 83866 fired transitions, 2670 secs || 106208 markings, 26909801 edges, 40 markings/sec, 2670 secs
lola: STP completed || 1 tries, 84010 fired transitions, 2675 secs || 106330 markings, 26962542 edges, 24 markings/sec, 2675 secs
lola: STP completed || 1 tries, 84154 fired transitions, 2680 secs || 106470 markings, 27015907 edges, 28 markings/sec, 2680 secs
lola: STP completed || 1 tries, 84295 fired transitions, 2685 secs || 106584 markings, 27068366 edges, 23 markings/sec, 2685 secs
lola: STP completed || 1 tries, 84436 fired transitions, 2690 secs || 106748 markings, 27121918 edges, 33 markings/sec, 2690 secs
lola: STP completed || 1 tries, 84577 fired transitions, 2695 secs || 106922 markings, 27175836 edges, 35 markings/sec, 2695 secs
lola: STP completed || 1 tries, 84721 fired transitions, 2700 secs || 107189 markings, 27229504 edges, 53 markings/sec, 2700 secs
lola: STP completed || 1 tries, 84861 fired transitions, 2705 secs || 107314 markings, 27281990 edges, 25 markings/sec, 2705 secs
lola: STP completed || 1 tries, 85005 fired transitions, 2710 secs || 107463 markings, 27335200 edges, 30 markings/sec, 2710 secs
lola: STP completed || 1 tries, 85146 fired transitions, 2715 secs || 107658 markings, 27389525 edges, 39 markings/sec, 2715 secs
lola: STP completed || 1 tries, 85287 fired transitions, 2720 secs || 107903 markings, 27444299 edges, 49 markings/sec, 2720 secs
lola: STP completed || 1 tries, 85440 fired transitions, 2725 secs || 108149 markings, 27499434 edges, 49 markings/sec, 2725 secs
lola: STP completed || 1 tries, 85585 fired transitions, 2730 secs || 108317 markings, 27552259 edges, 34 markings/sec, 2730 secs
lola: STP completed || 1 tries, 85734 fired transitions, 2735 secs || 108459 markings, 27604605 edges, 28 markings/sec, 2735 secs
lola: STP completed || 1 tries, 85886 fired transitions, 2740 secs || 108640 markings, 27658624 edges, 36 markings/sec, 2740 secs
lola: STP completed || 1 tries, 86028 fired transitions, 2745 secs || 108796 markings, 27711693 edges, 31 markings/sec, 2745 secs
lola: STP completed || 1 tries, 86175 fired transitions, 2750 secs || 108920 markings, 27763432 edges, 25 markings/sec, 2750 secs
lola: STP completed || 1 tries, 86321 fired transitions, 2755 secs || 109067 markings, 27816882 edges, 29 markings/sec, 2755 secs
lola: STP completed || 1 tries, 86469 fired transitions, 2760 secs || 109205 markings, 27870081 edges, 28 markings/sec, 2760 secs
lola: STP completed || 1 tries, 86619 fired transitions, 2765 secs || 109322 markings, 27922109 edges, 23 markings/sec, 2765 secs
lola: STP completed || 1 tries, 86769 fired transitions, 2770 secs || 109468 markings, 27976137 edges, 29 markings/sec, 2770 secs
lola: STP completed || 1 tries, 86908 fired transitions, 2775 secs || 109603 markings, 28028470 edges, 27 markings/sec, 2775 secs
lola: STP completed || 1 tries, 87048 fired transitions, 2780 secs || 109750 markings, 28081715 edges, 29 markings/sec, 2780 secs
lola: STP completed || 1 tries, 87195 fired transitions, 2785 secs || 109890 markings, 28136389 edges, 28 markings/sec, 2785 secs
lola: STP completed || 1 tries, 87354 fired transitions, 2790 secs || 110041 markings, 28192951 edges, 30 markings/sec, 2790 secs
lola: STP completed || 1 tries, 87516 fired transitions, 2795 secs || 110305 markings, 28251618 edges, 53 markings/sec, 2795 secs
lola: STP completed || 1 tries, 87669 fired transitions, 2800 secs || 110532 markings, 28311056 edges, 45 markings/sec, 2800 secs
lola: STP completed || 1 tries, 87829 fired transitions, 2805 secs || 110775 markings, 28367759 edges, 49 markings/sec, 2805 secs
lola: STP completed || 1 tries, 87992 fired transitions, 2810 secs || 110919 markings, 28425038 edges, 29 markings/sec, 2810 secs
lola: STP completed || 1 tries, 88145 fired transitions, 2815 secs || 111067 markings, 28482192 edges, 30 markings/sec, 2815 secs
lola: STP completed || 1 tries, 88303 fired transitions, 2820 secs || 111192 markings, 28537904 edges, 25 markings/sec, 2820 secs
lola: STP completed || 1 tries, 88454 fired transitions, 2825 secs || 111361 markings, 28596193 edges, 34 markings/sec, 2825 secs
lola: STP completed || 1 tries, 88611 fired transitions, 2830 secs || 111556 markings, 28653874 edges, 39 markings/sec, 2830 secs
lola: STP completed || 1 tries, 88769 fired transitions, 2835 secs || 111829 markings, 28711928 edges, 55 markings/sec, 2835 secs
lola: STP completed || 1 tries, 88931 fired transitions, 2840 secs || 111954 markings, 28768434 edges, 25 markings/sec, 2840 secs
lola: STP completed || 1 tries, 89095 fired transitions, 2845 secs || 112110 markings, 28825827 edges, 31 markings/sec, 2845 secs
lola: STP completed || 1 tries, 89259 fired transitions, 2850 secs || 112278 markings, 28883350 edges, 34 markings/sec, 2850 secs
lola: STP completed || 1 tries, 89430 fired transitions, 2855 secs || 112502 markings, 28939482 edges, 45 markings/sec, 2855 secs
lola: STP completed || 1 tries, 89600 fired transitions, 2860 secs || 112721 markings, 28997223 edges, 44 markings/sec, 2860 secs
lola: STP completed || 1 tries, 89761 fired transitions, 2865 secs || 112999 markings, 29055381 edges, 56 markings/sec, 2865 secs
lola: STP completed || 1 tries, 89928 fired transitions, 2870 secs || 113176 markings, 29112510 edges, 35 markings/sec, 2870 secs
lola: STP completed || 1 tries, 90092 fired transitions, 2875 secs || 113415 markings, 29171109 edges, 48 markings/sec, 2875 secs
lola: STP completed || 1 tries, 90251 fired transitions, 2880 secs || 113736 markings, 29228617 edges, 64 markings/sec, 2880 secs
lola: STP completed || 1 tries, 90409 fired transitions, 2885 secs || 113903 markings, 29286071 edges, 33 markings/sec, 2885 secs
lola: STP completed || 1 tries, 90566 fired transitions, 2890 secs || 114115 markings, 29345927 edges, 42 markings/sec, 2890 secs
lola: STP completed || 1 tries, 90720 fired transitions, 2895 secs || 114343 markings, 29403004 edges, 46 markings/sec, 2895 secs
lola: STP completed || 1 tries, 90878 fired transitions, 2900 secs || 114467 markings, 29459719 edges, 25 markings/sec, 2900 secs
lola: STP completed || 1 tries, 91035 fired transitions, 2905 secs || 114691 markings, 29519105 edges, 45 markings/sec, 2905 secs
lola: STP completed || 1 tries, 91195 fired transitions, 2910 secs || 114916 markings, 29578811 edges, 45 markings/sec, 2910 secs
lola: STP completed || 1 tries, 91357 fired transitions, 2915 secs || 115077 markings, 29636206 edges, 32 markings/sec, 2915 secs
lola: STP completed || 1 tries, 91513 fired transitions, 2920 secs || 115272 markings, 29694914 edges, 39 markings/sec, 2920 secs
lola: STP completed || 1 tries, 91670 fired transitions, 2925 secs || 115432 markings, 29751282 edges, 32 markings/sec, 2925 secs
lola: STP completed || 1 tries, 91840 fired transitions, 2930 secs || 115640 markings, 29809884 edges, 42 markings/sec, 2930 secs
lola: STP completed || 1 tries, 92003 fired transitions, 2935 secs || 115806 markings, 29867801 edges, 33 markings/sec, 2935 secs
lola: STP completed || 1 tries, 92166 fired transitions, 2940 secs || 115952 markings, 29925647 edges, 29 markings/sec, 2940 secs
lola: STP completed || 1 tries, 92320 fired transitions, 2945 secs || 116123 markings, 29984336 edges, 34 markings/sec, 2945 secs
lola: STP completed || 1 tries, 92476 fired transitions, 2950 secs || 116273 markings, 30041508 edges, 30 markings/sec, 2950 secs
lola: STP completed || 1 tries, 92636 fired transitions, 2955 secs || 116446 markings, 30099836 edges, 35 markings/sec, 2955 secs
lola: STP completed || 1 tries, 92798 fired transitions, 2960 secs || 116575 markings, 30156755 edges, 26 markings/sec, 2960 secs
lola: STP completed || 1 tries, 92954 fired transitions, 2965 secs || 116730 markings, 30214127 edges, 31 markings/sec, 2965 secs
lola: STP completed || 1 tries, 93119 fired transitions, 2970 secs || 116878 markings, 30271701 edges, 30 markings/sec, 2970 secs
lola: STP completed || 1 tries, 93272 fired transitions, 2975 secs || 117057 markings, 30330509 edges, 36 markings/sec, 2975 secs
lola: STP completed || 1 tries, 93434 fired transitions, 2980 secs || 117346 markings, 30388997 edges, 58 markings/sec, 2980 secs
lola: STP completed || 1 tries, 93596 fired transitions, 2985 secs || 117570 markings, 30448246 edges, 45 markings/sec, 2985 secs
lola: STP completed || 1 tries, 93750 fired transitions, 2990 secs || 117783 markings, 30505639 edges, 43 markings/sec, 2990 secs
lola: STP completed || 1 tries, 93922 fired transitions, 2995 secs || 117913 markings, 30563881 edges, 26 markings/sec, 2995 secs
lola: STP completed || 1 tries, 94082 fired transitions, 3000 secs || 118070 markings, 30621944 edges, 31 markings/sec, 3000 secs
lola: STP completed || 1 tries, 94239 fired transitions, 3005 secs || 118215 markings, 30679155 edges, 29 markings/sec, 3005 secs
lola: STP completed || 1 tries, 94400 fired transitions, 3010 secs || 118370 markings, 30736386 edges, 31 markings/sec, 3010 secs
lola: STP completed || 1 tries, 94566 fired transitions, 3015 secs || 118638 markings, 30796409 edges, 54 markings/sec, 3015 secs
lola: STP completed || 1 tries, 94739 fired transitions, 3020 secs || 118836 markings, 30854456 edges, 40 markings/sec, 3020 secs
lola: STP completed || 1 tries, 94904 fired transitions, 3025 secs || 118987 markings, 30911725 edges, 30 markings/sec, 3025 secs
lola: STP completed || 1 tries, 95059 fired transitions, 3030 secs || 119153 markings, 30970422 edges, 33 markings/sec, 3030 secs
lola: STP completed || 1 tries, 95226 fired transitions, 3035 secs || 119312 markings, 31028250 edges, 32 markings/sec, 3035 secs
lola: STP completed || 1 tries, 95387 fired transitions, 3040 secs || 119587 markings, 31085433 edges, 55 markings/sec, 3040 secs
lola: STP completed || 1 tries, 95551 fired transitions, 3045 secs || 119792 markings, 31144110 edges, 41 markings/sec, 3045 secs
lola: STP completed || 1 tries, 95710 fired transitions, 3050 secs || 120063 markings, 31201532 edges, 54 markings/sec, 3050 secs
lola: STP completed || 1 tries, 95871 fired transitions, 3055 secs || 120223 markings, 31259353 edges, 32 markings/sec, 3055 secs
lola: STP completed || 1 tries, 96038 fired transitions, 3060 secs || 120394 markings, 31319812 edges, 34 markings/sec, 3060 secs
lola: STP completed || 1 tries, 96199 fired transitions, 3065 secs || 120538 markings, 31376315 edges, 29 markings/sec, 3065 secs
lola: STP completed || 1 tries, 96373 fired transitions, 3070 secs || 120669 markings, 31434819 edges, 26 markings/sec, 3070 secs
lola: STP completed || 1 tries, 96534 fired transitions, 3075 secs || 120957 markings, 31494493 edges, 58 markings/sec, 3075 secs
lola: STP completed || 1 tries, 96695 fired transitions, 3080 secs || 121247 markings, 31554759 edges, 58 markings/sec, 3080 secs
lola: STP completed || 1 tries, 96866 fired transitions, 3085 secs || 121445 markings, 31613021 edges, 40 markings/sec, 3085 secs
lola: STP completed || 1 tries, 97034 fired transitions, 3090 secs || 121566 markings, 31670014 edges, 24 markings/sec, 3090 secs
lola: STP completed || 1 tries, 97189 fired transitions, 3095 secs || 121740 markings, 31727628 edges, 35 markings/sec, 3095 secs
lola: STP completed || 1 tries, 97362 fired transitions, 3100 secs || 121891 markings, 31784028 edges, 30 markings/sec, 3100 secs
lola: STP completed || 1 tries, 97523 fired transitions, 3105 secs || 122121 markings, 31842443 edges, 46 markings/sec, 3105 secs
lola: STP completed || 1 tries, 97690 fired transitions, 3110 secs || 122410 markings, 31901501 edges, 58 markings/sec, 3110 secs
lola: STP completed || 1 tries, 97851 fired transitions, 3115 secs || 122701 markings, 31957906 edges, 58 markings/sec, 3115 secs
lola: STP completed || 1 tries, 98019 fired transitions, 3120 secs || 122874 markings, 32015176 edges, 35 markings/sec, 3120 secs
lola: STP completed || 1 tries, 98174 fired transitions, 3125 secs || 122994 markings, 32072334 edges, 24 markings/sec, 3125 secs
lola: STP completed || 1 tries, 98330 fired transitions, 3130 secs || 123211 markings, 32127958 edges, 43 markings/sec, 3130 secs
lola: STP completed || 1 tries, 98474 fired transitions, 3135 secs || 123469 markings, 32181027 edges, 52 markings/sec, 3135 secs
lola: STP completed || 1 tries, 98615 fired transitions, 3140 secs || 123725 markings, 32234967 edges, 51 markings/sec, 3140 secs
lola: STP completed || 1 tries, 98779 fired transitions, 3145 secs || 123997 markings, 32294772 edges, 54 markings/sec, 3145 secs
lola: STP completed || 1 tries, 98941 fired transitions, 3150 secs || 124283 markings, 32352977 edges, 57 markings/sec, 3150 secs
lola: STP completed || 1 tries, 99104 fired transitions, 3155 secs || 124598 markings, 32410185 edges, 63 markings/sec, 3155 secs
lola: STP completed || 1 tries, 99263 fired transitions, 3160 secs || 124916 markings, 32467243 edges, 64 markings/sec, 3160 secs
lola: STP completed || 1 tries, 99431 fired transitions, 3165 secs || 125184 markings, 32526126 edges, 54 markings/sec, 3165 secs
lola: STP completed || 1 tries, 99585 fired transitions, 3170 secs || 125456 markings, 32585909 edges, 54 markings/sec, 3170 secs
lola: STP completed || 1 tries, 99748 fired transitions, 3175 secs || 125706 markings, 32645142 edges, 50 markings/sec, 3175 secs
lola: STP completed || 1 tries, 99904 fired transitions, 3180 secs || 125976 markings, 32704787 edges, 54 markings/sec, 3180 secs
lola: STP completed || 1 tries, 100070 fired transitions, 3185 secs || 126163 markings, 32762680 edges, 37 markings/sec, 3185 secs
lola: STP completed || 1 tries, 100232 fired transitions, 3190 secs || 126462 markings, 32821076 edges, 60 markings/sec, 3190 secs
lola: STP completed || 1 tries, 100400 fired transitions, 3195 secs || 126804 markings, 32876897 edges, 68 markings/sec, 3195 secs
lola: STP completed || 1 tries, 100566 fired transitions, 3200 secs || 127057 markings, 32936336 edges, 51 markings/sec, 3200 secs
lola: STP completed || 1 tries, 100725 fired transitions, 3205 secs || 127332 markings, 32995212 edges, 55 markings/sec, 3205 secs
lola: STP completed || 1 tries, 100880 fired transitions, 3210 secs || 127568 markings, 33050266 edges, 47 markings/sec, 3210 secs
lola: STP completed || 1 tries, 101043 fired transitions, 3215 secs || 127904 markings, 33106722 edges, 67 markings/sec, 3215 secs
lola: STP completed || 1 tries, 101215 fired transitions, 3220 secs || 128136 markings, 33166032 edges, 46 markings/sec, 3220 secs
lola: STP completed || 1 tries, 101379 fired transitions, 3225 secs || 128295 markings, 33222315 edges, 32 markings/sec, 3225 secs
lola: STP completed || 1 tries, 101535 fired transitions, 3230 secs || 128453 markings, 33279300 edges, 32 markings/sec, 3230 secs
lola: STP completed || 1 tries, 101695 fired transitions, 3235 secs || 128603 markings, 33336525 edges, 30 markings/sec, 3235 secs
lola: STP completed || 1 tries, 101856 fired transitions, 3240 secs || 128727 markings, 33393612 edges, 25 markings/sec, 3240 secs
lola: STP completed || 1 tries, 102016 fired transitions, 3245 secs || 128880 markings, 33450680 edges, 31 markings/sec, 3245 secs
lola: STP completed || 1 tries, 102175 fired transitions, 3250 secs || 129028 markings, 33507793 edges, 30 markings/sec, 3250 secs
lola: STP completed || 1 tries, 102342 fired transitions, 3255 secs || 129181 markings, 33564970 edges, 31 markings/sec, 3255 secs
lola: STP completed || 1 tries, 102500 fired transitions, 3260 secs || 129339 markings, 33622429 edges, 32 markings/sec, 3260 secs
lola: STP completed || 1 tries, 102670 fired transitions, 3265 secs || 129485 markings, 33679782 edges, 29 markings/sec, 3265 secs
lola: STP completed || 1 tries, 102841 fired transitions, 3270 secs || 129636 markings, 33737165 edges, 30 markings/sec, 3270 secs
lola: STP completed || 1 tries, 103011 fired transitions, 3275 secs || 129838 markings, 33795668 edges, 40 markings/sec, 3275 secs
lola: STP completed || 1 tries, 103171 fired transitions, 3280 secs || 130004 markings, 33852501 edges, 33 markings/sec, 3280 secs
lola: STP completed || 1 tries, 103332 fired transitions, 3285 secs || 130196 markings, 33910611 edges, 38 markings/sec, 3285 secs
lola: STP completed || 1 tries, 103495 fired transitions, 3290 secs || 130415 markings, 33969010 edges, 44 markings/sec, 3290 secs
lola: STP completed || 1 tries, 103656 fired transitions, 3295 secs || 130632 markings, 34027750 edges, 43 markings/sec, 3295 secs
lola: STP completed || 1 tries, 103812 fired transitions, 3300 secs || 130849 markings, 34083377 edges, 43 markings/sec, 3300 secs
lola: STP completed || 1 tries, 103972 fired transitions, 3305 secs || 131000 markings, 34140331 edges, 30 markings/sec, 3305 secs
lola: STP completed || 1 tries, 104136 fired transitions, 3310 secs || 131148 markings, 34197177 edges, 30 markings/sec, 3310 secs
lola: STP completed || 1 tries, 104302 fired transitions, 3315 secs || 131274 markings, 34253802 edges, 25 markings/sec, 3315 secs
lola: STP completed || 1 tries, 104466 fired transitions, 3320 secs || 131425 markings, 34310969 edges, 30 markings/sec, 3320 secs
lola: STP completed || 1 tries, 104638 fired transitions, 3325 secs || 131575 markings, 34367488 edges, 30 markings/sec, 3325 secs
lola: STP completed || 1 tries, 104798 fired transitions, 3330 secs || 131790 markings, 34426143 edges, 43 markings/sec, 3330 secs
lola: STP completed || 1 tries, 104961 fired transitions, 3335 secs || 131988 markings, 34484337 edges, 40 markings/sec, 3335 secs
lola: STP completed || 1 tries, 105124 fired transitions, 3340 secs || 132278 markings, 34541862 edges, 58 markings/sec, 3340 secs
lola: STP completed || 1 tries, 105290 fired transitions, 3345 secs || 132401 markings, 34598511 edges, 25 markings/sec, 3345 secs
lola: STP completed || 1 tries, 105458 fired transitions, 3350 secs || 132588 markings, 34656989 edges, 37 markings/sec, 3350 secs
lola: STP completed || 1 tries, 105628 fired transitions, 3355 secs || 132886 markings, 34714178 edges, 60 markings/sec, 3355 secs
lola: STP completed || 1 tries, 105790 fired transitions, 3360 secs || 133144 markings, 34770981 edges, 52 markings/sec, 3360 secs
lola: STP completed || 1 tries, 105948 fired transitions, 3365 secs || 133280 markings, 34829451 edges, 27 markings/sec, 3365 secs
lola: STP completed || 1 tries, 106109 fired transitions, 3370 secs || 133473 markings, 34888198 edges, 39 markings/sec, 3370 secs
lola: STP completed || 1 tries, 106261 fired transitions, 3375 secs || 133723 markings, 34944783 edges, 50 markings/sec, 3375 secs
lola: STP completed || 1 tries, 106419 fired transitions, 3380 secs || 133947 markings, 35002096 edges, 45 markings/sec, 3380 secs
lola: STP completed || 1 tries, 106583 fired transitions, 3385 secs || 134102 markings, 35059332 edges, 31 markings/sec, 3385 secs
lola: STP completed || 1 tries, 106744 fired transitions, 3390 secs || 134384 markings, 35119138 edges, 56 markings/sec, 3390 secs
lola: STP completed || 1 tries, 106905 fired transitions, 3395 secs || 134659 markings, 35177715 edges, 55 markings/sec, 3395 secs
lola: STP completed || 1 tries, 107062 fired transitions, 3400 secs || 134921 markings, 35235861 edges, 52 markings/sec, 3400 secs
lola: STP completed || 1 tries, 107218 fired transitions, 3405 secs || 135165 markings, 35293534 edges, 49 markings/sec, 3405 secs
lola: STP completed || 1 tries, 107375 fired transitions, 3410 secs || 135353 markings, 35351333 edges, 38 markings/sec, 3410 secs
lola: STP completed || 1 tries, 107529 fired transitions, 3415 secs || 135491 markings, 35405469 edges, 28 markings/sec, 3415 secs
lola: STP completed || 1 tries, 107677 fired transitions, 3420 secs || 135612 markings, 35456253 edges, 24 markings/sec, 3420 secs
lola: STP completed || 1 tries, 107831 fired transitions, 3425 secs || 135759 markings, 35509560 edges, 29 markings/sec, 3425 secs
lola: STP completed || 1 tries, 107983 fired transitions, 3430 secs || 135894 markings, 35563124 edges, 27 markings/sec, 3430 secs
lola: STP completed || 1 tries, 108150 fired transitions, 3435 secs || 136045 markings, 35618902 edges, 30 markings/sec, 3435 secs
lola: STP completed || 1 tries, 108315 fired transitions, 3440 secs || 136291 markings, 35677574 edges, 49 markings/sec, 3440 secs
lola: STP completed || 1 tries, 108494 fired transitions, 3445 secs || 136514 markings, 35734301 edges, 45 markings/sec, 3445 secs
lola: STP completed || 1 tries, 108659 fired transitions, 3450 secs || 136682 markings, 35790305 edges, 34 markings/sec, 3450 secs
lola: STP completed || 1 tries, 108821 fired transitions, 3455 secs || 136819 markings, 35847059 edges, 27 markings/sec, 3455 secs
lola: STP completed || 1 tries, 108985 fired transitions, 3460 secs || 136953 markings, 35902131 edges, 27 markings/sec, 3460 secs
lola: STP completed || 1 tries, 109143 fired transitions, 3465 secs || 137104 markings, 35958654 edges, 30 markings/sec, 3465 secs
lola: STP completed || 1 tries, 109315 fired transitions, 3470 secs || 137249 markings, 36015311 edges, 29 markings/sec, 3470 secs
lola: STP completed || 1 tries, 109479 fired transitions, 3475 secs || 137415 markings, 36071340 edges, 33 markings/sec, 3475 secs
lola: STP completed || 1 tries, 109637 fired transitions, 3480 secs || 137647 markings, 36129056 edges, 46 markings/sec, 3480 secs
lola: STP completed || 1 tries, 109798 fired transitions, 3485 secs || 137766 markings, 36185198 edges, 24 markings/sec, 3485 secs
lola: STP completed || 1 tries, 109964 fired transitions, 3490 secs || 137924 markings, 36241560 edges, 32 markings/sec, 3490 secs
lola: STP completed || 1 tries, 110123 fired transitions, 3495 secs || 138152 markings, 36296142 edges, 46 markings/sec, 3495 secs
lola: STP completed || 1 tries, 110301 fired transitions, 3500 secs || 138273 markings, 36351687 edges, 24 markings/sec, 3500 secs
lola: STP completed || 1 tries, 110463 fired transitions, 3505 secs || 138430 markings, 36408628 edges, 31 markings/sec, 3505 secs
lola: STP completed || 1 tries, 110624 fired transitions, 3510 secs || 138703 markings, 36466462 edges, 55 markings/sec, 3510 secs
lola: STP completed || 1 tries, 110788 fired transitions, 3515 secs || 138989 markings, 36523856 edges, 57 markings/sec, 3515 secs
lola: STP completed || 1 tries, 110950 fired transitions, 3520 secs || 139271 markings, 36582468 edges, 56 markings/sec, 3520 secs
lola: STP completed || 1 tries, 111107 fired transitions, 3525 secs || 139488 markings, 36637038 edges, 43 markings/sec, 3525 secs
lola: STP completed || 1 tries, 111266 fired transitions, 3530 secs || 139639 markings, 36693206 edges, 30 markings/sec, 3530 secs
lola: STP completed || 1 tries, 111423 fired transitions, 3535 secs || 139782 markings, 36749922 edges, 29 markings/sec, 3535 secs
lola: STP completed || 1 tries, 111587 fired transitions, 3540 secs || 139908 markings, 36805296 edges, 25 markings/sec, 3540 secs
lola: STP completed || 1 tries, 111751 fired transitions, 3545 secs || 140059 markings, 36862419 edges, 30 markings/sec, 3545 secs
lola: STP completed || 1 tries, 111921 fired transitions, 3550 secs || 140207 markings, 36918429 edges, 30 markings/sec, 3550 secs
lola: STP completed || 1 tries, 112089 fired transitions, 3555 secs || 140357 markings, 36975652 edges, 30 markings/sec, 3555 secs
lola: STP completed || 1 tries, 112252 fired transitions, 3560 secs || 140512 markings, 37032471 edges, 31 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 1565716 KB
lola: time consumption: 3569 seconds
BK_STOP 1528166027764
--------------------
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="DLCflexbar-PT-8a"
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/DLCflexbar-PT-8a.tgz
mv DLCflexbar-PT-8a 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 DLCflexbar-PT-8a, 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 r268-smll-152749145800476"
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 ;