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