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 '
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 ;