About the Execution of LoLA for Ring-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.100 | 2204124.00 | 4576881.00 | 15110.60 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 10K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 103 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 341 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 41K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Ring-PT-none, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r136-qhx2-152673579200426
=====================================================================
--------------------
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 Ring-PT-none-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527023736827
info: Time: 3600 - MCC
===========================================================================================
prep: translating Ring-PT-none Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating Ring-PT-none formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ Ring-PT-none @ 3567 seconds
lola: LoLA will run for 3567 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 226/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 139
lola: finding significant places
lola: 139 places, 87 transitions, 75 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 147 transition conflict sets
lola: TASK
lola: reading formula from Ring-PT-none-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: STP: formula with 2662 variables and 8831 clauses shipped to Minisat
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 2 tries, 1683511 fired transitions, 0 secs || 735846 markings, 827716 edges, 147169 markings/sec, 0 secs
lola: STP completed || 4 tries, 3519018 fired transitions, 5 secs || 1460480 markings, 1669977 edges, 144927 markings/sec, 5 secs
lola: STP completed || 6 tries, 5641863 fired transitions, 10 secs || 2219543 markings, 2566295 edges, 151813 markings/sec, 10 secs
lola: STP completed || 8 tries, 7559158 fired transitions, 15 secs || 2933464 markings, 3416619 edges, 142784 markings/sec, 15 secs
lola: STP completed || 11 tries, 10311849 fired transitions, 20 secs || 3836867 markings, 4503860 edges, 180681 markings/sec, 20 secs
lola: STP completed || 14 tries, 13403735 fired transitions, 25 secs || 4853772 markings, 5738696 edges, 203381 markings/sec, 25 secs
lola: STP completed || 16 tries, 15467829 fired transitions, 30 secs || 5507356 markings, 6535191 edges, 130717 markings/sec, 30 secs
lola: STP completed || 18 tries, 17547409 fired transitions, 35 secs || 6191960 markings, 7373793 edges, 136921 markings/sec, 35 secs
lola: STP completed || 20 tries, 19631243 fired transitions, 40 secs || 6857689 markings, 8189725 edges, 133146 markings/sec, 40 secs
lola: STP completed || 22 tries, 21702091 fired transitions, 45 secs || 7536137 markings, 9026174 edges, 135690 markings/sec, 45 secs
lola: STP completed || 24 tries, 23894118 fired transitions, 50 secs || 8200325 markings, 9840272 edges, 132838 markings/sec, 50 secs
lola: STP completed || 27 tries, 26008896 fired transitions, 55 secs || 8850908 markings, 10647374 edges, 130117 markings/sec, 55 secs
lola: STP completed || 29 tries, 28114959 fired transitions, 60 secs || 9503852 markings, 11458894 edges, 130589 markings/sec, 60 secs
lola: STP completed || 31 tries, 30245451 fired transitions, 65 secs || 10154857 markings, 12268401 edges, 130201 markings/sec, 65 secs
lola: STP completed || 33 tries, 32343136 fired transitions, 70 secs || 10797504 markings, 13072114 edges, 128529 markings/sec, 70 secs
lola: STP completed || 36 tries, 35409624 fired transitions, 75 secs || 11699804 markings, 14205262 edges, 180460 markings/sec, 75 secs
lola: STP completed || 38 tries, 37747721 fired transitions, 80 secs || 12392057 markings, 15069946 edges, 138451 markings/sec, 80 secs
lola: STP completed || 40 tries, 39922209 fired transitions, 85 secs || 13048058 markings, 15891514 edges, 131200 markings/sec, 85 secs
lola: STP completed || 43 tries, 42022339 fired transitions, 90 secs || 13702465 markings, 16715004 edges, 130881 markings/sec, 90 secs
lola: STP completed || 45 tries, 44130809 fired transitions, 95 secs || 14345148 markings, 17527506 edges, 128537 markings/sec, 95 secs
lola: STP completed || 47 tries, 46242088 fired transitions, 100 secs || 14980363 markings, 18331905 edges, 127043 markings/sec, 100 secs
lola: STP completed || 49 tries, 48369314 fired transitions, 105 secs || 15614836 markings, 19133927 edges, 126895 markings/sec, 105 secs
lola: STP completed || 51 tries, 50508449 fired transitions, 110 secs || 16251242 markings, 19940773 edges, 127281 markings/sec, 110 secs
lola: STP completed || 53 tries, 52637785 fired transitions, 115 secs || 16915191 markings, 20785155 edges, 132790 markings/sec, 115 secs
lola: STP completed || 55 tries, 54736281 fired transitions, 120 secs || 17580451 markings, 21633224 edges, 133052 markings/sec, 120 secs
lola: STP completed || 57 tries, 56861051 fired transitions, 125 secs || 18219042 markings, 22447803 edges, 127718 markings/sec, 125 secs
lola: STP completed || 60 tries, 59023183 fired transitions, 130 secs || 18853305 markings, 23256591 edges, 126853 markings/sec, 130 secs
lola: STP completed || 62 tries, 61201715 fired transitions, 135 secs || 19506608 markings, 24091526 edges, 130661 markings/sec, 135 secs
lola: STP completed || 64 tries, 63433929 fired transitions, 140 secs || 20160456 markings, 24925000 edges, 130770 markings/sec, 140 secs
lola: STP completed || 66 tries, 65623078 fired transitions, 145 secs || 20815884 markings, 25764995 edges, 131086 markings/sec, 145 secs
lola: STP completed || 68 tries, 67817513 fired transitions, 150 secs || 21446807 markings, 26575571 edges, 126185 markings/sec, 150 secs
lola: STP completed || 71 tries, 70008720 fired transitions, 155 secs || 22089498 markings, 27402485 edges, 128538 markings/sec, 155 secs
lola: STP completed || 73 tries, 72213616 fired transitions, 160 secs || 22737685 markings, 28237091 edges, 129637 markings/sec, 160 secs
lola: STP completed || 75 tries, 74431766 fired transitions, 165 secs || 23385443 markings, 29072881 edges, 129552 markings/sec, 165 secs
lola: STP completed || 77 tries, 76638775 fired transitions, 170 secs || 24026590 markings, 29898075 edges, 128229 markings/sec, 170 secs
lola: STP completed || 79 tries, 78844999 fired transitions, 175 secs || 24655303 markings, 30710824 edges, 125743 markings/sec, 175 secs
lola: STP completed || 82 tries, 81044039 fired transitions, 180 secs || 25287959 markings, 31528772 edges, 126531 markings/sec, 180 secs
lola: STP completed || 84 tries, 83247245 fired transitions, 185 secs || 25915549 markings, 32340332 edges, 125518 markings/sec, 185 secs
lola: STP completed || 86 tries, 85458412 fired transitions, 190 secs || 26534014 markings, 33141122 edges, 123693 markings/sec, 190 secs
lola: STP completed || 88 tries, 87705085 fired transitions, 195 secs || 27148151 markings, 33937320 edges, 122827 markings/sec, 195 secs
lola: STP completed || 90 tries, 89979878 fired transitions, 200 secs || 27755358 markings, 34725804 edges, 121441 markings/sec, 200 secs
lola: STP completed || 93 tries, 92632363 fired transitions, 205 secs || 28480601 markings, 35667123 edges, 145049 markings/sec, 205 secs
lola: STP completed || 96 tries, 95295174 fired transitions, 210 secs || 29221094 markings, 36630450 edges, 148099 markings/sec, 210 secs
lola: STP completed || 98 tries, 97534598 fired transitions, 215 secs || 29848978 markings, 37446760 edges, 125577 markings/sec, 215 secs
lola: STP completed || 101 tries, 100763414 fired transitions, 220 secs || 30726288 markings, 38590611 edges, 175462 markings/sec, 220 secs
lola: STP completed || 104 tries, 103392002 fired transitions, 225 secs || 31408675 markings, 39480112 edges, 136477 markings/sec, 225 secs
lola: STP completed || 106 tries, 105728271 fired transitions, 230 secs || 32016551 markings, 40274519 edges, 121575 markings/sec, 230 secs
lola: STP completed || 109 tries, 108069232 fired transitions, 235 secs || 32629150 markings, 41074832 edges, 122520 markings/sec, 235 secs
lola: STP completed || 111 tries, 110405820 fired transitions, 240 secs || 33233901 markings, 41867153 edges, 120950 markings/sec, 240 secs
lola: STP completed || 113 tries, 112731789 fired transitions, 245 secs || 33836738 markings, 42656741 edges, 120567 markings/sec, 245 secs
lola: STP completed || 116 tries, 115066335 fired transitions, 250 secs || 34438330 markings, 43447068 edges, 120318 markings/sec, 250 secs
lola: STP completed || 118 tries, 117354750 fired transitions, 255 secs || 35071235 markings, 44278969 edges, 126581 markings/sec, 255 secs
lola: STP completed || 120 tries, 119670358 fired transitions, 260 secs || 35696666 markings, 45100212 edges, 125086 markings/sec, 260 secs
lola: STP completed || 122 tries, 121973535 fired transitions, 265 secs || 36342795 markings, 45947676 edges, 129226 markings/sec, 265 secs
lola: STP completed || 125 tries, 124324079 fired transitions, 270 secs || 36998469 markings, 46807652 edges, 131135 markings/sec, 270 secs
lola: STP completed || 127 tries, 126670988 fired transitions, 275 secs || 37637367 markings, 47646884 edges, 127780 markings/sec, 275 secs
lola: STP completed || 130 tries, 129020222 fired transitions, 280 secs || 38284252 markings, 48496118 edges, 129377 markings/sec, 280 secs
lola: STP completed || 132 tries, 131374072 fired transitions, 285 secs || 38931663 markings, 49347952 edges, 129482 markings/sec, 285 secs
lola: STP completed || 134 tries, 133733737 fired transitions, 290 secs || 39580936 markings, 50200149 edges, 129855 markings/sec, 290 secs
lola: STP completed || 137 tries, 136076471 fired transitions, 295 secs || 40221482 markings, 51043936 edges, 128109 markings/sec, 295 secs
lola: STP completed || 139 tries, 138444918 fired transitions, 300 secs || 40869226 markings, 51897561 edges, 129549 markings/sec, 300 secs
lola: STP completed || 141 tries, 140782271 fired transitions, 305 secs || 41508421 markings, 52741057 edges, 127839 markings/sec, 305 secs
lola: STP completed || 144 tries, 143150035 fired transitions, 310 secs || 42139792 markings, 53575564 edges, 126274 markings/sec, 310 secs
lola: STP completed || 146 tries, 145524591 fired transitions, 315 secs || 42787832 markings, 54432549 edges, 129608 markings/sec, 315 secs
lola: STP completed || 148 tries, 147873310 fired transitions, 320 secs || 43430429 markings, 55281771 edges, 128519 markings/sec, 320 secs
lola: STP completed || 151 tries, 150156055 fired transitions, 325 secs || 44072840 markings, 56132858 edges, 128482 markings/sec, 325 secs
lola: STP completed || 153 tries, 152985111 fired transitions, 330 secs || 44824158 markings, 57129949 edges, 150264 markings/sec, 330 secs
lola: STP completed || 156 tries, 155678050 fired transitions, 335 secs || 45530292 markings, 58066372 edges, 141227 markings/sec, 335 secs
lola: STP completed || 159 tries, 158445802 fired transitions, 340 secs || 46259862 markings, 59035163 edges, 145914 markings/sec, 340 secs
lola: STP completed || 161 tries, 160780661 fired transitions, 345 secs || 46900375 markings, 59884608 edges, 128103 markings/sec, 345 secs
lola: STP completed || 164 tries, 163133399 fired transitions, 350 secs || 47531068 markings, 60721635 edges, 126139 markings/sec, 350 secs
lola: STP completed || 166 tries, 165538837 fired transitions, 355 secs || 48189441 markings, 61593970 edges, 131675 markings/sec, 355 secs
lola: STP completed || 169 tries, 168486215 fired transitions, 360 secs || 48953775 markings, 62610622 edges, 152867 markings/sec, 360 secs
lola: STP completed || 171 tries, 170822659 fired transitions, 365 secs || 49608741 markings, 63481485 edges, 130993 markings/sec, 365 secs
lola: STP completed || 174 tries, 173173782 fired transitions, 370 secs || 50242333 markings, 64323716 edges, 126718 markings/sec, 370 secs
lola: STP completed || 176 tries, 175541610 fired transitions, 375 secs || 50876910 markings, 65168175 edges, 126915 markings/sec, 375 secs
lola: STP completed || 178 tries, 177945272 fired transitions, 380 secs || 51461415 markings, 65946056 edges, 116901 markings/sec, 380 secs
lola: STP completed || 181 tries, 180238836 fired transitions, 385 secs || 52109313 markings, 66808373 edges, 129580 markings/sec, 385 secs
lola: STP completed || 183 tries, 182663939 fired transitions, 390 secs || 52735632 markings, 67643076 edges, 125264 markings/sec, 390 secs
lola: STP completed || 186 tries, 185469062 fired transitions, 395 secs || 53433372 markings, 68572232 edges, 139548 markings/sec, 395 secs
lola: STP completed || 189 tries, 188236576 fired transitions, 400 secs || 54128062 markings, 69500975 edges, 138938 markings/sec, 400 secs
lola: STP completed || 192 tries, 191373142 fired transitions, 405 secs || 54916612 markings, 70554839 edges, 157710 markings/sec, 405 secs
lola: STP completed || 194 tries, 193746426 fired transitions, 410 secs || 55497114 markings, 71329340 edges, 116100 markings/sec, 410 secs
lola: STP completed || 198 tries, 197071163 fired transitions, 415 secs || 56342195 markings, 72460845 edges, 169016 markings/sec, 415 secs
lola: STP completed || 201 tries, 200272811 fired transitions, 420 secs || 57158000 markings, 73552356 edges, 163161 markings/sec, 420 secs
lola: STP completed || 204 tries, 203595303 fired transitions, 425 secs || 57999206 markings, 74682297 edges, 168241 markings/sec, 425 secs
lola: STP completed || 207 tries, 206928756 fired transitions, 430 secs || 58844347 markings, 75815701 edges, 169028 markings/sec, 430 secs
lola: STP completed || 211 tries, 210264370 fired transitions, 435 secs || 59687815 markings, 76948328 edges, 168694 markings/sec, 435 secs
lola: STP completed || 213 tries, 212872427 fired transitions, 440 secs || 60377238 markings, 77873011 edges, 137885 markings/sec, 440 secs
lola: STP completed || 216 tries, 215496006 fired transitions, 445 secs || 61078017 markings, 78815586 edges, 140156 markings/sec, 445 secs
lola: STP completed || 218 tries, 217901213 fired transitions, 450 secs || 61690324 markings, 79638827 edges, 122461 markings/sec, 450 secs
lola: STP completed || 221 tries, 220778143 fired transitions, 455 secs || 62411737 markings, 80612652 edges, 144283 markings/sec, 455 secs
lola: STP completed || 224 tries, 223211365 fired transitions, 460 secs || 63001618 markings, 81402667 edges, 117976 markings/sec, 460 secs
lola: STP completed || 226 tries, 225821973 fired transitions, 465 secs || 63630935 markings, 82245627 edges, 125863 markings/sec, 465 secs
lola: STP completed || 229 tries, 228266650 fired transitions, 470 secs || 64219701 markings, 83035903 edges, 117753 markings/sec, 470 secs
lola: STP completed || 231 tries, 230688801 fired transitions, 475 secs || 64808782 markings, 83828681 edges, 117816 markings/sec, 475 secs
lola: STP completed || 234 tries, 233084612 fired transitions, 480 secs || 65413161 markings, 84642190 edges, 120876 markings/sec, 480 secs
lola: STP completed || 236 tries, 235506337 fired transitions, 485 secs || 66045965 markings, 85495311 edges, 126561 markings/sec, 485 secs
lola: STP completed || 238 tries, 237956518 fired transitions, 490 secs || 66645752 markings, 86300309 edges, 119957 markings/sec, 490 secs
lola: STP completed || 241 tries, 240411805 fired transitions, 495 secs || 67225008 markings, 87079747 edges, 115851 markings/sec, 495 secs
lola: STP completed || 243 tries, 242865710 fired transitions, 500 secs || 67811309 markings, 87867547 edges, 117260 markings/sec, 500 secs
lola: STP completed || 246 tries, 245306642 fired transitions, 505 secs || 68391944 markings, 88652563 edges, 116127 markings/sec, 505 secs
lola: STP completed || 248 tries, 247756781 fired transitions, 510 secs || 68975793 markings, 89438162 edges, 116770 markings/sec, 510 secs
lola: STP completed || 251 tries, 250195110 fired transitions, 515 secs || 69592696 markings, 90268076 edges, 123381 markings/sec, 515 secs
lola: STP completed || 253 tries, 252628953 fired transitions, 520 secs || 70170229 markings, 91048331 edges, 115507 markings/sec, 520 secs
lola: STP completed || 256 tries, 255026929 fired transitions, 525 secs || 70773562 markings, 91862051 edges, 120667 markings/sec, 525 secs
lola: STP completed || 258 tries, 257426272 fired transitions, 530 secs || 71376103 markings, 92676122 edges, 120508 markings/sec, 530 secs
lola: STP completed || 260 tries, 259855934 fired transitions, 535 secs || 71973884 markings, 93481069 edges, 119556 markings/sec, 535 secs
lola: STP completed || 263 tries, 262390771 fired transitions, 540 secs || 72611463 markings, 94342736 edges, 127516 markings/sec, 540 secs
lola: STP completed || 265 tries, 264898207 fired transitions, 545 secs || 73248851 markings, 95205985 edges, 127478 markings/sec, 545 secs
lola: STP completed || 268 tries, 267318595 fired transitions, 550 secs || 73879256 markings, 96059695 edges, 126081 markings/sec, 550 secs
lola: STP completed || 270 tries, 269702323 fired transitions, 555 secs || 74470555 markings, 96861719 edges, 118260 markings/sec, 555 secs
lola: STP completed || 273 tries, 272041676 fired transitions, 560 secs || 75078226 markings, 97687728 edges, 121534 markings/sec, 560 secs
lola: STP completed || 275 tries, 274415678 fired transitions, 565 secs || 75685343 markings, 98509384 edges, 121423 markings/sec, 565 secs
lola: STP completed || 277 tries, 276820737 fired transitions, 570 secs || 76293765 markings, 99333553 edges, 121684 markings/sec, 570 secs
lola: STP completed || 280 tries, 279206540 fired transitions, 575 secs || 76900560 markings, 100153880 edges, 121359 markings/sec, 575 secs
lola: STP completed || 282 tries, 281590130 fired transitions, 580 secs || 77503528 markings, 100973282 edges, 120594 markings/sec, 580 secs
lola: STP completed || 285 tries, 284005664 fired transitions, 585 secs || 78131890 markings, 101824729 edges, 125672 markings/sec, 585 secs
lola: STP completed || 287 tries, 286427498 fired transitions, 590 secs || 78749608 markings, 102659330 edges, 123544 markings/sec, 590 secs
lola: STP completed || 289 tries, 288885222 fired transitions, 595 secs || 79375358 markings, 103508082 edges, 125150 markings/sec, 595 secs
lola: STP completed || 292 tries, 291310096 fired transitions, 600 secs || 79950213 markings, 104286537 edges, 114971 markings/sec, 600 secs
lola: STP completed || 294 tries, 293750176 fired transitions, 605 secs || 80533374 markings, 105075514 edges, 116632 markings/sec, 605 secs
lola: STP completed || 297 tries, 296181916 fired transitions, 610 secs || 81109533 markings, 105858258 edges, 115232 markings/sec, 610 secs
lola: STP completed || 299 tries, 298605731 fired transitions, 615 secs || 81687410 markings, 106642466 edges, 115575 markings/sec, 615 secs
lola: STP completed || 302 tries, 301055271 fired transitions, 620 secs || 82264560 markings, 107424752 edges, 115430 markings/sec, 620 secs
lola: STP completed || 304 tries, 303620946 fired transitions, 625 secs || 82846265 markings, 108214989 edges, 116341 markings/sec, 625 secs
lola: STP completed || 307 tries, 306093236 fired transitions, 630 secs || 83414655 markings, 108988565 edges, 113678 markings/sec, 630 secs
lola: STP completed || 309 tries, 308536623 fired transitions, 635 secs || 84031719 markings, 109825288 edges, 123413 markings/sec, 635 secs
lola: STP completed || 311 tries, 310926760 fired transitions, 640 secs || 84600331 markings, 110598736 edges, 113722 markings/sec, 640 secs
lola: STP completed || 314 tries, 313858071 fired transitions, 645 secs || 85290397 markings, 111539536 edges, 138013 markings/sec, 645 secs
lola: STP completed || 317 tries, 316319436 fired transitions, 650 secs || 85918611 markings, 112397934 edges, 125643 markings/sec, 650 secs
lola: STP completed || 319 tries, 318752962 fired transitions, 655 secs || 86541204 markings, 113246352 edges, 124519 markings/sec, 655 secs
lola: STP completed || 322 tries, 321250075 fired transitions, 660 secs || 87156707 markings, 114084808 edges, 123101 markings/sec, 660 secs
lola: STP completed || 324 tries, 323687388 fired transitions, 665 secs || 87771242 markings, 114921313 edges, 122907 markings/sec, 665 secs
lola: STP completed || 327 tries, 326149993 fired transitions, 670 secs || 88388501 markings, 115762071 edges, 123452 markings/sec, 670 secs
lola: STP completed || 329 tries, 328605628 fired transitions, 675 secs || 89007337 markings, 116605807 edges, 123767 markings/sec, 675 secs
lola: STP completed || 332 tries, 331018938 fired transitions, 680 secs || 89623571 markings, 117447051 edges, 123247 markings/sec, 680 secs
lola: STP completed || 334 tries, 333466840 fired transitions, 685 secs || 90239865 markings, 118288008 edges, 123259 markings/sec, 685 secs
lola: STP completed || 336 tries, 335887072 fired transitions, 690 secs || 90861231 markings, 119134545 edges, 124273 markings/sec, 690 secs
lola: STP completed || 339 tries, 338391204 fired transitions, 695 secs || 91450480 markings, 119937858 edges, 117850 markings/sec, 695 secs
lola: STP completed || 341 tries, 340922405 fired transitions, 700 secs || 92090959 markings, 120808985 edges, 128096 markings/sec, 700 secs
lola: STP completed || 344 tries, 343417547 fired transitions, 705 secs || 92690197 markings, 121626422 edges, 119848 markings/sec, 705 secs
lola: STP completed || 346 tries, 345918434 fired transitions, 710 secs || 93302697 markings, 122460831 edges, 122500 markings/sec, 710 secs
lola: STP completed || 349 tries, 348401467 fired transitions, 715 secs || 93891906 markings, 123263061 edges, 117842 markings/sec, 715 secs
lola: STP completed || 351 tries, 350899468 fired transitions, 720 secs || 94481718 markings, 124068836 edges, 117962 markings/sec, 720 secs
lola: STP completed || 354 tries, 353361782 fired transitions, 725 secs || 95074479 markings, 124876794 edges, 118552 markings/sec, 725 secs
lola: STP completed || 356 tries, 355810212 fired transitions, 730 secs || 95662824 markings, 125679719 edges, 117669 markings/sec, 730 secs
lola: STP completed || 359 tries, 358317595 fired transitions, 735 secs || 96253623 markings, 126488665 edges, 118160 markings/sec, 735 secs
lola: STP completed || 361 tries, 360903209 fired transitions, 740 secs || 96859188 markings, 127316205 edges, 121113 markings/sec, 740 secs
lola: STP completed || 364 tries, 363391107 fired transitions, 745 secs || 97464749 markings, 128142565 edges, 121112 markings/sec, 745 secs
lola: STP completed || 366 tries, 365855817 fired transitions, 750 secs || 98046749 markings, 128937182 edges, 116400 markings/sec, 750 secs
lola: STP completed || 369 tries, 368313092 fired transitions, 755 secs || 98620463 markings, 129719014 edges, 114743 markings/sec, 755 secs
lola: STP completed || 371 tries, 370787036 fired transitions, 760 secs || 99194893 markings, 130507386 edges, 114886 markings/sec, 760 secs
lola: STP completed || 374 tries, 373251984 fired transitions, 765 secs || 99765507 markings, 131285490 edges, 114123 markings/sec, 765 secs
lola: STP completed || 376 tries, 375698153 fired transitions, 770 secs || 100370337 markings, 132112511 edges, 120966 markings/sec, 770 secs
lola: STP completed || 379 tries, 378199180 fired transitions, 775 secs || 100994616 markings, 132969121 edges, 124856 markings/sec, 775 secs
lola: STP completed || 381 tries, 380833548 fired transitions, 780 secs || 101613311 markings, 133817778 edges, 123739 markings/sec, 780 secs
lola: STP completed || 384 tries, 383376084 fired transitions, 785 secs || 102234705 markings, 134669299 edges, 124279 markings/sec, 785 secs
lola: STP completed || 386 tries, 385914674 fired transitions, 790 secs || 102862175 markings, 135526821 edges, 125494 markings/sec, 790 secs
lola: STP completed || 389 tries, 388428455 fired transitions, 795 secs || 103486741 markings, 136382734 edges, 124913 markings/sec, 795 secs
lola: STP completed || 391 tries, 390961601 fired transitions, 800 secs || 104119601 markings, 137246602 edges, 126572 markings/sec, 800 secs
lola: STP completed || 394 tries, 393453124 fired transitions, 805 secs || 104738076 markings, 138096546 edges, 123695 markings/sec, 805 secs
lola: STP completed || 396 tries, 395995456 fired transitions, 810 secs || 105357643 markings, 138945707 edges, 123913 markings/sec, 810 secs
lola: STP completed || 399 tries, 398508791 fired transitions, 815 secs || 105977586 markings, 139794684 edges, 123989 markings/sec, 815 secs
lola: STP completed || 402 tries, 401028121 fired transitions, 820 secs || 106596094 markings, 140640744 edges, 123702 markings/sec, 820 secs
lola: STP completed || 404 tries, 403529206 fired transitions, 825 secs || 107208102 markings, 141481079 edges, 122402 markings/sec, 825 secs
lola: STP completed || 406 tries, 405963206 fired transitions, 830 secs || 107814214 markings, 142312360 edges, 121222 markings/sec, 830 secs
lola: STP completed || 409 tries, 408415649 fired transitions, 835 secs || 108419047 markings, 143142925 edges, 120967 markings/sec, 835 secs
lola: STP completed || 411 tries, 410868090 fired transitions, 840 secs || 109022962 markings, 143972089 edges, 120783 markings/sec, 840 secs
lola: STP completed || 414 tries, 413313295 fired transitions, 845 secs || 109645917 markings, 144831071 edges, 124591 markings/sec, 845 secs
lola: STP completed || 416 tries, 415912797 fired transitions, 850 secs || 110294580 markings, 145718021 edges, 129733 markings/sec, 850 secs
lola: STP completed || 419 tries, 418405025 fired transitions, 855 secs || 110908816 markings, 146562800 edges, 122847 markings/sec, 855 secs
lola: STP completed || 421 tries, 420919622 fired transitions, 860 secs || 111520901 markings, 147403808 edges, 122417 markings/sec, 860 secs
lola: STP completed || 424 tries, 423542238 fired transitions, 865 secs || 112145154 markings, 148263323 edges, 124851 markings/sec, 865 secs
lola: STP completed || 427 tries, 426908584 fired transitions, 870 secs || 112916141 markings, 149326329 edges, 154197 markings/sec, 870 secs
lola: STP completed || 430 tries, 429459329 fired transitions, 875 secs || 113498756 markings, 150126677 edges, 116523 markings/sec, 875 secs
lola: STP completed || 432 tries, 431975070 fired transitions, 880 secs || 114074437 markings, 150914587 edges, 115136 markings/sec, 880 secs
lola: STP completed || 435 tries, 434488743 fired transitions, 885 secs || 114650305 markings, 151705013 edges, 115174 markings/sec, 885 secs
lola: STP completed || 437 tries, 436993279 fired transitions, 890 secs || 115227005 markings, 152499961 edges, 115340 markings/sec, 890 secs
lola: STP completed || 440 tries, 439508823 fired transitions, 895 secs || 115805925 markings, 153296062 edges, 115784 markings/sec, 895 secs
lola: STP completed || 443 tries, 442059740 fired transitions, 900 secs || 116438467 markings, 154165643 edges, 126508 markings/sec, 900 secs
lola: STP completed || 445 tries, 444599702 fired transitions, 905 secs || 117066067 markings, 155032073 edges, 125520 markings/sec, 905 secs
lola: STP completed || 448 tries, 447142682 fired transitions, 910 secs || 117689907 markings, 155887271 edges, 124768 markings/sec, 910 secs
lola: STP completed || 450 tries, 449673307 fired transitions, 915 secs || 118265596 markings, 156680652 edges, 115138 markings/sec, 915 secs
lola: STP completed || 453 tries, 452250146 fired transitions, 920 secs || 118858210 markings, 157495063 edges, 118523 markings/sec, 920 secs
lola: STP completed || 456 tries, 455630615 fired transitions, 925 secs || 119658343 markings, 158597150 edges, 160027 markings/sec, 925 secs
lola: STP completed || 460 tries, 459005145 fired transitions, 930 secs || 120458706 markings, 159696547 edges, 160073 markings/sec, 930 secs
lola: STP completed || 463 tries, 462220588 fired transitions, 935 secs || 121228127 markings, 160756820 edges, 153884 markings/sec, 935 secs
lola: STP completed || 465 tries, 464738059 fired transitions, 940 secs || 121853852 markings, 161620576 edges, 125145 markings/sec, 940 secs
lola: STP completed || 468 tries, 467242966 fired transitions, 945 secs || 122472830 markings, 162471070 edges, 123796 markings/sec, 945 secs
lola: STP completed || 470 tries, 469791252 fired transitions, 950 secs || 123087528 markings, 163321535 edges, 122940 markings/sec, 950 secs
lola: STP completed || 473 tries, 472332057 fired transitions, 955 secs || 123681613 markings, 164136748 edges, 118817 markings/sec, 955 secs
lola: STP completed || 475 tries, 474866141 fired transitions, 960 secs || 124268153 markings, 164944865 edges, 117308 markings/sec, 960 secs
lola: STP completed || 478 tries, 477416169 fired transitions, 965 secs || 124879537 markings, 165788576 edges, 122277 markings/sec, 965 secs
lola: STP completed || 480 tries, 479979009 fired transitions, 970 secs || 125505256 markings, 166651785 edges, 125144 markings/sec, 970 secs
lola: STP completed || 483 tries, 482518366 fired transitions, 975 secs || 126106980 markings, 167480211 edges, 120345 markings/sec, 975 secs
lola: STP completed || 486 tries, 485069608 fired transitions, 980 secs || 126719334 markings, 168325090 edges, 122471 markings/sec, 980 secs
lola: STP completed || 488 tries, 487612729 fired transitions, 985 secs || 127335145 markings, 169171744 edges, 123162 markings/sec, 985 secs
lola: STP completed || 491 tries, 490192910 fired transitions, 990 secs || 127963469 markings, 170038738 edges, 125665 markings/sec, 990 secs
lola: STP completed || 493 tries, 492718111 fired transitions, 995 secs || 128584610 markings, 170897695 edges, 124228 markings/sec, 995 secs
lola: STP completed || 496 tries, 495247433 fired transitions, 1000 secs || 129205363 markings, 171752120 edges, 124151 markings/sec, 1000 secs
lola: STP completed || 498 tries, 497749696 fired transitions, 1005 secs || 129814486 markings, 172593687 edges, 121825 markings/sec, 1005 secs
lola: STP completed || 501 tries, 500267741 fired transitions, 1010 secs || 130431559 markings, 173447204 edges, 123415 markings/sec, 1010 secs
lola: STP completed || 503 tries, 502818828 fired transitions, 1015 secs || 131046587 markings, 174297360 edges, 123006 markings/sec, 1015 secs
lola: STP completed || 506 tries, 505308850 fired transitions, 1020 secs || 131658664 markings, 175144022 edges, 122415 markings/sec, 1020 secs
lola: STP completed || 508 tries, 507811395 fired transitions, 1025 secs || 132272516 markings, 175991949 edges, 122770 markings/sec, 1025 secs
lola: STP completed || 511 tries, 510338954 fired transitions, 1030 secs || 132896214 markings, 176853688 edges, 124740 markings/sec, 1030 secs
lola: STP completed || 513 tries, 512845209 fired transitions, 1035 secs || 133514028 markings, 177709808 edges, 123563 markings/sec, 1035 secs
lola: STP completed || 516 tries, 515339362 fired transitions, 1040 secs || 134138173 markings, 178573041 edges, 124829 markings/sec, 1040 secs
lola: STP completed || 518 tries, 517831842 fired transitions, 1045 secs || 134763094 markings, 179437084 edges, 124984 markings/sec, 1045 secs
lola: STP completed || 521 tries, 520327123 fired transitions, 1050 secs || 135384621 markings, 180296643 edges, 124305 markings/sec, 1050 secs
lola: STP completed || 523 tries, 522903154 fired transitions, 1055 secs || 136009413 markings, 181160282 edges, 124958 markings/sec, 1055 secs
lola: STP completed || 526 tries, 525466514 fired transitions, 1060 secs || 136628368 markings, 182016747 edges, 123791 markings/sec, 1060 secs
lola: STP completed || 529 tries, 528038072 fired transitions, 1065 secs || 137248452 markings, 182874127 edges, 124017 markings/sec, 1065 secs
lola: STP completed || 531 tries, 530598463 fired transitions, 1070 secs || 137870471 markings, 183733976 edges, 124404 markings/sec, 1070 secs
lola: STP completed || 534 tries, 533173811 fired transitions, 1075 secs || 138493601 markings, 184595120 edges, 124626 markings/sec, 1075 secs
lola: STP completed || 536 tries, 535794299 fired transitions, 1080 secs || 139123653 markings, 185466686 edges, 126010 markings/sec, 1080 secs
lola: STP completed || 539 tries, 538353710 fired transitions, 1085 secs || 139747220 markings, 186328658 edges, 124713 markings/sec, 1085 secs
lola: STP completed || 542 tries, 541113936 fired transitions, 1090 secs || 140399418 markings, 187230444 edges, 130440 markings/sec, 1090 secs
lola: STP completed || 545 tries, 544144849 fired transitions, 1095 secs || 141118651 markings, 188226049 edges, 143847 markings/sec, 1095 secs
lola: STP completed || 548 tries, 547215452 fired transitions, 1100 secs || 141845110 markings, 189231263 edges, 145292 markings/sec, 1100 secs
lola: STP completed || 550 tries, 549927538 fired transitions, 1105 secs || 142498328 markings, 190140004 edges, 130644 markings/sec, 1105 secs
lola: STP completed || 553 tries, 552888662 fired transitions, 1110 secs || 143206235 markings, 191117633 edges, 141581 markings/sec, 1110 secs
lola: STP completed || 556 tries, 555928570 fired transitions, 1115 secs || 143918826 markings, 192107211 edges, 142518 markings/sec, 1115 secs
lola: STP completed || 559 tries, 558391521 fired transitions, 1120 secs || 144532237 markings, 192959138 edges, 122682 markings/sec, 1120 secs
lola: STP completed || 561 tries, 560950763 fired transitions, 1125 secs || 145154492 markings, 193818631 edges, 124451 markings/sec, 1125 secs
lola: STP completed || 564 tries, 563975612 fired transitions, 1130 secs || 145868796 markings, 194814437 edges, 142861 markings/sec, 1130 secs
lola: STP completed || 568 tries, 567326166 fired transitions, 1135 secs || 146647204 markings, 195891701 edges, 155682 markings/sec, 1135 secs
lola: STP completed || 571 tries, 570250782 fired transitions, 1140 secs || 147341425 markings, 196853655 edges, 138844 markings/sec, 1140 secs
lola: STP completed || 573 tries, 572890646 fired transitions, 1145 secs || 147972490 markings, 197725984 edges, 126213 markings/sec, 1145 secs
lola: STP completed || 577 tries, 576087017 fired transitions, 1150 secs || 148720865 markings, 198764451 edges, 149675 markings/sec, 1150 secs
lola: STP completed || 579 tries, 578943961 fired transitions, 1155 secs || 149407256 markings, 199714661 edges, 137278 markings/sec, 1155 secs
lola: STP completed || 583 tries, 582255686 fired transitions, 1160 secs || 150174221 markings, 200781610 edges, 153393 markings/sec, 1160 secs
lola: STP completed || 586 tries, 585275577 fired transitions, 1165 secs || 150892912 markings, 201778525 edges, 143738 markings/sec, 1165 secs
lola: STP completed || 588 tries, 587899827 fired transitions, 1170 secs || 151518410 markings, 202650030 edges, 125100 markings/sec, 1170 secs
lola: STP completed || 591 tries, 590487269 fired transitions, 1175 secs || 152139889 markings, 203510693 edges, 124296 markings/sec, 1175 secs
lola: STP completed || 594 tries, 593153937 fired transitions, 1180 secs || 152777726 markings, 204390776 edges, 127567 markings/sec, 1180 secs
lola: STP completed || 596 tries, 595957218 fired transitions, 1185 secs || 153438812 markings, 205309097 edges, 132217 markings/sec, 1185 secs
lola: STP completed || 599 tries, 598684416 fired transitions, 1190 secs || 154083113 markings, 206206645 edges, 128860 markings/sec, 1190 secs
lola: STP completed || 602 tries, 601222170 fired transitions, 1195 secs || 154704569 markings, 207069395 edges, 124291 markings/sec, 1195 secs
lola: STP completed || 605 tries, 604158731 fired transitions, 1200 secs || 155400451 markings, 208034969 edges, 139176 markings/sec, 1200 secs
lola: STP completed || 608 tries, 607226858 fired transitions, 1205 secs || 156119476 markings, 209032039 edges, 143805 markings/sec, 1205 secs
lola: STP completed || 610 tries, 609876865 fired transitions, 1210 secs || 156761315 markings, 209925244 edges, 128368 markings/sec, 1210 secs
lola: STP completed || 613 tries, 612646242 fired transitions, 1215 secs || 157455801 markings, 210890213 edges, 138897 markings/sec, 1215 secs
lola: STP completed || 616 tries, 615872504 fired transitions, 1220 secs || 158207390 markings, 211936033 edges, 150318 markings/sec, 1220 secs
lola: STP completed || 619 tries, 618411918 fired transitions, 1225 secs || 158830332 markings, 212802795 edges, 124588 markings/sec, 1225 secs
lola: STP completed || 622 tries, 621634463 fired transitions, 1230 secs || 159578926 markings, 213844077 edges, 149719 markings/sec, 1230 secs
lola: STP completed || 625 tries, 624508006 fired transitions, 1235 secs || 160259263 markings, 214793540 edges, 136067 markings/sec, 1235 secs
lola: STP completed || 628 tries, 627059939 fired transitions, 1240 secs || 160872919 markings, 215647718 edges, 122731 markings/sec, 1240 secs
lola: STP completed || 631 tries, 630012298 fired transitions, 1245 secs || 161551411 markings, 216590686 edges, 135698 markings/sec, 1245 secs
lola: STP completed || 634 tries, 633309706 fired transitions, 1250 secs || 162305355 markings, 217641057 edges, 150789 markings/sec, 1250 secs
lola: STP completed || 637 tries, 636695889 fired transitions, 1255 secs || 163087159 markings, 218732102 edges, 156361 markings/sec, 1255 secs
lola: STP completed || 640 tries, 639433449 fired transitions, 1260 secs || 163736664 markings, 219635541 edges, 129901 markings/sec, 1260 secs
lola: STP completed || 643 tries, 642000758 fired transitions, 1265 secs || 164347785 markings, 220490449 edges, 122224 markings/sec, 1265 secs
lola: STP completed || 645 tries, 644566910 fired transitions, 1270 secs || 164958528 markings, 221338169 edges, 122149 markings/sec, 1270 secs
lola: STP completed || 648 tries, 647204465 fired transitions, 1275 secs || 165594273 markings, 222224340 edges, 127149 markings/sec, 1275 secs
lola: STP completed || 650 tries, 649793838 fired transitions, 1280 secs || 166210431 markings, 223086851 edges, 123232 markings/sec, 1280 secs
lola: STP completed || 653 tries, 652334253 fired transitions, 1285 secs || 166827681 markings, 223948762 edges, 123450 markings/sec, 1285 secs
lola: STP completed || 655 tries, 654835868 fired transitions, 1290 secs || 167441395 markings, 224803241 edges, 122743 markings/sec, 1290 secs
lola: STP completed || 658 tries, 657416648 fired transitions, 1295 secs || 168057359 markings, 225659912 edges, 123193 markings/sec, 1295 secs
lola: STP completed || 660 tries, 659956085 fired transitions, 1300 secs || 168669745 markings, 226511388 edges, 122477 markings/sec, 1300 secs
lola: STP completed || 663 tries, 662512785 fired transitions, 1305 secs || 169287174 markings, 227367579 edges, 123486 markings/sec, 1305 secs
lola: STP completed || 666 tries, 665247828 fired transitions, 1310 secs || 169920899 markings, 228247333 edges, 126745 markings/sec, 1310 secs
lola: STP completed || 668 tries, 667848046 fired transitions, 1315 secs || 170539672 markings, 229109721 edges, 123755 markings/sec, 1315 secs
lola: STP completed || 671 tries, 670438366 fired transitions, 1320 secs || 171155481 markings, 229966600 edges, 123162 markings/sec, 1320 secs
lola: STP completed || 674 tries, 673027888 fired transitions, 1325 secs || 171772126 markings, 230826423 edges, 123329 markings/sec, 1325 secs
lola: STP completed || 676 tries, 675632809 fired transitions, 1330 secs || 172388159 markings, 231685529 edges, 123207 markings/sec, 1330 secs
lola: STP completed || 679 tries, 678235323 fired transitions, 1335 secs || 173006045 markings, 232545163 edges, 123577 markings/sec, 1335 secs
lola: STP completed || 681 tries, 680845622 fired transitions, 1340 secs || 173627288 markings, 233411075 edges, 124249 markings/sec, 1340 secs
lola: STP completed || 684 tries, 683446430 fired transitions, 1345 secs || 174246604 markings, 234274600 edges, 123863 markings/sec, 1345 secs
lola: STP completed || 687 tries, 686045396 fired transitions, 1350 secs || 174865504 markings, 235135601 edges, 123780 markings/sec, 1350 secs
lola: STP completed || 689 tries, 688649692 fired transitions, 1355 secs || 175484075 markings, 235995925 edges, 123714 markings/sec, 1355 secs
lola: STP completed || 692 tries, 691244006 fired transitions, 1360 secs || 176102558 markings, 236854419 edges, 123697 markings/sec, 1360 secs
lola: STP completed || 694 tries, 693857015 fired transitions, 1365 secs || 176719589 markings, 237713714 edges, 123406 markings/sec, 1365 secs
lola: STP completed || 697 tries, 696457845 fired transitions, 1370 secs || 177340263 markings, 238581616 edges, 124135 markings/sec, 1370 secs
lola: STP completed || 700 tries, 699058210 fired transitions, 1375 secs || 177959363 markings, 239442195 edges, 123820 markings/sec, 1375 secs
lola: STP completed || 702 tries, 701665299 fired transitions, 1380 secs || 178580084 markings, 240307642 edges, 124144 markings/sec, 1380 secs
lola: STP completed || 705 tries, 704258049 fired transitions, 1385 secs || 179199045 markings, 241170263 edges, 123792 markings/sec, 1385 secs
lola: STP completed || 707 tries, 706861699 fired transitions, 1390 secs || 179814805 markings, 242027248 edges, 123152 markings/sec, 1390 secs
lola: STP completed || 710 tries, 709464058 fired transitions, 1395 secs || 180433299 markings, 242895842 edges, 123699 markings/sec, 1395 secs
lola: STP completed || 713 tries, 712058937 fired transitions, 1400 secs || 181049018 markings, 243753881 edges, 123144 markings/sec, 1400 secs
lola: STP completed || 715 tries, 714656951 fired transitions, 1405 secs || 181668691 markings, 244616503 edges, 123935 markings/sec, 1405 secs
lola: STP completed || 718 tries, 717242956 fired transitions, 1410 secs || 182279165 markings, 245466493 edges, 122095 markings/sec, 1410 secs
lola: STP completed || 720 tries, 719840747 fired transitions, 1415 secs || 182885177 markings, 246314286 edges, 121202 markings/sec, 1415 secs
lola: STP completed || 723 tries, 722497270 fired transitions, 1420 secs || 183502916 markings, 247176845 edges, 123548 markings/sec, 1420 secs
lola: STP completed || 726 tries, 725086839 fired transitions, 1425 secs || 184121339 markings, 248038149 edges, 123685 markings/sec, 1425 secs
lola: STP completed || 728 tries, 727694728 fired transitions, 1430 secs || 184736407 markings, 248896890 edges, 123014 markings/sec, 1430 secs
lola: STP completed || 731 tries, 730309831 fired transitions, 1435 secs || 185357346 markings, 249763263 edges, 124188 markings/sec, 1435 secs
lola: STP completed || 733 tries, 732909307 fired transitions, 1440 secs || 185974410 markings, 250622226 edges, 123413 markings/sec, 1440 secs
lola: STP completed || 736 tries, 735509436 fired transitions, 1445 secs || 186589404 markings, 251484806 edges, 122999 markings/sec, 1445 secs
lola: STP completed || 739 tries, 738119256 fired transitions, 1450 secs || 187206961 markings, 252347617 edges, 123511 markings/sec, 1450 secs
lola: STP completed || 741 tries, 740732329 fired transitions, 1455 secs || 187825761 markings, 253211502 edges, 123760 markings/sec, 1455 secs
lola: STP completed || 744 tries, 743343732 fired transitions, 1460 secs || 188441035 markings, 254070458 edges, 123055 markings/sec, 1460 secs
lola: STP completed || 746 tries, 745949726 fired transitions, 1465 secs || 189059192 markings, 254931459 edges, 123631 markings/sec, 1465 secs
lola: STP completed || 749 tries, 748557493 fired transitions, 1470 secs || 189673945 markings, 255787516 edges, 122951 markings/sec, 1470 secs
lola: STP completed || 752 tries, 751171160 fired transitions, 1475 secs || 190288960 markings, 256647065 edges, 123003 markings/sec, 1475 secs
lola: STP completed || 754 tries, 753795541 fired transitions, 1480 secs || 190906627 markings, 257513876 edges, 123533 markings/sec, 1480 secs
lola: STP completed || 757 tries, 756409584 fired transitions, 1485 secs || 191522875 markings, 258374850 edges, 123250 markings/sec, 1485 secs
lola: STP completed || 760 tries, 759036086 fired transitions, 1490 secs || 192142070 markings, 259241058 edges, 123839 markings/sec, 1490 secs
lola: STP completed || 762 tries, 761758728 fired transitions, 1495 secs || 192762322 markings, 260109374 edges, 124050 markings/sec, 1495 secs
lola: STP completed || 765 tries, 764367644 fired transitions, 1500 secs || 193374349 markings, 260963373 edges, 122405 markings/sec, 1500 secs
lola: STP completed || 767 tries, 766990907 fired transitions, 1505 secs || 193993640 markings, 261827267 edges, 123858 markings/sec, 1505 secs
lola: STP completed || 770 tries, 769613929 fired transitions, 1510 secs || 194608340 markings, 262687577 edges, 122940 markings/sec, 1510 secs
lola: STP completed || 773 tries, 772231963 fired transitions, 1515 secs || 195220936 markings, 263544872 edges, 122519 markings/sec, 1515 secs
lola: STP completed || 775 tries, 774845296 fired transitions, 1520 secs || 195836166 markings, 264406608 edges, 123046 markings/sec, 1520 secs
lola: STP completed || 778 tries, 777569920 fired transitions, 1525 secs || 196463396 markings, 265284075 edges, 125446 markings/sec, 1525 secs
lola: STP completed || 781 tries, 780172955 fired transitions, 1530 secs || 197074714 markings, 266139698 edges, 122264 markings/sec, 1530 secs
lola: STP completed || 783 tries, 782765703 fired transitions, 1535 secs || 197691284 markings, 267004498 edges, 123314 markings/sec, 1535 secs
lola: STP completed || 786 tries, 785495553 fired transitions, 1540 secs || 198309385 markings, 267870128 edges, 123620 markings/sec, 1540 secs
lola: STP completed || 789 tries, 788126124 fired transitions, 1545 secs || 198926460 markings, 268733470 edges, 123415 markings/sec, 1545 secs
lola: STP completed || 791 tries, 790748103 fired transitions, 1550 secs || 199542220 markings, 269596795 edges, 123152 markings/sec, 1550 secs
lola: STP completed || 794 tries, 793373405 fired transitions, 1555 secs || 200155181 markings, 270454970 edges, 122592 markings/sec, 1555 secs
lola: STP completed || 797 tries, 796000714 fired transitions, 1560 secs || 200769954 markings, 271312878 edges, 122955 markings/sec, 1560 secs
lola: STP completed || 799 tries, 798616346 fired transitions, 1565 secs || 201384706 markings, 272174101 edges, 122950 markings/sec, 1565 secs
lola: STP completed || 802 tries, 801237552 fired transitions, 1570 secs || 202000529 markings, 273032308 edges, 123165 markings/sec, 1570 secs
lola: STP completed || 804 tries, 803856198 fired transitions, 1575 secs || 202616106 markings, 273894307 edges, 123115 markings/sec, 1575 secs
lola: STP completed || 807 tries, 806474565 fired transitions, 1580 secs || 203227267 markings, 274749129 edges, 122232 markings/sec, 1580 secs
lola: STP completed || 810 tries, 809094669 fired transitions, 1585 secs || 203841213 markings, 275608823 edges, 122789 markings/sec, 1585 secs
lola: STP completed || 812 tries, 811719135 fired transitions, 1590 secs || 204453245 markings, 276464952 edges, 122406 markings/sec, 1590 secs
lola: STP completed || 815 tries, 814342737 fired transitions, 1595 secs || 205067961 markings, 277323701 edges, 122943 markings/sec, 1595 secs
lola: STP completed || 817 tries, 816956349 fired transitions, 1600 secs || 205681345 markings, 278178994 edges, 122677 markings/sec, 1600 secs
lola: STP completed || 820 tries, 819628843 fired transitions, 1605 secs || 206295486 markings, 279040995 edges, 122828 markings/sec, 1605 secs
lola: STP completed || 823 tries, 822302218 fired transitions, 1610 secs || 206912567 markings, 279902935 edges, 123416 markings/sec, 1610 secs
lola: STP completed || 825 tries, 824931002 fired transitions, 1615 secs || 207527492 markings, 280764182 edges, 122985 markings/sec, 1615 secs
lola: STP completed || 828 tries, 827548159 fired transitions, 1620 secs || 208140551 markings, 281623433 edges, 122612 markings/sec, 1620 secs
lola: STP completed || 831 tries, 830170774 fired transitions, 1625 secs || 208754105 markings, 282482292 edges, 122711 markings/sec, 1625 secs
lola: STP completed || 833 tries, 832798310 fired transitions, 1630 secs || 209366418 markings, 283340127 edges, 122463 markings/sec, 1630 secs
lola: STP completed || 836 tries, 835433958 fired transitions, 1635 secs || 209976901 markings, 284194839 edges, 122097 markings/sec, 1635 secs
lola: STP completed || 839 tries, 838043511 fired transitions, 1640 secs || 210585042 markings, 285050262 edges, 121628 markings/sec, 1640 secs
lola: STP completed || 841 tries, 840639714 fired transitions, 1645 secs || 211196751 markings, 285910301 edges, 122342 markings/sec, 1645 secs
lola: STP completed || 844 tries, 843234214 fired transitions, 1650 secs || 211801764 markings, 286758031 edges, 121003 markings/sec, 1650 secs
lola: STP completed || 846 tries, 845822091 fired transitions, 1655 secs || 212411474 markings, 287614497 edges, 121942 markings/sec, 1655 secs
lola: STP completed || 849 tries, 848424066 fired transitions, 1660 secs || 213020468 markings, 288469152 edges, 121799 markings/sec, 1660 secs
lola: STP completed || 852 tries, 851014558 fired transitions, 1665 secs || 213627162 markings, 289321272 edges, 121339 markings/sec, 1665 secs
lola: STP completed || 854 tries, 853629943 fired transitions, 1670 secs || 214235734 markings, 290177486 edges, 121714 markings/sec, 1670 secs
lola: STP completed || 857 tries, 856248969 fired transitions, 1675 secs || 214844585 markings, 291031864 edges, 121770 markings/sec, 1675 secs
lola: STP completed || 859 tries, 858901867 fired transitions, 1680 secs || 215456987 markings, 291893288 edges, 122480 markings/sec, 1680 secs
lola: STP completed || 862 tries, 861554610 fired transitions, 1685 secs || 216073080 markings, 292759084 edges, 123219 markings/sec, 1685 secs
lola: STP completed || 865 tries, 864213857 fired transitions, 1690 secs || 216686519 markings, 293619041 edges, 122688 markings/sec, 1690 secs
lola: STP completed || 867 tries, 866858208 fired transitions, 1695 secs || 217300465 markings, 294479922 edges, 122789 markings/sec, 1695 secs
lola: STP completed || 870 tries, 869486400 fired transitions, 1700 secs || 217913971 markings, 295340302 edges, 122701 markings/sec, 1700 secs
lola: STP completed || 873 tries, 872133182 fired transitions, 1705 secs || 218525642 markings, 296198125 edges, 122334 markings/sec, 1705 secs
lola: STP completed || 875 tries, 874789605 fired transitions, 1710 secs || 219140968 markings, 297057839 edges, 123065 markings/sec, 1710 secs
lola: STP completed || 878 tries, 877422848 fired transitions, 1715 secs || 219751175 markings, 297913422 edges, 122041 markings/sec, 1715 secs
lola: STP completed || 881 tries, 880054854 fired transitions, 1720 secs || 220358375 markings, 298764874 edges, 121440 markings/sec, 1720 secs
lola: STP completed || 883 tries, 882691381 fired transitions, 1725 secs || 220965068 markings, 299616601 edges, 121339 markings/sec, 1725 secs
lola: STP completed || 886 tries, 885314297 fired transitions, 1730 secs || 221575830 markings, 300475237 edges, 122152 markings/sec, 1730 secs
lola: STP completed || 888 tries, 887954939 fired transitions, 1735 secs || 222188926 markings, 301334908 edges, 122619 markings/sec, 1735 secs
lola: STP completed || 891 tries, 890589279 fired transitions, 1740 secs || 222799036 markings, 302191171 edges, 122022 markings/sec, 1740 secs
lola: STP completed || 894 tries, 893247211 fired transitions, 1745 secs || 223412660 markings, 303052251 edges, 122725 markings/sec, 1745 secs
lola: STP completed || 896 tries, 895878897 fired transitions, 1750 secs || 224020414 markings, 303905622 edges, 121551 markings/sec, 1750 secs
lola: STP completed || 899 tries, 898512312 fired transitions, 1755 secs || 224630677 markings, 304763320 edges, 122053 markings/sec, 1755 secs
lola: STP completed || 902 tries, 901148534 fired transitions, 1760 secs || 225240920 markings, 305618070 edges, 122049 markings/sec, 1760 secs
lola: STP completed || 904 tries, 903792905 fired transitions, 1765 secs || 225851256 markings, 306475345 edges, 122067 markings/sec, 1765 secs
lola: STP completed || 907 tries, 906423450 fired transitions, 1770 secs || 226462503 markings, 307334388 edges, 122249 markings/sec, 1770 secs
lola: STP completed || 910 tries, 909067214 fired transitions, 1775 secs || 227070364 markings, 308186884 edges, 121572 markings/sec, 1775 secs
lola: STP completed || 912 tries, 911705566 fired transitions, 1780 secs || 227683204 markings, 309048195 edges, 122568 markings/sec, 1780 secs
lola: STP completed || 915 tries, 914344008 fired transitions, 1785 secs || 228287708 markings, 309899235 edges, 120901 markings/sec, 1785 secs
lola: STP completed || 918 tries, 917061108 fired transitions, 1790 secs || 228901823 markings, 310760865 edges, 122823 markings/sec, 1790 secs
lola: STP completed || 920 tries, 919714054 fired transitions, 1795 secs || 229511551 markings, 311618787 edges, 121946 markings/sec, 1795 secs
lola: STP completed || 923 tries, 922353052 fired transitions, 1800 secs || 230119860 markings, 312474164 edges, 121662 markings/sec, 1800 secs
lola: STP completed || 925 tries, 924992479 fired transitions, 1805 secs || 230730135 markings, 313335152 edges, 122055 markings/sec, 1805 secs
lola: STP completed || 928 tries, 927645571 fired transitions, 1810 secs || 231339323 markings, 314193279 edges, 121838 markings/sec, 1810 secs
lola: STP completed || 931 tries, 930278212 fired transitions, 1815 secs || 231950826 markings, 315050973 edges, 122301 markings/sec, 1815 secs
lola: STP completed || 933 tries, 932915052 fired transitions, 1820 secs || 232556387 markings, 315901050 edges, 121112 markings/sec, 1820 secs
lola: STP completed || 936 tries, 935804974 fired transitions, 1825 secs || 233211854 markings, 316820641 edges, 131093 markings/sec, 1825 secs
lola: STP completed || 940 tries, 939139277 fired transitions, 1830 secs || 233946046 markings, 317855615 edges, 146838 markings/sec, 1830 secs
lola: STP completed || 942 tries, 941760710 fired transitions, 1835 secs || 234515381 markings, 318656870 edges, 113867 markings/sec, 1835 secs
lola: STP completed || 945 tries, 944613035 fired transitions, 1840 secs || 235132262 markings, 319527288 edges, 123376 markings/sec, 1840 secs
lola: STP completed || 949 tries, 948009358 fired transitions, 1845 secs || 235883850 markings, 320586408 edges, 150318 markings/sec, 1845 secs
lola: STP completed || 952 tries, 951421923 fired transitions, 1850 secs || 236639909 markings, 321650789 edges, 151212 markings/sec, 1850 secs
lola: STP completed || 955 tries, 954696409 fired transitions, 1855 secs || 237360603 markings, 322666254 edges, 144139 markings/sec, 1855 secs
lola: STP completed || 958 tries, 957319654 fired transitions, 1860 secs || 237924084 markings, 323461616 edges, 112696 markings/sec, 1860 secs
lola: STP completed || 961 tries, 960067731 fired transitions, 1865 secs || 238520083 markings, 324300641 edges, 119200 markings/sec, 1865 secs
lola: STP completed || 964 tries, 963370620 fired transitions, 1870 secs || 239260719 markings, 325339723 edges, 148127 markings/sec, 1870 secs
lola: STP completed || 967 tries, 966549625 fired transitions, 1875 secs || 239986002 markings, 326360503 edges, 145057 markings/sec, 1875 secs
lola: STP completed || 970 tries, 969182318 fired transitions, 1880 secs || 240595702 markings, 327216483 edges, 121940 markings/sec, 1880 secs
lola: STP completed || 972 tries, 971811075 fired transitions, 1885 secs || 241200388 markings, 328064764 edges, 120937 markings/sec, 1885 secs
lola: STP completed || 975 tries, 974999754 fired transitions, 1890 secs || 241896368 markings, 329045787 edges, 139196 markings/sec, 1890 secs
lola: STP completed || 978 tries, 977635739 fired transitions, 1895 secs || 242499888 markings, 329894800 edges, 120704 markings/sec, 1895 secs
lola: STP completed || 981 tries, 980273257 fired transitions, 1900 secs || 243069978 markings, 330696634 edges, 114018 markings/sec, 1900 secs
lola: STP completed || 983 tries, 982905030 fired transitions, 1905 secs || 243680777 markings, 331557415 edges, 122160 markings/sec, 1905 secs
lola: STP completed || 986 tries, 985514343 fired transitions, 1910 secs || 244283625 markings, 332408771 edges, 120570 markings/sec, 1910 secs
lola: STP completed || 989 tries, 988135624 fired transitions, 1915 secs || 244888917 markings, 333262073 edges, 121058 markings/sec, 1915 secs
lola: STP completed || 991 tries, 990683471 fired transitions, 1920 secs || 245492119 markings, 334113848 edges, 120640 markings/sec, 1920 secs
lola: STP completed || 994 tries, 993236385 fired transitions, 1925 secs || 246090626 markings, 334958601 edges, 119701 markings/sec, 1925 secs
lola: STP completed || 996 tries, 995829058 fired transitions, 1930 secs || 246693696 markings, 335809821 edges, 120614 markings/sec, 1930 secs
lola: STP completed || 999 tries, 998475420 fired transitions, 1935 secs || 247301736 markings, 336667759 edges, 121608 markings/sec, 1935 secs
lola: STP completed || 1002 tries, 1001116366 fired transitions, 1940 secs || 247909681 markings, 337526482 edges, 121589 markings/sec, 1940 secs
lola: STP completed || 1004 tries, 1003758256 fired transitions, 1945 secs || 248514006 markings, 338376529 edges, 120865 markings/sec, 1945 secs
lola: STP completed || 1007 tries, 1006402182 fired transitions, 1950 secs || 249120702 markings, 339228161 edges, 121339 markings/sec, 1950 secs
lola: STP completed || 1010 tries, 1009040328 fired transitions, 1955 secs || 249727721 markings, 340083944 edges, 121404 markings/sec, 1955 secs
lola: STP completed || 1012 tries, 1011683472 fired transitions, 1960 secs || 250336931 markings, 340941190 edges, 121842 markings/sec, 1960 secs
lola: STP completed || 1015 tries, 1014322487 fired transitions, 1965 secs || 250943283 markings, 341795169 edges, 121270 markings/sec, 1965 secs
lola: STP completed || 1017 tries, 1016970207 fired transitions, 1970 secs || 251549255 markings, 342649835 edges, 121194 markings/sec, 1970 secs
lola: STP completed || 1020 tries, 1019611176 fired transitions, 1975 secs || 252155188 markings, 343502427 edges, 121187 markings/sec, 1975 secs
lola: STP completed || 1023 tries, 1022255967 fired transitions, 1980 secs || 252767195 markings, 344362281 edges, 122401 markings/sec, 1980 secs
lola: STP completed || 1025 tries, 1024893444 fired transitions, 1985 secs || 253373988 markings, 345215961 edges, 121359 markings/sec, 1985 secs
lola: STP completed || 1029 tries, 1028032799 fired transitions, 1990 secs || 254081524 markings, 346213058 edges, 141507 markings/sec, 1990 secs
lola: STP completed || 1032 tries, 1031273987 fired transitions, 1995 secs || 254804178 markings, 347234993 edges, 144531 markings/sec, 1995 secs
lola: STP completed || 1035 tries, 1034701868 fired transitions, 2000 secs || 255563113 markings, 348305800 edges, 151787 markings/sec, 2000 secs
lola: STP completed || 1039 tries, 1038125049 fired transitions, 2005 secs || 256316694 markings, 349374352 edges, 150716 markings/sec, 2005 secs
lola: STP completed || 1042 tries, 1041550131 fired transitions, 2010 secs || 257067370 markings, 350433469 edges, 150135 markings/sec, 2010 secs
lola: STP completed || 1045 tries, 1044881954 fired transitions, 2015 secs || 257802220 markings, 351471650 edges, 146970 markings/sec, 2015 secs
lola: STP completed || 1048 tries, 1047564454 fired transitions, 2020 secs || 258406747 markings, 352323746 edges, 120905 markings/sec, 2020 secs
lola: STP completed || 1051 tries, 1050205840 fired transitions, 2025 secs || 259007787 markings, 353171361 edges, 120208 markings/sec, 2025 secs
lola: STP completed || 1053 tries, 1052858242 fired transitions, 2030 secs || 259609599 markings, 354022046 edges, 120362 markings/sec, 2030 secs
lola: STP completed || 1056 tries, 1055508728 fired transitions, 2035 secs || 260212529 markings, 354874157 edges, 120586 markings/sec, 2035 secs
lola: STP completed || 1059 tries, 1058163991 fired transitions, 2040 secs || 260814698 markings, 355724977 edges, 120434 markings/sec, 2040 secs
lola: STP completed || 1061 tries, 1060815989 fired transitions, 2045 secs || 261415895 markings, 356573590 edges, 120239 markings/sec, 2045 secs
lola: STP completed || 1064 tries, 1063467729 fired transitions, 2050 secs || 262021793 markings, 357425589 edges, 121180 markings/sec, 2050 secs
lola: STP completed || 1067 tries, 1066118094 fired transitions, 2055 secs || 262628855 markings, 358282472 edges, 121412 markings/sec, 2055 secs
lola: STP completed || 1069 tries, 1068780858 fired transitions, 2060 secs || 263233322 markings, 359137634 edges, 120893 markings/sec, 2060 secs
lola: STP completed || 1072 tries, 1071438410 fired transitions, 2065 secs || 263842786 markings, 359998513 edges, 121893 markings/sec, 2065 secs
lola: STP completed || 1075 tries, 1074072844 fired transitions, 2070 secs || 264443338 markings, 360845419 edges, 120110 markings/sec, 2070 secs
lola: STP completed || 1077 tries, 1076737021 fired transitions, 2075 secs || 265046685 markings, 361695733 edges, 120669 markings/sec, 2075 secs
lola: STP completed || 1080 tries, 1079388933 fired transitions, 2080 secs || 265651475 markings, 362550393 edges, 120958 markings/sec, 2080 secs
lola: STP completed || 1083 tries, 1082040141 fired transitions, 2085 secs || 266257457 markings, 363406556 edges, 121196 markings/sec, 2085 secs
lola: STP completed || 1085 tries, 1084714593 fired transitions, 2090 secs || 266866430 markings, 364268801 edges, 121795 markings/sec, 2090 secs
lola: STP completed || 1088 tries, 1087377685 fired transitions, 2095 secs || 267474717 markings, 365127660 edges, 121657 markings/sec, 2095 secs
lola: STP completed || 1091 tries, 1090036562 fired transitions, 2100 secs || 268084533 markings, 365990471 edges, 121963 markings/sec, 2100 secs
lola: STP completed || 1093 tries, 1092712845 fired transitions, 2105 secs || 268691008 markings, 366844972 edges, 121295 markings/sec, 2105 secs
lola: STP completed || 1096 tries, 1095369503 fired transitions, 2110 secs || 269297643 markings, 367701920 edges, 121327 markings/sec, 2110 secs
lola: STP completed || 1099 tries, 1098127352 fired transitions, 2115 secs || 269908010 markings, 368564550 edges, 122073 markings/sec, 2115 secs
lola: STP completed || 1101 tries, 1100781906 fired transitions, 2120 secs || 270515087 markings, 369421399 edges, 121415 markings/sec, 2120 secs
lola: STP completed || 1104 tries, 1103439642 fired transitions, 2125 secs || 271118620 markings, 370275213 edges, 120707 markings/sec, 2125 secs
lola: STP completed || 1107 tries, 1106109793 fired transitions, 2130 secs || 271720607 markings, 371125626 edges, 120397 markings/sec, 2130 secs
lola: STP completed || 1109 tries, 1108789146 fired transitions, 2135 secs || 272328052 markings, 371984688 edges, 121489 markings/sec, 2135 secs
lola: STP completed || 1112 tries, 1111658711 fired transitions, 2140 secs || 272760589 markings, 372596828 edges, 86507 markings/sec, 2140 secs
lola: STP completed || 1115 tries, 1114561319 fired transitions, 2145 secs || 273160706 markings, 373159950 edges, 80023 markings/sec, 2145 secs
lola: STP completed || 1118 tries, 1117479399 fired transitions, 2150 secs || 273554369 markings, 373717287 edges, 78733 markings/sec, 2150 secs
lola: STP completed || 1120 tries, 1119021218 fired transitions, 2155 secs || 273669435 markings, 373879062 edges, 23013 markings/sec, 2155 secs
lola: STP completed || 1120 tries, 1119656316 fired transitions, 2160 secs || 273678609 markings, 373892005 edges, 1835 markings/sec, 2160 secs
lola: STP completed || 1123 tries, 1122000000 fired transitions, 2165 secs || 273723892 markings, 373956500 edges, 9057 markings/sec, 2165 secs
lola: STP completed || 1125 tries, 1124447099 fired transitions, 2170 secs || 273739266 markings, 373978504 edges, 3075 markings/sec, 2170 secs
lola: STP completed || 1126 tries, 1125253231 fired transitions, 2175 secs || 273768368 markings, 374018877 edges, 5820 markings/sec, 2175 secs
BK_STOP 1527025940951
--------------------
content from stderr:
Killed
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="Ring-PT-none"
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/Ring-PT-none.tgz
mv Ring-PT-none execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is Ring-PT-none, 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 r136-qhx2-152673579200426"
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 ;