About the Execution of LoLA for Railroad-PT-100
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
662.790 | 3590693.00 | 7582759.00 | 5580.90 | [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 5.3M
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.2K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 5.2M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Railroad-PT-100, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r136-qhx2-152673578900202
=====================================================================
--------------------
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 Railroad-PT-100-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526969841882
info: Time: 3600 - MCC
===========================================================================================
prep: translating Railroad-PT-100 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Railroad-PT-100 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ Railroad-PT-100 @ 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: 11524/65536 symbol table entries, 3643 collisions
lola: preprocessing...
lola: Size of bit vector: 32576
lola: finding significant places
lola: 1018 places, 10506 transitions, 407 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 612 transition conflict sets
lola: TASK
lola: reading formula from Railroad-PT-100-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: STP: formula with 147778 variables and 889179 clauses shipped to Minisat
lola: STP running || 1 tries, 1407 fired transitions, 0 secs
lola: 535 generators; 508866 candidates remain ( 0%), 0 secs
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 2976 fired transitions, 5 secs
lola: 1158 generators; 504854 candidates remain ( 0%), 5 secs
lola: STP completed || 1 tries, 4481 fired transitions, 10 secs
lola: 2619 generators; 481906 candidates remain ( 0%), 10 secs
lola: STP completed || 1 tries, 6026 fired transitions, 15 secs
lola: 3403 generators; 402892 candidates remain ( 0%), 15 secs
lola: STP completed || 1 tries, 7600 fired transitions, 20 secs
lola: 3976 generators; 397513 candidates remain ( 0%), 20 secs
lola: STP completed || 1 tries, 9148 fired transitions, 25 secs
lola: 4742 generators; 388817 candidates remain ( 1%), 25 secs
lola: STP completed || 1 tries, 10668 fired transitions, 30 secs
lola: 5314 generators; 378989 candidates remain ( 1%), 30 secs
lola: STP completed || 1 tries, 12207 fired transitions, 35 secs
lola: 5765 generators; 363600 candidates remain ( 1%), 35 secs
lola: STP completed || 1 tries, 13612 fired transitions, 40 secs
lola: 6377 generators; 352504 candidates remain ( 1%), 40 secs
lola: STP completed || 1 tries, 15093 fired transitions, 45 secs
lola: 6853 generators; 341608 candidates remain ( 1%), 45 secs
lola: STP completed || 1 tries, 16683 fired transitions, 50 secs
lola: 7179 generators; 320478 candidates remain ( 2%), 50 secs
lola: STP completed || 1 tries, 18176 fired transitions, 55 secs
lola: 7347 generators; 295343 candidates remain ( 2%), 55 secs
lola: STP completed || 1 tries, 19686 fired transitions, 60 secs
lola: 7442 generators; 251698 candidates remain ( 2%), 60 secs
lola: STP completed || 1 tries, 21227 fired transitions, 65 secs
lola: 8978 generators; 182340 candidates remain ( 4%), 65 secs
lola: STP completed || 1 tries, 22757 fired transitions, 70 secs
lola: 15695 generators; 168135 candidates remain ( 8%), 70 secs
lola: STP completed || 1 tries, 24310 fired transitions, 75 secs
lola: 22120 generators; 153910 candidates remain (12%), 75 secs
lola: STP completed || 1 tries, 25886 fired transitions, 80 secs
lola: 28140 generators; 136632 candidates remain (17%), 80 secs
lola: STP completed || 1 tries, 27437 fired transitions, 85 secs
lola: 33678 generators; 114096 candidates remain (22%), 85 secs
lola: STP completed || 1 tries, 28976 fired transitions, 90 secs
lola: 39924 generators; 97616 candidates remain (29%), 90 secs
lola: STP completed || 1 tries, 30535 fired transitions, 95 secs
lola: 45798 generators; 74250 candidates remain (38%), 95 secs
lola: STP completed || 1 tries, 32069 fired transitions, 100 secs
lola: 50748 generators; 31725 candidates remain (61%), 100 secs
lola: computed 52029 generators (532 in search tree, 51497 by composition)
lola: representing 4.82775E+800 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 33489 fired transitions, 105 secs || 1103 markings, 2047 edges, 221 markings/sec, 105 secs
lola: STP completed || 1 tries, 34857 fired transitions, 110 secs || 2652 markings, 5298 edges, 310 markings/sec, 110 secs
lola: STP completed || 1 tries, 36235 fired transitions, 115 secs || 4229 markings, 8163 edges, 315 markings/sec, 115 secs
lola: STP completed || 1 tries, 37633 fired transitions, 120 secs || 5831 markings, 11504 edges, 320 markings/sec, 120 secs
lola: STP completed || 1 tries, 39034 fired transitions, 125 secs || 7383 markings, 14465 edges, 310 markings/sec, 125 secs
lola: STP completed || 1 tries, 40404 fired transitions, 130 secs || 8889 markings, 17143 edges, 301 markings/sec, 130 secs
lola: STP completed || 1 tries, 41826 fired transitions, 135 secs || 10392 markings, 20147 edges, 301 markings/sec, 135 secs
lola: STP completed || 1 tries, 43228 fired transitions, 140 secs || 11924 markings, 22910 edges, 306 markings/sec, 140 secs
lola: STP completed || 1 tries, 44624 fired transitions, 145 secs || 13504 markings, 25848 edges, 316 markings/sec, 145 secs
lola: STP completed || 1 tries, 46048 fired transitions, 150 secs || 15018 markings, 28455 edges, 303 markings/sec, 150 secs
lola: STP completed || 1 tries, 47486 fired transitions, 155 secs || 16443 markings, 30792 edges, 285 markings/sec, 155 secs
lola: STP completed || 1 tries, 48893 fired transitions, 160 secs || 17764 markings, 33732 edges, 264 markings/sec, 160 secs
lola: STP completed || 1 tries, 50255 fired transitions, 165 secs || 19077 markings, 36806 edges, 263 markings/sec, 165 secs
lola: STP completed || 1 tries, 51540 fired transitions, 170 secs || 20518 markings, 40246 edges, 288 markings/sec, 170 secs
lola: STP completed || 1 tries, 52842 fired transitions, 175 secs || 21927 markings, 43586 edges, 282 markings/sec, 175 secs
lola: STP completed || 1 tries, 54229 fired transitions, 180 secs || 23291 markings, 46699 edges, 273 markings/sec, 180 secs
lola: STP completed || 1 tries, 55611 fired transitions, 185 secs || 24586 markings, 49894 edges, 259 markings/sec, 185 secs
lola: STP completed || 1 tries, 56988 fired transitions, 190 secs || 26142 markings, 53246 edges, 311 markings/sec, 190 secs
lola: STP completed || 1 tries, 58418 fired transitions, 195 secs || 27680 markings, 55862 edges, 308 markings/sec, 195 secs
lola: STP completed || 1 tries, 59854 fired transitions, 200 secs || 29164 markings, 58369 edges, 297 markings/sec, 200 secs
lola: STP completed || 1 tries, 61288 fired transitions, 205 secs || 30691 markings, 60968 edges, 305 markings/sec, 205 secs
lola: STP completed || 1 tries, 62745 fired transitions, 210 secs || 32162 markings, 63394 edges, 294 markings/sec, 210 secs
lola: STP completed || 1 tries, 64196 fired transitions, 215 secs || 33574 markings, 65906 edges, 282 markings/sec, 215 secs
lola: STP completed || 1 tries, 65638 fired transitions, 220 secs || 35148 markings, 68757 edges, 315 markings/sec, 220 secs
lola: STP completed || 1 tries, 67065 fired transitions, 225 secs || 36671 markings, 71726 edges, 305 markings/sec, 225 secs
lola: STP completed || 1 tries, 68486 fired transitions, 230 secs || 38177 markings, 74643 edges, 301 markings/sec, 230 secs
lola: STP completed || 1 tries, 69916 fired transitions, 235 secs || 39738 markings, 77305 edges, 312 markings/sec, 235 secs
lola: STP completed || 1 tries, 71335 fired transitions, 240 secs || 41259 markings, 79939 edges, 304 markings/sec, 240 secs
lola: STP completed || 1 tries, 72740 fired transitions, 245 secs || 42660 markings, 82818 edges, 280 markings/sec, 245 secs
lola: STP completed || 1 tries, 74165 fired transitions, 250 secs || 44028 markings, 85797 edges, 274 markings/sec, 250 secs
lola: STP completed || 1 tries, 75580 fired transitions, 255 secs || 45384 markings, 88639 edges, 271 markings/sec, 255 secs
lola: STP completed || 1 tries, 76995 fired transitions, 260 secs || 46767 markings, 91401 edges, 277 markings/sec, 260 secs
lola: STP completed || 1 tries, 78382 fired transitions, 265 secs || 48249 markings, 94309 edges, 296 markings/sec, 265 secs
lola: STP completed || 1 tries, 79769 fired transitions, 270 secs || 49706 markings, 97214 edges, 291 markings/sec, 270 secs
lola: STP completed || 1 tries, 81161 fired transitions, 275 secs || 51076 markings, 100516 edges, 274 markings/sec, 275 secs
lola: STP completed || 1 tries, 82568 fired transitions, 280 secs || 52501 markings, 103985 edges, 285 markings/sec, 280 secs
lola: STP completed || 1 tries, 83985 fired transitions, 285 secs || 54031 markings, 106620 edges, 306 markings/sec, 285 secs
lola: STP completed || 1 tries, 85407 fired transitions, 290 secs || 55515 markings, 109202 edges, 297 markings/sec, 290 secs
lola: STP completed || 1 tries, 86828 fired transitions, 295 secs || 57001 markings, 111780 edges, 297 markings/sec, 295 secs
lola: STP completed || 1 tries, 88267 fired transitions, 300 secs || 58457 markings, 114191 edges, 291 markings/sec, 300 secs
lola: STP completed || 1 tries, 89707 fired transitions, 305 secs || 59921 markings, 116850 edges, 293 markings/sec, 305 secs
lola: STP completed || 1 tries, 91108 fired transitions, 310 secs || 61506 markings, 119693 edges, 317 markings/sec, 310 secs
lola: STP completed || 1 tries, 92514 fired transitions, 315 secs || 63068 markings, 122502 edges, 312 markings/sec, 315 secs
lola: STP completed || 1 tries, 93928 fired transitions, 320 secs || 64624 markings, 125318 edges, 311 markings/sec, 320 secs
lola: STP completed || 1 tries, 95346 fired transitions, 325 secs || 66102 markings, 127620 edges, 296 markings/sec, 325 secs
lola: STP completed || 1 tries, 96783 fired transitions, 330 secs || 67544 markings, 130435 edges, 288 markings/sec, 330 secs
lola: STP completed || 1 tries, 98171 fired transitions, 335 secs || 68997 markings, 133291 edges, 291 markings/sec, 335 secs
lola: STP completed || 1 tries, 99572 fired transitions, 340 secs || 70402 markings, 136060 edges, 281 markings/sec, 340 secs
lola: STP completed || 1 tries, 100989 fired transitions, 345 secs || 71952 markings, 138737 edges, 310 markings/sec, 345 secs
lola: STP completed || 1 tries, 102358 fired transitions, 350 secs || 73521 markings, 141372 edges, 314 markings/sec, 350 secs
lola: STP completed || 1 tries, 103791 fired transitions, 355 secs || 74970 markings, 143890 edges, 290 markings/sec, 355 secs
lola: STP completed || 1 tries, 105233 fired transitions, 360 secs || 76459 markings, 146268 edges, 298 markings/sec, 360 secs
lola: STP completed || 1 tries, 106652 fired transitions, 365 secs || 77912 markings, 148545 edges, 291 markings/sec, 365 secs
lola: STP completed || 1 tries, 108047 fired transitions, 370 secs || 79362 markings, 151100 edges, 290 markings/sec, 370 secs
lola: STP completed || 1 tries, 109486 fired transitions, 375 secs || 80822 markings, 153555 edges, 292 markings/sec, 375 secs
lola: STP completed || 1 tries, 110940 fired transitions, 380 secs || 82282 markings, 155976 edges, 292 markings/sec, 380 secs
lola: STP completed || 1 tries, 112366 fired transitions, 385 secs || 83765 markings, 158290 edges, 297 markings/sec, 385 secs
lola: STP completed || 1 tries, 113792 fired transitions, 390 secs || 85195 markings, 160533 edges, 286 markings/sec, 390 secs
lola: STP completed || 1 tries, 115224 fired transitions, 395 secs || 86582 markings, 163403 edges, 277 markings/sec, 395 secs
lola: STP completed || 1 tries, 116646 fired transitions, 400 secs || 88033 markings, 166195 edges, 290 markings/sec, 400 secs
lola: STP completed || 1 tries, 118108 fired transitions, 405 secs || 89520 markings, 168562 edges, 297 markings/sec, 405 secs
lola: STP completed || 1 tries, 119561 fired transitions, 410 secs || 90989 markings, 170993 edges, 294 markings/sec, 410 secs
lola: STP completed || 1 tries, 121001 fired transitions, 415 secs || 92432 markings, 173295 edges, 289 markings/sec, 415 secs
lola: STP completed || 1 tries, 122447 fired transitions, 420 secs || 93793 markings, 175675 edges, 272 markings/sec, 420 secs
lola: STP completed || 1 tries, 123857 fired transitions, 425 secs || 95252 markings, 178659 edges, 292 markings/sec, 425 secs
lola: STP completed || 1 tries, 125237 fired transitions, 430 secs || 96654 markings, 182051 edges, 280 markings/sec, 430 secs
lola: STP completed || 1 tries, 126632 fired transitions, 435 secs || 98017 markings, 185523 edges, 273 markings/sec, 435 secs
lola: STP completed || 1 tries, 128003 fired transitions, 440 secs || 99404 markings, 188732 edges, 277 markings/sec, 440 secs
lola: STP completed || 1 tries, 129395 fired transitions, 445 secs || 100768 markings, 191865 edges, 273 markings/sec, 445 secs
lola: STP completed || 1 tries, 130821 fired transitions, 450 secs || 102213 markings, 194901 edges, 289 markings/sec, 450 secs
lola: STP completed || 1 tries, 132199 fired transitions, 455 secs || 103675 markings, 198059 edges, 292 markings/sec, 455 secs
lola: STP completed || 1 tries, 133610 fired transitions, 460 secs || 105118 markings, 201630 edges, 289 markings/sec, 460 secs
lola: STP completed || 1 tries, 134995 fired transitions, 465 secs || 106666 markings, 204568 edges, 310 markings/sec, 465 secs
lola: STP completed || 1 tries, 136361 fired transitions, 470 secs || 108110 markings, 207850 edges, 289 markings/sec, 470 secs
lola: STP completed || 1 tries, 137719 fired transitions, 475 secs || 109670 markings, 210783 edges, 312 markings/sec, 475 secs
lola: STP completed || 1 tries, 139077 fired transitions, 480 secs || 111065 markings, 213988 edges, 279 markings/sec, 480 secs
lola: STP completed || 1 tries, 140364 fired transitions, 485 secs || 112471 markings, 217712 edges, 281 markings/sec, 485 secs
lola: STP completed || 1 tries, 141757 fired transitions, 490 secs || 113879 markings, 221008 edges, 282 markings/sec, 490 secs
lola: STP completed || 1 tries, 143170 fired transitions, 495 secs || 115244 markings, 224340 edges, 273 markings/sec, 495 secs
lola: STP completed || 1 tries, 144590 fired transitions, 500 secs || 116692 markings, 227418 edges, 290 markings/sec, 500 secs
lola: STP completed || 1 tries, 145987 fired transitions, 505 secs || 118268 markings, 230601 edges, 315 markings/sec, 505 secs
lola: STP completed || 1 tries, 147403 fired transitions, 510 secs || 119793 markings, 233772 edges, 305 markings/sec, 510 secs
lola: STP completed || 1 tries, 148818 fired transitions, 515 secs || 121254 markings, 236527 edges, 292 markings/sec, 515 secs
lola: STP completed || 1 tries, 150224 fired transitions, 520 secs || 122716 markings, 240067 edges, 292 markings/sec, 520 secs
lola: STP completed || 1 tries, 151542 fired transitions, 525 secs || 124091 markings, 243225 edges, 275 markings/sec, 525 secs
lola: STP completed || 1 tries, 152869 fired transitions, 530 secs || 125588 markings, 246272 edges, 299 markings/sec, 530 secs
lola: STP completed || 1 tries, 154329 fired transitions, 535 secs || 127101 markings, 248764 edges, 303 markings/sec, 535 secs
lola: STP completed || 1 tries, 155740 fired transitions, 540 secs || 128579 markings, 251103 edges, 296 markings/sec, 540 secs
lola: STP completed || 1 tries, 157052 fired transitions, 545 secs || 130097 markings, 253751 edges, 304 markings/sec, 545 secs
lola: STP completed || 1 tries, 158408 fired transitions, 550 secs || 131583 markings, 256234 edges, 297 markings/sec, 550 secs
lola: STP completed || 1 tries, 159883 fired transitions, 555 secs || 133078 markings, 258567 edges, 299 markings/sec, 555 secs
lola: STP completed || 1 tries, 161337 fired transitions, 560 secs || 134565 markings, 260891 edges, 297 markings/sec, 560 secs
lola: STP completed || 1 tries, 162799 fired transitions, 565 secs || 136005 markings, 263323 edges, 288 markings/sec, 565 secs
lola: STP completed || 1 tries, 164244 fired transitions, 570 secs || 137399 markings, 265855 edges, 279 markings/sec, 570 secs
lola: STP completed || 1 tries, 165664 fired transitions, 575 secs || 138909 markings, 268230 edges, 302 markings/sec, 575 secs
lola: STP completed || 1 tries, 167004 fired transitions, 580 secs || 140291 markings, 270569 edges, 276 markings/sec, 580 secs
lola: STP completed || 1 tries, 168409 fired transitions, 585 secs || 141673 markings, 272802 edges, 276 markings/sec, 585 secs
lola: STP completed || 1 tries, 169871 fired transitions, 590 secs || 143149 markings, 275021 edges, 295 markings/sec, 590 secs
lola: STP completed || 1 tries, 171319 fired transitions, 595 secs || 144581 markings, 277418 edges, 286 markings/sec, 595 secs
lola: STP completed || 1 tries, 172778 fired transitions, 600 secs || 146068 markings, 279664 edges, 297 markings/sec, 600 secs
lola: STP completed || 1 tries, 174232 fired transitions, 605 secs || 147561 markings, 281955 edges, 299 markings/sec, 605 secs
lola: STP completed || 1 tries, 175690 fired transitions, 610 secs || 148969 markings, 284136 edges, 282 markings/sec, 610 secs
lola: STP completed || 1 tries, 177144 fired transitions, 615 secs || 150349 markings, 286504 edges, 276 markings/sec, 615 secs
lola: STP completed || 1 tries, 178578 fired transitions, 620 secs || 151763 markings, 288761 edges, 283 markings/sec, 620 secs
lola: STP completed || 1 tries, 180027 fired transitions, 625 secs || 153206 markings, 291136 edges, 289 markings/sec, 625 secs
lola: STP completed || 1 tries, 181341 fired transitions, 630 secs || 154684 markings, 293560 edges, 296 markings/sec, 630 secs
lola: STP completed || 1 tries, 182667 fired transitions, 635 secs || 156137 markings, 295903 edges, 291 markings/sec, 635 secs
lola: STP completed || 1 tries, 183981 fired transitions, 640 secs || 157549 markings, 298415 edges, 282 markings/sec, 640 secs
lola: STP completed || 1 tries, 185287 fired transitions, 645 secs || 158882 markings, 300883 edges, 267 markings/sec, 645 secs
lola: STP completed || 1 tries, 186747 fired transitions, 650 secs || 160343 markings, 303090 edges, 292 markings/sec, 650 secs
lola: STP completed || 1 tries, 188256 fired transitions, 655 secs || 161792 markings, 305355 edges, 290 markings/sec, 655 secs
lola: STP completed || 1 tries, 189740 fired transitions, 660 secs || 163221 markings, 307650 edges, 286 markings/sec, 660 secs
lola: STP completed || 1 tries, 191149 fired transitions, 665 secs || 164594 markings, 310426 edges, 275 markings/sec, 665 secs
lola: STP completed || 1 tries, 192592 fired transitions, 670 secs || 165961 markings, 313036 edges, 273 markings/sec, 670 secs
lola: STP completed || 1 tries, 194006 fired transitions, 675 secs || 167396 markings, 315688 edges, 287 markings/sec, 675 secs
lola: STP completed || 1 tries, 195415 fired transitions, 680 secs || 168962 markings, 318547 edges, 313 markings/sec, 680 secs
lola: STP completed || 1 tries, 196810 fired transitions, 685 secs || 170451 markings, 321180 edges, 298 markings/sec, 685 secs
lola: STP completed || 1 tries, 198213 fired transitions, 690 secs || 171970 markings, 323822 edges, 304 markings/sec, 690 secs
lola: STP completed || 1 tries, 199614 fired transitions, 695 secs || 173497 markings, 326271 edges, 305 markings/sec, 695 secs
lola: STP completed || 1 tries, 201019 fired transitions, 700 secs || 174990 markings, 329276 edges, 299 markings/sec, 700 secs
lola: STP completed || 1 tries, 202428 fired transitions, 705 secs || 176492 markings, 332363 edges, 300 markings/sec, 705 secs
lola: STP completed || 1 tries, 203860 fired transitions, 710 secs || 177931 markings, 335006 edges, 288 markings/sec, 710 secs
lola: STP completed || 1 tries, 205266 fired transitions, 715 secs || 179389 markings, 337549 edges, 292 markings/sec, 715 secs
lola: STP completed || 1 tries, 206676 fired transitions, 720 secs || 180916 markings, 340181 edges, 305 markings/sec, 720 secs
lola: STP completed || 1 tries, 208104 fired transitions, 725 secs || 182361 markings, 342575 edges, 289 markings/sec, 725 secs
lola: STP completed || 1 tries, 209589 fired transitions, 730 secs || 183765 markings, 344953 edges, 281 markings/sec, 730 secs
lola: STP completed || 1 tries, 211006 fired transitions, 735 secs || 185169 markings, 347836 edges, 281 markings/sec, 735 secs
lola: STP completed || 1 tries, 212411 fired transitions, 740 secs || 186614 markings, 350568 edges, 289 markings/sec, 740 secs
lola: STP completed || 1 tries, 213827 fired transitions, 745 secs || 188066 markings, 353704 edges, 290 markings/sec, 745 secs
lola: STP completed || 1 tries, 215250 fired transitions, 750 secs || 189447 markings, 356819 edges, 276 markings/sec, 750 secs
lola: STP completed || 1 tries, 216660 fired transitions, 755 secs || 190807 markings, 360029 edges, 272 markings/sec, 755 secs
lola: STP completed || 1 tries, 218035 fired transitions, 760 secs || 192242 markings, 362396 edges, 287 markings/sec, 760 secs
lola: STP completed || 1 tries, 219411 fired transitions, 765 secs || 193678 markings, 365015 edges, 287 markings/sec, 765 secs
lola: STP completed || 1 tries, 220827 fired transitions, 770 secs || 195165 markings, 367487 edges, 297 markings/sec, 770 secs
lola: STP completed || 1 tries, 222251 fired transitions, 775 secs || 196601 markings, 370083 edges, 287 markings/sec, 775 secs
lola: STP completed || 1 tries, 223724 fired transitions, 780 secs || 198081 markings, 372537 edges, 296 markings/sec, 780 secs
lola: STP completed || 1 tries, 225193 fired transitions, 785 secs || 199571 markings, 374929 edges, 298 markings/sec, 785 secs
lola: STP completed || 1 tries, 226599 fired transitions, 790 secs || 200949 markings, 377643 edges, 276 markings/sec, 790 secs
lola: STP completed || 1 tries, 228030 fired transitions, 795 secs || 202459 markings, 380142 edges, 302 markings/sec, 795 secs
lola: STP completed || 1 tries, 229486 fired transitions, 800 secs || 203863 markings, 382442 edges, 281 markings/sec, 800 secs
lola: STP completed || 1 tries, 230971 fired transitions, 805 secs || 205208 markings, 384917 edges, 269 markings/sec, 805 secs
lola: STP completed || 1 tries, 232363 fired transitions, 810 secs || 206607 markings, 387698 edges, 280 markings/sec, 810 secs
lola: STP completed || 1 tries, 233716 fired transitions, 815 secs || 207976 markings, 390619 edges, 274 markings/sec, 815 secs
lola: STP completed || 1 tries, 235030 fired transitions, 820 secs || 209359 markings, 393136 edges, 277 markings/sec, 820 secs
lola: STP completed || 1 tries, 236333 fired transitions, 825 secs || 210736 markings, 395867 edges, 275 markings/sec, 825 secs
lola: STP completed || 1 tries, 237643 fired transitions, 830 secs || 212177 markings, 399154 edges, 288 markings/sec, 830 secs
lola: STP completed || 1 tries, 238939 fired transitions, 835 secs || 213527 markings, 402196 edges, 270 markings/sec, 835 secs
lola: STP completed || 1 tries, 240250 fired transitions, 840 secs || 214959 markings, 405046 edges, 286 markings/sec, 840 secs
lola: STP completed || 1 tries, 241570 fired transitions, 845 secs || 216518 markings, 407585 edges, 312 markings/sec, 845 secs
lola: STP completed || 1 tries, 242883 fired transitions, 850 secs || 217982 markings, 410294 edges, 293 markings/sec, 850 secs
lola: STP completed || 1 tries, 244193 fired transitions, 855 secs || 219404 markings, 413320 edges, 284 markings/sec, 855 secs
lola: STP completed || 1 tries, 245478 fired transitions, 860 secs || 220697 markings, 416235 edges, 259 markings/sec, 860 secs
lola: STP completed || 1 tries, 246779 fired transitions, 865 secs || 222149 markings, 419355 edges, 290 markings/sec, 865 secs
lola: STP completed || 1 tries, 248078 fired transitions, 870 secs || 223657 markings, 421999 edges, 302 markings/sec, 870 secs
lola: STP completed || 1 tries, 249386 fired transitions, 875 secs || 225136 markings, 424750 edges, 296 markings/sec, 875 secs
lola: STP completed || 1 tries, 250701 fired transitions, 880 secs || 226592 markings, 427311 edges, 291 markings/sec, 880 secs
lola: STP completed || 1 tries, 252046 fired transitions, 885 secs || 228073 markings, 429945 edges, 296 markings/sec, 885 secs
lola: STP completed || 1 tries, 253380 fired transitions, 890 secs || 229525 markings, 432331 edges, 290 markings/sec, 890 secs
lola: STP completed || 1 tries, 254686 fired transitions, 895 secs || 230978 markings, 434881 edges, 291 markings/sec, 895 secs
lola: STP completed || 1 tries, 256001 fired transitions, 900 secs || 232466 markings, 437357 edges, 298 markings/sec, 900 secs
lola: STP completed || 1 tries, 257304 fired transitions, 905 secs || 233796 markings, 440087 edges, 266 markings/sec, 905 secs
lola: STP completed || 1 tries, 258572 fired transitions, 910 secs || 235246 markings, 443846 edges, 290 markings/sec, 910 secs
lola: STP completed || 1 tries, 259867 fired transitions, 915 secs || 236619 markings, 447072 edges, 275 markings/sec, 915 secs
lola: STP completed || 1 tries, 261170 fired transitions, 920 secs || 237939 markings, 450569 edges, 264 markings/sec, 920 secs
lola: STP completed || 1 tries, 262529 fired transitions, 925 secs || 239430 markings, 453735 edges, 298 markings/sec, 925 secs
lola: STP completed || 1 tries, 263919 fired transitions, 930 secs || 240936 markings, 456467 edges, 301 markings/sec, 930 secs
lola: STP completed || 1 tries, 265375 fired transitions, 935 secs || 242300 markings, 458990 edges, 273 markings/sec, 935 secs
lola: STP completed || 1 tries, 266850 fired transitions, 940 secs || 243737 markings, 461550 edges, 287 markings/sec, 940 secs
lola: STP completed || 1 tries, 268292 fired transitions, 945 secs || 245154 markings, 463914 edges, 283 markings/sec, 945 secs
lola: STP completed || 1 tries, 269698 fired transitions, 950 secs || 246654 markings, 466741 edges, 300 markings/sec, 950 secs
lola: STP completed || 1 tries, 271116 fired transitions, 955 secs || 248179 markings, 469388 edges, 305 markings/sec, 955 secs
lola: STP completed || 1 tries, 272574 fired transitions, 960 secs || 249629 markings, 471892 edges, 290 markings/sec, 960 secs
lola: STP completed || 1 tries, 274007 fired transitions, 965 secs || 251056 markings, 474547 edges, 285 markings/sec, 965 secs
lola: STP completed || 1 tries, 275443 fired transitions, 970 secs || 252500 markings, 476954 edges, 289 markings/sec, 970 secs
lola: STP completed || 1 tries, 276884 fired transitions, 975 secs || 253920 markings, 479403 edges, 284 markings/sec, 975 secs
lola: STP completed || 1 tries, 278288 fired transitions, 980 secs || 255281 markings, 482369 edges, 272 markings/sec, 980 secs
lola: STP completed || 1 tries, 279715 fired transitions, 985 secs || 256809 markings, 485193 edges, 306 markings/sec, 985 secs
lola: STP completed || 1 tries, 281100 fired transitions, 990 secs || 258327 markings, 487759 edges, 304 markings/sec, 990 secs
lola: STP completed || 1 tries, 282484 fired transitions, 995 secs || 259783 markings, 490325 edges, 291 markings/sec, 995 secs
lola: STP completed || 1 tries, 283937 fired transitions, 1000 secs || 261227 markings, 492759 edges, 289 markings/sec, 1000 secs
lola: STP completed || 1 tries, 285367 fired transitions, 1005 secs || 262589 markings, 495121 edges, 272 markings/sec, 1005 secs
lola: STP completed || 1 tries, 286810 fired transitions, 1010 secs || 264007 markings, 497550 edges, 284 markings/sec, 1010 secs
lola: STP completed || 1 tries, 288266 fired transitions, 1015 secs || 265396 markings, 499870 edges, 278 markings/sec, 1015 secs
lola: STP completed || 1 tries, 289710 fired transitions, 1020 secs || 266847 markings, 502295 edges, 290 markings/sec, 1020 secs
lola: STP completed || 1 tries, 291169 fired transitions, 1025 secs || 268333 markings, 504742 edges, 297 markings/sec, 1025 secs
lola: STP completed || 1 tries, 292590 fired transitions, 1030 secs || 269778 markings, 507157 edges, 289 markings/sec, 1030 secs
lola: STP completed || 1 tries, 294044 fired transitions, 1035 secs || 271227 markings, 509613 edges, 290 markings/sec, 1035 secs
lola: STP completed || 1 tries, 295489 fired transitions, 1040 secs || 272585 markings, 512141 edges, 272 markings/sec, 1040 secs
lola: STP completed || 1 tries, 296902 fired transitions, 1045 secs || 273983 markings, 514922 edges, 280 markings/sec, 1045 secs
lola: STP completed || 1 tries, 298303 fired transitions, 1050 secs || 275385 markings, 517994 edges, 280 markings/sec, 1050 secs
lola: STP completed || 1 tries, 299732 fired transitions, 1055 secs || 276884 markings, 520774 edges, 300 markings/sec, 1055 secs
lola: STP completed || 1 tries, 301140 fired transitions, 1060 secs || 278337 markings, 523491 edges, 291 markings/sec, 1060 secs
lola: STP completed || 1 tries, 302571 fired transitions, 1065 secs || 279818 markings, 526059 edges, 296 markings/sec, 1065 secs
lola: STP completed || 1 tries, 304000 fired transitions, 1070 secs || 281272 markings, 528671 edges, 291 markings/sec, 1070 secs
lola: STP completed || 1 tries, 305447 fired transitions, 1075 secs || 282705 markings, 531215 edges, 287 markings/sec, 1075 secs
lola: STP completed || 1 tries, 306921 fired transitions, 1080 secs || 284111 markings, 533388 edges, 281 markings/sec, 1080 secs
lola: STP completed || 1 tries, 308379 fired transitions, 1085 secs || 285506 markings, 535785 edges, 279 markings/sec, 1085 secs
lola: STP completed || 1 tries, 309828 fired transitions, 1090 secs || 286967 markings, 538209 edges, 292 markings/sec, 1090 secs
lola: STP completed || 1 tries, 311272 fired transitions, 1095 secs || 288451 markings, 540577 edges, 297 markings/sec, 1095 secs
lola: STP completed || 1 tries, 312704 fired transitions, 1100 secs || 289948 markings, 542805 edges, 299 markings/sec, 1100 secs
lola: STP completed || 1 tries, 314127 fired transitions, 1105 secs || 291400 markings, 545297 edges, 290 markings/sec, 1105 secs
lola: STP completed || 1 tries, 315574 fired transitions, 1110 secs || 292865 markings, 547612 edges, 293 markings/sec, 1110 secs
lola: STP completed || 1 tries, 317018 fired transitions, 1115 secs || 294292 markings, 550329 edges, 285 markings/sec, 1115 secs
lola: STP completed || 1 tries, 318476 fired transitions, 1120 secs || 295789 markings, 552645 edges, 299 markings/sec, 1120 secs
lola: STP completed || 1 tries, 319886 fired transitions, 1125 secs || 297266 markings, 554922 edges, 295 markings/sec, 1125 secs
lola: STP completed || 1 tries, 321300 fired transitions, 1130 secs || 298728 markings, 557153 edges, 292 markings/sec, 1130 secs
lola: STP completed || 1 tries, 322700 fired transitions, 1135 secs || 300141 markings, 559552 edges, 283 markings/sec, 1135 secs
lola: STP completed || 1 tries, 324155 fired transitions, 1140 secs || 301581 markings, 561769 edges, 288 markings/sec, 1140 secs
lola: STP completed || 1 tries, 325619 fired transitions, 1145 secs || 302992 markings, 564050 edges, 282 markings/sec, 1145 secs
lola: STP completed || 1 tries, 327040 fired transitions, 1150 secs || 304414 markings, 566376 edges, 284 markings/sec, 1150 secs
lola: STP completed || 1 tries, 328469 fired transitions, 1155 secs || 305807 markings, 568675 edges, 279 markings/sec, 1155 secs
lola: STP completed || 1 tries, 329926 fired transitions, 1160 secs || 307235 markings, 570983 edges, 286 markings/sec, 1160 secs
lola: STP completed || 1 tries, 331355 fired transitions, 1165 secs || 308583 markings, 573396 edges, 270 markings/sec, 1165 secs
lola: STP completed || 1 tries, 332784 fired transitions, 1170 secs || 309968 markings, 575659 edges, 277 markings/sec, 1170 secs
lola: STP completed || 1 tries, 334224 fired transitions, 1175 secs || 311317 markings, 577765 edges, 270 markings/sec, 1175 secs
lola: STP completed || 1 tries, 335622 fired transitions, 1180 secs || 312695 markings, 580125 edges, 276 markings/sec, 1180 secs
lola: STP completed || 1 tries, 337051 fired transitions, 1185 secs || 314064 markings, 582244 edges, 274 markings/sec, 1185 secs
lola: STP completed || 1 tries, 338461 fired transitions, 1190 secs || 315449 markings, 584843 edges, 277 markings/sec, 1190 secs
lola: STP completed || 1 tries, 339880 fired transitions, 1195 secs || 316827 markings, 587694 edges, 276 markings/sec, 1195 secs
lola: STP completed || 1 tries, 341257 fired transitions, 1200 secs || 318280 markings, 590718 edges, 291 markings/sec, 1200 secs
lola: STP completed || 1 tries, 342637 fired transitions, 1205 secs || 319567 markings, 593455 edges, 257 markings/sec, 1205 secs
lola: STP completed || 1 tries, 344027 fired transitions, 1210 secs || 320931 markings, 596923 edges, 273 markings/sec, 1210 secs
lola: STP completed || 1 tries, 345384 fired transitions, 1215 secs || 322350 markings, 599841 edges, 284 markings/sec, 1215 secs
lola: STP completed || 1 tries, 346827 fired transitions, 1220 secs || 323872 markings, 602318 edges, 304 markings/sec, 1220 secs
lola: STP completed || 1 tries, 348275 fired transitions, 1225 secs || 325309 markings, 604808 edges, 287 markings/sec, 1225 secs
lola: STP completed || 1 tries, 349668 fired transitions, 1230 secs || 326712 markings, 607994 edges, 281 markings/sec, 1230 secs
lola: STP completed || 1 tries, 351109 fired transitions, 1235 secs || 328112 markings, 610772 edges, 280 markings/sec, 1235 secs
lola: STP completed || 1 tries, 352524 fired transitions, 1240 secs || 329397 markings, 613822 edges, 257 markings/sec, 1240 secs
lola: STP completed || 1 tries, 353930 fired transitions, 1245 secs || 330711 markings, 616731 edges, 263 markings/sec, 1245 secs
lola: STP completed || 1 tries, 355358 fired transitions, 1250 secs || 332034 markings, 619601 edges, 265 markings/sec, 1250 secs
lola: STP completed || 1 tries, 356772 fired transitions, 1255 secs || 333353 markings, 622589 edges, 264 markings/sec, 1255 secs
lola: STP completed || 1 tries, 358180 fired transitions, 1260 secs || 334668 markings, 625365 edges, 263 markings/sec, 1260 secs
lola: STP completed || 1 tries, 359592 fired transitions, 1265 secs || 336166 markings, 628335 edges, 300 markings/sec, 1265 secs
lola: STP completed || 1 tries, 360991 fired transitions, 1270 secs || 337654 markings, 631164 edges, 298 markings/sec, 1270 secs
lola: STP completed || 1 tries, 362371 fired transitions, 1275 secs || 339116 markings, 633738 edges, 292 markings/sec, 1275 secs
lola: STP completed || 1 tries, 363844 fired transitions, 1280 secs || 340497 markings, 636094 edges, 276 markings/sec, 1280 secs
lola: STP completed || 1 tries, 365292 fired transitions, 1285 secs || 341981 markings, 638491 edges, 297 markings/sec, 1285 secs
lola: STP completed || 1 tries, 366706 fired transitions, 1290 secs || 343412 markings, 640952 edges, 286 markings/sec, 1290 secs
lola: STP completed || 1 tries, 368167 fired transitions, 1295 secs || 344783 markings, 643591 edges, 274 markings/sec, 1295 secs
lola: STP completed || 1 tries, 369559 fired transitions, 1300 secs || 346254 markings, 646375 edges, 294 markings/sec, 1300 secs
lola: STP completed || 1 tries, 371005 fired transitions, 1305 secs || 347694 markings, 648746 edges, 288 markings/sec, 1305 secs
lola: STP completed || 1 tries, 372467 fired transitions, 1310 secs || 349116 markings, 651108 edges, 284 markings/sec, 1310 secs
lola: STP completed || 1 tries, 373898 fired transitions, 1315 secs || 350524 markings, 653567 edges, 282 markings/sec, 1315 secs
lola: STP completed || 1 tries, 375377 fired transitions, 1320 secs || 351962 markings, 655859 edges, 288 markings/sec, 1320 secs
lola: STP completed || 1 tries, 376842 fired transitions, 1325 secs || 353351 markings, 658250 edges, 278 markings/sec, 1325 secs
lola: STP completed || 1 tries, 378208 fired transitions, 1330 secs || 354673 markings, 660839 edges, 264 markings/sec, 1330 secs
lola: STP completed || 1 tries, 379619 fired transitions, 1335 secs || 356038 markings, 663768 edges, 273 markings/sec, 1335 secs
lola: STP completed || 1 tries, 381053 fired transitions, 1340 secs || 357523 markings, 666230 edges, 297 markings/sec, 1340 secs
lola: STP completed || 1 tries, 382499 fired transitions, 1345 secs || 358966 markings, 668637 edges, 289 markings/sec, 1345 secs
lola: STP completed || 1 tries, 383971 fired transitions, 1350 secs || 360359 markings, 670909 edges, 279 markings/sec, 1350 secs
lola: STP completed || 1 tries, 385454 fired transitions, 1355 secs || 361787 markings, 673302 edges, 286 markings/sec, 1355 secs
lola: STP completed || 1 tries, 386913 fired transitions, 1360 secs || 363240 markings, 675685 edges, 291 markings/sec, 1360 secs
lola: STP completed || 1 tries, 388313 fired transitions, 1365 secs || 364696 markings, 678013 edges, 291 markings/sec, 1365 secs
lola: STP completed || 1 tries, 389773 fired transitions, 1370 secs || 366117 markings, 680390 edges, 284 markings/sec, 1370 secs
lola: STP completed || 1 tries, 391212 fired transitions, 1375 secs || 367511 markings, 682877 edges, 279 markings/sec, 1375 secs
lola: STP completed || 1 tries, 392655 fired transitions, 1380 secs || 368963 markings, 685324 edges, 290 markings/sec, 1380 secs
lola: STP completed || 1 tries, 394127 fired transitions, 1385 secs || 370384 markings, 687677 edges, 284 markings/sec, 1385 secs
lola: STP completed || 1 tries, 395549 fired transitions, 1390 secs || 371807 markings, 690197 edges, 285 markings/sec, 1390 secs
lola: STP completed || 1 tries, 396970 fired transitions, 1395 secs || 373195 markings, 692563 edges, 278 markings/sec, 1395 secs
lola: STP completed || 1 tries, 398448 fired transitions, 1400 secs || 374598 markings, 695085 edges, 281 markings/sec, 1400 secs
lola: STP completed || 1 tries, 399924 fired transitions, 1405 secs || 375962 markings, 697583 edges, 273 markings/sec, 1405 secs
lola: STP completed || 1 tries, 401370 fired transitions, 1410 secs || 377285 markings, 700101 edges, 265 markings/sec, 1410 secs
lola: STP completed || 1 tries, 402838 fired transitions, 1415 secs || 378552 markings, 702639 edges, 253 markings/sec, 1415 secs
lola: STP completed || 1 tries, 404297 fired transitions, 1420 secs || 379887 markings, 705151 edges, 267 markings/sec, 1420 secs
lola: STP completed || 1 tries, 405711 fired transitions, 1425 secs || 381256 markings, 707681 edges, 274 markings/sec, 1425 secs
lola: STP completed || 1 tries, 407158 fired transitions, 1430 secs || 382693 markings, 710042 edges, 287 markings/sec, 1430 secs
lola: STP completed || 1 tries, 408649 fired transitions, 1435 secs || 384089 markings, 712224 edges, 279 markings/sec, 1435 secs
lola: STP completed || 1 tries, 410126 fired transitions, 1440 secs || 385460 markings, 714450 edges, 274 markings/sec, 1440 secs
lola: STP completed || 1 tries, 411605 fired transitions, 1445 secs || 386879 markings, 716674 edges, 284 markings/sec, 1445 secs
lola: STP completed || 1 tries, 413036 fired transitions, 1450 secs || 388244 markings, 718998 edges, 273 markings/sec, 1450 secs
lola: STP completed || 1 tries, 414460 fired transitions, 1455 secs || 389684 markings, 721352 edges, 288 markings/sec, 1455 secs
lola: STP completed || 1 tries, 415795 fired transitions, 1460 secs || 391093 markings, 723731 edges, 282 markings/sec, 1460 secs
lola: STP completed || 1 tries, 417214 fired transitions, 1465 secs || 392486 markings, 725999 edges, 279 markings/sec, 1465 secs
lola: STP completed || 1 tries, 418659 fired transitions, 1470 secs || 393936 markings, 728312 edges, 290 markings/sec, 1470 secs
lola: STP completed || 1 tries, 420097 fired transitions, 1475 secs || 395359 markings, 730518 edges, 285 markings/sec, 1475 secs
lola: STP completed || 1 tries, 421546 fired transitions, 1480 secs || 396806 markings, 732797 edges, 289 markings/sec, 1480 secs
lola: STP completed || 1 tries, 422988 fired transitions, 1485 secs || 398149 markings, 735260 edges, 269 markings/sec, 1485 secs
lola: STP completed || 1 tries, 424410 fired transitions, 1490 secs || 399532 markings, 737520 edges, 277 markings/sec, 1490 secs
lola: STP completed || 1 tries, 425852 fired transitions, 1495 secs || 400978 markings, 739756 edges, 289 markings/sec, 1495 secs
lola: STP completed || 1 tries, 427302 fired transitions, 1500 secs || 402394 markings, 741981 edges, 283 markings/sec, 1500 secs
lola: STP completed || 1 tries, 428712 fired transitions, 1505 secs || 403798 markings, 744228 edges, 281 markings/sec, 1505 secs
lola: STP completed || 1 tries, 430128 fired transitions, 1510 secs || 405172 markings, 746588 edges, 275 markings/sec, 1510 secs
lola: STP completed || 1 tries, 431549 fired transitions, 1515 secs || 406606 markings, 748824 edges, 287 markings/sec, 1515 secs
lola: STP completed || 1 tries, 432975 fired transitions, 1520 secs || 408009 markings, 751054 edges, 281 markings/sec, 1520 secs
lola: STP completed || 1 tries, 434392 fired transitions, 1525 secs || 409420 markings, 753336 edges, 282 markings/sec, 1525 secs
lola: STP completed || 1 tries, 435845 fired transitions, 1530 secs || 410843 markings, 755622 edges, 285 markings/sec, 1530 secs
lola: STP completed || 1 tries, 437306 fired transitions, 1535 secs || 412158 markings, 758078 edges, 263 markings/sec, 1535 secs
lola: STP completed || 1 tries, 438760 fired transitions, 1540 secs || 413565 markings, 760327 edges, 281 markings/sec, 1540 secs
lola: STP completed || 1 tries, 440229 fired transitions, 1545 secs || 414890 markings, 762662 edges, 265 markings/sec, 1545 secs
lola: STP completed || 1 tries, 441712 fired transitions, 1550 secs || 416204 markings, 764778 edges, 263 markings/sec, 1550 secs
lola: STP completed || 1 tries, 443188 fired transitions, 1555 secs || 417447 markings, 767230 edges, 249 markings/sec, 1555 secs
lola: STP completed || 1 tries, 444591 fired transitions, 1560 secs || 418843 markings, 769796 edges, 279 markings/sec, 1560 secs
lola: STP completed || 1 tries, 445963 fired transitions, 1565 secs || 420288 markings, 772495 edges, 289 markings/sec, 1565 secs
lola: STP completed || 1 tries, 447350 fired transitions, 1570 secs || 421635 markings, 775096 edges, 269 markings/sec, 1570 secs
lola: STP completed || 1 tries, 448735 fired transitions, 1575 secs || 422988 markings, 777699 edges, 271 markings/sec, 1575 secs
lola: STP completed || 1 tries, 450081 fired transitions, 1580 secs || 424445 markings, 781069 edges, 291 markings/sec, 1580 secs
lola: STP completed || 1 tries, 451429 fired transitions, 1585 secs || 425833 markings, 784378 edges, 278 markings/sec, 1585 secs
lola: STP completed || 1 tries, 452786 fired transitions, 1590 secs || 427148 markings, 787164 edges, 263 markings/sec, 1590 secs
lola: STP completed || 1 tries, 454178 fired transitions, 1595 secs || 428587 markings, 790568 edges, 288 markings/sec, 1595 secs
lola: STP completed || 1 tries, 455567 fired transitions, 1600 secs || 429946 markings, 793465 edges, 272 markings/sec, 1600 secs
lola: STP completed || 1 tries, 456998 fired transitions, 1605 secs || 431336 markings, 796305 edges, 278 markings/sec, 1605 secs
lola: STP completed || 1 tries, 458399 fired transitions, 1610 secs || 432695 markings, 799087 edges, 272 markings/sec, 1610 secs
lola: STP completed || 1 tries, 459785 fired transitions, 1615 secs || 434079 markings, 802287 edges, 277 markings/sec, 1615 secs
lola: STP completed || 1 tries, 461141 fired transitions, 1620 secs || 435461 markings, 805005 edges, 276 markings/sec, 1620 secs
lola: STP completed || 1 tries, 462503 fired transitions, 1625 secs || 436849 markings, 808289 edges, 278 markings/sec, 1625 secs
lola: STP completed || 1 tries, 463905 fired transitions, 1630 secs || 438161 markings, 811582 edges, 262 markings/sec, 1630 secs
lola: STP completed || 1 tries, 465295 fired transitions, 1635 secs || 439489 markings, 815088 edges, 266 markings/sec, 1635 secs
lola: STP completed || 1 tries, 466689 fired transitions, 1640 secs || 440844 markings, 818121 edges, 271 markings/sec, 1640 secs
lola: STP completed || 1 tries, 468079 fired transitions, 1645 secs || 442200 markings, 821159 edges, 271 markings/sec, 1645 secs
lola: STP completed || 1 tries, 469489 fired transitions, 1650 secs || 443661 markings, 824150 edges, 292 markings/sec, 1650 secs
lola: STP completed || 1 tries, 470883 fired transitions, 1655 secs || 445099 markings, 826551 edges, 288 markings/sec, 1655 secs
lola: STP completed || 1 tries, 472310 fired transitions, 1660 secs || 446563 markings, 828865 edges, 293 markings/sec, 1660 secs
lola: STP completed || 1 tries, 473742 fired transitions, 1665 secs || 448013 markings, 831342 edges, 290 markings/sec, 1665 secs
lola: STP completed || 1 tries, 475215 fired transitions, 1670 secs || 449398 markings, 833755 edges, 277 markings/sec, 1670 secs
lola: STP completed || 1 tries, 476689 fired transitions, 1675 secs || 450738 markings, 836008 edges, 268 markings/sec, 1675 secs
lola: STP completed || 1 tries, 478105 fired transitions, 1680 secs || 452184 markings, 838401 edges, 289 markings/sec, 1680 secs
lola: STP completed || 1 tries, 479585 fired transitions, 1685 secs || 453574 markings, 840546 edges, 278 markings/sec, 1685 secs
lola: STP completed || 1 tries, 481026 fired transitions, 1690 secs || 454929 markings, 843082 edges, 271 markings/sec, 1690 secs
lola: STP completed || 1 tries, 482424 fired transitions, 1695 secs || 456353 markings, 845221 edges, 285 markings/sec, 1695 secs
lola: STP completed || 1 tries, 483837 fired transitions, 1700 secs || 457837 markings, 847649 edges, 297 markings/sec, 1700 secs
lola: STP completed || 1 tries, 485245 fired transitions, 1705 secs || 459278 markings, 850384 edges, 288 markings/sec, 1705 secs
lola: STP completed || 1 tries, 486698 fired transitions, 1710 secs || 460782 markings, 853172 edges, 301 markings/sec, 1710 secs
lola: STP completed || 1 tries, 488130 fired transitions, 1715 secs || 462243 markings, 855485 edges, 292 markings/sec, 1715 secs
lola: STP completed || 1 tries, 489514 fired transitions, 1720 secs || 463746 markings, 857943 edges, 301 markings/sec, 1720 secs
lola: STP completed || 1 tries, 490895 fired transitions, 1725 secs || 465243 markings, 860173 edges, 299 markings/sec, 1725 secs
lola: STP completed || 1 tries, 492342 fired transitions, 1730 secs || 466728 markings, 862587 edges, 297 markings/sec, 1730 secs
lola: STP completed || 1 tries, 493780 fired transitions, 1735 secs || 468178 markings, 864984 edges, 290 markings/sec, 1735 secs
lola: STP completed || 1 tries, 495185 fired transitions, 1740 secs || 469601 markings, 867270 edges, 285 markings/sec, 1740 secs
lola: STP completed || 1 tries, 496626 fired transitions, 1745 secs || 471047 markings, 869545 edges, 289 markings/sec, 1745 secs
lola: STP completed || 1 tries, 498007 fired transitions, 1750 secs || 472491 markings, 871914 edges, 289 markings/sec, 1750 secs
lola: STP completed || 1 tries, 499350 fired transitions, 1755 secs || 473844 markings, 874327 edges, 271 markings/sec, 1755 secs
lola: STP completed || 1 tries, 500795 fired transitions, 1760 secs || 475198 markings, 876828 edges, 271 markings/sec, 1760 secs
lola: STP completed || 1 tries, 502212 fired transitions, 1765 secs || 476641 markings, 879119 edges, 289 markings/sec, 1765 secs
lola: STP completed || 1 tries, 503650 fired transitions, 1770 secs || 478129 markings, 881719 edges, 298 markings/sec, 1770 secs
lola: STP completed || 1 tries, 505073 fired transitions, 1775 secs || 479678 markings, 884539 edges, 310 markings/sec, 1775 secs
lola: STP completed || 1 tries, 506485 fired transitions, 1780 secs || 481109 markings, 887197 edges, 286 markings/sec, 1780 secs
lola: STP completed || 1 tries, 507892 fired transitions, 1785 secs || 482668 markings, 889856 edges, 312 markings/sec, 1785 secs
lola: STP completed || 1 tries, 509327 fired transitions, 1790 secs || 484155 markings, 892619 edges, 297 markings/sec, 1790 secs
lola: STP completed || 1 tries, 510734 fired transitions, 1795 secs || 485592 markings, 895209 edges, 287 markings/sec, 1795 secs
lola: STP completed || 1 tries, 512111 fired transitions, 1800 secs || 487077 markings, 898117 edges, 297 markings/sec, 1800 secs
lola: STP completed || 1 tries, 513523 fired transitions, 1805 secs || 488583 markings, 900627 edges, 301 markings/sec, 1805 secs
lola: STP completed || 1 tries, 514928 fired transitions, 1810 secs || 490055 markings, 903240 edges, 294 markings/sec, 1810 secs
lola: STP completed || 1 tries, 516326 fired transitions, 1815 secs || 491516 markings, 905615 edges, 292 markings/sec, 1815 secs
lola: STP completed || 1 tries, 517790 fired transitions, 1820 secs || 492964 markings, 908017 edges, 290 markings/sec, 1820 secs
lola: STP completed || 1 tries, 519203 fired transitions, 1825 secs || 494348 markings, 910917 edges, 277 markings/sec, 1825 secs
lola: STP completed || 1 tries, 520568 fired transitions, 1830 secs || 495828 markings, 914222 edges, 296 markings/sec, 1830 secs
lola: STP completed || 1 tries, 521973 fired transitions, 1835 secs || 497217 markings, 917424 edges, 278 markings/sec, 1835 secs
lola: STP completed || 1 tries, 523373 fired transitions, 1840 secs || 498572 markings, 920328 edges, 271 markings/sec, 1840 secs
lola: STP completed || 1 tries, 524750 fired transitions, 1845 secs || 499936 markings, 923230 edges, 273 markings/sec, 1845 secs
lola: STP completed || 1 tries, 526180 fired transitions, 1850 secs || 501356 markings, 926057 edges, 284 markings/sec, 1850 secs
lola: STP completed || 1 tries, 527602 fired transitions, 1855 secs || 502764 markings, 928832 edges, 282 markings/sec, 1855 secs
lola: STP completed || 1 tries, 529017 fired transitions, 1860 secs || 504197 markings, 931432 edges, 287 markings/sec, 1860 secs
lola: STP completed || 1 tries, 530457 fired transitions, 1865 secs || 505586 markings, 933881 edges, 278 markings/sec, 1865 secs
lola: STP completed || 1 tries, 531927 fired transitions, 1870 secs || 506995 markings, 936256 edges, 282 markings/sec, 1870 secs
lola: STP completed || 1 tries, 533332 fired transitions, 1875 secs || 508454 markings, 938617 edges, 292 markings/sec, 1875 secs
lola: STP completed || 1 tries, 534760 fired transitions, 1880 secs || 509831 markings, 941011 edges, 275 markings/sec, 1880 secs
lola: STP completed || 1 tries, 536190 fired transitions, 1885 secs || 511290 markings, 943403 edges, 292 markings/sec, 1885 secs
lola: STP completed || 1 tries, 537632 fired transitions, 1890 secs || 512687 markings, 945658 edges, 279 markings/sec, 1890 secs
lola: STP completed || 1 tries, 539051 fired transitions, 1895 secs || 514071 markings, 948256 edges, 277 markings/sec, 1895 secs
lola: STP completed || 1 tries, 540489 fired transitions, 1900 secs || 515498 markings, 950502 edges, 285 markings/sec, 1900 secs
lola: STP completed || 1 tries, 541905 fired transitions, 1905 secs || 516912 markings, 952841 edges, 283 markings/sec, 1905 secs
lola: STP completed || 1 tries, 543244 fired transitions, 1910 secs || 518279 markings, 955518 edges, 273 markings/sec, 1910 secs
lola: STP completed || 1 tries, 544543 fired transitions, 1915 secs || 519625 markings, 958702 edges, 269 markings/sec, 1915 secs
lola: STP completed || 1 tries, 545924 fired transitions, 1920 secs || 521061 markings, 961456 edges, 287 markings/sec, 1920 secs
lola: STP completed || 1 tries, 547320 fired transitions, 1925 secs || 522437 markings, 964627 edges, 275 markings/sec, 1925 secs
lola: STP completed || 1 tries, 548738 fired transitions, 1930 secs || 523805 markings, 967578 edges, 274 markings/sec, 1930 secs
lola: STP completed || 1 tries, 550094 fired transitions, 1935 secs || 525191 markings, 970822 edges, 277 markings/sec, 1935 secs
lola: STP completed || 1 tries, 551525 fired transitions, 1940 secs || 526465 markings, 973645 edges, 255 markings/sec, 1940 secs
lola: STP completed || 1 tries, 552940 fired transitions, 1945 secs || 527868 markings, 977195 edges, 281 markings/sec, 1945 secs
lola: STP completed || 1 tries, 554342 fired transitions, 1950 secs || 529215 markings, 980246 edges, 269 markings/sec, 1950 secs
lola: STP completed || 1 tries, 555724 fired transitions, 1955 secs || 530646 markings, 983022 edges, 286 markings/sec, 1955 secs
lola: STP completed || 1 tries, 557123 fired transitions, 1960 secs || 532090 markings, 985610 edges, 289 markings/sec, 1960 secs
lola: STP completed || 1 tries, 558540 fired transitions, 1965 secs || 533576 markings, 988061 edges, 297 markings/sec, 1965 secs
lola: STP completed || 1 tries, 559965 fired transitions, 1970 secs || 535024 markings, 990568 edges, 290 markings/sec, 1970 secs
lola: STP completed || 1 tries, 561390 fired transitions, 1975 secs || 536473 markings, 992987 edges, 290 markings/sec, 1975 secs
lola: STP completed || 1 tries, 562766 fired transitions, 1980 secs || 537839 markings, 995392 edges, 273 markings/sec, 1980 secs
lola: STP completed || 1 tries, 564168 fired transitions, 1985 secs || 539229 markings, 998013 edges, 278 markings/sec, 1985 secs
lola: STP completed || 1 tries, 565590 fired transitions, 1990 secs || 540675 markings, 1000420 edges, 289 markings/sec, 1990 secs
lola: STP completed || 1 tries, 566972 fired transitions, 1995 secs || 542079 markings, 1002700 edges, 281 markings/sec, 1995 secs
lola: STP completed || 1 tries, 568404 fired transitions, 2000 secs || 543492 markings, 1005087 edges, 283 markings/sec, 2000 secs
lola: STP completed || 1 tries, 569889 fired transitions, 2005 secs || 544915 markings, 1007457 edges, 285 markings/sec, 2005 secs
lola: STP completed || 1 tries, 571327 fired transitions, 2010 secs || 546294 markings, 1009904 edges, 276 markings/sec, 2010 secs
lola: STP completed || 1 tries, 572763 fired transitions, 2015 secs || 547718 markings, 1012269 edges, 285 markings/sec, 2015 secs
lola: STP completed || 1 tries, 574162 fired transitions, 2020 secs || 549145 markings, 1014887 edges, 285 markings/sec, 2020 secs
lola: STP completed || 1 tries, 575570 fired transitions, 2025 secs || 550554 markings, 1017840 edges, 282 markings/sec, 2025 secs
lola: STP completed || 1 tries, 577029 fired transitions, 2030 secs || 552048 markings, 1020230 edges, 299 markings/sec, 2030 secs
lola: STP completed || 1 tries, 578472 fired transitions, 2035 secs || 553432 markings, 1022535 edges, 277 markings/sec, 2035 secs
lola: STP completed || 1 tries, 579925 fired transitions, 2040 secs || 554861 markings, 1024964 edges, 286 markings/sec, 2040 secs
lola: STP completed || 1 tries, 581323 fired transitions, 2045 secs || 556295 markings, 1027350 edges, 287 markings/sec, 2045 secs
lola: STP completed || 1 tries, 582744 fired transitions, 2050 secs || 557771 markings, 1029789 edges, 295 markings/sec, 2050 secs
lola: STP completed || 1 tries, 584214 fired transitions, 2055 secs || 559169 markings, 1032092 edges, 280 markings/sec, 2055 secs
lola: STP completed || 1 tries, 585666 fired transitions, 2060 secs || 560592 markings, 1034445 edges, 285 markings/sec, 2060 secs
lola: STP completed || 1 tries, 587111 fired transitions, 2065 secs || 561932 markings, 1036933 edges, 268 markings/sec, 2065 secs
lola: STP completed || 1 tries, 588572 fired transitions, 2070 secs || 563250 markings, 1039316 edges, 264 markings/sec, 2070 secs
lola: STP completed || 1 tries, 589978 fired transitions, 2075 secs || 564630 markings, 1042139 edges, 276 markings/sec, 2075 secs
lola: STP completed || 1 tries, 591405 fired transitions, 2080 secs || 566037 markings, 1044492 edges, 281 markings/sec, 2080 secs
lola: STP completed || 1 tries, 592834 fired transitions, 2085 secs || 567484 markings, 1046843 edges, 289 markings/sec, 2085 secs
lola: STP completed || 1 tries, 594193 fired transitions, 2090 secs || 568919 markings, 1049115 edges, 287 markings/sec, 2090 secs
lola: STP completed || 1 tries, 595623 fired transitions, 2095 secs || 570404 markings, 1051454 edges, 297 markings/sec, 2095 secs
lola: STP completed || 1 tries, 597053 fired transitions, 2100 secs || 571835 markings, 1053750 edges, 286 markings/sec, 2100 secs
lola: STP completed || 1 tries, 598508 fired transitions, 2105 secs || 573231 markings, 1056042 edges, 279 markings/sec, 2105 secs
lola: STP completed || 1 tries, 599931 fired transitions, 2110 secs || 574666 markings, 1058434 edges, 287 markings/sec, 2110 secs
lola: STP completed || 1 tries, 601380 fired transitions, 2115 secs || 576075 markings, 1060596 edges, 282 markings/sec, 2115 secs
lola: STP completed || 1 tries, 602825 fired transitions, 2120 secs || 577476 markings, 1062838 edges, 280 markings/sec, 2120 secs
lola: STP completed || 1 tries, 604290 fired transitions, 2125 secs || 578929 markings, 1065162 edges, 291 markings/sec, 2125 secs
lola: STP completed || 1 tries, 605746 fired transitions, 2130 secs || 580342 markings, 1067414 edges, 283 markings/sec, 2130 secs
lola: STP completed || 1 tries, 607175 fired transitions, 2135 secs || 581723 markings, 1069922 edges, 276 markings/sec, 2135 secs
lola: STP completed || 1 tries, 608561 fired transitions, 2140 secs || 583192 markings, 1072126 edges, 294 markings/sec, 2140 secs
lola: STP completed || 1 tries, 609989 fired transitions, 2145 secs || 584641 markings, 1074400 edges, 290 markings/sec, 2145 secs
lola: STP completed || 1 tries, 611410 fired transitions, 2150 secs || 586070 markings, 1076579 edges, 286 markings/sec, 2150 secs
lola: STP completed || 1 tries, 612839 fired transitions, 2155 secs || 587497 markings, 1078854 edges, 285 markings/sec, 2155 secs
lola: STP completed || 1 tries, 614271 fired transitions, 2160 secs || 588920 markings, 1081037 edges, 285 markings/sec, 2160 secs
lola: STP completed || 1 tries, 615696 fired transitions, 2165 secs || 590344 markings, 1083430 edges, 285 markings/sec, 2165 secs
lola: STP completed || 1 tries, 617100 fired transitions, 2170 secs || 591745 markings, 1085659 edges, 280 markings/sec, 2170 secs
lola: STP completed || 1 tries, 618520 fired transitions, 2175 secs || 593140 markings, 1087897 edges, 279 markings/sec, 2175 secs
lola: STP completed || 1 tries, 619974 fired transitions, 2180 secs || 594528 markings, 1090223 edges, 278 markings/sec, 2180 secs
lola: STP completed || 1 tries, 621432 fired transitions, 2185 secs || 595971 markings, 1092507 edges, 289 markings/sec, 2185 secs
lola: STP completed || 1 tries, 622889 fired transitions, 2190 secs || 597352 markings, 1094903 edges, 276 markings/sec, 2190 secs
lola: STP completed || 1 tries, 624297 fired transitions, 2195 secs || 598720 markings, 1097134 edges, 274 markings/sec, 2195 secs
lola: STP completed || 1 tries, 625743 fired transitions, 2200 secs || 600149 markings, 1099548 edges, 286 markings/sec, 2200 secs
lola: STP completed || 1 tries, 627193 fired transitions, 2205 secs || 601569 markings, 1101850 edges, 284 markings/sec, 2205 secs
lola: STP completed || 1 tries, 628629 fired transitions, 2210 secs || 602969 markings, 1104318 edges, 280 markings/sec, 2210 secs
lola: STP completed || 1 tries, 630086 fired transitions, 2215 secs || 604365 markings, 1106694 edges, 279 markings/sec, 2215 secs
lola: STP completed || 1 tries, 631559 fired transitions, 2220 secs || 605744 markings, 1109106 edges, 276 markings/sec, 2220 secs
lola: STP completed || 1 tries, 632987 fired transitions, 2225 secs || 607079 markings, 1111605 edges, 267 markings/sec, 2225 secs
lola: STP completed || 1 tries, 634435 fired transitions, 2230 secs || 608472 markings, 1114410 edges, 279 markings/sec, 2230 secs
lola: STP completed || 1 tries, 635854 fired transitions, 2235 secs || 609801 markings, 1117094 edges, 266 markings/sec, 2235 secs
lola: STP completed || 1 tries, 637244 fired transitions, 2240 secs || 611207 markings, 1119765 edges, 281 markings/sec, 2240 secs
lola: STP completed || 1 tries, 638610 fired transitions, 2245 secs || 612564 markings, 1122752 edges, 271 markings/sec, 2245 secs
lola: STP completed || 1 tries, 639992 fired transitions, 2250 secs || 614047 markings, 1125193 edges, 297 markings/sec, 2250 secs
lola: STP completed || 1 tries, 641435 fired transitions, 2255 secs || 615431 markings, 1127633 edges, 277 markings/sec, 2255 secs
lola: STP completed || 1 tries, 642812 fired transitions, 2260 secs || 616839 markings, 1129830 edges, 282 markings/sec, 2260 secs
lola: STP completed || 1 tries, 644227 fired transitions, 2265 secs || 618228 markings, 1132324 edges, 278 markings/sec, 2265 secs
lola: STP completed || 1 tries, 645666 fired transitions, 2270 secs || 619586 markings, 1134755 edges, 272 markings/sec, 2270 secs
lola: STP completed || 1 tries, 647082 fired transitions, 2275 secs || 620890 markings, 1137160 edges, 261 markings/sec, 2275 secs
lola: STP completed || 1 tries, 648492 fired transitions, 2280 secs || 622326 markings, 1139515 edges, 287 markings/sec, 2280 secs
lola: STP completed || 1 tries, 649853 fired transitions, 2285 secs || 623688 markings, 1142419 edges, 272 markings/sec, 2285 secs
lola: STP completed || 1 tries, 651234 fired transitions, 2290 secs || 625097 markings, 1145411 edges, 282 markings/sec, 2290 secs
lola: STP completed || 1 tries, 652595 fired transitions, 2295 secs || 626482 markings, 1148267 edges, 277 markings/sec, 2295 secs
lola: STP completed || 1 tries, 653920 fired transitions, 2300 secs || 627948 markings, 1150980 edges, 293 markings/sec, 2300 secs
lola: STP completed || 1 tries, 655255 fired transitions, 2305 secs || 629395 markings, 1154177 edges, 289 markings/sec, 2305 secs
lola: STP completed || 1 tries, 656587 fired transitions, 2310 secs || 630776 markings, 1157262 edges, 276 markings/sec, 2310 secs
lola: STP completed || 1 tries, 657900 fired transitions, 2315 secs || 632196 markings, 1160041 edges, 284 markings/sec, 2315 secs
lola: STP completed || 1 tries, 659271 fired transitions, 2320 secs || 633579 markings, 1162906 edges, 277 markings/sec, 2320 secs
lola: STP completed || 1 tries, 660577 fired transitions, 2325 secs || 634962 markings, 1165794 edges, 277 markings/sec, 2325 secs
lola: STP completed || 1 tries, 661967 fired transitions, 2330 secs || 636337 markings, 1168693 edges, 275 markings/sec, 2330 secs
lola: STP completed || 1 tries, 663349 fired transitions, 2335 secs || 637635 markings, 1171695 edges, 260 markings/sec, 2335 secs
lola: STP completed || 1 tries, 664782 fired transitions, 2340 secs || 639047 markings, 1174539 edges, 282 markings/sec, 2340 secs
lola: STP completed || 1 tries, 666231 fired transitions, 2345 secs || 640524 markings, 1177166 edges, 295 markings/sec, 2345 secs
lola: STP completed || 1 tries, 667684 fired transitions, 2350 secs || 641988 markings, 1179963 edges, 293 markings/sec, 2350 secs
lola: STP completed || 1 tries, 669152 fired transitions, 2355 secs || 643422 markings, 1182324 edges, 287 markings/sec, 2355 secs
lola: STP completed || 1 tries, 670572 fired transitions, 2360 secs || 644892 markings, 1185148 edges, 294 markings/sec, 2360 secs
lola: STP completed || 1 tries, 671968 fired transitions, 2365 secs || 646355 markings, 1187565 edges, 293 markings/sec, 2365 secs
lola: STP completed || 1 tries, 673407 fired transitions, 2370 secs || 647730 markings, 1189874 edges, 275 markings/sec, 2370 secs
lola: STP completed || 1 tries, 674805 fired transitions, 2375 secs || 649148 markings, 1192419 edges, 284 markings/sec, 2375 secs
lola: STP completed || 1 tries, 676189 fired transitions, 2380 secs || 650574 markings, 1194673 edges, 285 markings/sec, 2380 secs
lola: STP completed || 1 tries, 677624 fired transitions, 2385 secs || 652001 markings, 1197085 edges, 285 markings/sec, 2385 secs
lola: STP completed || 1 tries, 679082 fired transitions, 2390 secs || 653464 markings, 1199508 edges, 293 markings/sec, 2390 secs
lola: STP completed || 1 tries, 680537 fired transitions, 2395 secs || 654935 markings, 1201895 edges, 294 markings/sec, 2395 secs
lola: STP completed || 1 tries, 681949 fired transitions, 2400 secs || 656310 markings, 1204439 edges, 275 markings/sec, 2400 secs
lola: STP completed || 1 tries, 683351 fired transitions, 2405 secs || 657749 markings, 1207243 edges, 288 markings/sec, 2405 secs
lola: STP completed || 1 tries, 684758 fired transitions, 2410 secs || 659158 markings, 1210010 edges, 282 markings/sec, 2410 secs
lola: STP completed || 1 tries, 686096 fired transitions, 2415 secs || 660664 markings, 1212461 edges, 301 markings/sec, 2415 secs
lola: STP completed || 1 tries, 687496 fired transitions, 2420 secs || 662111 markings, 1214843 edges, 289 markings/sec, 2420 secs
lola: STP completed || 1 tries, 688959 fired transitions, 2425 secs || 663572 markings, 1217228 edges, 292 markings/sec, 2425 secs
lola: STP completed || 1 tries, 690408 fired transitions, 2430 secs || 665006 markings, 1219745 edges, 287 markings/sec, 2430 secs
lola: STP completed || 1 tries, 691838 fired transitions, 2435 secs || 666436 markings, 1222161 edges, 286 markings/sec, 2435 secs
lola: STP completed || 1 tries, 693251 fired transitions, 2440 secs || 667825 markings, 1224389 edges, 278 markings/sec, 2440 secs
lola: STP completed || 1 tries, 694712 fired transitions, 2445 secs || 669263 markings, 1226757 edges, 288 markings/sec, 2445 secs
lola: STP completed || 1 tries, 696147 fired transitions, 2450 secs || 670689 markings, 1229267 edges, 285 markings/sec, 2450 secs
lola: STP completed || 1 tries, 697519 fired transitions, 2455 secs || 672120 markings, 1231623 edges, 286 markings/sec, 2455 secs
lola: STP completed || 1 tries, 698935 fired transitions, 2460 secs || 673521 markings, 1234068 edges, 280 markings/sec, 2460 secs
lola: STP completed || 1 tries, 700256 fired transitions, 2465 secs || 674794 markings, 1236487 edges, 255 markings/sec, 2465 secs
lola: STP completed || 1 tries, 701582 fired transitions, 2470 secs || 676216 markings, 1238935 edges, 284 markings/sec, 2470 secs
lola: STP completed || 1 tries, 702964 fired transitions, 2475 secs || 677596 markings, 1241477 edges, 276 markings/sec, 2475 secs
lola: STP completed || 1 tries, 704106 fired transitions, 2480 secs || 678846 markings, 1243684 edges, 250 markings/sec, 2480 secs
lola: STP completed || 1 tries, 705520 fired transitions, 2485 secs || 680291 markings, 1245928 edges, 289 markings/sec, 2485 secs
lola: STP completed || 1 tries, 706777 fired transitions, 2490 secs || 681477 markings, 1247789 edges, 237 markings/sec, 2490 secs
lola: STP completed || 1 tries, 708088 fired transitions, 2495 secs || 682811 markings, 1249887 edges, 267 markings/sec, 2495 secs
lola: STP completed || 1 tries, 709391 fired transitions, 2500 secs || 684085 markings, 1251786 edges, 255 markings/sec, 2500 secs
lola: STP completed || 1 tries, 710879 fired transitions, 2505 secs || 685385 markings, 1254074 edges, 260 markings/sec, 2505 secs
lola: STP completed || 1 tries, 712281 fired transitions, 2510 secs || 686829 markings, 1256483 edges, 289 markings/sec, 2510 secs
lola: STP completed || 1 tries, 713660 fired transitions, 2515 secs || 688264 markings, 1258696 edges, 287 markings/sec, 2515 secs
lola: STP completed || 1 tries, 715048 fired transitions, 2520 secs || 689689 markings, 1261035 edges, 285 markings/sec, 2520 secs
lola: STP completed || 1 tries, 716480 fired transitions, 2525 secs || 691160 markings, 1263227 edges, 294 markings/sec, 2525 secs
lola: STP completed || 1 tries, 717931 fired transitions, 2530 secs || 692537 markings, 1265629 edges, 275 markings/sec, 2530 secs
lola: STP completed || 1 tries, 719334 fired transitions, 2535 secs || 693852 markings, 1267818 edges, 263 markings/sec, 2535 secs
lola: STP completed || 1 tries, 720795 fired transitions, 2540 secs || 695129 markings, 1269763 edges, 255 markings/sec, 2540 secs
lola: STP completed || 1 tries, 722258 fired transitions, 2545 secs || 696427 markings, 1271861 edges, 260 markings/sec, 2545 secs
lola: STP completed || 1 tries, 723709 fired transitions, 2550 secs || 697741 markings, 1273949 edges, 263 markings/sec, 2550 secs
lola: STP completed || 1 tries, 725148 fired transitions, 2555 secs || 699135 markings, 1276119 edges, 279 markings/sec, 2555 secs
lola: STP completed || 1 tries, 726583 fired transitions, 2560 secs || 700598 markings, 1278376 edges, 293 markings/sec, 2560 secs
lola: STP completed || 1 tries, 727821 fired transitions, 2565 secs || 701837 markings, 1280369 edges, 248 markings/sec, 2565 secs
lola: STP completed || 1 tries, 729264 fired transitions, 2570 secs || 703238 markings, 1282720 edges, 280 markings/sec, 2570 secs
lola: STP completed || 1 tries, 730622 fired transitions, 2575 secs || 704626 markings, 1285089 edges, 278 markings/sec, 2575 secs
lola: STP completed || 1 tries, 732005 fired transitions, 2580 secs || 706074 markings, 1287361 edges, 290 markings/sec, 2580 secs
lola: STP completed || 1 tries, 733423 fired transitions, 2585 secs || 707538 markings, 1289642 edges, 293 markings/sec, 2585 secs
lola: STP completed || 1 tries, 734886 fired transitions, 2590 secs || 708945 markings, 1292152 edges, 281 markings/sec, 2590 secs
lola: STP completed || 1 tries, 736327 fired transitions, 2595 secs || 710410 markings, 1294398 edges, 293 markings/sec, 2595 secs
lola: STP completed || 1 tries, 737747 fired transitions, 2600 secs || 711791 markings, 1296718 edges, 276 markings/sec, 2600 secs
lola: STP completed || 1 tries, 739177 fired transitions, 2605 secs || 713147 markings, 1299146 edges, 271 markings/sec, 2605 secs
lola: STP completed || 1 tries, 740615 fired transitions, 2610 secs || 714571 markings, 1301428 edges, 285 markings/sec, 2610 secs
lola: STP completed || 1 tries, 742079 fired transitions, 2615 secs || 715987 markings, 1303649 edges, 283 markings/sec, 2615 secs
lola: STP completed || 1 tries, 743500 fired transitions, 2620 secs || 717368 markings, 1305989 edges, 276 markings/sec, 2620 secs
lola: STP completed || 1 tries, 744927 fired transitions, 2625 secs || 718745 markings, 1308141 edges, 275 markings/sec, 2625 secs
lola: STP completed || 1 tries, 746354 fired transitions, 2630 secs || 720146 markings, 1310644 edges, 280 markings/sec, 2630 secs
lola: STP completed || 1 tries, 747757 fired transitions, 2635 secs || 721480 markings, 1312994 edges, 267 markings/sec, 2635 secs
lola: STP completed || 1 tries, 749203 fired transitions, 2640 secs || 722809 markings, 1315303 edges, 266 markings/sec, 2640 secs
lola: STP completed || 1 tries, 750579 fired transitions, 2645 secs || 724223 markings, 1317483 edges, 283 markings/sec, 2645 secs
lola: STP completed || 1 tries, 752030 fired transitions, 2650 secs || 725526 markings, 1319993 edges, 261 markings/sec, 2650 secs
lola: STP completed || 1 tries, 753445 fired transitions, 2655 secs || 726814 markings, 1322637 edges, 258 markings/sec, 2655 secs
lola: STP completed || 1 tries, 754900 fired transitions, 2660 secs || 728254 markings, 1325231 edges, 288 markings/sec, 2660 secs
lola: STP completed || 1 tries, 756320 fired transitions, 2665 secs || 729630 markings, 1327858 edges, 275 markings/sec, 2665 secs
lola: STP completed || 1 tries, 757711 fired transitions, 2670 secs || 731042 markings, 1330172 edges, 282 markings/sec, 2670 secs
lola: STP completed || 1 tries, 759132 fired transitions, 2675 secs || 732426 markings, 1332878 edges, 277 markings/sec, 2675 secs
lola: STP completed || 1 tries, 760581 fired transitions, 2680 secs || 733840 markings, 1335135 edges, 283 markings/sec, 2680 secs
lola: STP completed || 1 tries, 761995 fired transitions, 2685 secs || 735270 markings, 1337475 edges, 286 markings/sec, 2685 secs
lola: STP completed || 1 tries, 763467 fired transitions, 2690 secs || 736652 markings, 1339725 edges, 276 markings/sec, 2690 secs
lola: STP completed || 1 tries, 764893 fired transitions, 2695 secs || 738061 markings, 1342031 edges, 282 markings/sec, 2695 secs
lola: STP completed || 1 tries, 766341 fired transitions, 2700 secs || 739493 markings, 1344447 edges, 286 markings/sec, 2700 secs
lola: STP completed || 1 tries, 767780 fired transitions, 2705 secs || 740901 markings, 1346853 edges, 282 markings/sec, 2705 secs
lola: STP completed || 1 tries, 769219 fired transitions, 2710 secs || 742318 markings, 1349162 edges, 283 markings/sec, 2710 secs
lola: STP completed || 1 tries, 770650 fired transitions, 2715 secs || 743715 markings, 1351623 edges, 279 markings/sec, 2715 secs
lola: STP completed || 1 tries, 772062 fired transitions, 2720 secs || 745171 markings, 1354019 edges, 291 markings/sec, 2720 secs
lola: STP completed || 1 tries, 773499 fired transitions, 2725 secs || 746494 markings, 1356372 edges, 265 markings/sec, 2725 secs
lola: STP completed || 1 tries, 774937 fired transitions, 2730 secs || 747843 markings, 1358742 edges, 270 markings/sec, 2730 secs
lola: STP completed || 1 tries, 776342 fired transitions, 2735 secs || 749170 markings, 1360969 edges, 265 markings/sec, 2735 secs
lola: STP completed || 1 tries, 777801 fired transitions, 2740 secs || 750563 markings, 1363440 edges, 279 markings/sec, 2740 secs
lola: STP completed || 1 tries, 779196 fired transitions, 2745 secs || 751973 markings, 1365999 edges, 282 markings/sec, 2745 secs
lola: STP completed || 1 tries, 780685 fired transitions, 2750 secs || 753391 markings, 1368406 edges, 284 markings/sec, 2750 secs
lola: STP completed || 1 tries, 782134 fired transitions, 2755 secs || 754793 markings, 1370852 edges, 280 markings/sec, 2755 secs
lola: STP completed || 1 tries, 783565 fired transitions, 2760 secs || 756185 markings, 1373455 edges, 278 markings/sec, 2760 secs
lola: STP completed || 1 tries, 785017 fired transitions, 2765 secs || 757609 markings, 1375985 edges, 285 markings/sec, 2765 secs
lola: STP completed || 1 tries, 786491 fired transitions, 2770 secs || 759033 markings, 1378317 edges, 285 markings/sec, 2770 secs
lola: STP completed || 1 tries, 787936 fired transitions, 2775 secs || 760473 markings, 1380673 edges, 288 markings/sec, 2775 secs
lola: STP completed || 1 tries, 789397 fired transitions, 2780 secs || 761897 markings, 1383067 edges, 285 markings/sec, 2780 secs
lola: STP completed || 1 tries, 790848 fired transitions, 2785 secs || 763294 markings, 1385490 edges, 279 markings/sec, 2785 secs
lola: STP completed || 1 tries, 792309 fired transitions, 2790 secs || 764690 markings, 1388202 edges, 279 markings/sec, 2790 secs
lola: STP completed || 1 tries, 793767 fired transitions, 2795 secs || 766107 markings, 1390655 edges, 283 markings/sec, 2795 secs
lola: STP completed || 1 tries, 795205 fired transitions, 2800 secs || 767520 markings, 1393174 edges, 283 markings/sec, 2800 secs
lola: STP completed || 1 tries, 796649 fired transitions, 2805 secs || 768902 markings, 1395863 edges, 276 markings/sec, 2805 secs
lola: STP completed || 1 tries, 798093 fired transitions, 2810 secs || 770345 markings, 1398251 edges, 289 markings/sec, 2810 secs
lola: STP completed || 1 tries, 799535 fired transitions, 2815 secs || 771805 markings, 1400613 edges, 292 markings/sec, 2815 secs
lola: STP completed || 1 tries, 801000 fired transitions, 2820 secs || 773238 markings, 1403053 edges, 287 markings/sec, 2820 secs
lola: STP completed || 1 tries, 802418 fired transitions, 2825 secs || 774638 markings, 1405556 edges, 280 markings/sec, 2825 secs
lola: STP completed || 1 tries, 803756 fired transitions, 2830 secs || 776101 markings, 1408013 edges, 293 markings/sec, 2830 secs
lola: STP completed || 1 tries, 805175 fired transitions, 2835 secs || 777476 markings, 1410307 edges, 275 markings/sec, 2835 secs
lola: STP completed || 1 tries, 806620 fired transitions, 2840 secs || 778915 markings, 1412546 edges, 288 markings/sec, 2840 secs
lola: STP completed || 1 tries, 808085 fired transitions, 2845 secs || 780324 markings, 1414877 edges, 282 markings/sec, 2845 secs
lola: STP completed || 1 tries, 809560 fired transitions, 2850 secs || 781783 markings, 1417129 edges, 292 markings/sec, 2850 secs
lola: STP completed || 1 tries, 811032 fired transitions, 2855 secs || 783167 markings, 1419377 edges, 277 markings/sec, 2855 secs
lola: STP completed || 1 tries, 812457 fired transitions, 2860 secs || 784591 markings, 1421632 edges, 285 markings/sec, 2860 secs
lola: STP completed || 1 tries, 813950 fired transitions, 2865 secs || 786008 markings, 1423841 edges, 283 markings/sec, 2865 secs
lola: STP completed || 1 tries, 815421 fired transitions, 2870 secs || 787472 markings, 1426120 edges, 293 markings/sec, 2870 secs
lola: STP completed || 1 tries, 816850 fired transitions, 2875 secs || 788860 markings, 1428433 edges, 278 markings/sec, 2875 secs
lola: STP completed || 1 tries, 818217 fired transitions, 2880 secs || 790296 markings, 1430770 edges, 287 markings/sec, 2880 secs
lola: STP completed || 1 tries, 819567 fired transitions, 2885 secs || 791698 markings, 1433011 edges, 280 markings/sec, 2885 secs
lola: STP completed || 1 tries, 820939 fired transitions, 2890 secs || 793073 markings, 1435319 edges, 275 markings/sec, 2890 secs
lola: STP completed || 1 tries, 822297 fired transitions, 2895 secs || 794487 markings, 1437659 edges, 283 markings/sec, 2895 secs
lola: STP completed || 1 tries, 823707 fired transitions, 2900 secs || 795876 markings, 1439970 edges, 278 markings/sec, 2900 secs
lola: STP completed || 1 tries, 825144 fired transitions, 2905 secs || 797266 markings, 1442205 edges, 278 markings/sec, 2905 secs
lola: STP completed || 1 tries, 826454 fired transitions, 2910 secs || 798642 markings, 1444514 edges, 275 markings/sec, 2910 secs
lola: STP completed || 1 tries, 827870 fired transitions, 2915 secs || 800087 markings, 1446734 edges, 289 markings/sec, 2915 secs
lola: STP completed || 1 tries, 829239 fired transitions, 2920 secs || 801522 markings, 1448959 edges, 287 markings/sec, 2920 secs
lola: STP completed || 1 tries, 830661 fired transitions, 2925 secs || 802904 markings, 1451343 edges, 276 markings/sec, 2925 secs
lola: STP completed || 1 tries, 832028 fired transitions, 2930 secs || 804364 markings, 1453661 edges, 292 markings/sec, 2930 secs
lola: STP completed || 1 tries, 833505 fired transitions, 2935 secs || 805770 markings, 1456039 edges, 281 markings/sec, 2935 secs
lola: STP completed || 1 tries, 834978 fired transitions, 2940 secs || 807148 markings, 1458340 edges, 276 markings/sec, 2940 secs
lola: STP completed || 1 tries, 836452 fired transitions, 2945 secs || 808572 markings, 1460620 edges, 285 markings/sec, 2945 secs
lola: STP completed || 1 tries, 837846 fired transitions, 2950 secs || 810007 markings, 1462956 edges, 287 markings/sec, 2950 secs
lola: STP completed || 1 tries, 839310 fired transitions, 2955 secs || 811409 markings, 1465422 edges, 280 markings/sec, 2955 secs
lola: STP completed || 1 tries, 840777 fired transitions, 2960 secs || 812809 markings, 1467879 edges, 280 markings/sec, 2960 secs
lola: STP completed || 1 tries, 842236 fired transitions, 2965 secs || 814230 markings, 1470312 edges, 284 markings/sec, 2965 secs
lola: STP completed || 1 tries, 843702 fired transitions, 2970 secs || 815574 markings, 1472837 edges, 269 markings/sec, 2970 secs
lola: STP completed || 1 tries, 845133 fired transitions, 2975 secs || 816985 markings, 1475086 edges, 282 markings/sec, 2975 secs
lola: STP completed || 1 tries, 846591 fired transitions, 2980 secs || 818393 markings, 1477372 edges, 282 markings/sec, 2980 secs
lola: STP completed || 1 tries, 848045 fired transitions, 2985 secs || 819818 markings, 1479757 edges, 285 markings/sec, 2985 secs
lola: STP completed || 1 tries, 849507 fired transitions, 2990 secs || 821168 markings, 1482075 edges, 270 markings/sec, 2990 secs
lola: STP completed || 1 tries, 850944 fired transitions, 2995 secs || 822513 markings, 1484545 edges, 269 markings/sec, 2995 secs
lola: STP completed || 1 tries, 852402 fired transitions, 3000 secs || 823917 markings, 1486797 edges, 281 markings/sec, 3000 secs
lola: STP completed || 1 tries, 853837 fired transitions, 3005 secs || 825232 markings, 1489293 edges, 263 markings/sec, 3005 secs
lola: STP completed || 1 tries, 855305 fired transitions, 3010 secs || 826637 markings, 1491794 edges, 281 markings/sec, 3010 secs
lola: STP completed || 1 tries, 856745 fired transitions, 3015 secs || 828078 markings, 1494410 edges, 288 markings/sec, 3015 secs
lola: STP completed || 1 tries, 858163 fired transitions, 3020 secs || 829443 markings, 1497254 edges, 273 markings/sec, 3020 secs
lola: STP completed || 1 tries, 859584 fired transitions, 3025 secs || 830864 markings, 1500054 edges, 284 markings/sec, 3025 secs
lola: STP completed || 1 tries, 861029 fired transitions, 3030 secs || 832278 markings, 1502636 edges, 283 markings/sec, 3030 secs
lola: STP completed || 1 tries, 862480 fired transitions, 3035 secs || 833608 markings, 1504987 edges, 266 markings/sec, 3035 secs
lola: STP completed || 1 tries, 863892 fired transitions, 3040 secs || 834926 markings, 1507760 edges, 264 markings/sec, 3040 secs
lola: STP completed || 1 tries, 865327 fired transitions, 3045 secs || 836243 markings, 1510982 edges, 263 markings/sec, 3045 secs
lola: STP completed || 1 tries, 866733 fired transitions, 3050 secs || 837561 markings, 1513887 edges, 264 markings/sec, 3050 secs
lola: STP completed || 1 tries, 868156 fired transitions, 3055 secs || 838951 markings, 1516918 edges, 278 markings/sec, 3055 secs
lola: STP completed || 1 tries, 869585 fired transitions, 3060 secs || 840381 markings, 1519254 edges, 286 markings/sec, 3060 secs
lola: STP completed || 1 tries, 871039 fired transitions, 3065 secs || 841823 markings, 1521579 edges, 288 markings/sec, 3065 secs
lola: STP completed || 1 tries, 872476 fired transitions, 3070 secs || 843245 markings, 1524325 edges, 284 markings/sec, 3070 secs
lola: STP completed || 1 tries, 873863 fired transitions, 3075 secs || 844675 markings, 1527468 edges, 286 markings/sec, 3075 secs
lola: STP completed || 1 tries, 875238 fired transitions, 3080 secs || 846136 markings, 1530004 edges, 292 markings/sec, 3080 secs
lola: STP completed || 1 tries, 876607 fired transitions, 3085 secs || 847527 markings, 1532260 edges, 278 markings/sec, 3085 secs
lola: STP completed || 1 tries, 878046 fired transitions, 3090 secs || 849025 markings, 1534797 edges, 300 markings/sec, 3090 secs
lola: STP completed || 1 tries, 879475 fired transitions, 3095 secs || 850460 markings, 1537249 edges, 287 markings/sec, 3095 secs
lola: STP completed || 1 tries, 880908 fired transitions, 3100 secs || 851954 markings, 1539691 edges, 299 markings/sec, 3100 secs
lola: STP completed || 1 tries, 882389 fired transitions, 3105 secs || 853380 markings, 1541944 edges, 285 markings/sec, 3105 secs
lola: STP completed || 1 tries, 883865 fired transitions, 3110 secs || 854778 markings, 1544237 edges, 280 markings/sec, 3110 secs
lola: STP completed || 1 tries, 885327 fired transitions, 3115 secs || 856226 markings, 1546572 edges, 290 markings/sec, 3115 secs
lola: STP completed || 1 tries, 886783 fired transitions, 3120 secs || 857660 markings, 1548797 edges, 287 markings/sec, 3120 secs
lola: STP completed || 1 tries, 888200 fired transitions, 3125 secs || 859034 markings, 1551433 edges, 275 markings/sec, 3125 secs
lola: STP completed || 1 tries, 889585 fired transitions, 3130 secs || 860424 markings, 1553810 edges, 278 markings/sec, 3130 secs
lola: STP completed || 1 tries, 891037 fired transitions, 3135 secs || 861867 markings, 1556226 edges, 289 markings/sec, 3135 secs
lola: STP completed || 1 tries, 892468 fired transitions, 3140 secs || 863309 markings, 1558589 edges, 288 markings/sec, 3140 secs
lola: STP completed || 1 tries, 893896 fired transitions, 3145 secs || 864765 markings, 1561092 edges, 291 markings/sec, 3145 secs
lola: STP completed || 1 tries, 895320 fired transitions, 3150 secs || 866188 markings, 1563451 edges, 285 markings/sec, 3150 secs
lola: STP completed || 1 tries, 896762 fired transitions, 3155 secs || 867651 markings, 1565746 edges, 293 markings/sec, 3155 secs
lola: STP completed || 1 tries, 898206 fired transitions, 3160 secs || 869112 markings, 1568057 edges, 292 markings/sec, 3160 secs
lola: STP completed || 1 tries, 899649 fired transitions, 3165 secs || 870556 markings, 1570455 edges, 289 markings/sec, 3165 secs
lola: STP completed || 1 tries, 901079 fired transitions, 3170 secs || 871990 markings, 1572665 edges, 287 markings/sec, 3170 secs
lola: STP completed || 1 tries, 902532 fired transitions, 3175 secs || 873409 markings, 1574896 edges, 284 markings/sec, 3175 secs
lola: STP completed || 1 tries, 903988 fired transitions, 3180 secs || 874850 markings, 1577193 edges, 288 markings/sec, 3180 secs
lola: STP completed || 1 tries, 905442 fired transitions, 3185 secs || 876187 markings, 1579431 edges, 267 markings/sec, 3185 secs
lola: STP completed || 1 tries, 906899 fired transitions, 3190 secs || 877594 markings, 1581829 edges, 281 markings/sec, 3190 secs
lola: STP completed || 1 tries, 908348 fired transitions, 3195 secs || 878989 markings, 1584257 edges, 279 markings/sec, 3195 secs
lola: STP completed || 1 tries, 909784 fired transitions, 3200 secs || 880386 markings, 1587100 edges, 279 markings/sec, 3200 secs
lola: STP completed || 1 tries, 911191 fired transitions, 3205 secs || 881737 markings, 1589837 edges, 270 markings/sec, 3205 secs
lola: STP completed || 1 tries, 912614 fired transitions, 3210 secs || 883194 markings, 1592630 edges, 291 markings/sec, 3210 secs
lola: STP completed || 1 tries, 914047 fired transitions, 3215 secs || 884734 markings, 1595386 edges, 308 markings/sec, 3215 secs
lola: STP completed || 1 tries, 915482 fired transitions, 3220 secs || 886247 markings, 1598230 edges, 303 markings/sec, 3220 secs
lola: STP completed || 1 tries, 916845 fired transitions, 3225 secs || 887768 markings, 1600904 edges, 304 markings/sec, 3225 secs
lola: STP completed || 1 tries, 918226 fired transitions, 3230 secs || 889179 markings, 1603520 edges, 282 markings/sec, 3230 secs
lola: STP completed || 1 tries, 919603 fired transitions, 3235 secs || 890683 markings, 1606305 edges, 301 markings/sec, 3235 secs
lola: STP completed || 1 tries, 920948 fired transitions, 3240 secs || 892063 markings, 1609359 edges, 276 markings/sec, 3240 secs
lola: STP completed || 1 tries, 922365 fired transitions, 3245 secs || 893557 markings, 1612211 edges, 299 markings/sec, 3245 secs
lola: STP completed || 1 tries, 923780 fired transitions, 3250 secs || 895032 markings, 1614950 edges, 295 markings/sec, 3250 secs
lola: STP completed || 1 tries, 925135 fired transitions, 3255 secs || 896513 markings, 1617525 edges, 296 markings/sec, 3255 secs
lola: STP completed || 1 tries, 926580 fired transitions, 3260 secs || 897905 markings, 1620101 edges, 278 markings/sec, 3260 secs
lola: STP completed || 1 tries, 928041 fired transitions, 3265 secs || 899295 markings, 1622522 edges, 278 markings/sec, 3265 secs
lola: STP completed || 1 tries, 929416 fired transitions, 3270 secs || 900784 markings, 1624926 edges, 298 markings/sec, 3270 secs
lola: STP completed || 1 tries, 930826 fired transitions, 3275 secs || 902157 markings, 1627509 edges, 275 markings/sec, 3275 secs
lola: STP completed || 1 tries, 932213 fired transitions, 3280 secs || 903653 markings, 1630534 edges, 299 markings/sec, 3280 secs
lola: STP completed || 1 tries, 933617 fired transitions, 3285 secs || 905187 markings, 1633479 edges, 307 markings/sec, 3285 secs
lola: STP completed || 1 tries, 935048 fired transitions, 3290 secs || 906743 markings, 1636192 edges, 311 markings/sec, 3290 secs
lola: STP completed || 1 tries, 936488 fired transitions, 3295 secs || 908215 markings, 1638664 edges, 294 markings/sec, 3295 secs
lola: STP completed || 1 tries, 937911 fired transitions, 3300 secs || 909704 markings, 1641390 edges, 298 markings/sec, 3300 secs
lola: STP completed || 1 tries, 939336 fired transitions, 3305 secs || 911175 markings, 1643839 edges, 294 markings/sec, 3305 secs
lola: STP completed || 1 tries, 940792 fired transitions, 3310 secs || 912646 markings, 1646319 edges, 294 markings/sec, 3310 secs
lola: STP completed || 1 tries, 942220 fired transitions, 3315 secs || 914068 markings, 1649122 edges, 284 markings/sec, 3315 secs
lola: STP completed || 1 tries, 943642 fired transitions, 3320 secs || 915461 markings, 1651550 edges, 279 markings/sec, 3320 secs
lola: STP completed || 1 tries, 945092 fired transitions, 3325 secs || 916903 markings, 1653935 edges, 288 markings/sec, 3325 secs
lola: STP completed || 1 tries, 946522 fired transitions, 3330 secs || 918363 markings, 1656456 edges, 292 markings/sec, 3330 secs
lola: STP completed || 1 tries, 948033 fired transitions, 3335 secs || 919811 markings, 1658792 edges, 290 markings/sec, 3335 secs
lola: STP completed || 1 tries, 949471 fired transitions, 3340 secs || 921246 markings, 1661305 edges, 287 markings/sec, 3340 secs
lola: STP completed || 1 tries, 950900 fired transitions, 3345 secs || 922634 markings, 1663966 edges, 278 markings/sec, 3345 secs
lola: STP completed || 1 tries, 952303 fired transitions, 3350 secs || 923983 markings, 1666456 edges, 270 markings/sec, 3350 secs
lola: STP completed || 1 tries, 953718 fired transitions, 3355 secs || 925497 markings, 1669239 edges, 303 markings/sec, 3355 secs
lola: STP completed || 1 tries, 955132 fired transitions, 3360 secs || 927034 markings, 1672156 edges, 307 markings/sec, 3360 secs
lola: STP completed || 1 tries, 956560 fired transitions, 3365 secs || 928543 markings, 1674729 edges, 302 markings/sec, 3365 secs
lola: STP completed || 1 tries, 957918 fired transitions, 3370 secs || 930062 markings, 1677259 edges, 304 markings/sec, 3370 secs
lola: STP completed || 1 tries, 959342 fired transitions, 3375 secs || 931539 markings, 1679758 edges, 295 markings/sec, 3375 secs
lola: STP completed || 1 tries, 960786 fired transitions, 3380 secs || 933021 markings, 1682218 edges, 296 markings/sec, 3380 secs
lola: STP completed || 1 tries, 962221 fired transitions, 3385 secs || 934513 markings, 1684777 edges, 298 markings/sec, 3385 secs
lola: STP completed || 1 tries, 963609 fired transitions, 3390 secs || 935949 markings, 1687185 edges, 287 markings/sec, 3390 secs
lola: STP completed || 1 tries, 965035 fired transitions, 3395 secs || 937400 markings, 1689516 edges, 290 markings/sec, 3395 secs
lola: STP completed || 1 tries, 966491 fired transitions, 3400 secs || 938858 markings, 1692089 edges, 292 markings/sec, 3400 secs
lola: STP completed || 1 tries, 967925 fired transitions, 3405 secs || 940271 markings, 1694547 edges, 283 markings/sec, 3405 secs
lola: STP completed || 1 tries, 969324 fired transitions, 3410 secs || 941748 markings, 1696933 edges, 295 markings/sec, 3410 secs
lola: STP completed || 1 tries, 970789 fired transitions, 3415 secs || 943169 markings, 1699578 edges, 284 markings/sec, 3415 secs
lola: STP completed || 1 tries, 972253 fired transitions, 3420 secs || 944657 markings, 1702116 edges, 298 markings/sec, 3420 secs
lola: STP completed || 1 tries, 973618 fired transitions, 3425 secs || 946169 markings, 1704531 edges, 302 markings/sec, 3425 secs
lola: STP completed || 1 tries, 975013 fired transitions, 3430 secs || 947625 markings, 1707010 edges, 291 markings/sec, 3430 secs
lola: STP completed || 1 tries, 976484 fired transitions, 3435 secs || 949074 markings, 1709367 edges, 290 markings/sec, 3435 secs
lola: STP completed || 1 tries, 977917 fired transitions, 3440 secs || 950519 markings, 1711719 edges, 289 markings/sec, 3440 secs
lola: STP completed || 1 tries, 979303 fired transitions, 3445 secs || 951934 markings, 1714099 edges, 283 markings/sec, 3445 secs
lola: STP completed || 1 tries, 980751 fired transitions, 3450 secs || 953350 markings, 1716678 edges, 283 markings/sec, 3450 secs
lola: STP completed || 1 tries, 982205 fired transitions, 3455 secs || 954811 markings, 1719075 edges, 292 markings/sec, 3455 secs
lola: STP completed || 1 tries, 983654 fired transitions, 3460 secs || 956279 markings, 1721494 edges, 294 markings/sec, 3460 secs
lola: STP completed || 1 tries, 985112 fired transitions, 3465 secs || 957721 markings, 1723977 edges, 288 markings/sec, 3465 secs
lola: STP completed || 1 tries, 986533 fired transitions, 3470 secs || 959051 markings, 1726420 edges, 266 markings/sec, 3470 secs
lola: STP completed || 1 tries, 987903 fired transitions, 3475 secs || 960452 markings, 1728942 edges, 280 markings/sec, 3475 secs
lola: STP completed || 1 tries, 989246 fired transitions, 3480 secs || 961881 markings, 1731398 edges, 286 markings/sec, 3480 secs
lola: STP completed || 1 tries, 990693 fired transitions, 3485 secs || 963289 markings, 1734106 edges, 282 markings/sec, 3485 secs
lola: STP completed || 1 tries, 992064 fired transitions, 3490 secs || 964584 markings, 1736690 edges, 259 markings/sec, 3490 secs
lola: STP completed || 1 tries, 993505 fired transitions, 3495 secs || 965911 markings, 1739213 edges, 265 markings/sec, 3495 secs
lola: STP completed || 1 tries, 994933 fired transitions, 3500 secs || 967263 markings, 1741853 edges, 270 markings/sec, 3500 secs
lola: STP completed || 1 tries, 996358 fired transitions, 3505 secs || 968649 markings, 1744370 edges, 277 markings/sec, 3505 secs
lola: STP completed || 1 tries, 997770 fired transitions, 3510 secs || 970056 markings, 1746858 edges, 281 markings/sec, 3510 secs
lola: STP completed || 1 tries, 999184 fired transitions, 3515 secs || 971513 markings, 1749538 edges, 291 markings/sec, 3515 secs
lola: STP completed || 2 tries, 1000585 fired transitions, 3520 secs || 972949 markings, 1752147 edges, 287 markings/sec, 3520 secs
lola: STP completed || 2 tries, 1002002 fired transitions, 3525 secs || 974435 markings, 1754428 edges, 297 markings/sec, 3525 secs
lola: STP completed || 2 tries, 1003413 fired transitions, 3530 secs || 975832 markings, 1756809 edges, 279 markings/sec, 3530 secs
lola: STP completed || 2 tries, 1004787 fired transitions, 3535 secs || 977290 markings, 1759085 edges, 292 markings/sec, 3535 secs
lola: STP completed || 2 tries, 1006247 fired transitions, 3540 secs || 978730 markings, 1761322 edges, 288 markings/sec, 3540 secs
lola: STP completed || 2 tries, 1007696 fired transitions, 3545 secs || 980190 markings, 1763630 edges, 292 markings/sec, 3545 secs
lola: STP completed || 2 tries, 1009142 fired transitions, 3550 secs || 981606 markings, 1765957 edges, 283 markings/sec, 3550 secs
lola: STP completed || 2 tries, 1010598 fired transitions, 3555 secs || 983008 markings, 1768364 edges, 280 markings/sec, 3555 secs
lola: STP completed || 2 tries, 1012032 fired transitions, 3560 secs || 984460 markings, 1770852 edges, 290 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 459232 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 459852 KB
lola: time consumption: 3572 seconds
BK_STOP 1526973432575
--------------------
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="Railroad-PT-100"
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/Railroad-PT-100.tgz
mv Railroad-PT-100 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 Railroad-PT-100, 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 r136-qhx2-152673578900202"
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 ;