About the Execution of LoLA for DLCround-PT-04a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8598.520 | 2660418.00 | 5329189.00 | 342.50 | 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-3254
Executing tool lola
Input is DLCround-PT-04a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961600224
=====================================================================
--------------------
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 DLCround-PT-04a-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1496537234523
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DLCround-PT-04a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DLCround-PT-04a: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
ReachabilityDeadlock @ DLCround-PT-04a @ 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: 962/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 139 places, 823 transitions, 70 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 700 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-04a-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 12 bytes per marking, with 26 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: 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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 26 generators (11 in search tree, 15 by composition)
lola: representing 46080 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 12230 variables and 50590 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 67410 fired transitions, 0 secs || 108026 markings, 1698775 edges, 21605 markings/sec, 0 secs
lola: STP completed || 1 tries, 146974 fired transitions, 5 secs || 227213 markings, 3530241 edges, 23837 markings/sec, 5 secs
lola: STP completed || 1 tries, 231549 fired transitions, 10 secs || 361384 markings, 5553267 edges, 26834 markings/sec, 10 secs
lola: STP completed || 1 tries, 311874 fired transitions, 15 secs || 490254 markings, 7539687 edges, 25774 markings/sec, 15 secs
lola: STP completed || 1 tries, 395015 fired transitions, 20 secs || 625184 markings, 9584331 edges, 26986 markings/sec, 20 secs
lola: STP completed || 1 tries, 480145 fired transitions, 25 secs || 750442 markings, 11535097 edges, 25052 markings/sec, 25 secs
lola: STP completed || 1 tries, 560035 fired transitions, 30 secs || 881655 markings, 13517812 edges, 26243 markings/sec, 30 secs
lola: STP completed || 1 tries, 639447 fired transitions, 35 secs || 1011145 markings, 15472646 edges, 25898 markings/sec, 35 secs
lola: STP completed || 1 tries, 719639 fired transitions, 40 secs || 1146733 markings, 17506770 edges, 27118 markings/sec, 40 secs
lola: STP completed || 1 tries, 797372 fired transitions, 45 secs || 1277540 markings, 19459712 edges, 26161 markings/sec, 45 secs
lola: STP completed || 1 tries, 873629 fired transitions, 50 secs || 1403538 markings, 21422701 edges, 25200 markings/sec, 50 secs
lola: STP completed || 1 tries, 950433 fired transitions, 55 secs || 1532053 markings, 23336475 edges, 25703 markings/sec, 55 secs
lola: STP completed || 2 tries, 1026535 fired transitions, 60 secs || 1660400 markings, 25282960 edges, 25669 markings/sec, 60 secs
lola: STP completed || 2 tries, 1100822 fired transitions, 65 secs || 1791166 markings, 27237915 edges, 26153 markings/sec, 65 secs
lola: STP completed || 2 tries, 1174741 fired transitions, 70 secs || 1922019 markings, 29172508 edges, 26171 markings/sec, 70 secs
lola: STP completed || 2 tries, 1250118 fired transitions, 75 secs || 2049370 markings, 31110370 edges, 25470 markings/sec, 75 secs
lola: STP completed || 2 tries, 1325347 fired transitions, 80 secs || 2175244 markings, 33050029 edges, 25175 markings/sec, 80 secs
lola: STP completed || 2 tries, 1404126 fired transitions, 85 secs || 2309305 markings, 35056341 edges, 26812 markings/sec, 85 secs
lola: STP completed || 2 tries, 1486658 fired transitions, 90 secs || 2449740 markings, 37134622 edges, 28087 markings/sec, 90 secs
lola: STP completed || 2 tries, 1568103 fired transitions, 95 secs || 2590279 markings, 39180529 edges, 28108 markings/sec, 95 secs
lola: STP completed || 2 tries, 1650389 fired transitions, 100 secs || 2729562 markings, 41253476 edges, 27857 markings/sec, 100 secs
lola: STP completed || 2 tries, 1733749 fired transitions, 105 secs || 2870258 markings, 43346451 edges, 28139 markings/sec, 105 secs
lola: STP completed || 2 tries, 1815620 fired transitions, 110 secs || 3008908 markings, 45411945 edges, 27730 markings/sec, 110 secs
lola: STP completed || 2 tries, 1898761 fired transitions, 115 secs || 3146585 markings, 47495083 edges, 27535 markings/sec, 115 secs
lola: STP completed || 2 tries, 1979478 fired transitions, 120 secs || 3280083 markings, 49516307 edges, 26700 markings/sec, 120 secs
lola: STP completed || 3 tries, 2059056 fired transitions, 125 secs || 3410426 markings, 51540801 edges, 26069 markings/sec, 125 secs
lola: STP completed || 3 tries, 2133957 fired transitions, 130 secs || 3537511 markings, 53447888 edges, 25417 markings/sec, 130 secs
lola: STP completed || 3 tries, 2211391 fired transitions, 135 secs || 3668475 markings, 55429039 edges, 26193 markings/sec, 135 secs
lola: STP completed || 3 tries, 2290680 fired transitions, 140 secs || 3799930 markings, 57424503 edges, 26291 markings/sec, 140 secs
lola: STP completed || 3 tries, 2365105 fired transitions, 145 secs || 3930726 markings, 59344404 edges, 26159 markings/sec, 145 secs
lola: STP completed || 3 tries, 2438167 fired transitions, 150 secs || 4060119 markings, 61271008 edges, 25879 markings/sec, 150 secs
lola: STP completed || 3 tries, 2512925 fired transitions, 155 secs || 4190195 markings, 63203188 edges, 26015 markings/sec, 155 secs
lola: STP completed || 3 tries, 2587525 fired transitions, 160 secs || 4321134 markings, 65128683 edges, 26188 markings/sec, 160 secs
lola: STP completed || 3 tries, 2660309 fired transitions, 165 secs || 4446365 markings, 67031304 edges, 25046 markings/sec, 165 secs
lola: STP completed || 3 tries, 2733846 fired transitions, 170 secs || 4576858 markings, 68962974 edges, 26099 markings/sec, 170 secs
lola: STP completed || 3 tries, 2807339 fired transitions, 175 secs || 4702751 markings, 70870232 edges, 25179 markings/sec, 175 secs
lola: STP completed || 3 tries, 2878534 fired transitions, 180 secs || 4829415 markings, 72773188 edges, 25333 markings/sec, 180 secs
lola: STP completed || 3 tries, 2950348 fired transitions, 185 secs || 4952260 markings, 74616188 edges, 24569 markings/sec, 185 secs
lola: STP completed || 4 tries, 3024160 fired transitions, 190 secs || 5078851 markings, 76515114 edges, 25318 markings/sec, 190 secs
lola: STP completed || 4 tries, 3097846 fired transitions, 195 secs || 5207501 markings, 78429670 edges, 25730 markings/sec, 195 secs
lola: STP completed || 4 tries, 3172940 fired transitions, 200 secs || 5337424 markings, 80348698 edges, 25985 markings/sec, 200 secs
lola: STP completed || 4 tries, 3246873 fired transitions, 205 secs || 5469614 markings, 82297082 edges, 26438 markings/sec, 205 secs
lola: STP completed || 4 tries, 3321769 fired transitions, 210 secs || 5598483 markings, 84243503 edges, 25774 markings/sec, 210 secs
lola: STP completed || 4 tries, 3396589 fired transitions, 215 secs || 5728073 markings, 86172250 edges, 25918 markings/sec, 215 secs
lola: STP completed || 4 tries, 3470429 fired transitions, 220 secs || 5857619 markings, 88092516 edges, 25909 markings/sec, 220 secs
lola: STP completed || 4 tries, 3543974 fired transitions, 225 secs || 5984990 markings, 90012712 edges, 25474 markings/sec, 225 secs
lola: STP completed || 4 tries, 3618819 fired transitions, 230 secs || 6115131 markings, 91931092 edges, 26028 markings/sec, 230 secs
lola: STP completed || 4 tries, 3690224 fired transitions, 235 secs || 6243773 markings, 93824641 edges, 25728 markings/sec, 235 secs
lola: STP completed || 4 tries, 3763387 fired transitions, 240 secs || 6368849 markings, 95684264 edges, 25015 markings/sec, 240 secs
lola: STP completed || 4 tries, 3837292 fired transitions, 245 secs || 6500491 markings, 97608380 edges, 26328 markings/sec, 245 secs
lola: STP completed || 4 tries, 3911052 fired transitions, 250 secs || 6631142 markings, 99528472 edges, 26130 markings/sec, 250 secs
lola: STP completed || 4 tries, 3985644 fired transitions, 255 secs || 6755299 markings, 101425843 edges, 24831 markings/sec, 255 secs
lola: STP completed || 5 tries, 4062724 fired transitions, 260 secs || 6886033 markings, 103387347 edges, 26147 markings/sec, 260 secs
lola: STP completed || 5 tries, 4146298 fired transitions, 265 secs || 7027961 markings, 105470726 edges, 28386 markings/sec, 265 secs
lola: STP completed || 5 tries, 4227292 fired transitions, 270 secs || 7163655 markings, 107452708 edges, 27139 markings/sec, 270 secs
lola: STP completed || 5 tries, 4308928 fired transitions, 275 secs || 7300913 markings, 109478491 edges, 27452 markings/sec, 275 secs
lola: STP completed || 5 tries, 4390530 fired transitions, 280 secs || 7435870 markings, 111498876 edges, 26991 markings/sec, 280 secs
lola: STP completed || 5 tries, 4472350 fired transitions, 285 secs || 7568577 markings, 113504513 edges, 26541 markings/sec, 285 secs
lola: STP completed || 5 tries, 4554107 fired transitions, 290 secs || 7705821 markings, 115528287 edges, 27449 markings/sec, 290 secs
lola: STP completed || 5 tries, 4635189 fired transitions, 295 secs || 7841651 markings, 117529568 edges, 27166 markings/sec, 295 secs
lola: STP completed || 5 tries, 4716702 fired transitions, 300 secs || 7978602 markings, 119557781 edges, 27390 markings/sec, 300 secs
lola: STP completed || 5 tries, 4799031 fired transitions, 305 secs || 8114001 markings, 121554149 edges, 27080 markings/sec, 305 secs
lola: STP completed || 5 tries, 4877129 fired transitions, 310 secs || 8245228 markings, 123498370 edges, 26245 markings/sec, 310 secs
lola: STP completed || 5 tries, 4958486 fired transitions, 315 secs || 8380703 markings, 125505819 edges, 27095 markings/sec, 315 secs
lola: STP completed || 6 tries, 5040365 fired transitions, 320 secs || 8518977 markings, 127546338 edges, 27655 markings/sec, 320 secs
lola: STP completed || 6 tries, 5122173 fired transitions, 325 secs || 8655925 markings, 129581862 edges, 27390 markings/sec, 325 secs
lola: STP completed || 6 tries, 5203337 fired transitions, 330 secs || 8794848 markings, 131626721 edges, 27785 markings/sec, 330 secs
lola: STP completed || 6 tries, 5284398 fired transitions, 335 secs || 8932781 markings, 133660795 edges, 27587 markings/sec, 335 secs
lola: STP completed || 6 tries, 5366037 fired transitions, 340 secs || 9071974 markings, 135704820 edges, 27839 markings/sec, 340 secs
lola: STP completed || 6 tries, 5447859 fired transitions, 345 secs || 9209274 markings, 137728021 edges, 27460 markings/sec, 345 secs
lola: STP completed || 6 tries, 5526448 fired transitions, 350 secs || 9347954 markings, 139765544 edges, 27736 markings/sec, 350 secs
lola: STP completed || 6 tries, 5607995 fired transitions, 355 secs || 9485226 markings, 141808054 edges, 27454 markings/sec, 355 secs
lola: STP completed || 6 tries, 5689687 fired transitions, 360 secs || 9625566 markings, 143857565 edges, 28068 markings/sec, 360 secs
lola: STP completed || 6 tries, 5766430 fired transitions, 365 secs || 9759870 markings, 145820836 edges, 26861 markings/sec, 365 secs
lola: STP completed || 6 tries, 5847432 fired transitions, 370 secs || 9898836 markings, 147860160 edges, 27793 markings/sec, 370 secs
lola: STP completed || 6 tries, 5929631 fired transitions, 375 secs || 10037775 markings, 149896280 edges, 27788 markings/sec, 375 secs
lola: STP completed || 7 tries, 6009365 fired transitions, 380 secs || 10176015 markings, 151924068 edges, 27648 markings/sec, 380 secs
lola: STP completed || 7 tries, 6087818 fired transitions, 385 secs || 10310799 markings, 153898704 edges, 26957 markings/sec, 385 secs
lola: STP completed || 7 tries, 6163647 fired transitions, 390 secs || 10443212 markings, 155889202 edges, 26483 markings/sec, 390 secs
lola: STP completed || 7 tries, 6238161 fired transitions, 395 secs || 10574228 markings, 157811806 edges, 26203 markings/sec, 395 secs
lola: STP completed || 7 tries, 6308676 fired transitions, 400 secs || 10703313 markings, 159690267 edges, 25817 markings/sec, 400 secs
lola: STP completed || 7 tries, 6380628 fired transitions, 405 secs || 10833057 markings, 161593368 edges, 25949 markings/sec, 405 secs
lola: STP completed || 7 tries, 6455463 fired transitions, 410 secs || 10962402 markings, 163510740 edges, 25869 markings/sec, 410 secs
lola: STP completed || 7 tries, 6531188 fired transitions, 415 secs || 11092729 markings, 165437666 edges, 26065 markings/sec, 415 secs
lola: STP completed || 7 tries, 6607666 fired transitions, 420 secs || 11226174 markings, 167392671 edges, 26689 markings/sec, 420 secs
lola: STP completed || 7 tries, 6685625 fired transitions, 425 secs || 11361288 markings, 169396610 edges, 27023 markings/sec, 425 secs
lola: STP completed || 7 tries, 6762926 fired transitions, 430 secs || 11493913 markings, 171381962 edges, 26525 markings/sec, 430 secs
lola: STP completed || 7 tries, 6840406 fired transitions, 435 secs || 11623876 markings, 173337710 edges, 25993 markings/sec, 435 secs
lola: STP completed || 7 tries, 6918258 fired transitions, 440 secs || 11761807 markings, 175355743 edges, 27586 markings/sec, 440 secs
lola: STP completed || 7 tries, 6999535 fired transitions, 445 secs || 11901668 markings, 177395814 edges, 27972 markings/sec, 445 secs
lola: STP completed || 8 tries, 7081257 fired transitions, 450 secs || 12039018 markings, 179402844 edges, 27470 markings/sec, 450 secs
lola: STP completed || 8 tries, 7161479 fired transitions, 455 secs || 12174571 markings, 181405915 edges, 27111 markings/sec, 455 secs
lola: STP completed || 8 tries, 7238786 fired transitions, 460 secs || 12309149 markings, 183375110 edges, 26916 markings/sec, 460 secs
lola: STP completed || 8 tries, 7320562 fired transitions, 465 secs || 12448472 markings, 185412284 edges, 27865 markings/sec, 465 secs
lola: STP completed || 8 tries, 7397679 fired transitions, 470 secs || 12583448 markings, 187393671 edges, 26995 markings/sec, 470 secs
lola: STP completed || 8 tries, 7479442 fired transitions, 475 secs || 12718999 markings, 189388358 edges, 27110 markings/sec, 475 secs
lola: STP completed || 8 tries, 7559586 fired transitions, 480 secs || 12850323 markings, 191330367 edges, 26265 markings/sec, 480 secs
lola: STP completed || 8 tries, 7640577 fired transitions, 485 secs || 12989720 markings, 193343301 edges, 27879 markings/sec, 485 secs
lola: STP completed || 8 tries, 7722737 fired transitions, 490 secs || 13128030 markings, 195393990 edges, 27662 markings/sec, 490 secs
lola: STP completed || 8 tries, 7804937 fired transitions, 495 secs || 13267267 markings, 197409138 edges, 27847 markings/sec, 495 secs
lola: STP completed || 8 tries, 7885859 fired transitions, 500 secs || 13403322 markings, 199413718 edges, 27211 markings/sec, 500 secs
lola: STP completed || 8 tries, 7962727 fired transitions, 505 secs || 13538704 markings, 201389181 edges, 27076 markings/sec, 505 secs
lola: STP completed || 9 tries, 8041063 fired transitions, 510 secs || 13671267 markings, 203305005 edges, 26513 markings/sec, 510 secs
lola: STP completed || 9 tries, 8120709 fired transitions, 515 secs || 13798298 markings, 205179548 edges, 25406 markings/sec, 515 secs
lola: STP completed || 9 tries, 8197281 fired transitions, 520 secs || 13926395 markings, 207069535 edges, 25619 markings/sec, 520 secs
lola: STP completed || 9 tries, 8266541 fired transitions, 525 secs || 14056726 markings, 208966030 edges, 26066 markings/sec, 525 secs
lola: STP completed || 9 tries, 8340608 fired transitions, 530 secs || 14181709 markings, 210787735 edges, 24997 markings/sec, 530 secs
lola: STP completed || 9 tries, 8412588 fired transitions, 535 secs || 14313055 markings, 212699546 edges, 26269 markings/sec, 535 secs
lola: STP completed || 9 tries, 8481573 fired transitions, 540 secs || 14444378 markings, 214594868 edges, 26265 markings/sec, 540 secs
lola: STP completed || 9 tries, 8549649 fired transitions, 545 secs || 14573891 markings, 216511607 edges, 25903 markings/sec, 545 secs
lola: STP completed || 9 tries, 8622550 fired transitions, 550 secs || 14696429 markings, 218287522 edges, 24508 markings/sec, 550 secs
lola: STP completed || 9 tries, 8695316 fired transitions, 555 secs || 14822823 markings, 220145157 edges, 25279 markings/sec, 555 secs
lola: STP completed || 9 tries, 8768378 fired transitions, 560 secs || 14948391 markings, 221964086 edges, 25114 markings/sec, 560 secs
lola: STP completed || 9 tries, 8841717 fired transitions, 565 secs || 15075713 markings, 223843395 edges, 25464 markings/sec, 565 secs
lola: STP completed || 9 tries, 8916117 fired transitions, 570 secs || 15206961 markings, 225749688 edges, 26250 markings/sec, 570 secs
lola: STP completed || 9 tries, 8986996 fired transitions, 575 secs || 15330324 markings, 227549224 edges, 24673 markings/sec, 575 secs
lola: STP completed || 10 tries, 9060486 fired transitions, 580 secs || 15459112 markings, 229414509 edges, 25758 markings/sec, 580 secs
lola: STP completed || 10 tries, 9133979 fired transitions, 585 secs || 15588044 markings, 231301028 edges, 25786 markings/sec, 585 secs
lola: STP completed || 10 tries, 9208227 fired transitions, 590 secs || 15717412 markings, 233182575 edges, 25874 markings/sec, 590 secs
lola: STP completed || 10 tries, 9282591 fired transitions, 595 secs || 15848893 markings, 235075656 edges, 26296 markings/sec, 595 secs
lola: STP completed || 10 tries, 9359331 fired transitions, 600 secs || 15984093 markings, 237004554 edges, 27040 markings/sec, 600 secs
lola: STP completed || 10 tries, 9440829 fired transitions, 605 secs || 16122893 markings, 239001088 edges, 27760 markings/sec, 605 secs
lola: STP completed || 10 tries, 9522631 fired transitions, 610 secs || 16260069 markings, 241001122 edges, 27435 markings/sec, 610 secs
lola: STP completed || 10 tries, 9603749 fired transitions, 615 secs || 16396994 markings, 242978129 edges, 27385 markings/sec, 615 secs
lola: STP completed || 10 tries, 9683610 fired transitions, 620 secs || 16534041 markings, 244969437 edges, 27409 markings/sec, 620 secs
lola: STP completed || 10 tries, 9763287 fired transitions, 625 secs || 16671366 markings, 246942444 edges, 27465 markings/sec, 625 secs
lola: STP completed || 10 tries, 9844696 fired transitions, 630 secs || 16809583 markings, 248947080 edges, 27643 markings/sec, 630 secs
lola: STP completed || 10 tries, 9925913 fired transitions, 635 secs || 16950508 markings, 250960362 edges, 28185 markings/sec, 635 secs
lola: STP completed || 11 tries, 10006428 fired transitions, 640 secs || 17086008 markings, 252899915 edges, 27100 markings/sec, 640 secs
lola: STP completed || 11 tries, 10087211 fired transitions, 645 secs || 17223120 markings, 254889502 edges, 27422 markings/sec, 645 secs
lola: STP completed || 11 tries, 10168269 fired transitions, 650 secs || 17356020 markings, 256862447 edges, 26580 markings/sec, 650 secs
lola: STP completed || 11 tries, 10248838 fired transitions, 655 secs || 17494621 markings, 258840383 edges, 27720 markings/sec, 655 secs
lola: STP completed || 11 tries, 10330103 fired transitions, 660 secs || 17633825 markings, 260838505 edges, 27841 markings/sec, 660 secs
lola: STP completed || 11 tries, 10410495 fired transitions, 665 secs || 17773190 markings, 262806383 edges, 27873 markings/sec, 665 secs
lola: STP completed || 11 tries, 10490806 fired transitions, 670 secs || 17907978 markings, 264764747 edges, 26958 markings/sec, 670 secs
lola: STP completed || 11 tries, 10571789 fired transitions, 675 secs || 18046105 markings, 266758928 edges, 27625 markings/sec, 675 secs
lola: STP completed || 11 tries, 10648155 fired transitions, 680 secs || 18181927 markings, 268710982 edges, 27164 markings/sec, 680 secs
lola: STP completed || 11 tries, 10727342 fired transitions, 685 secs || 18321183 markings, 270687668 edges, 27851 markings/sec, 685 secs
lola: STP completed || 11 tries, 10808242 fired transitions, 690 secs || 18460508 markings, 272673045 edges, 27865 markings/sec, 690 secs
lola: STP completed || 11 tries, 10889671 fired transitions, 695 secs || 18601769 markings, 274674277 edges, 28252 markings/sec, 695 secs
lola: STP completed || 11 tries, 10970653 fired transitions, 700 secs || 18738978 markings, 276660771 edges, 27442 markings/sec, 700 secs
lola: STP completed || 12 tries, 11051336 fired transitions, 705 secs || 18877119 markings, 278641763 edges, 27628 markings/sec, 705 secs
lola: STP completed || 12 tries, 11132522 fired transitions, 710 secs || 19018655 markings, 280645942 edges, 28307 markings/sec, 710 secs
lola: STP completed || 12 tries, 11213987 fired transitions, 715 secs || 19154996 markings, 282624680 edges, 27268 markings/sec, 715 secs
lola: STP completed || 12 tries, 11295290 fired transitions, 720 secs || 19293933 markings, 284618112 edges, 27787 markings/sec, 720 secs
lola: STP completed || 12 tries, 11375505 fired transitions, 725 secs || 19431530 markings, 286585182 edges, 27519 markings/sec, 725 secs
lola: STP completed || 12 tries, 11455912 fired transitions, 730 secs || 19565923 markings, 288555370 edges, 26879 markings/sec, 730 secs
lola: STP completed || 12 tries, 11535665 fired transitions, 735 secs || 19703536 markings, 290520818 edges, 27523 markings/sec, 735 secs
lola: STP completed || 12 tries, 11615396 fired transitions, 740 secs || 19834611 markings, 292432184 edges, 26215 markings/sec, 740 secs
lola: STP completed || 12 tries, 11696500 fired transitions, 745 secs || 19974460 markings, 294412623 edges, 27970 markings/sec, 745 secs
lola: STP completed || 12 tries, 11776222 fired transitions, 750 secs || 20105256 markings, 296352358 edges, 26159 markings/sec, 750 secs
lola: STP completed || 12 tries, 11856541 fired transitions, 755 secs || 20228337 markings, 298138350 edges, 24616 markings/sec, 755 secs
lola: STP completed || 12 tries, 11936072 fired transitions, 760 secs || 20360620 markings, 300076225 edges, 26457 markings/sec, 760 secs
lola: STP completed || 13 tries, 12006432 fired transitions, 765 secs || 20494314 markings, 301975519 edges, 26739 markings/sec, 765 secs
lola: STP completed || 13 tries, 12080974 fired transitions, 770 secs || 20618719 markings, 303763245 edges, 24881 markings/sec, 770 secs
lola: STP completed || 13 tries, 12152083 fired transitions, 775 secs || 20747478 markings, 305595818 edges, 25752 markings/sec, 775 secs
lola: STP completed || 13 tries, 12223510 fired transitions, 780 secs || 20873421 markings, 307423261 edges, 25189 markings/sec, 780 secs
lola: STP completed || 13 tries, 12295161 fired transitions, 785 secs || 20995530 markings, 309190789 edges, 24422 markings/sec, 785 secs
lola: STP completed || 13 tries, 12366821 fired transitions, 790 secs || 21120580 markings, 310967405 edges, 25010 markings/sec, 790 secs
lola: STP completed || 13 tries, 12438839 fired transitions, 795 secs || 21247916 markings, 312762445 edges, 25467 markings/sec, 795 secs
lola: STP completed || 13 tries, 12510861 fired transitions, 800 secs || 21379416 markings, 314650402 edges, 26300 markings/sec, 800 secs
lola: STP completed || 13 tries, 12588843 fired transitions, 805 secs || 21516106 markings, 316591079 edges, 27338 markings/sec, 805 secs
lola: STP completed || 13 tries, 12671361 fired transitions, 810 secs || 21652881 markings, 318596729 edges, 27355 markings/sec, 810 secs
lola: STP completed || 13 tries, 12749747 fired transitions, 815 secs || 21788250 markings, 320520150 edges, 27074 markings/sec, 815 secs
lola: STP completed || 13 tries, 12826018 fired transitions, 820 secs || 21918957 markings, 322394434 edges, 26141 markings/sec, 820 secs
lola: STP completed || 13 tries, 12903504 fired transitions, 825 secs || 22055007 markings, 324290220 edges, 27210 markings/sec, 825 secs
lola: STP completed || 13 tries, 12978857 fired transitions, 830 secs || 22186868 markings, 326169482 edges, 26372 markings/sec, 830 secs
lola: STP completed || 14 tries, 13054573 fired transitions, 835 secs || 22317718 markings, 328042596 edges, 26170 markings/sec, 835 secs
lola: STP completed || 14 tries, 13133245 fired transitions, 840 secs || 22452317 markings, 329973618 edges, 26920 markings/sec, 840 secs
lola: STP completed || 14 tries, 13217740 fired transitions, 845 secs || 22596143 markings, 332026742 edges, 28765 markings/sec, 845 secs
lola: STP completed || 14 tries, 13299148 fired transitions, 850 secs || 22735252 markings, 334014298 edges, 27822 markings/sec, 850 secs
lola: STP completed || 14 tries, 13381167 fired transitions, 855 secs || 22875080 markings, 336015622 edges, 27966 markings/sec, 855 secs
lola: STP completed || 14 tries, 13461975 fired transitions, 860 secs || 23013682 markings, 337987675 edges, 27720 markings/sec, 860 secs
lola: STP completed || 14 tries, 13543334 fired transitions, 865 secs || 23154435 markings, 339991973 edges, 28151 markings/sec, 865 secs
lola: STP completed || 14 tries, 13624468 fired transitions, 870 secs || 23290096 markings, 341960056 edges, 27132 markings/sec, 870 secs
lola: STP completed || 14 tries, 13705363 fired transitions, 875 secs || 23427799 markings, 343929225 edges, 27541 markings/sec, 875 secs
lola: STP completed || 14 tries, 13786888 fired transitions, 880 secs || 23565334 markings, 345912702 edges, 27507 markings/sec, 880 secs
lola: STP completed || 14 tries, 13868398 fired transitions, 885 secs || 23706531 markings, 347900583 edges, 28239 markings/sec, 885 secs
lola: STP completed || 14 tries, 13949876 fired transitions, 890 secs || 23847197 markings, 349894638 edges, 28133 markings/sec, 890 secs
lola: STP completed || 15 tries, 14031167 fired transitions, 895 secs || 23987222 markings, 351881938 edges, 28005 markings/sec, 895 secs
lola: STP completed || 15 tries, 14112998 fired transitions, 900 secs || 24127270 markings, 353873667 edges, 28010 markings/sec, 900 secs
lola: STP completed || 15 tries, 14194500 fired transitions, 905 secs || 24267399 markings, 355865287 edges, 28026 markings/sec, 905 secs
lola: STP completed || 15 tries, 14275814 fired transitions, 910 secs || 24404901 markings, 357846789 edges, 27500 markings/sec, 910 secs
lola: STP completed || 15 tries, 14357545 fired transitions, 915 secs || 24543313 markings, 359830293 edges, 27682 markings/sec, 915 secs
lola: STP completed || 15 tries, 14439057 fired transitions, 920 secs || 24683124 markings, 361815031 edges, 27962 markings/sec, 920 secs
lola: STP completed || 15 tries, 14519925 fired transitions, 925 secs || 24820632 markings, 363789594 edges, 27502 markings/sec, 925 secs
lola: STP completed || 15 tries, 14601942 fired transitions, 930 secs || 24962697 markings, 365799044 edges, 28413 markings/sec, 930 secs
lola: STP completed || 15 tries, 14683518 fired transitions, 935 secs || 25101609 markings, 367799262 edges, 27782 markings/sec, 935 secs
lola: STP completed || 15 tries, 14765198 fired transitions, 940 secs || 25240063 markings, 369794339 edges, 27691 markings/sec, 940 secs
lola: STP completed || 15 tries, 14846503 fired transitions, 945 secs || 25378871 markings, 371779296 edges, 27762 markings/sec, 945 secs
lola: STP completed || 15 tries, 14927151 fired transitions, 950 secs || 25517734 markings, 373753438 edges, 27773 markings/sec, 950 secs
lola: STP completed || 16 tries, 15006975 fired transitions, 955 secs || 25654931 markings, 375698047 edges, 27439 markings/sec, 955 secs
lola: STP completed || 16 tries, 15087394 fired transitions, 960 secs || 25793763 markings, 377657645 edges, 27766 markings/sec, 960 secs
lola: STP completed || 16 tries, 15167550 fired transitions, 965 secs || 25932600 markings, 379623853 edges, 27767 markings/sec, 965 secs
lola: STP completed || 16 tries, 15248029 fired transitions, 970 secs || 26073666 markings, 381600633 edges, 28213 markings/sec, 970 secs
lola: STP completed || 16 tries, 15328147 fired transitions, 975 secs || 26210006 markings, 383548091 edges, 27268 markings/sec, 975 secs
lola: STP completed || 16 tries, 15408333 fired transitions, 980 secs || 26345885 markings, 385487180 edges, 27176 markings/sec, 980 secs
lola: STP completed || 16 tries, 15488532 fired transitions, 985 secs || 26482985 markings, 387426717 edges, 27420 markings/sec, 985 secs
lola: STP completed || 16 tries, 15568694 fired transitions, 990 secs || 26620524 markings, 389384159 edges, 27508 markings/sec, 990 secs
lola: STP completed || 16 tries, 15649320 fired transitions, 995 secs || 26759089 markings, 391344300 edges, 27713 markings/sec, 995 secs
lola: STP completed || 16 tries, 15729397 fired transitions, 1000 secs || 26896825 markings, 393300572 edges, 27547 markings/sec, 1000 secs
lola: STP completed || 16 tries, 15809436 fired transitions, 1005 secs || 27034837 markings, 395252770 edges, 27602 markings/sec, 1005 secs
lola: STP completed || 16 tries, 15889506 fired transitions, 1010 secs || 27172159 markings, 397207330 edges, 27464 markings/sec, 1010 secs
lola: STP completed || 16 tries, 15967360 fired transitions, 1015 secs || 27305655 markings, 399122000 edges, 26699 markings/sec, 1015 secs
lola: STP completed || 17 tries, 16040992 fired transitions, 1020 secs || 27437567 markings, 401004322 edges, 26382 markings/sec, 1020 secs
lola: STP completed || 17 tries, 16115200 fired transitions, 1025 secs || 27570545 markings, 402872867 edges, 26596 markings/sec, 1025 secs
lola: STP completed || 17 tries, 16194917 fired transitions, 1030 secs || 27711589 markings, 404847146 edges, 28209 markings/sec, 1030 secs
lola: STP completed || 17 tries, 16275057 fired transitions, 1035 secs || 27851452 markings, 406816201 edges, 27973 markings/sec, 1035 secs
lola: STP completed || 17 tries, 16356448 fired transitions, 1040 secs || 27989959 markings, 408787316 edges, 27701 markings/sec, 1040 secs
lola: STP completed || 17 tries, 16437534 fired transitions, 1045 secs || 28129453 markings, 410768998 edges, 27899 markings/sec, 1045 secs
lola: STP completed || 17 tries, 16518368 fired transitions, 1050 secs || 28268467 markings, 412731907 edges, 27803 markings/sec, 1050 secs
lola: STP completed || 17 tries, 16600175 fired transitions, 1055 secs || 28408121 markings, 414708112 edges, 27931 markings/sec, 1055 secs
lola: STP completed || 17 tries, 16681829 fired transitions, 1060 secs || 28548753 markings, 416700219 edges, 28126 markings/sec, 1060 secs
lola: STP completed || 17 tries, 16762906 fired transitions, 1065 secs || 28688283 markings, 418659490 edges, 27906 markings/sec, 1065 secs
lola: STP completed || 17 tries, 16844235 fired transitions, 1070 secs || 28828877 markings, 420643012 edges, 28119 markings/sec, 1070 secs
lola: STP completed || 17 tries, 16925685 fired transitions, 1075 secs || 28968477 markings, 422615421 edges, 27920 markings/sec, 1075 secs
lola: STP completed || 18 tries, 17006452 fired transitions, 1080 secs || 29106626 markings, 424588369 edges, 27630 markings/sec, 1080 secs
lola: STP completed || 18 tries, 17081191 fired transitions, 1085 secs || 29242613 markings, 426477057 edges, 27197 markings/sec, 1085 secs
lola: STP completed || 18 tries, 17156504 fired transitions, 1090 secs || 29374843 markings, 428352013 edges, 26446 markings/sec, 1090 secs
lola: STP completed || 18 tries, 17228727 fired transitions, 1095 secs || 29509766 markings, 430246181 edges, 26985 markings/sec, 1095 secs
lola: STP completed || 18 tries, 17309684 fired transitions, 1100 secs || 29650043 markings, 432227154 edges, 28055 markings/sec, 1100 secs
lola: STP completed || 18 tries, 17390125 fired transitions, 1105 secs || 29792122 markings, 434211055 edges, 28416 markings/sec, 1105 secs
lola: STP completed || 18 tries, 17471841 fired transitions, 1110 secs || 29932260 markings, 436198086 edges, 28028 markings/sec, 1110 secs
lola: STP completed || 18 tries, 17553595 fired transitions, 1115 secs || 30073410 markings, 438178764 edges, 28230 markings/sec, 1115 secs
lola: STP completed || 18 tries, 17634365 fired transitions, 1120 secs || 30214421 markings, 440151184 edges, 28202 markings/sec, 1120 secs
lola: STP completed || 18 tries, 17715618 fired transitions, 1125 secs || 30357932 markings, 442130389 edges, 28702 markings/sec, 1125 secs
lola: STP completed || 18 tries, 17796733 fired transitions, 1130 secs || 30497829 markings, 444103565 edges, 27979 markings/sec, 1130 secs
lola: STP completed || 18 tries, 17878043 fired transitions, 1135 secs || 30639071 markings, 446090032 edges, 28248 markings/sec, 1135 secs
lola: STP completed || 18 tries, 17959823 fired transitions, 1140 secs || 30781554 markings, 448080110 edges, 28497 markings/sec, 1140 secs
lola: STP completed || 19 tries, 18038374 fired transitions, 1145 secs || 30918606 markings, 450023298 edges, 27410 markings/sec, 1145 secs
lola: STP completed || 19 tries, 18116866 fired transitions, 1150 secs || 31053405 markings, 451930439 edges, 26960 markings/sec, 1150 secs
lola: STP completed || 19 tries, 18193592 fired transitions, 1155 secs || 31189427 markings, 453839197 edges, 27204 markings/sec, 1155 secs
lola: STP completed || 19 tries, 18271374 fired transitions, 1160 secs || 31325470 markings, 455744084 edges, 27209 markings/sec, 1160 secs
lola: STP completed || 19 tries, 18349827 fired transitions, 1165 secs || 31462253 markings, 457664804 edges, 27357 markings/sec, 1165 secs
lola: STP completed || 19 tries, 18428583 fired transitions, 1170 secs || 31601115 markings, 459601745 edges, 27772 markings/sec, 1170 secs
lola: STP completed || 19 tries, 18507258 fired transitions, 1175 secs || 31736006 markings, 461507710 edges, 26978 markings/sec, 1175 secs
lola: STP completed || 19 tries, 18585373 fired transitions, 1180 secs || 31870055 markings, 463396676 edges, 26810 markings/sec, 1180 secs
lola: STP completed || 19 tries, 18664094 fired transitions, 1185 secs || 32007863 markings, 465319192 edges, 27562 markings/sec, 1185 secs
lola: STP completed || 19 tries, 18743483 fired transitions, 1190 secs || 32145098 markings, 467257503 edges, 27447 markings/sec, 1190 secs
lola: STP completed || 19 tries, 18816338 fired transitions, 1195 secs || 32276930 markings, 469128669 edges, 26366 markings/sec, 1195 secs
lola: STP completed || 19 tries, 18890880 fired transitions, 1200 secs || 32407224 markings, 470998326 edges, 26059 markings/sec, 1200 secs
lola: STP completed || 19 tries, 18964464 fired transitions, 1205 secs || 32542425 markings, 472876983 edges, 27040 markings/sec, 1205 secs
lola: STP completed || 20 tries, 19040171 fired transitions, 1210 secs || 32674769 markings, 474738405 edges, 26469 markings/sec, 1210 secs
lola: STP completed || 20 tries, 19112169 fired transitions, 1215 secs || 32811018 markings, 476637416 edges, 27250 markings/sec, 1215 secs
lola: STP completed || 20 tries, 19184890 fired transitions, 1220 secs || 32940314 markings, 478498309 edges, 25859 markings/sec, 1220 secs
lola: STP completed || 20 tries, 19261156 fired transitions, 1225 secs || 33076495 markings, 480404991 edges, 27236 markings/sec, 1225 secs
lola: STP completed || 20 tries, 19335419 fired transitions, 1230 secs || 33209509 markings, 482272653 edges, 26603 markings/sec, 1230 secs
lola: STP completed || 20 tries, 19408922 fired transitions, 1235 secs || 33344413 markings, 484162110 edges, 26981 markings/sec, 1235 secs
lola: STP completed || 20 tries, 19487367 fired transitions, 1240 secs || 33482903 markings, 486082942 edges, 27698 markings/sec, 1240 secs
lola: STP completed || 20 tries, 19563407 fired transitions, 1245 secs || 33618280 markings, 487998375 edges, 27075 markings/sec, 1245 secs
lola: STP completed || 20 tries, 19638953 fired transitions, 1250 secs || 33752386 markings, 489879697 edges, 26821 markings/sec, 1250 secs
lola: STP completed || 20 tries, 19710636 fired transitions, 1255 secs || 33887545 markings, 491756256 edges, 27032 markings/sec, 1255 secs
lola: STP completed || 20 tries, 19784874 fired transitions, 1260 secs || 34021198 markings, 493642318 edges, 26731 markings/sec, 1260 secs
lola: STP completed || 20 tries, 19861938 fired transitions, 1265 secs || 34158546 markings, 495574925 edges, 27470 markings/sec, 1265 secs
lola: STP completed || 20 tries, 19942857 fired transitions, 1270 secs || 34296983 markings, 497548453 edges, 27687 markings/sec, 1270 secs
lola: STP completed || 21 tries, 20025572 fired transitions, 1275 secs || 34440849 markings, 499564102 edges, 28773 markings/sec, 1275 secs
lola: STP completed || 21 tries, 20103879 fired transitions, 1280 secs || 34580130 markings, 501530791 edges, 27856 markings/sec, 1280 secs
lola: STP completed || 21 tries, 20178642 fired transitions, 1285 secs || 34716581 markings, 503434516 edges, 27290 markings/sec, 1285 secs
lola: STP completed || 21 tries, 20254068 fired transitions, 1290 secs || 34852913 markings, 505331393 edges, 27266 markings/sec, 1290 secs
lola: STP completed || 21 tries, 20330377 fired transitions, 1295 secs || 34989686 markings, 507235505 edges, 27355 markings/sec, 1295 secs
lola: STP completed || 21 tries, 20413808 fired transitions, 1300 secs || 35134381 markings, 509268839 edges, 28939 markings/sec, 1300 secs
lola: STP completed || 21 tries, 20496994 fired transitions, 1305 secs || 35279068 markings, 511292941 edges, 28937 markings/sec, 1305 secs
lola: STP completed || 21 tries, 20579929 fired transitions, 1310 secs || 35422710 markings, 513307467 edges, 28728 markings/sec, 1310 secs
lola: STP completed || 21 tries, 20661128 fired transitions, 1315 secs || 35564458 markings, 515286877 edges, 28350 markings/sec, 1315 secs
lola: STP completed || 21 tries, 20741528 fired transitions, 1320 secs || 35704037 markings, 517243048 edges, 27916 markings/sec, 1320 secs
lola: STP completed || 21 tries, 20822763 fired transitions, 1325 secs || 35846732 markings, 519227438 edges, 28539 markings/sec, 1325 secs
lola: STP completed || 21 tries, 20903917 fired transitions, 1330 secs || 35991150 markings, 521218539 edges, 28884 markings/sec, 1330 secs
lola: STP completed || 21 tries, 20986046 fired transitions, 1335 secs || 36133915 markings, 523221280 edges, 28553 markings/sec, 1335 secs
lola: STP completed || 22 tries, 21067526 fired transitions, 1340 secs || 36278334 markings, 525213081 edges, 28884 markings/sec, 1340 secs
lola: STP completed || 22 tries, 21151375 fired transitions, 1345 secs || 36426674 markings, 527265251 edges, 29668 markings/sec, 1345 secs
lola: STP completed || 22 tries, 21235065 fired transitions, 1350 secs || 36572256 markings, 529299098 edges, 29116 markings/sec, 1350 secs
lola: STP completed || 22 tries, 21317096 fired transitions, 1355 secs || 36715763 markings, 531309423 edges, 28701 markings/sec, 1355 secs
lola: STP completed || 22 tries, 21398716 fired transitions, 1360 secs || 36856565 markings, 533306904 edges, 28160 markings/sec, 1360 secs
lola: STP completed || 22 tries, 21482665 fired transitions, 1365 secs || 37006260 markings, 535369231 edges, 29939 markings/sec, 1365 secs
lola: STP completed || 22 tries, 21564628 fired transitions, 1370 secs || 37152733 markings, 537383973 edges, 29295 markings/sec, 1370 secs
lola: STP completed || 22 tries, 21645468 fired transitions, 1375 secs || 37298803 markings, 539380406 edges, 29214 markings/sec, 1375 secs
lola: STP completed || 22 tries, 21727167 fired transitions, 1380 secs || 37440045 markings, 541367296 edges, 28248 markings/sec, 1380 secs
lola: STP completed || 22 tries, 21807761 fired transitions, 1385 secs || 37580688 markings, 543333517 edges, 28129 markings/sec, 1385 secs
lola: STP completed || 22 tries, 21888352 fired transitions, 1390 secs || 37723314 markings, 545311144 edges, 28525 markings/sec, 1390 secs
lola: STP completed || 22 tries, 21971094 fired transitions, 1395 secs || 37871585 markings, 547338452 edges, 29654 markings/sec, 1395 secs
lola: STP completed || 23 tries, 22052834 fired transitions, 1400 secs || 38015087 markings, 549336131 edges, 28700 markings/sec, 1400 secs
lola: STP completed || 23 tries, 22134496 fired transitions, 1405 secs || 38162009 markings, 551361362 edges, 29384 markings/sec, 1405 secs
lola: STP completed || 23 tries, 22215997 fired transitions, 1410 secs || 38306907 markings, 553394472 edges, 28980 markings/sec, 1410 secs
lola: STP completed || 23 tries, 22294972 fired transitions, 1415 secs || 38447863 markings, 555330248 edges, 28191 markings/sec, 1415 secs
lola: STP completed || 23 tries, 22376096 fired transitions, 1420 secs || 38593667 markings, 557348862 edges, 29161 markings/sec, 1420 secs
lola: STP completed || 23 tries, 22456336 fired transitions, 1425 secs || 38739306 markings, 559334526 edges, 29128 markings/sec, 1425 secs
lola: STP completed || 23 tries, 22538373 fired transitions, 1430 secs || 38887580 markings, 561362541 edges, 29655 markings/sec, 1430 secs
lola: STP completed || 23 tries, 22620399 fired transitions, 1435 secs || 39036768 markings, 563367632 edges, 29838 markings/sec, 1435 secs
lola: STP completed || 23 tries, 22701628 fired transitions, 1440 secs || 39180661 markings, 565379556 edges, 28779 markings/sec, 1440 secs
lola: STP completed || 23 tries, 22778696 fired transitions, 1445 secs || 39321075 markings, 567348389 edges, 28083 markings/sec, 1445 secs
lola: STP completed || 23 tries, 22852589 fired transitions, 1450 secs || 39458616 markings, 569267000 edges, 27508 markings/sec, 1450 secs
lola: STP completed || 23 tries, 22926241 fired transitions, 1455 secs || 39598510 markings, 571188825 edges, 27979 markings/sec, 1455 secs
lola: STP completed || 24 tries, 23001945 fired transitions, 1460 secs || 39736315 markings, 573103149 edges, 27561 markings/sec, 1460 secs
lola: STP completed || 24 tries, 23076905 fired transitions, 1465 secs || 39873987 markings, 575026197 edges, 27534 markings/sec, 1465 secs
lola: STP completed || 24 tries, 23151081 fired transitions, 1470 secs || 40012908 markings, 576960705 edges, 27784 markings/sec, 1470 secs
lola: STP completed || 24 tries, 23225284 fired transitions, 1475 secs || 40151088 markings, 578928919 edges, 27636 markings/sec, 1475 secs
lola: STP completed || 24 tries, 23299862 fired transitions, 1480 secs || 40288392 markings, 580875888 edges, 27461 markings/sec, 1480 secs
lola: STP completed || 24 tries, 23378059 fired transitions, 1485 secs || 40427740 markings, 582882367 edges, 27870 markings/sec, 1485 secs
lola: STP completed || 24 tries, 23460056 fired transitions, 1490 secs || 40571339 markings, 584961258 edges, 28720 markings/sec, 1490 secs
lola: STP completed || 24 tries, 23541474 fired transitions, 1495 secs || 40715380 markings, 587082253 edges, 28808 markings/sec, 1495 secs
lola: STP completed || 24 tries, 23622263 fired transitions, 1500 secs || 40860029 markings, 589243436 edges, 28930 markings/sec, 1500 secs
lola: STP completed || 24 tries, 23703051 fired transitions, 1505 secs || 40997570 markings, 591482847 edges, 27508 markings/sec, 1505 secs
lola: STP completed || 24 tries, 23784729 fired transitions, 1510 secs || 41100984 markings, 594710481 edges, 20683 markings/sec, 1510 secs
lola: STP completed || 24 tries, 23866874 fired transitions, 1515 secs || 41183609 markings, 598309987 edges, 16525 markings/sec, 1515 secs
lola: STP completed || 24 tries, 23949580 fired transitions, 1520 secs || 41262418 markings, 601975110 edges, 15762 markings/sec, 1520 secs
lola: STP completed || 25 tries, 24033506 fired transitions, 1525 secs || 41337739 markings, 605675889 edges, 15064 markings/sec, 1525 secs
lola: STP completed || 25 tries, 24116818 fired transitions, 1530 secs || 41413534 markings, 609372590 edges, 15159 markings/sec, 1530 secs
lola: STP completed || 25 tries, 24200652 fired transitions, 1535 secs || 41489205 markings, 613073626 edges, 15134 markings/sec, 1535 secs
lola: STP completed || 25 tries, 24283978 fired transitions, 1540 secs || 41565776 markings, 616788112 edges, 15314 markings/sec, 1540 secs
lola: STP completed || 25 tries, 24366508 fired transitions, 1545 secs || 41639508 markings, 620503082 edges, 14746 markings/sec, 1545 secs
lola: STP completed || 25 tries, 24449472 fired transitions, 1550 secs || 41712294 markings, 624279820 edges, 14557 markings/sec, 1550 secs
lola: STP completed || 25 tries, 24533062 fired transitions, 1555 secs || 41787348 markings, 628055639 edges, 15011 markings/sec, 1555 secs
lola: STP completed || 25 tries, 24616737 fired transitions, 1560 secs || 41862129 markings, 631833794 edges, 14956 markings/sec, 1560 secs
lola: STP completed || 25 tries, 24700396 fired transitions, 1565 secs || 41934493 markings, 635626766 edges, 14473 markings/sec, 1565 secs
lola: STP completed || 25 tries, 24783663 fired transitions, 1570 secs || 42006837 markings, 639436453 edges, 14469 markings/sec, 1570 secs
lola: STP completed || 25 tries, 24867514 fired transitions, 1575 secs || 42079055 markings, 643228189 edges, 14444 markings/sec, 1575 secs
lola: STP completed || 25 tries, 24950837 fired transitions, 1580 secs || 42150606 markings, 646984706 edges, 14310 markings/sec, 1580 secs
lola: STP completed || 26 tries, 25034510 fired transitions, 1585 secs || 42221051 markings, 650742976 edges, 14089 markings/sec, 1585 secs
lola: STP completed || 26 tries, 25117157 fired transitions, 1590 secs || 42288928 markings, 654461664 edges, 13575 markings/sec, 1590 secs
lola: STP completed || 26 tries, 25199571 fired transitions, 1595 secs || 42360368 markings, 658158574 edges, 14288 markings/sec, 1595 secs
lola: STP completed || 26 tries, 25282075 fired transitions, 1600 secs || 42429390 markings, 661860698 edges, 13804 markings/sec, 1600 secs
lola: STP completed || 26 tries, 25365597 fired transitions, 1605 secs || 42496047 markings, 665584679 edges, 13331 markings/sec, 1605 secs
lola: STP completed || 26 tries, 25448765 fired transitions, 1610 secs || 42564208 markings, 669295522 edges, 13632 markings/sec, 1610 secs
lola: STP completed || 26 tries, 25530783 fired transitions, 1615 secs || 42630646 markings, 672976143 edges, 13288 markings/sec, 1615 secs
lola: STP completed || 26 tries, 25613821 fired transitions, 1620 secs || 42700084 markings, 676620535 edges, 13888 markings/sec, 1620 secs
lola: STP completed || 26 tries, 25697038 fired transitions, 1625 secs || 42765332 markings, 680294182 edges, 13050 markings/sec, 1625 secs
lola: STP completed || 26 tries, 25779721 fired transitions, 1630 secs || 42832012 markings, 683917681 edges, 13336 markings/sec, 1630 secs
lola: STP completed || 26 tries, 25862774 fired transitions, 1635 secs || 42896174 markings, 687514219 edges, 12832 markings/sec, 1635 secs
lola: STP completed || 26 tries, 25946110 fired transitions, 1640 secs || 42961537 markings, 691125002 edges, 13073 markings/sec, 1640 secs
lola: STP completed || 27 tries, 26027108 fired transitions, 1645 secs || 43026150 markings, 694678672 edges, 12923 markings/sec, 1645 secs
lola: STP completed || 27 tries, 26103455 fired transitions, 1650 secs || 43087375 markings, 698131944 edges, 12245 markings/sec, 1650 secs
lola: STP completed || 27 tries, 26180126 fired transitions, 1655 secs || 43149702 markings, 701545722 edges, 12465 markings/sec, 1655 secs
lola: STP completed || 27 tries, 26259195 fired transitions, 1660 secs || 43210619 markings, 704939666 edges, 12183 markings/sec, 1660 secs
lola: STP completed || 27 tries, 26335279 fired transitions, 1665 secs || 43268524 markings, 708304228 edges, 11581 markings/sec, 1665 secs
lola: STP completed || 27 tries, 26411527 fired transitions, 1670 secs || 43325872 markings, 711654452 edges, 11470 markings/sec, 1670 secs
lola: STP completed || 27 tries, 26489732 fired transitions, 1675 secs || 43383470 markings, 714953515 edges, 11520 markings/sec, 1675 secs
lola: STP completed || 27 tries, 26568982 fired transitions, 1680 secs || 43442290 markings, 718327522 edges, 11764 markings/sec, 1680 secs
lola: STP completed || 27 tries, 26651637 fired transitions, 1685 secs || 43502567 markings, 721780729 edges, 12055 markings/sec, 1685 secs
lola: STP completed || 27 tries, 26734568 fired transitions, 1690 secs || 43559805 markings, 725227169 edges, 11448 markings/sec, 1690 secs
lola: STP completed || 27 tries, 26817076 fired transitions, 1695 secs || 43620725 markings, 728656372 edges, 12184 markings/sec, 1695 secs
lola: STP completed || 27 tries, 26897837 fired transitions, 1700 secs || 43679795 markings, 732062266 edges, 11814 markings/sec, 1700 secs
lola: STP completed || 27 tries, 26980826 fired transitions, 1705 secs || 43739068 markings, 735469700 edges, 11855 markings/sec, 1705 secs
lola: STP completed || 28 tries, 27064095 fired transitions, 1710 secs || 43798939 markings, 738915156 edges, 11974 markings/sec, 1710 secs
lola: STP completed || 28 tries, 27147198 fired transitions, 1715 secs || 43859458 markings, 742339524 edges, 12104 markings/sec, 1715 secs
lola: STP completed || 28 tries, 27229353 fired transitions, 1720 secs || 43917316 markings, 745726231 edges, 11572 markings/sec, 1720 secs
lola: STP completed || 28 tries, 27312778 fired transitions, 1725 secs || 43975669 markings, 749164112 edges, 11671 markings/sec, 1725 secs
lola: STP completed || 28 tries, 27395663 fired transitions, 1730 secs || 44033046 markings, 752574121 edges, 11475 markings/sec, 1730 secs
lola: STP completed || 28 tries, 27479672 fired transitions, 1735 secs || 44092879 markings, 756058528 edges, 11967 markings/sec, 1735 secs
lola: STP completed || 28 tries, 27561350 fired transitions, 1740 secs || 44150741 markings, 759443705 edges, 11572 markings/sec, 1740 secs
lola: STP completed || 28 tries, 27640347 fired transitions, 1745 secs || 44206515 markings, 762773894 edges, 11155 markings/sec, 1745 secs
lola: STP completed || 28 tries, 27726088 fired transitions, 1750 secs || 44267239 markings, 766277637 edges, 12145 markings/sec, 1750 secs
lola: STP completed || 28 tries, 27812009 fired transitions, 1755 secs || 44327842 markings, 769795022 edges, 12121 markings/sec, 1755 secs
lola: STP completed || 28 tries, 27891658 fired transitions, 1760 secs || 44383951 markings, 773130062 edges, 11222 markings/sec, 1760 secs
lola: STP completed || 28 tries, 27966760 fired transitions, 1765 secs || 44440228 markings, 776389912 edges, 11255 markings/sec, 1765 secs
lola: STP completed || 29 tries, 28043370 fired transitions, 1770 secs || 44494007 markings, 779639556 edges, 10756 markings/sec, 1770 secs
lola: STP completed || 29 tries, 28120826 fired transitions, 1775 secs || 44548768 markings, 782878996 edges, 10952 markings/sec, 1775 secs
lola: STP completed || 29 tries, 28197458 fired transitions, 1780 secs || 44604244 markings, 786101844 edges, 11095 markings/sec, 1780 secs
lola: STP completed || 29 tries, 28275474 fired transitions, 1785 secs || 44660115 markings, 789344833 edges, 11174 markings/sec, 1785 secs
lola: STP completed || 29 tries, 28358651 fired transitions, 1790 secs || 44717409 markings, 792762497 edges, 11459 markings/sec, 1790 secs
lola: STP completed || 29 tries, 28445466 fired transitions, 1795 secs || 44777240 markings, 796287894 edges, 11966 markings/sec, 1795 secs
lola: STP completed || 29 tries, 28531879 fired transitions, 1800 secs || 44833603 markings, 799774378 edges, 11273 markings/sec, 1800 secs
lola: STP completed || 29 tries, 28617701 fired transitions, 1805 secs || 44892407 markings, 803266437 edges, 11761 markings/sec, 1805 secs
lola: STP completed || 29 tries, 28704136 fired transitions, 1810 secs || 44949923 markings, 806779756 edges, 11503 markings/sec, 1810 secs
lola: STP completed || 29 tries, 28790434 fired transitions, 1815 secs || 45009549 markings, 810293037 edges, 11925 markings/sec, 1815 secs
lola: STP completed || 29 tries, 28874188 fired transitions, 1820 secs || 45065554 markings, 813739649 edges, 11201 markings/sec, 1820 secs
lola: STP completed || 29 tries, 28958866 fired transitions, 1825 secs || 45121931 markings, 817195653 edges, 11275 markings/sec, 1825 secs
lola: STP completed || 30 tries, 29042980 fired transitions, 1830 secs || 45178463 markings, 820627909 edges, 11306 markings/sec, 1830 secs
lola: STP completed || 30 tries, 29127705 fired transitions, 1835 secs || 45234922 markings, 824083643 edges, 11292 markings/sec, 1835 secs
lola: STP completed || 30 tries, 29213843 fired transitions, 1840 secs || 45293489 markings, 827592991 edges, 11713 markings/sec, 1840 secs
lola: STP completed || 30 tries, 29299585 fired transitions, 1845 secs || 45350923 markings, 831083157 edges, 11487 markings/sec, 1845 secs
lola: STP completed || 30 tries, 29382259 fired transitions, 1850 secs || 45406183 markings, 834483541 edges, 11052 markings/sec, 1850 secs
lola: STP completed || 30 tries, 29466488 fired transitions, 1855 secs || 45461112 markings, 837927158 edges, 10986 markings/sec, 1855 secs
lola: STP completed || 30 tries, 29544855 fired transitions, 1860 secs || 45515414 markings, 841254557 edges, 10860 markings/sec, 1860 secs
lola: STP completed || 30 tries, 29626126 fired transitions, 1865 secs || 45572393 markings, 844627965 edges, 11396 markings/sec, 1865 secs
lola: STP completed || 30 tries, 29705867 fired transitions, 1870 secs || 45626682 markings, 847945955 edges, 10858 markings/sec, 1870 secs
lola: STP completed || 30 tries, 29783939 fired transitions, 1875 secs || 45678898 markings, 851200450 edges, 10443 markings/sec, 1875 secs
lola: STP completed || 30 tries, 29859961 fired transitions, 1880 secs || 45733001 markings, 854444413 edges, 10821 markings/sec, 1880 secs
lola: STP completed || 30 tries, 29935657 fired transitions, 1885 secs || 45784840 markings, 857714316 edges, 10368 markings/sec, 1885 secs
lola: STP completed || 31 tries, 30011998 fired transitions, 1890 secs || 45837911 markings, 860965989 edges, 10614 markings/sec, 1890 secs
lola: STP completed || 31 tries, 30091701 fired transitions, 1895 secs || 45893120 markings, 864332642 edges, 11042 markings/sec, 1895 secs
lola: STP completed || 31 tries, 30168274 fired transitions, 1900 secs || 45945963 markings, 867592029 edges, 10569 markings/sec, 1900 secs
lola: STP completed || 31 tries, 30245741 fired transitions, 1905 secs || 45997926 markings, 870863580 edges, 10393 markings/sec, 1905 secs
lola: STP completed || 31 tries, 30323829 fired transitions, 1910 secs || 46049987 markings, 874124163 edges, 10412 markings/sec, 1910 secs
lola: STP completed || 31 tries, 30400332 fired transitions, 1915 secs || 46103251 markings, 877401267 edges, 10653 markings/sec, 1915 secs
lola: STP completed || 31 tries, 30474398 fired transitions, 1920 secs || 46157067 markings, 880683218 edges, 10763 markings/sec, 1920 secs
lola: STP completed || 31 tries, 30549171 fired transitions, 1925 secs || 46210777 markings, 883972748 edges, 10742 markings/sec, 1925 secs
lola: STP completed || 31 tries, 30624375 fired transitions, 1930 secs || 46264218 markings, 887246963 edges, 10688 markings/sec, 1930 secs
lola: STP completed || 31 tries, 30701930 fired transitions, 1935 secs || 46316843 markings, 890545442 edges, 10525 markings/sec, 1935 secs
lola: STP completed || 31 tries, 30779546 fired transitions, 1940 secs || 46366435 markings, 893815856 edges, 9918 markings/sec, 1940 secs
lola: STP completed || 31 tries, 30857557 fired transitions, 1945 secs || 46418481 markings, 897086145 edges, 10409 markings/sec, 1945 secs
lola: STP completed || 31 tries, 30939811 fired transitions, 1950 secs || 46471555 markings, 900462886 edges, 10615 markings/sec, 1950 secs
lola: STP completed || 32 tries, 31020989 fired transitions, 1955 secs || 46525701 markings, 903871955 edges, 10829 markings/sec, 1955 secs
lola: STP completed || 32 tries, 31104381 fired transitions, 1960 secs || 46581358 markings, 907291684 edges, 11131 markings/sec, 1960 secs
lola: STP completed || 32 tries, 31188199 fired transitions, 1965 secs || 46636966 markings, 910745222 edges, 11122 markings/sec, 1965 secs
lola: STP completed || 32 tries, 31264189 fired transitions, 1970 secs || 46689897 markings, 914052052 edges, 10586 markings/sec, 1970 secs
lola: STP completed || 32 tries, 31341646 fired transitions, 1975 secs || 46741072 markings, 917328717 edges, 10235 markings/sec, 1975 secs
lola: STP completed || 32 tries, 31418546 fired transitions, 1980 secs || 46793666 markings, 920608227 edges, 10519 markings/sec, 1980 secs
lola: STP completed || 32 tries, 31499771 fired transitions, 1985 secs || 46848053 markings, 923996013 edges, 10877 markings/sec, 1985 secs
lola: STP completed || 32 tries, 31583837 fired transitions, 1990 secs || 46904337 markings, 927514078 edges, 11257 markings/sec, 1990 secs
lola: STP completed || 32 tries, 31670707 fired transitions, 1995 secs || 46959414 markings, 931064905 edges, 11015 markings/sec, 1995 secs
lola: STP completed || 32 tries, 31757738 fired transitions, 2000 secs || 47017134 markings, 934626207 edges, 11544 markings/sec, 2000 secs
lola: STP completed || 32 tries, 31845552 fired transitions, 2005 secs || 47074916 markings, 938218382 edges, 11556 markings/sec, 2005 secs
lola: STP completed || 32 tries, 31932349 fired transitions, 2010 secs || 47129348 markings, 941726874 edges, 10886 markings/sec, 2010 secs
lola: STP completed || 33 tries, 32016748 fired transitions, 2015 secs || 47184965 markings, 945204855 edges, 11123 markings/sec, 2015 secs
lola: STP completed || 33 tries, 32100582 fired transitions, 2020 secs || 47238629 markings, 948672917 edges, 10733 markings/sec, 2020 secs
lola: STP completed || 33 tries, 32183891 fired transitions, 2025 secs || 47294169 markings, 952120726 edges, 11108 markings/sec, 2025 secs
lola: STP completed || 33 tries, 32269272 fired transitions, 2030 secs || 47352345 markings, 955649401 edges, 11635 markings/sec, 2030 secs
lola: STP completed || 33 tries, 32356143 fired transitions, 2035 secs || 47407884 markings, 959201823 edges, 11108 markings/sec, 2035 secs
lola: STP completed || 33 tries, 32443752 fired transitions, 2040 secs || 47465987 markings, 962813194 edges, 11621 markings/sec, 2040 secs
lola: STP completed || 33 tries, 32532258 fired transitions, 2045 secs || 47522844 markings, 966414210 edges, 11371 markings/sec, 2045 secs
lola: STP completed || 33 tries, 32619491 fired transitions, 2050 secs || 47579038 markings, 969982239 edges, 11239 markings/sec, 2050 secs
lola: STP completed || 33 tries, 32706020 fired transitions, 2055 secs || 47635734 markings, 973525004 edges, 11339 markings/sec, 2055 secs
lola: STP completed || 33 tries, 32790642 fired transitions, 2060 secs || 47690761 markings, 977006708 edges, 11005 markings/sec, 2060 secs
lola: STP completed || 33 tries, 32875269 fired transitions, 2065 secs || 47744711 markings, 980492576 edges, 10790 markings/sec, 2065 secs
lola: STP completed || 33 tries, 32964379 fired transitions, 2070 secs || 47802072 markings, 984132730 edges, 11472 markings/sec, 2070 secs
lola: STP completed || 34 tries, 33051705 fired transitions, 2075 secs || 47858343 markings, 987691287 edges, 11254 markings/sec, 2075 secs
lola: STP completed || 34 tries, 33134469 fired transitions, 2080 secs || 47912872 markings, 991165925 edges, 10906 markings/sec, 2080 secs
lola: STP completed || 34 tries, 33219032 fired transitions, 2085 secs || 47966634 markings, 994662879 edges, 10752 markings/sec, 2085 secs
lola: STP completed || 34 tries, 33305499 fired transitions, 2090 secs || 48022169 markings, 998228127 edges, 11107 markings/sec, 2090 secs
lola: STP completed || 34 tries, 33392458 fired transitions, 2095 secs || 48075894 markings, 1001779777 edges, 10745 markings/sec, 2095 secs
lola: STP completed || 34 tries, 33476256 fired transitions, 2100 secs || 48133071 markings, 1005291809 edges, 11435 markings/sec, 2100 secs
lola: STP completed || 34 tries, 33558421 fired transitions, 2105 secs || 48186912 markings, 1008716769 edges, 10768 markings/sec, 2105 secs
lola: STP completed || 34 tries, 33641113 fired transitions, 2110 secs || 48241287 markings, 1012172638 edges, 10875 markings/sec, 2110 secs
lola: STP completed || 34 tries, 33721615 fired transitions, 2115 secs || 48293360 markings, 1015536654 edges, 10415 markings/sec, 2115 secs
lola: STP completed || 34 tries, 33802289 fired transitions, 2120 secs || 48348267 markings, 1018932990 edges, 10981 markings/sec, 2120 secs
lola: STP completed || 34 tries, 33883797 fired transitions, 2125 secs || 48399819 markings, 1022348843 edges, 10310 markings/sec, 2125 secs
lola: STP completed || 34 tries, 33967524 fired transitions, 2130 secs || 48454052 markings, 1025844499 edges, 10847 markings/sec, 2130 secs
lola: STP completed || 35 tries, 34050315 fired transitions, 2135 secs || 48509629 markings, 1029300735 edges, 11115 markings/sec, 2135 secs
lola: STP completed || 35 tries, 34133433 fired transitions, 2140 secs || 48565177 markings, 1032760355 edges, 11110 markings/sec, 2140 secs
lola: STP completed || 35 tries, 34217416 fired transitions, 2145 secs || 48620737 markings, 1036248435 edges, 11112 markings/sec, 2145 secs
lola: STP completed || 35 tries, 34300884 fired transitions, 2150 secs || 48675571 markings, 1039718672 edges, 10967 markings/sec, 2150 secs
lola: STP completed || 35 tries, 34384016 fired transitions, 2155 secs || 48732374 markings, 1043180935 edges, 11361 markings/sec, 2155 secs
lola: STP completed || 35 tries, 34467704 fired transitions, 2160 secs || 48786928 markings, 1046682976 edges, 10911 markings/sec, 2160 secs
lola: STP completed || 35 tries, 34550429 fired transitions, 2165 secs || 48841437 markings, 1050150177 edges, 10902 markings/sec, 2165 secs
lola: STP completed || 35 tries, 34627290 fired transitions, 2170 secs || 48892057 markings, 1053494965 edges, 10124 markings/sec, 2170 secs
lola: STP completed || 35 tries, 34703940 fired transitions, 2175 secs || 48945993 markings, 1056817993 edges, 10787 markings/sec, 2175 secs
lola: STP completed || 35 tries, 34783508 fired transitions, 2180 secs || 48999556 markings, 1060197931 edges, 10713 markings/sec, 2180 secs
lola: STP completed || 35 tries, 34867375 fired transitions, 2185 secs || 49053921 markings, 1063670120 edges, 10873 markings/sec, 2185 secs
lola: STP completed || 35 tries, 34950089 fired transitions, 2190 secs || 49108774 markings, 1067147437 edges, 10971 markings/sec, 2190 secs
lola: STP completed || 36 tries, 35034742 fired transitions, 2195 secs || 49164813 markings, 1070641317 edges, 11208 markings/sec, 2195 secs
lola: STP completed || 36 tries, 35121104 fired transitions, 2200 secs || 49220555 markings, 1074192574 edges, 11148 markings/sec, 2200 secs
lola: STP completed || 36 tries, 35207876 fired transitions, 2205 secs || 49278689 markings, 1077752877 edges, 11627 markings/sec, 2205 secs
lola: STP completed || 36 tries, 35294526 fired transitions, 2210 secs || 49335291 markings, 1081328039 edges, 11320 markings/sec, 2210 secs
lola: STP completed || 36 tries, 35381218 fired transitions, 2215 secs || 49392348 markings, 1084910735 edges, 11411 markings/sec, 2215 secs
lola: STP completed || 36 tries, 35467541 fired transitions, 2220 secs || 49447736 markings, 1088474391 edges, 11078 markings/sec, 2220 secs
lola: STP completed || 36 tries, 35552944 fired transitions, 2225 secs || 49504896 markings, 1092011125 edges, 11432 markings/sec, 2225 secs
lola: STP completed || 36 tries, 35636261 fired transitions, 2230 secs || 49561113 markings, 1095536937 edges, 11243 markings/sec, 2230 secs
lola: STP completed || 36 tries, 35721416 fired transitions, 2235 secs || 49617486 markings, 1099077328 edges, 11275 markings/sec, 2235 secs
lola: STP completed || 36 tries, 35805662 fired transitions, 2240 secs || 49673262 markings, 1102586275 edges, 11155 markings/sec, 2240 secs
lola: STP completed || 36 tries, 35890271 fired transitions, 2245 secs || 49727052 markings, 1106121317 edges, 10758 markings/sec, 2245 secs
lola: STP completed || 36 tries, 35975077 fired transitions, 2250 secs || 49783375 markings, 1109655944 edges, 11265 markings/sec, 2250 secs
lola: STP completed || 37 tries, 36058555 fired transitions, 2255 secs || 49837690 markings, 1113188398 edges, 10863 markings/sec, 2255 secs
lola: STP completed || 37 tries, 36144092 fired transitions, 2260 secs || 49894489 markings, 1116780861 edges, 11360 markings/sec, 2260 secs
lola: STP completed || 37 tries, 36229281 fired transitions, 2265 secs || 49949943 markings, 1120346373 edges, 11091 markings/sec, 2265 secs
lola: STP completed || 37 tries, 36313956 fired transitions, 2270 secs || 50004507 markings, 1123911649 edges, 10913 markings/sec, 2270 secs
lola: STP completed || 37 tries, 36398522 fired transitions, 2275 secs || 50059827 markings, 1127459125 edges, 11064 markings/sec, 2275 secs
lola: STP completed || 37 tries, 36481363 fired transitions, 2280 secs || 50116712 markings, 1130964890 edges, 11377 markings/sec, 2280 secs
lola: STP completed || 37 tries, 36563984 fired transitions, 2285 secs || 50173329 markings, 1134448042 edges, 11323 markings/sec, 2285 secs
lola: STP completed || 37 tries, 36648180 fired transitions, 2290 secs || 50228929 markings, 1138021290 edges, 11120 markings/sec, 2290 secs
lola: STP completed || 37 tries, 36731661 fired transitions, 2295 secs || 50283497 markings, 1141494376 edges, 10914 markings/sec, 2295 secs
lola: STP completed || 37 tries, 36816819 fired transitions, 2300 secs || 50338999 markings, 1145055500 edges, 11100 markings/sec, 2300 secs
lola: STP completed || 37 tries, 36900270 fired transitions, 2305 secs || 50395066 markings, 1148564589 edges, 11213 markings/sec, 2305 secs
lola: STP completed || 37 tries, 36984840 fired transitions, 2310 secs || 50450341 markings, 1152107880 edges, 11055 markings/sec, 2310 secs
lola: STP completed || 38 tries, 37070072 fired transitions, 2315 secs || 50504432 markings, 1155680158 edges, 10818 markings/sec, 2315 secs
lola: STP completed || 38 tries, 37154283 fired transitions, 2320 secs || 50560473 markings, 1159260156 edges, 11208 markings/sec, 2320 secs
lola: STP completed || 38 tries, 37239773 fired transitions, 2325 secs || 50617081 markings, 1162891202 edges, 11322 markings/sec, 2325 secs
lola: STP completed || 38 tries, 37324978 fired transitions, 2330 secs || 50674774 markings, 1166529777 edges, 11539 markings/sec, 2330 secs
lola: STP completed || 38 tries, 37409843 fired transitions, 2335 secs || 50730886 markings, 1170134126 edges, 11222 markings/sec, 2335 secs
lola: STP completed || 38 tries, 37492443 fired transitions, 2340 secs || 50786103 markings, 1173654489 edges, 11043 markings/sec, 2340 secs
lola: STP completed || 38 tries, 37574585 fired transitions, 2345 secs || 50841564 markings, 1177155958 edges, 11092 markings/sec, 2345 secs
lola: STP completed || 38 tries, 37659345 fired transitions, 2350 secs || 50897316 markings, 1180729161 edges, 11150 markings/sec, 2350 secs
lola: STP completed || 38 tries, 37742618 fired transitions, 2355 secs || 50953451 markings, 1184262148 edges, 11227 markings/sec, 2355 secs
lola: STP completed || 38 tries, 37826289 fired transitions, 2360 secs || 51010782 markings, 1187818259 edges, 11466 markings/sec, 2360 secs
lola: STP completed || 38 tries, 37910503 fired transitions, 2365 secs || 51069009 markings, 1191395093 edges, 11645 markings/sec, 2365 secs
lola: STP completed || 38 tries, 37994049 fired transitions, 2370 secs || 51126423 markings, 1194911472 edges, 11483 markings/sec, 2370 secs
lola: STP completed || 39 tries, 38076634 fired transitions, 2375 secs || 51183336 markings, 1198385968 edges, 11383 markings/sec, 2375 secs
lola: STP completed || 39 tries, 38159935 fired transitions, 2380 secs || 51240876 markings, 1201937847 edges, 11508 markings/sec, 2380 secs
lola: STP completed || 39 tries, 38241945 fired transitions, 2385 secs || 51298362 markings, 1205482889 edges, 11497 markings/sec, 2385 secs
lola: STP completed || 39 tries, 38324734 fired transitions, 2390 secs || 51354823 markings, 1209004840 edges, 11292 markings/sec, 2390 secs
lola: STP completed || 39 tries, 38407497 fired transitions, 2395 secs || 51412718 markings, 1212587164 edges, 11579 markings/sec, 2395 secs
lola: STP completed || 39 tries, 38490740 fired transitions, 2400 secs || 51471058 markings, 1216197357 edges, 11668 markings/sec, 2400 secs
lola: STP completed || 39 tries, 38573421 fired transitions, 2405 secs || 51529019 markings, 1219779723 edges, 11592 markings/sec, 2405 secs
lola: STP completed || 39 tries, 38656068 fired transitions, 2410 secs || 51586694 markings, 1223329567 edges, 11535 markings/sec, 2410 secs
lola: STP completed || 39 tries, 38739109 fired transitions, 2415 secs || 51644851 markings, 1226893993 edges, 11631 markings/sec, 2415 secs
lola: STP completed || 39 tries, 38822641 fired transitions, 2420 secs || 51701471 markings, 1230424082 edges, 11324 markings/sec, 2420 secs
lola: STP completed || 39 tries, 38905837 fired transitions, 2425 secs || 51761589 markings, 1233923628 edges, 12024 markings/sec, 2425 secs
lola: STP completed || 39 tries, 38988718 fired transitions, 2430 secs || 51819010 markings, 1237462070 edges, 11484 markings/sec, 2430 secs
lola: STP completed || 40 tries, 39072376 fired transitions, 2435 secs || 51877759 markings, 1241054510 edges, 11750 markings/sec, 2435 secs
lola: STP completed || 40 tries, 39157055 fired transitions, 2440 secs || 51938039 markings, 1244666046 edges, 12056 markings/sec, 2440 secs
lola: STP completed || 40 tries, 39233812 fired transitions, 2445 secs || 51991734 markings, 1248030142 edges, 10739 markings/sec, 2445 secs
lola: STP completed || 40 tries, 39314486 fired transitions, 2450 secs || 52050133 markings, 1251483951 edges, 11680 markings/sec, 2450 secs
lola: STP completed || 40 tries, 39396841 fired transitions, 2455 secs || 52110501 markings, 1255018302 edges, 12074 markings/sec, 2455 secs
lola: STP completed || 40 tries, 39479871 fired transitions, 2460 secs || 52172362 markings, 1258580688 edges, 12372 markings/sec, 2460 secs
lola: STP completed || 40 tries, 39563420 fired transitions, 2465 secs || 52228523 markings, 1262077388 edges, 11232 markings/sec, 2465 secs
lola: STP completed || 40 tries, 39643375 fired transitions, 2470 secs || 52288438 markings, 1265552322 edges, 11983 markings/sec, 2470 secs
lola: STP completed || 40 tries, 39720863 fired transitions, 2475 secs || 52346935 markings, 1268981212 edges, 11699 markings/sec, 2475 secs
lola: STP completed || 40 tries, 39798662 fired transitions, 2480 secs || 52403060 markings, 1272380503 edges, 11225 markings/sec, 2480 secs
lola: STP completed || 40 tries, 39877753 fired transitions, 2485 secs || 52464045 markings, 1275945650 edges, 12197 markings/sec, 2485 secs
lola: STP completed || 40 tries, 39960191 fired transitions, 2490 secs || 52524615 markings, 1279616213 edges, 12114 markings/sec, 2490 secs
lola: STP completed || 41 tries, 40042481 fired transitions, 2495 secs || 52585308 markings, 1283196576 edges, 12139 markings/sec, 2495 secs
lola: STP completed || 41 tries, 40124499 fired transitions, 2500 secs || 52645163 markings, 1286816349 edges, 11971 markings/sec, 2500 secs
lola: STP completed || 41 tries, 40206502 fired transitions, 2505 secs || 52705098 markings, 1290360962 edges, 11987 markings/sec, 2505 secs
lola: STP completed || 41 tries, 40288436 fired transitions, 2510 secs || 52764313 markings, 1293931717 edges, 11843 markings/sec, 2510 secs
lola: STP completed || 41 tries, 40370699 fired transitions, 2515 secs || 52825403 markings, 1297529506 edges, 12218 markings/sec, 2515 secs
lola: STP completed || 41 tries, 40450813 fired transitions, 2520 secs || 52887017 markings, 1301091860 edges, 12323 markings/sec, 2520 secs
lola: STP completed || 41 tries, 40527400 fired transitions, 2525 secs || 52945825 markings, 1304587398 edges, 11762 markings/sec, 2525 secs
lola: STP completed || 41 tries, 40604080 fired transitions, 2530 secs || 53002646 markings, 1307984269 edges, 11364 markings/sec, 2530 secs
lola: STP completed || 41 tries, 40682156 fired transitions, 2535 secs || 53058412 markings, 1311391364 edges, 11153 markings/sec, 2535 secs
lola: STP completed || 41 tries, 40764580 fired transitions, 2540 secs || 53117689 markings, 1315009521 edges, 11855 markings/sec, 2540 secs
lola: STP completed || 41 tries, 40847094 fired transitions, 2545 secs || 53178367 markings, 1318631253 edges, 12136 markings/sec, 2545 secs
lola: STP completed || 41 tries, 40929525 fired transitions, 2550 secs || 53238863 markings, 1322292915 edges, 12099 markings/sec, 2550 secs
lola: STP completed || 42 tries, 41011778 fired transitions, 2555 secs || 53300059 markings, 1326004857 edges, 12239 markings/sec, 2555 secs
lola: STP completed || 42 tries, 41088746 fired transitions, 2560 secs || 53359117 markings, 1329561895 edges, 11812 markings/sec, 2560 secs
lola: STP completed || 42 tries, 41165144 fired transitions, 2565 secs || 53416114 markings, 1333006491 edges, 11399 markings/sec, 2565 secs
lola: STP completed || 42 tries, 41241727 fired transitions, 2570 secs || 53472760 markings, 1336476708 edges, 11329 markings/sec, 2570 secs
lola: STP completed || 42 tries, 41319264 fired transitions, 2575 secs || 53532740 markings, 1339898033 edges, 11996 markings/sec, 2575 secs
lola: STP completed || 42 tries, 41396865 fired transitions, 2580 secs || 53589763 markings, 1343331164 edges, 11405 markings/sec, 2580 secs
lola: STP completed || 42 tries, 41473255 fired transitions, 2585 secs || 53649829 markings, 1346784576 edges, 12013 markings/sec, 2585 secs
lola: STP completed || 42 tries, 41548361 fired transitions, 2590 secs || 53707944 markings, 1350207188 edges, 11623 markings/sec, 2590 secs
lola: STP completed || 42 tries, 41627417 fired transitions, 2595 secs || 53766759 markings, 1353721164 edges, 11763 markings/sec, 2595 secs
lola: STP completed || 42 tries, 41705325 fired transitions, 2600 secs || 53823471 markings, 1357189919 edges, 11342 markings/sec, 2600 secs
lola: STP completed || 42 tries, 41780480 fired transitions, 2605 secs || 53882681 markings, 1360647759 edges, 11842 markings/sec, 2605 secs
lola: STP completed || 42 tries, 41857203 fired transitions, 2610 secs || 53940387 markings, 1364090228 edges, 11541 markings/sec, 2610 secs
lola: STP completed || 42 tries, 41931991 fired transitions, 2615 secs || 54002016 markings, 1367588720 edges, 12326 markings/sec, 2615 secs
lola: STP completed || 43 tries, 42008589 fired transitions, 2620 secs || 54059752 markings, 1371105278 edges, 11547 markings/sec, 2620 secs
lola: STP completed || 43 tries, 42084036 fired transitions, 2625 secs || 54117061 markings, 1374586034 edges, 11462 markings/sec, 2625 secs
lola: STP completed || 43 tries, 42160191 fired transitions, 2630 secs || 54175620 markings, 1378046173 edges, 11712 markings/sec, 2630 secs
lola: STP completed || 43 tries, 42243220 fired transitions, 2635 secs || 54237508 markings, 1381735038 edges, 12378 markings/sec, 2635 secs
lola: STP completed || 43 tries, 42326705 fired transitions, 2640 secs || 54299665 markings, 1385473434 edges, 12431 markings/sec, 2640 secs
lola: STP completed || 43 tries, 42412614 fired transitions, 2645 secs || 54362411 markings, 1389300976 edges, 12549 markings/sec, 2645 secs
lola: STP completed || 43 tries, 42498052 fired transitions, 2650 secs || 54423507 markings, 1393059256 edges, 12219 markings/sec, 2650 secs
lola: RESULT
lola: result: no
lola: produced by: state space
lola: The net does not have deadlocks.
lola: 54482545 markings, 1396705681 edges
FORMULA DLCround-PT-04a-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 1496539894941
--------------------
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="DLCround-PT-04a"
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/DLCround-PT-04a.tgz
mv DLCround-PT-04a 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 DLCround-PT-04a, 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 r178-csrt-149580961600224"
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 ;