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

About the Execution of LoLA for JoinFreeModules-PT-0200

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
9866.540 3571086.00 7203538.00 7595.50 [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 1.3M
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K 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 5.7K 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 11K 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 11K 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 21K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 352 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K 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.8K 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 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.2M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is JoinFreeModules-PT-0200, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r100-smll-152658630900279
=====================================================================


--------------------
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 JoinFreeModules-PT-0200-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1526845378607

info: Time: 3600 - MCC
===========================================================================================
prep: translating JoinFreeModules-PT-0200 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating JoinFreeModules-PT-0200 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ JoinFreeModules-PT-0200 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2602/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 32032
lola: finding significant places
lola: 1001 places, 1601 transitions, 800 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1801 transition conflict sets
lola: TASK
lola: reading formula from JoinFreeModules-PT-0200-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: stp: The siphon/trap property is not applicable since the net is inhomogeneous
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: computed 19701 generators (292 in search tree, 19409 by composition)
lola: representing 3.94329E+372 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 5 tries, 4451182 fired transitions, 0 secs || 2404 markings, 3955 edges, 481 markings/sec, 0 secs
lola: STP completed || 10 tries, 9116863 fired transitions, 5 secs || 89140 markings, 149732 edges, 17347 markings/sec, 5 secs
lola: STP completed || 14 tries, 13758168 fired transitions, 10 secs || 175284 markings, 294260 edges, 17229 markings/sec, 10 secs
lola: STP completed || 19 tries, 18409025 fired transitions, 15 secs || 261626 markings, 439497 edges, 17268 markings/sec, 15 secs
lola: STP completed || 24 tries, 23066249 fired transitions, 20 secs || 347336 markings, 583258 edges, 17142 markings/sec, 20 secs
lola: STP completed || 28 tries, 27707220 fired transitions, 25 secs || 432887 markings, 727011 edges, 17110 markings/sec, 25 secs
lola: STP completed || 33 tries, 32361937 fired transitions, 30 secs || 518363 markings, 870433 edges, 17095 markings/sec, 30 secs
lola: STP completed || 38 tries, 37022176 fired transitions, 35 secs || 603816 markings, 1013903 edges, 17091 markings/sec, 35 secs
lola: STP completed || 42 tries, 41679306 fired transitions, 40 secs || 689356 markings, 1157375 edges, 17108 markings/sec, 40 secs
lola: STP completed || 47 tries, 46337976 fired transitions, 45 secs || 774854 markings, 1300848 edges, 17100 markings/sec, 45 secs
lola: STP completed || 51 tries, 50978931 fired transitions, 50 secs || 859889 markings, 1443743 edges, 17007 markings/sec, 50 secs
lola: STP completed || 56 tries, 55638724 fired transitions, 55 secs || 944212 markings, 1585566 edges, 16865 markings/sec, 55 secs
lola: STP completed || 61 tries, 60300318 fired transitions, 60 secs || 1028516 markings, 1727087 edges, 16861 markings/sec, 60 secs
lola: STP completed || 65 tries, 64960525 fired transitions, 65 secs || 1112971 markings, 1868852 edges, 16891 markings/sec, 65 secs
lola: STP completed || 70 tries, 69618404 fired transitions, 70 secs || 1198069 markings, 2011729 edges, 17020 markings/sec, 70 secs
lola: STP completed || 75 tries, 74283446 fired transitions, 75 secs || 1282336 markings, 2153225 edges, 16853 markings/sec, 75 secs
lola: STP completed || 79 tries, 78944994 fired transitions, 80 secs || 1367050 markings, 2295432 edges, 16943 markings/sec, 80 secs
lola: STP completed || 84 tries, 83598794 fired transitions, 85 secs || 1451266 markings, 2436675 edges, 16843 markings/sec, 85 secs
lola: STP completed || 89 tries, 88083962 fired transitions, 90 secs || 1536595 markings, 2580176 edges, 17066 markings/sec, 90 secs
lola: STP completed || 93 tries, 92799710 fired transitions, 95 secs || 1622741 markings, 2724817 edges, 17229 markings/sec, 95 secs
lola: STP completed || 98 tries, 97510700 fired transitions, 100 secs || 1708633 markings, 2869187 edges, 17178 markings/sec, 100 secs
lola: STP completed || 103 tries, 102223405 fired transitions, 105 secs || 1794593 markings, 3013308 edges, 17192 markings/sec, 105 secs
lola: STP completed || 107 tries, 106935965 fired transitions, 110 secs || 1880468 markings, 3157558 edges, 17175 markings/sec, 110 secs
lola: STP completed || 112 tries, 111650373 fired transitions, 115 secs || 1966831 markings, 3302481 edges, 17273 markings/sec, 115 secs
lola: STP completed || 117 tries, 116364251 fired transitions, 120 secs || 2049119 markings, 3440813 edges, 16458 markings/sec, 120 secs
lola: STP completed || 122 tries, 121073197 fired transitions, 125 secs || 2135183 markings, 3585136 edges, 17213 markings/sec, 125 secs
lola: STP completed || 126 tries, 125790730 fired transitions, 130 secs || 2221173 markings, 3729530 edges, 17198 markings/sec, 130 secs
lola: STP completed || 131 tries, 130491271 fired transitions, 135 secs || 2306647 markings, 3873243 edges, 17095 markings/sec, 135 secs
lola: STP completed || 136 tries, 135192402 fired transitions, 140 secs || 2391814 markings, 4016206 edges, 17033 markings/sec, 140 secs
lola: STP completed || 140 tries, 139904538 fired transitions, 145 secs || 2476839 markings, 4159034 edges, 17005 markings/sec, 145 secs
lola: STP completed || 145 tries, 144607024 fired transitions, 150 secs || 2561895 markings, 4301550 edges, 17011 markings/sec, 150 secs
lola: STP completed || 150 tries, 149321730 fired transitions, 155 secs || 2646878 markings, 4444440 edges, 16997 markings/sec, 155 secs
lola: STP completed || 155 tries, 154028080 fired transitions, 160 secs || 2731663 markings, 4586758 edges, 16957 markings/sec, 160 secs
lola: STP completed || 159 tries, 158733850 fired transitions, 165 secs || 2816213 markings, 4728723 edges, 16910 markings/sec, 165 secs
lola: STP completed || 164 tries, 163446765 fired transitions, 170 secs || 2900699 markings, 4870304 edges, 16897 markings/sec, 170 secs
lola: STP completed || 169 tries, 168154728 fired transitions, 175 secs || 2984963 markings, 5011987 edges, 16853 markings/sec, 175 secs
lola: STP completed || 173 tries, 172859002 fired transitions, 180 secs || 3071837 markings, 5157613 edges, 17375 markings/sec, 180 secs
lola: STP completed || 178 tries, 177553260 fired transitions, 185 secs || 3157883 markings, 5302359 edges, 17209 markings/sec, 185 secs
lola: STP completed || 183 tries, 182266893 fired transitions, 190 secs || 3243936 markings, 5446877 edges, 17211 markings/sec, 190 secs
lola: STP completed || 187 tries, 186986036 fired transitions, 195 secs || 3329812 markings, 5591082 edges, 17175 markings/sec, 195 secs
lola: STP completed || 192 tries, 191693027 fired transitions, 200 secs || 3415919 markings, 5735627 edges, 17221 markings/sec, 200 secs
lola: STP completed || 197 tries, 196406053 fired transitions, 205 secs || 3501628 markings, 5879825 edges, 17142 markings/sec, 205 secs
lola: STP completed || 202 tries, 201122951 fired transitions, 210 secs || 3587440 markings, 6023783 edges, 17162 markings/sec, 210 secs
lola: STP completed || 206 tries, 205796599 fired transitions, 215 secs || 3672823 markings, 6166990 edges, 17077 markings/sec, 215 secs
lola: STP completed || 211 tries, 210458630 fired transitions, 220 secs || 3757781 markings, 6309762 edges, 16992 markings/sec, 220 secs
lola: STP completed || 216 tries, 215100418 fired transitions, 225 secs || 3842343 markings, 6451819 edges, 16912 markings/sec, 225 secs
lola: STP completed || 220 tries, 219753884 fired transitions, 230 secs || 3926716 markings, 6593616 edges, 16875 markings/sec, 230 secs
lola: STP completed || 225 tries, 224399928 fired transitions, 235 secs || 4011221 markings, 6735346 edges, 16901 markings/sec, 235 secs
lola: STP completed || 230 tries, 229051385 fired transitions, 240 secs || 4095704 markings, 6877121 edges, 16897 markings/sec, 240 secs
lola: STP completed || 234 tries, 233767497 fired transitions, 245 secs || 4175436 markings, 7010827 edges, 15946 markings/sec, 245 secs
lola: STP completed || 239 tries, 238481869 fired transitions, 250 secs || 4259763 markings, 7152656 edges, 16865 markings/sec, 250 secs
lola: STP completed || 244 tries, 243133439 fired transitions, 255 secs || 4343916 markings, 7293755 edges, 16831 markings/sec, 255 secs
lola: STP completed || 248 tries, 247788123 fired transitions, 260 secs || 4427683 markings, 7434405 edges, 16753 markings/sec, 260 secs
lola: STP completed || 253 tries, 252439146 fired transitions, 265 secs || 4512661 markings, 7577321 edges, 16996 markings/sec, 265 secs
lola: STP completed || 258 tries, 257090958 fired transitions, 270 secs || 4597026 markings, 7718831 edges, 16873 markings/sec, 270 secs
lola: STP completed || 262 tries, 261755845 fired transitions, 275 secs || 4681906 markings, 7861351 edges, 16976 markings/sec, 275 secs
lola: STP completed || 267 tries, 266420413 fired transitions, 280 secs || 4766225 markings, 8002833 edges, 16864 markings/sec, 280 secs
lola: STP completed || 272 tries, 271075637 fired transitions, 285 secs || 4851109 markings, 8145695 edges, 16977 markings/sec, 285 secs
lola: STP completed || 276 tries, 275729387 fired transitions, 290 secs || 4935923 markings, 8287935 edges, 16963 markings/sec, 290 secs
lola: STP completed || 281 tries, 280375772 fired transitions, 295 secs || 5020889 markings, 8430581 edges, 16993 markings/sec, 295 secs
lola: STP completed || 286 tries, 285034969 fired transitions, 300 secs || 5105407 markings, 8572287 edges, 16904 markings/sec, 300 secs
lola: STP completed || 290 tries, 289694286 fired transitions, 305 secs || 5189899 markings, 8714348 edges, 16898 markings/sec, 305 secs
lola: STP completed || 295 tries, 294353521 fired transitions, 310 secs || 5274383 markings, 8855922 edges, 16897 markings/sec, 310 secs
lola: STP completed || 300 tries, 299010840 fired transitions, 315 secs || 5358314 markings, 8997088 edges, 16786 markings/sec, 315 secs
lola: STP completed || 304 tries, 303664212 fired transitions, 320 secs || 5442335 markings, 9138231 edges, 16804 markings/sec, 320 secs
lola: STP completed || 309 tries, 308316654 fired transitions, 325 secs || 5526266 markings, 9279158 edges, 16786 markings/sec, 325 secs
lola: STP completed || 313 tries, 312977967 fired transitions, 330 secs || 5610531 markings, 9420366 edges, 16853 markings/sec, 330 secs
lola: STP completed || 318 tries, 317636895 fired transitions, 335 secs || 5693822 markings, 9560440 edges, 16658 markings/sec, 335 secs
lola: STP completed || 323 tries, 322292515 fired transitions, 340 secs || 5777529 markings, 9700878 edges, 16741 markings/sec, 340 secs
lola: STP completed || 327 tries, 326942177 fired transitions, 345 secs || 5860959 markings, 9840939 edges, 16686 markings/sec, 345 secs
lola: STP completed || 332 tries, 331656648 fired transitions, 350 secs || 5939576 markings, 9973270 edges, 15723 markings/sec, 350 secs
lola: STP completed || 337 tries, 336354583 fired transitions, 355 secs || 6024047 markings, 10114823 edges, 16894 markings/sec, 355 secs
lola: STP completed || 342 tries, 341061750 fired transitions, 360 secs || 6101642 markings, 10245170 edges, 15519 markings/sec, 360 secs
lola: STP completed || 346 tries, 345779320 fired transitions, 365 secs || 6186045 markings, 10386878 edges, 16881 markings/sec, 365 secs
lola: STP completed || 351 tries, 350491744 fired transitions, 370 secs || 6269835 markings, 10527834 edges, 16758 markings/sec, 370 secs
lola: STP completed || 356 tries, 355197179 fired transitions, 375 secs || 6354187 markings, 10669377 edges, 16870 markings/sec, 375 secs
lola: STP completed || 360 tries, 359846687 fired transitions, 380 secs || 6438097 markings, 10810284 edges, 16782 markings/sec, 380 secs
lola: STP completed || 365 tries, 364484392 fired transitions, 385 secs || 6522077 markings, 10951352 edges, 16796 markings/sec, 385 secs
lola: STP completed || 370 tries, 369200413 fired transitions, 390 secs || 6601591 markings, 11084681 edges, 15903 markings/sec, 390 secs
lola: STP completed || 374 tries, 373919988 fired transitions, 395 secs || 6686416 markings, 11227301 edges, 16965 markings/sec, 395 secs
lola: STP completed || 379 tries, 378638625 fired transitions, 400 secs || 6771291 markings, 11369580 edges, 16975 markings/sec, 400 secs
lola: STP completed || 384 tries, 383355513 fired transitions, 405 secs || 6855991 markings, 11512079 edges, 16940 markings/sec, 405 secs
lola: STP completed || 389 tries, 388066322 fired transitions, 410 secs || 6940820 markings, 11654229 edges, 16966 markings/sec, 410 secs
lola: STP completed || 393 tries, 392566877 fired transitions, 415 secs || 7025750 markings, 11796892 edges, 16986 markings/sec, 415 secs
lola: STP completed || 398 tries, 397075932 fired transitions, 420 secs || 7110695 markings, 11939459 edges, 16989 markings/sec, 420 secs
lola: STP completed || 402 tries, 401795268 fired transitions, 425 secs || 7195178 markings, 12081376 edges, 16897 markings/sec, 425 secs
lola: STP completed || 407 tries, 406512382 fired transitions, 430 secs || 7279847 markings, 12223625 edges, 16934 markings/sec, 430 secs
lola: STP completed || 412 tries, 411047721 fired transitions, 435 secs || 7364466 markings, 12365554 edges, 16924 markings/sec, 435 secs
lola: STP completed || 416 tries, 415770029 fired transitions, 440 secs || 7449011 markings, 12507656 edges, 16909 markings/sec, 440 secs
lola: STP completed || 421 tries, 420490093 fired transitions, 445 secs || 7532673 markings, 12648148 edges, 16732 markings/sec, 445 secs
lola: STP completed || 426 tries, 425208339 fired transitions, 450 secs || 7616472 markings, 12788966 edges, 16760 markings/sec, 450 secs
lola: STP completed || 430 tries, 429917754 fired transitions, 455 secs || 7700075 markings, 12929285 edges, 16721 markings/sec, 455 secs
lola: STP completed || 435 tries, 434568849 fired transitions, 460 secs || 7783662 markings, 13069605 edges, 16717 markings/sec, 460 secs
lola: STP completed || 440 tries, 439235690 fired transitions, 465 secs || 7867358 markings, 13210340 edges, 16739 markings/sec, 465 secs
lola: STP completed || 444 tries, 443892125 fired transitions, 470 secs || 7950902 markings, 13350396 edges, 16709 markings/sec, 470 secs
lola: STP completed || 449 tries, 448542816 fired transitions, 475 secs || 8034375 markings, 13490263 edges, 16695 markings/sec, 475 secs
lola: STP completed || 454 tries, 453187462 fired transitions, 480 secs || 8117618 markings, 13630322 edges, 16649 markings/sec, 480 secs
lola: STP completed || 458 tries, 457841979 fired transitions, 485 secs || 8202335 markings, 13772404 edges, 16943 markings/sec, 485 secs
lola: STP completed || 463 tries, 462493765 fired transitions, 490 secs || 8287000 markings, 13914659 edges, 16933 markings/sec, 490 secs
lola: STP completed || 468 tries, 467145529 fired transitions, 495 secs || 8371755 markings, 14057151 edges, 16951 markings/sec, 495 secs
lola: STP completed || 472 tries, 471793707 fired transitions, 500 secs || 8456817 markings, 14199741 edges, 17012 markings/sec, 500 secs
lola: STP completed || 477 tries, 476442821 fired transitions, 505 secs || 8541502 markings, 14341947 edges, 16937 markings/sec, 505 secs
lola: STP completed || 482 tries, 481084776 fired transitions, 510 secs || 8625844 markings, 14483544 edges, 16868 markings/sec, 510 secs
lola: STP completed || 486 tries, 485736087 fired transitions, 515 secs || 8710182 markings, 14625246 edges, 16868 markings/sec, 515 secs
lola: STP completed || 491 tries, 490389525 fired transitions, 520 secs || 8794452 markings, 14766455 edges, 16854 markings/sec, 520 secs
lola: STP completed || 496 tries, 495039300 fired transitions, 525 secs || 8878714 markings, 14908098 edges, 16852 markings/sec, 525 secs
lola: STP completed || 500 tries, 499695019 fired transitions, 530 secs || 8963129 markings, 15049786 edges, 16883 markings/sec, 530 secs
lola: STP completed || 505 tries, 504346703 fired transitions, 535 secs || 9047305 markings, 15191032 edges, 16835 markings/sec, 535 secs
lola: STP completed || 509 tries, 508992399 fired transitions, 540 secs || 9131096 markings, 15331999 edges, 16758 markings/sec, 540 secs
lola: STP completed || 514 tries, 513648978 fired transitions, 545 secs || 9215449 markings, 15473487 edges, 16871 markings/sec, 545 secs
lola: STP completed || 519 tries, 518300975 fired transitions, 550 secs || 9299411 markings, 15614516 edges, 16792 markings/sec, 550 secs
lola: STP completed || 523 tries, 522954090 fired transitions, 555 secs || 9383108 markings, 15755335 edges, 16739 markings/sec, 555 secs
lola: STP completed || 528 tries, 527602573 fired transitions, 560 secs || 9467190 markings, 15896244 edges, 16816 markings/sec, 560 secs
lola: STP completed || 533 tries, 532245078 fired transitions, 565 secs || 9550987 markings, 16036647 edges, 16759 markings/sec, 565 secs
lola: STP completed || 537 tries, 536896112 fired transitions, 570 secs || 9635064 markings, 16178250 edges, 16815 markings/sec, 570 secs
lola: STP completed || 542 tries, 541546861 fired transitions, 575 secs || 9719673 markings, 16320344 edges, 16922 markings/sec, 575 secs
lola: STP completed || 547 tries, 546199208 fired transitions, 580 secs || 9804314 markings, 16462312 edges, 16928 markings/sec, 580 secs
lola: STP completed || 551 tries, 550858024 fired transitions, 585 secs || 9888597 markings, 16603963 edges, 16857 markings/sec, 585 secs
lola: STP completed || 556 tries, 555505541 fired transitions, 590 secs || 9973248 markings, 16745950 edges, 16930 markings/sec, 590 secs
lola: STP completed || 561 tries, 560142955 fired transitions, 595 secs || 10057923 markings, 16887897 edges, 16935 markings/sec, 595 secs
lola: STP completed || 565 tries, 564783539 fired transitions, 600 secs || 10142125 markings, 17029471 edges, 16840 markings/sec, 600 secs
lola: STP completed || 570 tries, 569429265 fired transitions, 605 secs || 10226426 markings, 17170883 edges, 16860 markings/sec, 605 secs
lola: STP completed || 575 tries, 574072515 fired transitions, 610 secs || 10310855 markings, 17312713 edges, 16886 markings/sec, 610 secs
lola: STP completed || 579 tries, 578717424 fired transitions, 615 secs || 10394461 markings, 17453108 edges, 16721 markings/sec, 615 secs
lola: STP completed || 584 tries, 583374023 fired transitions, 620 secs || 10477120 markings, 17592038 edges, 16532 markings/sec, 620 secs
lola: STP completed || 589 tries, 588024118 fired transitions, 625 secs || 10560508 markings, 17732063 edges, 16678 markings/sec, 625 secs
lola: STP completed || 593 tries, 592157733 fired transitions, 630 secs || 10643829 markings, 17871817 edges, 16664 markings/sec, 630 secs
lola: STP completed || 597 tries, 596837051 fired transitions, 635 secs || 10727760 markings, 18012933 edges, 16786 markings/sec, 635 secs
lola: STP completed || 602 tries, 601544564 fired transitions, 640 secs || 10811666 markings, 18153730 edges, 16781 markings/sec, 640 secs
lola: STP completed || 607 tries, 606255766 fired transitions, 645 secs || 10895261 markings, 18294144 edges, 16719 markings/sec, 645 secs
lola: STP completed || 611 tries, 610972047 fired transitions, 650 secs || 10978894 markings, 18434432 edges, 16727 markings/sec, 650 secs
lola: STP completed || 616 tries, 615690920 fired transitions, 655 secs || 11062074 markings, 18574039 edges, 16636 markings/sec, 655 secs
lola: STP completed || 621 tries, 620409679 fired transitions, 660 secs || 11146534 markings, 18715836 edges, 16892 markings/sec, 660 secs
lola: STP completed || 626 tries, 625120709 fired transitions, 665 secs || 11228832 markings, 18854101 edges, 16460 markings/sec, 665 secs
lola: STP completed || 630 tries, 629846517 fired transitions, 670 secs || 11313588 markings, 18996628 edges, 16951 markings/sec, 670 secs
lola: STP completed || 635 tries, 634556937 fired transitions, 675 secs || 11398179 markings, 19138404 edges, 16918 markings/sec, 675 secs
lola: STP completed || 640 tries, 639265646 fired transitions, 680 secs || 11483160 markings, 19281058 edges, 16996 markings/sec, 680 secs
lola: STP completed || 644 tries, 643988949 fired transitions, 685 secs || 11566943 markings, 19421831 edges, 16757 markings/sec, 685 secs
lola: STP completed || 649 tries, 648701983 fired transitions, 690 secs || 11651479 markings, 19563656 edges, 16907 markings/sec, 690 secs
lola: STP completed || 654 tries, 653415674 fired transitions, 695 secs || 11735235 markings, 19704126 edges, 16751 markings/sec, 695 secs
lola: STP completed || 659 tries, 658132058 fired transitions, 700 secs || 11819202 markings, 19845454 edges, 16793 markings/sec, 700 secs
lola: STP completed || 663 tries, 662842825 fired transitions, 705 secs || 11904194 markings, 19988281 edges, 16998 markings/sec, 705 secs
lola: STP completed || 668 tries, 667549401 fired transitions, 710 secs || 11988910 markings, 20130271 edges, 16943 markings/sec, 710 secs
lola: STP completed || 673 tries, 672276282 fired transitions, 715 secs || 12073862 markings, 20273141 edges, 16990 markings/sec, 715 secs
lola: STP completed || 677 tries, 676988607 fired transitions, 720 secs || 12154897 markings, 20409171 edges, 16207 markings/sec, 720 secs
lola: STP completed || 682 tries, 681689348 fired transitions, 725 secs || 12240264 markings, 20552588 edges, 17073 markings/sec, 725 secs
lola: STP completed || 687 tries, 686406009 fired transitions, 730 secs || 12324917 markings, 20694762 edges, 16931 markings/sec, 730 secs
lola: STP completed || 692 tries, 691119091 fired transitions, 735 secs || 12410022 markings, 20837533 edges, 17021 markings/sec, 735 secs
lola: STP completed || 696 tries, 695837713 fired transitions, 740 secs || 12490876 markings, 20973136 edges, 16171 markings/sec, 740 secs
lola: STP completed || 701 tries, 700557286 fired transitions, 745 secs || 12575313 markings, 21115170 edges, 16887 markings/sec, 745 secs
lola: STP completed || 706 tries, 705266912 fired transitions, 750 secs || 12655542 markings, 21249725 edges, 16046 markings/sec, 750 secs
lola: STP completed || 710 tries, 709975996 fired transitions, 755 secs || 12739023 markings, 21390149 edges, 16696 markings/sec, 755 secs
lola: STP completed || 715 tries, 714680856 fired transitions, 760 secs || 12822811 markings, 21530622 edges, 16758 markings/sec, 760 secs
lola: STP completed || 720 tries, 719397428 fired transitions, 765 secs || 12906771 markings, 21671469 edges, 16792 markings/sec, 765 secs
lola: STP completed || 725 tries, 724122523 fired transitions, 770 secs || 12983419 markings, 21800255 edges, 15330 markings/sec, 770 secs
lola: STP completed || 729 tries, 728839021 fired transitions, 775 secs || 13066910 markings, 21940548 edges, 16698 markings/sec, 775 secs
lola: STP completed || 734 tries, 733566826 fired transitions, 780 secs || 13150729 markings, 22081177 edges, 16764 markings/sec, 780 secs
lola: STP completed || 739 tries, 738273186 fired transitions, 785 secs || 13234081 markings, 22221160 edges, 16670 markings/sec, 785 secs
lola: STP completed || 743 tries, 742986256 fired transitions, 790 secs || 13318388 markings, 22362813 edges, 16861 markings/sec, 790 secs
lola: STP completed || 748 tries, 747694469 fired transitions, 795 secs || 13402831 markings, 22504644 edges, 16889 markings/sec, 795 secs
lola: STP completed || 753 tries, 752400655 fired transitions, 800 secs || 13487298 markings, 22646654 edges, 16893 markings/sec, 800 secs
lola: STP completed || 758 tries, 757104739 fired transitions, 805 secs || 13571797 markings, 22788363 edges, 16900 markings/sec, 805 secs
lola: STP completed || 762 tries, 761820607 fired transitions, 810 secs || 13656411 markings, 22930492 edges, 16923 markings/sec, 810 secs
lola: STP completed || 767 tries, 766531457 fired transitions, 815 secs || 13741387 markings, 23073102 edges, 16995 markings/sec, 815 secs
lola: STP completed || 772 tries, 771253887 fired transitions, 820 secs || 13826038 markings, 23215059 edges, 16930 markings/sec, 820 secs
lola: STP completed || 776 tries, 775971988 fired transitions, 825 secs || 13910494 markings, 23357133 edges, 16891 markings/sec, 825 secs
lola: STP completed || 781 tries, 780681602 fired transitions, 830 secs || 13995123 markings, 23499048 edges, 16926 markings/sec, 830 secs
lola: STP completed || 786 tries, 785386606 fired transitions, 835 secs || 14079183 markings, 23640164 edges, 16812 markings/sec, 835 secs
lola: STP completed || 791 tries, 790101579 fired transitions, 840 secs || 14162806 markings, 23780714 edges, 16725 markings/sec, 840 secs
lola: STP completed || 795 tries, 794820106 fired transitions, 845 secs || 14246695 markings, 23921490 edges, 16778 markings/sec, 845 secs
lola: STP completed || 800 tries, 799535744 fired transitions, 850 secs || 14330615 markings, 24062335 edges, 16784 markings/sec, 850 secs
lola: STP completed || 805 tries, 804255305 fired transitions, 855 secs || 14414363 markings, 24203058 edges, 16750 markings/sec, 855 secs
lola: STP completed || 809 tries, 808974714 fired transitions, 860 secs || 14497701 markings, 24343023 edges, 16668 markings/sec, 860 secs
lola: STP completed || 814 tries, 813691730 fired transitions, 865 secs || 14581020 markings, 24482770 edges, 16664 markings/sec, 865 secs
lola: STP completed || 819 tries, 818403125 fired transitions, 870 secs || 14664335 markings, 24622567 edges, 16663 markings/sec, 870 secs
lola: STP completed || 824 tries, 823115184 fired transitions, 875 secs || 14747687 markings, 24762495 edges, 16670 markings/sec, 875 secs
lola: STP completed || 828 tries, 827820268 fired transitions, 880 secs || 14832687 markings, 24905366 edges, 17000 markings/sec, 880 secs
lola: STP completed || 833 tries, 832530863 fired transitions, 885 secs || 14917332 markings, 25047615 edges, 16929 markings/sec, 885 secs
lola: STP completed || 838 tries, 837244010 fired transitions, 890 secs || 15002393 markings, 25190504 edges, 17012 markings/sec, 890 secs
lola: STP completed || 842 tries, 841955651 fired transitions, 895 secs || 15087478 markings, 25333243 edges, 17017 markings/sec, 895 secs
lola: STP completed || 847 tries, 846675471 fired transitions, 900 secs || 15172471 markings, 25475931 edges, 16999 markings/sec, 900 secs
lola: STP completed || 852 tries, 851322297 fired transitions, 905 secs || 15256659 markings, 25617556 edges, 16838 markings/sec, 905 secs
lola: STP completed || 856 tries, 855963159 fired transitions, 910 secs || 15340946 markings, 25758899 edges, 16857 markings/sec, 910 secs
lola: STP completed || 861 tries, 860608760 fired transitions, 915 secs || 15424978 markings, 25899944 edges, 16806 markings/sec, 915 secs
lola: STP completed || 866 tries, 865241413 fired transitions, 920 secs || 15508742 markings, 26040723 edges, 16753 markings/sec, 920 secs
lola: STP completed || 870 tries, 869875525 fired transitions, 925 secs || 15591816 markings, 26180250 edges, 16615 markings/sec, 925 secs
lola: STP completed || 875 tries, 874514542 fired transitions, 930 secs || 15674924 markings, 26319767 edges, 16622 markings/sec, 930 secs
lola: STP completed || 880 tries, 879145286 fired transitions, 935 secs || 15758289 markings, 26459551 edges, 16673 markings/sec, 935 secs
lola: STP completed || 884 tries, 883774758 fired transitions, 940 secs || 15841612 markings, 26599490 edges, 16665 markings/sec, 940 secs
lola: STP completed || 889 tries, 888402100 fired transitions, 945 secs || 15925079 markings, 26739617 edges, 16693 markings/sec, 945 secs
lola: STP completed || 894 tries, 893052466 fired transitions, 950 secs || 16008011 markings, 26878944 edges, 16586 markings/sec, 950 secs
lola: STP completed || 898 tries, 897685909 fired transitions, 955 secs || 16091187 markings, 27018548 edges, 16635 markings/sec, 955 secs
lola: STP completed || 903 tries, 902328637 fired transitions, 960 secs || 16174174 markings, 27157891 edges, 16597 markings/sec, 960 secs
lola: STP completed || 907 tries, 906990130 fired transitions, 965 secs || 16257231 markings, 27297426 edges, 16611 markings/sec, 965 secs
lola: STP completed || 912 tries, 911676050 fired transitions, 970 secs || 16339588 markings, 27435603 edges, 16471 markings/sec, 970 secs
lola: STP completed || 917 tries, 916372378 fired transitions, 975 secs || 16422049 markings, 27574317 edges, 16492 markings/sec, 975 secs
lola: STP completed || 922 tries, 921054369 fired transitions, 980 secs || 16504884 markings, 27713082 edges, 16567 markings/sec, 980 secs
lola: STP completed || 926 tries, 925744130 fired transitions, 985 secs || 16587690 markings, 27852185 edges, 16561 markings/sec, 985 secs
lola: STP completed || 931 tries, 930439993 fired transitions, 990 secs || 16670958 markings, 27991958 edges, 16654 markings/sec, 990 secs
lola: STP completed || 935 tries, 934871622 fired transitions, 995 secs || 16754437 markings, 28132315 edges, 16696 markings/sec, 995 secs
lola: STP completed || 940 tries, 939587533 fired transitions, 1000 secs || 16838796 markings, 28273815 edges, 16872 markings/sec, 1000 secs
lola: STP completed || 945 tries, 944286111 fired transitions, 1005 secs || 16921866 markings, 28413321 edges, 16614 markings/sec, 1005 secs
lola: STP completed || 949 tries, 948968703 fired transitions, 1010 secs || 17004656 markings, 28552281 edges, 16558 markings/sec, 1010 secs
lola: STP completed || 954 tries, 953644057 fired transitions, 1015 secs || 17086481 markings, 28689683 edges, 16365 markings/sec, 1015 secs
lola: STP completed || 959 tries, 958328660 fired transitions, 1020 secs || 17168647 markings, 28827817 edges, 16433 markings/sec, 1020 secs
lola: STP completed || 964 tries, 963005999 fired transitions, 1025 secs || 17251040 markings, 28965783 edges, 16479 markings/sec, 1025 secs
lola: STP completed || 968 tries, 967696403 fired transitions, 1030 secs || 17333405 markings, 29104265 edges, 16473 markings/sec, 1030 secs
lola: STP completed || 973 tries, 972382822 fired transitions, 1035 secs || 17415013 markings, 29241239 edges, 16322 markings/sec, 1035 secs
lola: STP completed || 978 tries, 977063190 fired transitions, 1040 secs || 17496684 markings, 29378417 edges, 16334 markings/sec, 1040 secs
lola: STP completed || 982 tries, 981750994 fired transitions, 1045 secs || 17578306 markings, 29515345 edges, 16324 markings/sec, 1045 secs
lola: STP completed || 987 tries, 986437872 fired transitions, 1050 secs || 17659634 markings, 29651933 edges, 16266 markings/sec, 1050 secs
lola: STP completed || 992 tries, 991119309 fired transitions, 1055 secs || 17742225 markings, 29790580 edges, 16518 markings/sec, 1055 secs
lola: STP completed || 996 tries, 995816779 fired transitions, 1060 secs || 17824424 markings, 29928695 edges, 16440 markings/sec, 1060 secs
lola: STP completed || 1001 tries, 1000508831 fired transitions, 1065 secs || 17907348 markings, 30068048 edges, 16585 markings/sec, 1065 secs
lola: STP completed || 1006 tries, 1005201821 fired transitions, 1070 secs || 17989802 markings, 30206277 edges, 16491 markings/sec, 1070 secs
lola: STP completed || 1010 tries, 1009890578 fired transitions, 1075 secs || 18072383 markings, 30345203 edges, 16516 markings/sec, 1075 secs
lola: STP completed || 1015 tries, 1014135798 fired transitions, 1080 secs || 18156291 markings, 30485937 edges, 16782 markings/sec, 1080 secs
lola: STP completed || 1019 tries, 1018851483 fired transitions, 1085 secs || 18239911 markings, 30626261 edges, 16724 markings/sec, 1085 secs
lola: STP completed || 1024 tries, 1023553577 fired transitions, 1090 secs || 18319812 markings, 30760410 edges, 15980 markings/sec, 1090 secs
lola: STP completed || 1029 tries, 1028253926 fired transitions, 1095 secs || 18403282 markings, 30900651 edges, 16694 markings/sec, 1095 secs
lola: STP completed || 1033 tries, 1032914773 fired transitions, 1100 secs || 18487011 markings, 31041337 edges, 16746 markings/sec, 1100 secs
lola: STP completed || 1038 tries, 1037571460 fired transitions, 1105 secs || 18570564 markings, 31181545 edges, 16711 markings/sec, 1105 secs
lola: STP completed || 1043 tries, 1042240563 fired transitions, 1110 secs || 18654742 markings, 31323036 edges, 16836 markings/sec, 1110 secs
lola: STP completed || 1047 tries, 1046897081 fired transitions, 1115 secs || 18738343 markings, 31463321 edges, 16720 markings/sec, 1115 secs
lola: STP completed || 1052 tries, 1051556916 fired transitions, 1120 secs || 18822683 markings, 31604886 edges, 16868 markings/sec, 1120 secs
lola: STP completed || 1057 tries, 1056219314 fired transitions, 1125 secs || 18906408 markings, 31745336 edges, 16745 markings/sec, 1125 secs
lola: STP completed || 1061 tries, 1060884225 fired transitions, 1130 secs || 18990049 markings, 31885897 edges, 16728 markings/sec, 1130 secs
lola: STP completed || 1066 tries, 1065545815 fired transitions, 1135 secs || 19073549 markings, 32025901 edges, 16700 markings/sec, 1135 secs
lola: STP completed || 1071 tries, 1070215196 fired transitions, 1140 secs || 19157247 markings, 32166292 edges, 16740 markings/sec, 1140 secs
lola: STP completed || 1075 tries, 1074864066 fired transitions, 1145 secs || 19240264 markings, 32305952 edges, 16603 markings/sec, 1145 secs
lola: STP completed || 1080 tries, 1079529473 fired transitions, 1150 secs || 19322999 markings, 32445144 edges, 16547 markings/sec, 1150 secs
lola: STP completed || 1085 tries, 1084178978 fired transitions, 1155 secs || 19405915 markings, 32584379 edges, 16583 markings/sec, 1155 secs
lola: STP completed || 1089 tries, 1088831345 fired transitions, 1160 secs || 19489034 markings, 32723748 edges, 16624 markings/sec, 1160 secs
lola: STP completed || 1094 tries, 1093494898 fired transitions, 1165 secs || 19572618 markings, 32864056 edges, 16717 markings/sec, 1165 secs
lola: STP completed || 1099 tries, 1098152023 fired transitions, 1170 secs || 19655935 markings, 33004333 edges, 16663 markings/sec, 1170 secs
lola: STP completed || 1103 tries, 1102827540 fired transitions, 1175 secs || 19734869 markings, 33136641 edges, 15787 markings/sec, 1175 secs
lola: STP completed || 1108 tries, 1107541258 fired transitions, 1180 secs || 19817978 markings, 33276144 edges, 16622 markings/sec, 1180 secs
lola: STP completed || 1113 tries, 1112254385 fired transitions, 1185 secs || 19901435 markings, 33416211 edges, 16691 markings/sec, 1185 secs
lola: STP completed || 1117 tries, 1116969683 fired transitions, 1190 secs || 19985652 markings, 33557321 edges, 16843 markings/sec, 1190 secs
lola: STP completed || 1122 tries, 1121672796 fired transitions, 1195 secs || 20069264 markings, 33698069 edges, 16722 markings/sec, 1195 secs
lola: STP completed || 1127 tries, 1126390163 fired transitions, 1200 secs || 20153163 markings, 33838949 edges, 16780 markings/sec, 1200 secs
lola: STP completed || 1132 tries, 1131094693 fired transitions, 1205 secs || 20237198 markings, 33979865 edges, 16807 markings/sec, 1205 secs
lola: STP completed || 1136 tries, 1135803946 fired transitions, 1210 secs || 20321452 markings, 34121461 edges, 16851 markings/sec, 1210 secs
lola: STP completed || 1141 tries, 1140512542 fired transitions, 1215 secs || 20404704 markings, 34261274 edges, 16650 markings/sec, 1215 secs
lola: STP completed || 1146 tries, 1145168136 fired transitions, 1220 secs || 20488494 markings, 34401845 edges, 16758 markings/sec, 1220 secs
lola: STP completed || 1150 tries, 1149824008 fired transitions, 1225 secs || 20571937 markings, 34541911 edges, 16689 markings/sec, 1225 secs
lola: STP completed || 1155 tries, 1154476447 fired transitions, 1230 secs || 20655783 markings, 34682747 edges, 16769 markings/sec, 1230 secs
lola: STP completed || 1160 tries, 1159124341 fired transitions, 1235 secs || 20739124 markings, 34822808 edges, 16668 markings/sec, 1235 secs
lola: STP completed || 1164 tries, 1163777592 fired transitions, 1240 secs || 20822446 markings, 34962621 edges, 16664 markings/sec, 1240 secs
lola: STP completed || 1169 tries, 1168421927 fired transitions, 1245 secs || 20905990 markings, 35102678 edges, 16709 markings/sec, 1245 secs
lola: STP completed || 1174 tries, 1173076834 fired transitions, 1250 secs || 20989250 markings, 35242834 edges, 16652 markings/sec, 1250 secs
lola: STP completed || 1178 tries, 1177715665 fired transitions, 1255 secs || 21072950 markings, 35383231 edges, 16740 markings/sec, 1255 secs
lola: STP completed || 1183 tries, 1182370077 fired transitions, 1260 secs || 21156187 markings, 35523068 edges, 16647 markings/sec, 1260 secs
lola: STP completed || 1188 tries, 1187041019 fired transitions, 1265 secs || 21233406 markings, 35652588 edges, 15444 markings/sec, 1265 secs
lola: STP completed || 1192 tries, 1191750447 fired transitions, 1270 secs || 21316499 markings, 35792123 edges, 16619 markings/sec, 1270 secs
lola: STP completed || 1197 tries, 1196468797 fired transitions, 1275 secs || 21400051 markings, 35932582 edges, 16710 markings/sec, 1275 secs
lola: STP completed || 1202 tries, 1201189547 fired transitions, 1280 secs || 21484304 markings, 36074008 edges, 16851 markings/sec, 1280 secs
lola: STP completed || 1206 tries, 1205902810 fired transitions, 1285 secs || 21568311 markings, 36215121 edges, 16801 markings/sec, 1285 secs
lola: STP completed || 1211 tries, 1210619944 fired transitions, 1290 secs || 21652546 markings, 36356359 edges, 16847 markings/sec, 1290 secs
lola: STP completed || 1216 tries, 1215339704 fired transitions, 1295 secs || 21736855 markings, 36498159 edges, 16862 markings/sec, 1295 secs
lola: STP completed || 1221 tries, 1220052540 fired transitions, 1300 secs || 21821517 markings, 36640051 edges, 16932 markings/sec, 1300 secs
lola: STP completed || 1225 tries, 1224784101 fired transitions, 1305 secs || 21905822 markings, 36781734 edges, 16861 markings/sec, 1305 secs
lola: STP completed || 1230 tries, 1229494906 fired transitions, 1310 secs || 21989875 markings, 36922810 edges, 16811 markings/sec, 1310 secs
lola: STP completed || 1235 tries, 1234206835 fired transitions, 1315 secs || 22074099 markings, 37064248 edges, 16845 markings/sec, 1315 secs
lola: STP completed || 1239 tries, 1238922242 fired transitions, 1320 secs || 22157754 markings, 37204680 edges, 16731 markings/sec, 1320 secs
lola: STP completed || 1244 tries, 1243641892 fired transitions, 1325 secs || 22240191 markings, 37342962 edges, 16487 markings/sec, 1325 secs
lola: STP completed || 1249 tries, 1248356604 fired transitions, 1330 secs || 22323083 markings, 37482454 edges, 16578 markings/sec, 1330 secs
lola: STP completed || 1254 tries, 1253073275 fired transitions, 1335 secs || 22405885 markings, 37621249 edges, 16560 markings/sec, 1335 secs
lola: STP completed || 1258 tries, 1257787399 fired transitions, 1340 secs || 22488947 markings, 37760935 edges, 16612 markings/sec, 1340 secs
lola: STP completed || 1263 tries, 1262491997 fired transitions, 1345 secs || 22572518 markings, 37901040 edges, 16714 markings/sec, 1345 secs
lola: STP completed || 1268 tries, 1267214411 fired transitions, 1350 secs || 22655573 markings, 38040704 edges, 16611 markings/sec, 1350 secs
lola: STP completed || 1272 tries, 1271929175 fired transitions, 1355 secs || 22738771 markings, 38180042 edges, 16640 markings/sec, 1355 secs
lola: STP completed || 1277 tries, 1276639531 fired transitions, 1360 secs || 22821697 markings, 38319410 edges, 16585 markings/sec, 1360 secs
lola: STP completed || 1282 tries, 1281352383 fired transitions, 1365 secs || 22905506 markings, 38459966 edges, 16762 markings/sec, 1365 secs
lola: STP completed || 1287 tries, 1286070467 fired transitions, 1370 secs || 22988828 markings, 38600265 edges, 16664 markings/sec, 1370 secs
lola: STP completed || 1291 tries, 1290783344 fired transitions, 1375 secs || 23073078 markings, 38741488 edges, 16850 markings/sec, 1375 secs
lola: STP completed || 1296 tries, 1295502672 fired transitions, 1380 secs || 23156931 markings, 38882085 edges, 16771 markings/sec, 1380 secs
lola: STP completed || 1301 tries, 1300213747 fired transitions, 1385 secs || 23240907 markings, 39023422 edges, 16795 markings/sec, 1385 secs
lola: STP completed || 1305 tries, 1304938151 fired transitions, 1390 secs || 23323983 markings, 39162790 edges, 16615 markings/sec, 1390 secs
lola: STP completed || 1310 tries, 1309662987 fired transitions, 1395 secs || 23407349 markings, 39302744 edges, 16673 markings/sec, 1395 secs
lola: STP completed || 1315 tries, 1314381882 fired transitions, 1400 secs || 23490165 markings, 39441599 edges, 16563 markings/sec, 1400 secs
lola: STP completed || 1320 tries, 1319091604 fired transitions, 1405 secs || 23573333 markings, 39581307 edges, 16634 markings/sec, 1405 secs
lola: STP completed || 1324 tries, 1323806104 fired transitions, 1410 secs || 23656106 markings, 39720518 edges, 16555 markings/sec, 1410 secs
lola: STP completed || 1329 tries, 1328526021 fired transitions, 1415 secs || 23738283 markings, 39858791 edges, 16435 markings/sec, 1415 secs
lola: STP completed || 1334 tries, 1333246642 fired transitions, 1420 secs || 23821619 markings, 39998554 edges, 16667 markings/sec, 1420 secs
lola: STP completed || 1338 tries, 1337962209 fired transitions, 1425 secs || 23904159 markings, 40137148 edges, 16508 markings/sec, 1425 secs
lola: STP completed || 1343 tries, 1342677317 fired transitions, 1430 secs || 23988044 markings, 40278009 edges, 16777 markings/sec, 1430 secs
lola: STP completed || 1348 tries, 1347383411 fired transitions, 1435 secs || 24071406 markings, 40418103 edges, 16672 markings/sec, 1435 secs
lola: STP completed || 1353 tries, 1352099928 fired transitions, 1440 secs || 24155101 markings, 40558500 edges, 16739 markings/sec, 1440 secs
lola: STP completed || 1357 tries, 1356818945 fired transitions, 1445 secs || 24238161 markings, 40697800 edges, 16612 markings/sec, 1445 secs
lola: STP completed || 1362 tries, 1361524272 fired transitions, 1450 secs || 24321255 markings, 40837504 edges, 16619 markings/sec, 1450 secs
lola: STP completed || 1367 tries, 1366239224 fired transitions, 1455 secs || 24404047 markings, 40976503 edges, 16558 markings/sec, 1455 secs
lola: STP completed || 1371 tries, 1370955663 fired transitions, 1460 secs || 24486542 markings, 41115023 edges, 16499 markings/sec, 1460 secs
lola: STP completed || 1376 tries, 1375668568 fired transitions, 1465 secs || 24569113 markings, 41253656 edges, 16514 markings/sec, 1465 secs
lola: STP completed || 1381 tries, 1380304085 fired transitions, 1470 secs || 24651629 markings, 41392203 edges, 16503 markings/sec, 1470 secs
lola: STP completed || 1385 tries, 1384960519 fired transitions, 1475 secs || 24734565 markings, 41531444 edges, 16587 markings/sec, 1475 secs
lola: STP completed || 1390 tries, 1389596675 fired transitions, 1480 secs || 24816497 markings, 41668992 edges, 16386 markings/sec, 1480 secs
lola: STP completed || 1395 tries, 1394243989 fired transitions, 1485 secs || 24898856 markings, 41807326 edges, 16472 markings/sec, 1485 secs
lola: STP completed || 1399 tries, 1398888747 fired transitions, 1490 secs || 24980672 markings, 41944539 edges, 16363 markings/sec, 1490 secs
lola: STP completed || 1404 tries, 1403525828 fired transitions, 1495 secs || 25062832 markings, 42082838 edges, 16432 markings/sec, 1495 secs
lola: STP completed || 1409 tries, 1408166980 fired transitions, 1500 secs || 25146554 markings, 42223298 edges, 16744 markings/sec, 1500 secs
lola: STP completed || 1413 tries, 1412818739 fired transitions, 1505 secs || 25230049 markings, 42363411 edges, 16699 markings/sec, 1505 secs
lola: STP completed || 1418 tries, 1417530367 fired transitions, 1510 secs || 25307045 markings, 42492656 edges, 15399 markings/sec, 1510 secs
lola: STP completed || 1423 tries, 1422185775 fired transitions, 1515 secs || 25390512 markings, 42632970 edges, 16693 markings/sec, 1515 secs
lola: STP completed || 1427 tries, 1426837880 fired transitions, 1520 secs || 25474431 markings, 42773918 edges, 16784 markings/sec, 1520 secs
lola: STP completed || 1432 tries, 1431489379 fired transitions, 1525 secs || 25557912 markings, 42914048 edges, 16696 markings/sec, 1525 secs
lola: STP completed || 1437 tries, 1436128624 fired transitions, 1530 secs || 25641451 markings, 43054200 edges, 16708 markings/sec, 1530 secs
lola: STP completed || 1441 tries, 1440775421 fired transitions, 1535 secs || 25724795 markings, 43194174 edges, 16669 markings/sec, 1535 secs
lola: STP completed || 1446 tries, 1445435849 fired transitions, 1540 secs || 25807854 markings, 43333705 edges, 16612 markings/sec, 1540 secs
lola: STP completed || 1451 tries, 1450074578 fired transitions, 1545 secs || 25890358 markings, 43472110 edges, 16501 markings/sec, 1545 secs
lola: STP completed || 1455 tries, 1454718704 fired transitions, 1550 secs || 25972646 markings, 43610338 edges, 16458 markings/sec, 1550 secs
lola: STP completed || 1460 tries, 1459357924 fired transitions, 1555 secs || 26055722 markings, 43749620 edges, 16615 markings/sec, 1555 secs
lola: STP completed || 1464 tries, 1463761714 fired transitions, 1560 secs || 26138812 markings, 43889215 edges, 16618 markings/sec, 1560 secs
lola: STP completed || 1469 tries, 1468407274 fired transitions, 1565 secs || 26221755 markings, 44028417 edges, 16589 markings/sec, 1565 secs
lola: STP completed || 1474 tries, 1473109096 fired transitions, 1570 secs || 26296877 markings, 44154800 edges, 15024 markings/sec, 1570 secs
lola: STP completed || 1478 tries, 1477831118 fired transitions, 1575 secs || 26379831 markings, 44294007 edges, 16591 markings/sec, 1575 secs
lola: STP completed || 1483 tries, 1482487689 fired transitions, 1580 secs || 26462212 markings, 44432158 edges, 16476 markings/sec, 1580 secs
lola: STP completed || 1488 tries, 1487147420 fired transitions, 1585 secs || 26545011 markings, 44571421 edges, 16560 markings/sec, 1585 secs
lola: STP completed || 1492 tries, 1491803164 fired transitions, 1590 secs || 26628100 markings, 44710959 edges, 16618 markings/sec, 1590 secs
lola: STP completed || 1497 tries, 1496470598 fired transitions, 1595 secs || 26710781 markings, 44849788 edges, 16536 markings/sec, 1595 secs
lola: STP completed || 1502 tries, 1501139714 fired transitions, 1600 secs || 26793519 markings, 44988657 edges, 16548 markings/sec, 1600 secs
lola: STP completed || 1506 tries, 1505796046 fired transitions, 1605 secs || 26876325 markings, 45127612 edges, 16561 markings/sec, 1605 secs
lola: STP completed || 1511 tries, 1510440529 fired transitions, 1610 secs || 26959609 markings, 45267450 edges, 16657 markings/sec, 1610 secs
lola: STP completed || 1515 tries, 1514962704 fired transitions, 1615 secs || 27042360 markings, 45406590 edges, 16550 markings/sec, 1615 secs
lola: STP completed || 1520 tries, 1519632062 fired transitions, 1620 secs || 27125476 markings, 45546114 edges, 16623 markings/sec, 1620 secs
lola: STP completed || 1525 tries, 1524299123 fired transitions, 1625 secs || 27208592 markings, 45685591 edges, 16623 markings/sec, 1625 secs
lola: STP completed || 1529 tries, 1528977046 fired transitions, 1630 secs || 27291800 markings, 45825347 edges, 16642 markings/sec, 1630 secs
lola: STP completed || 1534 tries, 1533621132 fired transitions, 1635 secs || 27374068 markings, 45963612 edges, 16454 markings/sec, 1635 secs
lola: STP completed || 1539 tries, 1538285632 fired transitions, 1640 secs || 27456530 markings, 46102044 edges, 16492 markings/sec, 1640 secs
lola: STP completed || 1543 tries, 1542951556 fired transitions, 1645 secs || 27539048 markings, 46240438 edges, 16504 markings/sec, 1645 secs
lola: STP completed || 1548 tries, 1547616526 fired transitions, 1650 secs || 27621446 markings, 46378952 edges, 16480 markings/sec, 1650 secs
lola: STP completed || 1553 tries, 1552276857 fired transitions, 1655 secs || 27703847 markings, 46517067 edges, 16480 markings/sec, 1655 secs
lola: STP completed || 1557 tries, 1556949828 fired transitions, 1660 secs || 27785586 markings, 46654421 edges, 16348 markings/sec, 1660 secs
lola: STP completed || 1562 tries, 1561621664 fired transitions, 1665 secs || 27867844 markings, 46792534 edges, 16452 markings/sec, 1665 secs
lola: STP completed || 1567 tries, 1566277143 fired transitions, 1670 secs || 27950083 markings, 46930552 edges, 16448 markings/sec, 1670 secs
lola: STP completed || 1571 tries, 1570942581 fired transitions, 1675 secs || 28033304 markings, 47070286 edges, 16644 markings/sec, 1675 secs
lola: STP completed || 1576 tries, 1575608065 fired transitions, 1680 secs || 28116115 markings, 47209504 edges, 16562 markings/sec, 1680 secs
lola: STP completed || 1581 tries, 1580314935 fired transitions, 1685 secs || 28190996 markings, 47335157 edges, 14976 markings/sec, 1685 secs
lola: STP completed || 1586 tries, 1585001996 fired transitions, 1690 secs || 28273899 markings, 47474278 edges, 16581 markings/sec, 1690 secs
lola: STP completed || 1590 tries, 1589674588 fired transitions, 1695 secs || 28357127 markings, 47614104 edges, 16646 markings/sec, 1695 secs
lola: STP completed || 1595 tries, 1594344841 fired transitions, 1700 secs || 28440512 markings, 47754007 edges, 16677 markings/sec, 1700 secs
lola: STP completed || 1600 tries, 1599065254 fired transitions, 1705 secs || 28515559 markings, 47880267 edges, 15009 markings/sec, 1705 secs
lola: STP completed || 1604 tries, 1603777618 fired transitions, 1710 secs || 28597853 markings, 48018410 edges, 16459 markings/sec, 1710 secs
lola: STP completed || 1609 tries, 1608485263 fired transitions, 1715 secs || 28680421 markings, 48156858 edges, 16514 markings/sec, 1715 secs
lola: STP completed || 1614 tries, 1613198107 fired transitions, 1720 secs || 28763753 markings, 48296808 edges, 16666 markings/sec, 1720 secs
lola: STP completed || 1618 tries, 1617908696 fired transitions, 1725 secs || 28846261 markings, 48435339 edges, 16502 markings/sec, 1725 secs
lola: STP completed || 1623 tries, 1622617911 fired transitions, 1730 secs || 28928602 markings, 48573673 edges, 16468 markings/sec, 1730 secs
lola: STP completed || 1628 tries, 1627342260 fired transitions, 1735 secs || 29010973 markings, 48711856 edges, 16474 markings/sec, 1735 secs
lola: STP completed || 1633 tries, 1632054697 fired transitions, 1740 secs || 29093620 markings, 48850656 edges, 16529 markings/sec, 1740 secs
lola: STP completed || 1637 tries, 1636771338 fired transitions, 1745 secs || 29176303 markings, 48989270 edges, 16537 markings/sec, 1745 secs
lola: STP completed || 1642 tries, 1641495662 fired transitions, 1750 secs || 29258573 markings, 49127534 edges, 16454 markings/sec, 1750 secs
lola: STP completed || 1647 tries, 1646213451 fired transitions, 1755 secs || 29341203 markings, 49266218 edges, 16526 markings/sec, 1755 secs
lola: STP completed || 1651 tries, 1650933861 fired transitions, 1760 secs || 29423509 markings, 49404444 edges, 16461 markings/sec, 1760 secs
lola: STP completed || 1656 tries, 1655644364 fired transitions, 1765 secs || 29506197 markings, 49543519 edges, 16538 markings/sec, 1765 secs
lola: STP completed || 1661 tries, 1660366871 fired transitions, 1770 secs || 29588185 markings, 49681123 edges, 16398 markings/sec, 1770 secs
lola: STP completed || 1666 tries, 1665081649 fired transitions, 1775 secs || 29670423 markings, 49819344 edges, 16448 markings/sec, 1775 secs
lola: STP completed || 1670 tries, 1669794259 fired transitions, 1780 secs || 29752547 markings, 49957151 edges, 16425 markings/sec, 1780 secs
lola: STP completed || 1675 tries, 1674513826 fired transitions, 1785 secs || 29834926 markings, 50095576 edges, 16476 markings/sec, 1785 secs
lola: STP completed || 1680 tries, 1679231472 fired transitions, 1790 secs || 29917987 markings, 50234825 edges, 16612 markings/sec, 1790 secs
lola: STP completed || 1684 tries, 1683952411 fired transitions, 1795 secs || 30000618 markings, 50373671 edges, 16526 markings/sec, 1795 secs
lola: STP completed || 1689 tries, 1688662680 fired transitions, 1800 secs || 30083139 markings, 50512161 edges, 16504 markings/sec, 1800 secs
lola: STP completed || 1694 tries, 1693379938 fired transitions, 1805 secs || 30165672 markings, 50650765 edges, 16507 markings/sec, 1805 secs
lola: STP completed || 1699 tries, 1698099032 fired transitions, 1810 secs || 30249152 markings, 50790897 edges, 16696 markings/sec, 1810 secs
lola: STP completed || 1703 tries, 1702810001 fired transitions, 1815 secs || 30332052 markings, 50930221 edges, 16580 markings/sec, 1815 secs
lola: STP completed || 1708 tries, 1707518667 fired transitions, 1820 secs || 30415677 markings, 51070749 edges, 16725 markings/sec, 1820 secs
lola: STP completed || 1713 tries, 1712025628 fired transitions, 1825 secs || 30499033 markings, 51210648 edges, 16671 markings/sec, 1825 secs
lola: STP completed || 1717 tries, 1716747669 fired transitions, 1830 secs || 30582820 markings, 51351244 edges, 16757 markings/sec, 1830 secs
lola: STP completed || 1722 tries, 1721458831 fired transitions, 1835 secs || 30665760 markings, 51490623 edges, 16588 markings/sec, 1835 secs
lola: STP completed || 1727 tries, 1726125304 fired transitions, 1840 secs || 30748612 markings, 51629632 edges, 16570 markings/sec, 1840 secs
lola: STP completed || 1731 tries, 1730789252 fired transitions, 1845 secs || 30830878 markings, 51767636 edges, 16453 markings/sec, 1845 secs
lola: STP completed || 1736 tries, 1735453908 fired transitions, 1850 secs || 30913359 markings, 51906027 edges, 16496 markings/sec, 1850 secs
lola: STP completed || 1741 tries, 1740093722 fired transitions, 1855 secs || 30995897 markings, 52044792 edges, 16508 markings/sec, 1855 secs
lola: STP completed || 1745 tries, 1744763337 fired transitions, 1860 secs || 31078236 markings, 52183187 edges, 16468 markings/sec, 1860 secs
lola: STP completed || 1750 tries, 1749416122 fired transitions, 1865 secs || 31161018 markings, 52322311 edges, 16556 markings/sec, 1865 secs
lola: STP completed || 1755 tries, 1754063624 fired transitions, 1870 secs || 31243624 markings, 52460746 edges, 16521 markings/sec, 1870 secs
lola: STP completed || 1759 tries, 1758715650 fired transitions, 1875 secs || 31326556 markings, 52600202 edges, 16586 markings/sec, 1875 secs
lola: STP completed || 1764 tries, 1763371522 fired transitions, 1880 secs || 31409456 markings, 52739257 edges, 16580 markings/sec, 1880 secs
lola: STP completed || 1769 tries, 1768036555 fired transitions, 1885 secs || 31491950 markings, 52877847 edges, 16499 markings/sec, 1885 secs
lola: STP completed || 1773 tries, 1772469580 fired transitions, 1890 secs || 31574402 markings, 53016280 edges, 16490 markings/sec, 1890 secs
lola: STP completed || 1778 tries, 1777184570 fired transitions, 1895 secs || 31657544 markings, 53155702 edges, 16628 markings/sec, 1895 secs
lola: STP completed || 1782 tries, 1781895076 fired transitions, 1900 secs || 31741477 markings, 53296646 edges, 16787 markings/sec, 1900 secs
lola: STP completed || 1787 tries, 1786603678 fired transitions, 1905 secs || 31825176 markings, 53437336 edges, 16740 markings/sec, 1905 secs
lola: STP completed || 1792 tries, 1791299769 fired transitions, 1910 secs || 31909447 markings, 53578800 edges, 16854 markings/sec, 1910 secs
lola: STP completed || 1797 tries, 1796009283 fired transitions, 1915 secs || 31993493 markings, 53719836 edges, 16809 markings/sec, 1915 secs
lola: STP completed || 1801 tries, 1800718192 fired transitions, 1920 secs || 32078006 markings, 53861834 edges, 16903 markings/sec, 1920 secs
lola: STP completed || 1806 tries, 1805419283 fired transitions, 1925 secs || 32162511 markings, 54003559 edges, 16901 markings/sec, 1925 secs
lola: STP completed || 1811 tries, 1810122665 fired transitions, 1930 secs || 32246760 markings, 54145112 edges, 16850 markings/sec, 1930 secs
lola: STP completed || 1815 tries, 1814834911 fired transitions, 1935 secs || 32330811 markings, 54286103 edges, 16810 markings/sec, 1935 secs
lola: STP completed || 1820 tries, 1819540907 fired transitions, 1940 secs || 32414746 markings, 54427277 edges, 16787 markings/sec, 1940 secs
lola: STP completed || 1825 tries, 1824253312 fired transitions, 1945 secs || 32497707 markings, 54566333 edges, 16592 markings/sec, 1945 secs
lola: STP completed || 1829 tries, 1828959043 fired transitions, 1950 secs || 32580660 markings, 54705468 edges, 16591 markings/sec, 1950 secs
lola: STP completed || 1834 tries, 1833667315 fired transitions, 1955 secs || 32663324 markings, 54844558 edges, 16533 markings/sec, 1955 secs
lola: STP completed || 1839 tries, 1838375355 fired transitions, 1960 secs || 32746371 markings, 54983982 edges, 16609 markings/sec, 1960 secs
lola: STP completed || 1844 tries, 1843084245 fired transitions, 1965 secs || 32829768 markings, 55123989 edges, 16679 markings/sec, 1965 secs
lola: STP completed || 1848 tries, 1847787422 fired transitions, 1970 secs || 32913054 markings, 55264008 edges, 16657 markings/sec, 1970 secs
lola: STP completed || 1853 tries, 1852497992 fired transitions, 1975 secs || 32996518 markings, 55403912 edges, 16693 markings/sec, 1975 secs
lola: STP completed || 1858 tries, 1857215690 fired transitions, 1980 secs || 33079706 markings, 55543600 edges, 16638 markings/sec, 1980 secs
lola: STP completed || 1862 tries, 1861925667 fired transitions, 1985 secs || 33162960 markings, 55683649 edges, 16651 markings/sec, 1985 secs
lola: STP completed || 1867 tries, 1866635513 fired transitions, 1990 secs || 33247238 markings, 55824877 edges, 16856 markings/sec, 1990 secs
lola: STP completed || 1872 tries, 1871351214 fired transitions, 1995 secs || 33330900 markings, 55965675 edges, 16732 markings/sec, 1995 secs
lola: STP completed || 1877 tries, 1876027695 fired transitions, 2000 secs || 33414275 markings, 56105436 edges, 16675 markings/sec, 2000 secs
lola: STP completed || 1881 tries, 1880706719 fired transitions, 2005 secs || 33497733 markings, 56245466 edges, 16692 markings/sec, 2005 secs
lola: STP completed || 1886 tries, 1885377505 fired transitions, 2010 secs || 33580843 markings, 56385009 edges, 16622 markings/sec, 2010 secs
lola: STP completed || 1891 tries, 1890045237 fired transitions, 2015 secs || 33663603 markings, 56524240 edges, 16552 markings/sec, 2015 secs
lola: STP completed || 1895 tries, 1894630876 fired transitions, 2020 secs || 33746432 markings, 56663173 edges, 16566 markings/sec, 2020 secs
lola: STP completed || 1900 tries, 1899178601 fired transitions, 2025 secs || 33830143 markings, 56803554 edges, 16742 markings/sec, 2025 secs
lola: STP completed || 1904 tries, 1903894908 fired transitions, 2030 secs || 33913681 markings, 56943894 edges, 16708 markings/sec, 2030 secs
lola: STP completed || 1909 tries, 1908614278 fired transitions, 2035 secs || 33996390 markings, 57082886 edges, 16542 markings/sec, 2035 secs
lola: STP completed || 1914 tries, 1913323871 fired transitions, 2040 secs || 34079315 markings, 57222197 edges, 16585 markings/sec, 2040 secs
lola: STP completed || 1919 tries, 1918047445 fired transitions, 2045 secs || 34162533 markings, 57361677 edges, 16644 markings/sec, 2045 secs
lola: STP completed || 1923 tries, 1922762549 fired transitions, 2050 secs || 34245820 markings, 57501679 edges, 16657 markings/sec, 2050 secs
lola: STP completed || 1928 tries, 1927475827 fired transitions, 2055 secs || 34329395 markings, 57641790 edges, 16715 markings/sec, 2055 secs
lola: STP completed || 1933 tries, 1932182960 fired transitions, 2060 secs || 34412385 markings, 57781336 edges, 16598 markings/sec, 2060 secs
lola: STP completed || 1937 tries, 1936894640 fired transitions, 2065 secs || 34495364 markings, 57920483 edges, 16596 markings/sec, 2065 secs
lola: STP completed || 1942 tries, 1941616051 fired transitions, 2070 secs || 34578378 markings, 58059870 edges, 16603 markings/sec, 2070 secs
lola: STP completed || 1947 tries, 1946325485 fired transitions, 2075 secs || 34662300 markings, 58200856 edges, 16784 markings/sec, 2075 secs
lola: STP completed || 1952 tries, 1951039736 fired transitions, 2080 secs || 34745959 markings, 58341460 edges, 16732 markings/sec, 2080 secs
lola: STP completed || 1956 tries, 1955763998 fired transitions, 2085 secs || 34830196 markings, 58482909 edges, 16847 markings/sec, 2085 secs
lola: STP completed || 1961 tries, 1960476101 fired transitions, 2090 secs || 34914170 markings, 58623797 edges, 16795 markings/sec, 2090 secs
lola: STP completed || 1966 tries, 1965190447 fired transitions, 2095 secs || 34998708 markings, 58765870 edges, 16908 markings/sec, 2095 secs
lola: STP completed || 1970 tries, 1969896322 fired transitions, 2100 secs || 35082727 markings, 58906708 edges, 16804 markings/sec, 2100 secs
lola: STP completed || 1975 tries, 1974613743 fired transitions, 2105 secs || 35166976 markings, 59048108 edges, 16850 markings/sec, 2105 secs
lola: STP completed || 1980 tries, 1979322706 fired transitions, 2110 secs || 35250625 markings, 59188674 edges, 16730 markings/sec, 2110 secs
lola: STP completed || 1985 tries, 1984040012 fired transitions, 2115 secs || 35334708 markings, 59329626 edges, 16817 markings/sec, 2115 secs
lola: STP completed || 1989 tries, 1988751562 fired transitions, 2120 secs || 35418164 markings, 59469897 edges, 16691 markings/sec, 2120 secs
lola: STP completed || 1994 tries, 1993468074 fired transitions, 2125 secs || 35501083 markings, 59609225 edges, 16584 markings/sec, 2125 secs
lola: STP completed || 1999 tries, 1998174926 fired transitions, 2130 secs || 35584926 markings, 59750108 edges, 16769 markings/sec, 2130 secs
lola: STP completed || 2003 tries, 2002889306 fired transitions, 2135 secs || 35668194 markings, 59889808 edges, 16654 markings/sec, 2135 secs
lola: STP completed || 2008 tries, 2007606378 fired transitions, 2140 secs || 35752351 markings, 60031234 edges, 16831 markings/sec, 2140 secs
lola: STP completed || 2013 tries, 2012319808 fired transitions, 2145 secs || 35836219 markings, 60172074 edges, 16774 markings/sec, 2145 secs
lola: STP completed || 2018 tries, 2017031436 fired transitions, 2150 secs || 35920395 markings, 60313392 edges, 16835 markings/sec, 2150 secs
lola: STP completed || 2022 tries, 2021736070 fired transitions, 2155 secs || 36003944 markings, 60453591 edges, 16710 markings/sec, 2155 secs
lola: STP completed || 2027 tries, 2026451170 fired transitions, 2160 secs || 36087516 markings, 60594071 edges, 16714 markings/sec, 2160 secs
lola: STP completed || 2032 tries, 2031159380 fired transitions, 2165 secs || 36170663 markings, 60733517 edges, 16629 markings/sec, 2165 secs
lola: STP completed || 2036 tries, 2035875720 fired transitions, 2170 secs || 36253419 markings, 60872560 edges, 16551 markings/sec, 2170 secs
lola: STP completed || 2041 tries, 2040594548 fired transitions, 2175 secs || 36336599 markings, 61012127 edges, 16636 markings/sec, 2175 secs
lola: STP completed || 2046 tries, 2045304070 fired transitions, 2180 secs || 36419550 markings, 61151501 edges, 16590 markings/sec, 2180 secs
lola: STP completed || 2051 tries, 2050021829 fired transitions, 2185 secs || 36503011 markings, 61291576 edges, 16692 markings/sec, 2185 secs
lola: STP completed || 2055 tries, 2054729301 fired transitions, 2190 secs || 36585404 markings, 61430042 edges, 16479 markings/sec, 2190 secs
lola: STP completed || 2060 tries, 2059442703 fired transitions, 2195 secs || 36668443 markings, 61569290 edges, 16608 markings/sec, 2195 secs
lola: STP completed || 2065 tries, 2064154045 fired transitions, 2200 secs || 36750732 markings, 61707393 edges, 16458 markings/sec, 2200 secs
lola: STP completed || 2069 tries, 2068868612 fired transitions, 2205 secs || 36833627 markings, 61846766 edges, 16579 markings/sec, 2205 secs
lola: STP completed || 2074 tries, 2073574695 fired transitions, 2210 secs || 36917725 markings, 61988032 edges, 16820 markings/sec, 2210 secs
lola: STP completed || 2079 tries, 2078286963 fired transitions, 2215 secs || 37001421 markings, 62128551 edges, 16739 markings/sec, 2215 secs
lola: STP completed || 2083 tries, 2082993642 fired transitions, 2220 secs || 37085676 markings, 62269802 edges, 16851 markings/sec, 2220 secs
lola: STP completed || 2088 tries, 2087707088 fired transitions, 2225 secs || 37169796 markings, 62411314 edges, 16824 markings/sec, 2225 secs
lola: STP completed || 2093 tries, 2092425090 fired transitions, 2230 secs || 37253963 markings, 62552624 edges, 16833 markings/sec, 2230 secs
lola: STP completed || 2098 tries, 2097140897 fired transitions, 2235 secs || 37338022 markings, 62693742 edges, 16812 markings/sec, 2235 secs
lola: STP completed || 2102 tries, 2101856312 fired transitions, 2240 secs || 37422181 markings, 62835021 edges, 16832 markings/sec, 2240 secs
lola: STP completed || 2107 tries, 2106573525 fired transitions, 2245 secs || 37506192 markings, 62976082 edges, 16802 markings/sec, 2245 secs
lola: STP completed || 2112 tries, 2111286493 fired transitions, 2250 secs || 37590058 markings, 63116955 edges, 16773 markings/sec, 2250 secs
lola: STP completed || 2117 tries, 2116011076 fired transitions, 2255 secs || 37673219 markings, 63256554 edges, 16632 markings/sec, 2255 secs
lola: STP completed || 2121 tries, 2120725766 fired transitions, 2260 secs || 37756502 markings, 63396481 edges, 16657 markings/sec, 2260 secs
lola: STP completed || 2126 tries, 2125438378 fired transitions, 2265 secs || 37839611 markings, 63535870 edges, 16622 markings/sec, 2265 secs
lola: STP completed || 2131 tries, 2130154660 fired transitions, 2270 secs || 37922743 markings, 63675311 edges, 16626 markings/sec, 2270 secs
lola: STP completed || 2135 tries, 2134872939 fired transitions, 2275 secs || 38006351 markings, 63815572 edges, 16722 markings/sec, 2275 secs
lola: STP completed || 2140 tries, 2139595293 fired transitions, 2280 secs || 38089515 markings, 63955450 edges, 16633 markings/sec, 2280 secs
lola: STP completed || 2145 tries, 2144315522 fired transitions, 2285 secs || 38172902 markings, 64095278 edges, 16677 markings/sec, 2285 secs
lola: STP completed || 2150 tries, 2149019900 fired transitions, 2290 secs || 38256160 markings, 64235053 edges, 16652 markings/sec, 2290 secs
lola: STP completed || 2154 tries, 2153733683 fired transitions, 2295 secs || 38339823 markings, 64375707 edges, 16733 markings/sec, 2295 secs
lola: STP completed || 2159 tries, 2158444780 fired transitions, 2300 secs || 38423082 markings, 64515582 edges, 16652 markings/sec, 2300 secs
lola: STP completed || 2164 tries, 2163158396 fired transitions, 2305 secs || 38506693 markings, 64656048 edges, 16722 markings/sec, 2305 secs
lola: STP completed || 2168 tries, 2167877025 fired transitions, 2310 secs || 38590532 markings, 64796821 edges, 16768 markings/sec, 2310 secs
lola: STP completed || 2173 tries, 2172585992 fired transitions, 2315 secs || 38674708 markings, 64938137 edges, 16835 markings/sec, 2315 secs
lola: STP completed || 2178 tries, 2177307491 fired transitions, 2320 secs || 38758820 markings, 65079444 edges, 16822 markings/sec, 2320 secs
lola: STP completed || 2183 tries, 2182028544 fired transitions, 2325 secs || 38842764 markings, 65220354 edges, 16789 markings/sec, 2325 secs
lola: STP completed || 2187 tries, 2186746212 fired transitions, 2330 secs || 38926723 markings, 65361088 edges, 16792 markings/sec, 2330 secs
lola: STP completed || 2192 tries, 2191442672 fired transitions, 2335 secs || 39010517 markings, 65501843 edges, 16759 markings/sec, 2335 secs
lola: STP completed || 2197 tries, 2196064031 fired transitions, 2340 secs || 39093069 markings, 65640522 edges, 16510 markings/sec, 2340 secs
lola: STP completed || 2201 tries, 2200708534 fired transitions, 2345 secs || 39173263 markings, 65775420 edges, 16039 markings/sec, 2345 secs
lola: STP completed || 2206 tries, 2205348994 fired transitions, 2350 secs || 39254009 markings, 65910868 edges, 16149 markings/sec, 2350 secs
lola: STP completed || 2210 tries, 2209984558 fired transitions, 2355 secs || 39334985 markings, 66046759 edges, 16195 markings/sec, 2355 secs
lola: STP completed || 2215 tries, 2214633460 fired transitions, 2360 secs || 39416097 markings, 66183013 edges, 16222 markings/sec, 2360 secs
lola: STP completed || 2220 tries, 2219275653 fired transitions, 2365 secs || 39496347 markings, 66317763 edges, 16050 markings/sec, 2365 secs
lola: STP completed || 2224 tries, 2223932596 fired transitions, 2370 secs || 39576699 markings, 66452548 edges, 16070 markings/sec, 2370 secs
lola: STP completed || 2229 tries, 2228614771 fired transitions, 2375 secs || 39657191 markings, 66587609 edges, 16098 markings/sec, 2375 secs
lola: STP completed || 2234 tries, 2233314017 fired transitions, 2380 secs || 39736271 markings, 66720347 edges, 15816 markings/sec, 2380 secs
lola: STP completed || 2239 tries, 2238014040 fired transitions, 2385 secs || 39818982 markings, 66859456 edges, 16542 markings/sec, 2385 secs
lola: STP completed || 2243 tries, 2242736753 fired transitions, 2390 secs || 39901992 markings, 66998725 edges, 16602 markings/sec, 2390 secs
lola: STP completed || 2248 tries, 2247462642 fired transitions, 2395 secs || 39985782 markings, 67139690 edges, 16758 markings/sec, 2395 secs
lola: STP completed || 2253 tries, 2252180110 fired transitions, 2400 secs || 40069221 markings, 67279496 edges, 16688 markings/sec, 2400 secs
lola: STP completed || 2257 tries, 2256904491 fired transitions, 2405 secs || 40153178 markings, 67420702 edges, 16791 markings/sec, 2405 secs
lola: STP completed || 2262 tries, 2261616472 fired transitions, 2410 secs || 40236711 markings, 67560917 edges, 16707 markings/sec, 2410 secs
lola: STP completed || 2267 tries, 2266336913 fired transitions, 2415 secs || 40320095 markings, 67700918 edges, 16677 markings/sec, 2415 secs
lola: STP completed || 2272 tries, 2271055665 fired transitions, 2420 secs || 40403626 markings, 67840889 edges, 16706 markings/sec, 2420 secs
lola: STP completed || 2276 tries, 2275779393 fired transitions, 2425 secs || 40487106 markings, 67980999 edges, 16696 markings/sec, 2425 secs
lola: STP completed || 2281 tries, 2280506142 fired transitions, 2430 secs || 40570119 markings, 68120469 edges, 16603 markings/sec, 2430 secs
lola: STP completed || 2286 tries, 2285228054 fired transitions, 2435 secs || 40649237 markings, 68253468 edges, 15824 markings/sec, 2435 secs
lola: STP completed || 2290 tries, 2289948769 fired transitions, 2440 secs || 40732211 markings, 68392961 edges, 16595 markings/sec, 2440 secs
lola: STP completed || 2295 tries, 2294666870 fired transitions, 2445 secs || 40815350 markings, 68532349 edges, 16628 markings/sec, 2445 secs
lola: STP completed || 2300 tries, 2299365170 fired transitions, 2450 secs || 40898435 markings, 68671884 edges, 16617 markings/sec, 2450 secs
lola: STP completed || 2305 tries, 2304070638 fired transitions, 2455 secs || 40981103 markings, 68810640 edges, 16534 markings/sec, 2455 secs
lola: STP completed || 2309 tries, 2308787699 fired transitions, 2460 secs || 41063886 markings, 68949653 edges, 16557 markings/sec, 2460 secs
lola: STP completed || 2314 tries, 2313494364 fired transitions, 2465 secs || 41146498 markings, 69088325 edges, 16522 markings/sec, 2465 secs
lola: STP completed || 2319 tries, 2318209526 fired transitions, 2470 secs || 41229160 markings, 69227218 edges, 16532 markings/sec, 2470 secs
lola: STP completed || 2323 tries, 2322921327 fired transitions, 2475 secs || 41311519 markings, 69365312 edges, 16472 markings/sec, 2475 secs
lola: STP completed || 2328 tries, 2327640679 fired transitions, 2480 secs || 41393647 markings, 69503321 edges, 16426 markings/sec, 2480 secs
lola: STP completed || 2333 tries, 2332350328 fired transitions, 2485 secs || 41476354 markings, 69642165 edges, 16541 markings/sec, 2485 secs
lola: STP completed || 2338 tries, 2337069509 fired transitions, 2490 secs || 41555455 markings, 69775008 edges, 15820 markings/sec, 2490 secs
lola: STP completed || 2342 tries, 2341787522 fired transitions, 2495 secs || 41638830 markings, 69914991 edges, 16675 markings/sec, 2495 secs
lola: STP completed || 2347 tries, 2346501136 fired transitions, 2500 secs || 41722075 markings, 70054950 edges, 16649 markings/sec, 2500 secs
lola: STP completed || 2352 tries, 2351197404 fired transitions, 2505 secs || 41805279 markings, 70194524 edges, 16641 markings/sec, 2505 secs
lola: STP completed || 2356 tries, 2355918500 fired transitions, 2510 secs || 41888185 markings, 70333612 edges, 16581 markings/sec, 2510 secs
lola: STP completed || 2361 tries, 2360634485 fired transitions, 2515 secs || 41971229 markings, 70473134 edges, 16609 markings/sec, 2515 secs
lola: STP completed || 2366 tries, 2365353219 fired transitions, 2520 secs || 42054938 markings, 70613630 edges, 16742 markings/sec, 2520 secs
lola: STP completed || 2371 tries, 2370070279 fired transitions, 2525 secs || 42138645 markings, 70754175 edges, 16741 markings/sec, 2525 secs
lola: STP completed || 2375 tries, 2374784020 fired transitions, 2530 secs || 42222700 markings, 70895347 edges, 16811 markings/sec, 2530 secs
lola: STP completed || 2380 tries, 2379483766 fired transitions, 2535 secs || 42302862 markings, 71030027 edges, 16032 markings/sec, 2535 secs
lola: STP completed || 2385 tries, 2384193193 fired transitions, 2540 secs || 42387143 markings, 71171486 edges, 16856 markings/sec, 2540 secs
lola: STP completed || 2389 tries, 2388897848 fired transitions, 2545 secs || 42470410 markings, 71311309 edges, 16653 markings/sec, 2545 secs
lola: STP completed || 2394 tries, 2393617393 fired transitions, 2550 secs || 42554159 markings, 71451861 edges, 16750 markings/sec, 2550 secs
lola: STP completed || 2399 tries, 2398322750 fired transitions, 2555 secs || 42637054 markings, 71591060 edges, 16579 markings/sec, 2555 secs
lola: STP completed || 2404 tries, 2403036581 fired transitions, 2560 secs || 42720564 markings, 71731437 edges, 16702 markings/sec, 2560 secs
lola: STP completed || 2408 tries, 2407748152 fired transitions, 2565 secs || 42803443 markings, 71870566 edges, 16576 markings/sec, 2565 secs
lola: STP completed || 2413 tries, 2412460872 fired transitions, 2570 secs || 42886422 markings, 72009871 edges, 16596 markings/sec, 2570 secs
lola: STP completed || 2418 tries, 2417176864 fired transitions, 2575 secs || 42969544 markings, 72149216 edges, 16624 markings/sec, 2575 secs
lola: STP completed || 2422 tries, 2421888414 fired transitions, 2580 secs || 43052614 markings, 72288938 edges, 16614 markings/sec, 2580 secs
lola: STP completed || 2427 tries, 2426610197 fired transitions, 2585 secs || 43136158 markings, 72429156 edges, 16709 markings/sec, 2585 secs
lola: STP completed || 2432 tries, 2431321326 fired transitions, 2590 secs || 43219507 markings, 72569313 edges, 16670 markings/sec, 2590 secs
lola: STP completed || 2437 tries, 2436039984 fired transitions, 2595 secs || 43302784 markings, 72708935 edges, 16655 markings/sec, 2595 secs
lola: STP completed || 2441 tries, 2440752893 fired transitions, 2600 secs || 43385838 markings, 72848408 edges, 16611 markings/sec, 2600 secs
lola: STP completed || 2446 tries, 2445460566 fired transitions, 2605 secs || 43469433 markings, 72988750 edges, 16719 markings/sec, 2605 secs
lola: STP completed || 2451 tries, 2450127327 fired transitions, 2610 secs || 43552333 markings, 73127935 edges, 16580 markings/sec, 2610 secs
lola: STP completed || 2455 tries, 2454777957 fired transitions, 2615 secs || 43635155 markings, 73267046 edges, 16564 markings/sec, 2615 secs
lola: STP completed || 2460 tries, 2459439731 fired transitions, 2620 secs || 43718293 markings, 73406542 edges, 16628 markings/sec, 2620 secs
lola: STP completed || 2465 tries, 2464105165 fired transitions, 2625 secs || 43801432 markings, 73546337 edges, 16628 markings/sec, 2625 secs
lola: STP completed || 2469 tries, 2468776082 fired transitions, 2630 secs || 43885242 markings, 73686689 edges, 16762 markings/sec, 2630 secs
lola: STP completed || 2474 tries, 2473438900 fired transitions, 2635 secs || 43968570 markings, 73826847 edges, 16666 markings/sec, 2635 secs
lola: STP completed || 2479 tries, 2478116028 fired transitions, 2640 secs || 44048605 markings, 73961052 edges, 16007 markings/sec, 2640 secs
lola: STP completed || 2483 tries, 2482830389 fired transitions, 2645 secs || 44132125 markings, 74101403 edges, 16704 markings/sec, 2645 secs
lola: STP completed || 2488 tries, 2487542623 fired transitions, 2650 secs || 44215410 markings, 74241225 edges, 16657 markings/sec, 2650 secs
lola: STP completed || 2493 tries, 2492260565 fired transitions, 2655 secs || 44297432 markings, 74378923 edges, 16404 markings/sec, 2655 secs
lola: STP completed || 2497 tries, 2496855707 fired transitions, 2660 secs || 44377234 markings, 74513227 edges, 15960 markings/sec, 2660 secs
lola: STP completed || 2502 tries, 2501580256 fired transitions, 2665 secs || 44460096 markings, 74652042 edges, 16572 markings/sec, 2665 secs
lola: STP completed || 2507 tries, 2506299780 fired transitions, 2670 secs || 44543048 markings, 74791437 edges, 16590 markings/sec, 2670 secs
lola: STP completed || 2512 tries, 2511017883 fired transitions, 2675 secs || 44626378 markings, 74931135 edges, 16666 markings/sec, 2675 secs
lola: STP completed || 2516 tries, 2515680944 fired transitions, 2680 secs || 44708585 markings, 75069469 edges, 16441 markings/sec, 2680 secs
lola: STP completed || 2521 tries, 2520357788 fired transitions, 2685 secs || 44790777 markings, 75207243 edges, 16438 markings/sec, 2685 secs
lola: STP completed || 2525 tries, 2524835169 fired transitions, 2690 secs || 44873763 markings, 75346684 edges, 16597 markings/sec, 2690 secs
lola: STP completed || 2530 tries, 2529550668 fired transitions, 2695 secs || 44957649 markings, 75487557 edges, 16777 markings/sec, 2695 secs
lola: STP completed || 2535 tries, 2534276435 fired transitions, 2700 secs || 45041855 markings, 75629013 edges, 16841 markings/sec, 2700 secs
lola: STP completed || 2539 tries, 2538991960 fired transitions, 2705 secs || 45126096 markings, 75770481 edges, 16848 markings/sec, 2705 secs
lola: STP completed || 2544 tries, 2543712203 fired transitions, 2710 secs || 45210347 markings, 75911927 edges, 16850 markings/sec, 2710 secs
lola: STP completed || 2549 tries, 2548410555 fired transitions, 2715 secs || 45291222 markings, 76047589 edges, 16175 markings/sec, 2715 secs
lola: STP completed || 2554 tries, 2553124585 fired transitions, 2720 secs || 45375107 markings, 76188552 edges, 16777 markings/sec, 2720 secs
lola: STP completed || 2558 tries, 2557839342 fired transitions, 2725 secs || 45455567 markings, 76323668 edges, 16092 markings/sec, 2725 secs
lola: STP completed || 2563 tries, 2562486679 fired transitions, 2730 secs || 45538772 markings, 76463066 edges, 16641 markings/sec, 2730 secs
lola: STP completed || 2568 tries, 2567132609 fired transitions, 2735 secs || 45621763 markings, 76602501 edges, 16598 markings/sec, 2735 secs
lola: STP completed || 2572 tries, 2571774716 fired transitions, 2740 secs || 45704220 markings, 76741026 edges, 16491 markings/sec, 2740 secs
lola: STP completed || 2577 tries, 2576426025 fired transitions, 2745 secs || 45786188 markings, 76878678 edges, 16394 markings/sec, 2745 secs
lola: STP completed || 2582 tries, 2581069101 fired transitions, 2750 secs || 45868980 markings, 77017827 edges, 16558 markings/sec, 2750 secs
lola: STP completed || 2586 tries, 2585690529 fired transitions, 2755 secs || 45951337 markings, 77155955 edges, 16471 markings/sec, 2755 secs
lola: STP completed || 2591 tries, 2590337342 fired transitions, 2760 secs || 46034312 markings, 77295384 edges, 16595 markings/sec, 2760 secs
lola: STP completed || 2595 tries, 2594985922 fired transitions, 2765 secs || 46117060 markings, 77434234 edges, 16550 markings/sec, 2765 secs
lola: STP completed || 2600 tries, 2599634002 fired transitions, 2770 secs || 46199492 markings, 77572650 edges, 16486 markings/sec, 2770 secs
lola: STP completed || 2605 tries, 2604275748 fired transitions, 2775 secs || 46281713 markings, 77710686 edges, 16444 markings/sec, 2775 secs
lola: STP completed || 2609 tries, 2608923273 fired transitions, 2780 secs || 46364228 markings, 77849132 edges, 16503 markings/sec, 2780 secs
lola: STP completed || 2614 tries, 2613578329 fired transitions, 2785 secs || 46447678 markings, 77989151 edges, 16690 markings/sec, 2785 secs
lola: STP completed || 2619 tries, 2618229134 fired transitions, 2790 secs || 46530598 markings, 78128454 edges, 16584 markings/sec, 2790 secs
lola: STP completed || 2623 tries, 2622870871 fired transitions, 2795 secs || 46614191 markings, 78268938 edges, 16719 markings/sec, 2795 secs
lola: STP completed || 2628 tries, 2627534373 fired transitions, 2800 secs || 46697230 markings, 78408462 edges, 16608 markings/sec, 2800 secs
lola: STP completed || 2633 tries, 2632199964 fired transitions, 2805 secs || 46781373 markings, 78549537 edges, 16829 markings/sec, 2805 secs
lola: STP completed || 2637 tries, 2636856942 fired transitions, 2810 secs || 46864298 markings, 78688857 edges, 16585 markings/sec, 2810 secs
lola: STP completed || 2642 tries, 2641519730 fired transitions, 2815 secs || 46947991 markings, 78829288 edges, 16739 markings/sec, 2815 secs
lola: STP completed || 2647 tries, 2646186318 fired transitions, 2820 secs || 47030825 markings, 78968284 edges, 16567 markings/sec, 2820 secs
lola: STP completed || 2651 tries, 2650861079 fired transitions, 2825 secs || 47113870 markings, 79108076 edges, 16609 markings/sec, 2825 secs
lola: STP completed || 2656 tries, 2655516063 fired transitions, 2830 secs || 47198593 markings, 79250121 edges, 16945 markings/sec, 2830 secs
lola: STP completed || 2661 tries, 2660182243 fired transitions, 2835 secs || 47282600 markings, 79391393 edges, 16801 markings/sec, 2835 secs
lola: STP completed || 2665 tries, 2664848963 fired transitions, 2840 secs || 47367022 markings, 79533218 edges, 16884 markings/sec, 2840 secs
lola: STP completed || 2670 tries, 2669509080 fired transitions, 2845 secs || 47450803 markings, 79673977 edges, 16756 markings/sec, 2845 secs
lola: STP completed || 2675 tries, 2674166511 fired transitions, 2850 secs || 47535520 markings, 79816115 edges, 16943 markings/sec, 2850 secs
lola: STP completed || 2679 tries, 2678565319 fired transitions, 2855 secs || 47619272 markings, 79956962 edges, 16750 markings/sec, 2855 secs
lola: STP completed || 2684 tries, 2683291750 fired transitions, 2860 secs || 47704441 markings, 80099713 edges, 17034 markings/sec, 2860 secs
lola: STP completed || 2689 tries, 2688008908 fired transitions, 2865 secs || 47789014 markings, 80241707 edges, 16915 markings/sec, 2865 secs
lola: STP completed || 2693 tries, 2692730562 fired transitions, 2870 secs || 47873782 markings, 80384244 edges, 16954 markings/sec, 2870 secs
lola: STP completed || 2698 tries, 2697447807 fired transitions, 2875 secs || 47958020 markings, 80525574 edges, 16848 markings/sec, 2875 secs
lola: STP completed || 2703 tries, 2702160048 fired transitions, 2880 secs || 48042171 markings, 80667015 edges, 16830 markings/sec, 2880 secs
lola: STP completed || 2707 tries, 2706882300 fired transitions, 2885 secs || 48122698 markings, 80802073 edges, 16105 markings/sec, 2885 secs
lola: STP completed || 2712 tries, 2711593678 fired transitions, 2890 secs || 48206650 markings, 80942934 edges, 16790 markings/sec, 2890 secs
lola: STP completed || 2717 tries, 2716300426 fired transitions, 2895 secs || 48290611 markings, 81083969 edges, 16792 markings/sec, 2895 secs
lola: STP completed || 2722 tries, 2721011692 fired transitions, 2900 secs || 48374197 markings, 81224451 edges, 16717 markings/sec, 2900 secs
lola: STP completed || 2726 tries, 2725720639 fired transitions, 2905 secs || 48458516 markings, 81365929 edges, 16864 markings/sec, 2905 secs
lola: STP completed || 2731 tries, 2730436927 fired transitions, 2910 secs || 48542324 markings, 81506571 edges, 16762 markings/sec, 2910 secs
lola: STP completed || 2736 tries, 2735148354 fired transitions, 2915 secs || 48627235 markings, 81649165 edges, 16982 markings/sec, 2915 secs
lola: STP completed || 2740 tries, 2739860130 fired transitions, 2920 secs || 48712016 markings, 81791645 edges, 16956 markings/sec, 2920 secs
lola: STP completed || 2745 tries, 2744164714 fired transitions, 2925 secs || 48796717 markings, 81933921 edges, 16940 markings/sec, 2925 secs
lola: STP completed || 2749 tries, 2748892032 fired transitions, 2930 secs || 48881503 markings, 82076206 edges, 16957 markings/sec, 2930 secs
lola: STP completed || 2754 tries, 2753608664 fired transitions, 2935 secs || 48966482 markings, 82218944 edges, 16996 markings/sec, 2935 secs
lola: STP completed || 2759 tries, 2758326097 fired transitions, 2940 secs || 49051520 markings, 82361704 edges, 17008 markings/sec, 2940 secs
lola: STP completed || 2764 tries, 2763043221 fired transitions, 2945 secs || 49136346 markings, 82504198 edges, 16965 markings/sec, 2945 secs
lola: STP completed || 2768 tries, 2767757935 fired transitions, 2950 secs || 49221732 markings, 82647168 edges, 17077 markings/sec, 2950 secs
lola: STP completed || 2773 tries, 2772476387 fired transitions, 2955 secs || 49306545 markings, 82789748 edges, 16963 markings/sec, 2955 secs
lola: STP completed || 2778 tries, 2777195028 fired transitions, 2960 secs || 49390854 markings, 82931277 edges, 16862 markings/sec, 2960 secs
lola: STP completed || 2782 tries, 2781917939 fired transitions, 2965 secs || 49474705 markings, 83072110 edges, 16770 markings/sec, 2965 secs
lola: STP completed || 2787 tries, 2786624188 fired transitions, 2970 secs || 49558826 markings, 83213534 edges, 16824 markings/sec, 2970 secs
lola: STP completed || 2792 tries, 2791342040 fired transitions, 2975 secs || 49642780 markings, 83354327 edges, 16791 markings/sec, 2975 secs
lola: STP completed || 2797 tries, 2796071338 fired transitions, 2980 secs || 49726960 markings, 83495598 edges, 16836 markings/sec, 2980 secs
lola: STP completed || 2801 tries, 2800792655 fired transitions, 2985 secs || 49810240 markings, 83635647 edges, 16656 markings/sec, 2985 secs
lola: STP completed || 2806 tries, 2805499305 fired transitions, 2990 secs || 49893895 markings, 83776029 edges, 16731 markings/sec, 2990 secs
lola: STP completed || 2811 tries, 2810226533 fired transitions, 2995 secs || 49977527 markings, 83916305 edges, 16726 markings/sec, 2995 secs
lola: STP completed || 2815 tries, 2814941599 fired transitions, 3000 secs || 50061167 markings, 84056957 edges, 16728 markings/sec, 3000 secs
lola: STP completed || 2820 tries, 2819656159 fired transitions, 3005 secs || 50146519 markings, 84200105 edges, 17070 markings/sec, 3005 secs
lola: STP completed || 2825 tries, 2824368381 fired transitions, 3010 secs || 50231570 markings, 84342999 edges, 17010 markings/sec, 3010 secs
lola: STP completed || 2830 tries, 2829084579 fired transitions, 3015 secs || 50316673 markings, 84485982 edges, 17021 markings/sec, 3015 secs
lola: STP completed || 2834 tries, 2833811720 fired transitions, 3020 secs || 50401422 markings, 84628104 edges, 16950 markings/sec, 3020 secs
lola: STP completed || 2839 tries, 2838524575 fired transitions, 3025 secs || 50486381 markings, 84770899 edges, 16992 markings/sec, 3025 secs
lola: STP completed || 2844 tries, 2843232636 fired transitions, 3030 secs || 50570831 markings, 84912958 edges, 16890 markings/sec, 3030 secs
lola: STP completed || 2848 tries, 2847961639 fired transitions, 3035 secs || 50655892 markings, 85055506 edges, 17012 markings/sec, 3035 secs
lola: STP completed || 2853 tries, 2852685552 fired transitions, 3040 secs || 50740590 markings, 85197542 edges, 16940 markings/sec, 3040 secs
lola: STP completed || 2858 tries, 2857401465 fired transitions, 3045 secs || 50825065 markings, 85339681 edges, 16895 markings/sec, 3045 secs
lola: STP completed || 2863 tries, 2862111498 fired transitions, 3050 secs || 50909167 markings, 85480886 edges, 16820 markings/sec, 3050 secs
lola: STP completed || 2867 tries, 2866832087 fired transitions, 3055 secs || 50993249 markings, 85622128 edges, 16816 markings/sec, 3055 secs
lola: STP completed || 2872 tries, 2871548919 fired transitions, 3060 secs || 51076982 markings, 85762688 edges, 16747 markings/sec, 3060 secs
lola: STP completed || 2877 tries, 2876267995 fired transitions, 3065 secs || 51160896 markings, 85903466 edges, 16783 markings/sec, 3065 secs
lola: STP completed || 2881 tries, 2880995847 fired transitions, 3070 secs || 51244968 markings, 86044434 edges, 16814 markings/sec, 3070 secs
lola: STP completed || 2886 tries, 2885664347 fired transitions, 3075 secs || 51327964 markings, 86184048 edges, 16599 markings/sec, 3075 secs
lola: STP completed || 2891 tries, 2890316853 fired transitions, 3080 secs || 51410949 markings, 86323263 edges, 16597 markings/sec, 3080 secs
lola: STP completed || 2895 tries, 2894987039 fired transitions, 3085 secs || 51493768 markings, 86462456 edges, 16564 markings/sec, 3085 secs
lola: STP completed || 2900 tries, 2899643420 fired transitions, 3090 secs || 51577573 markings, 86603083 edges, 16761 markings/sec, 3090 secs
lola: STP completed || 2905 tries, 2904317827 fired transitions, 3095 secs || 51660571 markings, 86742299 edges, 16600 markings/sec, 3095 secs
lola: STP completed || 2909 tries, 2908993102 fired transitions, 3100 secs || 51744213 markings, 86883000 edges, 16728 markings/sec, 3100 secs
lola: STP completed || 2914 tries, 2913662993 fired transitions, 3105 secs || 51827298 markings, 87022342 edges, 16617 markings/sec, 3105 secs
lola: STP completed || 2919 tries, 2918324470 fired transitions, 3110 secs || 51910876 markings, 87162675 edges, 16716 markings/sec, 3110 secs
lola: STP completed || 2923 tries, 2922997307 fired transitions, 3115 secs || 51994126 markings, 87302571 edges, 16650 markings/sec, 3115 secs
lola: STP completed || 2928 tries, 2927667645 fired transitions, 3120 secs || 52077540 markings, 87442720 edges, 16683 markings/sec, 3120 secs
lola: STP completed || 2933 tries, 2932338321 fired transitions, 3125 secs || 52161517 markings, 87583415 edges, 16795 markings/sec, 3125 secs
lola: STP completed || 2938 tries, 2937007150 fired transitions, 3130 secs || 52244795 markings, 87723314 edges, 16656 markings/sec, 3130 secs
lola: STP completed || 2942 tries, 2941681621 fired transitions, 3135 secs || 52327942 markings, 87863035 edges, 16629 markings/sec, 3135 secs
lola: STP completed || 2947 tries, 2946357612 fired transitions, 3140 secs || 52410747 markings, 88002136 edges, 16561 markings/sec, 3140 secs
lola: STP completed || 2952 tries, 2951022070 fired transitions, 3145 secs || 52493947 markings, 88141735 edges, 16640 markings/sec, 3145 secs
lola: STP completed || 2956 tries, 2955698576 fired transitions, 3150 secs || 52576878 markings, 88280720 edges, 16586 markings/sec, 3150 secs
lola: STP completed || 2961 tries, 2960371227 fired transitions, 3155 secs || 52659646 markings, 88419986 edges, 16554 markings/sec, 3155 secs
lola: STP completed || 2966 tries, 2965038891 fired transitions, 3160 secs || 52741680 markings, 88557719 edges, 16407 markings/sec, 3160 secs
lola: STP completed || 2970 tries, 2969704148 fired transitions, 3165 secs || 52823793 markings, 88695522 edges, 16423 markings/sec, 3165 secs
lola: STP completed || 2975 tries, 2974366765 fired transitions, 3170 secs || 52906121 markings, 88833546 edges, 16466 markings/sec, 3170 secs
lola: STP completed || 2980 tries, 2979038288 fired transitions, 3175 secs || 52988158 markings, 88971240 edges, 16407 markings/sec, 3175 secs
lola: STP completed || 2984 tries, 2983693811 fired transitions, 3180 secs || 53071368 markings, 89111245 edges, 16642 markings/sec, 3180 secs
lola: STP completed || 2989 tries, 2988355805 fired transitions, 3185 secs || 53154266 markings, 89250561 edges, 16580 markings/sec, 3185 secs
lola: STP completed || 2994 tries, 2993015372 fired transitions, 3190 secs || 53237607 markings, 89390620 edges, 16668 markings/sec, 3190 secs
lola: STP completed || 2998 tries, 2997688986 fired transitions, 3195 secs || 53320510 markings, 89529643 edges, 16581 markings/sec, 3195 secs
lola: STP completed || 3003 tries, 3002340320 fired transitions, 3200 secs || 53403980 markings, 89669804 edges, 16694 markings/sec, 3200 secs
lola: STP completed || 3008 tries, 3007008914 fired transitions, 3205 secs || 53486572 markings, 89808633 edges, 16518 markings/sec, 3205 secs
lola: STP completed || 3012 tries, 3011680631 fired transitions, 3210 secs || 53569783 markings, 89948308 edges, 16642 markings/sec, 3210 secs
lola: STP completed || 3017 tries, 3016348660 fired transitions, 3215 secs || 53652506 markings, 90087057 edges, 16545 markings/sec, 3215 secs
lola: STP completed || 3022 tries, 3021049435 fired transitions, 3220 secs || 53730254 markings, 90217559 edges, 15550 markings/sec, 3220 secs
lola: STP completed || 3026 tries, 3025768218 fired transitions, 3225 secs || 53812973 markings, 90356433 edges, 16544 markings/sec, 3225 secs
lola: STP completed || 3031 tries, 3030473255 fired transitions, 3230 secs || 53896241 markings, 90496447 edges, 16654 markings/sec, 3230 secs
lola: STP completed || 3036 tries, 3035187605 fired transitions, 3235 secs || 53980459 markings, 90637827 edges, 16844 markings/sec, 3235 secs
lola: STP completed || 3040 tries, 3039907907 fired transitions, 3240 secs || 54064199 markings, 90778479 edges, 16748 markings/sec, 3240 secs
lola: STP completed || 3045 tries, 3044622919 fired transitions, 3245 secs || 54148894 markings, 90920500 edges, 16939 markings/sec, 3245 secs
lola: STP completed || 3050 tries, 3049324258 fired transitions, 3250 secs || 54232092 markings, 91060205 edges, 16640 markings/sec, 3250 secs
lola: STP completed || 3054 tries, 3053993639 fired transitions, 3255 secs || 54315717 markings, 91200863 edges, 16725 markings/sec, 3255 secs
lola: STP completed || 3059 tries, 3058641886 fired transitions, 3260 secs || 54398828 markings, 91340162 edges, 16622 markings/sec, 3260 secs
lola: STP completed || 3064 tries, 3063301791 fired transitions, 3265 secs || 54481807 markings, 91479638 edges, 16596 markings/sec, 3265 secs
lola: STP completed || 3068 tries, 3067956655 fired transitions, 3270 secs || 54564068 markings, 91617608 edges, 16452 markings/sec, 3270 secs
lola: STP completed || 3073 tries, 3072611731 fired transitions, 3275 secs || 54646233 markings, 91755567 edges, 16433 markings/sec, 3275 secs
lola: STP completed || 3078 tries, 3077254792 fired transitions, 3280 secs || 54728432 markings, 91893800 edges, 16440 markings/sec, 3280 secs
lola: STP completed || 3082 tries, 3081918081 fired transitions, 3285 secs || 54810422 markings, 92031483 edges, 16398 markings/sec, 3285 secs
lola: STP completed || 3087 tries, 3086579816 fired transitions, 3290 secs || 54893133 markings, 92170349 edges, 16542 markings/sec, 3290 secs
lola: STP completed || 3092 tries, 3091282562 fired transitions, 3295 secs || 54971597 markings, 92302241 edges, 15693 markings/sec, 3295 secs
lola: STP completed || 3097 tries, 3096003885 fired transitions, 3300 secs || 55054995 markings, 92442075 edges, 16680 markings/sec, 3300 secs
lola: STP completed || 3101 tries, 3100716605 fired transitions, 3305 secs || 55138185 markings, 92581695 edges, 16638 markings/sec, 3305 secs
lola: STP completed || 3106 tries, 3105428671 fired transitions, 3310 secs || 55221738 markings, 92721970 edges, 16711 markings/sec, 3310 secs
lola: STP completed || 3111 tries, 3110148203 fired transitions, 3315 secs || 55305449 markings, 92862642 edges, 16742 markings/sec, 3315 secs
lola: STP completed || 3115 tries, 3114858844 fired transitions, 3320 secs || 55389287 markings, 93003309 edges, 16768 markings/sec, 3320 secs
lola: STP completed || 3120 tries, 3119571059 fired transitions, 3325 secs || 55473036 markings, 93143799 edges, 16750 markings/sec, 3325 secs
lola: STP completed || 3125 tries, 3124268667 fired transitions, 3330 secs || 55556461 markings, 93284005 edges, 16685 markings/sec, 3330 secs
lola: STP completed || 3129 tries, 3128935004 fired transitions, 3335 secs || 55639717 markings, 93423688 edges, 16651 markings/sec, 3335 secs
lola: STP completed || 3134 tries, 3133582064 fired transitions, 3340 secs || 55722502 markings, 93562918 edges, 16557 markings/sec, 3340 secs
lola: STP completed || 3139 tries, 3138234208 fired transitions, 3345 secs || 55806105 markings, 93703024 edges, 16721 markings/sec, 3345 secs
lola: STP completed || 3143 tries, 3142890616 fired transitions, 3350 secs || 55889112 markings, 93842400 edges, 16601 markings/sec, 3350 secs
lola: STP completed || 3148 tries, 3147528833 fired transitions, 3355 secs || 55972426 markings, 93982625 edges, 16663 markings/sec, 3355 secs
lola: STP completed || 3153 tries, 3152180705 fired transitions, 3360 secs || 56055847 markings, 94122449 edges, 16684 markings/sec, 3360 secs
lola: STP completed || 3157 tries, 3156831770 fired transitions, 3365 secs || 56139112 markings, 94262321 edges, 16653 markings/sec, 3365 secs
lola: STP completed || 3162 tries, 3161485501 fired transitions, 3370 secs || 56222301 markings, 94401868 edges, 16638 markings/sec, 3370 secs
lola: STP completed || 3167 tries, 3166144119 fired transitions, 3375 secs || 56305324 markings, 94541397 edges, 16605 markings/sec, 3375 secs
lola: STP completed || 3171 tries, 3170793507 fired transitions, 3380 secs || 56388361 markings, 94680677 edges, 16607 markings/sec, 3380 secs
lola: STP completed || 3176 tries, 3175460284 fired transitions, 3385 secs || 56470880 markings, 94819487 edges, 16504 markings/sec, 3385 secs
lola: STP completed || 3181 tries, 3180110359 fired transitions, 3390 secs || 56553673 markings, 94958298 edges, 16559 markings/sec, 3390 secs
lola: STP completed || 3185 tries, 3184763976 fired transitions, 3395 secs || 56636273 markings, 95097078 edges, 16520 markings/sec, 3395 secs
lola: STP completed || 3190 tries, 3189419008 fired transitions, 3400 secs || 56719852 markings, 95237502 edges, 16716 markings/sec, 3400 secs
lola: STP completed || 3195 tries, 3194066401 fired transitions, 3405 secs || 56803640 markings, 95378197 edges, 16758 markings/sec, 3405 secs
lola: STP completed || 3199 tries, 3198712957 fired transitions, 3410 secs || 56887324 markings, 95518818 edges, 16737 markings/sec, 3410 secs
lola: STP completed || 3204 tries, 3203363331 fired transitions, 3415 secs || 56971060 markings, 95659337 edges, 16747 markings/sec, 3415 secs
lola: STP completed || 3209 tries, 3208020925 fired transitions, 3420 secs || 57054715 markings, 95799689 edges, 16731 markings/sec, 3420 secs
lola: STP completed || 3213 tries, 3212676356 fired transitions, 3425 secs || 57138390 markings, 95940183 edges, 16735 markings/sec, 3425 secs
lola: STP completed || 3218 tries, 3217320492 fired transitions, 3430 secs || 57221896 markings, 96080423 edges, 16701 markings/sec, 3430 secs
lola: STP completed || 3222 tries, 3221967466 fired transitions, 3435 secs || 57305646 markings, 96220900 edges, 16750 markings/sec, 3435 secs
lola: STP completed || 3227 tries, 3226635974 fired transitions, 3440 secs || 57389170 markings, 96361104 edges, 16705 markings/sec, 3440 secs
lola: STP completed || 3232 tries, 3231289523 fired transitions, 3445 secs || 57472103 markings, 96500405 edges, 16587 markings/sec, 3445 secs
lola: STP completed || 3236 tries, 3235952327 fired transitions, 3450 secs || 57554163 markings, 96638219 edges, 16412 markings/sec, 3450 secs
lola: STP completed || 3241 tries, 3240608496 fired transitions, 3455 secs || 57636657 markings, 96776809 edges, 16499 markings/sec, 3455 secs
lola: STP completed || 3246 tries, 3245258819 fired transitions, 3460 secs || 57718629 markings, 96914336 edges, 16394 markings/sec, 3460 secs
lola: STP completed || 3250 tries, 3249908118 fired transitions, 3465 secs || 57801349 markings, 97053420 edges, 16544 markings/sec, 3465 secs
lola: STP completed || 3255 tries, 3254550793 fired transitions, 3470 secs || 57884100 markings, 97192316 edges, 16550 markings/sec, 3470 secs
lola: STP completed || 3260 tries, 3259205889 fired transitions, 3475 secs || 57966708 markings, 97330855 edges, 16522 markings/sec, 3475 secs
lola: STP completed || 3264 tries, 3263856516 fired transitions, 3480 secs || 58049431 markings, 97469675 edges, 16545 markings/sec, 3480 secs
lola: STP completed || 3269 tries, 3268513554 fired transitions, 3485 secs || 58131895 markings, 97608162 edges, 16493 markings/sec, 3485 secs
lola: STP completed || 3274 tries, 3273159245 fired transitions, 3490 secs || 58215108 markings, 97747930 edges, 16643 markings/sec, 3490 secs
lola: STP completed || 3278 tries, 3277815158 fired transitions, 3495 secs || 58298282 markings, 97887600 edges, 16635 markings/sec, 3495 secs
lola: STP completed || 3283 tries, 3282466775 fired transitions, 3500 secs || 58382128 markings, 98028432 edges, 16769 markings/sec, 3500 secs
lola: STP completed || 3288 tries, 3287116508 fired transitions, 3505 secs || 58465294 markings, 98168134 edges, 16633 markings/sec, 3505 secs
lola: STP completed || 3292 tries, 3291781308 fired transitions, 3510 secs || 58549147 markings, 98308758 edges, 16771 markings/sec, 3510 secs
lola: STP completed || 3297 tries, 3296436696 fired transitions, 3515 secs || 58631592 markings, 98447247 edges, 16489 markings/sec, 3515 secs
lola: STP completed || 3302 tries, 3301086628 fired transitions, 3520 secs || 58714909 markings, 98587100 edges, 16663 markings/sec, 3520 secs
lola: STP completed || 3306 tries, 3305512084 fired transitions, 3525 secs || 58798015 markings, 98726592 edges, 16621 markings/sec, 3525 secs
lola: STP completed || 3311 tries, 3310151140 fired transitions, 3530 secs || 58881485 markings, 98866940 edges, 16694 markings/sec, 3530 secs
lola: STP completed || 3315 tries, 3314812178 fired transitions, 3535 secs || 58966141 markings, 99009012 edges, 16931 markings/sec, 3535 secs
lola: STP completed || 3320 tries, 3319446431 fired transitions, 3540 secs || 59050188 markings, 99150255 edges, 16809 markings/sec, 3540 secs
lola: STP completed || 3325 tries, 3324152907 fired transitions, 3545 secs || 59134807 markings, 99292323 edges, 16924 markings/sec, 3545 secs
lola: STP completed || 3329 tries, 3328866434 fired transitions, 3550 secs || 59218864 markings, 99433404 edges, 16811 markings/sec, 3550 secs
lola: STP completed || 3334 tries, 3333575328 fired transitions, 3555 secs || 59303587 markings, 99575724 edges, 16945 markings/sec, 3555 secs
lola: STP completed || 3339 tries, 3338284125 fired transitions, 3560 secs || 59383759 markings, 99710412 edges, 16034 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 9854640 KB
lola: time consumption: 3571 seconds

BK_STOP 1526848949693

--------------------
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="JoinFreeModules-PT-0200"
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/JoinFreeModules-PT-0200.tgz
mv JoinFreeModules-PT-0200 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 JoinFreeModules-PT-0200, 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 r100-smll-152658630900279"
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 ;