fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r268-smll-152749145700440
Last Updated
June 26, 2018

About the Execution of LoLA for DLCflexbar-PT-6a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1519.140 3569689.00 7357936.00 7351.30 [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 4.4M
-rw-r--r-- 1 mcc users 3.6K May 30 00:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 30 00:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 28 21:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 28 21:28 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.5K May 28 09:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 09:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 28 07:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.9K May 28 07:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.3K May 27 12:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 27 12:25 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 2.6K May 26 14:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 26 14:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 4.2M May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCflexbar-PT-6a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-152749145700440

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

--------------------
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-6a-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1528131226756

info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCflexbar-PT-6a 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-6a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DLCflexbar-PT-6a @ 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: 18146/65536 symbol table entries, 6487 collisions
lola: preprocessing...
lola: Size of bit vector: 2069
lola: finding significant places
lola: 2069 places, 16077 transitions, 577 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 14110 transition conflict sets
lola: TASK
lola: reading formula from DLCflexbar-PT-6a-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 231762 variables and 1011269 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 578 fired transitions, 0 secs
lola: 753 generators; 2114679 candidates remain ( 0%), 0 secs
lola: STP completed || 1 tries, 1113 fired transitions, 5 secs
lola: 917 generators; 2086061 candidates remain ( 0%), 5 secs
lola: STP completed || 1 tries, 1582 fired transitions, 10 secs
lola: 1153 generators; 2061542 candidates remain ( 0%), 10 secs
lola: STP completed || 1 tries, 2089 fired transitions, 15 secs
lola: 1382 generators; 2013167 candidates remain ( 0%), 15 secs
lola: STP completed || 1 tries, 2559 fired transitions, 20 secs
lola: 1600 generators; 1989086 candidates remain ( 0%), 20 secs
lola: STP completed || 1 tries, 3079 fired transitions, 25 secs
lola: 1682 generators; 1912134 candidates remain ( 0%), 25 secs
lola: STP completed || 1 tries, 3586 fired transitions, 30 secs
lola: 1829 generators; 1825076 candidates remain ( 0%), 30 secs
lola: STP completed || 1 tries, 4109 fired transitions, 35 secs
lola: 1901 generators; 1802285 candidates remain ( 0%), 35 secs
lola: STP completed || 1 tries, 4609 fired transitions, 40 secs
lola: 2111 generators; 1760873 candidates remain ( 0%), 40 secs
lola: STP completed || 1 tries, 5126 fired transitions, 45 secs
lola: 2359 generators; 1734760 candidates remain ( 0%), 45 secs
lola: STP completed || 1 tries, 5650 fired transitions, 50 secs
lola: 2667 generators; 1706978 candidates remain ( 0%), 50 secs
lola: STP completed || 1 tries, 6185 fired transitions, 55 secs
lola: 2904 generators; 1682922 candidates remain ( 0%), 55 secs
lola: STP completed || 1 tries, 6690 fired transitions, 60 secs
lola: 3243 generators; 1655556 candidates remain ( 0%), 60 secs
lola: STP completed || 1 tries, 7209 fired transitions, 65 secs
lola: 3613 generators; 1606630 candidates remain ( 0%), 65 secs
lola: STP completed || 1 tries, 7690 fired transitions, 70 secs
lola: 3717 generators; 1581772 candidates remain ( 0%), 70 secs
lola: STP completed || 1 tries, 8253 fired transitions, 75 secs
lola: 4143 generators; 1532301 candidates remain ( 0%), 75 secs
lola: STP completed || 1 tries, 8787 fired transitions, 80 secs
lola: 4405 generators; 1506181 candidates remain ( 0%), 80 secs
lola: STP completed || 1 tries, 9288 fired transitions, 85 secs
lola: 4529 generators; 1482010 candidates remain ( 0%), 85 secs
lola: STP completed || 1 tries, 9797 fired transitions, 90 secs
lola: 4831 generators; 1445991 candidates remain ( 0%), 90 secs
lola: STP completed || 1 tries, 10314 fired transitions, 95 secs
lola: 5006 generators; 1410548 candidates remain ( 0%), 95 secs
lola: STP completed || 1 tries, 10821 fired transitions, 100 secs
lola: 5196 generators; 1375481 candidates remain ( 0%), 100 secs
lola: STP completed || 1 tries, 11322 fired transitions, 105 secs
lola: 5368 generators; 1352314 candidates remain ( 0%), 105 secs
lola: STP completed || 1 tries, 11805 fired transitions, 110 secs
lola: 5539 generators; 1317965 candidates remain ( 0%), 110 secs
lola: STP completed || 1 tries, 12291 fired transitions, 115 secs
lola: 5587 generators; 1296956 candidates remain ( 0%), 115 secs
lola: STP completed || 1 tries, 12799 fired transitions, 120 secs
lola: 5726 generators; 1261734 candidates remain ( 0%), 120 secs
lola: STP completed || 1 tries, 13323 fired transitions, 125 secs
lola: 5824 generators; 1233250 candidates remain ( 0%), 125 secs
lola: STP completed || 1 tries, 13845 fired transitions, 130 secs
lola: 5875 generators; 1192758 candidates remain ( 0%), 130 secs
lola: STP completed || 1 tries, 14342 fired transitions, 135 secs
lola: 5908 generators; 1159010 candidates remain ( 0%), 135 secs
lola: STP completed || 1 tries, 14861 fired transitions, 140 secs
lola: 5928 generators; 2 candidates remain (99%), 140 secs
lola: computed 5930 generators (184 in search tree, 5746 by composition)
lola: representing 2.58478E+156 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 15389 fired transitions, 145 secs || 2711 markings, 81090 edges, 542 markings/sec, 145 secs
lola: STP completed || 1 tries, 15912 fired transitions, 150 secs || 3337 markings, 189700 edges, 125 markings/sec, 150 secs
lola: STP completed || 1 tries, 16442 fired transitions, 155 secs || 4056 markings, 298604 edges, 144 markings/sec, 155 secs
lola: STP completed || 1 tries, 16968 fired transitions, 160 secs || 4776 markings, 407094 edges, 144 markings/sec, 160 secs
lola: STP completed || 1 tries, 17518 fired transitions, 165 secs || 5400 markings, 515505 edges, 125 markings/sec, 165 secs
lola: STP completed || 1 tries, 18061 fired transitions, 170 secs || 6307 markings, 624561 edges, 181 markings/sec, 170 secs
lola: STP completed || 1 tries, 18600 fired transitions, 175 secs || 6924 markings, 732275 edges, 123 markings/sec, 175 secs
lola: STP completed || 1 tries, 19137 fired transitions, 180 secs || 7797 markings, 843828 edges, 175 markings/sec, 180 secs
lola: STP completed || 1 tries, 19669 fired transitions, 185 secs || 8598 markings, 953980 edges, 160 markings/sec, 185 secs
lola: STP completed || 1 tries, 20174 fired transitions, 190 secs || 9584 markings, 1066653 edges, 197 markings/sec, 190 secs
lola: STP completed || 1 tries, 20710 fired transitions, 195 secs || 10635 markings, 1179926 edges, 210 markings/sec, 195 secs
lola: STP completed || 1 tries, 21245 fired transitions, 200 secs || 11421 markings, 1288049 edges, 157 markings/sec, 200 secs
lola: STP completed || 1 tries, 21792 fired transitions, 205 secs || 12032 markings, 1395705 edges, 122 markings/sec, 205 secs
lola: STP completed || 1 tries, 22320 fired transitions, 210 secs || 12809 markings, 1506012 edges, 155 markings/sec, 210 secs
lola: STP completed || 1 tries, 22845 fired transitions, 215 secs || 13661 markings, 1614074 edges, 170 markings/sec, 215 secs
lola: STP completed || 1 tries, 23379 fired transitions, 220 secs || 14265 markings, 1722158 edges, 121 markings/sec, 220 secs
lola: STP completed || 1 tries, 23894 fired transitions, 225 secs || 14873 markings, 1829865 edges, 122 markings/sec, 225 secs
lola: STP completed || 1 tries, 24419 fired transitions, 230 secs || 15794 markings, 1942602 edges, 184 markings/sec, 230 secs
lola: STP completed || 1 tries, 24962 fired transitions, 235 secs || 16473 markings, 2051796 edges, 136 markings/sec, 235 secs
lola: STP completed || 1 tries, 25510 fired transitions, 240 secs || 17315 markings, 2161019 edges, 168 markings/sec, 240 secs
lola: STP completed || 1 tries, 26040 fired transitions, 245 secs || 18330 markings, 2270806 edges, 203 markings/sec, 245 secs
lola: STP completed || 1 tries, 26570 fired transitions, 250 secs || 19308 markings, 2383633 edges, 196 markings/sec, 250 secs
lola: STP completed || 1 tries, 27108 fired transitions, 255 secs || 20075 markings, 2492406 edges, 153 markings/sec, 255 secs
lola: STP completed || 1 tries, 27621 fired transitions, 260 secs || 20712 markings, 2599958 edges, 127 markings/sec, 260 secs
lola: STP completed || 1 tries, 28164 fired transitions, 265 secs || 21505 markings, 2709897 edges, 159 markings/sec, 265 secs
lola: STP completed || 1 tries, 28707 fired transitions, 270 secs || 22122 markings, 2817883 edges, 123 markings/sec, 270 secs
lola: STP completed || 1 tries, 29228 fired transitions, 275 secs || 22879 markings, 2926994 edges, 151 markings/sec, 275 secs
lola: STP completed || 1 tries, 29729 fired transitions, 280 secs || 23716 markings, 3037438 edges, 167 markings/sec, 280 secs
lola: STP completed || 1 tries, 30261 fired transitions, 285 secs || 24370 markings, 3144450 edges, 131 markings/sec, 285 secs
lola: STP completed || 1 tries, 30790 fired transitions, 290 secs || 25117 markings, 3253146 edges, 149 markings/sec, 290 secs
lola: STP completed || 1 tries, 31313 fired transitions, 295 secs || 25956 markings, 3363901 edges, 168 markings/sec, 295 secs
lola: STP completed || 1 tries, 31858 fired transitions, 300 secs || 26918 markings, 3478098 edges, 192 markings/sec, 300 secs
lola: STP completed || 1 tries, 32387 fired transitions, 305 secs || 27910 markings, 3589280 edges, 198 markings/sec, 305 secs
lola: STP completed || 1 tries, 32936 fired transitions, 310 secs || 28945 markings, 3703607 edges, 207 markings/sec, 310 secs
lola: STP completed || 1 tries, 33480 fired transitions, 315 secs || 30043 markings, 3817016 edges, 220 markings/sec, 315 secs
lola: STP completed || 1 tries, 34018 fired transitions, 320 secs || 31070 markings, 3928733 edges, 205 markings/sec, 320 secs
lola: STP completed || 1 tries, 34540 fired transitions, 325 secs || 32123 markings, 4041946 edges, 211 markings/sec, 325 secs
lola: STP completed || 1 tries, 35080 fired transitions, 330 secs || 33136 markings, 4155135 edges, 203 markings/sec, 330 secs
lola: STP completed || 1 tries, 35626 fired transitions, 335 secs || 34178 markings, 4268899 edges, 208 markings/sec, 335 secs
lola: STP completed || 1 tries, 36150 fired transitions, 340 secs || 35220 markings, 4384005 edges, 208 markings/sec, 340 secs
lola: STP completed || 1 tries, 36666 fired transitions, 345 secs || 36172 markings, 4495443 edges, 190 markings/sec, 345 secs
lola: STP completed || 1 tries, 37176 fired transitions, 350 secs || 37123 markings, 4608795 edges, 190 markings/sec, 350 secs
lola: STP completed || 1 tries, 37697 fired transitions, 355 secs || 38207 markings, 4722264 edges, 217 markings/sec, 355 secs
lola: STP completed || 1 tries, 38247 fired transitions, 360 secs || 39519 markings, 4834574 edges, 262 markings/sec, 360 secs
lola: STP completed || 1 tries, 38762 fired transitions, 365 secs || 40784 markings, 4945990 edges, 253 markings/sec, 365 secs
lola: STP completed || 1 tries, 39254 fired transitions, 370 secs || 42108 markings, 5056115 edges, 265 markings/sec, 370 secs
lola: STP completed || 1 tries, 39778 fired transitions, 375 secs || 43353 markings, 5164554 edges, 249 markings/sec, 375 secs
lola: STP completed || 1 tries, 40322 fired transitions, 380 secs || 44628 markings, 5274551 edges, 255 markings/sec, 380 secs
lola: STP completed || 1 tries, 40855 fired transitions, 385 secs || 45467 markings, 5381431 edges, 168 markings/sec, 385 secs
lola: STP completed || 1 tries, 41395 fired transitions, 390 secs || 46103 markings, 5488210 edges, 127 markings/sec, 390 secs
lola: STP completed || 1 tries, 41921 fired transitions, 395 secs || 46731 markings, 5593724 edges, 126 markings/sec, 395 secs
lola: STP completed || 1 tries, 42462 fired transitions, 400 secs || 47345 markings, 5701921 edges, 123 markings/sec, 400 secs
lola: STP completed || 1 tries, 42979 fired transitions, 405 secs || 48017 markings, 5809242 edges, 134 markings/sec, 405 secs
lola: STP completed || 1 tries, 43509 fired transitions, 410 secs || 48630 markings, 5916772 edges, 123 markings/sec, 410 secs
lola: STP completed || 1 tries, 44009 fired transitions, 415 secs || 49154 markings, 6010290 edges, 105 markings/sec, 415 secs
lola: STP completed || 1 tries, 44543 fired transitions, 420 secs || 49749 markings, 6115294 edges, 119 markings/sec, 420 secs
lola: STP completed || 1 tries, 45070 fired transitions, 425 secs || 50352 markings, 6222478 edges, 121 markings/sec, 425 secs
lola: STP completed || 1 tries, 45591 fired transitions, 430 secs || 50999 markings, 6329719 edges, 129 markings/sec, 430 secs
lola: STP completed || 1 tries, 46100 fired transitions, 435 secs || 51655 markings, 6437333 edges, 131 markings/sec, 435 secs
lola: STP completed || 1 tries, 46614 fired transitions, 440 secs || 52365 markings, 6546046 edges, 142 markings/sec, 440 secs
lola: STP completed || 1 tries, 47134 fired transitions, 445 secs || 53292 markings, 6656534 edges, 185 markings/sec, 445 secs
lola: STP completed || 1 tries, 47678 fired transitions, 450 secs || 54350 markings, 6766568 edges, 212 markings/sec, 450 secs
lola: STP completed || 1 tries, 48222 fired transitions, 455 secs || 55084 markings, 6875316 edges, 147 markings/sec, 455 secs
lola: STP completed || 1 tries, 48748 fired transitions, 460 secs || 55853 markings, 6983670 edges, 154 markings/sec, 460 secs
lola: STP completed || 1 tries, 49267 fired transitions, 465 secs || 56830 markings, 7095274 edges, 195 markings/sec, 465 secs
lola: STP completed || 1 tries, 49800 fired transitions, 470 secs || 57923 markings, 7206202 edges, 219 markings/sec, 470 secs
lola: STP completed || 1 tries, 50326 fired transitions, 475 secs || 58884 markings, 7317943 edges, 192 markings/sec, 475 secs
lola: STP completed || 1 tries, 50842 fired transitions, 480 secs || 59690 markings, 7428817 edges, 161 markings/sec, 480 secs
lola: STP completed || 1 tries, 51354 fired transitions, 485 secs || 60299 markings, 7536448 edges, 122 markings/sec, 485 secs
lola: STP completed || 1 tries, 51886 fired transitions, 490 secs || 61145 markings, 7645303 edges, 169 markings/sec, 490 secs
lola: STP completed || 1 tries, 52421 fired transitions, 495 secs || 61709 markings, 7753031 edges, 113 markings/sec, 495 secs
lola: STP completed || 1 tries, 52962 fired transitions, 500 secs || 62465 markings, 7861958 edges, 151 markings/sec, 500 secs
lola: STP completed || 1 tries, 53481 fired transitions, 505 secs || 63258 markings, 7969287 edges, 159 markings/sec, 505 secs
lola: STP completed || 1 tries, 54029 fired transitions, 510 secs || 63900 markings, 8076789 edges, 128 markings/sec, 510 secs
lola: STP completed || 1 tries, 54557 fired transitions, 515 secs || 64698 markings, 8187205 edges, 160 markings/sec, 515 secs
lola: STP completed || 1 tries, 55110 fired transitions, 520 secs || 65618 markings, 8297686 edges, 184 markings/sec, 520 secs
lola: STP completed || 1 tries, 55656 fired transitions, 525 secs || 66586 markings, 8410566 edges, 194 markings/sec, 525 secs
lola: STP completed || 1 tries, 56185 fired transitions, 530 secs || 67473 markings, 8521143 edges, 177 markings/sec, 530 secs
lola: STP completed || 1 tries, 56722 fired transitions, 535 secs || 68549 markings, 8635088 edges, 215 markings/sec, 535 secs
lola: STP completed || 1 tries, 57227 fired transitions, 540 secs || 69599 markings, 8748453 edges, 210 markings/sec, 540 secs
lola: STP completed || 1 tries, 57713 fired transitions, 545 secs || 70568 markings, 8854481 edges, 194 markings/sec, 545 secs
lola: STP completed || 1 tries, 58245 fired transitions, 550 secs || 71400 markings, 8957405 edges, 166 markings/sec, 550 secs
lola: STP completed || 1 tries, 58766 fired transitions, 555 secs || 72266 markings, 9068732 edges, 173 markings/sec, 555 secs
lola: STP completed || 1 tries, 59298 fired transitions, 560 secs || 73303 markings, 9182036 edges, 207 markings/sec, 560 secs
lola: STP completed || 1 tries, 59827 fired transitions, 565 secs || 74120 markings, 9292252 edges, 163 markings/sec, 565 secs
lola: STP completed || 1 tries, 60358 fired transitions, 570 secs || 75168 markings, 9404769 edges, 210 markings/sec, 570 secs
lola: STP completed || 1 tries, 60862 fired transitions, 575 secs || 76169 markings, 9519254 edges, 200 markings/sec, 575 secs
lola: STP completed || 1 tries, 61380 fired transitions, 580 secs || 77364 markings, 9630504 edges, 239 markings/sec, 580 secs
lola: STP completed || 1 tries, 61906 fired transitions, 585 secs || 78541 markings, 9745194 edges, 235 markings/sec, 585 secs
lola: STP completed || 1 tries, 62427 fired transitions, 590 secs || 79682 markings, 9858665 edges, 228 markings/sec, 590 secs
lola: STP completed || 1 tries, 62949 fired transitions, 595 secs || 80848 markings, 9969794 edges, 233 markings/sec, 595 secs
lola: STP completed || 1 tries, 63482 fired transitions, 600 secs || 82020 markings, 10083549 edges, 234 markings/sec, 600 secs
lola: STP completed || 1 tries, 64006 fired transitions, 605 secs || 83220 markings, 10196982 edges, 240 markings/sec, 605 secs
lola: STP completed || 1 tries, 64544 fired transitions, 610 secs || 84521 markings, 10309165 edges, 260 markings/sec, 610 secs
lola: STP completed || 1 tries, 65080 fired transitions, 615 secs || 85506 markings, 10423474 edges, 197 markings/sec, 615 secs
lola: STP completed || 1 tries, 65611 fired transitions, 620 secs || 86687 markings, 10535656 edges, 236 markings/sec, 620 secs
lola: STP completed || 1 tries, 66134 fired transitions, 625 secs || 87681 markings, 10648867 edges, 199 markings/sec, 625 secs
lola: STP completed || 1 tries, 66667 fired transitions, 630 secs || 89000 markings, 10755642 edges, 264 markings/sec, 630 secs
lola: STP completed || 1 tries, 67193 fired transitions, 635 secs || 90250 markings, 10868968 edges, 250 markings/sec, 635 secs
lola: STP completed || 1 tries, 67718 fired transitions, 640 secs || 91322 markings, 10980575 edges, 214 markings/sec, 640 secs
lola: STP completed || 1 tries, 68273 fired transitions, 645 secs || 92270 markings, 11091602 edges, 190 markings/sec, 645 secs
lola: STP completed || 1 tries, 68819 fired transitions, 650 secs || 93446 markings, 11204953 edges, 235 markings/sec, 650 secs
lola: STP completed || 1 tries, 69349 fired transitions, 655 secs || 94753 markings, 11316566 edges, 261 markings/sec, 655 secs
lola: STP completed || 1 tries, 69876 fired transitions, 660 secs || 96094 markings, 11427076 edges, 268 markings/sec, 660 secs
lola: STP completed || 1 tries, 70376 fired transitions, 665 secs || 97327 markings, 11538765 edges, 247 markings/sec, 665 secs
lola: STP completed || 1 tries, 70852 fired transitions, 670 secs || 98678 markings, 11648688 edges, 270 markings/sec, 670 secs
lola: STP completed || 1 tries, 71374 fired transitions, 675 secs || 100161 markings, 11757362 edges, 297 markings/sec, 675 secs
lola: STP completed || 1 tries, 71901 fired transitions, 680 secs || 101403 markings, 11864065 edges, 248 markings/sec, 680 secs
lola: STP completed || 1 tries, 72421 fired transitions, 685 secs || 102421 markings, 11973840 edges, 204 markings/sec, 685 secs
lola: STP completed || 1 tries, 72922 fired transitions, 690 secs || 103500 markings, 12080545 edges, 216 markings/sec, 690 secs
lola: STP completed || 1 tries, 73429 fired transitions, 695 secs || 104086 markings, 12185874 edges, 117 markings/sec, 695 secs
lola: STP completed || 1 tries, 73956 fired transitions, 700 secs || 104688 markings, 12291230 edges, 120 markings/sec, 700 secs
lola: STP completed || 1 tries, 74471 fired transitions, 705 secs || 105297 markings, 12397922 edges, 122 markings/sec, 705 secs
lola: STP completed || 1 tries, 75016 fired transitions, 710 secs || 105897 markings, 12503922 edges, 120 markings/sec, 710 secs
lola: STP completed || 1 tries, 75550 fired transitions, 715 secs || 106494 markings, 12609799 edges, 119 markings/sec, 715 secs
lola: STP completed || 1 tries, 76102 fired transitions, 720 secs || 107107 markings, 12715893 edges, 123 markings/sec, 720 secs
lola: STP completed || 1 tries, 76643 fired transitions, 725 secs || 107709 markings, 12822015 edges, 120 markings/sec, 725 secs
lola: STP completed || 1 tries, 77171 fired transitions, 730 secs || 108322 markings, 12928362 edges, 123 markings/sec, 730 secs
lola: STP completed || 1 tries, 77713 fired transitions, 735 secs || 108927 markings, 13034266 edges, 121 markings/sec, 735 secs
lola: STP completed || 1 tries, 78231 fired transitions, 740 secs || 109520 markings, 13140661 edges, 119 markings/sec, 740 secs
lola: STP completed || 1 tries, 78763 fired transitions, 745 secs || 110120 markings, 13247037 edges, 120 markings/sec, 745 secs
lola: STP completed || 1 tries, 79270 fired transitions, 750 secs || 110733 markings, 13353160 edges, 123 markings/sec, 750 secs
lola: STP completed || 1 tries, 79811 fired transitions, 755 secs || 111333 markings, 13458672 edges, 120 markings/sec, 755 secs
lola: STP completed || 1 tries, 80340 fired transitions, 760 secs || 111928 markings, 13564851 edges, 119 markings/sec, 760 secs
lola: STP completed || 1 tries, 80874 fired transitions, 765 secs || 112538 markings, 13671197 edges, 122 markings/sec, 765 secs
lola: STP completed || 1 tries, 81393 fired transitions, 770 secs || 113151 markings, 13777724 edges, 123 markings/sec, 770 secs
lola: STP completed || 1 tries, 81933 fired transitions, 775 secs || 113747 markings, 13883561 edges, 119 markings/sec, 775 secs
lola: STP completed || 1 tries, 82440 fired transitions, 780 secs || 114348 markings, 13989930 edges, 120 markings/sec, 780 secs
lola: STP completed || 1 tries, 82965 fired transitions, 785 secs || 114958 markings, 14096102 edges, 122 markings/sec, 785 secs
lola: STP completed || 1 tries, 83476 fired transitions, 790 secs || 115559 markings, 14202162 edges, 120 markings/sec, 790 secs
lola: STP completed || 1 tries, 84001 fired transitions, 795 secs || 116171 markings, 14308550 edges, 122 markings/sec, 795 secs
lola: STP completed || 1 tries, 84533 fired transitions, 800 secs || 116774 markings, 14414305 edges, 121 markings/sec, 800 secs
lola: STP completed || 1 tries, 85086 fired transitions, 805 secs || 117370 markings, 14520689 edges, 119 markings/sec, 805 secs
lola: STP completed || 1 tries, 85622 fired transitions, 810 secs || 117973 markings, 14627257 edges, 121 markings/sec, 810 secs
lola: STP completed || 1 tries, 86152 fired transitions, 815 secs || 118588 markings, 14732957 edges, 123 markings/sec, 815 secs
lola: STP completed || 1 tries, 86666 fired transitions, 820 secs || 119193 markings, 14838641 edges, 121 markings/sec, 820 secs
lola: STP completed || 1 tries, 87201 fired transitions, 825 secs || 119776 markings, 14943491 edges, 117 markings/sec, 825 secs
lola: STP completed || 1 tries, 87742 fired transitions, 830 secs || 120381 markings, 15049300 edges, 121 markings/sec, 830 secs
lola: STP completed || 1 tries, 88282 fired transitions, 835 secs || 120991 markings, 15155379 edges, 122 markings/sec, 835 secs
lola: STP completed || 1 tries, 88831 fired transitions, 840 secs || 121594 markings, 15261670 edges, 121 markings/sec, 840 secs
lola: STP completed || 1 tries, 89382 fired transitions, 845 secs || 122337 markings, 15368638 edges, 149 markings/sec, 845 secs
lola: STP completed || 1 tries, 89924 fired transitions, 850 secs || 123223 markings, 15477221 edges, 177 markings/sec, 850 secs
lola: STP completed || 1 tries, 90443 fired transitions, 855 secs || 124240 markings, 15586329 edges, 203 markings/sec, 855 secs
lola: STP completed || 1 tries, 90964 fired transitions, 860 secs || 125119 markings, 15692504 edges, 176 markings/sec, 860 secs
lola: STP completed || 1 tries, 91503 fired transitions, 865 secs || 126171 markings, 15803317 edges, 210 markings/sec, 865 secs
lola: STP completed || 1 tries, 92022 fired transitions, 870 secs || 126975 markings, 15910709 edges, 161 markings/sec, 870 secs
lola: STP completed || 1 tries, 92557 fired transitions, 875 secs || 127992 markings, 16019719 edges, 203 markings/sec, 875 secs
lola: STP completed || 1 tries, 93097 fired transitions, 880 secs || 128732 markings, 16126063 edges, 148 markings/sec, 880 secs
lola: STP completed || 1 tries, 93642 fired transitions, 885 secs || 129618 markings, 16235111 edges, 177 markings/sec, 885 secs
lola: STP completed || 1 tries, 94155 fired transitions, 890 secs || 130348 markings, 16342157 edges, 146 markings/sec, 890 secs
lola: STP completed || 1 tries, 94693 fired transitions, 895 secs || 131246 markings, 16450788 edges, 180 markings/sec, 895 secs
lola: STP completed || 1 tries, 95232 fired transitions, 900 secs || 132121 markings, 16560255 edges, 175 markings/sec, 900 secs
lola: STP completed || 1 tries, 95751 fired transitions, 905 secs || 133011 markings, 16668949 edges, 178 markings/sec, 905 secs
lola: STP completed || 1 tries, 96309 fired transitions, 910 secs || 133879 markings, 16777458 edges, 174 markings/sec, 910 secs
lola: STP completed || 1 tries, 96856 fired transitions, 915 secs || 134866 markings, 16887558 edges, 197 markings/sec, 915 secs
lola: STP completed || 1 tries, 97371 fired transitions, 920 secs || 135888 markings, 16996871 edges, 204 markings/sec, 920 secs
lola: STP completed || 1 tries, 97872 fired transitions, 925 secs || 136676 markings, 17103488 edges, 158 markings/sec, 925 secs
lola: STP completed || 1 tries, 98386 fired transitions, 930 secs || 137668 markings, 17212980 edges, 198 markings/sec, 930 secs
lola: STP completed || 1 tries, 98930 fired transitions, 935 secs || 138638 markings, 17325718 edges, 194 markings/sec, 935 secs
lola: STP completed || 1 tries, 99460 fired transitions, 940 secs || 139559 markings, 17436078 edges, 184 markings/sec, 940 secs
lola: STP completed || 1 tries, 99982 fired transitions, 945 secs || 140470 markings, 17544744 edges, 182 markings/sec, 945 secs
lola: STP completed || 1 tries, 100497 fired transitions, 950 secs || 141536 markings, 17655627 edges, 213 markings/sec, 950 secs
lola: STP completed || 1 tries, 101029 fired transitions, 955 secs || 142495 markings, 17764756 edges, 192 markings/sec, 955 secs
lola: STP completed || 1 tries, 101571 fired transitions, 960 secs || 143568 markings, 17873274 edges, 215 markings/sec, 960 secs
lola: STP completed || 1 tries, 102106 fired transitions, 965 secs || 144494 markings, 17981856 edges, 185 markings/sec, 965 secs
lola: STP completed || 1 tries, 102643 fired transitions, 970 secs || 145288 markings, 18089358 edges, 159 markings/sec, 970 secs
lola: STP completed || 1 tries, 103166 fired transitions, 975 secs || 146111 markings, 18196900 edges, 165 markings/sec, 975 secs
lola: STP completed || 1 tries, 103685 fired transitions, 980 secs || 147079 markings, 18306720 edges, 194 markings/sec, 980 secs
lola: STP completed || 1 tries, 104227 fired transitions, 985 secs || 147820 markings, 18414368 edges, 148 markings/sec, 985 secs
lola: STP completed || 1 tries, 104776 fired transitions, 990 secs || 148930 markings, 18525355 edges, 222 markings/sec, 990 secs
lola: STP completed || 1 tries, 105303 fired transitions, 995 secs || 149811 markings, 18632585 edges, 176 markings/sec, 995 secs
lola: STP completed || 1 tries, 105834 fired transitions, 1000 secs || 150749 markings, 18742986 edges, 188 markings/sec, 1000 secs
lola: STP completed || 1 tries, 106373 fired transitions, 1005 secs || 151787 markings, 18854931 edges, 208 markings/sec, 1005 secs
lola: STP completed || 1 tries, 106887 fired transitions, 1010 secs || 152690 markings, 18964188 edges, 181 markings/sec, 1010 secs
lola: STP completed || 1 tries, 107423 fired transitions, 1015 secs || 153423 markings, 19071823 edges, 147 markings/sec, 1015 secs
lola: STP completed || 1 tries, 107954 fired transitions, 1020 secs || 154457 markings, 19182452 edges, 207 markings/sec, 1020 secs
lola: STP completed || 1 tries, 108475 fired transitions, 1025 secs || 155382 markings, 19292342 edges, 185 markings/sec, 1025 secs
lola: STP completed || 1 tries, 108997 fired transitions, 1030 secs || 156491 markings, 19403078 edges, 222 markings/sec, 1030 secs
lola: STP completed || 1 tries, 109500 fired transitions, 1035 secs || 157661 markings, 19514339 edges, 234 markings/sec, 1035 secs
lola: STP completed || 1 tries, 110041 fired transitions, 1040 secs || 158794 markings, 19625925 edges, 227 markings/sec, 1040 secs
lola: STP completed || 1 tries, 110557 fired transitions, 1045 secs || 159902 markings, 19735423 edges, 222 markings/sec, 1045 secs
lola: STP completed || 1 tries, 111072 fired transitions, 1050 secs || 161032 markings, 19838397 edges, 226 markings/sec, 1050 secs
lola: STP completed || 1 tries, 111601 fired transitions, 1055 secs || 162042 markings, 19940139 edges, 202 markings/sec, 1055 secs
lola: STP completed || 1 tries, 112115 fired transitions, 1060 secs || 163026 markings, 20038419 edges, 197 markings/sec, 1060 secs
lola: STP completed || 1 tries, 112636 fired transitions, 1065 secs || 163840 markings, 20133852 edges, 163 markings/sec, 1065 secs
lola: STP completed || 1 tries, 113180 fired transitions, 1070 secs || 164649 markings, 20240545 edges, 162 markings/sec, 1070 secs
lola: STP completed || 1 tries, 113698 fired transitions, 1075 secs || 165764 markings, 20350257 edges, 223 markings/sec, 1075 secs
lola: STP completed || 1 tries, 114214 fired transitions, 1080 secs || 166765 markings, 20458594 edges, 200 markings/sec, 1080 secs
lola: STP completed || 1 tries, 114728 fired transitions, 1085 secs || 167815 markings, 20566478 edges, 210 markings/sec, 1085 secs
lola: STP completed || 1 tries, 115255 fired transitions, 1090 secs || 168784 markings, 20671218 edges, 194 markings/sec, 1090 secs
lola: STP completed || 1 tries, 115796 fired transitions, 1095 secs || 169857 markings, 20779018 edges, 215 markings/sec, 1095 secs
lola: STP completed || 1 tries, 116332 fired transitions, 1100 secs || 170745 markings, 20883094 edges, 178 markings/sec, 1100 secs
lola: STP completed || 1 tries, 116856 fired transitions, 1105 secs || 171788 markings, 20990815 edges, 209 markings/sec, 1105 secs
lola: STP completed || 1 tries, 117369 fired transitions, 1110 secs || 172758 markings, 21098291 edges, 194 markings/sec, 1110 secs
lola: STP completed || 1 tries, 117869 fired transitions, 1115 secs || 173592 markings, 21198650 edges, 167 markings/sec, 1115 secs
lola: STP completed || 1 tries, 118402 fired transitions, 1120 secs || 174448 markings, 21301304 edges, 171 markings/sec, 1120 secs
lola: STP completed || 1 tries, 118948 fired transitions, 1125 secs || 175485 markings, 21411069 edges, 207 markings/sec, 1125 secs
lola: STP completed || 1 tries, 119474 fired transitions, 1130 secs || 176550 markings, 21521058 edges, 213 markings/sec, 1130 secs
lola: STP completed || 1 tries, 119995 fired transitions, 1135 secs || 177460 markings, 21630540 edges, 182 markings/sec, 1135 secs
lola: STP completed || 1 tries, 120510 fired transitions, 1140 secs || 178754 markings, 21736806 edges, 259 markings/sec, 1140 secs
lola: STP completed || 1 tries, 121023 fired transitions, 1145 secs || 179976 markings, 21846569 edges, 244 markings/sec, 1145 secs
lola: STP completed || 1 tries, 121568 fired transitions, 1150 secs || 181113 markings, 21957721 edges, 227 markings/sec, 1150 secs
lola: STP completed || 1 tries, 122088 fired transitions, 1155 secs || 182181 markings, 22065451 edges, 214 markings/sec, 1155 secs
lola: STP completed || 1 tries, 122608 fired transitions, 1160 secs || 183281 markings, 22174494 edges, 220 markings/sec, 1160 secs
lola: STP completed || 1 tries, 123146 fired transitions, 1165 secs || 184516 markings, 22284608 edges, 247 markings/sec, 1165 secs
lola: STP completed || 1 tries, 123683 fired transitions, 1170 secs || 185586 markings, 22396880 edges, 214 markings/sec, 1170 secs
lola: STP completed || 1 tries, 124207 fired transitions, 1175 secs || 186789 markings, 22507362 edges, 241 markings/sec, 1175 secs
lola: STP completed || 1 tries, 124730 fired transitions, 1180 secs || 187822 markings, 22618350 edges, 207 markings/sec, 1180 secs
lola: STP completed || 1 tries, 125265 fired transitions, 1185 secs || 189116 markings, 22728245 edges, 259 markings/sec, 1185 secs
lola: STP completed || 1 tries, 125791 fired transitions, 1190 secs || 190313 markings, 22838010 edges, 239 markings/sec, 1190 secs
lola: STP completed || 1 tries, 126329 fired transitions, 1195 secs || 191515 markings, 22948771 edges, 240 markings/sec, 1195 secs
lola: STP completed || 1 tries, 126856 fired transitions, 1200 secs || 192866 markings, 23056101 edges, 270 markings/sec, 1200 secs
lola: STP completed || 1 tries, 127364 fired transitions, 1205 secs || 194086 markings, 23165378 edges, 244 markings/sec, 1205 secs
lola: STP completed || 1 tries, 127877 fired transitions, 1210 secs || 195257 markings, 23275104 edges, 234 markings/sec, 1210 secs
lola: STP completed || 1 tries, 128415 fired transitions, 1215 secs || 196446 markings, 23382824 edges, 238 markings/sec, 1215 secs
lola: STP completed || 1 tries, 128935 fired transitions, 1220 secs || 197650 markings, 23490473 edges, 241 markings/sec, 1220 secs
lola: STP completed || 1 tries, 129463 fired transitions, 1225 secs || 198912 markings, 23601509 edges, 252 markings/sec, 1225 secs
lola: STP completed || 1 tries, 129991 fired transitions, 1230 secs || 199942 markings, 23707539 edges, 206 markings/sec, 1230 secs
lola: STP completed || 1 tries, 130520 fired transitions, 1235 secs || 201011 markings, 23818085 edges, 214 markings/sec, 1235 secs
lola: STP completed || 1 tries, 131043 fired transitions, 1240 secs || 202183 markings, 23927907 edges, 234 markings/sec, 1240 secs
lola: STP completed || 1 tries, 131565 fired transitions, 1245 secs || 203610 markings, 24030559 edges, 285 markings/sec, 1245 secs
lola: STP completed || 1 tries, 132105 fired transitions, 1250 secs || 204781 markings, 24138221 edges, 234 markings/sec, 1250 secs
lola: STP completed || 1 tries, 132638 fired transitions, 1255 secs || 206071 markings, 24239959 edges, 258 markings/sec, 1255 secs
lola: STP completed || 1 tries, 133150 fired transitions, 1260 secs || 207203 markings, 24349122 edges, 226 markings/sec, 1260 secs
lola: STP completed || 1 tries, 133681 fired transitions, 1265 secs || 208443 markings, 24457472 edges, 248 markings/sec, 1265 secs
lola: STP completed || 1 tries, 134175 fired transitions, 1270 secs || 209593 markings, 24566010 edges, 230 markings/sec, 1270 secs
lola: STP completed || 1 tries, 134694 fired transitions, 1275 secs || 210996 markings, 24674153 edges, 281 markings/sec, 1275 secs
lola: STP completed || 1 tries, 135213 fired transitions, 1280 secs || 212439 markings, 24776684 edges, 289 markings/sec, 1280 secs
lola: STP completed || 1 tries, 135753 fired transitions, 1285 secs || 213745 markings, 24880767 edges, 261 markings/sec, 1285 secs
lola: STP completed || 1 tries, 136269 fired transitions, 1290 secs || 214938 markings, 24990122 edges, 239 markings/sec, 1290 secs
lola: STP completed || 1 tries, 136800 fired transitions, 1295 secs || 216050 markings, 25097959 edges, 222 markings/sec, 1295 secs
lola: STP completed || 1 tries, 137335 fired transitions, 1300 secs || 217432 markings, 25202532 edges, 276 markings/sec, 1300 secs
lola: STP completed || 1 tries, 137866 fired transitions, 1305 secs || 218851 markings, 25312871 edges, 284 markings/sec, 1305 secs
lola: STP completed || 1 tries, 138405 fired transitions, 1310 secs || 220413 markings, 25415462 edges, 312 markings/sec, 1310 secs
lola: STP completed || 1 tries, 138939 fired transitions, 1315 secs || 221874 markings, 25520307 edges, 292 markings/sec, 1315 secs
lola: STP completed || 1 tries, 139473 fired transitions, 1320 secs || 223311 markings, 25626675 edges, 287 markings/sec, 1320 secs
lola: STP completed || 1 tries, 140028 fired transitions, 1325 secs || 224700 markings, 25732584 edges, 278 markings/sec, 1325 secs
lola: STP completed || 1 tries, 140557 fired transitions, 1330 secs || 225771 markings, 25839940 edges, 214 markings/sec, 1330 secs
lola: STP completed || 1 tries, 141055 fired transitions, 1335 secs || 227196 markings, 25940591 edges, 285 markings/sec, 1335 secs
lola: STP completed || 1 tries, 141579 fired transitions, 1340 secs || 228438 markings, 26039218 edges, 248 markings/sec, 1340 secs
lola: STP completed || 1 tries, 142121 fired transitions, 1345 secs || 229744 markings, 26145366 edges, 261 markings/sec, 1345 secs
lola: STP completed || 1 tries, 142633 fired transitions, 1350 secs || 230596 markings, 26252522 edges, 170 markings/sec, 1350 secs
lola: STP completed || 1 tries, 143151 fired transitions, 1355 secs || 231182 markings, 26354351 edges, 117 markings/sec, 1355 secs
lola: STP completed || 1 tries, 143679 fired transitions, 1360 secs || 231997 markings, 26460098 edges, 163 markings/sec, 1360 secs
lola: STP completed || 1 tries, 144205 fired transitions, 1365 secs || 232553 markings, 26565325 edges, 111 markings/sec, 1365 secs
lola: STP completed || 1 tries, 144739 fired transitions, 1370 secs || 233293 markings, 26672647 edges, 148 markings/sec, 1370 secs
lola: STP completed || 1 tries, 145268 fired transitions, 1375 secs || 234085 markings, 26779201 edges, 158 markings/sec, 1375 secs
lola: STP completed || 1 tries, 145814 fired transitions, 1380 secs || 234714 markings, 26886062 edges, 126 markings/sec, 1380 secs
lola: STP completed || 1 tries, 146350 fired transitions, 1385 secs || 235533 markings, 26995507 edges, 164 markings/sec, 1385 secs
lola: STP completed || 1 tries, 146870 fired transitions, 1390 secs || 236432 markings, 27105219 edges, 180 markings/sec, 1390 secs
lola: STP completed || 1 tries, 147379 fired transitions, 1395 secs || 237484 markings, 27215251 edges, 210 markings/sec, 1395 secs
lola: STP completed || 1 tries, 147908 fired transitions, 1400 secs || 238499 markings, 27325724 edges, 203 markings/sec, 1400 secs
lola: STP completed || 1 tries, 148427 fired transitions, 1405 secs || 239185 markings, 27433691 edges, 137 markings/sec, 1405 secs
lola: STP completed || 1 tries, 148965 fired transitions, 1410 secs || 239844 markings, 27539314 edges, 132 markings/sec, 1410 secs
lola: STP completed || 1 tries, 149507 fired transitions, 1415 secs || 240671 markings, 27646453 edges, 165 markings/sec, 1415 secs
lola: STP completed || 1 tries, 150040 fired transitions, 1420 secs || 241266 markings, 27752168 edges, 119 markings/sec, 1420 secs
lola: STP completed || 1 tries, 150548 fired transitions, 1425 secs || 241884 markings, 27857367 edges, 124 markings/sec, 1425 secs
lola: STP completed || 1 tries, 151070 fired transitions, 1430 secs || 242707 markings, 27962405 edges, 165 markings/sec, 1430 secs
lola: STP completed || 1 tries, 151602 fired transitions, 1435 secs || 243536 markings, 28070849 edges, 166 markings/sec, 1435 secs
lola: STP completed || 1 tries, 152151 fired transitions, 1440 secs || 244152 markings, 28176157 edges, 123 markings/sec, 1440 secs
lola: STP completed || 1 tries, 152695 fired transitions, 1445 secs || 244991 markings, 28284488 edges, 168 markings/sec, 1445 secs
lola: STP completed || 1 tries, 153234 fired transitions, 1450 secs || 245897 markings, 28392154 edges, 181 markings/sec, 1450 secs
lola: STP completed || 1 tries, 153754 fired transitions, 1455 secs || 246687 markings, 28499283 edges, 158 markings/sec, 1455 secs
lola: STP completed || 1 tries, 154301 fired transitions, 1460 secs || 247327 markings, 28602813 edges, 128 markings/sec, 1460 secs
lola: STP completed || 1 tries, 154835 fired transitions, 1465 secs || 248077 markings, 28711707 edges, 150 markings/sec, 1465 secs
lola: STP completed || 1 tries, 155373 fired transitions, 1470 secs || 248921 markings, 28811367 edges, 169 markings/sec, 1470 secs
lola: STP completed || 1 tries, 155907 fired transitions, 1475 secs || 249487 markings, 28911641 edges, 113 markings/sec, 1475 secs
lola: STP completed || 1 tries, 156446 fired transitions, 1480 secs || 250075 markings, 29016287 edges, 118 markings/sec, 1480 secs
lola: STP completed || 1 tries, 156957 fired transitions, 1485 secs || 250746 markings, 29122203 edges, 134 markings/sec, 1485 secs
lola: STP completed || 1 tries, 157502 fired transitions, 1490 secs || 251474 markings, 29229234 edges, 146 markings/sec, 1490 secs
lola: STP completed || 1 tries, 158019 fired transitions, 1495 secs || 252224 markings, 29335084 edges, 150 markings/sec, 1495 secs
lola: STP completed || 1 tries, 158531 fired transitions, 1500 secs || 253184 markings, 29443083 edges, 192 markings/sec, 1500 secs
lola: STP completed || 1 tries, 159048 fired transitions, 1505 secs || 254147 markings, 29551939 edges, 193 markings/sec, 1505 secs
lola: STP completed || 1 tries, 159572 fired transitions, 1510 secs || 255193 markings, 29659596 edges, 209 markings/sec, 1510 secs
lola: STP completed || 1 tries, 160098 fired transitions, 1515 secs || 256211 markings, 29769367 edges, 204 markings/sec, 1515 secs
lola: STP completed || 1 tries, 160615 fired transitions, 1520 secs || 257201 markings, 29882421 edges, 198 markings/sec, 1520 secs
lola: STP completed || 1 tries, 161166 fired transitions, 1525 secs || 258290 markings, 29994185 edges, 218 markings/sec, 1525 secs
lola: STP completed || 1 tries, 161706 fired transitions, 1530 secs || 259134 markings, 30104618 edges, 169 markings/sec, 1530 secs
lola: STP completed || 1 tries, 162247 fired transitions, 1535 secs || 260105 markings, 30214153 edges, 194 markings/sec, 1535 secs
lola: STP completed || 1 tries, 162769 fired transitions, 1540 secs || 261467 markings, 30323131 edges, 272 markings/sec, 1540 secs
lola: STP completed || 1 tries, 163293 fired transitions, 1545 secs || 262454 markings, 30434166 edges, 197 markings/sec, 1545 secs
lola: STP completed || 1 tries, 163827 fired transitions, 1550 secs || 263172 markings, 30541349 edges, 144 markings/sec, 1550 secs
lola: STP completed || 1 tries, 164365 fired transitions, 1555 secs || 263901 markings, 30647224 edges, 146 markings/sec, 1555 secs
lola: STP completed || 1 tries, 164894 fired transitions, 1560 secs || 264530 markings, 30752225 edges, 126 markings/sec, 1560 secs
lola: STP completed || 1 tries, 165415 fired transitions, 1565 secs || 265308 markings, 30860561 edges, 156 markings/sec, 1565 secs
lola: STP completed || 1 tries, 165909 fired transitions, 1570 secs || 266017 markings, 30966430 edges, 142 markings/sec, 1570 secs
lola: STP completed || 1 tries, 166440 fired transitions, 1575 secs || 266610 markings, 31071487 edges, 119 markings/sec, 1575 secs
lola: STP completed || 1 tries, 166989 fired transitions, 1580 secs || 267426 markings, 31178832 edges, 163 markings/sec, 1580 secs
lola: STP completed || 1 tries, 167514 fired transitions, 1585 secs || 268106 markings, 31284588 edges, 136 markings/sec, 1585 secs
lola: STP completed || 1 tries, 168059 fired transitions, 1590 secs || 268802 markings, 31390138 edges, 139 markings/sec, 1590 secs
lola: STP completed || 1 tries, 168577 fired transitions, 1595 secs || 269607 markings, 31496528 edges, 161 markings/sec, 1595 secs
lola: STP completed || 1 tries, 169099 fired transitions, 1600 secs || 270204 markings, 31602152 edges, 119 markings/sec, 1600 secs
lola: STP completed || 1 tries, 169578 fired transitions, 1605 secs || 270975 markings, 31704917 edges, 154 markings/sec, 1605 secs
lola: STP completed || 1 tries, 170084 fired transitions, 1610 secs || 271668 markings, 31809988 edges, 139 markings/sec, 1610 secs
lola: STP completed || 1 tries, 170620 fired transitions, 1615 secs || 272227 markings, 31909759 edges, 112 markings/sec, 1615 secs
lola: STP completed || 1 tries, 171139 fired transitions, 1620 secs || 273047 markings, 32018707 edges, 164 markings/sec, 1620 secs
lola: STP completed || 1 tries, 171662 fired transitions, 1625 secs || 273735 markings, 32125363 edges, 138 markings/sec, 1625 secs
lola: STP completed || 1 tries, 172157 fired transitions, 1630 secs || 274493 markings, 32234169 edges, 152 markings/sec, 1630 secs
lola: STP completed || 1 tries, 172666 fired transitions, 1635 secs || 275296 markings, 32339688 edges, 161 markings/sec, 1635 secs
lola: STP completed || 1 tries, 173199 fired transitions, 1640 secs || 276304 markings, 32448927 edges, 202 markings/sec, 1640 secs
lola: STP completed || 1 tries, 173717 fired transitions, 1645 secs || 277367 markings, 32562086 edges, 213 markings/sec, 1645 secs
lola: STP completed || 1 tries, 174258 fired transitions, 1650 secs || 278648 markings, 32672903 edges, 256 markings/sec, 1650 secs
lola: STP completed || 1 tries, 174793 fired transitions, 1655 secs || 279809 markings, 32784933 edges, 232 markings/sec, 1655 secs
lola: STP completed || 1 tries, 175292 fired transitions, 1660 secs || 280700 markings, 32895368 edges, 178 markings/sec, 1660 secs
lola: STP completed || 1 tries, 175800 fired transitions, 1665 secs || 281663 markings, 33006865 edges, 193 markings/sec, 1665 secs
lola: STP completed || 1 tries, 176321 fired transitions, 1670 secs || 282917 markings, 33114805 edges, 251 markings/sec, 1670 secs
lola: STP completed || 1 tries, 176849 fired transitions, 1675 secs || 284123 markings, 33223660 edges, 241 markings/sec, 1675 secs
lola: STP completed || 1 tries, 177376 fired transitions, 1680 secs || 285284 markings, 33332784 edges, 232 markings/sec, 1680 secs
lola: STP completed || 1 tries, 177916 fired transitions, 1685 secs || 286630 markings, 33441125 edges, 269 markings/sec, 1685 secs
lola: STP completed || 1 tries, 178459 fired transitions, 1690 secs || 287850 markings, 33550831 edges, 244 markings/sec, 1690 secs
lola: STP completed || 1 tries, 178989 fired transitions, 1695 secs || 289144 markings, 33658849 edges, 259 markings/sec, 1695 secs
lola: STP completed || 1 tries, 179517 fired transitions, 1700 secs || 290146 markings, 33770211 edges, 200 markings/sec, 1700 secs
lola: STP completed || 1 tries, 180045 fired transitions, 1705 secs || 290920 markings, 33877501 edges, 155 markings/sec, 1705 secs
lola: STP completed || 1 tries, 180564 fired transitions, 1710 secs || 291679 markings, 33985013 edges, 152 markings/sec, 1710 secs
lola: STP completed || 1 tries, 181099 fired transitions, 1715 secs || 292531 markings, 34092915 edges, 170 markings/sec, 1715 secs
lola: STP completed || 1 tries, 181613 fired transitions, 1720 secs || 293608 markings, 34206505 edges, 215 markings/sec, 1720 secs
lola: STP completed || 1 tries, 182137 fired transitions, 1725 secs || 294291 markings, 34314085 edges, 137 markings/sec, 1725 secs
lola: STP completed || 1 tries, 182677 fired transitions, 1730 secs || 294940 markings, 34419132 edges, 130 markings/sec, 1730 secs
lola: STP completed || 1 tries, 183208 fired transitions, 1735 secs || 295677 markings, 34525577 edges, 147 markings/sec, 1735 secs
lola: STP completed || 1 tries, 183732 fired transitions, 1740 secs || 296669 markings, 34637414 edges, 198 markings/sec, 1740 secs
lola: STP completed || 1 tries, 184272 fired transitions, 1745 secs || 297744 markings, 34748718 edges, 215 markings/sec, 1745 secs
lola: STP completed || 1 tries, 184808 fired transitions, 1750 secs || 298642 markings, 34860162 edges, 180 markings/sec, 1750 secs
lola: STP completed || 1 tries, 185338 fired transitions, 1755 secs || 299415 markings, 34967008 edges, 155 markings/sec, 1755 secs
lola: STP completed || 1 tries, 185860 fired transitions, 1760 secs || 300019 markings, 35073213 edges, 121 markings/sec, 1760 secs
lola: STP completed || 1 tries, 186387 fired transitions, 1765 secs || 300881 markings, 35183208 edges, 172 markings/sec, 1765 secs
lola: STP completed || 1 tries, 186914 fired transitions, 1770 secs || 301727 markings, 35290441 edges, 169 markings/sec, 1770 secs
lola: STP completed || 1 tries, 187419 fired transitions, 1775 secs || 302701 markings, 35397928 edges, 195 markings/sec, 1775 secs
lola: STP completed || 1 tries, 187924 fired transitions, 1780 secs || 303700 markings, 35505458 edges, 200 markings/sec, 1780 secs
lola: STP completed || 1 tries, 188437 fired transitions, 1785 secs || 304762 markings, 35616251 edges, 212 markings/sec, 1785 secs
lola: STP completed || 1 tries, 188960 fired transitions, 1790 secs || 305777 markings, 35725514 edges, 203 markings/sec, 1790 secs
lola: STP completed || 1 tries, 189501 fired transitions, 1795 secs || 306822 markings, 35840675 edges, 209 markings/sec, 1795 secs
lola: STP completed || 1 tries, 190041 fired transitions, 1800 secs || 307827 markings, 35951822 edges, 201 markings/sec, 1800 secs
lola: STP completed || 1 tries, 190564 fired transitions, 1805 secs || 308905 markings, 36065336 edges, 216 markings/sec, 1805 secs
lola: STP completed || 1 tries, 191086 fired transitions, 1810 secs || 310063 markings, 36178579 edges, 232 markings/sec, 1810 secs
lola: STP completed || 1 tries, 191633 fired transitions, 1815 secs || 311182 markings, 36287127 edges, 224 markings/sec, 1815 secs
lola: STP completed || 1 tries, 192156 fired transitions, 1820 secs || 312150 markings, 36397276 edges, 194 markings/sec, 1820 secs
lola: STP completed || 1 tries, 192691 fired transitions, 1825 secs || 313272 markings, 36505335 edges, 224 markings/sec, 1825 secs
lola: STP completed || 1 tries, 193219 fired transitions, 1830 secs || 314341 markings, 36616528 edges, 214 markings/sec, 1830 secs
lola: STP completed || 1 tries, 193754 fired transitions, 1835 secs || 315471 markings, 36727217 edges, 226 markings/sec, 1835 secs
lola: STP completed || 1 tries, 194260 fired transitions, 1840 secs || 316633 markings, 36836396 edges, 232 markings/sec, 1840 secs
lola: STP completed || 1 tries, 194792 fired transitions, 1845 secs || 317617 markings, 36945333 edges, 197 markings/sec, 1845 secs
lola: STP completed || 1 tries, 195312 fired transitions, 1850 secs || 318976 markings, 37051006 edges, 272 markings/sec, 1850 secs
lola: STP completed || 1 tries, 195842 fired transitions, 1855 secs || 320335 markings, 37159128 edges, 272 markings/sec, 1855 secs
lola: STP completed || 1 tries, 196367 fired transitions, 1860 secs || 321654 markings, 37262436 edges, 264 markings/sec, 1860 secs
lola: STP completed || 1 tries, 196877 fired transitions, 1865 secs || 322679 markings, 37368468 edges, 205 markings/sec, 1865 secs
lola: STP completed || 1 tries, 197361 fired transitions, 1870 secs || 323621 markings, 37476311 edges, 188 markings/sec, 1870 secs
lola: STP completed || 1 tries, 197895 fired transitions, 1875 secs || 324543 markings, 37585487 edges, 184 markings/sec, 1875 secs
lola: STP completed || 1 tries, 198439 fired transitions, 1880 secs || 325626 markings, 37692359 edges, 217 markings/sec, 1880 secs
lola: STP completed || 1 tries, 198980 fired transitions, 1885 secs || 326697 markings, 37802169 edges, 214 markings/sec, 1885 secs
lola: STP completed || 1 tries, 199487 fired transitions, 1890 secs || 327827 markings, 37908315 edges, 226 markings/sec, 1890 secs
lola: STP completed || 1 tries, 199991 fired transitions, 1895 secs || 329035 markings, 38020106 edges, 242 markings/sec, 1895 secs
lola: STP completed || 1 tries, 200514 fired transitions, 1900 secs || 330525 markings, 38124811 edges, 298 markings/sec, 1900 secs
lola: STP completed || 1 tries, 201036 fired transitions, 1905 secs || 331785 markings, 38235201 edges, 252 markings/sec, 1905 secs
lola: STP completed || 1 tries, 201544 fired transitions, 1910 secs || 333049 markings, 38346128 edges, 253 markings/sec, 1910 secs
lola: STP completed || 1 tries, 202065 fired transitions, 1915 secs || 334230 markings, 38456687 edges, 236 markings/sec, 1915 secs
lola: STP completed || 1 tries, 202577 fired transitions, 1920 secs || 335299 markings, 38568049 edges, 214 markings/sec, 1920 secs
lola: STP completed || 1 tries, 203100 fired transitions, 1925 secs || 336677 markings, 38677897 edges, 276 markings/sec, 1925 secs
lola: STP completed || 1 tries, 203625 fired transitions, 1930 secs || 338035 markings, 38785307 edges, 272 markings/sec, 1930 secs
lola: STP completed || 1 tries, 204134 fired transitions, 1935 secs || 339464 markings, 38892585 edges, 286 markings/sec, 1935 secs
lola: STP completed || 1 tries, 204647 fired transitions, 1940 secs || 340812 markings, 39002736 edges, 270 markings/sec, 1940 secs
lola: STP completed || 1 tries, 205166 fired transitions, 1945 secs || 341880 markings, 39113957 edges, 214 markings/sec, 1945 secs
lola: STP completed || 1 tries, 205688 fired transitions, 1950 secs || 343134 markings, 39223264 edges, 251 markings/sec, 1950 secs
lola: STP completed || 1 tries, 206210 fired transitions, 1955 secs || 344689 markings, 39326925 edges, 311 markings/sec, 1955 secs
lola: STP completed || 1 tries, 206742 fired transitions, 1960 secs || 346101 markings, 39435604 edges, 282 markings/sec, 1960 secs
lola: STP completed || 1 tries, 207275 fired transitions, 1965 secs || 347656 markings, 39543555 edges, 311 markings/sec, 1965 secs
lola: STP completed || 1 tries, 207781 fired transitions, 1970 secs || 348940 markings, 39653132 edges, 257 markings/sec, 1970 secs
lola: STP completed || 1 tries, 208311 fired transitions, 1975 secs || 350224 markings, 39763247 edges, 257 markings/sec, 1975 secs
lola: STP completed || 1 tries, 208815 fired transitions, 1980 secs || 351812 markings, 39867618 edges, 318 markings/sec, 1980 secs
lola: STP completed || 1 tries, 209327 fired transitions, 1985 secs || 353598 markings, 39972057 edges, 357 markings/sec, 1985 secs
lola: STP completed || 1 tries, 209839 fired transitions, 1990 secs || 355043 markings, 40078964 edges, 289 markings/sec, 1990 secs
lola: STP completed || 1 tries, 210342 fired transitions, 1995 secs || 356190 markings, 40189101 edges, 229 markings/sec, 1995 secs
lola: STP completed || 1 tries, 210851 fired transitions, 2000 secs || 357262 markings, 40298537 edges, 214 markings/sec, 2000 secs
lola: STP completed || 1 tries, 211365 fired transitions, 2005 secs || 358402 markings, 40408494 edges, 228 markings/sec, 2005 secs
lola: STP completed || 1 tries, 211884 fired transitions, 2010 secs || 359470 markings, 40515757 edges, 214 markings/sec, 2010 secs
lola: STP completed || 1 tries, 212398 fired transitions, 2015 secs || 360549 markings, 40614773 edges, 216 markings/sec, 2015 secs
lola: STP completed || 1 tries, 212912 fired transitions, 2020 secs || 361715 markings, 40727596 edges, 233 markings/sec, 2020 secs
lola: STP completed || 1 tries, 213403 fired transitions, 2025 secs || 362966 markings, 40819324 edges, 250 markings/sec, 2025 secs
lola: STP completed || 1 tries, 213941 fired transitions, 2030 secs || 364157 markings, 40926387 edges, 238 markings/sec, 2030 secs
lola: STP completed || 1 tries, 214472 fired transitions, 2035 secs || 365481 markings, 41030382 edges, 265 markings/sec, 2035 secs
lola: STP completed || 1 tries, 215000 fired transitions, 2040 secs || 366513 markings, 41135787 edges, 206 markings/sec, 2040 secs
lola: STP completed || 1 tries, 215522 fired transitions, 2045 secs || 367888 markings, 41243495 edges, 275 markings/sec, 2045 secs
lola: STP completed || 1 tries, 216046 fired transitions, 2050 secs || 369341 markings, 41355619 edges, 291 markings/sec, 2050 secs
lola: STP completed || 1 tries, 216568 fired transitions, 2055 secs || 370603 markings, 41464195 edges, 252 markings/sec, 2055 secs
lola: STP completed || 1 tries, 217119 fired transitions, 2060 secs || 371793 markings, 41570098 edges, 238 markings/sec, 2060 secs
lola: STP completed || 1 tries, 217660 fired transitions, 2065 secs || 372911 markings, 41680357 edges, 224 markings/sec, 2065 secs
lola: STP completed || 1 tries, 218168 fired transitions, 2070 secs || 374307 markings, 41788983 edges, 279 markings/sec, 2070 secs
lola: STP completed || 1 tries, 218716 fired transitions, 2075 secs || 375665 markings, 41897873 edges, 272 markings/sec, 2075 secs
lola: STP completed || 1 tries, 219259 fired transitions, 2080 secs || 377022 markings, 42005088 edges, 271 markings/sec, 2080 secs
lola: STP completed || 1 tries, 219781 fired transitions, 2085 secs || 378531 markings, 42105613 edges, 302 markings/sec, 2085 secs
lola: STP completed || 1 tries, 220276 fired transitions, 2090 secs || 379815 markings, 42213500 edges, 257 markings/sec, 2090 secs
lola: STP completed || 1 tries, 220782 fired transitions, 2095 secs || 380972 markings, 42322342 edges, 231 markings/sec, 2095 secs
lola: STP completed || 1 tries, 221306 fired transitions, 2100 secs || 382440 markings, 42429862 edges, 294 markings/sec, 2100 secs
lola: STP completed || 1 tries, 221819 fired transitions, 2105 secs || 383660 markings, 42538417 edges, 244 markings/sec, 2105 secs
lola: STP completed || 1 tries, 222329 fired transitions, 2110 secs || 384913 markings, 42648381 edges, 251 markings/sec, 2110 secs
lola: STP completed || 1 tries, 222855 fired transitions, 2115 secs || 386431 markings, 42756847 edges, 304 markings/sec, 2115 secs
lola: STP completed || 1 tries, 223377 fired transitions, 2120 secs || 387522 markings, 42865432 edges, 218 markings/sec, 2120 secs
lola: STP completed || 1 tries, 223902 fired transitions, 2125 secs || 388789 markings, 42974873 edges, 253 markings/sec, 2125 secs
lola: STP completed || 1 tries, 224436 fired transitions, 2130 secs || 390487 markings, 43079805 edges, 340 markings/sec, 2130 secs
lola: STP completed || 1 tries, 224966 fired transitions, 2135 secs || 392115 markings, 43182230 edges, 326 markings/sec, 2135 secs
lola: STP completed || 1 tries, 225493 fired transitions, 2140 secs || 393694 markings, 43292593 edges, 316 markings/sec, 2140 secs
lola: STP completed || 1 tries, 226015 fired transitions, 2145 secs || 395376 markings, 43400029 edges, 336 markings/sec, 2145 secs
lola: STP completed || 1 tries, 226556 fired transitions, 2150 secs || 396674 markings, 43509891 edges, 260 markings/sec, 2150 secs
lola: STP completed || 1 tries, 227095 fired transitions, 2155 secs || 397914 markings, 43618735 edges, 248 markings/sec, 2155 secs
lola: STP completed || 1 tries, 227613 fired transitions, 2160 secs || 399236 markings, 43729969 edges, 264 markings/sec, 2160 secs
lola: STP completed || 1 tries, 228105 fired transitions, 2165 secs || 400574 markings, 43837513 edges, 268 markings/sec, 2165 secs
lola: STP completed || 1 tries, 228591 fired transitions, 2170 secs || 401872 markings, 43946122 edges, 260 markings/sec, 2170 secs
lola: STP completed || 1 tries, 229128 fired transitions, 2175 secs || 402989 markings, 44054105 edges, 223 markings/sec, 2175 secs
lola: STP completed || 1 tries, 229657 fired transitions, 2180 secs || 404217 markings, 44160278 edges, 246 markings/sec, 2180 secs
lola: STP completed || 1 tries, 230195 fired transitions, 2185 secs || 405633 markings, 44266227 edges, 283 markings/sec, 2185 secs
lola: STP completed || 1 tries, 230725 fired transitions, 2190 secs || 407036 markings, 44375127 edges, 281 markings/sec, 2190 secs
lola: STP completed || 1 tries, 231255 fired transitions, 2195 secs || 408372 markings, 44483935 edges, 267 markings/sec, 2195 secs
lola: STP completed || 1 tries, 231743 fired transitions, 2200 secs || 409625 markings, 44589699 edges, 251 markings/sec, 2200 secs
lola: STP completed || 1 tries, 232209 fired transitions, 2205 secs || 410747 markings, 44697969 edges, 224 markings/sec, 2205 secs
lola: STP completed || 1 tries, 232747 fired transitions, 2210 secs || 412047 markings, 44805392 edges, 260 markings/sec, 2210 secs
lola: STP completed || 1 tries, 233283 fired transitions, 2215 secs || 413214 markings, 44914403 edges, 233 markings/sec, 2215 secs
lola: STP completed || 1 tries, 233816 fired transitions, 2220 secs || 414462 markings, 45023580 edges, 250 markings/sec, 2220 secs
lola: STP completed || 1 tries, 234350 fired transitions, 2225 secs || 415917 markings, 45131432 edges, 291 markings/sec, 2225 secs
lola: STP completed || 1 tries, 234891 fired transitions, 2230 secs || 417401 markings, 45242760 edges, 297 markings/sec, 2230 secs
lola: STP completed || 1 tries, 235442 fired transitions, 2235 secs || 418742 markings, 45350296 edges, 268 markings/sec, 2235 secs
lola: STP completed || 1 tries, 235984 fired transitions, 2240 secs || 420043 markings, 45459083 edges, 260 markings/sec, 2240 secs
lola: STP completed || 1 tries, 236525 fired transitions, 2245 secs || 421199 markings, 45567323 edges, 231 markings/sec, 2245 secs
lola: STP completed || 1 tries, 237034 fired transitions, 2250 secs || 422448 markings, 45677216 edges, 250 markings/sec, 2250 secs
lola: STP completed || 1 tries, 237572 fired transitions, 2255 secs || 424069 markings, 45784757 edges, 324 markings/sec, 2255 secs
lola: STP completed || 1 tries, 238108 fired transitions, 2260 secs || 425305 markings, 45894682 edges, 247 markings/sec, 2260 secs
lola: STP completed || 1 tries, 238622 fired transitions, 2265 secs || 426566 markings, 46004466 edges, 252 markings/sec, 2265 secs
lola: STP completed || 1 tries, 239145 fired transitions, 2270 secs || 427829 markings, 46113330 edges, 253 markings/sec, 2270 secs
lola: STP completed || 1 tries, 239657 fired transitions, 2275 secs || 429082 markings, 46223578 edges, 251 markings/sec, 2275 secs
lola: STP completed || 1 tries, 240177 fired transitions, 2280 secs || 430739 markings, 46332358 edges, 331 markings/sec, 2280 secs
lola: STP completed || 1 tries, 240702 fired transitions, 2285 secs || 432219 markings, 46440601 edges, 296 markings/sec, 2285 secs
lola: STP completed || 1 tries, 241221 fired transitions, 2290 secs || 433741 markings, 46549029 edges, 304 markings/sec, 2290 secs
lola: STP completed || 1 tries, 241748 fired transitions, 2295 secs || 435009 markings, 46658059 edges, 254 markings/sec, 2295 secs
lola: STP completed || 1 tries, 242276 fired transitions, 2300 secs || 436117 markings, 46767080 edges, 222 markings/sec, 2300 secs
lola: STP completed || 1 tries, 242803 fired transitions, 2305 secs || 437275 markings, 46876911 edges, 232 markings/sec, 2305 secs
lola: STP completed || 1 tries, 243334 fired transitions, 2310 secs || 438545 markings, 46986714 edges, 254 markings/sec, 2310 secs
lola: STP completed || 1 tries, 243857 fired transitions, 2315 secs || 440061 markings, 47096963 edges, 303 markings/sec, 2315 secs
lola: STP completed || 1 tries, 244367 fired transitions, 2320 secs || 441368 markings, 47207103 edges, 261 markings/sec, 2320 secs
lola: STP completed || 1 tries, 244889 fired transitions, 2325 secs || 442639 markings, 47316904 edges, 254 markings/sec, 2325 secs
lola: STP completed || 1 tries, 245405 fired transitions, 2330 secs || 443872 markings, 47425285 edges, 247 markings/sec, 2330 secs
lola: STP completed || 1 tries, 245938 fired transitions, 2335 secs || 445049 markings, 47534713 edges, 235 markings/sec, 2335 secs
lola: STP completed || 1 tries, 246461 fired transitions, 2340 secs || 446377 markings, 47643297 edges, 266 markings/sec, 2340 secs
lola: STP completed || 1 tries, 246988 fired transitions, 2345 secs || 447589 markings, 47752702 edges, 242 markings/sec, 2345 secs
lola: STP completed || 1 tries, 247500 fired transitions, 2350 secs || 448797 markings, 47861871 edges, 242 markings/sec, 2350 secs
lola: STP completed || 1 tries, 248026 fired transitions, 2355 secs || 450119 markings, 47970218 edges, 264 markings/sec, 2355 secs
lola: STP completed || 1 tries, 248527 fired transitions, 2360 secs || 451308 markings, 48081604 edges, 238 markings/sec, 2360 secs
lola: STP completed || 1 tries, 249035 fired transitions, 2365 secs || 452695 markings, 48191124 edges, 277 markings/sec, 2365 secs
lola: STP completed || 1 tries, 249558 fired transitions, 2370 secs || 454137 markings, 48298268 edges, 288 markings/sec, 2370 secs
lola: STP completed || 1 tries, 250063 fired transitions, 2375 secs || 455406 markings, 48406374 edges, 254 markings/sec, 2375 secs
lola: STP completed || 1 tries, 250569 fired transitions, 2380 secs || 456603 markings, 48512559 edges, 239 markings/sec, 2380 secs
lola: STP completed || 1 tries, 251083 fired transitions, 2385 secs || 457967 markings, 48623638 edges, 273 markings/sec, 2385 secs
lola: STP completed || 1 tries, 251625 fired transitions, 2390 secs || 459478 markings, 48732680 edges, 302 markings/sec, 2390 secs
lola: STP completed || 1 tries, 252148 fired transitions, 2395 secs || 460668 markings, 48842010 edges, 238 markings/sec, 2395 secs
lola: STP completed || 1 tries, 252669 fired transitions, 2400 secs || 462288 markings, 48949577 edges, 324 markings/sec, 2400 secs
lola: STP completed || 1 tries, 253102 fired transitions, 2405 secs || 463823 markings, 49050552 edges, 307 markings/sec, 2405 secs
lola: STP completed || 1 tries, 253547 fired transitions, 2410 secs || 465245 markings, 49154342 edges, 284 markings/sec, 2410 secs
lola: STP completed || 1 tries, 254022 fired transitions, 2415 secs || 466744 markings, 49258610 edges, 300 markings/sec, 2415 secs
lola: STP completed || 1 tries, 254543 fired transitions, 2420 secs || 467907 markings, 49365515 edges, 233 markings/sec, 2420 secs
lola: STP completed || 1 tries, 255044 fired transitions, 2425 secs || 469298 markings, 49474240 edges, 278 markings/sec, 2425 secs
lola: STP completed || 1 tries, 255555 fired transitions, 2430 secs || 470573 markings, 49584664 edges, 255 markings/sec, 2430 secs
lola: STP completed || 1 tries, 256076 fired transitions, 2435 secs || 472114 markings, 49692923 edges, 308 markings/sec, 2435 secs
lola: STP completed || 1 tries, 256610 fired transitions, 2440 secs || 473408 markings, 49803722 edges, 259 markings/sec, 2440 secs
lola: STP completed || 1 tries, 257145 fired transitions, 2445 secs || 474988 markings, 49911783 edges, 316 markings/sec, 2445 secs
lola: STP completed || 1 tries, 257662 fired transitions, 2450 secs || 476486 markings, 50022441 edges, 300 markings/sec, 2450 secs
lola: STP completed || 1 tries, 258174 fired transitions, 2455 secs || 477879 markings, 50131479 edges, 279 markings/sec, 2455 secs
lola: STP completed || 1 tries, 258679 fired transitions, 2460 secs || 479234 markings, 50241001 edges, 271 markings/sec, 2460 secs
lola: STP completed || 1 tries, 259200 fired transitions, 2465 secs || 480410 markings, 50354225 edges, 235 markings/sec, 2465 secs
lola: STP completed || 1 tries, 259728 fired transitions, 2470 secs || 481940 markings, 50463696 edges, 306 markings/sec, 2470 secs
lola: STP completed || 1 tries, 260228 fired transitions, 2475 secs || 483123 markings, 50573035 edges, 237 markings/sec, 2475 secs
lola: STP completed || 1 tries, 260704 fired transitions, 2480 secs || 484614 markings, 50679531 edges, 298 markings/sec, 2480 secs
lola: STP completed || 1 tries, 261214 fired transitions, 2485 secs || 485903 markings, 50789780 edges, 258 markings/sec, 2485 secs
lola: STP completed || 1 tries, 261733 fired transitions, 2490 secs || 487289 markings, 50898871 edges, 277 markings/sec, 2490 secs
lola: STP completed || 1 tries, 262263 fired transitions, 2495 secs || 488722 markings, 51007428 edges, 287 markings/sec, 2495 secs
lola: STP completed || 1 tries, 262757 fired transitions, 2500 secs || 490169 markings, 51106056 edges, 289 markings/sec, 2500 secs
lola: STP completed || 1 tries, 263296 fired transitions, 2505 secs || 491635 markings, 51213221 edges, 293 markings/sec, 2505 secs
lola: STP completed || 1 tries, 263811 fired transitions, 2510 secs || 492835 markings, 51323546 edges, 240 markings/sec, 2510 secs
lola: STP completed || 1 tries, 264325 fired transitions, 2515 secs || 494345 markings, 51430924 edges, 302 markings/sec, 2515 secs
lola: STP completed || 1 tries, 264832 fired transitions, 2520 secs || 495817 markings, 51539553 edges, 294 markings/sec, 2520 secs
lola: STP completed || 1 tries, 265352 fired transitions, 2525 secs || 497145 markings, 51642947 edges, 266 markings/sec, 2525 secs
lola: STP completed || 1 tries, 265853 fired transitions, 2530 secs || 498407 markings, 51744635 edges, 252 markings/sec, 2530 secs
lola: STP completed || 1 tries, 266381 fired transitions, 2535 secs || 499532 markings, 51851739 edges, 225 markings/sec, 2535 secs
lola: STP completed || 1 tries, 266907 fired transitions, 2540 secs || 500689 markings, 51960172 edges, 231 markings/sec, 2540 secs
lola: STP completed || 1 tries, 267454 fired transitions, 2545 secs || 502319 markings, 52069372 edges, 326 markings/sec, 2545 secs
lola: STP completed || 1 tries, 268014 fired transitions, 2550 secs || 503813 markings, 52177550 edges, 299 markings/sec, 2550 secs
lola: STP completed || 1 tries, 268569 fired transitions, 2555 secs || 505046 markings, 52289001 edges, 247 markings/sec, 2555 secs
lola: STP completed || 1 tries, 269097 fired transitions, 2560 secs || 506322 markings, 52398888 edges, 255 markings/sec, 2560 secs
lola: STP completed || 1 tries, 269626 fired transitions, 2565 secs || 507608 markings, 52505474 edges, 257 markings/sec, 2565 secs
lola: STP completed || 1 tries, 270146 fired transitions, 2570 secs || 508825 markings, 52614742 edges, 243 markings/sec, 2570 secs
lola: STP completed || 1 tries, 270684 fired transitions, 2575 secs || 510205 markings, 52722048 edges, 276 markings/sec, 2575 secs
lola: STP completed || 1 tries, 271197 fired transitions, 2580 secs || 511299 markings, 52826824 edges, 219 markings/sec, 2580 secs
lola: STP completed || 1 tries, 271676 fired transitions, 2585 secs || 512509 markings, 52928606 edges, 242 markings/sec, 2585 secs
lola: STP completed || 1 tries, 272171 fired transitions, 2590 secs || 514047 markings, 53030111 edges, 308 markings/sec, 2590 secs
lola: STP completed || 1 tries, 272653 fired transitions, 2595 secs || 515365 markings, 53137467 edges, 264 markings/sec, 2595 secs
lola: STP completed || 1 tries, 273158 fired transitions, 2600 secs || 516565 markings, 53244449 edges, 240 markings/sec, 2600 secs
lola: STP completed || 1 tries, 273625 fired transitions, 2605 secs || 517968 markings, 53347873 edges, 281 markings/sec, 2605 secs
lola: STP completed || 1 tries, 274132 fired transitions, 2610 secs || 519204 markings, 53461543 edges, 247 markings/sec, 2610 secs
lola: STP completed || 1 tries, 274630 fired transitions, 2615 secs || 520502 markings, 53568583 edges, 260 markings/sec, 2615 secs
lola: STP completed || 1 tries, 275146 fired transitions, 2620 secs || 522012 markings, 53673424 edges, 302 markings/sec, 2620 secs
lola: STP completed || 1 tries, 275654 fired transitions, 2625 secs || 523161 markings, 53780711 edges, 230 markings/sec, 2625 secs
lola: STP completed || 1 tries, 276174 fired transitions, 2630 secs || 524154 markings, 53886768 edges, 199 markings/sec, 2630 secs
lola: STP completed || 1 tries, 276703 fired transitions, 2635 secs || 524739 markings, 53990738 edges, 117 markings/sec, 2635 secs
lola: STP completed || 1 tries, 277227 fired transitions, 2640 secs || 525345 markings, 54095232 edges, 121 markings/sec, 2640 secs
lola: STP completed || 1 tries, 277738 fired transitions, 2645 secs || 525935 markings, 54201184 edges, 118 markings/sec, 2645 secs
lola: STP completed || 1 tries, 278257 fired transitions, 2650 secs || 526572 markings, 54307547 edges, 127 markings/sec, 2650 secs
lola: STP completed || 1 tries, 278789 fired transitions, 2655 secs || 527198 markings, 54415292 edges, 125 markings/sec, 2655 secs
lola: STP completed || 1 tries, 279322 fired transitions, 2660 secs || 528004 markings, 54520474 edges, 161 markings/sec, 2660 secs
lola: STP completed || 1 tries, 279862 fired transitions, 2665 secs || 529039 markings, 54627139 edges, 207 markings/sec, 2665 secs
lola: STP completed || 1 tries, 280435 fired transitions, 2670 secs || 529865 markings, 54733083 edges, 165 markings/sec, 2670 secs
lola: STP completed || 1 tries, 280957 fired transitions, 2675 secs || 530825 markings, 54843497 edges, 192 markings/sec, 2675 secs
lola: STP completed || 1 tries, 281502 fired transitions, 2680 secs || 531853 markings, 54953799 edges, 206 markings/sec, 2680 secs
lola: STP completed || 1 tries, 281991 fired transitions, 2685 secs || 532676 markings, 55060800 edges, 165 markings/sec, 2685 secs
lola: STP completed || 1 tries, 282500 fired transitions, 2690 secs || 533295 markings, 55167793 edges, 124 markings/sec, 2690 secs
lola: STP completed || 1 tries, 282984 fired transitions, 2695 secs || 533924 markings, 55272709 edges, 126 markings/sec, 2695 secs
lola: STP completed || 1 tries, 283488 fired transitions, 2700 secs || 534742 markings, 55379085 edges, 164 markings/sec, 2700 secs
lola: STP completed || 1 tries, 284003 fired transitions, 2705 secs || 535540 markings, 55488565 edges, 160 markings/sec, 2705 secs
lola: STP completed || 1 tries, 284514 fired transitions, 2710 secs || 536160 markings, 55592688 edges, 124 markings/sec, 2710 secs
lola: STP completed || 1 tries, 285035 fired transitions, 2715 secs || 536736 markings, 55696514 edges, 115 markings/sec, 2715 secs
lola: STP completed || 1 tries, 285551 fired transitions, 2720 secs || 537443 markings, 55803060 edges, 141 markings/sec, 2720 secs
lola: STP completed || 1 tries, 286089 fired transitions, 2725 secs || 538239 markings, 55910893 edges, 159 markings/sec, 2725 secs
lola: STP completed || 1 tries, 286613 fired transitions, 2730 secs || 539055 markings, 56017601 edges, 163 markings/sec, 2730 secs
lola: STP completed || 1 tries, 287153 fired transitions, 2735 secs || 540012 markings, 56125400 edges, 191 markings/sec, 2735 secs
lola: STP completed || 1 tries, 287677 fired transitions, 2740 secs || 540871 markings, 56234798 edges, 172 markings/sec, 2740 secs
lola: STP completed || 1 tries, 288173 fired transitions, 2745 secs || 541498 markings, 56341942 edges, 125 markings/sec, 2745 secs
lola: STP completed || 1 tries, 288688 fired transitions, 2750 secs || 542236 markings, 56447618 edges, 148 markings/sec, 2750 secs
lola: STP completed || 1 tries, 289240 fired transitions, 2755 secs || 542889 markings, 56553365 edges, 131 markings/sec, 2755 secs
lola: STP completed || 1 tries, 289767 fired transitions, 2760 secs || 543502 markings, 56658057 edges, 123 markings/sec, 2760 secs
lola: STP completed || 1 tries, 290306 fired transitions, 2765 secs || 544384 markings, 56760166 edges, 176 markings/sec, 2765 secs
lola: STP completed || 1 tries, 290857 fired transitions, 2770 secs || 544931 markings, 56856561 edges, 109 markings/sec, 2770 secs
lola: STP completed || 1 tries, 291352 fired transitions, 2775 secs || 545720 markings, 56960860 edges, 158 markings/sec, 2775 secs
lola: STP completed || 1 tries, 291881 fired transitions, 2780 secs || 546450 markings, 57066737 edges, 146 markings/sec, 2780 secs
lola: STP completed || 1 tries, 292390 fired transitions, 2785 secs || 547388 markings, 57177818 edges, 188 markings/sec, 2785 secs
lola: STP completed || 1 tries, 292921 fired transitions, 2790 secs || 548383 markings, 57289809 edges, 199 markings/sec, 2790 secs
lola: STP completed || 1 tries, 293465 fired transitions, 2795 secs || 549248 markings, 57399617 edges, 173 markings/sec, 2795 secs
lola: STP completed || 1 tries, 293986 fired transitions, 2800 secs || 550367 markings, 57514110 edges, 224 markings/sec, 2800 secs
lola: STP completed || 1 tries, 294536 fired transitions, 2805 secs || 551448 markings, 57626228 edges, 216 markings/sec, 2805 secs
lola: STP completed || 1 tries, 295079 fired transitions, 2810 secs || 552503 markings, 57737660 edges, 211 markings/sec, 2810 secs
lola: STP completed || 1 tries, 295616 fired transitions, 2815 secs || 553428 markings, 57848501 edges, 185 markings/sec, 2815 secs
lola: STP completed || 1 tries, 296159 fired transitions, 2820 secs || 554365 markings, 57959994 edges, 187 markings/sec, 2820 secs
lola: STP completed || 1 tries, 296676 fired transitions, 2825 secs || 555300 markings, 58071179 edges, 187 markings/sec, 2825 secs
lola: STP completed || 1 tries, 297204 fired transitions, 2830 secs || 556383 markings, 58183760 edges, 217 markings/sec, 2830 secs
lola: STP completed || 1 tries, 297723 fired transitions, 2835 secs || 557436 markings, 58295264 edges, 211 markings/sec, 2835 secs
lola: STP completed || 1 tries, 298266 fired transitions, 2840 secs || 558680 markings, 58401641 edges, 249 markings/sec, 2840 secs
lola: STP completed || 1 tries, 298793 fired transitions, 2845 secs || 559860 markings, 58509409 edges, 236 markings/sec, 2845 secs
lola: STP completed || 1 tries, 299325 fired transitions, 2850 secs || 561016 markings, 58618540 edges, 231 markings/sec, 2850 secs
lola: STP completed || 1 tries, 299852 fired transitions, 2855 secs || 562024 markings, 58727350 edges, 202 markings/sec, 2855 secs
lola: STP completed || 1 tries, 300385 fired transitions, 2860 secs || 563316 markings, 58834652 edges, 258 markings/sec, 2860 secs
lola: STP completed || 1 tries, 300951 fired transitions, 2865 secs || 564446 markings, 58944188 edges, 226 markings/sec, 2865 secs
lola: STP completed || 1 tries, 301496 fired transitions, 2870 secs || 565606 markings, 59051543 edges, 232 markings/sec, 2870 secs
lola: STP completed || 1 tries, 302043 fired transitions, 2875 secs || 566815 markings, 59158557 edges, 242 markings/sec, 2875 secs
lola: STP completed || 1 tries, 302578 fired transitions, 2880 secs || 567536 markings, 59261906 edges, 144 markings/sec, 2880 secs
lola: STP completed || 1 tries, 303097 fired transitions, 2885 secs || 568217 markings, 59365866 edges, 136 markings/sec, 2885 secs
lola: STP completed || 1 tries, 303603 fired transitions, 2890 secs || 568991 markings, 59472007 edges, 155 markings/sec, 2890 secs
lola: STP completed || 1 tries, 304146 fired transitions, 2895 secs || 569534 markings, 59575431 edges, 109 markings/sec, 2895 secs
lola: STP completed || 1 tries, 304660 fired transitions, 2900 secs || 570248 markings, 59680240 edges, 143 markings/sec, 2900 secs
lola: STP completed || 1 tries, 305197 fired transitions, 2905 secs || 571025 markings, 59784479 edges, 155 markings/sec, 2905 secs
lola: STP completed || 1 tries, 305714 fired transitions, 2910 secs || 571947 markings, 59893292 edges, 184 markings/sec, 2910 secs
lola: STP completed || 1 tries, 306231 fired transitions, 2915 secs || 572705 markings, 59997613 edges, 152 markings/sec, 2915 secs
lola: STP completed || 1 tries, 306756 fired transitions, 2920 secs || 573294 markings, 60101710 edges, 118 markings/sec, 2920 secs
lola: STP completed || 1 tries, 307281 fired transitions, 2925 secs || 574116 markings, 60207690 edges, 164 markings/sec, 2925 secs
lola: STP completed || 1 tries, 307816 fired transitions, 2930 secs || 574985 markings, 60316097 edges, 174 markings/sec, 2930 secs
lola: STP completed || 1 tries, 308332 fired transitions, 2935 secs || 575966 markings, 60425587 edges, 196 markings/sec, 2935 secs
lola: STP completed || 1 tries, 308869 fired transitions, 2940 secs || 576567 markings, 60528989 edges, 120 markings/sec, 2940 secs
lola: STP completed || 1 tries, 309407 fired transitions, 2945 secs || 577257 markings, 60633531 edges, 138 markings/sec, 2945 secs
lola: STP completed || 1 tries, 309925 fired transitions, 2950 secs || 577957 markings, 60738183 edges, 140 markings/sec, 2950 secs
lola: STP completed || 1 tries, 310457 fired transitions, 2955 secs || 578547 markings, 60841941 edges, 118 markings/sec, 2955 secs
lola: STP completed || 1 tries, 311000 fired transitions, 2960 secs || 579322 markings, 60945893 edges, 155 markings/sec, 2960 secs
lola: STP completed || 1 tries, 311527 fired transitions, 2965 secs || 580025 markings, 61049861 edges, 141 markings/sec, 2965 secs
lola: STP completed || 1 tries, 312034 fired transitions, 2970 secs || 580737 markings, 61155090 edges, 142 markings/sec, 2970 secs
lola: STP completed || 1 tries, 312568 fired transitions, 2975 secs || 581443 markings, 61259734 edges, 141 markings/sec, 2975 secs
lola: STP completed || 1 tries, 313106 fired transitions, 2980 secs || 582365 markings, 61366990 edges, 184 markings/sec, 2980 secs
lola: STP completed || 1 tries, 313652 fired transitions, 2985 secs || 583290 markings, 61474922 edges, 185 markings/sec, 2985 secs
lola: STP completed || 1 tries, 314161 fired transitions, 2990 secs || 584148 markings, 61582536 edges, 172 markings/sec, 2990 secs
lola: STP completed || 1 tries, 314702 fired transitions, 2995 secs || 585011 markings, 61689591 edges, 173 markings/sec, 2995 secs
lola: STP completed || 1 tries, 315222 fired transitions, 3000 secs || 585594 markings, 61793124 edges, 117 markings/sec, 3000 secs
lola: STP completed || 1 tries, 315743 fired transitions, 3005 secs || 586184 markings, 61897595 edges, 118 markings/sec, 3005 secs
lola: STP completed || 1 tries, 316234 fired transitions, 3010 secs || 586698 markings, 61990759 edges, 103 markings/sec, 3010 secs
lola: STP completed || 1 tries, 316737 fired transitions, 3015 secs || 587334 markings, 62096907 edges, 127 markings/sec, 3015 secs
lola: STP completed || 1 tries, 317274 fired transitions, 3020 secs || 587961 markings, 62204642 edges, 125 markings/sec, 3020 secs
lola: STP completed || 1 tries, 317802 fired transitions, 3025 secs || 588807 markings, 62313202 edges, 169 markings/sec, 3025 secs
lola: STP completed || 1 tries, 318319 fired transitions, 3030 secs || 589868 markings, 62422925 edges, 212 markings/sec, 3030 secs
lola: STP completed || 1 tries, 318843 fired transitions, 3035 secs || 590730 markings, 62531412 edges, 172 markings/sec, 3035 secs
lola: STP completed || 1 tries, 319370 fired transitions, 3040 secs || 591667 markings, 62644875 edges, 187 markings/sec, 3040 secs
lola: STP completed || 1 tries, 319894 fired transitions, 3045 secs || 592664 markings, 62755844 edges, 199 markings/sec, 3045 secs
lola: STP completed || 1 tries, 320402 fired transitions, 3050 secs || 593423 markings, 62855122 edges, 152 markings/sec, 3050 secs
lola: STP completed || 1 tries, 320939 fired transitions, 3055 secs || 594453 markings, 62966696 edges, 206 markings/sec, 3055 secs
lola: STP completed || 1 tries, 321464 fired transitions, 3060 secs || 595423 markings, 63073987 edges, 194 markings/sec, 3060 secs
lola: STP completed || 1 tries, 321998 fired transitions, 3065 secs || 596341 markings, 63177078 edges, 184 markings/sec, 3065 secs
lola: STP completed || 1 tries, 322514 fired transitions, 3070 secs || 597356 markings, 63279600 edges, 203 markings/sec, 3070 secs
lola: STP completed || 1 tries, 323038 fired transitions, 3075 secs || 598485 markings, 63394713 edges, 226 markings/sec, 3075 secs
lola: STP completed || 1 tries, 323569 fired transitions, 3080 secs || 599573 markings, 63506971 edges, 218 markings/sec, 3080 secs
lola: STP completed || 1 tries, 324100 fired transitions, 3085 secs || 600702 markings, 63621930 edges, 226 markings/sec, 3085 secs
lola: STP completed || 1 tries, 324608 fired transitions, 3090 secs || 601928 markings, 63733972 edges, 245 markings/sec, 3090 secs
lola: STP completed || 1 tries, 325153 fired transitions, 3095 secs || 602961 markings, 63846362 edges, 207 markings/sec, 3095 secs
lola: STP completed || 1 tries, 325672 fired transitions, 3100 secs || 604038 markings, 63962040 edges, 215 markings/sec, 3100 secs
lola: STP completed || 1 tries, 326205 fired transitions, 3105 secs || 605336 markings, 64068533 edges, 260 markings/sec, 3105 secs
lola: STP completed || 1 tries, 326737 fired transitions, 3110 secs || 606534 markings, 64180369 edges, 240 markings/sec, 3110 secs
lola: STP completed || 1 tries, 327278 fired transitions, 3115 secs || 607759 markings, 64293163 edges, 245 markings/sec, 3115 secs
lola: STP completed || 1 tries, 327800 fired transitions, 3120 secs || 608951 markings, 64404615 edges, 238 markings/sec, 3120 secs
lola: STP completed || 1 tries, 328337 fired transitions, 3125 secs || 610236 markings, 64514830 edges, 257 markings/sec, 3125 secs
lola: STP completed || 1 tries, 328877 fired transitions, 3130 secs || 611409 markings, 64627455 edges, 235 markings/sec, 3130 secs
lola: STP completed || 1 tries, 329421 fired transitions, 3135 secs || 612800 markings, 64735611 edges, 278 markings/sec, 3135 secs
lola: STP completed || 1 tries, 329941 fired transitions, 3140 secs || 614058 markings, 64847232 edges, 252 markings/sec, 3140 secs
lola: STP completed || 1 tries, 330489 fired transitions, 3145 secs || 615095 markings, 64958641 edges, 207 markings/sec, 3145 secs
lola: STP completed || 1 tries, 331049 fired transitions, 3150 secs || 616289 markings, 65071609 edges, 239 markings/sec, 3150 secs
lola: STP completed || 1 tries, 331585 fired transitions, 3155 secs || 617618 markings, 65180418 edges, 266 markings/sec, 3155 secs
lola: STP completed || 1 tries, 332113 fired transitions, 3160 secs || 618809 markings, 65292298 edges, 238 markings/sec, 3160 secs
lola: STP completed || 1 tries, 332639 fired transitions, 3165 secs || 620280 markings, 65394698 edges, 294 markings/sec, 3165 secs
lola: STP completed || 1 tries, 333165 fired transitions, 3170 secs || 621703 markings, 65491233 edges, 285 markings/sec, 3170 secs
lola: STP completed || 1 tries, 333709 fired transitions, 3175 secs || 623106 markings, 65599061 edges, 281 markings/sec, 3175 secs
lola: STP completed || 1 tries, 334232 fired transitions, 3180 secs || 624429 markings, 65706282 edges, 265 markings/sec, 3180 secs
lola: STP completed || 1 tries, 334759 fired transitions, 3185 secs || 625622 markings, 65815845 edges, 239 markings/sec, 3185 secs
lola: STP completed || 1 tries, 335286 fired transitions, 3190 secs || 626685 markings, 65924804 edges, 213 markings/sec, 3190 secs
lola: STP completed || 1 tries, 335795 fired transitions, 3195 secs || 628227 markings, 66030483 edges, 308 markings/sec, 3195 secs
lola: STP completed || 1 tries, 336322 fired transitions, 3200 secs || 629151 markings, 66142576 edges, 185 markings/sec, 3200 secs
lola: STP completed || 1 tries, 336843 fired transitions, 3205 secs || 630384 markings, 66251641 edges, 247 markings/sec, 3205 secs
lola: STP completed || 1 tries, 337371 fired transitions, 3210 secs || 631559 markings, 66361813 edges, 235 markings/sec, 3210 secs
lola: STP completed || 1 tries, 337909 fired transitions, 3215 secs || 632744 markings, 66471628 edges, 237 markings/sec, 3215 secs
lola: STP completed || 1 tries, 338455 fired transitions, 3220 secs || 634166 markings, 66578323 edges, 284 markings/sec, 3220 secs
lola: STP completed || 1 tries, 338983 fired transitions, 3225 secs || 635475 markings, 66685235 edges, 262 markings/sec, 3225 secs
lola: STP completed || 1 tries, 339512 fired transitions, 3230 secs || 636731 markings, 66790969 edges, 251 markings/sec, 3230 secs
lola: STP completed || 1 tries, 340052 fired transitions, 3235 secs || 637770 markings, 66895056 edges, 208 markings/sec, 3235 secs
lola: STP completed || 1 tries, 340574 fired transitions, 3240 secs || 639063 markings, 67004762 edges, 259 markings/sec, 3240 secs
lola: STP completed || 1 tries, 341095 fired transitions, 3245 secs || 640155 markings, 67113846 edges, 218 markings/sec, 3245 secs
lola: STP completed || 1 tries, 341633 fired transitions, 3250 secs || 641305 markings, 67222697 edges, 230 markings/sec, 3250 secs
lola: STP completed || 1 tries, 342178 fired transitions, 3255 secs || 642932 markings, 67323580 edges, 325 markings/sec, 3255 secs
lola: STP completed || 1 tries, 342705 fired transitions, 3260 secs || 644158 markings, 67431072 edges, 245 markings/sec, 3260 secs
lola: STP completed || 1 tries, 343249 fired transitions, 3265 secs || 645504 markings, 67536915 edges, 269 markings/sec, 3265 secs
lola: STP completed || 1 tries, 343778 fired transitions, 3270 secs || 646689 markings, 67643371 edges, 237 markings/sec, 3270 secs
lola: STP completed || 1 tries, 344327 fired transitions, 3275 secs || 647843 markings, 67751918 edges, 231 markings/sec, 3275 secs
lola: STP completed || 1 tries, 344860 fired transitions, 3280 secs || 649043 markings, 67860363 edges, 240 markings/sec, 3280 secs
lola: STP completed || 1 tries, 345390 fired transitions, 3285 secs || 650529 markings, 67966329 edges, 297 markings/sec, 3285 secs
lola: STP completed || 1 tries, 345919 fired transitions, 3290 secs || 651861 markings, 68073072 edges, 266 markings/sec, 3290 secs
lola: STP completed || 1 tries, 346452 fired transitions, 3295 secs || 653041 markings, 68180907 edges, 236 markings/sec, 3295 secs
lola: STP completed || 1 tries, 347002 fired transitions, 3300 secs || 654259 markings, 68289359 edges, 244 markings/sec, 3300 secs
lola: STP completed || 1 tries, 347542 fired transitions, 3305 secs || 655361 markings, 68398702 edges, 220 markings/sec, 3305 secs
lola: STP completed || 1 tries, 348048 fired transitions, 3310 secs || 656903 markings, 68501438 edges, 308 markings/sec, 3310 secs
lola: STP completed || 1 tries, 348552 fired transitions, 3315 secs || 658207 markings, 68605917 edges, 261 markings/sec, 3315 secs
lola: STP completed || 1 tries, 349065 fired transitions, 3320 secs || 659422 markings, 68716336 edges, 243 markings/sec, 3320 secs
lola: STP completed || 1 tries, 349567 fired transitions, 3325 secs || 660522 markings, 68814320 edges, 220 markings/sec, 3325 secs
lola: STP completed || 1 tries, 350079 fired transitions, 3330 secs || 661708 markings, 68922976 edges, 237 markings/sec, 3330 secs
lola: STP completed || 1 tries, 350585 fired transitions, 3335 secs || 662347 markings, 69029312 edges, 128 markings/sec, 3335 secs
lola: STP completed || 1 tries, 351095 fired transitions, 3340 secs || 662993 markings, 69136691 edges, 129 markings/sec, 3340 secs
lola: STP completed || 1 tries, 351627 fired transitions, 3345 secs || 663590 markings, 69243199 edges, 119 markings/sec, 3345 secs
lola: STP completed || 1 tries, 352139 fired transitions, 3350 secs || 664189 markings, 69349462 edges, 120 markings/sec, 3350 secs
lola: STP completed || 1 tries, 352646 fired transitions, 3355 secs || 664788 markings, 69456544 edges, 120 markings/sec, 3355 secs
lola: STP completed || 1 tries, 353189 fired transitions, 3360 secs || 665378 markings, 69559364 edges, 118 markings/sec, 3360 secs
lola: STP completed || 1 tries, 353704 fired transitions, 3365 secs || 665970 markings, 69659437 edges, 118 markings/sec, 3365 secs
lola: STP completed || 1 tries, 354222 fired transitions, 3370 secs || 666620 markings, 69763006 edges, 130 markings/sec, 3370 secs
lola: STP completed || 1 tries, 354736 fired transitions, 3375 secs || 667165 markings, 69869894 edges, 109 markings/sec, 3375 secs
lola: STP completed || 1 tries, 355256 fired transitions, 3380 secs || 667792 markings, 69977302 edges, 125 markings/sec, 3380 secs
lola: STP completed || 1 tries, 355771 fired transitions, 3385 secs || 668630 markings, 70084805 edges, 168 markings/sec, 3385 secs
lola: STP completed || 1 tries, 356293 fired transitions, 3390 secs || 669604 markings, 70194917 edges, 195 markings/sec, 3390 secs
lola: STP completed || 1 tries, 356829 fired transitions, 3395 secs || 670384 markings, 70300936 edges, 156 markings/sec, 3395 secs
lola: STP completed || 1 tries, 357338 fired transitions, 3400 secs || 671353 markings, 70406212 edges, 194 markings/sec, 3400 secs
lola: STP completed || 1 tries, 357859 fired transitions, 3405 secs || 672311 markings, 70514000 edges, 192 markings/sec, 3405 secs
lola: STP completed || 1 tries, 358378 fired transitions, 3410 secs || 673200 markings, 70623781 edges, 178 markings/sec, 3410 secs
lola: STP completed || 1 tries, 358898 fired transitions, 3415 secs || 673935 markings, 70728056 edges, 147 markings/sec, 3415 secs
lola: STP completed || 1 tries, 359415 fired transitions, 3420 secs || 674822 markings, 70833623 edges, 177 markings/sec, 3420 secs
lola: STP completed || 1 tries, 359924 fired transitions, 3425 secs || 675637 markings, 70942047 edges, 163 markings/sec, 3425 secs
lola: STP completed || 1 tries, 360461 fired transitions, 3430 secs || 676446 markings, 71047961 edges, 162 markings/sec, 3430 secs
lola: STP completed || 1 tries, 360990 fired transitions, 3435 secs || 677295 markings, 71155237 edges, 170 markings/sec, 3435 secs
lola: STP completed || 1 tries, 361521 fired transitions, 3440 secs || 677944 markings, 71258677 edges, 130 markings/sec, 3440 secs
lola: STP completed || 1 tries, 362047 fired transitions, 3445 secs || 678665 markings, 71363642 edges, 144 markings/sec, 3445 secs
lola: STP completed || 1 tries, 362551 fired transitions, 3450 secs || 679519 markings, 71470245 edges, 171 markings/sec, 3450 secs
lola: STP completed || 1 tries, 363070 fired transitions, 3455 secs || 680127 markings, 71573021 edges, 122 markings/sec, 3455 secs
lola: STP completed || 1 tries, 363620 fired transitions, 3460 secs || 680712 markings, 71676370 edges, 117 markings/sec, 3460 secs
lola: STP completed || 1 tries, 364134 fired transitions, 3465 secs || 681294 markings, 71776501 edges, 116 markings/sec, 3465 secs
lola: STP completed || 1 tries, 364673 fired transitions, 3470 secs || 682059 markings, 71878267 edges, 153 markings/sec, 3470 secs
lola: STP completed || 1 tries, 365201 fired transitions, 3475 secs || 682772 markings, 71986419 edges, 143 markings/sec, 3475 secs
lola: STP completed || 1 tries, 365709 fired transitions, 3480 secs || 683738 markings, 72095879 edges, 193 markings/sec, 3480 secs
lola: STP completed || 1 tries, 366219 fired transitions, 3485 secs || 684693 markings, 72207052 edges, 191 markings/sec, 3485 secs
lola: STP completed || 1 tries, 366722 fired transitions, 3490 secs || 685775 markings, 72319362 edges, 216 markings/sec, 3490 secs
lola: STP completed || 1 tries, 367233 fired transitions, 3495 secs || 686735 markings, 72427440 edges, 192 markings/sec, 3495 secs
lola: STP completed || 1 tries, 367761 fired transitions, 3500 secs || 687665 markings, 72537344 edges, 186 markings/sec, 3500 secs
lola: STP completed || 1 tries, 368299 fired transitions, 3505 secs || 688808 markings, 72645355 edges, 229 markings/sec, 3505 secs
lola: STP completed || 1 tries, 368804 fired transitions, 3510 secs || 689897 markings, 72755222 edges, 218 markings/sec, 3510 secs
lola: STP completed || 1 tries, 369328 fired transitions, 3515 secs || 690848 markings, 72865420 edges, 190 markings/sec, 3515 secs
lola: STP completed || 1 tries, 369890 fired transitions, 3520 secs || 691837 markings, 72978530 edges, 198 markings/sec, 3520 secs
lola: STP completed || 1 tries, 370424 fired transitions, 3525 secs || 692943 markings, 73093024 edges, 221 markings/sec, 3525 secs
lola: STP completed || 1 tries, 370983 fired transitions, 3530 secs || 694071 markings, 73203074 edges, 226 markings/sec, 3530 secs
lola: STP completed || 1 tries, 371486 fired transitions, 3535 secs || 695035 markings, 73304698 edges, 193 markings/sec, 3535 secs
lola: STP completed || 1 tries, 372036 fired transitions, 3540 secs || 696160 markings, 73415986 edges, 225 markings/sec, 3540 secs
lola: STP completed || 1 tries, 372566 fired transitions, 3545 secs || 697389 markings, 73525731 edges, 246 markings/sec, 3545 secs
lola: STP completed || 1 tries, 373092 fired transitions, 3550 secs || 698267 markings, 73634261 edges, 176 markings/sec, 3550 secs
lola: STP completed || 1 tries, 373615 fired transitions, 3555 secs || 699320 markings, 73743848 edges, 211 markings/sec, 3555 secs
lola: STP completed || 1 tries, 374150 fired transitions, 3560 secs || 700413 markings, 73856099 edges, 219 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 1338128 KB
lola: time consumption: 3569 seconds

BK_STOP 1528134796445

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