fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r136-qhx2-152673578900202
Last Updated
June 26, 2018

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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;