About the Execution of LoLA for Philosophers-PT-010000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4656.150 | 2433676.00 | 4976173.00 | 6978.40 | T | normal |
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)
............................................................
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is Philosophers-PT-010000, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869700224
=====================================================================
--------------------
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 Philosophers-COL-010000-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1494588146361
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
ReachabilityDeadlock @ Philosophers-PT-010000 @ 3540 seconds
----- Start make result stdout -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 100000/65536 symbol table entries, 60249 collisions
lola: preprocessing...
lola: finding significant places
lola: 50000 places, 50000 transitions, 30000 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 70000 transition conflict sets
lola: TASK
lola: reading formula from Philosophers-COL-010000-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: E (F (DEADLOCK))
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3752 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: STP: formula with 1200002 variables and 3630004 clauses shipped to Minisat
lola: STP running || 1 tries, 2800 fired transitions, 0 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 0 secs
lola: STP running || 1 tries, 9845 fired transitions, 5 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 5 secs
lola: STP running || 1 tries, 14687 fired transitions, 10 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 10 secs
lola: STP running || 1 tries, 16412 fired transitions, 15 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 15 secs
lola: STP running || 1 tries, 18163 fired transitions, 20 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 20 secs
lola: STP running || 1 tries, 19842 fired transitions, 25 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 25 secs
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 21374 fired transitions, 30 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 30 secs
lola: STP completed || 1 tries, 22732 fired transitions, 35 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 35 secs
lola: STP completed || 1 tries, 24089 fired transitions, 40 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 40 secs
lola: STP completed || 1 tries, 25458 fired transitions, 45 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 45 secs
lola: STP completed || 1 tries, 26829 fired transitions, 50 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 50 secs
lola: STP completed || 1 tries, 28242 fired transitions, 55 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 55 secs
lola: STP completed || 1 tries, 29662 fired transitions, 60 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 60 secs
lola: STP completed || 1 tries, 31147 fired transitions, 65 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 65 secs
lola: STP completed || 1 tries, 32829 fired transitions, 70 secs
lola: 1 generators; 9999 candidates remain ( 0%), 70 secs
lola: STP completed || 1 tries, 34547 fired transitions, 75 secs
lola: 9254 generators; 746 candidates remain (92%), 75 secs
lola: STP completed || 1 tries, 36283 fired transitions, 80 secs
lola: 10000 generators; 0 candidates remain (100%), 80 secs
lola: STP completed || 1 tries, 38031 fired transitions, 85 secs
lola: 10000 generators; 0 candidates remain (100%), 85 secs
lola: computed 10000 generators (2 in search tree, 9998 by composition)
lola: representing 20000 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 39887 fired transitions, 90 secs || 258 markings, 257 edges, 52 markings/sec, 90 secs
lola: STP completed || 1 tries, 41863 fired transitions, 95 secs || 1114 markings, 1113 edges, 171 markings/sec, 95 secs
lola: STP completed || 1 tries, 43885 fired transitions, 100 secs || 1951 markings, 1950 edges, 167 markings/sec, 100 secs
lola: STP completed || 1 tries, 45924 fired transitions, 105 secs || 2793 markings, 2792 edges, 168 markings/sec, 105 secs
lola: STP completed || 1 tries, 47970 fired transitions, 110 secs || 3641 markings, 3640 edges, 170 markings/sec, 110 secs
lola: STP completed || 1 tries, 50010 fired transitions, 115 secs || 4505 markings, 4504 edges, 173 markings/sec, 115 secs
lola: STP completed || 1 tries, 52081 fired transitions, 120 secs || 5370 markings, 5369 edges, 173 markings/sec, 120 secs
lola: STP completed || 1 tries, 54171 fired transitions, 125 secs || 6234 markings, 6233 edges, 173 markings/sec, 125 secs
lola: STP completed || 1 tries, 56247 fired transitions, 130 secs || 7111 markings, 7111 edges, 175 markings/sec, 130 secs
lola: STP completed || 1 tries, 58262 fired transitions, 135 secs || 8004 markings, 8003 edges, 179 markings/sec, 135 secs
lola: STP completed || 1 tries, 61426 fired transitions, 140 secs || 8937 markings, 8936 edges, 187 markings/sec, 140 secs
lola: STP completed || 1 tries, 68206 fired transitions, 145 secs || 9862 markings, 9861 edges, 185 markings/sec, 145 secs
lola: STP completed || 1 tries, 74699 fired transitions, 150 secs || 10812 markings, 11081 edges, 190 markings/sec, 150 secs
lola: STP completed || 1 tries, 77136 fired transitions, 155 secs || 11822 markings, 12428 edges, 202 markings/sec, 155 secs
lola: STP completed || 1 tries, 79626 fired transitions, 160 secs || 12723 markings, 13629 edges, 180 markings/sec, 160 secs
lola: STP completed || 1 tries, 82104 fired transitions, 165 secs || 13563 markings, 14750 edges, 168 markings/sec, 165 secs
lola: STP completed || 1 tries, 84697 fired transitions, 170 secs || 14391 markings, 15854 edges, 166 markings/sec, 170 secs
lola: STP completed || 1 tries, 87815 fired transitions, 175 secs || 15179 markings, 16905 edges, 158 markings/sec, 175 secs
lola: STP completed || 1 tries, 92029 fired transitions, 180 secs || 15938 markings, 17917 edges, 152 markings/sec, 180 secs
lola: STP completed || 1 tries, 96815 fired transitions, 185 secs || 16667 markings, 18890 edges, 146 markings/sec, 185 secs
lola: STP completed || 1 tries, 101756 fired transitions, 190 secs || 17382 markings, 19843 edges, 143 markings/sec, 190 secs
lola: STP completed || 1 tries, 106948 fired transitions, 195 secs || 18114 markings, 20820 edges, 146 markings/sec, 195 secs
lola: STP completed || 1 tries, 112035 fired transitions, 200 secs || 18854 markings, 21806 edges, 148 markings/sec, 200 secs
lola: STP completed || 1 tries, 117688 fired transitions, 205 secs || 19569 markings, 22761 edges, 143 markings/sec, 205 secs
lola: STP completed || 1 tries, 124017 fired transitions, 210 secs || 20283 markings, 23712 edges, 143 markings/sec, 210 secs
lola: STP completed || 1 tries, 130245 fired transitions, 215 secs || 20984 markings, 24647 edges, 140 markings/sec, 215 secs
lola: STP completed || 1 tries, 136278 fired transitions, 220 secs || 21677 markings, 25572 edges, 139 markings/sec, 220 secs
lola: STP completed || 1 tries, 141945 fired transitions, 225 secs || 22376 markings, 26503 edges, 140 markings/sec, 225 secs
lola: STP completed || 1 tries, 147190 fired transitions, 230 secs || 23094 markings, 27460 edges, 144 markings/sec, 230 secs
lola: STP completed || 1 tries, 152421 fired transitions, 235 secs || 23790 markings, 28388 edges, 139 markings/sec, 235 secs
lola: STP completed || 1 tries, 157440 fired transitions, 240 secs || 24471 markings, 29297 edges, 136 markings/sec, 240 secs
lola: STP completed || 1 tries, 162281 fired transitions, 245 secs || 25143 markings, 30193 edges, 134 markings/sec, 245 secs
lola: STP completed || 1 tries, 166906 fired transitions, 250 secs || 25854 markings, 31141 edges, 142 markings/sec, 250 secs
lola: STP completed || 1 tries, 171433 fired transitions, 255 secs || 26576 markings, 32105 edges, 144 markings/sec, 255 secs
lola: STP completed || 1 tries, 175822 fired transitions, 260 secs || 27275 markings, 33036 edges, 140 markings/sec, 260 secs
lola: STP completed || 1 tries, 180145 fired transitions, 265 secs || 27953 markings, 33940 edges, 136 markings/sec, 265 secs
lola: STP completed || 1 tries, 184817 fired transitions, 270 secs || 28614 markings, 34822 edges, 132 markings/sec, 270 secs
lola: STP completed || 1 tries, 189682 fired transitions, 275 secs || 29310 markings, 35750 edges, 139 markings/sec, 275 secs
lola: STP completed || 1 tries, 193903 fired transitions, 280 secs || 30018 markings, 36694 edges, 142 markings/sec, 280 secs
lola: STP completed || 1 tries, 198130 fired transitions, 285 secs || 30723 markings, 37634 edges, 141 markings/sec, 285 secs
lola: STP completed || 1 tries, 202263 fired transitions, 290 secs || 31392 markings, 38528 edges, 134 markings/sec, 290 secs
lola: STP completed || 1 tries, 206395 fired transitions, 295 secs || 32037 markings, 39386 edges, 129 markings/sec, 295 secs
lola: STP completed || 1 tries, 210182 fired transitions, 300 secs || 32682 markings, 40246 edges, 129 markings/sec, 300 secs
lola: STP completed || 1 tries, 214504 fired transitions, 305 secs || 33374 markings, 41207 edges, 138 markings/sec, 305 secs
lola: STP completed || 1 tries, 219014 fired transitions, 310 secs || 34068 markings, 42131 edges, 139 markings/sec, 310 secs
lola: STP completed || 1 tries, 223532 fired transitions, 315 secs || 34727 markings, 43011 edges, 132 markings/sec, 315 secs
lola: STP completed || 1 tries, 227927 fired transitions, 320 secs || 35355 markings, 43848 edges, 126 markings/sec, 320 secs
lola: STP completed || 1 tries, 233140 fired transitions, 325 secs || 35978 markings, 44680 edges, 125 markings/sec, 325 secs
lola: STP completed || 1 tries, 238717 fired transitions, 330 secs || 36599 markings, 45508 edges, 124 markings/sec, 330 secs
lola: STP completed || 1 tries, 244578 fired transitions, 335 secs || 37272 markings, 46523 edges, 135 markings/sec, 335 secs
lola: STP completed || 1 tries, 250445 fired transitions, 340 secs || 37928 markings, 47398 edges, 131 markings/sec, 340 secs
lola: STP completed || 1 tries, 256101 fired transitions, 345 secs || 38559 markings, 48239 edges, 126 markings/sec, 345 secs
lola: STP completed || 1 tries, 261899 fired transitions, 350 secs || 39174 markings, 49060 edges, 123 markings/sec, 350 secs
lola: STP completed || 1 tries, 267492 fired transitions, 355 secs || 39783 markings, 49873 edges, 122 markings/sec, 355 secs
lola: STP completed || 1 tries, 273047 fired transitions, 360 secs || 40385 markings, 51000 edges, 120 markings/sec, 360 secs
lola: STP completed || 1 tries, 278806 fired transitions, 365 secs || 41031 markings, 52292 edges, 129 markings/sec, 365 secs
lola: STP completed || 1 tries, 284925 fired transitions, 370 secs || 41646 markings, 53525 edges, 123 markings/sec, 370 secs
lola: STP completed || 1 tries, 291368 fired transitions, 375 secs || 42234 markings, 54697 edges, 118 markings/sec, 375 secs
lola: STP completed || 1 tries, 298181 fired transitions, 380 secs || 42804 markings, 55837 edges, 114 markings/sec, 380 secs
lola: STP completed || 1 tries, 304681 fired transitions, 385 secs || 43367 markings, 56964 edges, 113 markings/sec, 385 secs
lola: STP completed || 1 tries, 311208 fired transitions, 390 secs || 43995 markings, 58219 edges, 126 markings/sec, 390 secs
lola: STP completed || 1 tries, 318007 fired transitions, 395 secs || 44642 markings, 59511 edges, 129 markings/sec, 395 secs
lola: STP completed || 1 tries, 324545 fired transitions, 400 secs || 45278 markings, 60783 edges, 127 markings/sec, 400 secs
lola: STP completed || 1 tries, 330927 fired transitions, 405 secs || 45876 markings, 61978 edges, 120 markings/sec, 405 secs
lola: STP completed || 1 tries, 337185 fired transitions, 410 secs || 46445 markings, 63118 edges, 114 markings/sec, 410 secs
lola: STP completed || 1 tries, 343394 fired transitions, 415 secs || 47001 markings, 64230 edges, 111 markings/sec, 415 secs
lola: STP completed || 1 tries, 349318 fired transitions, 420 secs || 47601 markings, 65430 edges, 120 markings/sec, 420 secs
lola: STP completed || 1 tries, 355566 fired transitions, 425 secs || 48246 markings, 66720 edges, 129 markings/sec, 425 secs
lola: STP completed || 1 tries, 362009 fired transitions, 430 secs || 48887 markings, 68002 edges, 128 markings/sec, 430 secs
lola: STP completed || 1 tries, 368688 fired transitions, 435 secs || 49479 markings, 69187 edges, 118 markings/sec, 435 secs
lola: STP completed || 1 tries, 375290 fired transitions, 440 secs || 50084 markings, 70396 edges, 121 markings/sec, 440 secs
lola: STP completed || 1 tries, 381717 fired transitions, 445 secs || 50667 markings, 71563 edges, 117 markings/sec, 445 secs
lola: STP completed || 1 tries, 388286 fired transitions, 450 secs || 51233 markings, 72695 edges, 113 markings/sec, 450 secs
lola: STP completed || 1 tries, 394686 fired transitions, 455 secs || 51791 markings, 73812 edges, 112 markings/sec, 455 secs
lola: STP completed || 1 tries, 400934 fired transitions, 460 secs || 52383 markings, 74995 edges, 118 markings/sec, 460 secs
lola: STP completed || 1 tries, 408376 fired transitions, 465 secs || 53327 markings, 76881 edges, 189 markings/sec, 465 secs
lola: STP completed || 1 tries, 411752 fired transitions, 470 secs || 54230 markings, 78686 edges, 181 markings/sec, 470 secs
lola: STP completed || 1 tries, 413969 fired transitions, 475 secs || 55094 markings, 80415 edges, 173 markings/sec, 475 secs
lola: STP completed || 1 tries, 416202 fired transitions, 480 secs || 56093 markings, 82415 edges, 200 markings/sec, 480 secs
lola: STP completed || 1 tries, 418499 fired transitions, 485 secs || 57068 markings, 84363 edges, 195 markings/sec, 485 secs
lola: STP completed || 1 tries, 420817 fired transitions, 490 secs || 57979 markings, 86187 edges, 182 markings/sec, 490 secs
lola: STP completed || 1 tries, 423169 fired transitions, 495 secs || 58868 markings, 87964 edges, 178 markings/sec, 495 secs
lola: STP completed || 1 tries, 425657 fired transitions, 500 secs || 59867 markings, 89962 edges, 200 markings/sec, 500 secs
lola: STP completed || 1 tries, 433106 fired transitions, 505 secs || 60855 markings, 91938 edges, 198 markings/sec, 505 secs
lola: STP completed || 1 tries, 440611 fired transitions, 510 secs || 61536 markings, 93299 edges, 136 markings/sec, 510 secs
lola: STP completed || 1 tries, 448215 fired transitions, 515 secs || 62174 markings, 94575 edges, 128 markings/sec, 515 secs
lola: STP completed || 1 tries, 455980 fired transitions, 520 secs || 62844 markings, 95929 edges, 134 markings/sec, 520 secs
lola: STP completed || 1 tries, 463824 fired transitions, 525 secs || 63569 markings, 97381 edges, 145 markings/sec, 525 secs
lola: STP completed || 1 tries, 471601 fired transitions, 530 secs || 64292 markings, 98826 edges, 145 markings/sec, 530 secs
lola: STP completed || 1 tries, 479234 fired transitions, 535 secs || 64943 markings, 100128 edges, 130 markings/sec, 535 secs
lola: STP completed || 1 tries, 486860 fired transitions, 540 secs || 65576 markings, 101396 edges, 127 markings/sec, 540 secs
lola: STP completed || 1 tries, 494434 fired transitions, 545 secs || 66207 markings, 102658 edges, 126 markings/sec, 545 secs
lola: STP completed || 1 tries, 501788 fired transitions, 550 secs || 66890 markings, 104100 edges, 137 markings/sec, 550 secs
lola: STP completed || 1 tries, 509100 fired transitions, 555 secs || 67596 markings, 105543 edges, 141 markings/sec, 555 secs
lola: STP completed || 1 tries, 516473 fired transitions, 560 secs || 68268 markings, 106889 edges, 134 markings/sec, 560 secs
lola: STP completed || 1 tries, 523804 fired transitions, 565 secs || 68915 markings, 108182 edges, 129 markings/sec, 565 secs
lola: STP completed || 1 tries, 530979 fired transitions, 570 secs || 69546 markings, 109445 edges, 126 markings/sec, 570 secs
lola: STP completed || 1 tries, 538186 fired transitions, 575 secs || 70203 markings, 110690 edges, 131 markings/sec, 575 secs
lola: STP completed || 1 tries, 545409 fired transitions, 580 secs || 70947 markings, 112179 edges, 149 markings/sec, 580 secs
lola: STP completed || 1 tries, 552685 fired transitions, 585 secs || 71656 markings, 113598 edges, 142 markings/sec, 585 secs
lola: STP completed || 1 tries, 559812 fired transitions, 590 secs || 72304 markings, 114892 edges, 130 markings/sec, 590 secs
lola: STP completed || 1 tries, 565236 fired transitions, 595 secs || 72838 markings, 115962 edges, 107 markings/sec, 595 secs
lola: STP completed || 1 tries, 567930 fired transitions, 600 secs || 73239 markings, 116763 edges, 80 markings/sec, 600 secs
lola: STP completed || 1 tries, 574356 fired transitions, 605 secs || 73844 markings, 117974 edges, 121 markings/sec, 605 secs
lola: STP completed || 1 tries, 580709 fired transitions, 610 secs || 74458 markings, 119200 edges, 123 markings/sec, 610 secs
lola: STP completed || 1 tries, 586905 fired transitions, 615 secs || 75061 markings, 120406 edges, 121 markings/sec, 615 secs
lola: STP completed || 1 tries, 593025 fired transitions, 620 secs || 75636 markings, 121556 edges, 115 markings/sec, 620 secs
lola: STP completed || 1 tries, 598954 fired transitions, 625 secs || 76184 markings, 122655 edges, 110 markings/sec, 625 secs
lola: STP completed || 1 tries, 605210 fired transitions, 630 secs || 76759 markings, 123803 edges, 115 markings/sec, 630 secs
lola: STP completed || 1 tries, 611092 fired transitions, 635 secs || 77338 markings, 124961 edges, 116 markings/sec, 635 secs
lola: STP completed || 1 tries, 617686 fired transitions, 640 secs || 78075 markings, 126434 edges, 147 markings/sec, 640 secs
lola: STP completed || 1 tries, 623651 fired transitions, 645 secs || 78733 markings, 127750 edges, 132 markings/sec, 645 secs
lola: STP completed || 1 tries, 629108 fired transitions, 650 secs || 79349 markings, 128983 edges, 123 markings/sec, 650 secs
lola: STP completed || 1 tries, 633785 fired transitions, 655 secs || 79912 markings, 130108 edges, 113 markings/sec, 655 secs
lola: STP completed || 1 tries, 637816 fired transitions, 660 secs || 80443 markings, 131170 edges, 106 markings/sec, 660 secs
lola: STP completed || 1 tries, 642929 fired transitions, 665 secs || 80986 markings, 132257 edges, 109 markings/sec, 665 secs
lola: STP completed || 1 tries, 648498 fired transitions, 670 secs || 81544 markings, 133372 edges, 112 markings/sec, 670 secs
lola: STP completed || 1 tries, 654771 fired transitions, 675 secs || 82155 markings, 134596 edges, 122 markings/sec, 675 secs
lola: STP completed || 1 tries, 660950 fired transitions, 680 secs || 82857 markings, 135998 edges, 140 markings/sec, 680 secs
lola: STP completed || 1 tries, 667094 fired transitions, 685 secs || 83515 markings, 137314 edges, 132 markings/sec, 685 secs
lola: STP completed || 1 tries, 673272 fired transitions, 690 secs || 84150 markings, 138586 edges, 127 markings/sec, 690 secs
lola: STP completed || 1 tries, 679485 fired transitions, 695 secs || 84756 markings, 139798 edges, 121 markings/sec, 695 secs
lola: STP completed || 1 tries, 685866 fired transitions, 700 secs || 85381 markings, 141046 edges, 125 markings/sec, 700 secs
lola: STP completed || 1 tries, 692315 fired transitions, 705 secs || 86091 markings, 142467 edges, 142 markings/sec, 705 secs
lola: STP completed || 1 tries, 698862 fired transitions, 710 secs || 86778 markings, 143840 edges, 137 markings/sec, 710 secs
lola: STP completed || 1 tries, 705331 fired transitions, 715 secs || 87430 markings, 145144 edges, 130 markings/sec, 715 secs
lola: STP completed || 1 tries, 711766 fired transitions, 720 secs || 88039 markings, 146365 edges, 122 markings/sec, 720 secs
lola: STP completed || 1 tries, 718146 fired transitions, 725 secs || 88621 markings, 147528 edges, 116 markings/sec, 725 secs
lola: STP completed || 1 tries, 724275 fired transitions, 730 secs || 89254 markings, 148793 edges, 127 markings/sec, 730 secs
lola: STP completed || 1 tries, 730706 fired transitions, 735 secs || 89928 markings, 150140 edges, 135 markings/sec, 735 secs
lola: STP completed || 1 tries, 737128 fired transitions, 740 secs || 90631 markings, 151547 edges, 141 markings/sec, 740 secs
lola: STP completed || 1 tries, 743404 fired transitions, 745 secs || 91287 markings, 152858 edges, 131 markings/sec, 745 secs
lola: STP completed || 1 tries, 749546 fired transitions, 750 secs || 91892 markings, 154071 edges, 121 markings/sec, 750 secs
lola: STP completed || 1 tries, 755902 fired transitions, 755 secs || 92508 markings, 155301 edges, 123 markings/sec, 755 secs
lola: STP completed || 1 tries, 762334 fired transitions, 760 secs || 93199 markings, 156711 edges, 138 markings/sec, 760 secs
lola: STP completed || 1 tries, 768914 fired transitions, 765 secs || 93900 markings, 158113 edges, 140 markings/sec, 765 secs
lola: STP completed || 1 tries, 775462 fired transitions, 770 secs || 94570 markings, 159453 edges, 134 markings/sec, 770 secs
lola: STP completed || 1 tries, 782250 fired transitions, 775 secs || 95216 markings, 160748 edges, 129 markings/sec, 775 secs
lola: STP completed || 1 tries, 788975 fired transitions, 780 secs || 95847 markings, 162009 edges, 126 markings/sec, 780 secs
lola: STP completed || 1 tries, 795610 fired transitions, 785 secs || 96481 markings, 163278 edges, 127 markings/sec, 785 secs
lola: STP completed || 1 tries, 802273 fired transitions, 790 secs || 97201 markings, 164863 edges, 144 markings/sec, 790 secs
lola: STP completed || 1 tries, 809015 fired transitions, 795 secs || 97897 markings, 166253 edges, 139 markings/sec, 795 secs
lola: STP completed || 1 tries, 815768 fired transitions, 800 secs || 98562 markings, 167583 edges, 133 markings/sec, 800 secs
lola: STP completed || 1 tries, 822375 fired transitions, 805 secs || 99199 markings, 168859 edges, 127 markings/sec, 805 secs
lola: STP completed || 1 tries, 827482 fired transitions, 810 secs || 99742 markings, 169948 edges, 109 markings/sec, 810 secs
lola: STP completed || 1 tries, 830234 fired transitions, 815 secs || 102789 markings, 173427 edges, 609 markings/sec, 815 secs
lola: STP completed || 1 tries, 832497 fired transitions, 820 secs || 107071 markings, 177709 edges, 856 markings/sec, 820 secs
lola: STP completed || 1 tries, 834749 fired transitions, 825 secs || 109443 markings, 180082 edges, 474 markings/sec, 825 secs
lola: STP completed || 1 tries, 837048 fired transitions, 830 secs || 111360 markings, 181998 edges, 383 markings/sec, 830 secs
lola: STP completed || 1 tries, 839394 fired transitions, 835 secs || 112776 markings, 183414 edges, 283 markings/sec, 835 secs
lola: STP completed || 1 tries, 841783 fired transitions, 840 secs || 114281 markings, 184919 edges, 301 markings/sec, 840 secs
lola: STP completed || 1 tries, 845794 fired transitions, 845 secs || 115937 markings, 186575 edges, 331 markings/sec, 845 secs
lola: STP completed || 1 tries, 852165 fired transitions, 850 secs || 118036 markings, 188675 edges, 420 markings/sec, 850 secs
lola: STP completed || 1 tries, 858621 fired transitions, 855 secs || 119847 markings, 190486 edges, 362 markings/sec, 855 secs
lola: STP completed || 1 tries, 865237 fired transitions, 860 secs || 121642 markings, 192280 edges, 359 markings/sec, 860 secs
lola: STP completed || 1 tries, 871806 fired transitions, 865 secs || 123208 markings, 193846 edges, 313 markings/sec, 865 secs
lola: STP completed || 1 tries, 878521 fired transitions, 870 secs || 124783 markings, 195421 edges, 315 markings/sec, 870 secs
lola: STP completed || 1 tries, 885489 fired transitions, 875 secs || 126115 markings, 196753 edges, 266 markings/sec, 875 secs
lola: STP completed || 1 tries, 892356 fired transitions, 880 secs || 127085 markings, 197723 edges, 194 markings/sec, 880 secs
lola: STP completed || 1 tries, 899135 fired transitions, 885 secs || 127802 markings, 198440 edges, 143 markings/sec, 885 secs
lola: STP completed || 1 tries, 905887 fired transitions, 890 secs || 128478 markings, 199116 edges, 135 markings/sec, 890 secs
lola: STP completed || 1 tries, 912532 fired transitions, 895 secs || 129143 markings, 199782 edges, 133 markings/sec, 895 secs
lola: STP completed || 1 tries, 919124 fired transitions, 900 secs || 129795 markings, 200433 edges, 130 markings/sec, 900 secs
lola: STP completed || 1 tries, 925720 fired transitions, 905 secs || 131507 markings, 202145 edges, 342 markings/sec, 905 secs
lola: STP completed || 1 tries, 931944 fired transitions, 910 secs || 137672 markings, 208310 edges, 1233 markings/sec, 910 secs
lola: STP completed || 1 tries, 938282 fired transitions, 915 secs || 141799 markings, 212438 edges, 825 markings/sec, 915 secs
lola: STP completed || 1 tries, 944764 fired transitions, 920 secs || 144993 markings, 215632 edges, 639 markings/sec, 920 secs
lola: STP completed || 1 tries, 951339 fired transitions, 925 secs || 147718 markings, 218357 edges, 545 markings/sec, 925 secs
lola: STP completed || 1 tries, 957855 fired transitions, 930 secs || 150001 markings, 220640 edges, 457 markings/sec, 930 secs
lola: STP completed || 1 tries, 964465 fired transitions, 935 secs || 152066 markings, 222704 edges, 413 markings/sec, 935 secs
lola: STP completed || 1 tries, 971008 fired transitions, 940 secs || 153770 markings, 224408 edges, 341 markings/sec, 940 secs
lola: STP completed || 1 tries, 977569 fired transitions, 945 secs || 154473 markings, 225111 edges, 141 markings/sec, 945 secs
lola: STP completed || 1 tries, 984308 fired transitions, 950 secs || 155185 markings, 225823 edges, 142 markings/sec, 950 secs
lola: STP completed || 1 tries, 991022 fired transitions, 955 secs || 155892 markings, 226530 edges, 141 markings/sec, 955 secs
lola: STP completed || 1 tries, 997782 fired transitions, 960 secs || 156575 markings, 227213 edges, 137 markings/sec, 960 secs
lola: STP completed || 2 tries, 1001153 fired transitions, 965 secs || 157229 markings, 227867 edges, 131 markings/sec, 965 secs
lola: STP completed || 2 tries, 1002823 fired transitions, 970 secs || 157855 markings, 228493 edges, 125 markings/sec, 970 secs
lola: STP completed || 2 tries, 1004448 fired transitions, 975 secs || 158460 markings, 229099 edges, 121 markings/sec, 975 secs
lola: STP completed || 2 tries, 1006134 fired transitions, 980 secs || 159042 markings, 229681 edges, 116 markings/sec, 980 secs
lola: STP completed || 2 tries, 1007749 fired transitions, 985 secs || 159593 markings, 230231 edges, 110 markings/sec, 985 secs
lola: STP completed || 2 tries, 1009280 fired transitions, 990 secs || 160096 markings, 230734 edges, 101 markings/sec, 990 secs
lola: STP completed || 2 tries, 1010807 fired transitions, 995 secs || 160906 markings, 232028 edges, 162 markings/sec, 995 secs
lola: STP completed || 2 tries, 1012276 fired transitions, 1000 secs || 162054 markings, 234110 edges, 230 markings/sec, 1000 secs
lola: STP completed || 2 tries, 1013711 fired transitions, 1005 secs || 163356 markings, 236527 edges, 260 markings/sec, 1005 secs
lola: STP completed || 2 tries, 1015100 fired transitions, 1010 secs || 164167 markings, 238093 edges, 162 markings/sec, 1010 secs
lola: STP completed || 2 tries, 1016464 fired transitions, 1015 secs || 164818 markings, 239396 edges, 130 markings/sec, 1015 secs
lola: STP completed || 2 tries, 1017833 fired transitions, 1020 secs || 165469 markings, 240696 edges, 130 markings/sec, 1020 secs
lola: STP completed || 2 tries, 1019208 fired transitions, 1025 secs || 166081 markings, 241920 edges, 122 markings/sec, 1025 secs
lola: STP completed || 2 tries, 1020575 fired transitions, 1030 secs || 166669 markings, 243097 edges, 118 markings/sec, 1030 secs
lola: STP completed || 2 tries, 1021939 fired transitions, 1035 secs || 167238 markings, 244235 edges, 114 markings/sec, 1035 secs
lola: STP completed || 2 tries, 1023295 fired transitions, 1040 secs || 167856 markings, 245471 edges, 124 markings/sec, 1040 secs
lola: STP completed || 2 tries, 1024656 fired transitions, 1045 secs || 168514 markings, 246805 edges, 132 markings/sec, 1045 secs
lola: STP completed || 2 tries, 1026028 fired transitions, 1050 secs || 169172 markings, 248123 edges, 132 markings/sec, 1050 secs
lola: STP completed || 2 tries, 1027391 fired transitions, 1055 secs || 169798 markings, 249374 edges, 125 markings/sec, 1055 secs
lola: STP completed || 2 tries, 1028759 fired transitions, 1060 secs || 170392 markings, 250563 edges, 119 markings/sec, 1060 secs
lola: STP completed || 2 tries, 1030128 fired transitions, 1065 secs || 170957 markings, 251694 edges, 113 markings/sec, 1065 secs
lola: STP completed || 2 tries, 1031494 fired transitions, 1070 secs || 171550 markings, 252879 edges, 119 markings/sec, 1070 secs
lola: STP completed || 2 tries, 1032857 fired transitions, 1075 secs || 172215 markings, 254217 edges, 133 markings/sec, 1075 secs
lola: STP completed || 2 tries, 1034213 fired transitions, 1080 secs || 172882 markings, 255551 edges, 133 markings/sec, 1080 secs
lola: STP completed || 2 tries, 1035571 fired transitions, 1085 secs || 173502 markings, 256791 edges, 124 markings/sec, 1085 secs
lola: STP completed || 2 tries, 1036916 fired transitions, 1090 secs || 174121 markings, 258030 edges, 124 markings/sec, 1090 secs
lola: STP completed || 2 tries, 1038273 fired transitions, 1095 secs || 174723 markings, 259234 edges, 120 markings/sec, 1095 secs
lola: STP completed || 2 tries, 1039643 fired transitions, 1100 secs || 175302 markings, 260392 edges, 116 markings/sec, 1100 secs
lola: STP completed || 2 tries, 1041000 fired transitions, 1105 secs || 175867 markings, 261523 edges, 113 markings/sec, 1105 secs
lola: STP completed || 2 tries, 1042344 fired transitions, 1110 secs || 176460 markings, 262718 edges, 119 markings/sec, 1110 secs
lola: STP completed || 2 tries, 1043710 fired transitions, 1115 secs || 177096 markings, 263991 edges, 127 markings/sec, 1115 secs
lola: STP completed || 2 tries, 1045098 fired transitions, 1120 secs || 177708 markings, 265214 edges, 122 markings/sec, 1120 secs
lola: STP completed || 2 tries, 1046492 fired transitions, 1125 secs || 178297 markings, 266393 edges, 118 markings/sec, 1125 secs
lola: STP completed || 2 tries, 1047897 fired transitions, 1130 secs || 178861 markings, 267522 edges, 113 markings/sec, 1130 secs
lola: STP completed || 2 tries, 1049361 fired transitions, 1135 secs || 179439 markings, 268711 edges, 116 markings/sec, 1135 secs
lola: STP completed || 2 tries, 1050878 fired transitions, 1140 secs || 180096 markings, 270050 edges, 131 markings/sec, 1140 secs
lola: STP completed || 2 tries, 1052375 fired transitions, 1145 secs || 180751 markings, 271359 edges, 131 markings/sec, 1145 secs
lola: STP completed || 2 tries, 1053854 fired transitions, 1150 secs || 181372 markings, 272601 edges, 124 markings/sec, 1150 secs
lola: STP completed || 2 tries, 1055327 fired transitions, 1155 secs || 181968 markings, 273793 edges, 119 markings/sec, 1155 secs
lola: STP completed || 2 tries, 1056792 fired transitions, 1160 secs || 182547 markings, 274953 edges, 116 markings/sec, 1160 secs
lola: STP completed || 2 tries, 1058265 fired transitions, 1165 secs || 183168 markings, 276243 edges, 124 markings/sec, 1165 secs
lola: STP completed || 2 tries, 1059737 fired transitions, 1170 secs || 183814 markings, 277579 edges, 129 markings/sec, 1170 secs
lola: STP completed || 2 tries, 1061202 fired transitions, 1175 secs || 184473 markings, 278897 edges, 132 markings/sec, 1175 secs
lola: STP completed || 2 tries, 1062674 fired transitions, 1180 secs || 185098 markings, 280147 edges, 125 markings/sec, 1180 secs
lola: STP completed || 2 tries, 1064032 fired transitions, 1185 secs || 185653 markings, 281259 edges, 111 markings/sec, 1185 secs
lola: STP completed || 2 tries, 1065292 fired transitions, 1190 secs || 186177 markings, 282308 edges, 105 markings/sec, 1190 secs
lola: STP completed || 2 tries, 1066740 fired transitions, 1195 secs || 186751 markings, 283454 edges, 115 markings/sec, 1195 secs
lola: STP completed || 2 tries, 1068173 fired transitions, 1200 secs || 187411 markings, 284820 edges, 132 markings/sec, 1200 secs
lola: STP completed || 2 tries, 1069597 fired transitions, 1205 secs || 188070 markings, 286136 edges, 132 markings/sec, 1205 secs
lola: STP completed || 2 tries, 1070988 fired transitions, 1210 secs || 188686 markings, 287368 edges, 123 markings/sec, 1210 secs
lola: STP completed || 2 tries, 1072351 fired transitions, 1215 secs || 189265 markings, 288527 edges, 116 markings/sec, 1215 secs
lola: STP completed || 2 tries, 1073743 fired transitions, 1220 secs || 189832 markings, 289661 edges, 113 markings/sec, 1220 secs
lola: STP completed || 2 tries, 1075139 fired transitions, 1225 secs || 190399 markings, 290795 edges, 113 markings/sec, 1225 secs
lola: STP completed || 2 tries, 1076532 fired transitions, 1230 secs || 191034 markings, 292070 edges, 127 markings/sec, 1230 secs
lola: STP completed || 2 tries, 1077938 fired transitions, 1235 secs || 191679 markings, 293364 edges, 129 markings/sec, 1235 secs
lola: STP completed || 2 tries, 1079346 fired transitions, 1240 secs || 192292 markings, 294588 edges, 123 markings/sec, 1240 secs
lola: STP completed || 2 tries, 1080750 fired transitions, 1245 secs || 192886 markings, 295776 edges, 119 markings/sec, 1245 secs
lola: STP completed || 2 tries, 1082163 fired transitions, 1250 secs || 193458 markings, 296922 edges, 114 markings/sec, 1250 secs
lola: STP completed || 2 tries, 1083574 fired transitions, 1255 secs || 194064 markings, 298153 edges, 121 markings/sec, 1255 secs
lola: STP completed || 2 tries, 1085245 fired transitions, 1260 secs || 200343 markings, 304468 edges, 1256 markings/sec, 1260 secs
lola: STP completed || 2 tries, 1086811 fired transitions, 1265 secs || 204794 markings, 308918 edges, 890 markings/sec, 1265 secs
lola: STP completed || 2 tries, 1088726 fired transitions, 1270 secs || 207250 markings, 311375 edges, 491 markings/sec, 1270 secs
lola: STP completed || 2 tries, 1090601 fired transitions, 1275 secs || 209468 markings, 313592 edges, 444 markings/sec, 1275 secs
lola: STP completed || 2 tries, 1092416 fired transitions, 1280 secs || 211454 markings, 315579 edges, 397 markings/sec, 1280 secs
lola: STP completed || 2 tries, 1094285 fired transitions, 1285 secs || 213082 markings, 317206 edges, 326 markings/sec, 1285 secs
lola: STP completed || 2 tries, 1096039 fired transitions, 1290 secs || 214779 markings, 318904 edges, 339 markings/sec, 1290 secs
lola: STP completed || 2 tries, 1097769 fired transitions, 1295 secs || 216162 markings, 320286 edges, 277 markings/sec, 1295 secs
lola: STP completed || 2 tries, 1099522 fired transitions, 1300 secs || 217659 markings, 321784 edges, 299 markings/sec, 1300 secs
lola: STP completed || 2 tries, 1101364 fired transitions, 1305 secs || 218926 markings, 323050 edges, 253 markings/sec, 1305 secs
lola: STP completed || 2 tries, 1103222 fired transitions, 1310 secs || 220155 markings, 324279 edges, 246 markings/sec, 1310 secs
lola: STP completed || 2 tries, 1105263 fired transitions, 1315 secs || 220967 markings, 325091 edges, 162 markings/sec, 1315 secs
lola: STP completed || 2 tries, 1107246 fired transitions, 1320 secs || 222102 markings, 326487 edges, 227 markings/sec, 1320 secs
lola: STP completed || 2 tries, 1109070 fired transitions, 1325 secs || 223014 markings, 328007 edges, 182 markings/sec, 1325 secs
lola: STP completed || 2 tries, 1110880 fired transitions, 1330 secs || 223920 markings, 329517 edges, 181 markings/sec, 1330 secs
lola: STP completed || 2 tries, 1112734 fired transitions, 1335 secs || 225080 markings, 331243 edges, 232 markings/sec, 1335 secs
lola: STP completed || 2 tries, 1114552 fired transitions, 1340 secs || 226528 markings, 332862 edges, 290 markings/sec, 1340 secs
lola: STP completed || 2 tries, 1116460 fired transitions, 1345 secs || 227281 markings, 333854 edges, 151 markings/sec, 1345 secs
lola: STP completed || 2 tries, 1118232 fired transitions, 1350 secs || 228166 markings, 335328 edges, 177 markings/sec, 1350 secs
lola: STP completed || 2 tries, 1119987 fired transitions, 1355 secs || 229045 markings, 336786 edges, 176 markings/sec, 1355 secs
lola: STP completed || 2 tries, 1121720 fired transitions, 1360 secs || 230416 markings, 338751 edges, 274 markings/sec, 1360 secs
lola: STP completed || 2 tries, 1123571 fired transitions, 1365 secs || 231640 markings, 339975 edges, 245 markings/sec, 1365 secs
lola: STP completed || 2 tries, 1125344 fired transitions, 1370 secs || 232436 markings, 341180 edges, 159 markings/sec, 1370 secs
lola: STP completed || 2 tries, 1127062 fired transitions, 1375 secs || 233294 markings, 342609 edges, 172 markings/sec, 1375 secs
lola: STP completed || 2 tries, 1128781 fired transitions, 1380 secs || 234152 markings, 343963 edges, 172 markings/sec, 1380 secs
lola: STP completed || 2 tries, 1130517 fired transitions, 1385 secs || 235627 markings, 345763 edges, 295 markings/sec, 1385 secs
lola: STP completed || 2 tries, 1132209 fired transitions, 1390 secs || 236426 markings, 347030 edges, 160 markings/sec, 1390 secs
lola: STP completed || 2 tries, 1133867 fired transitions, 1395 secs || 237255 markings, 348412 edges, 166 markings/sec, 1395 secs
lola: STP completed || 2 tries, 1135502 fired transitions, 1400 secs || 238071 markings, 349772 edges, 163 markings/sec, 1400 secs
lola: STP completed || 2 tries, 1137142 fired transitions, 1405 secs || 239124 markings, 351360 edges, 211 markings/sec, 1405 secs
lola: STP completed || 2 tries, 1138849 fired transitions, 1410 secs || 240069 markings, 352536 edges, 189 markings/sec, 1410 secs
lola: STP completed || 2 tries, 1140468 fired transitions, 1415 secs || 240877 markings, 353884 edges, 162 markings/sec, 1415 secs
lola: STP completed || 2 tries, 1142522 fired transitions, 1420 secs || 241513 markings, 354944 edges, 127 markings/sec, 1420 secs
lola: STP completed || 2 tries, 1144553 fired transitions, 1425 secs || 242175 markings, 356038 edges, 132 markings/sec, 1425 secs
lola: STP completed || 2 tries, 1146063 fired transitions, 1430 secs || 243544 markings, 357682 edges, 274 markings/sec, 1430 secs
lola: STP completed || 2 tries, 1147947 fired transitions, 1435 secs || 244200 markings, 358532 edges, 131 markings/sec, 1435 secs
lola: STP completed || 2 tries, 1149905 fired transitions, 1440 secs || 245005 markings, 359636 edges, 161 markings/sec, 1440 secs
lola: STP completed || 2 tries, 1151807 fired transitions, 1445 secs || 246266 markings, 361647 edges, 252 markings/sec, 1445 secs
lola: STP completed || 2 tries, 1153765 fired transitions, 1450 secs || 246889 markings, 362705 edges, 125 markings/sec, 1450 secs
lola: STP completed || 2 tries, 1155748 fired transitions, 1455 secs || 247537 markings, 363781 edges, 130 markings/sec, 1455 secs
lola: STP completed || 2 tries, 1157746 fired transitions, 1460 secs || 248737 markings, 365534 edges, 240 markings/sec, 1460 secs
lola: STP completed || 2 tries, 1159674 fired transitions, 1465 secs || 250040 markings, 366882 edges, 261 markings/sec, 1465 secs
lola: STP completed || 2 tries, 1161623 fired transitions, 1470 secs || 250544 markings, 367530 edges, 101 markings/sec, 1470 secs
lola: STP completed || 2 tries, 1163598 fired transitions, 1475 secs || 251107 markings, 368470 edges, 113 markings/sec, 1475 secs
lola: STP completed || 2 tries, 1165523 fired transitions, 1480 secs || 251589 markings, 369273 edges, 96 markings/sec, 1480 secs
lola: STP completed || 2 tries, 1167150 fired transitions, 1485 secs || 252140 markings, 370190 edges, 110 markings/sec, 1485 secs
lola: STP completed || 2 tries, 1168542 fired transitions, 1490 secs || 252783 markings, 371154 edges, 129 markings/sec, 1490 secs
lola: STP completed || 2 tries, 1169959 fired transitions, 1495 secs || 253785 markings, 372366 edges, 200 markings/sec, 1495 secs
lola: STP completed || 2 tries, 1171365 fired transitions, 1500 secs || 254459 markings, 373491 edges, 135 markings/sec, 1500 secs
lola: STP completed || 2 tries, 1172789 fired transitions, 1505 secs || 255102 markings, 374562 edges, 129 markings/sec, 1505 secs
lola: STP completed || 2 tries, 1174194 fired transitions, 1510 secs || 255724 markings, 375598 edges, 124 markings/sec, 1510 secs
lola: STP completed || 2 tries, 1175582 fired transitions, 1515 secs || 256324 markings, 376598 edges, 120 markings/sec, 1515 secs
lola: STP completed || 2 tries, 1177094 fired transitions, 1520 secs || 258858 markings, 379491 edges, 507 markings/sec, 1520 secs
lola: STP completed || 2 tries, 1178836 fired transitions, 1525 secs || 264560 markings, 385192 edges, 1140 markings/sec, 1525 secs
lola: STP completed || 2 tries, 1180454 fired transitions, 1530 secs || 268152 markings, 388785 edges, 718 markings/sec, 1530 secs
lola: STP completed || 2 tries, 1182035 fired transitions, 1535 secs || 270957 markings, 391589 edges, 561 markings/sec, 1535 secs
lola: STP completed || 2 tries, 1183601 fired transitions, 1540 secs || 273013 markings, 393646 edges, 411 markings/sec, 1540 secs
lola: STP completed || 2 tries, 1185114 fired transitions, 1545 secs || 274758 markings, 395390 edges, 349 markings/sec, 1545 secs
lola: STP completed || 2 tries, 1186634 fired transitions, 1550 secs || 276449 markings, 397081 edges, 338 markings/sec, 1550 secs
lola: STP completed || 2 tries, 1188119 fired transitions, 1555 secs || 278137 markings, 398769 edges, 338 markings/sec, 1555 secs
lola: STP completed || 2 tries, 1189652 fired transitions, 1560 secs || 279923 markings, 400555 edges, 357 markings/sec, 1560 secs
lola: STP completed || 2 tries, 1191257 fired transitions, 1565 secs || 280740 markings, 401373 edges, 163 markings/sec, 1565 secs
lola: STP completed || 2 tries, 1192813 fired transitions, 1570 secs || 281418 markings, 402439 edges, 136 markings/sec, 1570 secs
lola: STP completed || 2 tries, 1194403 fired transitions, 1575 secs || 282126 markings, 403724 edges, 142 markings/sec, 1575 secs
lola: STP completed || 2 tries, 1196039 fired transitions, 1580 secs || 283110 markings, 405101 edges, 197 markings/sec, 1580 secs
lola: STP completed || 2 tries, 1197499 fired transitions, 1585 secs || 284873 markings, 407747 edges, 353 markings/sec, 1585 secs
lola: STP completed || 2 tries, 1199037 fired transitions, 1590 secs || 285948 markings, 409518 edges, 215 markings/sec, 1590 secs
lola: STP completed || 2 tries, 1200617 fired transitions, 1595 secs || 286688 markings, 410759 edges, 148 markings/sec, 1595 secs
lola: STP completed || 2 tries, 1202214 fired transitions, 1600 secs || 287601 markings, 411976 edges, 183 markings/sec, 1600 secs
lola: STP completed || 2 tries, 1203805 fired transitions, 1605 secs || 288626 markings, 413431 edges, 205 markings/sec, 1605 secs
lola: STP completed || 2 tries, 1205311 fired transitions, 1610 secs || 290160 markings, 415745 edges, 307 markings/sec, 1610 secs
lola: STP completed || 2 tries, 1206936 fired transitions, 1615 secs || 290842 markings, 416969 edges, 136 markings/sec, 1615 secs
lola: STP completed || 2 tries, 1208640 fired transitions, 1620 secs || 291730 markings, 418153 edges, 178 markings/sec, 1620 secs
lola: STP completed || 2 tries, 1210368 fired transitions, 1625 secs || 292596 markings, 419308 edges, 173 markings/sec, 1625 secs
lola: STP completed || 2 tries, 1212095 fired transitions, 1630 secs || 293680 markings, 420824 edges, 217 markings/sec, 1630 secs
lola: STP completed || 2 tries, 1213777 fired transitions, 1635 secs || 296185 markings, 423856 edges, 501 markings/sec, 1635 secs
lola: STP completed || 2 tries, 1215443 fired transitions, 1640 secs || 296829 markings, 424499 edges, 129 markings/sec, 1640 secs
lola: STP completed || 2 tries, 1217162 fired transitions, 1645 secs || 297689 markings, 425646 edges, 172 markings/sec, 1645 secs
lola: STP completed || 2 tries, 1218836 fired transitions, 1650 secs || 299442 markings, 428317 edges, 351 markings/sec, 1650 secs
lola: STP completed || 2 tries, 1220502 fired transitions, 1655 secs || 301724 markings, 431785 edges, 456 markings/sec, 1655 secs
lola: STP completed || 2 tries, 1222186 fired transitions, 1660 secs || 302286 markings, 432909 edges, 112 markings/sec, 1660 secs
lola: STP completed || 2 tries, 1223842 fired transitions, 1665 secs || 302994 markings, 434017 edges, 142 markings/sec, 1665 secs
lola: STP completed || 2 tries, 1225497 fired transitions, 1670 secs || 303890 markings, 435242 edges, 179 markings/sec, 1670 secs
lola: STP completed || 2 tries, 1227139 fired transitions, 1675 secs || 306312 markings, 438184 edges, 484 markings/sec, 1675 secs
lola: STP completed || 2 tries, 1228702 fired transitions, 1680 secs || 306930 markings, 438836 edges, 124 markings/sec, 1680 secs
lola: STP completed || 2 tries, 1230286 fired transitions, 1685 secs || 307725 markings, 439898 edges, 159 markings/sec, 1685 secs
lola: STP completed || 2 tries, 1231858 fired transitions, 1690 secs || 308514 markings, 441007 edges, 158 markings/sec, 1690 secs
lola: STP completed || 2 tries, 1233480 fired transitions, 1695 secs || 309970 markings, 443256 edges, 291 markings/sec, 1695 secs
lola: STP completed || 2 tries, 1235065 fired transitions, 1700 secs || 311637 markings, 445004 edges, 333 markings/sec, 1700 secs
lola: STP completed || 2 tries, 1236582 fired transitions, 1705 secs || 312247 markings, 445720 edges, 122 markings/sec, 1705 secs
lola: STP completed || 2 tries, 1238004 fired transitions, 1710 secs || 312972 markings, 446688 edges, 145 markings/sec, 1710 secs
lola: STP completed || 2 tries, 1239196 fired transitions, 1715 secs || 313632 markings, 447567 edges, 132 markings/sec, 1715 secs
lola: STP completed || 2 tries, 1240424 fired transitions, 1720 secs || 316400 markings, 451077 edges, 554 markings/sec, 1720 secs
lola: STP completed || 2 tries, 1241906 fired transitions, 1725 secs || 316927 markings, 451604 edges, 105 markings/sec, 1725 secs
lola: STP completed || 2 tries, 1243356 fired transitions, 1730 secs || 317543 markings, 452752 edges, 123 markings/sec, 1730 secs
lola: STP completed || 2 tries, 1244884 fired transitions, 1735 secs || 318180 markings, 454051 edges, 127 markings/sec, 1735 secs
lola: STP completed || 2 tries, 1246359 fired transitions, 1740 secs || 318743 markings, 455177 edges, 113 markings/sec, 1740 secs
lola: STP completed || 2 tries, 1247792 fired transitions, 1745 secs || 319484 markings, 456725 edges, 148 markings/sec, 1745 secs
lola: STP completed || 2 tries, 1249491 fired transitions, 1750 secs || 324012 markings, 461736 edges, 906 markings/sec, 1750 secs
lola: STP completed || 2 tries, 1251160 fired transitions, 1755 secs || 329065 markings, 466790 edges, 1011 markings/sec, 1755 secs
lola: STP completed || 2 tries, 1252951 fired transitions, 1760 secs || 332061 markings, 469785 edges, 599 markings/sec, 1760 secs
lola: STP completed || 2 tries, 1254763 fired transitions, 1765 secs || 334280 markings, 472004 edges, 444 markings/sec, 1765 secs
lola: STP completed || 2 tries, 1256668 fired transitions, 1770 secs || 336212 markings, 473936 edges, 386 markings/sec, 1770 secs
lola: STP completed || 2 tries, 1258352 fired transitions, 1775 secs || 338066 markings, 475790 edges, 371 markings/sec, 1775 secs
lola: STP completed || 2 tries, 1260342 fired transitions, 1780 secs || 339677 markings, 477401 edges, 322 markings/sec, 1780 secs
lola: STP completed || 2 tries, 1261978 fired transitions, 1785 secs || 341204 markings, 478928 edges, 305 markings/sec, 1785 secs
lola: STP completed || 2 tries, 1263728 fired transitions, 1790 secs || 342527 markings, 480251 edges, 265 markings/sec, 1790 secs
lola: STP completed || 2 tries, 1265584 fired transitions, 1795 secs || 344027 markings, 481751 edges, 300 markings/sec, 1795 secs
lola: STP completed || 2 tries, 1267491 fired transitions, 1800 secs || 345206 markings, 482930 edges, 236 markings/sec, 1800 secs
lola: STP completed || 2 tries, 1269436 fired transitions, 1805 secs || 346337 markings, 484062 edges, 226 markings/sec, 1805 secs
lola: STP completed || 2 tries, 1271490 fired transitions, 1810 secs || 347021 markings, 484745 edges, 137 markings/sec, 1810 secs
lola: STP completed || 2 tries, 1273313 fired transitions, 1815 secs || 347629 markings, 485865 edges, 122 markings/sec, 1815 secs
lola: STP completed || 2 tries, 1274922 fired transitions, 1820 secs || 348251 markings, 487194 edges, 124 markings/sec, 1820 secs
lola: STP completed || 2 tries, 1276455 fired transitions, 1825 secs || 348994 markings, 488927 edges, 149 markings/sec, 1825 secs
lola: STP completed || 2 tries, 1278125 fired transitions, 1830 secs || 349735 markings, 490658 edges, 148 markings/sec, 1830 secs
lola: STP completed || 2 tries, 1279741 fired transitions, 1835 secs || 350551 markings, 492334 edges, 163 markings/sec, 1835 secs
lola: STP completed || 2 tries, 1281338 fired transitions, 1840 secs || 351995 markings, 494238 edges, 289 markings/sec, 1840 secs
lola: STP completed || 2 tries, 1282798 fired transitions, 1845 secs || 352803 markings, 495530 edges, 162 markings/sec, 1845 secs
lola: STP completed || 2 tries, 1284359 fired transitions, 1850 secs || 353609 markings, 496855 edges, 161 markings/sec, 1850 secs
lola: STP completed || 2 tries, 1285951 fired transitions, 1855 secs || 354406 markings, 498182 edges, 159 markings/sec, 1855 secs
lola: STP completed || 2 tries, 1287527 fired transitions, 1860 secs || 355194 markings, 499495 edges, 158 markings/sec, 1860 secs
lola: STP completed || 2 tries, 1289092 fired transitions, 1865 secs || 355978 markings, 500746 edges, 157 markings/sec, 1865 secs
lola: STP completed || 2 tries, 1290664 fired transitions, 1870 secs || 356808 markings, 502041 edges, 166 markings/sec, 1870 secs
lola: STP completed || 2 tries, 1292166 fired transitions, 1875 secs || 357579 markings, 503304 edges, 154 markings/sec, 1875 secs
lola: STP completed || 2 tries, 1293766 fired transitions, 1880 secs || 358375 markings, 504632 edges, 159 markings/sec, 1880 secs
lola: STP completed || 2 tries, 1295295 fired transitions, 1885 secs || 359142 markings, 505909 edges, 153 markings/sec, 1885 secs
lola: STP completed || 2 tries, 1296836 fired transitions, 1890 secs || 359990 markings, 507292 edges, 170 markings/sec, 1890 secs
lola: STP completed || 2 tries, 1298309 fired transitions, 1895 secs || 360902 markings, 508751 edges, 182 markings/sec, 1895 secs
lola: STP completed || 2 tries, 1299763 fired transitions, 1900 secs || 361771 markings, 509949 edges, 174 markings/sec, 1900 secs
lola: STP completed || 2 tries, 1301243 fired transitions, 1905 secs || 362666 markings, 511258 edges, 179 markings/sec, 1905 secs
lola: STP completed || 2 tries, 1302727 fired transitions, 1910 secs || 363579 markings, 512718 edges, 183 markings/sec, 1910 secs
lola: STP completed || 2 tries, 1304183 fired transitions, 1915 secs || 364413 markings, 514098 edges, 167 markings/sec, 1915 secs
lola: STP completed || 2 tries, 1305620 fired transitions, 1920 secs || 365237 markings, 515372 edges, 165 markings/sec, 1920 secs
lola: STP completed || 2 tries, 1307080 fired transitions, 1925 secs || 366123 markings, 516789 edges, 177 markings/sec, 1925 secs
lola: STP completed || 2 tries, 1308540 fired transitions, 1930 secs || 367014 markings, 518217 edges, 178 markings/sec, 1930 secs
lola: STP completed || 2 tries, 1309986 fired transitions, 1935 secs || 367827 markings, 519522 edges, 163 markings/sec, 1935 secs
lola: STP completed || 2 tries, 1311414 fired transitions, 1940 secs || 368535 markings, 520702 edges, 142 markings/sec, 1940 secs
lola: STP completed || 2 tries, 1312808 fired transitions, 1945 secs || 369171 markings, 521764 edges, 127 markings/sec, 1945 secs
lola: STP completed || 2 tries, 1314204 fired transitions, 1950 secs || 369795 markings, 522803 edges, 125 markings/sec, 1950 secs
lola: STP completed || 2 tries, 1315605 fired transitions, 1955 secs || 370471 markings, 523807 edges, 135 markings/sec, 1955 secs
lola: STP completed || 2 tries, 1317008 fired transitions, 1960 secs || 371157 markings, 524906 edges, 137 markings/sec, 1960 secs
lola: STP completed || 2 tries, 1318412 fired transitions, 1965 secs || 371849 markings, 526061 edges, 138 markings/sec, 1965 secs
lola: STP completed || 2 tries, 1319802 fired transitions, 1970 secs || 372512 markings, 527166 edges, 133 markings/sec, 1970 secs
lola: STP completed || 2 tries, 1321190 fired transitions, 1975 secs || 373149 markings, 528226 edges, 127 markings/sec, 1975 secs
lola: STP completed || 2 tries, 1322548 fired transitions, 1980 secs || 373762 markings, 529250 edges, 123 markings/sec, 1980 secs
lola: STP completed || 2 tries, 1323903 fired transitions, 1985 secs || 374396 markings, 530288 edges, 127 markings/sec, 1985 secs
lola: STP completed || 2 tries, 1325278 fired transitions, 1990 secs || 375116 markings, 531200 edges, 144 markings/sec, 1990 secs
lola: STP completed || 2 tries, 1326668 fired transitions, 1995 secs || 375837 markings, 532197 edges, 144 markings/sec, 1995 secs
lola: STP completed || 2 tries, 1328049 fired transitions, 2000 secs || 376562 markings, 533203 edges, 145 markings/sec, 2000 secs
lola: STP completed || 2 tries, 1329430 fired transitions, 2005 secs || 377279 markings, 534199 edges, 143 markings/sec, 2005 secs
lola: STP completed || 2 tries, 1330809 fired transitions, 2010 secs || 378019 markings, 535217 edges, 148 markings/sec, 2010 secs
lola: STP completed || 2 tries, 1332171 fired transitions, 2015 secs || 378764 markings, 536245 edges, 149 markings/sec, 2015 secs
lola: STP completed || 2 tries, 1333543 fired transitions, 2020 secs || 379504 markings, 537273 edges, 148 markings/sec, 2020 secs
lola: STP completed || 2 tries, 1334916 fired transitions, 2025 secs || 380239 markings, 538286 edges, 147 markings/sec, 2025 secs
lola: STP completed || 2 tries, 1336276 fired transitions, 2030 secs || 380975 markings, 539307 edges, 147 markings/sec, 2030 secs
lola: STP completed || 2 tries, 1337647 fired transitions, 2035 secs || 381725 markings, 540342 edges, 150 markings/sec, 2035 secs
lola: STP completed || 2 tries, 1339006 fired transitions, 2040 secs || 382451 markings, 541346 edges, 145 markings/sec, 2040 secs
lola: STP completed || 2 tries, 1340368 fired transitions, 2045 secs || 383197 markings, 542370 edges, 149 markings/sec, 2045 secs
lola: STP completed || 2 tries, 1341728 fired transitions, 2050 secs || 383943 markings, 543402 edges, 149 markings/sec, 2050 secs
lola: STP completed || 2 tries, 1343089 fired transitions, 2055 secs || 384681 markings, 544418 edges, 148 markings/sec, 2055 secs
lola: STP completed || 2 tries, 1344447 fired transitions, 2060 secs || 385439 markings, 545471 edges, 152 markings/sec, 2060 secs
lola: STP completed || 2 tries, 1345809 fired transitions, 2065 secs || 386186 markings, 546502 edges, 149 markings/sec, 2065 secs
lola: STP completed || 2 tries, 1347191 fired transitions, 2070 secs || 386930 markings, 547538 edges, 149 markings/sec, 2070 secs
lola: STP completed || 2 tries, 1348565 fired transitions, 2075 secs || 387659 markings, 548548 edges, 146 markings/sec, 2075 secs
lola: STP completed || 2 tries, 1349938 fired transitions, 2080 secs || 388380 markings, 549547 edges, 144 markings/sec, 2080 secs
lola: STP completed || 2 tries, 1351322 fired transitions, 2085 secs || 389097 markings, 550541 edges, 143 markings/sec, 2085 secs
lola: STP completed || 2 tries, 1352709 fired transitions, 2090 secs || 389817 markings, 551535 edges, 144 markings/sec, 2090 secs
lola: STP completed || 2 tries, 1354088 fired transitions, 2095 secs || 390539 markings, 552537 edges, 144 markings/sec, 2095 secs
lola: STP completed || 2 tries, 1355455 fired transitions, 2100 secs || 391274 markings, 553560 edges, 147 markings/sec, 2100 secs
lola: STP completed || 2 tries, 1356809 fired transitions, 2105 secs || 392004 markings, 554573 edges, 146 markings/sec, 2105 secs
lola: STP completed || 2 tries, 1358162 fired transitions, 2110 secs || 392729 markings, 555579 edges, 145 markings/sec, 2110 secs
lola: STP completed || 2 tries, 1359508 fired transitions, 2115 secs || 393472 markings, 556612 edges, 149 markings/sec, 2115 secs
lola: STP completed || 2 tries, 1360849 fired transitions, 2120 secs || 394198 markings, 557615 edges, 145 markings/sec, 2120 secs
lola: STP completed || 2 tries, 1362191 fired transitions, 2125 secs || 394927 markings, 558636 edges, 146 markings/sec, 2125 secs
lola: STP completed || 2 tries, 1363532 fired transitions, 2130 secs || 395659 markings, 559650 edges, 146 markings/sec, 2130 secs
lola: STP completed || 2 tries, 1364893 fired transitions, 2135 secs || 396411 markings, 560683 edges, 150 markings/sec, 2135 secs
lola: STP completed || 2 tries, 1366258 fired transitions, 2140 secs || 397160 markings, 561719 edges, 150 markings/sec, 2140 secs
lola: STP completed || 2 tries, 1367612 fired transitions, 2145 secs || 397891 markings, 562729 edges, 146 markings/sec, 2145 secs
lola: STP completed || 2 tries, 1368967 fired transitions, 2150 secs || 398635 markings, 563766 edges, 149 markings/sec, 2150 secs
lola: STP completed || 2 tries, 1370320 fired transitions, 2155 secs || 399378 markings, 564793 edges, 149 markings/sec, 2155 secs
lola: STP completed || 2 tries, 1371676 fired transitions, 2160 secs || 400128 markings, 565826 edges, 150 markings/sec, 2160 secs
lola: STP completed || 2 tries, 1373024 fired transitions, 2165 secs || 400869 markings, 566850 edges, 148 markings/sec, 2165 secs
lola: STP completed || 2 tries, 1374361 fired transitions, 2170 secs || 401636 markings, 567920 edges, 153 markings/sec, 2170 secs
lola: STP completed || 2 tries, 1375709 fired transitions, 2175 secs || 402387 markings, 568951 edges, 150 markings/sec, 2175 secs
lola: STP completed || 2 tries, 1377047 fired transitions, 2180 secs || 403112 markings, 569959 edges, 145 markings/sec, 2180 secs
lola: STP completed || 2 tries, 1378382 fired transitions, 2185 secs || 403846 markings, 570980 edges, 147 markings/sec, 2185 secs
lola: STP completed || 2 tries, 1379715 fired transitions, 2190 secs || 404570 markings, 571979 edges, 145 markings/sec, 2190 secs
lola: STP completed || 2 tries, 1381063 fired transitions, 2195 secs || 405324 markings, 573034 edges, 151 markings/sec, 2195 secs
lola: STP completed || 2 tries, 1382394 fired transitions, 2200 secs || 406045 markings, 574035 edges, 144 markings/sec, 2200 secs
lola: STP completed || 2 tries, 1383731 fired transitions, 2205 secs || 406770 markings, 575041 edges, 145 markings/sec, 2205 secs
lola: STP completed || 2 tries, 1385055 fired transitions, 2210 secs || 407517 markings, 576071 edges, 149 markings/sec, 2210 secs
lola: STP completed || 2 tries, 1386383 fired transitions, 2215 secs || 408267 markings, 577112 edges, 150 markings/sec, 2215 secs
lola: STP completed || 2 tries, 1387697 fired transitions, 2220 secs || 409005 markings, 578137 edges, 148 markings/sec, 2220 secs
lola: STP completed || 2 tries, 1389014 fired transitions, 2225 secs || 409731 markings, 579143 edges, 145 markings/sec, 2225 secs
lola: STP completed || 2 tries, 1390332 fired transitions, 2230 secs || 410465 markings, 580166 edges, 147 markings/sec, 2230 secs
lola: STP completed || 2 tries, 1391655 fired transitions, 2235 secs || 411202 markings, 581183 edges, 147 markings/sec, 2235 secs
lola: STP completed || 2 tries, 1392975 fired transitions, 2240 secs || 411937 markings, 582199 edges, 147 markings/sec, 2240 secs
lola: STP completed || 2 tries, 1394292 fired transitions, 2245 secs || 412690 markings, 583230 edges, 151 markings/sec, 2245 secs
lola: STP completed || 2 tries, 1395602 fired transitions, 2250 secs || 413414 markings, 584234 edges, 145 markings/sec, 2250 secs
lola: STP completed || 2 tries, 1396931 fired transitions, 2255 secs || 414159 markings, 585272 edges, 149 markings/sec, 2255 secs
lola: STP completed || 2 tries, 1398244 fired transitions, 2260 secs || 414888 markings, 586286 edges, 146 markings/sec, 2260 secs
lola: STP completed || 2 tries, 1399556 fired transitions, 2265 secs || 415612 markings, 587289 edges, 145 markings/sec, 2265 secs
lola: STP completed || 2 tries, 1400865 fired transitions, 2270 secs || 416339 markings, 588315 edges, 145 markings/sec, 2270 secs
lola: STP completed || 2 tries, 1402179 fired transitions, 2275 secs || 417086 markings, 589348 edges, 149 markings/sec, 2275 secs
lola: STP completed || 2 tries, 1403485 fired transitions, 2280 secs || 417820 markings, 590363 edges, 147 markings/sec, 2280 secs
lola: STP completed || 2 tries, 1407443 fired transitions, 2285 secs || 418580 markings, 591427 edges, 152 markings/sec, 2285 secs
lola: STP completed || 2 tries, 1412925 fired transitions, 2290 secs || 419335 markings, 592476 edges, 151 markings/sec, 2290 secs
lola: STP completed || 2 tries, 1418411 fired transitions, 2295 secs || 420099 markings, 593524 edges, 153 markings/sec, 2295 secs
lola: STP completed || 2 tries, 1424064 fired transitions, 2300 secs || 420850 markings, 594575 edges, 150 markings/sec, 2300 secs
lola: STP completed || 2 tries, 1430349 fired transitions, 2305 secs || 421636 markings, 595663 edges, 157 markings/sec, 2305 secs
lola: STP completed || 2 tries, 1436623 fired transitions, 2310 secs || 422414 markings, 596749 edges, 156 markings/sec, 2310 secs
lola: STP completed || 2 tries, 1442657 fired transitions, 2315 secs || 423203 markings, 597857 edges, 158 markings/sec, 2315 secs
lola: STP completed || 2 tries, 1448605 fired transitions, 2320 secs || 430527 markings, 605191 edges, 1465 markings/sec, 2320 secs
lola: STP completed || 2 tries, 1454259 fired transitions, 2325 secs || 436295 markings, 610958 edges, 1154 markings/sec, 2325 secs
lola: STP completed || 2 tries, 1459829 fired transitions, 2330 secs || 440336 markings, 614999 edges, 808 markings/sec, 2330 secs
lola: STP completed || 2 tries, 1465338 fired transitions, 2335 secs || 443432 markings, 618096 edges, 619 markings/sec, 2335 secs
lola: STP completed || 2 tries, 1470946 fired transitions, 2340 secs || 446176 markings, 620839 edges, 549 markings/sec, 2340 secs
lola: STP completed || 2 tries, 1476773 fired transitions, 2345 secs || 447233 markings, 621897 edges, 211 markings/sec, 2345 secs
lola: STP completed || 2 tries, 1482333 fired transitions, 2350 secs || 447929 markings, 622592 edges, 139 markings/sec, 2350 secs
lola: STP completed || 2 tries, 1487370 fired transitions, 2355 secs || 448681 markings, 623345 edges, 150 markings/sec, 2355 secs
lola: STP completed || 2 tries, 1492316 fired transitions, 2360 secs || 449457 markings, 624120 edges, 155 markings/sec, 2360 secs
lola: STP completed || 2 tries, 1497606 fired transitions, 2365 secs || 450236 markings, 624899 edges, 156 markings/sec, 2365 secs
lola: STP completed || 2 tries, 1502831 fired transitions, 2370 secs || 451007 markings, 625670 edges, 154 markings/sec, 2370 secs
lola: STP completed || 2 tries, 1508327 fired transitions, 2375 secs || 451769 markings, 626432 edges, 152 markings/sec, 2375 secs
lola: STP completed || 2 tries, 1513520 fired transitions, 2380 secs || 452526 markings, 627189 edges, 151 markings/sec, 2380 secs
lola: STP completed || 2 tries, 1518843 fired transitions, 2385 secs || 453712 markings, 628474 edges, 237 markings/sec, 2385 secs
lola: STP completed || 2 tries, 1524033 fired transitions, 2390 secs || 454447 markings, 629677 edges, 147 markings/sec, 2390 secs
lola: STP completed || 2 tries, 1529319 fired transitions, 2395 secs || 455202 markings, 631171 edges, 151 markings/sec, 2395 secs
lola: STP completed || 2 tries, 1534819 fired transitions, 2400 secs || 455962 markings, 632668 edges, 152 markings/sec, 2400 secs
lola: STP completed || 2 tries, 1540341 fired transitions, 2405 secs || 456724 markings, 634168 edges, 152 markings/sec, 2405 secs
lola: STP completed || 2 tries, 1545863 fired transitions, 2410 secs || 457485 markings, 635664 edges, 152 markings/sec, 2410 secs
lola: STP completed || 2 tries, 1551503 fired transitions, 2415 secs || 458248 markings, 637158 edges, 153 markings/sec, 2415 secs
lola: STP completed || 2 tries, 1557186 fired transitions, 2420 secs || 459012 markings, 638647 edges, 153 markings/sec, 2420 secs
lola: STP completed || 2 tries, 1562984 fired transitions, 2425 secs || 459781 markings, 640122 edges, 154 markings/sec, 2425 secs
lola: RESULT
lola: result: yes
lola: produced by: state space
lola: The net has deadlock(s).
lola: 460281 markings, 640782 edges
FORMULA Philosophers-COL-010000-ReachabilityDeadlock-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494590580037
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished 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="Philosophers-PT-010000"
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/Philosophers-PT-010000.tgz
mv Philosophers-PT-010000 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is Philosophers-PT-010000, 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 r048-smll-149440869700224"
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 ;