About the Execution of LoLA for Dekker-PT-100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1292.060 | 1981939.00 | 5962928.00 | 375.10 | F | 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-3253
Executing tool lola
Input is Dekker-PT-100, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309000215
=====================================================================
--------------------
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 Dekker-PT-100-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1494624574150
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
ReachabilityDeadlock @ Dekker-PT-100 @ 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: 10700/65536 symbol table entries, 4008 collisions
lola: preprocessing...
lola: finding significant places
lola: 500 places, 10200 transitions, 200 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 20300 transition conflict sets
lola: TASK
lola: reading formula from Dekker-PT-100-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 28 bytes per marking, with 24 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: 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: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 138102 variables and 1065804 clauses shipped to Minisat
lola: STP running || 1 tries, 531 fired transitions, 0 secs
lola: 1380 generators; 116170 candidates remain ( 1%), 0 secs
lola: STP running || 1 tries, 1069 fired transitions, 5 secs
lola: 3354 generators; 102996 candidates remain ( 3%), 5 secs
lola: computed 4950 generators (100 in search tree, 4850 by composition)
lola: representing 9.33262E+157 symmetries
lola: 0 dead branches visited in search tree
lola: STP running || 1 tries, 1604 fired transitions, 10 secs || 38 markings, 15155 edges, 8 markings/sec, 10 secs
lola: STP running || 1 tries, 2164 fired transitions, 15 secs || 62 markings, 70813 edges, 5 markings/sec, 15 secs
lola: STP running || 1 tries, 2722 fired transitions, 20 secs || 75 markings, 132517 edges, 3 markings/sec, 20 secs
lola: STP running || 1 tries, 3280 fired transitions, 25 secs || 86 markings, 197717 edges, 2 markings/sec, 25 secs
lola: STP running || 1 tries, 3838 fired transitions, 30 secs || 94 markings, 265128 edges, 2 markings/sec, 30 secs
lola: STP running || 1 tries, 4396 fired transitions, 35 secs || 101 markings, 334729 edges, 1 markings/sec, 35 secs
lola: STP running || 1 tries, 4954 fired transitions, 40 secs || 154 markings, 383603 edges, 11 markings/sec, 40 secs
lola: STP running || 1 tries, 5516 fired transitions, 45 secs || 279 markings, 424001 edges, 25 markings/sec, 45 secs
lola: STP running || 1 tries, 6080 fired transitions, 50 secs || 390 markings, 464397 edges, 22 markings/sec, 50 secs
lola: STP running || 1 tries, 6638 fired transitions, 55 secs || 419 markings, 514958 edges, 6 markings/sec, 55 secs
lola: STP running || 1 tries, 7199 fired transitions, 60 secs || 434 markings, 568150 edges, 3 markings/sec, 60 secs
lola: STP running || 1 tries, 7750 fired transitions, 65 secs || 445 markings, 623549 edges, 2 markings/sec, 65 secs
lola: STP running || 1 tries, 8310 fired transitions, 70 secs || 558 markings, 660035 edges, 23 markings/sec, 70 secs
lola: STP running || 1 tries, 8871 fired transitions, 75 secs || 591 markings, 710848 edges, 7 markings/sec, 75 secs
lola: STP running || 1 tries, 9431 fired transitions, 80 secs || 606 markings, 764826 edges, 3 markings/sec, 80 secs
lola: STP running || 1 tries, 9996 fired transitions, 85 secs || 704 markings, 807010 edges, 20 markings/sec, 85 secs
lola: STP running || 1 tries, 10561 fired transitions, 90 secs || 780 markings, 852484 edges, 15 markings/sec, 90 secs
lola: STP running || 1 tries, 11124 fired transitions, 95 secs || 857 markings, 897179 edges, 15 markings/sec, 95 secs
lola: STP running || 1 tries, 11689 fired transitions, 100 secs || 926 markings, 948363 edges, 14 markings/sec, 100 secs
lola: STP running || 1 tries, 12253 fired transitions, 105 secs || 947 markings, 1002724 edges, 4 markings/sec, 105 secs
lola: STP running || 1 tries, 12817 fired transitions, 110 secs || 1068 markings, 1041716 edges, 24 markings/sec, 110 secs
lola: STP running || 1 tries, 13374 fired transitions, 115 secs || 1142 markings, 1085815 edges, 15 markings/sec, 115 secs
lola: STP running || 1 tries, 13934 fired transitions, 120 secs || 1194 markings, 1132788 edges, 10 markings/sec, 120 secs
lola: STP running || 1 tries, 14495 fired transitions, 125 secs || 1240 markings, 1178841 edges, 9 markings/sec, 125 secs
lola: STP running || 1 tries, 15055 fired transitions, 130 secs || 1293 markings, 1226224 edges, 11 markings/sec, 130 secs
lola: STP running || 1 tries, 15614 fired transitions, 135 secs || 1340 markings, 1274959 edges, 9 markings/sec, 135 secs
lola: STP running || 1 tries, 16172 fired transitions, 140 secs || 1375 markings, 1323585 edges, 7 markings/sec, 140 secs
lola: STP running || 1 tries, 16728 fired transitions, 145 secs || 1417 markings, 1371993 edges, 8 markings/sec, 145 secs
lola: STP running || 1 tries, 17287 fired transitions, 150 secs || 1441 markings, 1425257 edges, 5 markings/sec, 150 secs
lola: STP running || 1 tries, 17846 fired transitions, 155 secs || 1480 markings, 1474696 edges, 8 markings/sec, 155 secs
lola: STP running || 1 tries, 18409 fired transitions, 160 secs || 1509 markings, 1523789 edges, 6 markings/sec, 160 secs
lola: STP running || 1 tries, 18966 fired transitions, 165 secs || 1539 markings, 1572462 edges, 6 markings/sec, 165 secs
lola: STP running || 1 tries, 19528 fired transitions, 170 secs || 1563 markings, 1621361 edges, 5 markings/sec, 170 secs
lola: STP running || 1 tries, 20089 fired transitions, 175 secs || 1598 markings, 1668719 edges, 7 markings/sec, 175 secs
lola: STP running || 1 tries, 20645 fired transitions, 180 secs || 1623 markings, 1719021 edges, 5 markings/sec, 180 secs
lola: STP running || 1 tries, 21206 fired transitions, 185 secs || 1645 markings, 1770439 edges, 4 markings/sec, 185 secs
lola: STP running || 1 tries, 21769 fired transitions, 190 secs || 1667 markings, 1821229 edges, 4 markings/sec, 190 secs
lola: STP running || 1 tries, 22332 fired transitions, 195 secs || 1689 markings, 1871898 edges, 4 markings/sec, 195 secs
lola: STP running || 1 tries, 22893 fired transitions, 200 secs || 1717 markings, 1921644 edges, 6 markings/sec, 200 secs
lola: STP running || 1 tries, 23454 fired transitions, 205 secs || 1741 markings, 1975107 edges, 5 markings/sec, 205 secs
lola: STP running || 1 tries, 24010 fired transitions, 210 secs || 1755 markings, 2033464 edges, 3 markings/sec, 210 secs
lola: STP running || 1 tries, 24549 fired transitions, 215 secs || 1766 markings, 2092279 edges, 2 markings/sec, 215 secs
lola: STP running || 1 tries, 25099 fired transitions, 220 secs || 1794 markings, 2148093 edges, 6 markings/sec, 220 secs
lola: STP running || 1 tries, 25652 fired transitions, 225 secs || 1805 markings, 2204190 edges, 2 markings/sec, 225 secs
lola: STP running || 1 tries, 26210 fired transitions, 230 secs || 1816 markings, 2263575 edges, 2 markings/sec, 230 secs
lola: STP running || 1 tries, 26774 fired transitions, 235 secs || 1846 markings, 2317362 edges, 6 markings/sec, 235 secs
lola: STP running || 1 tries, 27324 fired transitions, 240 secs || 1871 markings, 2366793 edges, 5 markings/sec, 240 secs
lola: STP running || 1 tries, 27880 fired transitions, 245 secs || 1890 markings, 2419722 edges, 4 markings/sec, 245 secs
lola: STP running || 1 tries, 28438 fired transitions, 250 secs || 1914 markings, 2470857 edges, 5 markings/sec, 250 secs
lola: STP running || 1 tries, 28993 fired transitions, 255 secs || 1939 markings, 2522288 edges, 5 markings/sec, 255 secs
lola: STP running || 1 tries, 29549 fired transitions, 260 secs || 1968 markings, 2571060 edges, 6 markings/sec, 260 secs
lola: STP running || 1 tries, 30105 fired transitions, 265 secs || 2006 markings, 2618183 edges, 8 markings/sec, 265 secs
lola: STP running || 1 tries, 30659 fired transitions, 270 secs || 2053 markings, 2665498 edges, 9 markings/sec, 270 secs
lola: STP running || 1 tries, 31206 fired transitions, 275 secs || 2080 markings, 2717389 edges, 5 markings/sec, 275 secs
lola: STP running || 1 tries, 31754 fired transitions, 280 secs || 2107 markings, 2769830 edges, 5 markings/sec, 280 secs
lola: STP running || 1 tries, 32312 fired transitions, 285 secs || 2120 markings, 2824837 edges, 3 markings/sec, 285 secs
lola: STP running || 1 tries, 32869 fired transitions, 290 secs || 2142 markings, 2879213 edges, 4 markings/sec, 290 secs
lola: STP running || 1 tries, 33425 fired transitions, 295 secs || 2163 markings, 2931719 edges, 4 markings/sec, 295 secs
lola: STP running || 1 tries, 33981 fired transitions, 300 secs || 2176 markings, 2988893 edges, 3 markings/sec, 300 secs
lola: STP running || 1 tries, 34537 fired transitions, 305 secs || 2200 markings, 3039669 edges, 5 markings/sec, 305 secs
lola: STP running || 1 tries, 35093 fired transitions, 310 secs || 2218 markings, 3091497 edges, 4 markings/sec, 310 secs
lola: STP running || 1 tries, 35646 fired transitions, 315 secs || 2242 markings, 3141093 edges, 5 markings/sec, 315 secs
lola: STP running || 1 tries, 36198 fired transitions, 320 secs || 2260 markings, 3193328 edges, 4 markings/sec, 320 secs
lola: STP running || 1 tries, 36749 fired transitions, 325 secs || 2310 markings, 3238972 edges, 10 markings/sec, 325 secs
lola: STP running || 1 tries, 37302 fired transitions, 330 secs || 2349 markings, 3287601 edges, 8 markings/sec, 330 secs
lola: STP running || 1 tries, 37855 fired transitions, 335 secs || 2365 markings, 3340515 edges, 3 markings/sec, 335 secs
lola: STP running || 1 tries, 38413 fired transitions, 340 secs || 2381 markings, 3395306 edges, 3 markings/sec, 340 secs
lola: STP running || 1 tries, 38964 fired transitions, 345 secs || 2398 markings, 3449369 edges, 3 markings/sec, 345 secs
lola: STP running || 1 tries, 39512 fired transitions, 350 secs || 2416 markings, 3502070 edges, 4 markings/sec, 350 secs
lola: STP running || 1 tries, 40067 fired transitions, 355 secs || 2462 markings, 3547868 edges, 9 markings/sec, 355 secs
lola: STP running || 1 tries, 40624 fired transitions, 360 secs || 2481 markings, 3599114 edges, 4 markings/sec, 360 secs
lola: STP running || 1 tries, 41181 fired transitions, 365 secs || 2508 markings, 3648678 edges, 5 markings/sec, 365 secs
lola: STP running || 1 tries, 41731 fired transitions, 370 secs || 2535 markings, 3699934 edges, 5 markings/sec, 370 secs
lola: STP running || 1 tries, 42285 fired transitions, 375 secs || 2557 markings, 3750821 edges, 4 markings/sec, 375 secs
lola: STP running || 1 tries, 42839 fired transitions, 380 secs || 2594 markings, 3801661 edges, 7 markings/sec, 380 secs
lola: STP running || 1 tries, 43398 fired transitions, 385 secs || 2611 markings, 3856997 edges, 3 markings/sec, 385 secs
lola: STP running || 1 tries, 43958 fired transitions, 390 secs || 2626 markings, 3910511 edges, 3 markings/sec, 390 secs
lola: STP running || 1 tries, 44516 fired transitions, 395 secs || 2638 markings, 3966286 edges, 2 markings/sec, 395 secs
lola: STP running || 1 tries, 45075 fired transitions, 400 secs || 2659 markings, 4019596 edges, 4 markings/sec, 400 secs
lola: STP running || 1 tries, 45629 fired transitions, 405 secs || 2681 markings, 4070391 edges, 4 markings/sec, 405 secs
lola: STP running || 1 tries, 46189 fired transitions, 410 secs || 2692 markings, 4124419 edges, 2 markings/sec, 410 secs
lola: STP running || 1 tries, 46753 fired transitions, 415 secs || 2709 markings, 4177842 edges, 3 markings/sec, 415 secs
lola: STP running || 1 tries, 47309 fired transitions, 420 secs || 2726 markings, 4231308 edges, 3 markings/sec, 420 secs
lola: STP running || 1 tries, 47869 fired transitions, 425 secs || 2745 markings, 4284440 edges, 4 markings/sec, 425 secs
lola: STP running || 1 tries, 48433 fired transitions, 430 secs || 2757 markings, 4340018 edges, 2 markings/sec, 430 secs
lola: STP running || 1 tries, 48991 fired transitions, 435 secs || 2781 markings, 4391783 edges, 5 markings/sec, 435 secs
lola: STP running || 1 tries, 49549 fired transitions, 440 secs || 2792 markings, 4448084 edges, 2 markings/sec, 440 secs
lola: STP running || 1 tries, 50110 fired transitions, 445 secs || 2815 markings, 4499794 edges, 5 markings/sec, 445 secs
lola: STP running || 1 tries, 50671 fired transitions, 450 secs || 2828 markings, 4555150 edges, 3 markings/sec, 450 secs
lola: STP running || 1 tries, 51230 fired transitions, 455 secs || 2843 markings, 4611116 edges, 3 markings/sec, 455 secs
lola: STP running || 1 tries, 51787 fired transitions, 460 secs || 2856 markings, 4668160 edges, 3 markings/sec, 460 secs
lola: STP running || 1 tries, 52347 fired transitions, 465 secs || 2878 markings, 4722002 edges, 4 markings/sec, 465 secs
lola: STP running || 1 tries, 52910 fired transitions, 470 secs || 2892 markings, 4778373 edges, 3 markings/sec, 470 secs
lola: STP running || 1 tries, 53470 fired transitions, 475 secs || 2905 markings, 4835713 edges, 3 markings/sec, 475 secs
lola: STP running || 1 tries, 54032 fired transitions, 480 secs || 2927 markings, 4887923 edges, 4 markings/sec, 480 secs
lola: STP running || 1 tries, 54592 fired transitions, 485 secs || 2952 markings, 4938583 edges, 5 markings/sec, 485 secs
lola: STP running || 1 tries, 55154 fired transitions, 490 secs || 2976 markings, 4989036 edges, 5 markings/sec, 490 secs
lola: STP running || 1 tries, 55716 fired transitions, 495 secs || 2993 markings, 5041819 edges, 3 markings/sec, 495 secs
lola: STP running || 1 tries, 56280 fired transitions, 500 secs || 3011 markings, 5094822 edges, 4 markings/sec, 500 secs
lola: STP running || 1 tries, 56838 fired transitions, 505 secs || 3030 markings, 5147286 edges, 4 markings/sec, 505 secs
lola: STP running || 1 tries, 57398 fired transitions, 510 secs || 3043 markings, 5201558 edges, 3 markings/sec, 510 secs
lola: STP running || 1 tries, 57958 fired transitions, 515 secs || 3056 markings, 5256201 edges, 3 markings/sec, 515 secs
lola: STP running || 1 tries, 58519 fired transitions, 520 secs || 3073 markings, 5311106 edges, 3 markings/sec, 520 secs
lola: STP running || 1 tries, 59084 fired transitions, 525 secs || 3086 markings, 5367597 edges, 3 markings/sec, 525 secs
lola: STP running || 1 tries, 59643 fired transitions, 530 secs || 3100 markings, 5423956 edges, 3 markings/sec, 530 secs
lola: STP running || 1 tries, 60202 fired transitions, 535 secs || 3116 markings, 5482023 edges, 3 markings/sec, 535 secs
lola: STP running || 1 tries, 60762 fired transitions, 540 secs || 3129 markings, 5539566 edges, 3 markings/sec, 540 secs
lola: STP running || 1 tries, 61322 fired transitions, 545 secs || 3148 markings, 5596602 edges, 4 markings/sec, 545 secs
lola: STP running || 1 tries, 61883 fired transitions, 550 secs || 3160 markings, 5655834 edges, 2 markings/sec, 550 secs
lola: STP running || 1 tries, 62443 fired transitions, 555 secs || 3182 markings, 5709684 edges, 4 markings/sec, 555 secs
lola: STP running || 1 tries, 63004 fired transitions, 560 secs || 3193 markings, 5767788 edges, 2 markings/sec, 560 secs
lola: STP running || 1 tries, 63569 fired transitions, 565 secs || 3209 markings, 5824733 edges, 3 markings/sec, 565 secs
lola: STP running || 1 tries, 64129 fired transitions, 570 secs || 3221 markings, 5883667 edges, 2 markings/sec, 570 secs
lola: STP running || 1 tries, 64687 fired transitions, 575 secs || 3250 markings, 5935224 edges, 6 markings/sec, 575 secs
lola: STP running || 1 tries, 65237 fired transitions, 580 secs || 3285 markings, 5985520 edges, 7 markings/sec, 580 secs
lola: STP running || 1 tries, 65781 fired transitions, 585 secs || 3312 markings, 6037236 edges, 5 markings/sec, 585 secs
lola: STP running || 1 tries, 66324 fired transitions, 590 secs || 3333 markings, 6090987 edges, 4 markings/sec, 590 secs
lola: STP running || 1 tries, 66866 fired transitions, 595 secs || 3355 markings, 6144203 edges, 4 markings/sec, 595 secs
lola: STP running || 1 tries, 67423 fired transitions, 600 secs || 3373 markings, 6200010 edges, 4 markings/sec, 600 secs
lola: STP running || 1 tries, 67983 fired transitions, 605 secs || 3392 markings, 6255098 edges, 4 markings/sec, 605 secs
lola: STP running || 1 tries, 68540 fired transitions, 610 secs || 3403 markings, 6311824 edges, 2 markings/sec, 610 secs
lola: STP running || 1 tries, 69096 fired transitions, 615 secs || 3417 markings, 6368383 edges, 3 markings/sec, 615 secs
lola: STP running || 1 tries, 69644 fired transitions, 620 secs || 3436 markings, 6423803 edges, 4 markings/sec, 620 secs
lola: STP running || 1 tries, 70173 fired transitions, 625 secs || 3449 markings, 6480463 edges, 3 markings/sec, 625 secs
lola: STP running || 1 tries, 70721 fired transitions, 630 secs || 3473 markings, 6534298 edges, 5 markings/sec, 630 secs
lola: STP running || 1 tries, 71274 fired transitions, 635 secs || 3495 markings, 6590557 edges, 4 markings/sec, 635 secs
lola: STP running || 1 tries, 71829 fired transitions, 640 secs || 3510 markings, 6647877 edges, 3 markings/sec, 640 secs
lola: STP running || 1 tries, 72384 fired transitions, 645 secs || 3533 markings, 6703034 edges, 5 markings/sec, 645 secs
lola: STP running || 1 tries, 72936 fired transitions, 650 secs || 3546 markings, 6762696 edges, 3 markings/sec, 650 secs
lola: STP running || 1 tries, 73489 fired transitions, 655 secs || 3559 markings, 6822141 edges, 3 markings/sec, 655 secs
lola: STP running || 1 tries, 74043 fired transitions, 660 secs || 3570 markings, 6881270 edges, 2 markings/sec, 660 secs
lola: STP running || 1 tries, 74598 fired transitions, 665 secs || 3586 markings, 6940213 edges, 3 markings/sec, 665 secs
lola: STP running || 1 tries, 75158 fired transitions, 670 secs || 3596 markings, 7002625 edges, 2 markings/sec, 670 secs
lola: STP running || 1 tries, 75711 fired transitions, 675 secs || 3614 markings, 7058402 edges, 4 markings/sec, 675 secs
lola: STP running || 1 tries, 76259 fired transitions, 680 secs || 3624 markings, 7118572 edges, 2 markings/sec, 680 secs
lola: STP running || 1 tries, 76808 fired transitions, 685 secs || 3637 markings, 7178610 edges, 3 markings/sec, 685 secs
lola: STP running || 1 tries, 77363 fired transitions, 690 secs || 3652 markings, 7238944 edges, 3 markings/sec, 690 secs
lola: STP running || 1 tries, 77918 fired transitions, 695 secs || 3664 markings, 7299961 edges, 2 markings/sec, 695 secs
lola: STP running || 1 tries, 78473 fired transitions, 700 secs || 3677 markings, 7360642 edges, 3 markings/sec, 700 secs
lola: STP running || 1 tries, 79033 fired transitions, 705 secs || 3691 markings, 7420559 edges, 3 markings/sec, 705 secs
lola: STP running || 1 tries, 79588 fired transitions, 710 secs || 3702 markings, 7481803 edges, 2 markings/sec, 710 secs
lola: STP running || 1 tries, 80133 fired transitions, 715 secs || 3715 markings, 7543126 edges, 3 markings/sec, 715 secs
lola: STP running || 1 tries, 80687 fired transitions, 720 secs || 3727 markings, 7605674 edges, 2 markings/sec, 720 secs
lola: STP running || 1 tries, 81234 fired transitions, 725 secs || 3740 markings, 7668025 edges, 3 markings/sec, 725 secs
lola: STP running || 1 tries, 81785 fired transitions, 730 secs || 3752 markings, 7731261 edges, 2 markings/sec, 730 secs
lola: STP running || 1 tries, 82340 fired transitions, 735 secs || 3773 markings, 7791698 edges, 4 markings/sec, 735 secs
lola: STP running || 1 tries, 82890 fired transitions, 740 secs || 3786 markings, 7851938 edges, 3 markings/sec, 740 secs
lola: STP running || 1 tries, 83443 fired transitions, 745 secs || 3797 markings, 7915062 edges, 2 markings/sec, 745 secs
lola: STP running || 1 tries, 83996 fired transitions, 750 secs || 3810 markings, 7978619 edges, 3 markings/sec, 750 secs
lola: STP running || 1 tries, 84543 fired transitions, 755 secs || 3832 markings, 8038215 edges, 4 markings/sec, 755 secs
lola: STP running || 1 tries, 85098 fired transitions, 760 secs || 3847 markings, 8096636 edges, 3 markings/sec, 760 secs
lola: STP running || 1 tries, 85656 fired transitions, 765 secs || 3858 markings, 8158140 edges, 2 markings/sec, 765 secs
lola: STP running || 1 tries, 86210 fired transitions, 770 secs || 3873 markings, 8220062 edges, 3 markings/sec, 770 secs
lola: STP running || 1 tries, 86760 fired transitions, 775 secs || 3885 markings, 8281346 edges, 2 markings/sec, 775 secs
lola: STP running || 1 tries, 87310 fired transitions, 780 secs || 3905 markings, 8339047 edges, 4 markings/sec, 780 secs
lola: STP running || 1 tries, 87849 fired transitions, 785 secs || 3916 markings, 8399764 edges, 2 markings/sec, 785 secs
lola: STP running || 1 tries, 88390 fired transitions, 790 secs || 3927 markings, 8462130 edges, 2 markings/sec, 790 secs
lola: STP running || 1 tries, 88931 fired transitions, 795 secs || 3941 markings, 8524435 edges, 3 markings/sec, 795 secs
lola: STP running || 1 tries, 89485 fired transitions, 800 secs || 3952 markings, 8588674 edges, 2 markings/sec, 800 secs
lola: STP running || 1 tries, 90032 fired transitions, 805 secs || 3973 markings, 8645931 edges, 4 markings/sec, 805 secs
lola: STP running || 1 tries, 90582 fired transitions, 810 secs || 3986 markings, 8705712 edges, 3 markings/sec, 810 secs
lola: STP running || 1 tries, 91137 fired transitions, 815 secs || 3999 markings, 8766189 edges, 3 markings/sec, 815 secs
lola: STP running || 1 tries, 91693 fired transitions, 820 secs || 4013 markings, 8828137 edges, 3 markings/sec, 820 secs
lola: STP running || 1 tries, 92248 fired transitions, 825 secs || 4025 markings, 8890423 edges, 2 markings/sec, 825 secs
lola: STP running || 1 tries, 92801 fired transitions, 830 secs || 4036 markings, 8953412 edges, 2 markings/sec, 830 secs
lola: STP running || 1 tries, 93355 fired transitions, 835 secs || 4048 markings, 9016829 edges, 2 markings/sec, 835 secs
lola: STP running || 1 tries, 93910 fired transitions, 840 secs || 4060 markings, 9080642 edges, 2 markings/sec, 840 secs
lola: STP running || 1 tries, 94466 fired transitions, 845 secs || 4073 markings, 9144472 edges, 3 markings/sec, 845 secs
lola: STP running || 1 tries, 95020 fired transitions, 850 secs || 4088 markings, 9206367 edges, 3 markings/sec, 850 secs
lola: STP running || 1 tries, 95575 fired transitions, 855 secs || 4100 markings, 9269343 edges, 2 markings/sec, 855 secs
lola: STP running || 1 tries, 96135 fired transitions, 860 secs || 4113 markings, 9332881 edges, 3 markings/sec, 860 secs
lola: STP running || 1 tries, 96687 fired transitions, 865 secs || 4125 markings, 9397568 edges, 2 markings/sec, 865 secs
lola: STP running || 1 tries, 97243 fired transitions, 870 secs || 4139 markings, 9459710 edges, 3 markings/sec, 870 secs
lola: STP running || 1 tries, 97794 fired transitions, 875 secs || 4152 markings, 9522564 edges, 3 markings/sec, 875 secs
lola: STP running || 1 tries, 98347 fired transitions, 880 secs || 4161 markings, 9587698 edges, 2 markings/sec, 880 secs
lola: STP running || 1 tries, 98902 fired transitions, 885 secs || 4189 markings, 9644619 edges, 6 markings/sec, 885 secs
lola: STP running || 1 tries, 99457 fired transitions, 890 secs || 4200 markings, 9704496 edges, 2 markings/sec, 890 secs
lola: STP running || 1 tries, 100011 fired transitions, 895 secs || 4223 markings, 9759298 edges, 5 markings/sec, 895 secs
lola: STP running || 1 tries, 100564 fired transitions, 900 secs || 4239 markings, 9816629 edges, 3 markings/sec, 900 secs
lola: STP running || 1 tries, 101117 fired transitions, 905 secs || 4253 markings, 9874268 edges, 3 markings/sec, 905 secs
lola: STP running || 1 tries, 101669 fired transitions, 910 secs || 4264 markings, 9933090 edges, 2 markings/sec, 910 secs
lola: STP running || 1 tries, 102224 fired transitions, 915 secs || 4276 markings, 9992124 edges, 2 markings/sec, 915 secs
lola: STP running || 1 tries, 102774 fired transitions, 920 secs || 4293 markings, 10050434 edges, 3 markings/sec, 920 secs
lola: STP running || 1 tries, 103326 fired transitions, 925 secs || 4303 markings, 10110532 edges, 2 markings/sec, 925 secs
lola: STP running || 1 tries, 103876 fired transitions, 930 secs || 4318 markings, 10169505 edges, 3 markings/sec, 930 secs
lola: STP running || 1 tries, 104428 fired transitions, 935 secs || 4329 markings, 10230784 edges, 2 markings/sec, 935 secs
lola: STP running || 1 tries, 104985 fired transitions, 940 secs || 4342 markings, 10291855 edges, 3 markings/sec, 940 secs
lola: STP running || 1 tries, 105537 fired transitions, 945 secs || 4361 markings, 10351206 edges, 4 markings/sec, 945 secs
lola: STP running || 1 tries, 106086 fired transitions, 950 secs || 4372 markings, 10413297 edges, 2 markings/sec, 950 secs
lola: STP running || 1 tries, 106635 fired transitions, 955 secs || 4384 markings, 10475351 edges, 2 markings/sec, 955 secs
lola: STP running || 1 tries, 107193 fired transitions, 960 secs || 4396 markings, 10538348 edges, 2 markings/sec, 960 secs
lola: STP running || 1 tries, 107753 fired transitions, 965 secs || 4409 markings, 10601190 edges, 3 markings/sec, 965 secs
lola: STP running || 1 tries, 108314 fired transitions, 970 secs || 4421 markings, 10666469 edges, 2 markings/sec, 970 secs
lola: STP running || 1 tries, 108875 fired transitions, 975 secs || 4435 markings, 10729408 edges, 3 markings/sec, 975 secs
lola: STP running || 1 tries, 109426 fired transitions, 980 secs || 4447 markings, 10793992 edges, 2 markings/sec, 980 secs
lola: STP running || 1 tries, 109980 fired transitions, 985 secs || 4460 markings, 10859522 edges, 3 markings/sec, 985 secs
lola: STP running || 1 tries, 110534 fired transitions, 990 secs || 4473 markings, 10923630 edges, 3 markings/sec, 990 secs
lola: STP running || 1 tries, 111088 fired transitions, 995 secs || 4483 markings, 10989895 edges, 2 markings/sec, 995 secs
lola: STP running || 1 tries, 111647 fired transitions, 1000 secs || 4498 markings, 11054227 edges, 3 markings/sec, 1000 secs
lola: STP running || 1 tries, 112201 fired transitions, 1005 secs || 4509 markings, 11120540 edges, 2 markings/sec, 1005 secs
lola: STP running || 1 tries, 112748 fired transitions, 1010 secs || 4526 markings, 11181897 edges, 3 markings/sec, 1010 secs
lola: STP running || 1 tries, 113302 fired transitions, 1015 secs || 4536 markings, 11246299 edges, 2 markings/sec, 1015 secs
lola: STP running || 1 tries, 113860 fired transitions, 1020 secs || 4547 markings, 11311739 edges, 2 markings/sec, 1020 secs
lola: STP running || 1 tries, 114418 fired transitions, 1025 secs || 4559 markings, 11376280 edges, 2 markings/sec, 1025 secs
lola: STP running || 1 tries, 114977 fired transitions, 1030 secs || 4574 markings, 11438526 edges, 3 markings/sec, 1030 secs
lola: STP running || 1 tries, 115530 fired transitions, 1035 secs || 4585 markings, 11503453 edges, 2 markings/sec, 1035 secs
lola: STP running || 1 tries, 116085 fired transitions, 1040 secs || 4598 markings, 11566627 edges, 3 markings/sec, 1040 secs
lola: STP running || 1 tries, 116646 fired transitions, 1045 secs || 4607 markings, 11633082 edges, 2 markings/sec, 1045 secs
lola: STP running || 1 tries, 117205 fired transitions, 1050 secs || 4621 markings, 11698063 edges, 3 markings/sec, 1050 secs
lola: STP running || 1 tries, 117766 fired transitions, 1055 secs || 4633 markings, 11761609 edges, 2 markings/sec, 1055 secs
lola: STP running || 1 tries, 118325 fired transitions, 1060 secs || 4644 markings, 11827558 edges, 2 markings/sec, 1060 secs
lola: STP running || 1 tries, 118883 fired transitions, 1065 secs || 4657 markings, 11894041 edges, 3 markings/sec, 1065 secs
lola: STP running || 1 tries, 119442 fired transitions, 1070 secs || 4669 markings, 11961211 edges, 2 markings/sec, 1070 secs
lola: STP running || 1 tries, 119996 fired transitions, 1075 secs || 4682 markings, 12027722 edges, 3 markings/sec, 1075 secs
lola: STP running || 1 tries, 120555 fired transitions, 1080 secs || 4697 markings, 12092259 edges, 3 markings/sec, 1080 secs
lola: STP running || 1 tries, 121115 fired transitions, 1085 secs || 4706 markings, 12159344 edges, 2 markings/sec, 1085 secs
lola: STP running || 1 tries, 121672 fired transitions, 1090 secs || 4719 markings, 12226231 edges, 3 markings/sec, 1090 secs
lola: STP running || 1 tries, 122231 fired transitions, 1095 secs || 4734 markings, 12291646 edges, 3 markings/sec, 1095 secs
lola: STP running || 1 tries, 122785 fired transitions, 1100 secs || 4746 markings, 12358527 edges, 2 markings/sec, 1100 secs
lola: STP running || 1 tries, 123345 fired transitions, 1105 secs || 4759 markings, 12425502 edges, 3 markings/sec, 1105 secs
lola: STP running || 1 tries, 123898 fired transitions, 1110 secs || 4772 markings, 12491881 edges, 3 markings/sec, 1110 secs
lola: STP running || 1 tries, 124449 fired transitions, 1115 secs || 4782 markings, 12559525 edges, 2 markings/sec, 1115 secs
lola: STP running || 1 tries, 124998 fired transitions, 1120 secs || 4794 markings, 12626431 edges, 2 markings/sec, 1120 secs
lola: STP running || 1 tries, 125546 fired transitions, 1125 secs || 4807 markings, 12692670 edges, 3 markings/sec, 1125 secs
lola: STP running || 1 tries, 126093 fired transitions, 1130 secs || 4816 markings, 12761147 edges, 2 markings/sec, 1130 secs
lola: STP running || 1 tries, 126642 fired transitions, 1135 secs || 4824 markings, 12830491 edges, 2 markings/sec, 1135 secs
lola: STP running || 1 tries, 127191 fired transitions, 1140 secs || 4834 markings, 12899384 edges, 2 markings/sec, 1140 secs
lola: STP running || 1 tries, 127745 fired transitions, 1145 secs || 4841 markings, 12969038 edges, 1 markings/sec, 1145 secs
lola: STP running || 1 tries, 128300 fired transitions, 1150 secs || 4850 markings, 13038343 edges, 2 markings/sec, 1150 secs
lola: STP running || 1 tries, 128857 fired transitions, 1155 secs || 4858 markings, 13108372 edges, 2 markings/sec, 1155 secs
lola: STP running || 1 tries, 129412 fired transitions, 1160 secs || 4866 markings, 13178445 edges, 2 markings/sec, 1160 secs
lola: STP running || 1 tries, 129971 fired transitions, 1165 secs || 4871 markings, 13250423 edges, 1 markings/sec, 1165 secs
lola: STP running || 1 tries, 130521 fired transitions, 1170 secs || 4871 markings, 13324521 edges, 0 markings/sec, 1170 secs
lola: STP running || 1 tries, 131072 fired transitions, 1175 secs || 4871 markings, 13398187 edges, 0 markings/sec, 1175 secs
lola: STP running || 1 tries, 131628 fired transitions, 1180 secs || 4871 markings, 13471739 edges, 0 markings/sec, 1180 secs
lola: STP running || 1 tries, 132187 fired transitions, 1185 secs || 4871 markings, 13545046 edges, 0 markings/sec, 1185 secs
lola: STP running || 1 tries, 132748 fired transitions, 1190 secs || 4871 markings, 13618123 edges, 0 markings/sec, 1190 secs
lola: STP running || 1 tries, 133306 fired transitions, 1195 secs || 4871 markings, 13691322 edges, 0 markings/sec, 1195 secs
lola: STP running || 1 tries, 133864 fired transitions, 1200 secs || 4871 markings, 13763874 edges, 0 markings/sec, 1200 secs
lola: STP running || 1 tries, 134421 fired transitions, 1205 secs || 4871 markings, 13836741 edges, 0 markings/sec, 1205 secs
lola: STP running || 1 tries, 134977 fired transitions, 1210 secs || 4871 markings, 13909880 edges, 0 markings/sec, 1210 secs
lola: STP running || 1 tries, 135535 fired transitions, 1215 secs || 4871 markings, 13981795 edges, 0 markings/sec, 1215 secs
lola: STP running || 1 tries, 136088 fired transitions, 1220 secs || 4871 markings, 14052920 edges, 0 markings/sec, 1220 secs
lola: STP running || 1 tries, 136638 fired transitions, 1225 secs || 4871 markings, 14123809 edges, 0 markings/sec, 1225 secs
lola: STP running || 1 tries, 137194 fired transitions, 1230 secs || 4871 markings, 14193558 edges, 0 markings/sec, 1230 secs
lola: STP running || 1 tries, 137752 fired transitions, 1235 secs || 4871 markings, 14262992 edges, 0 markings/sec, 1235 secs
lola: STP running || 1 tries, 138311 fired transitions, 1240 secs || 4871 markings, 14333597 edges, 0 markings/sec, 1240 secs
lola: STP running || 1 tries, 138870 fired transitions, 1245 secs || 4871 markings, 14402855 edges, 0 markings/sec, 1245 secs
lola: STP running || 1 tries, 139433 fired transitions, 1250 secs || 4871 markings, 14474868 edges, 0 markings/sec, 1250 secs
lola: STP running || 1 tries, 140001 fired transitions, 1255 secs || 4871 markings, 14546352 edges, 0 markings/sec, 1255 secs
lola: STP running || 1 tries, 140563 fired transitions, 1260 secs || 4871 markings, 14617211 edges, 0 markings/sec, 1260 secs
lola: STP running || 1 tries, 141116 fired transitions, 1265 secs || 4871 markings, 14688189 edges, 0 markings/sec, 1265 secs
lola: STP running || 1 tries, 141667 fired transitions, 1270 secs || 4871 markings, 14757634 edges, 0 markings/sec, 1270 secs
lola: STP running || 1 tries, 142220 fired transitions, 1275 secs || 4871 markings, 14826933 edges, 0 markings/sec, 1275 secs
lola: STP running || 1 tries, 142769 fired transitions, 1280 secs || 4871 markings, 14894740 edges, 0 markings/sec, 1280 secs
lola: STP running || 1 tries, 143318 fired transitions, 1285 secs || 4871 markings, 14960874 edges, 0 markings/sec, 1285 secs
lola: STP running || 1 tries, 143870 fired transitions, 1290 secs || 4871 markings, 15028038 edges, 0 markings/sec, 1290 secs
lola: STP running || 1 tries, 144423 fired transitions, 1295 secs || 4871 markings, 15093602 edges, 0 markings/sec, 1295 secs
lola: STP running || 1 tries, 144975 fired transitions, 1300 secs || 4871 markings, 15157818 edges, 0 markings/sec, 1300 secs
lola: STP running || 1 tries, 145528 fired transitions, 1305 secs || 4871 markings, 15221968 edges, 0 markings/sec, 1305 secs
lola: STP running || 1 tries, 146082 fired transitions, 1310 secs || 4871 markings, 15283751 edges, 0 markings/sec, 1310 secs
lola: STP running || 1 tries, 146638 fired transitions, 1315 secs || 4871 markings, 15345161 edges, 0 markings/sec, 1315 secs
lola: STP running || 1 tries, 147191 fired transitions, 1320 secs || 4871 markings, 15407041 edges, 0 markings/sec, 1320 secs
lola: STP running || 1 tries, 147742 fired transitions, 1325 secs || 4871 markings, 15469313 edges, 0 markings/sec, 1325 secs
lola: STP running || 1 tries, 148297 fired transitions, 1330 secs || 4871 markings, 15533186 edges, 0 markings/sec, 1330 secs
lola: STP running || 1 tries, 148850 fired transitions, 1335 secs || 4871 markings, 15602299 edges, 0 markings/sec, 1335 secs
lola: STP running || 1 tries, 149402 fired transitions, 1340 secs || 4871 markings, 15668998 edges, 0 markings/sec, 1340 secs
lola: STP running || 1 tries, 149961 fired transitions, 1345 secs || 4871 markings, 15737706 edges, 0 markings/sec, 1345 secs
lola: STP running || 1 tries, 150517 fired transitions, 1350 secs || 4871 markings, 15806001 edges, 0 markings/sec, 1350 secs
lola: STP running || 1 tries, 151065 fired transitions, 1355 secs || 4871 markings, 15873166 edges, 0 markings/sec, 1355 secs
lola: STP running || 1 tries, 151613 fired transitions, 1360 secs || 4871 markings, 15942034 edges, 0 markings/sec, 1360 secs
lola: STP running || 1 tries, 152170 fired transitions, 1365 secs || 4871 markings, 16009910 edges, 0 markings/sec, 1365 secs
lola: STP running || 1 tries, 152726 fired transitions, 1370 secs || 4871 markings, 16076323 edges, 0 markings/sec, 1370 secs
lola: STP running || 1 tries, 153286 fired transitions, 1375 secs || 4871 markings, 16143127 edges, 0 markings/sec, 1375 secs
lola: STP running || 1 tries, 153842 fired transitions, 1380 secs || 4871 markings, 16207655 edges, 0 markings/sec, 1380 secs
lola: STP running || 1 tries, 154401 fired transitions, 1385 secs || 4871 markings, 16272375 edges, 0 markings/sec, 1385 secs
lola: STP running || 1 tries, 154954 fired transitions, 1390 secs || 4871 markings, 16340322 edges, 0 markings/sec, 1390 secs
lola: STP running || 1 tries, 155511 fired transitions, 1395 secs || 4871 markings, 16407726 edges, 0 markings/sec, 1395 secs
lola: STP running || 1 tries, 156070 fired transitions, 1400 secs || 4871 markings, 16472088 edges, 0 markings/sec, 1400 secs
lola: STP running || 1 tries, 156626 fired transitions, 1405 secs || 4871 markings, 16537148 edges, 0 markings/sec, 1405 secs
lola: STP running || 1 tries, 157178 fired transitions, 1410 secs || 4871 markings, 16603350 edges, 0 markings/sec, 1410 secs
lola: STP running || 1 tries, 157735 fired transitions, 1415 secs || 4871 markings, 16667995 edges, 0 markings/sec, 1415 secs
lola: STP running || 1 tries, 158287 fired transitions, 1420 secs || 4871 markings, 16732767 edges, 0 markings/sec, 1420 secs
lola: STP running || 1 tries, 158841 fired transitions, 1425 secs || 4871 markings, 16800620 edges, 0 markings/sec, 1425 secs
lola: STP running || 1 tries, 159390 fired transitions, 1430 secs || 4871 markings, 16868053 edges, 0 markings/sec, 1430 secs
lola: STP running || 1 tries, 159944 fired transitions, 1435 secs || 4871 markings, 16933426 edges, 0 markings/sec, 1435 secs
lola: STP running || 1 tries, 160497 fired transitions, 1440 secs || 4871 markings, 17001652 edges, 0 markings/sec, 1440 secs
lola: STP running || 1 tries, 161051 fired transitions, 1445 secs || 4871 markings, 17068952 edges, 0 markings/sec, 1445 secs
lola: STP running || 1 tries, 161607 fired transitions, 1450 secs || 4871 markings, 17135816 edges, 0 markings/sec, 1450 secs
lola: STP running || 1 tries, 162164 fired transitions, 1455 secs || 4871 markings, 17200488 edges, 0 markings/sec, 1455 secs
lola: STP running || 1 tries, 162721 fired transitions, 1460 secs || 4871 markings, 17266037 edges, 0 markings/sec, 1460 secs
lola: STP running || 1 tries, 163279 fired transitions, 1465 secs || 4871 markings, 17330381 edges, 0 markings/sec, 1465 secs
lola: STP running || 1 tries, 163830 fired transitions, 1470 secs || 4871 markings, 17393665 edges, 0 markings/sec, 1470 secs
lola: STP running || 1 tries, 164388 fired transitions, 1475 secs || 4871 markings, 17459410 edges, 0 markings/sec, 1475 secs
lola: STP running || 1 tries, 164948 fired transitions, 1480 secs || 4871 markings, 17523659 edges, 0 markings/sec, 1480 secs
lola: STP running || 1 tries, 165504 fired transitions, 1485 secs || 4871 markings, 17586751 edges, 0 markings/sec, 1485 secs
lola: STP running || 1 tries, 166060 fired transitions, 1490 secs || 4871 markings, 17649530 edges, 0 markings/sec, 1490 secs
lola: STP running || 1 tries, 166615 fired transitions, 1495 secs || 4871 markings, 17711671 edges, 0 markings/sec, 1495 secs
lola: STP running || 1 tries, 167166 fired transitions, 1500 secs || 4871 markings, 17772733 edges, 0 markings/sec, 1500 secs
lola: STP running || 1 tries, 167722 fired transitions, 1505 secs || 4871 markings, 17834063 edges, 0 markings/sec, 1505 secs
lola: STP running || 1 tries, 168274 fired transitions, 1510 secs || 4871 markings, 17895547 edges, 0 markings/sec, 1510 secs
lola: STP running || 1 tries, 168829 fired transitions, 1515 secs || 4871 markings, 17956871 edges, 0 markings/sec, 1515 secs
lola: STP running || 1 tries, 169383 fired transitions, 1520 secs || 4871 markings, 18018029 edges, 0 markings/sec, 1520 secs
lola: STP running || 1 tries, 169938 fired transitions, 1525 secs || 4871 markings, 18078546 edges, 0 markings/sec, 1525 secs
lola: STP running || 1 tries, 170497 fired transitions, 1530 secs || 4871 markings, 18137611 edges, 0 markings/sec, 1530 secs
lola: STP running || 1 tries, 171051 fired transitions, 1535 secs || 4871 markings, 18196199 edges, 0 markings/sec, 1535 secs
lola: STP running || 1 tries, 171611 fired transitions, 1540 secs || 4871 markings, 18254123 edges, 0 markings/sec, 1540 secs
lola: STP running || 1 tries, 172164 fired transitions, 1545 secs || 4871 markings, 18313405 edges, 0 markings/sec, 1545 secs
lola: STP running || 1 tries, 172715 fired transitions, 1550 secs || 4871 markings, 18373485 edges, 0 markings/sec, 1550 secs
lola: STP running || 1 tries, 173273 fired transitions, 1555 secs || 4871 markings, 18436687 edges, 0 markings/sec, 1555 secs
lola: STP running || 1 tries, 173826 fired transitions, 1560 secs || 4871 markings, 18499598 edges, 0 markings/sec, 1560 secs
lola: STP running || 1 tries, 174384 fired transitions, 1565 secs || 4871 markings, 18560100 edges, 0 markings/sec, 1565 secs
lola: STP running || 1 tries, 174939 fired transitions, 1570 secs || 4871 markings, 18622769 edges, 0 markings/sec, 1570 secs
lola: STP running || 1 tries, 175497 fired transitions, 1575 secs || 4871 markings, 18685057 edges, 0 markings/sec, 1575 secs
lola: STP running || 1 tries, 176048 fired transitions, 1580 secs || 4871 markings, 18746297 edges, 0 markings/sec, 1580 secs
lola: STP running || 1 tries, 176606 fired transitions, 1585 secs || 4871 markings, 18808974 edges, 0 markings/sec, 1585 secs
lola: STP running || 1 tries, 177160 fired transitions, 1590 secs || 4871 markings, 18869403 edges, 0 markings/sec, 1590 secs
lola: STP running || 1 tries, 177710 fired transitions, 1595 secs || 4871 markings, 18929357 edges, 0 markings/sec, 1595 secs
lola: STP running || 1 tries, 178258 fired transitions, 1600 secs || 4871 markings, 18987571 edges, 0 markings/sec, 1600 secs
lola: STP running || 1 tries, 178814 fired transitions, 1605 secs || 4871 markings, 19045681 edges, 0 markings/sec, 1605 secs
lola: STP running || 1 tries, 179366 fired transitions, 1610 secs || 4871 markings, 19102803 edges, 0 markings/sec, 1610 secs
lola: STP running || 1 tries, 179926 fired transitions, 1615 secs || 4871 markings, 19159573 edges, 0 markings/sec, 1615 secs
lola: STP running || 1 tries, 180483 fired transitions, 1620 secs || 4871 markings, 19217143 edges, 0 markings/sec, 1620 secs
lola: STP running || 1 tries, 181043 fired transitions, 1625 secs || 4871 markings, 19275689 edges, 0 markings/sec, 1625 secs
lola: STP running || 1 tries, 181595 fired transitions, 1630 secs || 4871 markings, 19335531 edges, 0 markings/sec, 1630 secs
lola: STP running || 1 tries, 182155 fired transitions, 1635 secs || 4871 markings, 19395701 edges, 0 markings/sec, 1635 secs
lola: STP running || 1 tries, 182713 fired transitions, 1640 secs || 4871 markings, 19456592 edges, 0 markings/sec, 1640 secs
lola: STP running || 1 tries, 183268 fired transitions, 1645 secs || 4871 markings, 19517623 edges, 0 markings/sec, 1645 secs
lola: STP running || 1 tries, 183821 fired transitions, 1650 secs || 4871 markings, 19576383 edges, 0 markings/sec, 1650 secs
lola: STP running || 1 tries, 184377 fired transitions, 1655 secs || 4871 markings, 19635331 edges, 0 markings/sec, 1655 secs
lola: STP running || 1 tries, 184933 fired transitions, 1660 secs || 4871 markings, 19693984 edges, 0 markings/sec, 1660 secs
lola: STP running || 1 tries, 185487 fired transitions, 1665 secs || 4871 markings, 19753401 edges, 0 markings/sec, 1665 secs
lola: STP running || 1 tries, 186040 fired transitions, 1670 secs || 4871 markings, 19811501 edges, 0 markings/sec, 1670 secs
lola: STP running || 1 tries, 186594 fired transitions, 1675 secs || 4871 markings, 19869149 edges, 0 markings/sec, 1675 secs
lola: STP running || 1 tries, 187147 fired transitions, 1680 secs || 4871 markings, 19926912 edges, 0 markings/sec, 1680 secs
lola: STP running || 1 tries, 187700 fired transitions, 1685 secs || 4871 markings, 19984929 edges, 0 markings/sec, 1685 secs
lola: STP running || 1 tries, 188253 fired transitions, 1690 secs || 4871 markings, 20044912 edges, 0 markings/sec, 1690 secs
lola: STP running || 1 tries, 188810 fired transitions, 1695 secs || 4871 markings, 20104266 edges, 0 markings/sec, 1695 secs
lola: STP running || 1 tries, 189366 fired transitions, 1700 secs || 4871 markings, 20161250 edges, 0 markings/sec, 1700 secs
lola: STP running || 1 tries, 189925 fired transitions, 1705 secs || 4871 markings, 20217742 edges, 0 markings/sec, 1705 secs
lola: STP running || 1 tries, 190479 fired transitions, 1710 secs || 4871 markings, 20274376 edges, 0 markings/sec, 1710 secs
lola: STP running || 1 tries, 191039 fired transitions, 1715 secs || 4871 markings, 20330300 edges, 0 markings/sec, 1715 secs
lola: STP running || 1 tries, 191595 fired transitions, 1720 secs || 4871 markings, 20385233 edges, 0 markings/sec, 1720 secs
lola: STP running || 1 tries, 192145 fired transitions, 1725 secs || 4871 markings, 20442053 edges, 0 markings/sec, 1725 secs
lola: STP running || 1 tries, 192702 fired transitions, 1730 secs || 4871 markings, 20500616 edges, 0 markings/sec, 1730 secs
lola: STP running || 1 tries, 193258 fired transitions, 1735 secs || 4871 markings, 20555140 edges, 0 markings/sec, 1735 secs
lola: STP running || 1 tries, 193807 fired transitions, 1740 secs || 4871 markings, 20609769 edges, 0 markings/sec, 1740 secs
lola: STP running || 1 tries, 194360 fired transitions, 1745 secs || 4871 markings, 20665514 edges, 0 markings/sec, 1745 secs
lola: STP running || 1 tries, 194913 fired transitions, 1750 secs || 4871 markings, 20721189 edges, 0 markings/sec, 1750 secs
lola: STP running || 1 tries, 195464 fired transitions, 1755 secs || 4871 markings, 20776633 edges, 0 markings/sec, 1755 secs
lola: STP running || 1 tries, 196018 fired transitions, 1760 secs || 4871 markings, 20832129 edges, 0 markings/sec, 1760 secs
lola: STP running || 1 tries, 196571 fired transitions, 1765 secs || 4871 markings, 20889812 edges, 0 markings/sec, 1765 secs
lola: STP running || 1 tries, 197122 fired transitions, 1770 secs || 4871 markings, 20947725 edges, 0 markings/sec, 1770 secs
lola: STP running || 1 tries, 197673 fired transitions, 1775 secs || 4871 markings, 21007164 edges, 0 markings/sec, 1775 secs
lola: STP running || 1 tries, 198228 fired transitions, 1780 secs || 4871 markings, 21065217 edges, 0 markings/sec, 1780 secs
lola: STP running || 1 tries, 198782 fired transitions, 1785 secs || 4871 markings, 21121134 edges, 0 markings/sec, 1785 secs
lola: STP running || 1 tries, 199338 fired transitions, 1790 secs || 4871 markings, 21175312 edges, 0 markings/sec, 1790 secs
lola: STP running || 1 tries, 199894 fired transitions, 1795 secs || 4871 markings, 21228377 edges, 0 markings/sec, 1795 secs
lola: STP running || 1 tries, 200444 fired transitions, 1800 secs || 4871 markings, 21282629 edges, 0 markings/sec, 1800 secs
lola: STP running || 1 tries, 200998 fired transitions, 1805 secs || 4871 markings, 21337482 edges, 0 markings/sec, 1805 secs
lola: STP running || 1 tries, 201551 fired transitions, 1810 secs || 4871 markings, 21393380 edges, 0 markings/sec, 1810 secs
lola: STP running || 1 tries, 202108 fired transitions, 1815 secs || 4871 markings, 21447754 edges, 0 markings/sec, 1815 secs
lola: STP running || 1 tries, 202655 fired transitions, 1820 secs || 4871 markings, 21503035 edges, 0 markings/sec, 1820 secs
lola: STP running || 1 tries, 203208 fired transitions, 1825 secs || 4871 markings, 21562343 edges, 0 markings/sec, 1825 secs
lola: STP running || 1 tries, 203767 fired transitions, 1830 secs || 4871 markings, 21623619 edges, 0 markings/sec, 1830 secs
lola: STP running || 1 tries, 204325 fired transitions, 1835 secs || 4871 markings, 21684005 edges, 0 markings/sec, 1835 secs
lola: STP running || 1 tries, 204882 fired transitions, 1840 secs || 4871 markings, 21745684 edges, 0 markings/sec, 1840 secs
lola: STP running || 1 tries, 205438 fired transitions, 1845 secs || 4871 markings, 21801966 edges, 0 markings/sec, 1845 secs
lola: STP running || 1 tries, 205997 fired transitions, 1850 secs || 4871 markings, 21857076 edges, 0 markings/sec, 1850 secs
lola: STP running || 1 tries, 206553 fired transitions, 1855 secs || 4871 markings, 21911983 edges, 0 markings/sec, 1855 secs
lola: STP running || 1 tries, 207110 fired transitions, 1860 secs || 4871 markings, 21967215 edges, 0 markings/sec, 1860 secs
lola: STP running || 1 tries, 207665 fired transitions, 1865 secs || 4871 markings, 22021332 edges, 0 markings/sec, 1865 secs
lola: STP running || 1 tries, 208218 fired transitions, 1870 secs || 4871 markings, 22075199 edges, 0 markings/sec, 1870 secs
lola: STP running || 1 tries, 208776 fired transitions, 1875 secs || 4871 markings, 22128373 edges, 0 markings/sec, 1875 secs
lola: STP running || 1 tries, 209328 fired transitions, 1880 secs || 4871 markings, 22182168 edges, 0 markings/sec, 1880 secs
lola: STP running || 1 tries, 209881 fired transitions, 1885 secs || 4871 markings, 22238236 edges, 0 markings/sec, 1885 secs
lola: STP running || 1 tries, 210433 fired transitions, 1890 secs || 4871 markings, 22293685 edges, 0 markings/sec, 1890 secs
lola: STP running || 1 tries, 210989 fired transitions, 1895 secs || 4871 markings, 22349179 edges, 0 markings/sec, 1895 secs
lola: STP running || 1 tries, 211544 fired transitions, 1900 secs || 4871 markings, 22404375 edges, 0 markings/sec, 1900 secs
lola: STP running || 1 tries, 212095 fired transitions, 1905 secs || 4871 markings, 22458474 edges, 0 markings/sec, 1905 secs
lola: STP running || 1 tries, 212653 fired transitions, 1910 secs || 4871 markings, 22513039 edges, 0 markings/sec, 1910 secs
lola: STP running || 1 tries, 213210 fired transitions, 1915 secs || 4871 markings, 22568460 edges, 0 markings/sec, 1915 secs
lola: STP running || 1 tries, 213763 fired transitions, 1920 secs || 4871 markings, 22623635 edges, 0 markings/sec, 1920 secs
lola: STP running || 1 tries, 214318 fired transitions, 1925 secs || 4871 markings, 22682397 edges, 0 markings/sec, 1925 secs
lola: STP running || 1 tries, 214872 fired transitions, 1930 secs || 4871 markings, 22737110 edges, 0 markings/sec, 1930 secs
lola: STP running || 1 tries, 215419 fired transitions, 1935 secs || 4871 markings, 22792775 edges, 0 markings/sec, 1935 secs
lola: STP running || 1 tries, 215970 fired transitions, 1940 secs || 4871 markings, 22847869 edges, 0 markings/sec, 1940 secs
lola: STP running || 1 tries, 216522 fired transitions, 1945 secs || 4871 markings, 22903397 edges, 0 markings/sec, 1945 secs
lola: STP running || 1 tries, 217072 fired transitions, 1950 secs || 4871 markings, 22958081 edges, 0 markings/sec, 1950 secs
lola: STP running || 1 tries, 217628 fired transitions, 1955 secs || 4871 markings, 23013504 edges, 0 markings/sec, 1955 secs
lola: STP running || 1 tries, 218185 fired transitions, 1960 secs || 4871 markings, 23070072 edges, 0 markings/sec, 1960 secs
lola: STP running || 1 tries, 218737 fired transitions, 1965 secs || 4871 markings, 23127242 edges, 0 markings/sec, 1965 secs
lola: STP running || 1 tries, 219289 fired transitions, 1970 secs || 4871 markings, 23182518 edges, 0 markings/sec, 1970 secs
lola: STP running || 1 tries, 219844 fired transitions, 1975 secs || 4871 markings, 23236547 edges, 0 markings/sec, 1975 secs
lola: RESULT
lola: result: no
lola: produced by: state space
lola: The net does not have deadlocks.
lola: 4871 markings, 23249707 edges
FORMULA Dekker-PT-100-ReachabilityDeadlock-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494626556089
--------------------
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="Dekker-PT-100"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/Dekker-PT-100.tgz
mv Dekker-PT-100 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is Dekker-PT-100, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r018-ebro-149436309000215"
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 ;